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-3734226-1338744416/watcher-3734226-1338744416 -o /tmp/evaluation-result-3734226-1338744416/solver-3734226-1338744416 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3734226-1338744416.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: 2.98 3.42 2.66 4/198 27642
/proc/meminfo: memFree=26489776/32873660 swapFree=7120/7120
[pid=27642] ppid=27640 vsize=89736 CPUtime=0 cores=1,3,5,7
/proc/27642/stat : 27642 (java) S 27640 27642 25443 0 -1 4202496 1175 0 0 0 0 0 0 0 20 0 2 0 340567341 91889664 894 33554432000 1073741824 1073778376 140737184572272 140737184563408 270333411389 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27642/statm: 22450 902 685 9 0 16769 0
[pid=27642/tid=27643] ppid=27640 vsize=91816 CPUtime=0 cores=1,3,5,7
/proc/27642/task/27643/stat : 27643 (java) R 27640 27642 25443 0 -1 4202560 48 0 0 0 0 0 0 0 20 0 2 0 340567342 94019584 906 33554432000 1073741824 1073778376 140737184572272 140737184561336 270330370111 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0
[startup+0.0786959 s]
/proc/loadavg: 2.98 3.42 2.66 4/198 27642
/proc/meminfo: memFree=26489776/32873660 swapFree=7120/7120
[pid=27642] ppid=27640 vsize=2699928 CPUtime=0.06 cores=1,3,5,7
/proc/27642/stat : 27642 (java) S 27640 27642 25443 0 -1 4202496 4302 0 1 0 6 0 0 0 20 0 18 0 340567341 2764726272 6013 33554432000 1073741824 1073778376 140737184572272 140737184563408 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27642/statm: 674982 6013 2001 9 0 665676 0
[pid=27642/tid=27643] ppid=27640 vsize=2699928 CPUtime=0.05 cores=1,3,5,7
/proc/27642/task/27643/stat : 27643 (java) R 27640 27642 25443 0 -1 4202560 2718 0 1 0 5 0 0 0 20 0 18 0 340567342 2764726272 6013 33554432000 1073741824 1073778376 140737184572272 139828802318248 270333437197 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2699928
[startup+0.100221 s]
/proc/loadavg: 2.98 3.42 2.66 4/198 27642
/proc/meminfo: memFree=26489776/32873660 swapFree=7120/7120
[pid=27642] ppid=27640 vsize=2699928 CPUtime=0.11 cores=1,3,5,7
/proc/27642/stat : 27642 (java) S 27640 27642 25443 0 -1 4202496 4839 0 1 0 10 1 0 0 20 0 18 0 340567341 2764726272 6530 33554432000 1073741824 1073778376 140737184572272 140737184563408 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27642/statm: 674982 6532 2144 9 0 665676 0
[pid=27642/tid=27643] ppid=27640 vsize=2699928 CPUtime=0.07 cores=1,3,5,7
/proc/27642/task/27643/stat : 27643 (java) R 27640 27642 25443 0 -1 4202560 2774 0 1 0 7 0 0 0 20 0 18 0 340567342 2764726272 6532 33554432000 1073741824 1073778376 140737184572272 139828802327368 270333437197 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 2699928
[startup+0.300203 s]
/proc/loadavg: 2.98 3.42 2.66 4/198 27642
/proc/meminfo: memFree=26489776/32873660 swapFree=7120/7120
[pid=27642] ppid=27640 vsize=2966184 CPUtime=0.77 cores=1,3,5,7
/proc/27642/stat : 27642 (java) S 27640 27642 25443 0 -1 4202496 10360 0 1 0 75 2 0 0 20 0 22 0 340567341 3037372416 11945 33554432000 1073741824 1073778376 140737184572272 140737184563408 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27642/statm: 741546 11945 2224 9 0 732240 0
[pid=27642/tid=27643] ppid=27640 vsize=2966184 CPUtime=0.12 cores=1,3,5,7
/proc/27642/task/27643/stat : 27643 (java) S 27640 27642 25443 0 -1 4202560 2785 0 1 0 12 0 0 0 20 0 22 0 340567342 3037372416 11945 33554432000 1073741824 1073778376 140737184572272 139828802331800 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 2966184
[startup+0.700226 s]
/proc/loadavg: 2.98 3.42 2.66 4/198 27642
/proc/meminfo: memFree=26489776/32873660 swapFree=7120/7120
[pid=27642] ppid=27640 vsize=2966184 CPUtime=1 cores=1,3,5,7
/proc/27642/stat : 27642 (java) S 27640 27642 25443 0 -1 4202496 10668 0 1 0 96 4 0 0 20 0 20 0 340567341 3037372416 13129 33554432000 1073741824 1073778376 140737184572272 140737184563408 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27642/statm: 741546 13129 2227 9 0 732240 0
[pid=27642/tid=27643] ppid=27640 vsize=2966184 CPUtime=0.12 cores=1,3,5,7
/proc/27642/task/27643/stat : 27643 (java) S 27640 27642 25443 0 -1 4202560 2785 0 1 0 12 0 0 0 20 0 20 0 340567342 3037372416 13129 33554432000 1073741824 1073778376 140737184572272 139828802331800 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1
Current children cumulated vsize (KiB) 2966184
[startup+1.50064 s]
/proc/loadavg: 2.98 3.42 2.66 3/218 27664
/proc/meminfo: memFree=26445252/32873660 swapFree=7120/7120
[pid=27642] ppid=27640 vsize=2966184 CPUtime=1.05 cores=1,3,5,7
/proc/27642/stat : 27642 (java) S 27640 27642 25443 0 -1 4202496 10681 0 1 0 100 5 0 0 20 0 20 0 340567341 3037372416 14669 33554432000 1073741824 1073778376 140737184572272 140737184563408 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27642/statm: 741546 14669 2231 9 0 732240 0
[pid=27642/tid=27643] ppid=27640 vsize=2966184 CPUtime=0.12 cores=1,3,5,7
/proc/27642/task/27643/stat : 27643 (java) S 27640 27642 25443 0 -1 4202560 2786 0 1 0 12 0 0 0 20 0 20 0 340567342 3037372416 14669 33554432000 1073741824 1073778376 140737184572272 139828802331800 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27642/tid=27645] ppid=27640 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27642/task/27645/stat : 27645 (java) S 27640 27642 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340567343 3037372416 14669 33554432000 1073741824 1073778376 140737184572272 139828786613032 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27642/tid=27646] ppid=27640 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27642/task/27646/stat : 27646 (java) S 27640 27642 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340567343 3037372416 14669 33554432000 1073741824 1073778376 140737184572272 139828785560232 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27642/tid=27647] ppid=27640 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27642/task/27647/stat : 27647 (java) S 27640 27642 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340567343 3037372416 14669 33554432000 1073741824 1073778376 140737184572272 139828784507944 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27642/tid=27648] ppid=27640 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27642/task/27648/stat : 27648 (java) S 27640 27642 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340567343 3037372416 14669 33554432000 1073741824 1073778376 140737184572272 139828783455144 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27642/tid=27649] ppid=27640 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27642/task/27649/stat : 27649 (java) S 27640 27642 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340567343 3037372416 14669 33554432000 1073741824 1073778376 140737184572272 139828782401832 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27642/tid=27650] ppid=27640 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27642/task/27650/stat : 27650 (java) S 27640 27642 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340567343 3037372416 14669 33554432000 1073741824 1073778376 140737184572272 139828781349032 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27642/tid=27651] ppid=27640 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27642/task/27651/stat : 27651 (java) S 27640 27642 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340567343 3037372416 14669 33554432000 1073741824 1073778376 140737184572272 139828780296744 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27642/tid=27652] ppid=27640 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27642/task/27652/stat : 27652 (java) S 27640 27642 25443 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 340567343 3037372416 14669 33554432000 1073741824 1073778376 140737184572272 139828779243944 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27642/tid=27653] ppid=27640 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27642/task/27653/stat : 27653 (java) S 27640 27642 25443 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 340567344 3037372416 14669 33554432000 1073741824 1073778376 140737184572272 139828648729320 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27642/tid=27654] ppid=27640 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27642/task/27654/stat : 27654 (java) S 27640 27642 25443 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 340567344 3037372416 14669 33554432000 1073741824 1073778376 140737184572272 139828647675384 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27642/tid=27655] ppid=27640 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27642/task/27655/stat : 27655 (java) S 27640 27642 25443 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340567344 3037372416 14669 33554432000 1073741824 1073778376 140737184572272 139828646622984 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27642/tid=27656] ppid=27640 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27642/task/27656/stat : 27656 (java) S 27640 27642 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340567346 3037372416 14669 33554432000 1073741824 1073778376 140737184572272 139828645571472 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27642/tid=27657] ppid=27640 vsize=2966184 CPUtime=0.23 cores=1,3,5,7
/proc/27642/task/27657/stat : 27657 (java) S 27640 27642 25443 0 -1 4202560 3586 0 0 0 22 1 0 0 20 0 20 0 340567346 3037372416 14669 33554432000 1073741824 1073778376 140737184572272 139828644518072 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27642/tid=27658] ppid=27640 vsize=2966184 CPUtime=0.23 cores=1,3,5,7
/proc/27642/task/27658/stat : 27658 (java) S 27640 27642 25443 0 -1 4202560 2993 0 0 0 23 0 0 0 20 0 20 0 340567346 3037372416 14669 33554432000 1073741824 1073778376 140737184572272 139828643465272 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27642/tid=27659] ppid=27640 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27642/task/27659/stat : 27659 (java) S 27640 27642 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340567346 3037372416 14669 33554432000 1073741824 1073778376 140737184572272 139828642413176 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27642/tid=27660] ppid=27640 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27642/task/27660/stat : 27660 (java) S 27640 27642 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340567346 3037372416 14669 33554432000 1073741824 1073778376 140737184572272 139828641360584 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27642/tid=27663] ppid=27640 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27642/task/27663/stat : 27663 (java) S 27640 27642 25443 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340567356 3037372416 14669 33554432000 1073741824 1073778376 140737184572272 139828638201512 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27642/tid=27664] ppid=27640 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27642/task/27664/stat : 27664 (java) S 27640 27642 25443 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340567356 3037372416 14669 33554432000 1073741824 1073778376 140737184572272 139828637148712 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.05
Current children cumulated vsize (KiB) 2966184
[startup+3.10069 s]
/proc/loadavg: 2.98 3.42 2.66 3/218 27666
/proc/meminfo: memFree=26439676/32873660 swapFree=7120/7120
[pid=27642] ppid=27640 vsize=2966184 CPUtime=1.05 cores=1,3,5,7
/proc/27642/stat : 27642 (java) S 27640 27642 25443 0 -1 4202496 10697 0 1 0 100 5 0 0 20 0 20 0 340567341 3037372416 16209 33554432000 1073741824 1073778376 140737184572272 140737184563408 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27642/statm: 741546 16209 2234 9 0 732240 0
[pid=27642/tid=27643] ppid=27640 vsize=2966184 CPUtime=0.12 cores=1,3,5,7
/proc/27642/task/27643/stat : 27643 (java) S 27640 27642 25443 0 -1 4202560 2787 0 1 0 12 0 0 0 20 0 20 0 340567342 3037372416 16209 33554432000 1073741824 1073778376 140737184572272 139828802331800 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27642/tid=27645] ppid=27640 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27642/task/27645/stat : 27645 (java) S 27640 27642 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340567343 3037372416 16209 33554432000 1073741824 1073778376 140737184572272 139828786613032 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27642/tid=27646] ppid=27640 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27642/task/27646/stat : 27646 (java) S 27640 27642 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340567343 3037372416 16209 33554432000 1073741824 1073778376 140737184572272 139828785560232 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27642/tid=27647] ppid=27640 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27642/task/27647/stat : 27647 (java) S 27640 27642 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340567343 3037372416 16209 33554432000 1073741824 1073778376 140737184572272 139828784507944 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27642/tid=27648] ppid=27640 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27642/task/27648/stat : 27648 (java) S 27640 27642 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340567343 3037372416 16209 33554432000 1073741824 1073778376 140737184572272 139828783455144 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27642/tid=27649] ppid=27640 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27642/task/27649/stat : 27649 (java) S 27640 27642 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340567343 3037372416 16209 33554432000 1073741824 1073778376 140737184572272 139828782401832 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27642/tid=27650] ppid=27640 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27642/task/27650/stat : 27650 (java) S 27640 27642 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340567343 3037372416 16209 33554432000 1073741824 1073778376 140737184572272 139828781349032 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27642/tid=27651] ppid=27640 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27642/task/27651/stat : 27651 (java) S 27640 27642 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340567343 3037372416 16209 33554432000 1073741824 1073778376 140737184572272 139828780296744 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27642/tid=27652] ppid=27640 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27642/task/27652/stat : 27652 (java) S 27640 27642 25443 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 340567343 3037372416 16209 33554432000 1073741824 1073778376 140737184572272 139828779243944 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27642/tid=27653] ppid=27640 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27642/task/27653/stat : 27653 (java) S 27640 27642 25443 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 20 0 340567344 3037372416 16209 33554432000 1073741824 1073778376 140737184572272 139828648729320 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27642/tid=27654] ppid=27640 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27642/task/27654/stat : 27654 (java) S 27640 27642 25443 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 340567344 3037372416 16209 33554432000 1073741824 1073778376 140737184572272 139828647675384 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27642/tid=27655] ppid=27640 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27642/task/27655/stat : 27655 (java) S 27640 27642 25443 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340567344 3037372416 16209 33554432000 1073741824 1073778376 140737184572272 139828646622984 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27642/tid=27656] ppid=27640 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27642/task/27656/stat : 27656 (java) S 27640 27642 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340567346 3037372416 16209 33554432000 1073741824 1073778376 140737184572272 139828645571472 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27642/tid=27657] ppid=27640 vsize=2966184 CPUtime=0.23 cores=1,3,5,7
/proc/27642/task/27657/stat : 27657 (java) S 27640 27642 25443 0 -1 4202560 3586 0 0 0 22 1 0 0 20 0 20 0 340567346 3037372416 16209 33554432000 1073741824 1073778376 140737184572272 139828644518072 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27642/tid=27658] ppid=27640 vsize=2966184 CPUtime=0.23 cores=1,3,5,7
/proc/27642/task/27658/stat : 27658 (java) S 27640 27642 25443 0 -1 4202560 2993 0 0 0 23 0 0 0 20 0 20 0 340567346 3037372416 16209 33554432000 1073741824 1073778376 140737184572272 139828643465272 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27642/tid=27659] ppid=27640 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27642/task/27659/stat : 27659 (java) S 27640 27642 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340567346 3037372416 16209 33554432000 1073741824 1073778376 140737184572272 139828642413176 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27642/tid=27660] ppid=27640 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27642/task/27660/stat : 27660 (java) S 27640 27642 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340567346 3037372416 16209 33554432000 1073741824 1073778376 140737184572272 139828641360584 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27642/tid=27663] ppid=27640 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27642/task/27663/stat : 27663 (java) S 27640 27642 25443 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340567356 3037372416 16209 33554432000 1073741824 1073778376 140737184572272 139828638201512 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27642/tid=27664] ppid=27640 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27642/task/27664/stat : 27664 (java) S 27640 27642 25443 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340567356 3037372416 16209 33554432000 1073741824 1073778376 140737184572272 139828637148712 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.05
Current children cumulated vsize (KiB) 2966184
heavy processes:
Solver just ended. Dumping a history of the last processes samples
Child status: 30
Real time (s): 3.15676
CPU time (s): 1.08283
CPU user time (s): 1.01085
CPU system time (s): 0.071989
CPU usage (%): 34.3021
Max. virtual memory (cumulated for all children) (KiB): 2966184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.01085
system time used= 0.071989
maximum resident set size= 66912
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10708
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= 315
involuntary context switches= 35
runsolver used 0.016997 second user time and 0.035994 second system time
The end