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-4100261-1466211734/watcher-4100261-1466211734 -o /tmp/evaluation-result-4100261-1466211734/solver-4100261-1466211734 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node133-1466206057-11790 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4100261-1466211734.opb
pid=15211
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.05 2.03 2.00 3/197 15214
/proc/meminfo: memFree=31652988/32872528 swapFree=7780/7780
[pid=15214] ppid=15211 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/15214/stat : 15214 (java) R 15211 15214 11773 0 -1 4202496 327 0 0 0 0 0 0 0 20 0 1 0 23219367 9515008 184 33554432000 1073741824 1073778376 140734950623936 140734950615160 206408674743 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15214/statm: 2323 184 142 9 0 71 0
[startup+0.100161 s]
/proc/loadavg: 2.05 2.03 2.00 3/197 15214
/proc/meminfo: memFree=31652988/32872528 swapFree=7780/7780
[pid=15214] ppid=15211 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/15214/stat : 15214 (java) S 15211 15214 11773 0 -1 4202496 4445 0 1 0 8 1 0 0 20 0 18 0 23219367 9787879424 5576 33554432000 1073741824 1073778376 140734574646304 140734574637440 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15214/statm: 2389619 5576 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476
[startup+0.200326 s]
/proc/loadavg: 2.05 2.03 2.00 3/197 15214
/proc/meminfo: memFree=31652988/32872528 swapFree=7780/7780
[pid=15214] ppid=15211 vsize=9558476 CPUtime=0.28 cores=1,3,5,7
/proc/15214/stat : 15214 (java) S 15211 15214 11773 0 -1 4202496 5146 0 1 0 26 2 0 0 20 0 18 0 23219367 9787879424 9091 33554432000 1073741824 1073778376 140734574646304 140734574637440 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15214/statm: 2389619 9091 2214 9 0 2380296 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9558476
[startup+0.30035 s]
/proc/loadavg: 2.05 2.03 2.00 3/197 15214
/proc/meminfo: memFree=31652988/32872528 swapFree=7780/7780
[pid=15214] ppid=15211 vsize=9558476 CPUtime=0.54 cores=1,3,5,7
/proc/15214/stat : 15214 (java) S 15211 15214 11773 0 -1 4202496 8176 0 1 0 51 3 0 0 20 0 18 0 23219367 9787879424 12432 33554432000 1073741824 1073778376 140734574646304 140734574637440 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15214/statm: 2389619 12435 2231 9 0 2380296 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 9558476
[startup+0.700324 s]
/proc/loadavg: 2.05 2.03 2.00 3/197 15214
/proc/meminfo: memFree=31652988/32872528 swapFree=7780/7780
[pid=15214] ppid=15211 vsize=9558476 CPUtime=1.3 cores=1,3,5,7
/proc/15214/stat : 15214 (java) S 15211 15214 11773 0 -1 4202496 11435 0 1 0 122 8 0 0 20 0 18 0 23219367 9787879424 49820 33554432000 1073741824 1073778376 140734574646304 140734574637440 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15214/statm: 2389619 49820 2268 9 0 2380296 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 9558476
[startup+1.50082 s]
/proc/loadavg: 2.05 2.03 2.00 3/215 15232
/proc/meminfo: memFree=31410316/32872528 swapFree=7780/7780
[pid=15214] ppid=15211 vsize=9558476 CPUtime=2.59 cores=1,3,5,7
/proc/15214/stat : 15214 (java) S 15211 15214 11773 0 -1 4202496 12217 0 1 0 235 24 0 0 20 0 18 0 23219367 9787879424 109194 33554432000 1073741824 1073778376 140734574646304 140734574637440 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15214/statm: 2389619 109194 2268 9 0 2380296 0
[pid=15214/tid=15216] ppid=15211 vsize=9558476 CPUtime=1.25 cores=1,3,5,7
/proc/15214/task/15216/stat : 15216 (java) R 15211 15214 11773 0 -1 4202560 2574 0 1 0 121 4 0 0 20 0 18 0 23219368 9787879424 109194 33554432000 1073741824 1073778376 140734574646304 140504353208584 140504226389335 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=15214/tid=15217] ppid=15211 vsize=9558476 CPUtime=0.05 cores=1,3,5,7
/proc/15214/task/15217/stat : 15217 (java) S 15211 15214 11773 0 -1 4202560 33 0 0 0 4 1 0 0 20 0 18 0 23219369 9787879424 109194 33554432000 1073741824 1073778376 140734574646304 140504197257512 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15214/tid=15218] ppid=15211 vsize=9558476 CPUtime=0.11 cores=1,3,5,7
/proc/15214/task/15218/stat : 15218 (java) S 15211 15214 11773 0 -1 4202560 141 0 0 0 8 3 0 0 20 0 18 0 23219369 9787879424 109194 33554432000 1073741824 1073778376 140734574646304 140504196204712 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15214/tid=15219] ppid=15211 vsize=9558476 CPUtime=0.06 cores=1,3,5,7
/proc/15214/task/15219/stat : 15219 (java) S 15211 15214 11773 0 -1 4202560 31 0 0 0 4 2 0 0 20 0 18 0 23219369 9787879424 109194 33554432000 1073741824 1073778376 140734574646304 140504195152424 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15214/tid=15220] ppid=15211 vsize=9558476 CPUtime=0.15 cores=1,3,5,7
/proc/15214/task/15220/stat : 15220 (java) S 15211 15214 11773 0 -1 4202560 163 0 0 0 11 4 0 0 20 0 18 0 23219369 9787879424 109194 33554432000 1073741824 1073778376 140734574646304 140504194099624 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15214/tid=15221] ppid=15211 vsize=9558476 CPUtime=0.13 cores=1,3,5,7
/proc/15214/task/15221/stat : 15221 (java) S 15211 15214 11773 0 -1 4202560 60 0 0 0 10 3 0 0 20 0 18 0 23219369 9787879424 109194 33554432000 1073741824 1073778376 140734574646304 140504193047336 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15214/tid=15222] ppid=15211 vsize=9558476 CPUtime=0.1 cores=1,3,5,7
/proc/15214/task/15222/stat : 15222 (java) S 15211 15214 11773 0 -1 4202560 127 0 0 0 7 3 0 0 20 0 18 0 23219369 9787879424 109194 33554432000 1073741824 1073778376 140734574646304 140504191994536 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15214/tid=15223] ppid=15211 vsize=9558476 CPUtime=0.04 cores=1,3,5,7
/proc/15214/task/15223/stat : 15223 (java) S 15211 15214 11773 0 -1 4202560 26 0 0 0 3 1 0 0 20 0 18 0 23219369 9787879424 109194 33554432000 1073741824 1073778376 140734574646304 140504190942248 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15214/tid=15224] ppid=15211 vsize=9558476 CPUtime=0.06 cores=1,3,5,7
/proc/15214/task/15224/stat : 15224 (java) S 15211 15214 11773 0 -1 4202560 114 0 0 0 4 2 0 0 20 0 18 0 23219369 9787879424 109194 33554432000 1073741824 1073778376 140734574646304 140504189889448 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15214/tid=15225] ppid=15211 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/15214/task/15225/stat : 15225 (java) S 15211 15214 11773 0 -1 4202560 196 0 0 0 0 0 0 0 20 0 18 0 23219370 9787879424 109194 33554432000 1073741824 1073778376 140734574646304 140504177477864 206412232617 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15214/tid=15226] ppid=15211 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/15214/task/15226/stat : 15226 (java) S 15211 15214 11773 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 23219370 9787879424 109194 33554432000 1073741824 1073778376 140734574646304 140504176423928 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15214/tid=15227] ppid=15211 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/15214/task/15227/stat : 15227 (java) S 15211 15214 11773 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 23219370 9787879424 109194 33554432000 1073741824 1073778376 140734574646304 140504175371528 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15214/tid=15228] ppid=15211 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/15214/task/15228/stat : 15228 (java) S 15211 15214 11773 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 23219373 9787879424 109194 33554432000 1073741824 1073778376 140734574646304 140504174320016 206412240672 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15214/tid=15229] ppid=15211 vsize=9558476 CPUtime=0.23 cores=1,3,5,7
/proc/15214/task/15229/stat : 15229 (java) S 15211 15214 11773 0 -1 4202560 2951 0 0 0 23 0 0 0 20 0 18 0 23219373 9787879424 109194 33554432000 1073741824 1073778376 140734574646304 140504173267640 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15214/tid=15230] ppid=15211 vsize=9558476 CPUtime=0.25 cores=1,3,5,7
/proc/15214/task/15230/stat : 15230 (java) S 15211 15214 11773 0 -1 4202560 4550 0 0 0 24 1 0 0 20 0 18 0 23219373 9787879424 109194 33554432000 1073741824 1073778376 140734574646304 140504172214840 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15214/tid=15231] ppid=15211 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/15214/task/15231/stat : 15231 (java) S 15211 15214 11773 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 23219373 9787879424 109194 33554432000 1073741824 1073778376 140734574646304 140504171162744 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15214/tid=15232] ppid=15211 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/15214/task/15232/stat : 15232 (java) S 15211 15214 11773 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 23219373 9787879424 109194 33554432000 1073741824 1073778376 140734574646304 140504170110152 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.59
Current children cumulated vsize (KiB) 9558476
[startup+3.10085 s]
/proc/loadavg: 2.05 2.03 2.00 3/215 15232
/proc/meminfo: memFree=31145644/32872528 swapFree=7780/7780
[pid=15214] ppid=15211 vsize=9558476 CPUtime=4.55 cores=1,3,5,7
/proc/15214/stat : 15214 (java) S 15211 15214 11773 0 -1 4202496 12957 0 1 0 418 37 0 0 20 0 18 0 23219367 9787879424 183926 33554432000 1073741824 1073778376 140734574646304 140734574637440 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15214/statm: 2389619 183926 2268 9 0 2380296 0
[pid=15214/tid=15216] ppid=15211 vsize=9558476 CPUtime=2.73 cores=1,3,5,7
/proc/15214/task/15216/stat : 15216 (java) R 15211 15214 11773 0 -1 4202560 2861 0 1 0 265 8 0 0 20 0 18 0 23219368 9787879424 183926 33554432000 1073741824 1073778376 140734574646304 140504353202128 140504226274771 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=15214/tid=15217] ppid=15211 vsize=9558476 CPUtime=0.08 cores=1,3,5,7
/proc/15214/task/15217/stat : 15217 (java) S 15211 15214 11773 0 -1 4202560 38 0 0 0 6 2 0 0 20 0 18 0 23219369 9787879424 183926 33554432000 1073741824 1073778376 140734574646304 140504197257512 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15214/tid=15218] ppid=15211 vsize=9558476 CPUtime=0.22 cores=1,3,5,7
/proc/15214/task/15218/stat : 15218 (java) S 15211 15214 11773 0 -1 4202560 201 0 0 0 17 5 0 0 20 0 18 0 23219369 9787879424 183926 33554432000 1073741824 1073778376 140734574646304 140504196204712 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15214/tid=15219] ppid=15211 vsize=9558476 CPUtime=0.08 cores=1,3,5,7
/proc/15214/task/15219/stat : 15219 (java) S 15211 15214 11773 0 -1 4202560 36 0 0 0 6 2 0 0 20 0 18 0 23219369 9787879424 183926 33554432000 1073741824 1073778376 140734574646304 140504195152424 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15214/tid=15220] ppid=15211 vsize=9558476 CPUtime=0.18 cores=1,3,5,7
/proc/15214/task/15220/stat : 15220 (java) S 15211 15214 11773 0 -1 4202560 175 0 0 0 13 5 0 0 20 0 18 0 23219369 9787879424 183926 33554432000 1073741824 1073778376 140734574646304 140504194099624 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15214/tid=15221] ppid=15211 vsize=9558476 CPUtime=0.24 cores=1,3,5,7
/proc/15214/task/15221/stat : 15221 (java) S 15211 15214 11773 0 -1 4202560 362 0 0 0 19 5 0 0 20 0 18 0 23219369 9787879424 183926 33554432000 1073741824 1073778376 140734574646304 140504193047336 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15214/tid=15222] ppid=15211 vsize=9558476 CPUtime=0.21 cores=1,3,5,7
/proc/15214/task/15222/stat : 15222 (java) S 15211 15214 11773 0 -1 4202560 178 0 0 0 16 5 0 0 20 0 18 0 23219369 9787879424 183926 33554432000 1073741824 1073778376 140734574646304 140504191994536 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15214/tid=15223] ppid=15211 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/15214/task/15223/stat : 15223 (java) S 15211 15214 11773 0 -1 4202560 35 0 0 0 5 2 0 0 20 0 18 0 23219369 9787879424 183926 33554432000 1073741824 1073778376 140734574646304 140504190942248 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15214/tid=15224] ppid=15211 vsize=9558476 CPUtime=0.08 cores=1,3,5,7
/proc/15214/task/15224/stat : 15224 (java) S 15211 15214 11773 0 -1 4202560 122 0 0 0 6 2 0 0 20 0 18 0 23219369 9787879424 183926 33554432000 1073741824 1073778376 140734574646304 140504189889448 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15214/tid=15225] ppid=15211 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/15214/task/15225/stat : 15225 (java) S 15211 15214 11773 0 -1 4202560 196 0 0 0 0 0 0 0 20 0 18 0 23219370 9787879424 183926 33554432000 1073741824 1073778376 140734574646304 140504177477864 206412232617 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15214/tid=15226] ppid=15211 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/15214/task/15226/stat : 15226 (java) S 15211 15214 11773 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 23219370 9787879424 183926 33554432000 1073741824 1073778376 140734574646304 140504176423928 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15214/tid=15227] ppid=15211 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/15214/task/15227/stat : 15227 (java) S 15211 15214 11773 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 23219370 9787879424 183926 33554432000 1073741824 1073778376 140734574646304 140504175371528 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15214/tid=15228] ppid=15211 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/15214/task/15228/stat : 15228 (java) S 15211 15214 11773 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 23219373 9787879424 183926 33554432000 1073741824 1073778376 140734574646304 140504174320016 206412240672 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15214/tid=15229] ppid=15211 vsize=9558476 CPUtime=0.24 cores=1,3,5,7
/proc/15214/task/15229/stat : 15229 (java) S 15211 15214 11773 0 -1 4202560 2951 0 0 0 24 0 0 0 20 0 18 0 23219373 9787879424 183926 33554432000 1073741824 1073778376 140734574646304 140504173267640 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15214/tid=15230] ppid=15211 vsize=9558476 CPUtime=0.26 cores=1,3,5,7
/proc/15214/task/15230/stat : 15230 (java) S 15211 15214 11773 0 -1 4202560 4551 0 0 0 25 1 0 0 20 0 18 0 23219373 9787879424 183926 33554432000 1073741824 1073778376 140734574646304 140504172214840 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15214/tid=15231] ppid=15211 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/15214/task/15231/stat : 15231 (java) S 15211 15214 11773 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 23219373 9787879424 183926 33554432000 1073741824 1073778376 140734574646304 140504171162744 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15214/tid=15232] ppid=15211 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/15214/task/15232/stat : 15232 (java) S 15211 15214 11773 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 23219373 9787879424 183926 33554432000 1073741824 1073778376 140734574646304 140504170110152 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 4.55
Current children cumulated vsize (KiB) 9558476
[startup+6.30088 s]
/proc/loadavg: 2.05 2.03 2.00 3/216 15233
/proc/meminfo: memFree=30756024/32872528 swapFree=7780/7780
[pid=15214] ppid=15211 vsize=9625040 CPUtime=8.98 cores=1,3,5,7
/proc/15214/stat : 15214 (java) S 15211 15214 11773 0 -1 4202496 14213 0 1 0 842 56 0 0 20 0 19 0 23219367 9856040960 227886 33554432000 1073741824 1073778376 140734574646304 140734574637440 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15214/statm: 2406260 227886 2280 9 0 2396937 0
[pid=15214/tid=15216] ppid=15211 vsize=9625040 CPUtime=5.63 cores=1,3,5,7
/proc/15214/task/15216/stat : 15216 (java) R 15211 15214 11773 0 -1 4202560 2879 0 1 0 555 8 0 0 20 0 19 0 23219368 9856040960 227886 33554432000 1073741824 1073778376 140734574646304 140504353210744 140504226516559 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=15214/tid=15217] ppid=15211 vsize=9625040 CPUtime=0.2 cores=1,3,5,7
/proc/15214/task/15217/stat : 15217 (java) S 15211 15214 11773 0 -1 4202560 79 0 0 0 16 4 0 0 20 0 19 0 23219369 9856040960 227886 33554432000 1073741824 1073778376 140734574646304 140504197257512 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15214/tid=15218] ppid=15211 vsize=9625040 CPUtime=0.35 cores=1,3,5,7
/proc/15214/task/15218/stat : 15218 (java) S 15211 15214 11773 0 -1 4202560 238 0 0 0 28 7 0 0 20 0 19 0 23219369 9856040960 227886 33554432000 1073741824 1073778376 140734574646304 140504196204712 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15214/tid=15219] ppid=15211 vsize=9625040 CPUtime=0.16 cores=1,3,5,7
/proc/15214/task/15219/stat : 15219 (java) S 15211 15214 11773 0 -1 4202560 65 0 0 0 13 3 0 0 20 0 19 0 23219369 9856040960 227886 33554432000 1073741824 1073778376 140734574646304 140504195152424 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15214/tid=15220] ppid=15211 vsize=9625040 CPUtime=0.39 cores=1,3,5,7
/proc/15214/task/15220/stat : 15220 (java) S 15211 15214 11773 0 -1 4202560 236 0 0 0 31 8 0 0 20 0 19 0 23219369 9856040960 227886 33554432000 1073741824 1073778376 140734574646304 140504194099624 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15214/tid=15221] ppid=15211 vsize=9625040 CPUtime=0.37 cores=1,3,5,7
/proc/15214/task/15221/stat : 15221 (java) S 15211 15214 11773 0 -1 4202560 403 0 0 0 30 7 0 0 20 0 19 0 23219369 9856040960 227886 33554432000 1073741824 1073778376 140734574646304 140504193047336 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15214/tid=15222] ppid=15211 vsize=9625040 CPUtime=0.33 cores=1,3,5,7
/proc/15214/task/15222/stat : 15222 (java) S 15211 15214 11773 0 -1 4202560 213 0 0 0 26 7 0 0 20 0 19 0 23219369 9856040960 227886 33554432000 1073741824 1073778376 140734574646304 140504191994536 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15214/tid=15223] ppid=15211 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/15214/task/15223/stat : 15223 (java) S 15211 15214 11773 0 -1 4202560 104 0 0 0 14 4 0 0 20 0 19 0 23219369 9856040960 227886 33554432000 1073741824 1073778376 140734574646304 140504190942248 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15214/tid=15224] ppid=15211 vsize=9625040 CPUtime=0.25 cores=1,3,5,7
/proc/15214/task/15224/stat : 15224 (java) S 15211 15214 11773 0 -1 4202560 186 0 0 0 20 5 0 0 20 0 19 0 23219369 9856040960 227886 33554432000 1073741824 1073778376 140734574646304 140504189889448 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15214/tid=15225] ppid=15211 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15214/task/15225/stat : 15225 (java) S 15211 15214 11773 0 -1 4202560 536 0 0 0 0 0 0 0 20 0 19 0 23219370 9856040960 227886 33554432000 1073741824 1073778376 140734574646304 140504177477864 206412232617 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15214/tid=15226] ppid=15211 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15214/task/15226/stat : 15226 (java) S 15211 15214 11773 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 23219370 9856040960 227886 33554432000 1073741824 1073778376 140734574646304 140504176423928 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15214/tid=15227] ppid=15211 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15214/task/15227/stat : 15227 (java) S 15211 15214 11773 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 23219370 9856040960 227886 33554432000 1073741824 1073778376 140734574646304 140504175371528 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15214/tid=15228] ppid=15211 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15214/task/15228/stat : 15228 (java) S 15211 15214 11773 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23219373 9856040960 227886 33554432000 1073741824 1073778376 140734574646304 140504174320016 206412240672 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15214/tid=15229] ppid=15211 vsize=9625040 CPUtime=0.43 cores=1,3,5,7
/proc/15214/task/15229/stat : 15229 (java) R 15211 15214 11773 0 -1 4202560 3393 0 0 0 43 0 0 0 20 0 19 0 23219373 9856040960 227886 33554432000 1073741824 1073778376 140734574646304 140504173267640 206412233784 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=15214/tid=15230] ppid=15211 vsize=9625040 CPUtime=0.49 cores=1,3,5,7
/proc/15214/task/15230/stat : 15230 (java) R 15211 15214 11773 0 -1 4202560 4623 0 0 0 48 1 0 0 20 0 19 0 23219373 9856040960 227886 33554432000 1073741824 1073778376 140734574646304 140504172202120 206412243381 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=15214/tid=15231] ppid=15211 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15214/task/15231/stat : 15231 (java) S 15211 15214 11773 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23219373 9856040960 227886 33554432000 1073741824 1073778376 140734574646304 140504171162744 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15214/tid=15232] ppid=15211 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15214/task/15232/stat : 15232 (java) S 15211 15214 11773 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23219373 9856040960 227886 33554432000 1073741824 1073778376 140734574646304 140504170110152 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15214/tid=15233] ppid=15211 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15214/task/15233/stat : 15233 (java) S 15211 15214 11773 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23219857 9856040960 227886 33554432000 1073741824 1073778376 140734574646304 140504169005992 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 8.98
Current children cumulated vsize (KiB) 9625040
[startup+12.7008 s]
/proc/loadavg: 2.04 2.03 2.00 3/216 15233
/proc/meminfo: memFree=30759812/32872528 swapFree=7780/7780
[pid=15214] ppid=15211 vsize=9625040 CPUtime=15.6 cores=1,3,5,7
################
# More data... #
################
[pid=15214/tid=15233] ppid=15211 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15214/task/15233/stat : 15233 (java) S 15211 15214 11773 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23219857 9856040960 944979 33554432000 1073741824 1073778376 140734574646304 140504169005992 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1669.75
Current children cumulated vsize (KiB) 9625040
[startup+1722.3 s]
/proc/loadavg: 2.03 2.09 2.03 3/216 15545
/proc/meminfo: memFree=27786224/32872528 swapFree=7780/7780
[pid=15214] ppid=15211 vsize=9625040 CPUtime=1729.75 cores=1,3,5,7
/proc/15214/stat : 15214 (java) S 15211 15214 11773 0 -1 4202496 32541 0 1 0 172717 258 0 0 20 0 19 0 23219367 9856040960 944979 33554432000 1073741824 1073778376 140734574646304 140734574637440 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15214/statm: 2406260 944979 2293 9 0 2396937 0
[pid=15214/tid=15216] ppid=15211 vsize=9625040 CPUtime=1710.22 cores=1,3,5,7
/proc/15214/task/15216/stat : 15216 (java) R 15211 15214 11773 0 -1 4202560 3923 0 1 0 170970 52 0 0 20 0 19 0 23219368 9856040960 944979 33554432000 1073741824 1073778376 140734574646304 140504353201856 140504226602048 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=15214/tid=15217] ppid=15211 vsize=9625040 CPUtime=1.14 cores=1,3,5,7
/proc/15214/task/15217/stat : 15217 (java) S 15211 15214 11773 0 -1 4202560 2078 0 0 0 86 28 0 0 20 0 19 0 23219369 9856040960 944979 33554432000 1073741824 1073778376 140734574646304 140504197257512 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15214/tid=15218] ppid=15211 vsize=9625040 CPUtime=0.93 cores=1,3,5,7
/proc/15214/task/15218/stat : 15218 (java) S 15211 15214 11773 0 -1 4202560 2335 0 0 0 71 22 0 0 20 0 19 0 23219369 9856040960 944979 33554432000 1073741824 1073778376 140734574646304 140504196204712 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15214/tid=15219] ppid=15211 vsize=9625040 CPUtime=0.87 cores=1,3,5,7
/proc/15214/task/15219/stat : 15219 (java) S 15211 15214 11773 0 -1 4202560 2067 0 0 0 66 21 0 0 20 0 19 0 23219369 9856040960 944979 33554432000 1073741824 1073778376 140734574646304 140504195152424 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15214/tid=15220] ppid=15211 vsize=9625040 CPUtime=1.15 cores=1,3,5,7
/proc/15214/task/15220/stat : 15220 (java) S 15211 15214 11773 0 -1 4202560 3446 0 0 0 89 26 0 0 20 0 19 0 23219369 9856040960 944979 33554432000 1073741824 1073778376 140734574646304 140504194099624 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15214/tid=15221] ppid=15211 vsize=9625040 CPUtime=0.93 cores=1,3,5,7
/proc/15214/task/15221/stat : 15221 (java) S 15211 15214 11773 0 -1 4202560 2391 0 0 0 72 21 0 0 20 0 19 0 23219369 9856040960 944979 33554432000 1073741824 1073778376 140734574646304 140504193047336 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15214/tid=15222] ppid=15211 vsize=9625040 CPUtime=1.19 cores=1,3,5,7
/proc/15214/task/15222/stat : 15222 (java) S 15211 15214 11773 0 -1 4202560 2407 0 0 0 86 33 0 0 20 0 19 0 23219369 9856040960 944979 33554432000 1073741824 1073778376 140734574646304 140504191994536 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15214/tid=15223] ppid=15211 vsize=9625040 CPUtime=0.75 cores=1,3,5,7
/proc/15214/task/15223/stat : 15223 (java) S 15211 15214 11773 0 -1 4202560 858 0 0 0 60 15 0 0 20 0 19 0 23219369 9856040960 944979 33554432000 1073741824 1073778376 140734574646304 140504190942248 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15214/tid=15224] ppid=15211 vsize=9625040 CPUtime=1.21 cores=1,3,5,7
/proc/15214/task/15224/stat : 15224 (java) S 15211 15214 11773 0 -1 4202560 1526 0 0 0 91 30 0 0 20 0 19 0 23219369 9856040960 944979 33554432000 1073741824 1073778376 140734574646304 140504189889448 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15214/tid=15225] ppid=15211 vsize=9625040 CPUtime=5.41 cores=1,3,5,7
/proc/15214/task/15225/stat : 15225 (java) S 15211 15214 11773 0 -1 4202560 2074 0 0 0 534 7 0 0 20 0 19 0 23219370 9856040960 944979 33554432000 1073741824 1073778376 140734574646304 140504177477864 206412232617 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15214/tid=15226] ppid=15211 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15214/task/15226/stat : 15226 (java) S 15211 15214 11773 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 23219370 9856040960 944979 33554432000 1073741824 1073778376 140734574646304 140504176423928 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15214/tid=15227] ppid=15211 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15214/task/15227/stat : 15227 (java) S 15211 15214 11773 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 23219370 9856040960 944979 33554432000 1073741824 1073778376 140734574646304 140504175371528 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15214/tid=15228] ppid=15211 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15214/task/15228/stat : 15228 (java) S 15211 15214 11773 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23219373 9856040960 944979 33554432000 1073741824 1073778376 140734574646304 140504174320016 206412240672 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15214/tid=15229] ppid=15211 vsize=9625040 CPUtime=0.51 cores=1,3,5,7
/proc/15214/task/15229/stat : 15229 (java) S 15211 15214 11773 0 -1 4202560 3405 0 0 0 51 0 0 0 20 0 19 0 23219373 9856040960 944979 33554432000 1073741824 1073778376 140734574646304 140504173267640 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15214/tid=15230] ppid=15211 vsize=9625040 CPUtime=0.67 cores=1,3,5,7
/proc/15214/task/15230/stat : 15230 (java) S 15211 15214 11773 0 -1 4202560 4675 0 0 0 66 1 0 0 20 0 19 0 23219373 9856040960 944979 33554432000 1073741824 1073778376 140734574646304 140504172214840 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15214/tid=15231] ppid=15211 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15214/task/15231/stat : 15231 (java) S 15211 15214 11773 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23219373 9856040960 944979 33554432000 1073741824 1073778376 140734574646304 140504171162744 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15214/tid=15232] ppid=15211 vsize=9625040 CPUtime=0.69 cores=1,3,5,7
/proc/15214/task/15232/stat : 15232 (java) S 15211 15214 11773 0 -1 4202560 99 0 0 0 29 40 0 0 20 0 19 0 23219373 9856040960 944979 33554432000 1073741824 1073778376 140734574646304 140504170110152 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15214/tid=15233] ppid=15211 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15214/task/15233/stat : 15233 (java) S 15211 15214 11773 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23219857 9856040960 944979 33554432000 1073741824 1073778376 140734574646304 140504169005992 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1729.75
Current children cumulated vsize (KiB) 9625040
[startup+1782.3 s]
/proc/loadavg: 2.01 2.07 2.02 3/215 15547
/proc/meminfo: memFree=27786124/32872528 swapFree=7780/7780
[pid=15214] ppid=15211 vsize=9625040 CPUtime=1789.76 cores=1,3,5,7
/proc/15214/stat : 15214 (java) S 15211 15214 11773 0 -1 4202496 32545 0 1 0 178717 259 0 0 20 0 19 0 23219367 9856040960 944979 33554432000 1073741824 1073778376 140734574646304 140734574637440 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15214/statm: 2406260 944979 2293 9 0 2396937 0
[pid=15214/tid=15216] ppid=15211 vsize=9625040 CPUtime=1770.07 cores=1,3,5,7
/proc/15214/task/15216/stat : 15216 (java) R 15211 15214 11773 0 -1 4202560 3923 0 1 0 176954 53 0 0 20 0 19 0 23219368 9856040960 944979 33554432000 1073741824 1073778376 140734574646304 140504353201856 140504226608719 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=15214/tid=15217] ppid=15211 vsize=9625040 CPUtime=1.14 cores=1,3,5,7
/proc/15214/task/15217/stat : 15217 (java) S 15211 15214 11773 0 -1 4202560 2078 0 0 0 86 28 0 0 20 0 19 0 23219369 9856040960 944979 33554432000 1073741824 1073778376 140734574646304 140504197257512 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15214/tid=15218] ppid=15211 vsize=9625040 CPUtime=0.93 cores=1,3,5,7
/proc/15214/task/15218/stat : 15218 (java) S 15211 15214 11773 0 -1 4202560 2335 0 0 0 71 22 0 0 20 0 19 0 23219369 9856040960 944979 33554432000 1073741824 1073778376 140734574646304 140504196204712 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15214/tid=15219] ppid=15211 vsize=9625040 CPUtime=0.87 cores=1,3,5,7
/proc/15214/task/15219/stat : 15219 (java) S 15211 15214 11773 0 -1 4202560 2067 0 0 0 66 21 0 0 20 0 19 0 23219369 9856040960 944979 33554432000 1073741824 1073778376 140734574646304 140504195152424 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15214/tid=15220] ppid=15211 vsize=9625040 CPUtime=1.15 cores=1,3,5,7
/proc/15214/task/15220/stat : 15220 (java) S 15211 15214 11773 0 -1 4202560 3446 0 0 0 89 26 0 0 20 0 19 0 23219369 9856040960 944979 33554432000 1073741824 1073778376 140734574646304 140504194099624 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15214/tid=15221] ppid=15211 vsize=9625040 CPUtime=0.93 cores=1,3,5,7
/proc/15214/task/15221/stat : 15221 (java) S 15211 15214 11773 0 -1 4202560 2391 0 0 0 72 21 0 0 20 0 19 0 23219369 9856040960 944979 33554432000 1073741824 1073778376 140734574646304 140504193047336 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15214/tid=15222] ppid=15211 vsize=9625040 CPUtime=1.19 cores=1,3,5,7
/proc/15214/task/15222/stat : 15222 (java) S 15211 15214 11773 0 -1 4202560 2407 0 0 0 86 33 0 0 20 0 19 0 23219369 9856040960 944979 33554432000 1073741824 1073778376 140734574646304 140504191994536 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15214/tid=15223] ppid=15211 vsize=9625040 CPUtime=0.75 cores=1,3,5,7
/proc/15214/task/15223/stat : 15223 (java) S 15211 15214 11773 0 -1 4202560 858 0 0 0 60 15 0 0 20 0 19 0 23219369 9856040960 944979 33554432000 1073741824 1073778376 140734574646304 140504190942248 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15214/tid=15224] ppid=15211 vsize=9625040 CPUtime=1.21 cores=1,3,5,7
/proc/15214/task/15224/stat : 15224 (java) S 15211 15214 11773 0 -1 4202560 1526 0 0 0 91 30 0 0 20 0 19 0 23219369 9856040960 944979 33554432000 1073741824 1073778376 140734574646304 140504189889448 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15214/tid=15225] ppid=15211 vsize=9625040 CPUtime=5.41 cores=1,3,5,7
/proc/15214/task/15225/stat : 15225 (java) S 15211 15214 11773 0 -1 4202560 2074 0 0 0 534 7 0 0 20 0 19 0 23219370 9856040960 944979 33554432000 1073741824 1073778376 140734574646304 140504177477864 206412232617 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15214/tid=15226] ppid=15211 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15214/task/15226/stat : 15226 (java) S 15211 15214 11773 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 23219370 9856040960 944979 33554432000 1073741824 1073778376 140734574646304 140504176423928 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15214/tid=15227] ppid=15211 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15214/task/15227/stat : 15227 (java) S 15211 15214 11773 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 23219370 9856040960 944979 33554432000 1073741824 1073778376 140734574646304 140504175371528 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15214/tid=15228] ppid=15211 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15214/task/15228/stat : 15228 (java) S 15211 15214 11773 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23219373 9856040960 944979 33554432000 1073741824 1073778376 140734574646304 140504174320016 206412240672 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15214/tid=15229] ppid=15211 vsize=9625040 CPUtime=0.51 cores=1,3,5,7
/proc/15214/task/15229/stat : 15229 (java) S 15211 15214 11773 0 -1 4202560 3405 0 0 0 51 0 0 0 20 0 19 0 23219373 9856040960 944979 33554432000 1073741824 1073778376 140734574646304 140504173267640 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15214/tid=15230] ppid=15211 vsize=9625040 CPUtime=0.67 cores=1,3,5,7
/proc/15214/task/15230/stat : 15230 (java) S 15211 15214 11773 0 -1 4202560 4675 0 0 0 66 1 0 0 20 0 19 0 23219373 9856040960 944979 33554432000 1073741824 1073778376 140734574646304 140504172214840 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15214/tid=15231] ppid=15211 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15214/task/15231/stat : 15231 (java) S 15211 15214 11773 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23219373 9856040960 944979 33554432000 1073741824 1073778376 140734574646304 140504171162744 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15214/tid=15232] ppid=15211 vsize=9625040 CPUtime=0.72 cores=1,3,5,7
/proc/15214/task/15232/stat : 15232 (java) S 15211 15214 11773 0 -1 4202560 103 0 0 0 30 42 0 0 20 0 19 0 23219373 9856040960 944979 33554432000 1073741824 1073778376 140734574646304 140504170110152 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15214/tid=15233] ppid=15211 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15214/task/15233/stat : 15233 (java) S 15211 15214 11773 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23219857 9856040960 944979 33554432000 1073741824 1073778376 140734574646304 140504169005992 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1789.76
Current children cumulated vsize (KiB) 9625040
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1792.6 s]
/proc/loadavg: 2.01 2.07 2.02 3/215 15547
/proc/meminfo: memFree=27786372/32872528 swapFree=7780/7780
[pid=15214] ppid=15211 vsize=9625040 CPUtime=1800.06 cores=1,3,5,7
/proc/15214/stat : 15214 (java) S 15211 15214 11773 0 -1 4202496 32545 0 1 0 179747 259 0 0 20 0 19 0 23219367 9856040960 944979 33554432000 1073741824 1073778376 140734574646304 140734574637440 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15214/statm: 2406260 944979 2293 9 0 2396937 0
[pid=15214/tid=15216] ppid=15211 vsize=9625040 CPUtime=1780.34 cores=1,3,5,7
/proc/15214/task/15216/stat : 15216 (java) R 15211 15214 11773 0 -1 4202560 3923 0 1 0 177980 54 0 0 20 0 19 0 23219368 9856040960 944979 33554432000 1073741824 1073778376 140734574646304 140504353201856 140504226601992 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=15214/tid=15217] ppid=15211 vsize=9625040 CPUtime=1.14 cores=1,3,5,7
/proc/15214/task/15217/stat : 15217 (java) S 15211 15214 11773 0 -1 4202560 2078 0 0 0 86 28 0 0 20 0 19 0 23219369 9856040960 944979 33554432000 1073741824 1073778376 140734574646304 140504197257512 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15214/tid=15218] ppid=15211 vsize=9625040 CPUtime=0.93 cores=1,3,5,7
/proc/15214/task/15218/stat : 15218 (java) S 15211 15214 11773 0 -1 4202560 2335 0 0 0 71 22 0 0 20 0 19 0 23219369 9856040960 944979 33554432000 1073741824 1073778376 140734574646304 140504196204712 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15214/tid=15219] ppid=15211 vsize=9625040 CPUtime=0.87 cores=1,3,5,7
/proc/15214/task/15219/stat : 15219 (java) S 15211 15214 11773 0 -1 4202560 2067 0 0 0 66 21 0 0 20 0 19 0 23219369 9856040960 944979 33554432000 1073741824 1073778376 140734574646304 140504195152424 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15214/tid=15220] ppid=15211 vsize=9625040 CPUtime=1.15 cores=1,3,5,7
/proc/15214/task/15220/stat : 15220 (java) S 15211 15214 11773 0 -1 4202560 3446 0 0 0 89 26 0 0 20 0 19 0 23219369 9856040960 944979 33554432000 1073741824 1073778376 140734574646304 140504194099624 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15214/tid=15221] ppid=15211 vsize=9625040 CPUtime=0.93 cores=1,3,5,7
/proc/15214/task/15221/stat : 15221 (java) S 15211 15214 11773 0 -1 4202560 2391 0 0 0 72 21 0 0 20 0 19 0 23219369 9856040960 944979 33554432000 1073741824 1073778376 140734574646304 140504193047336 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15214/tid=15222] ppid=15211 vsize=9625040 CPUtime=1.19 cores=1,3,5,7
/proc/15214/task/15222/stat : 15222 (java) S 15211 15214 11773 0 -1 4202560 2407 0 0 0 86 33 0 0 20 0 19 0 23219369 9856040960 944979 33554432000 1073741824 1073778376 140734574646304 140504191994536 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15214/tid=15223] ppid=15211 vsize=9625040 CPUtime=0.75 cores=1,3,5,7
/proc/15214/task/15223/stat : 15223 (java) S 15211 15214 11773 0 -1 4202560 858 0 0 0 60 15 0 0 20 0 19 0 23219369 9856040960 944979 33554432000 1073741824 1073778376 140734574646304 140504190942248 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15214/tid=15224] ppid=15211 vsize=9625040 CPUtime=1.21 cores=1,3,5,7
/proc/15214/task/15224/stat : 15224 (java) S 15211 15214 11773 0 -1 4202560 1526 0 0 0 91 30 0 0 20 0 19 0 23219369 9856040960 944979 33554432000 1073741824 1073778376 140734574646304 140504189889448 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15214/tid=15225] ppid=15211 vsize=9625040 CPUtime=5.41 cores=1,3,5,7
/proc/15214/task/15225/stat : 15225 (java) S 15211 15214 11773 0 -1 4202560 2074 0 0 0 534 7 0 0 20 0 19 0 23219370 9856040960 944979 33554432000 1073741824 1073778376 140734574646304 140504177477864 206412232617 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15214/tid=15226] ppid=15211 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15214/task/15226/stat : 15226 (java) S 15211 15214 11773 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 23219370 9856040960 944979 33554432000 1073741824 1073778376 140734574646304 140504176423928 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15214/tid=15227] ppid=15211 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15214/task/15227/stat : 15227 (java) S 15211 15214 11773 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 23219370 9856040960 944979 33554432000 1073741824 1073778376 140734574646304 140504175371528 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15214/tid=15228] ppid=15211 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15214/task/15228/stat : 15228 (java) S 15211 15214 11773 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23219373 9856040960 944979 33554432000 1073741824 1073778376 140734574646304 140504174320016 206412240672 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15214/tid=15229] ppid=15211 vsize=9625040 CPUtime=0.51 cores=1,3,5,7
/proc/15214/task/15229/stat : 15229 (java) S 15211 15214 11773 0 -1 4202560 3405 0 0 0 51 0 0 0 20 0 19 0 23219373 9856040960 944979 33554432000 1073741824 1073778376 140734574646304 140504173267640 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15214/tid=15230] ppid=15211 vsize=9625040 CPUtime=0.67 cores=1,3,5,7
/proc/15214/task/15230/stat : 15230 (java) S 15211 15214 11773 0 -1 4202560 4675 0 0 0 66 1 0 0 20 0 19 0 23219373 9856040960 944979 33554432000 1073741824 1073778376 140734574646304 140504172214840 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15214/tid=15231] ppid=15211 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15214/task/15231/stat : 15231 (java) S 15211 15214 11773 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23219373 9856040960 944979 33554432000 1073741824 1073778376 140734574646304 140504171162744 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15214/tid=15232] ppid=15211 vsize=9625040 CPUtime=0.72 cores=1,3,5,7
/proc/15214/task/15232/stat : 15232 (java) S 15211 15214 11773 0 -1 4202560 103 0 0 0 30 42 0 0 20 0 19 0 23219373 9856040960 944979 33554432000 1073741824 1073778376 140734574646304 140504170110152 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15214/tid=15233] ppid=15211 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15214/task/15233/stat : 15233 (java) S 15211 15214 11773 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23219857 9856040960 944979 33554432000 1073741824 1073778376 140734574646304 140504169005992 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 9625040
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 15214 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 15214 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=28418
# childrusage.ru_stime.tv_sec=3
# childrusage.ru_stime.tv_usec=172517
# CPU time returned by wait4() is 1796.2
# while last known CPU time is 1800.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1792.64
CPU time (s): 1800.06
CPU user time (s): 1797.47
CPU system time (s): 2.59
CPU usage (%): 100.414
Max. virtual memory (cumulated for all children) (KiB): 9625040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.03
system time used= 3.17252
maximum resident set size= 3780424
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32680
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1016
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38789
involuntary context switches= 9161
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.9203 second user time and 13.316 second system time
The end