runsolver Copyright (C) 2010 Olivier ROUSSEL

This is runsolver version 3.2.9a (svn: 651)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201109011757/gj-user-solver-1.0/8222799a-9af8-11df-8b50-00163e46d37a.cudf.dudf-real.log.runsolver ./gj-user-solver-1.0 /home/misc2010/data/2011/dudf-real//8222799a-9af8-11df-8b50-00163e46d37a.cudf /home/misc2010/tmp/201109011757/gj-user-solver-1.0/8222799a-9af8-11df-8b50-00163e46d37a.cudf.dudf-real.result -sum(pin-priority-1),-sum(pin-priority-500),-sum(pin-priority-700),-notuptodate,-removed,-changed 

Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds
Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.05 0.99 0.99 5/34 318
/proc/meminfo: memFree=430396/1048576 swapFree=0/0
[pid=317] ppid=316 vsize=2564 CPUtime=0
/proc/317/stat : 317 (gj-user-solver-) R 316 317 22717 34817 22717 4202496 354 0 0 0 0 0 0 0 25 0 1 0 73169547 2625536 268 1283457024 134512640 135304128 4289391664 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/317/statm: 641 268 228 194 0 28 0
[pid=318] ppid=317 vsize=2564 CPUtime=0
/proc/318/stat : 318 (gj-user-solver-) R 317 317 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 1 0 73169547 2625536 40 1283457024 134512640 135304128 4289391664 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/318/statm: 641 40 0 194 0 28 0

[startup+0.130923 s]
/proc/loadavg: 1.05 0.99 0.99 5/34 318
/proc/meminfo: memFree=430396/1048576 swapFree=0/0
[pid=317] ppid=316 vsize=2564 CPUtime=0
/proc/317/stat : 317 (gj-user-solver-) S 316 317 22717 34817 22717 4202496 370 0 0 0 0 0 0 0 25 0 1 0 73169547 2625536 269 1283457024 134512640 135304128 4289391664 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/317/statm: 641 269 229 194 0 28 0
[pid=318] ppid=317 vsize=410232 CPUtime=0.12
/proc/318/stat : 318 (java) S 317 317 22717 34817 22717 4202496 4128 0 1 0 9 3 0 0 25 0 9 0 73169547 420077568 3556 1283457024 134512640 134550932 4286701824 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/318/statm: 102558 3556 1945 10 0 96706 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 412796

[startup+0.210936 s]
/proc/loadavg: 1.05 0.99 0.99 5/34 318
/proc/meminfo: memFree=430396/1048576 swapFree=0/0
[pid=317] ppid=316 vsize=2564 CPUtime=0
/proc/317/stat : 317 (gj-user-solver-) S 316 317 22717 34817 22717 4202496 370 0 0 0 0 0 0 0 25 0 1 0 73169547 2625536 269 1283457024 134512640 135304128 4289391664 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/317/statm: 641 269 229 194 0 28 0
[pid=318] ppid=317 vsize=410232 CPUtime=0.2
/proc/318/stat : 318 (java) S 317 317 22717 34817 22717 4202496 4481 0 1 0 17 3 0 0 25 0 9 0 73169547 420077568 3909 1283457024 134512640 134550932 4286701824 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/318/statm: 102558 3909 1945 10 0 96706 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 412796

[startup+0.310966 s]
/proc/loadavg: 1.05 0.99 0.99 5/34 318
/proc/meminfo: memFree=430396/1048576 swapFree=0/0
[pid=317] ppid=316 vsize=2564 CPUtime=0
/proc/317/stat : 317 (gj-user-solver-) S 316 317 22717 34817 22717 4202496 370 0 0 0 0 0 0 0 25 0 1 0 73169547 2625536 269 1283457024 134512640 135304128 4289391664 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/317/statm: 641 269 229 194 0 28 0
[pid=318] ppid=317 vsize=410232 CPUtime=0.3
/proc/318/stat : 318 (java) S 317 317 22717 34817 22717 4202496 5348 0 1 0 27 3 0 0 25 0 9 0 73169547 420077568 4775 1283457024 134512640 134550932 4286701824 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/318/statm: 102558 4775 1951 10 0 96706 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 412796

[startup+0.711097 s]
/proc/loadavg: 1.05 0.99 0.99 5/34 318
/proc/meminfo: memFree=430396/1048576 swapFree=0/0
[pid=317] ppid=316 vsize=2564 CPUtime=0
/proc/317/stat : 317 (gj-user-solver-) S 316 317 22717 34817 22717 4202496 370 0 0 0 0 0 0 0 25 0 1 0 73169547 2625536 269 1283457024 134512640 135304128 4289391664 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/317/statm: 641 269 229 194 0 28 0
[pid=318] ppid=317 vsize=410652 CPUtime=0.7
/proc/318/stat : 318 (java) S 317 317 22717 34817 22717 4202496 11456 0 1 0 65 5 0 0 25 0 9 0 73169547 420507648 10697 1283457024 134512640 134550932 4286701824 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/318/statm: 102663 10697 2901 10 0 96811 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 413216

