runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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: BIN/runsolver --timestamp -w /tmp/evaluation-result-3711087-1338199217/watcher-3711087-1338199217 -o /tmp/evaluation-result-3711087-1338199217/solver-3711087-1338199217 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3711087-1338199217.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.03 2.02 2.00 3/195 14394
/proc/meminfo: memFree=27154664/32873660 swapFree=7120/7120
[pid=14394] ppid=14392 vsize=89740 CPUtime=0 cores=0,2,4,6
/proc/14394/stat : 14394 (java) S 14392 14394 13800 0 -1 4202496 1166 0 0 0 0 0 0 0 20 0 2 0 286047434 91893760 886 33554432000 1073741824 1073778376 140736923389248 140736923380384 270333411389 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14394/statm: 22435 893 676 9 0 16770 0
[pid=14394/tid=14395] ppid=14392 vsize=89736 CPUtime=0 cores=0,2,4,6
/proc/14394/task/14395/stat : 14395 (java) R 14392 14394 13800 0 -1 4202560 28 0 0 0 0 0 0 0 20 0 2 0 286047435 91889664 894 33554432000 1073741824 1073778376 140736923389248 140736923378312 270320889642 0 0 4096 0 0 0 0 -1 2 0 0 0 0 0
[startup+0.106147 s]
/proc/loadavg: 2.03 2.02 2.00 3/195 14394
/proc/meminfo: memFree=27154664/32873660 swapFree=7120/7120
[pid=14394] ppid=14392 vsize=9558440 CPUtime=0.12 cores=0,2,4,6
/proc/14394/stat : 14394 (java) S 14392 14394 13800 0 -1 4202496 4480 0 1 0 11 1 0 0 20 0 18 0 286047434 9787842560 6198 33554432000 1073741824 1073778376 140736923389248 140736923380384 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14394/statm: 2389610 6198 2149 9 0 2380296 0
[pid=14394/tid=14395] ppid=14392 vsize=9558440 CPUtime=0.08 cores=0,2,4,6
/proc/14394/task/14395/stat : 14395 (java) R 14392 14394 13800 0 -1 4202560 2491 0 1 0 8 0 0 0 20 0 18 0 286047435 9787842560 6198 33554432000 1073741824 1073778376 140736923389248 139925569422152 270333437197 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 9558440
[startup+0.200314 s]
/proc/loadavg: 2.03 2.02 2.00 3/195 14394
/proc/meminfo: memFree=27154664/32873660 swapFree=7120/7120
[pid=14394] ppid=14392 vsize=9558440 CPUtime=0.29 cores=0,2,4,6
/proc/14394/stat : 14394 (java) S 14392 14394 13800 0 -1 4202496 4810 0 1 0 28 1 0 0 20 0 18 0 286047434 9787842560 6900 33554432000 1073741824 1073778376 140736923389248 140736923380384 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14394/statm: 2389610 6900 2210 9 0 2380296 0
[pid=14394/tid=14395] ppid=14392 vsize=9558440 CPUtime=0.18 cores=0,2,4,6
/proc/14394/task/14395/stat : 14395 (java) R 14392 14394 13800 0 -1 4202560 2502 0 1 0 17 1 0 0 20 0 18 0 286047435 9787842560 6900 33554432000 1073741824 1073778376 140736923389248 139925569429240 139925577202515 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9558440
[startup+0.300326 s]
/proc/loadavg: 2.03 2.02 2.00 3/195 14394
/proc/meminfo: memFree=27154664/32873660 swapFree=7120/7120
[pid=14394] ppid=14392 vsize=9558440 CPUtime=0.55 cores=0,2,4,6
/proc/14394/stat : 14394 (java) S 14392 14394 13800 0 -1 4202496 6086 0 1 0 53 2 0 0 20 0 18 0 286047434 9787842560 10117 33554432000 1073741824 1073778376 140736923389248 140736923380384 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14394/statm: 2389610 10117 2227 9 0 2380296 0
[pid=14394/tid=14395] ppid=14392 vsize=9558440 CPUtime=0.28 cores=0,2,4,6
/proc/14394/task/14395/stat : 14395 (java) R 14392 14394 13800 0 -1 4202560 2507 0 1 0 26 2 0 0 20 0 18 0 286047435 9787842560 10117 33554432000 1073741824 1073778376 140736923389248 139925569429240 139925421210267 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 9558440
[startup+0.700248 s]
/proc/loadavg: 2.03 2.02 2.00 3/195 14394
/proc/meminfo: memFree=27154664/32873660 swapFree=7120/7120
[pid=14394] ppid=14392 vsize=9625004 CPUtime=1.29 cores=0,2,4,6
/proc/14394/stat : 14394 (java) S 14392 14394 13800 0 -1 4202496 8206 0 1 0 127 2 0 0 20 0 19 0 286047434 9856004096 12419 33554432000 1073741824 1073778376 140736923389248 140736923380384 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14394/statm: 2406251 12419 2255 9 0 2396937 0
[pid=14394/tid=14395] ppid=14392 vsize=9625004 CPUtime=0.68 cores=0,2,4,6
/proc/14394/task/14395/stat : 14395 (java) R 14392 14394 13800 0 -1 4202560 2520 0 1 0 66 2 0 0 20 0 19 0 286047435 9856004096 12419 33554432000 1073741824 1073778376 140736923389248 139925569438344 139925421351578 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 9625004
[startup+1.50069 s]
/proc/loadavg: 2.03 2.02 2.00 3/214 14413
/proc/meminfo: memFree=27101348/32873660 swapFree=7120/7120
[pid=14394] ppid=14392 vsize=9625004 CPUtime=2.19 cores=0,2,4,6
/proc/14394/stat : 14394 (java) S 14392 14394 13800 0 -1 4202496 8390 0 1 0 216 3 0 0 20 0 19 0 286047434 9856004096 16040 33554432000 1073741824 1073778376 140736923389248 140736923380384 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14394/statm: 2406251 16040 2287 9 0 2396937 0
[pid=14394/tid=14395] ppid=14392 vsize=9625004 CPUtime=1.46 cores=0,2,4,6
/proc/14394/task/14395/stat : 14395 (java) R 14392 14394 13800 0 -1 4202560 2526 0 1 0 144 2 0 0 20 0 19 0 286047435 9856004096 16040 33554432000 1073741824 1073778376 140736923389248 139925569428648 139925421423772 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=14394/tid=14397] ppid=14392 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14394/task/14397/stat : 14397 (java) S 14392 14394 13800 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 286047435 9856004096 16040 33554432000 1073741824 1073778376 140736923389248 139925541890856 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14394/tid=14398] ppid=14392 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14394/task/14398/stat : 14398 (java) S 14392 14394 13800 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286047435 9856004096 16040 33554432000 1073741824 1073778376 140736923389248 139925540838056 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14394/tid=14399] ppid=14392 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14394/task/14399/stat : 14399 (java) S 14392 14394 13800 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 286047435 9856004096 16040 33554432000 1073741824 1073778376 140736923389248 139925539785768 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14394/tid=14400] ppid=14392 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14394/task/14400/stat : 14400 (java) S 14392 14394 13800 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 286047435 9856004096 16040 33554432000 1073741824 1073778376 140736923389248 139925409803176 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14394/tid=14401] ppid=14392 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14394/task/14401/stat : 14401 (java) S 14392 14394 13800 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 286047435 9856004096 16040 33554432000 1073741824 1073778376 140736923389248 139925408749864 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14394/tid=14402] ppid=14392 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14394/task/14402/stat : 14402 (java) S 14392 14394 13800 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286047435 9856004096 16040 33554432000 1073741824 1073778376 140736923389248 139925407697064 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14394/tid=14403] ppid=14392 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14394/task/14403/stat : 14403 (java) S 14392 14394 13800 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286047435 9856004096 16040 33554432000 1073741824 1073778376 140736923389248 139925406644776 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14394/tid=14404] ppid=14392 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14394/task/14404/stat : 14404 (java) S 14392 14394 13800 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 286047435 9856004096 16040 33554432000 1073741824 1073778376 140736923389248 139925405591976 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14394/tid=14405] ppid=14392 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/14394/task/14405/stat : 14405 (java) S 14392 14394 13800 0 -1 4202560 32 0 0 0 1 0 0 0 20 0 19 0 286047436 9856004096 16040 33554432000 1073741824 1073778376 140736923389248 139924923079400 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14394/tid=14406] ppid=14392 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14394/task/14406/stat : 14406 (java) S 14392 14394 13800 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 286047437 9856004096 16040 33554432000 1073741824 1073778376 140736923389248 139924922025464 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14394/tid=14407] ppid=14392 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14394/task/14407/stat : 14407 (java) S 14392 14394 13800 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 286047437 9856004096 16040 33554432000 1073741824 1073778376 140736923389248 139924920973064 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14394/tid=14408] ppid=14392 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14394/task/14408/stat : 14408 (java) S 14392 14394 13800 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286047439 9856004096 16040 33554432000 1073741824 1073778376 140736923389248 139924919921552 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14394/tid=14409] ppid=14392 vsize=9625004 CPUtime=0.3 cores=0,2,4,6
/proc/14394/task/14409/stat : 14409 (java) S 14392 14394 13800 0 -1 4202560 2539 0 0 0 30 0 0 0 20 0 19 0 286047439 9856004096 16040 33554432000 1073741824 1073778376 140736923389248 139924918868152 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14394/tid=14410] ppid=14392 vsize=9625004 CPUtime=0.36 cores=0,2,4,6
/proc/14394/task/14410/stat : 14410 (java) S 14392 14394 13800 0 -1 4202560 2061 0 0 0 36 0 0 0 20 0 19 0 286047439 9856004096 16040 33554432000 1073741824 1073778376 140736923389248 139924917815352 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14394/tid=14411] ppid=14392 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14394/task/14411/stat : 14411 (java) S 14392 14394 13800 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286047439 9856004096 16040 33554432000 1073741824 1073778376 140736923389248 139924916763256 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14394/tid=14412] ppid=14392 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14394/task/14412/stat : 14412 (java) S 14392 14394 13800 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286047439 9856004096 16040 33554432000 1073741824 1073778376 140736923389248 139924915710664 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14394/tid=14413] ppid=14392 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14394/task/14413/stat : 14413 (java) S 14392 14394 13800 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 286047466 9856004096 16040 33554432000 1073741824 1073778376 140736923389248 139924914656680 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.19
Current children cumulated vsize (KiB) 9625004
[startup+3.10066 s]
/proc/loadavg: 2.03 2.02 2.00 4/214 14413
/proc/meminfo: memFree=27079148/32873660 swapFree=7120/7120
[pid=14394] ppid=14392 vsize=9625004 CPUtime=4.48 cores=0,2,4,6
/proc/14394/stat : 14394 (java) S 14392 14394 13800 0 -1 4202496 21398 0 1 0 443 5 0 0 20 0 19 0 286047434 9856004096 24431 33554432000 1073741824 1073778376 140736923389248 140736923380384 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14394/statm: 2406251 24431 2287 9 0 2396937 0
[pid=14394/tid=14395] ppid=14392 vsize=9625004 CPUtime=3.02 cores=0,2,4,6
/proc/14394/task/14395/stat : 14395 (java) R 14392 14394 13800 0 -1 4202560 2527 0 1 0 300 2 0 0 20 0 19 0 286047435 9856004096 24431 33554432000 1073741824 1073778376 140736923389248 139925569437960 139925421355872 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=14394/tid=14397] ppid=14392 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14394/task/14397/stat : 14397 (java) S 14392 14394 13800 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 286047435 9856004096 24431 33554432000 1073741824 1073778376 140736923389248 139925541890856 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14394/tid=14398] ppid=14392 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14394/task/14398/stat : 14398 (java) S 14392 14394 13800 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 286047435 9856004096 24431 33554432000 1073741824 1073778376 140736923389248 139925540838056 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14394/tid=14399] ppid=14392 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14394/task/14399/stat : 14399 (java) S 14392 14394 13800 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 286047435 9856004096 24431 33554432000 1073741824 1073778376 140736923389248 139925539785768 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14394/tid=14400] ppid=14392 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14394/task/14400/stat : 14400 (java) S 14392 14394 13800 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 286047435 9856004096 24431 33554432000 1073741824 1073778376 140736923389248 139925409803176 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14394/tid=14401] ppid=14392 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14394/task/14401/stat : 14401 (java) S 14392 14394 13800 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 286047435 9856004096 24431 33554432000 1073741824 1073778376 140736923389248 139925408749864 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14394/tid=14402] ppid=14392 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14394/task/14402/stat : 14402 (java) S 14392 14394 13800 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286047435 9856004096 24431 33554432000 1073741824 1073778376 140736923389248 139925407697064 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14394/tid=14403] ppid=14392 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14394/task/14403/stat : 14403 (java) S 14392 14394 13800 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286047435 9856004096 24431 33554432000 1073741824 1073778376 140736923389248 139925406644776 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14394/tid=14404] ppid=14392 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14394/task/14404/stat : 14404 (java) S 14392 14394 13800 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 286047435 9856004096 24431 33554432000 1073741824 1073778376 140736923389248 139925405591976 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14394/tid=14405] ppid=14392 vsize=9625004 CPUtime=0.03 cores=0,2,4,6
/proc/14394/task/14405/stat : 14405 (java) S 14392 14394 13800 0 -1 4202560 41 0 0 0 3 0 0 0 20 0 19 0 286047436 9856004096 24431 33554432000 1073741824 1073778376 140736923389248 139924923079400 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14394/tid=14406] ppid=14392 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14394/task/14406/stat : 14406 (java) S 14392 14394 13800 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 286047437 9856004096 24431 33554432000 1073741824 1073778376 140736923389248 139924922025464 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14394/tid=14407] ppid=14392 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14394/task/14407/stat : 14407 (java) S 14392 14394 13800 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 286047437 9856004096 24431 33554432000 1073741824 1073778376 140736923389248 139924920973064 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14394/tid=14408] ppid=14392 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14394/task/14408/stat : 14408 (java) S 14392 14394 13800 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286047439 9856004096 24431 33554432000 1073741824 1073778376 140736923389248 139924919921552 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14394/tid=14409] ppid=14392 vsize=9625004 CPUtime=0.62 cores=0,2,4,6
/proc/14394/task/14409/stat : 14409 (java) R 14392 14394 13800 0 -1 4202560 7444 0 0 0 62 0 0 0 20 0 19 0 286047439 9856004096 24431 33554432000 1073741824 1073778376 140736923389248 139924918855176 139925573524897 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=14394/tid=14410] ppid=14392 vsize=9625004 CPUtime=0.72 cores=0,2,4,6
/proc/14394/task/14410/stat : 14410 (java) S 14392 14394 13800 0 -1 4202560 10145 0 0 0 70 2 0 0 20 0 19 0 286047439 9856004096 24431 33554432000 1073741824 1073778376 140736923389248 139924917815352 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14394/tid=14411] ppid=14392 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14394/task/14411/stat : 14411 (java) S 14392 14394 13800 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286047439 9856004096 24431 33554432000 1073741824 1073778376 140736923389248 139924916763256 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14394/tid=14412] ppid=14392 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14394/task/14412/stat : 14412 (java) S 14392 14394 13800 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286047439 9856004096 24431 33554432000 1073741824 1073778376 140736923389248 139924915710664 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14394/tid=14413] ppid=14392 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14394/task/14413/stat : 14413 (java) S 14392 14394 13800 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 286047466 9856004096 24431 33554432000 1073741824 1073778376 140736923389248 139924914656680 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 4.48
Current children cumulated vsize (KiB) 9625004
[startup+6.30055 s]
/proc/loadavg: 2.03 2.02 2.00 3/214 14413
/proc/meminfo: memFree=27065132/32873660 swapFree=7120/7120
[pid=14394] ppid=14392 vsize=9625004 CPUtime=7.78 cores=0,2,4,6
/proc/14394/stat : 14394 (java) S 14392 14394 13800 0 -1 4202496 21413 0 1 0 773 5 0 0 20 0 19 0 286047434 9856004096 24215 33554432000 1073741824 1073778376 140736923389248 140736923380384 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14394/statm: 2406251 24215 2287 9 0 2396937 0
[pid=14394/tid=14395] ppid=14392 vsize=9625004 CPUtime=6.16 cores=0,2,4,6
/proc/14394/task/14395/stat : 14395 (java) R 14392 14394 13800 0 -1 4202560 2532 0 1 0 614 2 0 0 20 0 19 0 286047435 9856004096 24215 33554432000 1073741824 1073778376 140736923389248 139925569438000 139925421356052 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=14394/tid=14397] ppid=14392 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14394/task/14397/stat : 14397 (java) S 14392 14394 13800 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 286047435 9856004096 24215 33554432000 1073741824 1073778376 140736923389248 139925541890856 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14394/tid=14398] ppid=14392 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14394/task/14398/stat : 14398 (java) S 14392 14394 13800 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 286047435 9856004096 24215 33554432000 1073741824 1073778376 140736923389248 139925540838056 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14394/tid=14399] ppid=14392 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14394/task/14399/stat : 14399 (java) S 14392 14394 13800 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 286047435 9856004096 24215 33554432000 1073741824 1073778376 140736923389248 139925539785768 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14394/tid=14400] ppid=14392 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14394/task/14400/stat : 14400 (java) S 14392 14394 13800 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 286047435 9856004096 24215 33554432000 1073741824 1073778376 140736923389248 139925409803176 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14394/tid=14401] ppid=14392 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14394/task/14401/stat : 14401 (java) S 14392 14394 13800 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 286047435 9856004096 24215 33554432000 1073741824 1073778376 140736923389248 139925408749864 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14394/tid=14402] ppid=14392 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14394/task/14402/stat : 14402 (java) S 14392 14394 13800 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 286047435 9856004096 24215 33554432000 1073741824 1073778376 140736923389248 139925407697064 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14394/tid=14403] ppid=14392 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14394/task/14403/stat : 14403 (java) S 14392 14394 13800 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 286047435 9856004096 24215 33554432000 1073741824 1073778376 140736923389248 139925406644776 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14394/tid=14404] ppid=14392 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14394/task/14404/stat : 14404 (java) S 14392 14394 13800 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 286047435 9856004096 24215 33554432000 1073741824 1073778376 140736923389248 139925405591976 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14394/tid=14405] ppid=14392 vsize=9625004 CPUtime=0.07 cores=0,2,4,6
/proc/14394/task/14405/stat : 14405 (java) S 14392 14394 13800 0 -1 4202560 42 0 0 0 7 0 0 0 20 0 19 0 286047436 9856004096 24215 33554432000 1073741824 1073778376 140736923389248 139924923079400 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14394/tid=14406] ppid=14392 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14394/task/14406/stat : 14406 (java) S 14392 14394 13800 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 286047437 9856004096 24215 33554432000 1073741824 1073778376 140736923389248 139924922025464 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14394/tid=14407] ppid=14392 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14394/task/14407/stat : 14407 (java) S 14392 14394 13800 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 286047437 9856004096 24215 33554432000 1073741824 1073778376 140736923389248 139924920973064 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14394/tid=14408] ppid=14392 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14394/task/14408/stat : 14408 (java) S 14392 14394 13800 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286047439 9856004096 24215 33554432000 1073741824 1073778376 140736923389248 139924919921552 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14394/tid=14409] ppid=14392 vsize=9625004 CPUtime=0.7 cores=0,2,4,6
/proc/14394/task/14409/stat : 14409 (java) S 14392 14394 13800 0 -1 4202560 7446 0 0 0 70 0 0 0 20 0 19 0 286047439 9856004096 24215 33554432000 1073741824 1073778376 140736923389248 139924918868152 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14394/tid=14410] ppid=14392 vsize=9625004 CPUtime=0.73 cores=0,2,4,6
/proc/14394/task/14410/stat : 14410 (java) S 14392 14394 13800 0 -1 4202560 10145 0 0 0 71 2 0 0 20 0 19 0 286047439 9856004096 24215 33554432000 1073741824 1073778376 140736923389248 139924917815352 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14394/tid=14411] ppid=14392 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14394/task/14411/stat : 14411 (java) S 14392 14394 13800 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286047439 9856004096 24215 33554432000 1073741824 1073778376 140736923389248 139924916763256 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14394/tid=14412] ppid=14392 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14394/task/14412/stat : 14412 (java) S 14392 14394 13800 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286047439 9856004096 24215 33554432000 1073741824 1073778376 140736923389248 139924915710664 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14394/tid=14413] ppid=14392 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14394/task/14413/stat : 14413 (java) S 14392 14394 13800 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 286047466 9856004096 24215 33554432000 1073741824 1073778376 140736923389248 139924914656680 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 7.78
Current children cumulated vsize (KiB) 9625004
Solver just ended. Dumping a history of the last processes samples
[startup+6.4007 s]
/proc/loadavg: 2.03 2.02 2.00 3/214 14413
/proc/meminfo: memFree=27065132/32873660 swapFree=7120/7120
[pid=14394] ppid=14392 vsize=9625004 CPUtime=7.88 cores=0,2,4,6
/proc/14394/stat : 14394 (java) S 14392 14394 13800 0 -1 4202496 21413 0 1 0 783 5 0 0 20 0 19 0 286047434 9856004096 24215 33554432000 1073741824 1073778376 140736923389248 140736923380384 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14394/statm: 2406251 24215 2287 9 0 2396937 0
[pid=14394/tid=14395] ppid=14392 vsize=9625004 CPUtime=6.26 cores=0,2,4,6
/proc/14394/task/14395/stat : 14395 (java) R 14392 14394 13800 0 -1 4202560 2532 0 1 0 624 2 0 0 20 0 19 0 286047435 9856004096 24215 33554432000 1073741824 1073778376 140736923389248 139925569438000 139925421037506 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=14394/tid=14397] ppid=14392 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14394/task/14397/stat : 14397 (java) S 14392 14394 13800 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 286047435 9856004096 24215 33554432000 1073741824 1073778376 140736923389248 139925541890856 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14394/tid=14398] ppid=14392 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14394/task/14398/stat : 14398 (java) S 14392 14394 13800 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 286047435 9856004096 24215 33554432000 1073741824 1073778376 140736923389248 139925540838056 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14394/tid=14399] ppid=14392 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14394/task/14399/stat : 14399 (java) S 14392 14394 13800 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 286047435 9856004096 24215 33554432000 1073741824 1073778376 140736923389248 139925539785768 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14394/tid=14400] ppid=14392 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14394/task/14400/stat : 14400 (java) S 14392 14394 13800 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 286047435 9856004096 24215 33554432000 1073741824 1073778376 140736923389248 139925409803176 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14394/tid=14401] ppid=14392 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14394/task/14401/stat : 14401 (java) S 14392 14394 13800 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 286047435 9856004096 24215 33554432000 1073741824 1073778376 140736923389248 139925408749864 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14394/tid=14402] ppid=14392 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14394/task/14402/stat : 14402 (java) S 14392 14394 13800 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 286047435 9856004096 24215 33554432000 1073741824 1073778376 140736923389248 139925407697064 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14394/tid=14403] ppid=14392 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14394/task/14403/stat : 14403 (java) S 14392 14394 13800 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 286047435 9856004096 24215 33554432000 1073741824 1073778376 140736923389248 139925406644776 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14394/tid=14404] ppid=14392 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14394/task/14404/stat : 14404 (java) S 14392 14394 13800 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 286047435 9856004096 24215 33554432000 1073741824 1073778376 140736923389248 139925405591976 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14394/tid=14405] ppid=14392 vsize=9625004 CPUtime=0.07 cores=0,2,4,6
/proc/14394/task/14405/stat : 14405 (java) S 14392 14394 13800 0 -1 4202560 42 0 0 0 7 0 0 0 20 0 19 0 286047436 9856004096 24215 33554432000 1073741824 1073778376 140736923389248 139924923079400 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14394/tid=14406] ppid=14392 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14394/task/14406/stat : 14406 (java) S 14392 14394 13800 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 286047437 9856004096 24215 33554432000 1073741824 1073778376 140736923389248 139924922025464 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14394/tid=14407] ppid=14392 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14394/task/14407/stat : 14407 (java) S 14392 14394 13800 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 286047437 9856004096 24215 33554432000 1073741824 1073778376 140736923389248 139924920973064 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14394/tid=14408] ppid=14392 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14394/task/14408/stat : 14408 (java) S 14392 14394 13800 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286047439 9856004096 24215 33554432000 1073741824 1073778376 140736923389248 139924919921552 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14394/tid=14409] ppid=14392 vsize=9625004 CPUtime=0.7 cores=0,2,4,6
/proc/14394/task/14409/stat : 14409 (java) S 14392 14394 13800 0 -1 4202560 7446 0 0 0 70 0 0 0 20 0 19 0 286047439 9856004096 24215 33554432000 1073741824 1073778376 140736923389248 139924918868152 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14394/tid=14410] ppid=14392 vsize=9625004 CPUtime=0.73 cores=0,2,4,6
/proc/14394/task/14410/stat : 14410 (java) S 14392 14394 13800 0 -1 4202560 10145 0 0 0 71 2 0 0 20 0 19 0 286047439 9856004096 24215 33554432000 1073741824 1073778376 140736923389248 139924917815352 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14394/tid=14411] ppid=14392 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14394/task/14411/stat : 14411 (java) S 14392 14394 13800 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286047439 9856004096 24215 33554432000 1073741824 1073778376 140736923389248 139924916763256 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14394/tid=14412] ppid=14392 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14394/task/14412/stat : 14412 (java) S 14392 14394 13800 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286047439 9856004096 24215 33554432000 1073741824 1073778376 140736923389248 139924915710664 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14394/tid=14413] ppid=14392 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14394/task/14413/stat : 14413 (java) S 14392 14394 13800 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 286047466 9856004096 24215 33554432000 1073741824 1073778376 140736923389248 139924914656680 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 7.88
Current children cumulated vsize (KiB) 9625004
[startup+6.80054 s]
/proc/loadavg: 2.03 2.02 2.00 3/214 14413
/proc/meminfo: memFree=27065132/32873660 swapFree=7120/7120
[pid=14394] ppid=14392 vsize=9625004 CPUtime=8.28 cores=0,2,4,6
/proc/14394/stat : 14394 (java) S 14392 14394 13800 0 -1 4202496 21413 0 1 0 823 5 0 0 20 0 19 0 286047434 9856004096 24215 33554432000 1073741824 1073778376 140736923389248 140736923380384 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14394/statm: 2406251 24215 2287 9 0 2396937 0
[pid=14394/tid=14395] ppid=14392 vsize=9625004 CPUtime=6.66 cores=0,2,4,6
/proc/14394/task/14395/stat : 14395 (java) R 14392 14394 13800 0 -1 4202560 2532 0 1 0 664 2 0 0 20 0 19 0 286047435 9856004096 24215 33554432000 1073741824 1073778376 140736923389248 139925569438000 139925421351557 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=14394/tid=14397] ppid=14392 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14394/task/14397/stat : 14397 (java) S 14392 14394 13800 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 286047435 9856004096 24215 33554432000 1073741824 1073778376 140736923389248 139925541890856 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14394/tid=14398] ppid=14392 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14394/task/14398/stat : 14398 (java) S 14392 14394 13800 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 286047435 9856004096 24215 33554432000 1073741824 1073778376 140736923389248 139925540838056 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14394/tid=14399] ppid=14392 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14394/task/14399/stat : 14399 (java) S 14392 14394 13800 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 286047435 9856004096 24215 33554432000 1073741824 1073778376 140736923389248 139925539785768 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14394/tid=14400] ppid=14392 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14394/task/14400/stat : 14400 (java) S 14392 14394 13800 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 286047435 9856004096 24215 33554432000 1073741824 1073778376 140736923389248 139925409803176 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14394/tid=14401] ppid=14392 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14394/task/14401/stat : 14401 (java) S 14392 14394 13800 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 286047435 9856004096 24215 33554432000 1073741824 1073778376 140736923389248 139925408749864 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14394/tid=14402] ppid=14392 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14394/task/14402/stat : 14402 (java) S 14392 14394 13800 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 286047435 9856004096 24215 33554432000 1073741824 1073778376 140736923389248 139925407697064 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14394/tid=14403] ppid=14392 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14394/task/14403/stat : 14403 (java) S 14392 14394 13800 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 286047435 9856004096 24215 33554432000 1073741824 1073778376 140736923389248 139925406644776 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14394/tid=14404] ppid=14392 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14394/task/14404/stat : 14404 (java) S 14392 14394 13800 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 286047435 9856004096 24215 33554432000 1073741824 1073778376 140736923389248 139925405591976 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14394/tid=14405] ppid=14392 vsize=9625004 CPUtime=0.07 cores=0,2,4,6
/proc/14394/task/14405/stat : 14405 (java) S 14392 14394 13800 0 -1 4202560 42 0 0 0 7 0 0 0 20 0 19 0 286047436 9856004096 24215 33554432000 1073741824 1073778376 140736923389248 139924923079400 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14394/tid=14406] ppid=14392 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14394/task/14406/stat : 14406 (java) S 14392 14394 13800 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 286047437 9856004096 24215 33554432000 1073741824 1073778376 140736923389248 139924922025464 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14394/tid=14407] ppid=14392 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14394/task/14407/stat : 14407 (java) S 14392 14394 13800 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 286047437 9856004096 24215 33554432000 1073741824 1073778376 140736923389248 139924920973064 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14394/tid=14408] ppid=14392 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14394/task/14408/stat : 14408 (java) S 14392 14394 13800 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286047439 9856004096 24215 33554432000 1073741824 1073778376 140736923389248 139924919921552 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14394/tid=14409] ppid=14392 vsize=9625004 CPUtime=0.7 cores=0,2,4,6
/proc/14394/task/14409/stat : 14409 (java) S 14392 14394 13800 0 -1 4202560 7446 0 0 0 70 0 0 0 20 0 19 0 286047439 9856004096 24215 33554432000 1073741824 1073778376 140736923389248 139924918868152 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14394/tid=14410] ppid=14392 vsize=9625004 CPUtime=0.73 cores=0,2,4,6
/proc/14394/task/14410/stat : 14410 (java) S 14392 14394 13800 0 -1 4202560 10145 0 0 0 71 2 0 0 20 0 19 0 286047439 9856004096 24215 33554432000 1073741824 1073778376 140736923389248 139924917815352 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14394/tid=14411] ppid=14392 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14394/task/14411/stat : 14411 (java) S 14392 14394 13800 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286047439 9856004096 24215 33554432000 1073741824 1073778376 140736923389248 139924916763256 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14394/tid=14412] ppid=14392 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14394/task/14412/stat : 14412 (java) S 14392 14394 13800 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286047439 9856004096 24215 33554432000 1073741824 1073778376 140736923389248 139924915710664 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14394/tid=14413] ppid=14392 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14394/task/14413/stat : 14413 (java) S 14392 14394 13800 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 286047466 9856004096 24215 33554432000 1073741824 1073778376 140736923389248 139924914656680 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 8.28
Current children cumulated vsize (KiB) 9625004
[startup+7.20055 s]
/proc/loadavg: 2.03 2.02 2.00 3/214 14413
/proc/meminfo: memFree=27065132/32873660 swapFree=7120/7120
[pid=14394] ppid=14392 vsize=9625004 CPUtime=8.68 cores=0,2,4,6
/proc/14394/stat : 14394 (java) S 14392 14394 13800 0 -1 4202496 21413 0 1 0 863 5 0 0 20 0 19 0 286047434 9856004096 24215 33554432000 1073741824 1073778376 140736923389248 140736923380384 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14394/statm: 2406251 24215 2287 9 0 2396937 0
[pid=14394/tid=14395] ppid=14392 vsize=9625004 CPUtime=7.06 cores=0,2,4,6
/proc/14394/task/14395/stat : 14395 (java) R 14392 14394 13800 0 -1 4202560 2532 0 1 0 704 2 0 0 20 0 19 0 286047435 9856004096 24215 33554432000 1073741824 1073778376 140736923389248 139925569438000 139925420834729 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=14394/tid=14397] ppid=14392 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14394/task/14397/stat : 14397 (java) S 14392 14394 13800 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 286047435 9856004096 24215 33554432000 1073741824 1073778376 140736923389248 139925541890856 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14394/tid=14398] ppid=14392 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14394/task/14398/stat : 14398 (java) S 14392 14394 13800 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 286047435 9856004096 24215 33554432000 1073741824 1073778376 140736923389248 139925540838056 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14394/tid=14399] ppid=14392 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14394/task/14399/stat : 14399 (java) S 14392 14394 13800 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 286047435 9856004096 24215 33554432000 1073741824 1073778376 140736923389248 139925539785768 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14394/tid=14400] ppid=14392 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14394/task/14400/stat : 14400 (java) S 14392 14394 13800 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 286047435 9856004096 24215 33554432000 1073741824 1073778376 140736923389248 139925409803176 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14394/tid=14401] ppid=14392 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14394/task/14401/stat : 14401 (java) S 14392 14394 13800 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 286047435 9856004096 24215 33554432000 1073741824 1073778376 140736923389248 139925408749864 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14394/tid=14402] ppid=14392 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14394/task/14402/stat : 14402 (java) S 14392 14394 13800 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 286047435 9856004096 24215 33554432000 1073741824 1073778376 140736923389248 139925407697064 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14394/tid=14403] ppid=14392 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14394/task/14403/stat : 14403 (java) S 14392 14394 13800 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 286047435 9856004096 24215 33554432000 1073741824 1073778376 140736923389248 139925406644776 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14394/tid=14404] ppid=14392 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14394/task/14404/stat : 14404 (java) S 14392 14394 13800 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 286047435 9856004096 24215 33554432000 1073741824 1073778376 140736923389248 139925405591976 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14394/tid=14405] ppid=14392 vsize=9625004 CPUtime=0.07 cores=0,2,4,6
/proc/14394/task/14405/stat : 14405 (java) S 14392 14394 13800 0 -1 4202560 42 0 0 0 7 0 0 0 20 0 19 0 286047436 9856004096 24215 33554432000 1073741824 1073778376 140736923389248 139924923079400 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14394/tid=14406] ppid=14392 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14394/task/14406/stat : 14406 (java) S 14392 14394 13800 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 286047437 9856004096 24215 33554432000 1073741824 1073778376 140736923389248 139924922025464 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14394/tid=14407] ppid=14392 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14394/task/14407/stat : 14407 (java) S 14392 14394 13800 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 286047437 9856004096 24215 33554432000 1073741824 1073778376 140736923389248 139924920973064 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14394/tid=14408] ppid=14392 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14394/task/14408/stat : 14408 (java) S 14392 14394 13800 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286047439 9856004096 24215 33554432000 1073741824 1073778376 140736923389248 139924919921552 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14394/tid=14409] ppid=14392 vsize=9625004 CPUtime=0.7 cores=0,2,4,6
/proc/14394/task/14409/stat : 14409 (java) S 14392 14394 13800 0 -1 4202560 7446 0 0 0 70 0 0 0 20 0 19 0 286047439 9856004096 24215 33554432000 1073741824 1073778376 140736923389248 139924918868152 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14394/tid=14410] ppid=14392 vsize=9625004 CPUtime=0.73 cores=0,2,4,6
/proc/14394/task/14410/stat : 14410 (java) S 14392 14394 13800 0 -1 4202560 10145 0 0 0 71 2 0 0 20 0 19 0 286047439 9856004096 24215 33554432000 1073741824 1073778376 140736923389248 139924917815352 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14394/tid=14411] ppid=14392 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14394/task/14411/stat : 14411 (java) S 14392 14394 13800 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286047439 9856004096 24215 33554432000 1073741824 1073778376 140736923389248 139924916763256 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14394/tid=14412] ppid=14392 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14394/task/14412/stat : 14412 (java) S 14392 14394 13800 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286047439 9856004096 24215 33554432000 1073741824 1073778376 140736923389248 139924915710664 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14394/tid=14413] ppid=14392 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14394/task/14413/stat : 14413 (java) S 14392 14394 13800 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 286047466 9856004096 24215 33554432000 1073741824 1073778376 140736923389248 139924914656680 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 8.68
Current children cumulated vsize (KiB) 9625004
Child status: 20
Real time (s): 7.27756
CPU time (s): 8.74267
CPU user time (s): 8.64069
CPU system time (s): 0.101984
CPU usage (%): 120.132
Max. virtual memory (cumulated for all children) (KiB): 9625004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.64069
system time used= 0.101984
maximum resident set size= 98120
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21430
page faults= 1
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 569
involuntary context switches= 172
runsolver used 0.020996 second user time and 0.039993 second system time
The end