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-3456194-1307664585/watcher-3456194-1307664585 -o /tmp/evaluation-result-3456194-1307664585/solver-3456194-1307664585 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456194-1307664585.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 2/195 13328
/proc/meminfo: memFree=30870940/32951124 swapFree=67055708/67111528
[pid=13328] ppid=13326 vsize=30528 CPUtime=0 cores=1,3,5,7
/proc/13328/stat : 13328 (java) S 13326 13328 11597 0 -1 4202496 1238 0 0 0 0 0 0 0 25 0 2 0 610649805 31260672 957 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 268672464869 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/13328/statm: 7632 957 730 9 0 383 0
[pid=13328/tid=13329] ppid=13326 vsize=30528 CPUtime=0 cores=1,3,5,7
/proc/13328/task/13329/stat : 13329 (java) R 13326 13328 11597 0 -1 4202560 123 0 0 0 0 0 0 0 25 0 2 0 610649805 31260672 957 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 268660662016 0 0 4096 0 0 0 0 -1 1 0 0 0
[startup+0.0349671 s]
/proc/loadavg: 2.00 2.00 2.00 2/195 13328
/proc/meminfo: memFree=30870940/32951124 swapFree=67055708/67111528
[pid=13328] ppid=13326 vsize=10465424 CPUtime=0.03 cores=1,3,5,7
/proc/13328/stat : 13328 (java) S 13326 13328 11597 0 -1 4202496 11038 0 1 0 2 1 0 0 25 0 11 0 610649805 10716594176 10736 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 268672464869 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/13328/statm: 2616356 10736 1621 9 0 2607104 0
[pid=13328/tid=13329] ppid=13326 vsize=10465424 CPUtime=0.01 cores=1,3,5,7
/proc/13328/task/13329/stat : 13329 (java) R 13326 13328 11597 0 -1 4202560 9913 0 1 0 1 0 0 0 22 0 11 0 610649805 10716594176 10736 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 268672488907 0 4 0 16784584 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10465424
[startup+0.100953 s]
/proc/loadavg: 2.00 2.00 2.00 2/195 13328
/proc/meminfo: memFree=30870940/32951124 swapFree=67055708/67111528
[pid=13328] ppid=13326 vsize=10539792 CPUtime=0.1 cores=1,3,5,7
/proc/13328/stat : 13328 (java) S 13326 13328 11597 0 -1 4202496 13071 0 1 0 9 1 0 0 25 0 18 0 610649805 10792747008 12768 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13328/statm: 2634948 12769 2092 9 0 2625682 0
[pid=13328/tid=13329] ppid=13326 vsize=10539792 CPUtime=0.08 cores=1,3,5,7
/proc/13328/task/13329/stat : 13329 (java) R 13326 13328 11597 0 -1 4202560 11150 0 1 0 7 1 0 0 18 0 18 0 610649805 10792747008 12771 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 47485523517445 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539792
[startup+0.300886 s]
/proc/loadavg: 2.00 2.00 2.00 2/195 13328
/proc/meminfo: memFree=30870940/32951124 swapFree=67055708/67111528
[pid=13328] ppid=13326 vsize=10542584 CPUtime=0.49 cores=1,3,5,7
/proc/13328/stat : 13328 (java) S 13326 13328 11597 0 -1 4202496 17343 0 1 0 47 2 0 0 25 0 19 0 610649805 10795606016 16190 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13328/statm: 2635646 16191 2212 9 0 2626380 0
[pid=13328/tid=13329] ppid=13326 vsize=10542584 CPUtime=0.28 cores=1,3,5,7
/proc/13328/task/13329/stat : 13329 (java) R 13326 13328 11597 0 -1 4202560 12486 0 1 0 27 1 0 0 19 0 19 0 610649805 10795606016 16191 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 47485528017747 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 10542584
[startup+0.700862 s]
/proc/loadavg: 2.00 2.00 2.00 2/195 13328
/proc/meminfo: memFree=30870940/32951124 swapFree=67055708/67111528
[pid=13328] ppid=13326 vsize=10551832 CPUtime=1.66 cores=1,3,5,7
/proc/13328/stat : 13328 (java) S 13326 13328 11597 0 -1 4202496 40702 0 1 0 161 5 0 0 25 0 19 0 610649805 10805075968 35680 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13328/statm: 2637958 35682 2221 9 0 2628692 0
[pid=13328/tid=13329] ppid=13326 vsize=10551832 CPUtime=0.69 cores=1,3,5,7
/proc/13328/task/13329/stat : 13329 (java) R 13326 13328 11597 0 -1 4202560 28193 0 1 0 65 4 0 0 19 0 19 0 610649805 10805075968 35684 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 46912505595249 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.66
Current children cumulated vsize (KiB) 10551832
[startup+1.50071 s]
/proc/loadavg: 2.16 2.03 2.01 4/214 13347
/proc/meminfo: memFree=30561000/32951124 swapFree=67055708/67111528
[pid=13328] ppid=13326 vsize=10551832 CPUtime=2.62 cores=1,3,5,7
/proc/13328/stat : 13328 (java) S 13326 13328 11597 0 -1 4202496 101097 0 1 0 249 13 0 0 25 0 19 0 610649805 10805075968 96074 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13328/statm: 2637958 96078 2226 9 0 2628692 0
[pid=13328/tid=13329] ppid=13326 vsize=10551832 CPUtime=1.49 cores=1,3,5,7
/proc/13328/task/13329/stat : 13329 (java) R 13326 13328 11597 0 -1 4202560 88566 0 1 0 138 11 0 0 18 0 19 0 610649805 10805075968 96079 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 46912505595246 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=13328/tid=13331] ppid=13326 vsize=10551832 CPUtime=0 cores=1,3,5,7
/proc/13328/task/13331/stat : 13331 (java) S 13326 13328 11597 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 610649807 10805075968 96081 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 268672478105 0 4 0 16800975 18446604463356799168 0 0 -1 1 0 0 0
[pid=13328/tid=13332] ppid=13326 vsize=10551832 CPUtime=0 cores=1,3,5,7
/proc/13328/task/13332/stat : 13332 (java) S 13326 13328 11597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 610649807 10805075968 96083 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 268672478105 0 4 0 16800975 18446604463356799168 0 0 -1 1 0 0 0
[pid=13328/tid=13333] ppid=13326 vsize=10551832 CPUtime=0 cores=1,3,5,7
/proc/13328/task/13333/stat : 13333 (java) S 13326 13328 11597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 610649807 10805075968 96084 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 268672478105 0 4 0 16800975 18446604463356799168 0 0 -1 1 0 0 0
[pid=13328/tid=13334] ppid=13326 vsize=10551832 CPUtime=0 cores=1,3,5,7
/proc/13328/task/13334/stat : 13334 (java) S 13326 13328 11597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 610649807 10805075968 96086 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 268672478105 0 4 0 16800975 18446604463356799168 0 0 -1 1 0 0 0
[pid=13328/tid=13335] ppid=13326 vsize=10551832 CPUtime=0 cores=1,3,5,7
/proc/13328/task/13335/stat : 13335 (java) S 13326 13328 11597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 610649807 10805075968 96088 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 268672478105 0 4 0 16800975 18446604463356799168 0 0 -1 1 0 0 0
[pid=13328/tid=13336] ppid=13326 vsize=10551832 CPUtime=0 cores=1,3,5,7
/proc/13328/task/13336/stat : 13336 (java) S 13326 13328 11597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 610649807 10805075968 96090 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 268672478105 0 4 0 16800975 18446604463356799168 0 0 -1 1 0 0 0
[pid=13328/tid=13337] ppid=13326 vsize=10551832 CPUtime=0 cores=1,3,5,7
/proc/13328/task/13337/stat : 13337 (java) S 13326 13328 11597 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 610649807 10805075968 96091 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 268672478105 0 4 0 16800975 18446604463356799168 0 0 -1 1 0 0 0
[pid=13328/tid=13338] ppid=13326 vsize=10551832 CPUtime=0 cores=1,3,5,7
/proc/13328/task/13338/stat : 13338 (java) S 13326 13328 11597 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 610649807 10805075968 96093 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 268672478105 0 4 0 16800975 18446604463356799168 0 0 -1 1 0 0 0
[pid=13328/tid=13339] ppid=13326 vsize=10551832 CPUtime=0 cores=1,3,5,7
/proc/13328/task/13339/stat : 13339 (java) S 13326 13328 11597 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 610649808 10805075968 96095 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 268672478720 0 0 0 16800975 18446604463356799168 0 0 -1 7 0 0 0
[pid=13328/tid=13340] ppid=13326 vsize=10551832 CPUtime=0 cores=1,3,5,7
/proc/13328/task/13340/stat : 13340 (java) S 13326 13328 11597 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 610649808 10805075968 96097 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 268672478105 0 4 0 16800975 18446604463356799168 0 0 -1 1 0 0 0
[pid=13328/tid=13341] ppid=13326 vsize=10551832 CPUtime=0 cores=1,3,5,7
/proc/13328/task/13341/stat : 13341 (java) S 13326 13328 11597 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 610649808 10805075968 96099 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 268672478105 0 4 0 16800975 18446604463356799168 0 0 -1 1 0 0 0
[pid=13328/tid=13342] ppid=13326 vsize=10551832 CPUtime=0 cores=1,3,5,7
/proc/13328/task/13342/stat : 13342 (java) S 13326 13328 11597 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 610649810 10805075968 96101 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 268672485809 0 4 0 16800975 18446604463356799168 0 0 -1 1 0 0 0
[pid=13328/tid=13343] ppid=13326 vsize=10551832 CPUtime=0.57 cores=1,3,5,7
/proc/13328/task/13343/stat : 13343 (java) S 13326 13328 11597 0 -1 4202560 6291 0 0 0 57 0 0 0 15 0 19 0 610649810 10805075968 96103 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 268672478105 0 4 0 16800975 18446604463356799168 0 0 -1 3 0 0 0
[pid=13328/tid=13344] ppid=13326 vsize=10551832 CPUtime=0.54 cores=1,3,5,7
/proc/13328/task/13344/stat : 13344 (java) S 13326 13328 11597 0 -1 4202560 5084 0 0 0 54 0 0 0 19 0 19 0 610649810 10805075968 96105 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 268672478105 0 4 0 16800975 18446604463356799168 0 0 -1 7 0 0 0
[pid=13328/tid=13345] ppid=13326 vsize=10551832 CPUtime=0 cores=1,3,5,7
/proc/13328/task/13345/stat : 13345 (java) S 13326 13328 11597 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 610649810 10805075968 96108 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 268672478105 0 4 0 16800975 18446604463356799168 0 0 -1 1 0 0 0
[pid=13328/tid=13346] ppid=13326 vsize=10551832 CPUtime=0 cores=1,3,5,7
/proc/13328/task/13346/stat : 13346 (java) S 13326 13328 11597 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 610649810 10805075968 96111 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 268672478720 0 4 0 16800975 18446604463356799168 0 0 -1 5 0 0 0
[pid=13328/tid=13347] ppid=13326 vsize=10551832 CPUtime=0 cores=1,3,5,7
/proc/13328/task/13347/stat : 13347 (java) S 13326 13328 11597 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 610649827 10805075968 96114 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 268672478720 0 4 0 16800975 18446604463356799168 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.62
Current children cumulated vsize (KiB) 10551832
[startup+3.10143 s]
/proc/loadavg: 2.16 2.03 2.01 3/214 13347
/proc/meminfo: memFree=30140268/32951124 swapFree=67055708/67111528
[pid=13328] ppid=13326 vsize=10551832 CPUtime=4.37 cores=1,3,5,7
/proc/13328/stat : 13328 (java) S 13326 13328 11597 0 -1 4202496 223794 0 1 0 412 25 0 0 25 0 19 0 610649805 10805075968 218023 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13328/statm: 2637958 218025 2226 9 0 2628692 0
[pid=13328/tid=13329] ppid=13326 vsize=10551832 CPUtime=3.08 cores=1,3,5,7
/proc/13328/task/13329/stat : 13329 (java) R 13326 13328 11597 0 -1 4202560 210497 0 1 0 285 23 0 0 18 0 19 0 610649805 10805075968 218026 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 46912505595246 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=13328/tid=13331] ppid=13326 vsize=10551832 CPUtime=0 cores=1,3,5,7
/proc/13328/task/13331/stat : 13331 (java) S 13326 13328 11597 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 610649807 10805075968 218028 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 268672478105 0 4 0 16800975 18446604463356799168 0 0 -1 1 0 0 0
[pid=13328/tid=13332] ppid=13326 vsize=10551832 CPUtime=0 cores=1,3,5,7
/proc/13328/task/13332/stat : 13332 (java) S 13326 13328 11597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 610649807 10805075968 218030 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 268672478105 0 4 0 16800975 18446604463356799168 0 0 -1 1 0 0 0
[pid=13328/tid=13333] ppid=13326 vsize=10551832 CPUtime=0 cores=1,3,5,7
/proc/13328/task/13333/stat : 13333 (java) S 13326 13328 11597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 610649807 10805075968 218031 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 268672478105 0 4 0 16800975 18446604463356799168 0 0 -1 1 0 0 0
[pid=13328/tid=13334] ppid=13326 vsize=10551832 CPUtime=0 cores=1,3,5,7
/proc/13328/task/13334/stat : 13334 (java) S 13326 13328 11597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 610649807 10805075968 218033 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 268672478105 0 4 0 16800975 18446604463356799168 0 0 -1 1 0 0 0
[pid=13328/tid=13335] ppid=13326 vsize=10551832 CPUtime=0 cores=1,3,5,7
/proc/13328/task/13335/stat : 13335 (java) S 13326 13328 11597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 610649807 10805075968 218035 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 268672478105 0 4 0 16800975 18446604463356799168 0 0 -1 1 0 0 0
[pid=13328/tid=13336] ppid=13326 vsize=10551832 CPUtime=0 cores=1,3,5,7
/proc/13328/task/13336/stat : 13336 (java) S 13326 13328 11597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 610649807 10805075968 218037 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 268672478105 0 4 0 16800975 18446604463356799168 0 0 -1 1 0 0 0
[pid=13328/tid=13337] ppid=13326 vsize=10551832 CPUtime=0 cores=1,3,5,7
/proc/13328/task/13337/stat : 13337 (java) S 13326 13328 11597 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 610649807 10805075968 218038 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 268672478105 0 4 0 16800975 18446604463356799168 0 0 -1 1 0 0 0
[pid=13328/tid=13338] ppid=13326 vsize=10551832 CPUtime=0 cores=1,3,5,7
/proc/13328/task/13338/stat : 13338 (java) S 13326 13328 11597 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 610649807 10805075968 218040 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 268672478105 0 4 0 16800975 18446604463356799168 0 0 -1 1 0 0 0
[pid=13328/tid=13339] ppid=13326 vsize=10551832 CPUtime=0 cores=1,3,5,7
/proc/13328/task/13339/stat : 13339 (java) S 13326 13328 11597 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 610649808 10805075968 218042 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 268672478720 0 0 0 16800975 18446604463356799168 0 0 -1 7 0 0 0
[pid=13328/tid=13340] ppid=13326 vsize=10551832 CPUtime=0 cores=1,3,5,7
/proc/13328/task/13340/stat : 13340 (java) S 13326 13328 11597 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 610649808 10805075968 218044 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 268672478105 0 4 0 16800975 18446604463356799168 0 0 -1 1 0 0 0
[pid=13328/tid=13341] ppid=13326 vsize=10551832 CPUtime=0 cores=1,3,5,7
/proc/13328/task/13341/stat : 13341 (java) S 13326 13328 11597 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 610649808 10805075968 218045 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 268672478105 0 4 0 16800975 18446604463356799168 0 0 -1 1 0 0 0
[pid=13328/tid=13342] ppid=13326 vsize=10551832 CPUtime=0 cores=1,3,5,7
/proc/13328/task/13342/stat : 13342 (java) S 13326 13328 11597 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 610649810 10805075968 218046 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 268672485809 0 4 0 16800975 18446604463356799168 0 0 -1 1 0 0 0
[pid=13328/tid=13343] ppid=13326 vsize=10551832 CPUtime=0.72 cores=1,3,5,7
/proc/13328/task/13343/stat : 13343 (java) S 13326 13328 11597 0 -1 4202560 7056 0 0 0 72 0 0 0 16 0 19 0 610649810 10805075968 218048 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 268672478105 0 4 0 16800975 18446604463356799168 0 0 -1 3 0 0 0
[pid=13328/tid=13344] ppid=13326 vsize=10551832 CPUtime=0.54 cores=1,3,5,7
/proc/13328/task/13344/stat : 13344 (java) S 13326 13328 11597 0 -1 4202560 5084 0 0 0 54 0 0 0 19 0 19 0 610649810 10805075968 218050 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 268672478105 0 4 0 16800975 18446604463356799168 0 0 -1 7 0 0 0
[pid=13328/tid=13345] ppid=13326 vsize=10551832 CPUtime=0 cores=1,3,5,7
/proc/13328/task/13345/stat : 13345 (java) S 13326 13328 11597 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 610649810 10805075968 218051 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 268672478105 0 4 0 16800975 18446604463356799168 0 0 -1 1 0 0 0
[pid=13328/tid=13346] ppid=13326 vsize=10551832 CPUtime=0 cores=1,3,5,7
/proc/13328/task/13346/stat : 13346 (java) S 13326 13328 11597 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 610649810 10805075968 218053 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 268672478720 0 4 0 16800975 18446604463356799168 0 0 -1 5 0 0 0
[pid=13328/tid=13347] ppid=13326 vsize=10551832 CPUtime=0 cores=1,3,5,7
/proc/13328/task/13347/stat : 13347 (java) S 13326 13328 11597 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 610649827 10805075968 218054 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 268672478720 0 4 0 16800975 18446604463356799168 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.37
Current children cumulated vsize (KiB) 10551832
[startup+6.30087 s]
/proc/loadavg: 2.16 2.03 2.01 3/214 13347
/proc/meminfo: memFree=28896236/32951124 swapFree=67055708/67111528
[pid=13328] ppid=13326 vsize=10549432 CPUtime=7.67 cores=1,3,5,7
/proc/13328/stat : 13328 (java) S 13326 13328 11597 0 -1 4202496 461684 0 1 0 714 53 0 0 25 0 19 0 610649805 10802618368 455535 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13328/statm: 2637358 455539 2227 9 0 2628092 0
[pid=13328/tid=13329] ppid=13326 vsize=10549432 CPUtime=6.28 cores=1,3,5,7
/proc/13328/task/13329/stat : 13329 (java) R 13326 13328 11597 0 -1 4202560 448382 0 1 0 577 51 0 0 21 0 19 0 610649805 10802618368 455541 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 46912505586255 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=13328/tid=13331] ppid=13326 vsize=10549432 CPUtime=0 cores=1,3,5,7
/proc/13328/task/13331/stat : 13331 (java) S 13326 13328 11597 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 610649807 10802618368 455544 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 268672478105 0 4 0 16800975 18446604463356799168 0 0 -1 1 0 0 0
[pid=13328/tid=13332] ppid=13326 vsize=10549432 CPUtime=0 cores=1,3,5,7
/proc/13328/task/13332/stat : 13332 (java) S 13326 13328 11597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 610649807 10802618368 455545 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 268672478105 0 4 0 16800975 18446604463356799168 0 0 -1 1 0 0 0
[pid=13328/tid=13333] ppid=13326 vsize=10549432 CPUtime=0 cores=1,3,5,7
/proc/13328/task/13333/stat : 13333 (java) S 13326 13328 11597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 610649807 10802618368 455547 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 268672478105 0 4 0 16800975 18446604463356799168 0 0 -1 1 0 0 0
[pid=13328/tid=13334] ppid=13326 vsize=10549432 CPUtime=0 cores=1,3,5,7
/proc/13328/task/13334/stat : 13334 (java) S 13326 13328 11597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 610649807 10802618368 455549 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 268672478105 0 4 0 16800975 18446604463356799168 0 0 -1 1 0 0 0
[pid=13328/tid=13335] ppid=13326 vsize=10549432 CPUtime=0 cores=1,3,5,7
/proc/13328/task/13335/stat : 13335 (java) S 13326 13328 11597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 610649807 10802618368 455551 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 268672478105 0 4 0 16800975 18446604463356799168 0 0 -1 1 0 0 0
[pid=13328/tid=13336] ppid=13326 vsize=10549432 CPUtime=0 cores=1,3,5,7
/proc/13328/task/13336/stat : 13336 (java) S 13326 13328 11597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 610649807 10802618368 455553 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 268672478105 0 4 0 16800975 18446604463356799168 0 0 -1 1 0 0 0
[pid=13328/tid=13337] ppid=13326 vsize=10549432 CPUtime=0 cores=1,3,5,7
/proc/13328/task/13337/stat : 13337 (java) S 13326 13328 11597 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 610649807 10802618368 455555 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 268672478105 0 4 0 16800975 18446604463356799168 0 0 -1 1 0 0 0
[pid=13328/tid=13338] ppid=13326 vsize=10549432 CPUtime=0 cores=1,3,5,7
/proc/13328/task/13338/stat : 13338 (java) S 13326 13328 11597 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 610649807 10802618368 455557 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 268672478105 0 4 0 16800975 18446604463356799168 0 0 -1 1 0 0 0
[pid=13328/tid=13339] ppid=13326 vsize=10549432 CPUtime=0 cores=1,3,5,7
/proc/13328/task/13339/stat : 13339 (java) S 13326 13328 11597 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 610649808 10802618368 455558 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 268672478720 0 0 0 16800975 18446604463356799168 0 0 -1 7 0 0 0
[pid=13328/tid=13340] ppid=13326 vsize=10549432 CPUtime=0 cores=1,3,5,7
/proc/13328/task/13340/stat : 13340 (java) S 13326 13328 11597 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 610649808 10802618368 455560 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 268672478105 0 4 0 16800975 18446604463356799168 0 0 -1 1 0 0 0
[pid=13328/tid=13341] ppid=13326 vsize=10549432 CPUtime=0 cores=1,3,5,7
/proc/13328/task/13341/stat : 13341 (java) S 13326 13328 11597 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 610649808 10802618368 455562 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 268672478105 0 4 0 16800975 18446604463356799168 0 0 -1 1 0 0 0
[pid=13328/tid=13342] ppid=13326 vsize=10549432 CPUtime=0 cores=1,3,5,7
/proc/13328/task/13342/stat : 13342 (java) S 13326 13328 11597 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 610649810 10802618368 455564 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 268672485809 0 4 0 16800975 18446604463356799168 0 0 -1 1 0 0 0
[pid=13328/tid=13343] ppid=13326 vsize=10549432 CPUtime=0.76 cores=1,3,5,7
/proc/13328/task/13343/stat : 13343 (java) S 13326 13328 11597 0 -1 4202560 7058 0 0 0 76 0 0 0 15 0 19 0 610649810 10802618368 455566 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 268672478105 0 4 0 16800975 18446604463356799168 0 0 -1 3 0 0 0
[pid=13328/tid=13344] ppid=13326 vsize=10549432 CPUtime=0.6 cores=1,3,5,7
/proc/13328/task/13344/stat : 13344 (java) S 13326 13328 11597 0 -1 4202560 5088 0 0 0 60 0 0 0 16 0 19 0 610649810 10802618368 455568 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 268672478105 0 4 0 16800975 18446604463356799168 0 0 -1 5 0 0 0
################
# More data... #
################
/proc/13328/task/13341/stat : 13341 (java) S 13326 13328 11597 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 610649808 10802618368 980759 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 268672478105 0 4 0 16800975 18446604463356799168 0 0 -1 1 0 0 0
[pid=13328/tid=13342] ppid=13326 vsize=10549432 CPUtime=0 cores=1,3,5,7
/proc/13328/task/13342/stat : 13342 (java) S 13326 13328 11597 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 610649810 10802618368 980759 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 268672485809 0 4 0 16800975 18446604463356799168 0 0 -1 1 0 0 0
[pid=13328/tid=13343] ppid=13326 vsize=10549432 CPUtime=0.86 cores=1,3,5,7
/proc/13328/task/13343/stat : 13343 (java) S 13326 13328 11597 0 -1 4202560 7086 0 0 0 86 0 0 0 15 0 19 0 610649810 10802618368 980759 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 268672478105 0 4 0 16800975 18446604463356799168 0 0 -1 3 0 0 0
[pid=13328/tid=13344] ppid=13326 vsize=10549432 CPUtime=0.72 cores=1,3,5,7
/proc/13328/task/13344/stat : 13344 (java) S 13326 13328 11597 0 -1 4202560 5108 0 0 0 72 0 0 0 15 0 19 0 610649810 10802618368 980759 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 268672478105 0 4 0 16800975 18446604463356799168 0 0 -1 5 0 0 0
[pid=13328/tid=13345] ppid=13326 vsize=10549432 CPUtime=0 cores=1,3,5,7
/proc/13328/task/13345/stat : 13345 (java) S 13326 13328 11597 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 610649810 10802618368 980759 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 268672478105 0 4 0 16800975 18446604463356799168 0 0 -1 1 0 0 0
[pid=13328/tid=13346] ppid=13326 vsize=10549432 CPUtime=0 cores=1,3,5,7
/proc/13328/task/13346/stat : 13346 (java) S 13326 13328 11597 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 610649810 10802618368 980759 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 268672478720 0 4 0 16800975 18446604463356799168 0 0 -1 3 0 0 0
[pid=13328/tid=13347] ppid=13326 vsize=10549432 CPUtime=0 cores=1,3,5,7
/proc/13328/task/13347/stat : 13347 (java) S 13326 13328 11597 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 610649827 10802618368 980759 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 268672478720 0 4 0 16800975 18446604463356799168 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1668.86
Current children cumulated vsize (KiB) 10549432
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 13393
/proc/meminfo: memFree=24083552/32951124 swapFree=67055708/67111528
[pid=13328] ppid=13326 vsize=10549432 CPUtime=1729.08 cores=1,3,5,7
/proc/13328/stat : 13328 (java) S 13326 13328 11597 0 -1 4202496 991384 0 1 0 172793 115 0 0 25 0 19 0 610649805 10802618368 982457 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13328/statm: 2637358 982457 2257 9 0 2628092 0
[pid=13328/tid=13329] ppid=13326 vsize=10549432 CPUtime=1719.5 cores=1,3,5,7
/proc/13328/task/13329/stat : 13329 (java) R 13326 13328 11597 0 -1 4202560 803626 0 1 0 171860 90 0 0 25 0 19 0 610649805 10802618368 982457 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 46912505594465 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=13328/tid=13331] ppid=13326 vsize=10549432 CPUtime=0.88 cores=1,3,5,7
/proc/13328/task/13331/stat : 13331 (java) S 13326 13328 11597 0 -1 4202560 19095 0 0 0 86 2 0 0 16 0 19 0 610649807 10802618368 982457 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 268672478105 0 4 0 16800975 18446604463356799168 0 0 -1 3 0 0 0
[pid=13328/tid=13332] ppid=13326 vsize=10549432 CPUtime=0.92 cores=1,3,5,7
/proc/13328/task/13332/stat : 13332 (java) S 13326 13328 11597 0 -1 4202560 23188 0 0 0 90 2 0 0 15 0 19 0 610649807 10802618368 982457 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 268672478105 0 4 0 16800975 18446604463356799168 0 0 -1 7 0 0 0
[pid=13328/tid=13333] ppid=13326 vsize=10549432 CPUtime=0.83 cores=1,3,5,7
/proc/13328/task/13333/stat : 13333 (java) S 13326 13328 11597 0 -1 4202560 25022 0 0 0 82 1 0 0 15 0 19 0 610649807 10802618368 982457 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 268672478105 0 4 0 16800975 18446604463356799168 0 0 -1 5 0 0 0
[pid=13328/tid=13334] ppid=13326 vsize=10549432 CPUtime=0.89 cores=1,3,5,7
/proc/13328/task/13334/stat : 13334 (java) S 13326 13328 11597 0 -1 4202560 21936 0 0 0 87 2 0 0 16 0 19 0 610649807 10802618368 982457 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 268672478105 0 4 0 16800975 18446604463356799168 0 0 -1 7 0 0 0
[pid=13328/tid=13335] ppid=13326 vsize=10549432 CPUtime=0.88 cores=1,3,5,7
/proc/13328/task/13335/stat : 13335 (java) S 13326 13328 11597 0 -1 4202560 17377 0 0 0 86 2 0 0 16 0 19 0 610649807 10802618368 982457 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 268672478105 0 4 0 16800975 18446604463356799168 0 0 -1 1 0 0 0
[pid=13328/tid=13336] ppid=13326 vsize=10549432 CPUtime=0.79 cores=1,3,5,7
/proc/13328/task/13336/stat : 13336 (java) S 13326 13328 11597 0 -1 4202560 21503 0 0 0 77 2 0 0 16 0 19 0 610649807 10802618368 982457 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 268672478105 0 4 0 16800975 18446604463356799168 0 0 -1 3 0 0 0
[pid=13328/tid=13337] ppid=13326 vsize=10549432 CPUtime=0.68 cores=1,3,5,7
/proc/13328/task/13337/stat : 13337 (java) S 13326 13328 11597 0 -1 4202560 14468 0 0 0 67 1 0 0 15 0 19 0 610649807 10802618368 982457 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 268672478105 0 4 0 16800975 18446604463356799168 0 0 -1 5 0 0 0
[pid=13328/tid=13338] ppid=13326 vsize=10549432 CPUtime=1.03 cores=1,3,5,7
/proc/13328/task/13338/stat : 13338 (java) S 13326 13328 11597 0 -1 4202560 21039 0 0 0 101 2 0 0 16 0 19 0 610649807 10802618368 982457 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 268672478105 0 4 0 16800975 18446604463356799168 0 0 -1 5 0 0 0
[pid=13328/tid=13339] ppid=13326 vsize=10549432 CPUtime=0.96 cores=1,3,5,7
/proc/13328/task/13339/stat : 13339 (java) S 13326 13328 11597 0 -1 4202560 10684 0 0 0 94 2 0 0 15 0 19 0 610649808 10802618368 982457 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 268672478720 0 0 0 16800975 18446604463356799168 0 0 -1 5 0 0 0
[pid=13328/tid=13340] ppid=13326 vsize=10549432 CPUtime=0 cores=1,3,5,7
/proc/13328/task/13340/stat : 13340 (java) S 13326 13328 11597 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 610649808 10802618368 982457 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 268672478105 0 4 0 16800975 18446604463356799168 0 0 -1 1 0 0 0
[pid=13328/tid=13341] ppid=13326 vsize=10549432 CPUtime=0 cores=1,3,5,7
/proc/13328/task/13341/stat : 13341 (java) S 13326 13328 11597 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 610649808 10802618368 982457 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 268672478105 0 4 0 16800975 18446604463356799168 0 0 -1 1 0 0 0
[pid=13328/tid=13342] ppid=13326 vsize=10549432 CPUtime=0 cores=1,3,5,7
/proc/13328/task/13342/stat : 13342 (java) S 13326 13328 11597 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 610649810 10802618368 982457 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 268672485809 0 4 0 16800975 18446604463356799168 0 0 -1 1 0 0 0
[pid=13328/tid=13343] ppid=13326 vsize=10549432 CPUtime=0.86 cores=1,3,5,7
/proc/13328/task/13343/stat : 13343 (java) S 13326 13328 11597 0 -1 4202560 7086 0 0 0 86 0 0 0 15 0 19 0 610649810 10802618368 982457 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 268672478105 0 4 0 16800975 18446604463356799168 0 0 -1 3 0 0 0
[pid=13328/tid=13344] ppid=13326 vsize=10549432 CPUtime=0.72 cores=1,3,5,7
/proc/13328/task/13344/stat : 13344 (java) S 13326 13328 11597 0 -1 4202560 5108 0 0 0 72 0 0 0 15 0 19 0 610649810 10802618368 982457 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 268672478105 0 4 0 16800975 18446604463356799168 0 0 -1 5 0 0 0
[pid=13328/tid=13345] ppid=13326 vsize=10549432 CPUtime=0 cores=1,3,5,7
/proc/13328/task/13345/stat : 13345 (java) S 13326 13328 11597 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 610649810 10802618368 982457 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 268672478105 0 4 0 16800975 18446604463356799168 0 0 -1 1 0 0 0
[pid=13328/tid=13346] ppid=13326 vsize=10549432 CPUtime=0 cores=1,3,5,7
/proc/13328/task/13346/stat : 13346 (java) S 13326 13328 11597 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 610649810 10802618368 982457 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 268672478720 0 4 0 16800975 18446604463356799168 0 0 -1 3 0 0 0
[pid=13328/tid=13347] ppid=13326 vsize=10549432 CPUtime=0 cores=1,3,5,7
/proc/13328/task/13347/stat : 13347 (java) S 13326 13328 11597 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 610649827 10802618368 982457 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 268672478720 0 4 0 16800975 18446604463356799168 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1729.08
Current children cumulated vsize (KiB) 10549432
[startup+1782.3 s]
/proc/loadavg: 1.88 1.98 1.99 2/190 13421
/proc/meminfo: memFree=28463264/32951124 swapFree=67055708/67111528
[pid=13328] ppid=13326 vsize=10549432 CPUtime=1789.31 cores=1,3,5,7
/proc/13328/stat : 13328 (java) S 13326 13328 11597 0 -1 4202496 993064 0 1 0 178816 115 0 0 25 0 19 0 610649805 10802618368 984115 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13328/statm: 2637358 984115 2257 9 0 2628092 0
[pid=13328/tid=13329] ppid=13326 vsize=10549432 CPUtime=1779.42 cores=1,3,5,7
/proc/13328/task/13329/stat : 13329 (java) R 13326 13328 11597 0 -1 4202560 803630 0 1 0 177852 90 0 0 25 0 19 0 610649805 10802618368 984115 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 46912505620655 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=13328/tid=13331] ppid=13326 vsize=10549432 CPUtime=0.94 cores=1,3,5,7
/proc/13328/task/13331/stat : 13331 (java) S 13326 13328 11597 0 -1 4202560 19459 0 0 0 92 2 0 0 16 0 19 0 610649807 10802618368 984115 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 268672478105 0 4 0 16800975 18446604463356799168 0 0 -1 3 0 0 0
[pid=13328/tid=13332] ppid=13326 vsize=10549432 CPUtime=0.96 cores=1,3,5,7
/proc/13328/task/13332/stat : 13332 (java) S 13326 13328 11597 0 -1 4202560 23542 0 0 0 94 2 0 0 16 0 19 0 610649807 10802618368 984115 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 268672478105 0 4 0 16800975 18446604463356799168 0 0 -1 7 0 0 0
[pid=13328/tid=13333] ppid=13326 vsize=10549432 CPUtime=0.89 cores=1,3,5,7
/proc/13328/task/13333/stat : 13333 (java) S 13326 13328 11597 0 -1 4202560 25249 0 0 0 88 1 0 0 16 0 19 0 610649807 10802618368 984115 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 268672478105 0 4 0 16800975 18446604463356799168 0 0 -1 5 0 0 0
[pid=13328/tid=13334] ppid=13326 vsize=10549432 CPUtime=0.91 cores=1,3,5,7
/proc/13328/task/13334/stat : 13334 (java) S 13326 13328 11597 0 -1 4202560 22048 0 0 0 89 2 0 0 16 0 19 0 610649807 10802618368 984115 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 268672478105 0 4 0 16800975 18446604463356799168 0 0 -1 7 0 0 0
[pid=13328/tid=13335] ppid=13326 vsize=10549432 CPUtime=0.9 cores=1,3,5,7
/proc/13328/task/13335/stat : 13335 (java) S 13326 13328 11597 0 -1 4202560 17448 0 0 0 88 2 0 0 16 0 19 0 610649807 10802618368 984115 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 268672478105 0 4 0 16800975 18446604463356799168 0 0 -1 3 0 0 0
[pid=13328/tid=13336] ppid=13326 vsize=10549432 CPUtime=0.81 cores=1,3,5,7
/proc/13328/task/13336/stat : 13336 (java) S 13326 13328 11597 0 -1 4202560 21789 0 0 0 79 2 0 0 15 0 19 0 610649807 10802618368 984115 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 268672478105 0 4 0 16800975 18446604463356799168 0 0 -1 3 0 0 0
[pid=13328/tid=13337] ppid=13326 vsize=10549432 CPUtime=0.7 cores=1,3,5,7
/proc/13328/task/13337/stat : 13337 (java) S 13326 13328 11597 0 -1 4202560 14476 0 0 0 69 1 0 0 16 0 19 0 610649807 10802618368 984115 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 268672478105 0 4 0 16800975 18446604463356799168 0 0 -1 7 0 0 0
[pid=13328/tid=13338] ppid=13326 vsize=10549432 CPUtime=1.09 cores=1,3,5,7
/proc/13328/task/13338/stat : 13338 (java) S 13326 13328 11597 0 -1 4202560 21287 0 0 0 107 2 0 0 16 0 19 0 610649807 10802618368 984115 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 268672478105 0 4 0 16800975 18446604463356799168 0 0 -1 1 0 0 0
[pid=13328/tid=13339] ppid=13326 vsize=10549432 CPUtime=0.96 cores=1,3,5,7
/proc/13328/task/13339/stat : 13339 (java) S 13326 13328 11597 0 -1 4202560 10686 0 0 0 94 2 0 0 15 0 19 0 610649808 10802618368 984115 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 268672478720 0 0 0 16800975 18446604463356799168 0 0 -1 5 0 0 0
[pid=13328/tid=13340] ppid=13326 vsize=10549432 CPUtime=0 cores=1,3,5,7
/proc/13328/task/13340/stat : 13340 (java) S 13326 13328 11597 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 610649808 10802618368 984115 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 268672478105 0 4 0 16800975 18446604463356799168 0 0 -1 1 0 0 0
[pid=13328/tid=13341] ppid=13326 vsize=10549432 CPUtime=0 cores=1,3,5,7
/proc/13328/task/13341/stat : 13341 (java) S 13326 13328 11597 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 610649808 10802618368 984115 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 268672478105 0 4 0 16800975 18446604463356799168 0 0 -1 1 0 0 0
[pid=13328/tid=13342] ppid=13326 vsize=10549432 CPUtime=0 cores=1,3,5,7
/proc/13328/task/13342/stat : 13342 (java) S 13326 13328 11597 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 610649810 10802618368 984115 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 268672485809 0 4 0 16800975 18446604463356799168 0 0 -1 1 0 0 0
[pid=13328/tid=13343] ppid=13326 vsize=10549432 CPUtime=0.86 cores=1,3,5,7
/proc/13328/task/13343/stat : 13343 (java) S 13326 13328 11597 0 -1 4202560 7086 0 0 0 86 0 0 0 15 0 19 0 610649810 10802618368 984115 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 268672478105 0 4 0 16800975 18446604463356799168 0 0 -1 3 0 0 0
[pid=13328/tid=13344] ppid=13326 vsize=10549432 CPUtime=0.72 cores=1,3,5,7
/proc/13328/task/13344/stat : 13344 (java) S 13326 13328 11597 0 -1 4202560 5108 0 0 0 72 0 0 0 15 0 19 0 610649810 10802618368 984115 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 268672478105 0 4 0 16800975 18446604463356799168 0 0 -1 5 0 0 0
[pid=13328/tid=13345] ppid=13326 vsize=10549432 CPUtime=0 cores=1,3,5,7
/proc/13328/task/13345/stat : 13345 (java) S 13326 13328 11597 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 610649810 10802618368 984115 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 268672478105 0 4 0 16800975 18446604463356799168 0 0 -1 1 0 0 0
[pid=13328/tid=13346] ppid=13326 vsize=10549432 CPUtime=0 cores=1,3,5,7
/proc/13328/task/13346/stat : 13346 (java) S 13326 13328 11597 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 610649810 10802618368 984115 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 268672478720 0 4 0 16800975 18446604463356799168 0 0 -1 3 0 0 0
[pid=13328/tid=13347] ppid=13326 vsize=10549432 CPUtime=0 cores=1,3,5,7
/proc/13328/task/13347/stat : 13347 (java) S 13326 13328 11597 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 610649827 10802618368 984115 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 268672478720 0 4 0 16800975 18446604463356799168 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1789.31
Current children cumulated vsize (KiB) 10549432
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1793.01 s]
/proc/loadavg: 1.74 1.95 1.98 2/190 13422
/proc/meminfo: memFree=28463512/32951124 swapFree=67055708/67111528
[pid=13328] ppid=13326 vsize=10549432 CPUtime=1800.02 cores=1,3,5,7
/proc/13328/stat : 13328 (java) S 13326 13328 11597 0 -1 4202496 993064 0 1 0 179887 115 0 0 25 0 19 0 610649805 10802618368 984115 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13328/statm: 2637358 984115 2257 9 0 2628092 0
[pid=13328/tid=13329] ppid=13326 vsize=10549432 CPUtime=1790.13 cores=1,3,5,7
/proc/13328/task/13329/stat : 13329 (java) R 13326 13328 11597 0 -1 4202560 803630 0 1 0 178923 90 0 0 25 0 19 0 610649805 10802618368 984115 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 46912505586159 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=13328/tid=13331] ppid=13326 vsize=10549432 CPUtime=0.94 cores=1,3,5,7
/proc/13328/task/13331/stat : 13331 (java) S 13326 13328 11597 0 -1 4202560 19459 0 0 0 92 2 0 0 16 0 19 0 610649807 10802618368 984115 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 268672478105 0 4 0 16800975 18446604463356799168 0 0 -1 3 0 0 0
[pid=13328/tid=13332] ppid=13326 vsize=10549432 CPUtime=0.96 cores=1,3,5,7
/proc/13328/task/13332/stat : 13332 (java) S 13326 13328 11597 0 -1 4202560 23542 0 0 0 94 2 0 0 16 0 19 0 610649807 10802618368 984115 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 268672478105 0 4 0 16800975 18446604463356799168 0 0 -1 7 0 0 0
[pid=13328/tid=13333] ppid=13326 vsize=10549432 CPUtime=0.89 cores=1,3,5,7
/proc/13328/task/13333/stat : 13333 (java) S 13326 13328 11597 0 -1 4202560 25249 0 0 0 88 1 0 0 16 0 19 0 610649807 10802618368 984115 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 268672478105 0 4 0 16800975 18446604463356799168 0 0 -1 5 0 0 0
[pid=13328/tid=13334] ppid=13326 vsize=10549432 CPUtime=0.91 cores=1,3,5,7
/proc/13328/task/13334/stat : 13334 (java) S 13326 13328 11597 0 -1 4202560 22048 0 0 0 89 2 0 0 16 0 19 0 610649807 10802618368 984115 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 268672478105 0 4 0 16800975 18446604463356799168 0 0 -1 7 0 0 0
[pid=13328/tid=13335] ppid=13326 vsize=10549432 CPUtime=0.9 cores=1,3,5,7
/proc/13328/task/13335/stat : 13335 (java) S 13326 13328 11597 0 -1 4202560 17448 0 0 0 88 2 0 0 16 0 19 0 610649807 10802618368 984115 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 268672478105 0 4 0 16800975 18446604463356799168 0 0 -1 3 0 0 0
[pid=13328/tid=13336] ppid=13326 vsize=10549432 CPUtime=0.81 cores=1,3,5,7
/proc/13328/task/13336/stat : 13336 (java) S 13326 13328 11597 0 -1 4202560 21789 0 0 0 79 2 0 0 15 0 19 0 610649807 10802618368 984115 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 268672478105 0 4 0 16800975 18446604463356799168 0 0 -1 3 0 0 0
[pid=13328/tid=13337] ppid=13326 vsize=10549432 CPUtime=0.7 cores=1,3,5,7
/proc/13328/task/13337/stat : 13337 (java) S 13326 13328 11597 0 -1 4202560 14476 0 0 0 69 1 0 0 16 0 19 0 610649807 10802618368 984115 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 268672478105 0 4 0 16800975 18446604463356799168 0 0 -1 7 0 0 0
[pid=13328/tid=13338] ppid=13326 vsize=10549432 CPUtime=1.09 cores=1,3,5,7
/proc/13328/task/13338/stat : 13338 (java) S 13326 13328 11597 0 -1 4202560 21287 0 0 0 107 2 0 0 16 0 19 0 610649807 10802618368 984115 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 268672478105 0 4 0 16800975 18446604463356799168 0 0 -1 1 0 0 0
[pid=13328/tid=13339] ppid=13326 vsize=10549432 CPUtime=0.96 cores=1,3,5,7
/proc/13328/task/13339/stat : 13339 (java) S 13326 13328 11597 0 -1 4202560 10686 0 0 0 94 2 0 0 15 0 19 0 610649808 10802618368 984115 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 268672478720 0 0 0 16800975 18446604463356799168 0 0 -1 5 0 0 0
[pid=13328/tid=13340] ppid=13326 vsize=10549432 CPUtime=0 cores=1,3,5,7
/proc/13328/task/13340/stat : 13340 (java) S 13326 13328 11597 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 610649808 10802618368 984115 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 268672478105 0 4 0 16800975 18446604463356799168 0 0 -1 1 0 0 0
[pid=13328/tid=13341] ppid=13326 vsize=10549432 CPUtime=0 cores=1,3,5,7
/proc/13328/task/13341/stat : 13341 (java) S 13326 13328 11597 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 610649808 10802618368 984115 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 268672478105 0 4 0 16800975 18446604463356799168 0 0 -1 1 0 0 0
[pid=13328/tid=13342] ppid=13326 vsize=10549432 CPUtime=0 cores=1,3,5,7
/proc/13328/task/13342/stat : 13342 (java) S 13326 13328 11597 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 610649810 10802618368 984115 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 268672485809 0 4 0 16800975 18446604463356799168 0 0 -1 1 0 0 0
[pid=13328/tid=13343] ppid=13326 vsize=10549432 CPUtime=0.86 cores=1,3,5,7
/proc/13328/task/13343/stat : 13343 (java) S 13326 13328 11597 0 -1 4202560 7086 0 0 0 86 0 0 0 15 0 19 0 610649810 10802618368 984115 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 268672478105 0 4 0 16800975 18446604463356799168 0 0 -1 3 0 0 0
[pid=13328/tid=13344] ppid=13326 vsize=10549432 CPUtime=0.72 cores=1,3,5,7
/proc/13328/task/13344/stat : 13344 (java) S 13326 13328 11597 0 -1 4202560 5108 0 0 0 72 0 0 0 15 0 19 0 610649810 10802618368 984115 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 268672478105 0 4 0 16800975 18446604463356799168 0 0 -1 5 0 0 0
[pid=13328/tid=13345] ppid=13326 vsize=10549432 CPUtime=0 cores=1,3,5,7
/proc/13328/task/13345/stat : 13345 (java) S 13326 13328 11597 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 610649810 10802618368 984115 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 268672478105 0 4 0 16800975 18446604463356799168 0 0 -1 1 0 0 0
[pid=13328/tid=13346] ppid=13326 vsize=10549432 CPUtime=0 cores=1,3,5,7
/proc/13328/task/13346/stat : 13346 (java) S 13326 13328 11597 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 610649810 10802618368 984115 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 268672478720 0 4 0 16800975 18446604463356799168 0 0 -1 3 0 0 0
[pid=13328/tid=13347] ppid=13326 vsize=10549432 CPUtime=0 cores=1,3,5,7
/proc/13328/task/13347/stat : 13347 (java) S 13326 13328 11597 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 610649827 10802618368 984115 33554432000 1073741824 1073778376 140735489365920 18446744073709551615 268672478720 0 4 0 16800975 18446604463356799168 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 10549432
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1793.12 s]
/proc/loadavg: 1.74 1.95 1.98 2/190 13422
/proc/meminfo: memFree=28463512/32951124 swapFree=67055708/67111528
[pid=13328] ppid=13326 vsize=0 CPUtime=1800.13 cores=1,3,5,7
/proc/13328/stat : 13328 (java) Z 13326 13328 11597 0 -1 4203548 993107 0 1 0 179891 122 0 0 17 0 2 0 610649805 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13328/statm: 0 0 0 0 0 0 0
[pid=13328/tid=13337] ppid=13326 vsize=0 CPUtime=0.77 cores=1,3,5,7
/proc/13328/task/13337/stat : 13337 (java) R 13326 13328 11597 0 -1 4203588 14476 0 0 0 69 8 0 0 15 0 2 0 610649807 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1793.18
CPU time (s): 1800.21
CPU user time (s): 1798.92
CPU system time (s): 1.2878
CPU usage (%): 100.392
Max. virtual memory (cumulated for all children) (KiB): 10551832
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.92
system time used= 1.2878
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 993107
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= 39422
involuntary context switches= 4036
runsolver used 3.16252 second user time and 6.63799 second system time
The end