[startup+1.51137 s]
/proc/loadavg: 1.21 1.03 1.01 2/43 327
/proc/meminfo: memFree=370732/1048576 swapFree=0/0
[pid=317] ppid=316 vsize=2564 CPUtime=0
/proc/317/stat : 317 (gj-user-solver-) S 316 317 22717 34817 22717 4202496 370 0 0 0 0 0 0 0 25 0 1 0 73169547 2625536 269 1283457024 134512640 135304128 4289391664 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/317/statm: 641 269 229 194 0 28 0
[pid=318] ppid=317 vsize=410784 CPUtime=1.5
/proc/318/stat : 318 (java) S 317 317 22717 34817 22717 4202496 23972 0 1 0 138 12 0 0 25 0 9 0 73169547 420642816 23213 1283457024 134512640 134550932 4286701824 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/318/statm: 102696 23213 2901 10 0 96844 0
[pid=318/tid=320] ppid=317 vsize=410784 CPUtime=0.9
/proc/318/task/320/stat : 320 (java) R 317 317 22717 34817 22717 4202560 6841 0 1 0 83 7 0 0 25 0 9 0 73169548 420642816 23213 1283457024 134512640 134550932 4286701824 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=318/tid=321] ppid=317 vsize=410784 CPUtime=0.55
/proc/318/task/321/stat : 321 (java) R 317 317 22717 34817 22717 4202560 15746 0 0 0 50 5 0 0 17 0 9 0 73169549 420642816 23213 1283457024 134512640 134550932 4286701824 18446744073709551615 4153551635 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=318/tid=322] ppid=317 vsize=410784 CPUtime=0
/proc/318/task/322/stat : 322 (java) S 317 317 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 20 0 9 0 73169549 420642816 23213 1283457024 134512640 134550932 4286701824 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=318/tid=323] ppid=317 vsize=410784 CPUtime=0
/proc/318/task/323/stat : 323 (java) S 317 317 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 20 0 9 0 73169549 420642816 23213 1283457024 134512640 134550932 4286701824 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=318/tid=324] ppid=317 vsize=410784 CPUtime=0
/proc/318/task/324/stat : 324 (java) S 317 317 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 73169550 420642816 23213 1283457024 134512640 134550932 4286701824 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=318/tid=325] ppid=317 vsize=410784 CPUtime=0.04
/proc/318/task/325/stat : 325 (java) S 317 317 22717 34817 22717 4202560 445 0 0 0 4 0 0 0 22 0 9 0 73169550 420642816 23213 1283457024 134512640 134550932 4286701824 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=318/tid=326] ppid=317 vsize=410784 CPUtime=0
/proc/318/task/326/stat : 326 (java) S 317 317 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 73169550 420642816 23213 1283457024 134512640 134550932 4286701824 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=318/tid=327] ppid=317 vsize=410784 CPUtime=0
/proc/318/task/327/stat : 327 (java) S 317 317 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 9 0 73169550 420642816 23213 1283457024 134512640 134550932 4286701824 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 413348

[startup+3.11177 s]
/proc/loadavg: 1.21 1.03 1.01 3/43 327
/proc/meminfo: memFree=295712/1048576 swapFree=0/0
[pid=317] ppid=316 vsize=2564 CPUtime=0
/proc/317/stat : 317 (gj-user-solver-) S 316 317 22717 34817 22717 4202496 370 0 0 0 0 0 0 0 25 0 1 0 73169547 2625536 269 1283457024 134512640 135304128 4289391664 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/317/statm: 641 269 229 194 0 28 0
[pid=318] ppid=317 vsize=410916 CPUtime=3.1
/proc/318/stat : 318 (java) S 317 317 22717 34817 22717 4202496 45162 0 1 0 292 18 0 0 25 0 9 0 73169547 420777984 44400 1283457024 134512640 134550932 4286701824 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/318/statm: 102729 44400 2902 10 0 96877 0
[pid=318/tid=320] ppid=317 vsize=410916 CPUtime=1.49
/proc/318/task/320/stat : 320 (java) R 317 317 22717 34817 22717 4202560 10276 0 1 0 140 9 0 0 25 0 9 0 73169548 420777984 44400 1283457024 134512640 134550932 4286701824 18446744073709551615 4115628887 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=318/tid=321] ppid=317 vsize=410916 CPUtime=1.57
/proc/318/task/321/stat : 321 (java) S 317 317 22717 34817 22717 4202560 33497 0 0 0 148 9 0 0 16 0 9 0 73169549 420777984 44400 1283457024 134512640 134550932 4286701824 18446744073709551615 4294960130 0 0 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=318/tid=322] ppid=317 vsize=410916 CPUtime=0
/proc/318/task/322/stat : 322 (java) S 317 317 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 20 0 9 0 73169549 420777984 44400 1283457024 134512640 134550932 4286701824 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=318/tid=323] ppid=317 vsize=410916 CPUtime=0
/proc/318/task/323/stat : 323 (java) S 317 317 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 20 0 9 0 73169549 420777984 44400 1283457024 134512640 134550932 4286701824 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=318/tid=324] ppid=317 vsize=410916 CPUtime=0
/proc/318/task/324/stat : 324 (java) S 317 317 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 73169550 420777984 44400 1283457024 134512640 134550932 4286701824 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=318/tid=325] ppid=317 vsize=410916 CPUtime=0.04
/proc/318/task/325/stat : 325 (java) S 317 317 22717 34817 22717 4202560 449 0 0 0 4 0 0 0 15 0 9 0 73169550 420777984 44400 1283457024 134512640 134550932 4286701824 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=318/tid=326] ppid=317 vsize=410916 CPUtime=0
/proc/318/task/326/stat : 326 (java) S 317 317 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 73169550 420777984 44400 1283457024 134512640 134550932 4286701824 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=318/tid=327] ppid=317 vsize=410916 CPUtime=0
/proc/318/task/327/stat : 327 (java) R 317 317 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 9 0 73169550 420777984 44400 1283457024 134512640 134550932 4286701824 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 413480

