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-3688598-1337878562/watcher-3688598-1337878562 -o /tmp/evaluation-result-3688598-1337878562/solver-3688598-1337878562 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3688598-1337878562.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.87 3.89 3.88 3/197 24341
/proc/meminfo: memFree=26306660/32873844 swapFree=7100/7100
[pid=24341] ppid=24339 vsize=23172 CPUtime=0 cores=1,3,5,7
/proc/24341/stat : 24341 (java) R 24339 24341 22059 0 -1 4202496 1142 0 0 0 0 0 0 0 20 0 1 0 253983143 23728128 863 33554432000 1073741824 1073778376 140733323037344 140733323026408 233415149104 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/24341/statm: 6050 867 654 9 0 385 0
[pid=24341/tid=24342] ppid=24339 vsize=24200 CPUtime=0 cores=1,3,5,7
/proc/24341/task/24342/stat : 24342 (java) R 24339 24341 22059 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 2 0 253983143 24780800 867 33554432000 1073741824 1073778376 140733323037344 140733323026408 233411844273 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0
[startup+0.0596511 s]
/proc/loadavg: 3.87 3.89 3.88 3/197 24341
/proc/meminfo: memFree=26306660/32873844 swapFree=7100/7100
[pid=24341] ppid=24339 vsize=9558412 CPUtime=0.05 cores=1,3,5,7
/proc/24341/stat : 24341 (java) S 24339 24341 22059 0 -1 4202496 3189 0 1 0 4 1 0 0 20 0 18 0 253983143 9787813888 4398 33554432000 1073741824 1073778376 140733323037344 140733323028480 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24341/statm: 2389603 4398 1757 9 0 2380296 0
[pid=24341/tid=24342] ppid=24339 vsize=9558412 CPUtime=0.03 cores=1,3,5,7
/proc/24341/task/24342/stat : 24342 (java) R 24339 24341 22059 0 -1 4202560 1980 0 1 0 3 0 0 0 20 0 18 0 253983143 9787813888 4398 33554432000 1073741824 1073778376 140733323037344 140616921246368 233415173389 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 9558412
[startup+0.100325 s]
/proc/loadavg: 3.87 3.89 3.88 3/197 24341
/proc/meminfo: memFree=26306660/32873844 swapFree=7100/7100
[pid=24341] ppid=24339 vsize=9558412 CPUtime=0.1 cores=1,3,5,7
/proc/24341/stat : 24341 (java) S 24339 24341 22059 0 -1 4202496 4331 0 1 0 9 1 0 0 20 0 18 0 253983143 9787813888 6045 33554432000 1073741824 1073778376 140733323037344 140733323028480 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24341/statm: 2389603 6045 2109 9 0 2380296 0
[pid=24341/tid=24342] ppid=24339 vsize=9558412 CPUtime=0.07 cores=1,3,5,7
/proc/24341/task/24342/stat : 24342 (java) R 24339 24341 22059 0 -1 4202560 2390 0 1 0 6 1 0 0 20 0 18 0 253983143 9787813888 6045 33554432000 1073741824 1073778376 140733323037344 140616921233536 233411415883 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558412
[startup+0.300204 s]
/proc/loadavg: 3.87 3.89 3.88 3/197 24341
/proc/meminfo: memFree=26306660/32873844 swapFree=7100/7100
[pid=24341] ppid=24339 vsize=9824668 CPUtime=0.48 cores=1,3,5,7
/proc/24341/stat : 24341 (java) S 24339 24341 22059 0 -1 4202496 6126 0 1 0 46 2 0 0 20 0 22 0 253983143 10060460032 9923 33554432000 1073741824 1073778376 140733323037344 140733323028480 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24341/statm: 2456167 9923 2239 9 0 2446860 0
[pid=24341/tid=24342] ppid=24339 vsize=9824668 CPUtime=0.26 cores=1,3,5,7
/proc/24341/task/24342/stat : 24342 (java) S 24339 24341 22059 0 -1 4202560 2458 0 1 0 25 1 0 0 20 0 22 0 253983143 10060460032 9923 33554432000 1073741824 1073778376 140733323037344 140616921244664 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9824668
[startup+0.70024 s]
/proc/loadavg: 3.87 3.89 3.88 3/197 24341
/proc/meminfo: memFree=26306660/32873844 swapFree=7100/7100
[pid=24341] ppid=24339 vsize=9824668 CPUtime=0.53 cores=1,3,5,7
/proc/24341/stat : 24341 (java) S 24339 24341 22059 0 -1 4202496 6129 0 1 0 49 4 0 0 20 0 19 0 253983143 10060460032 9916 33554432000 1073741824 1073778376 140733323037344 140733323028480 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24341/statm: 2456167 9916 2241 9 0 2446860 0
[pid=24341/tid=24342] ppid=24339 vsize=9824668 CPUtime=0.26 cores=1,3,5,7
/proc/24341/task/24342/stat : 24342 (java) S 24339 24341 22059 0 -1 4202560 2458 0 1 0 25 1 0 0 20 0 19 0 253983143 10060460032 9916 33554432000 1073741824 1073778376 140733323037344 140616921244664 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 9824668
[startup+1.50071 s]
/proc/loadavg: 3.87 3.89 3.88 3/216 24366
/proc/meminfo: memFree=26252752/32873844 swapFree=7100/7100
[pid=24341] ppid=24339 vsize=9824668 CPUtime=1.92 cores=1,3,5,7
/proc/24341/stat : 24341 (java) S 24339 24341 22059 0 -1 4202496 16521 0 1 0 184 8 0 0 20 0 22 0 253983143 10060460032 22593 33554432000 1073741824 1073778376 140733323037344 140733323028480 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24341/statm: 2456167 22593 2254 9 0 2446860 0
[pid=24341/tid=24342] ppid=24339 vsize=9824668 CPUtime=0.27 cores=1,3,5,7
/proc/24341/task/24342/stat : 24342 (java) S 24339 24341 22059 0 -1 4202560 2459 0 1 0 25 2 0 0 20 0 22 0 253983143 10060460032 22593 33554432000 1073741824 1073778376 140733323037344 140616921244664 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24341/tid=24344] ppid=24339 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24341/task/24344/stat : 24344 (java) S 24339 24341 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253983144 10060460032 22593 33554432000 1073741824 1073778376 140733323037344 140616765151656 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24341/tid=24345] ppid=24339 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24341/task/24345/stat : 24345 (java) S 24339 24341 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253983144 10060460032 22593 33554432000 1073741824 1073778376 140733323037344 140616764099112 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24341/tid=24346] ppid=24339 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24341/task/24346/stat : 24346 (java) S 24339 24341 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253983144 10060460032 22593 33554432000 1073741824 1073778376 140733323037344 140616763046056 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24341/tid=24347] ppid=24339 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24341/task/24347/stat : 24347 (java) S 24339 24341 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253983144 10060460032 22595 33554432000 1073741824 1073778376 140733323037344 140616761993512 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24341/tid=24348] ppid=24339 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24341/task/24348/stat : 24348 (java) S 24339 24341 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253983144 10060460032 22595 33554432000 1073741824 1073778376 140733323037344 140616760941480 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24341/tid=24349] ppid=24339 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24341/task/24349/stat : 24349 (java) S 24339 24341 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253983144 10060460032 22599 33554432000 1073741824 1073778376 140733323037344 140616423959592 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24341/tid=24350] ppid=24339 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24341/task/24350/stat : 24350 (java) S 24339 24341 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253983144 10060460032 22605 33554432000 1073741824 1073778376 140733323037344 140616422906536 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24341/tid=24351] ppid=24339 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24341/task/24351/stat : 24351 (java) S 24339 24341 22059 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253983144 10060460032 22612 33554432000 1073741824 1073778376 140733323037344 140616421853992 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24341/tid=24352] ppid=24339 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24341/task/24352/stat : 24352 (java) S 24339 24341 22059 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253983145 10060460032 22619 33554432000 1073741824 1073778376 140733323037344 140616409655656 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24341/tid=24353] ppid=24339 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24341/task/24353/stat : 24353 (java) S 24339 24341 22059 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 253983146 10060460032 22627 33554432000 1073741824 1073778376 140733323037344 140616408601976 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24341/tid=24354] ppid=24339 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24341/task/24354/stat : 24354 (java) S 24339 24341 22059 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253983146 10060460032 22631 33554432000 1073741824 1073778376 140733323037344 140616407548808 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24341/tid=24355] ppid=24339 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24341/task/24355/stat : 24355 (java) S 24339 24341 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253983148 10060460032 22631 33554432000 1073741824 1073778376 140733323037344 140616406497552 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24341/tid=24356] ppid=24339 vsize=9824668 CPUtime=0.46 cores=1,3,5,7
/proc/24341/task/24356/stat : 24356 (java) R 24339 24341 22059 0 -1 4202560 7460 0 0 0 44 2 0 0 20 0 22 0 253983148 10060460032 22631 33554432000 1073741824 1073778376 140733323037344 140616405432496 140616928217959 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=24341/tid=24357] ppid=24339 vsize=9824668 CPUtime=0.49 cores=1,3,5,7
/proc/24341/task/24357/stat : 24357 (java) R 24339 24341 22059 0 -1 4202560 5303 0 0 0 49 0 0 0 20 0 22 0 253983148 10060460032 22631 33554432000 1073741824 1073778376 140733323037344 140616404370008 140616927204354 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=24341/tid=24358] ppid=24339 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24341/task/24358/stat : 24358 (java) S 24339 24341 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253983148 10060460032 22631 33554432000 1073741824 1073778376 140733323037344 140616403340024 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24341/tid=24359] ppid=24339 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24341/task/24359/stat : 24359 (java) S 24339 24341 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253983148 10060460032 22631 33554432000 1073741824 1073778376 140733323037344 140616402287688 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24341/tid=24363] ppid=24339 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24341/task/24363/stat : 24363 (java) S 24339 24341 22059 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253983173 10060460032 22631 33554432000 1073741824 1073778376 140733323037344 140616398042024 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1.92
Current children cumulated vsize (KiB) 9824668
[startup+3.10085 s]
/proc/loadavg: 4.04 3.92 3.89 11/219 24372
/proc/meminfo: memFree=26111892/32873844 swapFree=7100/7100
[pid=24341] ppid=24339 vsize=9824668 CPUtime=5.53 cores=1,3,5,7
/proc/24341/stat : 24341 (java) S 24339 24341 22059 0 -1 4202496 17956 0 1 0 533 20 0 0 20 0 22 0 253983143 10060460032 70584 33554432000 1073741824 1073778376 140733323037344 140733323028480 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24341/statm: 2456167 70584 2287 9 0 2446860 0
[pid=24341/tid=24342] ppid=24339 vsize=9824668 CPUtime=0.28 cores=1,3,5,7
/proc/24341/task/24342/stat : 24342 (java) S 24339 24341 22059 0 -1 4202560 2459 0 1 0 26 2 0 0 20 0 22 0 253983143 10060460032 70584 33554432000 1073741824 1073778376 140733323037344 140616921244664 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24341/tid=24344] ppid=24339 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/24341/task/24344/stat : 24344 (java) S 24339 24341 22059 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 22 0 253983144 10060460032 70584 33554432000 1073741824 1073778376 140733323037344 140616765151656 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24341/tid=24345] ppid=24339 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/24341/task/24345/stat : 24345 (java) S 24339 24341 22059 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 22 0 253983144 10060460032 70584 33554432000 1073741824 1073778376 140733323037344 140616764099112 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24341/tid=24346] ppid=24339 vsize=9824668 CPUtime=0.05 cores=1,3,5,7
/proc/24341/task/24346/stat : 24346 (java) S 24339 24341 22059 0 -1 4202560 21 0 0 0 3 2 0 0 20 0 22 0 253983144 10060460032 70584 33554432000 1073741824 1073778376 140733323037344 140616763046056 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24341/tid=24347] ppid=24339 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/24341/task/24347/stat : 24347 (java) S 24339 24341 22059 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 22 0 253983144 10060460032 70584 33554432000 1073741824 1073778376 140733323037344 140616761993512 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24341/tid=24348] ppid=24339 vsize=9824668 CPUtime=0.03 cores=1,3,5,7
/proc/24341/task/24348/stat : 24348 (java) S 24339 24341 22059 0 -1 4202560 16 0 0 0 3 0 0 0 20 0 22 0 253983144 10060460032 70584 33554432000 1073741824 1073778376 140733323037344 140616760941480 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24341/tid=24349] ppid=24339 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/24341/task/24349/stat : 24349 (java) S 24339 24341 22059 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 22 0 253983144 10060460032 70584 33554432000 1073741824 1073778376 140733323037344 140616423959592 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24341/tid=24350] ppid=24339 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/24341/task/24350/stat : 24350 (java) S 24339 24341 22059 0 -1 4202560 14 0 0 0 1 1 0 0 20 0 22 0 253983144 10060460032 70584 33554432000 1073741824 1073778376 140733323037344 140616422906536 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24341/tid=24351] ppid=24339 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/24341/task/24351/stat : 24351 (java) S 24339 24341 22059 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 22 0 253983144 10060460032 70584 33554432000 1073741824 1073778376 140733323037344 140616421853992 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24341/tid=24352] ppid=24339 vsize=9824668 CPUtime=0.05 cores=1,3,5,7
/proc/24341/task/24352/stat : 24352 (java) S 24339 24341 22059 0 -1 4202560 97 0 0 0 5 0 0 0 20 0 22 0 253983145 10060460032 70584 33554432000 1073741824 1073778376 140733323037344 140616409655656 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24341/tid=24353] ppid=24339 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24341/task/24353/stat : 24353 (java) S 24339 24341 22059 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253983146 10060460032 70584 33554432000 1073741824 1073778376 140733323037344 140616408601976 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24341/tid=24354] ppid=24339 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24341/task/24354/stat : 24354 (java) S 24339 24341 22059 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253983146 10060460032 70584 33554432000 1073741824 1073778376 140733323037344 140616407548808 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24341/tid=24355] ppid=24339 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24341/task/24355/stat : 24355 (java) S 24339 24341 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253983148 10060460032 70584 33554432000 1073741824 1073778376 140733323037344 140616406497552 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24341/tid=24356] ppid=24339 vsize=9824668 CPUtime=0.87 cores=1,3,5,7
/proc/24341/task/24356/stat : 24356 (java) S 24339 24341 22059 0 -1 4202560 8061 0 0 0 85 2 0 0 20 0 22 0 253983148 10060460032 70584 33554432000 1073741824 1073778376 140733323037344 140616405445432 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24341/tid=24357] ppid=24339 vsize=9824668 CPUtime=0.84 cores=1,3,5,7
/proc/24341/task/24357/stat : 24357 (java) S 24339 24341 22059 0 -1 4202560 5825 0 0 0 84 0 0 0 20 0 22 0 253983148 10060460032 70584 33554432000 1073741824 1073778376 140733323037344 140616404392888 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24341/tid=24358] ppid=24339 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24341/task/24358/stat : 24358 (java) S 24339 24341 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253983148 10060460032 70584 33554432000 1073741824 1073778376 140733323037344 140616403340024 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24341/tid=24359] ppid=24339 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24341/task/24359/stat : 24359 (java) S 24339 24341 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253983148 10060460032 70584 33554432000 1073741824 1073778376 140733323037344 140616402287688 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24341/tid=24369] ppid=24339 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24341/task/24369/stat : 24369 (java) S 24339 24341 22059 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253983273 10060460032 70584 33554432000 1073741824 1073778376 140733323037344 140616401200296 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24341/tid=24370] ppid=24339 vsize=9824668 CPUtime=1.14 cores=1,3,5,7
/proc/24341/task/24370/stat : 24370 (java) R 24339 24341 22059 0 -1 4202560 5 0 0 0 114 0 0 0 20 0 22 0 253983323 10060460032 70584 33554432000 1073741824 1073778376 140733323037344 140616400146528 140616776846136 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=24341/tid=24371] ppid=24339 vsize=9824668 CPUtime=1.14 cores=1,3,5,7
/proc/24341/task/24371/stat : 24371 (java) R 24339 24341 22059 0 -1 4202560 68 0 0 0 111 3 0 0 20 0 22 0 253983323 10060460032 70584 33554432000 1073741824 1073778376 140733323037344 140616399093816 140616776888811 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24341/tid=24372] ppid=24339 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24341/task/24372/stat : 24372 (java) S 24339 24341 22059 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253983323 10060460032 70584 33554432000 1073741824 1073778376 140733323037344 140616398042664 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 5.53
Current children cumulated vsize (KiB) 9824668
[startup+6.30074 s]
/proc/loadavg: 4.04 3.92 3.89 5/219 24372
/proc/meminfo: memFree=25906108/32873844 swapFree=7100/7100
[pid=24341] ppid=24339 vsize=9824668 CPUtime=11.92 cores=1,3,5,7
/proc/24341/stat : 24341 (java) S 24339 24341 22059 0 -1 4202496 18269 0 1 0 1164 28 0 0 20 0 22 0 253983143 10060460032 136540 33554432000 1073741824 1073778376 140733323037344 140733323028480 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24341/statm: 2456167 136540 2287 9 0 2446860 0
[pid=24341/tid=24342] ppid=24339 vsize=9824668 CPUtime=0.28 cores=1,3,5,7
/proc/24341/task/24342/stat : 24342 (java) S 24339 24341 22059 0 -1 4202560 2459 0 1 0 26 2 0 0 20 0 22 0 253983143 10060460032 136540 33554432000 1073741824 1073778376 140733323037344 140616921244376 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24341/tid=24344] ppid=24339 vsize=9824668 CPUtime=0.06 cores=1,3,5,7
/proc/24341/task/24344/stat : 24344 (java) R 24339 24341 22059 0 -1 4202560 29 0 0 0 5 1 0 0 20 0 22 0 253983144 10060460032 136540 33554432000 1073741824 1073778376 140733323037344 140616765151624 233415160892 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=24341/tid=24345] ppid=24339 vsize=9824668 CPUtime=0.04 cores=1,3,5,7
/proc/24341/task/24345/stat : 24345 (java) R 24339 24341 22059 0 -1 4202560 15 0 0 0 4 0 0 0 20 0 22 0 253983144 10060460032 136540 33554432000 1073741824 1073778376 140733323037344 140616764099240 233411742855 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=24341/tid=24346] ppid=24339 vsize=9824668 CPUtime=0.09 cores=1,3,5,7
/proc/24341/task/24346/stat : 24346 (java) S 24339 24341 22059 0 -1 4202560 27 0 0 0 7 2 0 0 20 0 22 0 253983144 10060460032 136540 33554432000 1073741824 1073778376 140733323037344 140616763046056 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24341/tid=24347] ppid=24339 vsize=9824668 CPUtime=0.04 cores=1,3,5,7
/proc/24341/task/24347/stat : 24347 (java) S 24339 24341 22059 0 -1 4202560 14 0 0 0 4 0 0 0 20 0 22 0 253983144 10060460032 136540 33554432000 1073741824 1073778376 140733323037344 140616761993512 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24341/tid=24348] ppid=24339 vsize=9824668 CPUtime=0.05 cores=1,3,5,7
/proc/24341/task/24348/stat : 24348 (java) S 24339 24341 22059 0 -1 4202560 19 0 0 0 5 0 0 0 20 0 22 0 253983144 10060460032 136540 33554432000 1073741824 1073778376 140733323037344 140616760941480 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24341/tid=24349] ppid=24339 vsize=9824668 CPUtime=0.05 cores=1,3,5,7
/proc/24341/task/24349/stat : 24349 (java) S 24339 24341 22059 0 -1 4202560 21 0 0 0 4 1 0 0 20 0 22 0 253983144 10060460032 136540 33554432000 1073741824 1073778376 140733323037344 140616423959592 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24341/tid=24350] ppid=24339 vsize=9824668 CPUtime=0.06 cores=1,3,5,7
/proc/24341/task/24350/stat : 24350 (java) S 24339 24341 22059 0 -1 4202560 24 0 0 0 4 2 0 0 20 0 22 0 253983144 10060460032 136540 33554432000 1073741824 1073778376 140733323037344 140616422906536 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24341/tid=24351] ppid=24339 vsize=9824668 CPUtime=0.04 cores=1,3,5,7
/proc/24341/task/24351/stat : 24351 (java) S 24339 24341 22059 0 -1 4202560 17 0 0 0 4 0 0 0 20 0 22 0 253983144 10060460032 136540 33554432000 1073741824 1073778376 140733323037344 140616421853992 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24341/tid=24352] ppid=24339 vsize=9824668 CPUtime=0.25 cores=1,3,5,7
/proc/24341/task/24352/stat : 24352 (java) S 24339 24341 22059 0 -1 4202560 234 0 0 0 23 2 0 0 20 0 22 0 253983145 10060460032 136540 33554432000 1073741824 1073778376 140733323037344 140616409654632 233415160892 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24341/tid=24353] ppid=24339 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24341/task/24353/stat : 24353 (java) S 24339 24341 22059 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253983146 10060460032 136540 33554432000 1073741824 1073778376 140733323037344 140616408601976 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24341/tid=24354] ppid=24339 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24341/task/24354/stat : 24354 (java) S 24339 24341 22059 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253983146 10060460032 136540 33554432000 1073741824 1073778376 140733323037344 140616407548808 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
################
# More data... #
################
[pid=24341/tid=24373] ppid=24339 vsize=9824668 CPUtime=693.96 cores=1,3,5,7
/proc/24341/task/24373/stat : 24373 (java) R 24339 24341 22059 0 -1 4202560 43 0 0 0 69384 12 0 0 20 0 22 0 253985857 10060460032 714863 33554432000 1073741824 1073778376 140733323037344 140616400146480 140616776771175 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=24341/tid=24374] ppid=24339 vsize=9824668 CPUtime=693.87 cores=1,3,5,7
/proc/24341/task/24374/stat : 24374 (java) R 24339 24341 22059 0 -1 4202560 1427 0 0 0 69341 46 0 0 20 0 22 0 253985857 10060460032 714863 33554432000 1073741824 1073778376 140733323037344 140616399094696 140616776753215 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=24341/tid=24375] ppid=24339 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24341/task/24375/stat : 24375 (java) S 24339 24341 22059 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253985857 10060460032 714863 33554432000 1073741824 1073778376 140733323037344 140616398042536 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1486.99
Current children cumulated vsize (KiB) 9824668
[startup+822.301 s]
/proc/loadavg: 3.64 3.78 3.81 4/217 24543
/proc/meminfo: memFree=23258488/32873844 swapFree=7100/7100
[pid=24341] ppid=24339 vsize=9824668 CPUtime=1604.99 cores=1,3,5,7
/proc/24341/stat : 24341 (java) S 24339 24341 22059 0 -1 4202496 27335 0 1 0 160381 118 0 0 20 0 22 0 253983143 10060460032 702247 33554432000 1073741824 1073778376 140733323037344 140733323028480 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24341/statm: 2456167 702247 2289 9 0 2446860 0
[pid=24341/tid=24342] ppid=24339 vsize=9824668 CPUtime=0.32 cores=1,3,5,7
/proc/24341/task/24342/stat : 24342 (java) S 24339 24341 22059 0 -1 4202560 2494 0 1 0 29 3 0 0 20 0 22 0 253983143 10060460032 702247 33554432000 1073741824 1073778376 140733323037344 140616921244664 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24341/tid=24344] ppid=24339 vsize=9824668 CPUtime=1.23 cores=1,3,5,7
/proc/24341/task/24344/stat : 24344 (java) S 24339 24341 22059 0 -1 4202560 182 0 0 0 119 4 0 0 20 0 22 0 253983144 10060460032 702247 33554432000 1073741824 1073778376 140733323037344 140616765151656 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24341/tid=24345] ppid=24339 vsize=9824668 CPUtime=1.38 cores=1,3,5,7
/proc/24341/task/24345/stat : 24345 (java) S 24339 24341 22059 0 -1 4202560 305 0 0 0 135 3 0 0 20 0 22 0 253983144 10060460032 702247 33554432000 1073741824 1073778376 140733323037344 140616764099112 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24341/tid=24346] ppid=24339 vsize=9824668 CPUtime=1.43 cores=1,3,5,7
/proc/24341/task/24346/stat : 24346 (java) S 24339 24341 22059 0 -1 4202560 322 0 0 0 139 4 0 0 20 0 22 0 253983144 10060460032 702247 33554432000 1073741824 1073778376 140733323037344 140616763046056 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24341/tid=24347] ppid=24339 vsize=9824668 CPUtime=1.3 cores=1,3,5,7
/proc/24341/task/24347/stat : 24347 (java) S 24339 24341 22059 0 -1 4202560 286 0 0 0 127 3 0 0 20 0 22 0 253983144 10060460032 702247 33554432000 1073741824 1073778376 140733323037344 140616761993512 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24341/tid=24348] ppid=24339 vsize=9824668 CPUtime=1.26 cores=1,3,5,7
/proc/24341/task/24348/stat : 24348 (java) S 24339 24341 22059 0 -1 4202560 250 0 0 0 123 3 0 0 20 0 22 0 253983144 10060460032 702247 33554432000 1073741824 1073778376 140733323037344 140616760941480 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24341/tid=24349] ppid=24339 vsize=9824668 CPUtime=1.23 cores=1,3,5,7
/proc/24341/task/24349/stat : 24349 (java) S 24339 24341 22059 0 -1 4202560 188 0 0 0 119 4 0 0 20 0 22 0 253983144 10060460032 702247 33554432000 1073741824 1073778376 140733323037344 140616423959592 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24341/tid=24350] ppid=24339 vsize=9824668 CPUtime=1.33 cores=1,3,5,7
/proc/24341/task/24350/stat : 24350 (java) S 24339 24341 22059 0 -1 4202560 260 0 0 0 129 4 0 0 20 0 22 0 253983144 10060460032 702247 33554432000 1073741824 1073778376 140733323037344 140616422906536 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24341/tid=24351] ppid=24339 vsize=9824668 CPUtime=1.37 cores=1,3,5,7
/proc/24341/task/24351/stat : 24351 (java) S 24339 24341 22059 0 -1 4202560 182 0 0 0 135 2 0 0 20 0 22 0 253983144 10060460032 702247 33554432000 1073741824 1073778376 140733323037344 140616421853992 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24341/tid=24352] ppid=24339 vsize=9824668 CPUtime=43.4 cores=1,3,5,7
/proc/24341/task/24352/stat : 24352 (java) S 24339 24341 22059 0 -1 4202560 2119 0 0 0 4328 12 0 0 20 0 22 0 253983145 10060460032 702247 33554432000 1073741824 1073778376 140733323037344 140616409655656 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24341/tid=24353] ppid=24339 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24341/task/24353/stat : 24353 (java) S 24339 24341 22059 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253983146 10060460032 702247 33554432000 1073741824 1073778376 140733323037344 140616408601976 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24341/tid=24354] ppid=24339 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24341/task/24354/stat : 24354 (java) S 24339 24341 22059 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253983146 10060460032 702247 33554432000 1073741824 1073778376 140733323037344 140616407548808 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24341/tid=24355] ppid=24339 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24341/task/24355/stat : 24355 (java) S 24339 24341 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253983148 10060460032 702247 33554432000 1073741824 1073778376 140733323037344 140616406497552 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24341/tid=24356] ppid=24339 vsize=9824668 CPUtime=1.51 cores=1,3,5,7
/proc/24341/task/24356/stat : 24356 (java) S 24339 24341 22059 0 -1 4202560 11718 0 0 0 148 3 0 0 20 0 22 0 253983148 10060460032 702247 33554432000 1073741824 1073778376 140733323037344 140616405445432 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24341/tid=24357] ppid=24339 vsize=9824668 CPUtime=1.02 cores=1,3,5,7
/proc/24341/task/24357/stat : 24357 (java) S 24339 24341 22059 0 -1 4202560 5831 0 0 0 102 0 0 0 20 0 22 0 253983148 10060460032 702247 33554432000 1073741824 1073778376 140733323037344 140616404392888 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24341/tid=24358] ppid=24339 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24341/task/24358/stat : 24358 (java) S 24339 24341 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253983148 10060460032 702247 33554432000 1073741824 1073778376 140733323037344 140616403340024 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24341/tid=24359] ppid=24339 vsize=9824668 CPUtime=0.43 cores=1,3,5,7
/proc/24341/task/24359/stat : 24359 (java) S 24339 24341 22059 0 -1 4202560 47 0 0 0 21 22 0 0 20 0 22 0 253983148 10060460032 702247 33554432000 1073741824 1073778376 140733323037344 140616402287688 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24341/tid=24369] ppid=24339 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24341/task/24369/stat : 24369 (java) S 24339 24341 22059 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253983273 10060460032 702247 33554432000 1073741824 1073778376 140733323037344 140616401200296 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24341/tid=24373] ppid=24339 vsize=9824668 CPUtime=751.12 cores=1,3,5,7
/proc/24341/task/24373/stat : 24373 (java) R 24339 24341 22059 0 -1 4202560 46 0 0 0 75099 13 0 0 20 0 22 0 253985857 10060460032 702247 33554432000 1073741824 1073778376 140733323037344 140616400146480 140616776836247 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24341/tid=24374] ppid=24339 vsize=9824668 CPUtime=751 cores=1,3,5,7
/proc/24341/task/24374/stat : 24374 (java) R 24339 24341 22059 0 -1 4202560 1431 0 0 0 75053 47 0 0 20 0 22 0 253985857 10060460032 702247 33554432000 1073741824 1073778376 140733323037344 140616399094496 140616776897551 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=24341/tid=24375] ppid=24339 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24341/task/24375/stat : 24375 (java) S 24339 24341 22059 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253985857 10060460032 702247 33554432000 1073741824 1073778376 140733323037344 140616398042536 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1604.99
Current children cumulated vsize (KiB) 9824668
[startup+882.301 s]
/proc/loadavg: 3.81 3.79 3.82 5/220 24627
/proc/meminfo: memFree=25385756/32873844 swapFree=7100/7100
[pid=24341] ppid=24339 vsize=9824668 CPUtime=1723.2 cores=1,3,5,7
/proc/24341/stat : 24341 (java) S 24339 24341 22059 0 -1 4202496 27446 0 1 0 172199 121 0 0 20 0 22 0 253983143 10060460032 689736 33554432000 1073741824 1073778376 140733323037344 140733323028480 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24341/statm: 2456167 689736 2289 9 0 2446860 0
[pid=24341/tid=24342] ppid=24339 vsize=9824668 CPUtime=0.32 cores=1,3,5,7
/proc/24341/task/24342/stat : 24342 (java) S 24339 24341 22059 0 -1 4202560 2494 0 1 0 29 3 0 0 20 0 22 0 253983143 10060460032 689736 33554432000 1073741824 1073778376 140733323037344 140616921244664 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24341/tid=24344] ppid=24339 vsize=9824668 CPUtime=1.35 cores=1,3,5,7
/proc/24341/task/24344/stat : 24344 (java) S 24339 24341 22059 0 -1 4202560 201 0 0 0 131 4 0 0 20 0 22 0 253983144 10060460032 689736 33554432000 1073741824 1073778376 140733323037344 140616765151656 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24341/tid=24345] ppid=24339 vsize=9824668 CPUtime=1.54 cores=1,3,5,7
/proc/24341/task/24345/stat : 24345 (java) S 24339 24341 22059 0 -1 4202560 326 0 0 0 151 3 0 0 20 0 22 0 253983144 10060460032 689736 33554432000 1073741824 1073778376 140733323037344 140616764099112 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24341/tid=24346] ppid=24339 vsize=9824668 CPUtime=1.59 cores=1,3,5,7
/proc/24341/task/24346/stat : 24346 (java) S 24339 24341 22059 0 -1 4202560 345 0 0 0 154 5 0 0 20 0 22 0 253983144 10060460032 689736 33554432000 1073741824 1073778376 140733323037344 140616763046056 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24341/tid=24347] ppid=24339 vsize=9824668 CPUtime=1.39 cores=1,3,5,7
/proc/24341/task/24347/stat : 24347 (java) S 24339 24341 22059 0 -1 4202560 286 0 0 0 136 3 0 0 20 0 22 0 253983144 10060460032 689736 33554432000 1073741824 1073778376 140733323037344 140616761993512 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24341/tid=24348] ppid=24339 vsize=9824668 CPUtime=1.4 cores=1,3,5,7
/proc/24341/task/24348/stat : 24348 (java) S 24339 24341 22059 0 -1 4202560 250 0 0 0 137 3 0 0 20 0 22 0 253983144 10060460032 689736 33554432000 1073741824 1073778376 140733323037344 140616760941480 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24341/tid=24349] ppid=24339 vsize=9824668 CPUtime=1.35 cores=1,3,5,7
/proc/24341/task/24349/stat : 24349 (java) S 24339 24341 22059 0 -1 4202560 209 0 0 0 131 4 0 0 20 0 22 0 253983144 10060460032 689736 33554432000 1073741824 1073778376 140733323037344 140616423959592 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24341/tid=24350] ppid=24339 vsize=9824668 CPUtime=1.43 cores=1,3,5,7
/proc/24341/task/24350/stat : 24350 (java) S 24339 24341 22059 0 -1 4202560 260 0 0 0 139 4 0 0 20 0 22 0 253983144 10060460032 689736 33554432000 1073741824 1073778376 140733323037344 140616422906536 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24341/tid=24351] ppid=24339 vsize=9824668 CPUtime=1.52 cores=1,3,5,7
/proc/24341/task/24351/stat : 24351 (java) S 24339 24341 22059 0 -1 4202560 190 0 0 0 150 2 0 0 20 0 22 0 253983144 10060460032 689736 33554432000 1073741824 1073778376 140733323037344 140616421853992 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24341/tid=24352] ppid=24339 vsize=9824668 CPUtime=45.63 cores=1,3,5,7
/proc/24341/task/24352/stat : 24352 (java) S 24339 24341 22059 0 -1 4202560 2126 0 0 0 4550 13 0 0 20 0 22 0 253983145 10060460032 689736 33554432000 1073741824 1073778376 140733323037344 140616409655656 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24341/tid=24353] ppid=24339 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24341/task/24353/stat : 24353 (java) S 24339 24341 22059 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253983146 10060460032 689736 33554432000 1073741824 1073778376 140733323037344 140616408601976 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24341/tid=24354] ppid=24339 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24341/task/24354/stat : 24354 (java) S 24339 24341 22059 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253983146 10060460032 689736 33554432000 1073741824 1073778376 140733323037344 140616407548808 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24341/tid=24355] ppid=24339 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24341/task/24355/stat : 24355 (java) S 24339 24341 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253983148 10060460032 689736 33554432000 1073741824 1073778376 140733323037344 140616406497552 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24341/tid=24356] ppid=24339 vsize=9824668 CPUtime=1.51 cores=1,3,5,7
/proc/24341/task/24356/stat : 24356 (java) S 24339 24341 22059 0 -1 4202560 11718 0 0 0 148 3 0 0 20 0 22 0 253983148 10060460032 689736 33554432000 1073741824 1073778376 140733323037344 140616405445432 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24341/tid=24357] ppid=24339 vsize=9824668 CPUtime=1.02 cores=1,3,5,7
/proc/24341/task/24357/stat : 24357 (java) S 24339 24341 22059 0 -1 4202560 5831 0 0 0 102 0 0 0 20 0 22 0 253983148 10060460032 689736 33554432000 1073741824 1073778376 140733323037344 140616404392888 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24341/tid=24358] ppid=24339 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24341/task/24358/stat : 24358 (java) S 24339 24341 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253983148 10060460032 689736 33554432000 1073741824 1073778376 140733323037344 140616403340024 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24341/tid=24359] ppid=24339 vsize=9824668 CPUtime=0.46 cores=1,3,5,7
/proc/24341/task/24359/stat : 24359 (java) S 24339 24341 22059 0 -1 4202560 51 0 0 0 23 23 0 0 20 0 22 0 253983148 10060460032 689736 33554432000 1073741824 1073778376 140733323037344 140616402287688 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24341/tid=24369] ppid=24339 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24341/task/24369/stat : 24369 (java) S 24339 24341 22059 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253983273 10060460032 689736 33554432000 1073741824 1073778376 140733323037344 140616401200296 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24341/tid=24373] ppid=24339 vsize=9824668 CPUtime=808.58 cores=1,3,5,7
/proc/24341/task/24373/stat : 24373 (java) R 24339 24341 22059 0 -1 4202560 50 0 0 0 80843 15 0 0 20 0 22 0 253985857 10060460032 689736 33554432000 1073741824 1073778376 140733323037344 140616400147424 140616776866684 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=24341/tid=24374] ppid=24339 vsize=9824668 CPUtime=808.46 cores=1,3,5,7
/proc/24341/task/24374/stat : 24374 (java) R 24339 24341 22059 0 -1 4202560 1435 0 0 0 80798 48 0 0 20 0 22 0 253985857 10060460032 689736 33554432000 1073741824 1073778376 140733323037344 140616399092592 140616777255194 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24341/tid=24375] ppid=24339 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24341/task/24375/stat : 24375 (java) S 24339 24341 22059 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253985857 10060460032 689736 33554432000 1073741824 1073778376 140733323037344 140616398042536 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1723.2
Current children cumulated vsize (KiB) 9824668
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+921.201 s]
/proc/loadavg: 3.84 3.80 3.82 5/219 24628
/proc/meminfo: memFree=25222496/32873844 swapFree=7100/7100
[pid=24341] ppid=24339 vsize=9824668 CPUtime=1800.09 cores=1,3,5,7
/proc/24341/stat : 24341 (java) S 24339 24341 22059 0 -1 4202496 27516 0 1 0 179886 123 0 0 20 0 22 0 253983143 10060460032 685045 33554432000 1073741824 1073778376 140733323037344 140733323028480 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24341/statm: 2456167 685045 2289 9 0 2446860 0
[pid=24341/tid=24342] ppid=24339 vsize=9824668 CPUtime=0.33 cores=1,3,5,7
/proc/24341/task/24342/stat : 24342 (java) S 24339 24341 22059 0 -1 4202560 2494 0 1 0 29 4 0 0 20 0 22 0 253983143 10060460032 685045 33554432000 1073741824 1073778376 140733323037344 140616921244664 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24341/tid=24344] ppid=24339 vsize=9824668 CPUtime=1.41 cores=1,3,5,7
/proc/24341/task/24344/stat : 24344 (java) S 24339 24341 22059 0 -1 4202560 201 0 0 0 137 4 0 0 20 0 22 0 253983144 10060460032 685045 33554432000 1073741824 1073778376 140733323037344 140616765151656 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24341/tid=24345] ppid=24339 vsize=9824668 CPUtime=1.61 cores=1,3,5,7
/proc/24341/task/24345/stat : 24345 (java) S 24339 24341 22059 0 -1 4202560 349 0 0 0 158 3 0 0 20 0 22 0 253983144 10060460032 685045 33554432000 1073741824 1073778376 140733323037344 140616764099112 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24341/tid=24346] ppid=24339 vsize=9824668 CPUtime=1.66 cores=1,3,5,7
/proc/24341/task/24346/stat : 24346 (java) S 24339 24341 22059 0 -1 4202560 361 0 0 0 161 5 0 0 20 0 22 0 253983144 10060460032 685045 33554432000 1073741824 1073778376 140733323037344 140616763046056 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24341/tid=24347] ppid=24339 vsize=9824668 CPUtime=1.46 cores=1,3,5,7
/proc/24341/task/24347/stat : 24347 (java) S 24339 24341 22059 0 -1 4202560 286 0 0 0 143 3 0 0 20 0 22 0 253983144 10060460032 685045 33554432000 1073741824 1073778376 140733323037344 140616761993512 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24341/tid=24348] ppid=24339 vsize=9824668 CPUtime=1.46 cores=1,3,5,7
/proc/24341/task/24348/stat : 24348 (java) S 24339 24341 22059 0 -1 4202560 251 0 0 0 143 3 0 0 20 0 22 0 253983144 10060460032 685045 33554432000 1073741824 1073778376 140733323037344 140616760941480 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24341/tid=24349] ppid=24339 vsize=9824668 CPUtime=1.46 cores=1,3,5,7
/proc/24341/task/24349/stat : 24349 (java) S 24339 24341 22059 0 -1 4202560 211 0 0 0 142 4 0 0 20 0 22 0 253983144 10060460032 685045 33554432000 1073741824 1073778376 140733323037344 140616423959592 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24341/tid=24350] ppid=24339 vsize=9824668 CPUtime=1.51 cores=1,3,5,7
/proc/24341/task/24350/stat : 24350 (java) S 24339 24341 22059 0 -1 4202560 260 0 0 0 147 4 0 0 20 0 22 0 253983144 10060460032 685045 33554432000 1073741824 1073778376 140733323037344 140616422906536 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24341/tid=24351] ppid=24339 vsize=9824668 CPUtime=1.59 cores=1,3,5,7
/proc/24341/task/24351/stat : 24351 (java) S 24339 24341 22059 0 -1 4202560 208 0 0 0 157 2 0 0 20 0 22 0 253983144 10060460032 685045 33554432000 1073741824 1073778376 140733323037344 140616421853992 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24341/tid=24352] ppid=24339 vsize=9824668 CPUtime=46.83 cores=1,3,5,7
/proc/24341/task/24352/stat : 24352 (java) S 24339 24341 22059 0 -1 4202560 2128 0 0 0 4670 13 0 0 20 0 22 0 253983145 10060460032 685045 33554432000 1073741824 1073778376 140733323037344 140616409655656 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24341/tid=24353] ppid=24339 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24341/task/24353/stat : 24353 (java) S 24339 24341 22059 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253983146 10060460032 685045 33554432000 1073741824 1073778376 140733323037344 140616408601976 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24341/tid=24354] ppid=24339 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24341/task/24354/stat : 24354 (java) S 24339 24341 22059 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253983146 10060460032 685045 33554432000 1073741824 1073778376 140733323037344 140616407548808 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24341/tid=24355] ppid=24339 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24341/task/24355/stat : 24355 (java) S 24339 24341 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253983148 10060460032 685045 33554432000 1073741824 1073778376 140733323037344 140616406497552 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24341/tid=24356] ppid=24339 vsize=9824668 CPUtime=1.51 cores=1,3,5,7
/proc/24341/task/24356/stat : 24356 (java) S 24339 24341 22059 0 -1 4202560 11718 0 0 0 148 3 0 0 20 0 22 0 253983148 10060460032 685045 33554432000 1073741824 1073778376 140733323037344 140616405445432 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24341/tid=24357] ppid=24339 vsize=9824668 CPUtime=1.02 cores=1,3,5,7
/proc/24341/task/24357/stat : 24357 (java) S 24339 24341 22059 0 -1 4202560 5831 0 0 0 102 0 0 0 20 0 22 0 253983148 10060460032 685045 33554432000 1073741824 1073778376 140733323037344 140616404392888 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24341/tid=24358] ppid=24339 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24341/task/24358/stat : 24358 (java) S 24339 24341 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253983148 10060460032 685045 33554432000 1073741824 1073778376 140733323037344 140616403340024 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24341/tid=24359] ppid=24339 vsize=9824668 CPUtime=0.48 cores=1,3,5,7
/proc/24341/task/24359/stat : 24359 (java) S 24339 24341 22059 0 -1 4202560 53 0 0 0 24 24 0 0 20 0 22 0 253983148 10060460032 685045 33554432000 1073741824 1073778376 140733323037344 140616402287688 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24341/tid=24369] ppid=24339 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24341/task/24369/stat : 24369 (java) S 24339 24341 22059 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253983273 10060460032 685045 33554432000 1073741824 1073778376 140733323037344 140616401200296 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24341/tid=24373] ppid=24339 vsize=9824668 CPUtime=846.13 cores=1,3,5,7
/proc/24341/task/24373/stat : 24373 (java) R 24339 24341 22059 0 -1 4202560 53 0 0 0 84598 15 0 0 20 0 22 0 253985857 10060460032 685045 33554432000 1073741824 1073778376 140733323037344 140616400146480 140616776846861 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=24341/tid=24374] ppid=24339 vsize=9824668 CPUtime=846.03 cores=1,3,5,7
/proc/24341/task/24374/stat : 24374 (java) R 24339 24341 22059 0 -1 4202560 1438 0 0 0 84555 48 0 0 20 0 22 0 253985857 10060460032 685045 33554432000 1073741824 1073778376 140733323037344 140616399092368 140616776899028 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24341/tid=24375] ppid=24339 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24341/task/24375/stat : 24375 (java) S 24339 24341 22059 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253985857 10060460032 685045 33554432000 1073741824 1073778376 140733323037344 140616398042536 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 3 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): 921.239
CPU time (s): 1800.59
CPU user time (s): 1798.89
CPU system time (s): 1.70074
CPU usage (%): 195.453
Max. virtual memory (cumulated for all children) (KiB): 9826272
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.89
system time used= 1.70074
maximum resident set size= 3066408
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27547
page faults= 1
swaps= 0
block input operations= 0
block output operations= 944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 26000
involuntary context switches= 33292
runsolver used 3.83142 second user time and 8.88365 second system time
The end