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-3455949-1307225641/watcher-3455949-1307225641 -o /tmp/evaluation-result-3455949-1307225641/solver-3455949-1307225641 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3455949-1307225641.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.01 2.06 2.02 2/532 21815
/proc/meminfo: memFree=15608304/32950940 swapFree=67111364/67111528
[pid=21815] ppid=21812 vsize=10430980 CPUtime=0 cores=1,3,5,7
/proc/21815/stat : 21815 (java) S 21812 21815 19289 0 -1 4202496 1648 0 1 0 0 0 0 0 25 0 2 0 912794897 10681323520 1350 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 216000395237 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/21815/statm: 2607745 1364 906 9 0 2598901 0
[pid=21815/tid=21816] ppid=21812 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/21815/task/21816/stat : 21816 (java) R 21812 21815 19289 0 -1 4202560 5524 0 1 0 0 0 0 0 25 0 2 0 912794898 10694979584 6339 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 215988286523 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.0825651 s]
/proc/loadavg: 2.01 2.06 2.02 2/532 21815
/proc/meminfo: memFree=15608304/32950940 swapFree=67111364/67111528
[pid=21815] ppid=21812 vsize=10473088 CPUtime=0.07 cores=1,3,5,7
/proc/21815/stat : 21815 (java) S 21812 21815 19289 0 -1 4202496 12018 0 1 0 5 2 0 0 25 0 18 0 912794897 10724442112 11715 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/21815/statm: 2618305 11728 1766 9 0 2609039 0
[pid=21815/tid=21816] ppid=21812 vsize=10473220 CPUtime=0.06 cores=1,3,5,7
/proc/21815/task/21816/stat : 21816 (java) R 21812 21815 19289 0 -1 4202560 10839 0 1 0 5 1 0 0 25 0 18 0 912794898 10724577280 11735 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 46912504008179 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 10473088
[startup+0.104564 s]
/proc/loadavg: 2.01 2.06 2.02 2/532 21815
/proc/meminfo: memFree=15608304/32950940 swapFree=67111364/67111528
[pid=21815] ppid=21812 vsize=10474892 CPUtime=0.1 cores=1,3,5,7
/proc/21815/stat : 21815 (java) S 21812 21815 19289 0 -1 4202496 13045 0 1 0 8 2 0 0 25 0 18 0 912794897 10726289408 12742 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/21815/statm: 2618723 12742 2093 9 0 2609457 0
[pid=21815/tid=21816] ppid=21812 vsize=10474892 CPUtime=0.08 cores=1,3,5,7
/proc/21815/task/21816/stat : 21816 (java) R 21812 21815 19289 0 -1 4202560 11128 0 1 0 7 1 0 0 25 0 18 0 912794898 10726289408 12742 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 46912505099412 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10474892
[startup+0.300529 s]
/proc/loadavg: 2.01 2.06 2.02 2/532 21815
/proc/meminfo: memFree=15608304/32950940 swapFree=67111364/67111528
[pid=21815] ppid=21812 vsize=10547824 CPUtime=0.51 cores=1,3,5,7
/proc/21815/stat : 21815 (java) S 21812 21815 19289 0 -1 4202496 19036 0 1 0 48 3 0 0 25 0 19 0 912794897 10800971776 17234 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/21815/statm: 2636956 17235 2189 9 0 2627690 0
[pid=21815/tid=21816] ppid=21812 vsize=10547824 CPUtime=0.28 cores=1,3,5,7
/proc/21815/task/21816/stat : 21816 (java) R 21812 21815 19289 0 -1 4202560 13452 0 1 0 26 2 0 0 25 0 19 0 912794898 10800971776 17235 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 46912505541000 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 10547824
[startup+0.700461 s]
/proc/loadavg: 2.01 2.06 2.02 2/532 21815
/proc/meminfo: memFree=15608304/32950940 swapFree=67111364/67111528
[pid=21815] ppid=21812 vsize=10554648 CPUtime=1.67 cores=1,3,5,7
/proc/21815/stat : 21815 (java) S 21812 21815 19289 0 -1 4202496 46936 0 1 0 160 7 0 0 25 0 19 0 912794897 10807959552 39293 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/21815/statm: 2638662 39295 2216 9 0 2629396 0
[pid=21815/tid=21816] ppid=21812 vsize=10554648 CPUtime=0.67 cores=1,3,5,7
/proc/21815/task/21816/stat : 21816 (java) R 21812 21815 19289 0 -1 4202560 31388 0 1 0 63 4 0 0 25 0 19 0 912794898 10807959552 39296 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 46912505540866 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.67
Current children cumulated vsize (KiB) 10554648
[startup+1.50132 s]
/proc/loadavg: 2.01 2.06 2.02 3/551 21838
/proc/meminfo: memFree=15339180/32950940 swapFree=67111364/67111528
[pid=21815] ppid=21812 vsize=10554648 CPUtime=2.8 cores=1,3,5,7
/proc/21815/stat : 21815 (java) S 21812 21815 19289 0 -1 4202496 131780 0 1 0 262 18 0 0 25 0 19 0 912794897 10807959552 123342 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/21815/statm: 2638662 123346 2219 9 0 2629396 0
[pid=21815/tid=21816] ppid=21812 vsize=10554648 CPUtime=1.47 cores=1,3,5,7
/proc/21815/task/21816/stat : 21816 (java) R 21812 21815 19289 0 -1 4202560 115400 0 1 0 132 15 0 0 18 0 19 0 912794898 10807959552 123348 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 46912505583487 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=21815/tid=21818] ppid=21812 vsize=10554648 CPUtime=0 cores=1,3,5,7
/proc/21815/task/21818/stat : 21818 (java) S 21812 21815 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912794900 10807959552 123350 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 216000408473 0 4 0 16800975 18446604468330823936 0 0 -1 7 0 0 0
[pid=21815/tid=21819] ppid=21812 vsize=10554648 CPUtime=0 cores=1,3,5,7
/proc/21815/task/21819/stat : 21819 (java) S 21812 21815 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912794900 10807959552 123353 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 216000408473 0 4 0 16800975 18446604468330823936 0 0 -1 7 0 0 0
[pid=21815/tid=21821] ppid=21812 vsize=10554648 CPUtime=0 cores=1,3,5,7
/proc/21815/task/21821/stat : 21821 (java) S 21812 21815 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912794900 10807959552 123355 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 216000408473 0 4 0 16800975 18446604468330823936 0 0 -1 7 0 0 0
[pid=21815/tid=21822] ppid=21812 vsize=10554648 CPUtime=0 cores=1,3,5,7
/proc/21815/task/21822/stat : 21822 (java) S 21812 21815 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912794900 10807959552 123357 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 216000408473 0 4 0 16800975 18446604468330823936 0 0 -1 7 0 0 0
[pid=21815/tid=21823] ppid=21812 vsize=10554648 CPUtime=0 cores=1,3,5,7
/proc/21815/task/21823/stat : 21823 (java) S 21812 21815 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912794900 10807959552 123360 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 216000408473 0 4 0 16800975 18446604468330823936 0 0 -1 7 0 0 0
[pid=21815/tid=21825] ppid=21812 vsize=10554648 CPUtime=0 cores=1,3,5,7
/proc/21815/task/21825/stat : 21825 (java) S 21812 21815 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912794900 10807959552 123362 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 216000408473 0 4 0 16800975 18446604468330823936 0 0 -1 7 0 0 0
[pid=21815/tid=21826] ppid=21812 vsize=10554648 CPUtime=0 cores=1,3,5,7
/proc/21815/task/21826/stat : 21826 (java) S 21812 21815 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912794900 10807959552 123365 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 216000408473 0 4 0 16800975 18446604468330823936 0 0 -1 7 0 0 0
[pid=21815/tid=21827] ppid=21812 vsize=10554648 CPUtime=0 cores=1,3,5,7
/proc/21815/task/21827/stat : 21827 (java) S 21812 21815 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912794900 10807959552 123367 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 216000408473 0 4 0 16800975 18446604468330823936 0 0 -1 7 0 0 0
[pid=21815/tid=21828] ppid=21812 vsize=10554648 CPUtime=0 cores=1,3,5,7
/proc/21815/task/21828/stat : 21828 (java) S 21812 21815 19289 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 912794901 10807959552 123370 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 216000409088 0 0 0 16800975 18446604468330823936 0 0 -1 1 0 0 0
[pid=21815/tid=21829] ppid=21812 vsize=10554648 CPUtime=0 cores=1,3,5,7
/proc/21815/task/21829/stat : 21829 (java) S 21812 21815 19289 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 912794901 10807959552 123372 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 216000408473 0 4 0 16800975 18446604468330823936 0 0 -1 1 0 0 0
[pid=21815/tid=21830] ppid=21812 vsize=10554648 CPUtime=0 cores=1,3,5,7
/proc/21815/task/21830/stat : 21830 (java) S 21812 21815 19289 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912794901 10807959552 123374 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 216000408473 0 4 0 16800975 18446604468330823936 0 0 -1 1 0 0 0
[pid=21815/tid=21831] ppid=21812 vsize=10554648 CPUtime=0 cores=1,3,5,7
/proc/21815/task/21831/stat : 21831 (java) S 21812 21815 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912794903 10807959552 123376 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 216000416177 0 4 0 16800975 18446604468330823936 0 0 -1 1 0 0 0
[pid=21815/tid=21833] ppid=21812 vsize=10554648 CPUtime=0.63 cores=1,3,5,7
/proc/21815/task/21833/stat : 21833 (java) S 21812 21815 19289 0 -1 4202560 5885 0 0 0 62 1 0 0 20 0 19 0 912794903 10807959552 123379 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 216000408473 0 4 0 16800975 18446604468330823936 0 0 -1 1 0 0 0
[pid=21815/tid=21834] ppid=21812 vsize=10554648 CPUtime=0.67 cores=1,3,5,7
/proc/21815/task/21834/stat : 21834 (java) S 21812 21815 19289 0 -1 4202560 9342 0 0 0 66 1 0 0 22 0 19 0 912794903 10807959552 123382 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 216000408473 0 4 0 16800975 18446604468330823936 0 0 -1 7 0 0 0
[pid=21815/tid=21835] ppid=21812 vsize=10554648 CPUtime=0 cores=1,3,5,7
/proc/21815/task/21835/stat : 21835 (java) S 21812 21815 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912794903 10807959552 123386 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 216000408473 0 4 0 16800975 18446604468330823936 0 0 -1 1 0 0 0
[pid=21815/tid=21837] ppid=21812 vsize=10554648 CPUtime=0 cores=1,3,5,7
/proc/21815/task/21837/stat : 21837 (java) S 21812 21815 19289 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 912794903 10807959552 123390 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 216000409088 0 4 0 16800975 18446604468330823936 0 0 -1 1 0 0 0
[pid=21815/tid=21838] ppid=21812 vsize=10554648 CPUtime=0 cores=1,3,5,7
/proc/21815/task/21838/stat : 21838 (java) S 21812 21815 19289 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912794913 10807959552 123394 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 216000409088 0 4 0 16800975 18446604468330823936 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.8
Current children cumulated vsize (KiB) 10554648
[startup+3.10104 s]
/proc/loadavg: 2.01 2.06 2.02 3/551 21838
/proc/meminfo: memFree=14865968/32950940 swapFree=67111364/67111528
[pid=21815] ppid=21812 vsize=10554648 CPUtime=4.4 cores=1,3,5,7
/proc/21815/stat : 21815 (java) S 21812 21815 19289 0 -1 4202496 292361 0 1 0 405 35 0 0 25 0 19 0 912794897 10807959552 283922 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/21815/statm: 2638662 283926 2219 9 0 2629396 0
[pid=21815/tid=21816] ppid=21812 vsize=10554648 CPUtime=3.08 cores=1,3,5,7
/proc/21815/task/21816/stat : 21816 (java) R 21812 21815 19289 0 -1 4202560 275982 0 1 0 275 33 0 0 21 0 19 0 912794898 10807959552 283929 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 46912505581431 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=21815/tid=21818] ppid=21812 vsize=10554648 CPUtime=0 cores=1,3,5,7
/proc/21815/task/21818/stat : 21818 (java) S 21812 21815 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912794900 10807959552 283931 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 216000408473 0 4 0 16800975 18446604468330823936 0 0 -1 7 0 0 0
[pid=21815/tid=21819] ppid=21812 vsize=10554648 CPUtime=0 cores=1,3,5,7
/proc/21815/task/21819/stat : 21819 (java) S 21812 21815 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912794900 10807959552 283934 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 216000408473 0 4 0 16800975 18446604468330823936 0 0 -1 7 0 0 0
[pid=21815/tid=21821] ppid=21812 vsize=10554648 CPUtime=0 cores=1,3,5,7
/proc/21815/task/21821/stat : 21821 (java) S 21812 21815 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912794900 10807959552 283936 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 216000408473 0 4 0 16800975 18446604468330823936 0 0 -1 7 0 0 0
[pid=21815/tid=21822] ppid=21812 vsize=10554648 CPUtime=0 cores=1,3,5,7
/proc/21815/task/21822/stat : 21822 (java) S 21812 21815 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912794900 10807959552 283939 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 216000408473 0 4 0 16800975 18446604468330823936 0 0 -1 7 0 0 0
[pid=21815/tid=21823] ppid=21812 vsize=10554648 CPUtime=0 cores=1,3,5,7
/proc/21815/task/21823/stat : 21823 (java) S 21812 21815 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912794900 10807959552 283941 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 216000408473 0 4 0 16800975 18446604468330823936 0 0 -1 7 0 0 0
[pid=21815/tid=21825] ppid=21812 vsize=10554648 CPUtime=0 cores=1,3,5,7
/proc/21815/task/21825/stat : 21825 (java) S 21812 21815 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912794900 10807959552 283943 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 216000408473 0 4 0 16800975 18446604468330823936 0 0 -1 7 0 0 0
[pid=21815/tid=21826] ppid=21812 vsize=10554648 CPUtime=0 cores=1,3,5,7
/proc/21815/task/21826/stat : 21826 (java) S 21812 21815 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912794900 10807959552 283946 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 216000408473 0 4 0 16800975 18446604468330823936 0 0 -1 7 0 0 0
[pid=21815/tid=21827] ppid=21812 vsize=10554648 CPUtime=0 cores=1,3,5,7
/proc/21815/task/21827/stat : 21827 (java) S 21812 21815 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912794900 10807959552 283949 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 216000408473 0 4 0 16800975 18446604468330823936 0 0 -1 7 0 0 0
[pid=21815/tid=21828] ppid=21812 vsize=10554648 CPUtime=0 cores=1,3,5,7
/proc/21815/task/21828/stat : 21828 (java) S 21812 21815 19289 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 912794901 10807959552 283951 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 216000409088 0 0 0 16800975 18446604468330823936 0 0 -1 1 0 0 0
[pid=21815/tid=21829] ppid=21812 vsize=10554648 CPUtime=0 cores=1,3,5,7
/proc/21815/task/21829/stat : 21829 (java) S 21812 21815 19289 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 912794901 10807959552 283954 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 216000408473 0 4 0 16800975 18446604468330823936 0 0 -1 1 0 0 0
[pid=21815/tid=21830] ppid=21812 vsize=10554648 CPUtime=0 cores=1,3,5,7
/proc/21815/task/21830/stat : 21830 (java) S 21812 21815 19289 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912794901 10807959552 283957 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 216000408473 0 4 0 16800975 18446604468330823936 0 0 -1 1 0 0 0
[pid=21815/tid=21831] ppid=21812 vsize=10554648 CPUtime=0 cores=1,3,5,7
/proc/21815/task/21831/stat : 21831 (java) S 21812 21815 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912794903 10807959552 283959 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 216000416177 0 4 0 16800975 18446604468330823936 0 0 -1 1 0 0 0
[pid=21815/tid=21833] ppid=21812 vsize=10554648 CPUtime=0.63 cores=1,3,5,7
/proc/21815/task/21833/stat : 21833 (java) S 21812 21815 19289 0 -1 4202560 5885 0 0 0 62 1 0 0 20 0 19 0 912794903 10807959552 283962 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 216000408473 0 4 0 16800975 18446604468330823936 0 0 -1 1 0 0 0
[pid=21815/tid=21834] ppid=21812 vsize=10554648 CPUtime=0.67 cores=1,3,5,7
/proc/21815/task/21834/stat : 21834 (java) S 21812 21815 19289 0 -1 4202560 9342 0 0 0 66 1 0 0 22 0 19 0 912794903 10807959552 283964 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 216000408473 0 4 0 16800975 18446604468330823936 0 0 -1 7 0 0 0
[pid=21815/tid=21835] ppid=21812 vsize=10554648 CPUtime=0 cores=1,3,5,7
/proc/21815/task/21835/stat : 21835 (java) S 21812 21815 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912794903 10807959552 283967 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 216000408473 0 4 0 16800975 18446604468330823936 0 0 -1 1 0 0 0
[pid=21815/tid=21837] ppid=21812 vsize=10554648 CPUtime=0 cores=1,3,5,7
/proc/21815/task/21837/stat : 21837 (java) S 21812 21815 19289 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 912794903 10807959552 283969 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 216000409088 0 4 0 16800975 18446604468330823936 0 0 -1 1 0 0 0
[pid=21815/tid=21838] ppid=21812 vsize=10554648 CPUtime=0 cores=1,3,5,7
/proc/21815/task/21838/stat : 21838 (java) S 21812 21815 19289 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912794913 10807959552 283971 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 216000409088 0 4 0 16800975 18446604468330823936 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.4
Current children cumulated vsize (KiB) 10554648
[startup+6.30148 s]
/proc/loadavg: 2.01 2.06 2.02 3/551 21838
/proc/meminfo: memFree=13608272/32950940 swapFree=67111364/67111528
[pid=21815] ppid=21812 vsize=10554648 CPUtime=7.6 cores=1,3,5,7
/proc/21815/stat : 21815 (java) S 21812 21815 19289 0 -1 4202496 592922 0 1 0 692 68 0 0 25 0 19 0 912794897 10807959552 584330 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/21815/statm: 2638662 584334 2220 9 0 2629396 0
[pid=21815/tid=21816] ppid=21812 vsize=10554648 CPUtime=6.28 cores=1,3,5,7
/proc/21815/task/21816/stat : 21816 (java) R 21812 21815 19289 0 -1 4202560 576541 0 1 0 562 66 0 0 25 0 19 0 912794898 10807959552 584336 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 46912505581958 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=21815/tid=21818] ppid=21812 vsize=10554648 CPUtime=0 cores=1,3,5,7
/proc/21815/task/21818/stat : 21818 (java) S 21812 21815 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912794900 10807959552 584337 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 216000408473 0 4 0 16800975 18446604468330823936 0 0 -1 7 0 0 0
[pid=21815/tid=21819] ppid=21812 vsize=10554648 CPUtime=0 cores=1,3,5,7
/proc/21815/task/21819/stat : 21819 (java) S 21812 21815 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912794900 10807959552 584339 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 216000408473 0 4 0 16800975 18446604468330823936 0 0 -1 7 0 0 0
[pid=21815/tid=21821] ppid=21812 vsize=10554648 CPUtime=0 cores=1,3,5,7
/proc/21815/task/21821/stat : 21821 (java) S 21812 21815 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912794900 10807959552 584342 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 216000408473 0 4 0 16800975 18446604468330823936 0 0 -1 7 0 0 0
[pid=21815/tid=21822] ppid=21812 vsize=10554648 CPUtime=0 cores=1,3,5,7
/proc/21815/task/21822/stat : 21822 (java) S 21812 21815 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912794900 10807959552 584343 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 216000408473 0 4 0 16800975 18446604468330823936 0 0 -1 7 0 0 0
[pid=21815/tid=21823] ppid=21812 vsize=10554648 CPUtime=0 cores=1,3,5,7
/proc/21815/task/21823/stat : 21823 (java) S 21812 21815 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912794900 10807959552 584346 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 216000408473 0 4 0 16800975 18446604468330823936 0 0 -1 7 0 0 0
[pid=21815/tid=21825] ppid=21812 vsize=10554648 CPUtime=0 cores=1,3,5,7
/proc/21815/task/21825/stat : 21825 (java) S 21812 21815 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912794900 10807959552 584349 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 216000408473 0 4 0 16800975 18446604468330823936 0 0 -1 7 0 0 0
[pid=21815/tid=21826] ppid=21812 vsize=10554648 CPUtime=0 cores=1,3,5,7
/proc/21815/task/21826/stat : 21826 (java) S 21812 21815 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912794900 10807959552 584351 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 216000408473 0 4 0 16800975 18446604468330823936 0 0 -1 7 0 0 0
[pid=21815/tid=21827] ppid=21812 vsize=10554648 CPUtime=0 cores=1,3,5,7
/proc/21815/task/21827/stat : 21827 (java) S 21812 21815 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912794900 10807959552 584353 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 216000408473 0 4 0 16800975 18446604468330823936 0 0 -1 7 0 0 0
[pid=21815/tid=21828] ppid=21812 vsize=10554648 CPUtime=0 cores=1,3,5,7
/proc/21815/task/21828/stat : 21828 (java) S 21812 21815 19289 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 912794901 10807959552 584356 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 216000409088 0 0 0 16800975 18446604468330823936 0 0 -1 1 0 0 0
[pid=21815/tid=21829] ppid=21812 vsize=10554648 CPUtime=0 cores=1,3,5,7
/proc/21815/task/21829/stat : 21829 (java) S 21812 21815 19289 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 912794901 10807959552 584357 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 216000408473 0 4 0 16800975 18446604468330823936 0 0 -1 1 0 0 0
[pid=21815/tid=21830] ppid=21812 vsize=10554648 CPUtime=0 cores=1,3,5,7
/proc/21815/task/21830/stat : 21830 (java) S 21812 21815 19289 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912794901 10807959552 584360 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 216000408473 0 4 0 16800975 18446604468330823936 0 0 -1 1 0 0 0
[pid=21815/tid=21831] ppid=21812 vsize=10554648 CPUtime=0 cores=1,3,5,7
/proc/21815/task/21831/stat : 21831 (java) S 21812 21815 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912794903 10807959552 584362 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 216000416177 0 4 0 16800975 18446604468330823936 0 0 -1 1 0 0 0
[pid=21815/tid=21833] ppid=21812 vsize=10554648 CPUtime=0.64 cores=1,3,5,7
/proc/21815/task/21833/stat : 21833 (java) S 21812 21815 19289 0 -1 4202560 5885 0 0 0 63 1 0 0 16 0 19 0 912794903 10807959552 584364 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 216000408473 0 4 0 16800975 18446604468330823936 0 0 -1 1 0 0 0
[pid=21815/tid=21834] ppid=21812 vsize=10554648 CPUtime=0.67 cores=1,3,5,7
/proc/21815/task/21834/stat : 21834 (java) S 21812 21815 19289 0 -1 4202560 9342 0 0 0 66 1 0 0 22 0 19 0 912794903 10807959552 584367 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 216000408473 0 4 0 16800975 18446604468330823936 0 0 -1 7 0 0 0
################
# More data... #
################
[pid=21815/tid=21835] ppid=21812 vsize=10554648 CPUtime=0 cores=1,3,5,7
/proc/21815/task/21835/stat : 21835 (java) S 21812 21815 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912794903 10807959552 933307 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 216000408473 0 4 0 16800975 18446604468330823936 0 0 -1 1 0 0 0
[pid=21815/tid=21837] ppid=21812 vsize=10554648 CPUtime=0 cores=1,3,5,7
/proc/21815/task/21837/stat : 21837 (java) S 21812 21815 19289 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 912794903 10807959552 933307 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 216000409088 0 4 0 16800975 18446604468330823936 0 0 -1 1 0 0 0
[pid=21815/tid=21838] ppid=21812 vsize=10554648 CPUtime=0 cores=1,3,5,7
/proc/21815/task/21838/stat : 21838 (java) S 21812 21815 19289 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912794913 10807959552 933307 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 216000409088 0 4 0 16800975 18446604468330823936 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1668.48
Current children cumulated vsize (KiB) 10554648
[startup+1722.3 s]
/proc/loadavg: 2.12 2.12 2.04 3/551 22153
/proc/meminfo: memFree=11947000/32950940 swapFree=67111364/67111528
[pid=21815] ppid=21812 vsize=10554648 CPUtime=1728.65 cores=1,3,5,7
/proc/21815/stat : 21815 (java) S 21812 21815 19289 0 -1 4202496 949837 0 1 0 172755 110 0 0 25 0 19 0 912794897 10807959552 934260 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/21815/statm: 2638662 934260 2257 9 0 2629396 0
[pid=21815/tid=21816] ppid=21812 vsize=10554648 CPUtime=1718.67 cores=1,3,5,7
/proc/21815/task/21816/stat : 21816 (java) R 21812 21815 19289 0 -1 4202560 838060 0 1 0 171772 95 0 0 25 0 19 0 912794898 10807959552 934260 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 46912505719416 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=21815/tid=21818] ppid=21812 vsize=10554648 CPUtime=0.99 cores=1,3,5,7
/proc/21815/task/21818/stat : 21818 (java) S 21812 21815 19289 0 -1 4202560 12282 0 0 0 98 1 0 0 16 0 19 0 912794900 10807959552 934260 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 216000408473 0 4 0 16800975 18446604468330823936 0 0 -1 7 0 0 0
[pid=21815/tid=21819] ppid=21812 vsize=10554648 CPUtime=0.85 cores=1,3,5,7
/proc/21815/task/21819/stat : 21819 (java) S 21812 21815 19289 0 -1 4202560 10886 0 0 0 84 1 0 0 16 0 19 0 912794900 10807959552 934260 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 216000408473 0 4 0 16800975 18446604468330823936 0 0 -1 3 0 0 0
[pid=21815/tid=21821] ppid=21812 vsize=10554648 CPUtime=0.83 cores=1,3,5,7
/proc/21815/task/21821/stat : 21821 (java) S 21812 21815 19289 0 -1 4202560 10435 0 0 0 82 1 0 0 15 0 19 0 912794900 10807959552 934260 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 216000408473 0 4 0 16800975 18446604468330823936 0 0 -1 3 0 0 0
[pid=21815/tid=21822] ppid=21812 vsize=10554648 CPUtime=0.82 cores=1,3,5,7
/proc/21815/task/21822/stat : 21822 (java) S 21812 21815 19289 0 -1 4202560 7327 0 0 0 81 1 0 0 16 0 19 0 912794900 10807959552 934260 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 216000408473 0 4 0 16800975 18446604468330823936 0 0 -1 5 0 0 0
[pid=21815/tid=21823] ppid=21812 vsize=10554648 CPUtime=0.86 cores=1,3,5,7
/proc/21815/task/21823/stat : 21823 (java) S 21812 21815 19289 0 -1 4202560 8086 0 0 0 85 1 0 0 16 0 19 0 912794900 10807959552 934260 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 216000408473 0 4 0 16800975 18446604468330823936 0 0 -1 1 0 0 0
[pid=21815/tid=21825] ppid=21812 vsize=10554648 CPUtime=0.88 cores=1,3,5,7
/proc/21815/task/21825/stat : 21825 (java) S 21812 21815 19289 0 -1 4202560 11676 0 0 0 87 1 0 0 15 0 19 0 912794900 10807959552 934260 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 216000408473 0 4 0 16800975 18446604468330823936 0 0 -1 5 0 0 0
[pid=21815/tid=21826] ppid=21812 vsize=10554648 CPUtime=0.71 cores=1,3,5,7
/proc/21815/task/21826/stat : 21826 (java) S 21812 21815 19289 0 -1 4202560 9818 0 0 0 70 1 0 0 15 0 19 0 912794900 10807959552 934260 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 216000408473 0 4 0 16800975 18446604468330823936 0 0 -1 3 0 0 0
[pid=21815/tid=21827] ppid=21812 vsize=10554648 CPUtime=0.75 cores=1,3,5,7
/proc/21815/task/21827/stat : 21827 (java) S 21812 21815 19289 0 -1 4202560 7692 0 0 0 75 0 0 0 15 0 19 0 912794900 10807959552 934260 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 216000408473 0 4 0 16800975 18446604468330823936 0 0 -1 1 0 0 0
[pid=21815/tid=21828] ppid=21812 vsize=10554648 CPUtime=1.23 cores=1,3,5,7
/proc/21815/task/21828/stat : 21828 (java) S 21812 21815 19289 0 -1 4202560 11306 0 0 0 122 1 0 0 15 0 19 0 912794901 10807959552 934260 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 216000409088 0 0 0 16800975 18446604468330823936 0 0 -1 5 0 0 0
[pid=21815/tid=21829] ppid=21812 vsize=10554648 CPUtime=0 cores=1,3,5,7
/proc/21815/task/21829/stat : 21829 (java) S 21812 21815 19289 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 912794901 10807959552 934260 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 216000408473 0 4 0 16800975 18446604468330823936 0 0 -1 1 0 0 0
[pid=21815/tid=21830] ppid=21812 vsize=10554648 CPUtime=0 cores=1,3,5,7
/proc/21815/task/21830/stat : 21830 (java) S 21812 21815 19289 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 912794901 10807959552 934260 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 216000408473 0 4 0 16800975 18446604468330823936 0 0 -1 1 0 0 0
[pid=21815/tid=21831] ppid=21812 vsize=10554648 CPUtime=0 cores=1,3,5,7
/proc/21815/task/21831/stat : 21831 (java) S 21812 21815 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912794903 10807959552 934260 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 216000416177 0 4 0 16800975 18446604468330823936 0 0 -1 1 0 0 0
[pid=21815/tid=21833] ppid=21812 vsize=10554648 CPUtime=0.7 cores=1,3,5,7
/proc/21815/task/21833/stat : 21833 (java) S 21812 21815 19289 0 -1 4202560 5907 0 0 0 69 1 0 0 16 0 19 0 912794903 10807959552 934260 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 216000408473 0 4 0 16800975 18446604468330823936 0 0 -1 1 0 0 0
[pid=21815/tid=21834] ppid=21812 vsize=10554648 CPUtime=1.24 cores=1,3,5,7
/proc/21815/task/21834/stat : 21834 (java) S 21812 21815 19289 0 -1 4202560 15112 0 0 0 123 1 0 0 15 0 19 0 912794903 10807959552 934260 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 216000408473 0 4 0 16800975 18446604468330823936 0 0 -1 7 0 0 0
[pid=21815/tid=21835] ppid=21812 vsize=10554648 CPUtime=0 cores=1,3,5,7
/proc/21815/task/21835/stat : 21835 (java) S 21812 21815 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912794903 10807959552 934260 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 216000408473 0 4 0 16800975 18446604468330823936 0 0 -1 1 0 0 0
[pid=21815/tid=21837] ppid=21812 vsize=10554648 CPUtime=0 cores=1,3,5,7
/proc/21815/task/21837/stat : 21837 (java) S 21812 21815 19289 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 912794903 10807959552 934260 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 216000409088 0 4 0 16800975 18446604468330823936 0 0 -1 1 0 0 0
[pid=21815/tid=21838] ppid=21812 vsize=10554648 CPUtime=0 cores=1,3,5,7
/proc/21815/task/21838/stat : 21838 (java) S 21812 21815 19289 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912794913 10807959552 934260 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 216000409088 0 4 0 16800975 18446604468330823936 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1728.65
Current children cumulated vsize (KiB) 10554648
[startup+1782.3 s]
/proc/loadavg: 2.09 2.11 2.04 3/551 22155
/proc/meminfo: memFree=11937164/32950940 swapFree=67111364/67111528
[pid=21815] ppid=21812 vsize=10554648 CPUtime=1788.83 cores=1,3,5,7
/proc/21815/stat : 21815 (java) S 21812 21815 19289 0 -1 4202496 950448 0 1 0 178772 111 0 0 25 0 19 0 912794897 10807959552 934853 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/21815/statm: 2638662 934853 2257 9 0 2629396 0
[pid=21815/tid=21816] ppid=21812 vsize=10554648 CPUtime=1778.6 cores=1,3,5,7
/proc/21815/task/21816/stat : 21816 (java) R 21812 21815 19289 0 -1 4202560 838064 0 1 0 177765 95 0 0 25 0 19 0 912794898 10807959552 934853 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 46912505719616 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=21815/tid=21818] ppid=21812 vsize=10554648 CPUtime=1.04 cores=1,3,5,7
/proc/21815/task/21818/stat : 21818 (java) S 21812 21815 19289 0 -1 4202560 12391 0 0 0 103 1 0 0 16 0 19 0 912794900 10807959552 934853 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 216000408473 0 4 0 16800975 18446604468330823936 0 0 -1 1 0 0 0
[pid=21815/tid=21819] ppid=21812 vsize=10554648 CPUtime=0.87 cores=1,3,5,7
/proc/21815/task/21819/stat : 21819 (java) S 21812 21815 19289 0 -1 4202560 10888 0 0 0 86 1 0 0 15 0 19 0 912794900 10807959552 934853 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 216000408473 0 4 0 16800975 18446604468330823936 0 0 -1 3 0 0 0
[pid=21815/tid=21821] ppid=21812 vsize=10554648 CPUtime=0.89 cores=1,3,5,7
/proc/21815/task/21821/stat : 21821 (java) S 21812 21815 19289 0 -1 4202560 10573 0 0 0 88 1 0 0 16 0 19 0 912794900 10807959552 934853 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 216000408473 0 4 0 16800975 18446604468330823936 0 0 -1 3 0 0 0
[pid=21815/tid=21822] ppid=21812 vsize=10554648 CPUtime=0.85 cores=1,3,5,7
/proc/21815/task/21822/stat : 21822 (java) S 21812 21815 19289 0 -1 4202560 7406 0 0 0 84 1 0 0 15 0 19 0 912794900 10807959552 934853 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 216000408473 0 4 0 16800975 18446604468330823936 0 0 -1 3 0 0 0
[pid=21815/tid=21823] ppid=21812 vsize=10554648 CPUtime=0.9 cores=1,3,5,7
/proc/21815/task/21823/stat : 21823 (java) S 21812 21815 19289 0 -1 4202560 8195 0 0 0 89 1 0 0 16 0 19 0 912794900 10807959552 934853 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 216000408473 0 4 0 16800975 18446604468330823936 0 0 -1 3 0 0 0
[pid=21815/tid=21825] ppid=21812 vsize=10554648 CPUtime=0.91 cores=1,3,5,7
/proc/21815/task/21825/stat : 21825 (java) S 21812 21815 19289 0 -1 4202560 11790 0 0 0 90 1 0 0 15 0 19 0 912794900 10807959552 934853 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 216000408473 0 4 0 16800975 18446604468330823936 0 0 -1 5 0 0 0
[pid=21815/tid=21826] ppid=21812 vsize=10554648 CPUtime=0.71 cores=1,3,5,7
/proc/21815/task/21826/stat : 21826 (java) S 21812 21815 19289 0 -1 4202560 9818 0 0 0 70 1 0 0 15 0 19 0 912794900 10807959552 934853 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 216000408473 0 4 0 16800975 18446604468330823936 0 0 -1 3 0 0 0
[pid=21815/tid=21827] ppid=21812 vsize=10554648 CPUtime=0.78 cores=1,3,5,7
/proc/21815/task/21827/stat : 21827 (java) S 21812 21815 19289 0 -1 4202560 7742 0 0 0 78 0 0 0 15 0 19 0 912794900 10807959552 934853 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 216000408473 0 4 0 16800975 18446604468330823936 0 0 -1 1 0 0 0
[pid=21815/tid=21828] ppid=21812 vsize=10554648 CPUtime=1.23 cores=1,3,5,7
/proc/21815/task/21828/stat : 21828 (java) S 21812 21815 19289 0 -1 4202560 11310 0 0 0 122 1 0 0 15 0 19 0 912794901 10807959552 934853 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 216000409088 0 0 0 16800975 18446604468330823936 0 0 -1 5 0 0 0
[pid=21815/tid=21829] ppid=21812 vsize=10554648 CPUtime=0 cores=1,3,5,7
/proc/21815/task/21829/stat : 21829 (java) S 21812 21815 19289 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 912794901 10807959552 934853 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 216000408473 0 4 0 16800975 18446604468330823936 0 0 -1 1 0 0 0
[pid=21815/tid=21830] ppid=21812 vsize=10554648 CPUtime=0 cores=1,3,5,7
/proc/21815/task/21830/stat : 21830 (java) S 21812 21815 19289 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 912794901 10807959552 934853 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 216000408473 0 4 0 16800975 18446604468330823936 0 0 -1 1 0 0 0
[pid=21815/tid=21831] ppid=21812 vsize=10554648 CPUtime=0 cores=1,3,5,7
/proc/21815/task/21831/stat : 21831 (java) S 21812 21815 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912794903 10807959552 934853 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 216000416177 0 4 0 16800975 18446604468330823936 0 0 -1 1 0 0 0
[pid=21815/tid=21833] ppid=21812 vsize=10554648 CPUtime=0.7 cores=1,3,5,7
/proc/21815/task/21833/stat : 21833 (java) S 21812 21815 19289 0 -1 4202560 5907 0 0 0 69 1 0 0 16 0 19 0 912794903 10807959552 934853 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 216000408473 0 4 0 16800975 18446604468330823936 0 0 -1 1 0 0 0
[pid=21815/tid=21834] ppid=21812 vsize=10554648 CPUtime=1.24 cores=1,3,5,7
/proc/21815/task/21834/stat : 21834 (java) S 21812 21815 19289 0 -1 4202560 15112 0 0 0 123 1 0 0 15 0 19 0 912794903 10807959552 934853 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 216000408473 0 4 0 16800975 18446604468330823936 0 0 -1 7 0 0 0
[pid=21815/tid=21835] ppid=21812 vsize=10554648 CPUtime=0 cores=1,3,5,7
/proc/21815/task/21835/stat : 21835 (java) S 21812 21815 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912794903 10807959552 934853 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 216000408473 0 4 0 16800975 18446604468330823936 0 0 -1 1 0 0 0
[pid=21815/tid=21837] ppid=21812 vsize=10554648 CPUtime=0 cores=1,3,5,7
/proc/21815/task/21837/stat : 21837 (java) S 21812 21815 19289 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 912794903 10807959552 934853 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 216000409088 0 4 0 16800975 18446604468330823936 0 0 -1 1 0 0 0
[pid=21815/tid=21838] ppid=21812 vsize=10554648 CPUtime=0 cores=1,3,5,7
/proc/21815/task/21838/stat : 21838 (java) S 21812 21815 19289 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912794913 10807959552 934853 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 216000409088 0 4 0 16800975 18446604468330823936 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1788.83
Current children cumulated vsize (KiB) 10554648
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1793.5 s]
/proc/loadavg: 2.08 2.11 2.04 3/551 22155
/proc/meminfo: memFree=11935424/32950940 swapFree=67111364/67111528
[pid=21815] ppid=21812 vsize=10554648 CPUtime=1800.09 cores=1,3,5,7
/proc/21815/stat : 21815 (java) S 21812 21815 19289 0 -1 4202496 951054 0 1 0 179898 111 0 0 25 0 19 0 912794897 10807959552 935454 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/21815/statm: 2638662 935454 2257 9 0 2629396 0
[pid=21815/tid=21816] ppid=21812 vsize=10554648 CPUtime=1789.78 cores=1,3,5,7
/proc/21815/task/21816/stat : 21816 (java) R 21812 21815 19289 0 -1 4202560 838065 0 1 0 178883 95 0 0 25 0 19 0 912794898 10807959552 935454 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 46912505581032 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=21815/tid=21818] ppid=21812 vsize=10554648 CPUtime=1.05 cores=1,3,5,7
/proc/21815/task/21818/stat : 21818 (java) S 21812 21815 19289 0 -1 4202560 12424 0 0 0 104 1 0 0 16 0 19 0 912794900 10807959552 935454 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 216000408473 0 4 0 16800975 18446604468330823936 0 0 -1 1 0 0 0
[pid=21815/tid=21819] ppid=21812 vsize=10554648 CPUtime=0.87 cores=1,3,5,7
/proc/21815/task/21819/stat : 21819 (java) S 21812 21815 19289 0 -1 4202560 10888 0 0 0 86 1 0 0 15 0 19 0 912794900 10807959552 935454 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 216000408473 0 4 0 16800975 18446604468330823936 0 0 -1 7 0 0 0
[pid=21815/tid=21821] ppid=21812 vsize=10554648 CPUtime=0.89 cores=1,3,5,7
/proc/21815/task/21821/stat : 21821 (java) S 21812 21815 19289 0 -1 4202560 10579 0 0 0 88 1 0 0 16 0 19 0 912794900 10807959552 935454 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 216000408473 0 4 0 16800975 18446604468330823936 0 0 -1 3 0 0 0
[pid=21815/tid=21822] ppid=21812 vsize=10554648 CPUtime=0.86 cores=1,3,5,7
/proc/21815/task/21822/stat : 21822 (java) S 21812 21815 19289 0 -1 4202560 7440 0 0 0 85 1 0 0 16 0 19 0 912794900 10807959552 935454 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 216000408473 0 4 0 16800975 18446604468330823936 0 0 -1 5 0 0 0
[pid=21815/tid=21823] ppid=21812 vsize=10554648 CPUtime=0.93 cores=1,3,5,7
/proc/21815/task/21823/stat : 21823 (java) S 21812 21815 19289 0 -1 4202560 8409 0 0 0 92 1 0 0 16 0 19 0 912794900 10807959552 935454 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 216000408473 0 4 0 16800975 18446604468330823936 0 0 -1 7 0 0 0
[pid=21815/tid=21825] ppid=21812 vsize=10554648 CPUtime=0.91 cores=1,3,5,7
/proc/21815/task/21825/stat : 21825 (java) S 21812 21815 19289 0 -1 4202560 11796 0 0 0 90 1 0 0 16 0 19 0 912794900 10807959552 935454 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 216000408473 0 4 0 16800975 18446604468330823936 0 0 -1 5 0 0 0
[pid=21815/tid=21826] ppid=21812 vsize=10554648 CPUtime=0.75 cores=1,3,5,7
/proc/21815/task/21826/stat : 21826 (java) S 21812 21815 19289 0 -1 4202560 10122 0 0 0 74 1 0 0 16 0 19 0 912794900 10807959552 935454 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 216000408473 0 4 0 16800975 18446604468330823936 0 0 -1 3 0 0 0
[pid=21815/tid=21827] ppid=21812 vsize=10554648 CPUtime=0.78 cores=1,3,5,7
/proc/21815/task/21827/stat : 21827 (java) S 21812 21815 19289 0 -1 4202560 7748 0 0 0 78 0 0 0 16 0 19 0 912794900 10807959552 935454 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 216000408473 0 4 0 16800975 18446604468330823936 0 0 -1 1 0 0 0
[pid=21815/tid=21828] ppid=21812 vsize=10554648 CPUtime=1.23 cores=1,3,5,7
/proc/21815/task/21828/stat : 21828 (java) S 21812 21815 19289 0 -1 4202560 11310 0 0 0 122 1 0 0 15 0 19 0 912794901 10807959552 935454 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 216000409088 0 0 0 16800975 18446604468330823936 0 0 -1 5 0 0 0
[pid=21815/tid=21829] ppid=21812 vsize=10554648 CPUtime=0 cores=1,3,5,7
/proc/21815/task/21829/stat : 21829 (java) S 21812 21815 19289 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 912794901 10807959552 935454 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 216000408473 0 4 0 16800975 18446604468330823936 0 0 -1 1 0 0 0
[pid=21815/tid=21830] ppid=21812 vsize=10554648 CPUtime=0 cores=1,3,5,7
/proc/21815/task/21830/stat : 21830 (java) S 21812 21815 19289 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 912794901 10807959552 935454 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 216000408473 0 4 0 16800975 18446604468330823936 0 0 -1 1 0 0 0
[pid=21815/tid=21831] ppid=21812 vsize=10554648 CPUtime=0 cores=1,3,5,7
/proc/21815/task/21831/stat : 21831 (java) S 21812 21815 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912794903 10807959552 935454 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 216000416177 0 4 0 16800975 18446604468330823936 0 0 -1 1 0 0 0
[pid=21815/tid=21833] ppid=21812 vsize=10554648 CPUtime=0.7 cores=1,3,5,7
/proc/21815/task/21833/stat : 21833 (java) S 21812 21815 19289 0 -1 4202560 5907 0 0 0 69 1 0 0 16 0 19 0 912794903 10807959552 935454 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 216000408473 0 4 0 16800975 18446604468330823936 0 0 -1 1 0 0 0
[pid=21815/tid=21834] ppid=21812 vsize=10554648 CPUtime=1.24 cores=1,3,5,7
/proc/21815/task/21834/stat : 21834 (java) S 21812 21815 19289 0 -1 4202560 15112 0 0 0 123 1 0 0 15 0 19 0 912794903 10807959552 935454 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 216000408473 0 4 0 16800975 18446604468330823936 0 0 -1 7 0 0 0
[pid=21815/tid=21835] ppid=21812 vsize=10554648 CPUtime=0 cores=1,3,5,7
/proc/21815/task/21835/stat : 21835 (java) S 21812 21815 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912794903 10807959552 935454 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 216000408473 0 4 0 16800975 18446604468330823936 0 0 -1 1 0 0 0
[pid=21815/tid=21837] ppid=21812 vsize=10554648 CPUtime=0 cores=1,3,5,7
/proc/21815/task/21837/stat : 21837 (java) S 21812 21815 19289 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 912794903 10807959552 935454 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 216000409088 0 4 0 16800975 18446604468330823936 0 0 -1 1 0 0 0
[pid=21815/tid=21838] ppid=21812 vsize=10554648 CPUtime=0 cores=1,3,5,7
/proc/21815/task/21838/stat : 21838 (java) S 21812 21815 19289 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912794913 10807959552 935454 33554432000 1073741824 1073778376 140734884548560 18446744073709551615 216000409088 0 4 0 16800975 18446604468330823936 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 10554648
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1793.63 s]
/proc/loadavg: 2.08 2.11 2.04 3/551 22155
/proc/meminfo: memFree=11935424/32950940 swapFree=67111364/67111528
[pid=21815] ppid=21812 vsize=0 CPUtime=1800.25 cores=1,3,5,7
/proc/21815/stat : 21815 (java) Z 21812 21815 19289 0 -1 4203548 951096 0 1 0 179907 118 0 0 17 0 2 0 912794897 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/21815/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.25
Current children cumulated vsize (KiB) 0
[startup+1793.7 s]
/proc/loadavg: 2.08 2.11 2.04 3/551 22155
/proc/meminfo: memFree=11935424/32950940 swapFree=67111364/67111528
[pid=21815] ppid=21812 vsize=0 CPUtime=1800.32 cores=1,3,5,7
/proc/21815/stat : 21815 (java) Z 21812 21815 19289 0 -1 4203548 951096 0 1 0 179907 125 0 0 17 0 2 0 912794897 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/21815/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.32
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1793.7
CPU time (s): 1800.33
CPU user time (s): 1799.07
CPU system time (s): 1.25881
CPU usage (%): 100.37
Max. virtual memory (cumulated for all children) (KiB): 10554648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.07
system time used= 1.25881
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 951096
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= 40635
involuntary context switches= 9636
runsolver used 9.28159 second user time and 21.7547 second system time
The end