[startup+6.30288 s]
/proc/loadavg: 1.19 1.03 1.00 2/44 328
/proc/meminfo: memFree=191676/1048576 swapFree=0/0
[pid=317] ppid=316 vsize=2564 CPUtime=0
/proc/317/stat : 317 (gj-user-solver-) S 316 317 22717 34817 22717 4202496 370 0 0 0 0 0 0 0 25 0 1 0 73169547 2625536 269 1283457024 134512640 135304128 4289391664 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/317/statm: 641 269 229 194 0 28 0
[pid=318] ppid=317 vsize=411252 CPUtime=6.3
/proc/318/stat : 318 (java) S 317 317 22717 34817 22717 4202496 63256 0 1 0 608 22 0 0 25 0 10 0 73169547 421122048 62412 1283457024 134512640 134550932 4286701824 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/318/statm: 102813 62412 2928 10 0 96958 0
[pid=318/tid=320] ppid=317 vsize=411252 CPUtime=4.27
/proc/318/task/320/stat : 320 (java) R 317 317 22717 34817 22717 4202560 14551 0 1 0 416 11 0 0 25 0 10 0 73169548 421122048 62412 1283457024 134512640 134550932 4286701824 18446744073709551615 4116055069 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=318/tid=321] ppid=317 vsize=411252 CPUtime=1.94
/proc/318/task/321/stat : 321 (java) S 317 317 22717 34817 22717 4202560 47235 0 0 0 184 10 0 0 16 0 10 0 73169549 421122048 62412 1283457024 134512640 134550932 4286701824 18446744073709551615 4294960130 0 0 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=318/tid=322] ppid=317 vsize=411252 CPUtime=0
/proc/318/task/322/stat : 322 (java) S 317 317 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 73169549 421122048 62412 1283457024 134512640 134550932 4286701824 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=318/tid=323] ppid=317 vsize=411252 CPUtime=0
/proc/318/task/323/stat : 323 (java) S 317 317 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73169549 421122048 62412 1283457024 134512640 134550932 4286701824 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=318/tid=324] ppid=317 vsize=411252 CPUtime=0
/proc/318/task/324/stat : 324 (java) S 317 317 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73169550 421122048 62412 1283457024 134512640 134550932 4286701824 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=318/tid=325] ppid=317 vsize=411252 CPUtime=0.07
/proc/318/task/325/stat : 325 (java) S 317 317 22717 34817 22717 4202560 525 0 0 0 7 0 0 0 15 0 10 0 73169550 421122048 62412 1283457024 134512640 134550932 4286701824 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=318/tid=326] ppid=317 vsize=411252 CPUtime=0
/proc/318/task/326/stat : 326 (java) S 317 317 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73169550 421122048 62412 1283457024 134512640 134550932 4286701824 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=318/tid=327] ppid=317 vsize=411252 CPUtime=0
/proc/318/task/327/stat : 327 (java) S 317 317 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 10 0 73169550 421122048 62412 1283457024 134512640 134550932 4286701824 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=318/tid=328] ppid=317 vsize=411252 CPUtime=0
/proc/318/task/328/stat : 328 (java) S 317 317 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 73169943 421122048 62412 1283457024 134512640 134550932 4286701824 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 413816

