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-3456971-1307212811/watcher-3456971-1307212811 -o /tmp/evaluation-result-3456971-1307212811/solver-3456971-1307212811 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456971-1307212811.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.12 2.05 2.01 3/532 20580
/proc/meminfo: memFree=15662040/32950940 swapFree=67111364/67111528
[pid=20580] ppid=20578 vsize=35788 CPUtime=0 cores=0,2,4,6
/proc/20580/stat : 20580 (java) S 20578 20580 19289 0 -1 4202496 1317 0 0 0 0 0 0 0 25 0 2 0 911511830 36646912 1018 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 216000395237 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/20580/statm: 8947 1018 782 9 0 386 0
[pid=20580/tid=20581] ppid=20578 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/20580/task/20581/stat : 20581 (java) R 20578 20580 19289 0 -1 4202560 5014 0 1 0 0 0 0 0 25 0 2 0 911511831 10694979584 5830 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 215988286523 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.116989 s]
/proc/loadavg: 2.12 2.05 2.01 3/532 20580
/proc/meminfo: memFree=15662040/32950940 swapFree=67111364/67111528
[pid=20580] ppid=20578 vsize=10539888 CPUtime=0.13 cores=0,2,4,6
/proc/20580/stat : 20580 (java) S 20578 20580 19289 0 -1 4202496 13189 0 1 0 11 2 0 0 25 0 18 0 911511830 10792845312 12885 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/20580/statm: 2634972 12886 2133 9 0 2625706 0
[pid=20580/tid=20581] ppid=20578 vsize=10539888 CPUtime=0.09 cores=0,2,4,6
/proc/20580/task/20581/stat : 20581 (java) R 20578 20580 19289 0 -1 4202560 11317 0 1 0 8 1 0 0 25 0 18 0 911511831 10792845312 12886 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 47562847062867 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 10539888
[startup+0.293107 s]
/proc/loadavg: 2.12 2.05 2.01 3/532 20580
/proc/meminfo: memFree=15662040/32950940 swapFree=67111364/67111528
[pid=20580] ppid=20578 vsize=10561116 CPUtime=1.19 cores=0,2,4,6
/proc/20580/stat : 20580 (java) S 20578 20580 19289 0 -1 4202496 32330 0 1 0 116 3 0 0 25 0 19 0 911511830 10814582784 29485 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/20580/statm: 2640279 29485 2216 9 0 2631013 0
[pid=20580/tid=20581] ppid=20578 vsize=10561116 CPUtime=0.52 cores=0,2,4,6
/proc/20580/task/20581/stat : 20581 (java) R 20578 20580 19289 0 -1 4202560 22396 0 1 0 50 2 0 0 18 0 19 0 911511831 10814582784 29486 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 46912505660618 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.19
Current children cumulated vsize (KiB) 10561116
[startup+0.551595 s]
/proc/loadavg: 2.12 2.05 2.01 3/532 20580
/proc/meminfo: memFree=15662040/32950940 swapFree=67111364/67111528
[pid=20580] ppid=20578 vsize=10561116 CPUtime=1.22 cores=0,2,4,6
/proc/20580/stat : 20580 (java) S 20578 20580 19289 0 -1 4202496 32980 0 1 0 118 4 0 0 25 0 19 0 911511830 10814582784 30136 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/20580/statm: 2640279 30138 2216 9 0 2631013 0
[pid=20580/tid=20581] ppid=20578 vsize=10561116 CPUtime=0.53 cores=0,2,4,6
/proc/20580/task/20581/stat : 20581 (java) R 20578 20580 19289 0 -1 4202560 22986 0 1 0 51 2 0 0 18 0 19 0 911511831 10814582784 30138 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 46912505536661 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 10561116
[startup+0.700597 s]
/proc/loadavg: 2.12 2.05 2.01 3/532 20580
/proc/meminfo: memFree=15662040/32950940 swapFree=67111364/67111528
[pid=20580] ppid=20578 vsize=10557652 CPUtime=1.63 cores=0,2,4,6
/proc/20580/stat : 20580 (java) S 20578 20580 19289 0 -1 4202496 44759 0 1 0 157 6 0 0 25 0 19 0 911511830 10811035648 39318 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/20580/statm: 2639413 39320 2218 9 0 2630147 0
[pid=20580/tid=20581] ppid=20578 vsize=10557652 CPUtime=0.68 cores=0,2,4,6
/proc/20580/task/20581/stat : 20581 (java) R 20578 20580 19289 0 -1 4202560 33129 0 1 0 64 4 0 0 18 0 19 0 911511831 10811035648 39322 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 46912505579605 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.63
Current children cumulated vsize (KiB) 10557652
[startup+1.50137 s]
/proc/loadavg: 2.12 2.05 2.01 4/551 20599
/proc/meminfo: memFree=15265344/32950940 swapFree=67111364/67111528
[pid=20580] ppid=20578 vsize=10557652 CPUtime=2.67 cores=0,2,4,6
/proc/20580/stat : 20580 (java) S 20578 20580 19289 0 -1 4202496 131308 0 1 0 252 15 0 0 25 0 19 0 911511830 10811035648 125093 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/20580/statm: 2639413 125096 2225 9 0 2630147 0
[pid=20580/tid=20581] ppid=20578 vsize=10557652 CPUtime=1.48 cores=0,2,4,6
/proc/20580/task/20581/stat : 20581 (java) R 20578 20580 19289 0 -1 4202560 118402 0 1 0 135 13 0 0 19 0 19 0 911511831 10811035648 125098 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 46912505560690 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20580/tid=20583] ppid=20578 vsize=10557652 CPUtime=0 cores=0,2,4,6
/proc/20580/task/20583/stat : 20583 (java) S 20578 20580 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911511832 10811035648 125101 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 216000408473 0 4 0 16800975 18446604450025853120 0 0 -1 6 0 0 0
[pid=20580/tid=20584] ppid=20578 vsize=10557652 CPUtime=0 cores=0,2,4,6
/proc/20580/task/20584/stat : 20584 (java) S 20578 20580 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911511832 10811035648 125103 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 216000408473 0 4 0 16800975 18446604450025853120 0 0 -1 6 0 0 0
[pid=20580/tid=20585] ppid=20578 vsize=10557652 CPUtime=0 cores=0,2,4,6
/proc/20580/task/20585/stat : 20585 (java) S 20578 20580 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911511832 10811035648 125105 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 216000408473 0 4 0 16800975 18446604450025853120 0 0 -1 6 0 0 0
[pid=20580/tid=20586] ppid=20578 vsize=10557652 CPUtime=0 cores=0,2,4,6
/proc/20580/task/20586/stat : 20586 (java) S 20578 20580 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911511832 10811035648 125107 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 216000408473 0 4 0 16800975 18446604450025853120 0 0 -1 6 0 0 0
[pid=20580/tid=20587] ppid=20578 vsize=10557652 CPUtime=0 cores=0,2,4,6
/proc/20580/task/20587/stat : 20587 (java) S 20578 20580 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911511832 10811035648 125109 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 216000408473 0 4 0 16800975 18446604450025853120 0 0 -1 6 0 0 0
[pid=20580/tid=20588] ppid=20578 vsize=10557652 CPUtime=0 cores=0,2,4,6
/proc/20580/task/20588/stat : 20588 (java) S 20578 20580 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911511832 10811035648 125112 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 216000408473 0 4 0 16800975 18446604450025853120 0 0 -1 6 0 0 0
[pid=20580/tid=20589] ppid=20578 vsize=10557652 CPUtime=0 cores=0,2,4,6
/proc/20580/task/20589/stat : 20589 (java) S 20578 20580 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911511832 10811035648 125114 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 216000408473 0 4 0 16800975 18446604450025853120 0 0 -1 6 0 0 0
[pid=20580/tid=20590] ppid=20578 vsize=10557652 CPUtime=0 cores=0,2,4,6
/proc/20580/task/20590/stat : 20590 (java) S 20578 20580 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911511832 10811035648 125116 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 216000408473 0 4 0 16800975 18446604450025853120 0 0 -1 6 0 0 0
[pid=20580/tid=20591] ppid=20578 vsize=10557652 CPUtime=0 cores=0,2,4,6
/proc/20580/task/20591/stat : 20591 (java) S 20578 20580 19289 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 911511833 10811035648 125119 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 216000409088 0 0 0 16800975 18446604450025853120 0 0 -1 2 0 0 0
[pid=20580/tid=20592] ppid=20578 vsize=10557652 CPUtime=0 cores=0,2,4,6
/proc/20580/task/20592/stat : 20592 (java) S 20578 20580 19289 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 911511834 10811035648 125120 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 216000408473 0 4 0 16800975 18446604450025853120 0 0 -1 2 0 0 0
[pid=20580/tid=20593] ppid=20578 vsize=10557652 CPUtime=0 cores=0,2,4,6
/proc/20580/task/20593/stat : 20593 (java) S 20578 20580 19289 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 911511834 10811035648 125122 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 216000408473 0 4 0 16800975 18446604450025853120 0 0 -1 2 0 0 0
[pid=20580/tid=20594] ppid=20578 vsize=10557652 CPUtime=0 cores=0,2,4,6
/proc/20580/task/20594/stat : 20594 (java) S 20578 20580 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911511836 10811035648 125126 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 216000416177 0 4 0 16800975 18446604450025853120 0 0 -1 2 0 0 0
[pid=20580/tid=20595] ppid=20578 vsize=10557652 CPUtime=0.65 cores=0,2,4,6
/proc/20580/task/20595/stat : 20595 (java) S 20578 20580 19289 0 -1 4202560 6180 0 0 0 65 0 0 0 15 0 19 0 911511836 10811035648 125130 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 216000408473 0 4 0 16800975 18446604450025853120 0 0 -1 2 0 0 0
[pid=20580/tid=20596] ppid=20578 vsize=10557652 CPUtime=0.51 cores=0,2,4,6
/proc/20580/task/20596/stat : 20596 (java) S 20578 20580 19289 0 -1 4202560 5571 0 0 0 51 0 0 0 20 0 19 0 911511836 10811035648 125134 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 216000408473 0 4 0 16800975 18446604450025853120 0 0 -1 6 0 0 0
[pid=20580/tid=20597] ppid=20578 vsize=10557652 CPUtime=0 cores=0,2,4,6
/proc/20580/task/20597/stat : 20597 (java) S 20578 20580 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911511836 10811035648 125138 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 216000408473 0 4 0 16800975 18446604450025853120 0 0 -1 2 0 0 0
[pid=20580/tid=20598] ppid=20578 vsize=10557652 CPUtime=0 cores=0,2,4,6
/proc/20580/task/20598/stat : 20598 (java) S 20578 20580 19289 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 911511836 10811035648 125139 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 216000409088 0 4 0 16800975 18446604450025853120 0 0 -1 6 0 0 0
[pid=20580/tid=20599] ppid=20578 vsize=10557652 CPUtime=0 cores=0,2,4,6
/proc/20580/task/20599/stat : 20599 (java) S 20578 20580 19289 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 911511847 10811035648 125140 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 216000409088 0 4 0 16800975 18446604450025853120 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.67
Current children cumulated vsize (KiB) 10557652
[startup+3.10122 s]
/proc/loadavg: 2.12 2.05 2.01 3/551 20599
/proc/meminfo: memFree=14780876/32950940 swapFree=67111364/67111528
[pid=20580] ppid=20578 vsize=10557652 CPUtime=4.3 cores=0,2,4,6
/proc/20580/stat : 20580 (java) S 20578 20580 19289 0 -1 4202496 298550 0 1 0 395 35 0 0 25 0 19 0 911511830 10811035648 292333 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/20580/statm: 2639413 292340 2225 9 0 2630147 0
[pid=20580/tid=20581] ppid=20578 vsize=10557652 CPUtime=3.08 cores=0,2,4,6
/proc/20580/task/20581/stat : 20581 (java) R 20578 20580 19289 0 -1 4202560 285646 0 1 0 275 33 0 0 22 0 19 0 911511831 10811035648 292343 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 46912505897644 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20580/tid=20583] ppid=20578 vsize=10557652 CPUtime=0 cores=0,2,4,6
/proc/20580/task/20583/stat : 20583 (java) S 20578 20580 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911511832 10811035648 292345 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 216000408473 0 4 0 16800975 18446604450025853120 0 0 -1 6 0 0 0
[pid=20580/tid=20584] ppid=20578 vsize=10557652 CPUtime=0 cores=0,2,4,6
/proc/20580/task/20584/stat : 20584 (java) S 20578 20580 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911511832 10811035648 292347 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 216000408473 0 4 0 16800975 18446604450025853120 0 0 -1 6 0 0 0
[pid=20580/tid=20585] ppid=20578 vsize=10557652 CPUtime=0 cores=0,2,4,6
/proc/20580/task/20585/stat : 20585 (java) S 20578 20580 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911511832 10811035648 292349 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 216000408473 0 4 0 16800975 18446604450025853120 0 0 -1 6 0 0 0
[pid=20580/tid=20586] ppid=20578 vsize=10557652 CPUtime=0 cores=0,2,4,6
/proc/20580/task/20586/stat : 20586 (java) S 20578 20580 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911511832 10811035648 292352 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 216000408473 0 4 0 16800975 18446604450025853120 0 0 -1 6 0 0 0
[pid=20580/tid=20587] ppid=20578 vsize=10557652 CPUtime=0 cores=0,2,4,6
/proc/20580/task/20587/stat : 20587 (java) S 20578 20580 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911511832 10811035648 292355 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 216000408473 0 4 0 16800975 18446604450025853120 0 0 -1 6 0 0 0
[pid=20580/tid=20588] ppid=20578 vsize=10557652 CPUtime=0 cores=0,2,4,6
/proc/20580/task/20588/stat : 20588 (java) S 20578 20580 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911511832 10811035648 292358 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 216000408473 0 4 0 16800975 18446604450025853120 0 0 -1 6 0 0 0
[pid=20580/tid=20589] ppid=20578 vsize=10557652 CPUtime=0 cores=0,2,4,6
/proc/20580/task/20589/stat : 20589 (java) S 20578 20580 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911511832 10811035648 292363 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 216000408473 0 4 0 16800975 18446604450025853120 0 0 -1 6 0 0 0
[pid=20580/tid=20590] ppid=20578 vsize=10557652 CPUtime=0 cores=0,2,4,6
/proc/20580/task/20590/stat : 20590 (java) S 20578 20580 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911511832 10811035648 292368 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 216000408473 0 4 0 16800975 18446604450025853120 0 0 -1 6 0 0 0
[pid=20580/tid=20591] ppid=20578 vsize=10557652 CPUtime=0 cores=0,2,4,6
/proc/20580/task/20591/stat : 20591 (java) S 20578 20580 19289 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 911511833 10811035648 292372 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 216000409088 0 0 0 16800975 18446604450025853120 0 0 -1 2 0 0 0
[pid=20580/tid=20592] ppid=20578 vsize=10557652 CPUtime=0 cores=0,2,4,6
/proc/20580/task/20592/stat : 20592 (java) S 20578 20580 19289 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 911511834 10811035648 292377 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 216000408473 0 4 0 16800975 18446604450025853120 0 0 -1 2 0 0 0
[pid=20580/tid=20593] ppid=20578 vsize=10557652 CPUtime=0 cores=0,2,4,6
/proc/20580/task/20593/stat : 20593 (java) S 20578 20580 19289 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 911511834 10811035648 292381 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 216000408473 0 4 0 16800975 18446604450025853120 0 0 -1 2 0 0 0
[pid=20580/tid=20594] ppid=20578 vsize=10557652 CPUtime=0 cores=0,2,4,6
/proc/20580/task/20594/stat : 20594 (java) S 20578 20580 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911511836 10811035648 292386 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 216000416177 0 4 0 16800975 18446604450025853120 0 0 -1 2 0 0 0
[pid=20580/tid=20595] ppid=20578 vsize=10557652 CPUtime=0.65 cores=0,2,4,6
/proc/20580/task/20595/stat : 20595 (java) S 20578 20580 19289 0 -1 4202560 6180 0 0 0 65 0 0 0 15 0 19 0 911511836 10811035648 292390 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 216000408473 0 4 0 16800975 18446604450025853120 0 0 -1 2 0 0 0
[pid=20580/tid=20596] ppid=20578 vsize=10557652 CPUtime=0.54 cores=0,2,4,6
/proc/20580/task/20596/stat : 20596 (java) S 20578 20580 19289 0 -1 4202560 5573 0 0 0 54 0 0 0 15 0 19 0 911511836 10811035648 292395 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 216000408473 0 4 0 16800975 18446604450025853120 0 0 -1 2 0 0 0
[pid=20580/tid=20597] ppid=20578 vsize=10557652 CPUtime=0 cores=0,2,4,6
/proc/20580/task/20597/stat : 20597 (java) S 20578 20580 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911511836 10811035648 292399 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 216000408473 0 4 0 16800975 18446604450025853120 0 0 -1 2 0 0 0
[pid=20580/tid=20598] ppid=20578 vsize=10557652 CPUtime=0 cores=0,2,4,6
/proc/20580/task/20598/stat : 20598 (java) S 20578 20580 19289 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 911511836 10811035648 292403 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 216000409088 0 4 0 16800975 18446604450025853120 0 0 -1 6 0 0 0
[pid=20580/tid=20599] ppid=20578 vsize=10557652 CPUtime=0 cores=0,2,4,6
/proc/20580/task/20599/stat : 20599 (java) S 20578 20580 19289 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 911511847 10811035648 292408 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 216000409088 0 4 0 16800975 18446604450025853120 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.3
Current children cumulated vsize (KiB) 10557652
[startup+6.30166 s]
/proc/loadavg: 2.11 2.05 2.01 3/551 20599
/proc/meminfo: memFree=13683716/32950940 swapFree=67111364/67111528
[pid=20580] ppid=20578 vsize=10557652 CPUtime=7.5 cores=0,2,4,6
/proc/20580/stat : 20580 (java) S 20578 20580 19289 0 -1 4202496 531216 0 1 0 686 64 0 0 25 0 19 0 911511830 10811035648 524998 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/20580/statm: 2639413 524999 2226 9 0 2630147 0
[pid=20580/tid=20581] ppid=20578 vsize=10557652 CPUtime=6.28 cores=0,2,4,6
/proc/20580/task/20581/stat : 20581 (java) R 20578 20580 19289 0 -1 4202560 518303 0 1 0 566 62 0 0 20 0 19 0 911511831 10811035648 525000 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 46912505592016 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20580/tid=20583] ppid=20578 vsize=10557652 CPUtime=0 cores=0,2,4,6
/proc/20580/task/20583/stat : 20583 (java) S 20578 20580 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911511832 10811035648 525000 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 216000408473 0 4 0 16800975 18446604450025853120 0 0 -1 6 0 0 0
[pid=20580/tid=20584] ppid=20578 vsize=10557652 CPUtime=0 cores=0,2,4,6
/proc/20580/task/20584/stat : 20584 (java) S 20578 20580 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911511832 10811035648 525001 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 216000408473 0 4 0 16800975 18446604450025853120 0 0 -1 6 0 0 0
[pid=20580/tid=20585] ppid=20578 vsize=10557652 CPUtime=0 cores=0,2,4,6
/proc/20580/task/20585/stat : 20585 (java) S 20578 20580 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911511832 10811035648 525001 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 216000408473 0 4 0 16800975 18446604450025853120 0 0 -1 6 0 0 0
[pid=20580/tid=20586] ppid=20578 vsize=10557652 CPUtime=0 cores=0,2,4,6
/proc/20580/task/20586/stat : 20586 (java) S 20578 20580 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911511832 10811035648 525002 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 216000408473 0 4 0 16800975 18446604450025853120 0 0 -1 6 0 0 0
[pid=20580/tid=20587] ppid=20578 vsize=10557652 CPUtime=0 cores=0,2,4,6
/proc/20580/task/20587/stat : 20587 (java) S 20578 20580 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911511832 10811035648 525003 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 216000408473 0 4 0 16800975 18446604450025853120 0 0 -1 6 0 0 0
[pid=20580/tid=20588] ppid=20578 vsize=10557652 CPUtime=0 cores=0,2,4,6
/proc/20580/task/20588/stat : 20588 (java) S 20578 20580 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911511832 10811035648 525003 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 216000408473 0 4 0 16800975 18446604450025853120 0 0 -1 6 0 0 0
[pid=20580/tid=20589] ppid=20578 vsize=10557652 CPUtime=0 cores=0,2,4,6
/proc/20580/task/20589/stat : 20589 (java) S 20578 20580 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911511832 10811035648 525003 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 216000408473 0 4 0 16800975 18446604450025853120 0 0 -1 6 0 0 0
[pid=20580/tid=20590] ppid=20578 vsize=10557652 CPUtime=0 cores=0,2,4,6
/proc/20580/task/20590/stat : 20590 (java) S 20578 20580 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911511832 10811035648 525004 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 216000408473 0 4 0 16800975 18446604450025853120 0 0 -1 6 0 0 0
[pid=20580/tid=20591] ppid=20578 vsize=10557652 CPUtime=0 cores=0,2,4,6
/proc/20580/task/20591/stat : 20591 (java) S 20578 20580 19289 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 911511833 10811035648 525004 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 216000409088 0 0 0 16800975 18446604450025853120 0 0 -1 2 0 0 0
[pid=20580/tid=20592] ppid=20578 vsize=10557652 CPUtime=0 cores=0,2,4,6
/proc/20580/task/20592/stat : 20592 (java) S 20578 20580 19289 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 911511834 10811035648 525004 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 216000408473 0 4 0 16800975 18446604450025853120 0 0 -1 2 0 0 0
[pid=20580/tid=20593] ppid=20578 vsize=10557652 CPUtime=0 cores=0,2,4,6
/proc/20580/task/20593/stat : 20593 (java) S 20578 20580 19289 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 911511834 10811035648 525005 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 216000408473 0 4 0 16800975 18446604450025853120 0 0 -1 2 0 0 0
[pid=20580/tid=20594] ppid=20578 vsize=10557652 CPUtime=0 cores=0,2,4,6
/proc/20580/task/20594/stat : 20594 (java) S 20578 20580 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911511836 10811035648 525005 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 216000416177 0 4 0 16800975 18446604450025853120 0 0 -1 2 0 0 0
[pid=20580/tid=20595] ppid=20578 vsize=10557652 CPUtime=0.65 cores=0,2,4,6
/proc/20580/task/20595/stat : 20595 (java) S 20578 20580 19289 0 -1 4202560 6180 0 0 0 65 0 0 0 15 0 19 0 911511836 10811035648 525007 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 216000408473 0 4 0 16800975 18446604450025853120 0 0 -1 2 0 0 0
[pid=20580/tid=20596] ppid=20578 vsize=10557652 CPUtime=0.54 cores=0,2,4,6
/proc/20580/task/20596/stat : 20596 (java) S 20578 20580 19289 0 -1 4202560 5573 0 0 0 54 0 0 0 15 0 19 0 911511836 10811035648 525007 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 216000408473 0 4 0 16800975 18446604450025853120 0 0 -1 2 0 0 0
################
# More data... #
################
/proc/20580/task/20593/stat : 20593 (java) S 20578 20580 19289 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 911511834 10811035648 947743 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 216000408473 0 4 0 16800975 18446604450025853120 0 0 -1 2 0 0 0
[pid=20580/tid=20594] ppid=20578 vsize=10557652 CPUtime=0 cores=0,2,4,6
/proc/20580/task/20594/stat : 20594 (java) S 20578 20580 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911511836 10811035648 947743 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 216000416177 0 4 0 16800975 18446604450025853120 0 0 -1 2 0 0 0
[pid=20580/tid=20595] ppid=20578 vsize=10557652 CPUtime=0.65 cores=0,2,4,6
/proc/20580/task/20595/stat : 20595 (java) S 20578 20580 19289 0 -1 4202560 6181 0 0 0 65 0 0 0 15 0 19 0 911511836 10811035648 947743 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 216000408473 0 4 0 16800975 18446604450025853120 0 0 -1 6 0 0 0
[pid=20580/tid=20596] ppid=20578 vsize=10557652 CPUtime=0.55 cores=0,2,4,6
/proc/20580/task/20596/stat : 20596 (java) S 20578 20580 19289 0 -1 4202560 5578 0 0 0 55 0 0 0 16 0 19 0 911511836 10811035648 947743 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 216000408473 0 4 0 16800975 18446604450025853120 0 0 -1 2 0 0 0
[pid=20580/tid=20597] ppid=20578 vsize=10557652 CPUtime=0 cores=0,2,4,6
/proc/20580/task/20597/stat : 20597 (java) S 20578 20580 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911511836 10811035648 947743 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 216000408473 0 4 0 16800975 18446604450025853120 0 0 -1 2 0 0 0
[pid=20580/tid=20598] ppid=20578 vsize=10557652 CPUtime=0 cores=0,2,4,6
/proc/20580/task/20598/stat : 20598 (java) S 20578 20580 19289 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 911511836 10811035648 947743 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 216000409088 0 4 0 16800975 18446604450025853120 0 0 -1 2 0 0 0
[pid=20580/tid=20599] ppid=20578 vsize=10557652 CPUtime=0 cores=0,2,4,6
/proc/20580/task/20599/stat : 20599 (java) S 20578 20580 19289 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 911511847 10811035648 947743 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 216000409088 0 4 0 16800975 18446604450025853120 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1664.18
Current children cumulated vsize (KiB) 10557652
[startup+1722.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/551 20702
/proc/meminfo: memFree=11747544/32950940 swapFree=67111364/67111528
[pid=20580] ppid=20578 vsize=10557652 CPUtime=1724.16 cores=0,2,4,6
/proc/20580/stat : 20580 (java) S 20578 20580 19289 0 -1 4202496 959049 0 1 0 172288 128 0 0 25 0 19 0 911511830 10811035648 947743 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/20580/statm: 2639413 947743 2239 9 0 2630147 0
[pid=20580/tid=20581] ppid=20578 vsize=10557652 CPUtime=1721.81 cores=0,2,4,6
/proc/20580/task/20581/stat : 20581 (java) R 20578 20580 19289 0 -1 4202560 742902 0 1 0 172094 87 0 0 25 0 19 0 911511831 10811035648 947743 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 46912505966226 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20580/tid=20583] ppid=20578 vsize=10557652 CPUtime=0.19 cores=0,2,4,6
/proc/20580/task/20583/stat : 20583 (java) S 20578 20580 19289 0 -1 4202560 40431 0 0 0 12 7 0 0 15 0 19 0 911511832 10811035648 947743 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 216000408473 0 4 0 16800975 18446604450025853120 0 0 -1 0 0 0 0
[pid=20580/tid=20584] ppid=20578 vsize=10557652 CPUtime=0.12 cores=0,2,4,6
/proc/20580/task/20584/stat : 20584 (java) S 20578 20580 19289 0 -1 4202560 21198 0 0 0 8 4 0 0 16 0 19 0 911511832 10811035648 947743 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 216000408473 0 4 0 16800975 18446604450025853120 0 0 -1 2 0 0 0
[pid=20580/tid=20585] ppid=20578 vsize=10557652 CPUtime=0.14 cores=0,2,4,6
/proc/20580/task/20585/stat : 20585 (java) S 20578 20580 19289 0 -1 4202560 26885 0 0 0 10 4 0 0 16 0 19 0 911511832 10811035648 947743 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 216000408473 0 4 0 16800975 18446604450025853120 0 0 -1 0 0 0 0
[pid=20580/tid=20586] ppid=20578 vsize=10557652 CPUtime=0.11 cores=0,2,4,6
/proc/20580/task/20586/stat : 20586 (java) S 20578 20580 19289 0 -1 4202560 21445 0 0 0 7 4 0 0 16 0 19 0 911511832 10811035648 947743 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 216000408473 0 4 0 16800975 18446604450025853120 0 0 -1 6 0 0 0
[pid=20580/tid=20587] ppid=20578 vsize=10557652 CPUtime=0.12 cores=0,2,4,6
/proc/20580/task/20587/stat : 20587 (java) S 20578 20580 19289 0 -1 4202560 29254 0 0 0 7 5 0 0 15 0 19 0 911511832 10811035648 947743 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 216000408473 0 4 0 16800975 18446604450025853120 0 0 -1 0 0 0 0
[pid=20580/tid=20588] ppid=20578 vsize=10557652 CPUtime=0.13 cores=0,2,4,6
/proc/20580/task/20588/stat : 20588 (java) S 20578 20580 19289 0 -1 4202560 24878 0 0 0 8 5 0 0 15 0 19 0 911511832 10811035648 947743 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 216000408473 0 4 0 16800975 18446604450025853120 0 0 -1 6 0 0 0
[pid=20580/tid=20589] ppid=20578 vsize=10557652 CPUtime=0.12 cores=0,2,4,6
/proc/20580/task/20589/stat : 20589 (java) S 20578 20580 19289 0 -1 4202560 17815 0 0 0 9 3 0 0 16 0 19 0 911511832 10811035648 947743 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 216000408473 0 4 0 16800975 18446604450025853120 0 0 -1 4 0 0 0
[pid=20580/tid=20590] ppid=20578 vsize=10557652 CPUtime=0.1 cores=0,2,4,6
/proc/20580/task/20590/stat : 20590 (java) S 20578 20580 19289 0 -1 4202560 21194 0 0 0 7 3 0 0 15 0 19 0 911511832 10811035648 947743 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 216000408473 0 4 0 16800975 18446604450025853120 0 0 -1 4 0 0 0
[pid=20580/tid=20591] ppid=20578 vsize=10557652 CPUtime=0 cores=0,2,4,6
/proc/20580/task/20591/stat : 20591 (java) S 20578 20580 19289 0 -1 4202560 38 0 0 0 0 0 0 0 15 0 19 0 911511833 10811035648 947743 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 216000409088 0 0 0 16800975 18446604450025853120 0 0 -1 2 0 0 0
[pid=20580/tid=20592] ppid=20578 vsize=10557652 CPUtime=0 cores=0,2,4,6
/proc/20580/task/20592/stat : 20592 (java) S 20578 20580 19289 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 911511834 10811035648 947743 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 216000408473 0 4 0 16800975 18446604450025853120 0 0 -1 2 0 0 0
[pid=20580/tid=20593] ppid=20578 vsize=10557652 CPUtime=0 cores=0,2,4,6
/proc/20580/task/20593/stat : 20593 (java) S 20578 20580 19289 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 911511834 10811035648 947743 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 216000408473 0 4 0 16800975 18446604450025853120 0 0 -1 2 0 0 0
[pid=20580/tid=20594] ppid=20578 vsize=10557652 CPUtime=0 cores=0,2,4,6
/proc/20580/task/20594/stat : 20594 (java) S 20578 20580 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911511836 10811035648 947743 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 216000416177 0 4 0 16800975 18446604450025853120 0 0 -1 2 0 0 0
[pid=20580/tid=20595] ppid=20578 vsize=10557652 CPUtime=0.65 cores=0,2,4,6
/proc/20580/task/20595/stat : 20595 (java) S 20578 20580 19289 0 -1 4202560 6181 0 0 0 65 0 0 0 15 0 19 0 911511836 10811035648 947743 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 216000408473 0 4 0 16800975 18446604450025853120 0 0 -1 6 0 0 0
[pid=20580/tid=20596] ppid=20578 vsize=10557652 CPUtime=0.55 cores=0,2,4,6
/proc/20580/task/20596/stat : 20596 (java) S 20578 20580 19289 0 -1 4202560 5578 0 0 0 55 0 0 0 16 0 19 0 911511836 10811035648 947743 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 216000408473 0 4 0 16800975 18446604450025853120 0 0 -1 2 0 0 0
[pid=20580/tid=20597] ppid=20578 vsize=10557652 CPUtime=0 cores=0,2,4,6
/proc/20580/task/20597/stat : 20597 (java) S 20578 20580 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911511836 10811035648 947743 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 216000408473 0 4 0 16800975 18446604450025853120 0 0 -1 2 0 0 0
[pid=20580/tid=20598] ppid=20578 vsize=10557652 CPUtime=0 cores=0,2,4,6
/proc/20580/task/20598/stat : 20598 (java) S 20578 20580 19289 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 911511836 10811035648 947743 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 216000409088 0 4 0 16800975 18446604450025853120 0 0 -1 2 0 0 0
[pid=20580/tid=20599] ppid=20578 vsize=10557652 CPUtime=0 cores=0,2,4,6
/proc/20580/task/20599/stat : 20599 (java) S 20578 20580 19289 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 911511847 10811035648 947743 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 216000409088 0 4 0 16800975 18446604450025853120 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1724.16
Current children cumulated vsize (KiB) 10557652
[startup+1782.32 s]
/proc/loadavg: 2.08 2.05 2.01 3/551 20703
/proc/meminfo: memFree=11746884/32950940 swapFree=67111364/67111528
[pid=20580] ppid=20578 vsize=10557652 CPUtime=1784.17 cores=0,2,4,6
/proc/20580/stat : 20580 (java) S 20578 20580 19289 0 -1 4202496 959053 0 1 0 178289 128 0 0 25 0 19 0 911511830 10811035648 947743 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/20580/statm: 2639413 947743 2239 9 0 2630147 0
[pid=20580/tid=20581] ppid=20578 vsize=10557652 CPUtime=1781.83 cores=0,2,4,6
/proc/20580/task/20581/stat : 20581 (java) R 20578 20580 19289 0 -1 4202560 742902 0 1 0 178095 88 0 0 25 0 19 0 911511831 10811035648 947743 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 46912505869973 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20580/tid=20583] ppid=20578 vsize=10557652 CPUtime=0.19 cores=0,2,4,6
/proc/20580/task/20583/stat : 20583 (java) S 20578 20580 19289 0 -1 4202560 40431 0 0 0 12 7 0 0 15 0 19 0 911511832 10811035648 947743 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 216000408473 0 4 0 16800975 18446604450025853120 0 0 -1 0 0 0 0
[pid=20580/tid=20584] ppid=20578 vsize=10557652 CPUtime=0.12 cores=0,2,4,6
/proc/20580/task/20584/stat : 20584 (java) S 20578 20580 19289 0 -1 4202560 21198 0 0 0 8 4 0 0 16 0 19 0 911511832 10811035648 947743 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 216000408473 0 4 0 16800975 18446604450025853120 0 0 -1 2 0 0 0
[pid=20580/tid=20585] ppid=20578 vsize=10557652 CPUtime=0.14 cores=0,2,4,6
/proc/20580/task/20585/stat : 20585 (java) S 20578 20580 19289 0 -1 4202560 26885 0 0 0 10 4 0 0 16 0 19 0 911511832 10811035648 947743 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 216000408473 0 4 0 16800975 18446604450025853120 0 0 -1 0 0 0 0
[pid=20580/tid=20586] ppid=20578 vsize=10557652 CPUtime=0.11 cores=0,2,4,6
/proc/20580/task/20586/stat : 20586 (java) S 20578 20580 19289 0 -1 4202560 21445 0 0 0 7 4 0 0 16 0 19 0 911511832 10811035648 947743 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 216000408473 0 4 0 16800975 18446604450025853120 0 0 -1 6 0 0 0
[pid=20580/tid=20587] ppid=20578 vsize=10557652 CPUtime=0.12 cores=0,2,4,6
/proc/20580/task/20587/stat : 20587 (java) S 20578 20580 19289 0 -1 4202560 29254 0 0 0 7 5 0 0 15 0 19 0 911511832 10811035648 947743 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 216000408473 0 4 0 16800975 18446604450025853120 0 0 -1 0 0 0 0
[pid=20580/tid=20588] ppid=20578 vsize=10557652 CPUtime=0.13 cores=0,2,4,6
/proc/20580/task/20588/stat : 20588 (java) S 20578 20580 19289 0 -1 4202560 24878 0 0 0 8 5 0 0 15 0 19 0 911511832 10811035648 947743 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 216000408473 0 4 0 16800975 18446604450025853120 0 0 -1 6 0 0 0
[pid=20580/tid=20589] ppid=20578 vsize=10557652 CPUtime=0.12 cores=0,2,4,6
/proc/20580/task/20589/stat : 20589 (java) S 20578 20580 19289 0 -1 4202560 17815 0 0 0 9 3 0 0 16 0 19 0 911511832 10811035648 947743 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 216000408473 0 4 0 16800975 18446604450025853120 0 0 -1 4 0 0 0
[pid=20580/tid=20590] ppid=20578 vsize=10557652 CPUtime=0.1 cores=0,2,4,6
/proc/20580/task/20590/stat : 20590 (java) S 20578 20580 19289 0 -1 4202560 21194 0 0 0 7 3 0 0 15 0 19 0 911511832 10811035648 947743 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 216000408473 0 4 0 16800975 18446604450025853120 0 0 -1 4 0 0 0
[pid=20580/tid=20591] ppid=20578 vsize=10557652 CPUtime=0 cores=0,2,4,6
/proc/20580/task/20591/stat : 20591 (java) S 20578 20580 19289 0 -1 4202560 38 0 0 0 0 0 0 0 15 0 19 0 911511833 10811035648 947743 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 216000409088 0 0 0 16800975 18446604450025853120 0 0 -1 2 0 0 0
[pid=20580/tid=20592] ppid=20578 vsize=10557652 CPUtime=0 cores=0,2,4,6
/proc/20580/task/20592/stat : 20592 (java) S 20578 20580 19289 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 911511834 10811035648 947743 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 216000408473 0 4 0 16800975 18446604450025853120 0 0 -1 2 0 0 0
[pid=20580/tid=20593] ppid=20578 vsize=10557652 CPUtime=0 cores=0,2,4,6
/proc/20580/task/20593/stat : 20593 (java) S 20578 20580 19289 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 911511834 10811035648 947743 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 216000408473 0 4 0 16800975 18446604450025853120 0 0 -1 2 0 0 0
[pid=20580/tid=20594] ppid=20578 vsize=10557652 CPUtime=0 cores=0,2,4,6
/proc/20580/task/20594/stat : 20594 (java) S 20578 20580 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911511836 10811035648 947743 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 216000416177 0 4 0 16800975 18446604450025853120 0 0 -1 2 0 0 0
[pid=20580/tid=20595] ppid=20578 vsize=10557652 CPUtime=0.65 cores=0,2,4,6
/proc/20580/task/20595/stat : 20595 (java) S 20578 20580 19289 0 -1 4202560 6181 0 0 0 65 0 0 0 15 0 19 0 911511836 10811035648 947743 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 216000408473 0 4 0 16800975 18446604450025853120 0 0 -1 6 0 0 0
[pid=20580/tid=20596] ppid=20578 vsize=10557652 CPUtime=0.55 cores=0,2,4,6
/proc/20580/task/20596/stat : 20596 (java) S 20578 20580 19289 0 -1 4202560 5578 0 0 0 55 0 0 0 16 0 19 0 911511836 10811035648 947743 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 216000408473 0 4 0 16800975 18446604450025853120 0 0 -1 2 0 0 0
[pid=20580/tid=20597] ppid=20578 vsize=10557652 CPUtime=0 cores=0,2,4,6
/proc/20580/task/20597/stat : 20597 (java) S 20578 20580 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911511836 10811035648 947743 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 216000408473 0 4 0 16800975 18446604450025853120 0 0 -1 2 0 0 0
[pid=20580/tid=20598] ppid=20578 vsize=10557652 CPUtime=0 cores=0,2,4,6
/proc/20580/task/20598/stat : 20598 (java) S 20578 20580 19289 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 911511836 10811035648 947743 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 216000409088 0 4 0 16800975 18446604450025853120 0 0 -1 2 0 0 0
[pid=20580/tid=20599] ppid=20578 vsize=10557652 CPUtime=0 cores=0,2,4,6
/proc/20580/task/20599/stat : 20599 (java) S 20578 20580 19289 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 911511847 10811035648 947743 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 216000409088 0 4 0 16800975 18446604450025853120 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1784.17
Current children cumulated vsize (KiB) 10557652
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1798.2 s]
/proc/loadavg: 2.13 2.06 2.01 3/551 20704
/proc/meminfo: memFree=11746756/32950940 swapFree=67111364/67111528
[pid=20580] ppid=20578 vsize=10557652 CPUtime=1800.06 cores=0,2,4,6
/proc/20580/stat : 20580 (java) S 20578 20580 19289 0 -1 4202496 959053 0 1 0 179878 128 0 0 25 0 19 0 911511830 10811035648 947743 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/20580/statm: 2639413 947743 2239 9 0 2630147 0
[pid=20580/tid=20581] ppid=20578 vsize=10557652 CPUtime=1797.73 cores=0,2,4,6
/proc/20580/task/20581/stat : 20581 (java) R 20578 20580 19289 0 -1 4202560 742902 0 1 0 179685 88 0 0 25 0 19 0 911511831 10811035648 947743 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 46912505869975 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20580/tid=20583] ppid=20578 vsize=10557652 CPUtime=0.19 cores=0,2,4,6
/proc/20580/task/20583/stat : 20583 (java) S 20578 20580 19289 0 -1 4202560 40431 0 0 0 12 7 0 0 15 0 19 0 911511832 10811035648 947743 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 216000408473 0 4 0 16800975 18446604450025853120 0 0 -1 0 0 0 0
[pid=20580/tid=20584] ppid=20578 vsize=10557652 CPUtime=0.12 cores=0,2,4,6
/proc/20580/task/20584/stat : 20584 (java) S 20578 20580 19289 0 -1 4202560 21198 0 0 0 8 4 0 0 16 0 19 0 911511832 10811035648 947743 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 216000408473 0 4 0 16800975 18446604450025853120 0 0 -1 2 0 0 0
[pid=20580/tid=20585] ppid=20578 vsize=10557652 CPUtime=0.14 cores=0,2,4,6
/proc/20580/task/20585/stat : 20585 (java) S 20578 20580 19289 0 -1 4202560 26885 0 0 0 10 4 0 0 16 0 19 0 911511832 10811035648 947743 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 216000408473 0 4 0 16800975 18446604450025853120 0 0 -1 0 0 0 0
[pid=20580/tid=20586] ppid=20578 vsize=10557652 CPUtime=0.11 cores=0,2,4,6
/proc/20580/task/20586/stat : 20586 (java) S 20578 20580 19289 0 -1 4202560 21445 0 0 0 7 4 0 0 16 0 19 0 911511832 10811035648 947743 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 216000408473 0 4 0 16800975 18446604450025853120 0 0 -1 6 0 0 0
[pid=20580/tid=20587] ppid=20578 vsize=10557652 CPUtime=0.12 cores=0,2,4,6
/proc/20580/task/20587/stat : 20587 (java) S 20578 20580 19289 0 -1 4202560 29254 0 0 0 7 5 0 0 15 0 19 0 911511832 10811035648 947743 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 216000408473 0 4 0 16800975 18446604450025853120 0 0 -1 0 0 0 0
[pid=20580/tid=20588] ppid=20578 vsize=10557652 CPUtime=0.13 cores=0,2,4,6
/proc/20580/task/20588/stat : 20588 (java) S 20578 20580 19289 0 -1 4202560 24878 0 0 0 8 5 0 0 15 0 19 0 911511832 10811035648 947743 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 216000408473 0 4 0 16800975 18446604450025853120 0 0 -1 6 0 0 0
[pid=20580/tid=20589] ppid=20578 vsize=10557652 CPUtime=0.12 cores=0,2,4,6
/proc/20580/task/20589/stat : 20589 (java) S 20578 20580 19289 0 -1 4202560 17815 0 0 0 9 3 0 0 16 0 19 0 911511832 10811035648 947743 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 216000408473 0 4 0 16800975 18446604450025853120 0 0 -1 4 0 0 0
[pid=20580/tid=20590] ppid=20578 vsize=10557652 CPUtime=0.1 cores=0,2,4,6
/proc/20580/task/20590/stat : 20590 (java) S 20578 20580 19289 0 -1 4202560 21194 0 0 0 7 3 0 0 15 0 19 0 911511832 10811035648 947743 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 216000408473 0 4 0 16800975 18446604450025853120 0 0 -1 4 0 0 0
[pid=20580/tid=20591] ppid=20578 vsize=10557652 CPUtime=0 cores=0,2,4,6
/proc/20580/task/20591/stat : 20591 (java) S 20578 20580 19289 0 -1 4202560 38 0 0 0 0 0 0 0 15 0 19 0 911511833 10811035648 947743 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 216000409088 0 0 0 16800975 18446604450025853120 0 0 -1 2 0 0 0
[pid=20580/tid=20592] ppid=20578 vsize=10557652 CPUtime=0 cores=0,2,4,6
/proc/20580/task/20592/stat : 20592 (java) S 20578 20580 19289 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 911511834 10811035648 947743 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 216000408473 0 4 0 16800975 18446604450025853120 0 0 -1 2 0 0 0
[pid=20580/tid=20593] ppid=20578 vsize=10557652 CPUtime=0 cores=0,2,4,6
/proc/20580/task/20593/stat : 20593 (java) S 20578 20580 19289 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 911511834 10811035648 947743 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 216000408473 0 4 0 16800975 18446604450025853120 0 0 -1 2 0 0 0
[pid=20580/tid=20594] ppid=20578 vsize=10557652 CPUtime=0 cores=0,2,4,6
/proc/20580/task/20594/stat : 20594 (java) S 20578 20580 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911511836 10811035648 947743 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 216000416177 0 4 0 16800975 18446604450025853120 0 0 -1 2 0 0 0
[pid=20580/tid=20595] ppid=20578 vsize=10557652 CPUtime=0.65 cores=0,2,4,6
/proc/20580/task/20595/stat : 20595 (java) S 20578 20580 19289 0 -1 4202560 6181 0 0 0 65 0 0 0 15 0 19 0 911511836 10811035648 947743 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 216000408473 0 4 0 16800975 18446604450025853120 0 0 -1 6 0 0 0
[pid=20580/tid=20596] ppid=20578 vsize=10557652 CPUtime=0.55 cores=0,2,4,6
/proc/20580/task/20596/stat : 20596 (java) S 20578 20580 19289 0 -1 4202560 5578 0 0 0 55 0 0 0 16 0 19 0 911511836 10811035648 947743 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 216000408473 0 4 0 16800975 18446604450025853120 0 0 -1 2 0 0 0
[pid=20580/tid=20597] ppid=20578 vsize=10557652 CPUtime=0 cores=0,2,4,6
/proc/20580/task/20597/stat : 20597 (java) S 20578 20580 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911511836 10811035648 947743 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 216000408473 0 4 0 16800975 18446604450025853120 0 0 -1 2 0 0 0
[pid=20580/tid=20598] ppid=20578 vsize=10557652 CPUtime=0 cores=0,2,4,6
/proc/20580/task/20598/stat : 20598 (java) S 20578 20580 19289 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 911511836 10811035648 947743 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 216000409088 0 4 0 16800975 18446604450025853120 0 0 -1 2 0 0 0
[pid=20580/tid=20599] ppid=20578 vsize=10557652 CPUtime=0 cores=0,2,4,6
/proc/20580/task/20599/stat : 20599 (java) S 20578 20580 19289 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 911511847 10811035648 947743 33554432000 1073741824 1073778376 140737368218448 18446744073709551615 216000409088 0 4 0 16800975 18446604450025853120 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 10557652
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1798.32 s]
/proc/loadavg: 2.13 2.06 2.01 3/551 20704
/proc/meminfo: memFree=11746756/32950940 swapFree=67111364/67111528
[pid=20580] ppid=20578 vsize=0 CPUtime=1800.19 cores=0,2,4,6
/proc/20580/stat : 20580 (java) Z 20578 20580 19289 0 -1 4203548 959082 0 1 0 179881 138 0 0 17 0 2 0 911511830 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/20580/statm: 0 0 0 0 0 0 0
[pid=20580/tid=20597] ppid=20578 vsize=0 CPUtime=0.09 cores=0,2,4,6
/proc/20580/task/20597/stat : 20597 (java) R 20578 20580 19289 0 -1 4203588 1 0 0 0 0 9 0 0 18 0 2 0 911511836 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1798.37
CPU time (s): 1800.24
CPU user time (s): 1798.81
CPU system time (s): 1.43378
CPU usage (%): 100.104
Max. virtual memory (cumulated for all children) (KiB): 10561116
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.81
system time used= 1.43378
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 959082
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= 37035
involuntary context switches= 5200
runsolver used 9.72952 second user time and 20.045 second system time
The end