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-3687650-1337872938/watcher-3687650-1337872938 -o /tmp/evaluation-result-3687650-1337872938/solver-3687650-1337872938 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3687650-1337872938.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.50 3.61 2.52 4/197 23150
/proc/meminfo: memFree=27993064/32873648 swapFree=6864/6864
[pid=23150] ppid=23148 vsize=272 CPUtime=0 cores=0,2,4,6
/proc/23150/stat : 23150 (java) R 23148 23150 22184 0 -1 4202496 285 0 0 0 0 0 0 0 20 0 1 0 253419824 278528 33 33554432000 1073741824 1073778376 140736032216192 140737015062504 226075176117 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23150/statm: 68 33 25 9 0 25 0
[startup+0.0594959 s]
/proc/loadavg: 3.50 3.61 2.52 4/197 23150
/proc/meminfo: memFree=27993064/32873648 swapFree=6864/6864
[pid=23150] ppid=23148 vsize=9558412 CPUtime=0.04 cores=0,2,4,6
/proc/23150/stat : 23150 (java) S 23148 23150 22184 0 -1 4202496 3181 0 1 0 3 1 0 0 20 0 18 0 253419824 9787813888 4389 33554432000 1073741824 1073778376 140736032216192 140736032207328 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23150/statm: 2389603 4389 1757 9 0 2380296 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 9558412
[startup+0.100184 s]
/proc/loadavg: 3.50 3.61 2.52 4/197 23150
/proc/meminfo: memFree=27993064/32873648 swapFree=6864/6864
[pid=23150] ppid=23148 vsize=9558412 CPUtime=0.1 cores=0,2,4,6
/proc/23150/stat : 23150 (java) S 23148 23150 22184 0 -1 4202496 4352 0 1 0 9 1 0 0 20 0 18 0 253419824 9787813888 6065 33554432000 1073741824 1073778376 140736032216192 140736032207328 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23150/statm: 2389603 6070 2109 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558412
[startup+0.300166 s]
/proc/loadavg: 3.50 3.61 2.52 4/197 23150
/proc/meminfo: memFree=27993064/32873648 swapFree=6864/6864
[pid=23150] ppid=23148 vsize=9558412 CPUtime=0.47 cores=0,2,4,6
/proc/23150/stat : 23150 (java) S 23148 23150 22184 0 -1 4202496 5536 0 1 0 46 1 0 0 20 0 18 0 253419824 9787813888 8367 33554432000 1073741824 1073778376 140736032216192 140736032207328 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23150/statm: 2389603 8367 2217 9 0 2380296 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9558412
[startup+0.700172 s]
/proc/loadavg: 3.50 3.61 2.52 4/197 23150
/proc/meminfo: memFree=27993064/32873648 swapFree=6864/6864
[pid=23150] ppid=23148 vsize=9824668 CPUtime=0.88 cores=0,2,4,6
/proc/23150/stat : 23150 (java) S 23148 23150 22184 0 -1 4202496 13559 0 1 0 84 4 0 0 20 0 19 0 253419824 10060460032 15201 33554432000 1073741824 1073778376 140736032216192 140736032207328 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23150/statm: 2456167 15201 2242 9 0 2446860 0
Current children cumulated CPU time (s) 0.88
Current children cumulated vsize (KiB) 9824668
[startup+1.50063 s]
/proc/loadavg: 3.50 3.61 2.52 7/219 23175
/proc/meminfo: memFree=27933412/32873648 swapFree=6864/6864
[pid=23150] ppid=23148 vsize=9824668 CPUtime=2.53 cores=0,2,4,6
/proc/23150/stat : 23150 (java) S 23148 23150 22184 0 -1 4202496 14943 0 1 0 246 7 0 0 20 0 22 0 253419824 10060460032 21135 33554432000 1073741824 1073778376 140736032216192 140736032207328 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23150/statm: 2456167 21135 2254 9 0 2446860 0
[pid=23150/tid=23152] ppid=23148 vsize=9824668 CPUtime=0.31 cores=0,2,4,6
/proc/23150/task/23152/stat : 23152 (java) S 23148 23150 22184 0 -1 4202560 2488 0 1 0 30 1 0 0 20 0 22 0 253419825 10060460032 21135 33554432000 1073741824 1073778376 140736032216192 140447333393400 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23150/tid=23153] ppid=23148 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23150/task/23153/stat : 23153 (java) S 23148 23150 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253419826 10060460032 21135 33554432000 1073741824 1073778376 140736032216192 140447311493416 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23150/tid=23154] ppid=23148 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23150/task/23154/stat : 23154 (java) S 23148 23150 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253419826 10060460032 21135 33554432000 1073741824 1073778376 140736032216192 140447108294824 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23150/tid=23155] ppid=23148 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23150/task/23155/stat : 23155 (java) S 23148 23150 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253419826 10060460032 21135 33554432000 1073741824 1073778376 140736032216192 140447107242536 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23150/tid=23156] ppid=23148 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23150/task/23156/stat : 23156 (java) S 23148 23150 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253419826 10060460032 21135 33554432000 1073741824 1073778376 140736032216192 140447106189736 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23150/tid=23157] ppid=23148 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23150/task/23157/stat : 23157 (java) S 23148 23150 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253419826 10060460032 21135 33554432000 1073741824 1073778376 140736032216192 140447105137448 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23150/tid=23158] ppid=23148 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23150/task/23158/stat : 23158 (java) S 23148 23150 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253419826 10060460032 21135 33554432000 1073741824 1073778376 140736032216192 140447104084648 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23150/tid=23159] ppid=23148 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23150/task/23159/stat : 23159 (java) S 23148 23150 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253419826 10060460032 21135 33554432000 1073741824 1073778376 140736032216192 140447103032360 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23150/tid=23160] ppid=23148 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23150/task/23160/stat : 23160 (java) S 23148 23150 22184 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253419826 10060460032 21135 33554432000 1073741824 1073778376 140736032216192 140447101979560 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23150/tid=23161] ppid=23148 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23150/task/23161/stat : 23161 (java) S 23148 23150 22184 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253419827 10060460032 21135 33554432000 1073741824 1073778376 140736032216192 140447089780968 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23150/tid=23162] ppid=23148 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23150/task/23162/stat : 23162 (java) S 23148 23150 22184 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 253419827 10060460032 21135 33554432000 1073741824 1073778376 140736032216192 140447088727032 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23150/tid=23163] ppid=23148 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23150/task/23163/stat : 23163 (java) S 23148 23150 22184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253419827 10060460032 21135 33554432000 1073741824 1073778376 140736032216192 140447087674632 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23150/tid=23164] ppid=23148 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23150/task/23164/stat : 23164 (java) S 23148 23150 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253419830 10060460032 21135 33554432000 1073741824 1073778376 140736032216192 140447086623120 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23150/tid=23165] ppid=23148 vsize=9824668 CPUtime=0.39 cores=0,2,4,6
/proc/23150/task/23165/stat : 23165 (java) S 23148 23150 22184 0 -1 4202560 2995 0 0 0 39 0 0 0 20 0 22 0 253419830 10060460032 21135 33554432000 1073741824 1073778376 140736032216192 140447085570744 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23150/tid=23166] ppid=23148 vsize=9824668 CPUtime=0.67 cores=0,2,4,6
/proc/23150/task/23166/stat : 23166 (java) R 23148 23150 22184 0 -1 4202560 8089 0 0 0 65 2 0 0 20 0 22 0 253419830 10060460032 21135 33554432000 1073741824 1073778376 140736032216192 140447084517944 140447335528308 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=23150/tid=23167] ppid=23148 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23150/task/23167/stat : 23167 (java) S 23148 23150 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253419830 10060460032 21135 33554432000 1073741824 1073778376 140736032216192 140447083465848 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23150/tid=23168] ppid=23148 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23150/task/23168/stat : 23168 (java) S 23148 23150 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253419830 10060460032 21135 33554432000 1073741824 1073778376 140736032216192 140447082413256 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23150/tid=23172] ppid=23148 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23150/task/23172/stat : 23172 (java) S 23148 23150 22184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253419858 10060460032 21135 33554432000 1073741824 1073778376 140736032216192 140447078167592 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.53
Current children cumulated vsize (KiB) 9824668
[startup+3.10064 s]
/proc/loadavg: 3.50 3.61 2.52 3/216 23178
/proc/meminfo: memFree=27882468/32873648 swapFree=6864/6864
[pid=23150] ppid=23148 vsize=9824668 CPUtime=5.29 cores=0,2,4,6
/proc/23150/stat : 23150 (java) S 23148 23150 22184 0 -1 4202496 15429 0 1 0 519 10 0 0 20 0 22 0 253419824 10060460032 39571 33554432000 1073741824 1073778376 140736032216192 140736032207328 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23150/statm: 2456167 39571 2259 9 0 2446860 0
[pid=23150/tid=23152] ppid=23148 vsize=9824668 CPUtime=0.31 cores=0,2,4,6
/proc/23150/task/23152/stat : 23152 (java) S 23148 23150 22184 0 -1 4202560 2490 0 1 0 30 1 0 0 20 0 22 0 253419825 10060460032 39571 33554432000 1073741824 1073778376 140736032216192 140447333393400 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23150/tid=23153] ppid=23148 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23150/task/23153/stat : 23153 (java) S 23148 23150 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253419826 10060460032 39571 33554432000 1073741824 1073778376 140736032216192 140447311493416 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23150/tid=23154] ppid=23148 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23150/task/23154/stat : 23154 (java) S 23148 23150 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253419826 10060460032 39571 33554432000 1073741824 1073778376 140736032216192 140447108294824 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23150/tid=23155] ppid=23148 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23150/task/23155/stat : 23155 (java) S 23148 23150 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253419826 10060460032 39571 33554432000 1073741824 1073778376 140736032216192 140447107242536 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23150/tid=23156] ppid=23148 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23150/task/23156/stat : 23156 (java) S 23148 23150 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253419826 10060460032 39571 33554432000 1073741824 1073778376 140736032216192 140447106189736 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23150/tid=23157] ppid=23148 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23150/task/23157/stat : 23157 (java) S 23148 23150 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253419826 10060460032 39571 33554432000 1073741824 1073778376 140736032216192 140447105137448 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23150/tid=23158] ppid=23148 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23150/task/23158/stat : 23158 (java) S 23148 23150 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253419826 10060460032 39571 33554432000 1073741824 1073778376 140736032216192 140447104084648 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23150/tid=23159] ppid=23148 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23150/task/23159/stat : 23159 (java) S 23148 23150 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253419826 10060460032 39571 33554432000 1073741824 1073778376 140736032216192 140447103032360 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23150/tid=23160] ppid=23148 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23150/task/23160/stat : 23160 (java) S 23148 23150 22184 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253419826 10060460032 39571 33554432000 1073741824 1073778376 140736032216192 140447101979560 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23150/tid=23161] ppid=23148 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23150/task/23161/stat : 23161 (java) S 23148 23150 22184 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253419827 10060460032 39571 33554432000 1073741824 1073778376 140736032216192 140447089780968 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23150/tid=23162] ppid=23148 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23150/task/23162/stat : 23162 (java) S 23148 23150 22184 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 253419827 10060460032 39571 33554432000 1073741824 1073778376 140736032216192 140447088727032 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23150/tid=23163] ppid=23148 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23150/task/23163/stat : 23163 (java) S 23148 23150 22184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253419827 10060460032 39571 33554432000 1073741824 1073778376 140736032216192 140447087674632 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23150/tid=23164] ppid=23148 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23150/task/23164/stat : 23164 (java) S 23148 23150 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253419830 10060460032 39571 33554432000 1073741824 1073778376 140736032216192 140447086623120 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23150/tid=23165] ppid=23148 vsize=9824668 CPUtime=0.55 cores=0,2,4,6
/proc/23150/task/23165/stat : 23165 (java) S 23148 23150 22184 0 -1 4202560 3432 0 0 0 55 0 0 0 20 0 22 0 253419830 10060460032 39571 33554432000 1073741824 1073778376 140736032216192 140447085570744 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23150/tid=23166] ppid=23148 vsize=9824668 CPUtime=0.78 cores=0,2,4,6
/proc/23150/task/23166/stat : 23166 (java) S 23148 23150 22184 0 -1 4202560 8089 0 0 0 76 2 0 0 20 0 22 0 253419830 10060460032 39571 33554432000 1073741824 1073778376 140736032216192 140447084517944 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23150/tid=23167] ppid=23148 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23150/task/23167/stat : 23167 (java) S 23148 23150 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253419830 10060460032 39571 33554432000 1073741824 1073778376 140736032216192 140447083465848 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23150/tid=23168] ppid=23148 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23150/task/23168/stat : 23168 (java) S 23148 23150 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253419830 10060460032 39571 33554432000 1073741824 1073778376 140736032216192 140447082413256 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23150/tid=23172] ppid=23148 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23150/task/23172/stat : 23172 (java) S 23148 23150 22184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253419858 10060460032 39571 33554432000 1073741824 1073778376 140736032216192 140447078167592 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 5.29
Current children cumulated vsize (KiB) 9824668
[startup+6.30071 s]
/proc/loadavg: 3.54 3.62 2.53 5/219 23190
/proc/meminfo: memFree=27734748/32873648 swapFree=6864/6864
[pid=23150] ppid=23148 vsize=9824668 CPUtime=11.44 cores=0,2,4,6
/proc/23150/stat : 23150 (java) S 23148 23150 22184 0 -1 4202496 16226 0 1 0 1119 25 0 0 20 0 22 0 253419824 10060460032 75556 33554432000 1073741824 1073778376 140736032216192 140736032207328 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23150/statm: 2456167 75556 2284 9 0 2446860 0
[pid=23150/tid=23152] ppid=23148 vsize=9824668 CPUtime=0.32 cores=0,2,4,6
/proc/23150/task/23152/stat : 23152 (java) S 23148 23150 22184 0 -1 4202560 2491 0 1 0 31 1 0 0 20 0 22 0 253419825 10060460032 75556 33554432000 1073741824 1073778376 140736032216192 140447333393400 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23150/tid=23153] ppid=23148 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/23150/task/23153/stat : 23153 (java) S 23148 23150 22184 0 -1 4202560 25 0 0 0 1 1 0 0 20 0 22 0 253419826 10060460032 75556 33554432000 1073741824 1073778376 140736032216192 140447311493416 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23150/tid=23154] ppid=23148 vsize=9824668 CPUtime=0.07 cores=0,2,4,6
/proc/23150/task/23154/stat : 23154 (java) S 23148 23150 22184 0 -1 4202560 173 0 0 0 5 2 0 0 20 0 22 0 253419826 10060460032 75556 33554432000 1073741824 1073778376 140736032216192 140447108294824 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23150/tid=23155] ppid=23148 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/23150/task/23155/stat : 23155 (java) S 23148 23150 22184 0 -1 4202560 60 0 0 0 2 0 0 0 20 0 22 0 253419826 10060460032 75556 33554432000 1073741824 1073778376 140736032216192 140447107242536 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23150/tid=23156] ppid=23148 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/23150/task/23156/stat : 23156 (java) S 23148 23150 22184 0 -1 4202560 21 0 0 0 1 1 0 0 20 0 22 0 253419826 10060460032 75556 33554432000 1073741824 1073778376 140736032216192 140447106189736 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23150/tid=23157] ppid=23148 vsize=9824668 CPUtime=0.03 cores=0,2,4,6
/proc/23150/task/23157/stat : 23157 (java) S 23148 23150 22184 0 -1 4202560 83 0 0 0 2 1 0 0 20 0 22 0 253419826 10060460032 75556 33554432000 1073741824 1073778376 140736032216192 140447105137448 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23150/tid=23158] ppid=23148 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/23150/task/23158/stat : 23158 (java) S 23148 23150 22184 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 22 0 253419826 10060460032 75556 33554432000 1073741824 1073778376 140736032216192 140447104084648 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23150/tid=23159] ppid=23148 vsize=9824668 CPUtime=0.03 cores=0,2,4,6
/proc/23150/task/23159/stat : 23159 (java) S 23148 23150 22184 0 -1 4202560 29 0 0 0 2 1 0 0 20 0 22 0 253419826 10060460032 75556 33554432000 1073741824 1073778376 140736032216192 140447103032360 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23150/tid=23160] ppid=23148 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/23150/task/23160/stat : 23160 (java) S 23148 23150 22184 0 -1 4202560 144 0 0 0 2 0 0 0 20 0 22 0 253419826 10060460032 75556 33554432000 1073741824 1073778376 140736032216192 140447101979560 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23150/tid=23161] ppid=23148 vsize=9824668 CPUtime=0.12 cores=0,2,4,6
/proc/23150/task/23161/stat : 23161 (java) S 23148 23150 22184 0 -1 4202560 104 0 0 0 10 2 0 0 20 0 22 0 253419827 10060460032 75556 33554432000 1073741824 1073778376 140736032216192 140447089780968 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23150/tid=23162] ppid=23148 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23150/task/23162/stat : 23162 (java) S 23148 23150 22184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253419827 10060460032 75556 33554432000 1073741824 1073778376 140736032216192 140447088727032 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23150/tid=23163] ppid=23148 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23150/task/23163/stat : 23163 (java) S 23148 23150 22184 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253419827 10060460032 75556 33554432000 1073741824 1073778376 140736032216192 140447087674632 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23150/tid=23164] ppid=23148 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23150/task/23164/stat : 23164 (java) S 23148 23150 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253419830 10060460032 75556 33554432000 1073741824 1073778376 140736032216192 140447086623120 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23150/tid=23165] ppid=23148 vsize=9824668 CPUtime=0.63 cores=0,2,4,6
/proc/23150/task/23165/stat : 23165 (java) S 23148 23150 22184 0 -1 4202560 3552 0 0 0 63 0 0 0 20 0 22 0 253419830 10060460032 75556 33554432000 1073741824 1073778376 140736032216192 140447085570744 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23150/tid=23166] ppid=23148 vsize=9824668 CPUtime=0.83 cores=0,2,4,6
/proc/23150/task/23166/stat : 23166 (java) S 23148 23150 22184 0 -1 4202560 8093 0 0 0 81 2 0 0 20 0 22 0 253419830 10060460032 75556 33554432000 1073741824 1073778376 140736032216192 140447084517944 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23150/tid=23167] ppid=23148 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23150/task/23167/stat : 23167 (java) S 23148 23150 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253419830 10060460032 75556 33554432000 1073741824 1073778376 140736032216192 140447083465848 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23150/tid=23168] ppid=23148 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23150/task/23168/stat : 23168 (java) S 23148 23150 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253419830 10060460032 75556 33554432000 1073741824 1073778376 140736032216192 140447082413256 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23150/tid=23172] ppid=23148 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23150/task/23172/stat : 23172 (java) S 23148 23150 22184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253419858 10060460032 75556 33554432000 1073741824 1073778376 140736032216192 140447078167592 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23150/tid=23188] ppid=23148 vsize=9824668 CPUtime=1.32 cores=0,2,4,6
/proc/23150/task/23188/stat : 23188 (java) R 23148 23150 22184 0 -1 4202560 3 0 0 0 132 0 0 0 20 0 22 0 253420309 10060460032 75556 33554432000 1073741824 1073778376 140736032216192 140447081324856 140447192930082 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=23150/tid=23189] ppid=23148 vsize=9824668 CPUtime=1.31 cores=0,2,4,6
/proc/23150/task/23189/stat : 23189 (java) R 23148 23150 22184 0 -1 4202560 4 0 0 0 131 0 0 0 20 0 22 0 253420309 10060460032 75556 33554432000 1073741824 1073778376 140736032216192 140447080270008 140447192925838 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
################
# More data... #
################
[pid=23150/tid=23601] ppid=23148 vsize=9824668 CPUtime=4.36 cores=0,2,4,6
/proc/23150/task/23601/stat : 23601 (java) R 23148 23150 22184 0 -1 4202560 3 0 0 0 436 0 0 0 20 0 22 0 253513023 10060460032 806945 33554432000 1073741824 1073778376 140736032216192 140447081325536 140447192736342 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=23150/tid=23602] ppid=23148 vsize=9824668 CPUtime=4.36 cores=0,2,4,6
/proc/23150/task/23602/stat : 23602 (java) R 23148 23150 22184 0 -1 4202560 5 0 0 0 436 0 0 0 20 0 22 0 253513023 10060460032 806945 33554432000 1073741824 1073778376 140736032216192 140447079220224 140447192872355 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=23150/tid=23603] ppid=23148 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23150/task/23603/stat : 23603 (java) S 23148 23150 22184 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253513023 10060460032 806945 33554432000 1073741824 1073778376 140736032216192 140447080272808 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1662.07
Current children cumulated vsize (KiB) 9824668
[startup+1002.3 s]
/proc/loadavg: 3.37 3.40 3.12 5/219 23732
/proc/meminfo: memFree=24075132/32873648 swapFree=6864/6864
[pid=23150] ppid=23148 vsize=9824668 CPUtime=1755.29 cores=0,2,4,6
/proc/23150/stat : 23150 (java) S 23148 23150 22184 0 -1 4202496 30140 0 1 0 175272 257 0 0 20 0 22 0 253419824 10060460032 806919 33554432000 1073741824 1073778376 140736032216192 140736032207328 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23150/statm: 2456167 806919 2286 9 0 2446860 0
[pid=23150/tid=23152] ppid=23148 vsize=9824668 CPUtime=0.41 cores=0,2,4,6
/proc/23150/task/23152/stat : 23152 (java) S 23148 23150 22184 0 -1 4202560 2592 0 1 0 38 3 0 0 20 0 22 0 253419825 10060460032 806919 33554432000 1073741824 1073778376 140736032216192 140447333393400 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23150/tid=23153] ppid=23148 vsize=9824668 CPUtime=4.95 cores=0,2,4,6
/proc/23150/task/23153/stat : 23153 (java) S 23148 23150 22184 0 -1 4202560 771 0 0 0 477 18 0 0 20 0 22 0 253419826 10060460032 806919 33554432000 1073741824 1073778376 140736032216192 140447311493416 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23150/tid=23154] ppid=23148 vsize=9824668 CPUtime=4.66 cores=0,2,4,6
/proc/23150/task/23154/stat : 23154 (java) S 23148 23150 22184 0 -1 4202560 1296 0 0 0 446 20 0 0 20 0 22 0 253419826 10060460032 806919 33554432000 1073741824 1073778376 140736032216192 140447108294824 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23150/tid=23155] ppid=23148 vsize=9824668 CPUtime=4.3 cores=0,2,4,6
/proc/23150/task/23155/stat : 23155 (java) S 23148 23150 22184 0 -1 4202560 1312 0 0 0 412 18 0 0 20 0 22 0 253419826 10060460032 806919 33554432000 1073741824 1073778376 140736032216192 140447107242536 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23150/tid=23156] ppid=23148 vsize=9824668 CPUtime=4.35 cores=0,2,4,6
/proc/23150/task/23156/stat : 23156 (java) S 23148 23150 22184 0 -1 4202560 842 0 0 0 418 17 0 0 20 0 22 0 253419826 10060460032 806919 33554432000 1073741824 1073778376 140736032216192 140447106189736 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23150/tid=23157] ppid=23148 vsize=9824668 CPUtime=4.44 cores=0,2,4,6
/proc/23150/task/23157/stat : 23157 (java) S 23148 23150 22184 0 -1 4202560 730 0 0 0 427 17 0 0 20 0 22 0 253419826 10060460032 806919 33554432000 1073741824 1073778376 140736032216192 140447105137448 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23150/tid=23158] ppid=23148 vsize=9824668 CPUtime=4.76 cores=0,2,4,6
/proc/23150/task/23158/stat : 23158 (java) S 23148 23150 22184 0 -1 4202560 1206 0 0 0 462 14 0 0 20 0 22 0 253419826 10060460032 806919 33554432000 1073741824 1073778376 140736032216192 140447104084648 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23150/tid=23159] ppid=23148 vsize=9824668 CPUtime=4.45 cores=0,2,4,6
/proc/23150/task/23159/stat : 23159 (java) S 23148 23150 22184 0 -1 4202560 1740 0 0 0 426 19 0 0 20 0 22 0 253419826 10060460032 806919 33554432000 1073741824 1073778376 140736032216192 140447103032360 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23150/tid=23160] ppid=23148 vsize=9824668 CPUtime=4.67 cores=0,2,4,6
/proc/23150/task/23160/stat : 23160 (java) S 23148 23150 22184 0 -1 4202560 941 0 0 0 449 18 0 0 20 0 22 0 253419826 10060460032 806919 33554432000 1073741824 1073778376 140736032216192 140447101979560 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23150/tid=23161] ppid=23148 vsize=9824668 CPUtime=257.84 cores=0,2,4,6
/proc/23150/task/23161/stat : 23161 (java) S 23148 23150 22184 0 -1 4202560 4037 0 0 0 25747 37 0 0 20 0 22 0 253419827 10060460032 806919 33554432000 1073741824 1073778376 140736032216192 140447089780968 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23150/tid=23162] ppid=23148 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23150/task/23162/stat : 23162 (java) S 23148 23150 22184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253419827 10060460032 806919 33554432000 1073741824 1073778376 140736032216192 140447088727032 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23150/tid=23163] ppid=23148 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23150/task/23163/stat : 23163 (java) S 23148 23150 22184 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 253419827 10060460032 806919 33554432000 1073741824 1073778376 140736032216192 140447087674632 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23150/tid=23164] ppid=23148 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23150/task/23164/stat : 23164 (java) S 23148 23150 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253419830 10060460032 806919 33554432000 1073741824 1073778376 140736032216192 140447086623120 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23150/tid=23165] ppid=23148 vsize=9824668 CPUtime=0.94 cores=0,2,4,6
/proc/23150/task/23165/stat : 23165 (java) S 23148 23150 22184 0 -1 4202560 4279 0 0 0 94 0 0 0 20 0 22 0 253419830 10060460032 806919 33554432000 1073741824 1073778376 140736032216192 140447085570744 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23150/tid=23166] ppid=23148 vsize=9824668 CPUtime=1.46 cores=0,2,4,6
/proc/23150/task/23166/stat : 23166 (java) S 23148 23150 22184 0 -1 4202560 8275 0 0 0 144 2 0 0 20 0 22 0 253419830 10060460032 806919 33554432000 1073741824 1073778376 140736032216192 140447084517944 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23150/tid=23167] ppid=23148 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23150/task/23167/stat : 23167 (java) S 23148 23150 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253419830 10060460032 806919 33554432000 1073741824 1073778376 140736032216192 140447083465848 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23150/tid=23168] ppid=23148 vsize=9824668 CPUtime=0.34 cores=0,2,4,6
/proc/23150/task/23168/stat : 23168 (java) S 23148 23150 22184 0 -1 4202560 57 0 0 0 14 20 0 0 20 0 22 0 253419830 10060460032 806919 33554432000 1073741824 1073778376 140736032216192 140447082413256 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23150/tid=23172] ppid=23148 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23150/task/23172/stat : 23172 (java) S 23148 23150 22184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253419858 10060460032 806919 33554432000 1073741824 1073778376 140736032216192 140447078167592 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23150/tid=23601] ppid=23148 vsize=9824668 CPUtime=36.24 cores=0,2,4,6
/proc/23150/task/23601/stat : 23601 (java) R 23148 23150 22184 0 -1 4202560 3 0 0 0 3624 0 0 0 20 0 22 0 253513023 10060460032 806919 33554432000 1073741824 1073778376 140736032216192 140447081325536 140447192930135 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=23150/tid=23602] ppid=23148 vsize=9824668 CPUtime=36.24 cores=0,2,4,6
/proc/23150/task/23602/stat : 23602 (java) R 23148 23150 22184 0 -1 4202560 6 0 0 0 3624 0 0 0 20 0 22 0 253513023 10060460032 806919 33554432000 1073741824 1073778376 140736032216192 140447079218032 140447193227386 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=23150/tid=23603] ppid=23148 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23150/task/23603/stat : 23603 (java) S 23148 23150 22184 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253513023 10060460032 806919 33554432000 1073741824 1073778376 140736032216192 140447080272808 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1755.29
Current children cumulated vsize (KiB) 9824668
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1030.1 s]
/proc/loadavg: 3.43 3.41 3.13 5/219 23732
/proc/meminfo: memFree=24080528/32873648 swapFree=6864/6864
[pid=23150] ppid=23148 vsize=9824668 CPUtime=1800.1 cores=0,2,4,6
/proc/23150/stat : 23150 (java) S 23148 23150 22184 0 -1 4202496 30182 0 1 0 179751 259 0 0 20 0 22 0 253419824 10060460032 800246 33554432000 1073741824 1073778376 140736032216192 140736032207328 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23150/statm: 2456167 800246 2286 9 0 2446860 0
[pid=23150/tid=23152] ppid=23148 vsize=9824668 CPUtime=0.41 cores=0,2,4,6
/proc/23150/task/23152/stat : 23152 (java) S 23148 23150 22184 0 -1 4202560 2595 0 1 0 38 3 0 0 20 0 22 0 253419825 10060460032 800246 33554432000 1073741824 1073778376 140736032216192 140447333393400 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23150/tid=23153] ppid=23148 vsize=9824668 CPUtime=5.02 cores=0,2,4,6
/proc/23150/task/23153/stat : 23153 (java) S 23148 23150 22184 0 -1 4202560 773 0 0 0 484 18 0 0 20 0 22 0 253419826 10060460032 800246 33554432000 1073741824 1073778376 140736032216192 140447311493416 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23150/tid=23154] ppid=23148 vsize=9824668 CPUtime=4.8 cores=0,2,4,6
/proc/23150/task/23154/stat : 23154 (java) S 23148 23150 22184 0 -1 4202560 1296 0 0 0 460 20 0 0 20 0 22 0 253419826 10060460032 800246 33554432000 1073741824 1073778376 140736032216192 140447108294824 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23150/tid=23155] ppid=23148 vsize=9824668 CPUtime=4.38 cores=0,2,4,6
/proc/23150/task/23155/stat : 23155 (java) S 23148 23150 22184 0 -1 4202560 1313 0 0 0 420 18 0 0 20 0 22 0 253419826 10060460032 800246 33554432000 1073741824 1073778376 140736032216192 140447107242536 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23150/tid=23156] ppid=23148 vsize=9824668 CPUtime=4.49 cores=0,2,4,6
/proc/23150/task/23156/stat : 23156 (java) S 23148 23150 22184 0 -1 4202560 850 0 0 0 432 17 0 0 20 0 22 0 253419826 10060460032 800246 33554432000 1073741824 1073778376 140736032216192 140447106189736 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23150/tid=23157] ppid=23148 vsize=9824668 CPUtime=4.55 cores=0,2,4,6
/proc/23150/task/23157/stat : 23157 (java) S 23148 23150 22184 0 -1 4202560 739 0 0 0 438 17 0 0 20 0 22 0 253419826 10060460032 800246 33554432000 1073741824 1073778376 140736032216192 140447105137448 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23150/tid=23158] ppid=23148 vsize=9824668 CPUtime=4.88 cores=0,2,4,6
/proc/23150/task/23158/stat : 23158 (java) S 23148 23150 22184 0 -1 4202560 1206 0 0 0 474 14 0 0 20 0 22 0 253419826 10060460032 800246 33554432000 1073741824 1073778376 140736032216192 140447104084648 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23150/tid=23159] ppid=23148 vsize=9824668 CPUtime=4.51 cores=0,2,4,6
/proc/23150/task/23159/stat : 23159 (java) S 23148 23150 22184 0 -1 4202560 1740 0 0 0 432 19 0 0 20 0 22 0 253419826 10060460032 800246 33554432000 1073741824 1073778376 140736032216192 140447103032360 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23150/tid=23160] ppid=23148 vsize=9824668 CPUtime=4.77 cores=0,2,4,6
/proc/23150/task/23160/stat : 23160 (java) S 23148 23150 22184 0 -1 4202560 941 0 0 0 459 18 0 0 20 0 22 0 253419826 10060460032 800246 33554432000 1073741824 1073778376 140736032216192 140447101979560 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23150/tid=23161] ppid=23148 vsize=9824668 CPUtime=269.04 cores=0,2,4,6
/proc/23150/task/23161/stat : 23161 (java) S 23148 23150 22184 0 -1 4202560 4054 0 0 0 26866 38 0 0 20 0 22 0 253419827 10060460032 800246 33554432000 1073741824 1073778376 140736032216192 140447089780968 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23150/tid=23162] ppid=23148 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23150/task/23162/stat : 23162 (java) S 23148 23150 22184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253419827 10060460032 800246 33554432000 1073741824 1073778376 140736032216192 140447088727032 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23150/tid=23163] ppid=23148 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23150/task/23163/stat : 23163 (java) S 23148 23150 22184 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 253419827 10060460032 800246 33554432000 1073741824 1073778376 140736032216192 140447087674632 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23150/tid=23164] ppid=23148 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23150/task/23164/stat : 23164 (java) S 23148 23150 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253419830 10060460032 800246 33554432000 1073741824 1073778376 140736032216192 140447086623120 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23150/tid=23165] ppid=23148 vsize=9824668 CPUtime=0.94 cores=0,2,4,6
/proc/23150/task/23165/stat : 23165 (java) S 23148 23150 22184 0 -1 4202560 4279 0 0 0 94 0 0 0 20 0 22 0 253419830 10060460032 800246 33554432000 1073741824 1073778376 140736032216192 140447085570744 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23150/tid=23166] ppid=23148 vsize=9824668 CPUtime=1.46 cores=0,2,4,6
/proc/23150/task/23166/stat : 23166 (java) S 23148 23150 22184 0 -1 4202560 8275 0 0 0 144 2 0 0 20 0 22 0 253419830 10060460032 800246 33554432000 1073741824 1073778376 140736032216192 140447084517944 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23150/tid=23167] ppid=23148 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23150/task/23167/stat : 23167 (java) S 23148 23150 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253419830 10060460032 800246 33554432000 1073741824 1073778376 140736032216192 140447083465848 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23150/tid=23168] ppid=23148 vsize=9824668 CPUtime=0.35 cores=0,2,4,6
/proc/23150/task/23168/stat : 23168 (java) S 23148 23150 22184 0 -1 4202560 59 0 0 0 14 21 0 0 20 0 22 0 253419830 10060460032 800246 33554432000 1073741824 1073778376 140736032216192 140447082413256 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23150/tid=23172] ppid=23148 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23150/task/23172/stat : 23172 (java) S 23148 23150 22184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253419858 10060460032 800246 33554432000 1073741824 1073778376 140736032216192 140447078167592 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23150/tid=23601] ppid=23148 vsize=9824668 CPUtime=52.65 cores=0,2,4,6
/proc/23150/task/23601/stat : 23601 (java) R 23148 23150 22184 0 -1 4202560 3 0 0 0 5265 0 0 0 20 0 22 0 253513023 10060460032 800246 33554432000 1073741824 1073778376 140736032216192 140447081325536 140447192892436 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=23150/tid=23602] ppid=23148 vsize=9824668 CPUtime=52.64 cores=0,2,4,6
/proc/23150/task/23602/stat : 23602 (java) R 23148 23150 22184 0 -1 4202560 6 0 0 0 5264 0 0 0 20 0 22 0 253513023 10060460032 800246 33554432000 1073741824 1073778376 140736032216192 140447079218272 140447192740339 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=23150/tid=23603] ppid=23148 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23150/task/23603/stat : 23603 (java) S 23148 23150 22184 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253513023 10060460032 800246 33554432000 1073741824 1073778376 140736032216192 140447080272808 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 9824668
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1030.1 s]
/proc/loadavg: 3.43 3.41 3.13 5/219 23732
/proc/meminfo: memFree=24080528/32873648 swapFree=6864/6864
[pid=23150] ppid=23148 vsize=9824668 CPUtime=1800.1 cores=0,2,4,6
/proc/23150/stat : 23150 (java) S 23148 23150 22184 0 -1 4202496 30182 0 1 0 179751 259 0 0 20 0 22 0 253419824 10060460032 800246 33554432000 1073741824 1073778376 140736032216192 140736032207328 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23150/statm: 2456167 800246 2286 9 0 2446860 0
[pid=23150/tid=23152] ppid=23148 vsize=9824668 CPUtime=0.41 cores=0,2,4,6
/proc/23150/task/23152/stat : 23152 (java) S 23148 23150 22184 0 -1 4202560 2595 0 1 0 38 3 0 0 20 0 22 0 253419825 10060460032 800246 33554432000 1073741824 1073778376 140736032216192 140447333393400 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23150/tid=23153] ppid=23148 vsize=9824668 CPUtime=5.02 cores=0,2,4,6
/proc/23150/task/23153/stat : 23153 (java) S 23148 23150 22184 0 -1 4202560 773 0 0 0 484 18 0 0 20 0 22 0 253419826 10060460032 800246 33554432000 1073741824 1073778376 140736032216192 140447311493416 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23150/tid=23154] ppid=23148 vsize=9824668 CPUtime=4.8 cores=0,2,4,6
/proc/23150/task/23154/stat : 23154 (java) S 23148 23150 22184 0 -1 4202560 1296 0 0 0 460 20 0 0 20 0 22 0 253419826 10060460032 800246 33554432000 1073741824 1073778376 140736032216192 140447108294824 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23150/tid=23155] ppid=23148 vsize=9824668 CPUtime=4.38 cores=0,2,4,6
/proc/23150/task/23155/stat : 23155 (java) S 23148 23150 22184 0 -1 4202560 1313 0 0 0 420 18 0 0 20 0 22 0 253419826 10060460032 800246 33554432000 1073741824 1073778376 140736032216192 140447107242536 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23150/tid=23156] ppid=23148 vsize=9824668 CPUtime=4.49 cores=0,2,4,6
/proc/23150/task/23156/stat : 23156 (java) S 23148 23150 22184 0 -1 4202560 850 0 0 0 432 17 0 0 20 0 22 0 253419826 10060460032 800246 33554432000 1073741824 1073778376 140736032216192 140447106189736 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23150/tid=23157] ppid=23148 vsize=9824668 CPUtime=4.55 cores=0,2,4,6
/proc/23150/task/23157/stat : 23157 (java) S 23148 23150 22184 0 -1 4202560 739 0 0 0 438 17 0 0 20 0 22 0 253419826 10060460032 800246 33554432000 1073741824 1073778376 140736032216192 140447105137448 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23150/tid=23158] ppid=23148 vsize=9824668 CPUtime=4.88 cores=0,2,4,6
/proc/23150/task/23158/stat : 23158 (java) S 23148 23150 22184 0 -1 4202560 1206 0 0 0 474 14 0 0 20 0 22 0 253419826 10060460032 800246 33554432000 1073741824 1073778376 140736032216192 140447104084648 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23150/tid=23159] ppid=23148 vsize=9824668 CPUtime=4.51 cores=0,2,4,6
/proc/23150/task/23159/stat : 23159 (java) S 23148 23150 22184 0 -1 4202560 1740 0 0 0 432 19 0 0 20 0 22 0 253419826 10060460032 800246 33554432000 1073741824 1073778376 140736032216192 140447103032360 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23150/tid=23160] ppid=23148 vsize=9824668 CPUtime=4.77 cores=0,2,4,6
/proc/23150/task/23160/stat : 23160 (java) S 23148 23150 22184 0 -1 4202560 941 0 0 0 459 18 0 0 20 0 22 0 253419826 10060460032 800246 33554432000 1073741824 1073778376 140736032216192 140447101979560 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23150/tid=23161] ppid=23148 vsize=9824668 CPUtime=269.04 cores=0,2,4,6
/proc/23150/task/23161/stat : 23161 (java) S 23148 23150 22184 0 -1 4202560 4054 0 0 0 26866 38 0 0 20 0 22 0 253419827 10060460032 800246 33554432000 1073741824 1073778376 140736032216192 140447089780968 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23150/tid=23162] ppid=23148 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23150/task/23162/stat : 23162 (java) S 23148 23150 22184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253419827 10060460032 800246 33554432000 1073741824 1073778376 140736032216192 140447088727032 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23150/tid=23163] ppid=23148 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23150/task/23163/stat : 23163 (java) S 23148 23150 22184 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 253419827 10060460032 800246 33554432000 1073741824 1073778376 140736032216192 140447087674632 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23150/tid=23164] ppid=23148 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23150/task/23164/stat : 23164 (java) S 23148 23150 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253419830 10060460032 800246 33554432000 1073741824 1073778376 140736032216192 140447086623120 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23150/tid=23165] ppid=23148 vsize=9824668 CPUtime=0.94 cores=0,2,4,6
/proc/23150/task/23165/stat : 23165 (java) S 23148 23150 22184 0 -1 4202560 4279 0 0 0 94 0 0 0 20 0 22 0 253419830 10060460032 800246 33554432000 1073741824 1073778376 140736032216192 140447085570744 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23150/tid=23166] ppid=23148 vsize=9824668 CPUtime=1.46 cores=0,2,4,6
/proc/23150/task/23166/stat : 23166 (java) S 23148 23150 22184 0 -1 4202560 8275 0 0 0 144 2 0 0 20 0 22 0 253419830 10060460032 800246 33554432000 1073741824 1073778376 140736032216192 140447084517944 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23150/tid=23167] ppid=23148 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23150/task/23167/stat : 23167 (java) S 23148 23150 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253419830 10060460032 800246 33554432000 1073741824 1073778376 140736032216192 140447083465848 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23150/tid=23168] ppid=23148 vsize=9824668 CPUtime=0.35 cores=0,2,4,6
/proc/23150/task/23168/stat : 23168 (java) S 23148 23150 22184 0 -1 4202560 59 0 0 0 14 21 0 0 20 0 22 0 253419830 10060460032 800246 33554432000 1073741824 1073778376 140736032216192 140447082413256 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23150/tid=23172] ppid=23148 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23150/task/23172/stat : 23172 (java) S 23148 23150 22184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253419858 10060460032 800246 33554432000 1073741824 1073778376 140736032216192 140447078167592 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23150/tid=23601] ppid=23148 vsize=9824668 CPUtime=52.65 cores=0,2,4,6
/proc/23150/task/23601/stat : 23601 (java) R 23148 23150 22184 0 -1 4202560 3 0 0 0 5265 0 0 0 20 0 22 0 253513023 10060460032 800246 33554432000 1073741824 1073778376 140736032216192 140447081325536 140447192892436 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=23150/tid=23602] ppid=23148 vsize=9824668 CPUtime=52.64 cores=0,2,4,6
/proc/23150/task/23602/stat : 23602 (java) R 23148 23150 22184 0 -1 4202560 6 0 0 0 5264 0 0 0 20 0 22 0 253513023 10060460032 800246 33554432000 1073741824 1073778376 140736032216192 140447079218272 140447192740339 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=23150/tid=23603] ppid=23148 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23150/task/23603/stat : 23603 (java) S 23148 23150 22184 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253513023 10060460032 800246 33554432000 1073741824 1073778376 140736032216192 140447080272808 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 9824668
Child status: 143
Real time (s): 1030.16
CPU time (s): 1800.47
CPU user time (s): 1797.62
CPU system time (s): 2.85257
CPU usage (%): 174.777
Max. virtual memory (cumulated for all children) (KiB): 9825180
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.62
system time used= 2.85257
maximum resident set size= 3227808
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30214
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1064
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 29935
involuntary context switches= 58036
runsolver used 3.75143 second user time and 9.07462 second system time
The end