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-3689514-1337882681/watcher-3689514-1337882681 -o /tmp/evaluation-result-3689514-1337882681/solver-3689514-1337882681 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3689514-1337882681.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.81 3.80 3.24 5/197 29038
/proc/meminfo: memFree=27454432/32873648 swapFree=6856/6856
[pid=29038] ppid=29036 vsize=2500 CPUtime=0 cores=0,2,4,6
/proc/29038/stat : 29038 (java) D 29036 29038 24583 0 -1 4202496 93 0 0 0 0 0 0 0 20 0 1 0 254393556 2560000 46 33554432000 1073741824 1073778376 140735526430144 140735526427272 270698376487 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/29038/statm: 625 46 37 9 0 29 0
[startup+0.066429 s]
/proc/loadavg: 3.81 3.80 3.24 5/197 29038
/proc/meminfo: memFree=27454432/32873648 swapFree=6856/6856
[pid=29038] ppid=29036 vsize=9225560 CPUtime=0.03 cores=0,2,4,6
/proc/29038/stat : 29038 (java) S 29036 29038 24583 0 -1 4202496 3081 0 1 0 3 0 0 0 20 0 13 0 254393556 9446973440 4289 33554432000 1073741824 1073778376 140735487776256 140735487767392 270710898749 0 0 0 16800971 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29038/statm: 2306390 4290 1708 9 0 2297091 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9225560
[startup+0.10021 s]
/proc/loadavg: 3.81 3.80 3.24 5/197 29038
/proc/meminfo: memFree=27454432/32873648 swapFree=6856/6856
[pid=29038] ppid=29036 vsize=9558412 CPUtime=0.07 cores=0,2,4,6
/proc/29038/stat : 29038 (java) S 29036 29038 24583 0 -1 4202496 4159 0 1 0 7 0 0 0 20 0 18 0 254393556 9787813888 5359 33554432000 1073741824 1073778376 140735487776256 140735487767392 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29038/statm: 2389603 5359 2080 9 0 2380296 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9558412
[startup+0.300231 s]
/proc/loadavg: 3.81 3.80 3.24 5/197 29038
/proc/meminfo: memFree=27454432/32873648 swapFree=6856/6856
[pid=29038] ppid=29036 vsize=9558412 CPUtime=0.48 cores=0,2,4,6
/proc/29038/stat : 29038 (java) S 29036 29038 24583 0 -1 4202496 5848 0 1 0 47 1 0 0 20 0 18 0 254393556 9787813888 18339 33554432000 1073741824 1073778376 140735487776256 140735487767392 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29038/statm: 2389603 18339 2217 9 0 2380296 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9558412
[startup+0.700171 s]
/proc/loadavg: 3.81 3.80 3.24 5/197 29038
/proc/meminfo: memFree=27454432/32873648 swapFree=6856/6856
[pid=29038] ppid=29036 vsize=9824668 CPUtime=1.98 cores=0,2,4,6
/proc/29038/stat : 29038 (java) S 29036 29038 24583 0 -1 4202496 17015 0 1 0 195 3 0 0 20 0 22 0 254393556 10060460032 38098 33554432000 1073741824 1073778376 140735487776256 140735487767392 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29038/statm: 2456167 38098 2249 9 0 2446860 0
Current children cumulated CPU time (s) 1.98
Current children cumulated vsize (KiB) 9824668
[startup+1.5007 s]
/proc/loadavg: 3.81 3.80 3.24 8/219 29060
/proc/meminfo: memFree=27273332/32873648 swapFree=6856/6856
[pid=29038] ppid=29036 vsize=9824668 CPUtime=4.92 cores=0,2,4,6
/proc/29038/stat : 29038 (java) S 29036 29038 24583 0 -1 4202496 25971 0 1 0 486 6 0 0 20 0 22 0 254393556 10060460032 49828 33554432000 1073741824 1073778376 140735487776256 140735487767392 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29038/statm: 2456167 49828 2285 9 0 2446860 0
[pid=29038/tid=29040] ppid=29036 vsize=9824668 CPUtime=0.33 cores=0,2,4,6
/proc/29038/task/29040/stat : 29040 (java) S 29036 29038 24583 0 -1 4202560 2492 0 1 0 31 2 0 0 20 0 22 0 254393558 10060460032 49828 33554432000 1073741824 1073778376 140735487776256 140396329067512 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29038/tid=29041] ppid=29036 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29038/task/29041/stat : 29041 (java) S 29036 29038 24583 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254393559 10060460032 49828 33554432000 1073741824 1073778376 140735487776256 140396172835112 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29038/tid=29042] ppid=29036 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29038/task/29042/stat : 29042 (java) S 29036 29038 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254393559 10060460032 49828 33554432000 1073741824 1073778376 140735487776256 140396171782312 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29038/tid=29043] ppid=29036 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29038/task/29043/stat : 29043 (java) S 29036 29038 24583 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 254393559 10060460032 49828 33554432000 1073741824 1073778376 140735487776256 140396170730024 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29038/tid=29044] ppid=29036 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29038/task/29044/stat : 29044 (java) S 29036 29038 24583 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 254393559 10060460032 49828 33554432000 1073741824 1073778376 140735487776256 140396169677224 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29038/tid=29045] ppid=29036 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29038/task/29045/stat : 29045 (java) S 29036 29038 24583 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 254393559 10060460032 49828 33554432000 1073741824 1073778376 140735487776256 140396168624936 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29038/tid=29046] ppid=29036 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29038/task/29046/stat : 29046 (java) S 29036 29038 24583 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 254393559 10060460032 49828 33554432000 1073741824 1073778376 140735487776256 140396167572136 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29038/tid=29047] ppid=29036 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29038/task/29047/stat : 29047 (java) S 29036 29038 24583 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 254393559 10060460032 49828 33554432000 1073741824 1073778376 140735487776256 140396166519848 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29038/tid=29048] ppid=29036 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29038/task/29048/stat : 29048 (java) S 29036 29038 24583 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254393559 10060460032 49828 33554432000 1073741824 1073778376 140735487776256 140396165467048 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29038/tid=29049] ppid=29036 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/29038/task/29049/stat : 29049 (java) R 29036 29038 24583 0 -1 4202560 32 0 0 0 1 0 0 0 20 0 22 0 254393560 10060460032 49828 33554432000 1073741824 1073778376 140735487776256 140396153267432 140396335193231 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=29038/tid=29050] ppid=29036 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29038/task/29050/stat : 29050 (java) S 29036 29038 24583 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254393561 10060460032 49828 33554432000 1073741824 1073778376 140735487776256 140396152214520 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29038/tid=29051] ppid=29036 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29038/task/29051/stat : 29051 (java) S 29036 29038 24583 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254393561 10060460032 49828 33554432000 1073741824 1073778376 140735487776256 140396151162120 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29038/tid=29052] ppid=29036 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29038/task/29052/stat : 29052 (java) S 29036 29038 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254393563 10060460032 49828 33554432000 1073741824 1073778376 140735487776256 140396150110608 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29038/tid=29053] ppid=29036 vsize=9824668 CPUtime=1.24 cores=0,2,4,6
/proc/29038/task/29053/stat : 29053 (java) S 29036 29038 24583 0 -1 4202560 12672 0 0 0 123 1 0 0 20 0 22 0 254393563 10060460032 49828 33554432000 1073741824 1073778376 140735487776256 140396149044328 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29038/tid=29054] ppid=29036 vsize=9824668 CPUtime=1.08 cores=0,2,4,6
/proc/29038/task/29054/stat : 29054 (java) S 29036 29038 24583 0 -1 4202560 9417 0 0 0 106 2 0 0 20 0 22 0 254393563 10060460032 49828 33554432000 1073741824 1073778376 140735487776256 140396148005432 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29038/tid=29055] ppid=29036 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29038/task/29055/stat : 29055 (java) S 29036 29038 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254393563 10060460032 49828 33554432000 1073741824 1073778376 140735487776256 140396146953336 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29038/tid=29056] ppid=29036 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29038/task/29056/stat : 29056 (java) S 29036 29038 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254393563 10060460032 49828 33554432000 1073741824 1073778376 140735487776256 140396145900744 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29038/tid=29057] ppid=29036 vsize=9824668 CPUtime=1.06 cores=0,2,4,6
/proc/29038/task/29057/stat : 29057 (java) S 29036 29038 24583 0 -1 4202560 29 0 0 0 106 0 0 0 20 0 22 0 254393594 10060460032 49828 33554432000 1073741824 1073778376 140735487776256 140396144845144 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29038/tid=29058] ppid=29036 vsize=9824668 CPUtime=1.06 cores=0,2,4,6
/proc/29038/task/29058/stat : 29058 (java) S 29036 29038 24583 0 -1 4202560 87 0 0 0 106 0 0 0 20 0 22 0 254393594 10060460032 49828 33554432000 1073741824 1073778376 140735487776256 140396143790152 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29038/tid=29059] ppid=29036 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29038/task/29059/stat : 29059 (java) S 29036 29038 24583 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254393595 10060460032 49828 33554432000 1073741824 1073778376 140735487776256 140396142740648 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29038/tid=29060] ppid=29036 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29038/task/29060/stat : 29060 (java) S 29036 29038 24583 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254393595 10060460032 49828 33554432000 1073741824 1073778376 140735487776256 140396141687848 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 4.92
Current children cumulated vsize (KiB) 9824668
[startup+3.10071 s]
/proc/loadavg: 3.81 3.80 3.24 10/219 29060
/proc/meminfo: memFree=27261972/32873648 swapFree=6856/6856
[pid=29038] ppid=29036 vsize=9824668 CPUtime=8.23 cores=0,2,4,6
/proc/29038/stat : 29038 (java) S 29036 29038 24583 0 -1 4202496 26087 0 1 0 815 8 0 0 20 0 22 0 254393556 10060460032 60209 33554432000 1073741824 1073778376 140735487776256 140735487767392 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29038/statm: 2456167 60209 2285 9 0 2446860 0
[pid=29038/tid=29040] ppid=29036 vsize=9824668 CPUtime=0.33 cores=0,2,4,6
/proc/29038/task/29040/stat : 29040 (java) S 29036 29038 24583 0 -1 4202560 2492 0 1 0 31 2 0 0 20 0 22 0 254393558 10060460032 60209 33554432000 1073741824 1073778376 140735487776256 140396329067512 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29038/tid=29041] ppid=29036 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/29038/task/29041/stat : 29041 (java) S 29036 29038 24583 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 22 0 254393559 10060460032 60209 33554432000 1073741824 1073778376 140735487776256 140396172835112 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29038/tid=29042] ppid=29036 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29038/task/29042/stat : 29042 (java) S 29036 29038 24583 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 254393559 10060460032 60209 33554432000 1073741824 1073778376 140735487776256 140396171782312 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29038/tid=29043] ppid=29036 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/29038/task/29043/stat : 29043 (java) S 29036 29038 24583 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 22 0 254393559 10060460032 60209 33554432000 1073741824 1073778376 140735487776256 140396170730024 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29038/tid=29044] ppid=29036 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29038/task/29044/stat : 29044 (java) S 29036 29038 24583 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254393559 10060460032 60209 33554432000 1073741824 1073778376 140735487776256 140396169677224 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29038/tid=29045] ppid=29036 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/29038/task/29045/stat : 29045 (java) S 29036 29038 24583 0 -1 4202560 23 0 0 0 1 0 0 0 20 0 22 0 254393559 10060460032 60209 33554432000 1073741824 1073778376 140735487776256 140396168624936 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29038/tid=29046] ppid=29036 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/29038/task/29046/stat : 29046 (java) S 29036 29038 24583 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 22 0 254393559 10060460032 60209 33554432000 1073741824 1073778376 140735487776256 140396167572136 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29038/tid=29047] ppid=29036 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/29038/task/29047/stat : 29047 (java) S 29036 29038 24583 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 22 0 254393559 10060460032 60209 33554432000 1073741824 1073778376 140735487776256 140396166519848 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29038/tid=29048] ppid=29036 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/29038/task/29048/stat : 29048 (java) S 29036 29038 24583 0 -1 4202560 10 0 0 0 2 0 0 0 20 0 22 0 254393559 10060460032 60209 33554432000 1073741824 1073778376 140735487776256 140396165467048 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29038/tid=29049] ppid=29036 vsize=9824668 CPUtime=0.17 cores=0,2,4,6
/proc/29038/task/29049/stat : 29049 (java) S 29036 29038 24583 0 -1 4202560 105 0 0 0 17 0 0 0 20 0 22 0 254393560 10060460032 60209 33554432000 1073741824 1073778376 140735487776256 140396153268456 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29038/tid=29050] ppid=29036 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29038/task/29050/stat : 29050 (java) S 29036 29038 24583 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254393561 10060460032 60209 33554432000 1073741824 1073778376 140735487776256 140396152214520 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29038/tid=29051] ppid=29036 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29038/task/29051/stat : 29051 (java) S 29036 29038 24583 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254393561 10060460032 60209 33554432000 1073741824 1073778376 140735487776256 140396151162120 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29038/tid=29052] ppid=29036 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29038/task/29052/stat : 29052 (java) S 29036 29038 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254393563 10060460032 60209 33554432000 1073741824 1073778376 140735487776256 140396150110608 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29038/tid=29053] ppid=29036 vsize=9824668 CPUtime=1.39 cores=0,2,4,6
/proc/29038/task/29053/stat : 29053 (java) S 29036 29038 24583 0 -1 4202560 12673 0 0 0 138 1 0 0 20 0 22 0 254393563 10060460032 60209 33554432000 1073741824 1073778376 140735487776256 140396149058232 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29038/tid=29054] ppid=29036 vsize=9824668 CPUtime=1.14 cores=0,2,4,6
/proc/29038/task/29054/stat : 29054 (java) S 29036 29038 24583 0 -1 4202560 9418 0 0 0 112 2 0 0 20 0 22 0 254393563 10060460032 60209 33554432000 1073741824 1073778376 140735487776256 140396148005432 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29038/tid=29055] ppid=29036 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29038/task/29055/stat : 29055 (java) S 29036 29038 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254393563 10060460032 60209 33554432000 1073741824 1073778376 140735487776256 140396146953336 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29038/tid=29056] ppid=29036 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29038/task/29056/stat : 29056 (java) S 29036 29038 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254393563 10060460032 60209 33554432000 1073741824 1073778376 140735487776256 140396145900744 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29038/tid=29057] ppid=29036 vsize=9824668 CPUtime=2.45 cores=0,2,4,6
/proc/29038/task/29057/stat : 29057 (java) R 29036 29038 24583 0 -1 4202560 29 0 0 0 245 0 0 0 20 0 22 0 254393594 10060460032 60209 33554432000 1073741824 1073778376 140735487776256 140396144845024 140396190096760 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=29038/tid=29058] ppid=29036 vsize=9824668 CPUtime=2.46 cores=0,2,4,6
/proc/29038/task/29058/stat : 29058 (java) R 29036 29038 24583 0 -1 4202560 96 0 0 0 246 0 0 0 20 0 22 0 254393594 10060460032 60209 33554432000 1073741824 1073778376 140735487776256 140396143789672 140396190279170 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=29038/tid=29059] ppid=29036 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29038/task/29059/stat : 29059 (java) S 29036 29038 24583 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254393595 10060460032 60209 33554432000 1073741824 1073778376 140735487776256 140396142740648 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29038/tid=29060] ppid=29036 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29038/task/29060/stat : 29060 (java) S 29036 29038 24583 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254393595 10060460032 60209 33554432000 1073741824 1073778376 140735487776256 140396141687848 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 8.23
Current children cumulated vsize (KiB) 9824668
[startup+6.30072 s]
/proc/loadavg: 3.83 3.80 3.24 5/219 29060
/proc/meminfo: memFree=27142328/32873648 swapFree=6856/6856
[pid=29038] ppid=29036 vsize=9824668 CPUtime=14.64 cores=0,2,4,6
/proc/29038/stat : 29038 (java) S 29036 29038 24583 0 -1 4202496 26171 0 1 0 1453 11 0 0 20 0 22 0 254393556 10060460032 81915 33554432000 1073741824 1073778376 140735487776256 140735487767392 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29038/statm: 2456167 81915 2285 9 0 2446860 0
[pid=29038/tid=29040] ppid=29036 vsize=9824668 CPUtime=0.33 cores=0,2,4,6
/proc/29038/task/29040/stat : 29040 (java) S 29036 29038 24583 0 -1 4202560 2493 0 1 0 31 2 0 0 20 0 22 0 254393558 10060460032 81915 33554432000 1073741824 1073778376 140735487776256 140396329067512 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29038/tid=29041] ppid=29036 vsize=9824668 CPUtime=0.04 cores=0,2,4,6
/proc/29038/task/29041/stat : 29041 (java) S 29036 29038 24583 0 -1 4202560 20 0 0 0 4 0 0 0 20 0 22 0 254393559 10060460032 81915 33554432000 1073741824 1073778376 140735487776256 140396172835112 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29038/tid=29042] ppid=29036 vsize=9824668 CPUtime=0.03 cores=0,2,4,6
/proc/29038/task/29042/stat : 29042 (java) S 29036 29038 24583 0 -1 4202560 15 0 0 0 3 0 0 0 20 0 22 0 254393559 10060460032 81915 33554432000 1073741824 1073778376 140735487776256 140396171782312 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29038/tid=29043] ppid=29036 vsize=9824668 CPUtime=0.03 cores=0,2,4,6
/proc/29038/task/29043/stat : 29043 (java) S 29036 29038 24583 0 -1 4202560 18 0 0 0 3 0 0 0 20 0 22 0 254393559 10060460032 81915 33554432000 1073741824 1073778376 140735487776256 140396170730024 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29038/tid=29044] ppid=29036 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29038/task/29044/stat : 29044 (java) S 29036 29038 24583 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254393559 10060460032 81915 33554432000 1073741824 1073778376 140735487776256 140396169677224 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29038/tid=29045] ppid=29036 vsize=9824668 CPUtime=0.03 cores=0,2,4,6
/proc/29038/task/29045/stat : 29045 (java) S 29036 29038 24583 0 -1 4202560 25 0 0 0 3 0 0 0 20 0 22 0 254393559 10060460032 81915 33554432000 1073741824 1073778376 140735487776256 140396168624936 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29038/tid=29046] ppid=29036 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/29038/task/29046/stat : 29046 (java) S 29036 29038 24583 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 22 0 254393559 10060460032 81915 33554432000 1073741824 1073778376 140735487776256 140396167572136 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29038/tid=29047] ppid=29036 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/29038/task/29047/stat : 29047 (java) S 29036 29038 24583 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 22 0 254393559 10060460032 81915 33554432000 1073741824 1073778376 140735487776256 140396166519848 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29038/tid=29048] ppid=29036 vsize=9824668 CPUtime=0.04 cores=0,2,4,6
/proc/29038/task/29048/stat : 29048 (java) S 29036 29038 24583 0 -1 4202560 20 0 0 0 4 0 0 0 20 0 22 0 254393559 10060460032 81915 33554432000 1073741824 1073778376 140735487776256 140396165467048 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29038/tid=29049] ppid=29036 vsize=9824668 CPUtime=0.36 cores=0,2,4,6
/proc/29038/task/29049/stat : 29049 (java) S 29036 29038 24583 0 -1 4202560 113 0 0 0 35 1 0 0 20 0 22 0 254393560 10060460032 81915 33554432000 1073741824 1073778376 140735487776256 140396153268456 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29038/tid=29050] ppid=29036 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29038/task/29050/stat : 29050 (java) S 29036 29038 24583 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254393561 10060460032 81915 33554432000 1073741824 1073778376 140735487776256 140396152214520 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29038/tid=29051] ppid=29036 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29038/task/29051/stat : 29051 (java) S 29036 29038 24583 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254393561 10060460032 81915 33554432000 1073741824 1073778376 140735487776256 140396151162120 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29038/tid=29052] ppid=29036 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29038/task/29052/stat : 29052 (java) S 29036 29038 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254393563 10060460032 81915 33554432000 1073741824 1073778376 140735487776256 140396150110608 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29038/tid=29053] ppid=29036 vsize=9824668 CPUtime=1.46 cores=0,2,4,6
/proc/29038/task/29053/stat : 29053 (java) S 29036 29038 24583 0 -1 4202560 12673 0 0 0 145 1 0 0 20 0 22 0 254393563 10060460032 81915 33554432000 1073741824 1073778376 140735487776256 140396149058232 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
################
# More data... #
################
[pid=29038/tid=29058] ppid=29036 vsize=9824668 CPUtime=743.42 cores=0,2,4,6
/proc/29038/task/29058/stat : 29058 (java) S 29036 29038 24583 0 -1 4202560 1009 0 0 0 74305 37 0 0 20 0 22 0 254393594 10060460032 955330 33554432000 1073741824 1073778376 140735487776256 140396143790344 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29038/tid=29059] ppid=29036 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29038/task/29059/stat : 29059 (java) S 29036 29038 24583 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254393595 10060460032 955330 33554432000 1073741824 1073778376 140735487776256 140396142740648 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29038/tid=29060] ppid=29036 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29038/task/29060/stat : 29060 (java) S 29036 29038 24583 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254393595 10060460032 955330 33554432000 1073741824 1073778376 140735487776256 140396141687848 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1582.46
Current children cumulated vsize (KiB) 9824668
[startup+882.301 s]
/proc/loadavg: 3.93 3.87 3.63 5/219 29138
/proc/meminfo: memFree=21294764/32873648 swapFree=6856/6856
[pid=29038] ppid=29036 vsize=9824668 CPUtime=1700.53 cores=0,2,4,6
/proc/29038/stat : 29038 (java) S 29036 29038 24583 0 -1 4202496 38063 0 1 0 169908 145 0 0 20 0 22 0 254393556 10060460032 967295 33554432000 1073741824 1073778376 140735487776256 140735487767392 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29038/statm: 2456167 967295 2286 9 0 2446860 0
[pid=29038/tid=29040] ppid=29036 vsize=9824668 CPUtime=0.36 cores=0,2,4,6
/proc/29038/task/29040/stat : 29040 (java) S 29036 29038 24583 0 -1 4202560 2537 0 1 0 33 3 0 0 20 0 22 0 254393558 10060460032 967295 33554432000 1073741824 1073778376 140735487776256 140396329067512 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29038/tid=29041] ppid=29036 vsize=9824668 CPUtime=2.43 cores=0,2,4,6
/proc/29038/task/29041/stat : 29041 (java) S 29036 29038 24583 0 -1 4202560 675 0 0 0 233 10 0 0 20 0 22 0 254393559 10060460032 967295 33554432000 1073741824 1073778376 140735487776256 140396172835112 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29038/tid=29042] ppid=29036 vsize=9824668 CPUtime=2.44 cores=0,2,4,6
/proc/29038/task/29042/stat : 29042 (java) S 29036 29038 24583 0 -1 4202560 548 0 0 0 233 11 0 0 20 0 22 0 254393559 10060460032 967295 33554432000 1073741824 1073778376 140735487776256 140396171782312 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29038/tid=29043] ppid=29036 vsize=9824668 CPUtime=2.56 cores=0,2,4,6
/proc/29038/task/29043/stat : 29043 (java) S 29036 29038 24583 0 -1 4202560 1535 0 0 0 244 12 0 0 20 0 22 0 254393559 10060460032 967295 33554432000 1073741824 1073778376 140735487776256 140396170730024 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29038/tid=29044] ppid=29036 vsize=9824668 CPUtime=2.33 cores=0,2,4,6
/proc/29038/task/29044/stat : 29044 (java) S 29036 29038 24583 0 -1 4202560 527 0 0 0 224 9 0 0 20 0 22 0 254393559 10060460032 967295 33554432000 1073741824 1073778376 140735487776256 140396169677224 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29038/tid=29045] ppid=29036 vsize=9824668 CPUtime=2.36 cores=0,2,4,6
/proc/29038/task/29045/stat : 29045 (java) S 29036 29038 24583 0 -1 4202560 482 0 0 0 228 8 0 0 20 0 22 0 254393559 10060460032 967295 33554432000 1073741824 1073778376 140735487776256 140396168624936 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29038/tid=29046] ppid=29036 vsize=9824668 CPUtime=2.51 cores=0,2,4,6
/proc/29038/task/29046/stat : 29046 (java) S 29036 29038 24583 0 -1 4202560 435 0 0 0 242 9 0 0 20 0 22 0 254393559 10060460032 967295 33554432000 1073741824 1073778376 140735487776256 140396167572136 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29038/tid=29047] ppid=29036 vsize=9824668 CPUtime=2.49 cores=0,2,4,6
/proc/29038/task/29047/stat : 29047 (java) S 29036 29038 24583 0 -1 4202560 575 0 0 0 240 9 0 0 20 0 22 0 254393559 10060460032 967295 33554432000 1073741824 1073778376 140735487776256 140396166519848 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29038/tid=29048] ppid=29036 vsize=9824668 CPUtime=2.38 cores=0,2,4,6
/proc/29038/task/29048/stat : 29048 (java) S 29036 29038 24583 0 -1 4202560 426 0 0 0 229 9 0 0 20 0 22 0 254393559 10060460032 967295 33554432000 1073741824 1073778376 140735487776256 140396165467048 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29038/tid=29049] ppid=29036 vsize=9824668 CPUtime=75.95 cores=0,2,4,6
/proc/29038/task/29049/stat : 29049 (java) S 29036 29038 24583 0 -1 4202560 3821 0 0 0 7572 23 0 0 20 0 22 0 254393560 10060460032 967295 33554432000 1073741824 1073778376 140735487776256 140396153268456 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29038/tid=29050] ppid=29036 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29038/task/29050/stat : 29050 (java) S 29036 29038 24583 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254393561 10060460032 967295 33554432000 1073741824 1073778376 140735487776256 140396152214520 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29038/tid=29051] ppid=29036 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29038/task/29051/stat : 29051 (java) S 29036 29038 24583 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254393561 10060460032 967295 33554432000 1073741824 1073778376 140735487776256 140396151162120 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29038/tid=29052] ppid=29036 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29038/task/29052/stat : 29052 (java) S 29036 29038 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254393563 10060460032 967295 33554432000 1073741824 1073778376 140735487776256 140396150110608 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29038/tid=29053] ppid=29036 vsize=9824668 CPUtime=1.55 cores=0,2,4,6
/proc/29038/task/29053/stat : 29053 (java) S 29036 29038 24583 0 -1 4202560 12673 0 0 0 154 1 0 0 20 0 22 0 254393563 10060460032 967295 33554432000 1073741824 1073778376 140735487776256 140396149058232 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29038/tid=29054] ppid=29036 vsize=9824668 CPUtime=1.75 cores=0,2,4,6
/proc/29038/task/29054/stat : 29054 (java) S 29036 29038 24583 0 -1 4202560 11431 0 0 0 173 2 0 0 20 0 22 0 254393563 10060460032 967295 33554432000 1073741824 1073778376 140735487776256 140396148005432 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29038/tid=29055] ppid=29036 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29038/task/29055/stat : 29055 (java) S 29036 29038 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254393563 10060460032 967295 33554432000 1073741824 1073778376 140735487776256 140396146953336 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29038/tid=29056] ppid=29036 vsize=9824668 CPUtime=0.3 cores=0,2,4,6
/proc/29038/task/29056/stat : 29056 (java) S 29036 29038 24583 0 -1 4202560 51 0 0 0 13 17 0 0 20 0 22 0 254393563 10060460032 967295 33554432000 1073741824 1073778376 140735487776256 140396145900744 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29038/tid=29057] ppid=29036 vsize=9824668 CPUtime=800.7 cores=0,2,4,6
/proc/29038/task/29057/stat : 29057 (java) R 29036 29038 24583 0 -1 4202560 149 0 0 0 80054 16 0 0 20 0 22 0 254393594 10060460032 967295 33554432000 1073741824 1073778376 140735487776256 140396144844112 140396190087928 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=29038/tid=29058] ppid=29036 vsize=9824668 CPUtime=800.63 cores=0,2,4,6
/proc/29038/task/29058/stat : 29058 (java) R 29036 29038 24583 0 -1 4202560 1010 0 0 0 80025 38 0 0 20 0 22 0 254393594 10060460032 967295 33554432000 1073741824 1073778376 140735487776256 140396143790336 140396190258496 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=29038/tid=29059] ppid=29036 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29038/task/29059/stat : 29059 (java) S 29036 29038 24583 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254393595 10060460032 967295 33554432000 1073741824 1073778376 140735487776256 140396142740648 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29038/tid=29060] ppid=29036 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29038/task/29060/stat : 29060 (java) S 29036 29038 24583 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254393595 10060460032 967295 33554432000 1073741824 1073778376 140735487776256 140396141687848 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1700.53
Current children cumulated vsize (KiB) 9824668
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+934.501 s]
/proc/loadavg: 3.88 3.86 3.64 5/220 29141
/proc/meminfo: memFree=21184404/32873648 swapFree=6856/6856
[pid=29038] ppid=29036 vsize=9824668 CPUtime=1800.08 cores=0,2,4,6
/proc/29038/stat : 29038 (java) S 29036 29038 24583 0 -1 4202496 38411 0 1 0 179860 148 0 0 20 0 22 0 254393556 10060460032 974936 33554432000 1073741824 1073778376 140735487776256 140735487767392 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29038/statm: 2456167 974936 2286 9 0 2446860 0
[pid=29038/tid=29040] ppid=29036 vsize=9824668 CPUtime=0.36 cores=0,2,4,6
/proc/29038/task/29040/stat : 29040 (java) S 29036 29038 24583 0 -1 4202560 2538 0 1 0 33 3 0 0 20 0 22 0 254393558 10060460032 974936 33554432000 1073741824 1073778376 140735487776256 140396329067512 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29038/tid=29041] ppid=29036 vsize=9824668 CPUtime=2.61 cores=0,2,4,6
/proc/29038/task/29041/stat : 29041 (java) S 29036 29038 24583 0 -1 4202560 709 0 0 0 251 10 0 0 20 0 22 0 254393559 10060460032 974936 33554432000 1073741824 1073778376 140735487776256 140396172835112 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29038/tid=29042] ppid=29036 vsize=9824668 CPUtime=2.63 cores=0,2,4,6
/proc/29038/task/29042/stat : 29042 (java) S 29036 29038 24583 0 -1 4202560 549 0 0 0 252 11 0 0 20 0 22 0 254393559 10060460032 974936 33554432000 1073741824 1073778376 140735487776256 140396171782312 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29038/tid=29043] ppid=29036 vsize=9824668 CPUtime=2.71 cores=0,2,4,6
/proc/29038/task/29043/stat : 29043 (java) S 29036 29038 24583 0 -1 4202560 1538 0 0 0 259 12 0 0 20 0 22 0 254393559 10060460032 974936 33554432000 1073741824 1073778376 140735487776256 140396170730024 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29038/tid=29044] ppid=29036 vsize=9824668 CPUtime=2.59 cores=0,2,4,6
/proc/29038/task/29044/stat : 29044 (java) S 29036 29038 24583 0 -1 4202560 563 0 0 0 250 9 0 0 20 0 22 0 254393559 10060460032 974936 33554432000 1073741824 1073778376 140735487776256 140396169677224 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29038/tid=29045] ppid=29036 vsize=9824668 CPUtime=2.46 cores=0,2,4,6
/proc/29038/task/29045/stat : 29045 (java) S 29036 29038 24583 0 -1 4202560 498 0 0 0 238 8 0 0 20 0 22 0 254393559 10060460032 974936 33554432000 1073741824 1073778376 140735487776256 140396168624936 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29038/tid=29046] ppid=29036 vsize=9824668 CPUtime=2.67 cores=0,2,4,6
/proc/29038/task/29046/stat : 29046 (java) S 29036 29038 24583 0 -1 4202560 435 0 0 0 257 10 0 0 20 0 22 0 254393559 10060460032 974936 33554432000 1073741824 1073778376 140735487776256 140396167572136 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29038/tid=29047] ppid=29036 vsize=9824668 CPUtime=2.64 cores=0,2,4,6
/proc/29038/task/29047/stat : 29047 (java) S 29036 29038 24583 0 -1 4202560 575 0 0 0 255 9 0 0 20 0 22 0 254393559 10060460032 974936 33554432000 1073741824 1073778376 140735487776256 140396166519848 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29038/tid=29048] ppid=29036 vsize=9824668 CPUtime=2.61 cores=0,2,4,6
/proc/29038/task/29048/stat : 29048 (java) S 29036 29038 24583 0 -1 4202560 426 0 0 0 252 9 0 0 20 0 22 0 254393559 10060460032 974936 33554432000 1073741824 1073778376 140735487776256 140396165467048 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29038/tid=29049] ppid=29036 vsize=9824668 CPUtime=81.47 cores=0,2,4,6
/proc/29038/task/29049/stat : 29049 (java) S 29036 29038 24583 0 -1 4202560 4069 0 0 0 8123 24 0 0 20 0 22 0 254393560 10060460032 974936 33554432000 1073741824 1073778376 140735487776256 140396153268456 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29038/tid=29050] ppid=29036 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29038/task/29050/stat : 29050 (java) S 29036 29038 24583 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254393561 10060460032 974936 33554432000 1073741824 1073778376 140735487776256 140396152214520 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29038/tid=29051] ppid=29036 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29038/task/29051/stat : 29051 (java) S 29036 29038 24583 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254393561 10060460032 974936 33554432000 1073741824 1073778376 140735487776256 140396151162120 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29038/tid=29052] ppid=29036 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29038/task/29052/stat : 29052 (java) S 29036 29038 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254393563 10060460032 974936 33554432000 1073741824 1073778376 140735487776256 140396150110608 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29038/tid=29053] ppid=29036 vsize=9824668 CPUtime=1.55 cores=0,2,4,6
/proc/29038/task/29053/stat : 29053 (java) S 29036 29038 24583 0 -1 4202560 12673 0 0 0 154 1 0 0 20 0 22 0 254393563 10060460032 974936 33554432000 1073741824 1073778376 140735487776256 140396149058232 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29038/tid=29054] ppid=29036 vsize=9824668 CPUtime=1.75 cores=0,2,4,6
/proc/29038/task/29054/stat : 29054 (java) S 29036 29038 24583 0 -1 4202560 11431 0 0 0 173 2 0 0 20 0 22 0 254393563 10060460032 974936 33554432000 1073741824 1073778376 140735487776256 140396148005432 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29038/tid=29055] ppid=29036 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29038/task/29055/stat : 29055 (java) S 29036 29038 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254393563 10060460032 974936 33554432000 1073741824 1073778376 140735487776256 140396146953336 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29038/tid=29056] ppid=29036 vsize=9824668 CPUtime=0.31 cores=0,2,4,6
/proc/29038/task/29056/stat : 29056 (java) S 29036 29038 24583 0 -1 4202560 55 0 0 0 13 18 0 0 20 0 22 0 254393563 10060460032 974936 33554432000 1073741824 1073778376 140735487776256 140396145900744 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29038/tid=29057] ppid=29036 vsize=9824668 CPUtime=846.99 cores=0,2,4,6
/proc/29038/task/29057/stat : 29057 (java) R 29036 29038 24583 0 -1 4202560 153 0 0 0 84683 16 0 0 20 0 22 0 254393594 10060460032 974936 33554432000 1073741824 1073778376 140735487776256 140396144845024 140396190087928 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=29038/tid=29058] ppid=29036 vsize=9824668 CPUtime=846.93 cores=0,2,4,6
/proc/29038/task/29058/stat : 29058 (java) R 29036 29038 24583 0 -1 4202560 1011 0 0 0 84655 38 0 0 20 0 22 0 254393594 10060460032 974936 33554432000 1073741824 1073778376 140735487776256 140396143790336 140396190566891 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=29038/tid=29059] ppid=29036 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29038/task/29059/stat : 29059 (java) S 29036 29038 24583 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254393595 10060460032 974936 33554432000 1073741824 1073778376 140735487776256 140396142740648 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29038/tid=29060] ppid=29036 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29038/task/29060/stat : 29060 (java) S 29036 29038 24583 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254393595 10060460032 974936 33554432000 1073741824 1073778376 140735487776256 140396141687848 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
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+934.501 s]
/proc/loadavg: 3.88 3.86 3.64 5/220 29141
/proc/meminfo: memFree=21184404/32873648 swapFree=6856/6856
[pid=29038] ppid=29036 vsize=9824668 CPUtime=1800.08 cores=0,2,4,6
/proc/29038/stat : 29038 (java) S 29036 29038 24583 0 -1 4202496 38411 0 1 0 179860 148 0 0 20 0 22 0 254393556 10060460032 974936 33554432000 1073741824 1073778376 140735487776256 140735487767392 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29038/statm: 2456167 974936 2286 9 0 2446860 0
[pid=29038/tid=29040] ppid=29036 vsize=9824668 CPUtime=0.36 cores=0,2,4,6
/proc/29038/task/29040/stat : 29040 (java) S 29036 29038 24583 0 -1 4202560 2538 0 1 0 33 3 0 0 20 0 22 0 254393558 10060460032 974936 33554432000 1073741824 1073778376 140735487776256 140396329067512 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29038/tid=29041] ppid=29036 vsize=9824668 CPUtime=2.61 cores=0,2,4,6
/proc/29038/task/29041/stat : 29041 (java) S 29036 29038 24583 0 -1 4202560 709 0 0 0 251 10 0 0 20 0 22 0 254393559 10060460032 974936 33554432000 1073741824 1073778376 140735487776256 140396172835112 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29038/tid=29042] ppid=29036 vsize=9824668 CPUtime=2.63 cores=0,2,4,6
/proc/29038/task/29042/stat : 29042 (java) S 29036 29038 24583 0 -1 4202560 549 0 0 0 252 11 0 0 20 0 22 0 254393559 10060460032 974936 33554432000 1073741824 1073778376 140735487776256 140396171782312 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29038/tid=29043] ppid=29036 vsize=9824668 CPUtime=2.71 cores=0,2,4,6
/proc/29038/task/29043/stat : 29043 (java) S 29036 29038 24583 0 -1 4202560 1538 0 0 0 259 12 0 0 20 0 22 0 254393559 10060460032 974936 33554432000 1073741824 1073778376 140735487776256 140396170730024 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29038/tid=29044] ppid=29036 vsize=9824668 CPUtime=2.59 cores=0,2,4,6
/proc/29038/task/29044/stat : 29044 (java) S 29036 29038 24583 0 -1 4202560 563 0 0 0 250 9 0 0 20 0 22 0 254393559 10060460032 974936 33554432000 1073741824 1073778376 140735487776256 140396169677224 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29038/tid=29045] ppid=29036 vsize=9824668 CPUtime=2.46 cores=0,2,4,6
/proc/29038/task/29045/stat : 29045 (java) S 29036 29038 24583 0 -1 4202560 498 0 0 0 238 8 0 0 20 0 22 0 254393559 10060460032 974936 33554432000 1073741824 1073778376 140735487776256 140396168624936 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29038/tid=29046] ppid=29036 vsize=9824668 CPUtime=2.67 cores=0,2,4,6
/proc/29038/task/29046/stat : 29046 (java) S 29036 29038 24583 0 -1 4202560 435 0 0 0 257 10 0 0 20 0 22 0 254393559 10060460032 974936 33554432000 1073741824 1073778376 140735487776256 140396167572136 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29038/tid=29047] ppid=29036 vsize=9824668 CPUtime=2.64 cores=0,2,4,6
/proc/29038/task/29047/stat : 29047 (java) S 29036 29038 24583 0 -1 4202560 575 0 0 0 255 9 0 0 20 0 22 0 254393559 10060460032 974936 33554432000 1073741824 1073778376 140735487776256 140396166519848 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29038/tid=29048] ppid=29036 vsize=9824668 CPUtime=2.61 cores=0,2,4,6
/proc/29038/task/29048/stat : 29048 (java) S 29036 29038 24583 0 -1 4202560 426 0 0 0 252 9 0 0 20 0 22 0 254393559 10060460032 974936 33554432000 1073741824 1073778376 140735487776256 140396165467048 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29038/tid=29049] ppid=29036 vsize=9824668 CPUtime=81.47 cores=0,2,4,6
/proc/29038/task/29049/stat : 29049 (java) S 29036 29038 24583 0 -1 4202560 4069 0 0 0 8123 24 0 0 20 0 22 0 254393560 10060460032 974936 33554432000 1073741824 1073778376 140735487776256 140396153268456 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29038/tid=29050] ppid=29036 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29038/task/29050/stat : 29050 (java) S 29036 29038 24583 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254393561 10060460032 974936 33554432000 1073741824 1073778376 140735487776256 140396152214520 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29038/tid=29051] ppid=29036 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29038/task/29051/stat : 29051 (java) S 29036 29038 24583 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254393561 10060460032 974936 33554432000 1073741824 1073778376 140735487776256 140396151162120 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29038/tid=29052] ppid=29036 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29038/task/29052/stat : 29052 (java) S 29036 29038 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254393563 10060460032 974936 33554432000 1073741824 1073778376 140735487776256 140396150110608 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29038/tid=29053] ppid=29036 vsize=9824668 CPUtime=1.55 cores=0,2,4,6
/proc/29038/task/29053/stat : 29053 (java) S 29036 29038 24583 0 -1 4202560 12673 0 0 0 154 1 0 0 20 0 22 0 254393563 10060460032 974936 33554432000 1073741824 1073778376 140735487776256 140396149058232 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29038/tid=29054] ppid=29036 vsize=9824668 CPUtime=1.75 cores=0,2,4,6
/proc/29038/task/29054/stat : 29054 (java) S 29036 29038 24583 0 -1 4202560 11431 0 0 0 173 2 0 0 20 0 22 0 254393563 10060460032 974936 33554432000 1073741824 1073778376 140735487776256 140396148005432 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29038/tid=29055] ppid=29036 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29038/task/29055/stat : 29055 (java) S 29036 29038 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254393563 10060460032 974936 33554432000 1073741824 1073778376 140735487776256 140396146953336 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29038/tid=29056] ppid=29036 vsize=9824668 CPUtime=0.31 cores=0,2,4,6
/proc/29038/task/29056/stat : 29056 (java) S 29036 29038 24583 0 -1 4202560 55 0 0 0 13 18 0 0 20 0 22 0 254393563 10060460032 974936 33554432000 1073741824 1073778376 140735487776256 140396145900744 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29038/tid=29057] ppid=29036 vsize=9824668 CPUtime=846.99 cores=0,2,4,6
/proc/29038/task/29057/stat : 29057 (java) R 29036 29038 24583 0 -1 4202560 153 0 0 0 84683 16 0 0 20 0 22 0 254393594 10060460032 974936 33554432000 1073741824 1073778376 140735487776256 140396144845024 140396190087928 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=29038/tid=29058] ppid=29036 vsize=9824668 CPUtime=846.93 cores=0,2,4,6
/proc/29038/task/29058/stat : 29058 (java) R 29036 29038 24583 0 -1 4202560 1011 0 0 0 84655 38 0 0 20 0 22 0 254393594 10060460032 974936 33554432000 1073741824 1073778376 140735487776256 140396143790336 140396190566891 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=29038/tid=29059] ppid=29036 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29038/task/29059/stat : 29059 (java) S 29036 29038 24583 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254393595 10060460032 974936 33554432000 1073741824 1073778376 140735487776256 140396142740648 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29038/tid=29060] ppid=29036 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29038/task/29060/stat : 29060 (java) S 29036 29038 24583 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254393595 10060460032 974936 33554432000 1073741824 1073778376 140735487776256 140396141687848 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 9824668
Child status: 143
Real time (s): 934.557
CPU time (s): 1800.67
CPU user time (s): 1798.7
CPU system time (s): 1.9727
CPU usage (%): 192.676
Max. virtual memory (cumulated for all children) (KiB): 9824668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.7
system time used= 1.9727
maximum resident set size= 3899860
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38444
page faults= 1
swaps= 0
block input operations= 0
block output operations= 968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 25619
involuntary context switches= 35079
runsolver used 4.05038 second user time and 7.67483 second system time
The end