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-3687936-1337874857/watcher-3687936-1337874857 -o /tmp/evaluation-result-3687936-1337874857/solver-3687936-1337874857 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3687936-1337874857.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.76 3.90 3.61 4/197 22257
/proc/meminfo: memFree=25845136/32873844 swapFree=7104/7104
[pid=22257] ppid=22255 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/22257/stat : 22257 (java) D 22255 22257 21231 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 253611404 9515008 183 33554432000 1073741824 1073778376 140733265052064 140733265043096 272886480565 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/22257/statm: 2323 183 140 9 0 71 0
[startup+0.01261 s]
/proc/loadavg: 3.76 3.90 3.61 4/197 22257
/proc/meminfo: memFree=25845136/32873844 swapFree=7104/7104
[pid=22257] ppid=22255 vsize=92900 CPUtime=0 cores=1,3,5,7
/proc/22257/stat : 22257 (java) S 22255 22257 21231 0 -1 4202496 1217 0 0 0 0 0 0 0 20 0 2 0 253611404 95129600 927 33554432000 1073741824 1073778376 140733567268944 140733567260080 272889839677 0 0 4096 0 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22257/statm: 23225 927 703 9 0 16769 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 92900
[startup+0.10029 s]
/proc/loadavg: 3.76 3.90 3.61 4/197 22257
/proc/meminfo: memFree=25845136/32873844 swapFree=7104/7104
[pid=22257] ppid=22255 vsize=9558412 CPUtime=0.09 cores=1,3,5,7
/proc/22257/stat : 22257 (java) S 22255 22257 21231 0 -1 4202496 4296 0 1 0 8 1 0 0 20 0 18 0 253611404 9787813888 5484 33554432000 1073741824 1073778376 140733567268944 140733567260080 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22257/statm: 2389603 5485 2109 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558412
[startup+0.300307 s]
/proc/loadavg: 3.76 3.90 3.61 4/197 22257
/proc/meminfo: memFree=25845136/32873844 swapFree=7104/7104
[pid=22257] ppid=22255 vsize=9558412 CPUtime=0.57 cores=1,3,5,7
/proc/22257/stat : 22257 (java) S 22255 22257 21231 0 -1 4202496 12753 0 1 0 54 3 0 0 20 0 18 0 253611404 9787813888 13492 33554432000 1073741824 1073778376 140733567268944 140733567260080 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22257/statm: 2389603 13492 2207 9 0 2380296 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 9558412
[startup+0.713591 s]
/proc/loadavg: 3.76 3.90 3.61 4/197 22257
/proc/meminfo: memFree=25845136/32873844 swapFree=7104/7104
[pid=22257] ppid=22255 vsize=9558412 CPUtime=1.46 cores=1,3,5,7
/proc/22257/stat : 22257 (java) S 22255 22257 21231 0 -1 4202496 13423 0 1 0 137 9 0 0 20 0 18 0 253611404 9787813888 49019 33554432000 1073741824 1073778376 140733567268944 140733567260080 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22257/statm: 2389603 49019 2240 9 0 2380296 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 9558412
[startup+1.50068 s]
/proc/loadavg: 3.76 3.90 3.61 3/215 22275
/proc/meminfo: memFree=25643476/32873844 swapFree=7104/7104
[pid=22257] ppid=22255 vsize=9824668 CPUtime=3.09 cores=1,3,5,7
/proc/22257/stat : 22257 (java) S 22255 22257 21231 0 -1 4202496 14186 0 1 0 286 23 0 0 20 0 22 0 253611404 10060460032 90530 33554432000 1073741824 1073778376 140733567268944 140733567260080 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22257/statm: 2456167 90530 2262 9 0 2446860 0
[pid=22257/tid=22259] ppid=22255 vsize=9824668 CPUtime=1.08 cores=1,3,5,7
/proc/22257/task/22259/stat : 22259 (java) S 22255 22257 21231 0 -1 4202560 2542 0 1 0 104 4 0 0 20 0 22 0 253611405 10060460032 90530 33554432000 1073741824 1073778376 140733567268944 140570270811128 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22257/tid=22260] ppid=22255 vsize=9824668 CPUtime=0.06 cores=1,3,5,7
/proc/22257/task/22260/stat : 22260 (java) S 22255 22257 21231 0 -1 4202560 99 0 0 0 4 2 0 0 20 0 22 0 253611406 10060460032 90530 33554432000 1073741824 1073778376 140733567268944 140570259872680 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22257/tid=22261] ppid=22255 vsize=9824668 CPUtime=0.06 cores=1,3,5,7
/proc/22257/task/22261/stat : 22261 (java) S 22255 22257 21231 0 -1 4202560 30 0 0 0 4 2 0 0 20 0 22 0 253611406 10060460032 90530 33554432000 1073741824 1073778376 140733567268944 140570258820136 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22257/tid=22262] ppid=22255 vsize=9824668 CPUtime=0.06 cores=1,3,5,7
/proc/22257/task/22262/stat : 22262 (java) S 22255 22257 21231 0 -1 4202560 99 0 0 0 4 2 0 0 20 0 22 0 253611406 10060460032 90530 33554432000 1073741824 1073778376 140733567268944 140570257767080 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22257/tid=22263] ppid=22255 vsize=9824668 CPUtime=0.05 cores=1,3,5,7
/proc/22257/task/22263/stat : 22263 (java) S 22255 22257 21231 0 -1 4202560 36 0 0 0 3 2 0 0 20 0 22 0 253611406 10060460032 90530 33554432000 1073741824 1073778376 140733567268944 140570256714536 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22257/tid=22264] ppid=22255 vsize=9824668 CPUtime=0.07 cores=1,3,5,7
/proc/22257/task/22264/stat : 22264 (java) S 22255 22257 21231 0 -1 4202560 31 0 0 0 5 2 0 0 20 0 22 0 253611406 10060460032 90530 33554432000 1073741824 1073778376 140733567268944 140570255661480 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22257/tid=22265] ppid=22255 vsize=9824668 CPUtime=0.04 cores=1,3,5,7
/proc/22257/task/22265/stat : 22265 (java) S 22255 22257 21231 0 -1 4202560 44 0 0 0 2 2 0 0 20 0 22 0 253611406 10060460032 90530 33554432000 1073741824 1073778376 140733567268944 140570254608936 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22257/tid=22266] ppid=22255 vsize=9824668 CPUtime=0.07 cores=1,3,5,7
/proc/22257/task/22266/stat : 22266 (java) S 22255 22257 21231 0 -1 4202560 100 0 0 0 5 2 0 0 20 0 22 0 253611406 10060460032 90530 33554432000 1073741824 1073778376 140733567268944 140570108049576 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22257/tid=22267] ppid=22255 vsize=9824668 CPUtime=0.08 cores=1,3,5,7
/proc/22257/task/22267/stat : 22267 (java) S 22255 22257 21231 0 -1 4202560 148 0 0 0 5 3 0 0 20 0 22 0 253611406 10060460032 90530 33554432000 1073741824 1073778376 140733567268944 140570106997032 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22257/tid=22268] ppid=22255 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22257/task/22268/stat : 22268 (java) S 22255 22257 21231 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 22 0 253611407 10060460032 90530 33554432000 1073741824 1073778376 140733567268944 140570094799720 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22257/tid=22269] ppid=22255 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22257/task/22269/stat : 22269 (java) S 22255 22257 21231 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253611407 10060460032 90530 33554432000 1073741824 1073778376 140733567268944 140570093746040 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22257/tid=22270] ppid=22255 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22257/task/22270/stat : 22270 (java) S 22255 22257 21231 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253611407 10060460032 90530 33554432000 1073741824 1073778376 140733567268944 140570092692872 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22257/tid=22271] ppid=22255 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22257/task/22271/stat : 22271 (java) S 22255 22257 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253611410 10060460032 90530 33554432000 1073741824 1073778376 140733567268944 140570091641616 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22257/tid=22272] ppid=22255 vsize=9824668 CPUtime=0.45 cores=1,3,5,7
/proc/22257/task/22272/stat : 22272 (java) S 22255 22257 21231 0 -1 4202560 5409 0 0 0 44 1 0 0 20 0 22 0 253611410 10060460032 90530 33554432000 1073741824 1073778376 140733567268944 140570090588472 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22257/tid=22273] ppid=22255 vsize=9824668 CPUtime=0.47 cores=1,3,5,7
/proc/22257/task/22273/stat : 22273 (java) R 22255 22257 21231 0 -1 4202560 4276 0 0 0 47 0 0 0 20 0 22 0 253611410 10060460032 90530 33554432000 1073741824 1073778376 140733567268944 140570089535928 140570274653325 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=22257/tid=22274] ppid=22255 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22257/task/22274/stat : 22274 (java) S 22255 22257 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253611410 10060460032 90530 33554432000 1073741824 1073778376 140733567268944 140570088483064 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22257/tid=22275] ppid=22255 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22257/task/22275/stat : 22275 (java) S 22255 22257 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253611410 10060460032 90530 33554432000 1073741824 1073778376 140733567268944 140570087430728 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9824668
[startup+3.10093 s]
/proc/loadavg: 3.76 3.90 3.61 5/219 22279
/proc/meminfo: memFree=25425056/32873844 swapFree=7104/7104
[pid=22257] ppid=22255 vsize=9824668 CPUtime=7.11 cores=1,3,5,7
/proc/22257/stat : 22257 (java) S 22255 22257 21231 0 -1 4202496 14521 0 1 0 681 30 0 0 20 0 22 0 253611404 10060460032 104604 33554432000 1073741824 1073778376 140733567268944 140733567260080 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22257/statm: 2456167 104604 2263 9 0 2446860 0
[pid=22257/tid=22259] ppid=22255 vsize=9824668 CPUtime=1.08 cores=1,3,5,7
/proc/22257/task/22259/stat : 22259 (java) S 22255 22257 21231 0 -1 4202560 2542 0 1 0 104 4 0 0 20 0 22 0 253611405 10060460032 104604 33554432000 1073741824 1073778376 140733567268944 140570270811128 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22257/tid=22260] ppid=22255 vsize=9824668 CPUtime=0.08 cores=1,3,5,7
/proc/22257/task/22260/stat : 22260 (java) S 22255 22257 21231 0 -1 4202560 114 0 0 0 6 2 0 0 20 0 22 0 253611406 10060460032 104604 33554432000 1073741824 1073778376 140733567268944 140570259872680 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22257/tid=22261] ppid=22255 vsize=9824668 CPUtime=0.08 cores=1,3,5,7
/proc/22257/task/22261/stat : 22261 (java) S 22255 22257 21231 0 -1 4202560 38 0 0 0 6 2 0 0 20 0 22 0 253611406 10060460032 104604 33554432000 1073741824 1073778376 140733567268944 140570258820136 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22257/tid=22262] ppid=22255 vsize=9824668 CPUtime=0.08 cores=1,3,5,7
/proc/22257/task/22262/stat : 22262 (java) S 22255 22257 21231 0 -1 4202560 105 0 0 0 5 3 0 0 20 0 22 0 253611406 10060460032 104604 33554432000 1073741824 1073778376 140733567268944 140570257767080 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22257/tid=22263] ppid=22255 vsize=9824668 CPUtime=0.07 cores=1,3,5,7
/proc/22257/task/22263/stat : 22263 (java) S 22255 22257 21231 0 -1 4202560 46 0 0 0 5 2 0 0 20 0 22 0 253611406 10060460032 104604 33554432000 1073741824 1073778376 140733567268944 140570256714536 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22257/tid=22264] ppid=22255 vsize=9824668 CPUtime=0.1 cores=1,3,5,7
/proc/22257/task/22264/stat : 22264 (java) S 22255 22257 21231 0 -1 4202560 44 0 0 0 7 3 0 0 20 0 22 0 253611406 10060460032 104604 33554432000 1073741824 1073778376 140733567268944 140570255661480 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22257/tid=22265] ppid=22255 vsize=9824668 CPUtime=0.06 cores=1,3,5,7
/proc/22257/task/22265/stat : 22265 (java) S 22255 22257 21231 0 -1 4202560 59 0 0 0 4 2 0 0 20 0 22 0 253611406 10060460032 104604 33554432000 1073741824 1073778376 140733567268944 140570254608936 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22257/tid=22266] ppid=22255 vsize=9824668 CPUtime=0.1 cores=1,3,5,7
/proc/22257/task/22266/stat : 22266 (java) S 22255 22257 21231 0 -1 4202560 112 0 0 0 7 3 0 0 20 0 22 0 253611406 10060460032 104604 33554432000 1073741824 1073778376 140733567268944 140570108049576 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22257/tid=22267] ppid=22255 vsize=9824668 CPUtime=0.13 cores=1,3,5,7
/proc/22257/task/22267/stat : 22267 (java) S 22255 22257 21231 0 -1 4202560 168 0 0 0 9 4 0 0 20 0 22 0 253611406 10060460032 104604 33554432000 1073741824 1073778376 140733567268944 140570106997032 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22257/tid=22268] ppid=22255 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22257/task/22268/stat : 22268 (java) S 22255 22257 21231 0 -1 4202560 197 0 0 0 0 0 0 0 20 0 22 0 253611407 10060460032 104604 33554432000 1073741824 1073778376 140733567268944 140570094799720 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22257/tid=22269] ppid=22255 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22257/task/22269/stat : 22269 (java) S 22255 22257 21231 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253611407 10060460032 104604 33554432000 1073741824 1073778376 140733567268944 140570093746040 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22257/tid=22270] ppid=22255 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22257/task/22270/stat : 22270 (java) S 22255 22257 21231 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253611407 10060460032 104604 33554432000 1073741824 1073778376 140733567268944 140570092692872 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22257/tid=22271] ppid=22255 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22257/task/22271/stat : 22271 (java) S 22255 22257 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253611410 10060460032 104604 33554432000 1073741824 1073778376 140733567268944 140570091641616 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22257/tid=22272] ppid=22255 vsize=9824668 CPUtime=0.86 cores=1,3,5,7
/proc/22257/task/22272/stat : 22272 (java) S 22255 22257 21231 0 -1 4202560 5465 0 0 0 84 2 0 0 20 0 22 0 253611410 10060460032 104604 33554432000 1073741824 1073778376 140733567268944 140570090588472 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22257/tid=22273] ppid=22255 vsize=9824668 CPUtime=0.8 cores=1,3,5,7
/proc/22257/task/22273/stat : 22273 (java) S 22255 22257 21231 0 -1 4202560 4309 0 0 0 80 0 0 0 20 0 22 0 253611410 10060460032 104604 33554432000 1073741824 1073778376 140733567268944 140570089535928 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22257/tid=22274] ppid=22255 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22257/task/22274/stat : 22274 (java) S 22255 22257 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253611410 10060460032 104604 33554432000 1073741824 1073778376 140733567268944 140570088483064 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22257/tid=22275] ppid=22255 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22257/task/22275/stat : 22275 (java) S 22255 22257 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253611410 10060460032 104604 33554432000 1073741824 1073778376 140733567268944 140570087430728 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22257/tid=22276] ppid=22255 vsize=9824668 CPUtime=1.73 cores=1,3,5,7
/proc/22257/task/22276/stat : 22276 (java) R 22255 22257 21231 0 -1 4202560 45 0 0 0 173 0 0 0 20 0 22 0 253611531 10060460032 104604 33554432000 1073741824 1073778376 140733567268944 140570086376616 140570136683211 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22257/tid=22277] ppid=22255 vsize=9824668 CPUtime=1.74 cores=1,3,5,7
/proc/22257/task/22277/stat : 22277 (java) R 22255 22257 21231 0 -1 4202560 88 0 0 0 174 0 0 0 20 0 22 0 253611531 10060460032 104604 33554432000 1073741824 1073778376 140733567268944 140570085321600 140570136786127 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22257/tid=22278] ppid=22255 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22257/task/22278/stat : 22278 (java) S 22255 22257 21231 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253611534 10060460032 104604 33554432000 1073741824 1073778376 140733567268944 140570084271400 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22257/tid=22279] ppid=22255 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22257/task/22279/stat : 22279 (java) S 22255 22257 21231 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253611534 10060460032 104604 33554432000 1073741824 1073778376 140733567268944 140570083218856 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7.11
Current children cumulated vsize (KiB) 9824668
[startup+6.30082 s]
/proc/loadavg: 3.78 3.90 3.61 3/196 22282
/proc/meminfo: memFree=28709376/32873844 swapFree=7104/7104
[pid=22257] ppid=22255 vsize=9824668 CPUtime=13.55 cores=1,3,5,7
/proc/22257/stat : 22257 (java) S 22255 22257 21231 0 -1 4202496 14523 0 1 0 1325 30 0 0 20 0 22 0 253611404 10060460032 104532 33554432000 1073741824 1073778376 140733567268944 140733567260080 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22257/statm: 2456167 104532 2263 9 0 2446860 0
[pid=22257/tid=22259] ppid=22255 vsize=9824668 CPUtime=1.08 cores=1,3,5,7
/proc/22257/task/22259/stat : 22259 (java) S 22255 22257 21231 0 -1 4202560 2542 0 1 0 104 4 0 0 20 0 22 0 253611405 10060460032 104532 33554432000 1073741824 1073778376 140733567268944 140570270811128 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22257/tid=22260] ppid=22255 vsize=9824668 CPUtime=0.08 cores=1,3,5,7
/proc/22257/task/22260/stat : 22260 (java) S 22255 22257 21231 0 -1 4202560 114 0 0 0 6 2 0 0 20 0 22 0 253611406 10060460032 104532 33554432000 1073741824 1073778376 140733567268944 140570259872680 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22257/tid=22261] ppid=22255 vsize=9824668 CPUtime=0.08 cores=1,3,5,7
/proc/22257/task/22261/stat : 22261 (java) S 22255 22257 21231 0 -1 4202560 38 0 0 0 6 2 0 0 20 0 22 0 253611406 10060460032 104532 33554432000 1073741824 1073778376 140733567268944 140570258820136 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22257/tid=22262] ppid=22255 vsize=9824668 CPUtime=0.08 cores=1,3,5,7
/proc/22257/task/22262/stat : 22262 (java) S 22255 22257 21231 0 -1 4202560 105 0 0 0 5 3 0 0 20 0 22 0 253611406 10060460032 104532 33554432000 1073741824 1073778376 140733567268944 140570257767080 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22257/tid=22263] ppid=22255 vsize=9824668 CPUtime=0.07 cores=1,3,5,7
/proc/22257/task/22263/stat : 22263 (java) S 22255 22257 21231 0 -1 4202560 46 0 0 0 5 2 0 0 20 0 22 0 253611406 10060460032 104532 33554432000 1073741824 1073778376 140733567268944 140570256714536 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22257/tid=22264] ppid=22255 vsize=9824668 CPUtime=0.1 cores=1,3,5,7
/proc/22257/task/22264/stat : 22264 (java) S 22255 22257 21231 0 -1 4202560 44 0 0 0 7 3 0 0 20 0 22 0 253611406 10060460032 104532 33554432000 1073741824 1073778376 140733567268944 140570255661480 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22257/tid=22265] ppid=22255 vsize=9824668 CPUtime=0.06 cores=1,3,5,7
/proc/22257/task/22265/stat : 22265 (java) S 22255 22257 21231 0 -1 4202560 59 0 0 0 4 2 0 0 20 0 22 0 253611406 10060460032 104532 33554432000 1073741824 1073778376 140733567268944 140570254608936 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22257/tid=22266] ppid=22255 vsize=9824668 CPUtime=0.1 cores=1,3,5,7
/proc/22257/task/22266/stat : 22266 (java) S 22255 22257 21231 0 -1 4202560 112 0 0 0 7 3 0 0 20 0 22 0 253611406 10060460032 104532 33554432000 1073741824 1073778376 140733567268944 140570108049576 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22257/tid=22267] ppid=22255 vsize=9824668 CPUtime=0.13 cores=1,3,5,7
/proc/22257/task/22267/stat : 22267 (java) S 22255 22257 21231 0 -1 4202560 168 0 0 0 9 4 0 0 20 0 22 0 253611406 10060460032 104532 33554432000 1073741824 1073778376 140733567268944 140570106997032 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22257/tid=22268] ppid=22255 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22257/task/22268/stat : 22268 (java) S 22255 22257 21231 0 -1 4202560 197 0 0 0 0 0 0 0 20 0 22 0 253611407 10060460032 104532 33554432000 1073741824 1073778376 140733567268944 140570094799720 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22257/tid=22269] ppid=22255 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22257/task/22269/stat : 22269 (java) S 22255 22257 21231 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253611407 10060460032 104532 33554432000 1073741824 1073778376 140733567268944 140570093746040 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22257/tid=22270] ppid=22255 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22257/task/22270/stat : 22270 (java) S 22255 22257 21231 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253611407 10060460032 104532 33554432000 1073741824 1073778376 140733567268944 140570092692872 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22257/tid=22271] ppid=22255 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22257/task/22271/stat : 22271 (java) S 22255 22257 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253611410 10060460032 104532 33554432000 1073741824 1073778376 140733567268944 140570091641616 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22257/tid=22272] ppid=22255 vsize=9824668 CPUtime=0.88 cores=1,3,5,7
/proc/22257/task/22272/stat : 22272 (java) S 22255 22257 21231 0 -1 4202560 5465 0 0 0 86 2 0 0 20 0 22 0 253611410 10060460032 104532 33554432000 1073741824 1073778376 140733567268944 140570090588472 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22257/tid=22273] ppid=22255 vsize=9824668 CPUtime=0.83 cores=1,3,5,7
/proc/22257/task/22273/stat : 22273 (java) S 22255 22257 21231 0 -1 4202560 4309 0 0 0 83 0 0 0 20 0 22 0 253611410 10060460032 104532 33554432000 1073741824 1073778376 140733567268944 140570089535928 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22257/tid=22274] ppid=22255 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22257/task/22274/stat : 22274 (java) S 22255 22257 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253611410 10060460032 104532 33554432000 1073741824 1073778376 140733567268944 140570088483064 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22257/tid=22275] ppid=22255 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22257/task/22275/stat : 22275 (java) S 22255 22257 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253611410 10060460032 104532 33554432000 1073741824 1073778376 140733567268944 140570087430728 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22257/tid=22276] ppid=22255 vsize=9824668 CPUtime=4.91 cores=1,3,5,7
/proc/22257/task/22276/stat : 22276 (java) R 22255 22257 21231 0 -1 4202560 47 0 0 0 491 0 0 0 20 0 22 0 253611531 10060460032 104532 33554432000 1073741824 1073778376 140733567268944 140570086374696 140570136526472 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
################
# More data... #
################
/proc/22257/statm: 2456167 1384875 2277 9 0 2446860 0
[pid=22257/tid=22259] ppid=22255 vsize=9824668 CPUtime=1.13 cores=1,3,5,7
/proc/22257/task/22259/stat : 22259 (java) S 22255 22257 21231 0 -1 4202560 2579 0 1 0 106 7 0 0 20 0 22 0 253611405 10060460032 1384875 33554432000 1073741824 1073778376 140733567268944 140570270811128 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22257/tid=22260] ppid=22255 vsize=9824668 CPUtime=4.47 cores=1,3,5,7
/proc/22257/task/22260/stat : 22260 (java) S 22255 22257 21231 0 -1 4202560 10472 0 0 0 379 68 0 0 20 0 22 0 253611406 10060460032 1384875 33554432000 1073741824 1073778376 140733567268944 140570259872680 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22257/tid=22261] ppid=22255 vsize=9824668 CPUtime=5.05 cores=1,3,5,7
/proc/22257/task/22261/stat : 22261 (java) S 22255 22257 21231 0 -1 4202560 11069 0 0 0 425 80 0 0 20 0 22 0 253611406 10060460032 1384875 33554432000 1073741824 1073778376 140733567268944 140570258820136 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22257/tid=22262] ppid=22255 vsize=9824668 CPUtime=4.58 cores=1,3,5,7
/proc/22257/task/22262/stat : 22262 (java) S 22255 22257 21231 0 -1 4202560 8913 0 0 0 388 70 0 0 20 0 22 0 253611406 10060460032 1384875 33554432000 1073741824 1073778376 140733567268944 140570257767080 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22257/tid=22263] ppid=22255 vsize=9824668 CPUtime=4.96 cores=1,3,5,7
/proc/22257/task/22263/stat : 22263 (java) S 22255 22257 21231 0 -1 4202560 8901 0 0 0 415 81 0 0 20 0 22 0 253611406 10060460032 1384875 33554432000 1073741824 1073778376 140733567268944 140570256714536 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22257/tid=22264] ppid=22255 vsize=9824668 CPUtime=4.4 cores=1,3,5,7
/proc/22257/task/22264/stat : 22264 (java) S 22255 22257 21231 0 -1 4202560 9982 0 0 0 364 76 0 0 20 0 22 0 253611406 10060460032 1384875 33554432000 1073741824 1073778376 140733567268944 140570255661480 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22257/tid=22265] ppid=22255 vsize=9824668 CPUtime=4.25 cores=1,3,5,7
/proc/22257/task/22265/stat : 22265 (java) S 22255 22257 21231 0 -1 4202560 11344 0 0 0 345 80 0 0 20 0 22 0 253611406 10060460032 1384875 33554432000 1073741824 1073778376 140733567268944 140570254608936 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22257/tid=22266] ppid=22255 vsize=9824668 CPUtime=4.71 cores=1,3,5,7
/proc/22257/task/22266/stat : 22266 (java) S 22255 22257 21231 0 -1 4202560 11362 0 0 0 403 68 0 0 20 0 22 0 253611406 10060460032 1384875 33554432000 1073741824 1073778376 140733567268944 140570108049576 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22257/tid=22267] ppid=22255 vsize=9824668 CPUtime=5.33 cores=1,3,5,7
/proc/22257/task/22267/stat : 22267 (java) S 22255 22257 21231 0 -1 4202560 8367 0 0 0 462 71 0 0 20 0 22 0 253611406 10060460032 1384875 33554432000 1073741824 1073778376 140733567268944 140570106997032 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22257/tid=22268] ppid=22255 vsize=9824668 CPUtime=27.8 cores=1,3,5,7
/proc/22257/task/22268/stat : 22268 (java) S 22255 22257 21231 0 -1 4202560 29317 0 0 0 2756 24 0 0 20 0 22 0 253611407 10060460032 1384875 33554432000 1073741824 1073778376 140733567268944 140570094799720 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22257/tid=22269] ppid=22255 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22257/task/22269/stat : 22269 (java) S 22255 22257 21231 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253611407 10060460032 1384875 33554432000 1073741824 1073778376 140733567268944 140570093746040 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22257/tid=22270] ppid=22255 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22257/task/22270/stat : 22270 (java) S 22255 22257 21231 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253611407 10060460032 1384875 33554432000 1073741824 1073778376 140733567268944 140570092692872 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22257/tid=22271] ppid=22255 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22257/task/22271/stat : 22271 (java) S 22255 22257 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253611410 10060460032 1384875 33554432000 1073741824 1073778376 140733567268944 140570091641616 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22257/tid=22272] ppid=22255 vsize=9824668 CPUtime=1.26 cores=1,3,5,7
/proc/22257/task/22272/stat : 22272 (java) S 22255 22257 21231 0 -1 4202560 5481 0 0 0 124 2 0 0 20 0 22 0 253611410 10060460032 1384875 33554432000 1073741824 1073778376 140733567268944 140570090588472 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22257/tid=22273] ppid=22255 vsize=9824668 CPUtime=1.53 cores=1,3,5,7
/proc/22257/task/22273/stat : 22273 (java) S 22255 22257 21231 0 -1 4202560 4881 0 0 0 153 0 0 0 20 0 22 0 253611410 10060460032 1384875 33554432000 1073741824 1073778376 140733567268944 140570089535928 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22257/tid=22274] ppid=22255 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22257/task/22274/stat : 22274 (java) S 22255 22257 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253611410 10060460032 1384875 33554432000 1073741824 1073778376 140733567268944 140570088483064 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22257/tid=22275] ppid=22255 vsize=9824668 CPUtime=0.41 cores=1,3,5,7
/proc/22257/task/22275/stat : 22275 (java) S 22255 22257 21231 0 -1 4202560 47 0 0 0 18 23 0 0 20 0 22 0 253611410 10060460032 1384875 33554432000 1073741824 1073778376 140733567268944 140570087430728 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22257/tid=22276] ppid=22255 vsize=9824668 CPUtime=781.38 cores=1,3,5,7
/proc/22257/task/22276/stat : 22276 (java) R 22255 22257 21231 0 -1 4202560 352 0 0 0 78123 15 0 0 20 0 22 0 253611531 10060460032 1384875 33554432000 1073741824 1073778376 140733567268944 140570086374496 140570136683083 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=22257/tid=22277] ppid=22255 vsize=9824668 CPUtime=781.37 cores=1,3,5,7
/proc/22257/task/22277/stat : 22277 (java) R 22255 22257 21231 0 -1 4202560 118 0 0 0 78124 13 0 0 20 0 22 0 253611531 10060460032 1384875 33554432000 1073741824 1073778376 140733567268944 140570085322384 140570136372464 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22257/tid=22278] ppid=22255 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22257/task/22278/stat : 22278 (java) S 22255 22257 21231 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253611534 10060460032 1384875 33554432000 1073741824 1073778376 140733567268944 140570084271400 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22257/tid=22279] ppid=22255 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22257/task/22279/stat : 22279 (java) S 22255 22257 21231 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253611534 10060460032 1384875 33554432000 1073741824 1073778376 140733567268944 140570083218856 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1636.85
Current children cumulated vsize (KiB) 9824668
[startup+882.301 s]
/proc/loadavg: 3.98 4.02 3.82 5/219 22485
/proc/meminfo: memFree=20520792/32873844 swapFree=7104/7104
[pid=22257] ppid=22255 vsize=9824668 CPUtime=1757.66 cores=1,3,5,7
/proc/22257/stat : 22257 (java) S 22255 22257 21231 0 -1 4202496 124502 0 1 0 175102 664 0 0 20 0 22 0 253611404 10060460032 1384988 33554432000 1073741824 1073778376 140733567268944 140733567260080 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22257/statm: 2456167 1384988 2277 9 0 2446860 0
[pid=22257/tid=22259] ppid=22255 vsize=9824668 CPUtime=1.14 cores=1,3,5,7
/proc/22257/task/22259/stat : 22259 (java) S 22255 22257 21231 0 -1 4202560 2580 0 1 0 107 7 0 0 20 0 22 0 253611405 10060460032 1384988 33554432000 1073741824 1073778376 140733567268944 140570270811128 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22257/tid=22260] ppid=22255 vsize=9824668 CPUtime=4.97 cores=1,3,5,7
/proc/22257/task/22260/stat : 22260 (java) S 22255 22257 21231 0 -1 4202560 10472 0 0 0 429 68 0 0 20 0 22 0 253611406 10060460032 1384988 33554432000 1073741824 1073778376 140733567268944 140570259872680 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22257/tid=22261] ppid=22255 vsize=9824668 CPUtime=5.61 cores=1,3,5,7
/proc/22257/task/22261/stat : 22261 (java) S 22255 22257 21231 0 -1 4202560 11091 0 0 0 481 80 0 0 20 0 22 0 253611406 10060460032 1384988 33554432000 1073741824 1073778376 140733567268944 140570258820136 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22257/tid=22262] ppid=22255 vsize=9824668 CPUtime=5.11 cores=1,3,5,7
/proc/22257/task/22262/stat : 22262 (java) S 22255 22257 21231 0 -1 4202560 8943 0 0 0 440 71 0 0 20 0 22 0 253611406 10060460032 1384988 33554432000 1073741824 1073778376 140733567268944 140570257767080 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22257/tid=22263] ppid=22255 vsize=9824668 CPUtime=5.56 cores=1,3,5,7
/proc/22257/task/22263/stat : 22263 (java) S 22255 22257 21231 0 -1 4202560 8901 0 0 0 475 81 0 0 20 0 22 0 253611406 10060460032 1384988 33554432000 1073741824 1073778376 140733567268944 140570256714536 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22257/tid=22264] ppid=22255 vsize=9824668 CPUtime=4.9 cores=1,3,5,7
/proc/22257/task/22264/stat : 22264 (java) S 22255 22257 21231 0 -1 4202560 9985 0 0 0 414 76 0 0 20 0 22 0 253611406 10060460032 1384988 33554432000 1073741824 1073778376 140733567268944 140570255661480 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22257/tid=22265] ppid=22255 vsize=9824668 CPUtime=4.69 cores=1,3,5,7
/proc/22257/task/22265/stat : 22265 (java) S 22255 22257 21231 0 -1 4202560 11356 0 0 0 389 80 0 0 20 0 22 0 253611406 10060460032 1384988 33554432000 1073741824 1073778376 140733567268944 140570254608936 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22257/tid=22266] ppid=22255 vsize=9824668 CPUtime=5.28 cores=1,3,5,7
/proc/22257/task/22266/stat : 22266 (java) S 22255 22257 21231 0 -1 4202560 11366 0 0 0 460 68 0 0 20 0 22 0 253611406 10060460032 1384988 33554432000 1073741824 1073778376 140733567268944 140570108049576 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22257/tid=22267] ppid=22255 vsize=9824668 CPUtime=5.89 cores=1,3,5,7
/proc/22257/task/22267/stat : 22267 (java) S 22255 22257 21231 0 -1 4202560 8372 0 0 0 518 71 0 0 20 0 22 0 253611406 10060460032 1384988 33554432000 1073741824 1073778376 140733567268944 140570106997032 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22257/tid=22268] ppid=22255 vsize=9824668 CPUtime=29.08 cores=1,3,5,7
/proc/22257/task/22268/stat : 22268 (java) S 22255 22257 21231 0 -1 4202560 29358 0 0 0 2883 25 0 0 20 0 22 0 253611407 10060460032 1384988 33554432000 1073741824 1073778376 140733567268944 140570094799720 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22257/tid=22269] ppid=22255 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22257/task/22269/stat : 22269 (java) S 22255 22257 21231 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253611407 10060460032 1384988 33554432000 1073741824 1073778376 140733567268944 140570093746040 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22257/tid=22270] ppid=22255 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22257/task/22270/stat : 22270 (java) S 22255 22257 21231 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253611407 10060460032 1384988 33554432000 1073741824 1073778376 140733567268944 140570092692872 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22257/tid=22271] ppid=22255 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22257/task/22271/stat : 22271 (java) S 22255 22257 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253611410 10060460032 1384988 33554432000 1073741824 1073778376 140733567268944 140570091641616 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22257/tid=22272] ppid=22255 vsize=9824668 CPUtime=1.26 cores=1,3,5,7
/proc/22257/task/22272/stat : 22272 (java) S 22255 22257 21231 0 -1 4202560 5481 0 0 0 124 2 0 0 20 0 22 0 253611410 10060460032 1384988 33554432000 1073741824 1073778376 140733567268944 140570090588472 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22257/tid=22273] ppid=22255 vsize=9824668 CPUtime=1.53 cores=1,3,5,7
/proc/22257/task/22273/stat : 22273 (java) S 22255 22257 21231 0 -1 4202560 4881 0 0 0 153 0 0 0 20 0 22 0 253611410 10060460032 1384988 33554432000 1073741824 1073778376 140733567268944 140570089535928 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22257/tid=22274] ppid=22255 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22257/task/22274/stat : 22274 (java) S 22255 22257 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253611410 10060460032 1384988 33554432000 1073741824 1073778376 140733567268944 140570088483064 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22257/tid=22275] ppid=22255 vsize=9824668 CPUtime=0.44 cores=1,3,5,7
/proc/22257/task/22275/stat : 22275 (java) S 22255 22257 21231 0 -1 4202560 51 0 0 0 20 24 0 0 20 0 22 0 253611410 10060460032 1384988 33554432000 1073741824 1073778376 140733567268944 140570087430728 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22257/tid=22276] ppid=22255 vsize=9824668 CPUtime=838.86 cores=1,3,5,7
/proc/22257/task/22276/stat : 22276 (java) R 22255 22257 21231 0 -1 4202560 356 0 0 0 83870 16 0 0 20 0 22 0 253611531 10060460032 1384988 33554432000 1073741824 1073778376 140733567268944 140570086374448 140570136683083 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22257/tid=22277] ppid=22255 vsize=9824668 CPUtime=838.85 cores=1,3,5,7
/proc/22257/task/22277/stat : 22277 (java) R 22255 22257 21231 0 -1 4202560 121 0 0 0 83871 14 0 0 20 0 22 0 253611531 10060460032 1384988 33554432000 1073741824 1073778376 140733567268944 140570085322608 140570136718710 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22257/tid=22278] ppid=22255 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22257/task/22278/stat : 22278 (java) S 22255 22257 21231 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253611534 10060460032 1384988 33554432000 1073741824 1073778376 140733567268944 140570084271400 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22257/tid=22279] ppid=22255 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22257/task/22279/stat : 22279 (java) S 22255 22257 21231 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253611534 10060460032 1384988 33554432000 1073741824 1073778376 140733567268944 140570083218856 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1757.66
Current children cumulated vsize (KiB) 9824668
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+903.401 s]
/proc/loadavg: 3.99 4.02 3.82 5/219 22485
/proc/meminfo: memFree=20555172/32873844 swapFree=7104/7104
[pid=22257] ppid=22255 vsize=9824668 CPUtime=1800.2 cores=1,3,5,7
/proc/22257/stat : 22257 (java) S 22255 22257 21231 0 -1 4202496 124523 0 1 0 179356 664 0 0 20 0 22 0 253611404 10060460032 1376130 33554432000 1073741824 1073778376 140733567268944 140733567260080 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22257/statm: 2456167 1376130 2277 9 0 2446860 0
[pid=22257/tid=22259] ppid=22255 vsize=9824668 CPUtime=1.14 cores=1,3,5,7
/proc/22257/task/22259/stat : 22259 (java) S 22255 22257 21231 0 -1 4202560 2580 0 1 0 107 7 0 0 20 0 22 0 253611405 10060460032 1376130 33554432000 1073741824 1073778376 140733567268944 140570270811128 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22257/tid=22260] ppid=22255 vsize=9824668 CPUtime=5.08 cores=1,3,5,7
/proc/22257/task/22260/stat : 22260 (java) S 22255 22257 21231 0 -1 4202560 10477 0 0 0 440 68 0 0 20 0 22 0 253611406 10060460032 1376130 33554432000 1073741824 1073778376 140733567268944 140570259872680 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22257/tid=22261] ppid=22255 vsize=9824668 CPUtime=5.69 cores=1,3,5,7
/proc/22257/task/22261/stat : 22261 (java) S 22255 22257 21231 0 -1 4202560 11091 0 0 0 489 80 0 0 20 0 22 0 253611406 10060460032 1376130 33554432000 1073741824 1073778376 140733567268944 140570258820136 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22257/tid=22262] ppid=22255 vsize=9824668 CPUtime=5.2 cores=1,3,5,7
/proc/22257/task/22262/stat : 22262 (java) S 22255 22257 21231 0 -1 4202560 8943 0 0 0 449 71 0 0 20 0 22 0 253611406 10060460032 1376130 33554432000 1073741824 1073778376 140733567268944 140570257767080 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22257/tid=22263] ppid=22255 vsize=9824668 CPUtime=5.62 cores=1,3,5,7
/proc/22257/task/22263/stat : 22263 (java) S 22255 22257 21231 0 -1 4202560 8901 0 0 0 481 81 0 0 20 0 22 0 253611406 10060460032 1376130 33554432000 1073741824 1073778376 140733567268944 140570256714536 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22257/tid=22264] ppid=22255 vsize=9824668 CPUtime=4.97 cores=1,3,5,7
/proc/22257/task/22264/stat : 22264 (java) S 22255 22257 21231 0 -1 4202560 9997 0 0 0 421 76 0 0 20 0 22 0 253611406 10060460032 1376130 33554432000 1073741824 1073778376 140733567268944 140570255661480 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22257/tid=22265] ppid=22255 vsize=9824668 CPUtime=4.76 cores=1,3,5,7
/proc/22257/task/22265/stat : 22265 (java) S 22255 22257 21231 0 -1 4202560 11356 0 0 0 396 80 0 0 20 0 22 0 253611406 10060460032 1376130 33554432000 1073741824 1073778376 140733567268944 140570254608936 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22257/tid=22266] ppid=22255 vsize=9824668 CPUtime=5.35 cores=1,3,5,7
/proc/22257/task/22266/stat : 22266 (java) S 22255 22257 21231 0 -1 4202560 11366 0 0 0 467 68 0 0 20 0 22 0 253611406 10060460032 1376130 33554432000 1073741824 1073778376 140733567268944 140570108049576 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22257/tid=22267] ppid=22255 vsize=9824668 CPUtime=6.02 cores=1,3,5,7
/proc/22257/task/22267/stat : 22267 (java) S 22255 22257 21231 0 -1 4202560 8372 0 0 0 531 71 0 0 20 0 22 0 253611406 10060460032 1376130 33554432000 1073741824 1073778376 140733567268944 140570106997032 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22257/tid=22268] ppid=22255 vsize=9824668 CPUtime=29.08 cores=1,3,5,7
/proc/22257/task/22268/stat : 22268 (java) S 22255 22257 21231 0 -1 4202560 29358 0 0 0 2883 25 0 0 20 0 22 0 253611407 10060460032 1376130 33554432000 1073741824 1073778376 140733567268944 140570094799720 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22257/tid=22269] ppid=22255 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22257/task/22269/stat : 22269 (java) S 22255 22257 21231 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253611407 10060460032 1376130 33554432000 1073741824 1073778376 140733567268944 140570093746040 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22257/tid=22270] ppid=22255 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22257/task/22270/stat : 22270 (java) S 22255 22257 21231 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253611407 10060460032 1376130 33554432000 1073741824 1073778376 140733567268944 140570092692872 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22257/tid=22271] ppid=22255 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22257/task/22271/stat : 22271 (java) S 22255 22257 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253611410 10060460032 1376130 33554432000 1073741824 1073778376 140733567268944 140570091641616 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22257/tid=22272] ppid=22255 vsize=9824668 CPUtime=1.26 cores=1,3,5,7
/proc/22257/task/22272/stat : 22272 (java) S 22255 22257 21231 0 -1 4202560 5481 0 0 0 124 2 0 0 20 0 22 0 253611410 10060460032 1376130 33554432000 1073741824 1073778376 140733567268944 140570090588472 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22257/tid=22273] ppid=22255 vsize=9824668 CPUtime=1.53 cores=1,3,5,7
/proc/22257/task/22273/stat : 22273 (java) S 22255 22257 21231 0 -1 4202560 4881 0 0 0 153 0 0 0 20 0 22 0 253611410 10060460032 1376130 33554432000 1073741824 1073778376 140733567268944 140570089535928 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22257/tid=22274] ppid=22255 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22257/task/22274/stat : 22274 (java) S 22255 22257 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253611410 10060460032 1376130 33554432000 1073741824 1073778376 140733567268944 140570088483064 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22257/tid=22275] ppid=22255 vsize=9824668 CPUtime=0.44 cores=1,3,5,7
/proc/22257/task/22275/stat : 22275 (java) S 22255 22257 21231 0 -1 4202560 53 0 0 0 20 24 0 0 20 0 22 0 253611410 10060460032 1376130 33554432000 1073741824 1073778376 140733567268944 140570087430728 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22257/tid=22276] ppid=22255 vsize=9824668 CPUtime=859.74 cores=1,3,5,7
/proc/22257/task/22276/stat : 22276 (java) R 22255 22257 21231 0 -1 4202560 358 0 0 0 85957 17 0 0 20 0 22 0 253611531 10060460032 1376130 33554432000 1073741824 1073778376 140733567268944 140570086375344 140570136683083 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22257/tid=22277] ppid=22255 vsize=9824668 CPUtime=859.72 cores=1,3,5,7
/proc/22257/task/22277/stat : 22277 (java) R 22255 22257 21231 0 -1 4202560 121 0 0 0 85957 15 0 0 20 0 22 0 253611531 10060460032 1376130 33554432000 1073741824 1073778376 140733567268944 140570085321712 140570136718635 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22257/tid=22278] ppid=22255 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22257/task/22278/stat : 22278 (java) S 22255 22257 21231 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253611534 10060460032 1376130 33554432000 1073741824 1073778376 140733567268944 140570084271400 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22257/tid=22279] ppid=22255 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22257/task/22279/stat : 22279 (java) S 22255 22257 21231 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253611534 10060460032 1376130 33554432000 1073741824 1073778376 140733567268944 140570083218856 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.2
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
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 22257 and gives
# childrusage.ru_utime.tv_sec=1788
# childrusage.ru_utime.tv_usec=969035
# childrusage.ru_stime.tv_sec=7
# childrusage.ru_stime.tv_usec=42929
# CPU time returned by wait4() is 1796.01
# while last known CPU time is 1800.2
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 903.475
CPU time (s): 1800.2
CPU user time (s): 1793.56
CPU system time (s): 6.64
CPU usage (%): 199.253
Max. virtual memory (cumulated for all children) (KiB): 9824668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1788.97
system time used= 7.04293
maximum resident set size= 5539988
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 124564
page faults= 1
swaps= 0
block input operations= 0
block output operations= 992
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 27724
involuntary context switches= 24578
runsolver used 3.57046 second user time and 9.05362 second system time
The end