[startup+12.7045 s]
/proc/loadavg: 1.17 1.03 1.00 3/44 328
/proc/meminfo: memFree=183740/1048576 swapFree=0/0
[pid=317] ppid=316 vsize=2564 CPUtime=0
/proc/317/stat : 317 (gj-user-solver-) S 316 317 22717 34817 22717 4202496 370 0 0 0 0 0 0 0 25 0 1 0 73169547 2625536 269 1283457024 134512640 135304128 4289391664 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/317/statm: 641 269 229 194 0 28 0
[pid=318] ppid=317 vsize=411252 CPUtime=12.67
/proc/318/stat : 318 (java) S 317 317 22717 34817 22717 4202496 65235 0 1 0 1243 24 0 0 25 0 10 0 73169547 421122048 64382 1283457024 134512640 134550932 4286701824 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/318/statm: 102813 64382 2922 10 0 96958 0
[pid=318/tid=320] ppid=317 vsize=411252 CPUtime=10.42
/proc/318/task/320/stat : 320 (java) R 317 317 22717 34817 22717 4202560 14554 0 1 0 1031 11 0 0 25 0 10 0 73169548 421122048 64382 1283457024 134512640 134550932 4286701824 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=318/tid=321] ppid=317 vsize=411252 CPUtime=2.14
/proc/318/task/321/stat : 321 (java) R 317 317 22717 34817 22717 4202560 49184 0 0 0 202 12 0 0 16 0 10 0 73169549 421122048 64382 1283457024 134512640 134550932 4286701824 18446744073709551615 4153547151 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=318/tid=322] ppid=317 vsize=411252 CPUtime=0
/proc/318/task/322/stat : 322 (java) S 317 317 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 73169549 421122048 64382 1283457024 134512640 134550932 4286701824 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=318/tid=323] ppid=317 vsize=411252 CPUtime=0
/proc/318/task/323/stat : 323 (java) S 317 317 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73169549 421122048 64382 1283457024 134512640 134550932 4286701824 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=318/tid=324] ppid=317 vsize=411252 CPUtime=0
/proc/318/task/324/stat : 324 (java) S 317 317 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73169550 421122048 64382 1283457024 134512640 134550932 4286701824 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=318/tid=325] ppid=317 vsize=411252 CPUtime=0.09
/proc/318/task/325/stat : 325 (java) S 317 317 22717 34817 22717 4202560 552 0 0 0 9 0 0 0 15 0 10 0 73169550 421122048 64382 1283457024 134512640 134550932 4286701824 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=318/tid=326] ppid=317 vsize=411252 CPUtime=0
/proc/318/task/326/stat : 326 (java) S 317 317 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73169550 421122048 64382 1283457024 134512640 134550932 4286701824 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=318/tid=327] ppid=317 vsize=411252 CPUtime=0
/proc/318/task/327/stat : 327 (java) S 317 317 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 10 0 73169550 421122048 64382 1283457024 134512640 134550932 4286701824 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=318/tid=328] ppid=317 vsize=411252 CPUtime=0
/proc/318/task/328/stat : 328 (java) S 317 317 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 73169943 421122048 64382 1283457024 134512640 134550932 4286701824 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 413816

Solver just ended. Dumping a history of the last processes samples

[startup+12.8046 s]
/proc/loadavg: 1.17 1.03 1.00 3/44 328
/proc/meminfo: memFree=183740/1048576 swapFree=0/0
[pid=317] ppid=316 vsize=2564 CPUtime=0
/proc/317/stat : 317 (gj-user-solver-) S 316 317 22717 34817 22717 4202496 370 0 0 0 0 0 0 0 25 0 1 0 73169547 2625536 269 1283457024 134512640 135304128 4289391664 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/317/statm: 641 269 229 194 0 28 0
[pid=318] ppid=317 vsize=411252 CPUtime=12.77
/proc/318/stat : 318 (java) S 317 317 22717 34817 22717 4202496 65235 0 1 0 1253 24 0 0 25 0 10 0 73169547 421122048 64382 1283457024 134512640 134550932 4286701824 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/318/statm: 102813 64382 2922 10 0 96958 0
[pid=318/tid=320] ppid=317 vsize=411252 CPUtime=10.42
/proc/318/task/320/stat : 320 (java) R 317 317 22717 34817 22717 4202560 14554 0 1 0 1031 11 0 0 25 0 10 0 73169548 421122048 64382 1283457024 134512640 134550932 4286701824 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=318/tid=321] ppid=317 vsize=411252 CPUtime=2.24
/proc/318/task/321/stat : 321 (java) R 317 317 22717 34817 22717 4202560 49184 0 0 0 212 12 0 0 16 0 10 0 73169549 421122048 64382 1283457024 134512640 134550932 4286701824 18446744073709551615 4153548340 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=318/tid=322] ppid=317 vsize=411252 CPUtime=0
/proc/318/task/322/stat : 322 (java) S 317 317 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 73169549 421122048 64382 1283457024 134512640 134550932 4286701824 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=318/tid=323] ppid=317 vsize=411252 CPUtime=0
/proc/318/task/323/stat : 323 (java) S 317 317 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73169549 421122048 64382 1283457024 134512640 134550932 4286701824 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=318/tid=324] ppid=317 vsize=411252 CPUtime=0
/proc/318/task/324/stat : 324 (java) S 317 317 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73169550 421122048 64382 1283457024 134512640 134550932 4286701824 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=318/tid=325] ppid=317 vsize=411252 CPUtime=0.09
/proc/318/task/325/stat : 325 (java) S 317 317 22717 34817 22717 4202560 552 0 0 0 9 0 0 0 15 0 10 0 73169550 421122048 64382 1283457024 134512640 134550932 4286701824 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=318/tid=326] ppid=317 vsize=411252 CPUtime=0
/proc/318/task/326/stat : 326 (java) S 317 317 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73169550 421122048 64382 1283457024 134512640 134550932 4286701824 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=318/tid=327] ppid=317 vsize=411252 CPUtime=0
/proc/318/task/327/stat : 327 (java) S 317 317 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 10 0 73169550 421122048 64382 1283457024 134512640 134550932 4286701824 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=318/tid=328] ppid=317 vsize=411252 CPUtime=0
/proc/318/task/328/stat : 328 (java) S 317 317 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 73169943 421122048 64382 1283457024 134512640 134550932 4286701824 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.77
Current children cumulated vsize (KiB) 413816

