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-3687968-1337875101/watcher-3687968-1337875101 -o /tmp/evaluation-result-3687968-1337875101/solver-3687968-1337875101 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3687968-1337875101.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.77 3.82 3.68 4/197 26472
/proc/meminfo: memFree=25551576/32873648 swapFree=6596/6596
[pid=26472] ppid=26470 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/26472/stat : 26472 (java) D 26470 26472 25418 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 253634589 9515008 183 33554432000 1073741824 1073778376 140736091209184 140736091200216 212073266869 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/26472/statm: 2323 183 140 9 0 71 0
[startup+0.074381 s]
/proc/loadavg: 3.77 3.82 3.68 4/197 26472
/proc/meminfo: memFree=25551576/32873648 swapFree=6596/6596
[pid=26472] ppid=26470 vsize=9558412 CPUtime=0.05 cores=1,3,5,7
/proc/26472/stat : 26472 (java) S 26470 26472 25418 0 -1 4202496 3351 0 1 0 5 0 0 0 20 0 18 0 253634589 9787813888 4048 33554432000 1073741824 1073778376 140733298190656 140733298181792 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/26472/statm: 2389603 4050 1771 9 0 2380296 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 9558412
[startup+0.100314 s]
/proc/loadavg: 3.77 3.82 3.68 4/197 26472
/proc/meminfo: memFree=25551576/32873648 swapFree=6596/6596
[pid=26472] ppid=26470 vsize=9558412 CPUtime=0.1 cores=1,3,5,7
/proc/26472/stat : 26472 (java) S 26470 26472 25418 0 -1 4202496 4364 0 1 0 9 1 0 0 20 0 18 0 253634589 9787813888 5057 33554432000 1073741824 1073778376 140733298190656 140733298181792 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/26472/statm: 2389603 5058 2109 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558412
[startup+0.30023 s]
/proc/loadavg: 3.77 3.82 3.68 4/197 26472
/proc/meminfo: memFree=25551576/32873648 swapFree=6596/6596
[pid=26472] ppid=26470 vsize=9558412 CPUtime=0.46 cores=1,3,5,7
/proc/26472/stat : 26472 (java) S 26470 26472 25418 0 -1 4202496 5789 0 1 0 45 1 0 0 20 0 18 0 253634589 9787813888 12976 33554432000 1073741824 1073778376 140733298190656 140733298181792 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/26472/statm: 2389603 12976 2217 9 0 2380296 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 9558412
[startup+0.700653 s]
/proc/loadavg: 3.77 3.82 3.68 4/197 26472
/proc/meminfo: memFree=25551576/32873648 swapFree=6596/6596
[pid=26472] ppid=26470 vsize=9558412 CPUtime=1.48 cores=1,3,5,7
/proc/26472/stat : 26472 (java) S 26470 26472 25418 0 -1 4202496 16021 0 1 0 142 6 0 0 20 0 18 0 253634589 9787813888 47610 33554432000 1073741824 1073778376 140733298190656 140733298181792 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/26472/statm: 2389603 47610 2241 9 0 2380296 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 9558412
[startup+1.50062 s]
/proc/loadavg: 3.77 3.82 3.68 3/215 26490
/proc/meminfo: memFree=25340132/32873648 swapFree=6596/6596
[pid=26472] ppid=26470 vsize=9691540 CPUtime=2.78 cores=1,3,5,7
/proc/26472/stat : 26472 (java) S 26470 26472 25418 0 -1 4202496 16725 0 1 0 261 17 0 0 20 0 20 0 253634589 9924136960 77320 33554432000 1073741824 1073778376 140733298190656 140733298181792 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/26472/statm: 2422885 77320 2258 9 0 2413578 0
[pid=26472/tid=26474] ppid=26470 vsize=9691540 CPUtime=1.28 cores=1,3,5,7
/proc/26472/task/26474/stat : 26474 (java) S 26470 26472 25418 0 -1 4202560 2581 0 1 0 125 3 0 0 20 0 20 0 253634590 9924136960 77320 33554432000 1073741824 1073778376 140733298190656 139654955168760 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26472/tid=26475] ppid=26470 vsize=9691540 CPUtime=0.08 cores=1,3,5,7
/proc/26472/task/26475/stat : 26475 (java) S 26470 26472 25418 0 -1 4202560 141 0 0 0 5 3 0 0 20 0 20 0 253634591 9924136960 77320 33554432000 1073741824 1073778376 140733298190656 139654893898792 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26472/tid=26476] ppid=26470 vsize=9691540 CPUtime=0.03 cores=1,3,5,7
/proc/26472/task/26476/stat : 26476 (java) S 26470 26472 25418 0 -1 4202560 17 0 0 0 3 0 0 0 20 0 20 0 253634591 9924136960 77320 33554432000 1073741824 1073778376 140733298190656 139654892845992 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26472/tid=26477] ppid=26470 vsize=9691540 CPUtime=0.04 cores=1,3,5,7
/proc/26472/task/26477/stat : 26477 (java) S 26470 26472 25418 0 -1 4202560 104 0 0 0 3 1 0 0 20 0 20 0 253634591 9924136960 77320 33554432000 1073741824 1073778376 140733298190656 139654891793192 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26472/tid=26478] ppid=26470 vsize=9691540 CPUtime=0.11 cores=1,3,5,7
/proc/26472/task/26478/stat : 26478 (java) S 26470 26472 25418 0 -1 4202560 195 0 0 0 8 3 0 0 20 0 20 0 253634591 9924136960 77320 33554432000 1073741824 1073778376 140733298190656 139654890740392 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26472/tid=26479] ppid=26470 vsize=9691540 CPUtime=0.03 cores=1,3,5,7
/proc/26472/task/26479/stat : 26479 (java) S 26470 26472 25418 0 -1 4202560 23 0 0 0 1 2 0 0 20 0 20 0 253634591 9924136960 77320 33554432000 1073741824 1073778376 140733298190656 139654889687592 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26472/tid=26480] ppid=26470 vsize=9691540 CPUtime=0.03 cores=1,3,5,7
/proc/26472/task/26480/stat : 26480 (java) S 26470 26472 25418 0 -1 4202560 22 0 0 0 2 1 0 0 20 0 20 0 253634591 9924136960 77320 33554432000 1073741824 1073778376 140733298190656 139654793476520 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26472/tid=26481] ppid=26470 vsize=9691540 CPUtime=0.02 cores=1,3,5,7
/proc/26472/task/26481/stat : 26481 (java) S 26470 26472 25418 0 -1 4202560 94 0 0 0 2 0 0 0 20 0 20 0 253634591 9924136960 77320 33554432000 1073741824 1073778376 140733298190656 139654792423720 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26472/tid=26482] ppid=26470 vsize=9691540 CPUtime=0.04 cores=1,3,5,7
/proc/26472/task/26482/stat : 26482 (java) S 26470 26472 25418 0 -1 4202560 20 0 0 0 2 2 0 0 20 0 20 0 253634591 9924136960 77320 33554432000 1073741824 1073778376 140733298190656 139654791370920 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26472/tid=26483] ppid=26470 vsize=9691540 CPUtime=0 cores=1,3,5,7
/proc/26472/task/26483/stat : 26483 (java) S 26470 26472 25418 0 -1 4202560 69 0 0 0 0 0 0 0 20 0 20 0 253634592 9924136960 77320 33554432000 1073741824 1073778376 140733298190656 139654779173864 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26472/tid=26484] ppid=26470 vsize=9691540 CPUtime=0 cores=1,3,5,7
/proc/26472/task/26484/stat : 26484 (java) S 26470 26472 25418 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 253634593 9924136960 77320 33554432000 1073741824 1073778376 140733298190656 139654778119928 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26472/tid=26485] ppid=26470 vsize=9691540 CPUtime=0 cores=1,3,5,7
/proc/26472/task/26485/stat : 26485 (java) S 26470 26472 25418 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 253634593 9924136960 77320 33554432000 1073741824 1073778376 140733298190656 139654777067016 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26472/tid=26486] ppid=26470 vsize=9691540 CPUtime=0 cores=1,3,5,7
/proc/26472/task/26486/stat : 26486 (java) S 26470 26472 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 253634595 9924136960 77320 33554432000 1073741824 1073778376 140733298190656 139654776015504 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26472/tid=26487] ppid=26470 vsize=9691540 CPUtime=0.47 cores=1,3,5,7
/proc/26472/task/26487/stat : 26487 (java) S 26470 26472 25418 0 -1 4202560 7792 0 0 0 45 2 0 0 20 0 20 0 253634595 9924136960 77320 33554432000 1073741824 1073778376 140733298190656 139654774962616 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26472/tid=26488] ppid=26470 vsize=9691540 CPUtime=0.39 cores=1,3,5,7
/proc/26472/task/26488/stat : 26488 (java) R 26470 26472 25418 0 -1 4202560 4460 0 0 0 39 0 0 0 20 0 20 0 253634595 9924136960 77320 33554432000 1073741824 1073778376 140733298190656 139654773909816 139654959254702 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=26472/tid=26489] ppid=26470 vsize=9691540 CPUtime=0 cores=1,3,5,7
/proc/26472/task/26489/stat : 26489 (java) S 26470 26472 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 253634595 9924136960 77320 33554432000 1073741824 1073778376 140733298190656 139654772857208 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26472/tid=26490] ppid=26470 vsize=9691540 CPUtime=0 cores=1,3,5,7
/proc/26472/task/26490/stat : 26490 (java) S 26470 26472 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 253634595 9924136960 77320 33554432000 1073741824 1073778376 140733298190656 139654771804616 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 9691540
[startup+3.10078 s]
/proc/loadavg: 3.63 3.79 3.67 10/219 26494
/proc/meminfo: memFree=25099424/32873648 swapFree=6596/6596
[pid=26472] ppid=26470 vsize=9824668 CPUtime=7.09 cores=1,3,5,7
/proc/26472/stat : 26472 (java) S 26470 26472 25418 0 -1 4202496 20598 0 1 0 681 28 0 0 20 0 22 0 253634589 10060460032 116186 33554432000 1073741824 1073778376 140733298190656 140733298181792 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/26472/statm: 2456167 116186 2264 9 0 2446860 0
[pid=26472/tid=26474] ppid=26470 vsize=9824668 CPUtime=1.28 cores=1,3,5,7
/proc/26472/task/26474/stat : 26474 (java) S 26470 26472 25418 0 -1 4202560 2581 0 1 0 125 3 0 0 20 0 22 0 253634590 10060460032 116186 33554432000 1073741824 1073778376 140733298190656 139654955168760 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26472/tid=26475] ppid=26470 vsize=9824668 CPUtime=0.13 cores=1,3,5,7
/proc/26472/task/26475/stat : 26475 (java) S 26470 26472 25418 0 -1 4202560 160 0 0 0 10 3 0 0 20 0 22 0 253634591 10060460032 116186 33554432000 1073741824 1073778376 140733298190656 139654893898792 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26472/tid=26476] ppid=26470 vsize=9824668 CPUtime=0.1 cores=1,3,5,7
/proc/26472/task/26476/stat : 26476 (java) S 26470 26472 25418 0 -1 4202560 95 0 0 0 7 3 0 0 20 0 22 0 253634591 10060460032 116186 33554432000 1073741824 1073778376 140733298190656 139654892845992 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26472/tid=26477] ppid=26470 vsize=9824668 CPUtime=0.15 cores=1,3,5,7
/proc/26472/task/26477/stat : 26477 (java) S 26470 26472 25418 0 -1 4202560 145 0 0 0 12 3 0 0 20 0 22 0 253634591 10060460032 116186 33554432000 1073741824 1073778376 140733298190656 139654891793192 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26472/tid=26478] ppid=26470 vsize=9824668 CPUtime=0.13 cores=1,3,5,7
/proc/26472/task/26478/stat : 26478 (java) S 26470 26472 25418 0 -1 4202560 205 0 0 0 10 3 0 0 20 0 22 0 253634591 10060460032 116186 33554432000 1073741824 1073778376 140733298190656 139654890740392 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26472/tid=26479] ppid=26470 vsize=9824668 CPUtime=0.05 cores=1,3,5,7
/proc/26472/task/26479/stat : 26479 (java) S 26470 26472 25418 0 -1 4202560 32 0 0 0 3 2 0 0 20 0 22 0 253634591 10060460032 116186 33554432000 1073741824 1073778376 140733298190656 139654889687592 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26472/tid=26480] ppid=26470 vsize=9824668 CPUtime=0.05 cores=1,3,5,7
/proc/26472/task/26480/stat : 26480 (java) S 26470 26472 25418 0 -1 4202560 84 0 0 0 4 1 0 0 20 0 22 0 253634591 10060460032 116186 33554432000 1073741824 1073778376 140733298190656 139654793476520 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26472/tid=26481] ppid=26470 vsize=9824668 CPUtime=0.04 cores=1,3,5,7
/proc/26472/task/26481/stat : 26481 (java) S 26470 26472 25418 0 -1 4202560 99 0 0 0 4 0 0 0 20 0 22 0 253634591 10060460032 116186 33554432000 1073741824 1073778376 140733298190656 139654792423720 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26472/tid=26482] ppid=26470 vsize=9824668 CPUtime=0.14 cores=1,3,5,7
/proc/26472/task/26482/stat : 26482 (java) S 26470 26472 25418 0 -1 4202560 64 0 0 0 11 3 0 0 20 0 22 0 253634591 10060460032 116186 33554432000 1073741824 1073778376 140733298190656 139654791370920 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26472/tid=26483] ppid=26470 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26472/task/26483/stat : 26483 (java) S 26470 26472 25418 0 -1 4202560 196 0 0 0 0 0 0 0 20 0 22 0 253634592 10060460032 116186 33554432000 1073741824 1073778376 140733298190656 139654779173864 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26472/tid=26484] ppid=26470 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26472/task/26484/stat : 26484 (java) S 26470 26472 25418 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253634593 10060460032 116186 33554432000 1073741824 1073778376 140733298190656 139654778119928 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26472/tid=26485] ppid=26470 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26472/task/26485/stat : 26485 (java) S 26470 26472 25418 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253634593 10060460032 116186 33554432000 1073741824 1073778376 140733298190656 139654777067016 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26472/tid=26486] ppid=26470 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26472/task/26486/stat : 26486 (java) S 26470 26472 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253634595 10060460032 116186 33554432000 1073741824 1073778376 140733298190656 139654776015504 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26472/tid=26487] ppid=26470 vsize=9824668 CPUtime=0.86 cores=1,3,5,7
/proc/26472/task/26487/stat : 26487 (java) S 26470 26472 25418 0 -1 4202560 7844 0 0 0 84 2 0 0 20 0 22 0 253634595 10060460032 116186 33554432000 1073741824 1073778376 140733298190656 139654774962616 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26472/tid=26488] ppid=26470 vsize=9824668 CPUtime=0.91 cores=1,3,5,7
/proc/26472/task/26488/stat : 26488 (java) S 26470 26472 25418 0 -1 4202560 7761 0 0 0 89 2 0 0 20 0 22 0 253634595 10060460032 116186 33554432000 1073741824 1073778376 140733298190656 139654773909816 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26472/tid=26489] ppid=26470 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26472/task/26489/stat : 26489 (java) S 26470 26472 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253634595 10060460032 116186 33554432000 1073741824 1073778376 140733298190656 139654772857208 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26472/tid=26490] ppid=26470 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26472/task/26490/stat : 26490 (java) S 26470 26472 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253634595 10060460032 116186 33554432000 1073741824 1073778376 140733298190656 139654771804616 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26472/tid=26491] ppid=26470 vsize=9824668 CPUtime=1.52 cores=1,3,5,7
/proc/26472/task/26491/stat : 26491 (java) R 26470 26472 25418 0 -1 4202560 38 0 0 0 152 0 0 0 20 0 22 0 253634733 10060460032 116186 33554432000 1073741824 1073778376 140733298190656 139654770748744 139654895678541 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=26472/tid=26492] ppid=26470 vsize=9824668 CPUtime=1.52 cores=1,3,5,7
/proc/26472/task/26492/stat : 26492 (java) R 26470 26472 25418 0 -1 4202560 100 0 0 0 152 0 0 0 20 0 22 0 253634733 10060460032 116186 33554432000 1073741824 1073778376 140733298190656 139654769697480 139654895379742 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=26472/tid=26493] ppid=26470 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26472/task/26493/stat : 26493 (java) S 26470 26472 25418 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 253634747 10060460032 116186 33554432000 1073741824 1073778376 140733298190656 139654768645544 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26472/tid=26494] ppid=26470 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26472/task/26494/stat : 26494 (java) S 26470 26472 25418 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253634748 10060460032 116186 33554432000 1073741824 1073778376 140733298190656 139654767592744 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7.09
Current children cumulated vsize (KiB) 9824668
[startup+6.30083 s]
/proc/loadavg: 3.63 3.79 3.67 5/219 26494
/proc/meminfo: memFree=25016064/32873648 swapFree=6596/6596
[pid=26472] ppid=26470 vsize=9824668 CPUtime=13.33 cores=1,3,5,7
/proc/26472/stat : 26472 (java) S 26470 26472 25418 0 -1 4202496 33922 0 1 0 1298 35 0 0 20 0 22 0 253634589 10060460032 141827 33554432000 1073741824 1073778376 140733298190656 140733298181792 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/26472/statm: 2456167 141827 2277 9 0 2446860 0
[pid=26472/tid=26474] ppid=26470 vsize=9824668 CPUtime=1.28 cores=1,3,5,7
/proc/26472/task/26474/stat : 26474 (java) S 26470 26472 25418 0 -1 4202560 2581 0 1 0 125 3 0 0 20 0 22 0 253634590 10060460032 141827 33554432000 1073741824 1073778376 140733298190656 139654955168472 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26472/tid=26475] ppid=26470 vsize=9824668 CPUtime=0.21 cores=1,3,5,7
/proc/26472/task/26475/stat : 26475 (java) S 26470 26472 25418 0 -1 4202560 191 0 0 0 17 4 0 0 20 0 22 0 253634591 10060460032 141827 33554432000 1073741824 1073778376 140733298190656 139654893898792 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26472/tid=26476] ppid=26470 vsize=9824668 CPUtime=0.16 cores=1,3,5,7
/proc/26472/task/26476/stat : 26476 (java) S 26470 26472 25418 0 -1 4202560 126 0 0 0 12 4 0 0 20 0 22 0 253634591 10060460032 141827 33554432000 1073741824 1073778376 140733298190656 139654892845992 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26472/tid=26477] ppid=26470 vsize=9824668 CPUtime=0.2 cores=1,3,5,7
/proc/26472/task/26477/stat : 26477 (java) S 26470 26472 25418 0 -1 4202560 160 0 0 0 16 4 0 0 20 0 22 0 253634591 10060460032 141827 33554432000 1073741824 1073778376 140733298190656 139654891793192 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26472/tid=26478] ppid=26470 vsize=9824668 CPUtime=0.19 cores=1,3,5,7
/proc/26472/task/26478/stat : 26478 (java) S 26470 26472 25418 0 -1 4202560 227 0 0 0 15 4 0 0 20 0 22 0 253634591 10060460032 141827 33554432000 1073741824 1073778376 140733298190656 139654890740392 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26472/tid=26479] ppid=26470 vsize=9824668 CPUtime=0.08 cores=1,3,5,7
/proc/26472/task/26479/stat : 26479 (java) S 26470 26472 25418 0 -1 4202560 50 0 0 0 5 3 0 0 20 0 22 0 253634591 10060460032 141827 33554432000 1073741824 1073778376 140733298190656 139654889687592 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26472/tid=26480] ppid=26470 vsize=9824668 CPUtime=0.09 cores=1,3,5,7
/proc/26472/task/26480/stat : 26480 (java) S 26470 26472 25418 0 -1 4202560 87 0 0 0 7 2 0 0 20 0 22 0 253634591 10060460032 141827 33554432000 1073741824 1073778376 140733298190656 139654793476520 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26472/tid=26481] ppid=26470 vsize=9824668 CPUtime=0.06 cores=1,3,5,7
/proc/26472/task/26481/stat : 26481 (java) S 26470 26472 25418 0 -1 4202560 101 0 0 0 5 1 0 0 20 0 22 0 253634591 10060460032 141827 33554432000 1073741824 1073778376 140733298190656 139654792423720 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26472/tid=26482] ppid=26470 vsize=9824668 CPUtime=0.2 cores=1,3,5,7
/proc/26472/task/26482/stat : 26482 (java) S 26470 26472 25418 0 -1 4202560 91 0 0 0 16 4 0 0 20 0 22 0 253634591 10060460032 141827 33554432000 1073741824 1073778376 140733298190656 139654791370920 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26472/tid=26483] ppid=26470 vsize=9824668 CPUtime=0.71 cores=1,3,5,7
/proc/26472/task/26483/stat : 26483 (java) R 26470 26472 25418 0 -1 4202560 10945 0 0 0 69 2 0 0 20 0 22 0 253634592 10060460032 141827 33554432000 1073741824 1073778376 140733298190656 139654779172680 139654961292689 0 0 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=26472/tid=26484] ppid=26470 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26472/task/26484/stat : 26484 (java) S 26470 26472 25418 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253634593 10060460032 141827 33554432000 1073741824 1073778376 140733298190656 139654778119928 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26472/tid=26485] ppid=26470 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26472/task/26485/stat : 26485 (java) S 26470 26472 25418 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253634593 10060460032 141827 33554432000 1073741824 1073778376 140733298190656 139654777067016 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26472/tid=26486] ppid=26470 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26472/task/26486/stat : 26486 (java) S 26470 26472 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253634595 10060460032 141827 33554432000 1073741824 1073778376 140733298190656 139654776015504 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26472/tid=26487] ppid=26470 vsize=9824668 CPUtime=0.97 cores=1,3,5,7
/proc/26472/task/26487/stat : 26487 (java) S 26470 26472 25418 0 -1 4202560 7851 0 0 0 95 2 0 0 20 0 22 0 253634595 10060460032 141827 33554432000 1073741824 1073778376 140733298190656 139654774948712 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26472/tid=26488] ppid=26470 vsize=9824668 CPUtime=1.18 cores=1,3,5,7
/proc/26472/task/26488/stat : 26488 (java) S 26470 26472 25418 0 -1 4202560 10175 0 0 0 116 2 0 0 20 0 22 0 253634595 10060460032 141827 33554432000 1073741824 1073778376 140733298190656 139654773886296 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26472/tid=26489] ppid=26470 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26472/task/26489/stat : 26489 (java) S 26470 26472 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253634595 10060460032 141827 33554432000 1073741824 1073778376 140733298190656 139654772857208 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26472/tid=26490] ppid=26470 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26472/task/26490/stat : 26490 (java) S 26470 26472 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253634595 10060460032 141827 33554432000 1073741824 1073778376 140733298190656 139654771804616 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26472/tid=26491] ppid=26470 vsize=9824668 CPUtime=3.88 cores=1,3,5,7
/proc/26472/task/26491/stat : 26491 (java) S 26470 26472 25418 0 -1 4202560 40 0 0 0 388 0 0 0 20 0 22 0 253634733 10060460032 141827 33554432000 1073741824 1073778376 140733298190656 139654770750552 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
################
# More data... #
################
/proc/26472/statm: 2456167 978208 2278 9 0 2446860 0
[pid=26472/tid=26474] ppid=26470 vsize=9824668 CPUtime=1.33 cores=1,3,5,7
/proc/26472/task/26474/stat : 26474 (java) S 26470 26472 25418 0 -1 4202560 2636 0 1 0 128 5 0 0 20 0 22 0 253634590 10060460032 978208 33554432000 1073741824 1073778376 140733298190656 139654955168760 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26472/tid=26475] ppid=26470 vsize=9824668 CPUtime=2.09 cores=1,3,5,7
/proc/26472/task/26475/stat : 26475 (java) S 26470 26472 25418 0 -1 4202560 565 0 0 0 201 8 0 0 20 0 22 0 253634591 10060460032 978208 33554432000 1073741824 1073778376 140733298190656 139654893898792 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26472/tid=26476] ppid=26470 vsize=9824668 CPUtime=2.09 cores=1,3,5,7
/proc/26472/task/26476/stat : 26476 (java) S 26470 26472 25418 0 -1 4202560 400 0 0 0 201 8 0 0 20 0 22 0 253634591 10060460032 978208 33554432000 1073741824 1073778376 140733298190656 139654892845992 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26472/tid=26477] ppid=26470 vsize=9824668 CPUtime=1.9 cores=1,3,5,7
/proc/26472/task/26477/stat : 26477 (java) S 26470 26472 25418 0 -1 4202560 798 0 0 0 183 7 0 0 20 0 22 0 253634591 10060460032 978208 33554432000 1073741824 1073778376 140733298190656 139654891793192 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26472/tid=26478] ppid=26470 vsize=9824668 CPUtime=2.17 cores=1,3,5,7
/proc/26472/task/26478/stat : 26478 (java) S 26470 26472 25418 0 -1 4202560 732 0 0 0 209 8 0 0 20 0 22 0 253634591 10060460032 978208 33554432000 1073741824 1073778376 140733298190656 139654890740392 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26472/tid=26479] ppid=26470 vsize=9824668 CPUtime=1.95 cores=1,3,5,7
/proc/26472/task/26479/stat : 26479 (java) S 26470 26472 25418 0 -1 4202560 411 0 0 0 191 4 0 0 20 0 22 0 253634591 10060460032 978208 33554432000 1073741824 1073778376 140733298190656 139654889687592 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26472/tid=26480] ppid=26470 vsize=9824668 CPUtime=2.01 cores=1,3,5,7
/proc/26472/task/26480/stat : 26480 (java) S 26470 26472 25418 0 -1 4202560 452 0 0 0 195 6 0 0 20 0 22 0 253634591 10060460032 978208 33554432000 1073741824 1073778376 140733298190656 139654793476520 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26472/tid=26481] ppid=26470 vsize=9824668 CPUtime=1.86 cores=1,3,5,7
/proc/26472/task/26481/stat : 26481 (java) S 26470 26472 25418 0 -1 4202560 591 0 0 0 181 5 0 0 20 0 22 0 253634591 10060460032 978208 33554432000 1073741824 1073778376 140733298190656 139654792423720 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26472/tid=26482] ppid=26470 vsize=9824668 CPUtime=2.47 cores=1,3,5,7
/proc/26472/task/26482/stat : 26482 (java) S 26470 26472 25418 0 -1 4202560 731 0 0 0 238 9 0 0 20 0 22 0 253634591 10060460032 978208 33554432000 1073741824 1073778376 140733298190656 139654791370920 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26472/tid=26483] ppid=26470 vsize=9824668 CPUtime=108.15 cores=1,3,5,7
/proc/26472/task/26483/stat : 26483 (java) S 26470 26472 25418 0 -1 4202560 71248 0 0 0 10775 40 0 0 20 0 22 0 253634592 10060460032 978208 33554432000 1073741824 1073778376 140733298190656 139654779173864 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26472/tid=26484] ppid=26470 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26472/task/26484/stat : 26484 (java) S 26470 26472 25418 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253634593 10060460032 978208 33554432000 1073741824 1073778376 140733298190656 139654778119928 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26472/tid=26485] ppid=26470 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26472/task/26485/stat : 26485 (java) S 26470 26472 25418 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253634593 10060460032 978208 33554432000 1073741824 1073778376 140733298190656 139654777067016 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26472/tid=26486] ppid=26470 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26472/task/26486/stat : 26486 (java) S 26470 26472 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253634595 10060460032 978208 33554432000 1073741824 1073778376 140733298190656 139654776015504 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26472/tid=26487] ppid=26470 vsize=9824668 CPUtime=1.2 cores=1,3,5,7
/proc/26472/task/26487/stat : 26487 (java) S 26470 26472 25418 0 -1 4202560 7899 0 0 0 118 2 0 0 20 0 22 0 253634595 10060460032 978208 33554432000 1073741824 1073778376 140733298190656 139654774962616 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26472/tid=26488] ppid=26470 vsize=9824668 CPUtime=2.64 cores=1,3,5,7
/proc/26472/task/26488/stat : 26488 (java) S 26470 26472 25418 0 -1 4202560 19935 0 0 0 260 4 0 0 20 0 22 0 253634595 10060460032 978208 33554432000 1073741824 1073778376 140733298190656 139654773909816 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26472/tid=26489] ppid=26470 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26472/task/26489/stat : 26489 (java) S 26470 26472 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253634595 10060460032 978208 33554432000 1073741824 1073778376 140733298190656 139654772857208 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26472/tid=26490] ppid=26470 vsize=9824668 CPUtime=0.41 cores=1,3,5,7
/proc/26472/task/26490/stat : 26490 (java) S 26470 26472 25418 0 -1 4202560 55 0 0 0 16 25 0 0 20 0 22 0 253634595 10060460032 978208 33554432000 1073741824 1073778376 140733298190656 139654771804616 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26472/tid=26491] ppid=26470 vsize=9824668 CPUtime=825.77 cores=1,3,5,7
/proc/26472/task/26491/stat : 26491 (java) R 26470 26472 25418 0 -1 4202560 147 0 0 0 82562 15 0 0 20 0 22 0 253634733 10060460032 978208 33554432000 1073741824 1073778376 140733298190656 139654770749544 139654895879005 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=26472/tid=26492] ppid=26470 vsize=9824668 CPUtime=825.75 cores=1,3,5,7
/proc/26472/task/26492/stat : 26492 (java) R 26470 26472 25418 0 -1 4202560 2600 0 0 0 82536 39 0 0 20 0 22 0 253634733 10060460032 978208 33554432000 1073741824 1073778376 140733298190656 139654769695728 139654895523068 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=26472/tid=26493] ppid=26470 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26472/task/26493/stat : 26493 (java) S 26470 26472 25418 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 253634747 10060460032 978208 33554432000 1073741824 1073778376 140733298190656 139654768645544 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26472/tid=26494] ppid=26470 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26472/task/26494/stat : 26494 (java) S 26470 26472 25418 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253634748 10060460032 978208 33554432000 1073741824 1073778376 140733298190656 139654767592744 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1786.25
Current children cumulated vsize (KiB) 9824668
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+950.701 s]
/proc/loadavg: 3.83 3.75 3.66 5/219 27327
/proc/meminfo: memFree=24495492/32873648 swapFree=6596/6596
[pid=26472] ppid=26470 vsize=9824668 CPUtime=1800.2 cores=1,3,5,7
/proc/26472/stat : 26472 (java) S 26470 26472 25418 0 -1 4202496 110394 0 1 0 179868 152 0 0 20 0 22 0 253634589 10060460032 978206 33554432000 1073741824 1073778376 140733298190656 140733298181792 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/26472/statm: 2456167 978206 2278 9 0 2446860 0
[pid=26472/tid=26474] ppid=26470 vsize=9824668 CPUtime=1.33 cores=1,3,5,7
/proc/26472/task/26474/stat : 26474 (java) S 26470 26472 25418 0 -1 4202560 2637 0 1 0 128 5 0 0 20 0 22 0 253634590 10060460032 978206 33554432000 1073741824 1073778376 140733298190656 139654955168760 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26472/tid=26475] ppid=26470 vsize=9824668 CPUtime=2.14 cores=1,3,5,7
/proc/26472/task/26475/stat : 26475 (java) S 26470 26472 25418 0 -1 4202560 565 0 0 0 206 8 0 0 20 0 22 0 253634591 10060460032 978206 33554432000 1073741824 1073778376 140733298190656 139654893898792 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26472/tid=26476] ppid=26470 vsize=9824668 CPUtime=2.1 cores=1,3,5,7
/proc/26472/task/26476/stat : 26476 (java) S 26470 26472 25418 0 -1 4202560 400 0 0 0 202 8 0 0 20 0 22 0 253634591 10060460032 978206 33554432000 1073741824 1073778376 140733298190656 139654892845992 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26472/tid=26477] ppid=26470 vsize=9824668 CPUtime=1.91 cores=1,3,5,7
/proc/26472/task/26477/stat : 26477 (java) S 26470 26472 25418 0 -1 4202560 798 0 0 0 184 7 0 0 20 0 22 0 253634591 10060460032 978206 33554432000 1073741824 1073778376 140733298190656 139654891793192 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26472/tid=26478] ppid=26470 vsize=9824668 CPUtime=2.18 cores=1,3,5,7
/proc/26472/task/26478/stat : 26478 (java) S 26470 26472 25418 0 -1 4202560 732 0 0 0 210 8 0 0 20 0 22 0 253634591 10060460032 978206 33554432000 1073741824 1073778376 140733298190656 139654890740392 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26472/tid=26479] ppid=26470 vsize=9824668 CPUtime=2.01 cores=1,3,5,7
/proc/26472/task/26479/stat : 26479 (java) S 26470 26472 25418 0 -1 4202560 411 0 0 0 197 4 0 0 20 0 22 0 253634591 10060460032 978206 33554432000 1073741824 1073778376 140733298190656 139654889687592 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26472/tid=26480] ppid=26470 vsize=9824668 CPUtime=2.02 cores=1,3,5,7
/proc/26472/task/26480/stat : 26480 (java) S 26470 26472 25418 0 -1 4202560 452 0 0 0 196 6 0 0 20 0 22 0 253634591 10060460032 978206 33554432000 1073741824 1073778376 140733298190656 139654793476520 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26472/tid=26481] ppid=26470 vsize=9824668 CPUtime=1.92 cores=1,3,5,7
/proc/26472/task/26481/stat : 26481 (java) S 26470 26472 25418 0 -1 4202560 591 0 0 0 187 5 0 0 20 0 22 0 253634591 10060460032 978206 33554432000 1073741824 1073778376 140733298190656 139654792423720 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26472/tid=26482] ppid=26470 vsize=9824668 CPUtime=2.48 cores=1,3,5,7
/proc/26472/task/26482/stat : 26482 (java) S 26470 26472 25418 0 -1 4202560 731 0 0 0 239 9 0 0 20 0 22 0 253634591 10060460032 978206 33554432000 1073741824 1073778376 140733298190656 139654791370920 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26472/tid=26483] ppid=26470 vsize=9824668 CPUtime=111.11 cores=1,3,5,7
/proc/26472/task/26483/stat : 26483 (java) S 26470 26472 25418 0 -1 4202560 71248 0 0 0 11071 40 0 0 20 0 22 0 253634592 10060460032 978206 33554432000 1073741824 1073778376 140733298190656 139654779173864 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26472/tid=26484] ppid=26470 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26472/task/26484/stat : 26484 (java) S 26470 26472 25418 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253634593 10060460032 978206 33554432000 1073741824 1073778376 140733298190656 139654778119928 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26472/tid=26485] ppid=26470 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26472/task/26485/stat : 26485 (java) S 26470 26472 25418 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253634593 10060460032 978206 33554432000 1073741824 1073778376 140733298190656 139654777067016 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26472/tid=26486] ppid=26470 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26472/task/26486/stat : 26486 (java) S 26470 26472 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253634595 10060460032 978206 33554432000 1073741824 1073778376 140733298190656 139654776015504 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26472/tid=26487] ppid=26470 vsize=9824668 CPUtime=1.2 cores=1,3,5,7
/proc/26472/task/26487/stat : 26487 (java) S 26470 26472 25418 0 -1 4202560 7899 0 0 0 118 2 0 0 20 0 22 0 253634595 10060460032 978206 33554432000 1073741824 1073778376 140733298190656 139654774962616 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26472/tid=26488] ppid=26470 vsize=9824668 CPUtime=2.64 cores=1,3,5,7
/proc/26472/task/26488/stat : 26488 (java) S 26470 26472 25418 0 -1 4202560 19935 0 0 0 260 4 0 0 20 0 22 0 253634595 10060460032 978206 33554432000 1073741824 1073778376 140733298190656 139654773909816 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26472/tid=26489] ppid=26470 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26472/task/26489/stat : 26489 (java) S 26470 26472 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253634595 10060460032 978206 33554432000 1073741824 1073778376 140733298190656 139654772857208 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26472/tid=26490] ppid=26470 vsize=9824668 CPUtime=0.41 cores=1,3,5,7
/proc/26472/task/26490/stat : 26490 (java) S 26470 26472 25418 0 -1 4202560 55 0 0 0 16 25 0 0 20 0 22 0 253634595 10060460032 978206 33554432000 1073741824 1073778376 140733298190656 139654771804616 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26472/tid=26491] ppid=26470 vsize=9824668 CPUtime=831.13 cores=1,3,5,7
/proc/26472/task/26491/stat : 26491 (java) R 26470 26472 25418 0 -1 4202560 147 0 0 0 83098 15 0 0 20 0 22 0 253634733 10060460032 978206 33554432000 1073741824 1073778376 140733298190656 139654770748528 139654895997991 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=26472/tid=26492] ppid=26470 vsize=9824668 CPUtime=831.11 cores=1,3,5,7
/proc/26472/task/26492/stat : 26492 (java) R 26470 26472 25418 0 -1 4202560 2600 0 0 0 83072 39 0 0 20 0 22 0 253634733 10060460032 978206 33554432000 1073741824 1073778376 140733298190656 139654769697632 139654895692211 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=26472/tid=26493] ppid=26470 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26472/task/26493/stat : 26493 (java) S 26470 26472 25418 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 253634747 10060460032 978206 33554432000 1073741824 1073778376 140733298190656 139654768645544 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26472/tid=26494] ppid=26470 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26472/task/26494/stat : 26494 (java) S 26470 26472 25418 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253634748 10060460032 978206 33554432000 1073741824 1073778376 140733298190656 139654767592744 212076640169 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
[startup+950.701 s]
/proc/loadavg: 3.83 3.75 3.66 5/219 27327
/proc/meminfo: memFree=24495492/32873648 swapFree=6596/6596
[pid=26472] ppid=26470 vsize=9824668 CPUtime=1800.2 cores=1,3,5,7
/proc/26472/stat : 26472 (java) S 26470 26472 25418 0 -1 4202496 110394 0 1 0 179868 152 0 0 20 0 22 0 253634589 10060460032 978206 33554432000 1073741824 1073778376 140733298190656 140733298181792 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/26472/statm: 2456167 978206 2278 9 0 2446860 0
[pid=26472/tid=26474] ppid=26470 vsize=9824668 CPUtime=1.33 cores=1,3,5,7
/proc/26472/task/26474/stat : 26474 (java) S 26470 26472 25418 0 -1 4202560 2637 0 1 0 128 5 0 0 20 0 22 0 253634590 10060460032 978206 33554432000 1073741824 1073778376 140733298190656 139654955168760 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26472/tid=26475] ppid=26470 vsize=9824668 CPUtime=2.14 cores=1,3,5,7
/proc/26472/task/26475/stat : 26475 (java) S 26470 26472 25418 0 -1 4202560 565 0 0 0 206 8 0 0 20 0 22 0 253634591 10060460032 978206 33554432000 1073741824 1073778376 140733298190656 139654893898792 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26472/tid=26476] ppid=26470 vsize=9824668 CPUtime=2.1 cores=1,3,5,7
/proc/26472/task/26476/stat : 26476 (java) S 26470 26472 25418 0 -1 4202560 400 0 0 0 202 8 0 0 20 0 22 0 253634591 10060460032 978206 33554432000 1073741824 1073778376 140733298190656 139654892845992 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26472/tid=26477] ppid=26470 vsize=9824668 CPUtime=1.91 cores=1,3,5,7
/proc/26472/task/26477/stat : 26477 (java) S 26470 26472 25418 0 -1 4202560 798 0 0 0 184 7 0 0 20 0 22 0 253634591 10060460032 978206 33554432000 1073741824 1073778376 140733298190656 139654891793192 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26472/tid=26478] ppid=26470 vsize=9824668 CPUtime=2.18 cores=1,3,5,7
/proc/26472/task/26478/stat : 26478 (java) S 26470 26472 25418 0 -1 4202560 732 0 0 0 210 8 0 0 20 0 22 0 253634591 10060460032 978206 33554432000 1073741824 1073778376 140733298190656 139654890740392 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26472/tid=26479] ppid=26470 vsize=9824668 CPUtime=2.01 cores=1,3,5,7
/proc/26472/task/26479/stat : 26479 (java) S 26470 26472 25418 0 -1 4202560 411 0 0 0 197 4 0 0 20 0 22 0 253634591 10060460032 978206 33554432000 1073741824 1073778376 140733298190656 139654889687592 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26472/tid=26480] ppid=26470 vsize=9824668 CPUtime=2.02 cores=1,3,5,7
/proc/26472/task/26480/stat : 26480 (java) S 26470 26472 25418 0 -1 4202560 452 0 0 0 196 6 0 0 20 0 22 0 253634591 10060460032 978206 33554432000 1073741824 1073778376 140733298190656 139654793476520 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26472/tid=26481] ppid=26470 vsize=9824668 CPUtime=1.92 cores=1,3,5,7
/proc/26472/task/26481/stat : 26481 (java) S 26470 26472 25418 0 -1 4202560 591 0 0 0 187 5 0 0 20 0 22 0 253634591 10060460032 978206 33554432000 1073741824 1073778376 140733298190656 139654792423720 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26472/tid=26482] ppid=26470 vsize=9824668 CPUtime=2.48 cores=1,3,5,7
/proc/26472/task/26482/stat : 26482 (java) S 26470 26472 25418 0 -1 4202560 731 0 0 0 239 9 0 0 20 0 22 0 253634591 10060460032 978206 33554432000 1073741824 1073778376 140733298190656 139654791370920 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26472/tid=26483] ppid=26470 vsize=9824668 CPUtime=111.11 cores=1,3,5,7
/proc/26472/task/26483/stat : 26483 (java) S 26470 26472 25418 0 -1 4202560 71248 0 0 0 11071 40 0 0 20 0 22 0 253634592 10060460032 978206 33554432000 1073741824 1073778376 140733298190656 139654779173864 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26472/tid=26484] ppid=26470 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26472/task/26484/stat : 26484 (java) S 26470 26472 25418 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253634593 10060460032 978206 33554432000 1073741824 1073778376 140733298190656 139654778119928 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26472/tid=26485] ppid=26470 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26472/task/26485/stat : 26485 (java) S 26470 26472 25418 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253634593 10060460032 978206 33554432000 1073741824 1073778376 140733298190656 139654777067016 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26472/tid=26486] ppid=26470 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26472/task/26486/stat : 26486 (java) S 26470 26472 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253634595 10060460032 978206 33554432000 1073741824 1073778376 140733298190656 139654776015504 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26472/tid=26487] ppid=26470 vsize=9824668 CPUtime=1.2 cores=1,3,5,7
/proc/26472/task/26487/stat : 26487 (java) S 26470 26472 25418 0 -1 4202560 7899 0 0 0 118 2 0 0 20 0 22 0 253634595 10060460032 978206 33554432000 1073741824 1073778376 140733298190656 139654774962616 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26472/tid=26488] ppid=26470 vsize=9824668 CPUtime=2.64 cores=1,3,5,7
/proc/26472/task/26488/stat : 26488 (java) S 26470 26472 25418 0 -1 4202560 19935 0 0 0 260 4 0 0 20 0 22 0 253634595 10060460032 978206 33554432000 1073741824 1073778376 140733298190656 139654773909816 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26472/tid=26489] ppid=26470 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26472/task/26489/stat : 26489 (java) S 26470 26472 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253634595 10060460032 978206 33554432000 1073741824 1073778376 140733298190656 139654772857208 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26472/tid=26490] ppid=26470 vsize=9824668 CPUtime=0.41 cores=1,3,5,7
/proc/26472/task/26490/stat : 26490 (java) S 26470 26472 25418 0 -1 4202560 55 0 0 0 16 25 0 0 20 0 22 0 253634595 10060460032 978206 33554432000 1073741824 1073778376 140733298190656 139654771804616 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26472/tid=26491] ppid=26470 vsize=9824668 CPUtime=831.13 cores=1,3,5,7
/proc/26472/task/26491/stat : 26491 (java) R 26470 26472 25418 0 -1 4202560 147 0 0 0 83098 15 0 0 20 0 22 0 253634733 10060460032 978206 33554432000 1073741824 1073778376 140733298190656 139654770748528 139654895997991 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=26472/tid=26492] ppid=26470 vsize=9824668 CPUtime=831.11 cores=1,3,5,7
/proc/26472/task/26492/stat : 26492 (java) R 26470 26472 25418 0 -1 4202560 2600 0 0 0 83072 39 0 0 20 0 22 0 253634733 10060460032 978206 33554432000 1073741824 1073778376 140733298190656 139654769697632 139654895692211 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=26472/tid=26493] ppid=26470 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26472/task/26493/stat : 26493 (java) S 26470 26472 25418 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 253634747 10060460032 978206 33554432000 1073741824 1073778376 140733298190656 139654768645544 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26472/tid=26494] ppid=26470 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26472/task/26494/stat : 26494 (java) S 26470 26472 25418 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253634748 10060460032 978206 33554432000 1073741824 1073778376 140733298190656 139654767592744 212076640169 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
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 26472 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=58261
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=33690
# CPU time returned by wait4() is 1796.09
# 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): 950.76
CPU time (s): 1800.2
CPU user time (s): 1798.68
CPU system time (s): 1.52
CPU usage (%): 189.343
Max. virtual memory (cumulated for all children) (KiB): 9824668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.06
system time used= 2.03369
maximum resident set size= 3912972
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 110433
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1024
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 25719
involuntary context switches= 27649
runsolver used 3.45147 second user time and 8.88265 second system time
The end