runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
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-3313414-1304106600/watcher-3313414-1304106600 -o /tmp/evaluation-result-3313414-1304106600/solver-3313414-1304106600 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3313414-1304106600.cnf
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 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: 3.40 4.90 6.52 2/198 18777
/proc/meminfo: memFree=25972348/32950928 swapFree=67111364/67111528
[pid=18777] ppid=18775 vsize=28436 CPUtime=0 cores=1,3,5,7
/proc/18777/stat : 18777 (java) S 18775 18777 18346 0 -1 4202496 1435 0 0 0 0 0 0 0 22 0 2 0 522259952 29118464 904 33554432000 1073741824 1073778376 140734336066320 18446744073709551615 208092035045 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/18777/statm: 7645 907 693 9 0 383 0
[pid=18777/tid=18778] ppid=18775 vsize=30528 CPUtime=0 cores=1,3,5,7
/proc/18777/task/18778/stat : 18778 (java) R 18775 18777 18346 0 -1 4202560 110 0 0 0 0 0 0 0 24 0 2 0 522259952 31260672 930 33554432000 1073741824 1073778376 140734336066320 18446744073709551615 208079635914 0 0 4096 0 0 0 0 -1 5 0 0 0
[startup+0.0890349 s]
/proc/loadavg: 3.40 4.90 6.52 2/198 18777
/proc/meminfo: memFree=25972348/32950928 swapFree=67111364/67111528
[pid=18777] ppid=18775 vsize=15676920 CPUtime=0.09 cores=1,3,5,7
/proc/18777/stat : 18777 (java) S 18775 18777 18346 0 -1 4202496 5460 0 1 0 9 0 0 0 22 0 18 0 522259952 16053166080 4894 33554432000 1073741824 1073778376 140734336066320 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/18777/statm: 3919230 4894 2116 9 0 3909949 0
[pid=18777/tid=18778] ppid=18775 vsize=15676920 CPUtime=0.07 cores=1,3,5,7
/proc/18777/task/18778/stat : 18778 (java) R 18775 18777 18346 0 -1 4202560 3332 0 1 0 7 0 0 0 25 0 18 0 522259952 16053166080 4894 33554432000 1073741824 1073778376 140734336066320 18446744073709551615 208092059083 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15676920
[startup+0.101029 s]
/proc/loadavg: 3.40 4.90 6.52 2/198 18777
/proc/meminfo: memFree=25972348/32950928 swapFree=67111364/67111528
[pid=18777] ppid=18775 vsize=15676920 CPUtime=0.1 cores=1,3,5,7
/proc/18777/stat : 18777 (java) S 18775 18777 18346 0 -1 4202496 5628 0 1 0 10 0 0 0 22 0 18 0 522259952 16053166080 5062 33554432000 1073741824 1073778376 140734336066320 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/18777/statm: 3919230 5063 2118 9 0 3909949 0
[pid=18777/tid=18778] ppid=18775 vsize=15676920 CPUtime=0.09 cores=1,3,5,7
/proc/18777/task/18778/stat : 18778 (java) R 18775 18777 18346 0 -1 4202560 3501 0 1 0 9 0 0 0 25 0 18 0 522259952 16053166080 5063 33554432000 1073741824 1073778376 140734336066320 18446744073709551615 47650821234663 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15676920
[startup+0.301058 s]
/proc/loadavg: 3.40 4.90 6.52 2/198 18777
/proc/meminfo: memFree=25972348/32950928 swapFree=67111364/67111528
[pid=18777] ppid=18775 vsize=15680052 CPUtime=0.52 cores=1,3,5,7
/proc/18777/stat : 18777 (java) S 18775 18777 18346 0 -1 4202496 16320 0 1 0 50 2 0 0 22 0 18 0 522259952 16056373248 14813 33554432000 1073741824 1073778376 140734336066320 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/18777/statm: 3920013 14819 2207 9 0 3910732 0
[pid=18777/tid=18778] ppid=18775 vsize=15680052 CPUtime=0.29 cores=1,3,5,7
/proc/18777/task/18778/stat : 18778 (java) R 18775 18777 18346 0 -1 4202560 11273 0 1 0 28 1 0 0 25 0 18 0 522259952 16056373248 14823 33554432000 1073741824 1073778376 140734336066320 18446744073709551615 46912505641235 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 15680052
[startup+0.70092 s]
/proc/loadavg: 3.40 4.90 6.52 2/198 18777
/proc/meminfo: memFree=25972348/32950928 swapFree=67111364/67111528
[pid=18777] ppid=18775 vsize=15680052 CPUtime=0.93 cores=1,3,5,7
/proc/18777/stat : 18777 (java) S 18775 18777 18346 0 -1 4202496 42144 0 1 0 88 5 0 0 22 0 18 0 522259952 16056373248 40634 33554432000 1073741824 1073778376 140734336066320 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/18777/statm: 3920013 40634 2223 9 0 3910732 0
[pid=18777/tid=18778] ppid=18775 vsize=15680052 CPUtime=0.68 cores=1,3,5,7
/proc/18777/task/18778/stat : 18778 (java) R 18775 18777 18346 0 -1 4202560 35534 0 1 0 65 3 0 0 25 0 18 0 522259952 16056373248 40634 33554432000 1073741824 1073778376 140734336066320 18446744073709551615 208092059083 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.93
Current children cumulated vsize (KiB) 15680052
[startup+1.50077 s]
/proc/loadavg: 3.40 4.90 6.52 3/216 18795
/proc/meminfo: memFree=25812616/32950928 swapFree=67111364/67111528
[pid=18777] ppid=18775 vsize=15680052 CPUtime=1.75 cores=1,3,5,7
/proc/18777/stat : 18777 (java) S 18775 18777 18346 0 -1 4202496 53623 0 1 0 168 7 0 0 22 0 18 0 522259952 16056373248 52097 33554432000 1073741824 1073778376 140734336066320 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/18777/statm: 3920013 52103 2223 9 0 3910732 0
[pid=18777/tid=18778] ppid=18775 vsize=15680052 CPUtime=1.47 cores=1,3,5,7
/proc/18777/task/18778/stat : 18778 (java) R 18775 18777 18346 0 -1 4202560 43776 0 1 0 143 4 0 0 25 0 18 0 522259952 16056373248 52107 33554432000 1073741824 1073778376 140734336066320 18446744073709551615 46912505639008 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=18777/tid=18780] ppid=18775 vsize=15680052 CPUtime=0 cores=1,3,5,7
/proc/18777/task/18780/stat : 18780 (java) S 18775 18777 18346 0 -1 4202560 271 0 0 0 0 0 0 0 15 0 18 0 522259953 16056373248 52111 33554432000 1073741824 1073778376 140734336066320 18446744073709551615 208092048281 0 4 0 16800975 18446604471135179008 0 0 -1 7 0 0 0
[pid=18777/tid=18781] ppid=18775 vsize=15680052 CPUtime=0 cores=1,3,5,7
/proc/18777/task/18781/stat : 18781 (java) S 18775 18777 18346 0 -1 4202560 1341 0 0 0 0 0 0 0 16 0 18 0 522259953 16056373248 52114 33554432000 1073741824 1073778376 140734336066320 18446744073709551615 208092048281 0 4 0 16800975 18446604471135179008 0 0 -1 7 0 0 0
[pid=18777/tid=18782] ppid=18775 vsize=15680052 CPUtime=0 cores=1,3,5,7
/proc/18777/task/18782/stat : 18782 (java) S 18775 18777 18346 0 -1 4202560 659 0 0 0 0 0 0 0 15 0 18 0 522259953 16056373248 52118 33554432000 1073741824 1073778376 140734336066320 18446744073709551615 208092048281 0 4 0 16800975 18446604471135179008 0 0 -1 1 0 0 0
[pid=18777/tid=18783] ppid=18775 vsize=15680052 CPUtime=0 cores=1,3,5,7
/proc/18777/task/18783/stat : 18783 (java) S 18775 18777 18346 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 18 0 522259953 16056373248 52121 33554432000 1073741824 1073778376 140734336066320 18446744073709551615 208092048281 0 4 0 16800975 18446604471135179008 0 0 -1 3 0 0 0
[pid=18777/tid=18784] ppid=18775 vsize=15680052 CPUtime=0 cores=1,3,5,7
/proc/18777/task/18784/stat : 18784 (java) S 18775 18777 18346 0 -1 4202560 949 0 0 0 0 0 0 0 16 0 18 0 522259953 16056373248 52125 33554432000 1073741824 1073778376 140734336066320 18446744073709551615 208092048281 0 4 0 16800975 18446604471135179008 0 0 -1 5 0 0 0
[pid=18777/tid=18785] ppid=18775 vsize=15680052 CPUtime=0 cores=1,3,5,7
/proc/18777/task/18785/stat : 18785 (java) S 18775 18777 18346 0 -1 4202560 642 0 0 0 0 0 0 0 15 0 18 0 522259953 16056373248 52129 33554432000 1073741824 1073778376 140734336066320 18446744073709551615 208092048281 0 4 0 16800975 18446604471135179008 0 0 -1 5 0 0 0
[pid=18777/tid=18786] ppid=18775 vsize=15680052 CPUtime=0 cores=1,3,5,7
/proc/18777/task/18786/stat : 18786 (java) S 18775 18777 18346 0 -1 4202560 572 0 0 0 0 0 0 0 15 0 18 0 522259953 16056373248 52133 33554432000 1073741824 1073778376 140734336066320 18446744073709551615 208092048281 0 4 0 16800975 18446604471135179008 0 0 -1 1 0 0 0
[pid=18777/tid=18787] ppid=18775 vsize=15680052 CPUtime=0 cores=1,3,5,7
/proc/18777/task/18787/stat : 18787 (java) S 18775 18777 18346 0 -1 4202560 301 0 0 0 0 0 0 0 16 0 18 0 522259953 16056373248 52137 33554432000 1073741824 1073778376 140734336066320 18446744073709551615 208092048281 0 4 0 16800975 18446604471135179008 0 0 -1 1 0 0 0
[pid=18777/tid=18788] ppid=18775 vsize=15680052 CPUtime=0 cores=1,3,5,7
/proc/18777/task/18788/stat : 18788 (java) S 18775 18777 18346 0 -1 4202560 72 0 0 0 0 0 0 0 15 0 18 0 522259954 16056373248 52141 33554432000 1073741824 1073778376 140734336066320 18446744073709551615 208092048896 0 0 0 16800975 18446604471135179008 0 0 -1 5 0 0 0
[pid=18777/tid=18789] ppid=18775 vsize=15680052 CPUtime=0 cores=1,3,5,7
/proc/18777/task/18789/stat : 18789 (java) S 18775 18777 18346 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 18 0 522259954 16056373248 52144 33554432000 1073741824 1073778376 140734336066320 18446744073709551615 208092048281 0 4 0 16800975 18446604471135179008 0 0 -1 5 0 0 0
[pid=18777/tid=18790] ppid=18775 vsize=15680052 CPUtime=0 cores=1,3,5,7
/proc/18777/task/18790/stat : 18790 (java) S 18775 18777 18346 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 18 0 522259954 16056373248 52148 33554432000 1073741824 1073778376 140734336066320 18446744073709551615 208092048281 0 4 0 16800975 18446604471135179008 0 0 -1 5 0 0 0
[pid=18777/tid=18791] ppid=18775 vsize=15680052 CPUtime=0 cores=1,3,5,7
/proc/18777/task/18791/stat : 18791 (java) S 18775 18777 18346 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 522259956 16056373248 52152 33554432000 1073741824 1073778376 140734336066320 18446744073709551615 208092055985 0 4 0 16800975 18446604471135179008 0 0 -1 5 0 0 0
[pid=18777/tid=18792] ppid=18775 vsize=15680052 CPUtime=0.1 cores=1,3,5,7
/proc/18777/task/18792/stat : 18792 (java) S 18775 18777 18346 0 -1 4202560 1151 0 0 0 10 0 0 0 25 0 18 0 522259956 16056373248 52155 33554432000 1073741824 1073778376 140734336066320 18446744073709551615 208092048281 0 4 0 16800975 18446604471135179008 0 0 -1 7 0 0 0
[pid=18777/tid=18793] ppid=18775 vsize=15680052 CPUtime=0.11 cores=1,3,5,7
/proc/18777/task/18793/stat : 18793 (java) S 18775 18777 18346 0 -1 4202560 2512 0 0 0 11 0 0 0 18 0 18 0 522259956 16056373248 52159 33554432000 1073741824 1073778376 140734336066320 18446744073709551615 208092048281 0 4 0 16800975 18446604471135179008 0 0 -1 3 0 0 0
[pid=18777/tid=18794] ppid=18775 vsize=15680052 CPUtime=0 cores=1,3,5,7
/proc/18777/task/18794/stat : 18794 (java) S 18775 18777 18346 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 522259956 16056373248 52163 33554432000 1073741824 1073778376 140734336066320 18446744073709551615 208092048281 0 4 0 16800975 18446604471135179008 0 0 -1 5 0 0 0
[pid=18777/tid=18795] ppid=18775 vsize=15680052 CPUtime=0 cores=1,3,5,7
/proc/18777/task/18795/stat : 18795 (java) S 18775 18777 18346 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 522259956 16056373248 52167 33554432000 1073741824 1073778376 140734336066320 18446744073709551615 208092048896 0 4 0 16800975 18446604471135179008 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.75
Current children cumulated vsize (KiB) 15680052
[startup+3.10146 s]
/proc/loadavg: 3.40 4.90 6.52 3/216 18795
/proc/meminfo: memFree=25454628/32950928 swapFree=67111364/67111528
[pid=18777] ppid=18775 vsize=15680052 CPUtime=3.41 cores=1,3,5,7
/proc/18777/stat : 18777 (java) S 18775 18777 18346 0 -1 4202496 139935 0 1 0 324 17 0 0 22 0 18 0 522259952 16056373248 138400 33554432000 1073741824 1073778376 140734336066320 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/18777/statm: 3920013 138400 2241 9 0 3910732 0
[pid=18777/tid=18778] ppid=18775 vsize=15680052 CPUtime=3.07 cores=1,3,5,7
/proc/18777/task/18778/stat : 18778 (java) R 18775 18777 18346 0 -1 4202560 127033 0 1 0 293 14 0 0 25 0 18 0 522259952 16056373248 138400 33554432000 1073741824 1073778376 140734336066320 18446744073709551615 46912505560140 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=18777/tid=18780] ppid=18775 vsize=15680052 CPUtime=0 cores=1,3,5,7
/proc/18777/task/18780/stat : 18780 (java) S 18775 18777 18346 0 -1 4202560 272 0 0 0 0 0 0 0 15 0 18 0 522259953 16056373248 138400 33554432000 1073741824 1073778376 140734336066320 18446744073709551615 208092048281 0 4 0 16800975 18446604471135179008 0 0 -1 7 0 0 0
[pid=18777/tid=18781] ppid=18775 vsize=15680052 CPUtime=0 cores=1,3,5,7
/proc/18777/task/18781/stat : 18781 (java) S 18775 18777 18346 0 -1 4202560 1563 0 0 0 0 0 0 0 15 0 18 0 522259953 16056373248 138400 33554432000 1073741824 1073778376 140734336066320 18446744073709551615 208092048281 0 4 0 16800975 18446604471135179008 0 0 -1 7 0 0 0
[pid=18777/tid=18782] ppid=18775 vsize=15680052 CPUtime=0 cores=1,3,5,7
/proc/18777/task/18782/stat : 18782 (java) S 18775 18777 18346 0 -1 4202560 661 0 0 0 0 0 0 0 15 0 18 0 522259953 16056373248 138400 33554432000 1073741824 1073778376 140734336066320 18446744073709551615 208092048281 0 4 0 16800975 18446604471135179008 0 0 -1 1 0 0 0
[pid=18777/tid=18783] ppid=18775 vsize=15680052 CPUtime=0 cores=1,3,5,7
/proc/18777/task/18783/stat : 18783 (java) S 18775 18777 18346 0 -1 4202560 2576 0 0 0 0 0 0 0 15 0 18 0 522259953 16056373248 138400 33554432000 1073741824 1073778376 140734336066320 18446744073709551615 208092048281 0 4 0 16800975 18446604471135179008 0 0 -1 3 0 0 0
[pid=18777/tid=18784] ppid=18775 vsize=15680052 CPUtime=0 cores=1,3,5,7
/proc/18777/task/18784/stat : 18784 (java) S 18775 18777 18346 0 -1 4202560 949 0 0 0 0 0 0 0 15 0 18 0 522259953 16056373248 138400 33554432000 1073741824 1073778376 140734336066320 18446744073709551615 208092048281 0 4 0 16800975 18446604471135179008 0 0 -1 5 0 0 0
[pid=18777/tid=18785] ppid=18775 vsize=15680052 CPUtime=0 cores=1,3,5,7
/proc/18777/task/18785/stat : 18785 (java) S 18775 18777 18346 0 -1 4202560 662 0 0 0 0 0 0 0 15 0 18 0 522259953 16056373248 138400 33554432000 1073741824 1073778376 140734336066320 18446744073709551615 208092048281 0 4 0 16800975 18446604471135179008 0 0 -1 5 0 0 0
[pid=18777/tid=18786] ppid=18775 vsize=15680052 CPUtime=0 cores=1,3,5,7
/proc/18777/task/18786/stat : 18786 (java) S 18775 18777 18346 0 -1 4202560 572 0 0 0 0 0 0 0 15 0 18 0 522259953 16056373248 138400 33554432000 1073741824 1073778376 140734336066320 18446744073709551615 208092048281 0 4 0 16800975 18446604471135179008 0 0 -1 1 0 0 0
[pid=18777/tid=18787] ppid=18775 vsize=15680052 CPUtime=0 cores=1,3,5,7
/proc/18777/task/18787/stat : 18787 (java) S 18775 18777 18346 0 -1 4202560 335 0 0 0 0 0 0 0 15 0 18 0 522259953 16056373248 138400 33554432000 1073741824 1073778376 140734336066320 18446744073709551615 208092048281 0 4 0 16800975 18446604471135179008 0 0 -1 1 0 0 0
[pid=18777/tid=18788] ppid=18775 vsize=15680052 CPUtime=0 cores=1,3,5,7
/proc/18777/task/18788/stat : 18788 (java) S 18775 18777 18346 0 -1 4202560 198 0 0 0 0 0 0 0 15 0 18 0 522259954 16056373248 138400 33554432000 1073741824 1073778376 140734336066320 18446744073709551615 208092048896 0 0 0 16800975 18446604471135179008 0 0 -1 5 0 0 0
[pid=18777/tid=18789] ppid=18775 vsize=15680052 CPUtime=0 cores=1,3,5,7
/proc/18777/task/18789/stat : 18789 (java) S 18775 18777 18346 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 18 0 522259954 16056373248 138400 33554432000 1073741824 1073778376 140734336066320 18446744073709551615 208092048281 0 4 0 16800975 18446604471135179008 0 0 -1 5 0 0 0
[pid=18777/tid=18790] ppid=18775 vsize=15680052 CPUtime=0 cores=1,3,5,7
/proc/18777/task/18790/stat : 18790 (java) S 18775 18777 18346 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 18 0 522259954 16056373248 138400 33554432000 1073741824 1073778376 140734336066320 18446744073709551615 208092048281 0 4 0 16800975 18446604471135179008 0 0 -1 5 0 0 0
[pid=18777/tid=18791] ppid=18775 vsize=15680052 CPUtime=0 cores=1,3,5,7
/proc/18777/task/18791/stat : 18791 (java) S 18775 18777 18346 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 522259956 16056373248 138400 33554432000 1073741824 1073778376 140734336066320 18446744073709551615 208092055985 0 4 0 16800975 18446604471135179008 0 0 -1 5 0 0 0
[pid=18777/tid=18792] ppid=18775 vsize=15680052 CPUtime=0.12 cores=1,3,5,7
/proc/18777/task/18792/stat : 18792 (java) S 18775 18777 18346 0 -1 4202560 1169 0 0 0 12 0 0 0 16 0 18 0 522259956 16056373248 138400 33554432000 1073741824 1073778376 140734336066320 18446744073709551615 208092048281 0 4 0 16800975 18446604471135179008 0 0 -1 7 0 0 0
[pid=18777/tid=18793] ppid=18775 vsize=15680052 CPUtime=0.14 cores=1,3,5,7
/proc/18777/task/18793/stat : 18793 (java) S 18775 18777 18346 0 -1 4202560 2559 0 0 0 14 0 0 0 15 0 18 0 522259956 16056373248 138400 33554432000 1073741824 1073778376 140734336066320 18446744073709551615 208092048281 0 4 0 16800975 18446604471135179008 0 0 -1 3 0 0 0
[pid=18777/tid=18794] ppid=18775 vsize=15680052 CPUtime=0 cores=1,3,5,7
/proc/18777/task/18794/stat : 18794 (java) S 18775 18777 18346 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 522259956 16056373248 138400 33554432000 1073741824 1073778376 140734336066320 18446744073709551615 208092048281 0 4 0 16800975 18446604471135179008 0 0 -1 5 0 0 0
[pid=18777/tid=18795] ppid=18775 vsize=15680052 CPUtime=0 cores=1,3,5,7
/proc/18777/task/18795/stat : 18795 (java) S 18775 18777 18346 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 522259956 16056373248 138400 33554432000 1073741824 1073778376 140734336066320 18446744073709551615 208092048896 0 4 0 16800975 18446604471135179008 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.41
Current children cumulated vsize (KiB) 15680052
[startup+6.30085 s]
/proc/loadavg: 3.37 4.87 6.50 4/216 18795
/proc/meminfo: memFree=24388808/32950928 swapFree=67111364/67111528
[pid=18777] ppid=18775 vsize=15679000 CPUtime=6.69 cores=1,3,5,7
/proc/18777/stat : 18777 (java) S 18775 18777 18346 0 -1 4202496 155556 0 1 0 649 20 0 0 22 0 18 0 522259952 16055296000 148590 33554432000 1073741824 1073778376 140734336066320 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/18777/statm: 3919750 148590 2241 9 0 3910469 0
[pid=18777/tid=18778] ppid=18775 vsize=15679000 CPUtime=6.23 cores=1,3,5,7
/proc/18777/task/18778/stat : 18778 (java) R 18775 18777 18346 0 -1 4202560 127040 0 1 0 608 15 0 0 25 0 18 0 522259952 16055296000 148590 33554432000 1073741824 1073778376 140734336066320 18446744073709551615 46912505560472 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=18777/tid=18780] ppid=18775 vsize=15679000 CPUtime=0.01 cores=1,3,5,7
/proc/18777/task/18780/stat : 18780 (java) S 18775 18777 18346 0 -1 4202560 272 0 0 0 1 0 0 0 15 0 18 0 522259953 16055296000 148590 33554432000 1073741824 1073778376 140734336066320 18446744073709551615 208092048281 0 4 0 16800975 18446604471135179008 0 0 -1 5 0 0 0
[pid=18777/tid=18781] ppid=18775 vsize=15679000 CPUtime=0.01 cores=1,3,5,7
/proc/18777/task/18781/stat : 18781 (java) S 18775 18777 18346 0 -1 4202560 1563 0 0 0 1 0 0 0 15 0 18 0 522259953 16055296000 148590 33554432000 1073741824 1073778376 140734336066320 18446744073709551615 208092048281 0 4 0 16800975 18446604471135179008 0 0 -1 7 0 0 0
[pid=18777/tid=18782] ppid=18775 vsize=15679000 CPUtime=0.01 cores=1,3,5,7
/proc/18777/task/18782/stat : 18782 (java) S 18775 18777 18346 0 -1 4202560 661 0 0 0 1 0 0 0 15 0 18 0 522259953 16055296000 148590 33554432000 1073741824 1073778376 140734336066320 18446744073709551615 208092048281 0 4 0 16800975 18446604471135179008 0 0 -1 1 0 0 0
[pid=18777/tid=18783] ppid=18775 vsize=15679000 CPUtime=0 cores=1,3,5,7
/proc/18777/task/18783/stat : 18783 (java) S 18775 18777 18346 0 -1 4202560 2577 0 0 0 0 0 0 0 15 0 18 0 522259953 16055296000 148590 33554432000 1073741824 1073778376 140734336066320 18446744073709551615 208092048281 0 4 0 16800975 18446604471135179008 0 0 -1 7 0 0 0
[pid=18777/tid=18784] ppid=18775 vsize=15679000 CPUtime=0.01 cores=1,3,5,7
/proc/18777/task/18784/stat : 18784 (java) S 18775 18777 18346 0 -1 4202560 949 0 0 0 1 0 0 0 15 0 18 0 522259953 16055296000 148590 33554432000 1073741824 1073778376 140734336066320 18446744073709551615 208092048281 0 4 0 16800975 18446604471135179008 0 0 -1 5 0 0 0
[pid=18777/tid=18785] ppid=18775 vsize=15679000 CPUtime=0.02 cores=1,3,5,7
/proc/18777/task/18785/stat : 18785 (java) S 18775 18777 18346 0 -1 4202560 663 0 0 0 2 0 0 0 15 0 18 0 522259953 16055296000 148590 33554432000 1073741824 1073778376 140734336066320 18446744073709551615 208092048281 0 4 0 16800975 18446604471135179008 0 0 -1 7 0 0 0
[pid=18777/tid=18786] ppid=18775 vsize=15679000 CPUtime=0.01 cores=1,3,5,7
/proc/18777/task/18786/stat : 18786 (java) S 18775 18777 18346 0 -1 4202560 572 0 0 0 1 0 0 0 15 0 18 0 522259953 16055296000 148590 33554432000 1073741824 1073778376 140734336066320 18446744073709551615 208092048281 0 4 0 16800975 18446604471135179008 0 0 -1 1 0 0 0
[pid=18777/tid=18787] ppid=18775 vsize=15679000 CPUtime=0.03 cores=1,3,5,7
/proc/18777/task/18787/stat : 18787 (java) S 18775 18777 18346 0 -1 4202560 15697 0 0 0 1 2 0 0 15 0 18 0 522259953 16055296000 148590 33554432000 1073741824 1073778376 140734336066320 18446744073709551615 208092048281 0 4 0 16800975 18446604471135179008 0 0 -1 3 0 0 0
[pid=18777/tid=18788] ppid=18775 vsize=15679000 CPUtime=0 cores=1,3,5,7
/proc/18777/task/18788/stat : 18788 (java) S 18775 18777 18346 0 -1 4202560 448 0 0 0 0 0 0 0 15 0 18 0 522259954 16055296000 148590 33554432000 1073741824 1073778376 140734336066320 18446744073709551615 208092048896 0 0 0 16800975 18446604471135179008 0 0 -1 1 0 0 0
[pid=18777/tid=18789] ppid=18775 vsize=15679000 CPUtime=0 cores=1,3,5,7
/proc/18777/task/18789/stat : 18789 (java) S 18775 18777 18346 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 18 0 522259954 16055296000 148590 33554432000 1073741824 1073778376 140734336066320 18446744073709551615 208092048281 0 4 0 16800975 18446604471135179008 0 0 -1 5 0 0 0
[pid=18777/tid=18790] ppid=18775 vsize=15679000 CPUtime=0 cores=1,3,5,7
/proc/18777/task/18790/stat : 18790 (java) S 18775 18777 18346 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 18 0 522259954 16055296000 148590 33554432000 1073741824 1073778376 140734336066320 18446744073709551615 208092048281 0 4 0 16800975 18446604471135179008 0 0 -1 5 0 0 0
[pid=18777/tid=18791] ppid=18775 vsize=15679000 CPUtime=0 cores=1,3,5,7
/proc/18777/task/18791/stat : 18791 (java) S 18775 18777 18346 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 522259956 16055296000 148590 33554432000 1073741824 1073778376 140734336066320 18446744073709551615 208092055985 0 4 0 16800975 18446604471135179008 0 0 -1 5 0 0 0
[pid=18777/tid=18792] ppid=18775 vsize=15679000 CPUtime=0.12 cores=1,3,5,7
/proc/18777/task/18792/stat : 18792 (java) S 18775 18777 18346 0 -1 4202560 1169 0 0 0 12 0 0 0 16 0 18 0 522259956 16055296000 148590 33554432000 1073741824 1073778376 140734336066320 18446744073709551615 208092048281 0 4 0 16800975 18446604471135179008 0 0 -1 7 0 0 0
[pid=18777/tid=18793] ppid=18775 vsize=15679000 CPUtime=0.14 cores=1,3,5,7
/proc/18777/task/18793/stat : 18793 (java) S 18775 18777 18346 0 -1 4202560 2559 0 0 0 14 0 0 0 15 0 18 0 522259956 16055296000 148590 33554432000 1073741824 1073778376 140734336066320 18446744073709551615 208092048281 0 4 0 16800975 18446604471135179008 0 0 -1 3 0 0 0
[pid=18777/tid=18794] ppid=18775 vsize=15679000 CPUtime=0 cores=1,3,5,7
/proc/18777/task/18794/stat : 18794 (java) S 18775 18777 18346 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 522259956 16055296000 148590 33554432000 1073741824 1073778376 140734336066320 18446744073709551615 208092048281 0 4 0 16800975 18446604471135179008 0 0 -1 5 0 0 0
[pid=18777/tid=18795] ppid=18775 vsize=15679000 CPUtime=0 cores=1,3,5,7
/proc/18777/task/18795/stat : 18795 (java) S 18775 18777 18346 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 522259956 16055296000 148590 33554432000 1073741824 1073778376 140734336066320 18446744073709551615 208092048896 0 4 0 16800975 18446604471135179008 0 0 -1 3 0 0 0
################
# More data... #
################
/proc/18777/statm: 3939561 3808515 2296 9 0 3930280 0
[pid=18777/tid=18778] ppid=18775 vsize=15758244 CPUtime=67.15 cores=1,3,5,7
/proc/18777/task/18778/stat : 18778 (java) S 18775 18777 18346 0 -1 4202560 185357 0 1 0 6689 26 0 0 25 0 20 0 522259952 16136441856 3808515 33554432000 1073741824 1073778376 140734336066320 18446744073709551615 208092048281 0 4 0 16800975 18446604471135179008 0 0 -1 5 0 0 0
[pid=18777/tid=18780] ppid=18775 vsize=15758244 CPUtime=9.35 cores=1,3,5,7
/proc/18777/task/18780/stat : 18780 (java) S 18775 18777 18346 0 -1 4202560 360306 0 0 0 873 62 0 0 16 0 20 0 522259953 16136441856 3808515 33554432000 1073741824 1073778376 140734336066320 18446744073709551615 208092048281 0 4 0 16800975 18446604471135179008 0 0 -1 3 0 0 0
[pid=18777/tid=18781] ppid=18775 vsize=15758244 CPUtime=10.79 cores=1,3,5,7
/proc/18777/task/18781/stat : 18781 (java) S 18775 18777 18346 0 -1 4202560 544165 0 0 0 992 87 0 0 16 0 20 0 522259953 16136441856 3808515 33554432000 1073741824 1073778376 140734336066320 18446744073709551615 208092048281 0 4 0 16800975 18446604471135179008 0 0 -1 1 0 0 0
[pid=18777/tid=18782] ppid=18775 vsize=15758244 CPUtime=9.96 cores=1,3,5,7
/proc/18777/task/18782/stat : 18782 (java) S 18775 18777 18346 0 -1 4202560 444385 0 0 0 922 74 0 0 16 0 20 0 522259953 16136441856 3808515 33554432000 1073741824 1073778376 140734336066320 18446744073709551615 208092048281 0 4 0 16800975 18446604471135179008 0 0 -1 3 0 0 0
[pid=18777/tid=18783] ppid=18775 vsize=15758244 CPUtime=10.57 cores=1,3,5,7
/proc/18777/task/18783/stat : 18783 (java) S 18775 18777 18346 0 -1 4202560 488952 0 0 0 976 81 0 0 16 0 20 0 522259953 16136441856 3808515 33554432000 1073741824 1073778376 140734336066320 18446744073709551615 208092048281 0 4 0 16800975 18446604471135179008 0 0 -1 7 0 0 0
[pid=18777/tid=18784] ppid=18775 vsize=15758244 CPUtime=10.22 cores=1,3,5,7
/proc/18777/task/18784/stat : 18784 (java) S 18775 18777 18346 0 -1 4202560 340974 0 0 0 962 60 0 0 16 0 20 0 522259953 16136441856 3808515 33554432000 1073741824 1073778376 140734336066320 18446744073709551615 208092048281 0 4 0 16800975 18446604471135179008 0 0 -1 7 0 0 0
[pid=18777/tid=18785] ppid=18775 vsize=15758244 CPUtime=9.89 cores=1,3,5,7
/proc/18777/task/18785/stat : 18785 (java) S 18775 18777 18346 0 -1 4202560 493938 0 0 0 907 82 0 0 15 0 20 0 522259953 16136441856 3808515 33554432000 1073741824 1073778376 140734336066320 18446744073709551615 208092048281 0 4 0 16800975 18446604471135179008 0 0 -1 7 0 0 0
[pid=18777/tid=18786] ppid=18775 vsize=15758244 CPUtime=11.02 cores=1,3,5,7
/proc/18777/task/18786/stat : 18786 (java) S 18775 18777 18346 0 -1 4202560 409924 0 0 0 1036 66 0 0 16 0 20 0 522259953 16136441856 3808515 33554432000 1073741824 1073778376 140734336066320 18446744073709551615 208092048281 0 4 0 16800975 18446604471135179008 0 0 -1 7 0 0 0
[pid=18777/tid=18787] ppid=18775 vsize=15758244 CPUtime=9.57 cores=1,3,5,7
/proc/18777/task/18787/stat : 18787 (java) S 18775 18777 18346 0 -1 4202560 470857 0 0 0 888 69 0 0 16 0 20 0 522259953 16136441856 3808515 33554432000 1073741824 1073778376 140734336066320 18446744073709551615 208092048281 0 4 0 16800975 18446604471135179008 0 0 -1 1 0 0 0
[pid=18777/tid=18788] ppid=18775 vsize=15758244 CPUtime=558.03 cores=1,3,5,7
/proc/18777/task/18788/stat : 18788 (java) R 18775 18777 18346 0 -1 4202560 477614 0 0 0 55709 94 0 0 25 0 20 0 522259954 16136441856 3808515 33554432000 1073741824 1073778376 140734336066320 18446744073709551615 47650822132028 0 0 0 16800975 0 0 0 -1 1 0 0 0
[pid=18777/tid=18789] ppid=18775 vsize=15758244 CPUtime=0 cores=1,3,5,7
/proc/18777/task/18789/stat : 18789 (java) S 18775 18777 18346 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 20 0 522259954 16136441856 3808515 33554432000 1073741824 1073778376 140734336066320 18446744073709551615 208092048281 0 4 0 16800975 18446604471135179008 0 0 -1 7 0 0 0
[pid=18777/tid=18790] ppid=18775 vsize=15758244 CPUtime=0 cores=1,3,5,7
/proc/18777/task/18790/stat : 18790 (java) S 18775 18777 18346 0 -1 4202560 9 0 0 0 0 0 0 0 17 0 20 0 522259954 16136441856 3808515 33554432000 1073741824 1073778376 140734336066320 18446744073709551615 208092048281 0 4 0 16800975 18446604471135179008 0 0 -1 7 0 0 0
[pid=18777/tid=18791] ppid=18775 vsize=15758244 CPUtime=0 cores=1,3,5,7
/proc/18777/task/18791/stat : 18791 (java) S 18775 18777 18346 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 522259956 16136441856 3808515 33554432000 1073741824 1073778376 140734336066320 18446744073709551615 208092055985 0 4 0 16800975 18446604471135179008 0 0 -1 5 0 0 0
[pid=18777/tid=18792] ppid=18775 vsize=15758244 CPUtime=1.68 cores=1,3,5,7
/proc/18777/task/18792/stat : 18792 (java) S 18775 18777 18346 0 -1 4202560 13612 0 0 0 167 1 0 0 15 0 20 0 522259956 16136441856 3808515 33554432000 1073741824 1073778376 140734336066320 18446744073709551615 208092048281 0 4 0 16800975 18446604471135179008 0 0 -1 1 0 0 0
[pid=18777/tid=18793] ppid=18775 vsize=15758244 CPUtime=0.87 cores=1,3,5,7
/proc/18777/task/18793/stat : 18793 (java) S 18775 18777 18346 0 -1 4202560 6187 0 0 0 86 1 0 0 15 0 20 0 522259956 16136441856 3808515 33554432000 1073741824 1073778376 140734336066320 18446744073709551615 208092048281 0 4 0 16800975 18446604471135179008 0 0 -1 3 0 0 0
[pid=18777/tid=18794] ppid=18775 vsize=15758244 CPUtime=0 cores=1,3,5,7
/proc/18777/task/18794/stat : 18794 (java) S 18775 18777 18346 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 522259956 16136441856 3808515 33554432000 1073741824 1073778376 140734336066320 18446744073709551615 208092048281 0 4 0 16800975 18446604471135179008 0 0 -1 5 0 0 0
[pid=18777/tid=18795] ppid=18775 vsize=15758244 CPUtime=0 cores=1,3,5,7
/proc/18777/task/18795/stat : 18795 (java) S 18775 18777 18346 0 -1 4202560 70 0 0 0 0 0 0 0 15 0 20 0 522259956 16136441856 3808515 33554432000 1073741824 1073778376 140734336066320 18446744073709551615 208092048896 0 4 0 16800975 18446604471135179008 0 0 -1 3 0 0 0
[pid=18777/tid=18797] ppid=18775 vsize=15758244 CPUtime=438.85 cores=1,3,5,7
/proc/18777/task/18797/stat : 18797 (java) S 18775 18777 18346 0 -1 4202560 658 0 0 0 43884 1 0 0 15 0 20 0 522261475 16136441856 3808515 33554432000 1073741824 1073778376 140734336066320 18446744073709551615 208092048281 0 4 0 16800975 18446604471135179008 0 0 -1 5 0 0 0
[pid=18777/tid=18798] ppid=18775 vsize=15758244 CPUtime=489.55 cores=1,3,5,7
/proc/18777/task/18798/stat : 18798 (java) S 18775 18777 18346 0 -1 4202560 897 0 0 0 48954 1 0 0 15 0 20 0 522261475 16136441856 3808515 33554432000 1073741824 1073778376 140734336066320 18446744073709551615 208092048281 0 4 0 16800975 18446604471135179008 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2514.63
Current children cumulated vsize (KiB) 15758244
[startup+1242.3 s]
/proc/loadavg: 4.03 5.10 5.93 3/218 18895
/proc/meminfo: memFree=11350756/32950928 swapFree=67111356/67111528
[pid=18777] ppid=18775 vsize=15758244 CPUtime=2574.64 cores=1,3,5,7
/proc/18777/stat : 18777 (java) S 18775 18777 18346 0 -1 4202496 4243782 0 1 0 256747 717 0 0 22 0 20 0 522259952 16136441856 3808515 33554432000 1073741824 1073778376 140734336066320 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/18777/statm: 3939561 3808515 2296 9 0 3930280 0
[pid=18777/tid=18778] ppid=18775 vsize=15758244 CPUtime=67.15 cores=1,3,5,7
/proc/18777/task/18778/stat : 18778 (java) S 18775 18777 18346 0 -1 4202560 185357 0 1 0 6689 26 0 0 25 0 20 0 522259952 16136441856 3808515 33554432000 1073741824 1073778376 140734336066320 18446744073709551615 208092048281 0 4 0 16800975 18446604471135179008 0 0 -1 5 0 0 0
[pid=18777/tid=18780] ppid=18775 vsize=15758244 CPUtime=9.35 cores=1,3,5,7
/proc/18777/task/18780/stat : 18780 (java) S 18775 18777 18346 0 -1 4202560 360306 0 0 0 873 62 0 0 16 0 20 0 522259953 16136441856 3808515 33554432000 1073741824 1073778376 140734336066320 18446744073709551615 208092048281 0 4 0 16800975 18446604471135179008 0 0 -1 3 0 0 0
[pid=18777/tid=18781] ppid=18775 vsize=15758244 CPUtime=10.79 cores=1,3,5,7
/proc/18777/task/18781/stat : 18781 (java) S 18775 18777 18346 0 -1 4202560 544165 0 0 0 992 87 0 0 16 0 20 0 522259953 16136441856 3808515 33554432000 1073741824 1073778376 140734336066320 18446744073709551615 208092048281 0 4 0 16800975 18446604471135179008 0 0 -1 1 0 0 0
[pid=18777/tid=18782] ppid=18775 vsize=15758244 CPUtime=9.96 cores=1,3,5,7
/proc/18777/task/18782/stat : 18782 (java) S 18775 18777 18346 0 -1 4202560 444385 0 0 0 922 74 0 0 16 0 20 0 522259953 16136441856 3808515 33554432000 1073741824 1073778376 140734336066320 18446744073709551615 208092048281 0 4 0 16800975 18446604471135179008 0 0 -1 3 0 0 0
[pid=18777/tid=18783] ppid=18775 vsize=15758244 CPUtime=10.57 cores=1,3,5,7
/proc/18777/task/18783/stat : 18783 (java) S 18775 18777 18346 0 -1 4202560 488952 0 0 0 976 81 0 0 16 0 20 0 522259953 16136441856 3808515 33554432000 1073741824 1073778376 140734336066320 18446744073709551615 208092048281 0 4 0 16800975 18446604471135179008 0 0 -1 7 0 0 0
[pid=18777/tid=18784] ppid=18775 vsize=15758244 CPUtime=10.22 cores=1,3,5,7
/proc/18777/task/18784/stat : 18784 (java) S 18775 18777 18346 0 -1 4202560 340974 0 0 0 962 60 0 0 16 0 20 0 522259953 16136441856 3808515 33554432000 1073741824 1073778376 140734336066320 18446744073709551615 208092048281 0 4 0 16800975 18446604471135179008 0 0 -1 7 0 0 0
[pid=18777/tid=18785] ppid=18775 vsize=15758244 CPUtime=9.89 cores=1,3,5,7
/proc/18777/task/18785/stat : 18785 (java) S 18775 18777 18346 0 -1 4202560 493938 0 0 0 907 82 0 0 15 0 20 0 522259953 16136441856 3808515 33554432000 1073741824 1073778376 140734336066320 18446744073709551615 208092048281 0 4 0 16800975 18446604471135179008 0 0 -1 7 0 0 0
[pid=18777/tid=18786] ppid=18775 vsize=15758244 CPUtime=11.02 cores=1,3,5,7
/proc/18777/task/18786/stat : 18786 (java) S 18775 18777 18346 0 -1 4202560 409924 0 0 0 1036 66 0 0 16 0 20 0 522259953 16136441856 3808515 33554432000 1073741824 1073778376 140734336066320 18446744073709551615 208092048281 0 4 0 16800975 18446604471135179008 0 0 -1 7 0 0 0
[pid=18777/tid=18787] ppid=18775 vsize=15758244 CPUtime=9.57 cores=1,3,5,7
/proc/18777/task/18787/stat : 18787 (java) S 18775 18777 18346 0 -1 4202560 470857 0 0 0 888 69 0 0 16 0 20 0 522259953 16136441856 3808515 33554432000 1073741824 1073778376 140734336066320 18446744073709551615 208092048281 0 4 0 16800975 18446604471135179008 0 0 -1 1 0 0 0
[pid=18777/tid=18788] ppid=18775 vsize=15758244 CPUtime=618.02 cores=1,3,5,7
/proc/18777/task/18788/stat : 18788 (java) R 18775 18777 18346 0 -1 4202560 477618 0 0 0 61708 94 0 0 25 0 20 0 522259954 16136441856 3808515 33554432000 1073741824 1073778376 140734336066320 18446744073709551615 208079929978 0 0 0 16800975 0 0 0 -1 3 0 0 0
[pid=18777/tid=18789] ppid=18775 vsize=15758244 CPUtime=0 cores=1,3,5,7
/proc/18777/task/18789/stat : 18789 (java) S 18775 18777 18346 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 20 0 522259954 16136441856 3808515 33554432000 1073741824 1073778376 140734336066320 18446744073709551615 208092048281 0 4 0 16800975 18446604471135179008 0 0 -1 7 0 0 0
[pid=18777/tid=18790] ppid=18775 vsize=15758244 CPUtime=0 cores=1,3,5,7
/proc/18777/task/18790/stat : 18790 (java) S 18775 18777 18346 0 -1 4202560 9 0 0 0 0 0 0 0 17 0 20 0 522259954 16136441856 3808515 33554432000 1073741824 1073778376 140734336066320 18446744073709551615 208092048281 0 4 0 16800975 18446604471135179008 0 0 -1 7 0 0 0
[pid=18777/tid=18791] ppid=18775 vsize=15758244 CPUtime=0 cores=1,3,5,7
/proc/18777/task/18791/stat : 18791 (java) S 18775 18777 18346 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 522259956 16136441856 3808515 33554432000 1073741824 1073778376 140734336066320 18446744073709551615 208092055985 0 4 0 16800975 18446604471135179008 0 0 -1 5 0 0 0
[pid=18777/tid=18792] ppid=18775 vsize=15758244 CPUtime=1.68 cores=1,3,5,7
/proc/18777/task/18792/stat : 18792 (java) S 18775 18777 18346 0 -1 4202560 13612 0 0 0 167 1 0 0 15 0 20 0 522259956 16136441856 3808515 33554432000 1073741824 1073778376 140734336066320 18446744073709551615 208092048281 0 4 0 16800975 18446604471135179008 0 0 -1 1 0 0 0
[pid=18777/tid=18793] ppid=18775 vsize=15758244 CPUtime=0.87 cores=1,3,5,7
/proc/18777/task/18793/stat : 18793 (java) S 18775 18777 18346 0 -1 4202560 6187 0 0 0 86 1 0 0 15 0 20 0 522259956 16136441856 3808515 33554432000 1073741824 1073778376 140734336066320 18446744073709551615 208092048281 0 4 0 16800975 18446604471135179008 0 0 -1 3 0 0 0
[pid=18777/tid=18794] ppid=18775 vsize=15758244 CPUtime=0 cores=1,3,5,7
/proc/18777/task/18794/stat : 18794 (java) S 18775 18777 18346 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 522259956 16136441856 3808515 33554432000 1073741824 1073778376 140734336066320 18446744073709551615 208092048281 0 4 0 16800975 18446604471135179008 0 0 -1 5 0 0 0
[pid=18777/tid=18795] ppid=18775 vsize=15758244 CPUtime=0 cores=1,3,5,7
/proc/18777/task/18795/stat : 18795 (java) S 18775 18777 18346 0 -1 4202560 74 0 0 0 0 0 0 0 15 0 20 0 522259956 16136441856 3808515 33554432000 1073741824 1073778376 140734336066320 18446744073709551615 208092048896 0 4 0 16800975 18446604471135179008 0 0 -1 3 0 0 0
[pid=18777/tid=18797] ppid=18775 vsize=15758244 CPUtime=438.86 cores=1,3,5,7
/proc/18777/task/18797/stat : 18797 (java) S 18775 18777 18346 0 -1 4202560 732 0 0 0 43885 1 0 0 15 0 20 0 522261475 16136441856 3808515 33554432000 1073741824 1073778376 140734336066320 18446744073709551615 208092048281 0 4 0 16800975 18446604471135179008 0 0 -1 1 0 0 0
[pid=18777/tid=18798] ppid=18775 vsize=15758244 CPUtime=489.57 cores=1,3,5,7
/proc/18777/task/18798/stat : 18798 (java) S 18775 18777 18346 0 -1 4202560 1018 0 0 0 48955 2 0 0 15 0 20 0 522261475 16136441856 3808515 33554432000 1073741824 1073778376 140734336066320 18446744073709551615 208092048281 0 4 0 16800975 18446604471135179008 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2574.64
Current children cumulated vsize (KiB) 15758244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 2.74 4.53 5.68 3/218 18896
/proc/meminfo: memFree=11268000/32950928 swapFree=67111356/67111528
[pid=18777] ppid=18775 vsize=15758244 CPUtime=2632.35 cores=1,3,5,7
/proc/18777/stat : 18777 (java) S 18775 18777 18346 0 -1 4202496 4243977 0 1 0 262517 718 0 0 22 0 20 0 522259952 16136441856 3808515 33554432000 1073741824 1073778376 140734336066320 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/18777/statm: 3939561 3808515 2296 9 0 3930280 0
[pid=18777/tid=18778] ppid=18775 vsize=15758244 CPUtime=67.15 cores=1,3,5,7
/proc/18777/task/18778/stat : 18778 (java) S 18775 18777 18346 0 -1 4202560 185357 0 1 0 6689 26 0 0 25 0 20 0 522259952 16136441856 3808515 33554432000 1073741824 1073778376 140734336066320 18446744073709551615 208092048281 0 4 0 16800975 18446604471135179008 0 0 -1 5 0 0 0
[pid=18777/tid=18780] ppid=18775 vsize=15758244 CPUtime=9.35 cores=1,3,5,7
/proc/18777/task/18780/stat : 18780 (java) S 18775 18777 18346 0 -1 4202560 360306 0 0 0 873 62 0 0 16 0 20 0 522259953 16136441856 3808515 33554432000 1073741824 1073778376 140734336066320 18446744073709551615 208092048281 0 4 0 16800975 18446604471135179008 0 0 -1 3 0 0 0
[pid=18777/tid=18781] ppid=18775 vsize=15758244 CPUtime=10.79 cores=1,3,5,7
/proc/18777/task/18781/stat : 18781 (java) S 18775 18777 18346 0 -1 4202560 544165 0 0 0 992 87 0 0 16 0 20 0 522259953 16136441856 3808515 33554432000 1073741824 1073778376 140734336066320 18446744073709551615 208092048281 0 4 0 16800975 18446604471135179008 0 0 -1 1 0 0 0
[pid=18777/tid=18782] ppid=18775 vsize=15758244 CPUtime=9.96 cores=1,3,5,7
/proc/18777/task/18782/stat : 18782 (java) S 18775 18777 18346 0 -1 4202560 444385 0 0 0 922 74 0 0 16 0 20 0 522259953 16136441856 3808515 33554432000 1073741824 1073778376 140734336066320 18446744073709551615 208092048281 0 4 0 16800975 18446604471135179008 0 0 -1 3 0 0 0
[pid=18777/tid=18783] ppid=18775 vsize=15758244 CPUtime=10.57 cores=1,3,5,7
/proc/18777/task/18783/stat : 18783 (java) S 18775 18777 18346 0 -1 4202560 488952 0 0 0 976 81 0 0 16 0 20 0 522259953 16136441856 3808515 33554432000 1073741824 1073778376 140734336066320 18446744073709551615 208092048281 0 4 0 16800975 18446604471135179008 0 0 -1 7 0 0 0
[pid=18777/tid=18784] ppid=18775 vsize=15758244 CPUtime=10.22 cores=1,3,5,7
/proc/18777/task/18784/stat : 18784 (java) S 18775 18777 18346 0 -1 4202560 340974 0 0 0 962 60 0 0 16 0 20 0 522259953 16136441856 3808515 33554432000 1073741824 1073778376 140734336066320 18446744073709551615 208092048281 0 4 0 16800975 18446604471135179008 0 0 -1 7 0 0 0
[pid=18777/tid=18785] ppid=18775 vsize=15758244 CPUtime=9.89 cores=1,3,5,7
/proc/18777/task/18785/stat : 18785 (java) S 18775 18777 18346 0 -1 4202560 493938 0 0 0 907 82 0 0 15 0 20 0 522259953 16136441856 3808515 33554432000 1073741824 1073778376 140734336066320 18446744073709551615 208092048281 0 4 0 16800975 18446604471135179008 0 0 -1 7 0 0 0
[pid=18777/tid=18786] ppid=18775 vsize=15758244 CPUtime=11.02 cores=1,3,5,7
/proc/18777/task/18786/stat : 18786 (java) S 18775 18777 18346 0 -1 4202560 409924 0 0 0 1036 66 0 0 16 0 20 0 522259953 16136441856 3808515 33554432000 1073741824 1073778376 140734336066320 18446744073709551615 208092048281 0 4 0 16800975 18446604471135179008 0 0 -1 7 0 0 0
[pid=18777/tid=18787] ppid=18775 vsize=15758244 CPUtime=9.57 cores=1,3,5,7
/proc/18777/task/18787/stat : 18787 (java) S 18775 18777 18346 0 -1 4202560 470857 0 0 0 888 69 0 0 16 0 20 0 522259953 16136441856 3808515 33554432000 1073741824 1073778376 140734336066320 18446744073709551615 208092048281 0 4 0 16800975 18446604471135179008 0 0 -1 1 0 0 0
[pid=18777/tid=18788] ppid=18775 vsize=15758244 CPUtime=675.7 cores=1,3,5,7
/proc/18777/task/18788/stat : 18788 (java) R 18775 18777 18346 0 -1 4202560 477622 0 0 0 67475 95 0 0 18 0 20 0 522259954 16136441856 3808515 33554432000 1073741824 1073778376 140734336066320 18446744073709551615 208079926345 0 0 0 16800975 0 0 0 -1 3 0 0 0
[pid=18777/tid=18789] ppid=18775 vsize=15758244 CPUtime=0 cores=1,3,5,7
/proc/18777/task/18789/stat : 18789 (java) S 18775 18777 18346 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 20 0 522259954 16136441856 3808515 33554432000 1073741824 1073778376 140734336066320 18446744073709551615 208092048281 0 4 0 16800975 18446604471135179008 0 0 -1 7 0 0 0
[pid=18777/tid=18790] ppid=18775 vsize=15758244 CPUtime=0 cores=1,3,5,7
/proc/18777/task/18790/stat : 18790 (java) S 18775 18777 18346 0 -1 4202560 9 0 0 0 0 0 0 0 17 0 20 0 522259954 16136441856 3808515 33554432000 1073741824 1073778376 140734336066320 18446744073709551615 208092048281 0 4 0 16800975 18446604471135179008 0 0 -1 7 0 0 0
[pid=18777/tid=18791] ppid=18775 vsize=15758244 CPUtime=0 cores=1,3,5,7
/proc/18777/task/18791/stat : 18791 (java) S 18775 18777 18346 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 522259956 16136441856 3808515 33554432000 1073741824 1073778376 140734336066320 18446744073709551615 208092055985 0 4 0 16800975 18446604471135179008 0 0 -1 5 0 0 0
[pid=18777/tid=18792] ppid=18775 vsize=15758244 CPUtime=1.68 cores=1,3,5,7
/proc/18777/task/18792/stat : 18792 (java) S 18775 18777 18346 0 -1 4202560 13612 0 0 0 167 1 0 0 15 0 20 0 522259956 16136441856 3808515 33554432000 1073741824 1073778376 140734336066320 18446744073709551615 208092048281 0 4 0 16800975 18446604471135179008 0 0 -1 1 0 0 0
[pid=18777/tid=18793] ppid=18775 vsize=15758244 CPUtime=0.87 cores=1,3,5,7
/proc/18777/task/18793/stat : 18793 (java) S 18775 18777 18346 0 -1 4202560 6187 0 0 0 86 1 0 0 15 0 20 0 522259956 16136441856 3808515 33554432000 1073741824 1073778376 140734336066320 18446744073709551615 208092048281 0 4 0 16800975 18446604471135179008 0 0 -1 3 0 0 0
[pid=18777/tid=18794] ppid=18775 vsize=15758244 CPUtime=0 cores=1,3,5,7
/proc/18777/task/18794/stat : 18794 (java) S 18775 18777 18346 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 522259956 16136441856 3808515 33554432000 1073741824 1073778376 140734336066320 18446744073709551615 208092048281 0 4 0 16800975 18446604471135179008 0 0 -1 5 0 0 0
[pid=18777/tid=18795] ppid=18775 vsize=15758244 CPUtime=0 cores=1,3,5,7
/proc/18777/task/18795/stat : 18795 (java) S 18775 18777 18346 0 -1 4202560 78 0 0 0 0 0 0 0 15 0 20 0 522259956 16136441856 3808515 33554432000 1073741824 1073778376 140734336066320 18446744073709551615 208092048896 0 4 0 16800975 18446604471135179008 0 0 -1 3 0 0 0
[pid=18777/tid=18797] ppid=18775 vsize=15758244 CPUtime=438.89 cores=1,3,5,7
/proc/18777/task/18797/stat : 18797 (java) S 18775 18777 18346 0 -1 4202560 788 0 0 0 43887 2 0 0 15 0 20 0 522261475 16136441856 3808515 33554432000 1073741824 1073778376 140734336066320 18446744073709551615 208092048281 0 4 0 16800975 18446604471135179008 0 0 -1 1 0 0 0
[pid=18777/tid=18798] ppid=18775 vsize=15758244 CPUtime=489.58 cores=1,3,5,7
/proc/18777/task/18798/stat : 18798 (java) S 18775 18777 18346 0 -1 4202560 1149 0 0 0 48956 2 0 0 15 0 20 0 522261475 16136441856 3808515 33554432000 1073741824 1073778376 140734336066320 18446744073709551615 208092048281 0 4 0 16800975 18446604471135179008 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2632.35
Current children cumulated vsize (KiB) 15758244
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -18777
[startup+1302.3 s]
/proc/loadavg: 2.74 4.53 5.68 4/219 18898
/proc/meminfo: memFree=11267744/32950928 swapFree=67111356/67111528
[pid=18777] ppid=18775 vsize=0 CPUtime=2634.65 cores=1,3,5,7
/proc/18777/stat : 18777 (java) Z 18775 18777 18346 0 -1 4203548 4243989 0 1 0 262718 747 0 0 18 0 2 0 522259952 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/18777/statm: 0 0 0 0 0 0 0
[pid=18777/tid=18789] ppid=18775 vsize=0 CPUtime=0.28 cores=1,3,5,7
/proc/18777/task/18789/stat : 18789 (java) R 18775 18777 18346 0 -1 4203588 17 0 0 0 0 28 0 0 18 0 2 0 522259954 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2634.65
Current children cumulated vsize (KiB) 0
Solver just ended. Dumping a history of the last processes samples
[startup+1302.5 s]
/proc/loadavg: 2.74 4.53 5.68 4/219 18898
/proc/meminfo: memFree=11267744/32950928 swapFree=67111356/67111528
[pid=18777] ppid=18775 vsize=0 CPUtime=2634.85 cores=1,3,5,7
/proc/18777/stat : 18777 (java) Z 18775 18777 18346 0 -1 4203548 4243989 0 1 0 262718 767 0 0 18 0 2 0 522259952 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/18777/statm: 0 0 0 0 0 0 0
[pid=18777/tid=18789] ppid=18775 vsize=0 CPUtime=0.48 cores=1,3,5,7
/proc/18777/task/18789/stat : 18789 (java) R 18775 18777 18346 0 -1 4203588 17 0 0 0 0 48 0 0 18 0 2 0 522259954 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2634.85
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1302.56
CPU time (s): 2634.92
CPU user time (s): 2627.19
CPU system time (s): 7.72982
CPU usage (%): 202.288
Max. virtual memory (cumulated for all children) (KiB): 15758244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2627.19
system time used= 7.72982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4243989
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= 49742
involuntary context switches= 65875
runsolver used 2.11768 second user time and 5.02124 second system time
The end