[startup+19.2065 s]
/proc/loadavg: 1.16 1.03 1.00 2/44 328
/proc/meminfo: memFree=183740/1048576 swapFree=0/0
[pid=317] ppid=316 vsize=2564 CPUtime=0
/proc/317/stat : 317 (gj-user-solver-) S 316 317 22717 34817 22717 4202496 370 0 0 0 0 0 0 0 25 0 1 0 73169547 2625536 269 1283457024 134512640 135304128 4289391664 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/317/statm: 641 269 229 194 0 28 0
[pid=318] ppid=317 vsize=411252 CPUtime=19.17
/proc/318/stat : 318 (java) S 317 317 22717 34817 22717 4202496 65242 0 1 0 1890 27 0 0 25 0 10 0 73169547 421122048 64389 1283457024 134512640 134550932 4286701824 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/318/statm: 102813 64389 2922 10 0 96958 0
[pid=318/tid=320] ppid=317 vsize=411252 CPUtime=16.49
/proc/318/task/320/stat : 320 (java) R 317 317 22717 34817 22717 4202560 14555 0 1 0 1636 13 0 0 25 0 10 0 73169548 421122048 64389 1283457024 134512640 134550932 4286701824 18446744073709551615 4116153225 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=318/tid=321] ppid=317 vsize=411252 CPUtime=2.56
/proc/318/task/321/stat : 321 (java) S 317 317 22717 34817 22717 4202560 49184 0 0 0 243 13 0 0 15 0 10 0 73169549 421122048 64389 1283457024 134512640 134550932 4286701824 18446744073709551615 4294960130 0 0 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=318/tid=322] ppid=317 vsize=411252 CPUtime=0
/proc/318/task/322/stat : 322 (java) S 317 317 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 10 0 73169549 421122048 64389 1283457024 134512640 134550932 4286701824 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=318/tid=323] ppid=317 vsize=411252 CPUtime=0
/proc/318/task/323/stat : 323 (java) S 317 317 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73169549 421122048 64389 1283457024 134512640 134550932 4286701824 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=318/tid=324] ppid=317 vsize=411252 CPUtime=0
/proc/318/task/324/stat : 324 (java) S 317 317 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73169550 421122048 64389 1283457024 134512640 134550932 4286701824 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=318/tid=325] ppid=317 vsize=411252 CPUtime=0.1
/proc/318/task/325/stat : 325 (java) S 317 317 22717 34817 22717 4202560 558 0 0 0 10 0 0 0 15 0 10 0 73169550 421122048 64389 1283457024 134512640 134550932 4286701824 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=318/tid=326] ppid=317 vsize=411252 CPUtime=0
/proc/318/task/326/stat : 326 (java) S 317 317 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73169550 421122048 64389 1283457024 134512640 134550932 4286701824 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=318/tid=327] ppid=317 vsize=411252 CPUtime=0
/proc/318/task/327/stat : 327 (java) S 317 317 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 10 0 73169550 421122048 64389 1283457024 134512640 134550932 4286701824 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=318/tid=328] ppid=317 vsize=411252 CPUtime=0
/proc/318/task/328/stat : 328 (java) S 317 317 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 73169943 421122048 64389 1283457024 134512640 134550932 4286701824 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 19.17
Current children cumulated vsize (KiB) 413816

