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-3734171-1338744409/watcher-3734171-1338744409 -o /tmp/evaluation-result-3734171-1338744409/solver-3734171-1338744409 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3734171-1338744409.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: 3.06 3.44 2.66 4/198 27456
/proc/meminfo: memFree=26490272/32873660 swapFree=7120/7120
[pid=27456] ppid=27454 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/27456/stat : 27456 (java) R 27454 27456 25443 0 -1 4202496 983 0 0 0 0 0 0 0 20 0 1 0 340566630 23793664 711 33554432000 1073741824 1073778376 140733856558688 140733856547752 270320842088 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/27456/statm: 5809 712 527 9 0 128 0
[startup+0.0594349 s]
/proc/loadavg: 3.06 3.44 2.66 4/198 27456
/proc/meminfo: memFree=26490272/32873660 swapFree=7120/7120
[pid=27456] ppid=27454 vsize=2699928 CPUtime=0.04 cores=1,3,5,7
/proc/27456/stat : 27456 (java) S 27454 27456 25443 0 -1 4202496 3858 0 1 0 4 0 0 0 20 0 18 0 340566630 2764726272 5578 33554432000 1073741824 1073778376 140733856558688 140733856549824 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27456/statm: 674982 5578 1759 9 0 665676 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 2699928
[startup+0.120418 s]
/proc/loadavg: 3.06 3.44 2.66 4/198 27456
/proc/meminfo: memFree=26490272/32873660 swapFree=7120/7120
[pid=27456] ppid=27454 vsize=2699928 CPUtime=0.13 cores=1,3,5,7
/proc/27456/stat : 27456 (java) S 27454 27456 25443 0 -1 4202496 4853 0 1 0 13 0 0 0 20 0 18 0 340566630 2764726272 6514 33554432000 1073741824 1073778376 140733856558688 140733856549824 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27456/statm: 674982 6514 2153 9 0 665676 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 2699928
[startup+0.300139 s]
/proc/loadavg: 3.06 3.44 2.66 4/198 27456
/proc/meminfo: memFree=26490272/32873660 swapFree=7120/7120
[pid=27456] ppid=27454 vsize=2966184 CPUtime=0.76 cores=1,3,5,7
/proc/27456/stat : 27456 (java) S 27454 27456 25443 0 -1 4202496 10219 0 1 0 75 1 0 0 20 0 22 0 340566630 3037372416 12988 33554432000 1073741824 1073778376 140733856558688 140733856549824 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27456/statm: 741546 12988 2224 9 0 732240 0
Current children cumulated CPU time (s) 0.76
Current children cumulated vsize (KiB) 2966184
[startup+0.7002 s]
/proc/loadavg: 3.06 3.44 2.66 4/198 27456
/proc/meminfo: memFree=26490272/32873660 swapFree=7120/7120
[pid=27456] ppid=27454 vsize=2966184 CPUtime=0.99 cores=1,3,5,7
/proc/27456/stat : 27456 (java) S 27454 27456 25443 0 -1 4202496 10259 0 1 0 96 3 0 0 20 0 20 0 340566630 3037372416 14319 33554432000 1073741824 1073778376 140733856558688 140733856549824 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27456/statm: 741546 14319 2234 9 0 732240 0
Current children cumulated CPU time (s) 0.99
Current children cumulated vsize (KiB) 2966184
[startup+1.50071 s]
/proc/loadavg: 3.06 3.44 2.66 3/218 27478
/proc/meminfo: memFree=26441580/32873660 swapFree=7120/7120
[pid=27456] ppid=27454 vsize=2966184 CPUtime=0.99 cores=1,3,5,7
/proc/27456/stat : 27456 (java) S 27454 27456 25443 0 -1 4202496 10269 0 1 0 96 3 0 0 20 0 20 0 340566630 3037372416 15855 33554432000 1073741824 1073778376 140733856558688 140733856549824 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27456/statm: 741546 15855 2234 9 0 732240 0
[pid=27456/tid=27458] ppid=27454 vsize=2966184 CPUtime=0.12 cores=1,3,5,7
/proc/27456/task/27458/stat : 27458 (java) S 27454 27456 25443 0 -1 4202560 2791 0 1 0 12 0 0 0 20 0 20 0 340566630 3037372416 15855 33554432000 1073741824 1073778376 140733856558688 140597176382616 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27456/tid=27459] ppid=27454 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27456/task/27459/stat : 27459 (java) S 27454 27456 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340566631 3037372416 15855 33554432000 1073741824 1073778376 140733856558688 140597043170344 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27456/tid=27460] ppid=27454 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27456/task/27460/stat : 27460 (java) S 27454 27456 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340566631 3037372416 15855 33554432000 1073741824 1073778376 140733856558688 140597042117544 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27456/tid=27461] ppid=27454 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27456/task/27461/stat : 27461 (java) S 27454 27456 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340566631 3037372416 15855 33554432000 1073741824 1073778376 140733856558688 140597041064744 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27456/tid=27462] ppid=27454 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27456/task/27462/stat : 27462 (java) S 27454 27456 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340566631 3037372416 15855 33554432000 1073741824 1073778376 140733856558688 140597040011944 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27456/tid=27463] ppid=27454 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27456/task/27463/stat : 27463 (java) S 27454 27456 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340566631 3037372416 15855 33554432000 1073741824 1073778376 140733856558688 140597038959144 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27456/tid=27464] ppid=27454 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27456/task/27464/stat : 27464 (java) S 27454 27456 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340566631 3037372416 15855 33554432000 1073741824 1073778376 140733856558688 140597037906344 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27456/tid=27465] ppid=27454 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27456/task/27465/stat : 27465 (java) S 27454 27456 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340566631 3037372416 15855 33554432000 1073741824 1073778376 140733856558688 140597036853544 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27456/tid=27466] ppid=27454 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27456/task/27466/stat : 27466 (java) S 27454 27456 25443 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 340566631 3037372416 15855 33554432000 1073741824 1073778376 140733856558688 140597035800744 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27456/tid=27467] ppid=27454 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27456/task/27467/stat : 27467 (java) S 27454 27456 25443 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 20 0 340566632 3037372416 15855 33554432000 1073741824 1073778376 140733856558688 140596553419752 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27456/tid=27468] ppid=27454 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27456/task/27468/stat : 27468 (java) S 27454 27456 25443 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 340566632 3037372416 15855 33554432000 1073741824 1073778376 140733856558688 140596552365816 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27456/tid=27469] ppid=27454 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27456/task/27469/stat : 27469 (java) S 27454 27456 25443 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340566632 3037372416 15855 33554432000 1073741824 1073778376 140733856558688 140596551312904 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27456/tid=27470] ppid=27454 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27456/task/27470/stat : 27470 (java) S 27454 27456 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340566634 3037372416 15855 33554432000 1073741824 1073778376 140733856558688 140596550261392 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27456/tid=27471] ppid=27454 vsize=2966184 CPUtime=0.22 cores=1,3,5,7
/proc/27456/task/27471/stat : 27471 (java) S 27454 27456 25443 0 -1 4202560 2914 0 0 0 22 0 0 0 20 0 20 0 340566635 3037372416 15855 33554432000 1073741824 1073778376 140733856558688 140596549208504 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27456/tid=27472] ppid=27454 vsize=2966184 CPUtime=0.22 cores=1,3,5,7
/proc/27456/task/27472/stat : 27472 (java) S 27454 27456 25443 0 -1 4202560 3244 0 0 0 22 0 0 0 20 0 20 0 340566635 3037372416 15855 33554432000 1073741824 1073778376 140733856558688 140596548155704 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27456/tid=27473] ppid=27454 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27456/task/27473/stat : 27473 (java) S 27454 27456 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340566635 3037372416 15855 33554432000 1073741824 1073778376 140733856558688 140596547103096 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27456/tid=27474] ppid=27454 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27456/task/27474/stat : 27474 (java) S 27454 27456 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340566635 3037372416 15855 33554432000 1073741824 1073778376 140733856558688 140596546050504 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27456/tid=27477] ppid=27454 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27456/task/27477/stat : 27477 (java) S 27454 27456 25443 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340566644 3037372416 15855 33554432000 1073741824 1073778376 140733856558688 140596542891432 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27456/tid=27478] ppid=27454 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27456/task/27478/stat : 27478 (java) S 27454 27456 25443 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340566644 3037372416 15855 33554432000 1073741824 1073778376 140733856558688 140596541838632 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.99
Current children cumulated vsize (KiB) 2966184
Solver just ended. Dumping a history of the last processes samples
[startup+1.90066 s]
/proc/loadavg: 3.06 3.44 2.66 3/218 27478
/proc/meminfo: memFree=26441580/32873660 swapFree=7120/7120
[pid=27456] ppid=27454 vsize=2966184 CPUtime=0.99 cores=1,3,5,7
/proc/27456/stat : 27456 (java) S 27454 27456 25443 0 -1 4202496 10269 0 1 0 96 3 0 0 20 0 20 0 340566630 3037372416 15855 33554432000 1073741824 1073778376 140733856558688 140733856549824 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27456/statm: 741546 15855 2234 9 0 732240 0
[pid=27456/tid=27458] ppid=27454 vsize=2966184 CPUtime=0.12 cores=1,3,5,7
/proc/27456/task/27458/stat : 27458 (java) S 27454 27456 25443 0 -1 4202560 2791 0 1 0 12 0 0 0 20 0 20 0 340566630 3037372416 15855 33554432000 1073741824 1073778376 140733856558688 140597176382616 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27456/tid=27459] ppid=27454 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27456/task/27459/stat : 27459 (java) S 27454 27456 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340566631 3037372416 15855 33554432000 1073741824 1073778376 140733856558688 140597043170344 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27456/tid=27460] ppid=27454 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27456/task/27460/stat : 27460 (java) S 27454 27456 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340566631 3037372416 15855 33554432000 1073741824 1073778376 140733856558688 140597042117544 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27456/tid=27461] ppid=27454 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27456/task/27461/stat : 27461 (java) S 27454 27456 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340566631 3037372416 15855 33554432000 1073741824 1073778376 140733856558688 140597041064744 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27456/tid=27462] ppid=27454 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27456/task/27462/stat : 27462 (java) S 27454 27456 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340566631 3037372416 15855 33554432000 1073741824 1073778376 140733856558688 140597040011944 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27456/tid=27463] ppid=27454 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27456/task/27463/stat : 27463 (java) S 27454 27456 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340566631 3037372416 15855 33554432000 1073741824 1073778376 140733856558688 140597038959144 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27456/tid=27464] ppid=27454 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27456/task/27464/stat : 27464 (java) S 27454 27456 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340566631 3037372416 15855 33554432000 1073741824 1073778376 140733856558688 140597037906344 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27456/tid=27465] ppid=27454 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27456/task/27465/stat : 27465 (java) S 27454 27456 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340566631 3037372416 15855 33554432000 1073741824 1073778376 140733856558688 140597036853544 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27456/tid=27466] ppid=27454 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27456/task/27466/stat : 27466 (java) S 27454 27456 25443 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 340566631 3037372416 15855 33554432000 1073741824 1073778376 140733856558688 140597035800744 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27456/tid=27467] ppid=27454 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27456/task/27467/stat : 27467 (java) S 27454 27456 25443 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 20 0 340566632 3037372416 15855 33554432000 1073741824 1073778376 140733856558688 140596553419752 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27456/tid=27468] ppid=27454 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27456/task/27468/stat : 27468 (java) S 27454 27456 25443 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 340566632 3037372416 15855 33554432000 1073741824 1073778376 140733856558688 140596552365816 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27456/tid=27469] ppid=27454 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27456/task/27469/stat : 27469 (java) S 27454 27456 25443 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340566632 3037372416 15855 33554432000 1073741824 1073778376 140733856558688 140596551312904 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27456/tid=27470] ppid=27454 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27456/task/27470/stat : 27470 (java) S 27454 27456 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340566634 3037372416 15855 33554432000 1073741824 1073778376 140733856558688 140596550261392 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27456/tid=27471] ppid=27454 vsize=2966184 CPUtime=0.22 cores=1,3,5,7
/proc/27456/task/27471/stat : 27471 (java) S 27454 27456 25443 0 -1 4202560 2914 0 0 0 22 0 0 0 20 0 20 0 340566635 3037372416 15855 33554432000 1073741824 1073778376 140733856558688 140596549208504 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27456/tid=27472] ppid=27454 vsize=2966184 CPUtime=0.22 cores=1,3,5,7
/proc/27456/task/27472/stat : 27472 (java) S 27454 27456 25443 0 -1 4202560 3244 0 0 0 22 0 0 0 20 0 20 0 340566635 3037372416 15855 33554432000 1073741824 1073778376 140733856558688 140596548155704 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27456/tid=27473] ppid=27454 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27456/task/27473/stat : 27473 (java) S 27454 27456 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340566635 3037372416 15855 33554432000 1073741824 1073778376 140733856558688 140596547103096 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27456/tid=27474] ppid=27454 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27456/task/27474/stat : 27474 (java) S 27454 27456 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340566635 3037372416 15855 33554432000 1073741824 1073778376 140733856558688 140596546050504 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27456/tid=27477] ppid=27454 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27456/task/27477/stat : 27477 (java) S 27454 27456 25443 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340566644 3037372416 15855 33554432000 1073741824 1073778376 140733856558688 140596542891432 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27456/tid=27478] ppid=27454 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27456/task/27478/stat : 27478 (java) S 27454 27456 25443 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340566644 3037372416 15855 33554432000 1073741824 1073778376 140733856558688 140596541838632 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.99
Current children cumulated vsize (KiB) 2966184
[startup+2.10065 s]
/proc/loadavg: 3.06 3.44 2.66 3/218 27480
/proc/meminfo: memFree=26435304/32873660 swapFree=7120/7120
[pid=27456] ppid=27454 vsize=2966184 CPUtime=0.99 cores=1,3,5,7
/proc/27456/stat : 27456 (java) S 27454 27456 25443 0 -1 4202496 10269 0 1 0 96 3 0 0 20 0 20 0 340566630 3037372416 15855 33554432000 1073741824 1073778376 140733856558688 140733856549824 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27456/statm: 741546 15855 2234 9 0 732240 0
[pid=27456/tid=27458] ppid=27454 vsize=2966184 CPUtime=0.12 cores=1,3,5,7
/proc/27456/task/27458/stat : 27458 (java) S 27454 27456 25443 0 -1 4202560 2791 0 1 0 12 0 0 0 20 0 20 0 340566630 3037372416 15855 33554432000 1073741824 1073778376 140733856558688 140597176382616 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27456/tid=27459] ppid=27454 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27456/task/27459/stat : 27459 (java) S 27454 27456 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340566631 3037372416 15855 33554432000 1073741824 1073778376 140733856558688 140597043170344 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27456/tid=27460] ppid=27454 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27456/task/27460/stat : 27460 (java) S 27454 27456 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340566631 3037372416 15855 33554432000 1073741824 1073778376 140733856558688 140597042117544 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27456/tid=27461] ppid=27454 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27456/task/27461/stat : 27461 (java) S 27454 27456 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340566631 3037372416 15855 33554432000 1073741824 1073778376 140733856558688 140597041064744 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27456/tid=27462] ppid=27454 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27456/task/27462/stat : 27462 (java) S 27454 27456 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340566631 3037372416 15855 33554432000 1073741824 1073778376 140733856558688 140597040011944 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27456/tid=27463] ppid=27454 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27456/task/27463/stat : 27463 (java) S 27454 27456 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340566631 3037372416 15855 33554432000 1073741824 1073778376 140733856558688 140597038959144 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27456/tid=27464] ppid=27454 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27456/task/27464/stat : 27464 (java) S 27454 27456 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340566631 3037372416 15855 33554432000 1073741824 1073778376 140733856558688 140597037906344 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27456/tid=27465] ppid=27454 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27456/task/27465/stat : 27465 (java) S 27454 27456 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340566631 3037372416 15855 33554432000 1073741824 1073778376 140733856558688 140597036853544 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27456/tid=27466] ppid=27454 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27456/task/27466/stat : 27466 (java) S 27454 27456 25443 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 340566631 3037372416 15855 33554432000 1073741824 1073778376 140733856558688 140597035800744 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27456/tid=27467] ppid=27454 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27456/task/27467/stat : 27467 (java) S 27454 27456 25443 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 20 0 340566632 3037372416 15855 33554432000 1073741824 1073778376 140733856558688 140596553419752 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27456/tid=27468] ppid=27454 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27456/task/27468/stat : 27468 (java) S 27454 27456 25443 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 340566632 3037372416 15855 33554432000 1073741824 1073778376 140733856558688 140596552365816 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27456/tid=27469] ppid=27454 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27456/task/27469/stat : 27469 (java) S 27454 27456 25443 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340566632 3037372416 15855 33554432000 1073741824 1073778376 140733856558688 140596551312904 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27456/tid=27470] ppid=27454 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27456/task/27470/stat : 27470 (java) S 27454 27456 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340566634 3037372416 15855 33554432000 1073741824 1073778376 140733856558688 140596550261392 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27456/tid=27471] ppid=27454 vsize=2966184 CPUtime=0.22 cores=1,3,5,7
/proc/27456/task/27471/stat : 27471 (java) S 27454 27456 25443 0 -1 4202560 2914 0 0 0 22 0 0 0 20 0 20 0 340566635 3037372416 15855 33554432000 1073741824 1073778376 140733856558688 140596549208504 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27456/tid=27472] ppid=27454 vsize=2966184 CPUtime=0.22 cores=1,3,5,7
/proc/27456/task/27472/stat : 27472 (java) S 27454 27456 25443 0 -1 4202560 3244 0 0 0 22 0 0 0 20 0 20 0 340566635 3037372416 15855 33554432000 1073741824 1073778376 140733856558688 140596548155704 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27456/tid=27473] ppid=27454 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27456/task/27473/stat : 27473 (java) S 27454 27456 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340566635 3037372416 15855 33554432000 1073741824 1073778376 140733856558688 140596547103096 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27456/tid=27474] ppid=27454 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27456/task/27474/stat : 27474 (java) S 27454 27456 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340566635 3037372416 15855 33554432000 1073741824 1073778376 140733856558688 140596546050504 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27456/tid=27477] ppid=27454 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27456/task/27477/stat : 27477 (java) S 27454 27456 25443 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340566644 3037372416 15855 33554432000 1073741824 1073778376 140733856558688 140596542891432 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27456/tid=27478] ppid=27454 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27456/task/27478/stat : 27478 (java) S 27454 27456 25443 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340566644 3037372416 15855 33554432000 1073741824 1073778376 140733856558688 140596541838632 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.99
Current children cumulated vsize (KiB) 2966184
Child status: 30
Real time (s): 2.15655
CPU time (s): 1.03384
CPU user time (s): 0.98185
CPU system time (s): 0.051992
CPU usage (%): 47.9395
Max. virtual memory (cumulated for all children) (KiB): 2966184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.98185
system time used= 0.051992
maximum resident set size= 65480
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10276
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= 288
involuntary context switches= 39
runsolver used 0.009998 second user time and 0.021996 second system time
The end