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-3688652-1337878685/watcher-3688652-1337878685 -o /tmp/evaluation-result-3688652-1337878685/solver-3688652-1337878685 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3688652-1337878685.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: 4.04 3.87 3.83 3/197 23348
/proc/meminfo: memFree=27774004/32873844 swapFree=7104/7104
[pid=23348] ppid=23346 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/23348/stat : 23348 (java) R 23346 23348 21231 0 -1 4202496 1098 0 0 0 0 0 0 0 20 0 1 0 253994188 23793664 827 33554432000 1073741824 1073778376 140737453446768 140737453435832 140523670270272 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/23348/statm: 5809 844 636 9 0 128 0
[startup+0.052645 s]
/proc/loadavg: 4.04 3.87 3.83 3/197 23348
/proc/meminfo: memFree=27774004/32873844 swapFree=7104/7104
[pid=23348] ppid=23346 vsize=9558412 CPUtime=0.04 cores=0,2,4,6
/proc/23348/stat : 23348 (java) S 23346 23348 21231 0 -1 4202496 3189 0 1 0 3 1 0 0 20 0 18 0 253994188 9787813888 4398 33554432000 1073741824 1073778376 140737453446768 140737453437904 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23348/statm: 2389603 4398 1757 9 0 2380296 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 9558412
[startup+0.100198 s]
/proc/loadavg: 4.04 3.87 3.83 3/197 23348
/proc/meminfo: memFree=27774004/32873844 swapFree=7104/7104
[pid=23348] ppid=23346 vsize=9558412 CPUtime=0.1 cores=0,2,4,6
/proc/23348/stat : 23348 (java) S 23346 23348 21231 0 -1 4202496 4451 0 1 0 9 1 0 0 20 0 18 0 253994188 9787813888 6119 33554432000 1073741824 1073778376 140737453446768 140737453437904 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23348/statm: 2389603 6119 2139 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558412
[startup+0.300161 s]
/proc/loadavg: 4.04 3.87 3.83 3/197 23348
/proc/meminfo: memFree=27774004/32873844 swapFree=7104/7104
[pid=23348] ppid=23346 vsize=9558412 CPUtime=0.49 cores=0,2,4,6
/proc/23348/stat : 23348 (java) S 23346 23348 21231 0 -1 4202496 5815 0 1 0 47 2 0 0 20 0 18 0 253994188 9787813888 8529 33554432000 1073741824 1073778376 140737453446768 140737453437904 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23348/statm: 2389603 8529 2225 9 0 2380296 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 9558412
[startup+0.700171 s]
/proc/loadavg: 4.04 3.87 3.83 3/197 23348
/proc/meminfo: memFree=27774004/32873844 swapFree=7104/7104
[pid=23348] ppid=23346 vsize=9824668 CPUtime=1.76 cores=0,2,4,6
/proc/23348/stat : 23348 (java) S 23346 23348 21231 0 -1 4202496 25745 0 1 0 168 8 0 0 20 0 19 0 253994188 10060460032 28507 33554432000 1073741824 1073778376 140737453446768 140737453437904 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23348/statm: 2456167 28507 2254 9 0 2446860 0
Current children cumulated CPU time (s) 1.76
Current children cumulated vsize (KiB) 9824668
[startup+1.50069 s]
/proc/loadavg: 4.04 3.87 3.83 5/216 23370
/proc/meminfo: memFree=27622352/32873844 swapFree=7104/7104
[pid=23348] ppid=23346 vsize=9824668 CPUtime=2.54 cores=0,2,4,6
/proc/23348/stat : 23348 (java) S 23346 23348 21231 0 -1 4202496 28158 0 1 0 243 11 0 0 20 0 19 0 253994188 10060460032 30173 33554432000 1073741824 1073778376 140737453446768 140737453437904 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23348/statm: 2456167 30173 2261 9 0 2446860 0
[pid=23348/tid=23350] ppid=23346 vsize=9824668 CPUtime=0.49 cores=0,2,4,6
/proc/23348/task/23350/stat : 23350 (java) S 23346 23348 21231 0 -1 4202560 2469 0 1 0 47 2 0 0 20 0 19 0 253994188 10060460032 30173 33554432000 1073741824 1073778376 140737453446768 140523666605048 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23348/tid=23351] ppid=23346 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23348/task/23351/stat : 23351 (java) S 23346 23348 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253994189 10060460032 30173 33554432000 1073741824 1073778376 140737453446768 140523628096040 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23348/tid=23352] ppid=23346 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23348/task/23352/stat : 23352 (java) S 23346 23348 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253994189 10060460032 30173 33554432000 1073741824 1073778376 140737453446768 140523627043240 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23348/tid=23353] ppid=23346 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23348/task/23353/stat : 23353 (java) S 23346 23348 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253994189 10060460032 30173 33554432000 1073741824 1073778376 140737453446768 140523625990440 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23348/tid=23354] ppid=23346 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23348/task/23354/stat : 23354 (java) S 23346 23348 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253994189 10060460032 30173 33554432000 1073741824 1073778376 140737453446768 140523624937640 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23348/tid=23355] ppid=23346 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23348/task/23355/stat : 23355 (java) S 23346 23348 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253994189 10060460032 30173 33554432000 1073741824 1073778376 140737453446768 140523623885864 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23348/tid=23356] ppid=23346 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23348/task/23356/stat : 23356 (java) S 23346 23348 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253994189 10060460032 30173 33554432000 1073741824 1073778376 140737453446768 140523622833064 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23348/tid=23357] ppid=23346 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23348/task/23357/stat : 23357 (java) S 23346 23348 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253994189 10060460032 30173 33554432000 1073741824 1073778376 140737453446768 140523621780264 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23348/tid=23358] ppid=23346 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23348/task/23358/stat : 23358 (java) S 23346 23348 21231 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253994189 10060460032 30173 33554432000 1073741824 1073778376 140737453446768 140523620727464 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23348/tid=23359] ppid=23346 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23348/task/23359/stat : 23359 (java) S 23346 23348 21231 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253994190 10060460032 30173 33554432000 1073741824 1073778376 140737453446768 140523490748904 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23348/tid=23360] ppid=23346 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23348/task/23360/stat : 23360 (java) S 23346 23348 21231 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 253994190 10060460032 30173 33554432000 1073741824 1073778376 140737453446768 140523489694968 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23348/tid=23361] ppid=23346 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23348/task/23361/stat : 23361 (java) S 23346 23348 21231 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253994190 10060460032 30173 33554432000 1073741824 1073778376 140737453446768 140523488642056 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23348/tid=23362] ppid=23346 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23348/task/23362/stat : 23362 (java) S 23346 23348 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253994192 10060460032 30173 33554432000 1073741824 1073778376 140737453446768 140523487590544 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23348/tid=23363] ppid=23346 vsize=9824668 CPUtime=0.83 cores=0,2,4,6
/proc/23348/task/23363/stat : 23363 (java) S 23346 23348 21231 0 -1 4202560 12811 0 0 0 81 2 0 0 20 0 19 0 253994192 10060460032 30173 33554432000 1073741824 1073778376 140737453446768 140523486538680 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23348/tid=23364] ppid=23346 vsize=9824668 CPUtime=0.83 cores=0,2,4,6
/proc/23348/task/23364/stat : 23364 (java) S 23346 23348 21231 0 -1 4202560 11561 0 0 0 80 3 0 0 20 0 19 0 253994192 10060460032 30173 33554432000 1073741824 1073778376 140737453446768 140523485485880 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23348/tid=23365] ppid=23346 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23348/task/23365/stat : 23365 (java) S 23346 23348 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253994192 10060460032 30173 33554432000 1073741824 1073778376 140737453446768 140523484433272 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23348/tid=23366] ppid=23346 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23348/task/23366/stat : 23366 (java) S 23346 23348 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253994193 10060460032 30173 33554432000 1073741824 1073778376 140737453446768 140523483380680 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23348/tid=23370] ppid=23346 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23348/task/23370/stat : 23370 (java) S 23346 23348 21231 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253994241 10060460032 30173 33554432000 1073741824 1073778376 140737453446768 140522203112232 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.54
Current children cumulated vsize (KiB) 9824668
[startup+3.10061 s]
/proc/loadavg: 4.03 3.87 3.83 5/219 23379
/proc/meminfo: memFree=27580020/32873844 swapFree=7104/7104
[pid=23348] ppid=23346 vsize=9824668 CPUtime=6.14 cores=0,2,4,6
/proc/23348/stat : 23348 (java) S 23346 23348 21231 0 -1 4202496 32328 0 1 0 596 18 0 0 20 0 22 0 253994188 10060460032 58089 33554432000 1073741824 1073778376 140737453446768 140737453437904 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23348/statm: 2456167 58089 2276 9 0 2446860 0
[pid=23348/tid=23350] ppid=23346 vsize=9824668 CPUtime=0.5 cores=0,2,4,6
/proc/23348/task/23350/stat : 23350 (java) S 23346 23348 21231 0 -1 4202560 2469 0 1 0 48 2 0 0 20 0 22 0 253994188 10060460032 58089 33554432000 1073741824 1073778376 140737453446768 140523666605048 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23348/tid=23351] ppid=23346 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23348/task/23351/stat : 23351 (java) S 23346 23348 21231 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253994189 10060460032 58089 33554432000 1073741824 1073778376 140737453446768 140523628096040 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23348/tid=23352] ppid=23346 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23348/task/23352/stat : 23352 (java) S 23346 23348 21231 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 253994189 10060460032 58089 33554432000 1073741824 1073778376 140737453446768 140523627043240 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23348/tid=23353] ppid=23346 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23348/task/23353/stat : 23353 (java) S 23346 23348 21231 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 253994189 10060460032 58089 33554432000 1073741824 1073778376 140737453446768 140523625990440 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23348/tid=23354] ppid=23346 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/23348/task/23354/stat : 23354 (java) S 23346 23348 21231 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 22 0 253994189 10060460032 58089 33554432000 1073741824 1073778376 140737453446768 140523624937640 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23348/tid=23355] ppid=23346 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23348/task/23355/stat : 23355 (java) S 23346 23348 21231 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 253994189 10060460032 58089 33554432000 1073741824 1073778376 140737453446768 140523623885864 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23348/tid=23356] ppid=23346 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23348/task/23356/stat : 23356 (java) S 23346 23348 21231 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 253994189 10060460032 58089 33554432000 1073741824 1073778376 140737453446768 140523622833064 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23348/tid=23357] ppid=23346 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23348/task/23357/stat : 23357 (java) S 23346 23348 21231 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 253994189 10060460032 58089 33554432000 1073741824 1073778376 140737453446768 140523621780264 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23348/tid=23358] ppid=23346 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23348/task/23358/stat : 23358 (java) S 23346 23348 21231 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 253994189 10060460032 58089 33554432000 1073741824 1073778376 140737453446768 140523620727464 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23348/tid=23359] ppid=23346 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23348/task/23359/stat : 23359 (java) S 23346 23348 21231 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 22 0 253994190 10060460032 58089 33554432000 1073741824 1073778376 140737453446768 140523490748904 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23348/tid=23360] ppid=23346 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23348/task/23360/stat : 23360 (java) S 23346 23348 21231 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253994190 10060460032 58089 33554432000 1073741824 1073778376 140737453446768 140523489694968 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23348/tid=23361] ppid=23346 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23348/task/23361/stat : 23361 (java) S 23346 23348 21231 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253994190 10060460032 58089 33554432000 1073741824 1073778376 140737453446768 140523488642056 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23348/tid=23362] ppid=23346 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23348/task/23362/stat : 23362 (java) S 23346 23348 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253994192 10060460032 58089 33554432000 1073741824 1073778376 140737453446768 140523487590544 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23348/tid=23363] ppid=23346 vsize=9824668 CPUtime=1.31 cores=0,2,4,6
/proc/23348/task/23363/stat : 23363 (java) S 23346 23348 21231 0 -1 4202560 12980 0 0 0 129 2 0 0 20 0 22 0 253994192 10060460032 58089 33554432000 1073741824 1073778376 140737453446768 140523486538680 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23348/tid=23364] ppid=23346 vsize=9824668 CPUtime=1.43 cores=0,2,4,6
/proc/23348/task/23364/stat : 23364 (java) S 23346 23348 21231 0 -1 4202560 15372 0 0 0 139 4 0 0 20 0 22 0 253994192 10060460032 58089 33554432000 1073741824 1073778376 140737453446768 140523485485880 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23348/tid=23365] ppid=23346 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23348/task/23365/stat : 23365 (java) S 23346 23348 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253994192 10060460032 58089 33554432000 1073741824 1073778376 140737453446768 140523484433272 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23348/tid=23366] ppid=23346 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23348/task/23366/stat : 23366 (java) S 23346 23348 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253994193 10060460032 58089 33554432000 1073741824 1073778376 140737453446768 140523483380680 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23348/tid=23379] ppid=23346 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23348/task/23379/stat : 23379 (java) S 23346 23348 21231 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253994390 10060460032 58089 33554432000 1073741824 1073778376 140737453446768 140523480221352 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 9824668
[startup+6.30074 s]
/proc/loadavg: 4.03 3.87 3.83 5/219 23382
/proc/meminfo: memFree=27343680/32873844 swapFree=7104/7104
[pid=23348] ppid=23346 vsize=9824668 CPUtime=12.97 cores=0,2,4,6
/proc/23348/stat : 23348 (java) S 23346 23348 21231 0 -1 4202496 33208 0 1 0 1262 35 0 0 20 0 22 0 253994188 10060460032 117067 33554432000 1073741824 1073778376 140737453446768 140737453437904 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23348/statm: 2456167 117067 2288 9 0 2446860 0
[pid=23348/tid=23350] ppid=23346 vsize=9824668 CPUtime=0.5 cores=0,2,4,6
/proc/23348/task/23350/stat : 23350 (java) S 23346 23348 21231 0 -1 4202560 2470 0 1 0 48 2 0 0 20 0 22 0 253994188 10060460032 117067 33554432000 1073741824 1073778376 140737453446768 140523666605048 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23348/tid=23351] ppid=23346 vsize=9824668 CPUtime=0.04 cores=0,2,4,6
/proc/23348/task/23351/stat : 23351 (java) S 23346 23348 21231 0 -1 4202560 38 0 0 0 4 0 0 0 20 0 22 0 253994189 10060460032 117067 33554432000 1073741824 1073778376 140737453446768 140523628096040 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23348/tid=23352] ppid=23346 vsize=9824668 CPUtime=0.08 cores=0,2,4,6
/proc/23348/task/23352/stat : 23352 (java) S 23346 23348 21231 0 -1 4202560 51 0 0 0 5 3 0 0 20 0 22 0 253994189 10060460032 117067 33554432000 1073741824 1073778376 140737453446768 140523627043240 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23348/tid=23353] ppid=23346 vsize=9824668 CPUtime=0.06 cores=0,2,4,6
/proc/23348/task/23353/stat : 23353 (java) S 23346 23348 21231 0 -1 4202560 159 0 0 0 4 2 0 0 20 0 22 0 253994189 10060460032 117067 33554432000 1073741824 1073778376 140737453446768 140523625990440 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23348/tid=23354] ppid=23346 vsize=9824668 CPUtime=0.09 cores=0,2,4,6
/proc/23348/task/23354/stat : 23354 (java) S 23346 23348 21231 0 -1 4202560 65 0 0 0 7 2 0 0 20 0 22 0 253994189 10060460032 117067 33554432000 1073741824 1073778376 140737453446768 140523624937640 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23348/tid=23355] ppid=23346 vsize=9824668 CPUtime=0.05 cores=0,2,4,6
/proc/23348/task/23355/stat : 23355 (java) S 23346 23348 21231 0 -1 4202560 31 0 0 0 4 1 0 0 20 0 22 0 253994189 10060460032 117067 33554432000 1073741824 1073778376 140737453446768 140523623885864 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23348/tid=23356] ppid=23346 vsize=9824668 CPUtime=0.1 cores=0,2,4,6
/proc/23348/task/23356/stat : 23356 (java) S 23346 23348 21231 0 -1 4202560 127 0 0 0 7 3 0 0 20 0 22 0 253994189 10060460032 117067 33554432000 1073741824 1073778376 140737453446768 140523622833064 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23348/tid=23357] ppid=23346 vsize=9824668 CPUtime=0.09 cores=0,2,4,6
/proc/23348/task/23357/stat : 23357 (java) S 23346 23348 21231 0 -1 4202560 141 0 0 0 6 3 0 0 20 0 22 0 253994189 10060460032 117067 33554432000 1073741824 1073778376 140737453446768 140523621780264 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23348/tid=23358] ppid=23346 vsize=9824668 CPUtime=0.04 cores=0,2,4,6
/proc/23348/task/23358/stat : 23358 (java) S 23346 23348 21231 0 -1 4202560 88 0 0 0 3 1 0 0 20 0 22 0 253994189 10060460032 117067 33554432000 1073741824 1073778376 140737453446768 140523620727464 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23348/tid=23359] ppid=23346 vsize=9824668 CPUtime=0.14 cores=0,2,4,6
/proc/23348/task/23359/stat : 23359 (java) S 23346 23348 21231 0 -1 4202560 230 0 0 0 13 1 0 0 20 0 22 0 253994190 10060460032 117067 33554432000 1073741824 1073778376 140737453446768 140523490748904 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23348/tid=23360] ppid=23346 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23348/task/23360/stat : 23360 (java) S 23346 23348 21231 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253994190 10060460032 117067 33554432000 1073741824 1073778376 140737453446768 140523489694968 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23348/tid=23361] ppid=23346 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23348/task/23361/stat : 23361 (java) S 23346 23348 21231 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253994190 10060460032 117067 33554432000 1073741824 1073778376 140737453446768 140523488642056 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23348/tid=23362] ppid=23346 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23348/task/23362/stat : 23362 (java) S 23346 23348 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253994192 10060460032 117067 33554432000 1073741824 1073778376 140737453446768 140523487590544 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23348/tid=23363] ppid=23346 vsize=9824668 CPUtime=1.43 cores=0,2,4,6
/proc/23348/task/23363/stat : 23363 (java) S 23346 23348 21231 0 -1 4202560 12981 0 0 0 141 2 0 0 20 0 22 0 253994192 10060460032 117067 33554432000 1073741824 1073778376 140737453446768 140523486538680 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23348/tid=23364] ppid=23346 vsize=9824668 CPUtime=1.63 cores=0,2,4,6
/proc/23348/task/23364/stat : 23364 (java) S 23346 23348 21231 0 -1 4202560 15392 0 0 0 159 4 0 0 20 0 22 0 253994192 10060460032 117067 33554432000 1073741824 1073778376 140737453446768 140523485485880 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23348/tid=23365] ppid=23346 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23348/task/23365/stat : 23365 (java) S 23346 23348 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253994192 10060460032 117067 33554432000 1073741824 1073778376 140737453446768 140523484433272 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23348/tid=23366] ppid=23346 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23348/task/23366/stat : 23366 (java) S 23346 23348 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253994193 10060460032 117067 33554432000 1073741824 1073778376 140737453446768 140523483380680 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23348/tid=23379] ppid=23346 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23348/task/23379/stat : 23379 (java) S 23346 23348 21231 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253994390 10060460032 117067 33554432000 1073741824 1073778376 140737453446768 140523480221352 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23348/tid=23380] ppid=23346 vsize=9824668 CPUtime=2.95 cores=0,2,4,6
/proc/23348/task/23380/stat : 23380 (java) R 23346 23348 21231 0 -1 4202560 4 0 0 0 295 0 0 0 20 0 22 0 253994490 10060460032 117067 33554432000 1073741824 1073778376 140737453446768 140523481273184 140523495983666 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=23348/tid=23381] ppid=23346 vsize=9824668 CPUtime=2.96 cores=0,2,4,6
/proc/23348/task/23381/stat : 23381 (java) R 23346 23348 21231 0 -1 4202560 60 0 0 0 295 1 0 0 20 0 22 0 253994490 10060460032 117067 33554432000 1073741824 1073778376 140737453446768 140523482323960 140523495983111 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
################
# More data... #
################
[pid=23348/tid=23354] ppid=23346 vsize=9824668 CPUtime=1.65 cores=0,2,4,6
/proc/23348/task/23354/stat : 23354 (java) S 23346 23348 21231 0 -1 4202560 359 0 0 0 158 7 0 0 20 0 22 0 253994189 10060460032 893142 33554432000 1073741824 1073778376 140737453446768 140523624937640 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23348/tid=23355] ppid=23346 vsize=9824668 CPUtime=1.71 cores=0,2,4,6
/proc/23348/task/23355/stat : 23355 (java) S 23346 23348 21231 0 -1 4202560 252 0 0 0 166 5 0 0 20 0 22 0 253994189 10060460032 893142 33554432000 1073741824 1073778376 140737453446768 140523623885864 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23348/tid=23356] ppid=23346 vsize=9824668 CPUtime=1.86 cores=0,2,4,6
/proc/23348/task/23356/stat : 23356 (java) S 23346 23348 21231 0 -1 4202560 323 0 0 0 179 7 0 0 20 0 22 0 253994189 10060460032 893142 33554432000 1073741824 1073778376 140737453446768 140523622833064 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23348/tid=23357] ppid=23346 vsize=9824668 CPUtime=1.51 cores=0,2,4,6
/proc/23348/task/23357/stat : 23357 (java) S 23346 23348 21231 0 -1 4202560 298 0 0 0 146 5 0 0 20 0 22 0 253994189 10060460032 893142 33554432000 1073741824 1073778376 140737453446768 140523621780264 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23348/tid=23358] ppid=23346 vsize=9824668 CPUtime=1.78 cores=0,2,4,6
/proc/23348/task/23358/stat : 23358 (java) S 23346 23348 21231 0 -1 4202560 381 0 0 0 172 6 0 0 20 0 22 0 253994189 10060460032 893142 33554432000 1073741824 1073778376 140737453446768 140523620727464 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23348/tid=23359] ppid=23346 vsize=9824668 CPUtime=54.95 cores=0,2,4,6
/proc/23348/task/23359/stat : 23359 (java) S 23346 23348 21231 0 -1 4202560 3247 0 0 0 5477 18 0 0 20 0 22 0 253994190 10060460032 893142 33554432000 1073741824 1073778376 140737453446768 140523490748904 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23348/tid=23360] ppid=23346 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23348/task/23360/stat : 23360 (java) S 23346 23348 21231 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253994190 10060460032 893142 33554432000 1073741824 1073778376 140737453446768 140523489694968 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23348/tid=23361] ppid=23346 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23348/task/23361/stat : 23361 (java) S 23346 23348 21231 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253994190 10060460032 893142 33554432000 1073741824 1073778376 140737453446768 140523488642056 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23348/tid=23362] ppid=23346 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23348/task/23362/stat : 23362 (java) S 23346 23348 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253994192 10060460032 893142 33554432000 1073741824 1073778376 140737453446768 140523487590544 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23348/tid=23363] ppid=23346 vsize=9824668 CPUtime=2.2 cores=0,2,4,6
/proc/23348/task/23363/stat : 23363 (java) S 23346 23348 21231 0 -1 4202560 13038 0 0 0 218 2 0 0 20 0 22 0 253994192 10060460032 893142 33554432000 1073741824 1073778376 140737453446768 140523486538680 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23348/tid=23364] ppid=23346 vsize=9824668 CPUtime=1.78 cores=0,2,4,6
/proc/23348/task/23364/stat : 23364 (java) S 23346 23348 21231 0 -1 4202560 15395 0 0 0 174 4 0 0 20 0 22 0 253994192 10060460032 893142 33554432000 1073741824 1073778376 140737453446768 140523485485880 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23348/tid=23365] ppid=23346 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23348/task/23365/stat : 23365 (java) S 23346 23348 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253994192 10060460032 893142 33554432000 1073741824 1073778376 140737453446768 140523484433272 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23348/tid=23366] ppid=23346 vsize=9824668 CPUtime=0.31 cores=0,2,4,6
/proc/23348/task/23366/stat : 23366 (java) S 23346 23348 21231 0 -1 4202560 47 0 0 0 16 15 0 0 20 0 22 0 253994193 10060460032 893142 33554432000 1073741824 1073778376 140737453446768 140523483380680 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23348/tid=23379] ppid=23346 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23348/task/23379/stat : 23379 (java) S 23346 23348 21231 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253994390 10060460032 893142 33554432000 1073741824 1073778376 140737453446768 140523480221352 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23348/tid=23383] ppid=23346 vsize=9824668 CPUtime=694.96 cores=0,2,4,6
/proc/23348/task/23383/stat : 23383 (java) R 23346 23348 21231 0 -1 4202560 25 0 0 0 69486 10 0 0 20 0 22 0 254001241 10060460032 893142 33554432000 1073741824 1073778376 140737453446768 140523481272800 140523495996908 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=23348/tid=23384] ppid=23346 vsize=9824668 CPUtime=694.88 cores=0,2,4,6
/proc/23348/task/23384/stat : 23384 (java) R 23346 23348 21231 0 -1 4202560 188 0 0 0 69475 13 0 0 20 0 22 0 254001241 10060460032 893142 33554432000 1073741824 1073778376 140737453446768 140523482325456 140523496258413 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=23348/tid=23385] ppid=23346 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23348/task/23385/stat : 23385 (java) S 23346 23348 21231 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254001241 10060460032 893142 33554432000 1073741824 1073778376 140737453446768 140522203112360 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1595.86
Current children cumulated vsize (KiB) 9824668
[startup+882.301 s]
/proc/loadavg: 3.76 3.87 3.86 5/219 23491
/proc/meminfo: memFree=24966632/32873844 swapFree=7104/7104
[pid=23348] ppid=23346 vsize=9824668 CPUtime=1713.84 cores=0,2,4,6
/proc/23348/stat : 23348 (java) S 23346 23348 21231 0 -1 4202496 40260 0 1 0 171252 132 0 0 20 0 22 0 253994188 10060460032 895809 33554432000 1073741824 1073778376 140737453446768 140737453437904 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23348/statm: 2456167 895809 2289 9 0 2446860 0
[pid=23348/tid=23350] ppid=23346 vsize=9824668 CPUtime=0.53 cores=0,2,4,6
/proc/23348/task/23350/stat : 23350 (java) S 23346 23348 21231 0 -1 4202560 2489 0 1 0 50 3 0 0 20 0 22 0 253994188 10060460032 895809 33554432000 1073741824 1073778376 140737453446768 140523666605048 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23348/tid=23351] ppid=23346 vsize=9824668 CPUtime=1.9 cores=0,2,4,6
/proc/23348/task/23351/stat : 23351 (java) S 23346 23348 21231 0 -1 4202560 356 0 0 0 185 5 0 0 20 0 22 0 253994189 10060460032 895809 33554432000 1073741824 1073778376 140737453446768 140523628096040 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23348/tid=23352] ppid=23346 vsize=9824668 CPUtime=1.86 cores=0,2,4,6
/proc/23348/task/23352/stat : 23352 (java) S 23346 23348 21231 0 -1 4202560 378 0 0 0 178 8 0 0 20 0 22 0 253994189 10060460032 895809 33554432000 1073741824 1073778376 140737453446768 140523627043240 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23348/tid=23353] ppid=23346 vsize=9824668 CPUtime=1.84 cores=0,2,4,6
/proc/23348/task/23353/stat : 23353 (java) S 23346 23348 21231 0 -1 4202560 352 0 0 0 178 6 0 0 20 0 22 0 253994189 10060460032 895809 33554432000 1073741824 1073778376 140737453446768 140523625990440 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23348/tid=23354] ppid=23346 vsize=9824668 CPUtime=1.74 cores=0,2,4,6
/proc/23348/task/23354/stat : 23354 (java) S 23346 23348 21231 0 -1 4202560 359 0 0 0 167 7 0 0 20 0 22 0 253994189 10060460032 895809 33554432000 1073741824 1073778376 140737453446768 140523624937640 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23348/tid=23355] ppid=23346 vsize=9824668 CPUtime=1.84 cores=0,2,4,6
/proc/23348/task/23355/stat : 23355 (java) S 23346 23348 21231 0 -1 4202560 273 0 0 0 179 5 0 0 20 0 22 0 253994189 10060460032 895809 33554432000 1073741824 1073778376 140737453446768 140523623885864 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23348/tid=23356] ppid=23346 vsize=9824668 CPUtime=1.97 cores=0,2,4,6
/proc/23348/task/23356/stat : 23356 (java) S 23346 23348 21231 0 -1 4202560 332 0 0 0 190 7 0 0 20 0 22 0 253994189 10060460032 895809 33554432000 1073741824 1073778376 140737453446768 140523622833064 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23348/tid=23357] ppid=23346 vsize=9824668 CPUtime=1.64 cores=0,2,4,6
/proc/23348/task/23357/stat : 23357 (java) S 23346 23348 21231 0 -1 4202560 314 0 0 0 159 5 0 0 20 0 22 0 253994189 10060460032 895809 33554432000 1073741824 1073778376 140737453446768 140523621780264 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23348/tid=23358] ppid=23346 vsize=9824668 CPUtime=1.87 cores=0,2,4,6
/proc/23348/task/23358/stat : 23358 (java) S 23346 23348 21231 0 -1 4202560 418 0 0 0 181 6 0 0 20 0 22 0 253994189 10060460032 895809 33554432000 1073741824 1073778376 140737453446768 140523620727464 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23348/tid=23359] ppid=23346 vsize=9824668 CPUtime=57.32 cores=0,2,4,6
/proc/23348/task/23359/stat : 23359 (java) S 23346 23348 21231 0 -1 4202560 3266 0 0 0 5714 18 0 0 20 0 22 0 253994190 10060460032 895809 33554432000 1073741824 1073778376 140737453446768 140523490748904 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23348/tid=23360] ppid=23346 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23348/task/23360/stat : 23360 (java) S 23346 23348 21231 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253994190 10060460032 895809 33554432000 1073741824 1073778376 140737453446768 140523489694968 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23348/tid=23361] ppid=23346 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23348/task/23361/stat : 23361 (java) S 23346 23348 21231 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253994190 10060460032 895809 33554432000 1073741824 1073778376 140737453446768 140523488642056 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23348/tid=23362] ppid=23346 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23348/task/23362/stat : 23362 (java) S 23346 23348 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253994192 10060460032 895809 33554432000 1073741824 1073778376 140737453446768 140523487590544 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23348/tid=23363] ppid=23346 vsize=9824668 CPUtime=2.2 cores=0,2,4,6
/proc/23348/task/23363/stat : 23363 (java) S 23346 23348 21231 0 -1 4202560 13038 0 0 0 218 2 0 0 20 0 22 0 253994192 10060460032 895809 33554432000 1073741824 1073778376 140737453446768 140523486538680 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23348/tid=23364] ppid=23346 vsize=9824668 CPUtime=1.78 cores=0,2,4,6
/proc/23348/task/23364/stat : 23364 (java) S 23346 23348 21231 0 -1 4202560 15395 0 0 0 174 4 0 0 20 0 22 0 253994192 10060460032 895809 33554432000 1073741824 1073778376 140737453446768 140523485485880 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23348/tid=23365] ppid=23346 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23348/task/23365/stat : 23365 (java) S 23346 23348 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253994192 10060460032 895809 33554432000 1073741824 1073778376 140737453446768 140523484433272 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23348/tid=23366] ppid=23346 vsize=9824668 CPUtime=0.33 cores=0,2,4,6
/proc/23348/task/23366/stat : 23366 (java) S 23346 23348 21231 0 -1 4202560 51 0 0 0 17 16 0 0 20 0 22 0 253994193 10060460032 895809 33554432000 1073741824 1073778376 140737453446768 140523483380680 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23348/tid=23379] ppid=23346 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23348/task/23379/stat : 23379 (java) S 23346 23348 21231 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253994390 10060460032 895809 33554432000 1073741824 1073778376 140737453446768 140523480221352 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23348/tid=23383] ppid=23346 vsize=9824668 CPUtime=752.2 cores=0,2,4,6
/proc/23348/task/23383/stat : 23383 (java) R 23346 23348 21231 0 -1 4202560 27 0 0 0 75209 11 0 0 20 0 22 0 254001241 10060460032 895809 33554432000 1073741824 1073778376 140737453446768 140523481271856 140523495996451 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=23348/tid=23384] ppid=23346 vsize=9824668 CPUtime=752.11 cores=0,2,4,6
/proc/23348/task/23384/stat : 23384 (java) R 23346 23348 21231 0 -1 4202560 191 0 0 0 75197 14 0 0 20 0 22 0 254001241 10060460032 895809 33554432000 1073741824 1073778376 140737453446768 140523482323344 140523496235374 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=23348/tid=23385] ppid=23346 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23348/task/23385/stat : 23385 (java) S 23346 23348 21231 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254001241 10060460032 895809 33554432000 1073741824 1073778376 140737453446768 140522203112360 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1713.84
Current children cumulated vsize (KiB) 9824668
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+926.601 s]
/proc/loadavg: 3.89 3.89 3.87 5/219 23494
/proc/meminfo: memFree=24652984/32873844 swapFree=7104/7104
[pid=23348] ppid=23346 vsize=9824668 CPUtime=1799.74 cores=0,2,4,6
/proc/23348/stat : 23348 (java) S 23346 23348 21231 0 -1 4202496 40370 0 1 0 179840 134 0 0 20 0 22 0 253994188 10060460032 897116 33554432000 1073741824 1073778376 140737453446768 140737453437904 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23348/statm: 2456167 897116 2289 9 0 2446860 0
[pid=23348/tid=23350] ppid=23346 vsize=9824668 CPUtime=0.54 cores=0,2,4,6
/proc/23348/task/23350/stat : 23350 (java) S 23346 23348 21231 0 -1 4202560 2489 0 1 0 51 3 0 0 20 0 22 0 253994188 10060460032 897116 33554432000 1073741824 1073778376 140737453446768 140523666605048 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23348/tid=23351] ppid=23346 vsize=9824668 CPUtime=1.98 cores=0,2,4,6
/proc/23348/task/23351/stat : 23351 (java) S 23346 23348 21231 0 -1 4202560 365 0 0 0 193 5 0 0 20 0 22 0 253994189 10060460032 897116 33554432000 1073741824 1073778376 140737453446768 140523628096040 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23348/tid=23352] ppid=23346 vsize=9824668 CPUtime=1.95 cores=0,2,4,6
/proc/23348/task/23352/stat : 23352 (java) S 23346 23348 21231 0 -1 4202560 385 0 0 0 187 8 0 0 20 0 22 0 253994189 10060460032 897116 33554432000 1073741824 1073778376 140737453446768 140523627043240 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23348/tid=23353] ppid=23346 vsize=9824668 CPUtime=1.95 cores=0,2,4,6
/proc/23348/task/23353/stat : 23353 (java) S 23346 23348 21231 0 -1 4202560 359 0 0 0 189 6 0 0 20 0 22 0 253994189 10060460032 897116 33554432000 1073741824 1073778376 140737453446768 140523625990440 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23348/tid=23354] ppid=23346 vsize=9824668 CPUtime=1.86 cores=0,2,4,6
/proc/23348/task/23354/stat : 23354 (java) S 23346 23348 21231 0 -1 4202560 359 0 0 0 179 7 0 0 20 0 22 0 253994189 10060460032 897116 33554432000 1073741824 1073778376 140737453446768 140523624937640 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23348/tid=23355] ppid=23346 vsize=9824668 CPUtime=1.95 cores=0,2,4,6
/proc/23348/task/23355/stat : 23355 (java) S 23346 23348 21231 0 -1 4202560 273 0 0 0 190 5 0 0 20 0 22 0 253994189 10060460032 897116 33554432000 1073741824 1073778376 140737453446768 140523623885864 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23348/tid=23356] ppid=23346 vsize=9824668 CPUtime=2.02 cores=0,2,4,6
/proc/23348/task/23356/stat : 23356 (java) S 23346 23348 21231 0 -1 4202560 341 0 0 0 195 7 0 0 20 0 22 0 253994189 10060460032 897116 33554432000 1073741824 1073778376 140737453446768 140523622833064 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23348/tid=23357] ppid=23346 vsize=9824668 CPUtime=1.71 cores=0,2,4,6
/proc/23348/task/23357/stat : 23357 (java) S 23346 23348 21231 0 -1 4202560 359 0 0 0 165 6 0 0 20 0 22 0 253994189 10060460032 897116 33554432000 1073741824 1073778376 140737453446768 140523621780264 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23348/tid=23358] ppid=23346 vsize=9824668 CPUtime=1.94 cores=0,2,4,6
/proc/23348/task/23358/stat : 23358 (java) S 23346 23348 21231 0 -1 4202560 418 0 0 0 188 6 0 0 20 0 22 0 253994189 10060460032 897116 33554432000 1073741824 1073778376 140737453446768 140523620727464 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23348/tid=23359] ppid=23346 vsize=9824668 CPUtime=60.34 cores=0,2,4,6
/proc/23348/task/23359/stat : 23359 (java) S 23346 23348 21231 0 -1 4202560 3293 0 0 0 6015 19 0 0 20 0 22 0 253994190 10060460032 897116 33554432000 1073741824 1073778376 140737453446768 140523490748904 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23348/tid=23360] ppid=23346 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23348/task/23360/stat : 23360 (java) S 23346 23348 21231 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253994190 10060460032 897116 33554432000 1073741824 1073778376 140737453446768 140523489694968 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23348/tid=23361] ppid=23346 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23348/task/23361/stat : 23361 (java) S 23346 23348 21231 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253994190 10060460032 897116 33554432000 1073741824 1073778376 140737453446768 140523488642056 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23348/tid=23362] ppid=23346 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23348/task/23362/stat : 23362 (java) S 23346 23348 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253994192 10060460032 897116 33554432000 1073741824 1073778376 140737453446768 140523487590544 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23348/tid=23363] ppid=23346 vsize=9824668 CPUtime=2.2 cores=0,2,4,6
/proc/23348/task/23363/stat : 23363 (java) S 23346 23348 21231 0 -1 4202560 13038 0 0 0 218 2 0 0 20 0 22 0 253994192 10060460032 897116 33554432000 1073741824 1073778376 140737453446768 140523486538680 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23348/tid=23364] ppid=23346 vsize=9824668 CPUtime=1.78 cores=0,2,4,6
/proc/23348/task/23364/stat : 23364 (java) S 23346 23348 21231 0 -1 4202560 15395 0 0 0 174 4 0 0 20 0 22 0 253994192 10060460032 897116 33554432000 1073741824 1073778376 140737453446768 140523485485880 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23348/tid=23365] ppid=23346 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23348/task/23365/stat : 23365 (java) S 23346 23348 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253994192 10060460032 897116 33554432000 1073741824 1073778376 140737453446768 140523484433272 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23348/tid=23366] ppid=23346 vsize=9824668 CPUtime=0.35 cores=0,2,4,6
/proc/23348/task/23366/stat : 23366 (java) S 23346 23348 21231 0 -1 4202560 53 0 0 0 19 16 0 0 20 0 22 0 253994193 10060460032 897116 33554432000 1073741824 1073778376 140737453446768 140523483380680 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23348/tid=23379] ppid=23346 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23348/task/23379/stat : 23379 (java) S 23346 23348 21231 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253994390 10060460032 897116 33554432000 1073741824 1073778376 140737453446768 140523480221352 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23348/tid=23383] ppid=23346 vsize=9824668 CPUtime=793.19 cores=0,2,4,6
/proc/23348/task/23383/stat : 23383 (java) R 23346 23348 21231 0 -1 4202560 29 0 0 0 79307 12 0 0 20 0 22 0 254001241 10060460032 897116 33554432000 1073741824 1073778376 140737453446768 140523481272800 140523495983111 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=23348/tid=23384] ppid=23346 vsize=9824668 CPUtime=793.09 cores=0,2,4,6
/proc/23348/task/23384/stat : 23384 (java) R 23346 23348 21231 0 -1 4202560 193 0 0 0 79293 16 0 0 20 0 22 0 254001241 10060460032 897116 33554432000 1073741824 1073778376 140737453446768 140523482325576 140523496258541 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=23348/tid=23385] ppid=23346 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23348/task/23385/stat : 23385 (java) S 23346 23348 21231 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254001241 10060460032 897116 33554432000 1073741824 1073778376 140737453446768 140522203112360 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1799.74
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 23348 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=19267
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=782728
# CPU time returned by wait4() is 1795.8
# while last known CPU time is 1799.74
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
# lost CPU time (s): 0.289993
# lost CPU user time (s): 0.299988
# lost CPU system time (s): -0.00999999
Real time (s): 926.637
CPU time (s): 1800.03
CPU user time (s): 1798.7
CPU system time (s): 1.33
CPU usage (%): 194.254
Max. virtual memory (cumulated for all children) (KiB): 9824668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.02
system time used= 1.78273
maximum resident set size= 3588576
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40399
page faults= 1
swaps= 0
block input operations= 0
block output operations= 944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 25025
involuntary context switches= 35435
runsolver used 4.31134 second user time and 7.59284 second system time
The end