[startup+22.4077 s]
/proc/loadavg: 1.15 1.03 1.00 2/44 328
/proc/meminfo: memFree=183616/1048576 swapFree=0/0
[pid=317] ppid=316 vsize=2564 CPUtime=0
/proc/317/stat : 317 (gj-user-solver-) S 316 317 22717 34817 22717 4202496 370 0 0 0 0 0 0 0 25 0 1 0 73169547 2625536 269 1283457024 134512640 135304128 4289391664 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/317/statm: 641 269 229 194 0 28 0
[pid=318] ppid=317 vsize=411252 CPUtime=22.37
/proc/318/stat : 318 (java) S 317 317 22717 34817 22717 4202496 65242 0 1 0 2209 28 0 0 25 0 10 0 73169547 421122048 64389 1283457024 134512640 134550932 4286701824 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/318/statm: 102813 64389 2922 10 0 96958 0
[pid=318/tid=320] ppid=317 vsize=411252 CPUtime=19.66
/proc/318/task/320/stat : 320 (java) R 317 317 22717 34817 22717 4202560 14555 0 1 0 1952 14 0 0 25 0 10 0 73169548 421122048 64389 1283457024 134512640 134550932 4286701824 18446744073709551615 4115957632 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=318/tid=321] ppid=317 vsize=411252 CPUtime=2.59
/proc/318/task/321/stat : 321 (java) S 317 317 22717 34817 22717 4202560 49184 0 0 0 246 13 0 0 15 0 10 0 73169549 421122048 64389 1283457024 134512640 134550932 4286701824 18446744073709551615 4294960130 0 0 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=318/tid=322] ppid=317 vsize=411252 CPUtime=0
/proc/318/task/322/stat : 322 (java) S 317 317 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 10 0 73169549 421122048 64389 1283457024 134512640 134550932 4286701824 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=318/tid=323] ppid=317 vsize=411252 CPUtime=0
/proc/318/task/323/stat : 323 (java) S 317 317 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73169549 421122048 64389 1283457024 134512640 134550932 4286701824 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=318/tid=324] ppid=317 vsize=411252 CPUtime=0
/proc/318/task/324/stat : 324 (java) S 317 317 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73169550 421122048 64389 1283457024 134512640 134550932 4286701824 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=318/tid=325] ppid=317 vsize=411252 CPUtime=0.1
/proc/318/task/325/stat : 325 (java) S 317 317 22717 34817 22717 4202560 558 0 0 0 10 0 0 0 15 0 10 0 73169550 421122048 64389 1283457024 134512640 134550932 4286701824 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=318/tid=326] ppid=317 vsize=411252 CPUtime=0
/proc/318/task/326/stat : 326 (java) S 317 317 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73169550 421122048 64389 1283457024 134512640 134550932 4286701824 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=318/tid=327] ppid=317 vsize=411252 CPUtime=0
/proc/318/task/327/stat : 327 (java) S 317 317 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 10 0 73169550 421122048 64389 1283457024 134512640 134550932 4286701824 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=318/tid=328] ppid=317 vsize=411252 CPUtime=0
/proc/318/task/328/stat : 328 (java) S 317 317 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 73169943 421122048 64389 1283457024 134512640 134550932 4286701824 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 22.37
Current children cumulated vsize (KiB) 413816

[startup+23.208 s]
/proc/loadavg: 1.15 1.03 1.00 2/44 328
/proc/meminfo: memFree=183616/1048576 swapFree=0/0
[pid=317] ppid=316 vsize=2564 CPUtime=0
/proc/317/stat : 317 (gj-user-solver-) S 316 317 22717 34817 22717 4202496 370 0 0 0 0 0 0 0 25 0 1 0 73169547 2625536 269 1283457024 134512640 135304128 4289391664 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/317/statm: 641 269 229 194 0 28 0
[pid=318] ppid=317 vsize=411252 CPUtime=23.17
/proc/318/stat : 318 (java) S 317 317 22717 34817 22717 4202496 65242 0 1 0 2289 28 0 0 25 0 10 0 73169547 421122048 64389 1283457024 134512640 134550932 4286701824 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/318/statm: 102813 64389 2922 10 0 96958 0
[pid=318/tid=320] ppid=317 vsize=411252 CPUtime=20.46
/proc/318/task/320/stat : 320 (java) R 317 317 22717 34817 22717 4202560 14555 0 1 0 2032 14 0 0 25 0 10 0 73169548 421122048 64389 1283457024 134512640 134550932 4286701824 18446744073709551615 4116153225 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=318/tid=321] ppid=317 vsize=411252 CPUtime=2.59
/proc/318/task/321/stat : 321 (java) S 317 317 22717 34817 22717 4202560 49184 0 0 0 246 13 0 0 15 0 10 0 73169549 421122048 64389 1283457024 134512640 134550932 4286701824 18446744073709551615 4294960130 0 0 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=318/tid=322] ppid=317 vsize=411252 CPUtime=0
/proc/318/task/322/stat : 322 (java) S 317 317 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 10 0 73169549 421122048 64389 1283457024 134512640 134550932 4286701824 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=318/tid=323] ppid=317 vsize=411252 CPUtime=0
/proc/318/task/323/stat : 323 (java) S 317 317 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73169549 421122048 64389 1283457024 134512640 134550932 4286701824 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=318/tid=324] ppid=317 vsize=411252 CPUtime=0
/proc/318/task/324/stat : 324 (java) S 317 317 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73169550 421122048 64389 1283457024 134512640 134550932 4286701824 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=318/tid=325] ppid=317 vsize=411252 CPUtime=0.1
/proc/318/task/325/stat : 325 (java) S 317 317 22717 34817 22717 4202560 558 0 0 0 10 0 0 0 15 0 10 0 73169550 421122048 64389 1283457024 134512640 134550932 4286701824 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=318/tid=326] ppid=317 vsize=411252 CPUtime=0
/proc/318/task/326/stat : 326 (java) S 317 317 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73169550 421122048 64389 1283457024 134512640 134550932 4286701824 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=318/tid=327] ppid=317 vsize=411252 CPUtime=0
/proc/318/task/327/stat : 327 (java) S 317 317 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 10 0 73169550 421122048 64389 1283457024 134512640 134550932 4286701824 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=318/tid=328] ppid=317 vsize=411252 CPUtime=0
/proc/318/task/328/stat : 328 (java) S 317 317 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 73169943 421122048 64389 1283457024 134512640 134550932 4286701824 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 23.17
Current children cumulated vsize (KiB) 413816

