runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3456982-1307214328/watcher-3456982-1307214328 -o /tmp/evaluation-result-3456982-1307214328/solver-3456982-1307214328 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456982-1307214328.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.03 2.03 2.00 2/461 32716
/proc/meminfo: memFree=26116124/32950928 swapFree=52246700/67111528
[pid=32716] ppid=32714 vsize=10430980 CPUtime=0 cores=0,2,4,6
/proc/32716/stat : 32716 (java) S 32714 32716 31238 0 -1 4202496 2190 0 1 0 0 0 0 0 25 0 2 0 911663434 10681323520 1891 33554432000 1073741824 1073778376 140735514033792 18446744073709551615 231907293157 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/32716/statm: 2607745 1903 906 9 0 2598901 0
[pid=32716/tid=32717] ppid=32714 vsize=10430980 CPUtime=0 cores=0,2,4,6
/proc/32716/task/32717/stat : 32717 (java) R 32714 32716 31238 0 -1 4202560 1135 0 1 0 0 0 0 0 25 0 2 0 911663435 10681323520 1951 33554432000 1073741824 1073778376 140735514033792 18446744073709551615 231895184443 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.091705 s]
/proc/loadavg: 2.03 2.03 2.00 2/461 32716
/proc/meminfo: memFree=26116124/32950928 swapFree=52246700/67111528
[pid=32716] ppid=32714 vsize=10539216 CPUtime=0.07 cores=0,2,4,6
/proc/32716/stat : 32716 (java) S 32714 32716 31238 0 -1 4202496 12485 0 1 0 6 1 0 0 25 0 18 0 911663434 10792157184 12181 33554432000 1073741824 1073778376 140735514033792 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/32716/statm: 2634804 12187 2018 9 0 2625538 0
[pid=32716/tid=32717] ppid=32714 vsize=10539216 CPUtime=0.07 cores=0,2,4,6
/proc/32716/task/32717/stat : 32717 (java) R 32714 32716 31238 0 -1 4202560 10933 0 1 0 6 1 0 0 18 0 18 0 911663435 10792157184 12187 33554432000 1073741824 1073778376 140735514033792 18446744073709551615 231895486469 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 10539216
[startup+0.104214 s]
/proc/loadavg: 2.03 2.03 2.00 2/461 32716
/proc/meminfo: memFree=26116124/32950928 swapFree=52246700/67111528
[pid=32716] ppid=32714 vsize=10539504 CPUtime=0.09 cores=0,2,4,6
/proc/32716/stat : 32716 (java) S 32714 32716 31238 0 -1 4202496 12865 0 1 0 8 1 0 0 25 0 18 0 911663434 10792452096 12561 33554432000 1073741824 1073778376 140735514033792 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/32716/statm: 2634876 12562 2093 9 0 2625610 0
[pid=32716/tid=32717] ppid=32714 vsize=10539504 CPUtime=0.08 cores=0,2,4,6
/proc/32716/task/32717/stat : 32717 (java) R 32714 32716 31238 0 -1 4202560 11097 0 1 0 7 1 0 0 18 0 18 0 911663435 10792452096 12562 33554432000 1073741824 1073778376 140735514033792 18446744073709551615 47292266068486 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10539504
[startup+0.314042 s]
/proc/loadavg: 2.03 2.03 2.00 2/461 32716
/proc/meminfo: memFree=26116124/32950928 swapFree=52246700/67111528
[pid=32716] ppid=32714 vsize=10546660 CPUtime=0.66 cores=0,2,4,6
/proc/32716/stat : 32716 (java) S 32714 32716 31238 0 -1 4202496 24109 0 1 0 64 2 0 0 25 0 19 0 911663434 10799779840 21678 33554432000 1073741824 1073778376 140735514033792 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/32716/statm: 2636665 21678 2208 9 0 2627399 0
[pid=32716/tid=32717] ppid=32714 vsize=10546660 CPUtime=0.33 cores=0,2,4,6
/proc/32716/task/32717/stat : 32717 (java) R 32714 32716 31238 0 -1 4202560 16584 0 1 0 32 1 0 0 18 0 19 0 911663435 10799779840 21680 33554432000 1073741824 1073778376 140735514033792 18446744073709551615 46912505530033 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 10546660
[startup+0.700396 s]
/proc/loadavg: 2.03 2.03 2.00 2/461 32716
/proc/meminfo: memFree=26116124/32950928 swapFree=52246700/67111528
[pid=32716] ppid=32714 vsize=10557512 CPUtime=1.62 cores=0,2,4,6
/proc/32716/stat : 32716 (java) S 32714 32716 31238 0 -1 4202496 51736 0 1 0 156 6 0 0 25 0 19 0 911663434 10810892288 49251 33554432000 1073741824 1073778376 140735514033792 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/32716/statm: 2639378 49259 2220 9 0 2630112 0
[pid=32716/tid=32717] ppid=32714 vsize=10557512 CPUtime=0.67 cores=0,2,4,6
/proc/32716/task/32717/stat : 32717 (java) R 32714 32716 31238 0 -1 4202560 40927 0 1 0 63 4 0 0 18 0 19 0 911663435 10810892288 49263 33554432000 1073741824 1073778376 140735514033792 18446744073709551615 46912505591700 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.62
Current children cumulated vsize (KiB) 10557512
[startup+1.50125 s]
/proc/loadavg: 2.19 2.06 2.01 3/480 32735
/proc/meminfo: memFree=25751668/32950928 swapFree=52246700/67111528
[pid=32716] ppid=32714 vsize=10557512 CPUtime=2.64 cores=0,2,4,6
/proc/32716/stat : 32716 (java) S 32714 32716 31238 0 -1 4202496 142453 0 1 0 248 16 0 0 25 0 19 0 911663434 10810892288 139967 33554432000 1073741824 1073778376 140735514033792 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/32716/statm: 2639378 139975 2226 9 0 2630112 0
[pid=32716/tid=32717] ppid=32714 vsize=10557512 CPUtime=1.47 cores=0,2,4,6
/proc/32716/task/32717/stat : 32717 (java) R 32714 32716 31238 0 -1 4202560 131472 0 1 0 133 14 0 0 18 0 19 0 911663435 10810892288 139979 33554432000 1073741824 1073778376 140735514033792 18446744073709551615 46912505530090 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=32716/tid=32719] ppid=32714 vsize=10557512 CPUtime=0 cores=0,2,4,6
/proc/32716/task/32719/stat : 32719 (java) S 32714 32716 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911663437 10810892288 139983 33554432000 1073741824 1073778376 140735514033792 18446744073709551615 231907306393 0 4 0 16800975 18446604442958803392 0 0 -1 6 0 0 0
[pid=32716/tid=32720] ppid=32714 vsize=10557512 CPUtime=0 cores=0,2,4,6
/proc/32716/task/32720/stat : 32720 (java) S 32714 32716 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911663437 10810892288 139988 33554432000 1073741824 1073778376 140735514033792 18446744073709551615 231907306393 0 4 0 16800975 18446604442958803392 0 0 -1 6 0 0 0
[pid=32716/tid=32721] ppid=32714 vsize=10557512 CPUtime=0 cores=0,2,4,6
/proc/32716/task/32721/stat : 32721 (java) S 32714 32716 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911663437 10810892288 139993 33554432000 1073741824 1073778376 140735514033792 18446744073709551615 231907306393 0 4 0 16800975 18446604442958803392 0 0 -1 6 0 0 0
[pid=32716/tid=32722] ppid=32714 vsize=10557512 CPUtime=0 cores=0,2,4,6
/proc/32716/task/32722/stat : 32722 (java) S 32714 32716 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911663437 10810892288 139997 33554432000 1073741824 1073778376 140735514033792 18446744073709551615 231907306393 0 4 0 16800975 18446604442958803392 0 0 -1 6 0 0 0
[pid=32716/tid=32723] ppid=32714 vsize=10557512 CPUtime=0 cores=0,2,4,6
/proc/32716/task/32723/stat : 32723 (java) S 32714 32716 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911663437 10810892288 140001 33554432000 1073741824 1073778376 140735514033792 18446744073709551615 231907306393 0 4 0 16800975 18446604442958803392 0 0 -1 6 0 0 0
[pid=32716/tid=32724] ppid=32714 vsize=10557512 CPUtime=0 cores=0,2,4,6
/proc/32716/task/32724/stat : 32724 (java) S 32714 32716 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911663437 10810892288 140006 33554432000 1073741824 1073778376 140735514033792 18446744073709551615 231907306393 0 4 0 16800975 18446604442958803392 0 0 -1 6 0 0 0
[pid=32716/tid=32725] ppid=32714 vsize=10557512 CPUtime=0 cores=0,2,4,6
/proc/32716/task/32725/stat : 32725 (java) S 32714 32716 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911663437 10810892288 140011 33554432000 1073741824 1073778376 140735514033792 18446744073709551615 231907306393 0 4 0 16800975 18446604442958803392 0 0 -1 6 0 0 0
[pid=32716/tid=32726] ppid=32714 vsize=10557512 CPUtime=0 cores=0,2,4,6
/proc/32716/task/32726/stat : 32726 (java) S 32714 32716 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911663437 10810892288 140015 33554432000 1073741824 1073778376 140735514033792 18446744073709551615 231907306393 0 4 0 16800975 18446604442958803392 0 0 -1 6 0 0 0
[pid=32716/tid=32727] ppid=32714 vsize=10557512 CPUtime=0 cores=0,2,4,6
/proc/32716/task/32727/stat : 32727 (java) S 32714 32716 31238 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 911663438 10810892288 140019 33554432000 1073741824 1073778376 140735514033792 18446744073709551615 231907307008 0 0 0 16800975 18446604442958803392 0 0 -1 2 0 0 0
[pid=32716/tid=32728] ppid=32714 vsize=10557512 CPUtime=0 cores=0,2,4,6
/proc/32716/task/32728/stat : 32728 (java) S 32714 32716 31238 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 911663438 10810892288 140024 33554432000 1073741824 1073778376 140735514033792 18446744073709551615 231907306393 0 4 0 16800975 18446604442958803392 0 0 -1 4 0 0 0
[pid=32716/tid=32729] ppid=32714 vsize=10557512 CPUtime=0 cores=0,2,4,6
/proc/32716/task/32729/stat : 32729 (java) S 32714 32716 31238 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 911663438 10810892288 140028 33554432000 1073741824 1073778376 140735514033792 18446744073709551615 231907306393 0 4 0 16800975 18446604442958803392 0 0 -1 4 0 0 0
[pid=32716/tid=32730] ppid=32714 vsize=10557512 CPUtime=0 cores=0,2,4,6
/proc/32716/task/32730/stat : 32730 (java) S 32714 32716 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911663440 10810892288 140032 33554432000 1073741824 1073778376 140735514033792 18446744073709551615 231907314097 0 4 0 16800975 18446604442958803392 0 0 -1 4 0 0 0
[pid=32716/tid=32731] ppid=32714 vsize=10557512 CPUtime=0.64 cores=0,2,4,6
/proc/32716/task/32731/stat : 32731 (java) S 32714 32716 31238 0 -1 4202560 5906 0 0 0 63 1 0 0 15 0 19 0 911663440 10810892288 140037 33554432000 1073741824 1073778376 140735514033792 18446744073709551615 231907306393 0 4 0 16800975 18446604442958803392 0 0 -1 2 0 0 0
[pid=32716/tid=32732] ppid=32714 vsize=10557512 CPUtime=0.51 cores=0,2,4,6
/proc/32716/task/32732/stat : 32732 (java) S 32714 32716 31238 0 -1 4202560 3926 0 0 0 51 0 0 0 16 0 19 0 911663440 10810892288 140041 33554432000 1073741824 1073778376 140735514033792 18446744073709551615 231907306393 0 4 0 16800975 18446604442958803392 0 0 -1 0 0 0 0
[pid=32716/tid=32733] ppid=32714 vsize=10557512 CPUtime=0 cores=0,2,4,6
/proc/32716/task/32733/stat : 32733 (java) S 32714 32716 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911663440 10810892288 140045 33554432000 1073741824 1073778376 140735514033792 18446744073709551615 231907306393 0 4 0 16800975 18446604442958803392 0 0 -1 4 0 0 0
[pid=32716/tid=32734] ppid=32714 vsize=10557512 CPUtime=0 cores=0,2,4,6
/proc/32716/task/32734/stat : 32734 (java) S 32714 32716 31238 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 911663440 10810892288 140049 33554432000 1073741824 1073778376 140735514033792 18446744073709551615 231907307008 0 4 0 16800975 18446604442958803392 0 0 -1 6 0 0 0
[pid=32716/tid=32735] ppid=32714 vsize=10557512 CPUtime=0 cores=0,2,4,6
/proc/32716/task/32735/stat : 32735 (java) S 32714 32716 31238 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 911663451 10810892288 140053 33554432000 1073741824 1073778376 140735514033792 18446744073709551615 231907307008 0 4 0 16800975 18446604442958803392 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.64
Current children cumulated vsize (KiB) 10557512
Solver just ended. Dumping a history of the last processes samples
[startup+1.60122 s]
/proc/loadavg: 2.19 2.06 2.01 3/480 32735
/proc/meminfo: memFree=25751668/32950928 swapFree=52246700/67111528
[pid=32716] ppid=32714 vsize=10557512 CPUtime=2.74 cores=0,2,4,6
/proc/32716/stat : 32716 (java) S 32714 32716 31238 0 -1 4202496 151458 0 1 0 257 17 0 0 25 0 19 0 911663434 10810892288 148972 33554432000 1073741824 1073778376 140735514033792 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/32716/statm: 2639378 148979 2226 9 0 2630112 0
[pid=32716/tid=32717] ppid=32714 vsize=10557512 CPUtime=1.58 cores=0,2,4,6
/proc/32716/task/32717/stat : 32717 (java) R 32714 32716 31238 0 -1 4202560 140475 0 1 0 142 16 0 0 18 0 19 0 911663435 10810892288 148982 33554432000 1073741824 1073778376 140735514033792 18446744073709551615 46912505624261 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=32716/tid=32719] ppid=32714 vsize=10557512 CPUtime=0 cores=0,2,4,6
/proc/32716/task/32719/stat : 32719 (java) S 32714 32716 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911663437 10810892288 148986 33554432000 1073741824 1073778376 140735514033792 18446744073709551615 231907306393 0 4 0 16800975 18446604442958803392 0 0 -1 6 0 0 0
[pid=32716/tid=32720] ppid=32714 vsize=10557512 CPUtime=0 cores=0,2,4,6
/proc/32716/task/32720/stat : 32720 (java) S 32714 32716 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911663437 10810892288 148990 33554432000 1073741824 1073778376 140735514033792 18446744073709551615 231907306393 0 4 0 16800975 18446604442958803392 0 0 -1 6 0 0 0
[pid=32716/tid=32721] ppid=32714 vsize=10557512 CPUtime=0 cores=0,2,4,6
/proc/32716/task/32721/stat : 32721 (java) S 32714 32716 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911663437 10810892288 148993 33554432000 1073741824 1073778376 140735514033792 18446744073709551615 231907306393 0 4 0 16800975 18446604442958803392 0 0 -1 6 0 0 0
[pid=32716/tid=32722] ppid=32714 vsize=10557512 CPUtime=0 cores=0,2,4,6
/proc/32716/task/32722/stat : 32722 (java) S 32714 32716 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911663437 10810892288 148997 33554432000 1073741824 1073778376 140735514033792 18446744073709551615 231907306393 0 4 0 16800975 18446604442958803392 0 0 -1 6 0 0 0
[pid=32716/tid=32723] ppid=32714 vsize=10557512 CPUtime=0 cores=0,2,4,6
/proc/32716/task/32723/stat : 32723 (java) S 32714 32716 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911663437 10810892288 149001 33554432000 1073741824 1073778376 140735514033792 18446744073709551615 231907306393 0 4 0 16800975 18446604442958803392 0 0 -1 6 0 0 0
[pid=32716/tid=32724] ppid=32714 vsize=10557512 CPUtime=0 cores=0,2,4,6
/proc/32716/task/32724/stat : 32724 (java) S 32714 32716 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911663437 10810892288 149004 33554432000 1073741824 1073778376 140735514033792 18446744073709551615 231907306393 0 4 0 16800975 18446604442958803392 0 0 -1 6 0 0 0
[pid=32716/tid=32725] ppid=32714 vsize=10557512 CPUtime=0 cores=0,2,4,6
/proc/32716/task/32725/stat : 32725 (java) S 32714 32716 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911663437 10810892288 149008 33554432000 1073741824 1073778376 140735514033792 18446744073709551615 231907306393 0 4 0 16800975 18446604442958803392 0 0 -1 6 0 0 0
[pid=32716/tid=32726] ppid=32714 vsize=10557512 CPUtime=0 cores=0,2,4,6
/proc/32716/task/32726/stat : 32726 (java) S 32714 32716 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911663437 10810892288 149012 33554432000 1073741824 1073778376 140735514033792 18446744073709551615 231907306393 0 4 0 16800975 18446604442958803392 0 0 -1 6 0 0 0
[pid=32716/tid=32727] ppid=32714 vsize=10557512 CPUtime=0 cores=0,2,4,6
/proc/32716/task/32727/stat : 32727 (java) S 32714 32716 31238 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 911663438 10810892288 149015 33554432000 1073741824 1073778376 140735514033792 18446744073709551615 231907307008 0 0 0 16800975 18446604442958803392 0 0 -1 2 0 0 0
[pid=32716/tid=32728] ppid=32714 vsize=10557512 CPUtime=0 cores=0,2,4,6
/proc/32716/task/32728/stat : 32728 (java) S 32714 32716 31238 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 911663438 10810892288 149019 33554432000 1073741824 1073778376 140735514033792 18446744073709551615 231907306393 0 4 0 16800975 18446604442958803392 0 0 -1 4 0 0 0
[pid=32716/tid=32729] ppid=32714 vsize=10557512 CPUtime=0 cores=0,2,4,6
/proc/32716/task/32729/stat : 32729 (java) S 32714 32716 31238 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 911663438 10810892288 149022 33554432000 1073741824 1073778376 140735514033792 18446744073709551615 231907306393 0 4 0 16800975 18446604442958803392 0 0 -1 4 0 0 0
[pid=32716/tid=32730] ppid=32714 vsize=10557512 CPUtime=0 cores=0,2,4,6
/proc/32716/task/32730/stat : 32730 (java) S 32714 32716 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911663440 10810892288 149026 33554432000 1073741824 1073778376 140735514033792 18446744073709551615 231907314097 0 4 0 16800975 18446604442958803392 0 0 -1 4 0 0 0
[pid=32716/tid=32731] ppid=32714 vsize=10557512 CPUtime=0.64 cores=0,2,4,6
/proc/32716/task/32731/stat : 32731 (java) S 32714 32716 31238 0 -1 4202560 5906 0 0 0 63 1 0 0 15 0 19 0 911663440 10810892288 149029 33554432000 1073741824 1073778376 140735514033792 18446744073709551615 231907306393 0 4 0 16800975 18446604442958803392 0 0 -1 2 0 0 0
[pid=32716/tid=32732] ppid=32714 vsize=10557512 CPUtime=0.51 cores=0,2,4,6
/proc/32716/task/32732/stat : 32732 (java) S 32714 32716 31238 0 -1 4202560 3926 0 0 0 51 0 0 0 16 0 19 0 911663440 10810892288 149032 33554432000 1073741824 1073778376 140735514033792 18446744073709551615 231907306393 0 4 0 16800975 18446604442958803392 0 0 -1 0 0 0 0
[pid=32716/tid=32733] ppid=32714 vsize=10557512 CPUtime=0 cores=0,2,4,6
/proc/32716/task/32733/stat : 32733 (java) S 32714 32716 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911663440 10810892288 149035 33554432000 1073741824 1073778376 140735514033792 18446744073709551615 231907306393 0 4 0 16800975 18446604442958803392 0 0 -1 4 0 0 0
[pid=32716/tid=32734] ppid=32714 vsize=10557512 CPUtime=0 cores=0,2,4,6
/proc/32716/task/32734/stat : 32734 (java) S 32714 32716 31238 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 911663440 10810892288 149038 33554432000 1073741824 1073778376 140735514033792 18446744073709551615 231907307008 0 4 0 16800975 18446604442958803392 0 0 -1 6 0 0 0
[pid=32716/tid=32735] ppid=32714 vsize=10557512 CPUtime=0 cores=0,2,4,6
/proc/32716/task/32735/stat : 32735 (java) S 32714 32716 31238 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 911663451 10810892288 149041 33554432000 1073741824 1073778376 140735514033792 18446744073709551615 231907307008 0 4 0 16800975 18446604442958803392 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.74
Current children cumulated vsize (KiB) 10557512
[startup+1.80119 s]
/proc/loadavg: 2.19 2.06 2.01 3/480 32735
/proc/meminfo: memFree=25751668/32950928 swapFree=52246700/67111528
[pid=32716] ppid=32714 vsize=10557512 CPUtime=2.96 cores=0,2,4,6
/proc/32716/stat : 32716 (java) S 32714 32716 31238 0 -1 4202496 175130 0 1 0 277 19 0 0 25 0 19 0 911663434 10810892288 172644 33554432000 1073741824 1073778376 140735514033792 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/32716/statm: 2639378 172649 2226 9 0 2630112 0
[pid=32716/tid=32717] ppid=32714 vsize=10557512 CPUtime=1.78 cores=0,2,4,6
/proc/32716/task/32717/stat : 32717 (java) R 32714 32716 31238 0 -1 4202560 164141 0 1 0 160 18 0 0 18 0 19 0 911663435 10810892288 172652 33554432000 1073741824 1073778376 140735514033792 18446744073709551615 46912505530090 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=32716/tid=32719] ppid=32714 vsize=10557512 CPUtime=0 cores=0,2,4,6
/proc/32716/task/32719/stat : 32719 (java) S 32714 32716 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911663437 10810892288 172656 33554432000 1073741824 1073778376 140735514033792 18446744073709551615 231907306393 0 4 0 16800975 18446604442958803392 0 0 -1 6 0 0 0
[pid=32716/tid=32720] ppid=32714 vsize=10557512 CPUtime=0 cores=0,2,4,6
/proc/32716/task/32720/stat : 32720 (java) S 32714 32716 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911663437 10810892288 172659 33554432000 1073741824 1073778376 140735514033792 18446744073709551615 231907306393 0 4 0 16800975 18446604442958803392 0 0 -1 6 0 0 0
[pid=32716/tid=32721] ppid=32714 vsize=10557512 CPUtime=0 cores=0,2,4,6
/proc/32716/task/32721/stat : 32721 (java) S 32714 32716 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911663437 10810892288 172662 33554432000 1073741824 1073778376 140735514033792 18446744073709551615 231907306393 0 4 0 16800975 18446604442958803392 0 0 -1 6 0 0 0
[pid=32716/tid=32722] ppid=32714 vsize=10557512 CPUtime=0 cores=0,2,4,6
/proc/32716/task/32722/stat : 32722 (java) S 32714 32716 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911663437 10810892288 172665 33554432000 1073741824 1073778376 140735514033792 18446744073709551615 231907306393 0 4 0 16800975 18446604442958803392 0 0 -1 6 0 0 0
[pid=32716/tid=32723] ppid=32714 vsize=10557512 CPUtime=0 cores=0,2,4,6
/proc/32716/task/32723/stat : 32723 (java) S 32714 32716 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911663437 10810892288 172668 33554432000 1073741824 1073778376 140735514033792 18446744073709551615 231907306393 0 4 0 16800975 18446604442958803392 0 0 -1 6 0 0 0
[pid=32716/tid=32724] ppid=32714 vsize=10557512 CPUtime=0 cores=0,2,4,6
/proc/32716/task/32724/stat : 32724 (java) S 32714 32716 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911663437 10810892288 172671 33554432000 1073741824 1073778376 140735514033792 18446744073709551615 231907306393 0 4 0 16800975 18446604442958803392 0 0 -1 6 0 0 0
[pid=32716/tid=32725] ppid=32714 vsize=10557512 CPUtime=0 cores=0,2,4,6
/proc/32716/task/32725/stat : 32725 (java) S 32714 32716 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911663437 10810892288 172674 33554432000 1073741824 1073778376 140735514033792 18446744073709551615 231907306393 0 4 0 16800975 18446604442958803392 0 0 -1 6 0 0 0
[pid=32716/tid=32726] ppid=32714 vsize=10557512 CPUtime=0 cores=0,2,4,6
/proc/32716/task/32726/stat : 32726 (java) S 32714 32716 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911663437 10810892288 172677 33554432000 1073741824 1073778376 140735514033792 18446744073709551615 231907306393 0 4 0 16800975 18446604442958803392 0 0 -1 6 0 0 0
[pid=32716/tid=32727] ppid=32714 vsize=10557512 CPUtime=0 cores=0,2,4,6
/proc/32716/task/32727/stat : 32727 (java) S 32714 32716 31238 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 911663438 10810892288 172681 33554432000 1073741824 1073778376 140735514033792 18446744073709551615 231907307008 0 0 0 16800975 18446604442958803392 0 0 -1 2 0 0 0
[pid=32716/tid=32728] ppid=32714 vsize=10557512 CPUtime=0 cores=0,2,4,6
/proc/32716/task/32728/stat : 32728 (java) S 32714 32716 31238 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 911663438 10810892288 172684 33554432000 1073741824 1073778376 140735514033792 18446744073709551615 231907306393 0 4 0 16800975 18446604442958803392 0 0 -1 4 0 0 0
[pid=32716/tid=32729] ppid=32714 vsize=10557512 CPUtime=0 cores=0,2,4,6
/proc/32716/task/32729/stat : 32729 (java) S 32714 32716 31238 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 911663438 10810892288 172687 33554432000 1073741824 1073778376 140735514033792 18446744073709551615 231907306393 0 4 0 16800975 18446604442958803392 0 0 -1 4 0 0 0
[pid=32716/tid=32730] ppid=32714 vsize=10557512 CPUtime=0 cores=0,2,4,6
/proc/32716/task/32730/stat : 32730 (java) S 32714 32716 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911663440 10810892288 172690 33554432000 1073741824 1073778376 140735514033792 18446744073709551615 231907314097 0 4 0 16800975 18446604442958803392 0 0 -1 4 0 0 0
[pid=32716/tid=32731] ppid=32714 vsize=10557512 CPUtime=0.66 cores=0,2,4,6
/proc/32716/task/32731/stat : 32731 (java) S 32714 32716 31238 0 -1 4202560 5910 0 0 0 65 1 0 0 15 0 19 0 911663440 10810892288 172694 33554432000 1073741824 1073778376 140735514033792 18446744073709551615 231907306393 0 4 0 16800975 18446604442958803392 0 0 -1 2 0 0 0
[pid=32716/tid=32732] ppid=32714 vsize=10557512 CPUtime=0.51 cores=0,2,4,6
/proc/32716/task/32732/stat : 32732 (java) S 32714 32716 31238 0 -1 4202560 3926 0 0 0 51 0 0 0 15 0 19 0 911663440 10810892288 172697 33554432000 1073741824 1073778376 140735514033792 18446744073709551615 231907306393 0 4 0 16800975 18446604442958803392 0 0 -1 0 0 0 0
[pid=32716/tid=32733] ppid=32714 vsize=10557512 CPUtime=0 cores=0,2,4,6
/proc/32716/task/32733/stat : 32733 (java) S 32714 32716 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911663440 10810892288 172700 33554432000 1073741824 1073778376 140735514033792 18446744073709551615 231907306393 0 4 0 16800975 18446604442958803392 0 0 -1 4 0 0 0
[pid=32716/tid=32734] ppid=32714 vsize=10557512 CPUtime=0 cores=0,2,4,6
/proc/32716/task/32734/stat : 32734 (java) S 32714 32716 31238 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 911663440 10810892288 172703 33554432000 1073741824 1073778376 140735514033792 18446744073709551615 231907307008 0 4 0 16800975 18446604442958803392 0 0 -1 6 0 0 0
[pid=32716/tid=32735] ppid=32714 vsize=10557512 CPUtime=0 cores=0,2,4,6
/proc/32716/task/32735/stat : 32735 (java) S 32714 32716 31238 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 911663451 10810892288 172706 33554432000 1073741824 1073778376 140735514033792 18446744073709551615 231907307008 0 4 0 16800975 18446604442958803392 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 10557512
Child status: 20
Real time (s): 1.90017
CPU time (s): 3.07353
CPU user time (s): 2.83757
CPU system time (s): 0.235964
CPU usage (%): 161.75
Max. virtual memory (cumulated for all children) (KiB): 10557512
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.83757
system time used= 0.235964
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 182842
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 283
involuntary context switches= 27
runsolver used 0.010998 second user time and 0.020996 second system time
The end