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-3734336-1338744425/watcher-3734336-1338744425 -o /tmp/evaluation-result-3734336-1338744425/solver-3734336-1338744425 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3734336-1338744425.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.83 3.37 2.65 3/198 27832
/proc/meminfo: memFree=26487616/32873660 swapFree=7120/7120
[pid=27832] ppid=27830 vsize=89736 CPUtime=0 cores=1,3,5,7
/proc/27832/stat : 27832 (java) S 27830 27832 25443 0 -1 4202496 1176 0 0 0 0 0 0 0 20 0 2 0 340568256 91889664 894 33554432000 1073741824 1073778376 140733955192320 140733955183456 270333411389 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27832/statm: 22434 894 678 9 0 16769 0
[pid=27832/tid=27833] ppid=27830 vsize=91880 CPUtime=0 cores=1,3,5,7
/proc/27832/task/27833/stat : 27833 (java) R 27830 27832 25443 0 -1 4202560 40 0 0 0 0 0 0 0 20 0 2 0 340568257 94085120 906 33554432000 1073741824 1073778376 140733955192320 140733955181384 270320890730 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0
[startup+0.0259261 s]
/proc/loadavg: 2.83 3.37 2.65 3/198 27832
/proc/meminfo: memFree=26487616/32873660 swapFree=7120/7120
[pid=27832] ppid=27830 vsize=2233952 CPUtime=0.01 cores=1,3,5,7
/proc/27832/stat : 27832 (java) S 27830 27832 25443 0 -1 4202496 3610 0 1 0 1 0 0 0 20 0 11 0 340568256 2287566848 4819 33554432000 1073741824 1073778376 140733955192320 140733955183456 270333411389 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27832/statm: 558488 4819 1632 9 0 549189 0
[pid=27832/tid=27833] ppid=27830 vsize=2233952 CPUtime=0 cores=1,3,5,7
/proc/27832/task/27833/stat : 27833 (java) R 27830 27832 25443 0 -1 4202560 2450 0 1 0 0 0 0 0 20 0 11 0 340568257 2287566848 4819 33554432000 1073741824 1073778376 140733955192320 140200942332680 270333437197 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2233952
[startup+0.100235 s]
/proc/loadavg: 2.83 3.37 2.65 3/198 27832
/proc/meminfo: memFree=26487616/32873660 swapFree=7120/7120
[pid=27832] ppid=27830 vsize=2699928 CPUtime=0.11 cores=1,3,5,7
/proc/27832/stat : 27832 (java) S 27830 27832 25443 0 -1 4202496 4856 0 1 0 10 1 0 0 20 0 18 0 340568256 2764726272 6539 33554432000 1073741824 1073778376 140733955192320 140733955183456 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27832/statm: 674982 6539 2153 9 0 665676 0
[pid=27832/tid=27833] ppid=27830 vsize=2699928 CPUtime=0.07 cores=1,3,5,7
/proc/27832/task/27833/stat : 27833 (java) R 27830 27832 25443 0 -1 4202560 2779 0 1 0 6 1 0 0 20 0 18 0 340568257 2764726272 6539 33554432000 1073741824 1073778376 140733955192320 140200942327224 270333437101 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.300256 s]
/proc/loadavg: 2.83 3.37 2.65 3/198 27832
/proc/meminfo: memFree=26487616/32873660 swapFree=7120/7120
[pid=27832] ppid=27830 vsize=2966184 CPUtime=0.17 cores=1,3,5,7
/proc/27832/stat : 27832 (java) S 27830 27832 25443 0 -1 4202496 5065 0 1 0 16 1 0 0 20 0 20 0 340568256 3037372416 8250 33554432000 1073741824 1073778376 140733955192320 140733955183456 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27832/statm: 741546 8250 2183 9 0 732240 0
[pid=27832/tid=27833] ppid=27830 vsize=2966184 CPUtime=0.12 cores=1,3,5,7
/proc/27832/task/27833/stat : 27833 (java) S 27830 27832 25443 0 -1 4202560 2789 0 1 0 11 1 0 0 20 0 20 0 340568257 3037372416 8250 33554432000 1073741824 1073778376 140733955192320 140200942331032 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 2966184
[startup+0.700219 s]
/proc/loadavg: 2.83 3.37 2.65 3/198 27832
/proc/meminfo: memFree=26487616/32873660 swapFree=7120/7120
[pid=27832] ppid=27830 vsize=2966184 CPUtime=0.17 cores=1,3,5,7
/proc/27832/stat : 27832 (java) S 27830 27832 25443 0 -1 4202496 5065 0 1 0 16 1 0 0 20 0 20 0 340568256 3037372416 8250 33554432000 1073741824 1073778376 140733955192320 140733955183456 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27832/statm: 741546 8250 2183 9 0 732240 0
[pid=27832/tid=27833] ppid=27830 vsize=2966184 CPUtime=0.12 cores=1,3,5,7
/proc/27832/task/27833/stat : 27833 (java) S 27830 27832 25443 0 -1 4202560 2789 0 1 0 11 1 0 0 20 0 20 0 340568257 3037372416 8250 33554432000 1073741824 1073778376 140733955192320 140200942331032 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 2966184
[startup+1.50064 s]
/proc/loadavg: 2.83 3.37 2.65 3/218 27854
/proc/meminfo: memFree=26463464/32873660 swapFree=7120/7120
[pid=27832] ppid=27830 vsize=2966184 CPUtime=0.19 cores=1,3,5,7
/proc/27832/stat : 27832 (java) S 27830 27832 25443 0 -1 4202496 5184 0 1 0 18 1 0 0 20 0 20 0 340568256 3037372416 9317 33554432000 1073741824 1073778376 140733955192320 140733955183456 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27832/statm: 741546 9317 2192 9 0 732240 0
[pid=27832/tid=27833] ppid=27830 vsize=2966184 CPUtime=0.12 cores=1,3,5,7
/proc/27832/task/27833/stat : 27833 (java) S 27830 27832 25443 0 -1 4202560 2789 0 1 0 11 1 0 0 20 0 20 0 340568257 3037372416 9317 33554432000 1073741824 1073778376 140733955192320 140200942331032 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27832/tid=27835] ppid=27830 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27832/task/27835/stat : 27835 (java) S 27830 27832 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340568257 3037372416 9317 33554432000 1073741824 1073778376 140733955192320 140200926612520 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27832/tid=27836] ppid=27830 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27832/task/27836/stat : 27836 (java) S 27830 27832 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340568257 3037372416 9317 33554432000 1073741824 1073778376 140733955192320 140200925559720 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27832/tid=27837] ppid=27830 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27832/task/27837/stat : 27837 (java) S 27830 27832 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340568257 3037372416 9317 33554432000 1073741824 1073778376 140733955192320 140200924506920 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27832/tid=27838] ppid=27830 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27832/task/27838/stat : 27838 (java) S 27830 27832 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340568257 3037372416 9317 33554432000 1073741824 1073778376 140733955192320 140200923454120 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27832/tid=27839] ppid=27830 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27832/task/27839/stat : 27839 (java) S 27830 27832 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340568257 3037372416 9317 33554432000 1073741824 1073778376 140733955192320 140200922401320 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27832/tid=27840] ppid=27830 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27832/task/27840/stat : 27840 (java) S 27830 27832 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340568257 3037372416 9317 33554432000 1073741824 1073778376 140733955192320 140200921348520 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27832/tid=27841] ppid=27830 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27832/task/27841/stat : 27841 (java) S 27830 27832 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340568257 3037372416 9317 33554432000 1073741824 1073778376 140733955192320 140200920295720 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27832/tid=27842] ppid=27830 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27832/task/27842/stat : 27842 (java) S 27830 27832 25443 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 340568257 3037372416 9317 33554432000 1073741824 1073778376 140733955192320 140200919242920 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27832/tid=27843] ppid=27830 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27832/task/27843/stat : 27843 (java) S 27830 27832 25443 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 340568259 3037372416 9317 33554432000 1073741824 1073778376 140733955192320 140200906832872 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27832/tid=27844] ppid=27830 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27832/task/27844/stat : 27844 (java) S 27830 27832 25443 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 340568259 3037372416 9317 33554432000 1073741824 1073778376 140733955192320 140200905778936 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27832/tid=27845] ppid=27830 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27832/task/27845/stat : 27845 (java) S 27830 27832 25443 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340568259 3037372416 9317 33554432000 1073741824 1073778376 140733955192320 140200904726024 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27832/tid=27846] ppid=27830 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27832/task/27846/stat : 27846 (java) S 27830 27832 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340568261 3037372416 9317 33554432000 1073741824 1073778376 140733955192320 140200903674512 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27832/tid=27847] ppid=27830 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27832/task/27847/stat : 27847 (java) S 27830 27832 25443 0 -1 4202560 360 0 0 0 0 0 0 0 20 0 20 0 340568261 3037372416 9317 33554432000 1073741824 1073778376 140733955192320 140200902621624 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27832/tid=27848] ppid=27830 vsize=2966184 CPUtime=0.03 cores=1,3,5,7
/proc/27832/task/27848/stat : 27848 (java) S 27830 27832 25443 0 -1 4202560 785 0 0 0 3 0 0 0 20 0 20 0 340568261 3037372416 9317 33554432000 1073741824 1073778376 140733955192320 140200901568824 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27832/tid=27849] ppid=27830 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27832/task/27849/stat : 27849 (java) S 27830 27832 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340568261 3037372416 9317 33554432000 1073741824 1073778376 140733955192320 140200900516216 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27832/tid=27850] ppid=27830 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27832/task/27850/stat : 27850 (java) S 27830 27832 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340568261 3037372416 9317 33554432000 1073741824 1073778376 140733955192320 140200899463624 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27832/tid=27853] ppid=27830 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27832/task/27853/stat : 27853 (java) S 27830 27832 25443 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340568271 3037372416 9317 33554432000 1073741824 1073778376 140733955192320 140200896304552 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27832/tid=27854] ppid=27830 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27832/task/27854/stat : 27854 (java) S 27830 27832 25443 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340568271 3037372416 9317 33554432000 1073741824 1073778376 140733955192320 140200895251752 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 2966184
Solver just ended. Dumping a history of the last processes samples
[startup+1.90064 s]
/proc/loadavg: 2.83 3.37 2.65 3/218 27854
/proc/meminfo: memFree=26463464/32873660 swapFree=7120/7120
[pid=27832] ppid=27830 vsize=2966184 CPUtime=0.19 cores=1,3,5,7
/proc/27832/stat : 27832 (java) S 27830 27832 25443 0 -1 4202496 5184 0 1 0 18 1 0 0 20 0 20 0 340568256 3037372416 9317 33554432000 1073741824 1073778376 140733955192320 140733955183456 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27832/statm: 741546 9317 2192 9 0 732240 0
[pid=27832/tid=27833] ppid=27830 vsize=2966184 CPUtime=0.12 cores=1,3,5,7
/proc/27832/task/27833/stat : 27833 (java) S 27830 27832 25443 0 -1 4202560 2789 0 1 0 11 1 0 0 20 0 20 0 340568257 3037372416 9317 33554432000 1073741824 1073778376 140733955192320 140200942331032 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27832/tid=27835] ppid=27830 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27832/task/27835/stat : 27835 (java) S 27830 27832 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340568257 3037372416 9317 33554432000 1073741824 1073778376 140733955192320 140200926612520 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27832/tid=27836] ppid=27830 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27832/task/27836/stat : 27836 (java) S 27830 27832 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340568257 3037372416 9317 33554432000 1073741824 1073778376 140733955192320 140200925559720 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27832/tid=27837] ppid=27830 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27832/task/27837/stat : 27837 (java) S 27830 27832 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340568257 3037372416 9317 33554432000 1073741824 1073778376 140733955192320 140200924506920 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27832/tid=27838] ppid=27830 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27832/task/27838/stat : 27838 (java) S 27830 27832 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340568257 3037372416 9317 33554432000 1073741824 1073778376 140733955192320 140200923454120 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27832/tid=27839] ppid=27830 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27832/task/27839/stat : 27839 (java) S 27830 27832 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340568257 3037372416 9317 33554432000 1073741824 1073778376 140733955192320 140200922401320 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27832/tid=27840] ppid=27830 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27832/task/27840/stat : 27840 (java) S 27830 27832 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340568257 3037372416 9317 33554432000 1073741824 1073778376 140733955192320 140200921348520 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27832/tid=27841] ppid=27830 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27832/task/27841/stat : 27841 (java) S 27830 27832 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340568257 3037372416 9317 33554432000 1073741824 1073778376 140733955192320 140200920295720 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27832/tid=27842] ppid=27830 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27832/task/27842/stat : 27842 (java) S 27830 27832 25443 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 340568257 3037372416 9317 33554432000 1073741824 1073778376 140733955192320 140200919242920 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27832/tid=27843] ppid=27830 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27832/task/27843/stat : 27843 (java) S 27830 27832 25443 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 340568259 3037372416 9317 33554432000 1073741824 1073778376 140733955192320 140200906832872 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27832/tid=27844] ppid=27830 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27832/task/27844/stat : 27844 (java) S 27830 27832 25443 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 340568259 3037372416 9317 33554432000 1073741824 1073778376 140733955192320 140200905778936 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27832/tid=27845] ppid=27830 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27832/task/27845/stat : 27845 (java) S 27830 27832 25443 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340568259 3037372416 9317 33554432000 1073741824 1073778376 140733955192320 140200904726024 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27832/tid=27846] ppid=27830 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27832/task/27846/stat : 27846 (java) S 27830 27832 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340568261 3037372416 9317 33554432000 1073741824 1073778376 140733955192320 140200903674512 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27832/tid=27847] ppid=27830 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27832/task/27847/stat : 27847 (java) S 27830 27832 25443 0 -1 4202560 360 0 0 0 0 0 0 0 20 0 20 0 340568261 3037372416 9317 33554432000 1073741824 1073778376 140733955192320 140200902621624 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27832/tid=27848] ppid=27830 vsize=2966184 CPUtime=0.03 cores=1,3,5,7
/proc/27832/task/27848/stat : 27848 (java) S 27830 27832 25443 0 -1 4202560 785 0 0 0 3 0 0 0 20 0 20 0 340568261 3037372416 9317 33554432000 1073741824 1073778376 140733955192320 140200901568824 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27832/tid=27849] ppid=27830 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27832/task/27849/stat : 27849 (java) S 27830 27832 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340568261 3037372416 9317 33554432000 1073741824 1073778376 140733955192320 140200900516216 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27832/tid=27850] ppid=27830 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27832/task/27850/stat : 27850 (java) S 27830 27832 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340568261 3037372416 9317 33554432000 1073741824 1073778376 140733955192320 140200899463624 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27832/tid=27853] ppid=27830 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27832/task/27853/stat : 27853 (java) S 27830 27832 25443 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340568271 3037372416 9317 33554432000 1073741824 1073778376 140733955192320 140200896304552 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27832/tid=27854] ppid=27830 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27832/task/27854/stat : 27854 (java) S 27830 27832 25443 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340568271 3037372416 9317 33554432000 1073741824 1073778376 140733955192320 140200895251752 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 2966184
[startup+2.10065 s]
/proc/loadavg: 2.83 3.37 2.65 3/218 27856
/proc/meminfo: memFree=26458112/32873660 swapFree=7120/7120
[pid=27832] ppid=27830 vsize=2966184 CPUtime=0.19 cores=1,3,5,7
/proc/27832/stat : 27832 (java) S 27830 27832 25443 0 -1 4202496 5184 0 1 0 18 1 0 0 20 0 20 0 340568256 3037372416 9317 33554432000 1073741824 1073778376 140733955192320 140733955183456 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27832/statm: 741546 9317 2192 9 0 732240 0
[pid=27832/tid=27833] ppid=27830 vsize=2966184 CPUtime=0.12 cores=1,3,5,7
/proc/27832/task/27833/stat : 27833 (java) S 27830 27832 25443 0 -1 4202560 2789 0 1 0 11 1 0 0 20 0 20 0 340568257 3037372416 9317 33554432000 1073741824 1073778376 140733955192320 140200942331032 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27832/tid=27835] ppid=27830 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27832/task/27835/stat : 27835 (java) S 27830 27832 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340568257 3037372416 9317 33554432000 1073741824 1073778376 140733955192320 140200926612520 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27832/tid=27836] ppid=27830 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27832/task/27836/stat : 27836 (java) S 27830 27832 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340568257 3037372416 9317 33554432000 1073741824 1073778376 140733955192320 140200925559720 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27832/tid=27837] ppid=27830 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27832/task/27837/stat : 27837 (java) S 27830 27832 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340568257 3037372416 9317 33554432000 1073741824 1073778376 140733955192320 140200924506920 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27832/tid=27838] ppid=27830 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27832/task/27838/stat : 27838 (java) S 27830 27832 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340568257 3037372416 9317 33554432000 1073741824 1073778376 140733955192320 140200923454120 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27832/tid=27839] ppid=27830 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27832/task/27839/stat : 27839 (java) S 27830 27832 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340568257 3037372416 9317 33554432000 1073741824 1073778376 140733955192320 140200922401320 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27832/tid=27840] ppid=27830 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27832/task/27840/stat : 27840 (java) S 27830 27832 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340568257 3037372416 9317 33554432000 1073741824 1073778376 140733955192320 140200921348520 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27832/tid=27841] ppid=27830 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27832/task/27841/stat : 27841 (java) S 27830 27832 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340568257 3037372416 9317 33554432000 1073741824 1073778376 140733955192320 140200920295720 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27832/tid=27842] ppid=27830 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27832/task/27842/stat : 27842 (java) S 27830 27832 25443 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 340568257 3037372416 9317 33554432000 1073741824 1073778376 140733955192320 140200919242920 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27832/tid=27843] ppid=27830 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27832/task/27843/stat : 27843 (java) S 27830 27832 25443 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 340568259 3037372416 9317 33554432000 1073741824 1073778376 140733955192320 140200906832872 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27832/tid=27844] ppid=27830 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27832/task/27844/stat : 27844 (java) S 27830 27832 25443 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 340568259 3037372416 9317 33554432000 1073741824 1073778376 140733955192320 140200905778936 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27832/tid=27845] ppid=27830 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27832/task/27845/stat : 27845 (java) S 27830 27832 25443 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340568259 3037372416 9317 33554432000 1073741824 1073778376 140733955192320 140200904726024 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27832/tid=27846] ppid=27830 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27832/task/27846/stat : 27846 (java) S 27830 27832 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340568261 3037372416 9317 33554432000 1073741824 1073778376 140733955192320 140200903674512 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27832/tid=27847] ppid=27830 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27832/task/27847/stat : 27847 (java) S 27830 27832 25443 0 -1 4202560 360 0 0 0 0 0 0 0 20 0 20 0 340568261 3037372416 9317 33554432000 1073741824 1073778376 140733955192320 140200902621624 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27832/tid=27848] ppid=27830 vsize=2966184 CPUtime=0.03 cores=1,3,5,7
/proc/27832/task/27848/stat : 27848 (java) S 27830 27832 25443 0 -1 4202560 785 0 0 0 3 0 0 0 20 0 20 0 340568261 3037372416 9317 33554432000 1073741824 1073778376 140733955192320 140200901568824 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27832/tid=27849] ppid=27830 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27832/task/27849/stat : 27849 (java) S 27830 27832 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340568261 3037372416 9317 33554432000 1073741824 1073778376 140733955192320 140200900516216 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27832/tid=27850] ppid=27830 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27832/task/27850/stat : 27850 (java) S 27830 27832 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340568261 3037372416 9317 33554432000 1073741824 1073778376 140733955192320 140200899463624 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27832/tid=27853] ppid=27830 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27832/task/27853/stat : 27853 (java) S 27830 27832 25443 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340568271 3037372416 9317 33554432000 1073741824 1073778376 140733955192320 140200896304552 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27832/tid=27854] ppid=27830 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27832/task/27854/stat : 27854 (java) S 27830 27832 25443 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340568271 3037372416 9317 33554432000 1073741824 1073778376 140733955192320 140200895251752 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 2966184
Child status: 30
Real time (s): 2.15008
CPU time (s): 0.214966
CPU user time (s): 0.172973
CPU system time (s): 0.041993
CPU usage (%): 9.99805
Max. virtual memory (cumulated for all children) (KiB): 2966184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.172973
system time used= 0.041993
maximum resident set size= 39328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5192
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= 272
involuntary context switches= 22
runsolver used 0.002999 second user time and 0.015997 second system time
The end