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-4100250-1466208816/watcher-4100250-1466208816 -o /tmp/evaluation-result-4100250-1466208816/solver-4100250-1466208816 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node135-1466206056-7345 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4100250-1466208816.opb
pid=10071
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.27 4.30 4.09 4/199 10074
/proc/meminfo: memFree=26947456/32872528 swapFree=1505436/1685308
[pid=10074] ppid=10071 vsize=9224 CPUtime=0 cores=0,2,4,6
/proc/10074/stat : 10074 (java) R 10071 10074 7329 0 -1 4202496 421 0 0 0 0 0 0 0 20 0 1 0 22927531 9445376 92 33554432000 1073741824 1073778376 140733924826512 140733924823640 215115406589 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10074/statm: 2306 94 75 9 0 38 0
[startup+0.10002 s]
/proc/loadavg: 4.27 4.30 4.09 4/199 10074
/proc/meminfo: memFree=26947456/32872528 swapFree=1505436/1685308
[pid=10074] ppid=10071 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/10074/stat : 10074 (java) S 10071 10074 7329 0 -1 4202496 4420 0 1 0 8 1 0 0 20 0 18 0 22927531 9787879424 6044 33554432000 1073741824 1073778376 140733924826512 140733924817648 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10074/statm: 2389619 6044 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476
[startup+0.20021 s]
/proc/loadavg: 4.27 4.30 4.09 4/199 10074
/proc/meminfo: memFree=26947456/32872528 swapFree=1505436/1685308
[pid=10074] ppid=10071 vsize=9558476 CPUtime=0.28 cores=0,2,4,6
/proc/10074/stat : 10074 (java) S 10071 10074 7329 0 -1 4202496 5011 0 1 0 27 1 0 0 20 0 18 0 22927531 9787879424 7387 33554432000 1073741824 1073778376 140733924826512 140733924817648 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10074/statm: 2389619 7387 2221 9 0 2380296 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9558476
[startup+0.300228 s]
/proc/loadavg: 4.27 4.30 4.09 4/199 10074
/proc/meminfo: memFree=26947456/32872528 swapFree=1505436/1685308
[pid=10074] ppid=10071 vsize=9558476 CPUtime=0.52 cores=0,2,4,6
/proc/10074/stat : 10074 (java) S 10071 10074 7329 0 -1 4202496 9939 0 1 0 50 2 0 0 20 0 18 0 22927531 9787879424 12492 33554432000 1073741824 1073778376 140733924826512 140733924817648 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10074/statm: 2389619 12493 2232 9 0 2380296 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 9558476
[startup+0.700179 s]
/proc/loadavg: 4.27 4.30 4.09 4/199 10074
/proc/meminfo: memFree=26947456/32872528 swapFree=1505436/1685308
[pid=10074] ppid=10071 vsize=9558476 CPUtime=1.38 cores=0,2,4,6
/proc/10074/stat : 10074 (java) S 10071 10074 7329 0 -1 4202496 15098 0 1 0 132 6 0 0 20 0 18 0 22927531 9787879424 43919 33554432000 1073741824 1073778376 140733924826512 140733924817648 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10074/statm: 2389619 43919 2263 9 0 2380296 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 9558476
[startup+1.50072 s]
/proc/loadavg: 4.24 4.29 4.09 4/217 10092
/proc/meminfo: memFree=26577912/32872528 swapFree=1505436/1685308
[pid=10074] ppid=10071 vsize=9824732 CPUtime=3.53 cores=0,2,4,6
/proc/10074/stat : 10074 (java) S 10071 10074 7329 0 -1 4202496 17913 0 1 0 337 16 0 0 20 0 22 0 22927531 10060525568 94819 33554432000 1073741824 1073778376 140733924826512 140733924817648 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10074/statm: 2456183 94819 2276 9 0 2446860 0
[pid=10074/tid=10076] ppid=10071 vsize=9824732 CPUtime=0.97 cores=0,2,4,6
/proc/10074/task/10076/stat : 10076 (java) S 10071 10074 7329 0 -1 4202560 2548 0 1 0 91 6 0 0 20 0 22 0 22927532 10060525568 94819 33554432000 1073741824 1073778376 140733924826512 139684134888312 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10074/tid=10077] ppid=10071 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/10074/task/10077/stat : 10077 (java) S 10071 10074 7329 0 -1 4202560 25 0 0 0 3 0 0 0 20 0 22 0 22927533 10060525568 94819 33554432000 1073741824 1073778376 140733924826512 139684096379688 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10074/tid=10078] ppid=10071 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/10074/task/10078/stat : 10078 (java) S 10071 10074 7329 0 -1 4202560 127 0 0 0 3 0 0 0 20 0 22 0 22927533 10060525568 94819 33554432000 1073741824 1073778376 140733924826512 139684095326888 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10074/tid=10079] ppid=10071 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/10074/task/10079/stat : 10079 (java) S 10071 10074 7329 0 -1 4202560 100 0 0 0 5 0 0 0 20 0 22 0 22927533 10060525568 94819 33554432000 1073741824 1073778376 140733924826512 139684094274600 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10074/tid=10080] ppid=10071 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/10074/task/10080/stat : 10080 (java) S 10071 10074 7329 0 -1 4202560 108 0 0 0 3 0 0 0 20 0 22 0 22927533 10060525568 94819 33554432000 1073741824 1073778376 140733924826512 139684093221800 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10074/tid=10081] ppid=10071 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/10074/task/10081/stat : 10081 (java) S 10071 10074 7329 0 -1 4202560 119 0 0 0 4 1 0 0 20 0 22 0 22927533 10060525568 94819 33554432000 1073741824 1073778376 140733924826512 139684092168488 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10074/tid=10082] ppid=10071 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/10074/task/10082/stat : 10082 (java) S 10071 10074 7329 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 22 0 22927533 10060525568 94819 33554432000 1073741824 1073778376 140733924826512 139684091115688 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10074/tid=10083] ppid=10071 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/10074/task/10083/stat : 10083 (java) S 10071 10074 7329 0 -1 4202560 20 0 0 0 3 0 0 0 20 0 22 0 22927533 10060525568 94819 33554432000 1073741824 1073778376 140733924826512 139684090063400 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10074/tid=10084] ppid=10071 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/10074/task/10084/stat : 10084 (java) S 10071 10074 7329 0 -1 4202560 31 0 0 0 4 1 0 0 20 0 22 0 22927533 10060525568 94819 33554432000 1073741824 1073778376 140733924826512 139684089010600 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10074/tid=10085] ppid=10071 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10074/task/10085/stat : 10085 (java) S 10071 10074 7329 0 -1 4202560 196 0 0 0 0 0 0 0 20 0 22 0 22927534 10060525568 94819 33554432000 1073741824 1073778376 140733924826512 139683958860520 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10074/tid=10086] ppid=10071 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10074/task/10086/stat : 10086 (java) S 10071 10074 7329 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 22927534 10060525568 94819 33554432000 1073741824 1073778376 140733924826512 139683957806584 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10074/tid=10087] ppid=10071 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10074/task/10087/stat : 10087 (java) S 10071 10074 7329 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 22927534 10060525568 94819 33554432000 1073741824 1073778376 140733924826512 139683956754184 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10074/tid=10088] ppid=10071 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10074/task/10088/stat : 10088 (java) S 10071 10074 7329 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22927537 10060525568 94819 33554432000 1073741824 1073778376 140733924826512 139683955702672 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10074/tid=10089] ppid=10071 vsize=9824732 CPUtime=0.69 cores=0,2,4,6
/proc/10074/task/10089/stat : 10089 (java) R 10071 10074 7329 0 -1 4202560 7511 0 0 0 68 1 0 0 20 0 22 0 22927537 10060525568 94819 33554432000 1073741824 1073778376 140733924826512 139683954649272 139684141090000 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10074/tid=10090] ppid=10071 vsize=9824732 CPUtime=0.66 cores=0,2,4,6
/proc/10074/task/10090/stat : 10090 (java) R 10071 10074 7329 0 -1 4202560 5800 0 0 0 65 1 0 0 20 0 22 0 22927537 10060525568 94819 33554432000 1073741824 1073778376 140733924826512 139683953596472 215128007093 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=10074/tid=10091] ppid=10071 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10074/task/10091/stat : 10091 (java) S 10071 10074 7329 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22927537 10060525568 94819 33554432000 1073741824 1073778376 140733924826512 139683952544376 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10074/tid=10092] ppid=10071 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10074/task/10092/stat : 10092 (java) S 10071 10074 7329 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22927537 10060525568 94819 33554432000 1073741824 1073778376 140733924826512 139683951491784 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.53
Current children cumulated vsize (KiB) 9824732
[startup+3.10093 s]
/proc/loadavg: 4.24 4.29 4.09 5/221 10096
/proc/meminfo: memFree=26545984/32872528 swapFree=1505436/1685308
[pid=10074] ppid=10071 vsize=9824732 CPUtime=7.58 cores=0,2,4,6
/proc/10074/stat : 10074 (java) S 10071 10074 7329 0 -1 4202496 20048 0 1 0 740 18 0 0 20 0 22 0 22927531 10060525568 102210 33554432000 1073741824 1073778376 140733924826512 140733924817648 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10074/statm: 2456183 102210 2278 9 0 2446860 0
[pid=10074/tid=10076] ppid=10071 vsize=9824732 CPUtime=0.97 cores=0,2,4,6
/proc/10074/task/10076/stat : 10076 (java) S 10071 10074 7329 0 -1 4202560 2549 0 1 0 91 6 0 0 20 0 22 0 22927532 10060525568 102210 33554432000 1073741824 1073778376 140733924826512 139684134888312 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10074/tid=10077] ppid=10071 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/10074/task/10077/stat : 10077 (java) S 10071 10074 7329 0 -1 4202560 32 0 0 0 3 1 0 0 20 0 22 0 22927533 10060525568 102210 33554432000 1073741824 1073778376 140733924826512 139684096379688 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10074/tid=10078] ppid=10071 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/10074/task/10078/stat : 10078 (java) S 10071 10074 7329 0 -1 4202560 151 0 0 0 4 0 0 0 20 0 22 0 22927533 10060525568 102210 33554432000 1073741824 1073778376 140733924826512 139684095326888 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10074/tid=10079] ppid=10071 vsize=9824732 CPUtime=0.07 cores=0,2,4,6
/proc/10074/task/10079/stat : 10079 (java) S 10071 10074 7329 0 -1 4202560 117 0 0 0 6 1 0 0 20 0 22 0 22927533 10060525568 102210 33554432000 1073741824 1073778376 140733924826512 139684094274600 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10074/tid=10080] ppid=10071 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/10074/task/10080/stat : 10080 (java) S 10071 10074 7329 0 -1 4202560 118 0 0 0 4 0 0 0 20 0 22 0 22927533 10060525568 102210 33554432000 1073741824 1073778376 140733924826512 139684093221800 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10074/tid=10081] ppid=10071 vsize=9824732 CPUtime=0.08 cores=0,2,4,6
/proc/10074/task/10081/stat : 10081 (java) S 10071 10074 7329 0 -1 4202560 151 0 0 0 6 2 0 0 20 0 22 0 22927533 10060525568 102210 33554432000 1073741824 1073778376 140733924826512 139684092168488 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10074/tid=10082] ppid=10071 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/10074/task/10082/stat : 10082 (java) S 10071 10074 7329 0 -1 4202560 25 0 0 0 3 1 0 0 20 0 22 0 22927533 10060525568 102210 33554432000 1073741824 1073778376 140733924826512 139684091115688 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10074/tid=10083] ppid=10071 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/10074/task/10083/stat : 10083 (java) S 10071 10074 7329 0 -1 4202560 32 0 0 0 4 0 0 0 20 0 22 0 22927533 10060525568 102210 33554432000 1073741824 1073778376 140733924826512 139684090063400 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10074/tid=10084] ppid=10071 vsize=9824732 CPUtime=0.07 cores=0,2,4,6
/proc/10074/task/10084/stat : 10084 (java) S 10071 10074 7329 0 -1 4202560 37 0 0 0 6 1 0 0 20 0 22 0 22927533 10060525568 102210 33554432000 1073741824 1073778376 140733924826512 139684089010600 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10074/tid=10085] ppid=10071 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10074/task/10085/stat : 10085 (java) S 10071 10074 7329 0 -1 4202560 197 0 0 0 0 0 0 0 20 0 22 0 22927534 10060525568 102210 33554432000 1073741824 1073778376 140733924826512 139683958860520 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10074/tid=10086] ppid=10071 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10074/task/10086/stat : 10086 (java) S 10071 10074 7329 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 22927534 10060525568 102210 33554432000 1073741824 1073778376 140733924826512 139683957806584 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10074/tid=10087] ppid=10071 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10074/task/10087/stat : 10087 (java) S 10071 10074 7329 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 22927534 10060525568 102210 33554432000 1073741824 1073778376 140733924826512 139683956754184 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10074/tid=10088] ppid=10071 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10074/task/10088/stat : 10088 (java) S 10071 10074 7329 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22927537 10060525568 102210 33554432000 1073741824 1073778376 140733924826512 139683955702672 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10074/tid=10089] ppid=10071 vsize=9824732 CPUtime=1.24 cores=0,2,4,6
/proc/10074/task/10089/stat : 10089 (java) S 10071 10074 7329 0 -1 4202560 7960 0 0 0 122 2 0 0 20 0 22 0 22927537 10060525568 102210 33554432000 1073741824 1073778376 140733924826512 139683954649272 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10074/tid=10090] ppid=10071 vsize=9824732 CPUtime=0.94 cores=0,2,4,6
/proc/10074/task/10090/stat : 10090 (java) S 10071 10074 7329 0 -1 4202560 7368 0 0 0 93 1 0 0 20 0 22 0 22927537 10060525568 102210 33554432000 1073741824 1073778376 140733924826512 139683953596472 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10074/tid=10091] ppid=10071 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10074/task/10091/stat : 10091 (java) S 10071 10074 7329 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22927537 10060525568 102210 33554432000 1073741824 1073778376 140733924826512 139683952544376 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10074/tid=10092] ppid=10071 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10074/task/10092/stat : 10092 (java) S 10071 10074 7329 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22927537 10060525568 102210 33554432000 1073741824 1073778376 140733924826512 139683951491784 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10074/tid=10093] ppid=10071 vsize=9824732 CPUtime=1.9 cores=0,2,4,6
/proc/10074/task/10093/stat : 10093 (java) R 10071 10074 7329 0 -1 4202560 21 0 0 0 190 0 0 0 20 0 22 0 22927643 10060525568 102210 33554432000 1073741824 1073778376 140733924826512 139683950436824 139683963936487 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10074/tid=10094] ppid=10071 vsize=9824732 CPUtime=1.91 cores=0,2,4,6
/proc/10074/task/10094/stat : 10094 (java) R 10071 10074 7329 0 -1 4202560 24 0 0 0 191 0 0 0 20 0 22 0 22927643 10060525568 102210 33554432000 1073741824 1073778376 140733924826512 139683949384712 139683964323708 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=10074/tid=10095] ppid=10071 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10074/task/10095/stat : 10095 (java) S 10071 10074 7329 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 22927647 10060525568 102210 33554432000 1073741824 1073778376 140733924826512 139683948332712 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10074/tid=10096] ppid=10071 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10074/task/10096/stat : 10096 (java) S 10071 10074 7329 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 22927647 10060525568 102210 33554432000 1073741824 1073778376 140733924826512 139682671224360 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 7.58
Current children cumulated vsize (KiB) 9824732
[startup+6.30099 s]
/proc/loadavg: 4.24 4.29 4.09 5/221 10096
/proc/meminfo: memFree=26364908/32872528 swapFree=1505436/1685308
[pid=10074] ppid=10071 vsize=9824732 CPUtime=14.1 cores=0,2,4,6
/proc/10074/stat : 10074 (java) S 10071 10074 7329 0 -1 4202496 20709 0 1 0 1384 26 0 0 20 0 22 0 22927531 10060525568 165669 33554432000 1073741824 1073778376 140733924826512 140733924817648 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10074/statm: 2456183 165669 2282 9 0 2446860 0
[pid=10074/tid=10076] ppid=10071 vsize=9824732 CPUtime=0.97 cores=0,2,4,6
/proc/10074/task/10076/stat : 10076 (java) S 10071 10074 7329 0 -1 4202560 2550 0 1 0 91 6 0 0 20 0 22 0 22927532 10060525568 165669 33554432000 1073741824 1073778376 140733924826512 139684134888312 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10074/tid=10077] ppid=10071 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/10074/task/10077/stat : 10077 (java) S 10071 10074 7329 0 -1 4202560 39 0 0 0 4 1 0 0 20 0 22 0 22927533 10060525568 165669 33554432000 1073741824 1073778376 140733924826512 139684096379688 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10074/tid=10078] ppid=10071 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
/proc/10074/task/10078/stat : 10078 (java) S 10071 10074 7329 0 -1 4202560 159 0 0 0 6 0 0 0 20 0 22 0 22927533 10060525568 165669 33554432000 1073741824 1073778376 140733924826512 139684095326888 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10074/tid=10079] ppid=10071 vsize=9824732 CPUtime=0.09 cores=0,2,4,6
/proc/10074/task/10079/stat : 10079 (java) S 10071 10074 7329 0 -1 4202560 122 0 0 0 7 2 0 0 20 0 22 0 22927533 10060525568 165669 33554432000 1073741824 1073778376 140733924826512 139684094274600 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10074/tid=10080] ppid=10071 vsize=9824732 CPUtime=0.07 cores=0,2,4,6
/proc/10074/task/10080/stat : 10080 (java) S 10071 10074 7329 0 -1 4202560 128 0 0 0 5 2 0 0 20 0 22 0 22927533 10060525568 165669 33554432000 1073741824 1073778376 140733924826512 139684093221800 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10074/tid=10081] ppid=10071 vsize=9824732 CPUtime=0.13 cores=0,2,4,6
/proc/10074/task/10081/stat : 10081 (java) S 10071 10074 7329 0 -1 4202560 171 0 0 0 11 2 0 0 20 0 22 0 22927533 10060525568 165669 33554432000 1073741824 1073778376 140733924826512 139684092168488 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10074/tid=10082] ppid=10071 vsize=9824732 CPUtime=0.07 cores=0,2,4,6
/proc/10074/task/10082/stat : 10082 (java) S 10071 10074 7329 0 -1 4202560 36 0 0 0 5 2 0 0 20 0 22 0 22927533 10060525568 165669 33554432000 1073741824 1073778376 140733924826512 139684091115688 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10074/tid=10083] ppid=10071 vsize=9824732 CPUtime=0.09 cores=0,2,4,6
/proc/10074/task/10083/stat : 10083 (java) S 10071 10074 7329 0 -1 4202560 48 0 0 0 7 2 0 0 20 0 22 0 22927533 10060525568 165669 33554432000 1073741824 1073778376 140733924826512 139684090063400 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10074/tid=10084] ppid=10071 vsize=9824732 CPUtime=0.09 cores=0,2,4,6
/proc/10074/task/10084/stat : 10084 (java) S 10071 10074 7329 0 -1 4202560 44 0 0 0 7 2 0 0 20 0 22 0 22927533 10060525568 165669 33554432000 1073741824 1073778376 140733924826512 139684089010600 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10074/tid=10085] ppid=10071 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10074/task/10085/stat : 10085 (java) S 10071 10074 7329 0 -1 4202560 477 0 0 0 0 0 0 0 20 0 22 0 22927534 10060525568 165669 33554432000 1073741824 1073778376 140733924826512 139683958860520 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10074/tid=10086] ppid=10071 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10074/task/10086/stat : 10086 (java) S 10071 10074 7329 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 22927534 10060525568 165669 33554432000 1073741824 1073778376 140733924826512 139683957806584 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10074/tid=10087] ppid=10071 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10074/task/10087/stat : 10087 (java) S 10071 10074 7329 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 22927534 10060525568 165669 33554432000 1073741824 1073778376 140733924826512 139683956754184 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10074/tid=10088] ppid=10071 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10074/task/10088/stat : 10088 (java) S 10071 10074 7329 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22927537 10060525568 165669 33554432000 1073741824 1073778376 140733924826512 139683955702672 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10074/tid=10089] ppid=10071 vsize=9824732 CPUtime=1.26 cores=0,2,4,6
/proc/10074/task/10089/stat : 10089 (java) S 10071 10074 7329 0 -1 4202560 7964 0 0 0 124 2 0 0 20 0 22 0 22927537 10060525568 165669 33554432000 1073741824 1073778376 140733924826512 139683954649272 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10074/tid=10090] ppid=10071 vsize=9824732 CPUtime=0.95 cores=0,2,4,6
/proc/10074/task/10090/stat : 10090 (java) S 10071 10074 7329 0 -1 4202560 7375 0 0 0 94 1 0 0 20 0 22 0 22927537 10060525568 165669 33554432000 1073741824 1073778376 140733924826512 139683953596472 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10074/tid=10091] ppid=10071 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10074/task/10091/stat : 10091 (java) S 10071 10074 7329 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22927537 10060525568 165669 33554432000 1073741824 1073778376 140733924826512 139683952544376 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10074/tid=10092] ppid=10071 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10074/task/10092/stat : 10092 (java) S 10071 10074 7329 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22927537 10060525568 165669 33554432000 1073741824 1073778376 140733924826512 139683951491784 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10074/tid=10093] ppid=10071 vsize=9824732 CPUtime=5.02 cores=0,2,4,6
################
# More data... #
################
/proc/10074/task/10079/stat : 10079 (java) S 10071 10074 7329 0 -1 4202560 540 0 0 0 132 14 0 0 20 0 22 0 22927533 10060525568 883637 33554432000 1073741824 1073778376 140733924826512 139684094274600 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10074/tid=10080] ppid=10071 vsize=9824732 CPUtime=1.73 cores=0,2,4,6
/proc/10074/task/10080/stat : 10080 (java) S 10071 10074 7329 0 -1 4202560 641 0 0 0 152 21 0 0 20 0 22 0 22927533 10060525568 883637 33554432000 1073741824 1073778376 140733924826512 139684093221800 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10074/tid=10081] ppid=10071 vsize=9824732 CPUtime=1.47 cores=0,2,4,6
/proc/10074/task/10081/stat : 10081 (java) S 10071 10074 7329 0 -1 4202560 475 0 0 0 132 15 0 0 20 0 22 0 22927533 10060525568 883637 33554432000 1073741824 1073778376 140733924826512 139684092168488 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10074/tid=10082] ppid=10071 vsize=9824732 CPUtime=1.3 cores=0,2,4,6
/proc/10074/task/10082/stat : 10082 (java) S 10071 10074 7329 0 -1 4202560 315 0 0 0 115 15 0 0 20 0 22 0 22927533 10060525568 883637 33554432000 1073741824 1073778376 140733924826512 139684091115688 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10074/tid=10083] ppid=10071 vsize=9824732 CPUtime=1.2 cores=0,2,4,6
/proc/10074/task/10083/stat : 10083 (java) S 10071 10074 7329 0 -1 4202560 440 0 0 0 108 12 0 0 20 0 22 0 22927533 10060525568 883637 33554432000 1073741824 1073778376 140733924826512 139684090063400 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10074/tid=10084] ppid=10071 vsize=9824732 CPUtime=1.65 cores=0,2,4,6
/proc/10074/task/10084/stat : 10084 (java) S 10071 10074 7329 0 -1 4202560 505 0 0 0 150 15 0 0 20 0 22 0 22927533 10060525568 883637 33554432000 1073741824 1073778376 140733924826512 139684089010600 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10074/tid=10085] ppid=10071 vsize=9824732 CPUtime=3.76 cores=0,2,4,6
/proc/10074/task/10085/stat : 10085 (java) S 10071 10074 7329 0 -1 4202560 2196 0 0 0 373 3 0 0 20 0 22 0 22927534 10060525568 883637 33554432000 1073741824 1073778376 140733924826512 139683958860520 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10074/tid=10086] ppid=10071 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10074/task/10086/stat : 10086 (java) S 10071 10074 7329 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 22927534 10060525568 883637 33554432000 1073741824 1073778376 140733924826512 139683957806584 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10074/tid=10087] ppid=10071 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10074/task/10087/stat : 10087 (java) S 10071 10074 7329 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 22927534 10060525568 883637 33554432000 1073741824 1073778376 140733924826512 139683956754184 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10074/tid=10088] ppid=10071 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10074/task/10088/stat : 10088 (java) S 10071 10074 7329 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22927537 10060525568 883637 33554432000 1073741824 1073778376 140733924826512 139683955702672 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10074/tid=10089] ppid=10071 vsize=9824732 CPUtime=1.38 cores=0,2,4,6
/proc/10074/task/10089/stat : 10089 (java) S 10071 10074 7329 0 -1 4202560 7974 0 0 0 136 2 0 0 20 0 22 0 22927537 10060525568 883637 33554432000 1073741824 1073778376 140733924826512 139683954649272 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10074/tid=10090] ppid=10071 vsize=9824732 CPUtime=1.3 cores=0,2,4,6
/proc/10074/task/10090/stat : 10090 (java) S 10071 10074 7329 0 -1 4202560 8280 0 0 0 129 1 0 0 20 0 22 0 22927537 10060525568 883637 33554432000 1073741824 1073778376 140733924826512 139683953596472 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10074/tid=10091] ppid=10071 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10074/task/10091/stat : 10091 (java) S 10071 10074 7329 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22927537 10060525568 883637 33554432000 1073741824 1073778376 140733924826512 139683952544376 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10074/tid=10092] ppid=10071 vsize=9824732 CPUtime=0.24 cores=0,2,4,6
/proc/10074/task/10092/stat : 10092 (java) S 10071 10074 7329 0 -1 4202560 49 0 0 0 10 14 0 0 20 0 22 0 22927537 10060525568 883637 33554432000 1073741824 1073778376 140733924826512 139683951491784 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10074/tid=10093] ppid=10071 vsize=9824732 CPUtime=812.17 cores=0,2,4,6
/proc/10074/task/10093/stat : 10093 (java) R 10071 10074 7329 0 -1 4202560 1310 0 0 0 81185 32 0 0 20 0 22 0 22927643 10060525568 883637 33554432000 1073741824 1073778376 140733924826512 139683950435104 139683964143584 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10074/tid=10094] ppid=10071 vsize=9824732 CPUtime=812.2 cores=0,2,4,6
/proc/10074/task/10094/stat : 10094 (java) R 10071 10074 7329 0 -1 4202560 407 0 0 0 81195 25 0 0 20 0 22 0 22927643 10060525568 883637 33554432000 1073741824 1073778376 140733924826512 139683949383088 139683964319827 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=10074/tid=10095] ppid=10071 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10074/task/10095/stat : 10095 (java) S 10071 10074 7329 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 22927647 10060525568 883637 33554432000 1073741824 1073778376 140733924826512 139683948332712 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10074/tid=10096] ppid=10071 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10074/task/10096/stat : 10096 (java) S 10071 10074 7329 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 22927647 10060525568 883637 33554432000 1073741824 1073778376 140733924826512 139682671224360 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1648.1
Current children cumulated vsize (KiB) 9824732
[startup+882.308 s]
/proc/loadavg: 4.20 4.23 4.14 6/221 10194
/proc/meminfo: memFree=24371048/32872528 swapFree=1505436/1685308
[pid=10074] ppid=10071 vsize=9824732 CPUtime=1768.24 cores=0,2,4,6
/proc/10074/stat : 10074 (java) S 10071 10074 7329 0 -1 4202496 28001 0 1 0 176639 185 0 0 20 0 22 0 22927531 10060525568 853181 33554432000 1073741824 1073778376 140733924826512 140733924817648 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10074/statm: 2456183 853181 2292 9 0 2446860 0
[pid=10074/tid=10076] ppid=10071 vsize=9824732 CPUtime=1 cores=0,2,4,6
/proc/10074/task/10076/stat : 10076 (java) S 10071 10074 7329 0 -1 4202560 2560 0 1 0 93 7 0 0 20 0 22 0 22927532 10060525568 853181 33554432000 1073741824 1073778376 140733924826512 139684134888312 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10074/tid=10077] ppid=10071 vsize=9824732 CPUtime=1.55 cores=0,2,4,6
/proc/10074/task/10077/stat : 10077 (java) S 10071 10074 7329 0 -1 4202560 513 0 0 0 136 19 0 0 20 0 22 0 22927533 10060525568 853181 33554432000 1073741824 1073778376 140733924826512 139684096379688 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10074/tid=10078] ppid=10071 vsize=9824732 CPUtime=1.66 cores=0,2,4,6
/proc/10074/task/10078/stat : 10078 (java) S 10071 10074 7329 0 -1 4202560 515 0 0 0 150 16 0 0 20 0 22 0 22927533 10060525568 853181 33554432000 1073741824 1073778376 140733924826512 139684095326888 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10074/tid=10079] ppid=10071 vsize=9824732 CPUtime=1.49 cores=0,2,4,6
/proc/10074/task/10079/stat : 10079 (java) S 10071 10074 7329 0 -1 4202560 540 0 0 0 135 14 0 0 20 0 22 0 22927533 10060525568 853181 33554432000 1073741824 1073778376 140733924826512 139684094274600 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10074/tid=10080] ppid=10071 vsize=9824732 CPUtime=1.75 cores=0,2,4,6
/proc/10074/task/10080/stat : 10080 (java) S 10071 10074 7329 0 -1 4202560 641 0 0 0 154 21 0 0 20 0 22 0 22927533 10060525568 853181 33554432000 1073741824 1073778376 140733924826512 139684093221800 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10074/tid=10081] ppid=10071 vsize=9824732 CPUtime=1.5 cores=0,2,4,6
/proc/10074/task/10081/stat : 10081 (java) S 10071 10074 7329 0 -1 4202560 477 0 0 0 135 15 0 0 20 0 22 0 22927533 10060525568 853181 33554432000 1073741824 1073778376 140733924826512 139684092168488 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10074/tid=10082] ppid=10071 vsize=9824732 CPUtime=1.32 cores=0,2,4,6
/proc/10074/task/10082/stat : 10082 (java) S 10071 10074 7329 0 -1 4202560 320 0 0 0 117 15 0 0 20 0 22 0 22927533 10060525568 853181 33554432000 1073741824 1073778376 140733924826512 139684091115688 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10074/tid=10083] ppid=10071 vsize=9824732 CPUtime=1.22 cores=0,2,4,6
/proc/10074/task/10083/stat : 10083 (java) S 10071 10074 7329 0 -1 4202560 444 0 0 0 110 12 0 0 20 0 22 0 22927533 10060525568 853181 33554432000 1073741824 1073778376 140733924826512 139684090063400 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10074/tid=10084] ppid=10071 vsize=9824732 CPUtime=1.72 cores=0,2,4,6
/proc/10074/task/10084/stat : 10084 (java) S 10071 10074 7329 0 -1 4202560 505 0 0 0 157 15 0 0 20 0 22 0 22927533 10060525568 853181 33554432000 1073741824 1073778376 140733924826512 139684089010600 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10074/tid=10085] ppid=10071 vsize=9824732 CPUtime=3.76 cores=0,2,4,6
/proc/10074/task/10085/stat : 10085 (java) S 10071 10074 7329 0 -1 4202560 2198 0 0 0 373 3 0 0 20 0 22 0 22927534 10060525568 853181 33554432000 1073741824 1073778376 140733924826512 139683958860520 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10074/tid=10086] ppid=10071 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10074/task/10086/stat : 10086 (java) S 10071 10074 7329 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 22927534 10060525568 853181 33554432000 1073741824 1073778376 140733924826512 139683957806584 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10074/tid=10087] ppid=10071 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10074/task/10087/stat : 10087 (java) S 10071 10074 7329 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 22927534 10060525568 853181 33554432000 1073741824 1073778376 140733924826512 139683956754184 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10074/tid=10088] ppid=10071 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10074/task/10088/stat : 10088 (java) S 10071 10074 7329 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22927537 10060525568 853181 33554432000 1073741824 1073778376 140733924826512 139683955702672 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10074/tid=10089] ppid=10071 vsize=9824732 CPUtime=1.38 cores=0,2,4,6
/proc/10074/task/10089/stat : 10089 (java) S 10071 10074 7329 0 -1 4202560 7974 0 0 0 136 2 0 0 20 0 22 0 22927537 10060525568 853181 33554432000 1073741824 1073778376 140733924826512 139683954649272 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10074/tid=10090] ppid=10071 vsize=9824732 CPUtime=1.3 cores=0,2,4,6
/proc/10074/task/10090/stat : 10090 (java) S 10071 10074 7329 0 -1 4202560 8280 0 0 0 129 1 0 0 20 0 22 0 22927537 10060525568 853181 33554432000 1073741824 1073778376 140733924826512 139683953596472 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10074/tid=10091] ppid=10071 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10074/task/10091/stat : 10091 (java) S 10071 10074 7329 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22927537 10060525568 853181 33554432000 1073741824 1073778376 140733924826512 139683952544376 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10074/tid=10092] ppid=10071 vsize=9824732 CPUtime=0.24 cores=0,2,4,6
/proc/10074/task/10092/stat : 10092 (java) S 10071 10074 7329 0 -1 4202560 51 0 0 0 10 14 0 0 20 0 22 0 22927537 10060525568 853181 33554432000 1073741824 1073778376 140733924826512 139683951491784 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10074/tid=10093] ppid=10071 vsize=9824732 CPUtime=871.95 cores=0,2,4,6
/proc/10074/task/10093/stat : 10093 (java) R 10071 10074 7329 0 -1 4202560 1310 0 0 0 87162 33 0 0 20 0 22 0 22927643 10060525568 853181 33554432000 1073741824 1073778376 140733924826512 139683950428432 139683964144523 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10074/tid=10094] ppid=10071 vsize=9824732 CPUtime=871.97 cores=0,2,4,6
/proc/10074/task/10094/stat : 10094 (java) R 10071 10074 7329 0 -1 4202560 408 0 0 0 87171 26 0 0 20 0 22 0 22927643 10060525568 853181 33554432000 1073741824 1073778376 140733924826512 139683949383136 139683964319126 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=10074/tid=10095] ppid=10071 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10074/task/10095/stat : 10095 (java) S 10071 10074 7329 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 22927647 10060525568 853181 33554432000 1073741824 1073778376 140733924826512 139683948332712 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10074/tid=10096] ppid=10071 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10074/task/10096/stat : 10096 (java) S 10071 10074 7329 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 22927647 10060525568 853181 33554432000 1073741824 1073778376 140733924826512 139682671224360 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1768.24
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+898.201 s]
/proc/loadavg: 4.24 4.24 4.15 5/221 10194
/proc/meminfo: memFree=24366516/32872528 swapFree=1505436/1685308
[pid=10074] ppid=10071 vsize=9824732 CPUtime=1800.12 cores=0,2,4,6
/proc/10074/stat : 10074 (java) S 10071 10074 7329 0 -1 4202496 28022 0 1 0 179827 185 0 0 20 0 22 0 22927531 10060525568 828784 33554432000 1073741824 1073778376 140733924826512 140733924817648 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10074/statm: 2456183 828784 2292 9 0 2446860 0
[pid=10074/tid=10076] ppid=10071 vsize=9824732 CPUtime=1 cores=0,2,4,6
/proc/10074/task/10076/stat : 10076 (java) S 10071 10074 7329 0 -1 4202560 2560 0 1 0 93 7 0 0 20 0 22 0 22927532 10060525568 828784 33554432000 1073741824 1073778376 140733924826512 139684134888312 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10074/tid=10077] ppid=10071 vsize=9824732 CPUtime=1.59 cores=0,2,4,6
/proc/10074/task/10077/stat : 10077 (java) S 10071 10074 7329 0 -1 4202560 513 0 0 0 140 19 0 0 20 0 22 0 22927533 10060525568 828784 33554432000 1073741824 1073778376 140733924826512 139684096379688 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10074/tid=10078] ppid=10071 vsize=9824732 CPUtime=1.73 cores=0,2,4,6
/proc/10074/task/10078/stat : 10078 (java) S 10071 10074 7329 0 -1 4202560 515 0 0 0 157 16 0 0 20 0 22 0 22927533 10060525568 828784 33554432000 1073741824 1073778376 140733924826512 139684095326888 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10074/tid=10079] ppid=10071 vsize=9824732 CPUtime=1.52 cores=0,2,4,6
/proc/10074/task/10079/stat : 10079 (java) S 10071 10074 7329 0 -1 4202560 540 0 0 0 138 14 0 0 20 0 22 0 22927533 10060525568 828784 33554432000 1073741824 1073778376 140733924826512 139684094274600 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10074/tid=10080] ppid=10071 vsize=9824732 CPUtime=1.79 cores=0,2,4,6
/proc/10074/task/10080/stat : 10080 (java) S 10071 10074 7329 0 -1 4202560 641 0 0 0 158 21 0 0 20 0 22 0 22927533 10060525568 828784 33554432000 1073741824 1073778376 140733924826512 139684093221800 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10074/tid=10081] ppid=10071 vsize=9824732 CPUtime=1.54 cores=0,2,4,6
/proc/10074/task/10081/stat : 10081 (java) S 10071 10074 7329 0 -1 4202560 477 0 0 0 139 15 0 0 20 0 22 0 22927533 10060525568 828784 33554432000 1073741824 1073778376 140733924826512 139684092168488 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10074/tid=10082] ppid=10071 vsize=9824732 CPUtime=1.34 cores=0,2,4,6
/proc/10074/task/10082/stat : 10082 (java) S 10071 10074 7329 0 -1 4202560 320 0 0 0 119 15 0 0 20 0 22 0 22927533 10060525568 828784 33554432000 1073741824 1073778376 140733924826512 139684091115688 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10074/tid=10083] ppid=10071 vsize=9824732 CPUtime=1.26 cores=0,2,4,6
/proc/10074/task/10083/stat : 10083 (java) S 10071 10074 7329 0 -1 4202560 462 0 0 0 114 12 0 0 20 0 22 0 22927533 10060525568 828784 33554432000 1073741824 1073778376 140733924826512 139684090063400 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10074/tid=10084] ppid=10071 vsize=9824732 CPUtime=1.73 cores=0,2,4,6
/proc/10074/task/10084/stat : 10084 (java) S 10071 10074 7329 0 -1 4202560 505 0 0 0 158 15 0 0 20 0 22 0 22927533 10060525568 828784 33554432000 1073741824 1073778376 140733924826512 139684089010600 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10074/tid=10085] ppid=10071 vsize=9824732 CPUtime=3.76 cores=0,2,4,6
/proc/10074/task/10085/stat : 10085 (java) S 10071 10074 7329 0 -1 4202560 2198 0 0 0 373 3 0 0 20 0 22 0 22927534 10060525568 828784 33554432000 1073741824 1073778376 140733924826512 139683958860520 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10074/tid=10086] ppid=10071 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10074/task/10086/stat : 10086 (java) S 10071 10074 7329 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 22927534 10060525568 828784 33554432000 1073741824 1073778376 140733924826512 139683957806584 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10074/tid=10087] ppid=10071 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10074/task/10087/stat : 10087 (java) S 10071 10074 7329 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 22927534 10060525568 828784 33554432000 1073741824 1073778376 140733924826512 139683956754184 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10074/tid=10088] ppid=10071 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10074/task/10088/stat : 10088 (java) S 10071 10074 7329 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22927537 10060525568 828784 33554432000 1073741824 1073778376 140733924826512 139683955702672 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10074/tid=10089] ppid=10071 vsize=9824732 CPUtime=1.38 cores=0,2,4,6
/proc/10074/task/10089/stat : 10089 (java) S 10071 10074 7329 0 -1 4202560 7974 0 0 0 136 2 0 0 20 0 22 0 22927537 10060525568 828784 33554432000 1073741824 1073778376 140733924826512 139683954649272 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10074/tid=10090] ppid=10071 vsize=9824732 CPUtime=1.3 cores=0,2,4,6
/proc/10074/task/10090/stat : 10090 (java) S 10071 10074 7329 0 -1 4202560 8280 0 0 0 129 1 0 0 20 0 22 0 22927537 10060525568 828784 33554432000 1073741824 1073778376 140733924826512 139683953596472 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10074/tid=10091] ppid=10071 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10074/task/10091/stat : 10091 (java) S 10071 10074 7329 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22927537 10060525568 828784 33554432000 1073741824 1073778376 140733924826512 139683952544376 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10074/tid=10092] ppid=10071 vsize=9824732 CPUtime=0.25 cores=0,2,4,6
/proc/10074/task/10092/stat : 10092 (java) S 10071 10074 7329 0 -1 4202560 53 0 0 0 10 15 0 0 20 0 22 0 22927537 10060525568 828784 33554432000 1073741824 1073778376 140733924826512 139683951491784 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10074/tid=10093] ppid=10071 vsize=9824732 CPUtime=887.7 cores=0,2,4,6
/proc/10074/task/10093/stat : 10093 (java) R 10071 10074 7329 0 -1 4202560 1310 0 0 0 88737 33 0 0 20 0 22 0 22927643 10060525568 828784 33554432000 1073741824 1073778376 140733924826512 139683950435104 139683964144523 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10074/tid=10094] ppid=10071 vsize=9824732 CPUtime=887.72 cores=0,2,4,6
/proc/10074/task/10094/stat : 10094 (java) R 10071 10074 7329 0 -1 4202560 409 0 0 0 88746 26 0 0 20 0 22 0 22927643 10060525568 828784 33554432000 1073741824 1073778376 140733924826512 139683949383184 139683964323724 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=10074/tid=10095] ppid=10071 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10074/task/10095/stat : 10095 (java) S 10071 10074 7329 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 22927647 10060525568 828784 33554432000 1073741824 1073778376 140733924826512 139683948332712 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10074/tid=10096] ppid=10071 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10074/task/10096/stat : 10096 (java) S 10071 10074 7329 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 22927647 10060525568 828784 33554432000 1073741824 1073778376 140733924826512 139682671224360 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 9824732
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 10074 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 10074 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=689317
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=312648
# CPU time returned by wait4() is 1796
# while last known CPU time is 1800.12
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 898.247
CPU time (s): 1800.12
CPU user time (s): 1798.27
CPU system time (s): 1.85
CPU usage (%): 200.404
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.69
system time used= 2.31265
maximum resident set size= 3681552
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28064
page faults= 1
swaps= 0
block input operations= 0
block output operations= 920
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22279
involuntary context switches= 17106
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.75328 second user time and 8.32673 second system time
The end