runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3742379-1338786600/watcher-3742379-1338786600 -o /tmp/evaluation-result-3742379-1338786600/solver-3742379-1338786600 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3742379-1338786600.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: 3.94 3.98 3.88 4/197 18785
/proc/meminfo: memFree=28681364/32873648 swapFree=7116/7116
[pid=18785] ppid=18783 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/18785/stat : 18785 (java6) D 18783 18785 17860 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 344785438 9515008 182 33554432000 1073741824 1073778376 140734737030832 140734737021864 214537420469 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/18785/statm: 2323 182 140 9 0 71 0
[startup+0.0891191 s]
/proc/loadavg: 3.94 3.98 3.88 4/197 18785
/proc/meminfo: memFree=28681364/32873648 swapFree=7116/7116
[pid=18785] ppid=18783 vsize=2699928 CPUtime=0.07 cores=1,3,5,7
/proc/18785/stat : 18785 (java) S 18783 18785 17860 0 -1 4202496 4144 0 1 0 6 1 0 0 20 0 18 0 344785438 2764726272 5864 33554432000 1073741824 1073778376 140733975387856 140733975378992 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18785/statm: 674982 5866 1934 9 0 665676 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2699928
[startup+0.100175 s]
/proc/loadavg: 3.94 3.98 3.88 4/197 18785
/proc/meminfo: memFree=28681364/32873648 swapFree=7116/7116
[pid=18785] ppid=18783 vsize=2699928 CPUtime=0.09 cores=1,3,5,7
/proc/18785/stat : 18785 (java) S 18783 18785 17860 0 -1 4202496 4744 0 1 0 8 1 0 0 20 0 18 0 344785438 2764726272 6447 33554432000 1073741824 1073778376 140733975387856 140733975378992 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18785/statm: 674982 6447 2109 9 0 665676 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2699928
[startup+0.300165 s]
/proc/loadavg: 3.94 3.98 3.88 4/197 18785
/proc/meminfo: memFree=28681364/32873648 swapFree=7116/7116
[pid=18785] ppid=18783 vsize=2699928 CPUtime=0.57 cores=1,3,5,7
/proc/18785/stat : 18785 (java) S 18783 18785 17860 0 -1 4202496 7888 0 1 0 55 2 0 0 20 0 18 0 344785438 2764726272 13167 33554432000 1073741824 1073778376 140733975387856 140733975378992 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18785/statm: 674982 13167 2218 9 0 665676 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 2699928
[startup+0.700168 s]
/proc/loadavg: 3.94 3.98 3.88 4/197 18785
/proc/meminfo: memFree=28681364/32873648 swapFree=7116/7116
[pid=18785] ppid=18783 vsize=2966184 CPUtime=1.53 cores=1,3,5,7
/proc/18785/stat : 18785 (java) S 18783 18785 17860 0 -1 4202496 13704 0 1 0 148 5 0 0 20 0 22 0 344785438 3037372416 43427 33554432000 1073741824 1073778376 140733975387856 140733975378992 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18785/statm: 741546 43427 2250 9 0 732240 0
Current children cumulated CPU time (s) 1.53
Current children cumulated vsize (KiB) 2966184
[startup+1.50071 s]
/proc/loadavg: 3.86 3.96 3.87 7/220 18810
/proc/meminfo: memFree=28495220/32873648 swapFree=7116/7116
[pid=18785] ppid=18783 vsize=2966184 CPUtime=4.36 cores=1,3,5,7
/proc/18785/stat : 18785 (java) S 18783 18785 17860 0 -1 4202496 22226 0 1 0 428 8 0 0 20 0 22 0 344785438 3037372416 77688 33554432000 1073741824 1073778376 140733975387856 140733975378992 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18785/statm: 741546 77688 2258 9 0 732240 0
[pid=18785/tid=18787] ppid=18783 vsize=2966184 CPUtime=0.58 cores=1,3,5,7
/proc/18785/task/18787/stat : 18787 (java) S 18783 18785 17860 0 -1 4202560 2861 0 1 0 54 4 0 0 20 0 22 0 344785439 3037372416 77688 33554432000 1073741824 1073778376 140733975387856 139929129022616 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18785/tid=18788] ppid=18783 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18785/task/18788/stat : 18788 (java) S 18783 18785 17860 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344785441 3037372416 77688 33554432000 1073741824 1073778376 140733975387856 139929113303976 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18785/tid=18789] ppid=18783 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18785/task/18789/stat : 18789 (java) S 18783 18785 17860 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344785441 3037372416 77688 33554432000 1073741824 1073778376 140733975387856 139929112251432 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18785/tid=18790] ppid=18783 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18785/task/18790/stat : 18790 (java) S 18783 18785 17860 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344785441 3037372416 77688 33554432000 1073741824 1073778376 140733975387856 139929111198376 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18785/tid=18791] ppid=18783 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18785/task/18791/stat : 18791 (java) S 18783 18785 17860 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344785441 3037372416 77688 33554432000 1073741824 1073778376 140733975387856 139929110145832 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18785/tid=18792] ppid=18783 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18785/task/18792/stat : 18792 (java) S 18783 18785 17860 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344785441 3037372416 77688 33554432000 1073741824 1073778376 140733975387856 139929109092776 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18785/tid=18793] ppid=18783 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18785/task/18793/stat : 18793 (java) S 18783 18785 17860 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344785441 3037372416 77688 33554432000 1073741824 1073778376 140733975387856 139929108040232 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18785/tid=18794] ppid=18783 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18785/task/18794/stat : 18794 (java) S 18783 18785 17860 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344785441 3037372416 77688 33554432000 1073741824 1073778376 140733975387856 139929106987176 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18785/tid=18795] ppid=18783 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18785/task/18795/stat : 18795 (java) S 18783 18785 17860 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 344785441 3037372416 77688 33554432000 1073741824 1073778376 140733975387856 139929105934632 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18785/tid=18796] ppid=18783 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18785/task/18796/stat : 18796 (java) S 18783 18785 17860 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 344785442 3037372416 77688 33554432000 1073741824 1073778376 140733975387856 139928975428456 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18785/tid=18797] ppid=18783 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18785/task/18797/stat : 18797 (java) S 18783 18785 17860 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 344785442 3037372416 77688 33554432000 1073741824 1073778376 140733975387856 139928974374776 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18785/tid=18798] ppid=18783 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18785/task/18798/stat : 18798 (java) S 18783 18785 17860 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344785442 3037372416 77688 33554432000 1073741824 1073778376 140733975387856 139928973321608 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18785/tid=18799] ppid=18783 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18785/task/18799/stat : 18799 (java) S 18783 18785 17860 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344785444 3037372416 77688 33554432000 1073741824 1073778376 140733975387856 139928972270352 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18785/tid=18800] ppid=18783 vsize=2966184 CPUtime=1.03 cores=1,3,5,7
/proc/18785/task/18800/stat : 18800 (java) S 18783 18785 17860 0 -1 4202560 9989 0 0 0 101 2 0 0 20 0 22 0 344785444 3037372416 77688 33554432000 1073741824 1073778376 140733975387856 139928971217208 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18785/tid=18801] ppid=18783 vsize=2966184 CPUtime=0.96 cores=1,3,5,7
/proc/18785/task/18801/stat : 18801 (java) S 18783 18785 17860 0 -1 4202560 8024 0 0 0 96 0 0 0 20 0 22 0 344785444 3037372416 77688 33554432000 1073741824 1073778376 140733975387856 139928970164664 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18785/tid=18802] ppid=18783 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18785/task/18802/stat : 18802 (java) S 18783 18785 17860 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344785444 3037372416 77688 33554432000 1073741824 1073778376 140733975387856 139928969111800 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18785/tid=18803] ppid=18783 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18785/task/18803/stat : 18803 (java) S 18783 18785 17860 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344785444 3037372416 77688 33554432000 1073741824 1073778376 140733975387856 139928968059464 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18785/tid=18804] ppid=18783 vsize=2966184 CPUtime=0.86 cores=1,3,5,7
/proc/18785/task/18804/stat : 18804 (java) R 18783 18785 17860 0 -1 4202560 27 0 0 0 86 0 0 0 20 0 22 0 344785500 3037372416 77688 33554432000 1073741824 1073778376 140733975387856 139928967003968 139928978353389 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18785/tid=18805] ppid=18783 vsize=2966184 CPUtime=0.86 cores=1,3,5,7
/proc/18785/task/18805/stat : 18805 (java) R 18783 18785 17860 0 -1 4202560 125 0 0 0 84 2 0 0 20 0 22 0 344785500 3037372416 77688 33554432000 1073741824 1073778376 140733975387856 139928965952280 139928978652201 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=18785/tid=18806] ppid=18783 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18785/task/18806/stat : 18806 (java) S 18783 18785 17860 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344785502 3037372416 77688 33554432000 1073741824 1073778376 140733975387856 139928964900136 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18785/tid=18807] ppid=18783 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18785/task/18807/stat : 18807 (java) S 18783 18785 17860 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344785502 3037372416 77688 33554432000 1073741824 1073778376 140733975387856 139928963847592 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.36
Current children cumulated vsize (KiB) 2966184
[startup+3.1008 s]
/proc/loadavg: 3.86 3.96 3.87 5/220 18810
/proc/meminfo: memFree=28270984/32873648 swapFree=7116/7116
[pid=18785] ppid=18783 vsize=2966184 CPUtime=7.75 cores=1,3,5,7
/proc/18785/stat : 18785 (java) S 18783 18785 17860 0 -1 4202496 22381 0 1 0 762 13 0 0 20 0 22 0 344785438 3037372416 110500 33554432000 1073741824 1073778376 140733975387856 140733975378992 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18785/statm: 741546 110500 2271 9 0 732240 0
[pid=18785/tid=18787] ppid=18783 vsize=2966184 CPUtime=0.58 cores=1,3,5,7
/proc/18785/task/18787/stat : 18787 (java) S 18783 18785 17860 0 -1 4202560 2861 0 1 0 54 4 0 0 20 0 22 0 344785439 3037372416 110500 33554432000 1073741824 1073778376 140733975387856 139929129022616 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18785/tid=18788] ppid=18783 vsize=2966184 CPUtime=0.01 cores=1,3,5,7
/proc/18785/task/18788/stat : 18788 (java) S 18783 18785 17860 0 -1 4202560 17 0 0 0 1 0 0 0 20 0 22 0 344785441 3037372416 110500 33554432000 1073741824 1073778376 140733975387856 139929113303976 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18785/tid=18789] ppid=18783 vsize=2966184 CPUtime=0.01 cores=1,3,5,7
/proc/18785/task/18789/stat : 18789 (java) S 18783 18785 17860 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 22 0 344785441 3037372416 110500 33554432000 1073741824 1073778376 140733975387856 139929112251432 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18785/tid=18790] ppid=18783 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18785/task/18790/stat : 18790 (java) S 18783 18785 17860 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 344785441 3037372416 110500 33554432000 1073741824 1073778376 140733975387856 139929111198376 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18785/tid=18791] ppid=18783 vsize=2966184 CPUtime=0.01 cores=1,3,5,7
/proc/18785/task/18791/stat : 18791 (java) S 18783 18785 17860 0 -1 4202560 17 0 0 0 1 0 0 0 20 0 22 0 344785441 3037372416 110500 33554432000 1073741824 1073778376 140733975387856 139929110145832 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18785/tid=18792] ppid=18783 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18785/task/18792/stat : 18792 (java) S 18783 18785 17860 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 344785441 3037372416 110500 33554432000 1073741824 1073778376 140733975387856 139929109092776 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18785/tid=18793] ppid=18783 vsize=2966184 CPUtime=0.01 cores=1,3,5,7
/proc/18785/task/18793/stat : 18793 (java) S 18783 18785 17860 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 22 0 344785441 3037372416 110500 33554432000 1073741824 1073778376 140733975387856 139929108040232 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18785/tid=18794] ppid=18783 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18785/task/18794/stat : 18794 (java) S 18783 18785 17860 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 344785441 3037372416 110500 33554432000 1073741824 1073778376 140733975387856 139929106987176 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18785/tid=18795] ppid=18783 vsize=2966184 CPUtime=0.02 cores=1,3,5,7
/proc/18785/task/18795/stat : 18795 (java) S 18783 18785 17860 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 22 0 344785441 3037372416 110500 33554432000 1073741824 1073778376 140733975387856 139929105934632 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18785/tid=18796] ppid=18783 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18785/task/18796/stat : 18796 (java) S 18783 18785 17860 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 344785442 3037372416 110500 33554432000 1073741824 1073778376 140733975387856 139928975428456 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18785/tid=18797] ppid=18783 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18785/task/18797/stat : 18797 (java) S 18783 18785 17860 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 344785442 3037372416 110500 33554432000 1073741824 1073778376 140733975387856 139928974374776 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18785/tid=18798] ppid=18783 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18785/task/18798/stat : 18798 (java) S 18783 18785 17860 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344785442 3037372416 110500 33554432000 1073741824 1073778376 140733975387856 139928973321608 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18785/tid=18799] ppid=18783 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18785/task/18799/stat : 18799 (java) S 18783 18785 17860 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344785444 3037372416 110500 33554432000 1073741824 1073778376 140733975387856 139928972270352 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18785/tid=18800] ppid=18783 vsize=2966184 CPUtime=1.08 cores=1,3,5,7
/proc/18785/task/18800/stat : 18800 (java) S 18783 18785 17860 0 -1 4202560 9989 0 0 0 106 2 0 0 20 0 22 0 344785444 3037372416 110500 33554432000 1073741824 1073778376 140733975387856 139928971217208 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18785/tid=18801] ppid=18783 vsize=2966184 CPUtime=1.04 cores=1,3,5,7
/proc/18785/task/18801/stat : 18801 (java) S 18783 18785 17860 0 -1 4202560 8042 0 0 0 104 0 0 0 20 0 22 0 344785444 3037372416 110500 33554432000 1073741824 1073778376 140733975387856 139928970164664 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18785/tid=18802] ppid=18783 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18785/task/18802/stat : 18802 (java) S 18783 18785 17860 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344785444 3037372416 110500 33554432000 1073741824 1073778376 140733975387856 139928969111800 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18785/tid=18803] ppid=18783 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18785/task/18803/stat : 18803 (java) S 18783 18785 17860 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344785444 3037372416 110500 33554432000 1073741824 1073778376 140733975387856 139928968059464 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18785/tid=18804] ppid=18783 vsize=2966184 CPUtime=2.4 cores=1,3,5,7
/proc/18785/task/18804/stat : 18804 (java) R 18783 18785 17860 0 -1 4202560 28 0 0 0 240 0 0 0 20 0 22 0 344785500 3037372416 110500 33554432000 1073741824 1073778376 140733975387856 139928967005040 139928978521797 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=18785/tid=18805] ppid=18783 vsize=2966184 CPUtime=2.39 cores=1,3,5,7
/proc/18785/task/18805/stat : 18805 (java) R 18783 18785 17860 0 -1 4202560 172 0 0 0 236 3 0 0 20 0 22 0 344785500 3037372416 110500 33554432000 1073741824 1073778376 140733975387856 139928965951056 139928978596204 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18785/tid=18806] ppid=18783 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18785/task/18806/stat : 18806 (java) S 18783 18785 17860 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344785502 3037372416 110500 33554432000 1073741824 1073778376 140733975387856 139928964900136 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18785/tid=18807] ppid=18783 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18785/task/18807/stat : 18807 (java) S 18783 18785 17860 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344785502 3037372416 110500 33554432000 1073741824 1073778376 140733975387856 139928963847592 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 7.75
Current children cumulated vsize (KiB) 2966184
[startup+6.30073 s]
/proc/loadavg: 3.87 3.96 3.87 5/220 18810
/proc/meminfo: memFree=28226960/32873648 swapFree=7116/7116
[pid=18785] ppid=18783 vsize=2966184 CPUtime=14.52 cores=1,3,5,7
/proc/18785/stat : 18785 (java) S 18783 18785 17860 0 -1 4202496 26314 0 1 0 1438 14 0 0 20 0 22 0 344785438 3037372416 114523 33554432000 1073741824 1073778376 140733975387856 140733975378992 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18785/statm: 741546 114523 2283 9 0 732240 0
[pid=18785/tid=18787] ppid=18783 vsize=2966184 CPUtime=0.58 cores=1,3,5,7
/proc/18785/task/18787/stat : 18787 (java) S 18783 18785 17860 0 -1 4202560 2861 0 1 0 54 4 0 0 20 0 22 0 344785439 3037372416 114523 33554432000 1073741824 1073778376 140733975387856 139929129022616 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18785/tid=18788] ppid=18783 vsize=2966184 CPUtime=0.02 cores=1,3,5,7
/proc/18785/task/18788/stat : 18788 (java) S 18783 18785 17860 0 -1 4202560 19 0 0 0 2 0 0 0 20 0 22 0 344785441 3037372416 114523 33554432000 1073741824 1073778376 140733975387856 139929113303976 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18785/tid=18789] ppid=18783 vsize=2966184 CPUtime=0.02 cores=1,3,5,7
/proc/18785/task/18789/stat : 18789 (java) S 18783 18785 17860 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 22 0 344785441 3037372416 114523 33554432000 1073741824 1073778376 140733975387856 139929112251432 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18785/tid=18790] ppid=18783 vsize=2966184 CPUtime=0.02 cores=1,3,5,7
/proc/18785/task/18790/stat : 18790 (java) S 18783 18785 17860 0 -1 4202560 7 0 0 0 2 0 0 0 20 0 22 0 344785441 3037372416 114523 33554432000 1073741824 1073778376 140733975387856 139929111198376 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18785/tid=18791] ppid=18783 vsize=2966184 CPUtime=0.03 cores=1,3,5,7
/proc/18785/task/18791/stat : 18791 (java) S 18783 18785 17860 0 -1 4202560 18 0 0 0 3 0 0 0 20 0 22 0 344785441 3037372416 114523 33554432000 1073741824 1073778376 140733975387856 139929110145832 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18785/tid=18792] ppid=18783 vsize=2966184 CPUtime=0.01 cores=1,3,5,7
/proc/18785/task/18792/stat : 18792 (java) S 18783 18785 17860 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 22 0 344785441 3037372416 114523 33554432000 1073741824 1073778376 140733975387856 139929109092776 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18785/tid=18793] ppid=18783 vsize=2966184 CPUtime=0.04 cores=1,3,5,7
/proc/18785/task/18793/stat : 18793 (java) S 18783 18785 17860 0 -1 4202560 18 0 0 0 4 0 0 0 20 0 22 0 344785441 3037372416 114523 33554432000 1073741824 1073778376 140733975387856 139929108040232 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18785/tid=18794] ppid=18783 vsize=2966184 CPUtime=0.01 cores=1,3,5,7
/proc/18785/task/18794/stat : 18794 (java) S 18783 18785 17860 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 22 0 344785441 3037372416 114523 33554432000 1073741824 1073778376 140733975387856 139929106987176 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18785/tid=18795] ppid=18783 vsize=2966184 CPUtime=0.03 cores=1,3,5,7
/proc/18785/task/18795/stat : 18795 (java) S 18783 18785 17860 0 -1 4202560 15 0 0 0 3 0 0 0 20 0 22 0 344785441 3037372416 114523 33554432000 1073741824 1073778376 140733975387856 139929105934632 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18785/tid=18796] ppid=18783 vsize=2966184 CPUtime=0.05 cores=1,3,5,7
/proc/18785/task/18796/stat : 18796 (java) S 18783 18785 17860 0 -1 4202560 38 0 0 0 5 0 0 0 20 0 22 0 344785442 3037372416 114523 33554432000 1073741824 1073778376 140733975387856 139928975428456 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18785/tid=18797] ppid=18783 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18785/task/18797/stat : 18797 (java) S 18783 18785 17860 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 344785442 3037372416 114523 33554432000 1073741824 1073778376 140733975387856 139928974374776 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18785/tid=18798] ppid=18783 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18785/task/18798/stat : 18798 (java) S 18783 18785 17860 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344785442 3037372416 114523 33554432000 1073741824 1073778376 140733975387856 139928973321608 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18785/tid=18799] ppid=18783 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18785/task/18799/stat : 18799 (java) S 18783 18785 17860 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344785444 3037372416 114523 33554432000 1073741824 1073778376 140733975387856 139928972270352 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18785/tid=18800] ppid=18783 vsize=2966184 CPUtime=1.13 cores=1,3,5,7
/proc/18785/task/18800/stat : 18800 (java) S 18783 18785 17860 0 -1 4202560 9992 0 0 0 111 2 0 0 20 0 22 0 344785444 3037372416 114523 33554432000 1073741824 1073778376 140733975387856 139928971217208 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
################
# More data... #
################
[pid=18785/tid=18805] ppid=18783 vsize=2966184 CPUtime=737.66 cores=1,3,5,7
/proc/18785/task/18805/stat : 18805 (java) R 18783 18785 17860 0 -1 4202560 366 0 0 0 73749 17 0 0 20 0 22 0 344785500 3037372416 221127 33554432000 1073741824 1073778376 140733975387856 139928965950240 139928978561436 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18785/tid=18806] ppid=18783 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18785/task/18806/stat : 18806 (java) S 18783 18785 17860 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344785502 3037372416 221127 33554432000 1073741824 1073778376 140733975387856 139928964900136 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18785/tid=18807] ppid=18783 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18785/task/18807/stat : 18807 (java) S 18783 18785 17860 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344785502 3037372416 221127 33554432000 1073741824 1073778376 140733975387856 139928963847592 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1521.83
Current children cumulated vsize (KiB) 2966184
[startup+822.301 s]
/proc/loadavg: 4.00 4.00 3.92 5/219 18877
/proc/meminfo: memFree=27842248/32873648 swapFree=7116/7116
[pid=18785] ppid=18783 vsize=2966184 CPUtime=1641.08 cores=1,3,5,7
/proc/18785/stat : 18785 (java) S 18783 18785 17860 0 -1 4202496 32846 0 1 0 163996 112 0 0 20 0 22 0 344785438 3037372416 221723 33554432000 1073741824 1073778376 140733975387856 140733975378992 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18785/statm: 741546 221723 2284 9 0 732240 0
[pid=18785/tid=18787] ppid=18783 vsize=2966184 CPUtime=0.6 cores=1,3,5,7
/proc/18785/task/18787/stat : 18787 (java) S 18783 18785 17860 0 -1 4202560 2876 0 1 0 55 5 0 0 20 0 22 0 344785439 3037372416 221723 33554432000 1073741824 1073778376 140733975387856 139929129022616 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18785/tid=18788] ppid=18783 vsize=2966184 CPUtime=3.52 cores=1,3,5,7
/proc/18785/task/18788/stat : 18788 (java) S 18783 18785 17860 0 -1 4202560 203 0 0 0 347 5 0 0 20 0 22 0 344785441 3037372416 221723 33554432000 1073741824 1073778376 140733975387856 139929113303976 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18785/tid=18789] ppid=18783 vsize=2966184 CPUtime=3.69 cores=1,3,5,7
/proc/18785/task/18789/stat : 18789 (java) S 18783 18785 17860 0 -1 4202560 235 0 0 0 361 8 0 0 20 0 22 0 344785441 3037372416 221723 33554432000 1073741824 1073778376 140733975387856 139929112251432 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18785/tid=18790] ppid=18783 vsize=2966184 CPUtime=3.69 cores=1,3,5,7
/proc/18785/task/18790/stat : 18790 (java) S 18783 18785 17860 0 -1 4202560 194 0 0 0 362 7 0 0 20 0 22 0 344785441 3037372416 221723 33554432000 1073741824 1073778376 140733975387856 139929111198376 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18785/tid=18791] ppid=18783 vsize=2966184 CPUtime=3.81 cores=1,3,5,7
/proc/18785/task/18791/stat : 18791 (java) S 18783 18785 17860 0 -1 4202560 230 0 0 0 374 7 0 0 20 0 22 0 344785441 3037372416 221723 33554432000 1073741824 1073778376 140733975387856 139929110145832 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18785/tid=18792] ppid=18783 vsize=2966184 CPUtime=3.52 cores=1,3,5,7
/proc/18785/task/18792/stat : 18792 (java) S 18783 18785 17860 0 -1 4202560 170 0 0 0 346 6 0 0 20 0 22 0 344785441 3037372416 221723 33554432000 1073741824 1073778376 140733975387856 139929109092776 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18785/tid=18793] ppid=18783 vsize=2966184 CPUtime=3.63 cores=1,3,5,7
/proc/18785/task/18793/stat : 18793 (java) S 18783 18785 17860 0 -1 4202560 210 0 0 0 355 8 0 0 20 0 22 0 344785441 3037372416 221723 33554432000 1073741824 1073778376 140733975387856 139929108040232 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18785/tid=18794] ppid=18783 vsize=2966184 CPUtime=3.49 cores=1,3,5,7
/proc/18785/task/18794/stat : 18794 (java) S 18783 18785 17860 0 -1 4202560 182 0 0 0 343 6 0 0 20 0 22 0 344785441 3037372416 221723 33554432000 1073741824 1073778376 140733975387856 139929106987176 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18785/tid=18795] ppid=18783 vsize=2966184 CPUtime=3.7 cores=1,3,5,7
/proc/18785/task/18795/stat : 18795 (java) S 18783 18785 17860 0 -1 4202560 190 0 0 0 363 7 0 0 20 0 22 0 344785441 3037372416 221723 33554432000 1073741824 1073778376 140733975387856 139929105934632 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18785/tid=18796] ppid=18783 vsize=2966184 CPUtime=18.59 cores=1,3,5,7
/proc/18785/task/18796/stat : 18796 (java) S 18783 18785 17860 0 -1 4202560 120 0 0 0 1836 23 0 0 20 0 22 0 344785442 3037372416 221723 33554432000 1073741824 1073778376 140733975387856 139928975428456 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18785/tid=18797] ppid=18783 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18785/task/18797/stat : 18797 (java) S 18783 18785 17860 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 344785442 3037372416 221723 33554432000 1073741824 1073778376 140733975387856 139928974374776 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18785/tid=18798] ppid=18783 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18785/task/18798/stat : 18798 (java) S 18783 18785 17860 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344785442 3037372416 221723 33554432000 1073741824 1073778376 140733975387856 139928973321608 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18785/tid=18799] ppid=18783 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18785/task/18799/stat : 18799 (java) S 18783 18785 17860 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344785444 3037372416 221723 33554432000 1073741824 1073778376 140733975387856 139928972270352 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18785/tid=18800] ppid=18783 vsize=2966184 CPUtime=1.86 cores=1,3,5,7
/proc/18785/task/18800/stat : 18800 (java) S 18783 18785 17860 0 -1 4202560 14314 0 0 0 183 3 0 0 20 0 22 0 344785444 3037372416 221723 33554432000 1073741824 1073778376 140733975387856 139928971217208 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18785/tid=18801] ppid=18783 vsize=2966184 CPUtime=1.59 cores=1,3,5,7
/proc/18785/task/18801/stat : 18801 (java) S 18783 18785 17860 0 -1 4202560 11930 0 0 0 157 2 0 0 20 0 22 0 344785444 3037372416 221723 33554432000 1073741824 1073778376 140733975387856 139928970164664 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18785/tid=18802] ppid=18783 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18785/task/18802/stat : 18802 (java) S 18783 18785 17860 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344785444 3037372416 221723 33554432000 1073741824 1073778376 140733975387856 139928969111800 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18785/tid=18803] ppid=18783 vsize=2966184 CPUtime=0.32 cores=1,3,5,7
/proc/18785/task/18803/stat : 18803 (java) S 18783 18785 17860 0 -1 4202560 47 0 0 0 11 21 0 0 20 0 22 0 344785444 3037372416 221723 33554432000 1073741824 1073778376 140733975387856 139928968059464 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18785/tid=18804] ppid=18783 vsize=2966184 CPUtime=794.62 cores=1,3,5,7
/proc/18785/task/18804/stat : 18804 (java) R 18783 18785 17860 0 -1 4202560 372 0 0 0 79448 14 0 0 20 0 22 0 344785500 3037372416 221723 33554432000 1073741824 1073778376 140733975387856 139928967004080 139928978449307 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=18785/tid=18805] ppid=18783 vsize=2966184 CPUtime=794.7 cores=1,3,5,7
/proc/18785/task/18805/stat : 18805 (java) R 18783 18785 17860 0 -1 4202560 386 0 0 0 79452 18 0 0 20 0 22 0 344785500 3037372416 221723 33554432000 1073741824 1073778376 140733975387856 139928965950256 139928978592591 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18785/tid=18806] ppid=18783 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18785/task/18806/stat : 18806 (java) S 18783 18785 17860 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344785502 3037372416 221723 33554432000 1073741824 1073778376 140733975387856 139928964900136 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18785/tid=18807] ppid=18783 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18785/task/18807/stat : 18807 (java) S 18783 18785 17860 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344785502 3037372416 221723 33554432000 1073741824 1073778376 140733975387856 139928963847592 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1641.08
Current children cumulated vsize (KiB) 2966184
[startup+882.301 s]
/proc/loadavg: 3.94 3.98 3.91 5/219 18877
/proc/meminfo: memFree=27806812/32873648 swapFree=7116/7116
[pid=18785] ppid=18783 vsize=2966184 CPUtime=1760.69 cores=1,3,5,7
/proc/18785/stat : 18785 (java) S 18783 18785 17860 0 -1 4202496 32979 0 1 0 175951 118 0 0 20 0 22 0 344785438 3037372416 224872 33554432000 1073741824 1073778376 140733975387856 140733975378992 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18785/statm: 741546 224872 2284 9 0 732240 0
[pid=18785/tid=18787] ppid=18783 vsize=2966184 CPUtime=0.61 cores=1,3,5,7
/proc/18785/task/18787/stat : 18787 (java) S 18783 18785 17860 0 -1 4202560 2876 0 1 0 56 5 0 0 20 0 22 0 344785439 3037372416 224872 33554432000 1073741824 1073778376 140733975387856 139929129022616 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18785/tid=18788] ppid=18783 vsize=2966184 CPUtime=3.83 cores=1,3,5,7
/proc/18785/task/18788/stat : 18788 (java) S 18783 18785 17860 0 -1 4202560 214 0 0 0 378 5 0 0 20 0 22 0 344785441 3037372416 224872 33554432000 1073741824 1073778376 140733975387856 139929113303976 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18785/tid=18789] ppid=18783 vsize=2966184 CPUtime=3.96 cores=1,3,5,7
/proc/18785/task/18789/stat : 18789 (java) S 18783 18785 17860 0 -1 4202560 247 0 0 0 388 8 0 0 20 0 22 0 344785441 3037372416 224872 33554432000 1073741824 1073778376 140733975387856 139929112251432 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18785/tid=18790] ppid=18783 vsize=2966184 CPUtime=3.94 cores=1,3,5,7
/proc/18785/task/18790/stat : 18790 (java) S 18783 18785 17860 0 -1 4202560 206 0 0 0 387 7 0 0 20 0 22 0 344785441 3037372416 224872 33554432000 1073741824 1073778376 140733975387856 139929111198376 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18785/tid=18791] ppid=18783 vsize=2966184 CPUtime=4.07 cores=1,3,5,7
/proc/18785/task/18791/stat : 18791 (java) S 18783 18785 17860 0 -1 4202560 237 0 0 0 400 7 0 0 20 0 22 0 344785441 3037372416 224872 33554432000 1073741824 1073778376 140733975387856 139929110145832 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18785/tid=18792] ppid=18783 vsize=2966184 CPUtime=3.83 cores=1,3,5,7
/proc/18785/task/18792/stat : 18792 (java) S 18783 18785 17860 0 -1 4202560 182 0 0 0 376 7 0 0 20 0 22 0 344785441 3037372416 224872 33554432000 1073741824 1073778376 140733975387856 139929109092776 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18785/tid=18793] ppid=18783 vsize=2966184 CPUtime=3.93 cores=1,3,5,7
/proc/18785/task/18793/stat : 18793 (java) S 18783 18785 17860 0 -1 4202560 227 0 0 0 385 8 0 0 20 0 22 0 344785441 3037372416 224872 33554432000 1073741824 1073778376 140733975387856 139929108040232 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18785/tid=18794] ppid=18783 vsize=2966184 CPUtime=3.74 cores=1,3,5,7
/proc/18785/task/18794/stat : 18794 (java) S 18783 18785 17860 0 -1 4202560 194 0 0 0 368 6 0 0 20 0 22 0 344785441 3037372416 224872 33554432000 1073741824 1073778376 140733975387856 139929106987176 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18785/tid=18795] ppid=18783 vsize=2966184 CPUtime=4 cores=1,3,5,7
/proc/18785/task/18795/stat : 18795 (java) S 18783 18785 17860 0 -1 4202560 202 0 0 0 393 7 0 0 20 0 22 0 344785441 3037372416 224872 33554432000 1073741824 1073778376 140733975387856 139929105934632 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18785/tid=18796] ppid=18783 vsize=2966184 CPUtime=19.97 cores=1,3,5,7
/proc/18785/task/18796/stat : 18796 (java) S 18783 18785 17860 0 -1 4202560 124 0 0 0 1972 25 0 0 20 0 22 0 344785442 3037372416 224872 33554432000 1073741824 1073778376 140733975387856 139928975428456 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18785/tid=18797] ppid=18783 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18785/task/18797/stat : 18797 (java) S 18783 18785 17860 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 344785442 3037372416 224872 33554432000 1073741824 1073778376 140733975387856 139928974374776 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18785/tid=18798] ppid=18783 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18785/task/18798/stat : 18798 (java) S 18783 18785 17860 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344785442 3037372416 224872 33554432000 1073741824 1073778376 140733975387856 139928973321608 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18785/tid=18799] ppid=18783 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18785/task/18799/stat : 18799 (java) S 18783 18785 17860 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344785444 3037372416 224872 33554432000 1073741824 1073778376 140733975387856 139928972270352 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18785/tid=18800] ppid=18783 vsize=2966184 CPUtime=1.86 cores=1,3,5,7
/proc/18785/task/18800/stat : 18800 (java) S 18783 18785 17860 0 -1 4202560 14314 0 0 0 183 3 0 0 20 0 22 0 344785444 3037372416 224872 33554432000 1073741824 1073778376 140733975387856 139928971217208 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18785/tid=18801] ppid=18783 vsize=2966184 CPUtime=1.59 cores=1,3,5,7
/proc/18785/task/18801/stat : 18801 (java) S 18783 18785 17860 0 -1 4202560 11930 0 0 0 157 2 0 0 20 0 22 0 344785444 3037372416 224872 33554432000 1073741824 1073778376 140733975387856 139928970164664 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18785/tid=18802] ppid=18783 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18785/task/18802/stat : 18802 (java) S 18783 18785 17860 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344785444 3037372416 224872 33554432000 1073741824 1073778376 140733975387856 139928969111800 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18785/tid=18803] ppid=18783 vsize=2966184 CPUtime=0.34 cores=1,3,5,7
/proc/18785/task/18803/stat : 18803 (java) S 18783 18785 17860 0 -1 4202560 51 0 0 0 11 23 0 0 20 0 22 0 344785444 3037372416 224872 33554432000 1073741824 1073778376 140733975387856 139928968059464 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18785/tid=18804] ppid=18783 vsize=2966184 CPUtime=852.61 cores=1,3,5,7
/proc/18785/task/18804/stat : 18804 (java) R 18783 18785 17860 0 -1 4202560 389 0 0 0 85246 15 0 0 20 0 22 0 344785500 3037372416 224872 33554432000 1073741824 1073778376 140733975387856 139928967003024 139928978449326 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=18785/tid=18805] ppid=18783 vsize=2966184 CPUtime=852.69 cores=1,3,5,7
/proc/18785/task/18805/stat : 18805 (java) R 18783 18785 17860 0 -1 4202560 399 0 0 0 85251 18 0 0 20 0 22 0 344785500 3037372416 224872 33554432000 1073741824 1073778376 140733975387856 139928965951072 139928978561365 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18785/tid=18806] ppid=18783 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18785/task/18806/stat : 18806 (java) S 18783 18785 17860 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344785502 3037372416 224872 33554432000 1073741824 1073778376 140733975387856 139928964900136 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18785/tid=18807] ppid=18783 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18785/task/18807/stat : 18807 (java) S 18783 18785 17860 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344785502 3037372416 224872 33554432000 1073741824 1073778376 140733975387856 139928963847592 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1760.69
Current children cumulated vsize (KiB) 2966184
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+902.201 s]
/proc/loadavg: 4.03 4.00 3.92 5/219 18878
/proc/meminfo: memFree=27796324/32873648 swapFree=7116/7116
[pid=18785] ppid=18783 vsize=2966184 CPUtime=1800.04 cores=1,3,5,7
/proc/18785/stat : 18785 (java) S 18783 18785 17860 0 -1 4202496 33003 0 1 0 179885 119 0 0 20 0 22 0 344785438 3037372416 225395 33554432000 1073741824 1073778376 140733975387856 140733975378992 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18785/statm: 741546 225395 2284 9 0 732240 0
[pid=18785/tid=18787] ppid=18783 vsize=2966184 CPUtime=0.61 cores=1,3,5,7
/proc/18785/task/18787/stat : 18787 (java) S 18783 18785 17860 0 -1 4202560 2877 0 1 0 56 5 0 0 20 0 22 0 344785439 3037372416 225395 33554432000 1073741824 1073778376 140733975387856 139929129022616 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18785/tid=18788] ppid=18783 vsize=2966184 CPUtime=3.9 cores=1,3,5,7
/proc/18785/task/18788/stat : 18788 (java) S 18783 18785 17860 0 -1 4202560 217 0 0 0 385 5 0 0 20 0 22 0 344785441 3037372416 225395 33554432000 1073741824 1073778376 140733975387856 139929113303976 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18785/tid=18789] ppid=18783 vsize=2966184 CPUtime=4.08 cores=1,3,5,7
/proc/18785/task/18789/stat : 18789 (java) S 18783 18785 17860 0 -1 4202560 249 0 0 0 400 8 0 0 20 0 22 0 344785441 3037372416 225395 33554432000 1073741824 1073778376 140733975387856 139929112251432 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18785/tid=18790] ppid=18783 vsize=2966184 CPUtime=4.04 cores=1,3,5,7
/proc/18785/task/18790/stat : 18790 (java) S 18783 18785 17860 0 -1 4202560 206 0 0 0 397 7 0 0 20 0 22 0 344785441 3037372416 225395 33554432000 1073741824 1073778376 140733975387856 139929111198376 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18785/tid=18791] ppid=18783 vsize=2966184 CPUtime=4.16 cores=1,3,5,7
/proc/18785/task/18791/stat : 18791 (java) S 18783 18785 17860 0 -1 4202560 238 0 0 0 409 7 0 0 20 0 22 0 344785441 3037372416 225395 33554432000 1073741824 1073778376 140733975387856 139929110145832 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18785/tid=18792] ppid=18783 vsize=2966184 CPUtime=3.9 cores=1,3,5,7
/proc/18785/task/18792/stat : 18792 (java) S 18783 18785 17860 0 -1 4202560 182 0 0 0 383 7 0 0 20 0 22 0 344785441 3037372416 225395 33554432000 1073741824 1073778376 140733975387856 139929109092776 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18785/tid=18793] ppid=18783 vsize=2966184 CPUtime=3.99 cores=1,3,5,7
/proc/18785/task/18793/stat : 18793 (java) S 18783 18785 17860 0 -1 4202560 228 0 0 0 391 8 0 0 20 0 22 0 344785441 3037372416 225395 33554432000 1073741824 1073778376 140733975387856 139929108040232 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18785/tid=18794] ppid=18783 vsize=2966184 CPUtime=3.84 cores=1,3,5,7
/proc/18785/task/18794/stat : 18794 (java) S 18783 18785 17860 0 -1 4202560 200 0 0 0 378 6 0 0 20 0 22 0 344785441 3037372416 225395 33554432000 1073741824 1073778376 140733975387856 139929106987176 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18785/tid=18795] ppid=18783 vsize=2966184 CPUtime=4.06 cores=1,3,5,7
/proc/18785/task/18795/stat : 18795 (java) S 18783 18785 17860 0 -1 4202560 202 0 0 0 399 7 0 0 20 0 22 0 344785441 3037372416 225395 33554432000 1073741824 1073778376 140733975387856 139929105934632 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18785/tid=18796] ppid=18783 vsize=2966184 CPUtime=20.73 cores=1,3,5,7
/proc/18785/task/18796/stat : 18796 (java) S 18783 18785 17860 0 -1 4202560 124 0 0 0 2048 25 0 0 20 0 22 0 344785442 3037372416 225395 33554432000 1073741824 1073778376 140733975387856 139928975428456 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18785/tid=18797] ppid=18783 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18785/task/18797/stat : 18797 (java) S 18783 18785 17860 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 344785442 3037372416 225395 33554432000 1073741824 1073778376 140733975387856 139928974374776 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18785/tid=18798] ppid=18783 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18785/task/18798/stat : 18798 (java) S 18783 18785 17860 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344785442 3037372416 225395 33554432000 1073741824 1073778376 140733975387856 139928973321608 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18785/tid=18799] ppid=18783 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18785/task/18799/stat : 18799 (java) S 18783 18785 17860 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344785444 3037372416 225395 33554432000 1073741824 1073778376 140733975387856 139928972270352 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18785/tid=18800] ppid=18783 vsize=2966184 CPUtime=1.86 cores=1,3,5,7
/proc/18785/task/18800/stat : 18800 (java) S 18783 18785 17860 0 -1 4202560 14314 0 0 0 183 3 0 0 20 0 22 0 344785444 3037372416 225395 33554432000 1073741824 1073778376 140733975387856 139928971217208 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18785/tid=18801] ppid=18783 vsize=2966184 CPUtime=1.59 cores=1,3,5,7
/proc/18785/task/18801/stat : 18801 (java) S 18783 18785 17860 0 -1 4202560 11930 0 0 0 157 2 0 0 20 0 22 0 344785444 3037372416 225395 33554432000 1073741824 1073778376 140733975387856 139928970164664 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18785/tid=18802] ppid=18783 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18785/task/18802/stat : 18802 (java) S 18783 18785 17860 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344785444 3037372416 225395 33554432000 1073741824 1073778376 140733975387856 139928969111800 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18785/tid=18803] ppid=18783 vsize=2966184 CPUtime=0.35 cores=1,3,5,7
/proc/18785/task/18803/stat : 18803 (java) S 18783 18785 17860 0 -1 4202560 51 0 0 0 11 24 0 0 20 0 22 0 344785444 3037372416 225395 33554432000 1073741824 1073778376 140733975387856 139928968059464 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18785/tid=18804] ppid=18783 vsize=2966184 CPUtime=871.57 cores=1,3,5,7
/proc/18785/task/18804/stat : 18804 (java) R 18783 18785 17860 0 -1 4202560 397 0 0 0 87141 16 0 0 20 0 22 0 344785500 3037372416 225395 33554432000 1073741824 1073778376 140733975387856 139928967004080 139928978367536 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18785/tid=18805] ppid=18783 vsize=2966184 CPUtime=871.65 cores=1,3,5,7
/proc/18785/task/18805/stat : 18805 (java) R 18783 18785 17860 0 -1 4202560 401 0 0 0 87146 19 0 0 20 0 22 0 344785500 3037372416 225395 33554432000 1073741824 1073778376 140733975387856 139928965950752 139928978508146 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=18785/tid=18806] ppid=18783 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18785/task/18806/stat : 18806 (java) S 18783 18785 17860 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344785502 3037372416 225395 33554432000 1073741824 1073778376 140733975387856 139928964900136 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18785/tid=18807] ppid=18783 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18785/task/18807/stat : 18807 (java) S 18783 18785 17860 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344785502 3037372416 225395 33554432000 1073741824 1073778376 140733975387856 139928963847592 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 2966184
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 902.26
CPU time (s): 1800.75
CPU user time (s): 1799.1
CPU system time (s): 1.65175
CPU usage (%): 199.582
Max. virtual memory (cumulated for all children) (KiB): 2967972
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.1
system time used= 1.65175
maximum resident set size= 901708
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33037
page faults= 1
swaps= 0
block input operations= 0
block output operations= 928
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38143
involuntary context switches= 66857
runsolver used 3.21351 second user time and 8.23375 second system time
The end