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-3453961-1307194688/watcher-3453961-1307194688 -o /tmp/evaluation-result-3453961-1307194688/solver-3453961-1307194688 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453961-1307194688.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.80 3.63 3.73 2/470 17412
/proc/meminfo: memFree=24063884/32951124 swapFree=56297244/67111528
[pid=17412] ppid=17410 vsize=31604 CPUtime=0 cores=1,3,5,7
/proc/17412/stat : 17412 (java) S 17410 17412 13385 0 -1 4202496 1248 0 0 0 0 0 0 0 22 0 2 0 909699247 32362496 967 33554432000 1073741824 1073778376 140734628540672 18446744073709551615 252469868517 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/17412/statm: 7901 967 739 9 0 386 0
[pid=17412/tid=17413] ppid=17410 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/17412/task/17413/stat : 17413 (java) R 17410 17412 13385 0 -1 4202560 6518 0 1 0 0 0 0 0 24 0 2 0 909699247 10694979584 7334 33554432000 1073741824 1073778376 140734628540672 18446744073709551615 252457759803 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0656569 s]
/proc/loadavg: 2.80 3.63 3.73 2/470 17412
/proc/meminfo: memFree=24063884/32951124 swapFree=56297244/67111528
[pid=17412] ppid=17410 vsize=10538488 CPUtime=0.05 cores=1,3,5,7
/proc/17412/stat : 17412 (java) S 17410 17412 13385 0 -1 4202496 11759 0 1 0 4 1 0 0 22 0 18 0 909699247 10791411712 11456 33554432000 1073741824 1073778376 140734628540672 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/17412/statm: 2634622 11457 1742 9 0 2625356 0
[pid=17412/tid=17413] ppid=17410 vsize=10538488 CPUtime=0.05 cores=1,3,5,7
/proc/17412/task/17413/stat : 17413 (java) R 17410 17412 13385 0 -1 4202560 10586 0 1 0 4 1 0 0 25 0 18 0 909699247 10791411712 11458 33554432000 1073741824 1073778376 140734628540672 18446744073709551615 47458549588739 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10538488
[startup+0.100672 s]
/proc/loadavg: 2.80 3.63 3.73 2/470 17412
/proc/meminfo: memFree=24063884/32951124 swapFree=56297244/67111528
[pid=17412] ppid=17410 vsize=10539992 CPUtime=0.11 cores=1,3,5,7
/proc/17412/stat : 17412 (java) S 17410 17412 13385 0 -1 4202496 13100 0 1 0 9 2 0 0 22 0 18 0 909699247 10792951808 12764 33554432000 1073741824 1073778376 140734628540672 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/17412/statm: 2634998 12765 2093 9 0 2625732 0
[pid=17412/tid=17413] ppid=17410 vsize=10539992 CPUtime=0.08 cores=1,3,5,7
/proc/17412/task/17413/stat : 17413 (java) R 17410 17412 13385 0 -1 4202560 11164 0 1 0 7 1 0 0 25 0 18 0 909699247 10792951808 12765 33554432000 1073741824 1073778376 140734628540672 18446744073709551615 252469892555 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10539992
[startup+0.300638 s]
/proc/loadavg: 2.80 3.63 3.73 2/470 17412
/proc/meminfo: memFree=24063884/32951124 swapFree=56297244/67111528
[pid=17412] ppid=17410 vsize=10544152 CPUtime=0.26 cores=1,3,5,7
/proc/17412/stat : 17412 (java) S 17410 17412 13385 0 -1 4202496 14475 0 1 0 24 2 0 0 22 0 20 0 909699247 10797211648 14125 33554432000 1073741824 1073778376 140734628540672 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/17412/statm: 2636038 14125 2184 9 0 2626772 0
[pid=17412/tid=17413] ppid=17410 vsize=10544152 CPUtime=0.18 cores=1,3,5,7
/proc/17412/task/17413/stat : 17413 (java) S 17410 17412 13385 0 -1 4202560 11897 0 1 0 17 1 0 0 25 0 20 0 909699247 10797211648 14125 33554432000 1073741824 1073778376 140734628540672 18446744073709551615 252469882368 0 4 0 16800975 18446604469062132160 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 10544152
[startup+0.70054 s]
/proc/loadavg: 2.80 3.63 3.73 2/470 17412
/proc/meminfo: memFree=24063884/32951124 swapFree=56297244/67111528
[pid=17412] ppid=17410 vsize=10544152 CPUtime=0.26 cores=1,3,5,7
/proc/17412/stat : 17412 (java) S 17410 17412 13385 0 -1 4202496 14475 0 1 0 24 2 0 0 22 0 20 0 909699247 10797211648 14125 33554432000 1073741824 1073778376 140734628540672 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/17412/statm: 2636038 14125 2184 9 0 2626772 0
[pid=17412/tid=17413] ppid=17410 vsize=10544152 CPUtime=0.18 cores=1,3,5,7
/proc/17412/task/17413/stat : 17413 (java) S 17410 17412 13385 0 -1 4202560 11897 0 1 0 17 1 0 0 25 0 20 0 909699247 10797211648 14125 33554432000 1073741824 1073778376 140734628540672 18446744073709551615 252469882368 0 4 0 16800975 18446604469062132160 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 10544152
[startup+1.50143 s]
/proc/loadavg: 2.80 3.63 3.73 6/509 17458
/proc/meminfo: memFree=23943012/32951124 swapFree=56297244/67111528
[pid=17412] ppid=17410 vsize=10546000 CPUtime=0.59 cores=1,3,5,7
/proc/17412/stat : 17412 (java) S 17410 17412 13385 0 -1 4202496 17171 0 1 0 57 2 0 0 22 0 20 0 909699247 10799104000 15366 33554432000 1073741824 1073778376 140734628540672 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/17412/statm: 2636500 15366 2206 9 0 2627234 0
[pid=17412/tid=17413] ppid=17410 vsize=10546000 CPUtime=0.18 cores=1,3,5,7
/proc/17412/task/17413/stat : 17413 (java) S 17410 17412 13385 0 -1 4202560 11913 0 1 0 17 1 0 0 18 0 20 0 909699247 10799104000 15366 33554432000 1073741824 1073778376 140734628540672 18446744073709551615 252469882368 0 4 0 16800975 18446604469062132160 0 0 -1 7 0 0 0
[pid=17412/tid=17424] ppid=17410 vsize=10546000 CPUtime=0 cores=1,3,5,7
/proc/17412/task/17424/stat : 17424 (java) S 17410 17412 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 909699249 10799104000 15366 33554432000 1073741824 1073778376 140734628540672 18446744073709551615 252469881753 0 4 0 16800975 18446604469062132160 0 0 -1 1 0 0 0
[pid=17412/tid=17425] ppid=17410 vsize=10546000 CPUtime=0 cores=1,3,5,7
/proc/17412/task/17425/stat : 17425 (java) S 17410 17412 13385 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 20 0 909699249 10799104000 15366 33554432000 1073741824 1073778376 140734628540672 18446744073709551615 252469881753 0 4 0 16800975 18446604469062132160 0 0 -1 1 0 0 0
[pid=17412/tid=17426] ppid=17410 vsize=10546000 CPUtime=0 cores=1,3,5,7
/proc/17412/task/17426/stat : 17426 (java) S 17410 17412 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 909699249 10799104000 15366 33554432000 1073741824 1073778376 140734628540672 18446744073709551615 252469881753 0 4 0 16800975 18446604469062132160 0 0 -1 1 0 0 0
[pid=17412/tid=17427] ppid=17410 vsize=10546000 CPUtime=0 cores=1,3,5,7
/proc/17412/task/17427/stat : 17427 (java) S 17410 17412 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 909699249 10799104000 15366 33554432000 1073741824 1073778376 140734628540672 18446744073709551615 252469881753 0 4 0 16800975 18446604469062132160 0 0 -1 1 0 0 0
[pid=17412/tid=17428] ppid=17410 vsize=10546000 CPUtime=0 cores=1,3,5,7
/proc/17412/task/17428/stat : 17428 (java) S 17410 17412 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 909699249 10799104000 15366 33554432000 1073741824 1073778376 140734628540672 18446744073709551615 252469881753 0 4 0 16800975 18446604469062132160 0 0 -1 1 0 0 0
[pid=17412/tid=17429] ppid=17410 vsize=10546000 CPUtime=0 cores=1,3,5,7
/proc/17412/task/17429/stat : 17429 (java) S 17410 17412 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 909699249 10799104000 15366 33554432000 1073741824 1073778376 140734628540672 18446744073709551615 252469881753 0 4 0 16800975 18446604469062132160 0 0 -1 1 0 0 0
[pid=17412/tid=17430] ppid=17410 vsize=10546000 CPUtime=0 cores=1,3,5,7
/proc/17412/task/17430/stat : 17430 (java) S 17410 17412 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 909699249 10799104000 15366 33554432000 1073741824 1073778376 140734628540672 18446744073709551615 252469881753 0 4 0 16800975 18446604469062132160 0 0 -1 7 0 0 0
[pid=17412/tid=17431] ppid=17410 vsize=10546000 CPUtime=0 cores=1,3,5,7
/proc/17412/task/17431/stat : 17431 (java) S 17410 17412 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 909699249 10799104000 15366 33554432000 1073741824 1073778376 140734628540672 18446744073709551615 252469881753 0 4 0 16800975 18446604469062132160 0 0 -1 7 0 0 0
[pid=17412/tid=17434] ppid=17410 vsize=10546000 CPUtime=0 cores=1,3,5,7
/proc/17412/task/17434/stat : 17434 (java) S 17410 17412 13385 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 20 0 909699250 10799104000 15366 33554432000 1073741824 1073778376 140734628540672 18446744073709551615 252469882368 0 0 0 16800975 18446604469062132160 0 0 -1 3 0 0 0
[pid=17412/tid=17435] ppid=17410 vsize=10546000 CPUtime=0 cores=1,3,5,7
/proc/17412/task/17435/stat : 17435 (java) S 17410 17412 13385 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 20 0 909699250 10799104000 15366 33554432000 1073741824 1073778376 140734628540672 18446744073709551615 252469881753 0 4 0 16800975 18446604469062132160 0 0 -1 3 0 0 0
[pid=17412/tid=17436] ppid=17410 vsize=10546000 CPUtime=0 cores=1,3,5,7
/proc/17412/task/17436/stat : 17436 (java) S 17410 17412 13385 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 20 0 909699250 10799104000 15366 33554432000 1073741824 1073778376 140734628540672 18446744073709551615 252469881753 0 4 0 16800975 18446604469062132160 0 0 -1 3 0 0 0
[pid=17412/tid=17442] ppid=17410 vsize=10546000 CPUtime=0 cores=1,3,5,7
/proc/17412/task/17442/stat : 17442 (java) S 17410 17412 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 909699252 10799104000 15366 33554432000 1073741824 1073778376 140734628540672 18446744073709551615 252469889457 0 4 0 16800975 18446604469062132160 0 0 -1 3 0 0 0
[pid=17412/tid=17443] ppid=17410 vsize=10546000 CPUtime=0.12 cores=1,3,5,7
/proc/17412/task/17443/stat : 17443 (java) S 17410 17412 13385 0 -1 4202560 2166 0 0 0 12 0 0 0 18 0 20 0 909699252 10799104000 15366 33554432000 1073741824 1073778376 140734628540672 18446744073709551615 252469881753 0 4 0 16800975 18446604469062132160 0 0 -1 5 0 0 0
[pid=17412/tid=17444] ppid=17410 vsize=10546000 CPUtime=0.14 cores=1,3,5,7
/proc/17412/task/17444/stat : 17444 (java) S 17410 17412 13385 0 -1 4202560 1431 0 0 0 14 0 0 0 16 0 20 0 909699252 10799104000 15366 33554432000 1073741824 1073778376 140734628540672 18446744073709551615 252469881753 0 4 0 16800975 18446604469062132160 0 0 -1 1 0 0 0
[pid=17412/tid=17445] ppid=17410 vsize=10546000 CPUtime=0 cores=1,3,5,7
/proc/17412/task/17445/stat : 17445 (java) S 17410 17412 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 909699252 10799104000 15366 33554432000 1073741824 1073778376 140734628540672 18446744073709551615 252469881753 0 4 0 16800975 18446604469062132160 0 0 -1 3 0 0 0
[pid=17412/tid=17446] ppid=17410 vsize=10546000 CPUtime=0 cores=1,3,5,7
/proc/17412/task/17446/stat : 17446 (java) S 17410 17412 13385 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 20 0 909699252 10799104000 15366 33554432000 1073741824 1073778376 140734628540672 18446744073709551615 252469882368 0 4 0 16800975 18446604469062132160 0 0 -1 1 0 0 0
[pid=17412/tid=17449] ppid=17410 vsize=10546000 CPUtime=0 cores=1,3,5,7
/proc/17412/task/17449/stat : 17449 (java) S 17410 17412 13385 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 20 0 909699267 10799104000 15366 33554432000 1073741824 1073778376 140734628540672 18446744073709551615 252469882368 0 4 0 16800975 18446604469062132160 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 10546000
Solver just ended. Dumping a history of the last processes samples
[startup+2.3012 s]
/proc/loadavg: 2.80 3.63 3.73 6/509 17469
/proc/meminfo: memFree=23923792/32951124 swapFree=56297244/67111528
[pid=17412] ppid=17410 vsize=10546720 CPUtime=0.97 cores=1,3,5,7
/proc/17412/stat : 17412 (java) S 17410 17412 13385 0 -1 4202496 21208 0 1 0 94 3 0 0 22 0 22 0 909699247 10799841280 18265 33554432000 1073741824 1073778376 140734628540672 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/17412/statm: 2636680 18291 2222 9 0 2627414 0
[pid=17412/tid=17413] ppid=17410 vsize=10546720 CPUtime=0.18 cores=1,3,5,7
/proc/17412/task/17413/stat : 17413 (java) S 17410 17412 13385 0 -1 4202560 11922 0 1 0 17 1 0 0 16 0 22 0 909699247 10799841280 18303 33554432000 1073741824 1073778376 140734628540672 18446744073709551615 252469882368 0 4 0 16800975 18446604469062132160 0 0 -1 1 0 0 0
[pid=17412/tid=17424] ppid=17410 vsize=10546720 CPUtime=0 cores=1,3,5,7
/proc/17412/task/17424/stat : 17424 (java) S 17410 17412 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909699249 10799841280 18322 33554432000 1073741824 1073778376 140734628540672 18446744073709551615 252469881753 0 4 0 16800975 18446604469062132160 0 0 -1 1 0 0 0
[pid=17412/tid=17425] ppid=17410 vsize=10546720 CPUtime=0 cores=1,3,5,7
/proc/17412/task/17425/stat : 17425 (java) S 17410 17412 13385 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 909699249 10799841280 18331 33554432000 1073741824 1073778376 140734628540672 18446744073709551615 252469881753 0 4 0 16800975 18446604469062132160 0 0 -1 1 0 0 0
[pid=17412/tid=17426] ppid=17410 vsize=10546720 CPUtime=0 cores=1,3,5,7
/proc/17412/task/17426/stat : 17426 (java) S 17410 17412 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909699249 10799841280 18349 33554432000 1073741824 1073778376 140734628540672 18446744073709551615 252469881753 0 4 0 16800975 18446604469062132160 0 0 -1 1 0 0 0
[pid=17412/tid=17427] ppid=17410 vsize=10546720 CPUtime=0 cores=1,3,5,7
/proc/17412/task/17427/stat : 17427 (java) S 17410 17412 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909699249 10799841280 18358 33554432000 1073741824 1073778376 140734628540672 18446744073709551615 252469881753 0 4 0 16800975 18446604469062132160 0 0 -1 1 0 0 0
[pid=17412/tid=17428] ppid=17410 vsize=10546720 CPUtime=0 cores=1,3,5,7
/proc/17412/task/17428/stat : 17428 (java) S 17410 17412 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909699249 10799841280 18378 33554432000 1073741824 1073778376 140734628540672 18446744073709551615 252469881753 0 4 0 16800975 18446604469062132160 0 0 -1 1 0 0 0
[pid=17412/tid=17429] ppid=17410 vsize=10546720 CPUtime=0 cores=1,3,5,7
/proc/17412/task/17429/stat : 17429 (java) S 17410 17412 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909699249 10799841280 18390 33554432000 1073741824 1073778376 140734628540672 18446744073709551615 252469881753 0 4 0 16800975 18446604469062132160 0 0 -1 1 0 0 0
[pid=17412/tid=17430] ppid=17410 vsize=10546720 CPUtime=0 cores=1,3,5,7
/proc/17412/task/17430/stat : 17430 (java) S 17410 17412 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909699249 10799841280 18403 33554432000 1073741824 1073778376 140734628540672 18446744073709551615 252469881753 0 4 0 16800975 18446604469062132160 0 0 -1 7 0 0 0
[pid=17412/tid=17431] ppid=17410 vsize=10546720 CPUtime=0 cores=1,3,5,7
/proc/17412/task/17431/stat : 17431 (java) S 17410 17412 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909699249 10799841280 18422 33554432000 1073741824 1073778376 140734628540672 18446744073709551615 252469881753 0 4 0 16800975 18446604469062132160 0 0 -1 7 0 0 0
[pid=17412/tid=17434] ppid=17410 vsize=10546720 CPUtime=0 cores=1,3,5,7
/proc/17412/task/17434/stat : 17434 (java) S 17410 17412 13385 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 909699250 10799841280 18428 33554432000 1073741824 1073778376 140734628540672 18446744073709551615 252469882368 0 0 0 16800975 18446604469062132160 0 0 -1 3 0 0 0
[pid=17412/tid=17435] ppid=17410 vsize=10546720 CPUtime=0 cores=1,3,5,7
/proc/17412/task/17435/stat : 17435 (java) S 17410 17412 13385 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 909699250 10799841280 18445 33554432000 1073741824 1073778376 140734628540672 18446744073709551615 252469881753 0 4 0 16800975 18446604469062132160 0 0 -1 3 0 0 0
[pid=17412/tid=17436] ppid=17410 vsize=10546720 CPUtime=0 cores=1,3,5,7
/proc/17412/task/17436/stat : 17436 (java) S 17410 17412 13385 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 909699250 10799841280 18454 33554432000 1073741824 1073778376 140734628540672 18446744073709551615 252469881753 0 4 0 16800975 18446604469062132160 0 0 -1 3 0 0 0
[pid=17412/tid=17442] ppid=17410 vsize=10546720 CPUtime=0 cores=1,3,5,7
/proc/17412/task/17442/stat : 17442 (java) S 17410 17412 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909699252 10799841280 18454 33554432000 1073741824 1073778376 140734628540672 18446744073709551615 252469889457 0 4 0 16800975 18446604469062132160 0 0 -1 3 0 0 0
[pid=17412/tid=17443] ppid=17410 vsize=10546720 CPUtime=0.22 cores=1,3,5,7
/proc/17412/task/17443/stat : 17443 (java) R 17410 17412 13385 0 -1 4202560 2312 0 0 0 22 0 0 0 15 0 22 0 909699252 10799841280 18454 33554432000 1073741824 1073778376 140734628540672 18446744073709551615 47458548816884 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=17412/tid=17444] ppid=17410 vsize=10546720 CPUtime=0.28 cores=1,3,5,7
/proc/17412/task/17444/stat : 17444 (java) R 17410 17412 13385 0 -1 4202560 3727 0 0 0 28 0 0 0 16 0 22 0 909699252 10799841280 18455 33554432000 1073741824 1073778376 140734628540672 18446744073709551615 47458552774505 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=17412/tid=17445] ppid=17410 vsize=10546720 CPUtime=0 cores=1,3,5,7
/proc/17412/task/17445/stat : 17445 (java) S 17410 17412 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909699252 10799841280 18455 33554432000 1073741824 1073778376 140734628540672 18446744073709551615 252469881753 0 4 0 16800975 18446604469062132160 0 0 -1 3 0 0 0
[pid=17412/tid=17446] ppid=17410 vsize=10546720 CPUtime=0 cores=1,3,5,7
/proc/17412/task/17446/stat : 17446 (java) S 17410 17412 13385 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 909699252 10799841280 18455 33554432000 1073741824 1073778376 140734628540672 18446744073709551615 252469882368 0 4 0 16800975 18446604469062132160 0 0 -1 1 0 0 0
[pid=17412/tid=17449] ppid=17410 vsize=10546720 CPUtime=0 cores=1,3,5,7
/proc/17412/task/17449/stat : 17449 (java) S 17410 17412 13385 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 909699267 10799841280 18456 33554432000 1073741824 1073778376 140734628540672 18446744073709551615 252469882368 0 4 0 16800975 18446604469062132160 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.97
Current children cumulated vsize (KiB) 10546720
[startup+2.70117 s]
/proc/loadavg: 2.80 3.63 3.73 6/509 17469
/proc/meminfo: memFree=23923792/32951124 swapFree=56297244/67111528
[pid=17412] ppid=17410 vsize=10551008 CPUtime=1.31 cores=1,3,5,7
/proc/17412/stat : 17412 (java) S 17410 17412 13385 0 -1 4202496 25703 0 1 0 128 3 0 0 22 0 19 0 909699247 10804232192 21215 33554432000 1073741824 1073778376 140734628540672 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/17412/statm: 2637752 21215 2223 9 0 2628486 0
[pid=17412/tid=17413] ppid=17410 vsize=10551008 CPUtime=0.18 cores=1,3,5,7
/proc/17412/task/17413/stat : 17413 (java) S 17410 17412 13385 0 -1 4202560 11922 0 1 0 17 1 0 0 16 0 19 0 909699247 10804232192 21215 33554432000 1073741824 1073778376 140734628540672 18446744073709551615 252469882368 0 4 0 16800975 18446604469062132160 0 0 -1 1 0 0 0
[pid=17412/tid=17424] ppid=17410 vsize=10551008 CPUtime=0 cores=1,3,5,7
/proc/17412/task/17424/stat : 17424 (java) S 17410 17412 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909699249 10804232192 21215 33554432000 1073741824 1073778376 140734628540672 18446744073709551615 252469881753 0 4 0 16800975 18446604469062132160 0 0 -1 1 0 0 0
[pid=17412/tid=17425] ppid=17410 vsize=10551008 CPUtime=0 cores=1,3,5,7
/proc/17412/task/17425/stat : 17425 (java) S 17410 17412 13385 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 909699249 10804232192 21215 33554432000 1073741824 1073778376 140734628540672 18446744073709551615 252469881753 0 4 0 16800975 18446604469062132160 0 0 -1 1 0 0 0
[pid=17412/tid=17426] ppid=17410 vsize=10551008 CPUtime=0 cores=1,3,5,7
/proc/17412/task/17426/stat : 17426 (java) S 17410 17412 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909699249 10804232192 21215 33554432000 1073741824 1073778376 140734628540672 18446744073709551615 252469881753 0 4 0 16800975 18446604469062132160 0 0 -1 1 0 0 0
[pid=17412/tid=17427] ppid=17410 vsize=10551008 CPUtime=0 cores=1,3,5,7
/proc/17412/task/17427/stat : 17427 (java) S 17410 17412 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909699249 10804232192 21215 33554432000 1073741824 1073778376 140734628540672 18446744073709551615 252469881753 0 4 0 16800975 18446604469062132160 0 0 -1 1 0 0 0
[pid=17412/tid=17428] ppid=17410 vsize=10551008 CPUtime=0 cores=1,3,5,7
/proc/17412/task/17428/stat : 17428 (java) S 17410 17412 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909699249 10804232192 21215 33554432000 1073741824 1073778376 140734628540672 18446744073709551615 252469881753 0 4 0 16800975 18446604469062132160 0 0 -1 1 0 0 0
[pid=17412/tid=17429] ppid=17410 vsize=10551008 CPUtime=0 cores=1,3,5,7
/proc/17412/task/17429/stat : 17429 (java) S 17410 17412 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909699249 10804232192 21215 33554432000 1073741824 1073778376 140734628540672 18446744073709551615 252469881753 0 4 0 16800975 18446604469062132160 0 0 -1 1 0 0 0
[pid=17412/tid=17430] ppid=17410 vsize=10551008 CPUtime=0 cores=1,3,5,7
/proc/17412/task/17430/stat : 17430 (java) S 17410 17412 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909699249 10804232192 21215 33554432000 1073741824 1073778376 140734628540672 18446744073709551615 252469881753 0 4 0 16800975 18446604469062132160 0 0 -1 7 0 0 0
[pid=17412/tid=17431] ppid=17410 vsize=10551008 CPUtime=0 cores=1,3,5,7
/proc/17412/task/17431/stat : 17431 (java) S 17410 17412 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909699249 10804232192 21215 33554432000 1073741824 1073778376 140734628540672 18446744073709551615 252469881753 0 4 0 16800975 18446604469062132160 0 0 -1 7 0 0 0
[pid=17412/tid=17434] ppid=17410 vsize=10551008 CPUtime=0 cores=1,3,5,7
/proc/17412/task/17434/stat : 17434 (java) S 17410 17412 13385 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 909699250 10804232192 21215 33554432000 1073741824 1073778376 140734628540672 18446744073709551615 252469882368 0 0 0 16800975 18446604469062132160 0 0 -1 3 0 0 0
[pid=17412/tid=17435] ppid=17410 vsize=10551008 CPUtime=0 cores=1,3,5,7
/proc/17412/task/17435/stat : 17435 (java) S 17410 17412 13385 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 909699250 10804232192 21215 33554432000 1073741824 1073778376 140734628540672 18446744073709551615 252469881753 0 4 0 16800975 18446604469062132160 0 0 -1 3 0 0 0
[pid=17412/tid=17436] ppid=17410 vsize=10551008 CPUtime=0 cores=1,3,5,7
/proc/17412/task/17436/stat : 17436 (java) S 17410 17412 13385 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 909699250 10804232192 21215 33554432000 1073741824 1073778376 140734628540672 18446744073709551615 252469881753 0 4 0 16800975 18446604469062132160 0 0 -1 3 0 0 0
[pid=17412/tid=17442] ppid=17410 vsize=10551008 CPUtime=0 cores=1,3,5,7
/proc/17412/task/17442/stat : 17442 (java) S 17410 17412 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909699252 10804232192 21215 33554432000 1073741824 1073778376 140734628540672 18446744073709551615 252469889457 0 4 0 16800975 18446604469062132160 0 0 -1 3 0 0 0
[pid=17412/tid=17443] ppid=17410 vsize=10551008 CPUtime=0.32 cores=1,3,5,7
/proc/17412/task/17443/stat : 17443 (java) S 17410 17412 13385 0 -1 4202560 3441 0 0 0 32 0 0 0 16 0 19 0 909699252 10804232192 21215 33554432000 1073741824 1073778376 140734628540672 18446744073709551615 252469881753 0 4 0 16800975 18446604469062132160 0 0 -1 7 0 0 0
[pid=17412/tid=17444] ppid=17410 vsize=10551008 CPUtime=0.4 cores=1,3,5,7
/proc/17412/task/17444/stat : 17444 (java) S 17410 17412 13385 0 -1 4202560 6288 0 0 0 40 0 0 0 16 0 19 0 909699252 10804232192 21215 33554432000 1073741824 1073778376 140734628540672 18446744073709551615 252469881753 0 4 0 16800975 18446604469062132160 0 0 -1 1 0 0 0
[pid=17412/tid=17445] ppid=17410 vsize=10551008 CPUtime=0 cores=1,3,5,7
/proc/17412/task/17445/stat : 17445 (java) S 17410 17412 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909699252 10804232192 21215 33554432000 1073741824 1073778376 140734628540672 18446744073709551615 252469881753 0 4 0 16800975 18446604469062132160 0 0 -1 3 0 0 0
[pid=17412/tid=17446] ppid=17410 vsize=10551008 CPUtime=0 cores=1,3,5,7
/proc/17412/task/17446/stat : 17446 (java) S 17410 17412 13385 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 909699252 10804232192 21215 33554432000 1073741824 1073778376 140734628540672 18446744073709551615 252469882368 0 4 0 16800975 18446604469062132160 0 0 -1 1 0 0 0
[pid=17412/tid=17449] ppid=17410 vsize=10551008 CPUtime=0 cores=1,3,5,7
/proc/17412/task/17449/stat : 17449 (java) S 17410 17412 13385 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 909699267 10804232192 21215 33554432000 1073741824 1073778376 140734628540672 18446744073709551615 252469882368 0 4 0 16800975 18446604469062132160 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 10551008
Child status: 30
Real time (s): 2.76578
CPU time (s): 1.34879
CPU user time (s): 1.3048
CPU system time (s): 0.043993
CPU usage (%): 48.7672
Max. virtual memory (cumulated for all children) (KiB): 10551008
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.3048
system time used= 0.043993
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25716
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= 281
involuntary context switches= 73
runsolver used 0.015997 second user time and 0.037994 second system time
The end