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-3456293-1307223603/watcher-3456293-1307223603 -o /tmp/evaluation-result-3456293-1307223603/solver-3456293-1307223603 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456293-1307223603.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.96 2.03 2.00 2/532 21590
/proc/meminfo: memFree=18831932/32950940 swapFree=67111364/67111528
[pid=21590] ppid=21588 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/21590/stat : 21590 (java) S 21588 21590 19289 0 -1 4202496 3424 0 1 0 0 0 0 0 25 0 2 0 912591112 10694979584 3127 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 216000395237 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/21590/statm: 2611079 3140 917 9 0 2602235 0
[pid=21590/tid=21591] ppid=21588 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/21590/task/21591/stat : 21591 (java) R 21588 21590 19289 0 -1 4202560 7816 0 1 0 0 0 0 0 25 0 2 0 912591113 10694979584 8631 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 215988286523 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0331941 s]
/proc/loadavg: 1.96 2.03 2.00 2/532 21590
/proc/meminfo: memFree=18831932/32950940 swapFree=67111364/67111528
[pid=21590] ppid=21588 vsize=10465424 CPUtime=0.02 cores=1,3,5,7
/proc/21590/stat : 21590 (java) S 21588 21590 19289 0 -1 4202496 10995 0 1 0 1 1 0 0 25 0 11 0 912591112 10716594176 10694 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 216000395237 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/21590/statm: 2616356 10695 1608 9 0 2607104 0
[pid=21590/tid=21591] ppid=21588 vsize=10465424 CPUtime=0.01 cores=1,3,5,7
/proc/21590/task/21591/stat : 21591 (java) R 21588 21590 19289 0 -1 4202560 9873 0 1 0 1 0 0 0 25 0 11 0 912591113 10716594176 10695 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 47573975697139 0 4 0 16784584 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10465424
[startup+0.100184 s]
/proc/loadavg: 1.96 2.03 2.00 2/532 21590
/proc/meminfo: memFree=18831932/32950940 swapFree=67111364/67111528
[pid=21590] ppid=21588 vsize=10540420 CPUtime=0.11 cores=1,3,5,7
/proc/21590/stat : 21590 (java) S 21588 21590 19289 0 -1 4202496 13132 0 1 0 9 2 0 0 25 0 18 0 912591112 10793390080 12811 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21590/statm: 2635105 12813 2093 9 0 2625839 0
[pid=21590/tid=21591] ppid=21588 vsize=10540420 CPUtime=0.08 cores=1,3,5,7
/proc/21590/task/21591/stat : 21591 (java) R 21588 21590 19289 0 -1 4202560 11203 0 1 0 7 1 0 0 25 0 18 0 912591113 10793390080 12813 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 47573980990291 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10540420
[startup+0.300152 s]
/proc/loadavg: 1.96 2.03 2.00 2/532 21590
/proc/meminfo: memFree=18831932/32950940 swapFree=67111364/67111528
[pid=21590] ppid=21588 vsize=10541796 CPUtime=0.53 cores=1,3,5,7
/proc/21590/stat : 21590 (java) S 21588 21590 19289 0 -1 4202496 16972 0 1 0 51 2 0 0 25 0 18 0 912591112 10794799104 15952 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21590/statm: 2635449 15954 2202 9 0 2626183 0
[pid=21590/tid=21591] ppid=21588 vsize=10541796 CPUtime=0.28 cores=1,3,5,7
/proc/21590/task/21591/stat : 21591 (java) R 21588 21590 19289 0 -1 4202560 13593 0 1 0 27 1 0 0 25 0 18 0 912591113 10794799104 15954 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 46912505582219 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 10541796
[startup+0.70108 s]
/proc/loadavg: 1.96 2.03 2.00 2/532 21590
/proc/meminfo: memFree=18831932/32950940 swapFree=67111364/67111528
[pid=21590] ppid=21588 vsize=10549408 CPUtime=1.52 cores=1,3,5,7
/proc/21590/stat : 21590 (java) S 21588 21590 19289 0 -1 4202496 28845 0 1 0 148 4 0 0 25 0 19 0 912591112 10802593792 23347 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21590/statm: 2637352 23348 2232 9 0 2628086 0
[pid=21590/tid=21591] ppid=21588 vsize=10549408 CPUtime=0.68 cores=1,3,5,7
/proc/21590/task/21591/stat : 21591 (java) R 21588 21590 19289 0 -1 4202560 17289 0 1 0 67 1 0 0 25 0 19 0 912591113 10802593792 23348 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 10549408
[startup+1.50094 s]
/proc/loadavg: 2.04 2.05 2.00 3/551 21609
/proc/meminfo: memFree=18735156/32950940 swapFree=67111364/67111528
[pid=21590] ppid=21588 vsize=10550156 CPUtime=2.63 cores=1,3,5,7
/proc/21590/stat : 21590 (java) S 21588 21590 19289 0 -1 4202496 68139 0 1 0 254 9 0 0 25 0 19 0 912591112 10803359744 62640 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21590/statm: 2637539 62640 2234 9 0 2628273 0
[pid=21590/tid=21591] ppid=21588 vsize=10550156 CPUtime=1.49 cores=1,3,5,7
/proc/21590/task/21591/stat : 21591 (java) R 21588 21590 19289 0 -1 4202560 56355 0 1 0 142 7 0 0 25 0 19 0 912591113 10803359744 62640 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 46912505776352 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=21590/tid=21593] ppid=21588 vsize=10550156 CPUtime=0 cores=1,3,5,7
/proc/21590/task/21593/stat : 21593 (java) S 21588 21590 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912591114 10803359744 62640 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 216000408473 0 4 0 16800975 18446604468330824832 0 0 -1 7 0 0 0
[pid=21590/tid=21594] ppid=21588 vsize=10550156 CPUtime=0 cores=1,3,5,7
/proc/21590/task/21594/stat : 21594 (java) S 21588 21590 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912591114 10803359744 62640 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 216000408473 0 4 0 16800975 18446604468330824832 0 0 -1 7 0 0 0
[pid=21590/tid=21595] ppid=21588 vsize=10550156 CPUtime=0 cores=1,3,5,7
/proc/21590/task/21595/stat : 21595 (java) S 21588 21590 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912591114 10803359744 62640 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 216000408473 0 4 0 16800975 18446604468330824832 0 0 -1 7 0 0 0
[pid=21590/tid=21596] ppid=21588 vsize=10550156 CPUtime=0 cores=1,3,5,7
/proc/21590/task/21596/stat : 21596 (java) S 21588 21590 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912591114 10803359744 62640 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 216000408473 0 4 0 16800975 18446604468330824832 0 0 -1 7 0 0 0
[pid=21590/tid=21597] ppid=21588 vsize=10550156 CPUtime=0 cores=1,3,5,7
/proc/21590/task/21597/stat : 21597 (java) S 21588 21590 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912591114 10803359744 62640 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 216000408473 0 4 0 16800975 18446604468330824832 0 0 -1 7 0 0 0
[pid=21590/tid=21598] ppid=21588 vsize=10550156 CPUtime=0 cores=1,3,5,7
/proc/21590/task/21598/stat : 21598 (java) S 21588 21590 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912591114 10803359744 62640 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 216000408473 0 4 0 16800975 18446604468330824832 0 0 -1 7 0 0 0
[pid=21590/tid=21599] ppid=21588 vsize=10550156 CPUtime=0 cores=1,3,5,7
/proc/21590/task/21599/stat : 21599 (java) S 21588 21590 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912591114 10803359744 62640 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 216000408473 0 4 0 16800975 18446604468330824832 0 0 -1 7 0 0 0
[pid=21590/tid=21600] ppid=21588 vsize=10550156 CPUtime=0 cores=1,3,5,7
/proc/21590/task/21600/stat : 21600 (java) S 21588 21590 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912591114 10803359744 62640 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 216000408473 0 4 0 16800975 18446604468330824832 0 0 -1 7 0 0 0
[pid=21590/tid=21601] ppid=21588 vsize=10550156 CPUtime=0 cores=1,3,5,7
/proc/21590/task/21601/stat : 21601 (java) S 21588 21590 19289 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 912591115 10803359744 62640 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 216000409088 0 0 0 16800975 18446604468330824832 0 0 -1 3 0 0 0
[pid=21590/tid=21602] ppid=21588 vsize=10550156 CPUtime=0 cores=1,3,5,7
/proc/21590/task/21602/stat : 21602 (java) S 21588 21590 19289 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 912591116 10803359744 62640 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 216000408473 0 4 0 16800975 18446604468330824832 0 0 -1 3 0 0 0
[pid=21590/tid=21603] ppid=21588 vsize=10550156 CPUtime=0 cores=1,3,5,7
/proc/21590/task/21603/stat : 21603 (java) S 21588 21590 19289 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912591116 10803359744 62640 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 216000408473 0 4 0 16800975 18446604468330824832 0 0 -1 3 0 0 0
[pid=21590/tid=21604] ppid=21588 vsize=10550156 CPUtime=0 cores=1,3,5,7
/proc/21590/task/21604/stat : 21604 (java) S 21588 21590 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912591118 10803359744 62640 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 216000416177 0 4 0 16800975 18446604468330824832 0 0 -1 3 0 0 0
[pid=21590/tid=21605] ppid=21588 vsize=10550156 CPUtime=0.63 cores=1,3,5,7
/proc/21590/task/21605/stat : 21605 (java) S 21588 21590 19289 0 -1 4202560 7168 0 0 0 62 1 0 0 24 0 19 0 912591118 10803359744 62640 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 216000408473 0 4 0 16800975 18446604468330824832 0 0 -1 5 0 0 0
[pid=21590/tid=21606] ppid=21588 vsize=10550156 CPUtime=0.49 cores=1,3,5,7
/proc/21590/task/21606/stat : 21606 (java) S 21588 21590 19289 0 -1 4202560 3457 0 0 0 49 0 0 0 23 0 19 0 912591118 10803359744 62640 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 216000408473 0 4 0 16800975 18446604468330824832 0 0 -1 1 0 0 0
[pid=21590/tid=21607] ppid=21588 vsize=10550156 CPUtime=0 cores=1,3,5,7
/proc/21590/task/21607/stat : 21607 (java) S 21588 21590 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912591118 10803359744 62640 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 216000408473 0 4 0 16800975 18446604468330824832 0 0 -1 3 0 0 0
[pid=21590/tid=21608] ppid=21588 vsize=10550156 CPUtime=0 cores=1,3,5,7
/proc/21590/task/21608/stat : 21608 (java) S 21588 21590 19289 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 912591118 10803359744 62640 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 216000409088 0 4 0 16800975 18446604468330824832 0 0 -1 7 0 0 0
[pid=21590/tid=21609] ppid=21588 vsize=10550156 CPUtime=0 cores=1,3,5,7
/proc/21590/task/21609/stat : 21609 (java) S 21588 21590 19289 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912591150 10803359744 62640 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 216000409088 0 4 0 16800975 18446604468330824832 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.63
Current children cumulated vsize (KiB) 10550156
[startup+3.10072 s]
/proc/loadavg: 2.04 2.05 2.00 3/551 21609
/proc/meminfo: memFree=18427016/32950940 swapFree=67111364/67111528
[pid=21590] ppid=21588 vsize=10550156 CPUtime=4.33 cores=1,3,5,7
/proc/21590/stat : 21590 (java) S 21588 21590 19289 0 -1 4202496 224974 0 1 0 408 25 0 0 25 0 19 0 912591112 10803359744 219474 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21590/statm: 2637539 219484 2234 9 0 2628273 0
[pid=21590/tid=21591] ppid=21588 vsize=10550156 CPUtime=3.08 cores=1,3,5,7
/proc/21590/task/21591/stat : 21591 (java) R 21588 21590 19289 0 -1 4202560 213120 0 1 0 285 23 0 0 25 0 19 0 912591113 10803359744 219487 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 46912505768682 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=21590/tid=21593] ppid=21588 vsize=10550156 CPUtime=0 cores=1,3,5,7
/proc/21590/task/21593/stat : 21593 (java) S 21588 21590 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912591114 10803359744 219489 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 216000408473 0 4 0 16800975 18446604468330824832 0 0 -1 7 0 0 0
[pid=21590/tid=21594] ppid=21588 vsize=10550156 CPUtime=0 cores=1,3,5,7
/proc/21590/task/21594/stat : 21594 (java) S 21588 21590 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912591114 10803359744 219495 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 216000408473 0 4 0 16800975 18446604468330824832 0 0 -1 7 0 0 0
[pid=21590/tid=21595] ppid=21588 vsize=10550156 CPUtime=0 cores=1,3,5,7
/proc/21590/task/21595/stat : 21595 (java) S 21588 21590 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912591114 10803359744 219500 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 216000408473 0 4 0 16800975 18446604468330824832 0 0 -1 7 0 0 0
[pid=21590/tid=21596] ppid=21588 vsize=10550156 CPUtime=0 cores=1,3,5,7
/proc/21590/task/21596/stat : 21596 (java) S 21588 21590 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912591114 10803359744 219500 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 216000408473 0 4 0 16800975 18446604468330824832 0 0 -1 7 0 0 0
[pid=21590/tid=21597] ppid=21588 vsize=10550156 CPUtime=0 cores=1,3,5,7
/proc/21590/task/21597/stat : 21597 (java) S 21588 21590 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912591114 10803359744 219507 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 216000408473 0 4 0 16800975 18446604468330824832 0 0 -1 7 0 0 0
[pid=21590/tid=21598] ppid=21588 vsize=10550156 CPUtime=0 cores=1,3,5,7
/proc/21590/task/21598/stat : 21598 (java) S 21588 21590 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912591114 10803359744 219513 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 216000408473 0 4 0 16800975 18446604468330824832 0 0 -1 7 0 0 0
[pid=21590/tid=21599] ppid=21588 vsize=10550156 CPUtime=0 cores=1,3,5,7
/proc/21590/task/21599/stat : 21599 (java) S 21588 21590 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912591114 10803359744 219513 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 216000408473 0 4 0 16800975 18446604468330824832 0 0 -1 7 0 0 0
[pid=21590/tid=21600] ppid=21588 vsize=10550156 CPUtime=0 cores=1,3,5,7
/proc/21590/task/21600/stat : 21600 (java) S 21588 21590 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912591114 10803359744 219518 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 216000408473 0 4 0 16800975 18446604468330824832 0 0 -1 7 0 0 0
[pid=21590/tid=21601] ppid=21588 vsize=10550156 CPUtime=0 cores=1,3,5,7
/proc/21590/task/21601/stat : 21601 (java) S 21588 21590 19289 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 912591115 10803359744 219524 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 216000409088 0 0 0 16800975 18446604468330824832 0 0 -1 3 0 0 0
[pid=21590/tid=21602] ppid=21588 vsize=10550156 CPUtime=0 cores=1,3,5,7
/proc/21590/task/21602/stat : 21602 (java) S 21588 21590 19289 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 912591116 10803359744 219526 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 216000408473 0 4 0 16800975 18446604468330824832 0 0 -1 3 0 0 0
[pid=21590/tid=21603] ppid=21588 vsize=10550156 CPUtime=0 cores=1,3,5,7
/proc/21590/task/21603/stat : 21603 (java) S 21588 21590 19289 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912591116 10803359744 219529 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 216000408473 0 4 0 16800975 18446604468330824832 0 0 -1 3 0 0 0
[pid=21590/tid=21604] ppid=21588 vsize=10550156 CPUtime=0 cores=1,3,5,7
/proc/21590/task/21604/stat : 21604 (java) S 21588 21590 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912591118 10803359744 219535 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 216000416177 0 4 0 16800975 18446604468330824832 0 0 -1 3 0 0 0
[pid=21590/tid=21605] ppid=21588 vsize=10550156 CPUtime=0.72 cores=1,3,5,7
/proc/21590/task/21605/stat : 21605 (java) S 21588 21590 19289 0 -1 4202560 7217 0 0 0 71 1 0 0 15 0 19 0 912591118 10803359744 219538 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 216000408473 0 4 0 16800975 18446604468330824832 0 0 -1 5 0 0 0
[pid=21590/tid=21606] ppid=21588 vsize=10550156 CPUtime=0.51 cores=1,3,5,7
/proc/21590/task/21606/stat : 21606 (java) S 21588 21590 19289 0 -1 4202560 3491 0 0 0 51 0 0 0 16 0 19 0 912591118 10803359744 219540 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 216000408473 0 4 0 16800975 18446604468330824832 0 0 -1 1 0 0 0
[pid=21590/tid=21607] ppid=21588 vsize=10550156 CPUtime=0 cores=1,3,5,7
/proc/21590/task/21607/stat : 21607 (java) S 21588 21590 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912591118 10803359744 219547 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 216000408473 0 4 0 16800975 18446604468330824832 0 0 -1 3 0 0 0
[pid=21590/tid=21608] ppid=21588 vsize=10550156 CPUtime=0 cores=1,3,5,7
/proc/21590/task/21608/stat : 21608 (java) S 21588 21590 19289 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 912591118 10803359744 219551 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 216000409088 0 4 0 16800975 18446604468330824832 0 0 -1 7 0 0 0
[pid=21590/tid=21609] ppid=21588 vsize=10550156 CPUtime=0 cores=1,3,5,7
/proc/21590/task/21609/stat : 21609 (java) S 21588 21590 19289 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912591150 10803359744 219551 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 216000409088 0 4 0 16800975 18446604468330824832 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.33
Current children cumulated vsize (KiB) 10550156
[startup+6.3011 s]
/proc/loadavg: 2.04 2.05 2.00 3/551 21609
/proc/meminfo: memFree=15558092/32950940 swapFree=67111364/67111528
[pid=21590] ppid=21588 vsize=10550156 CPUtime=7.53 cores=1,3,5,7
/proc/21590/stat : 21590 (java) S 21588 21590 19289 0 -1 4202496 646625 0 1 0 684 69 0 0 25 0 19 0 912591112 10803359744 641116 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21590/statm: 2637539 641127 2235 9 0 2628273 0
[pid=21590/tid=21591] ppid=21588 vsize=10550156 CPUtime=6.29 cores=1,3,5,7
/proc/21590/task/21591/stat : 21591 (java) R 21588 21590 19289 0 -1 4202560 634771 0 1 0 562 67 0 0 25 0 19 0 912591113 10803359744 641130 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 46912505957001 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=21590/tid=21593] ppid=21588 vsize=10550156 CPUtime=0 cores=1,3,5,7
/proc/21590/task/21593/stat : 21593 (java) S 21588 21590 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912591114 10803359744 641130 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 216000408473 0 4 0 16800975 18446604468330824832 0 0 -1 7 0 0 0
[pid=21590/tid=21594] ppid=21588 vsize=10550156 CPUtime=0 cores=1,3,5,7
/proc/21590/task/21594/stat : 21594 (java) S 21588 21590 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912591114 10803359744 641137 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 216000408473 0 4 0 16800975 18446604468330824832 0 0 -1 7 0 0 0
[pid=21590/tid=21595] ppid=21588 vsize=10550156 CPUtime=0 cores=1,3,5,7
/proc/21590/task/21595/stat : 21595 (java) S 21588 21590 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912591114 10803359744 641144 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 216000408473 0 4 0 16800975 18446604468330824832 0 0 -1 7 0 0 0
[pid=21590/tid=21596] ppid=21588 vsize=10550156 CPUtime=0 cores=1,3,5,7
/proc/21590/task/21596/stat : 21596 (java) S 21588 21590 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912591114 10803359744 641144 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 216000408473 0 4 0 16800975 18446604468330824832 0 0 -1 7 0 0 0
[pid=21590/tid=21597] ppid=21588 vsize=10550156 CPUtime=0 cores=1,3,5,7
/proc/21590/task/21597/stat : 21597 (java) S 21588 21590 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912591114 10803359744 641148 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 216000408473 0 4 0 16800975 18446604468330824832 0 0 -1 7 0 0 0
[pid=21590/tid=21598] ppid=21588 vsize=10550156 CPUtime=0 cores=1,3,5,7
/proc/21590/task/21598/stat : 21598 (java) S 21588 21590 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912591114 10803359744 641155 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 216000408473 0 4 0 16800975 18446604468330824832 0 0 -1 7 0 0 0
[pid=21590/tid=21599] ppid=21588 vsize=10550156 CPUtime=0 cores=1,3,5,7
/proc/21590/task/21599/stat : 21599 (java) S 21588 21590 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912591114 10803359744 641159 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 216000408473 0 4 0 16800975 18446604468330824832 0 0 -1 7 0 0 0
[pid=21590/tid=21600] ppid=21588 vsize=10550156 CPUtime=0 cores=1,3,5,7
/proc/21590/task/21600/stat : 21600 (java) S 21588 21590 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912591114 10803359744 641159 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 216000408473 0 4 0 16800975 18446604468330824832 0 0 -1 7 0 0 0
[pid=21590/tid=21601] ppid=21588 vsize=10550156 CPUtime=0 cores=1,3,5,7
/proc/21590/task/21601/stat : 21601 (java) S 21588 21590 19289 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 912591115 10803359744 641166 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 216000409088 0 0 0 16800975 18446604468330824832 0 0 -1 3 0 0 0
[pid=21590/tid=21602] ppid=21588 vsize=10550156 CPUtime=0 cores=1,3,5,7
/proc/21590/task/21602/stat : 21602 (java) S 21588 21590 19289 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 912591116 10803359744 641173 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 216000408473 0 4 0 16800975 18446604468330824832 0 0 -1 3 0 0 0
[pid=21590/tid=21603] ppid=21588 vsize=10550156 CPUtime=0 cores=1,3,5,7
/proc/21590/task/21603/stat : 21603 (java) S 21588 21590 19289 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912591116 10803359744 641173 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 216000408473 0 4 0 16800975 18446604468330824832 0 0 -1 3 0 0 0
[pid=21590/tid=21604] ppid=21588 vsize=10550156 CPUtime=0 cores=1,3,5,7
/proc/21590/task/21604/stat : 21604 (java) S 21588 21590 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912591118 10803359744 641177 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 216000416177 0 4 0 16800975 18446604468330824832 0 0 -1 3 0 0 0
[pid=21590/tid=21605] ppid=21588 vsize=10550156 CPUtime=0.72 cores=1,3,5,7
/proc/21590/task/21605/stat : 21605 (java) S 21588 21590 19289 0 -1 4202560 7217 0 0 0 71 1 0 0 15 0 19 0 912591118 10803359744 641184 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 216000408473 0 4 0 16800975 18446604468330824832 0 0 -1 5 0 0 0
[pid=21590/tid=21606] ppid=21588 vsize=10550156 CPUtime=0.51 cores=1,3,5,7
/proc/21590/task/21606/stat : 21606 (java) S 21588 21590 19289 0 -1 4202560 3491 0 0 0 51 0 0 0 16 0 19 0 912591118 10803359744 641187 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 216000408473 0 4 0 16800975 18446604468330824832 0 0 -1 1 0 0 0
################
# More data... #
################
/proc/21590/task/21603/stat : 21603 (java) S 21588 21590 19289 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 912591116 10803359744 1074771 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 216000408473 0 4 0 16800975 18446604468330824832 0 0 -1 3 0 0 0
[pid=21590/tid=21604] ppid=21588 vsize=10550156 CPUtime=0 cores=1,3,5,7
/proc/21590/task/21604/stat : 21604 (java) S 21588 21590 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912591118 10803359744 1074771 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 216000416177 0 4 0 16800975 18446604468330824832 0 0 -1 3 0 0 0
[pid=21590/tid=21605] ppid=21588 vsize=10550156 CPUtime=0.82 cores=1,3,5,7
/proc/21590/task/21605/stat : 21605 (java) S 21588 21590 19289 0 -1 4202560 7229 0 0 0 81 1 0 0 15 0 19 0 912591118 10803359744 1074771 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 216000408473 0 4 0 16800975 18446604468330824832 0 0 -1 5 0 0 0
[pid=21590/tid=21606] ppid=21588 vsize=10550156 CPUtime=0.77 cores=1,3,5,7
/proc/21590/task/21606/stat : 21606 (java) S 21588 21590 19289 0 -1 4202560 3581 0 0 0 77 0 0 0 15 0 19 0 912591118 10803359744 1074771 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 216000408473 0 4 0 16800975 18446604468330824832 0 0 -1 1 0 0 0
[pid=21590/tid=21607] ppid=21588 vsize=10550156 CPUtime=0 cores=1,3,5,7
/proc/21590/task/21607/stat : 21607 (java) S 21588 21590 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912591118 10803359744 1074771 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 216000408473 0 4 0 16800975 18446604468330824832 0 0 -1 3 0 0 0
[pid=21590/tid=21608] ppid=21588 vsize=10550156 CPUtime=0 cores=1,3,5,7
/proc/21590/task/21608/stat : 21608 (java) S 21588 21590 19289 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 912591118 10803359744 1074771 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 216000409088 0 4 0 16800975 18446604468330824832 0 0 -1 5 0 0 0
[pid=21590/tid=21609] ppid=21588 vsize=10550156 CPUtime=0 cores=1,3,5,7
/proc/21590/task/21609/stat : 21609 (java) S 21588 21590 19289 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912591150 10803359744 1074771 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 216000409088 0 4 0 16800975 18446604468330824832 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1674.64
Current children cumulated vsize (KiB) 10550156
[startup+1722.3 s]
/proc/loadavg: 2.24 2.12 2.03 3/551 21664
/proc/meminfo: memFree=10950092/32950940 swapFree=67111364/67111528
[pid=21590] ppid=21588 vsize=10550156 CPUtime=1735.04 cores=1,3,5,7
/proc/21590/stat : 21590 (java) S 21588 21590 19289 0 -1 4202496 1090011 0 1 0 173381 123 0 0 25 0 19 0 912591112 10803359744 1077775 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21590/statm: 2637539 1077775 2264 9 0 2628273 0
[pid=21590/tid=21591] ppid=21588 vsize=10550156 CPUtime=1716.13 cores=1,3,5,7
/proc/21590/task/21591/stat : 21591 (java) R 21588 21590 19289 0 -1 4202560 827719 0 1 0 171526 87 0 0 25 0 19 0 912591113 10803359744 1077775 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 46912505828360 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=21590/tid=21593] ppid=21588 vsize=10550156 CPUtime=2.02 cores=1,3,5,7
/proc/21590/task/21593/stat : 21593 (java) S 21588 21590 19289 0 -1 4202560 28546 0 0 0 199 3 0 0 15 0 19 0 912591114 10803359744 1077775 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 216000408473 0 4 0 16800975 18446604468330824832 0 0 -1 5 0 0 0
[pid=21590/tid=21594] ppid=21588 vsize=10550156 CPUtime=2.1 cores=1,3,5,7
/proc/21590/task/21594/stat : 21594 (java) S 21588 21590 19289 0 -1 4202560 34591 0 0 0 206 4 0 0 15 0 19 0 912591114 10803359744 1077775 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 216000408473 0 4 0 16800975 18446604468330824832 0 0 -1 3 0 0 0
[pid=21590/tid=21595] ppid=21588 vsize=10550156 CPUtime=2.04 cores=1,3,5,7
/proc/21590/task/21595/stat : 21595 (java) S 21588 21590 19289 0 -1 4202560 34287 0 0 0 199 5 0 0 15 0 19 0 912591114 10803359744 1077775 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 216000408473 0 4 0 16800975 18446604468330824832 0 0 -1 7 0 0 0
[pid=21590/tid=21596] ppid=21588 vsize=10550156 CPUtime=1.75 cores=1,3,5,7
/proc/21590/task/21596/stat : 21596 (java) S 21588 21590 19289 0 -1 4202560 30243 0 0 0 172 3 0 0 16 0 19 0 912591114 10803359744 1077775 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 216000408473 0 4 0 16800975 18446604468330824832 0 0 -1 7 0 0 0
[pid=21590/tid=21597] ppid=21588 vsize=10550156 CPUtime=1.92 cores=1,3,5,7
/proc/21590/task/21597/stat : 21597 (java) S 21588 21590 19289 0 -1 4202560 30257 0 0 0 189 3 0 0 16 0 19 0 912591114 10803359744 1077775 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 216000408473 0 4 0 16800975 18446604468330824832 0 0 -1 1 0 0 0
[pid=21590/tid=21598] ppid=21588 vsize=10550156 CPUtime=2.05 cores=1,3,5,7
/proc/21590/task/21598/stat : 21598 (java) S 21588 21590 19289 0 -1 4202560 38933 0 0 0 200 5 0 0 15 0 19 0 912591114 10803359744 1077775 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 216000408473 0 4 0 16800975 18446604468330824832 0 0 -1 1 0 0 0
[pid=21590/tid=21599] ppid=21588 vsize=10550156 CPUtime=2.01 cores=1,3,5,7
/proc/21590/task/21599/stat : 21599 (java) S 21588 21590 19289 0 -1 4202560 24843 0 0 0 199 2 0 0 16 0 19 0 912591114 10803359744 1077775 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 216000408473 0 4 0 16800975 18446604468330824832 0 0 -1 5 0 0 0
[pid=21590/tid=21600] ppid=21588 vsize=10550156 CPUtime=2 cores=1,3,5,7
/proc/21590/task/21600/stat : 21600 (java) S 21588 21590 19289 0 -1 4202560 27971 0 0 0 198 2 0 0 15 0 19 0 912591114 10803359744 1077775 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 216000408473 0 4 0 16800975 18446604468330824832 0 0 -1 7 0 0 0
[pid=21590/tid=21601] ppid=21588 vsize=10550156 CPUtime=1.29 cores=1,3,5,7
/proc/21590/task/21601/stat : 21601 (java) S 21588 21590 19289 0 -1 4202560 560 0 0 0 129 0 0 0 15 0 19 0 912591115 10803359744 1077775 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 216000409088 0 0 0 16800975 18446604468330824832 0 0 -1 3 0 0 0
[pid=21590/tid=21602] ppid=21588 vsize=10550156 CPUtime=0 cores=1,3,5,7
/proc/21590/task/21602/stat : 21602 (java) S 21588 21590 19289 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 912591116 10803359744 1077775 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 216000408473 0 4 0 16800975 18446604468330824832 0 0 -1 3 0 0 0
[pid=21590/tid=21603] ppid=21588 vsize=10550156 CPUtime=0 cores=1,3,5,7
/proc/21590/task/21603/stat : 21603 (java) S 21588 21590 19289 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 912591116 10803359744 1077775 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 216000408473 0 4 0 16800975 18446604468330824832 0 0 -1 3 0 0 0
[pid=21590/tid=21604] ppid=21588 vsize=10550156 CPUtime=0 cores=1,3,5,7
/proc/21590/task/21604/stat : 21604 (java) S 21588 21590 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912591118 10803359744 1077775 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 216000416177 0 4 0 16800975 18446604468330824832 0 0 -1 3 0 0 0
[pid=21590/tid=21605] ppid=21588 vsize=10550156 CPUtime=0.82 cores=1,3,5,7
/proc/21590/task/21605/stat : 21605 (java) S 21588 21590 19289 0 -1 4202560 7229 0 0 0 81 1 0 0 15 0 19 0 912591118 10803359744 1077775 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 216000408473 0 4 0 16800975 18446604468330824832 0 0 -1 5 0 0 0
[pid=21590/tid=21606] ppid=21588 vsize=10550156 CPUtime=0.77 cores=1,3,5,7
/proc/21590/task/21606/stat : 21606 (java) S 21588 21590 19289 0 -1 4202560 3581 0 0 0 77 0 0 0 15 0 19 0 912591118 10803359744 1077775 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 216000408473 0 4 0 16800975 18446604468330824832 0 0 -1 1 0 0 0
[pid=21590/tid=21607] ppid=21588 vsize=10550156 CPUtime=0 cores=1,3,5,7
/proc/21590/task/21607/stat : 21607 (java) S 21588 21590 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912591118 10803359744 1077775 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 216000408473 0 4 0 16800975 18446604468330824832 0 0 -1 3 0 0 0
[pid=21590/tid=21608] ppid=21588 vsize=10550156 CPUtime=0 cores=1,3,5,7
/proc/21590/task/21608/stat : 21608 (java) S 21588 21590 19289 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 912591118 10803359744 1077775 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 216000409088 0 4 0 16800975 18446604468330824832 0 0 -1 5 0 0 0
[pid=21590/tid=21609] ppid=21588 vsize=10550156 CPUtime=0 cores=1,3,5,7
/proc/21590/task/21609/stat : 21609 (java) S 21588 21590 19289 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912591150 10803359744 1077775 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 216000409088 0 4 0 16800975 18446604468330824832 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1735.04
Current children cumulated vsize (KiB) 10550156
[startup+1782.3 s]
/proc/loadavg: 2.21 2.12 2.04 3/551 21665
/proc/meminfo: memFree=10936288/32950940 swapFree=67111364/67111528
[pid=21590] ppid=21588 vsize=10550156 CPUtime=1795.5 cores=1,3,5,7
/proc/21590/stat : 21590 (java) S 21588 21590 19289 0 -1 4202496 1091883 0 1 0 179427 123 0 0 25 0 19 0 912591112 10803359744 1079595 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21590/statm: 2637539 1079595 2264 9 0 2628273 0
[pid=21590/tid=21591] ppid=21588 vsize=10550156 CPUtime=1775.89 cores=1,3,5,7
/proc/21590/task/21591/stat : 21591 (java) R 21588 21590 19289 0 -1 4202560 827729 0 1 0 177502 87 0 0 25 0 19 0 912591113 10803359744 1079595 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 46912505768986 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=21590/tid=21593] ppid=21588 vsize=10550156 CPUtime=2.09 cores=1,3,5,7
/proc/21590/task/21593/stat : 21593 (java) S 21588 21590 19289 0 -1 4202560 28743 0 0 0 205 4 0 0 15 0 19 0 912591114 10803359744 1079595 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 216000408473 0 4 0 16800975 18446604468330824832 0 0 -1 5 0 0 0
[pid=21590/tid=21594] ppid=21588 vsize=10550156 CPUtime=2.16 cores=1,3,5,7
/proc/21590/task/21594/stat : 21594 (java) S 21588 21590 19289 0 -1 4202560 34627 0 0 0 212 4 0 0 16 0 19 0 912591114 10803359744 1079595 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 216000408473 0 4 0 16800975 18446604468330824832 0 0 -1 3 0 0 0
[pid=21590/tid=21595] ppid=21588 vsize=10550156 CPUtime=2.09 cores=1,3,5,7
/proc/21590/task/21595/stat : 21595 (java) S 21588 21590 19289 0 -1 4202560 34423 0 0 0 204 5 0 0 15 0 19 0 912591114 10803359744 1079595 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 216000408473 0 4 0 16800975 18446604468330824832 0 0 -1 1 0 0 0
[pid=21590/tid=21596] ppid=21588 vsize=10550156 CPUtime=1.81 cores=1,3,5,7
/proc/21590/task/21596/stat : 21596 (java) S 21588 21590 19289 0 -1 4202560 30466 0 0 0 178 3 0 0 15 0 19 0 912591114 10803359744 1079595 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 216000408473 0 4 0 16800975 18446604468330824832 0 0 -1 3 0 0 0
[pid=21590/tid=21597] ppid=21588 vsize=10550156 CPUtime=2.03 cores=1,3,5,7
/proc/21590/task/21597/stat : 21597 (java) S 21588 21590 19289 0 -1 4202560 30347 0 0 0 200 3 0 0 16 0 19 0 912591114 10803359744 1079595 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 216000408473 0 4 0 16800975 18446604468330824832 0 0 -1 7 0 0 0
[pid=21590/tid=21598] ppid=21588 vsize=10550156 CPUtime=2.2 cores=1,3,5,7
/proc/21590/task/21598/stat : 21598 (java) S 21588 21590 19289 0 -1 4202560 39539 0 0 0 215 5 0 0 16 0 19 0 912591114 10803359744 1079595 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 216000408473 0 4 0 16800975 18446604468330824832 0 0 -1 1 0 0 0
[pid=21590/tid=21599] ppid=21588 vsize=10550156 CPUtime=2.16 cores=1,3,5,7
/proc/21590/task/21599/stat : 21599 (java) S 21588 21590 19289 0 -1 4202560 25140 0 0 0 214 2 0 0 16 0 19 0 912591114 10803359744 1079595 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 216000408473 0 4 0 16800975 18446604468330824832 0 0 -1 5 0 0 0
[pid=21590/tid=21600] ppid=21588 vsize=10550156 CPUtime=2.08 cores=1,3,5,7
/proc/21590/task/21600/stat : 21600 (java) S 21588 21590 19289 0 -1 4202560 28240 0 0 0 206 2 0 0 15 0 19 0 912591114 10803359744 1079595 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 216000408473 0 4 0 16800975 18446604468330824832 0 0 -1 1 0 0 0
[pid=21590/tid=21601] ppid=21588 vsize=10550156 CPUtime=1.3 cores=1,3,5,7
/proc/21590/task/21601/stat : 21601 (java) S 21588 21590 19289 0 -1 4202560 564 0 0 0 129 1 0 0 15 0 19 0 912591115 10803359744 1079595 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 216000409088 0 0 0 16800975 18446604468330824832 0 0 -1 3 0 0 0
[pid=21590/tid=21602] ppid=21588 vsize=10550156 CPUtime=0 cores=1,3,5,7
/proc/21590/task/21602/stat : 21602 (java) S 21588 21590 19289 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 912591116 10803359744 1079595 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 216000408473 0 4 0 16800975 18446604468330824832 0 0 -1 3 0 0 0
[pid=21590/tid=21603] ppid=21588 vsize=10550156 CPUtime=0 cores=1,3,5,7
/proc/21590/task/21603/stat : 21603 (java) S 21588 21590 19289 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 912591116 10803359744 1079595 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 216000408473 0 4 0 16800975 18446604468330824832 0 0 -1 3 0 0 0
[pid=21590/tid=21604] ppid=21588 vsize=10550156 CPUtime=0 cores=1,3,5,7
/proc/21590/task/21604/stat : 21604 (java) S 21588 21590 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912591118 10803359744 1079595 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 216000416177 0 4 0 16800975 18446604468330824832 0 0 -1 3 0 0 0
[pid=21590/tid=21605] ppid=21588 vsize=10550156 CPUtime=0.82 cores=1,3,5,7
/proc/21590/task/21605/stat : 21605 (java) S 21588 21590 19289 0 -1 4202560 7229 0 0 0 81 1 0 0 15 0 19 0 912591118 10803359744 1079595 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 216000408473 0 4 0 16800975 18446604468330824832 0 0 -1 5 0 0 0
[pid=21590/tid=21606] ppid=21588 vsize=10550156 CPUtime=0.77 cores=1,3,5,7
/proc/21590/task/21606/stat : 21606 (java) S 21588 21590 19289 0 -1 4202560 3581 0 0 0 77 0 0 0 15 0 19 0 912591118 10803359744 1079595 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 216000408473 0 4 0 16800975 18446604468330824832 0 0 -1 1 0 0 0
[pid=21590/tid=21607] ppid=21588 vsize=10550156 CPUtime=0 cores=1,3,5,7
/proc/21590/task/21607/stat : 21607 (java) S 21588 21590 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912591118 10803359744 1079595 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 216000408473 0 4 0 16800975 18446604468330824832 0 0 -1 3 0 0 0
[pid=21590/tid=21608] ppid=21588 vsize=10550156 CPUtime=0 cores=1,3,5,7
/proc/21590/task/21608/stat : 21608 (java) S 21588 21590 19289 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 912591118 10803359744 1079595 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 216000409088 0 4 0 16800975 18446604468330824832 0 0 -1 5 0 0 0
[pid=21590/tid=21609] ppid=21588 vsize=10550156 CPUtime=0 cores=1,3,5,7
/proc/21590/task/21609/stat : 21609 (java) S 21588 21590 19289 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912591150 10803359744 1079595 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 216000409088 0 4 0 16800975 18446604468330824832 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1795.5
Current children cumulated vsize (KiB) 10550156
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1786.8 s]
/proc/loadavg: 2.19 2.12 2.04 3/551 21665
/proc/meminfo: memFree=10936276/32950940 swapFree=67111364/67111528
[pid=21590] ppid=21588 vsize=10550156 CPUtime=1800.01 cores=1,3,5,7
/proc/21590/stat : 21590 (java) S 21588 21590 19289 0 -1 4202496 1091883 0 1 0 179878 123 0 0 25 0 19 0 912591112 10803359744 1079595 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21590/statm: 2637539 1079595 2264 9 0 2628273 0
[pid=21590/tid=21591] ppid=21588 vsize=10550156 CPUtime=1780.41 cores=1,3,5,7
/proc/21590/task/21591/stat : 21591 (java) R 21588 21590 19289 0 -1 4202560 827729 0 1 0 177954 87 0 0 25 0 19 0 912591113 10803359744 1079595 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 46912505957253 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=21590/tid=21593] ppid=21588 vsize=10550156 CPUtime=2.09 cores=1,3,5,7
/proc/21590/task/21593/stat : 21593 (java) S 21588 21590 19289 0 -1 4202560 28743 0 0 0 205 4 0 0 15 0 19 0 912591114 10803359744 1079595 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 216000408473 0 4 0 16800975 18446604468330824832 0 0 -1 5 0 0 0
[pid=21590/tid=21594] ppid=21588 vsize=10550156 CPUtime=2.16 cores=1,3,5,7
/proc/21590/task/21594/stat : 21594 (java) S 21588 21590 19289 0 -1 4202560 34627 0 0 0 212 4 0 0 16 0 19 0 912591114 10803359744 1079595 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 216000408473 0 4 0 16800975 18446604468330824832 0 0 -1 3 0 0 0
[pid=21590/tid=21595] ppid=21588 vsize=10550156 CPUtime=2.09 cores=1,3,5,7
/proc/21590/task/21595/stat : 21595 (java) S 21588 21590 19289 0 -1 4202560 34423 0 0 0 204 5 0 0 15 0 19 0 912591114 10803359744 1079595 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 216000408473 0 4 0 16800975 18446604468330824832 0 0 -1 1 0 0 0
[pid=21590/tid=21596] ppid=21588 vsize=10550156 CPUtime=1.81 cores=1,3,5,7
/proc/21590/task/21596/stat : 21596 (java) S 21588 21590 19289 0 -1 4202560 30466 0 0 0 178 3 0 0 15 0 19 0 912591114 10803359744 1079595 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 216000408473 0 4 0 16800975 18446604468330824832 0 0 -1 3 0 0 0
[pid=21590/tid=21597] ppid=21588 vsize=10550156 CPUtime=2.03 cores=1,3,5,7
/proc/21590/task/21597/stat : 21597 (java) S 21588 21590 19289 0 -1 4202560 30347 0 0 0 200 3 0 0 16 0 19 0 912591114 10803359744 1079595 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 216000408473 0 4 0 16800975 18446604468330824832 0 0 -1 7 0 0 0
[pid=21590/tid=21598] ppid=21588 vsize=10550156 CPUtime=2.2 cores=1,3,5,7
/proc/21590/task/21598/stat : 21598 (java) S 21588 21590 19289 0 -1 4202560 39539 0 0 0 215 5 0 0 16 0 19 0 912591114 10803359744 1079595 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 216000408473 0 4 0 16800975 18446604468330824832 0 0 -1 1 0 0 0
[pid=21590/tid=21599] ppid=21588 vsize=10550156 CPUtime=2.16 cores=1,3,5,7
/proc/21590/task/21599/stat : 21599 (java) S 21588 21590 19289 0 -1 4202560 25140 0 0 0 214 2 0 0 16 0 19 0 912591114 10803359744 1079595 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 216000408473 0 4 0 16800975 18446604468330824832 0 0 -1 5 0 0 0
[pid=21590/tid=21600] ppid=21588 vsize=10550156 CPUtime=2.08 cores=1,3,5,7
/proc/21590/task/21600/stat : 21600 (java) S 21588 21590 19289 0 -1 4202560 28240 0 0 0 206 2 0 0 15 0 19 0 912591114 10803359744 1079595 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 216000408473 0 4 0 16800975 18446604468330824832 0 0 -1 1 0 0 0
[pid=21590/tid=21601] ppid=21588 vsize=10550156 CPUtime=1.3 cores=1,3,5,7
/proc/21590/task/21601/stat : 21601 (java) S 21588 21590 19289 0 -1 4202560 564 0 0 0 129 1 0 0 15 0 19 0 912591115 10803359744 1079595 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 216000409088 0 0 0 16800975 18446604468330824832 0 0 -1 3 0 0 0
[pid=21590/tid=21602] ppid=21588 vsize=10550156 CPUtime=0 cores=1,3,5,7
/proc/21590/task/21602/stat : 21602 (java) S 21588 21590 19289 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 912591116 10803359744 1079595 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 216000408473 0 4 0 16800975 18446604468330824832 0 0 -1 3 0 0 0
[pid=21590/tid=21603] ppid=21588 vsize=10550156 CPUtime=0 cores=1,3,5,7
/proc/21590/task/21603/stat : 21603 (java) S 21588 21590 19289 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 912591116 10803359744 1079595 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 216000408473 0 4 0 16800975 18446604468330824832 0 0 -1 3 0 0 0
[pid=21590/tid=21604] ppid=21588 vsize=10550156 CPUtime=0 cores=1,3,5,7
/proc/21590/task/21604/stat : 21604 (java) S 21588 21590 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912591118 10803359744 1079595 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 216000416177 0 4 0 16800975 18446604468330824832 0 0 -1 3 0 0 0
[pid=21590/tid=21605] ppid=21588 vsize=10550156 CPUtime=0.82 cores=1,3,5,7
/proc/21590/task/21605/stat : 21605 (java) S 21588 21590 19289 0 -1 4202560 7229 0 0 0 81 1 0 0 15 0 19 0 912591118 10803359744 1079595 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 216000408473 0 4 0 16800975 18446604468330824832 0 0 -1 5 0 0 0
[pid=21590/tid=21606] ppid=21588 vsize=10550156 CPUtime=0.77 cores=1,3,5,7
/proc/21590/task/21606/stat : 21606 (java) S 21588 21590 19289 0 -1 4202560 3581 0 0 0 77 0 0 0 15 0 19 0 912591118 10803359744 1079595 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 216000408473 0 4 0 16800975 18446604468330824832 0 0 -1 1 0 0 0
[pid=21590/tid=21607] ppid=21588 vsize=10550156 CPUtime=0 cores=1,3,5,7
/proc/21590/task/21607/stat : 21607 (java) S 21588 21590 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912591118 10803359744 1079595 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 216000408473 0 4 0 16800975 18446604468330824832 0 0 -1 3 0 0 0
[pid=21590/tid=21608] ppid=21588 vsize=10550156 CPUtime=0 cores=1,3,5,7
/proc/21590/task/21608/stat : 21608 (java) S 21588 21590 19289 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 912591118 10803359744 1079595 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 216000409088 0 4 0 16800975 18446604468330824832 0 0 -1 5 0 0 0
[pid=21590/tid=21609] ppid=21588 vsize=10550156 CPUtime=0 cores=1,3,5,7
/proc/21590/task/21609/stat : 21609 (java) S 21588 21590 19289 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912591150 10803359744 1079595 33554432000 1073741824 1073778376 140737442984384 18446744073709551615 216000409088 0 4 0 16800975 18446604468330824832 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 10550156
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1787 s]
/proc/loadavg: 2.19 2.12 2.04 3/551 21665
/proc/meminfo: memFree=10936276/32950940 swapFree=67111364/67111528
[pid=21590] ppid=21588 vsize=0 CPUtime=1800.25 cores=1,3,5,7
/proc/21590/stat : 21590 (java) Z 21588 21590 19289 0 -1 4203548 1091919 0 1 0 179887 138 0 0 17 0 2 0 912591112 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21590/statm: 0 0 0 0 0 0 0
[pid=21590/tid=21607] ppid=21588 vsize=0 CPUtime=0.14 cores=1,3,5,7
/proc/21590/task/21607/stat : 21607 (java) R 21588 21590 19289 0 -1 4203588 1 0 0 0 0 14 0 0 18 0 2 0 912591118 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.25
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1787.02
CPU time (s): 1800.29
CPU user time (s): 1798.88
CPU system time (s): 1.40679
CPU usage (%): 100.742
Max. virtual memory (cumulated for all children) (KiB): 10550156
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.88
system time used= 1.40679
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1091919
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= 43936
involuntary context switches= 15870
runsolver used 8.91664 second user time and 22.0706 second system time
The end