runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4100458-1466209735/watcher-4100458-1466209735 -o /tmp/evaluation-result-4100458-1466209735/solver-4100458-1466209735 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node113-1466206100-1315 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4100458-1466209735.opb
pid=2928
running on 4 cores: 0,2,4,6
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: 4.19 4.17 4.05 4/197 2931
/proc/meminfo: memFree=27812560/32872528 swapFree=877056/942464
[pid=2931] ppid=2928 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/2931/stat : 2931 (java) R 2928 2931 1299 0 -1 4202496 673 0 0 0 0 0 0 0 20 0 1 0 23022462 23793664 323 33554432000 1073741824 1073778376 140735403866848 140735403855912 213183937089 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2931/statm: 5809 336 259 9 0 128 0
[startup+0.100115 s]
/proc/loadavg: 4.19 4.17 4.05 4/197 2931
/proc/meminfo: memFree=27812560/32872528 swapFree=877056/942464
[pid=2931] ppid=2928 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/2931/stat : 2931 (java) S 2928 2931 1299 0 -1 4202496 4411 0 1 0 8 1 0 0 20 0 18 0 23022462 9787879424 6039 33554432000 1073741824 1073778376 140735403866848 140735403857984 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2931/statm: 2389619 6039 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476
[startup+0.200276 s]
/proc/loadavg: 4.19 4.17 4.05 4/197 2931
/proc/meminfo: memFree=27812560/32872528 swapFree=877056/942464
[pid=2931] ppid=2928 vsize=9558476 CPUtime=0.27 cores=0,2,4,6
/proc/2931/stat : 2931 (java) S 2928 2931 1299 0 -1 4202496 4980 0 1 0 26 1 0 0 20 0 18 0 23022462 9787879424 6929 33554432000 1073741824 1073778376 140735403866848 140735403857984 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2931/statm: 2389619 6929 2217 9 0 2380296 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 9558476
[startup+0.300275 s]
/proc/loadavg: 4.19 4.17 4.05 4/197 2931
/proc/meminfo: memFree=27812560/32872528 swapFree=877056/942464
[pid=2931] ppid=2928 vsize=9558476 CPUtime=0.44 cores=0,2,4,6
/proc/2931/stat : 2931 (java) S 2928 2931 1299 0 -1 4202496 5772 0 1 0 42 2 0 0 20 0 18 0 23022462 9787879424 8932 33554432000 1073741824 1073778376 140735403866848 140735403857984 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2931/statm: 2389619 8932 2235 9 0 2380296 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 9558476
[startup+0.700164 s]
/proc/loadavg: 4.19 4.17 4.05 4/197 2931
/proc/meminfo: memFree=27812560/32872528 swapFree=877056/942464
[pid=2931] ppid=2928 vsize=9824732 CPUtime=1.68 cores=0,2,4,6
/proc/2931/stat : 2931 (java) S 2928 2931 1299 0 -1 4202496 16255 0 1 0 163 5 0 0 20 0 22 0 23022462 10060525568 27605 33554432000 1073741824 1073778376 140735403866848 140735403857984 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2931/statm: 2456183 27605 2269 9 0 2446860 0
Current children cumulated CPU time (s) 1.68
Current children cumulated vsize (KiB) 9824732
[startup+1.50083 s]
/proc/loadavg: 4.19 4.17 4.05 7/219 2953
/proc/meminfo: memFree=27664764/32872528 swapFree=877056/942464
[pid=2931] ppid=2928 vsize=9824732 CPUtime=4.54 cores=0,2,4,6
/proc/2931/stat : 2931 (java) S 2928 2931 1299 0 -1 4202496 26521 0 1 0 445 9 0 0 20 0 22 0 23022462 10060525568 47201 33554432000 1073741824 1073778376 140735403866848 140735403857984 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2931/statm: 2456183 47201 2287 9 0 2446860 0
[pid=2931/tid=2933] ppid=2928 vsize=9824732 CPUtime=0.56 cores=0,2,4,6
/proc/2931/task/2933/stat : 2933 (java) S 2928 2931 1299 0 -1 4202560 2450 0 1 0 54 2 0 0 20 0 22 0 23022463 10060525568 47201 33554432000 1073741824 1073778376 140735403866848 140674590028664 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2931/tid=2934] ppid=2928 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2931/task/2934/stat : 2934 (java) S 2928 2931 1299 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 23022464 10060525568 47201 33554432000 1073741824 1073778376 140735403866848 140674551519912 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2931/tid=2935] ppid=2928 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2931/task/2935/stat : 2935 (java) S 2928 2931 1299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23022464 10060525568 47201 33554432000 1073741824 1073778376 140735403866848 140674550467368 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2931/tid=2936] ppid=2928 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2931/task/2936/stat : 2936 (java) S 2928 2931 1299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23022464 10060525568 47201 33554432000 1073741824 1073778376 140735403866848 140674549414824 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2931/tid=2937] ppid=2928 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/2931/task/2937/stat : 2937 (java) S 2928 2931 1299 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 22 0 23022464 10060525568 47201 33554432000 1073741824 1073778376 140735403866848 140674548362280 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2931/tid=2938] ppid=2928 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2931/task/2938/stat : 2938 (java) S 2928 2931 1299 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 23022464 10060525568 47201 33554432000 1073741824 1073778376 140735403866848 140674547308712 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2931/tid=2939] ppid=2928 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2931/task/2939/stat : 2939 (java) S 2928 2931 1299 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 23022464 10060525568 47201 33554432000 1073741824 1073778376 140735403866848 140674546256168 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2931/tid=2940] ppid=2928 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2931/task/2940/stat : 2940 (java) S 2928 2931 1299 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 23022464 10060525568 47201 33554432000 1073741824 1073778376 140735403866848 140674545203624 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2931/tid=2941] ppid=2928 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2931/task/2941/stat : 2941 (java) S 2928 2931 1299 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 23022464 10060525568 47201 33554432000 1073741824 1073778376 140735403866848 140674544151080 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2931/tid=2942] ppid=2928 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2931/task/2942/stat : 2942 (java) S 2928 2931 1299 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 22 0 23022465 10060525568 47201 33554432000 1073741824 1073778376 140735403866848 140674413320808 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2931/tid=2943] ppid=2928 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2931/task/2943/stat : 2943 (java) S 2928 2931 1299 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23022466 10060525568 47201 33554432000 1073741824 1073778376 140735403866848 140674412267128 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2931/tid=2944] ppid=2928 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2931/task/2944/stat : 2944 (java) S 2928 2931 1299 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23022466 10060525568 47201 33554432000 1073741824 1073778376 140735403866848 140674411214472 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2931/tid=2945] ppid=2928 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2931/task/2945/stat : 2945 (java) S 2928 2931 1299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23022468 10060525568 47201 33554432000 1073741824 1073778376 140735403866848 140674410163216 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2931/tid=2946] ppid=2928 vsize=9824732 CPUtime=1.09 cores=0,2,4,6
/proc/2931/task/2946/stat : 2946 (java) S 2928 2931 1299 0 -1 4202560 10113 0 0 0 107 2 0 0 20 0 22 0 23022468 10060525568 47201 33554432000 1073741824 1073778376 140735403866848 140674409109560 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2931/tid=2947] ppid=2928 vsize=9824732 CPUtime=1.01 cores=0,2,4,6
/proc/2931/task/2947/stat : 2947 (java) S 2928 2931 1299 0 -1 4202560 12486 0 0 0 99 2 0 0 20 0 22 0 23022468 10060525568 47201 33554432000 1073741824 1073778376 140735403866848 140674408057016 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2931/tid=2948] ppid=2928 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2931/task/2948/stat : 2948 (java) S 2928 2931 1299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23022468 10060525568 47201 33554432000 1073741824 1073778376 140735403866848 140673533602296 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2931/tid=2949] ppid=2928 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2931/task/2949/stat : 2949 (java) S 2928 2931 1299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23022468 10060525568 47201 33554432000 1073741824 1073778376 140735403866848 140673532549960 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2931/tid=2950] ppid=2928 vsize=9824732 CPUtime=0.84 cores=0,2,4,6
/proc/2931/task/2950/stat : 2950 (java) R 2928 2931 1299 0 -1 4202560 18 0 0 0 84 0 0 0 20 0 22 0 23022522 10060525568 47201 33554432000 1073741824 1073778376 140735403866848 140673531495064 140674423635128 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=2931/tid=2951] ppid=2928 vsize=9824732 CPUtime=0.85 cores=0,2,4,6
/proc/2931/task/2951/stat : 2951 (java) R 2928 2931 1299 0 -1 4202560 66 0 0 0 85 0 0 0 20 0 22 0 23022522 10060525568 47201 33554432000 1073741824 1073778376 140735403866848 140673530441544 140674423667009 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=2931/tid=2952] ppid=2928 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2931/task/2952/stat : 2952 (java) S 2928 2931 1299 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23022525 10060525568 47201 33554432000 1073741824 1073778376 140735403866848 140673529390632 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2931/tid=2953] ppid=2928 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2931/task/2953/stat : 2953 (java) S 2928 2931 1299 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23022525 10060525568 47201 33554432000 1073741824 1073778376 140735403866848 140673528338088 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 4.54
Current children cumulated vsize (KiB) 9824732
[startup+3.10091 s]
/proc/loadavg: 4.26 4.18 4.06 5/219 2953
/proc/meminfo: memFree=27600788/32872528 swapFree=877056/942464
[pid=2931] ppid=2928 vsize=9824732 CPUtime=8.35 cores=0,2,4,6
/proc/2931/stat : 2931 (java) S 2928 2931 1299 0 -1 4202496 32532 0 1 0 819 16 0 0 20 0 22 0 23022462 10060525568 90399 33554432000 1073741824 1073778376 140735403866848 140735403857984 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2931/statm: 2456183 90399 2292 9 0 2446860 0
[pid=2931/tid=2933] ppid=2928 vsize=9824732 CPUtime=0.56 cores=0,2,4,6
/proc/2931/task/2933/stat : 2933 (java) S 2928 2931 1299 0 -1 4202560 2451 0 1 0 54 2 0 0 20 0 22 0 23022463 10060525568 90399 33554432000 1073741824 1073778376 140735403866848 140674590028376 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2931/tid=2934] ppid=2928 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/2931/task/2934/stat : 2934 (java) R 2928 2931 1299 0 -1 4202560 36 0 0 0 1 1 0 0 20 0 22 0 23022464 10060525568 90399 33554432000 1073741824 1073778376 140735403866848 140674551520088 140674596927040 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=2931/tid=2935] ppid=2928 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/2931/task/2935/stat : 2935 (java) R 2928 2931 1299 0 -1 4202560 124 0 0 0 3 2 0 0 20 0 22 0 23022464 10060525568 90399 33554432000 1073741824 1073778376 140735403866848 140674550467544 213193100423 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=2931/tid=2936] ppid=2928 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/2931/task/2936/stat : 2936 (java) R 2928 2931 1299 0 -1 4202560 2 0 0 0 1 0 0 0 20 0 22 0 23022464 10060525568 90399 33554432000 1073741824 1073778376 140735403866848 140674549415000 140674592499385 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=2931/tid=2937] ppid=2928 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/2931/task/2937/stat : 2937 (java) R 2928 2931 1299 0 -1 4202560 86 0 0 0 2 1 0 0 20 0 22 0 23022464 10060525568 90399 33554432000 1073741824 1073778376 140735403866848 140674548362456 213193100423 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=2931/tid=2938] ppid=2928 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/2931/task/2938/stat : 2938 (java) R 2928 2931 1299 0 -1 4202560 82 0 0 0 1 0 0 0 20 0 22 0 23022464 10060525568 90399 33554432000 1073741824 1073778376 140735403866848 140674547308888 140674596924100 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=2931/tid=2939] ppid=2928 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/2931/task/2939/stat : 2939 (java) R 2928 2931 1299 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 22 0 23022464 10060525568 90399 33554432000 1073741824 1073778376 140735403866848 140674546256296 213193100423 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=2931/tid=2940] ppid=2928 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/2931/task/2940/stat : 2940 (java) R 2928 2931 1299 0 -1 4202560 63 0 0 0 2 1 0 0 20 0 22 0 23022464 10060525568 90399 33554432000 1073741824 1073778376 140735403866848 140674545203800 213193100423 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=2931/tid=2941] ppid=2928 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/2931/task/2941/stat : 2941 (java) R 2928 2931 1299 0 -1 4202560 94 0 0 0 3 0 0 0 20 0 22 0 23022464 10060525568 90399 33554432000 1073741824 1073778376 140735403866848 140674544151208 213193100423 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=2931/tid=2942] ppid=2928 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2931/task/2942/stat : 2942 (java) S 2928 2931 1299 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 22 0 23022465 10060525568 90399 33554432000 1073741824 1073778376 140735403866848 140674413319688 213196518460 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2931/tid=2943] ppid=2928 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2931/task/2943/stat : 2943 (java) S 2928 2931 1299 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23022466 10060525568 90399 33554432000 1073741824 1073778376 140735403866848 140674412267128 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2931/tid=2944] ppid=2928 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2931/task/2944/stat : 2944 (java) S 2928 2931 1299 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23022466 10060525568 90399 33554432000 1073741824 1073778376 140735403866848 140674411214472 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2931/tid=2945] ppid=2928 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2931/task/2945/stat : 2945 (java) S 2928 2931 1299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23022468 10060525568 90399 33554432000 1073741824 1073778376 140735403866848 140674410163216 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2931/tid=2946] ppid=2928 vsize=9824732 CPUtime=1.54 cores=0,2,4,6
/proc/2931/task/2946/stat : 2946 (java) S 2928 2931 1299 0 -1 4202560 15609 0 0 0 152 2 0 0 20 0 22 0 23022468 10060525568 90399 33554432000 1073741824 1073778376 140735403866848 140674409109560 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2931/tid=2947] ppid=2928 vsize=9824732 CPUtime=1.09 cores=0,2,4,6
/proc/2931/task/2947/stat : 2947 (java) S 2928 2931 1299 0 -1 4202560 12491 0 0 0 107 2 0 0 20 0 22 0 23022468 10060525568 90399 33554432000 1073741824 1073778376 140735403866848 140674408057016 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2931/tid=2948] ppid=2928 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2931/task/2948/stat : 2948 (java) S 2928 2931 1299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23022468 10060525568 90399 33554432000 1073741824 1073778376 140735403866848 140673533602296 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2931/tid=2949] ppid=2928 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2931/task/2949/stat : 2949 (java) S 2928 2931 1299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23022468 10060525568 90399 33554432000 1073741824 1073778376 140735403866848 140673532549960 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2931/tid=2950] ppid=2928 vsize=9824732 CPUtime=2.38 cores=0,2,4,6
/proc/2931/task/2950/stat : 2950 (java) S 2928 2931 1299 0 -1 4202560 21 0 0 0 238 0 0 0 20 0 22 0 23022522 10060525568 90399 33554432000 1073741824 1073778376 140735403866848 140673531493336 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2931/tid=2951] ppid=2928 vsize=9824732 CPUtime=2.39 cores=0,2,4,6
/proc/2931/task/2951/stat : 2951 (java) S 2928 2931 1299 0 -1 4202560 121 0 0 0 238 1 0 0 20 0 22 0 23022522 10060525568 90399 33554432000 1073741824 1073778376 140735403866848 140673530441720 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2931/tid=2952] ppid=2928 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2931/task/2952/stat : 2952 (java) S 2928 2931 1299 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23022525 10060525568 90399 33554432000 1073741824 1073778376 140735403866848 140673529390632 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2931/tid=2953] ppid=2928 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2931/task/2953/stat : 2953 (java) S 2928 2931 1299 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23022525 10060525568 90399 33554432000 1073741824 1073778376 140735403866848 140673528338088 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 8.35
Current children cumulated vsize (KiB) 9824732
[startup+6.30095 s]
/proc/loadavg: 4.26 4.18 4.06 5/219 2953
/proc/meminfo: memFree=27379220/32872528 swapFree=877056/942464
[pid=2931] ppid=2928 vsize=9824732 CPUtime=14.88 cores=0,2,4,6
/proc/2931/stat : 2931 (java) S 2928 2931 1299 0 -1 4202496 33017 0 1 0 1466 22 0 0 20 0 22 0 23022462 10060525568 116729 33554432000 1073741824 1073778376 140735403866848 140735403857984 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2931/statm: 2456183 116729 2292 9 0 2446860 0
[pid=2931/tid=2933] ppid=2928 vsize=9824732 CPUtime=0.56 cores=0,2,4,6
/proc/2931/task/2933/stat : 2933 (java) S 2928 2931 1299 0 -1 4202560 2451 0 1 0 54 2 0 0 20 0 22 0 23022463 10060525568 116729 33554432000 1073741824 1073778376 140735403866848 140674590028664 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2931/tid=2934] ppid=2928 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/2931/task/2934/stat : 2934 (java) S 2928 2931 1299 0 -1 4202560 61 0 0 0 1 2 0 0 20 0 22 0 23022464 10060525568 116729 33554432000 1073741824 1073778376 140735403866848 140674551519912 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2931/tid=2935] ppid=2928 vsize=9824732 CPUtime=0.07 cores=0,2,4,6
/proc/2931/task/2935/stat : 2935 (java) S 2928 2931 1299 0 -1 4202560 139 0 0 0 5 2 0 0 20 0 22 0 23022464 10060525568 116729 33554432000 1073741824 1073778376 140735403866848 140674550467368 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2931/tid=2936] ppid=2928 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/2931/task/2936/stat : 2936 (java) S 2928 2931 1299 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 22 0 23022464 10060525568 116729 33554432000 1073741824 1073778376 140735403866848 140674549414824 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2931/tid=2937] ppid=2928 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/2931/task/2937/stat : 2937 (java) S 2928 2931 1299 0 -1 4202560 104 0 0 0 4 1 0 0 20 0 22 0 23022464 10060525568 116729 33554432000 1073741824 1073778376 140735403866848 140674548362280 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2931/tid=2938] ppid=2928 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/2931/task/2938/stat : 2938 (java) S 2928 2931 1299 0 -1 4202560 100 0 0 0 1 2 0 0 20 0 22 0 23022464 10060525568 116729 33554432000 1073741824 1073778376 140735403866848 140674547308712 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2931/tid=2939] ppid=2928 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/2931/task/2939/stat : 2939 (java) S 2928 2931 1299 0 -1 4202560 30 0 0 0 2 1 0 0 20 0 22 0 23022464 10060525568 116729 33554432000 1073741824 1073778376 140735403866848 140674546256168 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2931/tid=2940] ppid=2928 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/2931/task/2940/stat : 2940 (java) S 2928 2931 1299 0 -1 4202560 72 0 0 0 3 2 0 0 20 0 22 0 23022464 10060525568 116729 33554432000 1073741824 1073778376 140735403866848 140674545203624 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2931/tid=2941] ppid=2928 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/2931/task/2941/stat : 2941 (java) S 2928 2931 1299 0 -1 4202560 121 0 0 0 3 2 0 0 20 0 22 0 23022464 10060525568 116729 33554432000 1073741824 1073778376 140735403866848 140674544151080 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2931/tid=2942] ppid=2928 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2931/task/2942/stat : 2942 (java) S 2928 2931 1299 0 -1 4202560 198 0 0 0 0 0 0 0 20 0 22 0 23022465 10060525568 116729 33554432000 1073741824 1073778376 140735403866848 140674413320808 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2931/tid=2943] ppid=2928 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2931/task/2943/stat : 2943 (java) S 2928 2931 1299 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23022466 10060525568 116729 33554432000 1073741824 1073778376 140735403866848 140674412267128 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2931/tid=2944] ppid=2928 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2931/task/2944/stat : 2944 (java) S 2928 2931 1299 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23022466 10060525568 116729 33554432000 1073741824 1073778376 140735403866848 140674411214472 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2931/tid=2945] ppid=2928 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2931/task/2945/stat : 2945 (java) S 2928 2931 1299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23022468 10060525568 116729 33554432000 1073741824 1073778376 140735403866848 140674410163216 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2931/tid=2946] ppid=2928 vsize=9824732 CPUtime=1.56 cores=0,2,4,6
################
# More data... #
################
[startup+896.001 s]
/proc/loadavg: 4.15 4.15 4.10 5/219 3045
/proc/meminfo: memFree=24378596/32872528 swapFree=877056/942464
[pid=2931] ppid=2928 vsize=9824732 CPUtime=1801.29 cores=0,2,4,6
/proc/2931/stat : 2931 (java) S 2928 2931 1299 0 -1 4202496 42377 0 1 0 179913 216 0 0 20 0 22 0 23022462 10060525568 961560 33554432000 1073741824 1073778376 140735403866848 140735403857984 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2931/statm: 2456183 961560 2301 9 0 2446860 0
[pid=2931/tid=2933] ppid=2928 vsize=9824732 CPUtime=0.6 cores=0,2,4,6
/proc/2931/task/2933/stat : 2933 (java) S 2928 2931 1299 0 -1 4202560 2465 0 1 0 56 4 0 0 20 0 22 0 23022463 10060525568 961560 33554432000 1073741824 1073778376 140735403866848 140674590028376 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2931/tid=2934] ppid=2928 vsize=9824732 CPUtime=2.91 cores=0,2,4,6
/proc/2931/task/2934/stat : 2934 (java) S 2928 2931 1299 0 -1 4202560 609 0 0 0 271 20 0 0 20 0 22 0 23022464 10060525568 961560 33554432000 1073741824 1073778376 140735403866848 140674551519912 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2931/tid=2935] ppid=2928 vsize=9824732 CPUtime=3.01 cores=0,2,4,6
/proc/2931/task/2935/stat : 2935 (java) S 2928 2931 1299 0 -1 4202560 925 0 0 0 279 22 0 0 20 0 22 0 23022464 10060525568 961560 33554432000 1073741824 1073778376 140735403866848 140674550467368 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2931/tid=2936] ppid=2928 vsize=9824732 CPUtime=3.21 cores=0,2,4,6
/proc/2931/task/2936/stat : 2936 (java) S 2928 2931 1299 0 -1 4202560 611 0 0 0 302 19 0 0 20 0 22 0 23022464 10060525568 961560 33554432000 1073741824 1073778376 140735403866848 140674549414824 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2931/tid=2937] ppid=2928 vsize=9824732 CPUtime=3.02 cores=0,2,4,6
/proc/2931/task/2937/stat : 2937 (java) S 2928 2931 1299 0 -1 4202560 1046 0 0 0 278 24 0 0 20 0 22 0 23022464 10060525568 961560 33554432000 1073741824 1073778376 140735403866848 140674548362280 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2931/tid=2938] ppid=2928 vsize=9824732 CPUtime=2.8 cores=0,2,4,6
/proc/2931/task/2938/stat : 2938 (java) S 2928 2931 1299 0 -1 4202560 770 0 0 0 264 16 0 0 20 0 22 0 23022464 10060525568 961560 33554432000 1073741824 1073778376 140735403866848 140674547308712 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2931/tid=2939] ppid=2928 vsize=9824732 CPUtime=2.98 cores=0,2,4,6
/proc/2931/task/2939/stat : 2939 (java) S 2928 2931 1299 0 -1 4202560 697 0 0 0 279 19 0 0 20 0 22 0 23022464 10060525568 961560 33554432000 1073741824 1073778376 140735403866848 140674546256168 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2931/tid=2940] ppid=2928 vsize=9824732 CPUtime=3.33 cores=0,2,4,6
/proc/2931/task/2940/stat : 2940 (java) S 2928 2931 1299 0 -1 4202560 783 0 0 0 313 20 0 0 20 0 22 0 23022464 10060525568 961560 33554432000 1073741824 1073778376 140735403866848 140674545203624 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2931/tid=2941] ppid=2928 vsize=9824732 CPUtime=2.98 cores=0,2,4,6
/proc/2931/task/2941/stat : 2941 (java) S 2928 2931 1299 0 -1 4202560 658 0 0 0 280 18 0 0 20 0 22 0 23022464 10060525568 961560 33554432000 1073741824 1073778376 140735403866848 140674544151080 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2931/tid=2942] ppid=2928 vsize=9824732 CPUtime=4.52 cores=0,2,4,6
/proc/2931/task/2942/stat : 2942 (java) R 2928 2931 1299 0 -1 4202560 2205 0 0 0 444 8 0 0 20 0 22 0 23022465 10060525568 961560 33554432000 1073741824 1073778376 140735403866848 140674413319368 140674596536428 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=2931/tid=2943] ppid=2928 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2931/task/2943/stat : 2943 (java) S 2928 2931 1299 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23022466 10060525568 961560 33554432000 1073741824 1073778376 140735403866848 140674412267128 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2931/tid=2944] ppid=2928 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2931/task/2944/stat : 2944 (java) S 2928 2931 1299 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23022466 10060525568 961560 33554432000 1073741824 1073778376 140735403866848 140674411214472 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2931/tid=2945] ppid=2928 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2931/task/2945/stat : 2945 (java) S 2928 2931 1299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23022468 10060525568 961560 33554432000 1073741824 1073778376 140735403866848 140674410162760 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2931/tid=2946] ppid=2928 vsize=9824732 CPUtime=1.68 cores=0,2,4,6
/proc/2931/task/2946/stat : 2946 (java) S 2928 2931 1299 0 -1 4202560 15621 0 0 0 166 2 0 0 20 0 22 0 23022468 10060525568 961560 33554432000 1073741824 1073778376 140735403866848 140674409109560 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2931/tid=2947] ppid=2928 vsize=9824732 CPUtime=1.18 cores=0,2,4,6
/proc/2931/task/2947/stat : 2947 (java) S 2928 2931 1299 0 -1 4202560 12491 0 0 0 116 2 0 0 20 0 22 0 23022468 10060525568 961560 33554432000 1073741824 1073778376 140735403866848 140674408057016 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2931/tid=2948] ppid=2928 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2931/task/2948/stat : 2948 (java) S 2928 2931 1299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23022468 10060525568 961560 33554432000 1073741824 1073778376 140735403866848 140673533602296 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2931/tid=2949] ppid=2928 vsize=9824732 CPUtime=0.31 cores=0,2,4,6
/proc/2931/task/2949/stat : 2949 (java) S 2928 2931 1299 0 -1 4202560 50 0 0 0 13 18 0 0 20 0 22 0 23022468 10060525568 961560 33554432000 1073741824 1073778376 140735403866848 140673532549960 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2931/tid=2950] ppid=2928 vsize=9824732 CPUtime=882.1 cores=0,2,4,6
/proc/2931/task/2950/stat : 2950 (java) S 2928 2931 1299 0 -1 4202560 315 0 0 0 88194 16 0 0 20 0 22 0 23022522 10060525568 961560 33554432000 1073741824 1073778376 140735403866848 140673531494184 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2931/tid=2951] ppid=2928 vsize=9824732 CPUtime=882.16 cores=0,2,4,6
/proc/2931/task/2951/stat : 2951 (java) S 2928 2931 1299 0 -1 4202560 1866 0 0 0 88177 39 0 0 20 0 22 0 23022522 10060525568 961560 33554432000 1073741824 1073778376 140735403866848 140673530440728 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2931/tid=2952] ppid=2928 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2931/task/2952/stat : 2952 (java) S 2928 2931 1299 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23022525 10060525568 961560 33554432000 1073741824 1073778376 140735403866848 140673529390632 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2931/tid=2953] ppid=2928 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2931/task/2953/stat : 2953 (java) S 2928 2931 1299 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23022525 10060525568 961560 33554432000 1073741824 1073778376 140735403866848 140673528338088 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1801.29
Current children cumulated vsize (KiB) 9824732
[startup+896.401 s]
/proc/loadavg: 4.15 4.15 4.10 5/219 3045
/proc/meminfo: memFree=24378596/32872528 swapFree=877056/942464
[pid=2931] ppid=2928 vsize=9824732 CPUtime=1801.69 cores=0,2,4,6
/proc/2931/stat : 2931 (java) S 2928 2931 1299 0 -1 4202496 42377 0 1 0 179953 216 0 0 20 0 22 0 23022462 10060525568 961560 33554432000 1073741824 1073778376 140735403866848 140735403857984 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2931/statm: 2456183 961560 2301 9 0 2446860 0
[pid=2931/tid=2933] ppid=2928 vsize=9824732 CPUtime=0.6 cores=0,2,4,6
/proc/2931/task/2933/stat : 2933 (java) S 2928 2931 1299 0 -1 4202560 2465 0 1 0 56 4 0 0 20 0 22 0 23022463 10060525568 961560 33554432000 1073741824 1073778376 140735403866848 140674590028376 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2931/tid=2934] ppid=2928 vsize=9824732 CPUtime=2.91 cores=0,2,4,6
/proc/2931/task/2934/stat : 2934 (java) S 2928 2931 1299 0 -1 4202560 609 0 0 0 271 20 0 0 20 0 22 0 23022464 10060525568 961560 33554432000 1073741824 1073778376 140735403866848 140674551519912 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2931/tid=2935] ppid=2928 vsize=9824732 CPUtime=3.01 cores=0,2,4,6
/proc/2931/task/2935/stat : 2935 (java) S 2928 2931 1299 0 -1 4202560 925 0 0 0 279 22 0 0 20 0 22 0 23022464 10060525568 961560 33554432000 1073741824 1073778376 140735403866848 140674550467368 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2931/tid=2936] ppid=2928 vsize=9824732 CPUtime=3.21 cores=0,2,4,6
/proc/2931/task/2936/stat : 2936 (java) S 2928 2931 1299 0 -1 4202560 611 0 0 0 302 19 0 0 20 0 22 0 23022464 10060525568 961560 33554432000 1073741824 1073778376 140735403866848 140674549414824 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2931/tid=2937] ppid=2928 vsize=9824732 CPUtime=3.02 cores=0,2,4,6
/proc/2931/task/2937/stat : 2937 (java) S 2928 2931 1299 0 -1 4202560 1046 0 0 0 278 24 0 0 20 0 22 0 23022464 10060525568 961560 33554432000 1073741824 1073778376 140735403866848 140674548362280 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2931/tid=2938] ppid=2928 vsize=9824732 CPUtime=2.8 cores=0,2,4,6
/proc/2931/task/2938/stat : 2938 (java) S 2928 2931 1299 0 -1 4202560 770 0 0 0 264 16 0 0 20 0 22 0 23022464 10060525568 961560 33554432000 1073741824 1073778376 140735403866848 140674547308712 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2931/tid=2939] ppid=2928 vsize=9824732 CPUtime=2.98 cores=0,2,4,6
/proc/2931/task/2939/stat : 2939 (java) S 2928 2931 1299 0 -1 4202560 697 0 0 0 279 19 0 0 20 0 22 0 23022464 10060525568 961560 33554432000 1073741824 1073778376 140735403866848 140674546256168 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2931/tid=2940] ppid=2928 vsize=9824732 CPUtime=3.33 cores=0,2,4,6
/proc/2931/task/2940/stat : 2940 (java) S 2928 2931 1299 0 -1 4202560 783 0 0 0 313 20 0 0 20 0 22 0 23022464 10060525568 961560 33554432000 1073741824 1073778376 140735403866848 140674545203624 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2931/tid=2941] ppid=2928 vsize=9824732 CPUtime=2.98 cores=0,2,4,6
/proc/2931/task/2941/stat : 2941 (java) S 2928 2931 1299 0 -1 4202560 658 0 0 0 280 18 0 0 20 0 22 0 23022464 10060525568 961560 33554432000 1073741824 1073778376 140735403866848 140674544151080 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2931/tid=2942] ppid=2928 vsize=9824732 CPUtime=4.92 cores=0,2,4,6
/proc/2931/task/2942/stat : 2942 (java) R 2928 2931 1299 0 -1 4202560 2205 0 0 0 484 8 0 0 20 0 22 0 23022465 10060525568 961560 33554432000 1073741824 1073778376 140735403866848 140674413319368 140674596536386 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=2931/tid=2943] ppid=2928 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2931/task/2943/stat : 2943 (java) S 2928 2931 1299 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23022466 10060525568 961560 33554432000 1073741824 1073778376 140735403866848 140674412267128 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2931/tid=2944] ppid=2928 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2931/task/2944/stat : 2944 (java) S 2928 2931 1299 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23022466 10060525568 961560 33554432000 1073741824 1073778376 140735403866848 140674411214472 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2931/tid=2945] ppid=2928 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2931/task/2945/stat : 2945 (java) S 2928 2931 1299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23022468 10060525568 961560 33554432000 1073741824 1073778376 140735403866848 140674410162760 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2931/tid=2946] ppid=2928 vsize=9824732 CPUtime=1.68 cores=0,2,4,6
/proc/2931/task/2946/stat : 2946 (java) S 2928 2931 1299 0 -1 4202560 15621 0 0 0 166 2 0 0 20 0 22 0 23022468 10060525568 961560 33554432000 1073741824 1073778376 140735403866848 140674409109560 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2931/tid=2947] ppid=2928 vsize=9824732 CPUtime=1.18 cores=0,2,4,6
/proc/2931/task/2947/stat : 2947 (java) S 2928 2931 1299 0 -1 4202560 12491 0 0 0 116 2 0 0 20 0 22 0 23022468 10060525568 961560 33554432000 1073741824 1073778376 140735403866848 140674408057016 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2931/tid=2948] ppid=2928 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2931/task/2948/stat : 2948 (java) S 2928 2931 1299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23022468 10060525568 961560 33554432000 1073741824 1073778376 140735403866848 140673533602296 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2931/tid=2949] ppid=2928 vsize=9824732 CPUtime=0.31 cores=0,2,4,6
/proc/2931/task/2949/stat : 2949 (java) S 2928 2931 1299 0 -1 4202560 50 0 0 0 13 18 0 0 20 0 22 0 23022468 10060525568 961560 33554432000 1073741824 1073778376 140735403866848 140673532549960 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2931/tid=2950] ppid=2928 vsize=9824732 CPUtime=882.1 cores=0,2,4,6
/proc/2931/task/2950/stat : 2950 (java) S 2928 2931 1299 0 -1 4202560 315 0 0 0 88194 16 0 0 20 0 22 0 23022522 10060525568 961560 33554432000 1073741824 1073778376 140735403866848 140673531494184 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2931/tid=2951] ppid=2928 vsize=9824732 CPUtime=882.16 cores=0,2,4,6
/proc/2931/task/2951/stat : 2951 (java) S 2928 2931 1299 0 -1 4202560 1866 0 0 0 88177 39 0 0 20 0 22 0 23022522 10060525568 961560 33554432000 1073741824 1073778376 140735403866848 140673530440728 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2931/tid=2952] ppid=2928 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2931/task/2952/stat : 2952 (java) S 2928 2931 1299 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23022525 10060525568 961560 33554432000 1073741824 1073778376 140735403866848 140673529390632 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2931/tid=2953] ppid=2928 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2931/task/2953/stat : 2953 (java) S 2928 2931 1299 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23022525 10060525568 961560 33554432000 1073741824 1073778376 140735403866848 140673528338088 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1801.69
Current children cumulated vsize (KiB) 9824732
[startup+896.801 s]
/proc/loadavg: 4.15 4.15 4.10 5/219 3045
/proc/meminfo: memFree=24378596/32872528 swapFree=877056/942464
[pid=2931] ppid=2928 vsize=9824732 CPUtime=1802.09 cores=0,2,4,6
/proc/2931/stat : 2931 (java) S 2928 2931 1299 0 -1 4202496 42377 0 1 0 179993 216 0 0 20 0 22 0 23022462 10060525568 961560 33554432000 1073741824 1073778376 140735403866848 140735403857984 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2931/statm: 2456183 961560 2301 9 0 2446860 0
[pid=2931/tid=2933] ppid=2928 vsize=9824732 CPUtime=0.6 cores=0,2,4,6
/proc/2931/task/2933/stat : 2933 (java) S 2928 2931 1299 0 -1 4202560 2465 0 1 0 56 4 0 0 20 0 22 0 23022463 10060525568 961560 33554432000 1073741824 1073778376 140735403866848 140674590028376 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2931/tid=2934] ppid=2928 vsize=9824732 CPUtime=2.91 cores=0,2,4,6
/proc/2931/task/2934/stat : 2934 (java) S 2928 2931 1299 0 -1 4202560 609 0 0 0 271 20 0 0 20 0 22 0 23022464 10060525568 961560 33554432000 1073741824 1073778376 140735403866848 140674551519912 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2931/tid=2935] ppid=2928 vsize=9824732 CPUtime=3.01 cores=0,2,4,6
/proc/2931/task/2935/stat : 2935 (java) S 2928 2931 1299 0 -1 4202560 925 0 0 0 279 22 0 0 20 0 22 0 23022464 10060525568 961560 33554432000 1073741824 1073778376 140735403866848 140674550467368 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2931/tid=2936] ppid=2928 vsize=9824732 CPUtime=3.21 cores=0,2,4,6
/proc/2931/task/2936/stat : 2936 (java) S 2928 2931 1299 0 -1 4202560 611 0 0 0 302 19 0 0 20 0 22 0 23022464 10060525568 961560 33554432000 1073741824 1073778376 140735403866848 140674549414824 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2931/tid=2937] ppid=2928 vsize=9824732 CPUtime=3.02 cores=0,2,4,6
/proc/2931/task/2937/stat : 2937 (java) S 2928 2931 1299 0 -1 4202560 1046 0 0 0 278 24 0 0 20 0 22 0 23022464 10060525568 961560 33554432000 1073741824 1073778376 140735403866848 140674548362280 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2931/tid=2938] ppid=2928 vsize=9824732 CPUtime=2.8 cores=0,2,4,6
/proc/2931/task/2938/stat : 2938 (java) S 2928 2931 1299 0 -1 4202560 770 0 0 0 264 16 0 0 20 0 22 0 23022464 10060525568 961560 33554432000 1073741824 1073778376 140735403866848 140674547308712 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2931/tid=2939] ppid=2928 vsize=9824732 CPUtime=2.98 cores=0,2,4,6
/proc/2931/task/2939/stat : 2939 (java) S 2928 2931 1299 0 -1 4202560 697 0 0 0 279 19 0 0 20 0 22 0 23022464 10060525568 961560 33554432000 1073741824 1073778376 140735403866848 140674546256168 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2931/tid=2940] ppid=2928 vsize=9824732 CPUtime=3.33 cores=0,2,4,6
/proc/2931/task/2940/stat : 2940 (java) S 2928 2931 1299 0 -1 4202560 783 0 0 0 313 20 0 0 20 0 22 0 23022464 10060525568 961560 33554432000 1073741824 1073778376 140735403866848 140674545203624 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2931/tid=2941] ppid=2928 vsize=9824732 CPUtime=2.98 cores=0,2,4,6
/proc/2931/task/2941/stat : 2941 (java) S 2928 2931 1299 0 -1 4202560 658 0 0 0 280 18 0 0 20 0 22 0 23022464 10060525568 961560 33554432000 1073741824 1073778376 140735403866848 140674544151080 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2931/tid=2942] ppid=2928 vsize=9824732 CPUtime=5.32 cores=0,2,4,6
/proc/2931/task/2942/stat : 2942 (java) R 2928 2931 1299 0 -1 4202560 2205 0 0 0 524 8 0 0 20 0 22 0 23022465 10060525568 961560 33554432000 1073741824 1073778376 140735403866848 140674413319368 213192818917 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=2931/tid=2943] ppid=2928 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2931/task/2943/stat : 2943 (java) S 2928 2931 1299 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23022466 10060525568 961560 33554432000 1073741824 1073778376 140735403866848 140674412267128 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2931/tid=2944] ppid=2928 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2931/task/2944/stat : 2944 (java) S 2928 2931 1299 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23022466 10060525568 961560 33554432000 1073741824 1073778376 140735403866848 140674411214472 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2931/tid=2945] ppid=2928 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2931/task/2945/stat : 2945 (java) S 2928 2931 1299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23022468 10060525568 961560 33554432000 1073741824 1073778376 140735403866848 140674410162760 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2931/tid=2946] ppid=2928 vsize=9824732 CPUtime=1.68 cores=0,2,4,6
/proc/2931/task/2946/stat : 2946 (java) S 2928 2931 1299 0 -1 4202560 15621 0 0 0 166 2 0 0 20 0 22 0 23022468 10060525568 961560 33554432000 1073741824 1073778376 140735403866848 140674409109560 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2931/tid=2947] ppid=2928 vsize=9824732 CPUtime=1.18 cores=0,2,4,6
/proc/2931/task/2947/stat : 2947 (java) S 2928 2931 1299 0 -1 4202560 12491 0 0 0 116 2 0 0 20 0 22 0 23022468 10060525568 961560 33554432000 1073741824 1073778376 140735403866848 140674408057016 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2931/tid=2948] ppid=2928 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2931/task/2948/stat : 2948 (java) S 2928 2931 1299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23022468 10060525568 961560 33554432000 1073741824 1073778376 140735403866848 140673533602296 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2931/tid=2949] ppid=2928 vsize=9824732 CPUtime=0.31 cores=0,2,4,6
/proc/2931/task/2949/stat : 2949 (java) S 2928 2931 1299 0 -1 4202560 50 0 0 0 13 18 0 0 20 0 22 0 23022468 10060525568 961560 33554432000 1073741824 1073778376 140735403866848 140673532549960 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2931/tid=2950] ppid=2928 vsize=9824732 CPUtime=882.1 cores=0,2,4,6
/proc/2931/task/2950/stat : 2950 (java) S 2928 2931 1299 0 -1 4202560 315 0 0 0 88194 16 0 0 20 0 22 0 23022522 10060525568 961560 33554432000 1073741824 1073778376 140735403866848 140673531494184 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2931/tid=2951] ppid=2928 vsize=9824732 CPUtime=882.16 cores=0,2,4,6
/proc/2931/task/2951/stat : 2951 (java) S 2928 2931 1299 0 -1 4202560 1866 0 0 0 88177 39 0 0 20 0 22 0 23022522 10060525568 961560 33554432000 1073741824 1073778376 140735403866848 140673530440728 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2931/tid=2952] ppid=2928 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2931/task/2952/stat : 2952 (java) S 2928 2931 1299 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23022525 10060525568 961560 33554432000 1073741824 1073778376 140735403866848 140673529390632 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2931/tid=2953] ppid=2928 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2931/task/2953/stat : 2953 (java) S 2928 2931 1299 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23022525 10060525568 961560 33554432000 1073741824 1073778376 140735403866848 140673528338088 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1802.09
Current children cumulated vsize (KiB) 9824732
Child ended because it received signal 9 (SIGKILL)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 2931 and gives
# childrusage.ru_utime.tv_sec=1795
# childrusage.ru_utime.tv_usec=280075
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=631599
# CPU time returned by wait4() is 1797.91
# while last known CPU time is 1802.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 896.823
CPU time (s): 1802.09
CPU user time (s): 1799.93
CPU system time (s): 2.16
CPU usage (%): 200.942
Max. virtual memory (cumulated for all children) (KiB): 9826612
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.28
system time used= 2.6316
maximum resident set size= 3846240
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42377
page faults= 1
swaps= 0
block input operations= 0
block output operations= 928
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23188
involuntary context switches= 25116
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.69013 second user time and 7.2189 second system time
The end