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-3688646-1337878649/watcher-3688646-1337878649 -o /tmp/evaluation-result-3688646-1337878649/solver-3688646-1337878649 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3688646-1337878649.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.63 3.78 3.82 3/197 26844
/proc/meminfo: memFree=27100072/32873844 swapFree=6080/6080
[pid=26844] ppid=26842 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/26844/stat : 26844 (java) D 26842 26844 24394 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 253989489 9515008 182 33554432000 1073741824 1073778376 140733704501744 140733704492776 248790204085 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/26844/statm: 2323 182 140 9 0 71 0
[startup+0.0834971 s]
/proc/loadavg: 3.63 3.78 3.82 3/197 26844
/proc/meminfo: memFree=27100072/32873844 swapFree=6080/6080
[pid=26844] ppid=26842 vsize=9558412 CPUtime=0.06 cores=1,3,5,7
/proc/26844/stat : 26844 (java) S 26842 26844 24394 0 -1 4202496 3354 0 1 0 5 1 0 0 20 0 18 0 253989489 9787813888 4564 33554432000 1073741824 1073778376 140733612561952 140733612553088 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/26844/statm: 2389603 4564 1772 9 0 2380296 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 9558412
[startup+0.100308 s]
/proc/loadavg: 3.63 3.78 3.82 3/197 26844
/proc/meminfo: memFree=27100072/32873844 swapFree=6080/6080
[pid=26844] ppid=26842 vsize=9558412 CPUtime=0.09 cores=1,3,5,7
/proc/26844/stat : 26844 (java) S 26842 26844 24394 0 -1 4202496 4282 0 1 0 8 1 0 0 20 0 18 0 253989489 9787813888 5482 33554432000 1073741824 1073778376 140733612561952 140733612553088 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/26844/statm: 2389603 5483 2109 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558412
[startup+0.300297 s]
/proc/loadavg: 3.63 3.78 3.82 3/197 26844
/proc/meminfo: memFree=27100072/32873844 swapFree=6080/6080
[pid=26844] ppid=26842 vsize=9558412 CPUtime=0.47 cores=1,3,5,7
/proc/26844/stat : 26844 (java) S 26842 26844 24394 0 -1 4202496 6048 0 1 0 45 2 0 0 20 0 18 0 253989489 9787813888 8326 33554432000 1073741824 1073778376 140733612561952 140733612553088 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/26844/statm: 2389603 8326 2230 9 0 2380296 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9558412
[startup+0.700244 s]
/proc/loadavg: 3.63 3.78 3.82 3/197 26844
/proc/meminfo: memFree=27100072/32873844 swapFree=6080/6080
[pid=26844] ppid=26842 vsize=9824668 CPUtime=1 cores=1,3,5,7
/proc/26844/stat : 26844 (java) S 26842 26844 24394 0 -1 4202496 8415 0 1 0 96 4 0 0 20 0 19 0 253989489 10060460032 13103 33554432000 1073741824 1073778376 140733612561952 140733612553088 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/26844/statm: 2456167 13103 2250 9 0 2446860 0
Current children cumulated CPU time (s) 1
Current children cumulated vsize (KiB) 9824668
[startup+1.50077 s]
/proc/loadavg: 3.63 3.78 3.82 3/216 26869
/proc/meminfo: memFree=27049008/32873844 swapFree=6080/6080
[pid=26844] ppid=26842 vsize=9824668 CPUtime=1.26 cores=1,3,5,7
/proc/26844/stat : 26844 (java) S 26842 26844 24394 0 -1 4202496 8935 0 1 0 119 7 0 0 20 0 19 0 253989489 10060460032 15706 33554432000 1073741824 1073778376 140733612561952 140733612553088 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/26844/statm: 2456167 15706 2254 9 0 2446860 0
[pid=26844/tid=26846] ppid=26842 vsize=9824668 CPUtime=0.35 cores=1,3,5,7
/proc/26844/task/26846/stat : 26846 (java) S 26842 26844 24394 0 -1 4202560 2459 0 1 0 34 1 0 0 20 0 19 0 253989491 10060460032 15706 33554432000 1073741824 1073778376 140733612561952 140395986674680 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26844/tid=26847] ppid=26842 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26844/task/26847/stat : 26847 (java) S 26842 26844 24394 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253989492 10060460032 15706 33554432000 1073741824 1073778376 140733612561952 140395975735848 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26844/tid=26848] ppid=26842 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26844/task/26848/stat : 26848 (java) S 26842 26844 24394 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253989492 10060460032 15706 33554432000 1073741824 1073778376 140733612561952 140395974683048 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26844/tid=26849] ppid=26842 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26844/task/26849/stat : 26849 (java) S 26842 26844 24394 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253989492 10060460032 15706 33554432000 1073741824 1073778376 140733612561952 140395973630248 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26844/tid=26850] ppid=26842 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26844/task/26850/stat : 26850 (java) S 26842 26844 24394 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253989492 10060460032 15706 33554432000 1073741824 1073778376 140733612561952 140395972577448 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26844/tid=26851] ppid=26842 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26844/task/26851/stat : 26851 (java) S 26842 26844 24394 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253989492 10060460032 15706 33554432000 1073741824 1073778376 140733612561952 140395826330664 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26844/tid=26852] ppid=26842 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26844/task/26852/stat : 26852 (java) S 26842 26844 24394 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253989492 10060460032 15706 33554432000 1073741824 1073778376 140733612561952 140395825277864 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26844/tid=26853] ppid=26842 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26844/task/26853/stat : 26853 (java) S 26842 26844 24394 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253989492 10060460032 15706 33554432000 1073741824 1073778376 140733612561952 140395824225064 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26844/tid=26854] ppid=26842 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26844/task/26854/stat : 26854 (java) S 26842 26844 24394 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253989492 10060460032 15706 33554432000 1073741824 1073778376 140733612561952 140395823172264 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26844/tid=26855] ppid=26842 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26844/task/26855/stat : 26855 (java) S 26842 26844 24394 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 253989493 10060460032 15706 33554432000 1073741824 1073778376 140733612561952 140395810761192 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26844/tid=26856] ppid=26842 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26844/task/26856/stat : 26856 (java) S 26842 26844 24394 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 253989493 10060460032 15706 33554432000 1073741824 1073778376 140733612561952 140395809707256 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26844/tid=26857] ppid=26842 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26844/task/26857/stat : 26857 (java) S 26842 26844 24394 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253989493 10060460032 15706 33554432000 1073741824 1073778376 140733612561952 140395808654344 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26844/tid=26858] ppid=26842 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26844/task/26858/stat : 26858 (java) S 26842 26844 24394 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253989496 10060460032 15706 33554432000 1073741824 1073778376 140733612561952 140395807602832 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26844/tid=26859] ppid=26842 vsize=9824668 CPUtime=0.33 cores=1,3,5,7
/proc/26844/task/26859/stat : 26859 (java) S 26842 26844 24394 0 -1 4202560 1696 0 0 0 33 0 0 0 20 0 19 0 253989496 10060460032 15706 33554432000 1073741824 1073778376 140733612561952 140395806550968 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26844/tid=26860] ppid=26842 vsize=9824668 CPUtime=0.36 cores=1,3,5,7
/proc/26844/task/26860/stat : 26860 (java) S 26842 26844 24394 0 -1 4202560 3445 0 0 0 36 0 0 0 20 0 19 0 253989496 10060460032 15706 33554432000 1073741824 1073778376 140733612561952 140395805498168 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26844/tid=26861] ppid=26842 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26844/task/26861/stat : 26861 (java) S 26842 26844 24394 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253989496 10060460032 15706 33554432000 1073741824 1073778376 140733612561952 140395804445560 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26844/tid=26862] ppid=26842 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26844/task/26862/stat : 26862 (java) S 26842 26844 24394 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253989496 10060460032 15706 33554432000 1073741824 1073778376 140733612561952 140395803392968 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26844/tid=26866] ppid=26842 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26844/task/26866/stat : 26866 (java) S 26842 26844 24394 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253989529 10060460032 15706 33554432000 1073741824 1073778376 140733612561952 140395798676264 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 9824668
[startup+3.10079 s]
/proc/loadavg: 3.63 3.78 3.82 7/219 26875
/proc/meminfo: memFree=27021188/32873844 swapFree=6080/6080
[pid=26844] ppid=26842 vsize=9824668 CPUtime=4.64 cores=1,3,5,7
/proc/26844/stat : 26844 (java) S 26842 26844 24394 0 -1 4202496 16555 0 1 0 450 14 0 0 20 0 22 0 253989489 10060460032 51956 33554432000 1073741824 1073778376 140733612561952 140733612553088 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/26844/statm: 2456167 51956 2277 9 0 2446860 0
[pid=26844/tid=26846] ppid=26842 vsize=9824668 CPUtime=0.35 cores=1,3,5,7
/proc/26844/task/26846/stat : 26846 (java) S 26842 26844 24394 0 -1 4202560 2459 0 1 0 34 1 0 0 20 0 22 0 253989491 10060460032 51956 33554432000 1073741824 1073778376 140733612561952 140395986674680 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26844/tid=26847] ppid=26842 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/26844/task/26847/stat : 26847 (java) S 26842 26844 24394 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 22 0 253989492 10060460032 51956 33554432000 1073741824 1073778376 140733612561952 140395975735848 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26844/tid=26848] ppid=26842 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/26844/task/26848/stat : 26848 (java) S 26842 26844 24394 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 22 0 253989492 10060460032 51956 33554432000 1073741824 1073778376 140733612561952 140395974683048 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26844/tid=26849] ppid=26842 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26844/task/26849/stat : 26849 (java) S 26842 26844 24394 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253989492 10060460032 51956 33554432000 1073741824 1073778376 140733612561952 140395973630248 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26844/tid=26850] ppid=26842 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/26844/task/26850/stat : 26850 (java) S 26842 26844 24394 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 22 0 253989492 10060460032 51956 33554432000 1073741824 1073778376 140733612561952 140395972577448 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26844/tid=26851] ppid=26842 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26844/task/26851/stat : 26851 (java) S 26842 26844 24394 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 253989492 10060460032 51956 33554432000 1073741824 1073778376 140733612561952 140395826330664 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26844/tid=26852] ppid=26842 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26844/task/26852/stat : 26852 (java) S 26842 26844 24394 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 253989492 10060460032 51956 33554432000 1073741824 1073778376 140733612561952 140395825277864 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26844/tid=26853] ppid=26842 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26844/task/26853/stat : 26853 (java) S 26842 26844 24394 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253989492 10060460032 51956 33554432000 1073741824 1073778376 140733612561952 140395824225064 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26844/tid=26854] ppid=26842 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26844/task/26854/stat : 26854 (java) S 26842 26844 24394 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 253989492 10060460032 51956 33554432000 1073741824 1073778376 140733612561952 140395823172264 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26844/tid=26855] ppid=26842 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26844/task/26855/stat : 26855 (java) S 26842 26844 24394 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 22 0 253989493 10060460032 51956 33554432000 1073741824 1073778376 140733612561952 140395810761192 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26844/tid=26856] ppid=26842 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26844/task/26856/stat : 26856 (java) S 26842 26844 24394 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253989493 10060460032 51956 33554432000 1073741824 1073778376 140733612561952 140395809707256 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26844/tid=26857] ppid=26842 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26844/task/26857/stat : 26857 (java) S 26842 26844 24394 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253989493 10060460032 51956 33554432000 1073741824 1073778376 140733612561952 140395808654344 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26844/tid=26858] ppid=26842 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26844/task/26858/stat : 26858 (java) S 26842 26844 24394 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253989496 10060460032 51956 33554432000 1073741824 1073778376 140733612561952 140395807602832 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26844/tid=26859] ppid=26842 vsize=9824668 CPUtime=0.83 cores=1,3,5,7
/proc/26844/task/26859/stat : 26859 (java) S 26842 26844 24394 0 -1 4202560 6172 0 0 0 81 2 0 0 20 0 22 0 253989496 10060460032 51956 33554432000 1073741824 1073778376 140733612561952 140395806550968 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26844/tid=26860] ppid=26842 vsize=9824668 CPUtime=0.77 cores=1,3,5,7
/proc/26844/task/26860/stat : 26860 (java) S 26842 26844 24394 0 -1 4202560 6388 0 0 0 77 0 0 0 20 0 22 0 253989496 10060460032 51956 33554432000 1073741824 1073778376 140733612561952 140395805498168 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26844/tid=26861] ppid=26842 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26844/task/26861/stat : 26861 (java) S 26842 26844 24394 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253989496 10060460032 51956 33554432000 1073741824 1073778376 140733612561952 140395804445560 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26844/tid=26862] ppid=26842 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26844/task/26862/stat : 26862 (java) S 26842 26844 24394 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253989496 10060460032 51956 33554432000 1073741824 1073778376 140733612561952 140395803392968 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26844/tid=26866] ppid=26842 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26844/task/26866/stat : 26866 (java) S 26842 26844 24394 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253989529 10060460032 51956 33554432000 1073741824 1073778376 140733612561952 140395798676264 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26844/tid=26873] ppid=26842 vsize=9824668 CPUtime=1.14 cores=1,3,5,7
/proc/26844/task/26873/stat : 26873 (java) R 26842 26844 24394 0 -1 4202560 4 0 0 0 114 0 0 0 20 0 22 0 253989679 10060460032 51956 33554432000 1073741824 1073778376 140733612561952 140395801285024 140395854545918 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=26844/tid=26874] ppid=26842 vsize=9824668 CPUtime=1.13 cores=1,3,5,7
/proc/26844/task/26874/stat : 26874 (java) R 26842 26844 24394 0 -1 4202560 54 0 0 0 112 1 0 0 20 0 22 0 253989679 10060460032 51956 33554432000 1073741824 1073778376 140733612561952 140395802336056 140395854758441 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=26844/tid=26875] ppid=26842 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26844/task/26875/stat : 26875 (java) S 26842 26844 24394 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253989679 10060460032 51956 33554432000 1073741824 1073778376 140733612561952 140395799729832 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.64
Current children cumulated vsize (KiB) 9824668
[startup+6.30078 s]
/proc/loadavg: 3.66 3.78 3.83 7/219 26878
/proc/meminfo: memFree=26738512/32873844 swapFree=6080/6080
[pid=26844] ppid=26842 vsize=9824668 CPUtime=10.34 cores=1,3,5,7
/proc/26844/stat : 26844 (java) S 26842 26844 24394 0 -1 4202496 17302 0 1 0 1005 29 0 0 20 0 22 0 253989489 10060460032 102858 33554432000 1073741824 1073778376 140733612561952 140733612553088 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/26844/statm: 2456167 102858 2289 9 0 2446860 0
[pid=26844/tid=26846] ppid=26842 vsize=9824668 CPUtime=0.35 cores=1,3,5,7
/proc/26844/task/26846/stat : 26846 (java) S 26842 26844 24394 0 -1 4202560 2459 0 1 0 34 1 0 0 20 0 22 0 253989491 10060460032 102858 33554432000 1073741824 1073778376 140733612561952 140395986674680 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26844/tid=26847] ppid=26842 vsize=9824668 CPUtime=0.05 cores=1,3,5,7
/proc/26844/task/26847/stat : 26847 (java) S 26842 26844 24394 0 -1 4202560 27 0 0 0 4 1 0 0 20 0 22 0 253989492 10060460032 102858 33554432000 1073741824 1073778376 140733612561952 140395975735848 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26844/tid=26848] ppid=26842 vsize=9824668 CPUtime=0.1 cores=1,3,5,7
/proc/26844/task/26848/stat : 26848 (java) S 26842 26844 24394 0 -1 4202560 42 0 0 0 8 2 0 0 20 0 22 0 253989492 10060460032 102858 33554432000 1073741824 1073778376 140733612561952 140395974683048 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26844/tid=26849] ppid=26842 vsize=9824668 CPUtime=0.08 cores=1,3,5,7
/proc/26844/task/26849/stat : 26849 (java) S 26842 26844 24394 0 -1 4202560 34 0 0 0 5 3 0 0 20 0 22 0 253989492 10060460032 102858 33554432000 1073741824 1073778376 140733612561952 140395973630248 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26844/tid=26850] ppid=26842 vsize=9824668 CPUtime=0.05 cores=1,3,5,7
/proc/26844/task/26850/stat : 26850 (java) S 26842 26844 24394 0 -1 4202560 21 0 0 0 4 1 0 0 20 0 22 0 253989492 10060460032 102858 33554432000 1073741824 1073778376 140733612561952 140395972577448 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26844/tid=26851] ppid=26842 vsize=9824668 CPUtime=0.1 cores=1,3,5,7
/proc/26844/task/26851/stat : 26851 (java) S 26842 26844 24394 0 -1 4202560 158 0 0 0 8 2 0 0 20 0 22 0 253989492 10060460032 102858 33554432000 1073741824 1073778376 140733612561952 140395826330664 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26844/tid=26852] ppid=26842 vsize=9824668 CPUtime=0.05 cores=1,3,5,7
/proc/26844/task/26852/stat : 26852 (java) S 26842 26844 24394 0 -1 4202560 28 0 0 0 3 2 0 0 20 0 22 0 253989492 10060460032 102858 33554432000 1073741824 1073778376 140733612561952 140395825277864 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26844/tid=26853] ppid=26842 vsize=9824668 CPUtime=0.08 cores=1,3,5,7
/proc/26844/task/26853/stat : 26853 (java) S 26842 26844 24394 0 -1 4202560 136 0 0 0 6 2 0 0 20 0 22 0 253989492 10060460032 102858 33554432000 1073741824 1073778376 140733612561952 140395824225064 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26844/tid=26854] ppid=26842 vsize=9824668 CPUtime=0.08 cores=1,3,5,7
/proc/26844/task/26854/stat : 26854 (java) S 26842 26844 24394 0 -1 4202560 138 0 0 0 6 2 0 0 20 0 22 0 253989492 10060460032 102858 33554432000 1073741824 1073778376 140733612561952 140395823172264 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26844/tid=26855] ppid=26842 vsize=9824668 CPUtime=0.21 cores=1,3,5,7
/proc/26844/task/26855/stat : 26855 (java) S 26842 26844 24394 0 -1 4202560 242 0 0 0 21 0 0 0 20 0 22 0 253989493 10060460032 102858 33554432000 1073741824 1073778376 140733612561952 140395810761192 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26844/tid=26856] ppid=26842 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26844/task/26856/stat : 26856 (java) S 26842 26844 24394 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253989493 10060460032 102858 33554432000 1073741824 1073778376 140733612561952 140395809707256 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26844/tid=26857] ppid=26842 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26844/task/26857/stat : 26857 (java) S 26842 26844 24394 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253989493 10060460032 102858 33554432000 1073741824 1073778376 140733612561952 140395808654344 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26844/tid=26858] ppid=26842 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26844/task/26858/stat : 26858 (java) S 26842 26844 24394 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253989496 10060460032 102858 33554432000 1073741824 1073778376 140733612561952 140395807602832 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26844/tid=26859] ppid=26842 vsize=9824668 CPUtime=1.01 cores=1,3,5,7
/proc/26844/task/26859/stat : 26859 (java) S 26842 26844 24394 0 -1 4202560 6180 0 0 0 98 3 0 0 20 0 22 0 253989496 10060460032 102858 33554432000 1073741824 1073778376 140733612561952 140395806550968 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26844/tid=26860] ppid=26842 vsize=9824668 CPUtime=0.86 cores=1,3,5,7
/proc/26844/task/26860/stat : 26860 (java) S 26842 26844 24394 0 -1 4202560 6396 0 0 0 86 0 0 0 20 0 22 0 253989496 10060460032 102858 33554432000 1073741824 1073778376 140733612561952 140395805498168 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26844/tid=26861] ppid=26842 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26844/task/26861/stat : 26861 (java) S 26842 26844 24394 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253989496 10060460032 102858 33554432000 1073741824 1073778376 140733612561952 140395804445560 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26844/tid=26862] ppid=26842 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26844/task/26862/stat : 26862 (java) S 26842 26844 24394 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253989496 10060460032 102858 33554432000 1073741824 1073778376 140733612561952 140395803392968 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
################
# More data... #
################
/proc/26844/statm: 2456167 629335 2290 9 0 2446860 0
[pid=26844/tid=26846] ppid=26842 vsize=9824668 CPUtime=0.4 cores=1,3,5,7
/proc/26844/task/26846/stat : 26846 (java) S 26842 26844 24394 0 -1 4202560 2491 0 1 0 37 3 0 0 20 0 22 0 253989491 10060460032 629335 33554432000 1073741824 1073778376 140733612561952 140395986674680 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26844/tid=26847] ppid=26842 vsize=9824668 CPUtime=1.9 cores=1,3,5,7
/proc/26844/task/26847/stat : 26847 (java) S 26842 26844 24394 0 -1 4202560 292 0 0 0 183 7 0 0 20 0 22 0 253989492 10060460032 629335 33554432000 1073741824 1073778376 140733612561952 140395975735848 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26844/tid=26848] ppid=26842 vsize=9824668 CPUtime=1.88 cores=1,3,5,7
/proc/26844/task/26848/stat : 26848 (java) S 26842 26844 24394 0 -1 4202560 316 0 0 0 179 9 0 0 20 0 22 0 253989492 10060460032 629335 33554432000 1073741824 1073778376 140733612561952 140395974683048 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26844/tid=26849] ppid=26842 vsize=9824668 CPUtime=1.68 cores=1,3,5,7
/proc/26844/task/26849/stat : 26849 (java) S 26842 26844 24394 0 -1 4202560 331 0 0 0 160 8 0 0 20 0 22 0 253989492 10060460032 629335 33554432000 1073741824 1073778376 140733612561952 140395973630248 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26844/tid=26850] ppid=26842 vsize=9824668 CPUtime=1.72 cores=1,3,5,7
/proc/26844/task/26850/stat : 26850 (java) S 26842 26844 24394 0 -1 4202560 275 0 0 0 165 7 0 0 20 0 22 0 253989492 10060460032 629335 33554432000 1073741824 1073778376 140733612561952 140395972577448 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26844/tid=26851] ppid=26842 vsize=9824668 CPUtime=1.81 cores=1,3,5,7
/proc/26844/task/26851/stat : 26851 (java) S 26842 26844 24394 0 -1 4202560 462 0 0 0 171 10 0 0 20 0 22 0 253989492 10060460032 629335 33554432000 1073741824 1073778376 140733612561952 140395826330664 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26844/tid=26852] ppid=26842 vsize=9824668 CPUtime=1.75 cores=1,3,5,7
/proc/26844/task/26852/stat : 26852 (java) S 26842 26844 24394 0 -1 4202560 347 0 0 0 168 7 0 0 20 0 22 0 253989492 10060460032 629335 33554432000 1073741824 1073778376 140733612561952 140395825277864 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26844/tid=26853] ppid=26842 vsize=9824668 CPUtime=1.75 cores=1,3,5,7
/proc/26844/task/26853/stat : 26853 (java) S 26842 26844 24394 0 -1 4202560 413 0 0 0 165 10 0 0 20 0 22 0 253989492 10060460032 629335 33554432000 1073741824 1073778376 140733612561952 140395824225064 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26844/tid=26854] ppid=26842 vsize=9824668 CPUtime=1.92 cores=1,3,5,7
/proc/26844/task/26854/stat : 26854 (java) S 26842 26844 24394 0 -1 4202560 392 0 0 0 182 10 0 0 20 0 22 0 253989492 10060460032 629335 33554432000 1073741824 1073778376 140733612561952 140395823172264 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26844/tid=26855] ppid=26842 vsize=9824668 CPUtime=35.11 cores=1,3,5,7
/proc/26844/task/26855/stat : 26855 (java) S 26842 26844 24394 0 -1 4202560 1930 0 0 0 3500 11 0 0 20 0 22 0 253989493 10060460032 629335 33554432000 1073741824 1073778376 140733612561952 140395810761192 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26844/tid=26856] ppid=26842 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26844/task/26856/stat : 26856 (java) S 26842 26844 24394 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253989493 10060460032 629335 33554432000 1073741824 1073778376 140733612561952 140395809707256 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26844/tid=26857] ppid=26842 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26844/task/26857/stat : 26857 (java) S 26842 26844 24394 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253989493 10060460032 629335 33554432000 1073741824 1073778376 140733612561952 140395808654344 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26844/tid=26858] ppid=26842 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26844/task/26858/stat : 26858 (java) S 26842 26844 24394 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253989496 10060460032 629335 33554432000 1073741824 1073778376 140733612561952 140395807602832 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26844/tid=26859] ppid=26842 vsize=9824668 CPUtime=1.18 cores=1,3,5,7
/proc/26844/task/26859/stat : 26859 (java) S 26842 26844 24394 0 -1 4202560 6192 0 0 0 115 3 0 0 20 0 22 0 253989496 10060460032 629335 33554432000 1073741824 1073778376 140733612561952 140395806550968 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26844/tid=26860] ppid=26842 vsize=9824668 CPUtime=0.93 cores=1,3,5,7
/proc/26844/task/26860/stat : 26860 (java) S 26842 26844 24394 0 -1 4202560 6398 0 0 0 93 0 0 0 20 0 22 0 253989496 10060460032 629335 33554432000 1073741824 1073778376 140733612561952 140395805498168 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26844/tid=26861] ppid=26842 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26844/task/26861/stat : 26861 (java) S 26842 26844 24394 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253989496 10060460032 629335 33554432000 1073741824 1073778376 140733612561952 140395804445560 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26844/tid=26862] ppid=26842 vsize=9824668 CPUtime=0.37 cores=1,3,5,7
/proc/26844/task/26862/stat : 26862 (java) S 26842 26844 24394 0 -1 4202560 47 0 0 0 15 22 0 0 20 0 22 0 253989496 10060460032 629335 33554432000 1073741824 1073778376 140733612561952 140395803392968 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26844/tid=26866] ppid=26842 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26844/task/26866/stat : 26866 (java) S 26842 26844 24394 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253989529 10060460032 629335 33554432000 1073741824 1073778376 140733612561952 140395798676264 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26844/tid=26876] ppid=26842 vsize=9824668 CPUtime=777.11 cores=1,3,5,7
/proc/26844/task/26876/stat : 26876 (java) R 26842 26844 24394 0 -1 4202560 133 0 0 0 77697 14 0 0 20 0 22 0 253989879 10060460032 629335 33554432000 1073741824 1073778376 140733612561952 140395802337184 140395854545259 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=26844/tid=26877] ppid=26842 vsize=9824668 CPUtime=777.03 cores=1,3,5,7
/proc/26844/task/26877/stat : 26877 (java) R 26842 26844 24394 0 -1 4202560 2182 0 0 0 77652 51 0 0 20 0 22 0 253989879 10060460032 629335 33554432000 1073741824 1073778376 140733612561952 140395799727024 140395854619814 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=26844/tid=26878] ppid=26842 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26844/task/26878/stat : 26878 (java) S 26842 26844 24394 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253989879 10060460032 629335 33554432000 1073741824 1073778376 140733612561952 140395801285928 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1613.64
Current children cumulated vsize (KiB) 9824668
[startup+882.301 s]
/proc/loadavg: 3.92 3.87 3.85 5/219 27008
/proc/meminfo: memFree=24336840/32873844 swapFree=6080/6080
[pid=26844] ppid=26842 vsize=9824668 CPUtime=1732.56 cores=1,3,5,7
/proc/26844/stat : 26844 (java) S 26842 26844 24394 0 -1 4202496 23803 0 1 0 173097 159 0 0 20 0 22 0 253989489 10060460032 646859 33554432000 1073741824 1073778376 140733612561952 140733612553088 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/26844/statm: 2456167 646859 2290 9 0 2446860 0
[pid=26844/tid=26846] ppid=26842 vsize=9824668 CPUtime=0.41 cores=1,3,5,7
/proc/26844/task/26846/stat : 26846 (java) S 26842 26844 24394 0 -1 4202560 2492 0 1 0 37 4 0 0 20 0 22 0 253989491 10060460032 646859 33554432000 1073741824 1073778376 140733612561952 140395986674680 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26844/tid=26847] ppid=26842 vsize=9824668 CPUtime=1.99 cores=1,3,5,7
/proc/26844/task/26847/stat : 26847 (java) S 26842 26844 24394 0 -1 4202560 301 0 0 0 191 8 0 0 20 0 22 0 253989492 10060460032 646859 33554432000 1073741824 1073778376 140733612561952 140395975735848 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26844/tid=26848] ppid=26842 vsize=9824668 CPUtime=2.03 cores=1,3,5,7
/proc/26844/task/26848/stat : 26848 (java) S 26842 26844 24394 0 -1 4202560 378 0 0 0 193 10 0 0 20 0 22 0 253989492 10060460032 646859 33554432000 1073741824 1073778376 140733612561952 140395974683048 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26844/tid=26849] ppid=26842 vsize=9824668 CPUtime=1.81 cores=1,3,5,7
/proc/26844/task/26849/stat : 26849 (java) S 26842 26844 24394 0 -1 4202560 341 0 0 0 172 9 0 0 20 0 22 0 253989492 10060460032 646859 33554432000 1073741824 1073778376 140733612561952 140395973630248 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26844/tid=26850] ppid=26842 vsize=9824668 CPUtime=1.81 cores=1,3,5,7
/proc/26844/task/26850/stat : 26850 (java) S 26842 26844 24394 0 -1 4202560 291 0 0 0 173 8 0 0 20 0 22 0 253989492 10060460032 646859 33554432000 1073741824 1073778376 140733612561952 140395972577448 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26844/tid=26851] ppid=26842 vsize=9824668 CPUtime=1.9 cores=1,3,5,7
/proc/26844/task/26851/stat : 26851 (java) S 26842 26844 24394 0 -1 4202560 471 0 0 0 180 10 0 0 20 0 22 0 253989492 10060460032 646859 33554432000 1073741824 1073778376 140733612561952 140395826330664 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26844/tid=26852] ppid=26842 vsize=9824668 CPUtime=1.88 cores=1,3,5,7
/proc/26844/task/26852/stat : 26852 (java) S 26842 26844 24394 0 -1 4202560 365 0 0 0 181 7 0 0 20 0 22 0 253989492 10060460032 646859 33554432000 1073741824 1073778376 140733612561952 140395825277864 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26844/tid=26853] ppid=26842 vsize=9824668 CPUtime=1.84 cores=1,3,5,7
/proc/26844/task/26853/stat : 26853 (java) S 26842 26844 24394 0 -1 4202560 436 0 0 0 174 10 0 0 20 0 22 0 253989492 10060460032 646859 33554432000 1073741824 1073778376 140733612561952 140395824225064 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26844/tid=26854] ppid=26842 vsize=9824668 CPUtime=2.05 cores=1,3,5,7
/proc/26844/task/26854/stat : 26854 (java) S 26842 26844 24394 0 -1 4202560 405 0 0 0 194 11 0 0 20 0 22 0 253989492 10060460032 646859 33554432000 1073741824 1073778376 140733612561952 140395823172264 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26844/tid=26855] ppid=26842 vsize=9824668 CPUtime=36.6 cores=1,3,5,7
/proc/26844/task/26855/stat : 26855 (java) S 26842 26844 24394 0 -1 4202560 1967 0 0 0 3648 12 0 0 20 0 22 0 253989493 10060460032 646859 33554432000 1073741824 1073778376 140733612561952 140395810761192 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26844/tid=26856] ppid=26842 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26844/task/26856/stat : 26856 (java) S 26842 26844 24394 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253989493 10060460032 646859 33554432000 1073741824 1073778376 140733612561952 140395809707256 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26844/tid=26857] ppid=26842 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26844/task/26857/stat : 26857 (java) S 26842 26844 24394 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253989493 10060460032 646859 33554432000 1073741824 1073778376 140733612561952 140395808654344 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26844/tid=26858] ppid=26842 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26844/task/26858/stat : 26858 (java) S 26842 26844 24394 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253989496 10060460032 646859 33554432000 1073741824 1073778376 140733612561952 140395807602832 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26844/tid=26859] ppid=26842 vsize=9824668 CPUtime=1.18 cores=1,3,5,7
/proc/26844/task/26859/stat : 26859 (java) S 26842 26844 24394 0 -1 4202560 6192 0 0 0 115 3 0 0 20 0 22 0 253989496 10060460032 646859 33554432000 1073741824 1073778376 140733612561952 140395806550968 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26844/tid=26860] ppid=26842 vsize=9824668 CPUtime=0.93 cores=1,3,5,7
/proc/26844/task/26860/stat : 26860 (java) S 26842 26844 24394 0 -1 4202560 6398 0 0 0 93 0 0 0 20 0 22 0 253989496 10060460032 646859 33554432000 1073741824 1073778376 140733612561952 140395805498168 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26844/tid=26861] ppid=26842 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26844/task/26861/stat : 26861 (java) S 26842 26844 24394 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253989496 10060460032 646859 33554432000 1073741824 1073778376 140733612561952 140395804445560 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26844/tid=26862] ppid=26842 vsize=9824668 CPUtime=0.4 cores=1,3,5,7
/proc/26844/task/26862/stat : 26862 (java) S 26842 26844 24394 0 -1 4202560 51 0 0 0 16 24 0 0 20 0 22 0 253989496 10060460032 646859 33554432000 1073741824 1073778376 140733612561952 140395803392968 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26844/tid=26866] ppid=26842 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26844/task/26866/stat : 26866 (java) S 26842 26844 24394 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253989529 10060460032 646859 33554432000 1073741824 1073778376 140733612561952 140395798676264 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26844/tid=26876] ppid=26842 vsize=9824668 CPUtime=835.23 cores=1,3,5,7
/proc/26844/task/26876/stat : 26876 (java) R 26842 26844 24394 0 -1 4202560 137 0 0 0 83508 15 0 0 20 0 22 0 253989879 10060460032 646859 33554432000 1073741824 1073778376 140733612561952 140395802337304 140395854481022 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=26844/tid=26877] ppid=26842 vsize=9824668 CPUtime=835.13 cores=1,3,5,7
/proc/26844/task/26877/stat : 26877 (java) R 26842 26844 24394 0 -1 4202560 2193 0 0 0 83461 52 0 0 20 0 22 0 253989879 10060460032 646859 33554432000 1073741824 1073778376 140733612561952 140395799727144 140395854383281 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=26844/tid=26878] ppid=26842 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26844/task/26878/stat : 26878 (java) S 26842 26844 24394 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253989879 10060460032 646859 33554432000 1073741824 1073778376 140733612561952 140395801285928 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1732.56
Current children cumulated vsize (KiB) 9824668
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+916.601 s]
/proc/loadavg: 3.81 3.85 3.84 5/219 27008
/proc/meminfo: memFree=24166364/32873844 swapFree=6080/6080
[pid=26844] ppid=26842 vsize=9824668 CPUtime=1800.11 cores=1,3,5,7
/proc/26844/stat : 26844 (java) S 26842 26844 24394 0 -1 4202496 23979 0 1 0 179846 165 0 0 20 0 22 0 253989489 10060460032 659748 33554432000 1073741824 1073778376 140733612561952 140733612553088 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/26844/statm: 2456167 659748 2290 9 0 2446860 0
[pid=26844/tid=26846] ppid=26842 vsize=9824668 CPUtime=0.41 cores=1,3,5,7
/proc/26844/task/26846/stat : 26846 (java) S 26842 26844 24394 0 -1 4202560 2493 0 1 0 37 4 0 0 20 0 22 0 253989491 10060460032 659748 33554432000 1073741824 1073778376 140733612561952 140395986674680 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26844/tid=26847] ppid=26842 vsize=9824668 CPUtime=2.04 cores=1,3,5,7
/proc/26844/task/26847/stat : 26847 (java) S 26842 26844 24394 0 -1 4202560 321 0 0 0 196 8 0 0 20 0 22 0 253989492 10060460032 659748 33554432000 1073741824 1073778376 140733612561952 140395975735848 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26844/tid=26848] ppid=26842 vsize=9824668 CPUtime=2.06 cores=1,3,5,7
/proc/26844/task/26848/stat : 26848 (java) S 26842 26844 24394 0 -1 4202560 384 0 0 0 196 10 0 0 20 0 22 0 253989492 10060460032 659748 33554432000 1073741824 1073778376 140733612561952 140395974683048 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26844/tid=26849] ppid=26842 vsize=9824668 CPUtime=1.86 cores=1,3,5,7
/proc/26844/task/26849/stat : 26849 (java) S 26842 26844 24394 0 -1 4202560 354 0 0 0 177 9 0 0 20 0 22 0 253989492 10060460032 659748 33554432000 1073741824 1073778376 140733612561952 140395973630248 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26844/tid=26850] ppid=26842 vsize=9824668 CPUtime=1.85 cores=1,3,5,7
/proc/26844/task/26850/stat : 26850 (java) S 26842 26844 24394 0 -1 4202560 309 0 0 0 177 8 0 0 20 0 22 0 253989492 10060460032 659748 33554432000 1073741824 1073778376 140733612561952 140395972577448 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26844/tid=26851] ppid=26842 vsize=9824668 CPUtime=1.94 cores=1,3,5,7
/proc/26844/task/26851/stat : 26851 (java) S 26842 26844 24394 0 -1 4202560 527 0 0 0 183 11 0 0 20 0 22 0 253989492 10060460032 659748 33554432000 1073741824 1073778376 140733612561952 140395826330664 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26844/tid=26852] ppid=26842 vsize=9824668 CPUtime=1.91 cores=1,3,5,7
/proc/26844/task/26852/stat : 26852 (java) S 26842 26844 24394 0 -1 4202560 370 0 0 0 183 8 0 0 20 0 22 0 253989492 10060460032 659748 33554432000 1073741824 1073778376 140733612561952 140395825277864 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26844/tid=26853] ppid=26842 vsize=9824668 CPUtime=1.89 cores=1,3,5,7
/proc/26844/task/26853/stat : 26853 (java) S 26842 26844 24394 0 -1 4202560 442 0 0 0 179 10 0 0 20 0 22 0 253989492 10060460032 659748 33554432000 1073741824 1073778376 140733612561952 140395824225064 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26844/tid=26854] ppid=26842 vsize=9824668 CPUtime=2.11 cores=1,3,5,7
/proc/26844/task/26854/stat : 26854 (java) S 26842 26844 24394 0 -1 4202560 429 0 0 0 199 12 0 0 20 0 22 0 253989492 10060460032 659748 33554432000 1073741824 1073778376 140733612561952 140395823172264 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26844/tid=26855] ppid=26842 vsize=9824668 CPUtime=37.81 cores=1,3,5,7
/proc/26844/task/26855/stat : 26855 (java) S 26842 26844 24394 0 -1 4202560 1984 0 0 0 3769 12 0 0 20 0 22 0 253989493 10060460032 659748 33554432000 1073741824 1073778376 140733612561952 140395810761192 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26844/tid=26856] ppid=26842 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26844/task/26856/stat : 26856 (java) S 26842 26844 24394 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253989493 10060460032 659748 33554432000 1073741824 1073778376 140733612561952 140395809707256 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26844/tid=26857] ppid=26842 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26844/task/26857/stat : 26857 (java) S 26842 26844 24394 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253989493 10060460032 659748 33554432000 1073741824 1073778376 140733612561952 140395808654344 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26844/tid=26858] ppid=26842 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26844/task/26858/stat : 26858 (java) S 26842 26844 24394 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253989496 10060460032 659748 33554432000 1073741824 1073778376 140733612561952 140395807602832 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26844/tid=26859] ppid=26842 vsize=9824668 CPUtime=1.2 cores=1,3,5,7
/proc/26844/task/26859/stat : 26859 (java) S 26842 26844 24394 0 -1 4202560 6193 0 0 0 117 3 0 0 20 0 22 0 253989496 10060460032 659748 33554432000 1073741824 1073778376 140733612561952 140395806550968 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26844/tid=26860] ppid=26842 vsize=9824668 CPUtime=0.93 cores=1,3,5,7
/proc/26844/task/26860/stat : 26860 (java) S 26842 26844 24394 0 -1 4202560 6398 0 0 0 93 0 0 0 20 0 22 0 253989496 10060460032 659748 33554432000 1073741824 1073778376 140733612561952 140395805498168 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26844/tid=26861] ppid=26842 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26844/task/26861/stat : 26861 (java) S 26842 26844 24394 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253989496 10060460032 659748 33554432000 1073741824 1073778376 140733612561952 140395804445560 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26844/tid=26862] ppid=26842 vsize=9824668 CPUtime=0.42 cores=1,3,5,7
/proc/26844/task/26862/stat : 26862 (java) S 26842 26844 24394 0 -1 4202560 53 0 0 0 17 25 0 0 20 0 22 0 253989496 10060460032 659748 33554432000 1073741824 1073778376 140733612561952 140395803392968 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26844/tid=26866] ppid=26842 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26844/task/26866/stat : 26866 (java) S 26842 26844 24394 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253989529 10060460032 659748 33554432000 1073741824 1073778376 140733612561952 140395798676264 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26844/tid=26876] ppid=26842 vsize=9824668 CPUtime=868.14 cores=1,3,5,7
/proc/26844/task/26876/stat : 26876 (java) R 26842 26844 24394 0 -1 4202560 138 0 0 0 86798 16 0 0 20 0 22 0 253989879 10060460032 659748 33554432000 1073741824 1073778376 140733612561952 140395802337200 140395854623879 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=26844/tid=26877] ppid=26842 vsize=9824668 CPUtime=868.03 cores=1,3,5,7
/proc/26844/task/26877/stat : 26877 (java) R 26842 26844 24394 0 -1 4202560 2199 0 0 0 86750 53 0 0 20 0 22 0 253989879 10060460032 659748 33554432000 1073741824 1073778376 140733612561952 140395799727008 140395854649508 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=26844/tid=26878] ppid=26842 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26844/task/26878/stat : 26878 (java) S 26842 26844 24394 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253989879 10060460032 659748 33554432000 1073741824 1073778376 140733612561952 140395801285928 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.11
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 26844 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=978273
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=132675
# CPU time returned by wait4() is 1796.11
# while last known CPU time is 1800.11
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 916.659
CPU time (s): 1800.11
CPU user time (s): 1798.46
CPU system time (s): 1.65
CPU usage (%): 196.377
Max. virtual memory (cumulated for all children) (KiB): 9825784
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.98
system time used= 2.13267
maximum resident set size= 2998780
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24010
page faults= 1
swaps= 0
block input operations= 0
block output operations= 960
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 26006
involuntary context switches= 40081
runsolver used 3.72143 second user time and 8.86365 second system time
The end