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-3454320-1307187630/watcher-3454320-1307187630 -o /tmp/evaluation-result-3454320-1307187630/solver-3454320-1307187630 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454320-1307187630.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.26 1.41 1.50 4/294 14267
/proc/meminfo: memFree=26750012/32951124 swapFree=55664332/67111528
[pid=14267] ppid=14265 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/14267/stat : 14267 (java) R 14265 14267 10640 0 -1 4202496 951 0 0 0 0 0 0 0 25 0 1 0 830363793 23580672 695 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 222916814312 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/14267/statm: 5757 695 511 9 0 124 0
[pid=14267/tid=14268] ppid=14265 vsize=35820 CPUtime=0 cores=0,2,4,6
/proc/14267/task/14268/stat : 14268 (java) R 14265 14267 10640 0 -1 4202560 249 0 1 0 0 0 0 0 25 0 2 0 830363794 36679680 1066 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 222916853383 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.0889901 s]
/proc/loadavg: 2.26 1.41 1.50 4/294 14267
/proc/meminfo: memFree=26750012/32951124 swapFree=55664332/67111528
[pid=14267] ppid=14265 vsize=10474512 CPUtime=0.08 cores=0,2,4,6
/proc/14267/stat : 14267 (java) S 14265 14267 10640 0 -1 4202496 12710 0 1 0 7 1 0 0 25 0 18 0 830363793 10725900288 12407 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/14267/statm: 2618628 12408 2058 9 0 2609362 0
[pid=14267/tid=14268] ppid=14265 vsize=10474512 CPUtime=0.07 cores=0,2,4,6
/proc/14267/task/14268/stat : 14268 (java) R 14265 14267 10640 0 -1 4202560 10950 0 1 0 6 1 0 0 18 0 18 0 830363794 10725900288 12408 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 222921772901 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 10474512
[startup+0.100814 s]
/proc/loadavg: 2.26 1.41 1.50 4/294 14267
/proc/meminfo: memFree=26750012/32951124 swapFree=55664332/67111528
[pid=14267] ppid=14265 vsize=10474812 CPUtime=0.1 cores=0,2,4,6
/proc/14267/stat : 14267 (java) S 14265 14267 10640 0 -1 4202496 13022 0 1 0 9 1 0 0 25 0 18 0 830363793 10726207488 12719 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/14267/statm: 2618703 12719 2092 9 0 2609437 0
[pid=14267/tid=14268] ppid=14265 vsize=10474812 CPUtime=0.08 cores=0,2,4,6
/proc/14267/task/14268/stat : 14268 (java) R 14265 14267 10640 0 -1 4202560 11109 0 1 0 7 1 0 0 18 0 18 0 830363794 10726207488 12719 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 46912505227952 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10474812
[startup+0.300772 s]
/proc/loadavg: 2.26 1.41 1.50 4/294 14267
/proc/meminfo: memFree=26750012/32951124 swapFree=55664332/67111528
[pid=14267] ppid=14265 vsize=10542452 CPUtime=0.48 cores=0,2,4,6
/proc/14267/stat : 14267 (java) S 14265 14267 10640 0 -1 4202496 16891 0 1 0 46 2 0 0 25 0 18 0 830363793 10795470848 16181 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/14267/statm: 2635613 16182 2201 9 0 2626347 0
[pid=14267/tid=14268] ppid=14265 vsize=10542452 CPUtime=0.28 cores=0,2,4,6
/proc/14267/task/14268/stat : 14268 (java) R 14265 14267 10640 0 -1 4202560 13894 0 1 0 27 1 0 0 18 0 18 0 830363794 10795470848 16183 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 10542452
[startup+0.700723 s]
/proc/loadavg: 2.26 1.41 1.50 4/294 14267
/proc/meminfo: memFree=26750012/32951124 swapFree=55664332/67111528
[pid=14267] ppid=14265 vsize=10545520 CPUtime=1.18 cores=0,2,4,6
/proc/14267/stat : 14267 (java) S 14265 14267 10640 0 -1 4202496 56388 0 1 0 112 6 0 0 25 0 18 0 830363793 10798612480 53888 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/14267/statm: 2636380 53893 2214 9 0 2627114 0
[pid=14267/tid=14268] ppid=14265 vsize=10545520 CPUtime=0.68 cores=0,2,4,6
/proc/14267/task/14268/stat : 14268 (java) R 14265 14267 10640 0 -1 4202560 49736 0 1 0 63 5 0 0 18 0 18 0 830363794 10798612480 53895 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 46912505675953 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 10545520
[startup+1.50158 s]
/proc/loadavg: 2.48 1.47 1.52 5/312 14285
/proc/meminfo: memFree=26403544/32951124 swapFree=55664332/67111528
[pid=14267] ppid=14265 vsize=10545520 CPUtime=1.98 cores=0,2,4,6
/proc/14267/stat : 14267 (java) S 14265 14267 10640 0 -1 4202496 148414 0 1 0 181 17 0 0 25 0 18 0 830363793 10798612480 145914 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/14267/statm: 2636380 145919 2214 9 0 2627114 0
[pid=14267/tid=14268] ppid=14265 vsize=10545520 CPUtime=1.48 cores=0,2,4,6
/proc/14267/task/14268/stat : 14268 (java) R 14265 14267 10640 0 -1 4202560 141762 0 1 0 132 16 0 0 19 0 18 0 830363794 10798612480 145921 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 46912505676703 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=14267/tid=14270] ppid=14265 vsize=10545520 CPUtime=0 cores=0,2,4,6
/proc/14267/task/14270/stat : 14270 (java) S 14265 14267 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830363796 10798612480 145923 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 222933592985 0 4 0 16800975 18446604448134906240 0 0 -1 2 0 0 0
[pid=14267/tid=14271] ppid=14265 vsize=10545520 CPUtime=0 cores=0,2,4,6
/proc/14267/task/14271/stat : 14271 (java) S 14265 14267 10640 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 830363796 10798612480 145923 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 222933592985 0 4 0 16800975 18446604448134906240 0 0 -1 2 0 0 0
[pid=14267/tid=14272] ppid=14265 vsize=10545520 CPUtime=0 cores=0,2,4,6
/proc/14267/task/14272/stat : 14272 (java) S 14265 14267 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830363796 10798612480 145926 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 222933592985 0 4 0 16800975 18446604448134906240 0 0 -1 2 0 0 0
[pid=14267/tid=14273] ppid=14265 vsize=10545520 CPUtime=0 cores=0,2,4,6
/proc/14267/task/14273/stat : 14273 (java) S 14265 14267 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830363796 10798612480 145929 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 222933592985 0 4 0 16800975 18446604448134906240 0 0 -1 2 0 0 0
[pid=14267/tid=14274] ppid=14265 vsize=10545520 CPUtime=0 cores=0,2,4,6
/proc/14267/task/14274/stat : 14274 (java) S 14265 14267 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830363796 10798612480 145932 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 222933592985 0 4 0 16800975 18446604448134906240 0 0 -1 2 0 0 0
[pid=14267/tid=14275] ppid=14265 vsize=10545520 CPUtime=0 cores=0,2,4,6
/proc/14267/task/14275/stat : 14275 (java) S 14265 14267 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830363796 10798612480 145935 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 222933592985 0 4 0 16800975 18446604448134906240 0 0 -1 2 0 0 0
[pid=14267/tid=14276] ppid=14265 vsize=10545520 CPUtime=0 cores=0,2,4,6
/proc/14267/task/14276/stat : 14276 (java) S 14265 14267 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830363796 10798612480 145938 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 222933592985 0 4 0 16800975 18446604448134906240 0 0 -1 2 0 0 0
[pid=14267/tid=14277] ppid=14265 vsize=10545520 CPUtime=0 cores=0,2,4,6
/proc/14267/task/14277/stat : 14277 (java) S 14265 14267 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830363796 10798612480 145941 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 222933592985 0 4 0 16800975 18446604448134906240 0 0 -1 2 0 0 0
[pid=14267/tid=14278] ppid=14265 vsize=10545520 CPUtime=0 cores=0,2,4,6
/proc/14267/task/14278/stat : 14278 (java) S 14265 14267 10640 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 830363797 10798612480 145943 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 222933593600 0 0 0 16800975 18446604448134906240 0 0 -1 4 0 0 0
[pid=14267/tid=14279] ppid=14265 vsize=10545520 CPUtime=0 cores=0,2,4,6
/proc/14267/task/14279/stat : 14279 (java) S 14265 14267 10640 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 830363797 10798612480 145946 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 222933592985 0 4 0 16800975 18446604448134906240 0 0 -1 2 0 0 0
[pid=14267/tid=14280] ppid=14265 vsize=10545520 CPUtime=0 cores=0,2,4,6
/proc/14267/task/14280/stat : 14280 (java) S 14265 14267 10640 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 830363797 10798612480 145949 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 222933592985 0 4 0 16800975 18446604448134906240 0 0 -1 2 0 0 0
[pid=14267/tid=14281] ppid=14265 vsize=10545520 CPUtime=0 cores=0,2,4,6
/proc/14267/task/14281/stat : 14281 (java) S 14265 14267 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830363800 10798612480 145952 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 222933600689 0 4 0 16800975 18446604448134906240 0 0 -1 2 0 0 0
[pid=14267/tid=14282] ppid=14265 vsize=10545520 CPUtime=0.23 cores=0,2,4,6
/proc/14267/task/14282/stat : 14282 (java) S 14265 14267 10640 0 -1 4202560 2676 0 0 0 23 0 0 0 17 0 18 0 830363800 10798612480 145955 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 222933592985 0 4 0 16800975 18446604448134906240 0 0 -1 0 0 0 0
[pid=14267/tid=14283] ppid=14265 vsize=10545520 CPUtime=0.24 cores=0,2,4,6
/proc/14267/task/14283/stat : 14283 (java) S 14265 14267 10640 0 -1 4202560 2832 0 0 0 24 0 0 0 16 0 18 0 830363800 10798612480 145958 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 222933592985 0 4 0 16800975 18446604448134906240 0 0 -1 4 0 0 0
[pid=14267/tid=14284] ppid=14265 vsize=10545520 CPUtime=0 cores=0,2,4,6
/proc/14267/task/14284/stat : 14284 (java) S 14265 14267 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830363800 10798612480 145960 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 222933592985 0 4 0 16800975 18446604448134906240 0 0 -1 2 0 0 0
[pid=14267/tid=14285] ppid=14265 vsize=10545520 CPUtime=0 cores=0,2,4,6
/proc/14267/task/14285/stat : 14285 (java) S 14265 14267 10640 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 830363800 10798612480 145963 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 222933593600 0 4 0 16800975 18446604448134906240 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.98
Current children cumulated vsize (KiB) 10545520
[startup+3.10123 s]
/proc/loadavg: 2.48 1.47 1.52 5/316 14289
/proc/meminfo: memFree=26047120/32951124 swapFree=55664332/67111528
[pid=14267] ppid=14265 vsize=10550196 CPUtime=5.91 cores=0,2,4,6
/proc/14267/stat : 14267 (java) S 14265 14267 10640 0 -1 4202496 229700 0 1 0 565 26 0 0 25 0 22 0 830363793 10803400704 225196 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/14267/statm: 2637549 225196 2238 9 0 2628283 0
[pid=14267/tid=14268] ppid=14265 vsize=10550196 CPUtime=1.72 cores=0,2,4,6
/proc/14267/task/14268/stat : 14268 (java) S 14265 14267 10640 0 -1 4202560 161135 0 1 0 154 18 0 0 15 0 22 0 830363794 10803400704 225196 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 222933593600 0 4 0 16800975 18446604448134906240 0 0 -1 6 0 0 0
[pid=14267/tid=14270] ppid=14265 vsize=10550196 CPUtime=0 cores=0,2,4,6
/proc/14267/task/14270/stat : 14270 (java) S 14265 14267 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830363796 10803400704 225196 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 222933592985 0 4 0 16800975 18446604448134906240 0 0 -1 2 0 0 0
[pid=14267/tid=14271] ppid=14265 vsize=10550196 CPUtime=0 cores=0,2,4,6
/proc/14267/task/14271/stat : 14271 (java) S 14265 14267 10640 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830363796 10803400704 225196 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 222933592985 0 4 0 16800975 18446604448134906240 0 0 -1 2 0 0 0
[pid=14267/tid=14272] ppid=14265 vsize=10550196 CPUtime=0 cores=0,2,4,6
/proc/14267/task/14272/stat : 14272 (java) S 14265 14267 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830363796 10803400704 225196 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 222933592985 0 4 0 16800975 18446604448134906240 0 0 -1 2 0 0 0
[pid=14267/tid=14273] ppid=14265 vsize=10550196 CPUtime=0 cores=0,2,4,6
/proc/14267/task/14273/stat : 14273 (java) S 14265 14267 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830363796 10803400704 225196 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 222933592985 0 4 0 16800975 18446604448134906240 0 0 -1 2 0 0 0
[pid=14267/tid=14274] ppid=14265 vsize=10550196 CPUtime=0 cores=0,2,4,6
/proc/14267/task/14274/stat : 14274 (java) S 14265 14267 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830363796 10803400704 225196 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 222933592985 0 4 0 16800975 18446604448134906240 0 0 -1 2 0 0 0
[pid=14267/tid=14275] ppid=14265 vsize=10550196 CPUtime=0 cores=0,2,4,6
/proc/14267/task/14275/stat : 14275 (java) S 14265 14267 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830363796 10803400704 225196 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 222933592985 0 4 0 16800975 18446604448134906240 0 0 -1 2 0 0 0
[pid=14267/tid=14276] ppid=14265 vsize=10550196 CPUtime=0 cores=0,2,4,6
/proc/14267/task/14276/stat : 14276 (java) S 14265 14267 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830363796 10803400704 225196 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 222933592985 0 4 0 16800975 18446604448134906240 0 0 -1 2 0 0 0
[pid=14267/tid=14277] ppid=14265 vsize=10550196 CPUtime=0 cores=0,2,4,6
/proc/14267/task/14277/stat : 14277 (java) S 14265 14267 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830363796 10803400704 225196 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 222933592985 0 4 0 16800975 18446604448134906240 0 0 -1 2 0 0 0
[pid=14267/tid=14278] ppid=14265 vsize=10550196 CPUtime=0 cores=0,2,4,6
/proc/14267/task/14278/stat : 14278 (java) S 14265 14267 10640 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 22 0 830363797 10803400704 225196 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 222933593600 0 0 0 16800975 18446604448134906240 0 0 -1 2 0 0 0
[pid=14267/tid=14279] ppid=14265 vsize=10550196 CPUtime=0 cores=0,2,4,6
/proc/14267/task/14279/stat : 14279 (java) S 14265 14267 10640 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 830363797 10803400704 225196 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 222933592985 0 4 0 16800975 18446604448134906240 0 0 -1 2 0 0 0
[pid=14267/tid=14280] ppid=14265 vsize=10550196 CPUtime=0 cores=0,2,4,6
/proc/14267/task/14280/stat : 14280 (java) S 14265 14267 10640 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830363797 10803400704 225196 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 222933592985 0 4 0 16800975 18446604448134906240 0 0 -1 2 0 0 0
[pid=14267/tid=14281] ppid=14265 vsize=10550196 CPUtime=0 cores=0,2,4,6
/proc/14267/task/14281/stat : 14281 (java) S 14265 14267 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830363800 10803400704 225196 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 222933600689 0 4 0 16800975 18446604448134906240 0 0 -1 2 0 0 0
[pid=14267/tid=14282] ppid=14265 vsize=10550196 CPUtime=0.74 cores=0,2,4,6
/proc/14267/task/14282/stat : 14282 (java) S 14265 14267 10640 0 -1 4202560 4558 0 0 0 74 0 0 0 15 0 22 0 830363800 10803400704 225196 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 222933592985 0 4 0 16800975 18446604448134906240 0 0 -1 0 0 0 0
[pid=14267/tid=14283] ppid=14265 vsize=10550196 CPUtime=0.72 cores=0,2,4,6
/proc/14267/task/14283/stat : 14283 (java) S 14265 14267 10640 0 -1 4202560 3348 0 0 0 72 0 0 0 15 0 22 0 830363800 10803400704 225196 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 222933592985 0 4 0 16800975 18446604448134906240 0 0 -1 4 0 0 0
[pid=14267/tid=14284] ppid=14265 vsize=10550196 CPUtime=0 cores=0,2,4,6
/proc/14267/task/14284/stat : 14284 (java) S 14265 14267 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830363800 10803400704 225196 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 222933592985 0 4 0 16800975 18446604448134906240 0 0 -1 2 0 0 0
[pid=14267/tid=14285] ppid=14265 vsize=10550196 CPUtime=0 cores=0,2,4,6
/proc/14267/task/14285/stat : 14285 (java) S 14265 14267 10640 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830363800 10803400704 225196 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 222933593600 0 4 0 16800975 18446604448134906240 0 0 -1 6 0 0 0
[pid=14267/tid=14286] ppid=14265 vsize=10550196 CPUtime=1.34 cores=0,2,4,6
/proc/14267/task/14286/stat : 14286 (java) R 14265 14267 10640 0 -1 4202560 1295 0 0 0 134 0 0 0 21 0 22 0 830363968 10803400704 225196 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 46912506011106 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=14267/tid=14287] ppid=14265 vsize=10550196 CPUtime=1.34 cores=0,2,4,6
/proc/14267/task/14287/stat : 14287 (java) R 14265 14267 10640 0 -1 4202560 58196 0 0 0 128 6 0 0 25 0 22 0 830363968 10803400704 225196 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 46912505901828 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=14267/tid=14288] ppid=14265 vsize=10550196 CPUtime=0 cores=0,2,4,6
/proc/14267/task/14288/stat : 14288 (java) S 14265 14267 10640 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830363972 10803400704 225196 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 222933593600 0 4 0 16800975 18446604448134906240 0 0 -1 2 0 0 0
[pid=14267/tid=14289] ppid=14265 vsize=10550196 CPUtime=0 cores=0,2,4,6
/proc/14267/task/14289/stat : 14289 (java) S 14265 14267 10640 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 22 0 830363972 10803400704 225196 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 222933593600 0 4 0 16800975 18446604448134906240 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.91
Current children cumulated vsize (KiB) 10550196
[startup+6.30164 s]
/proc/loadavg: 2.60 1.51 1.53 5/316 14289
/proc/meminfo: memFree=25294496/32951124 swapFree=55664332/67111528
[pid=14267] ppid=14265 vsize=10550196 CPUtime=12.75 cores=0,2,4,6
/proc/14267/stat : 14267 (java) S 14265 14267 10640 0 -1 4202496 404797 0 1 0 1229 46 0 0 25 0 22 0 830363793 10803400704 396696 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/14267/statm: 2637549 396696 2241 9 0 2628283 0
[pid=14267/tid=14268] ppid=14265 vsize=10550196 CPUtime=1.72 cores=0,2,4,6
/proc/14267/task/14268/stat : 14268 (java) S 14265 14267 10640 0 -1 4202560 161135 0 1 0 154 18 0 0 15 0 22 0 830363794 10803400704 396696 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 222933593600 0 4 0 16800975 18446604448134906240 0 0 -1 6 0 0 0
[pid=14267/tid=14270] ppid=14265 vsize=10550196 CPUtime=0 cores=0,2,4,6
/proc/14267/task/14270/stat : 14270 (java) S 14265 14267 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830363796 10803400704 396696 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 222933592985 0 4 0 16800975 18446604448134906240 0 0 -1 2 0 0 0
[pid=14267/tid=14271] ppid=14265 vsize=10550196 CPUtime=0 cores=0,2,4,6
/proc/14267/task/14271/stat : 14271 (java) S 14265 14267 10640 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830363796 10803400704 396696 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 222933592985 0 4 0 16800975 18446604448134906240 0 0 -1 2 0 0 0
[pid=14267/tid=14272] ppid=14265 vsize=10550196 CPUtime=0 cores=0,2,4,6
/proc/14267/task/14272/stat : 14272 (java) S 14265 14267 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830363796 10803400704 396696 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 222933592985 0 4 0 16800975 18446604448134906240 0 0 -1 2 0 0 0
[pid=14267/tid=14273] ppid=14265 vsize=10550196 CPUtime=0 cores=0,2,4,6
/proc/14267/task/14273/stat : 14273 (java) S 14265 14267 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830363796 10803400704 396696 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 222933592985 0 4 0 16800975 18446604448134906240 0 0 -1 2 0 0 0
[pid=14267/tid=14274] ppid=14265 vsize=10550196 CPUtime=0 cores=0,2,4,6
/proc/14267/task/14274/stat : 14274 (java) S 14265 14267 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830363796 10803400704 396696 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 222933592985 0 4 0 16800975 18446604448134906240 0 0 -1 2 0 0 0
[pid=14267/tid=14275] ppid=14265 vsize=10550196 CPUtime=0 cores=0,2,4,6
/proc/14267/task/14275/stat : 14275 (java) S 14265 14267 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830363796 10803400704 396696 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 222933592985 0 4 0 16800975 18446604448134906240 0 0 -1 2 0 0 0
[pid=14267/tid=14276] ppid=14265 vsize=10550196 CPUtime=0 cores=0,2,4,6
/proc/14267/task/14276/stat : 14276 (java) S 14265 14267 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830363796 10803400704 396696 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 222933592985 0 4 0 16800975 18446604448134906240 0 0 -1 2 0 0 0
[pid=14267/tid=14277] ppid=14265 vsize=10550196 CPUtime=0 cores=0,2,4,6
/proc/14267/task/14277/stat : 14277 (java) S 14265 14267 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830363796 10803400704 396696 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 222933592985 0 4 0 16800975 18446604448134906240 0 0 -1 2 0 0 0
[pid=14267/tid=14278] ppid=14265 vsize=10550196 CPUtime=0 cores=0,2,4,6
/proc/14267/task/14278/stat : 14278 (java) S 14265 14267 10640 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 22 0 830363797 10803400704 396696 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 222933593600 0 0 0 16800975 18446604448134906240 0 0 -1 2 0 0 0
[pid=14267/tid=14279] ppid=14265 vsize=10550196 CPUtime=0 cores=0,2,4,6
/proc/14267/task/14279/stat : 14279 (java) S 14265 14267 10640 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 830363797 10803400704 396696 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 222933592985 0 4 0 16800975 18446604448134906240 0 0 -1 2 0 0 0
[pid=14267/tid=14280] ppid=14265 vsize=10550196 CPUtime=0 cores=0,2,4,6
/proc/14267/task/14280/stat : 14280 (java) S 14265 14267 10640 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830363797 10803400704 396696 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 222933592985 0 4 0 16800975 18446604448134906240 0 0 -1 2 0 0 0
[pid=14267/tid=14281] ppid=14265 vsize=10550196 CPUtime=0 cores=0,2,4,6
/proc/14267/task/14281/stat : 14281 (java) S 14265 14267 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830363800 10803400704 396696 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 222933600689 0 4 0 16800975 18446604448134906240 0 0 -1 2 0 0 0
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 4.03 3.87 2.97 5/316 14311
/proc/meminfo: memFree=21041336/32951124 swapFree=55664332/67111528
[pid=14267] ppid=14265 vsize=10554808 CPUtime=1640 cores=0,2,4,6
/proc/14267/stat : 14267 (java) S 14265 14267 10640 0 -1 4202496 933749 0 1 0 163894 106 0 0 25 0 22 0 830363793 10808123392 919164 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/14267/statm: 2638702 919164 2267 9 0 2629436 0
[pid=14267/tid=14268] ppid=14265 vsize=10554808 CPUtime=1.72 cores=0,2,4,6
/proc/14267/task/14268/stat : 14268 (java) S 14265 14267 10640 0 -1 4202560 161145 0 1 0 154 18 0 0 15 0 22 0 830363794 10808123392 919164 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 222933593600 0 4 0 16800975 18446604448134906240 0 0 -1 4 0 0 0
[pid=14267/tid=14270] ppid=14265 vsize=10554808 CPUtime=0.56 cores=0,2,4,6
/proc/14267/task/14270/stat : 14270 (java) S 14265 14267 10640 0 -1 4202560 5314 0 0 0 56 0 0 0 16 0 22 0 830363796 10808123392 919164 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 222933592985 0 4 0 16800975 18446604448134906240 0 0 -1 0 0 0 0
[pid=14267/tid=14271] ppid=14265 vsize=10554808 CPUtime=0.64 cores=0,2,4,6
/proc/14267/task/14271/stat : 14271 (java) S 14265 14267 10640 0 -1 4202560 9595 0 0 0 63 1 0 0 16 0 22 0 830363796 10808123392 919164 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 222933592985 0 4 0 16800975 18446604448134906240 0 0 -1 6 0 0 0
[pid=14267/tid=14272] ppid=14265 vsize=10554808 CPUtime=0.67 cores=0,2,4,6
/proc/14267/task/14272/stat : 14272 (java) S 14265 14267 10640 0 -1 4202560 8135 0 0 0 67 0 0 0 15 0 22 0 830363796 10808123392 919164 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 222933592985 0 4 0 16800975 18446604448134906240 0 0 -1 4 0 0 0
[pid=14267/tid=14273] ppid=14265 vsize=10554808 CPUtime=0.39 cores=0,2,4,6
/proc/14267/task/14273/stat : 14273 (java) S 14265 14267 10640 0 -1 4202560 3952 0 0 0 39 0 0 0 16 0 22 0 830363796 10808123392 919164 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 222933592985 0 4 0 16800975 18446604448134906240 0 0 -1 0 0 0 0
[pid=14267/tid=14274] ppid=14265 vsize=10554808 CPUtime=0.49 cores=0,2,4,6
/proc/14267/task/14274/stat : 14274 (java) S 14265 14267 10640 0 -1 4202560 6960 0 0 0 49 0 0 0 16 0 22 0 830363796 10808123392 919164 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 222933592985 0 4 0 16800975 18446604448134906240 0 0 -1 4 0 0 0
[pid=14267/tid=14275] ppid=14265 vsize=10554808 CPUtime=0.56 cores=0,2,4,6
/proc/14267/task/14275/stat : 14275 (java) S 14265 14267 10640 0 -1 4202560 10231 0 0 0 56 0 0 0 15 0 22 0 830363796 10808123392 919164 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 222933592985 0 4 0 16800975 18446604448134906240 0 0 -1 4 0 0 0
[pid=14267/tid=14276] ppid=14265 vsize=10554808 CPUtime=0.66 cores=0,2,4,6
/proc/14267/task/14276/stat : 14276 (java) S 14265 14267 10640 0 -1 4202560 13078 0 0 0 65 1 0 0 15 0 22 0 830363796 10808123392 919164 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 222933592985 0 4 0 16800975 18446604448134906240 0 0 -1 6 0 0 0
[pid=14267/tid=14277] ppid=14265 vsize=10554808 CPUtime=0.66 cores=0,2,4,6
/proc/14267/task/14277/stat : 14277 (java) S 14265 14267 10640 0 -1 4202560 12767 0 0 0 65 1 0 0 16 0 22 0 830363796 10808123392 919164 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 222933592985 0 4 0 16800975 18446604448134906240 0 0 -1 4 0 0 0
[pid=14267/tid=14278] ppid=14265 vsize=10554808 CPUtime=7.48 cores=0,2,4,6
/proc/14267/task/14278/stat : 14278 (java) S 14265 14267 10640 0 -1 4202560 54539 0 0 0 744 4 0 0 15 0 22 0 830363797 10808123392 919164 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 222933593600 0 0 0 16800975 18446604448134906240 0 0 -1 2 0 0 0
[pid=14267/tid=14279] ppid=14265 vsize=10554808 CPUtime=0 cores=0,2,4,6
/proc/14267/task/14279/stat : 14279 (java) S 14265 14267 10640 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830363797 10808123392 919164 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 222933592985 0 4 0 16800975 18446604448134906240 0 0 -1 2 0 0 0
[pid=14267/tid=14280] ppid=14265 vsize=10554808 CPUtime=0 cores=0,2,4,6
/proc/14267/task/14280/stat : 14280 (java) S 14265 14267 10640 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830363797 10808123392 919164 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 222933592985 0 4 0 16800975 18446604448134906240 0 0 -1 2 0 0 0
[pid=14267/tid=14281] ppid=14265 vsize=10554808 CPUtime=0 cores=0,2,4,6
/proc/14267/task/14281/stat : 14281 (java) S 14265 14267 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830363800 10808123392 919164 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 222933600689 0 4 0 16800975 18446604448134906240 0 0 -1 2 0 0 0
[pid=14267/tid=14282] ppid=14265 vsize=10554808 CPUtime=1.43 cores=0,2,4,6
/proc/14267/task/14282/stat : 14282 (java) S 14265 14267 10640 0 -1 4202560 10457 0 0 0 142 1 0 0 16 0 22 0 830363800 10808123392 919164 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 222933592985 0 4 0 16800975 18446604448134906240 0 0 -1 0 0 0 0
[pid=14267/tid=14283] ppid=14265 vsize=10554808 CPUtime=1.28 cores=0,2,4,6
/proc/14267/task/14283/stat : 14283 (java) S 14265 14267 10640 0 -1 4202560 8276 0 0 0 128 0 0 0 15 0 22 0 830363800 10808123392 919164 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 222933592985 0 4 0 16800975 18446604448134906240 0 0 -1 4 0 0 0
[pid=14267/tid=14284] ppid=14265 vsize=10554808 CPUtime=0 cores=0,2,4,6
/proc/14267/task/14284/stat : 14284 (java) S 14265 14267 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830363800 10808123392 919164 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 222933592985 0 4 0 16800975 18446604448134906240 0 0 -1 2 0 0 0
[pid=14267/tid=14285] ppid=14265 vsize=10554808 CPUtime=0 cores=0,2,4,6
/proc/14267/task/14285/stat : 14285 (java) S 14265 14267 10640 0 -1 4202560 48 0 0 0 0 0 0 0 15 0 22 0 830363800 10808123392 919164 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 222933593600 0 4 0 16800975 18446604448134906240 0 0 -1 0 0 0 0
[pid=14267/tid=14286] ppid=14265 vsize=10554808 CPUtime=811.67 cores=0,2,4,6
/proc/14267/task/14286/stat : 14286 (java) R 14265 14267 10640 0 -1 4202560 1491 0 0 0 81167 0 0 0 25 0 22 0 830363968 10808123392 919164 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 46912505901828 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=14267/tid=14287] ppid=14265 vsize=10554808 CPUtime=811.62 cores=0,2,4,6
/proc/14267/task/14287/stat : 14287 (java) R 14265 14267 10640 0 -1 4202560 626605 0 0 0 81092 70 0 0 25 0 22 0 830363968 10808123392 919164 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 46912506181643 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=14267/tid=14288] ppid=14265 vsize=10554808 CPUtime=0 cores=0,2,4,6
/proc/14267/task/14288/stat : 14288 (java) S 14265 14267 10640 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830363972 10808123392 919164 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 222933593600 0 4 0 16800975 18446604448134906240 0 0 -1 2 0 0 0
[pid=14267/tid=14289] ppid=14265 vsize=10554808 CPUtime=0 cores=0,2,4,6
/proc/14267/task/14289/stat : 14289 (java) S 14265 14267 10640 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 22 0 830363972 10808123392 919164 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 222933593600 0 4 0 16800975 18446604448134906240 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1640
Current children cumulated vsize (KiB) 10554808
[startup+882.301 s]
/proc/loadavg: 3.96 3.88 3.02 5/316 14372
/proc/meminfo: memFree=23386380/32951124 swapFree=55664332/67111528
[pid=14267] ppid=14265 vsize=10554808 CPUtime=1760.11 cores=0,2,4,6
/proc/14267/stat : 14267 (java) S 14265 14267 10640 0 -1 4202496 935176 0 1 0 175904 107 0 0 25 0 22 0 830363793 10808123392 920575 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/14267/statm: 2638702 920575 2267 9 0 2629436 0
[pid=14267/tid=14268] ppid=14265 vsize=10554808 CPUtime=1.72 cores=0,2,4,6
/proc/14267/task/14268/stat : 14268 (java) S 14265 14267 10640 0 -1 4202560 161145 0 1 0 154 18 0 0 15 0 22 0 830363794 10808123392 920575 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 222933593600 0 4 0 16800975 18446604448134906240 0 0 -1 4 0 0 0
[pid=14267/tid=14270] ppid=14265 vsize=10554808 CPUtime=0.56 cores=0,2,4,6
/proc/14267/task/14270/stat : 14270 (java) S 14265 14267 10640 0 -1 4202560 5314 0 0 0 56 0 0 0 16 0 22 0 830363796 10808123392 920575 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 222933592985 0 4 0 16800975 18446604448134906240 0 0 -1 0 0 0 0
[pid=14267/tid=14271] ppid=14265 vsize=10554808 CPUtime=0.65 cores=0,2,4,6
/proc/14267/task/14271/stat : 14271 (java) S 14265 14267 10640 0 -1 4202560 9725 0 0 0 64 1 0 0 16 0 22 0 830363796 10808123392 920575 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 222933592985 0 4 0 16800975 18446604448134906240 0 0 -1 6 0 0 0
[pid=14267/tid=14272] ppid=14265 vsize=10554808 CPUtime=0.71 cores=0,2,4,6
/proc/14267/task/14272/stat : 14272 (java) S 14265 14267 10640 0 -1 4202560 8482 0 0 0 71 0 0 0 16 0 22 0 830363796 10808123392 920575 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 222933592985 0 4 0 16800975 18446604448134906240 0 0 -1 2 0 0 0
[pid=14267/tid=14273] ppid=14265 vsize=10554808 CPUtime=0.44 cores=0,2,4,6
/proc/14267/task/14273/stat : 14273 (java) S 14265 14267 10640 0 -1 4202560 3991 0 0 0 44 0 0 0 15 0 22 0 830363796 10808123392 920575 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 222933592985 0 4 0 16800975 18446604448134906240 0 0 -1 2 0 0 0
[pid=14267/tid=14274] ppid=14265 vsize=10554808 CPUtime=0.53 cores=0,2,4,6
/proc/14267/task/14274/stat : 14274 (java) S 14265 14267 10640 0 -1 4202560 7210 0 0 0 53 0 0 0 16 0 22 0 830363796 10808123392 920575 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 222933592985 0 4 0 16800975 18446604448134906240 0 0 -1 0 0 0 0
[pid=14267/tid=14275] ppid=14265 vsize=10554808 CPUtime=0.65 cores=0,2,4,6
/proc/14267/task/14275/stat : 14275 (java) S 14265 14267 10640 0 -1 4202560 10576 0 0 0 65 0 0 0 16 0 22 0 830363796 10808123392 920575 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 222933592985 0 4 0 16800975 18446604448134906240 0 0 -1 4 0 0 0
[pid=14267/tid=14276] ppid=14265 vsize=10554808 CPUtime=0.69 cores=0,2,4,6
/proc/14267/task/14276/stat : 14276 (java) S 14265 14267 10640 0 -1 4202560 13148 0 0 0 68 1 0 0 16 0 22 0 830363796 10808123392 920575 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 222933592985 0 4 0 16800975 18446604448134906240 0 0 -1 6 0 0 0
[pid=14267/tid=14277] ppid=14265 vsize=10554808 CPUtime=0.68 cores=0,2,4,6
/proc/14267/task/14277/stat : 14277 (java) S 14265 14267 10640 0 -1 4202560 13004 0 0 0 67 1 0 0 15 0 22 0 830363796 10808123392 920575 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 222933592985 0 4 0 16800975 18446604448134906240 0 0 -1 4 0 0 0
[pid=14267/tid=14278] ppid=14265 vsize=10554808 CPUtime=7.48 cores=0,2,4,6
/proc/14267/task/14278/stat : 14278 (java) S 14265 14267 10640 0 -1 4202560 54541 0 0 0 744 4 0 0 15 0 22 0 830363797 10808123392 920575 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 222933593600 0 0 0 16800975 18446604448134906240 0 0 -1 2 0 0 0
[pid=14267/tid=14279] ppid=14265 vsize=10554808 CPUtime=0 cores=0,2,4,6
/proc/14267/task/14279/stat : 14279 (java) S 14265 14267 10640 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830363797 10808123392 920575 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 222933592985 0 4 0 16800975 18446604448134906240 0 0 -1 2 0 0 0
[pid=14267/tid=14280] ppid=14265 vsize=10554808 CPUtime=0 cores=0,2,4,6
/proc/14267/task/14280/stat : 14280 (java) S 14265 14267 10640 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830363797 10808123392 920575 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 222933592985 0 4 0 16800975 18446604448134906240 0 0 -1 2 0 0 0
[pid=14267/tid=14281] ppid=14265 vsize=10554808 CPUtime=0 cores=0,2,4,6
/proc/14267/task/14281/stat : 14281 (java) S 14265 14267 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830363800 10808123392 920575 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 222933600689 0 4 0 16800975 18446604448134906240 0 0 -1 2 0 0 0
[pid=14267/tid=14282] ppid=14265 vsize=10554808 CPUtime=1.43 cores=0,2,4,6
/proc/14267/task/14282/stat : 14282 (java) S 14265 14267 10640 0 -1 4202560 10457 0 0 0 142 1 0 0 16 0 22 0 830363800 10808123392 920575 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 222933592985 0 4 0 16800975 18446604448134906240 0 0 -1 0 0 0 0
[pid=14267/tid=14283] ppid=14265 vsize=10554808 CPUtime=1.28 cores=0,2,4,6
/proc/14267/task/14283/stat : 14283 (java) S 14265 14267 10640 0 -1 4202560 8276 0 0 0 128 0 0 0 15 0 22 0 830363800 10808123392 920575 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 222933592985 0 4 0 16800975 18446604448134906240 0 0 -1 4 0 0 0
[pid=14267/tid=14284] ppid=14265 vsize=10554808 CPUtime=0 cores=0,2,4,6
/proc/14267/task/14284/stat : 14284 (java) S 14265 14267 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830363800 10808123392 920575 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 222933592985 0 4 0 16800975 18446604448134906240 0 0 -1 2 0 0 0
[pid=14267/tid=14285] ppid=14265 vsize=10554808 CPUtime=0 cores=0,2,4,6
/proc/14267/task/14285/stat : 14285 (java) S 14265 14267 10640 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 22 0 830363800 10808123392 920575 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 222933593600 0 4 0 16800975 18446604448134906240 0 0 -1 0 0 0 0
[pid=14267/tid=14286] ppid=14265 vsize=10554808 CPUtime=871.58 cores=0,2,4,6
/proc/14267/task/14286/stat : 14286 (java) R 14265 14267 10640 0 -1 4202560 1495 0 0 0 87158 0 0 0 25 0 22 0 830363968 10808123392 920575 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 46912505893129 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=14267/tid=14287] ppid=14265 vsize=10554808 CPUtime=871.53 cores=0,2,4,6
/proc/14267/task/14287/stat : 14287 (java) R 14265 14267 10640 0 -1 4202560 626606 0 0 0 87083 70 0 0 25 0 22 0 830363968 10808123392 920575 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 46912506003481 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=14267/tid=14288] ppid=14265 vsize=10554808 CPUtime=0 cores=0,2,4,6
/proc/14267/task/14288/stat : 14288 (java) S 14265 14267 10640 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830363972 10808123392 920575 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 222933593600 0 4 0 16800975 18446604448134906240 0 0 -1 2 0 0 0
[pid=14267/tid=14289] ppid=14265 vsize=10554808 CPUtime=0 cores=0,2,4,6
/proc/14267/task/14289/stat : 14289 (java) S 14265 14267 10640 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 22 0 830363972 10808123392 920575 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 222933593600 0 4 0 16800975 18446604448134906240 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1760.11
Current children cumulated vsize (KiB) 10554808
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+902.302 s]
/proc/loadavg: 3.97 3.89 3.04 5/316 14373
/proc/meminfo: memFree=22829604/32951124 swapFree=55664332/67111528
[pid=14267] ppid=14265 vsize=10554808 CPUtime=1800.15 cores=0,2,4,6
/proc/14267/stat : 14267 (java) S 14265 14267 10640 0 -1 4202496 935657 0 1 0 179908 107 0 0 25 0 22 0 830363793 10808123392 921048 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/14267/statm: 2638702 921048 2267 9 0 2629436 0
[pid=14267/tid=14268] ppid=14265 vsize=10554808 CPUtime=1.72 cores=0,2,4,6
/proc/14267/task/14268/stat : 14268 (java) S 14265 14267 10640 0 -1 4202560 161145 0 1 0 154 18 0 0 15 0 22 0 830363794 10808123392 921048 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 222933593600 0 4 0 16800975 18446604448134906240 0 0 -1 4 0 0 0
[pid=14267/tid=14270] ppid=14265 vsize=10554808 CPUtime=0.56 cores=0,2,4,6
/proc/14267/task/14270/stat : 14270 (java) S 14265 14267 10640 0 -1 4202560 5314 0 0 0 56 0 0 0 15 0 22 0 830363796 10808123392 921048 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 222933592985 0 4 0 16800975 18446604448134906240 0 0 -1 0 0 0 0
[pid=14267/tid=14271] ppid=14265 vsize=10554808 CPUtime=0.66 cores=0,2,4,6
/proc/14267/task/14271/stat : 14271 (java) S 14265 14267 10640 0 -1 4202560 9815 0 0 0 65 1 0 0 16 0 22 0 830363796 10808123392 921048 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 222933592985 0 4 0 16800975 18446604448134906240 0 0 -1 6 0 0 0
[pid=14267/tid=14272] ppid=14265 vsize=10554808 CPUtime=0.73 cores=0,2,4,6
/proc/14267/task/14272/stat : 14272 (java) S 14265 14267 10640 0 -1 4202560 8579 0 0 0 73 0 0 0 16 0 22 0 830363796 10808123392 921048 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 222933592985 0 4 0 16800975 18446604448134906240 0 0 -1 2 0 0 0
[pid=14267/tid=14273] ppid=14265 vsize=10554808 CPUtime=0.44 cores=0,2,4,6
/proc/14267/task/14273/stat : 14273 (java) S 14265 14267 10640 0 -1 4202560 3991 0 0 0 44 0 0 0 15 0 22 0 830363796 10808123392 921048 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 222933592985 0 4 0 16800975 18446604448134906240 0 0 -1 2 0 0 0
[pid=14267/tid=14274] ppid=14265 vsize=10554808 CPUtime=0.55 cores=0,2,4,6
/proc/14267/task/14274/stat : 14274 (java) S 14265 14267 10640 0 -1 4202560 7294 0 0 0 55 0 0 0 16 0 22 0 830363796 10808123392 921048 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 222933592985 0 4 0 16800975 18446604448134906240 0 0 -1 0 0 0 0
[pid=14267/tid=14275] ppid=14265 vsize=10554808 CPUtime=0.65 cores=0,2,4,6
/proc/14267/task/14275/stat : 14275 (java) S 14265 14267 10640 0 -1 4202560 10576 0 0 0 65 0 0 0 15 0 22 0 830363796 10808123392 921048 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 222933592985 0 4 0 16800975 18446604448134906240 0 0 -1 4 0 0 0
[pid=14267/tid=14276] ppid=14265 vsize=10554808 CPUtime=0.69 cores=0,2,4,6
/proc/14267/task/14276/stat : 14276 (java) S 14265 14267 10640 0 -1 4202560 13148 0 0 0 68 1 0 0 15 0 22 0 830363796 10808123392 921048 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 222933592985 0 4 0 16800975 18446604448134906240 0 0 -1 6 0 0 0
[pid=14267/tid=14277] ppid=14265 vsize=10554808 CPUtime=0.71 cores=0,2,4,6
/proc/14267/task/14277/stat : 14277 (java) S 14265 14267 10640 0 -1 4202560 13209 0 0 0 69 2 0 0 16 0 22 0 830363796 10808123392 921048 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 222933592985 0 4 0 16800975 18446604448134906240 0 0 -1 4 0 0 0
[pid=14267/tid=14278] ppid=14265 vsize=10554808 CPUtime=7.48 cores=0,2,4,6
/proc/14267/task/14278/stat : 14278 (java) S 14265 14267 10640 0 -1 4202560 54543 0 0 0 744 4 0 0 15 0 22 0 830363797 10808123392 921048 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 222933593600 0 0 0 16800975 18446604448134906240 0 0 -1 2 0 0 0
[pid=14267/tid=14279] ppid=14265 vsize=10554808 CPUtime=0 cores=0,2,4,6
/proc/14267/task/14279/stat : 14279 (java) S 14265 14267 10640 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830363797 10808123392 921048 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 222933592985 0 4 0 16800975 18446604448134906240 0 0 -1 2 0 0 0
[pid=14267/tid=14280] ppid=14265 vsize=10554808 CPUtime=0 cores=0,2,4,6
/proc/14267/task/14280/stat : 14280 (java) S 14265 14267 10640 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830363797 10808123392 921048 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 222933592985 0 4 0 16800975 18446604448134906240 0 0 -1 2 0 0 0
[pid=14267/tid=14281] ppid=14265 vsize=10554808 CPUtime=0 cores=0,2,4,6
/proc/14267/task/14281/stat : 14281 (java) S 14265 14267 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830363800 10808123392 921048 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 222933600689 0 4 0 16800975 18446604448134906240 0 0 -1 2 0 0 0
[pid=14267/tid=14282] ppid=14265 vsize=10554808 CPUtime=1.43 cores=0,2,4,6
/proc/14267/task/14282/stat : 14282 (java) S 14265 14267 10640 0 -1 4202560 10457 0 0 0 142 1 0 0 16 0 22 0 830363800 10808123392 921048 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 222933592985 0 4 0 16800975 18446604448134906240 0 0 -1 0 0 0 0
[pid=14267/tid=14283] ppid=14265 vsize=10554808 CPUtime=1.28 cores=0,2,4,6
/proc/14267/task/14283/stat : 14283 (java) S 14265 14267 10640 0 -1 4202560 8276 0 0 0 128 0 0 0 15 0 22 0 830363800 10808123392 921048 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 222933592985 0 4 0 16800975 18446604448134906240 0 0 -1 4 0 0 0
[pid=14267/tid=14284] ppid=14265 vsize=10554808 CPUtime=0 cores=0,2,4,6
/proc/14267/task/14284/stat : 14284 (java) S 14265 14267 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830363800 10808123392 921048 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 222933592985 0 4 0 16800975 18446604448134906240 0 0 -1 2 0 0 0
[pid=14267/tid=14285] ppid=14265 vsize=10554808 CPUtime=0 cores=0,2,4,6
/proc/14267/task/14285/stat : 14285 (java) S 14265 14267 10640 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 22 0 830363800 10808123392 921048 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 222933593600 0 4 0 16800975 18446604448134906240 0 0 -1 0 0 0 0
[pid=14267/tid=14286] ppid=14265 vsize=10554808 CPUtime=891.57 cores=0,2,4,6
/proc/14267/task/14286/stat : 14286 (java) R 14265 14267 10640 0 -1 4202560 1496 0 0 0 89157 0 0 0 25 0 22 0 830363968 10808123392 921048 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 46912506011367 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=14267/tid=14287] ppid=14265 vsize=10554808 CPUtime=891.52 cores=0,2,4,6
/proc/14267/task/14287/stat : 14287 (java) R 14265 14267 10640 0 -1 4202560 626606 0 0 0 89082 70 0 0 25 0 22 0 830363968 10808123392 921048 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 46912506003494 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=14267/tid=14288] ppid=14265 vsize=10554808 CPUtime=0 cores=0,2,4,6
/proc/14267/task/14288/stat : 14288 (java) S 14265 14267 10640 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830363972 10808123392 921048 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 222933593600 0 4 0 16800975 18446604448134906240 0 0 -1 2 0 0 0
[pid=14267/tid=14289] ppid=14265 vsize=10554808 CPUtime=0 cores=0,2,4,6
/proc/14267/task/14289/stat : 14289 (java) S 14265 14267 10640 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 22 0 830363972 10808123392 921048 33554432000 1073741824 1073778376 140736278279408 18446744073709551615 222933593600 0 4 0 16800975 18446604448134906240 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 10554808
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+902.417 s]
/proc/loadavg: 3.97 3.89 3.04 5/316 14373
/proc/meminfo: memFree=22829604/32951124 swapFree=55664332/67111528
[pid=14267] ppid=14265 vsize=0 CPUtime=1800.33 cores=0,2,4,6
/proc/14267/stat : 14267 (java) Z 14265 14267 10640 0 -1 4203548 935685 0 1 0 179919 114 0 0 17 0 2 0 830363793 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/14267/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.33
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 902.482
CPU time (s): 1800.4
CPU user time (s): 1799.19
CPU system time (s): 1.21181
CPU usage (%): 199.495
Max. virtual memory (cumulated for all children) (KiB): 10565996
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.19
system time used= 1.21182
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 935685
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= 22821
involuntary context switches= 23215
runsolver used 2.68559 second user time and 5.54316 second system time
The end