[startup+24.0083 s]
/proc/loadavg: 1.15 1.03 1.00 2/44 328
/proc/meminfo: memFree=183616/1048576 swapFree=0/0
[pid=317] ppid=316 vsize=2564 CPUtime=0
/proc/317/stat : 317 (gj-user-solver-) S 316 317 22717 34817 22717 4202496 370 0 0 0 0 0 0 0 25 0 1 0 73169547 2625536 269 1283457024 134512640 135304128 4289391664 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/317/statm: 641 269 229 194 0 28 0
[pid=318] ppid=317 vsize=411252 CPUtime=23.96
/proc/318/stat : 318 (java) S 317 317 22717 34817 22717 4202496 65242 0 1 0 2368 28 0 0 25 0 10 0 73169547 421122048 64389 1283457024 134512640 134550932 4286701824 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/318/statm: 102813 64389 2922 10 0 96958 0
[pid=318/tid=320] ppid=317 vsize=411252 CPUtime=21.25
/proc/318/task/320/stat : 320 (java) R 317 317 22717 34817 22717 4202560 14555 0 1 0 2111 14 0 0 25 0 10 0 73169548 421122048 64389 1283457024 134512640 134550932 4286701824 18446744073709551615 4116031988 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=318/tid=321] ppid=317 vsize=411252 CPUtime=2.59
/proc/318/task/321/stat : 321 (java) S 317 317 22717 34817 22717 4202560 49184 0 0 0 246 13 0 0 15 0 10 0 73169549 421122048 64389 1283457024 134512640 134550932 4286701824 18446744073709551615 4294960130 0 0 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=318/tid=322] ppid=317 vsize=411252 CPUtime=0
/proc/318/task/322/stat : 322 (java) S 317 317 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 10 0 73169549 421122048 64389 1283457024 134512640 134550932 4286701824 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=318/tid=323] ppid=317 vsize=411252 CPUtime=0
/proc/318/task/323/stat : 323 (java) S 317 317 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73169549 421122048 64389 1283457024 134512640 134550932 4286701824 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=318/tid=324] ppid=317 vsize=411252 CPUtime=0
/proc/318/task/324/stat : 324 (java) S 317 317 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73169550 421122048 64389 1283457024 134512640 134550932 4286701824 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=318/tid=325] ppid=317 vsize=411252 CPUtime=0.1
/proc/318/task/325/stat : 325 (java) S 317 317 22717 34817 22717 4202560 558 0 0 0 10 0 0 0 15 0 10 0 73169550 421122048 64389 1283457024 134512640 134550932 4286701824 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=318/tid=326] ppid=317 vsize=411252 CPUtime=0
/proc/318/task/326/stat : 326 (java) S 317 317 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73169550 421122048 64389 1283457024 134512640 134550932 4286701824 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=318/tid=327] ppid=317 vsize=411252 CPUtime=0
/proc/318/task/327/stat : 327 (java) R 317 317 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 10 0 73169550 421122048 64389 1283457024 134512640 134550932 4286701824 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=318/tid=328] ppid=317 vsize=411252 CPUtime=0
/proc/318/task/328/stat : 328 (java) S 317 317 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 73169943 421122048 64389 1283457024 134512640 134550932 4286701824 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 23.96
Current children cumulated vsize (KiB) 413816

[startup+24.2083 s]
/proc/loadavg: 1.15 1.03 1.00 2/44 328
/proc/meminfo: memFree=183616/1048576 swapFree=0/0
[pid=317] ppid=316 vsize=2564 CPUtime=0
/proc/317/stat : 317 (gj-user-solver-) S 316 317 22717 34817 22717 4202496 370 0 0 0 0 0 0 0 25 0 1 0 73169547 2625536 269 1283457024 134512640 135304128 4289391664 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/317/statm: 641 269 229 194 0 28 0
[pid=318] ppid=317 vsize=411252 CPUtime=24.16
/proc/318/stat : 318 (java) S 317 317 22717 34817 22717 4202496 65242 0 1 0 2388 28 0 0 25 0 10 0 73169547 421122048 64389 1283457024 134512640 134550932 4286701824 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/318/statm: 102813 64389 2922 10 0 96958 0
[pid=318/tid=320] ppid=317 vsize=411252 CPUtime=21.45
/proc/318/task/320/stat : 320 (java) R 317 317 22717 34817 22717 4202560 14555 0 1 0 2131 14 0 0 25 0 10 0 73169548 421122048 64389 1283457024 134512640 134550932 4286701824 18446744073709551615 4116050732 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=318/tid=321] ppid=317 vsize=411252 CPUtime=2.59
/proc/318/task/321/stat : 321 (java) S 317 317 22717 34817 22717 4202560 49184 0 0 0 246 13 0 0 15 0 10 0 73169549 421122048 64389 1283457024 134512640 134550932 4286701824 18446744073709551615 4294960130 0 0 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=318/tid=322] ppid=317 vsize=411252 CPUtime=0
/proc/318/task/322/stat : 322 (java) S 317 317 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 10 0 73169549 421122048 64389 1283457024 134512640 134550932 4286701824 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=318/tid=323] ppid=317 vsize=411252 CPUtime=0
/proc/318/task/323/stat : 323 (java) S 317 317 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73169549 421122048 64389 1283457024 134512640 134550932 4286701824 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=318/tid=324] ppid=317 vsize=411252 CPUtime=0
/proc/318/task/324/stat : 324 (java) S 317 317 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73169550 421122048 64389 1283457024 134512640 134550932 4286701824 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=318/tid=325] ppid=317 vsize=411252 CPUtime=0.1
/proc/318/task/325/stat : 325 (java) S 317 317 22717 34817 22717 4202560 558 0 0 0 10 0 0 0 15 0 10 0 73169550 421122048 64389 1283457024 134512640 134550932 4286701824 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=318/tid=326] ppid=317 vsize=411252 CPUtime=0
/proc/318/task/326/stat : 326 (java) S 317 317 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73169550 421122048 64389 1283457024 134512640 134550932 4286701824 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=318/tid=327] ppid=317 vsize=411252 CPUtime=0
/proc/318/task/327/stat : 327 (java) S 317 317 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 10 0 73169550 421122048 64389 1283457024 134512640 134550932 4286701824 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=318/tid=328] ppid=317 vsize=411252 CPUtime=0
/proc/318/task/328/stat : 328 (java) S 317 317 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 73169943 421122048 64389 1283457024 134512640 134550932 4286701824 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 24.16
Current children cumulated vsize (KiB) 413816

