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-4103330-1466222008/watcher-4103330-1466222008 -o /tmp/evaluation-result-4103330-1466222008/solver-4103330-1466222008 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node135-1466206056-7346 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4103330-1466222008.opb
pid=14242
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: 4.22 4.32 4.27 4/199 14245
/proc/meminfo: memFree=25051712/32872528 swapFree=1505436/1685308
[pid=14245] ppid=14242 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/14245/stat : 14245 (java) D 14242 14245 7329 0 -1 4202496 327 0 0 0 0 0 0 0 20 0 1 0 24246892 9515008 183 33554432000 1073741824 1073778376 140733378913456 140733378904488 215124623029 0 0 4096 0 18446744072100756772 0 0 17 3 0 0 0 0 0
/proc/14245/statm: 2323 183 140 9 0 71 0
[startup+0.10006 s]
/proc/loadavg: 4.22 4.32 4.27 4/199 14245
/proc/meminfo: memFree=25051712/32872528 swapFree=1505436/1685308
[pid=14245] ppid=14242 vsize=9558476 CPUtime=0.08 cores=1,3,5,7
/proc/14245/stat : 14245 (java) S 14242 14245 7329 0 -1 4202496 4479 0 1 0 8 0 0 0 20 0 18 0 24246892 9787879424 5587 33554432000 1073741824 1073778376 140737404463264 140737404454400 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14245/statm: 2389619 5587 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558476
[startup+0.200326 s]
/proc/loadavg: 4.22 4.32 4.27 4/199 14245
/proc/meminfo: memFree=25051712/32872528 swapFree=1505436/1685308
[pid=14245] ppid=14242 vsize=9558476 CPUtime=0.25 cores=1,3,5,7
/proc/14245/stat : 14245 (java) S 14242 14245 7329 0 -1 4202496 5062 0 1 0 24 1 0 0 20 0 18 0 24246892 9787879424 11138 33554432000 1073741824 1073778376 140737404463264 140737404454400 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14245/statm: 2389619 11138 2204 9 0 2380296 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 9558476
[startup+0.300357 s]
/proc/loadavg: 4.22 4.32 4.27 4/199 14245
/proc/meminfo: memFree=25051712/32872528 swapFree=1505436/1685308
[pid=14245] ppid=14242 vsize=9558476 CPUtime=0.54 cores=1,3,5,7
/proc/14245/stat : 14245 (java) S 14242 14245 7329 0 -1 4202496 6661 0 1 0 53 1 0 0 20 0 18 0 24246892 9787879424 13926 33554432000 1073741824 1073778376 140737404463264 140737404454400 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14245/statm: 2389619 13926 2239 9 0 2380296 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 9558476
[startup+0.700304 s]
/proc/loadavg: 4.22 4.32 4.27 4/199 14245
/proc/meminfo: memFree=25051712/32872528 swapFree=1505436/1685308
[pid=14245] ppid=14242 vsize=9558476 CPUtime=1.63 cores=1,3,5,7
/proc/14245/stat : 14245 (java) S 14242 14245 7329 0 -1 4202496 20200 0 1 0 158 5 0 0 20 0 18 0 24246892 9787879424 42275 33554432000 1073741824 1073778376 140737404463264 140737404454400 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14245/statm: 2389619 42275 2260 9 0 2380296 0
Current children cumulated CPU time (s) 1.63
Current children cumulated vsize (KiB) 9558476
[startup+1.50087 s]
/proc/loadavg: 4.22 4.32 4.27 11/217 14263
/proc/meminfo: memFree=24764244/32872528 swapFree=1505436/1685308
[pid=14245] ppid=14242 vsize=9558476 CPUtime=2.9 cores=1,3,5,7
/proc/14245/stat : 14245 (java) S 14242 14245 7329 0 -1 4202496 20978 0 1 0 272 18 0 0 20 0 18 0 24246892 9787879424 87669 33554432000 1073741824 1073778376 140737404463264 140737404454400 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14245/statm: 2389619 87669 2276 9 0 2380296 0
[pid=14245/tid=14247] ppid=14242 vsize=9558476 CPUtime=1.31 cores=1,3,5,7
/proc/14245/task/14247/stat : 14247 (java) R 14242 14245 7329 0 -1 4202560 2548 0 1 0 127 4 0 0 20 0 18 0 24246893 9787879424 87669 33554432000 1073741824 1073778376 140737404463264 139831928684496 139831801200181 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=14245/tid=14248] ppid=14242 vsize=9558476 CPUtime=0.02 cores=1,3,5,7
/proc/14245/task/14248/stat : 14248 (java) S 14242 14245 7329 0 -1 4202560 298 0 0 0 2 0 0 0 20 0 18 0 24246894 9787879424 87669 33554432000 1073741824 1073778376 140737404463264 139831772268968 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14245/tid=14249] ppid=14242 vsize=9558476 CPUtime=0.03 cores=1,3,5,7
/proc/14245/task/14249/stat : 14249 (java) S 14242 14245 7329 0 -1 4202560 16 0 0 0 3 0 0 0 20 0 18 0 24246894 9787879424 87669 33554432000 1073741824 1073778376 140737404463264 139831771216424 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14245/tid=14250] ppid=14242 vsize=9558476 CPUtime=0.04 cores=1,3,5,7
/proc/14245/task/14250/stat : 14250 (java) S 14242 14245 7329 0 -1 4202560 100 0 0 0 3 1 0 0 20 0 18 0 24246894 9787879424 87669 33554432000 1073741824 1073778376 140737404463264 139831770163368 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14245/tid=14251] ppid=14242 vsize=9558476 CPUtime=0.13 cores=1,3,5,7
/proc/14245/task/14251/stat : 14251 (java) S 14242 14245 7329 0 -1 4202560 65 0 0 0 10 3 0 0 20 0 18 0 24246894 9787879424 87669 33554432000 1073741824 1073778376 140737404463264 139831769110824 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14245/tid=14252] ppid=14242 vsize=9558476 CPUtime=0.08 cores=1,3,5,7
/proc/14245/task/14252/stat : 14252 (java) S 14242 14245 7329 0 -1 4202560 80 0 0 0 6 2 0 0 20 0 18 0 24246894 9787879424 87669 33554432000 1073741824 1073778376 140737404463264 139831768058792 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14245/tid=14253] ppid=14242 vsize=9558476 CPUtime=0.03 cores=1,3,5,7
/proc/14245/task/14253/stat : 14253 (java) S 14242 14245 7329 0 -1 4202560 16 0 0 0 2 1 0 0 20 0 18 0 24246894 9787879424 87669 33554432000 1073741824 1073778376 140737404463264 139831767006248 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14245/tid=14254] ppid=14242 vsize=9558476 CPUtime=0.04 cores=1,3,5,7
/proc/14245/task/14254/stat : 14254 (java) S 14242 14245 7329 0 -1 4202560 19 0 0 0 4 0 0 0 20 0 18 0 24246894 9787879424 87669 33554432000 1073741824 1073778376 140737404463264 139831765953192 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14245/tid=14255] ppid=14242 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/14245/task/14255/stat : 14255 (java) S 14242 14245 7329 0 -1 4202560 53 0 0 0 5 2 0 0 20 0 18 0 24246894 9787879424 87669 33554432000 1073741824 1073778376 140737404463264 139831764900648 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14245/tid=14256] ppid=14242 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/14245/task/14256/stat : 14256 (java) S 14242 14245 7329 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 18 0 24246895 9787879424 87669 33554432000 1073741824 1073778376 140737404463264 139831752702312 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14245/tid=14257] ppid=14242 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/14245/task/14257/stat : 14257 (java) S 14242 14245 7329 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 18 0 24246896 9787879424 87669 33554432000 1073741824 1073778376 140737404463264 139831751648632 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14245/tid=14258] ppid=14242 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/14245/task/14258/stat : 14258 (java) S 14242 14245 7329 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 18 0 24246896 9787879424 87669 33554432000 1073741824 1073778376 140737404463264 139831750595464 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14245/tid=14259] ppid=14242 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/14245/task/14259/stat : 14259 (java) S 14242 14245 7329 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 24246898 9787879424 87669 33554432000 1073741824 1073778376 140737404463264 139831749544208 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14245/tid=14260] ppid=14242 vsize=9558476 CPUtime=0.42 cores=1,3,5,7
/proc/14245/task/14260/stat : 14260 (java) S 14242 14245 7329 0 -1 4202560 5492 0 0 0 42 0 0 0 20 0 18 0 24246898 9787879424 87669 33554432000 1073741824 1073778376 140737404463264 139831748492088 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14245/tid=14261] ppid=14242 vsize=9558476 CPUtime=0.57 cores=1,3,5,7
/proc/14245/task/14261/stat : 14261 (java) S 14242 14245 7329 0 -1 4202560 10964 0 0 0 55 2 0 0 20 0 18 0 24246898 9787879424 87669 33554432000 1073741824 1073778376 140737404463264 139831747439544 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14245/tid=14262] ppid=14242 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/14245/task/14262/stat : 14262 (java) S 14242 14245 7329 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 24246898 9787879424 87669 33554432000 1073741824 1073778376 140737404463264 139831746386680 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14245/tid=14263] ppid=14242 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/14245/task/14263/stat : 14263 (java) S 14242 14245 7329 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 24246898 9787879424 87669 33554432000 1073741824 1073778376 140737404463264 139831745334344 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 9558476
[startup+3.10084 s]
/proc/loadavg: 4.22 4.32 4.27 4/217 14263
/proc/meminfo: memFree=24537600/32872528 swapFree=1505436/1685308
[pid=14245] ppid=14242 vsize=9558476 CPUtime=5.36 cores=1,3,5,7
/proc/14245/stat : 14245 (java) S 14242 14245 7329 0 -1 4202496 22231 0 1 0 491 45 0 0 20 0 18 0 24246892 9787879424 164254 33554432000 1073741824 1073778376 140737404463264 140737404454400 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14245/statm: 2389619 164254 2284 9 0 2380296 0
[pid=14245/tid=14247] ppid=14242 vsize=9558476 CPUtime=2.04 cores=1,3,5,7
/proc/14245/task/14247/stat : 14247 (java) R 14242 14245 7329 0 -1 4202560 2580 0 1 0 199 5 0 0 20 0 18 0 24246893 9787879424 164254 33554432000 1073741824 1073778376 140737404463264 139831928691064 139831801060826 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=14245/tid=14248] ppid=14242 vsize=9558476 CPUtime=0.12 cores=1,3,5,7
/proc/14245/task/14248/stat : 14248 (java) S 14242 14245 7329 0 -1 4202560 485 0 0 0 10 2 0 0 20 0 18 0 24246894 9787879424 164254 33554432000 1073741824 1073778376 140737404463264 139831772268968 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14245/tid=14249] ppid=14242 vsize=9558476 CPUtime=0.15 cores=1,3,5,7
/proc/14245/task/14249/stat : 14249 (java) S 14242 14245 7329 0 -1 4202560 75 0 0 0 11 4 0 0 20 0 18 0 24246894 9787879424 164254 33554432000 1073741824 1073778376 140737404463264 139831771216424 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14245/tid=14250] ppid=14242 vsize=9558476 CPUtime=0.16 cores=1,3,5,7
/proc/14245/task/14250/stat : 14250 (java) S 14242 14245 7329 0 -1 4202560 221 0 0 0 12 4 0 0 20 0 18 0 24246894 9787879424 164254 33554432000 1073741824 1073778376 140737404463264 139831770163368 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14245/tid=14251] ppid=14242 vsize=9558476 CPUtime=0.25 cores=1,3,5,7
/proc/14245/task/14251/stat : 14251 (java) S 14242 14245 7329 0 -1 4202560 112 0 0 0 19 6 0 0 20 0 18 0 24246894 9787879424 164254 33554432000 1073741824 1073778376 140737404463264 139831769110824 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14245/tid=14252] ppid=14242 vsize=9558476 CPUtime=0.32 cores=1,3,5,7
/proc/14245/task/14252/stat : 14252 (java) S 14242 14245 7329 0 -1 4202560 321 0 0 0 25 7 0 0 20 0 18 0 24246894 9787879424 164254 33554432000 1073741824 1073778376 140737404463264 139831768058792 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14245/tid=14253] ppid=14242 vsize=9558476 CPUtime=0.17 cores=1,3,5,7
/proc/14245/task/14253/stat : 14253 (java) S 14242 14245 7329 0 -1 4202560 69 0 0 0 13 4 0 0 20 0 18 0 24246894 9787879424 164254 33554432000 1073741824 1073778376 140737404463264 139831767006248 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14245/tid=14254] ppid=14242 vsize=9558476 CPUtime=0.13 cores=1,3,5,7
/proc/14245/task/14254/stat : 14254 (java) S 14242 14245 7329 0 -1 4202560 55 0 0 0 10 3 0 0 20 0 18 0 24246894 9787879424 164254 33554432000 1073741824 1073778376 140737404463264 139831765953192 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14245/tid=14255] ppid=14242 vsize=9558476 CPUtime=0.28 cores=1,3,5,7
/proc/14245/task/14255/stat : 14255 (java) S 14242 14245 7329 0 -1 4202560 144 0 0 0 22 6 0 0 20 0 18 0 24246894 9787879424 164254 33554432000 1073741824 1073778376 140737404463264 139831764900648 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14245/tid=14256] ppid=14242 vsize=9558476 CPUtime=0.56 cores=1,3,5,7
/proc/14245/task/14256/stat : 14256 (java) S 14242 14245 7329 0 -1 4202560 458 0 0 0 56 0 0 0 20 0 18 0 24246895 9787879424 164254 33554432000 1073741824 1073778376 140737404463264 139831752702312 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14245/tid=14257] ppid=14242 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/14245/task/14257/stat : 14257 (java) S 14242 14245 7329 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 18 0 24246896 9787879424 164254 33554432000 1073741824 1073778376 140737404463264 139831751648632 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14245/tid=14258] ppid=14242 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/14245/task/14258/stat : 14258 (java) S 14242 14245 7329 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 18 0 24246896 9787879424 164254 33554432000 1073741824 1073778376 140737404463264 139831750595464 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14245/tid=14259] ppid=14242 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/14245/task/14259/stat : 14259 (java) S 14242 14245 7329 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 24246898 9787879424 164254 33554432000 1073741824 1073778376 140737404463264 139831749544208 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14245/tid=14260] ppid=14242 vsize=9558476 CPUtime=0.42 cores=1,3,5,7
/proc/14245/task/14260/stat : 14260 (java) S 14242 14245 7329 0 -1 4202560 5492 0 0 0 42 0 0 0 20 0 18 0 24246898 9787879424 164254 33554432000 1073741824 1073778376 140737404463264 139831748492088 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14245/tid=14261] ppid=14242 vsize=9558476 CPUtime=0.57 cores=1,3,5,7
/proc/14245/task/14261/stat : 14261 (java) S 14242 14245 7329 0 -1 4202560 10964 0 0 0 55 2 0 0 20 0 18 0 24246898 9787879424 164254 33554432000 1073741824 1073778376 140737404463264 139831747439544 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14245/tid=14262] ppid=14242 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/14245/task/14262/stat : 14262 (java) S 14242 14245 7329 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 24246898 9787879424 164254 33554432000 1073741824 1073778376 140737404463264 139831746386680 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14245/tid=14263] ppid=14242 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/14245/task/14263/stat : 14263 (java) S 14242 14245 7329 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 24246898 9787879424 164254 33554432000 1073741824 1073778376 140737404463264 139831745334344 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 5.36
Current children cumulated vsize (KiB) 9558476
[startup+6.3008 s]
/proc/loadavg: 4.12 4.30 4.26 6/217 14263
/proc/meminfo: memFree=23990856/32872528 swapFree=1505436/1685308
[pid=14245] ppid=14242 vsize=9558476 CPUtime=9.69 cores=1,3,5,7
/proc/14245/stat : 14245 (java) S 14242 14245 7329 0 -1 4202496 24732 0 1 0 894 75 0 0 20 0 18 0 24246892 9787879424 278448 33554432000 1073741824 1073778376 140737404463264 140737404454400 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14245/statm: 2389619 278448 2284 9 0 2380296 0
[pid=14245/tid=14247] ppid=14242 vsize=9558476 CPUtime=3.88 cores=1,3,5,7
/proc/14245/task/14247/stat : 14247 (java) S 14242 14245 7329 0 -1 4202560 2861 0 1 0 380 8 0 0 20 0 18 0 24246893 9787879424 278448 33554432000 1073741824 1073778376 140737404463264 139831928691176 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14245/tid=14248] ppid=14242 vsize=9558476 CPUtime=0.22 cores=1,3,5,7
/proc/14245/task/14248/stat : 14248 (java) R 14242 14245 7329 0 -1 4202560 901 0 0 0 19 3 0 0 20 0 18 0 24246894 9787879424 278448 33554432000 1073741824 1073778376 140737404463264 139831772269144 139831931971424 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=14245/tid=14249] ppid=14242 vsize=9558476 CPUtime=0.29 cores=1,3,5,7
/proc/14245/task/14249/stat : 14249 (java) R 14242 14245 7329 0 -1 4202560 155 0 0 0 23 6 0 0 20 0 18 0 24246894 9787879424 278448 33554432000 1073741824 1073778376 140737404463264 139831771216600 139831931164403 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=14245/tid=14250] ppid=14242 vsize=9558476 CPUtime=0.32 cores=1,3,5,7
/proc/14245/task/14250/stat : 14250 (java) R 14242 14245 7329 0 -1 4202560 290 0 0 0 25 7 0 0 20 0 18 0 24246894 9787879424 278448 33554432000 1073741824 1073778376 140737404463264 139831770163544 139831935589467 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=14245/tid=14251] ppid=14242 vsize=9558476 CPUtime=0.44 cores=1,3,5,7
/proc/14245/task/14251/stat : 14251 (java) R 14242 14245 7329 0 -1 4202560 202 0 0 0 34 10 0 0 20 0 18 0 24246894 9787879424 278448 33554432000 1073741824 1073778376 140737404463264 139831769111000 139831931164403 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=14245/tid=14252] ppid=14242 vsize=9558476 CPUtime=0.52 cores=1,3,5,7
/proc/14245/task/14252/stat : 14252 (java) R 14242 14245 7329 0 -1 4202560 399 0 0 0 42 10 0 0 20 0 18 0 24246894 9787879424 278448 33554432000 1073741824 1073778376 140737404463264 139831768058968 139831932449932 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=14245/tid=14253] ppid=14242 vsize=9558476 CPUtime=0.33 cores=1,3,5,7
/proc/14245/task/14253/stat : 14253 (java) R 14242 14245 7329 0 -1 4202560 143 0 0 0 26 7 0 0 20 0 18 0 24246894 9787879424 278448 33554432000 1073741824 1073778376 140737404463264 139831767006128 139831931164312 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=14245/tid=14254] ppid=14242 vsize=9558476 CPUtime=0.43 cores=1,3,5,7
/proc/14245/task/14254/stat : 14254 (java) R 14242 14245 7329 0 -1 4202560 450 0 0 0 35 8 0 0 20 0 18 0 24246894 9787879424 278448 33554432000 1073741824 1073778376 140737404463264 139831765953368 139831935589236 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=14245/tid=14255] ppid=14242 vsize=9558476 CPUtime=0.53 cores=1,3,5,7
/proc/14245/task/14255/stat : 14255 (java) R 14242 14245 7329 0 -1 4202560 527 0 0 0 42 11 0 0 20 0 18 0 24246894 9787879424 278960 33554432000 1073741824 1073778376 140737404463264 139831764900672 139831931164361 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=14245/tid=14256] ppid=14242 vsize=9558476 CPUtime=1.51 cores=1,3,5,7
/proc/14245/task/14256/stat : 14256 (java) S 14242 14245 7329 0 -1 4202560 1092 0 0 0 150 1 0 0 20 0 18 0 24246895 9787879424 278960 33554432000 1073741824 1073778376 140737404463264 139831752701192 215127995452 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14245/tid=14257] ppid=14242 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/14245/task/14257/stat : 14257 (java) S 14242 14245 7329 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 18 0 24246896 9787879424 278960 33554432000 1073741824 1073778376 140737404463264 139831751648632 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14245/tid=14258] ppid=14242 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/14245/task/14258/stat : 14258 (java) S 14242 14245 7329 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 18 0 24246896 9787879424 278960 33554432000 1073741824 1073778376 140737404463264 139831750595464 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14245/tid=14259] ppid=14242 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/14245/task/14259/stat : 14259 (java) S 14242 14245 7329 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 24246898 9787879424 278960 33554432000 1073741824 1073778376 140737404463264 139831749544208 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14245/tid=14260] ppid=14242 vsize=9558476 CPUtime=0.45 cores=1,3,5,7
/proc/14245/task/14260/stat : 14260 (java) S 14242 14245 7329 0 -1 4202560 5494 0 0 0 45 0 0 0 20 0 18 0 24246898 9787879424 278960 33554432000 1073741824 1073778376 140737404463264 139831748492088 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14245/tid=14261] ppid=14242 vsize=9558476 CPUtime=0.59 cores=1,3,5,7
/proc/14245/task/14261/stat : 14261 (java) S 14242 14245 7329 0 -1 4202560 10964 0 0 0 57 2 0 0 20 0 18 0 24246898 9787879424 278960 33554432000 1073741824 1073778376 140737404463264 139831747439544 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14245/tid=14262] ppid=14242 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/14245/task/14262/stat : 14262 (java) S 14242 14245 7329 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 24246898 9787879424 278960 33554432000 1073741824 1073778376 140737404463264 139831746386680 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14245/tid=14263] ppid=14242 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/14245/task/14263/stat : 14263 (java) S 14242 14245 7329 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 24246898 9787879424 278960 33554432000 1073741824 1073778376 140737404463264 139831745334344 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 9.69
Current children cumulated vsize (KiB) 9558476
[startup+12.7009 s]
/proc/loadavg: 4.11 4.29 4.26 6/221 14267
/proc/meminfo: memFree=23082544/32872528 swapFree=1505436/1685308
[pid=14245] ppid=14242 vsize=9824732 CPUtime=22.27 cores=1,3,5,7
/proc/14245/stat : 14245 (java) S 14242 14245 7329 0 -1 4202496 27614 0 1 0 2062 165 0 0 20 0 22 0 24246892 10060525568 493459 33554432000 1073741824 1073778376 140737404463264 140737404454400 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14245/statm: 2456183 493459 2291 9 0 2446860 0
################
# More data... #
################
/proc/14245/task/14250/stat : 14250 (java) S 14242 14245 7329 0 -1 4202560 1289 0 0 0 660 51 0 0 20 0 22 0 24246894 10060525568 1054034 33554432000 1073741824 1073778376 140737404463264 139831770163368 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14245/tid=14251] ppid=14242 vsize=9824732 CPUtime=6.95 cores=1,3,5,7
/proc/14245/task/14251/stat : 14251 (java) S 14242 14245 7329 0 -1 4202560 1180 0 0 0 645 50 0 0 20 0 22 0 24246894 10060525568 1054034 33554432000 1073741824 1073778376 140737404463264 139831769110824 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14245/tid=14252] ppid=14242 vsize=9824732 CPUtime=7.31 cores=1,3,5,7
/proc/14245/task/14252/stat : 14252 (java) S 14242 14245 7329 0 -1 4202560 1228 0 0 0 685 46 0 0 20 0 22 0 24246894 10060525568 1054034 33554432000 1073741824 1073778376 140737404463264 139831768058792 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14245/tid=14253] ppid=14242 vsize=9824732 CPUtime=7.13 cores=1,3,5,7
/proc/14245/task/14253/stat : 14253 (java) S 14242 14245 7329 0 -1 4202560 1092 0 0 0 668 45 0 0 20 0 22 0 24246894 10060525568 1054034 33554432000 1073741824 1073778376 140737404463264 139831767006248 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14245/tid=14254] ppid=14242 vsize=9824732 CPUtime=7.78 cores=1,3,5,7
/proc/14245/task/14254/stat : 14254 (java) S 14242 14245 7329 0 -1 4202560 1508 0 0 0 727 51 0 0 20 0 22 0 24246894 10060525568 1054034 33554432000 1073741824 1073778376 140737404463264 139831765953192 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14245/tid=14255] ppid=14242 vsize=9824732 CPUtime=7.03 cores=1,3,5,7
/proc/14245/task/14255/stat : 14255 (java) S 14242 14245 7329 0 -1 4202560 1413 0 0 0 650 53 0 0 20 0 22 0 24246894 10060525568 1054034 33554432000 1073741824 1073778376 140737404463264 139831764900648 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14245/tid=14256] ppid=14242 vsize=9824732 CPUtime=8.86 cores=1,3,5,7
/proc/14245/task/14256/stat : 14256 (java) S 14242 14245 7329 0 -1 4202560 3674 0 0 0 879 7 0 0 20 0 22 0 24246895 10060525568 1054034 33554432000 1073741824 1073778376 140737404463264 139831752702312 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14245/tid=14257] ppid=14242 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14245/task/14257/stat : 14257 (java) S 14242 14245 7329 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 24246896 10060525568 1054034 33554432000 1073741824 1073778376 140737404463264 139831751648632 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14245/tid=14258] ppid=14242 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14245/task/14258/stat : 14258 (java) S 14242 14245 7329 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 24246896 10060525568 1054034 33554432000 1073741824 1073778376 140737404463264 139831750595464 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14245/tid=14259] ppid=14242 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14245/task/14259/stat : 14259 (java) S 14242 14245 7329 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 24246898 10060525568 1054034 33554432000 1073741824 1073778376 140737404463264 139831749544208 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14245/tid=14260] ppid=14242 vsize=9824732 CPUtime=1.12 cores=1,3,5,7
/proc/14245/task/14260/stat : 14260 (java) S 14242 14245 7329 0 -1 4202560 5567 0 0 0 112 0 0 0 20 0 22 0 24246898 10060525568 1054034 33554432000 1073741824 1073778376 140737404463264 139831748492088 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14245/tid=14261] ppid=14242 vsize=9824732 CPUtime=1.97 cores=1,3,5,7
/proc/14245/task/14261/stat : 14261 (java) S 14242 14245 7329 0 -1 4202560 15097 0 0 0 194 3 0 0 20 0 22 0 24246898 10060525568 1054034 33554432000 1073741824 1073778376 140737404463264 139831747439544 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14245/tid=14262] ppid=14242 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14245/task/14262/stat : 14262 (java) S 14242 14245 7329 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 24246898 10060525568 1054034 33554432000 1073741824 1073778376 140737404463264 139831746386680 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14245/tid=14263] ppid=14242 vsize=9824732 CPUtime=0.33 cores=1,3,5,7
/proc/14245/task/14263/stat : 14263 (java) S 14242 14245 7329 0 -1 4202560 47 0 0 0 13 20 0 0 20 0 22 0 24246898 10060525568 1054034 33554432000 1073741824 1073778376 140737404463264 139831745334344 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14245/tid=14264] ppid=14242 vsize=9824732 CPUtime=789.49 cores=1,3,5,7
/proc/14245/task/14264/stat : 14264 (java) R 14242 14245 7329 0 -1 4202560 40 0 0 0 78936 13 0 0 20 0 22 0 24247834 10060525568 1054034 33554432000 1073741824 1073778376 140737404463264 139831744277936 139831801685634 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=14245/tid=14265] ppid=14242 vsize=9824732 CPUtime=789.53 cores=1,3,5,7
/proc/14245/task/14265/stat : 14265 (java) R 14242 14245 7329 0 -1 4202560 56 0 0 0 78939 14 0 0 20 0 22 0 24247834 10060525568 1054034 33554432000 1073741824 1073778376 140737404463264 139831743224048 139831801794259 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=14245/tid=14266] ppid=14242 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14245/task/14266/stat : 14266 (java) S 14242 14245 7329 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 24247854 10060525568 1054034 33554432000 1073741824 1073778376 140737404463264 139831742173992 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14245/tid=14267] ppid=14242 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14245/task/14267/stat : 14267 (java) S 14242 14245 7329 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 24247861 10060525568 1054034 33554432000 1073741824 1073778376 140737404463264 139831741121448 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1660.48
Current children cumulated vsize (KiB) 9824732
[startup+882.309 s]
/proc/loadavg: 4.87 4.49 4.38 5/221 14379
/proc/meminfo: memFree=22274464/32872528 swapFree=1505436/1685308
[pid=14245] ppid=14242 vsize=9824732 CPUtime=1782.29 cores=1,3,5,7
/proc/14245/stat : 14245 (java) S 14242 14245 7329 0 -1 4202496 39986 0 1 0 177795 434 0 0 20 0 22 0 24246892 10060525568 1080658 33554432000 1073741824 1073778376 140737404463264 140737404454400 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14245/statm: 2456183 1080658 2298 9 0 2446860 0
[pid=14245/tid=14247] ppid=14242 vsize=9824732 CPUtime=6.54 cores=1,3,5,7
/proc/14245/task/14247/stat : 14247 (java) S 14242 14245 7329 0 -1 4202560 3422 0 1 0 642 12 0 0 20 0 22 0 24246893 10060525568 1080658 33554432000 1073741824 1073778376 140737404463264 139831928693624 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14245/tid=14248] ppid=14242 vsize=9824732 CPUtime=7.71 cores=1,3,5,7
/proc/14245/task/14248/stat : 14248 (java) S 14242 14245 7329 0 -1 4202560 1622 0 0 0 733 38 0 0 20 0 22 0 24246894 10060525568 1080658 33554432000 1073741824 1073778376 140737404463264 139831772268968 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14245/tid=14249] ppid=14242 vsize=9824732 CPUtime=8.5 cores=1,3,5,7
/proc/14245/task/14249/stat : 14249 (java) S 14242 14245 7329 0 -1 4202560 1337 0 0 0 802 48 0 0 20 0 22 0 24246894 10060525568 1080658 33554432000 1073741824 1073778376 140737404463264 139831771216424 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14245/tid=14250] ppid=14242 vsize=9824732 CPUtime=7.53 cores=1,3,5,7
/proc/14245/task/14250/stat : 14250 (java) S 14242 14245 7329 0 -1 4202560 1301 0 0 0 701 52 0 0 20 0 22 0 24246894 10060525568 1080658 33554432000 1073741824 1073778376 140737404463264 139831770163368 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14245/tid=14251] ppid=14242 vsize=9824732 CPUtime=7.29 cores=1,3,5,7
/proc/14245/task/14251/stat : 14251 (java) S 14242 14245 7329 0 -1 4202560 1194 0 0 0 678 51 0 0 20 0 22 0 24246894 10060525568 1080658 33554432000 1073741824 1073778376 140737404463264 139831769110824 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14245/tid=14252] ppid=14242 vsize=9824732 CPUtime=7.9 cores=1,3,5,7
/proc/14245/task/14252/stat : 14252 (java) S 14242 14245 7329 0 -1 4202560 1241 0 0 0 743 47 0 0 20 0 22 0 24246894 10060525568 1080658 33554432000 1073741824 1073778376 140737404463264 139831768058792 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14245/tid=14253] ppid=14242 vsize=9824732 CPUtime=7.65 cores=1,3,5,7
/proc/14245/task/14253/stat : 14253 (java) S 14242 14245 7329 0 -1 4202560 1134 0 0 0 717 48 0 0 20 0 22 0 24246894 10060525568 1080658 33554432000 1073741824 1073778376 140737404463264 139831767006248 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14245/tid=14254] ppid=14242 vsize=9824732 CPUtime=8.33 cores=1,3,5,7
/proc/14245/task/14254/stat : 14254 (java) S 14242 14245 7329 0 -1 4202560 1537 0 0 0 780 53 0 0 20 0 22 0 24246894 10060525568 1080658 33554432000 1073741824 1073778376 140737404463264 139831765953192 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14245/tid=14255] ppid=14242 vsize=9824732 CPUtime=7.39 cores=1,3,5,7
/proc/14245/task/14255/stat : 14255 (java) S 14242 14245 7329 0 -1 4202560 1424 0 0 0 686 53 0 0 20 0 22 0 24246894 10060525568 1080658 33554432000 1073741824 1073778376 140737404463264 139831764900648 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14245/tid=14256] ppid=14242 vsize=9824732 CPUtime=8.86 cores=1,3,5,7
/proc/14245/task/14256/stat : 14256 (java) S 14242 14245 7329 0 -1 4202560 3692 0 0 0 879 7 0 0 20 0 22 0 24246895 10060525568 1080658 33554432000 1073741824 1073778376 140737404463264 139831752702312 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14245/tid=14257] ppid=14242 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14245/task/14257/stat : 14257 (java) S 14242 14245 7329 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 24246896 10060525568 1080658 33554432000 1073741824 1073778376 140737404463264 139831751648632 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14245/tid=14258] ppid=14242 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14245/task/14258/stat : 14258 (java) S 14242 14245 7329 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 24246896 10060525568 1080658 33554432000 1073741824 1073778376 140737404463264 139831750595464 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14245/tid=14259] ppid=14242 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14245/task/14259/stat : 14259 (java) S 14242 14245 7329 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 24246898 10060525568 1080658 33554432000 1073741824 1073778376 140737404463264 139831749544208 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14245/tid=14260] ppid=14242 vsize=9824732 CPUtime=1.12 cores=1,3,5,7
/proc/14245/task/14260/stat : 14260 (java) S 14242 14245 7329 0 -1 4202560 5567 0 0 0 112 0 0 0 20 0 22 0 24246898 10060525568 1080658 33554432000 1073741824 1073778376 140737404463264 139831748492088 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14245/tid=14261] ppid=14242 vsize=9824732 CPUtime=1.97 cores=1,3,5,7
/proc/14245/task/14261/stat : 14261 (java) S 14242 14245 7329 0 -1 4202560 15097 0 0 0 194 3 0 0 20 0 22 0 24246898 10060525568 1080658 33554432000 1073741824 1073778376 140737404463264 139831747439544 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14245/tid=14262] ppid=14242 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14245/task/14262/stat : 14262 (java) S 14242 14245 7329 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 24246898 10060525568 1080658 33554432000 1073741824 1073778376 140737404463264 139831746386680 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14245/tid=14263] ppid=14242 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/14245/task/14263/stat : 14263 (java) S 14242 14245 7329 0 -1 4202560 51 0 0 0 15 20 0 0 20 0 22 0 24246898 10060525568 1080658 33554432000 1073741824 1073778376 140737404463264 139831745334344 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14245/tid=14264] ppid=14242 vsize=9824732 CPUtime=848.4 cores=1,3,5,7
/proc/14245/task/14264/stat : 14264 (java) R 14242 14245 7329 0 -1 4202560 41 0 0 0 84827 13 0 0 20 0 22 0 24247834 10060525568 1080658 33554432000 1073741824 1073778376 140737404463264 139831744277936 139831801341506 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=14245/tid=14265] ppid=14242 vsize=9824732 CPUtime=848.43 cores=1,3,5,7
/proc/14245/task/14265/stat : 14265 (java) R 14242 14245 7329 0 -1 4202560 58 0 0 0 84829 14 0 0 20 0 22 0 24247834 10060525568 1080658 33554432000 1073741824 1073778376 140737404463264 139831743224576 139831801581330 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=14245/tid=14266] ppid=14242 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14245/task/14266/stat : 14266 (java) S 14242 14245 7329 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 24247854 10060525568 1080658 33554432000 1073741824 1073778376 140737404463264 139831742173992 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14245/tid=14267] ppid=14242 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14245/task/14267/stat : 14267 (java) S 14242 14245 7329 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 24247861 10060525568 1080658 33554432000 1073741824 1073778376 140737404463264 139831741121448 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1782.29
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+891.201 s]
/proc/loadavg: 4.74 4.47 4.38 5/221 14379
/proc/meminfo: memFree=22274464/32872528 swapFree=1505436/1685308
[pid=14245] ppid=14242 vsize=9824732 CPUtime=1800.07 cores=1,3,5,7
/proc/14245/stat : 14245 (java) S 14242 14245 7329 0 -1 4202496 39986 0 1 0 179573 434 0 0 20 0 22 0 24246892 10060525568 1080658 33554432000 1073741824 1073778376 140737404463264 140737404454400 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14245/statm: 2456183 1080658 2298 9 0 2446860 0
[pid=14245/tid=14247] ppid=14242 vsize=9824732 CPUtime=6.54 cores=1,3,5,7
/proc/14245/task/14247/stat : 14247 (java) S 14242 14245 7329 0 -1 4202560 3422 0 1 0 642 12 0 0 20 0 22 0 24246893 10060525568 1080658 33554432000 1073741824 1073778376 140737404463264 139831928693624 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14245/tid=14248] ppid=14242 vsize=9824732 CPUtime=7.71 cores=1,3,5,7
/proc/14245/task/14248/stat : 14248 (java) S 14242 14245 7329 0 -1 4202560 1622 0 0 0 733 38 0 0 20 0 22 0 24246894 10060525568 1080658 33554432000 1073741824 1073778376 140737404463264 139831772268968 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14245/tid=14249] ppid=14242 vsize=9824732 CPUtime=8.5 cores=1,3,5,7
/proc/14245/task/14249/stat : 14249 (java) S 14242 14245 7329 0 -1 4202560 1337 0 0 0 802 48 0 0 20 0 22 0 24246894 10060525568 1080658 33554432000 1073741824 1073778376 140737404463264 139831771216424 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14245/tid=14250] ppid=14242 vsize=9824732 CPUtime=7.53 cores=1,3,5,7
/proc/14245/task/14250/stat : 14250 (java) S 14242 14245 7329 0 -1 4202560 1301 0 0 0 701 52 0 0 20 0 22 0 24246894 10060525568 1080658 33554432000 1073741824 1073778376 140737404463264 139831770163368 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14245/tid=14251] ppid=14242 vsize=9824732 CPUtime=7.29 cores=1,3,5,7
/proc/14245/task/14251/stat : 14251 (java) S 14242 14245 7329 0 -1 4202560 1194 0 0 0 678 51 0 0 20 0 22 0 24246894 10060525568 1080658 33554432000 1073741824 1073778376 140737404463264 139831769110824 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14245/tid=14252] ppid=14242 vsize=9824732 CPUtime=7.9 cores=1,3,5,7
/proc/14245/task/14252/stat : 14252 (java) S 14242 14245 7329 0 -1 4202560 1241 0 0 0 743 47 0 0 20 0 22 0 24246894 10060525568 1080658 33554432000 1073741824 1073778376 140737404463264 139831768058792 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14245/tid=14253] ppid=14242 vsize=9824732 CPUtime=7.65 cores=1,3,5,7
/proc/14245/task/14253/stat : 14253 (java) S 14242 14245 7329 0 -1 4202560 1134 0 0 0 717 48 0 0 20 0 22 0 24246894 10060525568 1080658 33554432000 1073741824 1073778376 140737404463264 139831767006248 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14245/tid=14254] ppid=14242 vsize=9824732 CPUtime=8.33 cores=1,3,5,7
/proc/14245/task/14254/stat : 14254 (java) S 14242 14245 7329 0 -1 4202560 1537 0 0 0 780 53 0 0 20 0 22 0 24246894 10060525568 1080658 33554432000 1073741824 1073778376 140737404463264 139831765953192 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14245/tid=14255] ppid=14242 vsize=9824732 CPUtime=7.39 cores=1,3,5,7
/proc/14245/task/14255/stat : 14255 (java) S 14242 14245 7329 0 -1 4202560 1424 0 0 0 686 53 0 0 20 0 22 0 24246894 10060525568 1080658 33554432000 1073741824 1073778376 140737404463264 139831764900648 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14245/tid=14256] ppid=14242 vsize=9824732 CPUtime=8.86 cores=1,3,5,7
/proc/14245/task/14256/stat : 14256 (java) S 14242 14245 7329 0 -1 4202560 3692 0 0 0 879 7 0 0 20 0 22 0 24246895 10060525568 1080658 33554432000 1073741824 1073778376 140737404463264 139831752702312 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14245/tid=14257] ppid=14242 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14245/task/14257/stat : 14257 (java) S 14242 14245 7329 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 24246896 10060525568 1080658 33554432000 1073741824 1073778376 140737404463264 139831751648632 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14245/tid=14258] ppid=14242 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14245/task/14258/stat : 14258 (java) S 14242 14245 7329 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 24246896 10060525568 1080658 33554432000 1073741824 1073778376 140737404463264 139831750595464 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14245/tid=14259] ppid=14242 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14245/task/14259/stat : 14259 (java) S 14242 14245 7329 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 24246898 10060525568 1080658 33554432000 1073741824 1073778376 140737404463264 139831749544208 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14245/tid=14260] ppid=14242 vsize=9824732 CPUtime=1.12 cores=1,3,5,7
/proc/14245/task/14260/stat : 14260 (java) S 14242 14245 7329 0 -1 4202560 5567 0 0 0 112 0 0 0 20 0 22 0 24246898 10060525568 1080658 33554432000 1073741824 1073778376 140737404463264 139831748492088 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14245/tid=14261] ppid=14242 vsize=9824732 CPUtime=1.97 cores=1,3,5,7
/proc/14245/task/14261/stat : 14261 (java) S 14242 14245 7329 0 -1 4202560 15097 0 0 0 194 3 0 0 20 0 22 0 24246898 10060525568 1080658 33554432000 1073741824 1073778376 140737404463264 139831747439544 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14245/tid=14262] ppid=14242 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14245/task/14262/stat : 14262 (java) S 14242 14245 7329 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 24246898 10060525568 1080658 33554432000 1073741824 1073778376 140737404463264 139831746386680 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14245/tid=14263] ppid=14242 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/14245/task/14263/stat : 14263 (java) S 14242 14245 7329 0 -1 4202560 51 0 0 0 15 20 0 0 20 0 22 0 24246898 10060525568 1080658 33554432000 1073741824 1073778376 140737404463264 139831745334344 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14245/tid=14264] ppid=14242 vsize=9824732 CPUtime=857.27 cores=1,3,5,7
/proc/14245/task/14264/stat : 14264 (java) R 14242 14245 7329 0 -1 4202560 41 0 0 0 85713 14 0 0 20 0 22 0 24247834 10060525568 1080658 33554432000 1073741824 1073778376 140737404463264 139831744277936 139831801341495 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=14245/tid=14265] ppid=14242 vsize=9824732 CPUtime=857.29 cores=1,3,5,7
/proc/14245/task/14265/stat : 14265 (java) R 14242 14245 7329 0 -1 4202560 58 0 0 0 85714 15 0 0 20 0 22 0 24247834 10060525568 1080658 33554432000 1073741824 1073778376 140737404463264 139831743224576 139831801581062 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=14245/tid=14266] ppid=14242 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14245/task/14266/stat : 14266 (java) S 14242 14245 7329 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 24247854 10060525568 1080658 33554432000 1073741824 1073778376 140737404463264 139831742173992 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14245/tid=14267] ppid=14242 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14245/task/14267/stat : 14267 (java) S 14242 14245 7329 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 24247861 10060525568 1080658 33554432000 1073741824 1073778376 140737404463264 139831741121448 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
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 14245 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 14245 and gives
# childrusage.ru_utime.tv_sec=1791
# childrusage.ru_utime.tv_usec=338675
# childrusage.ru_stime.tv_sec=4
# childrusage.ru_stime.tv_usec=791271
# CPU time returned by wait4() is 1796.13
# while last known CPU time is 1800.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 891.253
CPU time (s): 1800.07
CPU user time (s): 1795.73
CPU system time (s): 4.34
CPU usage (%): 201.971
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.34
system time used= 4.79127
maximum resident set size= 4322748
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40023
page faults= 1
swaps= 0
block input operations= 0
block output operations= 904
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23181
involuntary context switches= 29198
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.92325 second user time and 8.70568 second system time
The end