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-3456379-1307640471/watcher-3456379-1307640471 -o /tmp/evaluation-result-3456379-1307640471/solver-3456379-1307640471 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456379-1307640471.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: 1.93 1.98 1.99 3/195 31358
/proc/meminfo: memFree=29764508/32950928 swapFree=67051096/67111528
[pid=31358] ppid=31356 vsize=24004 CPUtime=0 cores=1,3,5,7
/proc/31358/stat : 31358 (java) S 31356 31358 30485 0 -1 4202496 1139 0 0 0 0 0 0 0 18 0 2 0 954278411 24580096 877 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 251379349477 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/31358/statm: 6535 884 671 9 0 381 0
[pid=31358/tid=31359] ppid=31356 vsize=26088 CPUtime=0 cores=1,3,5,7
/proc/31358/task/31359/stat : 31359 (java) R 31356 31358 30485 0 -1 4202560 51 0 0 0 0 0 0 0 19 0 2 0 954278411 26714112 894 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 251367542789 0 0 4096 0 0 0 0 -1 3 0 0 0
[startup+0.0316981 s]
/proc/loadavg: 1.93 1.98 1.99 3/195 31358
/proc/meminfo: memFree=29764508/32950928 swapFree=67051096/67111528
[pid=31358] ppid=31356 vsize=10465424 CPUtime=0.02 cores=1,3,5,7
/proc/31358/stat : 31358 (java) S 31356 31358 30485 0 -1 4202496 10948 0 1 0 1 1 0 0 18 0 11 0 954278411 10716594176 10648 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 251379349477 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/31358/statm: 2616356 10648 1599 9 0 2607104 0
[pid=31358/tid=31359] ppid=31356 vsize=10465424 CPUtime=0.01 cores=1,3,5,7
/proc/31358/task/31359/stat : 31359 (java) R 31356 31358 30485 0 -1 4202560 9826 0 1 0 1 0 0 0 25 0 11 0 954278411 10716594176 10649 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 46912497374208 0 4 0 16784584 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10465424
[startup+0.100641 s]
/proc/loadavg: 1.93 1.98 1.99 3/195 31358
/proc/meminfo: memFree=29764508/32950928 swapFree=67051096/67111528
[pid=31358] ppid=31356 vsize=10540072 CPUtime=0.1 cores=1,3,5,7
/proc/31358/stat : 31358 (java) S 31356 31358 30485 0 -1 4202496 13088 0 1 0 9 1 0 0 18 0 18 0 954278411 10793033728 12766 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31358/statm: 2635018 12768 2093 9 0 2625752 0
[pid=31358/tid=31359] ppid=31356 vsize=10540072 CPUtime=0.09 cores=1,3,5,7
/proc/31358/task/31359/stat : 31359 (java) R 31356 31358 30485 0 -1 4202560 11159 0 1 0 8 1 0 0 18 0 18 0 954278411 10793033728 12768 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 251379373515 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) 10540072
[startup+0.300648 s]
/proc/loadavg: 1.93 1.98 1.99 3/195 31358
/proc/meminfo: memFree=29764508/32950928 swapFree=67051096/67111528
[pid=31358] ppid=31356 vsize=10540072 CPUtime=0.46 cores=1,3,5,7
/proc/31358/stat : 31358 (java) S 31356 31358 30485 0 -1 4202496 34909 0 1 0 43 3 0 0 18 0 18 0 954278411 10793033728 34102 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31358/statm: 2635018 34105 2200 9 0 2625752 0
[pid=31358/tid=31359] ppid=31356 vsize=10540072 CPUtime=0.29 cores=1,3,5,7
/proc/31358/task/31359/stat : 31359 (java) R 31356 31358 30485 0 -1 4202560 31577 0 1 0 26 3 0 0 18 0 18 0 954278411 10793033728 34106 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 46912505571547 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 10540072
[startup+0.700575 s]
/proc/loadavg: 1.93 1.98 1.99 3/195 31358
/proc/meminfo: memFree=29764508/32950928 swapFree=67051096/67111528
[pid=31358] ppid=31356 vsize=10540072 CPUtime=0.87 cores=1,3,5,7
/proc/31358/stat : 31358 (java) S 31356 31358 30485 0 -1 4202496 61281 0 1 0 81 6 0 0 18 0 18 0 954278411 10793033728 60474 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31358/statm: 2635018 60477 2200 9 0 2625752 0
[pid=31358/tid=31359] ppid=31356 vsize=10540072 CPUtime=0.68 cores=1,3,5,7
/proc/31358/task/31359/stat : 31359 (java) R 31356 31358 30485 0 -1 4202560 57949 0 1 0 63 5 0 0 18 0 18 0 954278411 10793033728 60478 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 46912505542829 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.87
Current children cumulated vsize (KiB) 10540072
[startup+1.50143 s]
/proc/loadavg: 1.93 1.98 1.99 3/213 31376
/proc/meminfo: memFree=29290468/32950928 swapFree=67051096/67111528
[pid=31358] ppid=31356 vsize=10540072 CPUtime=1.66 cores=1,3,5,7
/proc/31358/stat : 31358 (java) S 31356 31358 30485 0 -1 4202496 112151 0 1 0 154 12 0 0 18 0 18 0 954278411 10793033728 111344 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31358/statm: 2635018 111347 2200 9 0 2625752 0
[pid=31358/tid=31359] ppid=31356 vsize=10540072 CPUtime=1.48 cores=1,3,5,7
/proc/31358/task/31359/stat : 31359 (java) R 31356 31358 30485 0 -1 4202560 108819 0 1 0 136 12 0 0 19 0 18 0 954278411 10793033728 111348 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 46912505542814 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=31358/tid=31361] ppid=31356 vsize=10540072 CPUtime=0 cores=1,3,5,7
/proc/31358/task/31361/stat : 31361 (java) S 31356 31358 30485 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 954278413 10793033728 111350 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 251379362713 0 4 0 16800975 18446604467671262464 0 0 -1 1 0 0 0
[pid=31358/tid=31362] ppid=31356 vsize=10540072 CPUtime=0 cores=1,3,5,7
/proc/31358/task/31362/stat : 31362 (java) S 31356 31358 30485 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 954278413 10793033728 111351 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 251379362713 0 4 0 16800975 18446604467671262464 0 0 -1 1 0 0 0
[pid=31358/tid=31363] ppid=31356 vsize=10540072 CPUtime=0 cores=1,3,5,7
/proc/31358/task/31363/stat : 31363 (java) S 31356 31358 30485 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 954278413 10793033728 111353 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 251379362713 0 4 0 16800975 18446604467671262464 0 0 -1 1 0 0 0
[pid=31358/tid=31364] ppid=31356 vsize=10540072 CPUtime=0 cores=1,3,5,7
/proc/31358/task/31364/stat : 31364 (java) S 31356 31358 30485 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 954278413 10793033728 111354 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 251379362713 0 4 0 16800975 18446604467671262464 0 0 -1 1 0 0 0
[pid=31358/tid=31365] ppid=31356 vsize=10540072 CPUtime=0 cores=1,3,5,7
/proc/31358/task/31365/stat : 31365 (java) S 31356 31358 30485 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 954278413 10793033728 111356 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 251379362713 0 4 0 16800975 18446604467671262464 0 0 -1 1 0 0 0
[pid=31358/tid=31366] ppid=31356 vsize=10540072 CPUtime=0 cores=1,3,5,7
/proc/31358/task/31366/stat : 31366 (java) S 31356 31358 30485 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 954278413 10793033728 111358 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 251379362713 0 4 0 16800975 18446604467671262464 0 0 -1 1 0 0 0
[pid=31358/tid=31367] ppid=31356 vsize=10540072 CPUtime=0 cores=1,3,5,7
/proc/31358/task/31367/stat : 31367 (java) S 31356 31358 30485 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 954278413 10793033728 111359 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 251379362713 0 4 0 16800975 18446604467671262464 0 0 -1 1 0 0 0
[pid=31358/tid=31368] ppid=31356 vsize=10540072 CPUtime=0 cores=1,3,5,7
/proc/31358/task/31368/stat : 31368 (java) S 31356 31358 30485 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 954278413 10793033728 111361 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 251379362713 0 4 0 16800975 18446604467671262464 0 0 -1 1 0 0 0
[pid=31358/tid=31369] ppid=31356 vsize=10540072 CPUtime=0 cores=1,3,5,7
/proc/31358/task/31369/stat : 31369 (java) S 31356 31358 30485 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 954278414 10793033728 111362 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 251379363328 0 0 0 16800975 18446604467671262464 0 0 -1 1 0 0 0
[pid=31358/tid=31370] ppid=31356 vsize=10540072 CPUtime=0 cores=1,3,5,7
/proc/31358/task/31370/stat : 31370 (java) S 31356 31358 30485 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 954278414 10793033728 111364 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 251379362713 0 4 0 16800975 18446604467671262464 0 0 -1 1 0 0 0
[pid=31358/tid=31371] ppid=31356 vsize=10540072 CPUtime=0 cores=1,3,5,7
/proc/31358/task/31371/stat : 31371 (java) S 31356 31358 30485 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 954278414 10793033728 111365 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 251379362713 0 4 0 16800975 18446604467671262464 0 0 -1 1 0 0 0
[pid=31358/tid=31372] ppid=31356 vsize=10540072 CPUtime=0 cores=1,3,5,7
/proc/31358/task/31372/stat : 31372 (java) S 31356 31358 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 954278417 10793033728 111367 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 251379370417 0 4 0 16800975 18446604467671262464 0 0 -1 1 0 0 0
[pid=31358/tid=31373] ppid=31356 vsize=10540072 CPUtime=0.08 cores=1,3,5,7
/proc/31358/task/31373/stat : 31373 (java) S 31356 31358 30485 0 -1 4202560 1053 0 0 0 8 0 0 0 18 0 18 0 954278417 10793033728 111367 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 251379362713 0 4 0 16800975 18446604467671262464 0 0 -1 7 0 0 0
[pid=31358/tid=31374] ppid=31356 vsize=10540072 CPUtime=0.08 cores=1,3,5,7
/proc/31358/task/31374/stat : 31374 (java) S 31356 31358 30485 0 -1 4202560 1134 0 0 0 8 0 0 0 17 0 18 0 954278417 10793033728 111368 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 251379362713 0 4 0 16800975 18446604467671262464 0 0 -1 5 0 0 0
[pid=31358/tid=31375] ppid=31356 vsize=10540072 CPUtime=0 cores=1,3,5,7
/proc/31358/task/31375/stat : 31375 (java) S 31356 31358 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 954278417 10793033728 111370 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 251379362713 0 4 0 16800975 18446604467671262464 0 0 -1 1 0 0 0
[pid=31358/tid=31376] ppid=31356 vsize=10540072 CPUtime=0 cores=1,3,5,7
/proc/31358/task/31376/stat : 31376 (java) S 31356 31358 30485 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 954278417 10793033728 111371 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 251379363328 0 4 0 16800975 18446604467671262464 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.66
Current children cumulated vsize (KiB) 10540072
[startup+3.10113 s]
/proc/loadavg: 1.93 1.98 1.99 3/213 31377
/proc/meminfo: memFree=28817244/32950928 swapFree=67051096/67111528
[pid=31358] ppid=31356 vsize=10540072 CPUtime=3.27 cores=1,3,5,7
/proc/31358/stat : 31358 (java) S 31356 31358 30485 0 -1 4202496 215866 0 1 0 301 26 0 0 18 0 18 0 954278411 10793033728 215059 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31358/statm: 2635018 215062 2204 9 0 2625752 0
[pid=31358/tid=31359] ppid=31356 vsize=10540072 CPUtime=3.08 cores=1,3,5,7
/proc/31358/task/31359/stat : 31359 (java) R 31356 31358 30485 0 -1 4202560 212530 0 1 0 283 25 0 0 25 0 18 0 954278411 10793033728 215063 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 46912505574851 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=31358/tid=31361] ppid=31356 vsize=10540072 CPUtime=0 cores=1,3,5,7
/proc/31358/task/31361/stat : 31361 (java) S 31356 31358 30485 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 954278413 10793033728 215065 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 251379362713 0 4 0 16800975 18446604467671262464 0 0 -1 1 0 0 0
[pid=31358/tid=31362] ppid=31356 vsize=10540072 CPUtime=0 cores=1,3,5,7
/proc/31358/task/31362/stat : 31362 (java) S 31356 31358 30485 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 954278413 10793033728 215066 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 251379362713 0 4 0 16800975 18446604467671262464 0 0 -1 1 0 0 0
[pid=31358/tid=31363] ppid=31356 vsize=10540072 CPUtime=0 cores=1,3,5,7
/proc/31358/task/31363/stat : 31363 (java) S 31356 31358 30485 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 954278413 10793033728 215068 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 251379362713 0 4 0 16800975 18446604467671262464 0 0 -1 1 0 0 0
[pid=31358/tid=31364] ppid=31356 vsize=10540072 CPUtime=0 cores=1,3,5,7
/proc/31358/task/31364/stat : 31364 (java) S 31356 31358 30485 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 954278413 10793033728 215069 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 251379362713 0 4 0 16800975 18446604467671262464 0 0 -1 1 0 0 0
[pid=31358/tid=31365] ppid=31356 vsize=10540072 CPUtime=0 cores=1,3,5,7
/proc/31358/task/31365/stat : 31365 (java) S 31356 31358 30485 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 954278413 10793033728 215071 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 251379362713 0 4 0 16800975 18446604467671262464 0 0 -1 1 0 0 0
[pid=31358/tid=31366] ppid=31356 vsize=10540072 CPUtime=0 cores=1,3,5,7
/proc/31358/task/31366/stat : 31366 (java) S 31356 31358 30485 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 954278413 10793033728 215073 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 251379362713 0 4 0 16800975 18446604467671262464 0 0 -1 1 0 0 0
[pid=31358/tid=31367] ppid=31356 vsize=10540072 CPUtime=0 cores=1,3,5,7
/proc/31358/task/31367/stat : 31367 (java) S 31356 31358 30485 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 954278413 10793033728 215074 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 251379362713 0 4 0 16800975 18446604467671262464 0 0 -1 1 0 0 0
[pid=31358/tid=31368] ppid=31356 vsize=10540072 CPUtime=0 cores=1,3,5,7
/proc/31358/task/31368/stat : 31368 (java) S 31356 31358 30485 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 954278413 10793033728 215076 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 251379362713 0 4 0 16800975 18446604467671262464 0 0 -1 1 0 0 0
[pid=31358/tid=31369] ppid=31356 vsize=10540072 CPUtime=0 cores=1,3,5,7
/proc/31358/task/31369/stat : 31369 (java) S 31356 31358 30485 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 954278414 10793033728 215077 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 251379363328 0 0 0 16800975 18446604467671262464 0 0 -1 1 0 0 0
[pid=31358/tid=31370] ppid=31356 vsize=10540072 CPUtime=0 cores=1,3,5,7
/proc/31358/task/31370/stat : 31370 (java) S 31356 31358 30485 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 954278414 10793033728 215079 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 251379362713 0 4 0 16800975 18446604467671262464 0 0 -1 1 0 0 0
[pid=31358/tid=31371] ppid=31356 vsize=10540072 CPUtime=0 cores=1,3,5,7
/proc/31358/task/31371/stat : 31371 (java) S 31356 31358 30485 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 954278414 10793033728 215080 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 251379362713 0 4 0 16800975 18446604467671262464 0 0 -1 1 0 0 0
[pid=31358/tid=31372] ppid=31356 vsize=10540072 CPUtime=0 cores=1,3,5,7
/proc/31358/task/31372/stat : 31372 (java) S 31356 31358 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 954278417 10793033728 215082 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 251379370417 0 4 0 16800975 18446604467671262464 0 0 -1 1 0 0 0
[pid=31358/tid=31373] ppid=31356 vsize=10540072 CPUtime=0.09 cores=1,3,5,7
/proc/31358/task/31373/stat : 31373 (java) S 31356 31358 30485 0 -1 4202560 1057 0 0 0 9 0 0 0 15 0 18 0 954278417 10793033728 215083 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 251379362713 0 4 0 16800975 18446604467671262464 0 0 -1 7 0 0 0
[pid=31358/tid=31374] ppid=31356 vsize=10540072 CPUtime=0.08 cores=1,3,5,7
/proc/31358/task/31374/stat : 31374 (java) S 31356 31358 30485 0 -1 4202560 1134 0 0 0 8 0 0 0 17 0 18 0 954278417 10793033728 215085 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 251379362713 0 4 0 16800975 18446604467671262464 0 0 -1 5 0 0 0
[pid=31358/tid=31375] ppid=31356 vsize=10540072 CPUtime=0 cores=1,3,5,7
/proc/31358/task/31375/stat : 31375 (java) S 31356 31358 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 954278417 10793033728 215086 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 251379362713 0 4 0 16800975 18446604467671262464 0 0 -1 1 0 0 0
[pid=31358/tid=31376] ppid=31356 vsize=10540072 CPUtime=0 cores=1,3,5,7
/proc/31358/task/31376/stat : 31376 (java) S 31356 31358 30485 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 954278417 10793033728 215088 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 251379363328 0 4 0 16800975 18446604467671262464 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.27
Current children cumulated vsize (KiB) 10540072
[startup+6.30153 s]
/proc/loadavg: 1.93 1.98 1.99 3/213 31377
/proc/meminfo: memFree=27692136/32950928 swapFree=67051096/67111528
[pid=31358] ppid=31356 vsize=10549928 CPUtime=6.96 cores=1,3,5,7
/proc/31358/stat : 31358 (java) S 31356 31358 30485 0 -1 4202496 503838 0 1 0 639 57 0 0 18 0 18 0 954278411 10803126272 500975 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31358/statm: 2637482 500977 2218 9 0 2628216 0
[pid=31358/tid=31359] ppid=31356 vsize=10549928 CPUtime=6.29 cores=1,3,5,7
/proc/31358/task/31359/stat : 31359 (java) R 31356 31358 30485 0 -1 4202560 494814 0 1 0 574 55 0 0 25 0 18 0 954278411 10803126272 500979 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 46912505542814 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=31358/tid=31361] ppid=31356 vsize=10549928 CPUtime=0 cores=1,3,5,7
/proc/31358/task/31361/stat : 31361 (java) S 31356 31358 30485 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 954278413 10803126272 500982 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 251379362713 0 4 0 16800975 18446604467671262464 0 0 -1 1 0 0 0
[pid=31358/tid=31362] ppid=31356 vsize=10549928 CPUtime=0 cores=1,3,5,7
/proc/31358/task/31362/stat : 31362 (java) S 31356 31358 30485 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 954278413 10803126272 500992 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 251379362713 0 4 0 16800975 18446604467671262464 0 0 -1 1 0 0 0
[pid=31358/tid=31363] ppid=31356 vsize=10549928 CPUtime=0 cores=1,3,5,7
/proc/31358/task/31363/stat : 31363 (java) S 31356 31358 30485 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 954278413 10803126272 500994 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 251379362713 0 4 0 16800975 18446604467671262464 0 0 -1 1 0 0 0
[pid=31358/tid=31364] ppid=31356 vsize=10549928 CPUtime=0 cores=1,3,5,7
/proc/31358/task/31364/stat : 31364 (java) S 31356 31358 30485 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 954278413 10803126272 500994 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 251379362713 0 4 0 16800975 18446604467671262464 0 0 -1 1 0 0 0
[pid=31358/tid=31365] ppid=31356 vsize=10549928 CPUtime=0 cores=1,3,5,7
/proc/31358/task/31365/stat : 31365 (java) S 31356 31358 30485 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 954278413 10803126272 500996 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 251379362713 0 4 0 16800975 18446604467671262464 0 0 -1 1 0 0 0
[pid=31358/tid=31366] ppid=31356 vsize=10549928 CPUtime=0 cores=1,3,5,7
/proc/31358/task/31366/stat : 31366 (java) S 31356 31358 30485 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 954278413 10803126272 501002 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 251379362713 0 4 0 16800975 18446604467671262464 0 0 -1 1 0 0 0
[pid=31358/tid=31367] ppid=31356 vsize=10549928 CPUtime=0 cores=1,3,5,7
/proc/31358/task/31367/stat : 31367 (java) S 31356 31358 30485 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 954278413 10803126272 501004 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 251379362713 0 4 0 16800975 18446604467671262464 0 0 -1 1 0 0 0
[pid=31358/tid=31368] ppid=31356 vsize=10549928 CPUtime=0 cores=1,3,5,7
/proc/31358/task/31368/stat : 31368 (java) S 31356 31358 30485 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 954278413 10803126272 501004 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 251379362713 0 4 0 16800975 18446604467671262464 0 0 -1 1 0 0 0
[pid=31358/tid=31369] ppid=31356 vsize=10549928 CPUtime=0 cores=1,3,5,7
/proc/31358/task/31369/stat : 31369 (java) S 31356 31358 30485 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 18 0 954278414 10803126272 501005 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 251379363328 0 0 0 16800975 18446604467671262464 0 0 -1 1 0 0 0
[pid=31358/tid=31370] ppid=31356 vsize=10549928 CPUtime=0 cores=1,3,5,7
/proc/31358/task/31370/stat : 31370 (java) S 31356 31358 30485 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 954278414 10803126272 501008 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 251379362713 0 4 0 16800975 18446604467671262464 0 0 -1 1 0 0 0
[pid=31358/tid=31371] ppid=31356 vsize=10549928 CPUtime=0 cores=1,3,5,7
/proc/31358/task/31371/stat : 31371 (java) S 31356 31358 30485 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 954278414 10803126272 501011 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 251379362713 0 4 0 16800975 18446604467671262464 0 0 -1 1 0 0 0
[pid=31358/tid=31372] ppid=31356 vsize=10549928 CPUtime=0 cores=1,3,5,7
/proc/31358/task/31372/stat : 31372 (java) S 31356 31358 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 954278417 10803126272 501013 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 251379370417 0 4 0 16800975 18446604467671262464 0 0 -1 1 0 0 0
[pid=31358/tid=31373] ppid=31356 vsize=10549928 CPUtime=0.33 cores=1,3,5,7
/proc/31358/task/31373/stat : 31373 (java) S 31356 31358 30485 0 -1 4202560 2417 0 0 0 33 0 0 0 15 0 18 0 954278417 10803126272 501015 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 251379362713 0 4 0 16800975 18446604467671262464 0 0 -1 3 0 0 0
[pid=31358/tid=31374] ppid=31356 vsize=10549928 CPUtime=0.31 cores=1,3,5,7
/proc/31358/task/31374/stat : 31374 (java) S 31356 31358 30485 0 -1 4202560 5460 0 0 0 31 0 0 0 15 0 18 0 954278417 10803126272 501017 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 251379362713 0 4 0 16800975 18446604467671262464 0 0 -1 5 0 0 0
[pid=31358/tid=31375] ppid=31356 vsize=10549928 CPUtime=0 cores=1,3,5,7
/proc/31358/task/31375/stat : 31375 (java) S 31356 31358 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 954278417 10803126272 501020 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 251379362713 0 4 0 16800975 18446604467671262464 0 0 -1 1 0 0 0
[pid=31358/tid=31376] ppid=31356 vsize=10549928 CPUtime=0 cores=1,3,5,7
/proc/31358/task/31376/stat : 31376 (java) S 31356 31358 30485 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 954278417 10803126272 501022 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 251379363328 0 4 0 16800975 18446604467671262464 0 0 -1 7 0 0 0
################
# More data... #
################
/proc/31358/task/31371/stat : 31371 (java) S 31356 31358 30485 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 954278414 10803113984 1553798 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 251379362713 0 4 0 16800975 18446604467671262464 0 0 -1 1 0 0 0
[pid=31358/tid=31372] ppid=31356 vsize=10549916 CPUtime=0 cores=1,3,5,7
/proc/31358/task/31372/stat : 31372 (java) S 31356 31358 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954278417 10803113984 1553798 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 251379370417 0 4 0 16800975 18446604467671262464 0 0 -1 1 0 0 0
[pid=31358/tid=31373] ppid=31356 vsize=10549916 CPUtime=1.51 cores=1,3,5,7
/proc/31358/task/31373/stat : 31373 (java) S 31356 31358 30485 0 -1 4202560 10493 0 0 0 150 1 0 0 15 0 19 0 954278417 10803113984 1553798 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 251379362713 0 4 0 16800975 18446604467671262464 0 0 -1 3 0 0 0
[pid=31358/tid=31374] ppid=31356 vsize=10549916 CPUtime=0.95 cores=1,3,5,7
/proc/31358/task/31374/stat : 31374 (java) S 31356 31358 30485 0 -1 4202560 6821 0 0 0 95 0 0 0 15 0 19 0 954278417 10803113984 1553798 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 251379362713 0 4 0 16800975 18446604467671262464 0 0 -1 5 0 0 0
[pid=31358/tid=31375] ppid=31356 vsize=10549916 CPUtime=0 cores=1,3,5,7
/proc/31358/task/31375/stat : 31375 (java) S 31356 31358 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954278417 10803113984 1553798 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 251379362713 0 4 0 16800975 18446604467671262464 0 0 -1 1 0 0 0
[pid=31358/tid=31376] ppid=31356 vsize=10549916 CPUtime=0 cores=1,3,5,7
/proc/31358/task/31376/stat : 31376 (java) S 31356 31358 30485 0 -1 4202560 92 0 0 0 0 0 0 0 15 0 19 0 954278417 10803113984 1553798 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 251379363328 0 4 0 16800975 18446604467671262464 0 0 -1 5 0 0 0
[pid=31358/tid=31378] ppid=31356 vsize=10549916 CPUtime=0 cores=1,3,5,7
/proc/31358/task/31378/stat : 31378 (java) S 31356 31358 30485 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 954280844 10803113984 1553798 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 251379363328 0 4 0 16800975 18446604467671262464 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1638.87
Current children cumulated vsize (KiB) 10549916
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 31425
/proc/meminfo: memFree=21620896/32950928 swapFree=67051096/67111528
[pid=31358] ppid=31356 vsize=10549916 CPUtime=1699.57 cores=1,3,5,7
/proc/31358/stat : 31358 (java) S 31356 31358 30485 0 -1 4202496 1592866 0 1 0 169750 207 0 0 18 0 19 0 954278411 10803113984 1557462 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31358/statm: 2637479 1557462 2266 9 0 2628213 0
[pid=31358/tid=31359] ppid=31356 vsize=10549916 CPUtime=1638.04 cores=1,3,5,7
/proc/31358/task/31359/stat : 31359 (java) R 31356 31358 30485 0 -1 4202560 651324 0 1 0 163728 76 0 0 25 0 19 0 954278411 10803113984 1557462 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 46912506055954 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=31358/tid=31361] ppid=31356 vsize=10549916 CPUtime=6.27 cores=1,3,5,7
/proc/31358/task/31361/stat : 31361 (java) S 31356 31358 30485 0 -1 4202560 125324 0 0 0 612 15 0 0 16 0 19 0 954278413 10803113984 1557462 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 251379362713 0 4 0 16800975 18446604467671262464 0 0 -1 1 0 0 0
[pid=31358/tid=31362] ppid=31356 vsize=10549916 CPUtime=6.84 cores=1,3,5,7
/proc/31358/task/31362/stat : 31362 (java) S 31356 31358 30485 0 -1 4202560 127541 0 0 0 667 17 0 0 16 0 19 0 954278413 10803113984 1557462 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 251379362713 0 4 0 16800975 18446604467671262464 0 0 -1 3 0 0 0
[pid=31358/tid=31363] ppid=31356 vsize=10549916 CPUtime=6.01 cores=1,3,5,7
/proc/31358/task/31363/stat : 31363 (java) S 31356 31358 30485 0 -1 4202560 120866 0 0 0 584 17 0 0 16 0 19 0 954278413 10803113984 1557462 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 251379362713 0 4 0 16800975 18446604467671262464 0 0 -1 7 0 0 0
[pid=31358/tid=31364] ppid=31356 vsize=10549916 CPUtime=6.12 cores=1,3,5,7
/proc/31358/task/31364/stat : 31364 (java) S 31356 31358 30485 0 -1 4202560 136155 0 0 0 595 17 0 0 16 0 19 0 954278413 10803113984 1557462 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 251379362713 0 4 0 16800975 18446604467671262464 0 0 -1 3 0 0 0
[pid=31358/tid=31365] ppid=31356 vsize=10549916 CPUtime=5.58 cores=1,3,5,7
/proc/31358/task/31365/stat : 31365 (java) S 31356 31358 30485 0 -1 4202560 112211 0 0 0 545 13 0 0 15 0 19 0 954278413 10803113984 1557462 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 251379362713 0 4 0 16800975 18446604467671262464 0 0 -1 7 0 0 0
[pid=31358/tid=31366] ppid=31356 vsize=10549916 CPUtime=5.22 cores=1,3,5,7
/proc/31358/task/31366/stat : 31366 (java) S 31356 31358 30485 0 -1 4202560 115897 0 0 0 507 15 0 0 16 0 19 0 954278413 10803113984 1557462 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 251379362713 0 4 0 16800975 18446604467671262464 0 0 -1 5 0 0 0
[pid=31358/tid=31367] ppid=31356 vsize=10549916 CPUtime=5.4 cores=1,3,5,7
/proc/31358/task/31367/stat : 31367 (java) S 31356 31358 30485 0 -1 4202560 90419 0 0 0 528 12 0 0 15 0 19 0 954278413 10803113984 1557462 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 251379362713 0 4 0 16800975 18446604467671262464 0 0 -1 5 0 0 0
[pid=31358/tid=31368] ppid=31356 vsize=10549916 CPUtime=5.26 cores=1,3,5,7
/proc/31358/task/31368/stat : 31368 (java) S 31356 31358 30485 0 -1 4202560 80516 0 0 0 515 11 0 0 16 0 19 0 954278413 10803113984 1557462 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 251379362713 0 4 0 16800975 18446604467671262464 0 0 -1 1 0 0 0
[pid=31358/tid=31369] ppid=31356 vsize=10549916 CPUtime=12.24 cores=1,3,5,7
/proc/31358/task/31369/stat : 31369 (java) S 31356 31358 30485 0 -1 4202560 14053 0 0 0 1219 5 0 0 15 0 19 0 954278414 10803113984 1557462 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 251379363328 0 0 0 16800975 18446604467671262464 0 0 -1 3 0 0 0
[pid=31358/tid=31370] ppid=31356 vsize=10549916 CPUtime=0 cores=1,3,5,7
/proc/31358/task/31370/stat : 31370 (java) S 31356 31358 30485 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 954278414 10803113984 1557462 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 251379362713 0 4 0 16800975 18446604467671262464 0 0 -1 1 0 0 0
[pid=31358/tid=31371] ppid=31356 vsize=10549916 CPUtime=0 cores=1,3,5,7
/proc/31358/task/31371/stat : 31371 (java) S 31356 31358 30485 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 954278414 10803113984 1557462 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 251379362713 0 4 0 16800975 18446604467671262464 0 0 -1 1 0 0 0
[pid=31358/tid=31372] ppid=31356 vsize=10549916 CPUtime=0 cores=1,3,5,7
/proc/31358/task/31372/stat : 31372 (java) S 31356 31358 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954278417 10803113984 1557462 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 251379370417 0 4 0 16800975 18446604467671262464 0 0 -1 1 0 0 0
[pid=31358/tid=31373] ppid=31356 vsize=10549916 CPUtime=1.52 cores=1,3,5,7
/proc/31358/task/31373/stat : 31373 (java) S 31356 31358 30485 0 -1 4202560 10494 0 0 0 151 1 0 0 15 0 19 0 954278417 10803113984 1557462 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 251379362713 0 4 0 16800975 18446604467671262464 0 0 -1 3 0 0 0
[pid=31358/tid=31374] ppid=31356 vsize=10549916 CPUtime=0.95 cores=1,3,5,7
/proc/31358/task/31374/stat : 31374 (java) S 31356 31358 30485 0 -1 4202560 6821 0 0 0 95 0 0 0 15 0 19 0 954278417 10803113984 1557462 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 251379362713 0 4 0 16800975 18446604467671262464 0 0 -1 5 0 0 0
[pid=31358/tid=31375] ppid=31356 vsize=10549916 CPUtime=0 cores=1,3,5,7
/proc/31358/task/31375/stat : 31375 (java) S 31356 31358 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954278417 10803113984 1557462 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 251379362713 0 4 0 16800975 18446604467671262464 0 0 -1 1 0 0 0
[pid=31358/tid=31376] ppid=31356 vsize=10549916 CPUtime=0 cores=1,3,5,7
/proc/31358/task/31376/stat : 31376 (java) S 31356 31358 30485 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 19 0 954278417 10803113984 1557462 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 251379363328 0 4 0 16800975 18446604467671262464 0 0 -1 5 0 0 0
[pid=31358/tid=31378] ppid=31356 vsize=10549916 CPUtime=0 cores=1,3,5,7
/proc/31358/task/31378/stat : 31378 (java) S 31356 31358 30485 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 954280844 10803113984 1557462 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 251379363328 0 4 0 16800975 18446604467671262464 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1699.57
Current children cumulated vsize (KiB) 10549916
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 31426
/proc/meminfo: memFree=21595652/32950928 swapFree=67051096/67111528
[pid=31358] ppid=31356 vsize=10549916 CPUtime=1760.32 cores=1,3,5,7
/proc/31358/stat : 31358 (java) S 31356 31358 30485 0 -1 4202496 1596747 0 1 0 175824 208 0 0 18 0 19 0 954278411 10803113984 1561165 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31358/statm: 2637479 1561165 2266 9 0 2628213 0
[pid=31358/tid=31359] ppid=31356 vsize=10549916 CPUtime=1697.77 cores=1,3,5,7
/proc/31358/task/31359/stat : 31359 (java) R 31356 31358 30485 0 -1 4202560 651336 0 1 0 169701 76 0 0 25 0 19 0 954278411 10803113984 1561165 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 46912506056556 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=31358/tid=31361] ppid=31356 vsize=10549916 CPUtime=6.36 cores=1,3,5,7
/proc/31358/task/31361/stat : 31361 (java) S 31356 31358 30485 0 -1 4202560 125532 0 0 0 621 15 0 0 15 0 19 0 954278413 10803113984 1561165 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 251379362713 0 4 0 16800975 18446604467671262464 0 0 -1 3 0 0 0
[pid=31358/tid=31362] ppid=31356 vsize=10549916 CPUtime=6.99 cores=1,3,5,7
/proc/31358/task/31362/stat : 31362 (java) S 31356 31358 30485 0 -1 4202560 128215 0 0 0 682 17 0 0 16 0 19 0 954278413 10803113984 1561165 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 251379362713 0 4 0 16800975 18446604467671262464 0 0 -1 5 0 0 0
[pid=31358/tid=31363] ppid=31356 vsize=10549916 CPUtime=6.13 cores=1,3,5,7
/proc/31358/task/31363/stat : 31363 (java) S 31356 31358 30485 0 -1 4202560 121264 0 0 0 595 18 0 0 16 0 19 0 954278413 10803113984 1561165 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 251379362713 0 4 0 16800975 18446604467671262464 0 0 -1 7 0 0 0
[pid=31358/tid=31364] ppid=31356 vsize=10549916 CPUtime=6.27 cores=1,3,5,7
/proc/31358/task/31364/stat : 31364 (java) S 31356 31358 30485 0 -1 4202560 136656 0 0 0 609 18 0 0 16 0 19 0 954278413 10803113984 1561165 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 251379362713 0 4 0 16800975 18446604467671262464 0 0 -1 1 0 0 0
[pid=31358/tid=31365] ppid=31356 vsize=10549916 CPUtime=5.74 cores=1,3,5,7
/proc/31358/task/31365/stat : 31365 (java) S 31356 31358 30485 0 -1 4202560 112914 0 0 0 561 13 0 0 15 0 19 0 954278413 10803113984 1561165 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 251379362713 0 4 0 16800975 18446604467671262464 0 0 -1 1 0 0 0
[pid=31358/tid=31366] ppid=31356 vsize=10549916 CPUtime=5.36 cores=1,3,5,7
/proc/31358/task/31366/stat : 31366 (java) S 31356 31358 30485 0 -1 4202560 116239 0 0 0 521 15 0 0 16 0 19 0 954278413 10803113984 1561165 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 251379362713 0 4 0 16800975 18446604467671262464 0 0 -1 5 0 0 0
[pid=31358/tid=31367] ppid=31356 vsize=10549916 CPUtime=5.52 cores=1,3,5,7
/proc/31358/task/31367/stat : 31367 (java) S 31356 31358 30485 0 -1 4202560 91076 0 0 0 540 12 0 0 15 0 19 0 954278413 10803113984 1561165 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 251379362713 0 4 0 16800975 18446604467671262464 0 0 -1 7 0 0 0
[pid=31358/tid=31368] ppid=31356 vsize=10549916 CPUtime=5.36 cores=1,3,5,7
/proc/31358/task/31368/stat : 31368 (java) S 31356 31358 30485 0 -1 4202560 80894 0 0 0 525 11 0 0 16 0 19 0 954278413 10803113984 1561165 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 251379362713 0 4 0 16800975 18446604467671262464 0 0 -1 3 0 0 0
[pid=31358/tid=31369] ppid=31356 vsize=10549916 CPUtime=12.24 cores=1,3,5,7
/proc/31358/task/31369/stat : 31369 (java) S 31356 31358 30485 0 -1 4202560 14057 0 0 0 1219 5 0 0 15 0 19 0 954278414 10803113984 1561165 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 251379363328 0 0 0 16800975 18446604467671262464 0 0 -1 3 0 0 0
[pid=31358/tid=31370] ppid=31356 vsize=10549916 CPUtime=0 cores=1,3,5,7
/proc/31358/task/31370/stat : 31370 (java) S 31356 31358 30485 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 954278414 10803113984 1561165 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 251379362713 0 4 0 16800975 18446604467671262464 0 0 -1 1 0 0 0
[pid=31358/tid=31371] ppid=31356 vsize=10549916 CPUtime=0 cores=1,3,5,7
/proc/31358/task/31371/stat : 31371 (java) S 31356 31358 30485 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 954278414 10803113984 1561165 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 251379362713 0 4 0 16800975 18446604467671262464 0 0 -1 1 0 0 0
[pid=31358/tid=31372] ppid=31356 vsize=10549916 CPUtime=0 cores=1,3,5,7
/proc/31358/task/31372/stat : 31372 (java) S 31356 31358 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954278417 10803113984 1561165 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 251379370417 0 4 0 16800975 18446604467671262464 0 0 -1 1 0 0 0
[pid=31358/tid=31373] ppid=31356 vsize=10549916 CPUtime=1.52 cores=1,3,5,7
/proc/31358/task/31373/stat : 31373 (java) S 31356 31358 30485 0 -1 4202560 10494 0 0 0 151 1 0 0 15 0 19 0 954278417 10803113984 1561165 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 251379362713 0 4 0 16800975 18446604467671262464 0 0 -1 3 0 0 0
[pid=31358/tid=31374] ppid=31356 vsize=10549916 CPUtime=0.95 cores=1,3,5,7
/proc/31358/task/31374/stat : 31374 (java) S 31356 31358 30485 0 -1 4202560 6821 0 0 0 95 0 0 0 15 0 19 0 954278417 10803113984 1561165 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 251379362713 0 4 0 16800975 18446604467671262464 0 0 -1 5 0 0 0
[pid=31358/tid=31375] ppid=31356 vsize=10549916 CPUtime=0 cores=1,3,5,7
/proc/31358/task/31375/stat : 31375 (java) S 31356 31358 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954278417 10803113984 1561165 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 251379362713 0 4 0 16800975 18446604467671262464 0 0 -1 1 0 0 0
[pid=31358/tid=31376] ppid=31356 vsize=10549916 CPUtime=0 cores=1,3,5,7
/proc/31358/task/31376/stat : 31376 (java) S 31356 31358 30485 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 954278417 10803113984 1561165 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 251379363328 0 4 0 16800975 18446604467671262464 0 0 -1 3 0 0 0
[pid=31358/tid=31378] ppid=31356 vsize=10549916 CPUtime=0 cores=1,3,5,7
/proc/31358/task/31378/stat : 31378 (java) S 31356 31358 30485 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 954280844 10803113984 1561165 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 251379363328 0 4 0 16800975 18446604467671262464 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1760.32
Current children cumulated vsize (KiB) 10549916
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1761.6 s]
/proc/loadavg: 2.18 2.06 2.02 3/214 31427
/proc/meminfo: memFree=21581984/32950928 swapFree=67051096/67111528
[pid=31358] ppid=31356 vsize=10549916 CPUtime=1800.07 cores=1,3,5,7
/proc/31358/stat : 31358 (java) S 31356 31358 30485 0 -1 4202496 1598817 0 1 0 179799 208 0 0 18 0 19 0 954278411 10803113984 1563145 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31358/statm: 2637479 1563145 2266 9 0 2628213 0
[pid=31358/tid=31359] ppid=31356 vsize=10549916 CPUtime=1736.91 cores=1,3,5,7
/proc/31358/task/31359/stat : 31359 (java) R 31356 31358 30485 0 -1 4202560 651343 0 1 0 173615 76 0 0 25 0 19 0 954278411 10803113984 1563145 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 46912506056623 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=31358/tid=31361] ppid=31356 vsize=10549916 CPUtime=6.45 cores=1,3,5,7
/proc/31358/task/31361/stat : 31361 (java) S 31356 31358 30485 0 -1 4202560 125910 0 0 0 630 15 0 0 16 0 19 0 954278413 10803113984 1563145 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 251379362713 0 4 0 16800975 18446604467671262464 0 0 -1 5 0 0 0
[pid=31358/tid=31362] ppid=31356 vsize=10549916 CPUtime=7.05 cores=1,3,5,7
/proc/31358/task/31362/stat : 31362 (java) S 31356 31358 30485 0 -1 4202560 128365 0 0 0 688 17 0 0 16 0 19 0 954278413 10803113984 1563145 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 251379362713 0 4 0 16800975 18446604467671262464 0 0 -1 7 0 0 0
[pid=31358/tid=31363] ppid=31356 vsize=10549916 CPUtime=6.22 cores=1,3,5,7
/proc/31358/task/31363/stat : 31363 (java) S 31356 31358 30485 0 -1 4202560 121609 0 0 0 604 18 0 0 15 0 19 0 954278413 10803113984 1563145 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 251379362713 0 4 0 16800975 18446604467671262464 0 0 -1 3 0 0 0
[pid=31358/tid=31364] ppid=31356 vsize=10549916 CPUtime=6.35 cores=1,3,5,7
/proc/31358/task/31364/stat : 31364 (java) S 31356 31358 30485 0 -1 4202560 136860 0 0 0 617 18 0 0 16 0 19 0 954278413 10803113984 1563145 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 251379362713 0 4 0 16800975 18446604467671262464 0 0 -1 1 0 0 0
[pid=31358/tid=31365] ppid=31356 vsize=10549916 CPUtime=5.78 cores=1,3,5,7
/proc/31358/task/31365/stat : 31365 (java) S 31356 31358 30485 0 -1 4202560 113066 0 0 0 565 13 0 0 16 0 19 0 954278413 10803113984 1563145 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 251379362713 0 4 0 16800975 18446604467671262464 0 0 -1 1 0 0 0
[pid=31358/tid=31366] ppid=31356 vsize=10549916 CPUtime=5.45 cores=1,3,5,7
/proc/31358/task/31366/stat : 31366 (java) S 31356 31358 30485 0 -1 4202560 116513 0 0 0 530 15 0 0 16 0 19 0 954278413 10803113984 1563145 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 251379362713 0 4 0 16800975 18446604467671262464 0 0 -1 5 0 0 0
[pid=31358/tid=31367] ppid=31356 vsize=10549916 CPUtime=5.57 cores=1,3,5,7
/proc/31358/task/31367/stat : 31367 (java) S 31356 31358 30485 0 -1 4202560 91367 0 0 0 545 12 0 0 16 0 19 0 954278413 10803113984 1563145 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 251379362713 0 4 0 16800975 18446604467671262464 0 0 -1 7 0 0 0
[pid=31358/tid=31368] ppid=31356 vsize=10549916 CPUtime=5.46 cores=1,3,5,7
/proc/31358/task/31368/stat : 31368 (java) S 31356 31358 30485 0 -1 4202560 81159 0 0 0 535 11 0 0 16 0 19 0 954278413 10803113984 1563145 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 251379362713 0 4 0 16800975 18446604467671262464 0 0 -1 3 0 0 0
[pid=31358/tid=31369] ppid=31356 vsize=10549916 CPUtime=12.24 cores=1,3,5,7
/proc/31358/task/31369/stat : 31369 (java) S 31356 31358 30485 0 -1 4202560 14059 0 0 0 1219 5 0 0 15 0 19 0 954278414 10803113984 1563145 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 251379363328 0 0 0 16800975 18446604467671262464 0 0 -1 3 0 0 0
[pid=31358/tid=31370] ppid=31356 vsize=10549916 CPUtime=0 cores=1,3,5,7
/proc/31358/task/31370/stat : 31370 (java) S 31356 31358 30485 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 954278414 10803113984 1563145 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 251379362713 0 4 0 16800975 18446604467671262464 0 0 -1 1 0 0 0
[pid=31358/tid=31371] ppid=31356 vsize=10549916 CPUtime=0 cores=1,3,5,7
/proc/31358/task/31371/stat : 31371 (java) S 31356 31358 30485 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 954278414 10803113984 1563145 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 251379362713 0 4 0 16800975 18446604467671262464 0 0 -1 1 0 0 0
[pid=31358/tid=31372] ppid=31356 vsize=10549916 CPUtime=0 cores=1,3,5,7
/proc/31358/task/31372/stat : 31372 (java) S 31356 31358 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954278417 10803113984 1563145 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 251379370417 0 4 0 16800975 18446604467671262464 0 0 -1 1 0 0 0
[pid=31358/tid=31373] ppid=31356 vsize=10549916 CPUtime=1.52 cores=1,3,5,7
/proc/31358/task/31373/stat : 31373 (java) S 31356 31358 30485 0 -1 4202560 10494 0 0 0 151 1 0 0 15 0 19 0 954278417 10803113984 1563145 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 251379362713 0 4 0 16800975 18446604467671262464 0 0 -1 3 0 0 0
[pid=31358/tid=31374] ppid=31356 vsize=10549916 CPUtime=0.95 cores=1,3,5,7
/proc/31358/task/31374/stat : 31374 (java) S 31356 31358 30485 0 -1 4202560 6821 0 0 0 95 0 0 0 15 0 19 0 954278417 10803113984 1563145 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 251379362713 0 4 0 16800975 18446604467671262464 0 0 -1 5 0 0 0
[pid=31358/tid=31375] ppid=31356 vsize=10549916 CPUtime=0 cores=1,3,5,7
/proc/31358/task/31375/stat : 31375 (java) S 31356 31358 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954278417 10803113984 1563145 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 251379362713 0 4 0 16800975 18446604467671262464 0 0 -1 1 0 0 0
[pid=31358/tid=31376] ppid=31356 vsize=10549916 CPUtime=0 cores=1,3,5,7
/proc/31358/task/31376/stat : 31376 (java) S 31356 31358 30485 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 954278417 10803113984 1563145 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 251379363328 0 4 0 16800975 18446604467671262464 0 0 -1 3 0 0 0
[pid=31358/tid=31378] ppid=31356 vsize=10549916 CPUtime=0 cores=1,3,5,7
/proc/31358/task/31378/stat : 31378 (java) S 31356 31358 30485 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 954280844 10803113984 1563145 33554432000 1073741824 1073778376 140734586207136 18446744073709551615 251379363328 0 4 0 16800975 18446604467671262464 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 10549916
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1761.8 s]
/proc/loadavg: 2.18 2.06 2.02 3/214 31427
/proc/meminfo: memFree=21581984/32950928 swapFree=67051096/67111528
[pid=31358] ppid=31356 vsize=0 CPUtime=1800.27 cores=1,3,5,7
/proc/31358/stat : 31358 (java) Z 31356 31358 30485 0 -1 4203548 1598848 0 1 0 179803 224 0 0 17 0 2 0 954278411 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31358/statm: 0 0 0 0 0 0 0
[pid=31358/tid=31375] ppid=31356 vsize=0 CPUtime=0.16 cores=1,3,5,7
/proc/31358/task/31375/stat : 31375 (java) R 31356 31358 30485 0 -1 4203588 1 0 0 0 0 16 0 0 18 0 2 0 954278417 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.27
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1761.86
CPU time (s): 1800.34
CPU user time (s): 1798.04
CPU system time (s): 2.30665
CPU usage (%): 102.184
Max. virtual memory (cumulated for all children) (KiB): 10576904
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.04
system time used= 2.30665
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1598848
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= 43994
involuntary context switches= 45634
runsolver used 3.05653 second user time and 6.599 second system time
The end