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-3687518-1337871927/watcher-3687518-1337871927 -o /tmp/evaluation-result-3687518-1337871927/solver-3687518-1337871927 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3687518-1337871927.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: 0.82 0.22 0.07 4/197 22166
/proc/meminfo: memFree=29210956/32873660 swapFree=7108/7108
[pid=22166] ppid=22164 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/22166/stat : 22166 (java) R 22164 22166 21381 0 -1 4202496 993 0 0 0 0 0 0 0 20 0 1 0 253318491 23793664 722 33554432000 1073741824 1073778376 140735511254480 140735511243544 140620668977600 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22166/statm: 5809 736 544 9 0 128 0
[startup+0.071724 s]
/proc/loadavg: 0.82 0.22 0.07 4/197 22166
/proc/meminfo: memFree=29210956/32873660 swapFree=7108/7108
[pid=22166] ppid=22164 vsize=9558412 CPUtime=0.05 cores=1,3,5,7
/proc/22166/stat : 22166 (java) S 22164 22166 21381 0 -1 4202496 3696 0 1 0 5 0 0 0 20 0 18 0 253318491 9787813888 4394 33554432000 1073741824 1073778376 140735511254480 140735511245616 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22166/statm: 2389603 4394 1932 9 0 2380296 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 9558412
[startup+0.100205 s]
/proc/loadavg: 0.82 0.22 0.07 4/197 22166
/proc/meminfo: memFree=29210956/32873660 swapFree=7108/7108
[pid=22166] ppid=22164 vsize=9558412 CPUtime=0.11 cores=1,3,5,7
/proc/22166/stat : 22166 (java) S 22164 22166 21381 0 -1 4202496 4549 0 1 0 10 1 0 0 20 0 18 0 253318491 9787813888 5690 33554432000 1073741824 1073778376 140735511254480 140735511245616 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22166/statm: 2389603 5690 2142 9 0 2380296 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558412
[startup+0.300173 s]
/proc/loadavg: 0.82 0.22 0.07 4/197 22166
/proc/meminfo: memFree=29210956/32873660 swapFree=7108/7108
[pid=22166] ppid=22164 vsize=9691540 CPUtime=0.61 cores=1,3,5,7
/proc/22166/stat : 22166 (java) S 22164 22166 21381 0 -1 4202496 7803 0 1 0 59 2 0 0 20 0 20 0 253318491 9924136960 12324 33554432000 1073741824 1073778376 140735511254480 140735511245616 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22166/statm: 2422885 12324 2227 9 0 2413578 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 9691540
[startup+0.70018 s]
/proc/loadavg: 0.82 0.22 0.07 4/197 22166
/proc/meminfo: memFree=29210956/32873660 swapFree=7108/7108
[pid=22166] ppid=22164 vsize=9824668 CPUtime=2.17 cores=1,3,5,7
/proc/22166/stat : 22166 (java) S 22164 22166 21381 0 -1 4202496 17475 0 1 0 214 3 0 0 20 0 22 0 253318491 10060460032 20750 33554432000 1073741824 1073778376 140735511254480 140735511245616 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22166/statm: 2456167 20750 2243 9 0 2446860 0
Current children cumulated CPU time (s) 2.17
Current children cumulated vsize (KiB) 9824668
[startup+1.50072 s]
/proc/loadavg: 0.82 0.22 0.07 6/219 22188
/proc/meminfo: memFree=29088792/32873660 swapFree=7108/7108
[pid=22166] ppid=22164 vsize=9824668 CPUtime=4.47 cores=1,3,5,7
/proc/22166/stat : 22166 (java) S 22164 22166 21381 0 -1 4202496 24236 0 1 0 440 7 0 0 20 0 22 0 253318491 10060460032 32882 33554432000 1073741824 1073778376 140735511254480 140735511245616 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22166/statm: 2456167 32882 2277 9 0 2446860 0
[pid=22166/tid=22168] ppid=22164 vsize=9824668 CPUtime=0.26 cores=1,3,5,7
/proc/22166/task/22168/stat : 22168 (java) S 22164 22166 21381 0 -1 4202560 2512 0 1 0 24 2 0 0 20 0 22 0 253318491 10060460032 32882 33554432000 1073741824 1073778376 140735511254480 140620660950008 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22166/tid=22169] ppid=22164 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22166/task/22169/stat : 22169 (java) S 22164 22166 21381 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 253318492 10060460032 32882 33554432000 1073741824 1073778376 140735511254480 140620504889640 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22166/tid=22170] ppid=22164 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22166/task/22170/stat : 22170 (java) S 22164 22166 21381 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 253318492 10060460032 32882 33554432000 1073741824 1073778376 140735511254480 140620503836840 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22166/tid=22171] ppid=22164 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22166/task/22171/stat : 22171 (java) S 22164 22166 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253318492 10060460032 32882 33554432000 1073741824 1073778376 140735511254480 140620502784552 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22166/tid=22172] ppid=22164 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22166/task/22172/stat : 22172 (java) S 22164 22166 21381 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 253318492 10060460032 32882 33554432000 1073741824 1073778376 140735511254480 140620501731752 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22166/tid=22173] ppid=22164 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22166/task/22173/stat : 22173 (java) S 22164 22166 21381 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 253318492 10060460032 32882 33554432000 1073741824 1073778376 140735511254480 140620500679464 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22166/tid=22174] ppid=22164 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22166/task/22174/stat : 22174 (java) S 22164 22166 21381 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253318492 10060460032 32882 33554432000 1073741824 1073778376 140735511254480 140620499626664 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22166/tid=22175] ppid=22164 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22166/task/22175/stat : 22175 (java) S 22164 22166 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253318492 10060460032 32882 33554432000 1073741824 1073778376 140735511254480 140620498574376 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22166/tid=22176] ppid=22164 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22166/task/22176/stat : 22176 (java) S 22164 22166 21381 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253318492 10060460032 32882 33554432000 1073741824 1073778376 140735511254480 140620497521576 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22166/tid=22177] ppid=22164 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/22166/task/22177/stat : 22177 (java) S 22164 22166 21381 0 -1 4202560 33 0 0 0 2 0 0 0 20 0 22 0 253318493 10060460032 32882 33554432000 1073741824 1073778376 140735511254480 140620485109992 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22166/tid=22178] ppid=22164 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22166/task/22178/stat : 22178 (java) S 22164 22166 21381 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253318493 10060460032 32882 33554432000 1073741824 1073778376 140735511254480 140620484056056 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22166/tid=22179] ppid=22164 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22166/task/22179/stat : 22179 (java) S 22164 22166 21381 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253318493 10060460032 32882 33554432000 1073741824 1073778376 140735511254480 140620483003656 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22166/tid=22180] ppid=22164 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22166/task/22180/stat : 22180 (java) S 22164 22166 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253318495 10060460032 32882 33554432000 1073741824 1073778376 140735511254480 140620481952144 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22166/tid=22181] ppid=22164 vsize=9824668 CPUtime=0.82 cores=1,3,5,7
/proc/22166/task/22181/stat : 22181 (java) S 22164 22166 21381 0 -1 4202560 8607 0 0 0 81 1 0 0 20 0 22 0 253318495 10060460032 32882 33554432000 1073741824 1073778376 140735511254480 140620480899768 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22166/tid=22182] ppid=22164 vsize=9824668 CPUtime=0.93 cores=1,3,5,7
/proc/22166/task/22182/stat : 22182 (java) S 22164 22166 21381 0 -1 4202560 11724 0 0 0 91 2 0 0 20 0 22 0 253318495 10060460032 32882 33554432000 1073741824 1073778376 140735511254480 140620479846968 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22166/tid=22183] ppid=22164 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22166/task/22183/stat : 22183 (java) S 22164 22166 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253318495 10060460032 32882 33554432000 1073741824 1073778376 140735511254480 140620478794872 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22166/tid=22184] ppid=22164 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22166/task/22184/stat : 22184 (java) S 22164 22166 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253318496 10060460032 32882 33554432000 1073741824 1073778376 140735511254480 140620477742280 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22166/tid=22185] ppid=22164 vsize=9824668 CPUtime=1.15 cores=1,3,5,7
/proc/22166/task/22185/stat : 22185 (java) R 22164 22166 21381 0 -1 4202560 30 0 0 0 115 0 0 0 20 0 22 0 253318519 10060460032 32882 33554432000 1073741824 1073778376 140735511254480 140620476686648 140620534066619 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22166/tid=22186] ppid=22164 vsize=9824668 CPUtime=1.16 cores=1,3,5,7
/proc/22166/task/22186/stat : 22186 (java) R 22164 22166 21381 0 -1 4202560 89 0 0 0 116 0 0 0 20 0 22 0 253318519 10060460032 32882 33554432000 1073741824 1073778376 140735511254480 140620475631648 140620533859371 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=22166/tid=22187] ppid=22164 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22166/task/22187/stat : 22187 (java) S 22164 22166 21381 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253318523 10060460032 32882 33554432000 1073741824 1073778376 140735511254480 140620474582184 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22166/tid=22188] ppid=22164 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22166/task/22188/stat : 22188 (java) S 22164 22166 21381 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253318523 10060460032 32882 33554432000 1073741824 1073778376 140735511254480 140620473529384 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 4.47
Current children cumulated vsize (KiB) 9824668
[startup+3.10072 s]
/proc/loadavg: 1.08 0.28 0.09 8/219 22188
/proc/meminfo: memFree=29023652/32873660 swapFree=7108/7108
[pid=22166] ppid=22164 vsize=9824668 CPUtime=7.76 cores=1,3,5,7
/proc/22166/stat : 22166 (java) S 22164 22166 21381 0 -1 4202496 24290 0 1 0 768 8 0 0 20 0 22 0 253318491 10060460032 38029 33554432000 1073741824 1073778376 140735511254480 140735511245616 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22166/statm: 2456167 38029 2277 9 0 2446860 0
[pid=22166/tid=22168] ppid=22164 vsize=9824668 CPUtime=0.26 cores=1,3,5,7
/proc/22166/task/22168/stat : 22168 (java) S 22164 22166 21381 0 -1 4202560 2512 0 1 0 24 2 0 0 20 0 22 0 253318491 10060460032 38029 33554432000 1073741824 1073778376 140735511254480 140620660950008 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22166/tid=22169] ppid=22164 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22166/task/22169/stat : 22169 (java) S 22164 22166 21381 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 253318492 10060460032 38029 33554432000 1073741824 1073778376 140735511254480 140620504889640 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22166/tid=22170] ppid=22164 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22166/task/22170/stat : 22170 (java) S 22164 22166 21381 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 253318492 10060460032 38029 33554432000 1073741824 1073778376 140735511254480 140620503836840 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22166/tid=22171] ppid=22164 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22166/task/22171/stat : 22171 (java) S 22164 22166 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253318492 10060460032 38029 33554432000 1073741824 1073778376 140735511254480 140620502784552 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22166/tid=22172] ppid=22164 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/22166/task/22172/stat : 22172 (java) S 22164 22166 21381 0 -1 4202560 21 0 0 0 1 0 0 0 20 0 22 0 253318492 10060460032 38029 33554432000 1073741824 1073778376 140735511254480 140620501731752 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22166/tid=22173] ppid=22164 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/22166/task/22173/stat : 22173 (java) S 22164 22166 21381 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 22 0 253318492 10060460032 38029 33554432000 1073741824 1073778376 140735511254480 140620500679464 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22166/tid=22174] ppid=22164 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22166/task/22174/stat : 22174 (java) S 22164 22166 21381 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253318492 10060460032 38029 33554432000 1073741824 1073778376 140735511254480 140620499626664 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22166/tid=22175] ppid=22164 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22166/task/22175/stat : 22175 (java) S 22164 22166 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253318492 10060460032 38029 33554432000 1073741824 1073778376 140735511254480 140620498574376 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22166/tid=22176] ppid=22164 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22166/task/22176/stat : 22176 (java) S 22164 22166 21381 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253318492 10060460032 38029 33554432000 1073741824 1073778376 140735511254480 140620497521576 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22166/tid=22177] ppid=22164 vsize=9824668 CPUtime=0.08 cores=1,3,5,7
/proc/22166/task/22177/stat : 22177 (java) S 22164 22166 21381 0 -1 4202560 39 0 0 0 8 0 0 0 20 0 22 0 253318493 10060460032 38029 33554432000 1073741824 1073778376 140735511254480 140620485109992 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22166/tid=22178] ppid=22164 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22166/task/22178/stat : 22178 (java) S 22164 22166 21381 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253318493 10060460032 38029 33554432000 1073741824 1073778376 140735511254480 140620484056056 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22166/tid=22179] ppid=22164 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22166/task/22179/stat : 22179 (java) S 22164 22166 21381 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253318493 10060460032 38029 33554432000 1073741824 1073778376 140735511254480 140620483003656 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22166/tid=22180] ppid=22164 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22166/task/22180/stat : 22180 (java) S 22164 22166 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253318495 10060460032 38029 33554432000 1073741824 1073778376 140735511254480 140620481952144 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22166/tid=22181] ppid=22164 vsize=9824668 CPUtime=0.93 cores=1,3,5,7
/proc/22166/task/22181/stat : 22181 (java) S 22164 22166 21381 0 -1 4202560 8620 0 0 0 91 2 0 0 20 0 22 0 253318495 10060460032 38029 33554432000 1073741824 1073778376 140735511254480 140620480899768 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22166/tid=22182] ppid=22164 vsize=9824668 CPUtime=0.97 cores=1,3,5,7
/proc/22166/task/22182/stat : 22182 (java) S 22164 22166 21381 0 -1 4202560 11729 0 0 0 95 2 0 0 20 0 22 0 253318495 10060460032 38029 33554432000 1073741824 1073778376 140735511254480 140620479846968 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22166/tid=22183] ppid=22164 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22166/task/22183/stat : 22183 (java) S 22164 22166 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253318495 10060460032 38029 33554432000 1073741824 1073778376 140735511254480 140620478794872 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22166/tid=22184] ppid=22164 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22166/task/22184/stat : 22184 (java) S 22164 22166 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253318496 10060460032 38029 33554432000 1073741824 1073778376 140735511254480 140620477742280 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22166/tid=22185] ppid=22164 vsize=9824668 CPUtime=2.66 cores=1,3,5,7
/proc/22166/task/22185/stat : 22185 (java) R 22164 22166 21381 0 -1 4202560 31 0 0 0 266 0 0 0 20 0 22 0 253318519 10060460032 38029 33554432000 1073741824 1073778376 140735511254480 140620476686680 140620533872367 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22166/tid=22186] ppid=22164 vsize=9824668 CPUtime=2.66 cores=1,3,5,7
/proc/22166/task/22186/stat : 22186 (java) R 22164 22166 21381 0 -1 4202560 89 0 0 0 266 0 0 0 20 0 22 0 253318519 10060460032 38029 33554432000 1073741824 1073778376 140735511254480 140620475631544 140620534409430 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=22166/tid=22187] ppid=22164 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22166/task/22187/stat : 22187 (java) S 22164 22166 21381 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253318523 10060460032 38029 33554432000 1073741824 1073778376 140735511254480 140620474582184 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22166/tid=22188] ppid=22164 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22166/task/22188/stat : 22188 (java) S 22164 22166 21381 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253318523 10060460032 38029 33554432000 1073741824 1073778376 140735511254480 140620473529384 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7.76
Current children cumulated vsize (KiB) 9824668
[startup+6.3007 s]
/proc/loadavg: 1.08 0.28 0.09 5/219 22188
/proc/meminfo: memFree=28826864/32873660 swapFree=7108/7108
[pid=22166] ppid=22164 vsize=9824668 CPUtime=14.15 cores=1,3,5,7
/proc/22166/stat : 22166 (java) S 22164 22166 21381 0 -1 4202496 24553 0 1 0 1405 10 0 0 20 0 22 0 253318491 10060460032 41926 33554432000 1073741824 1073778376 140735511254480 140735511245616 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22166/statm: 2456167 41926 2278 9 0 2446860 0
[pid=22166/tid=22168] ppid=22164 vsize=9824668 CPUtime=0.26 cores=1,3,5,7
/proc/22166/task/22168/stat : 22168 (java) S 22164 22166 21381 0 -1 4202560 2512 0 1 0 24 2 0 0 20 0 22 0 253318491 10060460032 41926 33554432000 1073741824 1073778376 140735511254480 140620660950008 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22166/tid=22169] ppid=22164 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/22166/task/22169/stat : 22169 (java) S 22164 22166 21381 0 -1 4202560 18 0 0 0 1 0 0 0 20 0 22 0 253318492 10060460032 41926 33554432000 1073741824 1073778376 140735511254480 140620504889640 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22166/tid=22170] ppid=22164 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/22166/task/22170/stat : 22170 (java) S 22164 22166 21381 0 -1 4202560 19 0 0 0 2 0 0 0 20 0 22 0 253318492 10060460032 41926 33554432000 1073741824 1073778376 140735511254480 140620503836840 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22166/tid=22171] ppid=22164 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22166/task/22171/stat : 22171 (java) S 22164 22166 21381 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253318492 10060460032 41926 33554432000 1073741824 1073778376 140735511254480 140620502784552 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22166/tid=22172] ppid=22164 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/22166/task/22172/stat : 22172 (java) S 22164 22166 21381 0 -1 4202560 21 0 0 0 1 0 0 0 20 0 22 0 253318492 10060460032 41926 33554432000 1073741824 1073778376 140735511254480 140620501731752 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22166/tid=22173] ppid=22164 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/22166/task/22173/stat : 22173 (java) S 22164 22166 21381 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 22 0 253318492 10060460032 41926 33554432000 1073741824 1073778376 140735511254480 140620500679464 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22166/tid=22174] ppid=22164 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22166/task/22174/stat : 22174 (java) S 22164 22166 21381 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253318492 10060460032 41926 33554432000 1073741824 1073778376 140735511254480 140620499626664 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22166/tid=22175] ppid=22164 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22166/task/22175/stat : 22175 (java) S 22164 22166 21381 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 253318492 10060460032 41926 33554432000 1073741824 1073778376 140735511254480 140620498574376 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22166/tid=22176] ppid=22164 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22166/task/22176/stat : 22176 (java) S 22164 22166 21381 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 253318492 10060460032 41926 33554432000 1073741824 1073778376 140735511254480 140620497521576 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22166/tid=22177] ppid=22164 vsize=9824668 CPUtime=0.19 cores=1,3,5,7
/proc/22166/task/22177/stat : 22177 (java) S 22164 22166 21381 0 -1 4202560 42 0 0 0 19 0 0 0 20 0 22 0 253318493 10060460032 41926 33554432000 1073741824 1073778376 140735511254480 140620485109992 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22166/tid=22178] ppid=22164 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22166/task/22178/stat : 22178 (java) S 22164 22166 21381 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253318493 10060460032 41926 33554432000 1073741824 1073778376 140735511254480 140620484056056 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22166/tid=22179] ppid=22164 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22166/task/22179/stat : 22179 (java) S 22164 22166 21381 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253318493 10060460032 41926 33554432000 1073741824 1073778376 140735511254480 140620483003656 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22166/tid=22180] ppid=22164 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22166/task/22180/stat : 22180 (java) S 22164 22166 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253318495 10060460032 41926 33554432000 1073741824 1073778376 140735511254480 140620481952144 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22166/tid=22181] ppid=22164 vsize=9824668 CPUtime=0.94 cores=1,3,5,7
/proc/22166/task/22181/stat : 22181 (java) S 22164 22166 21381 0 -1 4202560 8623 0 0 0 92 2 0 0 20 0 22 0 253318495 10060460032 41926 33554432000 1073741824 1073778376 140735511254480 140620480899768 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
################
# More data... #
################
/proc/22166/statm: 2456167 599959 2279 9 0 2446860 0
[pid=22166/tid=22168] ppid=22164 vsize=9824668 CPUtime=0.29 cores=1,3,5,7
/proc/22166/task/22168/stat : 22168 (java) S 22164 22166 21381 0 -1 4202560 2570 0 1 0 26 3 0 0 20 0 22 0 253318491 10060460032 599959 33554432000 1073741824 1073778376 140735511254480 140620660950008 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22166/tid=22169] ppid=22164 vsize=9824668 CPUtime=4.13 cores=1,3,5,7
/proc/22166/task/22169/stat : 22169 (java) S 22164 22166 21381 0 -1 4202560 1084 0 0 0 389 24 0 0 20 0 22 0 253318492 10060460032 599959 33554432000 1073741824 1073778376 140735511254480 140620504889640 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22166/tid=22170] ppid=22164 vsize=9824668 CPUtime=3.45 cores=1,3,5,7
/proc/22166/task/22170/stat : 22170 (java) S 22164 22166 21381 0 -1 4202560 647 0 0 0 330 15 0 0 20 0 22 0 253318492 10060460032 599959 33554432000 1073741824 1073778376 140735511254480 140620503836840 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22166/tid=22171] ppid=22164 vsize=9824668 CPUtime=3.68 cores=1,3,5,7
/proc/22166/task/22171/stat : 22171 (java) S 22164 22166 21381 0 -1 4202560 1151 0 0 0 353 15 0 0 20 0 22 0 253318492 10060460032 599959 33554432000 1073741824 1073778376 140735511254480 140620502784552 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22166/tid=22172] ppid=22164 vsize=9824668 CPUtime=3.76 cores=1,3,5,7
/proc/22166/task/22172/stat : 22172 (java) S 22164 22166 21381 0 -1 4202560 1533 0 0 0 356 20 0 0 20 0 22 0 253318492 10060460032 599959 33554432000 1073741824 1073778376 140735511254480 140620501731752 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22166/tid=22173] ppid=22164 vsize=9824668 CPUtime=3.73 cores=1,3,5,7
/proc/22166/task/22173/stat : 22173 (java) S 22164 22166 21381 0 -1 4202560 924 0 0 0 353 20 0 0 20 0 22 0 253318492 10060460032 599959 33554432000 1073741824 1073778376 140735511254480 140620500679464 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22166/tid=22174] ppid=22164 vsize=9824668 CPUtime=3.39 cores=1,3,5,7
/proc/22166/task/22174/stat : 22174 (java) S 22164 22166 21381 0 -1 4202560 940 0 0 0 321 18 0 0 20 0 22 0 253318492 10060460032 599959 33554432000 1073741824 1073778376 140735511254480 140620499626664 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22166/tid=22175] ppid=22164 vsize=9824668 CPUtime=3.35 cores=1,3,5,7
/proc/22166/task/22175/stat : 22175 (java) S 22164 22166 21381 0 -1 4202560 914 0 0 0 320 15 0 0 20 0 22 0 253318492 10060460032 599959 33554432000 1073741824 1073778376 140735511254480 140620498574376 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22166/tid=22176] ppid=22164 vsize=9824668 CPUtime=3.7 cores=1,3,5,7
/proc/22166/task/22176/stat : 22176 (java) S 22164 22166 21381 0 -1 4202560 991 0 0 0 351 19 0 0 20 0 22 0 253318492 10060460032 599959 33554432000 1073741824 1073778376 140735511254480 140620497521576 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22166/tid=22177] ppid=22164 vsize=9824668 CPUtime=70.2 cores=1,3,5,7
/proc/22166/task/22177/stat : 22177 (java) S 22164 22166 21381 0 -1 4202560 3861 0 0 0 6996 24 0 0 20 0 22 0 253318493 10060460032 599959 33554432000 1073741824 1073778376 140735511254480 140620485109992 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22166/tid=22178] ppid=22164 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22166/task/22178/stat : 22178 (java) S 22164 22166 21381 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253318493 10060460032 599959 33554432000 1073741824 1073778376 140735511254480 140620484056056 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22166/tid=22179] ppid=22164 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22166/task/22179/stat : 22179 (java) S 22164 22166 21381 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253318493 10060460032 599959 33554432000 1073741824 1073778376 140735511254480 140620483003656 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22166/tid=22180] ppid=22164 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22166/task/22180/stat : 22180 (java) S 22164 22166 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253318495 10060460032 599959 33554432000 1073741824 1073778376 140735511254480 140620481952144 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22166/tid=22181] ppid=22164 vsize=9824668 CPUtime=1 cores=1,3,5,7
/proc/22166/task/22181/stat : 22181 (java) S 22164 22166 21381 0 -1 4202560 8623 0 0 0 98 2 0 0 20 0 22 0 253318495 10060460032 599959 33554432000 1073741824 1073778376 140735511254480 140620480899768 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22166/tid=22182] ppid=22164 vsize=9824668 CPUtime=1.23 cores=1,3,5,7
/proc/22166/task/22182/stat : 22182 (java) S 22164 22166 21381 0 -1 4202560 11977 0 0 0 120 3 0 0 20 0 22 0 253318495 10060460032 599959 33554432000 1073741824 1073778376 140735511254480 140620479846968 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22166/tid=22183] ppid=22164 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22166/task/22183/stat : 22183 (java) S 22164 22166 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253318495 10060460032 599959 33554432000 1073741824 1073778376 140735511254480 140620478794872 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22166/tid=22184] ppid=22164 vsize=9824668 CPUtime=0.27 cores=1,3,5,7
/proc/22166/task/22184/stat : 22184 (java) S 22164 22166 21381 0 -1 4202560 47 0 0 0 12 15 0 0 20 0 22 0 253318496 10060460032 599959 33554432000 1073741824 1073778376 140735511254480 140620477742280 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22166/tid=22185] ppid=22164 vsize=9824668 CPUtime=741.82 cores=1,3,5,7
/proc/22166/task/22185/stat : 22185 (java) R 22164 22166 21381 0 -1 4202560 102 0 0 0 74170 12 0 0 20 0 22 0 253318519 10060460032 599959 33554432000 1073741824 1073778376 140735511254480 140620476684784 140620533927706 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=22166/tid=22186] ppid=22164 vsize=9824668 CPUtime=741.74 cores=1,3,5,7
/proc/22166/task/22186/stat : 22186 (java) R 22164 22166 21381 0 -1 4202560 287 0 0 0 74159 15 0 0 20 0 22 0 253318519 10060460032 599959 33554432000 1073741824 1073778376 140735511254480 140620475632656 140620534409501 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22166/tid=22187] ppid=22164 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22166/task/22187/stat : 22187 (java) S 22164 22166 21381 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253318523 10060460032 599959 33554432000 1073741824 1073778376 140735511254480 140620474582184 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22166/tid=22188] ppid=22164 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22166/task/22188/stat : 22188 (java) S 22164 22166 21381 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253318523 10060460032 599959 33554432000 1073741824 1073778376 140735511254480 140620473529384 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1589.74
Current children cumulated vsize (KiB) 9824668
[startup+882.301 s]
/proc/loadavg: 4.16 3.76 2.40 5/220 22197
/proc/meminfo: memFree=23411068/32873660 swapFree=7108/7108
[pid=22166] ppid=22164 vsize=9824668 CPUtime=1704.71 cores=1,3,5,7
/proc/22166/stat : 22166 (java) S 22164 22166 21381 0 -1 4202496 37098 0 1 0 170264 207 0 0 20 0 22 0 253318491 10060460032 628162 33554432000 1073741824 1073778376 140735511254480 140735511245616 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22166/statm: 2456167 628162 2279 9 0 2446860 0
[pid=22166/tid=22168] ppid=22164 vsize=9824668 CPUtime=0.29 cores=1,3,5,7
/proc/22166/task/22168/stat : 22168 (java) S 22164 22166 21381 0 -1 4202560 2573 0 1 0 26 3 0 0 20 0 22 0 253318491 10060460032 628162 33554432000 1073741824 1073778376 140735511254480 140620660950008 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22166/tid=22169] ppid=22164 vsize=9824668 CPUtime=4.46 cores=1,3,5,7
/proc/22166/task/22169/stat : 22169 (java) S 22164 22166 21381 0 -1 4202560 1092 0 0 0 422 24 0 0 20 0 22 0 253318492 10060460032 628162 33554432000 1073741824 1073778376 140735511254480 140620504889640 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22166/tid=22170] ppid=22164 vsize=9824668 CPUtime=3.77 cores=1,3,5,7
/proc/22166/task/22170/stat : 22170 (java) S 22164 22166 21381 0 -1 4202560 661 0 0 0 361 16 0 0 20 0 22 0 253318492 10060460032 628162 33554432000 1073741824 1073778376 140735511254480 140620503836840 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22166/tid=22171] ppid=22164 vsize=9824668 CPUtime=3.93 cores=1,3,5,7
/proc/22166/task/22171/stat : 22171 (java) S 22164 22166 21381 0 -1 4202560 1158 0 0 0 378 15 0 0 20 0 22 0 253318492 10060460032 628162 33554432000 1073741824 1073778376 140735511254480 140620502784552 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22166/tid=22172] ppid=22164 vsize=9824668 CPUtime=4.1 cores=1,3,5,7
/proc/22166/task/22172/stat : 22172 (java) S 22164 22166 21381 0 -1 4202560 1542 0 0 0 389 21 0 0 20 0 22 0 253318492 10060460032 628162 33554432000 1073741824 1073778376 140735511254480 140620501731752 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22166/tid=22173] ppid=22164 vsize=9824668 CPUtime=4.07 cores=1,3,5,7
/proc/22166/task/22173/stat : 22173 (java) S 22164 22166 21381 0 -1 4202560 943 0 0 0 385 22 0 0 20 0 22 0 253318492 10060460032 628162 33554432000 1073741824 1073778376 140735511254480 140620500679464 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22166/tid=22174] ppid=22164 vsize=9824668 CPUtime=3.76 cores=1,3,5,7
/proc/22166/task/22174/stat : 22174 (java) S 22164 22166 21381 0 -1 4202560 967 0 0 0 356 20 0 0 20 0 22 0 253318492 10060460032 628162 33554432000 1073741824 1073778376 140735511254480 140620499626664 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22166/tid=22175] ppid=22164 vsize=9824668 CPUtime=3.67 cores=1,3,5,7
/proc/22166/task/22175/stat : 22175 (java) S 22164 22166 21381 0 -1 4202560 946 0 0 0 350 17 0 0 20 0 22 0 253318492 10060460032 628162 33554432000 1073741824 1073778376 140735511254480 140620498574376 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22166/tid=22176] ppid=22164 vsize=9824668 CPUtime=4 cores=1,3,5,7
/proc/22166/task/22176/stat : 22176 (java) S 22164 22166 21381 0 -1 4202560 1000 0 0 0 380 20 0 0 20 0 22 0 253318492 10060460032 628162 33554432000 1073741824 1073778376 140735511254480 140620497521576 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22166/tid=22177] ppid=22164 vsize=9824668 CPUtime=76.44 cores=1,3,5,7
/proc/22166/task/22177/stat : 22177 (java) S 22164 22166 21381 0 -1 4202560 3980 0 0 0 7618 26 0 0 20 0 22 0 253318493 10060460032 628162 33554432000 1073741824 1073778376 140735511254480 140620485109992 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22166/tid=22178] ppid=22164 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22166/task/22178/stat : 22178 (java) S 22164 22166 21381 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253318493 10060460032 628162 33554432000 1073741824 1073778376 140735511254480 140620484056056 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22166/tid=22179] ppid=22164 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22166/task/22179/stat : 22179 (java) S 22164 22166 21381 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253318493 10060460032 628162 33554432000 1073741824 1073778376 140735511254480 140620483003656 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22166/tid=22180] ppid=22164 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22166/task/22180/stat : 22180 (java) S 22164 22166 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253318495 10060460032 628162 33554432000 1073741824 1073778376 140735511254480 140620481952144 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22166/tid=22181] ppid=22164 vsize=9824668 CPUtime=1 cores=1,3,5,7
/proc/22166/task/22181/stat : 22181 (java) S 22164 22166 21381 0 -1 4202560 8623 0 0 0 98 2 0 0 20 0 22 0 253318495 10060460032 628162 33554432000 1073741824 1073778376 140735511254480 140620480899768 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22166/tid=22182] ppid=22164 vsize=9824668 CPUtime=1.23 cores=1,3,5,7
/proc/22166/task/22182/stat : 22182 (java) S 22164 22166 21381 0 -1 4202560 11977 0 0 0 120 3 0 0 20 0 22 0 253318495 10060460032 628162 33554432000 1073741824 1073778376 140735511254480 140620479846968 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22166/tid=22183] ppid=22164 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22166/task/22183/stat : 22183 (java) S 22164 22166 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253318495 10060460032 628162 33554432000 1073741824 1073778376 140735511254480 140620478794872 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22166/tid=22184] ppid=22164 vsize=9824668 CPUtime=0.3 cores=1,3,5,7
/proc/22166/task/22184/stat : 22184 (java) S 22164 22166 21381 0 -1 4202560 51 0 0 0 13 17 0 0 20 0 22 0 253318496 10060460032 628162 33554432000 1073741824 1073778376 140735511254480 140620477742280 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22166/tid=22185] ppid=22164 vsize=9824668 CPUtime=794.77 cores=1,3,5,7
/proc/22166/task/22185/stat : 22185 (java) R 22164 22166 21381 0 -1 4202560 105 0 0 0 79464 13 0 0 20 0 22 0 253318519 10060460032 628162 33554432000 1073741824 1073778376 140735511254480 140620476685600 140620533886831 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22166/tid=22186] ppid=22164 vsize=9824668 CPUtime=794.68 cores=1,3,5,7
/proc/22166/task/22186/stat : 22186 (java) R 22164 22166 21381 0 -1 4202560 293 0 0 0 79451 17 0 0 20 0 22 0 253318519 10060460032 628162 33554432000 1073741824 1073778376 140735511254480 140620475631488 140620534409440 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22166/tid=22187] ppid=22164 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22166/task/22187/stat : 22187 (java) S 22164 22166 21381 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253318523 10060460032 628162 33554432000 1073741824 1073778376 140735511254480 140620474582184 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22166/tid=22188] ppid=22164 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22166/task/22188/stat : 22188 (java) S 22164 22166 21381 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253318523 10060460032 628162 33554432000 1073741824 1073778376 140735511254480 140620473529384 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1704.71
Current children cumulated vsize (KiB) 9824668
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+932.001 s]
/proc/loadavg: 3.87 3.76 2.47 3/197 22200
/proc/meminfo: memFree=26965636/32873660 swapFree=7108/7108
[pid=22166] ppid=22164 vsize=9824668 CPUtime=1800.2 cores=1,3,5,7
/proc/22166/stat : 22166 (java) S 22164 22166 21381 0 -1 4202496 37336 0 1 0 179801 219 0 0 20 0 22 0 253318491 10060460032 655336 33554432000 1073741824 1073778376 140735511254480 140735511245616 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22166/statm: 2456167 655336 2279 9 0 2446860 0
[pid=22166/tid=22168] ppid=22164 vsize=9824668 CPUtime=0.29 cores=1,3,5,7
/proc/22166/task/22168/stat : 22168 (java) S 22164 22166 21381 0 -1 4202560 2574 0 1 0 26 3 0 0 20 0 22 0 253318491 10060460032 655336 33554432000 1073741824 1073778376 140735511254480 140620660950008 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22166/tid=22169] ppid=22164 vsize=9824668 CPUtime=4.62 cores=1,3,5,7
/proc/22166/task/22169/stat : 22169 (java) S 22164 22166 21381 0 -1 4202560 1095 0 0 0 438 24 0 0 20 0 22 0 253318492 10060460032 655336 33554432000 1073741824 1073778376 140735511254480 140620504889640 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22166/tid=22170] ppid=22164 vsize=9824668 CPUtime=4.01 cores=1,3,5,7
/proc/22166/task/22170/stat : 22170 (java) S 22164 22166 21381 0 -1 4202560 670 0 0 0 385 16 0 0 20 0 22 0 253318492 10060460032 655336 33554432000 1073741824 1073778376 140735511254480 140620503836840 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22166/tid=22171] ppid=22164 vsize=9824668 CPUtime=4.12 cores=1,3,5,7
/proc/22166/task/22171/stat : 22171 (java) S 22164 22166 21381 0 -1 4202560 1166 0 0 0 396 16 0 0 20 0 22 0 253318492 10060460032 655336 33554432000 1073741824 1073778376 140735511254480 140620502784552 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22166/tid=22172] ppid=22164 vsize=9824668 CPUtime=4.35 cores=1,3,5,7
/proc/22166/task/22172/stat : 22172 (java) S 22164 22166 21381 0 -1 4202560 1558 0 0 0 413 22 0 0 20 0 22 0 253318492 10060460032 655336 33554432000 1073741824 1073778376 140735511254480 140620501731752 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22166/tid=22173] ppid=22164 vsize=9824668 CPUtime=4.35 cores=1,3,5,7
/proc/22166/task/22173/stat : 22173 (java) S 22164 22166 21381 0 -1 4202560 961 0 0 0 412 23 0 0 20 0 22 0 253318492 10060460032 655336 33554432000 1073741824 1073778376 140735511254480 140620500679464 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22166/tid=22174] ppid=22164 vsize=9824668 CPUtime=4.03 cores=1,3,5,7
/proc/22166/task/22174/stat : 22174 (java) S 22164 22166 21381 0 -1 4202560 999 0 0 0 382 21 0 0 20 0 22 0 253318492 10060460032 655336 33554432000 1073741824 1073778376 140735511254480 140620499626664 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22166/tid=22175] ppid=22164 vsize=9824668 CPUtime=3.96 cores=1,3,5,7
/proc/22166/task/22175/stat : 22175 (java) S 22164 22166 21381 0 -1 4202560 979 0 0 0 377 19 0 0 20 0 22 0 253318492 10060460032 655336 33554432000 1073741824 1073778376 140735511254480 140620498574376 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22166/tid=22176] ppid=22164 vsize=9824668 CPUtime=4.19 cores=1,3,5,7
/proc/22166/task/22176/stat : 22176 (java) S 22164 22166 21381 0 -1 4202560 1006 0 0 0 399 20 0 0 20 0 22 0 253318492 10060460032 655336 33554432000 1073741824 1073778376 140735511254480 140620497521576 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22166/tid=22177] ppid=22164 vsize=9824668 CPUtime=81.25 cores=1,3,5,7
/proc/22166/task/22177/stat : 22177 (java) S 22164 22166 21381 0 -1 4202560 4083 0 0 0 8098 27 0 0 20 0 22 0 253318493 10060460032 655336 33554432000 1073741824 1073778376 140735511254480 140620485109992 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22166/tid=22178] ppid=22164 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22166/task/22178/stat : 22178 (java) S 22164 22166 21381 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253318493 10060460032 655336 33554432000 1073741824 1073778376 140735511254480 140620484056056 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22166/tid=22179] ppid=22164 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22166/task/22179/stat : 22179 (java) S 22164 22166 21381 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253318493 10060460032 655336 33554432000 1073741824 1073778376 140735511254480 140620483003656 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22166/tid=22180] ppid=22164 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22166/task/22180/stat : 22180 (java) S 22164 22166 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253318495 10060460032 655336 33554432000 1073741824 1073778376 140735511254480 140620481952144 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22166/tid=22181] ppid=22164 vsize=9824668 CPUtime=1 cores=1,3,5,7
/proc/22166/task/22181/stat : 22181 (java) S 22164 22166 21381 0 -1 4202560 8623 0 0 0 98 2 0 0 20 0 22 0 253318495 10060460032 655336 33554432000 1073741824 1073778376 140735511254480 140620480899768 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22166/tid=22182] ppid=22164 vsize=9824668 CPUtime=1.23 cores=1,3,5,7
/proc/22166/task/22182/stat : 22182 (java) S 22164 22166 21381 0 -1 4202560 11977 0 0 0 120 3 0 0 20 0 22 0 253318495 10060460032 655336 33554432000 1073741824 1073778376 140735511254480 140620479846968 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22166/tid=22183] ppid=22164 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22166/task/22183/stat : 22183 (java) S 22164 22166 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253318495 10060460032 655336 33554432000 1073741824 1073778376 140735511254480 140620478794872 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22166/tid=22184] ppid=22164 vsize=9824668 CPUtime=0.32 cores=1,3,5,7
/proc/22166/task/22184/stat : 22184 (java) S 22164 22166 21381 0 -1 4202560 53 0 0 0 14 18 0 0 20 0 22 0 253318496 10060460032 655336 33554432000 1073741824 1073778376 140735511254480 140620477742280 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22166/tid=22185] ppid=22164 vsize=9824668 CPUtime=839.02 cores=1,3,5,7
/proc/22166/task/22185/stat : 22185 (java) R 22164 22166 21381 0 -1 4202560 107 0 0 0 83889 13 0 0 20 0 22 0 253318519 10060460032 655336 33554432000 1073741824 1073778376 140735511254480 140620476686560 140620533893485 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22166/tid=22186] ppid=22164 vsize=9824668 CPUtime=838.93 cores=1,3,5,7
/proc/22166/task/22186/stat : 22186 (java) R 22164 22166 21381 0 -1 4202560 298 0 0 0 83876 17 0 0 20 0 22 0 253318519 10060460032 655336 33554432000 1073741824 1073778376 140735511254480 140620475631488 140620534245893 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22166/tid=22187] ppid=22164 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22166/task/22187/stat : 22187 (java) S 22164 22166 21381 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253318523 10060460032 655336 33554432000 1073741824 1073778376 140735511254480 140620474582184 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22166/tid=22188] ppid=22164 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22166/task/22188/stat : 22188 (java) S 22164 22166 21381 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253318523 10060460032 655336 33554432000 1073741824 1073778376 140735511254480 140620473529384 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 9824668
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 22166 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=489348
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=611602
# CPU time returned by wait4() is 1796.1
# 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): 932.062
CPU time (s): 1800.2
CPU user time (s): 1798.01
CPU system time (s): 2.19
CPU usage (%): 193.142
Max. virtual memory (cumulated for all children) (KiB): 9824668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.49
system time used= 2.6116
maximum resident set size= 2621508
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37380
page faults= 1
swaps= 0
block input operations= 0
block output operations= 936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 28074
involuntary context switches= 50338
runsolver used 4.00939 second user time and 7.92579 second system time
The end