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-3454548-1307189771/watcher-3454548-1307189771 -o /tmp/evaluation-result-3454548-1307189771/solver-3454548-1307189771 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454548-1307189771.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.45 3.57 3.55 2/509 22488
/proc/meminfo: memFree=20398672/32951124 swapFree=46575304/67111528
[pid=22488] ppid=22486 vsize=35788 CPUtime=0 cores=1,3,5,7
/proc/22488/stat : 22488 (java) S 22486 22488 17058 0 -1 4202496 1324 0 0 0 0 0 0 0 23 0 2 0 563168392 36646912 1025 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 268672464869 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/22488/statm: 8947 1025 788 9 0 386 0
[pid=22488/tid=22489] ppid=22486 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/22488/task/22489/stat : 22489 (java) R 22486 22488 17058 0 -1 4202560 4813 0 1 0 0 0 0 0 25 0 2 0 563168393 10694979584 5629 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 268660356155 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.0233009 s]
/proc/loadavg: 3.45 3.57 3.55 2/509 22488
/proc/meminfo: memFree=20398672/32951124 swapFree=46575304/67111528
[pid=22488] ppid=22486 vsize=10444316 CPUtime=0.01 cores=1,3,5,7
/proc/22488/stat : 22488 (java) S 22486 22488 17058 0 -1 4202496 9275 0 1 0 0 1 0 0 23 0 2 0 563168392 10694979584 8977 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 268672464869 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/22488/statm: 2611079 8996 917 9 0 2602235 0
[pid=22488/tid=22489] ppid=22486 vsize=10444316 CPUtime=0.01 cores=1,3,5,7
/proc/22488/task/22489/stat : 22489 (java) R 22486 22488 17058 0 -1 4202560 8194 0 1 0 0 1 0 0 25 0 2 0 563168393 10694979584 9010 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 268660356155 0 4 0 16784584 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10444316
[startup+0.100285 s]
/proc/loadavg: 3.45 3.57 3.55 2/509 22488
/proc/meminfo: memFree=20398672/32951124 swapFree=46575304/67111528
[pid=22488] ppid=22486 vsize=10540476 CPUtime=0.1 cores=1,3,5,7
/proc/22488/stat : 22488 (java) S 22486 22488 17058 0 -1 4202496 13011 0 1 0 9 1 0 0 23 0 18 0 563168392 10793447424 12707 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22488/statm: 2635119 12708 2092 9 0 2625853 0
[pid=22488/tid=22489] ppid=22486 vsize=10540476 CPUtime=0.08 cores=1,3,5,7
/proc/22488/task/22489/stat : 22489 (java) R 22486 22488 17058 0 -1 4202560 11084 0 1 0 7 1 0 0 18 0 18 0 563168393 10793447424 12709 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 47544753370648 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540476
[startup+0.300266 s]
/proc/loadavg: 3.45 3.57 3.55 2/509 22488
/proc/meminfo: memFree=20398672/32951124 swapFree=46575304/67111528
[pid=22488] ppid=22486 vsize=10542524 CPUtime=0.47 cores=1,3,5,7
/proc/22488/stat : 22488 (java) S 22486 22488 17058 0 -1 4202496 15703 0 1 0 45 2 0 0 23 0 18 0 563168392 10795544576 15319 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22488/statm: 2635631 15319 2199 9 0 2626365 0
[pid=22488/tid=22489] ppid=22486 vsize=10542524 CPUtime=0.28 cores=1,3,5,7
/proc/22488/task/22489/stat : 22489 (java) R 22486 22488 17058 0 -1 4202560 12924 0 1 0 26 2 0 0 18 0 18 0 563168393 10795544576 15320 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 46912505560230 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 10542524
[startup+0.700216 s]
/proc/loadavg: 3.45 3.57 3.55 2/509 22488
/proc/meminfo: memFree=20398672/32951124 swapFree=46575304/67111528
[pid=22488] ppid=22486 vsize=10546620 CPUtime=1.12 cores=1,3,5,7
/proc/22488/stat : 22488 (java) S 22486 22488 17058 0 -1 4202496 54700 0 1 0 105 7 0 0 23 0 18 0 563168392 10799738880 53425 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22488/statm: 2636655 53430 2214 9 0 2627389 0
[pid=22488/tid=22489] ppid=22486 vsize=10546620 CPUtime=0.68 cores=1,3,5,7
/proc/22488/task/22489/stat : 22489 (java) R 22486 22488 17058 0 -1 4202560 49499 0 1 0 62 6 0 0 18 0 18 0 563168393 10799738880 53433 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 46912505560091 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.12
Current children cumulated vsize (KiB) 10546620
[startup+1.50101 s]
/proc/loadavg: 3.45 3.57 3.55 3/528 22510
/proc/meminfo: memFree=20076100/32951124 swapFree=46575304/67111528
[pid=22488] ppid=22486 vsize=10550732 CPUtime=1.68 cores=1,3,5,7
/proc/22488/stat : 22488 (java) S 22486 22488 17058 0 -1 4202496 84660 0 1 0 157 11 0 0 23 0 22 0 563168392 10803949568 82418 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22488/statm: 2637683 82418 2233 9 0 2628417 0
[pid=22488/tid=22489] ppid=22486 vsize=10550732 CPUtime=0.93 cores=1,3,5,7
/proc/22488/task/22489/stat : 22489 (java) S 22486 22488 17058 0 -1 4202560 77915 0 1 0 83 10 0 0 17 0 22 0 563168393 10803949568 82418 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 268672478720 0 4 0 16800975 18446604468027634752 0 0 -1 1 0 0 0
[pid=22488/tid=22491] ppid=22486 vsize=10550732 CPUtime=0 cores=1,3,5,7
/proc/22488/task/22491/stat : 22491 (java) S 22486 22488 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563168395 10803949568 82418 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 268672478105 0 4 0 16800975 18446604468027634752 0 0 -1 7 0 0 0
[pid=22488/tid=22492] ppid=22486 vsize=10550732 CPUtime=0 cores=1,3,5,7
/proc/22488/task/22492/stat : 22492 (java) S 22486 22488 17058 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 563168395 10803949568 82418 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 268672478105 0 4 0 16800975 18446604468027634752 0 0 -1 7 0 0 0
[pid=22488/tid=22493] ppid=22486 vsize=10550732 CPUtime=0 cores=1,3,5,7
/proc/22488/task/22493/stat : 22493 (java) S 22486 22488 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563168395 10803949568 82418 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 268672478105 0 4 0 16800975 18446604468027634752 0 0 -1 7 0 0 0
[pid=22488/tid=22494] ppid=22486 vsize=10550732 CPUtime=0 cores=1,3,5,7
/proc/22488/task/22494/stat : 22494 (java) S 22486 22488 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563168395 10803949568 82418 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 268672478105 0 4 0 16800975 18446604468027634752 0 0 -1 7 0 0 0
[pid=22488/tid=22495] ppid=22486 vsize=10550732 CPUtime=0 cores=1,3,5,7
/proc/22488/task/22495/stat : 22495 (java) S 22486 22488 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563168395 10803949568 82418 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 268672478105 0 4 0 16800975 18446604468027634752 0 0 -1 7 0 0 0
[pid=22488/tid=22496] ppid=22486 vsize=10550732 CPUtime=0 cores=1,3,5,7
/proc/22488/task/22496/stat : 22496 (java) S 22486 22488 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563168395 10803949568 82418 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 268672478105 0 4 0 16800975 18446604468027634752 0 0 -1 7 0 0 0
[pid=22488/tid=22497] ppid=22486 vsize=10550732 CPUtime=0 cores=1,3,5,7
/proc/22488/task/22497/stat : 22497 (java) S 22486 22488 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563168395 10803949568 82418 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 268672478105 0 4 0 16800975 18446604468027634752 0 0 -1 7 0 0 0
[pid=22488/tid=22498] ppid=22486 vsize=10550732 CPUtime=0 cores=1,3,5,7
/proc/22488/task/22498/stat : 22498 (java) S 22486 22488 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563168395 10803949568 82418 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 268672478105 0 4 0 16800975 18446604468027634752 0 0 -1 7 0 0 0
[pid=22488/tid=22499] ppid=22486 vsize=10550732 CPUtime=0 cores=1,3,5,7
/proc/22488/task/22499/stat : 22499 (java) S 22486 22488 17058 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 563168396 10803949568 82418 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 268672478720 0 0 0 16800975 18446604468027634752 0 0 -1 1 0 0 0
[pid=22488/tid=22500] ppid=22486 vsize=10550732 CPUtime=0 cores=1,3,5,7
/proc/22488/task/22500/stat : 22500 (java) S 22486 22488 17058 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 563168396 10803949568 82418 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 268672478105 0 4 0 16800975 18446604468027634752 0 0 -1 1 0 0 0
[pid=22488/tid=22501] ppid=22486 vsize=10550732 CPUtime=0 cores=1,3,5,7
/proc/22488/task/22501/stat : 22501 (java) S 22486 22488 17058 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 563168396 10803949568 82418 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 268672478105 0 4 0 16800975 18446604468027634752 0 0 -1 1 0 0 0
[pid=22488/tid=22502] ppid=22486 vsize=10550732 CPUtime=0 cores=1,3,5,7
/proc/22488/task/22502/stat : 22502 (java) S 22486 22488 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563168399 10803949568 82418 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 268672485809 0 4 0 16800975 18446604468027634752 0 0 -1 1 0 0 0
[pid=22488/tid=22503] ppid=22486 vsize=10550732 CPUtime=0.27 cores=1,3,5,7
/proc/22488/task/22503/stat : 22503 (java) R 22486 22488 17058 0 -1 4202560 1883 0 0 0 27 0 0 0 16 0 22 0 563168399 10803949568 82418 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 47544749512435 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=22488/tid=22504] ppid=22486 vsize=10550732 CPUtime=0.34 cores=1,3,5,7
/proc/22488/task/22504/stat : 22504 (java) R 22486 22488 17058 0 -1 4202560 3305 0 0 0 34 0 0 0 16 0 22 0 563168399 10803949568 82418 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 47544751135792 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=22488/tid=22505] ppid=22486 vsize=10550732 CPUtime=0 cores=1,3,5,7
/proc/22488/task/22505/stat : 22505 (java) S 22486 22488 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563168399 10803949568 82418 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 268672478105 0 4 0 16800975 18446604468027634752 0 0 -1 1 0 0 0
[pid=22488/tid=22506] ppid=22486 vsize=10550732 CPUtime=0 cores=1,3,5,7
/proc/22488/task/22506/stat : 22506 (java) S 22486 22488 17058 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 563168399 10803949568 82418 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 268672478720 0 4 0 16800975 18446604468027634752 0 0 -1 3 0 0 0
[pid=22488/tid=22509] ppid=22486 vsize=10550732 CPUtime=0 cores=1,3,5,7
/proc/22488/task/22509/stat : 22509 (java) S 22486 22488 17058 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 563168488 10803949568 82418 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 268672478720 0 4 0 16800975 18446604468027634752 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.68
Current children cumulated vsize (KiB) 10550732
[startup+3.10072 s]
/proc/loadavg: 3.45 3.57 3.55 5/529 22516
/proc/meminfo: memFree=20064188/32951124 swapFree=46575304/67111528
[pid=22488] ppid=22486 vsize=10552780 CPUtime=2.74 cores=1,3,5,7
/proc/22488/stat : 22488 (java) S 22486 22488 17058 0 -1 4202496 93283 0 1 0 262 12 0 0 23 0 22 0 563168392 10806046720 88917 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22488/statm: 2638195 88917 2240 9 0 2628929 0
[pid=22488/tid=22489] ppid=22486 vsize=10552780 CPUtime=0.94 cores=1,3,5,7
/proc/22488/task/22489/stat : 22489 (java) S 22486 22488 17058 0 -1 4202560 78098 0 1 0 84 10 0 0 16 0 22 0 563168393 10806046720 88918 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 268672478720 0 4 0 16800975 18446604468027634752 0 0 -1 3 0 0 0
[pid=22488/tid=22491] ppid=22486 vsize=10552780 CPUtime=0 cores=1,3,5,7
/proc/22488/task/22491/stat : 22491 (java) S 22486 22488 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563168395 10806046720 88918 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 268672478105 0 4 0 16800975 18446604468027634752 0 0 -1 7 0 0 0
[pid=22488/tid=22492] ppid=22486 vsize=10552780 CPUtime=0 cores=1,3,5,7
/proc/22488/task/22492/stat : 22492 (java) S 22486 22488 17058 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 563168395 10806046720 88918 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 268672478105 0 4 0 16800975 18446604468027634752 0 0 -1 7 0 0 0
[pid=22488/tid=22493] ppid=22486 vsize=10552780 CPUtime=0 cores=1,3,5,7
/proc/22488/task/22493/stat : 22493 (java) S 22486 22488 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563168395 10806046720 88918 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 268672478105 0 4 0 16800975 18446604468027634752 0 0 -1 7 0 0 0
[pid=22488/tid=22494] ppid=22486 vsize=10552780 CPUtime=0 cores=1,3,5,7
/proc/22488/task/22494/stat : 22494 (java) S 22486 22488 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563168395 10806046720 88919 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 268672478105 0 4 0 16800975 18446604468027634752 0 0 -1 7 0 0 0
[pid=22488/tid=22495] ppid=22486 vsize=10552780 CPUtime=0 cores=1,3,5,7
/proc/22488/task/22495/stat : 22495 (java) S 22486 22488 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563168395 10806046720 88919 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 268672478105 0 4 0 16800975 18446604468027634752 0 0 -1 7 0 0 0
[pid=22488/tid=22496] ppid=22486 vsize=10552780 CPUtime=0 cores=1,3,5,7
/proc/22488/task/22496/stat : 22496 (java) S 22486 22488 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563168395 10806046720 88919 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 268672478105 0 4 0 16800975 18446604468027634752 0 0 -1 7 0 0 0
[pid=22488/tid=22497] ppid=22486 vsize=10552780 CPUtime=0 cores=1,3,5,7
/proc/22488/task/22497/stat : 22497 (java) S 22486 22488 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563168395 10806046720 88920 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 268672478105 0 4 0 16800975 18446604468027634752 0 0 -1 7 0 0 0
[pid=22488/tid=22498] ppid=22486 vsize=10552780 CPUtime=0 cores=1,3,5,7
/proc/22488/task/22498/stat : 22498 (java) S 22486 22488 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563168395 10806046720 88920 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 268672478105 0 4 0 16800975 18446604468027634752 0 0 -1 7 0 0 0
[pid=22488/tid=22499] ppid=22486 vsize=10552780 CPUtime=0 cores=1,3,5,7
/proc/22488/task/22499/stat : 22499 (java) S 22486 22488 17058 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 22 0 563168396 10806046720 88920 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 268672478720 0 0 0 16800975 18446604468027634752 0 0 -1 3 0 0 0
[pid=22488/tid=22500] ppid=22486 vsize=10552780 CPUtime=0 cores=1,3,5,7
/proc/22488/task/22500/stat : 22500 (java) S 22486 22488 17058 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 563168396 10806046720 88920 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 268672478105 0 4 0 16800975 18446604468027634752 0 0 -1 1 0 0 0
[pid=22488/tid=22501] ppid=22486 vsize=10552780 CPUtime=0 cores=1,3,5,7
/proc/22488/task/22501/stat : 22501 (java) S 22486 22488 17058 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 563168396 10806046720 88921 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 268672478105 0 4 0 16800975 18446604468027634752 0 0 -1 1 0 0 0
[pid=22488/tid=22502] ppid=22486 vsize=10552780 CPUtime=0 cores=1,3,5,7
/proc/22488/task/22502/stat : 22502 (java) S 22486 22488 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563168399 10806046720 88921 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 268672485809 0 4 0 16800975 18446604468027634752 0 0 -1 1 0 0 0
[pid=22488/tid=22503] ppid=22486 vsize=10552780 CPUtime=0.61 cores=1,3,5,7
/proc/22488/task/22503/stat : 22503 (java) R 22486 22488 17058 0 -1 4202560 2604 0 0 0 61 0 0 0 16 0 22 0 563168399 10806046720 88921 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 47544748850552 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=22488/tid=22504] ppid=22486 vsize=10552780 CPUtime=0.69 cores=1,3,5,7
/proc/22488/task/22504/stat : 22504 (java) R 22486 22488 17058 0 -1 4202560 7048 0 0 0 69 0 0 0 16 0 22 0 563168399 10806046720 88921 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 47544750565569 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=22488/tid=22505] ppid=22486 vsize=10552780 CPUtime=0 cores=1,3,5,7
/proc/22488/task/22505/stat : 22505 (java) S 22486 22488 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563168399 10806046720 88921 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 268672478105 0 4 0 16800975 18446604468027634752 0 0 -1 1 0 0 0
[pid=22488/tid=22506] ppid=22486 vsize=10552780 CPUtime=0 cores=1,3,5,7
/proc/22488/task/22506/stat : 22506 (java) S 22486 22488 17058 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 563168399 10806046720 88922 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 268672478720 0 4 0 16800975 18446604468027634752 0 0 -1 1 0 0 0
[pid=22488/tid=22509] ppid=22486 vsize=10552780 CPUtime=0 cores=1,3,5,7
/proc/22488/task/22509/stat : 22509 (java) S 22486 22488 17058 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 563168488 10806046720 88922 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 268672478720 0 4 0 16800975 18446604468027634752 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.74
Current children cumulated vsize (KiB) 10552780
[startup+6.30116 s]
/proc/loadavg: 3.33 3.55 3.54 4/531 22524
/proc/meminfo: memFree=19670948/32951124 swapFree=46575304/67111528
[pid=22488] ppid=22486 vsize=10552780 CPUtime=8.93 cores=1,3,5,7
/proc/22488/stat : 22488 (java) S 22486 22488 17058 0 -1 4202496 187526 0 1 0 869 24 0 0 23 0 22 0 563168392 10806046720 182936 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22488/statm: 2638195 182936 2268 9 0 2628929 0
[pid=22488/tid=22489] ppid=22486 vsize=10552780 CPUtime=0.95 cores=1,3,5,7
/proc/22488/task/22489/stat : 22489 (java) S 22486 22488 17058 0 -1 4202560 78158 0 1 0 85 10 0 0 15 0 22 0 563168393 10806046720 182936 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 268672478720 0 4 0 16800975 18446604468027634752 0 0 -1 3 0 0 0
[pid=22488/tid=22491] ppid=22486 vsize=10552780 CPUtime=0 cores=1,3,5,7
/proc/22488/task/22491/stat : 22491 (java) S 22486 22488 17058 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 563168395 10806046720 182936 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 268672478105 0 4 0 16800975 18446604468027634752 0 0 -1 7 0 0 0
[pid=22488/tid=22492] ppid=22486 vsize=10552780 CPUtime=0 cores=1,3,5,7
/proc/22488/task/22492/stat : 22492 (java) S 22486 22488 17058 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 22 0 563168395 10806046720 182936 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 268672478105 0 4 0 16800975 18446604468027634752 0 0 -1 7 0 0 0
[pid=22488/tid=22493] ppid=22486 vsize=10552780 CPUtime=0 cores=1,3,5,7
/proc/22488/task/22493/stat : 22493 (java) S 22486 22488 17058 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 563168395 10806046720 182936 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 268672478105 0 4 0 16800975 18446604468027634752 0 0 -1 3 0 0 0
[pid=22488/tid=22494] ppid=22486 vsize=10552780 CPUtime=0 cores=1,3,5,7
/proc/22488/task/22494/stat : 22494 (java) S 22486 22488 17058 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 563168395 10806046720 182936 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 268672478105 0 4 0 16800975 18446604468027634752 0 0 -1 1 0 0 0
[pid=22488/tid=22495] ppid=22486 vsize=10552780 CPUtime=0.02 cores=1,3,5,7
/proc/22488/task/22495/stat : 22495 (java) S 22486 22488 17058 0 -1 4202560 3776 0 0 0 2 0 0 0 18 0 22 0 563168395 10806046720 182936 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 268672478105 0 4 0 16800975 18446604468027634752 0 0 -1 7 0 0 0
[pid=22488/tid=22496] ppid=22486 vsize=10552780 CPUtime=0.03 cores=1,3,5,7
/proc/22488/task/22496/stat : 22496 (java) S 22486 22488 17058 0 -1 4202560 2120 0 0 0 3 0 0 0 18 0 22 0 563168395 10806046720 182936 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 268672478105 0 4 0 16800975 18446604468027634752 0 0 -1 1 0 0 0
[pid=22488/tid=22497] ppid=22486 vsize=10552780 CPUtime=0.02 cores=1,3,5,7
/proc/22488/task/22497/stat : 22497 (java) S 22486 22488 17058 0 -1 4202560 4478 0 0 0 2 0 0 0 18 0 22 0 563168395 10806046720 182936 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 268672478105 0 4 0 16800975 18446604468027634752 0 0 -1 3 0 0 0
[pid=22488/tid=22498] ppid=22486 vsize=10552780 CPUtime=0.03 cores=1,3,5,7
/proc/22488/task/22498/stat : 22498 (java) S 22486 22488 17058 0 -1 4202560 3480 0 0 0 3 0 0 0 18 0 22 0 563168395 10806046720 182936 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 268672478105 0 4 0 16800975 18446604468027634752 0 0 -1 7 0 0 0
[pid=22488/tid=22499] ppid=22486 vsize=10552780 CPUtime=0.14 cores=1,3,5,7
/proc/22488/task/22499/stat : 22499 (java) S 22486 22488 17058 0 -1 4202560 15149 0 0 0 13 1 0 0 16 0 22 0 563168396 10806046720 182936 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 268672478720 0 0 0 16800975 18446604468027634752 0 0 -1 5 0 0 0
[pid=22488/tid=22500] ppid=22486 vsize=10552780 CPUtime=0 cores=1,3,5,7
/proc/22488/task/22500/stat : 22500 (java) S 22486 22488 17058 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 563168396 10806046720 182936 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 268672478105 0 4 0 16800975 18446604468027634752 0 0 -1 5 0 0 0
[pid=22488/tid=22501] ppid=22486 vsize=10552780 CPUtime=0 cores=1,3,5,7
/proc/22488/task/22501/stat : 22501 (java) S 22486 22488 17058 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 563168396 10806046720 182936 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 268672478105 0 4 0 16800975 18446604468027634752 0 0 -1 5 0 0 0
[pid=22488/tid=22502] ppid=22486 vsize=10552780 CPUtime=0 cores=1,3,5,7
/proc/22488/task/22502/stat : 22502 (java) S 22486 22488 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563168399 10806046720 182936 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 268672485809 0 4 0 16800975 18446604468027634752 0 0 -1 1 0 0 0
[pid=22488/tid=22503] ppid=22486 vsize=10552780 CPUtime=0.79 cores=1,3,5,7
/proc/22488/task/22503/stat : 22503 (java) S 22486 22488 17058 0 -1 4202560 2636 0 0 0 79 0 0 0 15 0 22 0 563168399 10806046720 182936 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 268672478105 0 4 0 16800975 18446604468027634752 0 0 -1 5 0 0 0
[pid=22488/tid=22504] ppid=22486 vsize=10552780 CPUtime=0.73 cores=1,3,5,7
/proc/22488/task/22504/stat : 22504 (java) S 22486 22488 17058 0 -1 4202560 7055 0 0 0 73 0 0 0 15 0 22 0 563168399 10806046720 182936 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 268672478105 0 4 0 16800975 18446604468027634752 0 0 -1 3 0 0 0
################
# More data... #
################
/proc/22488/task/22492/stat : 22492 (java) S 22486 22488 17058 0 -1 4202560 22967 0 0 0 130 3 0 0 15 0 22 0 563168395 10806046720 1187045 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 268672478105 0 4 0 16800975 18446604468027634752 0 0 -1 7 0 0 0
[pid=22488/tid=22493] ppid=22486 vsize=10552780 CPUtime=1.48 cores=1,3,5,7
/proc/22488/task/22493/stat : 22493 (java) S 22486 22488 17058 0 -1 4202560 26661 0 0 0 145 3 0 0 16 0 22 0 563168395 10806046720 1187045 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 268672478105 0 4 0 16800975 18446604468027634752 0 0 -1 3 0 0 0
[pid=22488/tid=22494] ppid=22486 vsize=10552780 CPUtime=1.7 cores=1,3,5,7
/proc/22488/task/22494/stat : 22494 (java) S 22486 22488 17058 0 -1 4202560 33424 0 0 0 166 4 0 0 16 0 22 0 563168395 10806046720 1187045 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 268672478105 0 4 0 16800975 18446604468027634752 0 0 -1 3 0 0 0
[pid=22488/tid=22495] ppid=22486 vsize=10552780 CPUtime=1.67 cores=1,3,5,7
/proc/22488/task/22495/stat : 22495 (java) S 22486 22488 17058 0 -1 4202560 20900 0 0 0 165 2 0 0 16 0 22 0 563168395 10806046720 1187045 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 268672478105 0 4 0 16800975 18446604468027634752 0 0 -1 1 0 0 0
[pid=22488/tid=22496] ppid=22486 vsize=10552780 CPUtime=1.54 cores=1,3,5,7
/proc/22488/task/22496/stat : 22496 (java) S 22486 22488 17058 0 -1 4202560 24808 0 0 0 151 3 0 0 16 0 22 0 563168395 10806046720 1187045 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 268672478105 0 4 0 16800975 18446604468027634752 0 0 -1 7 0 0 0
[pid=22488/tid=22497] ppid=22486 vsize=10552780 CPUtime=1.18 cores=1,3,5,7
/proc/22488/task/22497/stat : 22497 (java) S 22486 22488 17058 0 -1 4202560 23809 0 0 0 115 3 0 0 15 0 22 0 563168395 10806046720 1187045 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 268672478105 0 4 0 16800975 18446604468027634752 0 0 -1 7 0 0 0
[pid=22488/tid=22498] ppid=22486 vsize=10552780 CPUtime=1.54 cores=1,3,5,7
/proc/22488/task/22498/stat : 22498 (java) S 22486 22488 17058 0 -1 4202560 20214 0 0 0 151 3 0 0 16 0 22 0 563168395 10806046720 1187045 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 268672478105 0 4 0 16800975 18446604468027634752 0 0 -1 5 0 0 0
[pid=22488/tid=22499] ppid=22486 vsize=10552780 CPUtime=62.51 cores=1,3,5,7
/proc/22488/task/22499/stat : 22499 (java) S 22486 22488 17058 0 -1 4202560 339790 0 0 0 6220 31 0 0 18 0 22 0 563168396 10806046720 1187045 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 268672478720 0 0 0 16800975 18446604468027634752 0 0 -1 7 0 0 0
[pid=22488/tid=22500] ppid=22486 vsize=10552780 CPUtime=0 cores=1,3,5,7
/proc/22488/task/22500/stat : 22500 (java) S 22486 22488 17058 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 563168396 10806046720 1187045 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 268672478105 0 4 0 16800975 18446604468027634752 0 0 -1 3 0 0 0
[pid=22488/tid=22501] ppid=22486 vsize=10552780 CPUtime=0 cores=1,3,5,7
/proc/22488/task/22501/stat : 22501 (java) S 22486 22488 17058 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 22 0 563168396 10806046720 1187045 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 268672478105 0 4 0 16800975 18446604468027634752 0 0 -1 3 0 0 0
[pid=22488/tid=22502] ppid=22486 vsize=10552780 CPUtime=0 cores=1,3,5,7
/proc/22488/task/22502/stat : 22502 (java) S 22486 22488 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563168399 10806046720 1187045 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 268672485809 0 4 0 16800975 18446604468027634752 0 0 -1 1 0 0 0
[pid=22488/tid=22503] ppid=22486 vsize=10552780 CPUtime=1.02 cores=1,3,5,7
/proc/22488/task/22503/stat : 22503 (java) S 22486 22488 17058 0 -1 4202560 2666 0 0 0 102 0 0 0 15 0 22 0 563168399 10806046720 1187045 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 268672478105 0 4 0 16800975 18446604468027634752 0 0 -1 5 0 0 0
[pid=22488/tid=22504] ppid=22486 vsize=10552780 CPUtime=1.41 cores=1,3,5,7
/proc/22488/task/22504/stat : 22504 (java) S 22486 22488 17058 0 -1 4202560 11241 0 0 0 140 1 0 0 16 0 22 0 563168399 10806046720 1187045 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 268672478105 0 4 0 16800975 18446604468027634752 0 0 -1 3 0 0 0
[pid=22488/tid=22505] ppid=22486 vsize=10552780 CPUtime=0 cores=1,3,5,7
/proc/22488/task/22505/stat : 22505 (java) S 22486 22488 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563168399 10806046720 1187045 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 268672478105 0 4 0 16800975 18446604468027634752 0 0 -1 1 0 0 0
[pid=22488/tid=22506] ppid=22486 vsize=10552780 CPUtime=0 cores=1,3,5,7
/proc/22488/task/22506/stat : 22506 (java) S 22486 22488 17058 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 22 0 563168399 10806046720 1187045 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 268672478720 0 4 0 16800975 18446604468027634752 0 0 -1 1 0 0 0
[pid=22488/tid=22524] ppid=22486 vsize=10552780 CPUtime=0 cores=1,3,5,7
/proc/22488/task/22524/stat : 22524 (java) S 22486 22488 17058 0 -1 4202560 0 0 0 0 0 0 0 0 17 0 22 0 563168742 10806046720 1187045 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 268672478720 0 4 0 16800975 18446604468027634752 0 0 -1 5 0 0 0
[pid=22488/tid=22614] ppid=22486 vsize=10552780 CPUtime=636.8 cores=1,3,5,7
/proc/22488/task/22614/stat : 22614 (java) R 22486 22488 17058 0 -1 4202560 33499 0 0 0 63675 5 0 0 25 0 22 0 563181247 10806046720 1187045 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 46912505883432 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=22488/tid=22615] ppid=22486 vsize=10552780 CPUtime=636.78 cores=1,3,5,7
/proc/22488/task/22615/stat : 22615 (java) R 22486 22488 17058 0 -1 4202560 340067 0 0 0 63636 42 0 0 25 0 22 0 563181247 10806046720 1187045 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 46912506130305 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=22488/tid=22616] ppid=22486 vsize=10552780 CPUtime=0 cores=1,3,5,7
/proc/22488/task/22616/stat : 22616 (java) S 22486 22488 17058 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 563181247 10806046720 1187045 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 268672478720 0 4 0 16800975 18446604468027634752 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1580.56
Current children cumulated vsize (KiB) 10552780
[startup+882.301 s]
/proc/loadavg: 3.92 3.89 3.74 5/531 22644
/proc/meminfo: memFree=12207732/32951124 swapFree=46575304/67111528
[pid=22488] ppid=22486 vsize=10552780 CPUtime=1696.76 cores=1,3,5,7
/proc/22488/stat : 22488 (java) S 22486 22488 17058 0 -1 4202496 1223039 0 1 0 169524 152 0 0 23 0 22 0 563168392 10806046720 1209151 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22488/statm: 2638195 1209151 2269 9 0 2628929 0
[pid=22488/tid=22489] ppid=22486 vsize=10552780 CPUtime=0.96 cores=1,3,5,7
/proc/22488/task/22489/stat : 22489 (java) S 22486 22488 17058 0 -1 4202560 78205 0 1 0 86 10 0 0 15 0 22 0 563168393 10806046720 1209151 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 268672478720 0 4 0 16800975 18446604468027634752 0 0 -1 3 0 0 0
[pid=22488/tid=22491] ppid=22486 vsize=10552780 CPUtime=1.19 cores=1,3,5,7
/proc/22488/task/22491/stat : 22491 (java) S 22486 22488 17058 0 -1 4202560 16458 0 0 0 117 2 0 0 15 0 22 0 563168395 10806046720 1209151 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 268672478105 0 4 0 16800975 18446604468027634752 0 0 -1 5 0 0 0
[pid=22488/tid=22492] ppid=22486 vsize=10552780 CPUtime=1.56 cores=1,3,5,7
/proc/22488/task/22492/stat : 22492 (java) S 22486 22488 17058 0 -1 4202560 27821 0 0 0 152 4 0 0 16 0 22 0 563168395 10806046720 1209151 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 268672478105 0 4 0 16800975 18446604468027634752 0 0 -1 3 0 0 0
[pid=22488/tid=22493] ppid=22486 vsize=10552780 CPUtime=1.5 cores=1,3,5,7
/proc/22488/task/22493/stat : 22493 (java) S 22486 22488 17058 0 -1 4202560 26661 0 0 0 147 3 0 0 15 0 22 0 563168395 10806046720 1209151 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 268672478105 0 4 0 16800975 18446604468027634752 0 0 -1 3 0 0 0
[pid=22488/tid=22494] ppid=22486 vsize=10552780 CPUtime=1.9 cores=1,3,5,7
/proc/22488/task/22494/stat : 22494 (java) S 22486 22488 17058 0 -1 4202560 33424 0 0 0 186 4 0 0 16 0 22 0 563168395 10806046720 1209151 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 268672478105 0 4 0 16800975 18446604468027634752 0 0 -1 3 0 0 0
[pid=22488/tid=22495] ppid=22486 vsize=10552780 CPUtime=2 cores=1,3,5,7
/proc/22488/task/22495/stat : 22495 (java) S 22486 22488 17058 0 -1 4202560 28274 0 0 0 197 3 0 0 16 0 22 0 563168395 10806046720 1209151 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 268672478105 0 4 0 16800975 18446604468027634752 0 0 -1 3 0 0 0
[pid=22488/tid=22496] ppid=22486 vsize=10552780 CPUtime=1.71 cores=1,3,5,7
/proc/22488/task/22496/stat : 22496 (java) S 22486 22488 17058 0 -1 4202560 24808 0 0 0 168 3 0 0 15 0 22 0 563168395 10806046720 1209151 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 268672478105 0 4 0 16800975 18446604468027634752 0 0 -1 3 0 0 0
[pid=22488/tid=22497] ppid=22486 vsize=10552780 CPUtime=1.29 cores=1,3,5,7
/proc/22488/task/22497/stat : 22497 (java) S 22486 22488 17058 0 -1 4202560 30800 0 0 0 125 4 0 0 16 0 22 0 563168395 10806046720 1209151 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 268672478105 0 4 0 16800975 18446604468027634752 0 0 -1 3 0 0 0
[pid=22488/tid=22498] ppid=22486 vsize=10552780 CPUtime=1.82 cores=1,3,5,7
/proc/22488/task/22498/stat : 22498 (java) S 22486 22488 17058 0 -1 4202560 26985 0 0 0 179 3 0 0 16 0 22 0 563168395 10806046720 1209151 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 268672478105 0 4 0 16800975 18446604468027634752 0 0 -1 5 0 0 0
[pid=22488/tid=22499] ppid=22486 vsize=10552780 CPUtime=66.99 cores=1,3,5,7
/proc/22488/task/22499/stat : 22499 (java) S 22486 22488 17058 0 -1 4202560 341504 0 0 0 6668 31 0 0 18 0 22 0 563168396 10806046720 1209151 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 268672478720 0 0 0 16800975 18446604468027634752 0 0 -1 7 0 0 0
[pid=22488/tid=22500] ppid=22486 vsize=10552780 CPUtime=0 cores=1,3,5,7
/proc/22488/task/22500/stat : 22500 (java) S 22486 22488 17058 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 563168396 10806046720 1209151 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 268672478105 0 4 0 16800975 18446604468027634752 0 0 -1 3 0 0 0
[pid=22488/tid=22501] ppid=22486 vsize=10552780 CPUtime=0 cores=1,3,5,7
/proc/22488/task/22501/stat : 22501 (java) S 22486 22488 17058 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 22 0 563168396 10806046720 1209151 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 268672478105 0 4 0 16800975 18446604468027634752 0 0 -1 3 0 0 0
[pid=22488/tid=22502] ppid=22486 vsize=10552780 CPUtime=0 cores=1,3,5,7
/proc/22488/task/22502/stat : 22502 (java) S 22486 22488 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563168399 10806046720 1209151 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 268672485809 0 4 0 16800975 18446604468027634752 0 0 -1 1 0 0 0
[pid=22488/tid=22503] ppid=22486 vsize=10552780 CPUtime=1.02 cores=1,3,5,7
/proc/22488/task/22503/stat : 22503 (java) S 22486 22488 17058 0 -1 4202560 2666 0 0 0 102 0 0 0 15 0 22 0 563168399 10806046720 1209151 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 268672478105 0 4 0 16800975 18446604468027634752 0 0 -1 5 0 0 0
[pid=22488/tid=22504] ppid=22486 vsize=10552780 CPUtime=1.41 cores=1,3,5,7
/proc/22488/task/22504/stat : 22504 (java) S 22486 22488 17058 0 -1 4202560 11241 0 0 0 140 1 0 0 16 0 22 0 563168399 10806046720 1209151 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 268672478105 0 4 0 16800975 18446604468027634752 0 0 -1 3 0 0 0
[pid=22488/tid=22505] ppid=22486 vsize=10552780 CPUtime=0 cores=1,3,5,7
/proc/22488/task/22505/stat : 22505 (java) S 22486 22488 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563168399 10806046720 1209151 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 268672478105 0 4 0 16800975 18446604468027634752 0 0 -1 1 0 0 0
[pid=22488/tid=22506] ppid=22486 vsize=10552780 CPUtime=0 cores=1,3,5,7
/proc/22488/task/22506/stat : 22506 (java) S 22486 22488 17058 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 22 0 563168399 10806046720 1209151 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 268672478720 0 4 0 16800975 18446604468027634752 0 0 -1 7 0 0 0
[pid=22488/tid=22524] ppid=22486 vsize=10552780 CPUtime=0 cores=1,3,5,7
/proc/22488/task/22524/stat : 22524 (java) S 22486 22488 17058 0 -1 4202560 0 0 0 0 0 0 0 0 17 0 22 0 563168742 10806046720 1209151 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 268672478720 0 4 0 16800975 18446604468027634752 0 0 -1 5 0 0 0
[pid=22488/tid=22614] ppid=22486 vsize=10552780 CPUtime=691.96 cores=1,3,5,7
/proc/22488/task/22614/stat : 22614 (java) R 22486 22488 17058 0 -1 4202560 33502 0 0 0 69191 5 0 0 25 0 22 0 563181247 10806046720 1209151 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 46912505883382 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=22488/tid=22615] ppid=22486 vsize=10552780 CPUtime=691.95 cores=1,3,5,7
/proc/22488/task/22615/stat : 22615 (java) R 22486 22488 17058 0 -1 4202560 340067 0 0 0 69153 42 0 0 25 0 22 0 563181247 10806046720 1209151 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 46912505831471 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=22488/tid=22616] ppid=22486 vsize=10552780 CPUtime=0 cores=1,3,5,7
/proc/22488/task/22616/stat : 22616 (java) S 22486 22488 17058 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 563181247 10806046720 1209151 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 268672478720 0 4 0 16800975 18446604468027634752 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1696.76
Current children cumulated vsize (KiB) 10552780
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+934.702 s]
/proc/loadavg: 4.15 3.97 3.77 4/531 22645
/proc/meminfo: memFree=12054448/32951124 swapFree=46575304/67111528
[pid=22488] ppid=22486 vsize=10552780 CPUtime=1800.12 cores=1,3,5,7
/proc/22488/stat : 22488 (java) S 22486 22488 17058 0 -1 4202496 1230528 0 1 0 179860 152 0 0 23 0 22 0 563168392 10806046720 1216602 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22488/statm: 2638195 1216602 2269 9 0 2628929 0
[pid=22488/tid=22489] ppid=22486 vsize=10552780 CPUtime=0.96 cores=1,3,5,7
/proc/22488/task/22489/stat : 22489 (java) S 22486 22488 17058 0 -1 4202560 78205 0 1 0 86 10 0 0 15 0 22 0 563168393 10806046720 1216602 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 268672478720 0 4 0 16800975 18446604468027634752 0 0 -1 3 0 0 0
[pid=22488/tid=22491] ppid=22486 vsize=10552780 CPUtime=1.19 cores=1,3,5,7
/proc/22488/task/22491/stat : 22491 (java) S 22486 22488 17058 0 -1 4202560 16458 0 0 0 117 2 0 0 15 0 22 0 563168395 10806046720 1216602 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 268672478105 0 4 0 16800975 18446604468027634752 0 0 -1 5 0 0 0
[pid=22488/tid=22492] ppid=22486 vsize=10552780 CPUtime=1.72 cores=1,3,5,7
/proc/22488/task/22492/stat : 22492 (java) S 22486 22488 17058 0 -1 4202560 29549 0 0 0 168 4 0 0 16 0 22 0 563168395 10806046720 1216602 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 268672478105 0 4 0 16800975 18446604468027634752 0 0 -1 7 0 0 0
[pid=22488/tid=22493] ppid=22486 vsize=10552780 CPUtime=1.57 cores=1,3,5,7
/proc/22488/task/22493/stat : 22493 (java) S 22486 22488 17058 0 -1 4202560 26936 0 0 0 154 3 0 0 16 0 22 0 563168395 10806046720 1216602 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 268672478105 0 4 0 16800975 18446604468027634752 0 0 -1 7 0 0 0
[pid=22488/tid=22494] ppid=22486 vsize=10552780 CPUtime=1.99 cores=1,3,5,7
/proc/22488/task/22494/stat : 22494 (java) S 22486 22488 17058 0 -1 4202560 34272 0 0 0 195 4 0 0 16 0 22 0 563168395 10806046720 1216602 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 268672478105 0 4 0 16800975 18446604468027634752 0 0 -1 3 0 0 0
[pid=22488/tid=22495] ppid=22486 vsize=10552780 CPUtime=2.15 cores=1,3,5,7
/proc/22488/task/22495/stat : 22495 (java) S 22486 22488 17058 0 -1 4202560 28298 0 0 0 212 3 0 0 16 0 22 0 563168395 10806046720 1216602 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 268672478105 0 4 0 16800975 18446604468027634752 0 0 -1 5 0 0 0
[pid=22488/tid=22496] ppid=22486 vsize=10552780 CPUtime=1.82 cores=1,3,5,7
/proc/22488/task/22496/stat : 22496 (java) S 22486 22488 17058 0 -1 4202560 26314 0 0 0 179 3 0 0 16 0 22 0 563168395 10806046720 1216602 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 268672478105 0 4 0 16800975 18446604468027634752 0 0 -1 3 0 0 0
[pid=22488/tid=22497] ppid=22486 vsize=10552780 CPUtime=1.37 cores=1,3,5,7
/proc/22488/task/22497/stat : 22497 (java) S 22486 22488 17058 0 -1 4202560 31583 0 0 0 133 4 0 0 15 0 22 0 563168395 10806046720 1216602 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 268672478105 0 4 0 16800975 18446604468027634752 0 0 -1 1 0 0 0
[pid=22488/tid=22498] ppid=22486 vsize=10552780 CPUtime=1.82 cores=1,3,5,7
/proc/22488/task/22498/stat : 22498 (java) S 22486 22488 17058 0 -1 4202560 26985 0 0 0 179 3 0 0 15 0 22 0 563168395 10806046720 1216602 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 268672478105 0 4 0 16800975 18446604468027634752 0 0 -1 5 0 0 0
[pid=22488/tid=22499] ppid=22486 vsize=10552780 CPUtime=68.78 cores=1,3,5,7
/proc/22488/task/22499/stat : 22499 (java) S 22486 22488 17058 0 -1 4202560 343825 0 0 0 6847 31 0 0 18 0 22 0 563168396 10806046720 1216602 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 268672478720 0 0 0 16800975 18446604468027634752 0 0 -1 1 0 0 0
[pid=22488/tid=22500] ppid=22486 vsize=10552780 CPUtime=0 cores=1,3,5,7
/proc/22488/task/22500/stat : 22500 (java) S 22486 22488 17058 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 563168396 10806046720 1216602 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 268672478105 0 4 0 16800975 18446604468027634752 0 0 -1 3 0 0 0
[pid=22488/tid=22501] ppid=22486 vsize=10552780 CPUtime=0 cores=1,3,5,7
/proc/22488/task/22501/stat : 22501 (java) S 22486 22488 17058 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 22 0 563168396 10806046720 1216602 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 268672478105 0 4 0 16800975 18446604468027634752 0 0 -1 3 0 0 0
[pid=22488/tid=22502] ppid=22486 vsize=10552780 CPUtime=0 cores=1,3,5,7
/proc/22488/task/22502/stat : 22502 (java) S 22486 22488 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563168399 10806046720 1216602 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 268672485809 0 4 0 16800975 18446604468027634752 0 0 -1 1 0 0 0
[pid=22488/tid=22503] ppid=22486 vsize=10552780 CPUtime=1.02 cores=1,3,5,7
/proc/22488/task/22503/stat : 22503 (java) S 22486 22488 17058 0 -1 4202560 2666 0 0 0 102 0 0 0 15 0 22 0 563168399 10806046720 1216602 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 268672478105 0 4 0 16800975 18446604468027634752 0 0 -1 5 0 0 0
[pid=22488/tid=22504] ppid=22486 vsize=10552780 CPUtime=1.41 cores=1,3,5,7
/proc/22488/task/22504/stat : 22504 (java) S 22486 22488 17058 0 -1 4202560 11241 0 0 0 140 1 0 0 16 0 22 0 563168399 10806046720 1216602 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 268672478105 0 4 0 16800975 18446604468027634752 0 0 -1 3 0 0 0
[pid=22488/tid=22505] ppid=22486 vsize=10552780 CPUtime=0 cores=1,3,5,7
/proc/22488/task/22505/stat : 22505 (java) S 22486 22488 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563168399 10806046720 1216602 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 268672478105 0 4 0 16800975 18446604468027634752 0 0 -1 1 0 0 0
[pid=22488/tid=22506] ppid=22486 vsize=10552780 CPUtime=0 cores=1,3,5,7
/proc/22488/task/22506/stat : 22506 (java) S 22486 22488 17058 0 -1 4202560 56 0 0 0 0 0 0 0 15 0 22 0 563168399 10806046720 1216602 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 268672478720 0 4 0 16800975 18446604468027634752 0 0 -1 5 0 0 0
[pid=22488/tid=22524] ppid=22486 vsize=10552780 CPUtime=0 cores=1,3,5,7
/proc/22488/task/22524/stat : 22524 (java) S 22486 22488 17058 0 -1 4202560 0 0 0 0 0 0 0 0 17 0 22 0 563168742 10806046720 1216602 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 268672478720 0 4 0 16800975 18446604468027634752 0 0 -1 5 0 0 0
[pid=22488/tid=22614] ppid=22486 vsize=10552780 CPUtime=742.43 cores=1,3,5,7
/proc/22488/task/22614/stat : 22614 (java) R 22486 22488 17058 0 -1 4202560 33503 0 0 0 74238 5 0 0 25 0 22 0 563181247 10806046720 1216602 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 46912505883401 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=22488/tid=22615] ppid=22486 vsize=10552780 CPUtime=742.41 cores=1,3,5,7
/proc/22488/task/22615/stat : 22615 (java) R 22486 22488 17058 0 -1 4202560 340068 0 0 0 74199 42 0 0 25 0 22 0 563181247 10806046720 1216602 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 46912506130695 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=22488/tid=22616] ppid=22486 vsize=10552780 CPUtime=0 cores=1,3,5,7
/proc/22488/task/22616/stat : 22616 (java) S 22486 22488 17058 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 563181247 10806046720 1216602 33554432000 1073741824 1073778376 140737276725072 18446744073709551615 268672478720 0 4 0 16800975 18446604468027634752 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 10552780
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+934.826 s]
/proc/loadavg: 4.15 3.97 3.77 4/531 22645
/proc/meminfo: memFree=12054448/32951124 swapFree=46575304/67111528
[pid=22488] ppid=22486 vsize=0 CPUtime=1800.32 cores=1,3,5,7
/proc/22488/stat : 22488 (java) Z 22486 22488 17058 0 -1 4203548 1230559 0 1 0 179873 159 0 0 17 0 2 0 563168392 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22488/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.32
Current children cumulated vsize (KiB) 0
[startup+934.901 s]
/proc/loadavg: 4.15 3.97 3.77 3/512 22649
/proc/meminfo: memFree=15999440/32951124 swapFree=46575304/67111528
[pid=22488] ppid=22486 vsize=0 CPUtime=1800.4 cores=1,3,5,7
/proc/22488/stat : 22488 (java) Z 22486 22488 17058 0 -1 4203548 1230559 0 1 0 179873 167 0 0 17 0 2 0 563168392 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22488/statm: 0 0 0 0 0 0 0
[pid=22488/tid=22649] ppid=22486 vsize=0 CPUtime=0.18 cores=1,3,5,7
/proc/22488/task/22649/stat : 22649 (java) R 22486 22488 17058 0 -1 4203588 9 0 0 0 3 15 0 0 20 0 2 0 563261865 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.4
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 934.935
CPU time (s): 1800.44
CPU user time (s): 1798.73
CPU system time (s): 1.70174
CPU usage (%): 192.573
Max. virtual memory (cumulated for all children) (KiB): 10552780
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.73
system time used= 1.70174
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1230559
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= 23587
involuntary context switches= 26815
runsolver used 4.51831 second user time and 11.3543 second system time
The end