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-3687638-1337872872/watcher-3687638-1337872872 -o /tmp/evaluation-result-3687638-1337872872/solver-3687638-1337872872 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3687638-1337872872.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.97 3.74 2.50 4/197 22214
/proc/meminfo: memFree=28314776/32873844 swapFree=7100/7100
[pid=22214] ppid=22212 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/22214/stat : 22214 (java) R 22212 22214 21308 0 -1 4202496 977 0 0 0 0 0 0 0 20 0 1 0 253415787 23793664 705 33554432000 1073741824 1073778376 140733698086896 140733698075960 247055086544 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/22214/statm: 5809 706 521 9 0 128 0
[startup+0.0848731 s]
/proc/loadavg: 3.97 3.74 2.50 4/197 22214
/proc/meminfo: memFree=28314776/32873844 swapFree=7100/7100
[pid=22214] ppid=22212 vsize=9558412 CPUtime=0.08 cores=1,3,5,7
/proc/22214/stat : 22214 (java) S 22212 22214 21308 0 -1 4202496 4279 0 1 0 7 1 0 0 20 0 18 0 253415787 9787813888 5472 33554432000 1073741824 1073778376 140733698086896 140733698078032 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22214/statm: 2389603 5473 2109 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558412
[startup+0.100266 s]
/proc/loadavg: 3.97 3.74 2.50 4/197 22214
/proc/meminfo: memFree=28314776/32873844 swapFree=7100/7100
[pid=22214] ppid=22212 vsize=9558412 CPUtime=0.1 cores=1,3,5,7
/proc/22214/stat : 22214 (java) S 22212 22214 21308 0 -1 4202496 4425 0 1 0 9 1 0 0 20 0 18 0 253415787 9787813888 6129 33554432000 1073741824 1073778376 140733698086896 140733698078032 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22214/statm: 2389603 6129 2124 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558412
[startup+0.300169 s]
/proc/loadavg: 3.97 3.74 2.50 4/197 22214
/proc/meminfo: memFree=28314776/32873844 swapFree=7100/7100
[pid=22214] ppid=22212 vsize=9558412 CPUtime=0.49 cores=1,3,5,7
/proc/22214/stat : 22214 (java) S 22212 22214 21308 0 -1 4202496 5636 0 1 0 47 2 0 0 20 0 18 0 253415787 9787813888 8440 33554432000 1073741824 1073778376 140733698086896 140733698078032 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22214/statm: 2389603 8440 2217 9 0 2380296 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 9558412
[startup+0.700256 s]
/proc/loadavg: 3.97 3.74 2.50 4/197 22214
/proc/meminfo: memFree=28314776/32873844 swapFree=7100/7100
[pid=22214] ppid=22212 vsize=9824668 CPUtime=0.88 cores=1,3,5,7
/proc/22214/stat : 22214 (java) S 22212 22214 21308 0 -1 4202496 13346 0 1 0 82 6 0 0 20 0 19 0 253415787 10060460032 15218 33554432000 1073741824 1073778376 140733698086896 140733698078032 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22214/statm: 2456167 15218 2242 9 0 2446860 0
Current children cumulated CPU time (s) 0.88
Current children cumulated vsize (KiB) 9824668
[startup+1.50074 s]
/proc/loadavg: 3.97 3.74 2.50 5/219 22239
/proc/meminfo: memFree=28254496/32873844 swapFree=7100/7100
[pid=22214] ppid=22212 vsize=9824668 CPUtime=2.52 cores=1,3,5,7
/proc/22214/stat : 22214 (java) S 22212 22214 21308 0 -1 4202496 14885 0 1 0 243 9 0 0 20 0 19 0 253415787 10060460032 20331 33554432000 1073741824 1073778376 140733698086896 140733698078032 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22214/statm: 2456167 20331 2254 9 0 2446860 0
[pid=22214/tid=22216] ppid=22212 vsize=9824668 CPUtime=0.3 cores=1,3,5,7
/proc/22214/task/22216/stat : 22216 (java) S 22212 22214 21308 0 -1 4202560 2482 0 1 0 29 1 0 0 20 0 19 0 253415788 10060460032 20331 33554432000 1073741824 1073778376 140733698086896 139986517443576 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22214/tid=22217] ppid=22212 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22214/task/22217/stat : 22217 (java) S 22212 22214 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253415789 10060460032 20331 33554432000 1073741824 1073778376 140733698086896 139986478934312 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22214/tid=22218] ppid=22212 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22214/task/22218/stat : 22218 (java) S 22212 22214 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253415789 10060460032 20331 33554432000 1073741824 1073778376 140733698086896 139986477881512 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22214/tid=22219] ppid=22212 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22214/task/22219/stat : 22219 (java) S 22212 22214 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253415789 10060460032 20331 33554432000 1073741824 1073778376 140733698086896 139986476829224 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22214/tid=22220] ppid=22212 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22214/task/22220/stat : 22220 (java) S 22212 22214 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253415789 10060460032 20331 33554432000 1073741824 1073778376 140733698086896 139986475776424 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22214/tid=22221] ppid=22212 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22214/task/22221/stat : 22221 (java) S 22212 22214 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253415789 10060460032 20331 33554432000 1073741824 1073778376 140733698086896 139986474724136 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22214/tid=22222] ppid=22212 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22214/task/22222/stat : 22222 (java) S 22212 22214 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253415789 10060460032 20331 33554432000 1073741824 1073778376 140733698086896 139986355612328 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22214/tid=22223] ppid=22212 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22214/task/22223/stat : 22223 (java) S 22212 22214 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253415789 10060460032 20331 33554432000 1073741824 1073778376 140733698086896 139986354560040 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22214/tid=22224] ppid=22212 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22214/task/22224/stat : 22224 (java) S 22212 22214 21308 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253415789 10060460032 20331 33554432000 1073741824 1073778376 140733698086896 139986353507240 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22214/tid=22225] ppid=22212 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22214/task/22225/stat : 22225 (java) S 22212 22214 21308 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253415790 10060460032 20331 33554432000 1073741824 1073778376 140733698086896 139986341308648 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22214/tid=22226] ppid=22212 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22214/task/22226/stat : 22226 (java) S 22212 22214 21308 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 253415790 10060460032 20331 33554432000 1073741824 1073778376 140733698086896 139986340254712 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22214/tid=22227] ppid=22212 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22214/task/22227/stat : 22227 (java) S 22212 22214 21308 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253415790 10060460032 20331 33554432000 1073741824 1073778376 140733698086896 139985734853896 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22214/tid=22228] ppid=22212 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22214/task/22228/stat : 22228 (java) S 22212 22214 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253415792 10060460032 20331 33554432000 1073741824 1073778376 140733698086896 139985733802384 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22214/tid=22229] ppid=22212 vsize=9824668 CPUtime=0.6 cores=1,3,5,7
/proc/22214/task/22229/stat : 22229 (java) S 22212 22214 21308 0 -1 4202560 7479 0 0 0 58 2 0 0 20 0 19 0 253415792 10060460032 20331 33554432000 1073741824 1073778376 140733698086896 139985732750008 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22214/tid=22230] ppid=22212 vsize=9824668 CPUtime=0.45 cores=1,3,5,7
/proc/22214/task/22230/stat : 22230 (java) S 22212 22214 21308 0 -1 4202560 3573 0 0 0 44 1 0 0 20 0 19 0 253415792 10060460032 20331 33554432000 1073741824 1073778376 140733698086896 139985731697208 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22214/tid=22231] ppid=22212 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22214/task/22231/stat : 22231 (java) S 22212 22214 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253415793 10060460032 20331 33554432000 1073741824 1073778376 140733698086896 139985730645112 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22214/tid=22232] ppid=22212 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22214/task/22232/stat : 22232 (java) S 22212 22214 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253415793 10060460032 20331 33554432000 1073741824 1073778376 140733698086896 139985729592520 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22214/tid=22235] ppid=22212 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22214/task/22235/stat : 22235 (java) S 22212 22214 21308 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253415821 10060460032 20331 33554432000 1073741824 1073778376 140733698086896 139985725908136 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.52
Current children cumulated vsize (KiB) 9824668
[startup+3.10076 s]
/proc/loadavg: 3.97 3.74 2.50 5/219 22242
/proc/meminfo: memFree=28229408/32873844 swapFree=7100/7100
[pid=22214] ppid=22212 vsize=9824668 CPUtime=4.24 cores=1,3,5,7
/proc/22214/stat : 22214 (java) S 22212 22214 21308 0 -1 4202496 14918 0 1 0 412 12 0 0 20 0 22 0 253415787 10060460032 30065 33554432000 1073741824 1073778376 140733698086896 140733698078032 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22214/statm: 2456167 30065 2254 9 0 2446860 0
[pid=22214/tid=22216] ppid=22212 vsize=9824668 CPUtime=0.32 cores=1,3,5,7
/proc/22214/task/22216/stat : 22216 (java) S 22212 22214 21308 0 -1 4202560 2482 0 1 0 30 2 0 0 20 0 22 0 253415788 10060460032 30065 33554432000 1073741824 1073778376 140733698086896 139986517443576 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22214/tid=22217] ppid=22212 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22214/task/22217/stat : 22217 (java) S 22212 22214 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253415789 10060460032 30065 33554432000 1073741824 1073778376 140733698086896 139986478934312 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22214/tid=22218] ppid=22212 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22214/task/22218/stat : 22218 (java) S 22212 22214 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253415789 10060460032 30065 33554432000 1073741824 1073778376 140733698086896 139986477881512 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22214/tid=22219] ppid=22212 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22214/task/22219/stat : 22219 (java) S 22212 22214 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253415789 10060460032 30065 33554432000 1073741824 1073778376 140733698086896 139986476829224 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22214/tid=22220] ppid=22212 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22214/task/22220/stat : 22220 (java) S 22212 22214 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253415789 10060460032 30065 33554432000 1073741824 1073778376 140733698086896 139986475776424 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22214/tid=22221] ppid=22212 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22214/task/22221/stat : 22221 (java) S 22212 22214 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253415789 10060460032 30065 33554432000 1073741824 1073778376 140733698086896 139986474724136 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22214/tid=22222] ppid=22212 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22214/task/22222/stat : 22222 (java) S 22212 22214 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253415789 10060460032 30065 33554432000 1073741824 1073778376 140733698086896 139986355612328 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22214/tid=22223] ppid=22212 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22214/task/22223/stat : 22223 (java) S 22212 22214 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253415789 10060460032 30065 33554432000 1073741824 1073778376 140733698086896 139986354560040 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22214/tid=22224] ppid=22212 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22214/task/22224/stat : 22224 (java) S 22212 22214 21308 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253415789 10060460032 30065 33554432000 1073741824 1073778376 140733698086896 139986353507240 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22214/tid=22225] ppid=22212 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22214/task/22225/stat : 22225 (java) S 22212 22214 21308 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253415790 10060460032 30065 33554432000 1073741824 1073778376 140733698086896 139986341308648 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22214/tid=22226] ppid=22212 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22214/task/22226/stat : 22226 (java) S 22212 22214 21308 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 253415790 10060460032 30065 33554432000 1073741824 1073778376 140733698086896 139986340254712 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22214/tid=22227] ppid=22212 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22214/task/22227/stat : 22227 (java) S 22212 22214 21308 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253415790 10060460032 30065 33554432000 1073741824 1073778376 140733698086896 139985734853896 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22214/tid=22228] ppid=22212 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22214/task/22228/stat : 22228 (java) S 22212 22214 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253415792 10060460032 30065 33554432000 1073741824 1073778376 140733698086896 139985733802384 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22214/tid=22229] ppid=22212 vsize=9824668 CPUtime=0.69 cores=1,3,5,7
/proc/22214/task/22229/stat : 22229 (java) S 22212 22214 21308 0 -1 4202560 7479 0 0 0 66 3 0 0 20 0 22 0 253415792 10060460032 30065 33554432000 1073741824 1073778376 140733698086896 139985732750008 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22214/tid=22230] ppid=22212 vsize=9824668 CPUtime=0.48 cores=1,3,5,7
/proc/22214/task/22230/stat : 22230 (java) S 22212 22214 21308 0 -1 4202560 3573 0 0 0 47 1 0 0 20 0 22 0 253415792 10060460032 30065 33554432000 1073741824 1073778376 140733698086896 139985731697208 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22214/tid=22231] ppid=22212 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22214/task/22231/stat : 22231 (java) S 22212 22214 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253415793 10060460032 30065 33554432000 1073741824 1073778376 140733698086896 139985730645112 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22214/tid=22232] ppid=22212 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22214/task/22232/stat : 22232 (java) S 22212 22214 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253415793 10060460032 30065 33554432000 1073741824 1073778376 140733698086896 139985729592520 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22214/tid=22235] ppid=22212 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22214/task/22235/stat : 22235 (java) S 22212 22214 21308 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253415821 10060460032 30065 33554432000 1073741824 1073778376 140733698086896 139985725908136 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 4.24
Current children cumulated vsize (KiB) 9824668
[startup+6.30084 s]
/proc/loadavg: 3.98 3.75 2.50 6/219 22248
/proc/meminfo: memFree=28119748/32873844 swapFree=7100/7100
[pid=22214] ppid=22212 vsize=9824668 CPUtime=10.6 cores=1,3,5,7
/proc/22214/stat : 22214 (java) S 22212 22214 21308 0 -1 4202496 20629 0 1 0 1038 22 0 0 20 0 22 0 253415787 10060460032 61328 33554432000 1073741824 1073778376 140733698086896 140733698078032 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22214/statm: 2456167 61328 2284 9 0 2446860 0
[pid=22214/tid=22216] ppid=22212 vsize=9824668 CPUtime=0.32 cores=1,3,5,7
/proc/22214/task/22216/stat : 22216 (java) S 22212 22214 21308 0 -1 4202560 2483 0 1 0 30 2 0 0 20 0 22 0 253415788 10060460032 61328 33554432000 1073741824 1073778376 140733698086896 139986517443576 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22214/tid=22217] ppid=22212 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/22214/task/22217/stat : 22217 (java) S 22212 22214 21308 0 -1 4202560 17 0 0 0 1 0 0 0 20 0 22 0 253415789 10060460032 61328 33554432000 1073741824 1073778376 140733698086896 139986478934312 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22214/tid=22218] ppid=22212 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/22214/task/22218/stat : 22218 (java) S 22212 22214 21308 0 -1 4202560 129 0 0 0 1 1 0 0 20 0 22 0 253415789 10060460032 61328 33554432000 1073741824 1073778376 140733698086896 139986477881512 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22214/tid=22219] ppid=22212 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22214/task/22219/stat : 22219 (java) S 22212 22214 21308 0 -1 4202560 133 0 0 0 0 0 0 0 20 0 22 0 253415789 10060460032 61328 33554432000 1073741824 1073778376 140733698086896 139986476829224 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22214/tid=22220] ppid=22212 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22214/task/22220/stat : 22220 (java) S 22212 22214 21308 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 253415789 10060460032 61328 33554432000 1073741824 1073778376 140733698086896 139986475776424 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22214/tid=22221] ppid=22212 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/22214/task/22221/stat : 22221 (java) S 22212 22214 21308 0 -1 4202560 170 0 0 0 0 2 0 0 20 0 22 0 253415789 10060460032 61328 33554432000 1073741824 1073778376 140733698086896 139986474724136 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22214/tid=22222] ppid=22212 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/22214/task/22222/stat : 22222 (java) S 22212 22214 21308 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 22 0 253415789 10060460032 61328 33554432000 1073741824 1073778376 140733698086896 139986355612328 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22214/tid=22223] ppid=22212 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22214/task/22223/stat : 22223 (java) S 22212 22214 21308 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 253415789 10060460032 61328 33554432000 1073741824 1073778376 140733698086896 139986354560040 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22214/tid=22224] ppid=22212 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22214/task/22224/stat : 22224 (java) S 22212 22214 21308 0 -1 4202560 68 0 0 0 0 0 0 0 20 0 22 0 253415789 10060460032 61328 33554432000 1073741824 1073778376 140733698086896 139986353507240 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22214/tid=22225] ppid=22212 vsize=9824668 CPUtime=0.05 cores=1,3,5,7
/proc/22214/task/22225/stat : 22225 (java) S 22212 22214 21308 0 -1 4202560 44 0 0 0 5 0 0 0 20 0 22 0 253415790 10060460032 61328 33554432000 1073741824 1073778376 140733698086896 139986341308648 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22214/tid=22226] ppid=22212 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22214/task/22226/stat : 22226 (java) S 22212 22214 21308 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253415790 10060460032 61328 33554432000 1073741824 1073778376 140733698086896 139986340254712 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22214/tid=22227] ppid=22212 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22214/task/22227/stat : 22227 (java) S 22212 22214 21308 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253415790 10060460032 61328 33554432000 1073741824 1073778376 140733698086896 139985734853896 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22214/tid=22228] ppid=22212 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22214/task/22228/stat : 22228 (java) S 22212 22214 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253415792 10060460032 61328 33554432000 1073741824 1073778376 140733698086896 139985733802384 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22214/tid=22229] ppid=22212 vsize=9824668 CPUtime=0.89 cores=1,3,5,7
/proc/22214/task/22229/stat : 22229 (java) S 22212 22214 21308 0 -1 4202560 7576 0 0 0 86 3 0 0 20 0 22 0 253415792 10060460032 61328 33554432000 1073741824 1073778376 140733698086896 139985732750008 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22214/tid=22230] ppid=22212 vsize=9824668 CPUtime=0.91 cores=1,3,5,7
/proc/22214/task/22230/stat : 22230 (java) S 22212 22214 21308 0 -1 4202560 8569 0 0 0 88 3 0 0 20 0 22 0 253415792 10060460032 61328 33554432000 1073741824 1073778376 140733698086896 139985731697208 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22214/tid=22231] ppid=22212 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22214/task/22231/stat : 22231 (java) S 22212 22214 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253415793 10060460032 61328 33554432000 1073741824 1073778376 140733698086896 139985730645112 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22214/tid=22232] ppid=22212 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22214/task/22232/stat : 22232 (java) S 22212 22214 21308 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253415793 10060460032 61328 33554432000 1073741824 1073778376 140733698086896 139985729592520 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22214/tid=22235] ppid=22212 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22214/task/22235/stat : 22235 (java) S 22212 22214 21308 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253415821 10060460032 61328 33554432000 1073741824 1073778376 140733698086896 139985725908136 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22214/tid=22246] ppid=22212 vsize=9824668 CPUtime=2.33 cores=1,3,5,7
/proc/22214/task/22246/stat : 22246 (java) R 22212 22214 21308 0 -1 4202560 11 0 0 0 233 0 0 0 20 0 22 0 253416172 10060460032 61328 33554432000 1073741824 1073778376 140733698086896 139985728537288 139986356309109 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22214/tid=22247] ppid=22212 vsize=9824668 CPUtime=2.32 cores=1,3,5,7
/proc/22214/task/22247/stat : 22247 (java) R 22212 22214 21308 0 -1 4202560 15 0 0 0 232 0 0 0 20 0 22 0 253416172 10060460032 61328 33554432000 1073741824 1073778376 140733698086896 139985727482800 139986356360445 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
################
# More data... #
################
[pid=22214/tid=22269] ppid=22212 vsize=9824668 CPUtime=391.96 cores=1,3,5,7
/proc/22214/task/22269/stat : 22269 (java) R 22212 22214 21308 0 -1 4202560 19 0 0 0 39191 5 0 0 20 0 22 0 253449380 10060460032 766319 33554432000 1073741824 1073778376 140733698086896 139985728535168 139986356117599 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22214/tid=22270] ppid=22212 vsize=9824668 CPUtime=391.97 cores=1,3,5,7
/proc/22214/task/22270/stat : 22270 (java) R 22212 22214 21308 0 -1 4202560 37 0 0 0 39192 5 0 0 20 0 22 0 253449380 10060460032 766319 33554432000 1073741824 1073778376 140733698086896 139985727483184 139986356569077 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=22214/tid=22271] ppid=22212 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22214/task/22271/stat : 22271 (java) S 22212 22214 21308 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253449380 10060460032 766319 33554432000 1073741824 1073778376 140733698086896 139985724855720 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1509.57
Current children cumulated vsize (KiB) 9824668
[startup+882.301 s]
/proc/loadavg: 3.79 3.72 3.24 5/219 22276
/proc/meminfo: memFree=23526016/32873844 swapFree=7100/7100
[pid=22214] ppid=22212 vsize=9824668 CPUtime=1623.14 cores=1,3,5,7
/proc/22214/stat : 22214 (java) S 22212 22214 21308 0 -1 4202496 37066 0 1 0 162056 258 0 0 20 0 22 0 253415787 10060460032 771569 33554432000 1073741824 1073778376 140733698086896 140733698078032 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22214/statm: 2456167 771569 2286 9 0 2446860 0
[pid=22214/tid=22216] ppid=22212 vsize=9824668 CPUtime=0.39 cores=1,3,5,7
/proc/22214/task/22216/stat : 22216 (java) S 22212 22214 21308 0 -1 4202560 2545 0 1 0 36 3 0 0 20 0 22 0 253415788 10060460032 771569 33554432000 1073741824 1073778376 140733698086896 139986517443576 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22214/tid=22217] ppid=22212 vsize=9824668 CPUtime=4.62 cores=1,3,5,7
/proc/22214/task/22217/stat : 22217 (java) S 22212 22214 21308 0 -1 4202560 755 0 0 0 444 18 0 0 20 0 22 0 253415789 10060460032 771569 33554432000 1073741824 1073778376 140733698086896 139986478934312 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22214/tid=22218] ppid=22212 vsize=9824668 CPUtime=4.66 cores=1,3,5,7
/proc/22214/task/22218/stat : 22218 (java) S 22212 22214 21308 0 -1 4202560 791 0 0 0 446 20 0 0 20 0 22 0 253415789 10060460032 771569 33554432000 1073741824 1073778376 140733698086896 139986477881512 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22214/tid=22219] ppid=22212 vsize=9824668 CPUtime=4.98 cores=1,3,5,7
/proc/22214/task/22219/stat : 22219 (java) S 22212 22214 21308 0 -1 4202560 1132 0 0 0 475 23 0 0 20 0 22 0 253415789 10060460032 771569 33554432000 1073741824 1073778376 140733698086896 139986476829224 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22214/tid=22220] ppid=22212 vsize=9824668 CPUtime=4.47 cores=1,3,5,7
/proc/22214/task/22220/stat : 22220 (java) S 22212 22214 21308 0 -1 4202560 617 0 0 0 427 20 0 0 20 0 22 0 253415789 10060460032 771569 33554432000 1073741824 1073778376 140733698086896 139986475776424 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22214/tid=22221] ppid=22212 vsize=9824668 CPUtime=4.4 cores=1,3,5,7
/proc/22214/task/22221/stat : 22221 (java) S 22212 22214 21308 0 -1 4202560 850 0 0 0 417 23 0 0 20 0 22 0 253415789 10060460032 771569 33554432000 1073741824 1073778376 140733698086896 139986474724136 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22214/tid=22222] ppid=22212 vsize=9824668 CPUtime=4.13 cores=1,3,5,7
/proc/22214/task/22222/stat : 22222 (java) S 22212 22214 21308 0 -1 4202560 557 0 0 0 396 17 0 0 20 0 22 0 253415789 10060460032 771569 33554432000 1073741824 1073778376 140733698086896 139986355612328 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22214/tid=22223] ppid=22212 vsize=9824668 CPUtime=4.67 cores=1,3,5,7
/proc/22214/task/22223/stat : 22223 (java) S 22212 22214 21308 0 -1 4202560 707 0 0 0 444 23 0 0 20 0 22 0 253415789 10060460032 771569 33554432000 1073741824 1073778376 140733698086896 139986354560040 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22214/tid=22224] ppid=22212 vsize=9824668 CPUtime=4.61 cores=1,3,5,7
/proc/22214/task/22224/stat : 22224 (java) S 22212 22214 21308 0 -1 4202560 1056 0 0 0 442 19 0 0 20 0 22 0 253415789 10060460032 771569 33554432000 1073741824 1073778376 140733698086896 139986353507240 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22214/tid=22225] ppid=22212 vsize=9824668 CPUtime=153.35 cores=1,3,5,7
/proc/22214/task/22225/stat : 22225 (java) S 22212 22214 21308 0 -1 4202560 4505 0 0 0 15296 39 0 0 20 0 22 0 253415790 10060460032 771569 33554432000 1073741824 1073778376 140733698086896 139986341308648 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22214/tid=22226] ppid=22212 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22214/task/22226/stat : 22226 (java) S 22212 22214 21308 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253415790 10060460032 771569 33554432000 1073741824 1073778376 140733698086896 139986340254712 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22214/tid=22227] ppid=22212 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22214/task/22227/stat : 22227 (java) S 22212 22214 21308 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 253415790 10060460032 771569 33554432000 1073741824 1073778376 140733698086896 139985734853896 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22214/tid=22228] ppid=22212 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22214/task/22228/stat : 22228 (java) S 22212 22214 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253415792 10060460032 771569 33554432000 1073741824 1073778376 140733698086896 139985733802384 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22214/tid=22229] ppid=22212 vsize=9824668 CPUtime=1.01 cores=1,3,5,7
/proc/22214/task/22229/stat : 22229 (java) S 22212 22214 21308 0 -1 4202560 7586 0 0 0 98 3 0 0 20 0 22 0 253415792 10060460032 771569 33554432000 1073741824 1073778376 140733698086896 139985732750008 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22214/tid=22230] ppid=22212 vsize=9824668 CPUtime=1.72 cores=1,3,5,7
/proc/22214/task/22230/stat : 22230 (java) S 22212 22214 21308 0 -1 4202560 13967 0 0 0 168 4 0 0 20 0 22 0 253415792 10060460032 771569 33554432000 1073741824 1073778376 140733698086896 139985731697208 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22214/tid=22231] ppid=22212 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22214/task/22231/stat : 22231 (java) S 22212 22214 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253415793 10060460032 771569 33554432000 1073741824 1073778376 140733698086896 139985730645112 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22214/tid=22232] ppid=22212 vsize=9824668 CPUtime=0.4 cores=1,3,5,7
/proc/22214/task/22232/stat : 22232 (java) S 22212 22214 21308 0 -1 4202560 52 0 0 0 22 18 0 0 20 0 22 0 253415793 10060460032 771569 33554432000 1073741824 1073778376 140733698086896 139985729592520 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22214/tid=22235] ppid=22212 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22214/task/22235/stat : 22235 (java) S 22212 22214 21308 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253415821 10060460032 771569 33554432000 1073741824 1073778376 140733698086896 139985725908136 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22214/tid=22269] ppid=22212 vsize=9824668 CPUtime=443.46 cores=1,3,5,7
/proc/22214/task/22269/stat : 22269 (java) R 22212 22214 21308 0 -1 4202560 20 0 0 0 44340 6 0 0 20 0 22 0 253449380 10060460032 771569 33554432000 1073741824 1073778376 140733698086896 139985728536096 139986356310631 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22214/tid=22270] ppid=22212 vsize=9824668 CPUtime=443.49 cores=1,3,5,7
/proc/22214/task/22270/stat : 22270 (java) R 22212 22214 21308 0 -1 4202560 40 0 0 0 44343 6 0 0 20 0 22 0 253449380 10060460032 771569 33554432000 1073741824 1073778376 140733698086896 139985727482048 139986356308631 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22214/tid=22271] ppid=22212 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22214/task/22271/stat : 22271 (java) S 22212 22214 21308 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253449380 10060460032 771569 33554432000 1073741824 1073778376 140733698086896 139985724855720 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1623.14
Current children cumulated vsize (KiB) 9824668
[startup+942.301 s]
/proc/loadavg: 3.74 3.71 3.27 4/219 22344
/proc/meminfo: memFree=25736596/32873844 swapFree=7100/7100
[pid=22214] ppid=22212 vsize=9824668 CPUtime=1736.08 cores=1,3,5,7
/proc/22214/stat : 22214 (java) S 22212 22214 21308 0 -1 4202496 37487 0 1 0 173335 273 0 0 20 0 22 0 253415787 10060460032 805582 33554432000 1073741824 1073778376 140733698086896 140733698078032 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22214/statm: 2456167 805582 2286 9 0 2446860 0
[pid=22214/tid=22216] ppid=22212 vsize=9824668 CPUtime=0.39 cores=1,3,5,7
/proc/22214/task/22216/stat : 22216 (java) S 22212 22214 21308 0 -1 4202560 2548 0 1 0 36 3 0 0 20 0 22 0 253415788 10060460032 805582 33554432000 1073741824 1073778376 140733698086896 139986517443288 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22214/tid=22217] ppid=22212 vsize=9824668 CPUtime=5.01 cores=1,3,5,7
/proc/22214/task/22217/stat : 22217 (java) S 22212 22214 21308 0 -1 4202560 778 0 0 0 482 19 0 0 20 0 22 0 253415789 10060460032 805582 33554432000 1073741824 1073778376 140733698086896 139986478934312 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22214/tid=22218] ppid=22212 vsize=9824668 CPUtime=5 cores=1,3,5,7
/proc/22214/task/22218/stat : 22218 (java) S 22212 22214 21308 0 -1 4202560 806 0 0 0 479 21 0 0 20 0 22 0 253415789 10060460032 805582 33554432000 1073741824 1073778376 140733698086896 139986477881512 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22214/tid=22219] ppid=22212 vsize=9824668 CPUtime=5.49 cores=1,3,5,7
/proc/22214/task/22219/stat : 22219 (java) S 22212 22214 21308 0 -1 4202560 1145 0 0 0 525 24 0 0 20 0 22 0 253415789 10060460032 805582 33554432000 1073741824 1073778376 140733698086896 139986476829224 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22214/tid=22220] ppid=22212 vsize=9824668 CPUtime=4.96 cores=1,3,5,7
/proc/22214/task/22220/stat : 22220 (java) S 22212 22214 21308 0 -1 4202560 645 0 0 0 474 22 0 0 20 0 22 0 253415789 10060460032 805582 33554432000 1073741824 1073778376 140733698086896 139986475776424 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22214/tid=22221] ppid=22212 vsize=9824668 CPUtime=4.82 cores=1,3,5,7
/proc/22214/task/22221/stat : 22221 (java) S 22212 22214 21308 0 -1 4202560 942 0 0 0 457 25 0 0 20 0 22 0 253415789 10060460032 805582 33554432000 1073741824 1073778376 140733698086896 139986474724136 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22214/tid=22222] ppid=22212 vsize=9824668 CPUtime=4.54 cores=1,3,5,7
/proc/22214/task/22222/stat : 22222 (java) S 22212 22214 21308 0 -1 4202560 585 0 0 0 436 18 0 0 20 0 22 0 253415789 10060460032 805582 33554432000 1073741824 1073778376 140733698086896 139986355612328 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22214/tid=22223] ppid=22212 vsize=9824668 CPUtime=5.08 cores=1,3,5,7
/proc/22214/task/22223/stat : 22223 (java) S 22212 22214 21308 0 -1 4202560 805 0 0 0 484 24 0 0 20 0 22 0 253415789 10060460032 805582 33554432000 1073741824 1073778376 140733698086896 139986354560040 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22214/tid=22224] ppid=22212 vsize=9824668 CPUtime=5.11 cores=1,3,5,7
/proc/22214/task/22224/stat : 22224 (java) S 22212 22214 21308 0 -1 4202560 1083 0 0 0 490 21 0 0 20 0 22 0 253415789 10060460032 805582 33554432000 1073741824 1073778376 140733698086896 139986353507240 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22214/tid=22225] ppid=22212 vsize=9824668 CPUtime=162.11 cores=1,3,5,7
/proc/22214/task/22225/stat : 22225 (java) R 22212 22214 21308 0 -1 4202560 4590 0 0 0 16170 41 0 0 20 0 22 0 253415790 10060460032 805582 33554432000 1073741824 1073778376 140733698086896 139986341307496 139986523951196 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22214/tid=22226] ppid=22212 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22214/task/22226/stat : 22226 (java) S 22212 22214 21308 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253415790 10060460032 805582 33554432000 1073741824 1073778376 140733698086896 139986340254712 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22214/tid=22227] ppid=22212 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22214/task/22227/stat : 22227 (java) S 22212 22214 21308 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 253415790 10060460032 805582 33554432000 1073741824 1073778376 140733698086896 139985734853896 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22214/tid=22228] ppid=22212 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22214/task/22228/stat : 22228 (java) S 22212 22214 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253415792 10060460032 805582 33554432000 1073741824 1073778376 140733698086896 139985733802384 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22214/tid=22229] ppid=22212 vsize=9824668 CPUtime=1.01 cores=1,3,5,7
/proc/22214/task/22229/stat : 22229 (java) S 22212 22214 21308 0 -1 4202560 7586 0 0 0 98 3 0 0 20 0 22 0 253415792 10060460032 805582 33554432000 1073741824 1073778376 140733698086896 139985732750008 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22214/tid=22230] ppid=22212 vsize=9824668 CPUtime=1.72 cores=1,3,5,7
/proc/22214/task/22230/stat : 22230 (java) S 22212 22214 21308 0 -1 4202560 13967 0 0 0 168 4 0 0 20 0 22 0 253415792 10060460032 805582 33554432000 1073741824 1073778376 140733698086896 139985731697208 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22214/tid=22231] ppid=22212 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22214/task/22231/stat : 22231 (java) S 22212 22214 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253415793 10060460032 805582 33554432000 1073741824 1073778376 140733698086896 139985730645112 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22214/tid=22232] ppid=22212 vsize=9824668 CPUtime=0.44 cores=1,3,5,7
/proc/22214/task/22232/stat : 22232 (java) S 22212 22214 21308 0 -1 4202560 56 0 0 0 24 20 0 0 20 0 22 0 253415793 10060460032 805582 33554432000 1073741824 1073778376 140733698086896 139985729592520 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22214/tid=22235] ppid=22212 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22214/task/22235/stat : 22235 (java) S 22212 22214 21308 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253415821 10060460032 805582 33554432000 1073741824 1073778376 140733698086896 139985725908136 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22214/tid=22269] ppid=22212 vsize=9824668 CPUtime=493.82 cores=1,3,5,7
/proc/22214/task/22269/stat : 22269 (java) S 22212 22214 21308 0 -1 4202560 21 0 0 0 49375 7 0 0 20 0 22 0 253449380 10060460032 805582 33554432000 1073741824 1073778376 140733698086896 139985728537160 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22214/tid=22270] ppid=22212 vsize=9824668 CPUtime=493.82 cores=1,3,5,7
/proc/22214/task/22270/stat : 22270 (java) S 22212 22214 21308 0 -1 4202560 44 0 0 0 49375 7 0 0 20 0 22 0 253449380 10060460032 805582 33554432000 1073741824 1073778376 140733698086896 139985727482488 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22214/tid=22271] ppid=22212 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22214/task/22271/stat : 22271 (java) S 22212 22214 21308 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253449380 10060460032 805582 33554432000 1073741824 1073778376 140733698086896 139985724855720 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1736.08
Current children cumulated vsize (KiB) 9824668
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+976.601 s]
/proc/loadavg: 3.75 3.71 3.28 5/219 22344
/proc/meminfo: memFree=25596408/32873844 swapFree=7100/7100
[pid=22214] ppid=22212 vsize=9824668 CPUtime=1800.09 cores=1,3,5,7
/proc/22214/stat : 22214 (java) S 22212 22214 21308 0 -1 4202496 39129 0 1 0 179734 275 0 0 20 0 22 0 253415787 10060460032 821517 33554432000 1073741824 1073778376 140733698086896 140733698078032 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22214/statm: 2456167 821517 2286 9 0 2446860 0
[pid=22214/tid=22216] ppid=22212 vsize=9824668 CPUtime=0.39 cores=1,3,5,7
/proc/22214/task/22216/stat : 22216 (java) S 22212 22214 21308 0 -1 4202560 2549 0 1 0 36 3 0 0 20 0 22 0 253415788 10060460032 821517 33554432000 1073741824 1073778376 140733698086896 139986517443576 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22214/tid=22217] ppid=22212 vsize=9824668 CPUtime=5.24 cores=1,3,5,7
/proc/22214/task/22217/stat : 22217 (java) S 22212 22214 21308 0 -1 4202560 778 0 0 0 504 20 0 0 20 0 22 0 253415789 10060460032 821517 33554432000 1073741824 1073778376 140733698086896 139986478934312 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22214/tid=22218] ppid=22212 vsize=9824668 CPUtime=5.33 cores=1,3,5,7
/proc/22214/task/22218/stat : 22218 (java) S 22212 22214 21308 0 -1 4202560 806 0 0 0 512 21 0 0 20 0 22 0 253415789 10060460032 821517 33554432000 1073741824 1073778376 140733698086896 139986477881512 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22214/tid=22219] ppid=22212 vsize=9824668 CPUtime=5.83 cores=1,3,5,7
/proc/22214/task/22219/stat : 22219 (java) S 22212 22214 21308 0 -1 4202560 1145 0 0 0 559 24 0 0 20 0 22 0 253415789 10060460032 821517 33554432000 1073741824 1073778376 140733698086896 139986476829224 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22214/tid=22220] ppid=22212 vsize=9824668 CPUtime=5.23 cores=1,3,5,7
/proc/22214/task/22220/stat : 22220 (java) S 22212 22214 21308 0 -1 4202560 645 0 0 0 501 22 0 0 20 0 22 0 253415789 10060460032 821517 33554432000 1073741824 1073778376 140733698086896 139986475776424 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22214/tid=22221] ppid=22212 vsize=9824668 CPUtime=5.06 cores=1,3,5,7
/proc/22214/task/22221/stat : 22221 (java) S 22212 22214 21308 0 -1 4202560 942 0 0 0 481 25 0 0 20 0 22 0 253415789 10060460032 821517 33554432000 1073741824 1073778376 140733698086896 139986474724136 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22214/tid=22222] ppid=22212 vsize=9824668 CPUtime=4.82 cores=1,3,5,7
/proc/22214/task/22222/stat : 22222 (java) S 22212 22214 21308 0 -1 4202560 618 0 0 0 464 18 0 0 20 0 22 0 253415789 10060460032 821517 33554432000 1073741824 1073778376 140733698086896 139986355612328 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22214/tid=22223] ppid=22212 vsize=9824668 CPUtime=5.31 cores=1,3,5,7
/proc/22214/task/22223/stat : 22223 (java) S 22212 22214 21308 0 -1 4202560 805 0 0 0 507 24 0 0 20 0 22 0 253415789 10060460032 821517 33554432000 1073741824 1073778376 140733698086896 139986354560040 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22214/tid=22224] ppid=22212 vsize=9824668 CPUtime=5.34 cores=1,3,5,7
/proc/22214/task/22224/stat : 22224 (java) S 22212 22214 21308 0 -1 4202560 1083 0 0 0 513 21 0 0 20 0 22 0 253415789 10060460032 821517 33554432000 1073741824 1073778376 140733698086896 139986353507240 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22214/tid=22225] ppid=22212 vsize=9824668 CPUtime=167.8 cores=1,3,5,7
/proc/22214/task/22225/stat : 22225 (java) S 22212 22214 21308 0 -1 4202560 6194 0 0 0 16738 42 0 0 20 0 22 0 253415790 10060460032 821517 33554432000 1073741824 1073778376 140733698086896 139986341308648 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22214/tid=22226] ppid=22212 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22214/task/22226/stat : 22226 (java) S 22212 22214 21308 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253415790 10060460032 821517 33554432000 1073741824 1073778376 140733698086896 139986340254712 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22214/tid=22227] ppid=22212 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22214/task/22227/stat : 22227 (java) S 22212 22214 21308 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 253415790 10060460032 821517 33554432000 1073741824 1073778376 140733698086896 139985734853896 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22214/tid=22228] ppid=22212 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22214/task/22228/stat : 22228 (java) S 22212 22214 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253415792 10060460032 821517 33554432000 1073741824 1073778376 140733698086896 139985733802384 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22214/tid=22229] ppid=22212 vsize=9824668 CPUtime=1.01 cores=1,3,5,7
/proc/22214/task/22229/stat : 22229 (java) S 22212 22214 21308 0 -1 4202560 7586 0 0 0 98 3 0 0 20 0 22 0 253415792 10060460032 821517 33554432000 1073741824 1073778376 140733698086896 139985732750008 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22214/tid=22230] ppid=22212 vsize=9824668 CPUtime=1.72 cores=1,3,5,7
/proc/22214/task/22230/stat : 22230 (java) S 22212 22214 21308 0 -1 4202560 13967 0 0 0 168 4 0 0 20 0 22 0 253415792 10060460032 821517 33554432000 1073741824 1073778376 140733698086896 139985731697208 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22214/tid=22231] ppid=22212 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22214/task/22231/stat : 22231 (java) S 22212 22214 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253415793 10060460032 821517 33554432000 1073741824 1073778376 140733698086896 139985730645112 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22214/tid=22232] ppid=22212 vsize=9824668 CPUtime=0.46 cores=1,3,5,7
/proc/22214/task/22232/stat : 22232 (java) S 22212 22214 21308 0 -1 4202560 58 0 0 0 25 21 0 0 20 0 22 0 253415793 10060460032 821517 33554432000 1073741824 1073778376 140733698086896 139985729592520 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22214/tid=22235] ppid=22212 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22214/task/22235/stat : 22235 (java) S 22212 22214 21308 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253415821 10060460032 821517 33554432000 1073741824 1073778376 140733698086896 139985725908136 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22214/tid=22269] ppid=22212 vsize=9824668 CPUtime=521.9 cores=1,3,5,7
/proc/22214/task/22269/stat : 22269 (java) R 22212 22214 21308 0 -1 4202560 22 0 0 0 52183 7 0 0 20 0 22 0 253449380 10060460032 821517 33554432000 1073741824 1073778376 140733698086896 139985728536096 139986356882224 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22214/tid=22270] ppid=22212 vsize=9824668 CPUtime=521.89 cores=1,3,5,7
/proc/22214/task/22270/stat : 22270 (java) R 22212 22214 21308 0 -1 4202560 45 0 0 0 52180 9 0 0 20 0 22 0 253449380 10060460032 821517 33554432000 1073741824 1073778376 140733698086896 139985727482208 139986356670593 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=22214/tid=22271] ppid=22212 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22214/task/22271/stat : 22271 (java) S 22212 22214 21308 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253449380 10060460032 821517 33554432000 1073741824 1073778376 140733698086896 139985724855720 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
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
Real time (s): 976.648
CPU time (s): 1800.5
CPU user time (s): 1797.35
CPU system time (s): 3.15252
CPU usage (%): 184.355
Max. virtual memory (cumulated for all children) (KiB): 9826392
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.35
system time used= 3.15252
maximum resident set size= 3286180
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39162
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1040
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 27720
involuntary context switches= 56386
runsolver used 3.71244 second user time and 9.2326 second system time
The end