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-3710085-1338175331/watcher-3710085-1338175331 -o /tmp/evaluation-result-3710085-1338175331/solver-3710085-1338175331 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710085-1338175331.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.08 2.04 2.01 2/192 17560
/proc/meminfo: memFree=29082148/32873852 swapFree=7624/7624
[pid=17560] ppid=17558 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/17560/stat : 17560 (java) R 17558 17560 15185 0 -1 4202496 988 0 0 0 0 0 0 0 20 0 1 0 283658594 23793664 714 33554432000 1073741824 1073778376 140737321909296 140737321898360 252253877608 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/17560/statm: 5809 714 529 9 0 128 0
[startup+0.0366389 s]
/proc/loadavg: 2.08 2.04 2.01 2/192 17560
/proc/meminfo: memFree=29082148/32873852 swapFree=7624/7624
[pid=17560] ppid=17558 vsize=9225560 CPUtime=0.03 cores=0,2,4,6
/proc/17560/stat : 17560 (java) S 17558 17560 15185 0 -1 4202496 3029 0 1 0 2 1 0 0 20 0 13 0 283658594 9446973440 3725 33554432000 1073741824 1073778376 140737321909296 140737321900432 252266446909 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17560/statm: 2306390 3725 1698 9 0 2297091 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9225560
[startup+0.100202 s]
/proc/loadavg: 2.08 2.04 2.01 2/192 17560
/proc/meminfo: memFree=29082148/32873852 swapFree=7624/7624
[pid=17560] ppid=17558 vsize=9558440 CPUtime=0.1 cores=0,2,4,6
/proc/17560/stat : 17560 (java) S 17558 17560 15185 0 -1 4202496 4374 0 1 0 9 1 0 0 20 0 18 0 283658594 9787842560 6091 33554432000 1073741824 1073778376 140737321909296 140737321900432 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17560/statm: 2389610 6091 2131 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558440
[startup+0.300164 s]
/proc/loadavg: 2.08 2.04 2.01 2/192 17560
/proc/meminfo: memFree=29082148/32873852 swapFree=7624/7624
[pid=17560] ppid=17558 vsize=9558700 CPUtime=0.51 cores=0,2,4,6
/proc/17560/stat : 17560 (java) S 17558 17560 15185 0 -1 4202496 6240 0 1 0 49 2 0 0 20 0 18 0 283658594 9788108800 8905 33554432000 1073741824 1073778376 140737321909296 140737321900432 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17560/statm: 2389675 8905 2237 9 0 2380361 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 9558700
[startup+0.702251 s]
/proc/loadavg: 2.08 2.04 2.01 2/192 17560
/proc/meminfo: memFree=29082148/32873852 swapFree=7624/7624
[pid=17560] ppid=17558 vsize=9558440 CPUtime=1.72 cores=0,2,4,6
/proc/17560/stat : 17560 (java) S 17558 17560 15185 0 -1 4202496 18943 0 1 0 164 8 0 0 20 0 18 0 283658594 9787842560 49446 33554432000 1073741824 1073778376 140737321909296 140737321900432 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17560/statm: 2389610 49958 2262 9 0 2380296 0
Current children cumulated CPU time (s) 1.72
Current children cumulated vsize (KiB) 9558440
[startup+1.50071 s]
/proc/loadavg: 2.08 2.04 2.01 5/211 17579
/proc/meminfo: memFree=28854096/32873852 swapFree=7624/7624
[pid=17560] ppid=17558 vsize=9625004 CPUtime=3.3 cores=0,2,4,6
/proc/17560/stat : 17560 (java) S 17558 17560 15185 0 -1 4202496 19849 0 1 0 318 12 0 0 20 0 19 0 283658594 9856004096 59367 33554432000 1073741824 1073778376 140737321909296 140737321900432 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17560/statm: 2406251 59367 2276 9 0 2396937 0
[pid=17560/tid=17562] ppid=17558 vsize=9625004 CPUtime=1.39 cores=0,2,4,6
/proc/17560/task/17562/stat : 17562 (java) R 17558 17560 15185 0 -1 4202560 2570 0 1 0 136 3 0 0 20 0 19 0 283658595 9856004096 59367 33554432000 1073741824 1073778376 140737321909296 140263714258296 140263583309081 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=17560/tid=17563] ppid=17558 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/17560/task/17563/stat : 17563 (java) S 17558 17560 15185 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 19 0 283658595 9856004096 59367 33554432000 1073741824 1073778376 140737321909296 140263703321640 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17560/tid=17564] ppid=17558 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/17560/task/17564/stat : 17564 (java) S 17558 17560 15185 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 19 0 283658595 9856004096 59367 33554432000 1073741824 1073778376 140737321909296 140263702268840 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17560/tid=17565] ppid=17558 vsize=9625004 CPUtime=0.04 cores=0,2,4,6
/proc/17560/task/17565/stat : 17565 (java) S 17558 17560 15185 0 -1 4202560 93 0 0 0 4 0 0 0 20 0 19 0 283658595 9856004096 59367 33554432000 1073741824 1073778376 140737321909296 140263701216040 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17560/tid=17566] ppid=17558 vsize=9625004 CPUtime=0.06 cores=0,2,4,6
/proc/17560/task/17566/stat : 17566 (java) S 17558 17560 15185 0 -1 4202560 129 0 0 0 5 1 0 0 20 0 19 0 283658595 9856004096 59367 33554432000 1073741824 1073778376 140737321909296 140263554759336 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17560/tid=17567] ppid=17558 vsize=9625004 CPUtime=0.04 cores=0,2,4,6
/proc/17560/task/17567/stat : 17567 (java) S 17558 17560 15185 0 -1 4202560 98 0 0 0 4 0 0 0 20 0 19 0 283658595 9856004096 59367 33554432000 1073741824 1073778376 140737321909296 140263553706536 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17560/tid=17568] ppid=17558 vsize=9625004 CPUtime=0.02 cores=0,2,4,6
/proc/17560/task/17568/stat : 17568 (java) S 17558 17560 15185 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 19 0 283658595 9856004096 59367 33554432000 1073741824 1073778376 140737321909296 140263552653736 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17560/tid=17569] ppid=17558 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17560/task/17569/stat : 17569 (java) S 17558 17560 15185 0 -1 4202560 92 0 0 0 0 0 0 0 20 0 19 0 283658595 9856004096 59367 33554432000 1073741824 1073778376 140737321909296 140263551600936 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17560/tid=17570] ppid=17558 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/17560/task/17570/stat : 17570 (java) S 17558 17560 15185 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 19 0 283658595 9856004096 59367 33554432000 1073741824 1073778376 140737321909296 140263550548136 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17560/tid=17571] ppid=17558 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17560/task/17571/stat : 17571 (java) S 17558 17560 15185 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 19 0 283658596 9856004096 59367 33554432000 1073741824 1073778376 140737321909296 140263538351080 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17560/tid=17572] ppid=17558 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17560/task/17572/stat : 17572 (java) S 17558 17560 15185 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 283658597 9856004096 59367 33554432000 1073741824 1073778376 140737321909296 140263537297144 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17560/tid=17573] ppid=17558 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17560/task/17573/stat : 17573 (java) S 17558 17560 15185 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283658597 9856004096 59367 33554432000 1073741824 1073778376 140737321909296 140263536244232 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17560/tid=17574] ppid=17558 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17560/task/17574/stat : 17574 (java) S 17558 17560 15185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283658599 9856004096 59367 33554432000 1073741824 1073778376 140737321909296 140263535192720 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17560/tid=17575] ppid=17558 vsize=9625004 CPUtime=0.75 cores=0,2,4,6
/proc/17560/task/17575/stat : 17575 (java) S 17558 17560 15185 0 -1 4202560 9468 0 0 0 73 2 0 0 20 0 19 0 283658599 9856004096 59367 33554432000 1073741824 1073778376 140737321909296 140263534139832 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17560/tid=17576] ppid=17558 vsize=9625004 CPUtime=0.81 cores=0,2,4,6
/proc/17560/task/17576/stat : 17576 (java) S 17558 17560 15185 0 -1 4202560 6097 0 0 0 79 2 0 0 20 0 19 0 283658599 9856004096 59367 33554432000 1073741824 1073778376 140737321909296 140263533087032 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17560/tid=17577] ppid=17558 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17560/task/17577/stat : 17577 (java) S 17558 17560 15185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283658599 9856004096 59367 33554432000 1073741824 1073778376 140737321909296 140263532034424 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17560/tid=17578] ppid=17558 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17560/task/17578/stat : 17578 (java) S 17558 17560 15185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283658599 9856004096 59367 33554432000 1073741824 1073778376 140737321909296 140263530981832 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17560/tid=17579] ppid=17558 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17560/task/17579/stat : 17579 (java) S 17558 17560 15185 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 283658686 9856004096 59367 33554432000 1073741824 1073778376 140737321909296 140263529928360 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.3
Current children cumulated vsize (KiB) 9625004
Solver just ended. Dumping a history of the last processes samples
[startup+1.90076 s]
/proc/loadavg: 2.08 2.04 2.01 5/211 17579
/proc/meminfo: memFree=28854096/32873852 swapFree=7624/7624
[pid=17560] ppid=17558 vsize=9625004 CPUtime=3.85 cores=0,2,4,6
/proc/17560/stat : 17560 (java) S 17558 17560 15185 0 -1 4202496 19852 0 1 0 373 12 0 0 20 0 19 0 283658594 9856004096 59370 33554432000 1073741824 1073778376 140737321909296 140737321900432 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17560/statm: 2406251 59370 2279 9 0 2396937 0
[pid=17560/tid=17562] ppid=17558 vsize=9625004 CPUtime=1.79 cores=0,2,4,6
/proc/17560/task/17562/stat : 17562 (java) R 17558 17560 15185 0 -1 4202560 2570 0 1 0 176 3 0 0 20 0 19 0 283658595 9856004096 59370 33554432000 1073741824 1073778376 140737321909296 140263714259432 140263583265995 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=17560/tid=17563] ppid=17558 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/17560/task/17563/stat : 17563 (java) S 17558 17560 15185 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 19 0 283658595 9856004096 59370 33554432000 1073741824 1073778376 140737321909296 140263703321640 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17560/tid=17564] ppid=17558 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/17560/task/17564/stat : 17564 (java) S 17558 17560 15185 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 19 0 283658595 9856004096 59370 33554432000 1073741824 1073778376 140737321909296 140263702268840 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17560/tid=17565] ppid=17558 vsize=9625004 CPUtime=0.04 cores=0,2,4,6
/proc/17560/task/17565/stat : 17565 (java) S 17558 17560 15185 0 -1 4202560 93 0 0 0 4 0 0 0 20 0 19 0 283658595 9856004096 59370 33554432000 1073741824 1073778376 140737321909296 140263701216040 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17560/tid=17566] ppid=17558 vsize=9625004 CPUtime=0.06 cores=0,2,4,6
/proc/17560/task/17566/stat : 17566 (java) S 17558 17560 15185 0 -1 4202560 129 0 0 0 5 1 0 0 20 0 19 0 283658595 9856004096 59370 33554432000 1073741824 1073778376 140737321909296 140263554759336 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17560/tid=17567] ppid=17558 vsize=9625004 CPUtime=0.04 cores=0,2,4,6
/proc/17560/task/17567/stat : 17567 (java) S 17558 17560 15185 0 -1 4202560 98 0 0 0 4 0 0 0 20 0 19 0 283658595 9856004096 59370 33554432000 1073741824 1073778376 140737321909296 140263553706536 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17560/tid=17568] ppid=17558 vsize=9625004 CPUtime=0.02 cores=0,2,4,6
/proc/17560/task/17568/stat : 17568 (java) S 17558 17560 15185 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 19 0 283658595 9856004096 59370 33554432000 1073741824 1073778376 140737321909296 140263552653736 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17560/tid=17569] ppid=17558 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17560/task/17569/stat : 17569 (java) S 17558 17560 15185 0 -1 4202560 92 0 0 0 0 0 0 0 20 0 19 0 283658595 9856004096 59370 33554432000 1073741824 1073778376 140737321909296 140263551600936 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17560/tid=17570] ppid=17558 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/17560/task/17570/stat : 17570 (java) S 17558 17560 15185 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 19 0 283658595 9856004096 59370 33554432000 1073741824 1073778376 140737321909296 140263550548136 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17560/tid=17571] ppid=17558 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17560/task/17571/stat : 17571 (java) S 17558 17560 15185 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 19 0 283658596 9856004096 59370 33554432000 1073741824 1073778376 140737321909296 140263538351080 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17560/tid=17572] ppid=17558 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17560/task/17572/stat : 17572 (java) S 17558 17560 15185 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 283658597 9856004096 59370 33554432000 1073741824 1073778376 140737321909296 140263537297144 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17560/tid=17573] ppid=17558 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17560/task/17573/stat : 17573 (java) S 17558 17560 15185 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283658597 9856004096 59370 33554432000 1073741824 1073778376 140737321909296 140263536244232 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17560/tid=17574] ppid=17558 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17560/task/17574/stat : 17574 (java) S 17558 17560 15185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283658599 9856004096 59370 33554432000 1073741824 1073778376 140737321909296 140263535192720 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17560/tid=17575] ppid=17558 vsize=9625004 CPUtime=0.86 cores=0,2,4,6
/proc/17560/task/17575/stat : 17575 (java) S 17558 17560 15185 0 -1 4202560 9471 0 0 0 84 2 0 0 20 0 19 0 283658599 9856004096 59370 33554432000 1073741824 1073778376 140737321909296 140263534139832 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17560/tid=17576] ppid=17558 vsize=9625004 CPUtime=0.86 cores=0,2,4,6
/proc/17560/task/17576/stat : 17576 (java) S 17558 17560 15185 0 -1 4202560 6097 0 0 0 84 2 0 0 20 0 19 0 283658599 9856004096 59370 33554432000 1073741824 1073778376 140737321909296 140263533087032 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17560/tid=17577] ppid=17558 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17560/task/17577/stat : 17577 (java) S 17558 17560 15185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283658599 9856004096 59370 33554432000 1073741824 1073778376 140737321909296 140263532034424 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17560/tid=17578] ppid=17558 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17560/task/17578/stat : 17578 (java) S 17558 17560 15185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283658599 9856004096 59370 33554432000 1073741824 1073778376 140737321909296 140263530981832 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17560/tid=17579] ppid=17558 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17560/task/17579/stat : 17579 (java) S 17558 17560 15185 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 283658686 9856004096 59370 33554432000 1073741824 1073778376 140737321909296 140263529928360 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.85
Current children cumulated vsize (KiB) 9625004
[startup+2.10076 s]
/proc/loadavg: 2.08 2.04 2.01 4/211 17579
/proc/meminfo: memFree=28853220/32873852 swapFree=7624/7624
[pid=17560] ppid=17558 vsize=9625004 CPUtime=4.09 cores=0,2,4,6
/proc/17560/stat : 17560 (java) S 17558 17560 15185 0 -1 4202496 19853 0 1 0 397 12 0 0 20 0 19 0 283658594 9856004096 59370 33554432000 1073741824 1073778376 140737321909296 140737321900432 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17560/statm: 2406251 59370 2279 9 0 2396937 0
[pid=17560/tid=17562] ppid=17558 vsize=9625004 CPUtime=2 cores=0,2,4,6
/proc/17560/task/17562/stat : 17562 (java) R 17558 17560 15185 0 -1 4202560 2571 0 1 0 197 3 0 0 20 0 19 0 283658595 9856004096 59370 33554432000 1073741824 1073778376 140737321909296 140263714257608 140263717544826 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=17560/tid=17563] ppid=17558 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/17560/task/17563/stat : 17563 (java) S 17558 17560 15185 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 19 0 283658595 9856004096 59370 33554432000 1073741824 1073778376 140737321909296 140263703321640 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17560/tid=17564] ppid=17558 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/17560/task/17564/stat : 17564 (java) S 17558 17560 15185 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 19 0 283658595 9856004096 59370 33554432000 1073741824 1073778376 140737321909296 140263702268840 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17560/tid=17565] ppid=17558 vsize=9625004 CPUtime=0.04 cores=0,2,4,6
/proc/17560/task/17565/stat : 17565 (java) S 17558 17560 15185 0 -1 4202560 93 0 0 0 4 0 0 0 20 0 19 0 283658595 9856004096 59370 33554432000 1073741824 1073778376 140737321909296 140263701216040 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17560/tid=17566] ppid=17558 vsize=9625004 CPUtime=0.06 cores=0,2,4,6
/proc/17560/task/17566/stat : 17566 (java) S 17558 17560 15185 0 -1 4202560 129 0 0 0 5 1 0 0 20 0 19 0 283658595 9856004096 59370 33554432000 1073741824 1073778376 140737321909296 140263554759336 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17560/tid=17567] ppid=17558 vsize=9625004 CPUtime=0.04 cores=0,2,4,6
/proc/17560/task/17567/stat : 17567 (java) S 17558 17560 15185 0 -1 4202560 98 0 0 0 4 0 0 0 20 0 19 0 283658595 9856004096 59370 33554432000 1073741824 1073778376 140737321909296 140263553706536 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17560/tid=17568] ppid=17558 vsize=9625004 CPUtime=0.02 cores=0,2,4,6
/proc/17560/task/17568/stat : 17568 (java) S 17558 17560 15185 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 19 0 283658595 9856004096 59370 33554432000 1073741824 1073778376 140737321909296 140263552653736 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17560/tid=17569] ppid=17558 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17560/task/17569/stat : 17569 (java) S 17558 17560 15185 0 -1 4202560 92 0 0 0 0 0 0 0 20 0 19 0 283658595 9856004096 59370 33554432000 1073741824 1073778376 140737321909296 140263551600936 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17560/tid=17570] ppid=17558 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/17560/task/17570/stat : 17570 (java) S 17558 17560 15185 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 19 0 283658595 9856004096 59370 33554432000 1073741824 1073778376 140737321909296 140263550548136 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17560/tid=17571] ppid=17558 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17560/task/17571/stat : 17571 (java) S 17558 17560 15185 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 19 0 283658596 9856004096 59370 33554432000 1073741824 1073778376 140737321909296 140263538351080 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17560/tid=17572] ppid=17558 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17560/task/17572/stat : 17572 (java) S 17558 17560 15185 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 283658597 9856004096 59370 33554432000 1073741824 1073778376 140737321909296 140263537297144 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17560/tid=17573] ppid=17558 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17560/task/17573/stat : 17573 (java) S 17558 17560 15185 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283658597 9856004096 59370 33554432000 1073741824 1073778376 140737321909296 140263536244232 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17560/tid=17574] ppid=17558 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17560/task/17574/stat : 17574 (java) S 17558 17560 15185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283658599 9856004096 59370 33554432000 1073741824 1073778376 140737321909296 140263535192720 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17560/tid=17575] ppid=17558 vsize=9625004 CPUtime=0.89 cores=0,2,4,6
/proc/17560/task/17575/stat : 17575 (java) R 17558 17560 15185 0 -1 4202560 9471 0 0 0 87 2 0 0 20 0 19 0 283658599 9856004096 59370 33554432000 1073741824 1073778376 140737321909296 140263534139832 140263718376835 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=17560/tid=17576] ppid=17558 vsize=9625004 CPUtime=0.86 cores=0,2,4,6
/proc/17560/task/17576/stat : 17576 (java) S 17558 17560 15185 0 -1 4202560 6097 0 0 0 84 2 0 0 20 0 19 0 283658599 9856004096 59370 33554432000 1073741824 1073778376 140737321909296 140263533087032 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17560/tid=17577] ppid=17558 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17560/task/17577/stat : 17577 (java) S 17558 17560 15185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283658599 9856004096 59370 33554432000 1073741824 1073778376 140737321909296 140263532034424 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17560/tid=17578] ppid=17558 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17560/task/17578/stat : 17578 (java) S 17558 17560 15185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283658599 9856004096 59370 33554432000 1073741824 1073778376 140737321909296 140263530981832 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17560/tid=17579] ppid=17558 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17560/task/17579/stat : 17579 (java) S 17558 17560 15185 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 283658686 9856004096 59370 33554432000 1073741824 1073778376 140737321909296 140263529928360 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 4.09
Current children cumulated vsize (KiB) 9625004
Child status: 10
Real time (s): 2.1545
CPU time (s): 4.21436
CPU user time (s): 4.02239
CPU system time (s): 0.19197
CPU usage (%): 195.607
Max. virtual memory (cumulated for all children) (KiB): 9625004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.02239
system time used= 0.19197
maximum resident set size= 238080
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19870
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= 368
involuntary context switches= 225
runsolver used 0.007998 second user time and 0.029995 second system time
The end