[startup+24.3083 s]
/proc/loadavg: 1.15 1.03 1.00 2/44 328
/proc/meminfo: memFree=183616/1048576 swapFree=0/0
[pid=317] ppid=316 vsize=2564 CPUtime=0
/proc/317/stat : 317 (gj-user-solver-) S 316 317 22717 34817 22717 4202496 370 0 0 0 0 0 0 0 25 0 1 0 73169547 2625536 269 1283457024 134512640 135304128 4289391664 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/317/statm: 641 269 229 194 0 28 0
[pid=318] ppid=317 vsize=411252 CPUtime=24.26
/proc/318/stat : 318 (java) S 317 317 22717 34817 22717 4202496 65243 0 1 0 2398 28 0 0 25 0 9 0 73169547 421122048 64390 1283457024 134512640 134550932 4286701824 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/318/statm: 102813 64390 2923 10 0 96958 0
[pid=318/tid=320] ppid=317 vsize=411252 CPUtime=21.55
/proc/318/task/320/stat : 320 (java) R 317 317 22717 34817 22717 4202560 14555 0 1 0 2141 14 0 0 25 0 9 0 73169548 421122048 64390 1283457024 134512640 134550932 4286701824 18446744073709551615 4116205560 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=318/tid=321] ppid=317 vsize=411252 CPUtime=2.59
/proc/318/task/321/stat : 321 (java) S 317 317 22717 34817 22717 4202560 49184 0 0 0 246 13 0 0 15 0 9 0 73169549 421122048 64390 1283457024 134512640 134550932 4286701824 18446744073709551615 4294960130 0 0 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=318/tid=322] ppid=317 vsize=411252 CPUtime=0
/proc/318/task/322/stat : 322 (java) S 317 317 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 9 0 73169549 421122048 64390 1283457024 134512640 134550932 4286701824 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=318/tid=323] ppid=317 vsize=411252 CPUtime=0
/proc/318/task/323/stat : 323 (java) S 317 317 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 9 0 73169549 421122048 64390 1283457024 134512640 134550932 4286701824 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=318/tid=324] ppid=317 vsize=411252 CPUtime=0
/proc/318/task/324/stat : 324 (java) S 317 317 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 73169550 421122048 64390 1283457024 134512640 134550932 4286701824 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=318/tid=325] ppid=317 vsize=411252 CPUtime=0.1
/proc/318/task/325/stat : 325 (java) S 317 317 22717 34817 22717 4202560 558 0 0 0 10 0 0 0 15 0 9 0 73169550 421122048 64390 1283457024 134512640 134550932 4286701824 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=318/tid=326] ppid=317 vsize=411252 CPUtime=0
/proc/318/task/326/stat : 326 (java) S 317 317 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 73169550 421122048 64390 1283457024 134512640 134550932 4286701824 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=318/tid=327] ppid=317 vsize=411252 CPUtime=0
/proc/318/task/327/stat : 327 (java) R 317 317 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 9 0 73169550 421122048 64390 1283457024 134512640 134550932 4286701824 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 24.26
Current children cumulated vsize (KiB) 413816

Child status: 0
Real time (s): 24.3795
CPU time (s): 24.2895
CPU user time (s): 23.9895
CPU system time (s): 0.300018
CPU usage (%): 99.6308
Max. virtual memory (cumulated for all children) (KiB): 413816

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 23.9895
system time used= 0.300018
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 65631
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1249
involuntary context switches= 1622

runsolver used 0 second user time and 0 second system time

The end