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-3709741-1338126453/watcher-3709741-1338126453 -o /tmp/evaluation-result-3709741-1338126453/solver-3709741-1338126453 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3709741-1338126453.opb
running on 4 cores: 1,3,5,7
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: 1.93 1.98 1.99 3/193 17453
/proc/meminfo: memFree=26933448/32873660 swapFree=7120/7120
[pid=17453] ppid=17451 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/17453/stat : 17453 (java) R 17451 17453 16973 0 -1 4202496 193 0 0 0 0 0 0 0 20 0 1 0 278771116 9515008 128 33554432000 1073741824 1073778376 140733466905968 140733466903096 270333439280 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17453/statm: 2323 133 104 9 0 71 0
[startup+0.0288149 s]
/proc/loadavg: 1.93 1.98 1.99 3/193 17453
/proc/meminfo: memFree=26933448/32873660 swapFree=7120/7120
[pid=17453] ppid=17451 vsize=9092432 CPUtime=0.02 cores=1,3,5,7
/proc/17453/stat : 17453 (java) S 17451 17453 16973 0 -1 4202496 2930 0 1 0 1 1 0 0 20 0 11 0 278771116 9310650368 3628 33554432000 1073741824 1073778376 140734845761424 140734845752560 270333411389 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17453/statm: 2273108 3628 1652 9 0 2263809 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9092432
[startup+0.100204 s]
/proc/loadavg: 1.93 1.98 1.99 3/193 17453
/proc/meminfo: memFree=26933448/32873660 swapFree=7120/7120
[pid=17453] ppid=17451 vsize=9558440 CPUtime=0.1 cores=1,3,5,7
/proc/17453/stat : 17453 (java) S 17451 17453 16973 0 -1 4202496 4376 0 1 0 9 1 0 0 20 0 18 0 278771116 9787842560 6088 33554432000 1073741824 1073778376 140734845761424 140734845752560 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17453/statm: 2389610 6088 2131 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558440
[startup+0.300165 s]
/proc/loadavg: 1.93 1.98 1.99 3/193 17453
/proc/meminfo: memFree=26933448/32873660 swapFree=7120/7120
[pid=17453] ppid=17451 vsize=9558440 CPUtime=0.48 cores=1,3,5,7
/proc/17453/stat : 17453 (java) S 17451 17453 16973 0 -1 4202496 5589 0 1 0 47 1 0 0 20 0 18 0 278771116 9787842560 9034 33554432000 1073741824 1073778376 140734845761424 140734845752560 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17453/statm: 2389610 9034 2224 9 0 2380296 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9558440
[startup+0.700178 s]
/proc/loadavg: 1.93 1.98 1.99 3/193 17453
/proc/meminfo: memFree=26933448/32873660 swapFree=7120/7120
[pid=17453] ppid=17451 vsize=9558440 CPUtime=1.12 cores=1,3,5,7
/proc/17453/stat : 17453 (java) S 17451 17453 16973 0 -1 4202496 7413 0 1 0 108 4 0 0 20 0 18 0 278771116 9787842560 40360 33554432000 1073741824 1073778376 140734845761424 140734845752560 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17453/statm: 2389610 40360 2253 9 0 2380296 0
Current children cumulated CPU time (s) 1.12
Current children cumulated vsize (KiB) 9558440
[startup+1.5007 s]
/proc/loadavg: 1.93 1.98 1.99 3/211 17471
/proc/meminfo: memFree=26735540/32873660 swapFree=7120/7120
[pid=17453] ppid=17451 vsize=9558440 CPUtime=2.03 cores=1,3,5,7
/proc/17453/stat : 17453 (java) S 17451 17453 16973 0 -1 4202496 7652 0 1 0 195 8 0 0 20 0 18 0 278771116 9787842560 78375 33554432000 1073741824 1073778376 140734845761424 140734845752560 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17453/statm: 2389610 78375 2253 9 0 2380296 0
[pid=17453/tid=17455] ppid=17451 vsize=9558440 CPUtime=1.42 cores=1,3,5,7
/proc/17453/task/17455/stat : 17455 (java) R 17451 17453 16973 0 -1 4202560 2623 0 1 0 137 5 0 0 20 0 18 0 278771117 9787842560 78375 33554432000 1073741824 1073778376 140734845761424 140653305863640 270333437197 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=17453/tid=17456] ppid=17451 vsize=9558440 CPUtime=0.01 cores=1,3,5,7
/proc/17453/task/17456/stat : 17456 (java) S 17451 17453 16973 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 18 0 278771118 9787842560 78375 33554432000 1073741824 1073778376 140734845761424 140653149284776 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17453/tid=17457] ppid=17451 vsize=9558440 CPUtime=0.01 cores=1,3,5,7
/proc/17453/task/17457/stat : 17457 (java) S 17451 17453 16973 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 18 0 278771118 9787842560 78375 33554432000 1073741824 1073778376 140734845761424 140653148232232 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17453/tid=17458] ppid=17451 vsize=9558440 CPUtime=0.02 cores=1,3,5,7
/proc/17453/task/17458/stat : 17458 (java) S 17451 17453 16973 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 18 0 278771118 9787842560 78375 33554432000 1073741824 1073778376 140734845761424 140653147179176 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17453/tid=17459] ppid=17451 vsize=9558440 CPUtime=0.02 cores=1,3,5,7
/proc/17453/task/17459/stat : 17459 (java) S 17451 17453 16973 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 18 0 278771118 9787842560 78375 33554432000 1073741824 1073778376 140734845761424 140653146126632 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17453/tid=17460] ppid=17451 vsize=9558440 CPUtime=0.01 cores=1,3,5,7
/proc/17453/task/17460/stat : 17460 (java) S 17451 17453 16973 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 18 0 278771118 9787842560 78375 33554432000 1073741824 1073778376 140734845761424 140653145074600 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17453/tid=17461] ppid=17451 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/17453/task/17461/stat : 17461 (java) S 17451 17453 16973 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 278771118 9787842560 78375 33554432000 1073741824 1073778376 140734845761424 140653144022056 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17453/tid=17462] ppid=17451 vsize=9558440 CPUtime=0.01 cores=1,3,5,7
/proc/17453/task/17462/stat : 17462 (java) S 17451 17453 16973 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 18 0 278771118 9787842560 78375 33554432000 1073741824 1073778376 140734845761424 140653142969000 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17453/tid=17463] ppid=17451 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/17453/task/17463/stat : 17463 (java) S 17451 17453 16973 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 18 0 278771118 9787842560 78375 33554432000 1073741824 1073778376 140734845761424 140653141916456 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17453/tid=17464] ppid=17451 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/17453/task/17464/stat : 17464 (java) S 17451 17453 16973 0 -1 4202560 196 0 0 0 0 0 0 0 20 0 18 0 278771119 9787842560 78375 33554432000 1073741824 1073778376 140734845761424 140652659587432 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17453/tid=17465] ppid=17451 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/17453/task/17465/stat : 17465 (java) S 17451 17453 16973 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 278771119 9787842560 78375 33554432000 1073741824 1073778376 140734845761424 140652658533752 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17453/tid=17466] ppid=17451 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/17453/task/17466/stat : 17466 (java) S 17451 17453 16973 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 18 0 278771119 9787842560 78375 33554432000 1073741824 1073778376 140734845761424 140652657480584 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17453/tid=17467] ppid=17451 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/17453/task/17467/stat : 17467 (java) S 17451 17453 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 278771121 9787842560 78375 33554432000 1073741824 1073778376 140734845761424 140652656429328 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17453/tid=17468] ppid=17451 vsize=9558440 CPUtime=0.17 cores=1,3,5,7
/proc/17453/task/17468/stat : 17468 (java) S 17451 17453 16973 0 -1 4202560 1328 0 0 0 17 0 0 0 20 0 18 0 278771121 9787842560 78375 33554432000 1073741824 1073778376 140734845761424 140652655377208 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17453/tid=17469] ppid=17451 vsize=9558440 CPUtime=0.21 cores=1,3,5,7
/proc/17453/task/17469/stat : 17469 (java) S 17451 17453 16973 0 -1 4202560 2243 0 0 0 21 0 0 0 20 0 18 0 278771121 9787842560 78375 33554432000 1073741824 1073778376 140734845761424 140652654324664 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17453/tid=17470] ppid=17451 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/17453/task/17470/stat : 17470 (java) S 17451 17453 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 278771121 9787842560 78375 33554432000 1073741824 1073778376 140734845761424 140652653271800 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17453/tid=17471] ppid=17451 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/17453/task/17471/stat : 17471 (java) S 17451 17453 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 278771121 9787842560 78375 33554432000 1073741824 1073778376 140734845761424 140652652219464 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.03
Current children cumulated vsize (KiB) 9558440
Solver just ended. Dumping a history of the last processes samples
[startup+1.90063 s]
/proc/loadavg: 1.93 1.98 1.99 3/211 17471
/proc/meminfo: memFree=26735540/32873660 swapFree=7120/7120
[pid=17453] ppid=17451 vsize=9558440 CPUtime=2.67 cores=1,3,5,7
/proc/17453/stat : 17453 (java) S 17451 17453 16973 0 -1 4202496 11400 0 1 0 255 12 0 0 20 0 18 0 278771116 9787842560 87547 33554432000 1073741824 1073778376 140734845761424 140734845752560 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17453/statm: 2389610 87547 2263 9 0 2380296 0
[pid=17453/tid=17455] ppid=17451 vsize=9558440 CPUtime=1.78 cores=1,3,5,7
/proc/17453/task/17455/stat : 17455 (java) R 17451 17453 16973 0 -1 4202560 2632 0 1 0 173 5 0 0 20 0 18 0 278771117 9787842560 87547 33554432000 1073741824 1073778376 140734845761424 140653305863640 270333437197 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=17453/tid=17456] ppid=17451 vsize=9558440 CPUtime=0.03 cores=1,3,5,7
/proc/17453/task/17456/stat : 17456 (java) S 17451 17453 16973 0 -1 4202560 19 0 0 0 3 0 0 0 20 0 18 0 278771118 9787842560 87547 33554432000 1073741824 1073778376 140734845761424 140653149284776 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17453/tid=17457] ppid=17451 vsize=9558440 CPUtime=0.02 cores=1,3,5,7
/proc/17453/task/17457/stat : 17457 (java) S 17451 17453 16973 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 18 0 278771118 9787842560 87547 33554432000 1073741824 1073778376 140734845761424 140653148232232 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17453/tid=17458] ppid=17451 vsize=9558440 CPUtime=0.04 cores=1,3,5,7
/proc/17453/task/17458/stat : 17458 (java) S 17451 17453 16973 0 -1 4202560 30 0 0 0 3 1 0 0 20 0 18 0 278771118 9787842560 87547 33554432000 1073741824 1073778376 140734845761424 140653147179176 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17453/tid=17459] ppid=17451 vsize=9558440 CPUtime=0.04 cores=1,3,5,7
/proc/17453/task/17459/stat : 17459 (java) S 17451 17453 16973 0 -1 4202560 32 0 0 0 3 1 0 0 20 0 18 0 278771118 9787842560 87547 33554432000 1073741824 1073778376 140734845761424 140653146126632 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17453/tid=17460] ppid=17451 vsize=9558440 CPUtime=0.02 cores=1,3,5,7
/proc/17453/task/17460/stat : 17460 (java) S 17451 17453 16973 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 18 0 278771118 9787842560 87547 33554432000 1073741824 1073778376 140734845761424 140653145074600 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17453/tid=17461] ppid=17451 vsize=9558440 CPUtime=0.02 cores=1,3,5,7
/proc/17453/task/17461/stat : 17461 (java) S 17451 17453 16973 0 -1 4202560 19 0 0 0 2 0 0 0 20 0 18 0 278771118 9787842560 87547 33554432000 1073741824 1073778376 140734845761424 140653144022056 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17453/tid=17462] ppid=17451 vsize=9558440 CPUtime=0.02 cores=1,3,5,7
/proc/17453/task/17462/stat : 17462 (java) S 17451 17453 16973 0 -1 4202560 30 0 0 0 2 0 0 0 20 0 18 0 278771118 9787842560 87547 33554432000 1073741824 1073778376 140734845761424 140653142969000 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17453/tid=17463] ppid=17451 vsize=9558440 CPUtime=0.02 cores=1,3,5,7
/proc/17453/task/17463/stat : 17463 (java) S 17451 17453 16973 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 18 0 278771118 9787842560 87547 33554432000 1073741824 1073778376 140734845761424 140653141916456 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17453/tid=17464] ppid=17451 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/17453/task/17464/stat : 17464 (java) S 17451 17453 16973 0 -1 4202560 197 0 0 0 0 0 0 0 20 0 18 0 278771119 9787842560 87547 33554432000 1073741824 1073778376 140734845761424 140652659587432 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17453/tid=17465] ppid=17451 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/17453/task/17465/stat : 17465 (java) S 17451 17453 16973 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 278771119 9787842560 87547 33554432000 1073741824 1073778376 140734845761424 140652658533752 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17453/tid=17466] ppid=17451 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/17453/task/17466/stat : 17466 (java) S 17451 17453 16973 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 18 0 278771119 9787842560 87547 33554432000 1073741824 1073778376 140734845761424 140652657480584 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17453/tid=17467] ppid=17451 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/17453/task/17467/stat : 17467 (java) S 17451 17453 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 278771121 9787842560 87547 33554432000 1073741824 1073778376 140734845761424 140652656429328 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17453/tid=17468] ppid=17451 vsize=9558440 CPUtime=0.24 cores=1,3,5,7
/proc/17453/task/17468/stat : 17468 (java) R 17451 17453 16973 0 -1 4202560 4053 0 0 0 24 0 0 0 20 0 18 0 278771121 9787842560 87547 33554432000 1073741824 1073778376 140734845761424 140652655355048 140653308770401 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=17453/tid=17469] ppid=17451 vsize=9558440 CPUtime=0.27 cores=1,3,5,7
/proc/17453/task/17469/stat : 17469 (java) S 17451 17453 16973 0 -1 4202560 3167 0 0 0 27 0 0 0 20 0 18 0 278771121 9787842560 87547 33554432000 1073741824 1073778376 140734845761424 140652654324664 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17453/tid=17470] ppid=17451 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/17453/task/17470/stat : 17470 (java) S 17451 17453 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 278771121 9787842560 87547 33554432000 1073741824 1073778376 140734845761424 140652653271800 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17453/tid=17471] ppid=17451 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/17453/task/17471/stat : 17471 (java) S 17451 17453 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 278771121 9787842560 87547 33554432000 1073741824 1073778376 140734845761424 140652652219464 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.67
Current children cumulated vsize (KiB) 9558440
[startup+2.10062 s]
/proc/loadavg: 1.93 1.98 1.99 3/212 17472
/proc/meminfo: memFree=26313164/32873660 swapFree=7120/7120
[pid=17453] ppid=17451 vsize=9625004 CPUtime=3.15 cores=1,3,5,7
/proc/17453/stat : 17453 (java) S 17451 17453 16973 0 -1 4202496 12631 0 1 0 303 12 0 0 20 0 19 0 278771116 9856004096 87535 33554432000 1073741824 1073778376 140734845761424 140734845752560 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17453/statm: 2406251 87535 2271 9 0 2396937 0
[pid=17453/tid=17455] ppid=17451 vsize=9625004 CPUtime=1.98 cores=1,3,5,7
/proc/17453/task/17455/stat : 17455 (java) R 17451 17453 16973 0 -1 4202560 2635 0 1 0 193 5 0 0 20 0 19 0 278771117 9856004096 87535 33554432000 1073741824 1073778376 140734845761424 140653305856312 140653150093355 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=17453/tid=17456] ppid=17451 vsize=9625004 CPUtime=0.03 cores=1,3,5,7
/proc/17453/task/17456/stat : 17456 (java) S 17451 17453 16973 0 -1 4202560 19 0 0 0 3 0 0 0 20 0 19 0 278771118 9856004096 87535 33554432000 1073741824 1073778376 140734845761424 140653149284776 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17453/tid=17457] ppid=17451 vsize=9625004 CPUtime=0.02 cores=1,3,5,7
/proc/17453/task/17457/stat : 17457 (java) S 17451 17453 16973 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 19 0 278771118 9856004096 87535 33554432000 1073741824 1073778376 140734845761424 140653148232232 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17453/tid=17458] ppid=17451 vsize=9625004 CPUtime=0.04 cores=1,3,5,7
/proc/17453/task/17458/stat : 17458 (java) S 17451 17453 16973 0 -1 4202560 30 0 0 0 3 1 0 0 20 0 19 0 278771118 9856004096 87535 33554432000 1073741824 1073778376 140734845761424 140653147179176 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17453/tid=17459] ppid=17451 vsize=9625004 CPUtime=0.04 cores=1,3,5,7
/proc/17453/task/17459/stat : 17459 (java) S 17451 17453 16973 0 -1 4202560 32 0 0 0 3 1 0 0 20 0 19 0 278771118 9856004096 87535 33554432000 1073741824 1073778376 140734845761424 140653146126632 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17453/tid=17460] ppid=17451 vsize=9625004 CPUtime=0.02 cores=1,3,5,7
/proc/17453/task/17460/stat : 17460 (java) S 17451 17453 16973 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 19 0 278771118 9856004096 87535 33554432000 1073741824 1073778376 140734845761424 140653145074600 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17453/tid=17461] ppid=17451 vsize=9625004 CPUtime=0.02 cores=1,3,5,7
/proc/17453/task/17461/stat : 17461 (java) S 17451 17453 16973 0 -1 4202560 19 0 0 0 2 0 0 0 20 0 19 0 278771118 9856004096 87535 33554432000 1073741824 1073778376 140734845761424 140653144022056 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17453/tid=17462] ppid=17451 vsize=9625004 CPUtime=0.02 cores=1,3,5,7
/proc/17453/task/17462/stat : 17462 (java) S 17451 17453 16973 0 -1 4202560 30 0 0 0 2 0 0 0 20 0 19 0 278771118 9856004096 87535 33554432000 1073741824 1073778376 140734845761424 140653142969000 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17453/tid=17463] ppid=17451 vsize=9625004 CPUtime=0.02 cores=1,3,5,7
/proc/17453/task/17463/stat : 17463 (java) S 17451 17453 16973 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 19 0 278771118 9856004096 87535 33554432000 1073741824 1073778376 140734845761424 140653141916456 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17453/tid=17464] ppid=17451 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17453/task/17464/stat : 17464 (java) S 17451 17453 16973 0 -1 4202560 198 0 0 0 0 0 0 0 20 0 19 0 278771119 9856004096 87535 33554432000 1073741824 1073778376 140734845761424 140652659587432 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17453/tid=17465] ppid=17451 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17453/task/17465/stat : 17465 (java) S 17451 17453 16973 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 278771119 9856004096 87535 33554432000 1073741824 1073778376 140734845761424 140652658533752 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17453/tid=17466] ppid=17451 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17453/task/17466/stat : 17466 (java) S 17451 17453 16973 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 278771119 9856004096 87535 33554432000 1073741824 1073778376 140734845761424 140652657480584 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17453/tid=17467] ppid=17451 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17453/task/17467/stat : 17467 (java) S 17451 17453 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278771121 9856004096 87535 33554432000 1073741824 1073778376 140734845761424 140652656429328 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17453/tid=17468] ppid=17451 vsize=9625004 CPUtime=0.4 cores=1,3,5,7
/proc/17453/task/17468/stat : 17468 (java) S 17451 17453 16973 0 -1 4202560 4083 0 0 0 40 0 0 0 20 0 19 0 278771121 9856004096 87535 33554432000 1073741824 1073778376 140734845761424 140652655377208 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17453/tid=17469] ppid=17451 vsize=9625004 CPUtime=0.39 cores=1,3,5,7
/proc/17453/task/17469/stat : 17469 (java) S 17451 17453 16973 0 -1 4202560 4357 0 0 0 39 0 0 0 20 0 19 0 278771121 9856004096 87535 33554432000 1073741824 1073778376 140734845761424 140652654324664 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17453/tid=17470] ppid=17451 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17453/task/17470/stat : 17470 (java) S 17451 17453 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278771121 9856004096 87535 33554432000 1073741824 1073778376 140734845761424 140652653271800 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17453/tid=17471] ppid=17451 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17453/task/17471/stat : 17471 (java) S 17451 17453 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278771121 9856004096 87535 33554432000 1073741824 1073778376 140734845761424 140652652219464 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17453/tid=17472] ppid=17451 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17453/task/17472/stat : 17472 (java) S 17451 17453 16973 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 278771311 9856004096 87535 33554432000 1073741824 1073778376 140734845761424 140652651164712 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.15
Current children cumulated vsize (KiB) 9625004
Child status: 10
Real time (s): 2.14398
CPU time (s): 3.23251
CPU user time (s): 3.05054
CPU system time (s): 0.181972
CPU usage (%): 150.772
Max. virtual memory (cumulated for all children) (KiB): 9625004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.05054
system time used= 0.181972
maximum resident set size= 350964
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12643
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= 380
involuntary context switches= 454
runsolver used 0.006998 second user time and 0.016997 second system time
The end