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-4100066-1466207906/watcher-4100066-1466207906 -o /tmp/evaluation-result-4100066-1466207906/solver-4100066-1466207906 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1466206058-15308 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4100066-1466207906.opb
pid=18405
running on 8 cores: 0-3,8-11
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.72 3.84 3.31 4/284 18408
/proc/meminfo: memFree=31070596/32872528 swapFree=7804/7804
[pid=18408] ppid=18405 vsize=101560 CPUtime=0 cores=0-3,8-11
/proc/18408/stat : 18408 (java) S 18405 18408 15292 0 -1 4202496 1498 0 1 0 0 0 0 0 20 0 2 0 22835221 103997440 1102 33554432000 1073741824 1073778376 140733456042240 140733456033376 216811995197 0 0 0 16784584 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/18408/statm: 25390 1102 852 9 0 16774 0
[pid=18408/tid=18409] ppid=18405 vsize=102664 CPUtime=0 cores=0-3,8-11
/proc/18408/task/18409/stat : 18409 (java) D 18405 18408 15292 0 -1 4202560 282 0 1 0 0 0 0 0 20 0 2 0 22835221 105127936 1110 33554432000 1073741824 1073778376 140733456042240 140227615955248 216808637357 0 4 0 16784584 18446744072100756772 0 0 -1 9 0 0 0 0 0
[startup+0.100182 s]
/proc/loadavg: 4.72 3.84 3.31 4/284 18408
/proc/meminfo: memFree=31070596/32872528 swapFree=7804/7804
[pid=18408] ppid=18405 vsize=9896436 CPUtime=0.11 cores=0-3,8-11
/proc/18408/stat : 18408 (java) S 18405 18408 15292 0 -1 4202496 4514 0 1 0 10 1 0 0 20 0 23 0 22835221 10133950464 6150 33554432000 1073741824 1073778376 140733456042240 140733456033376 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/18408/statm: 2474109 6151 2156 9 0 2464786 0
[pid=18408/tid=18409] ppid=18405 vsize=9896436 CPUtime=0.07 cores=0-3,8-11
/proc/18408/task/18409/stat : 18409 (java) R 18405 18408 15292 0 -1 4202560 2427 0 1 0 7 0 0 0 20 0 23 0 22835221 10133950464 6151 33554432000 1073741824 1073778376 140733456042240 140227615951168 140733456398512 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9896436
[startup+0.257619 s]
/proc/loadavg: 4.72 3.84 3.31 4/284 18408
/proc/meminfo: memFree=31070596/32872528 swapFree=7804/7804
[pid=18408] ppid=18405 vsize=9896436 CPUtime=0.46 cores=0-3,8-11
/proc/18408/stat : 18408 (java) S 18405 18408 15292 0 -1 4202496 6319 0 1 0 44 2 0 0 20 0 23 0 22835221 10133950464 9790 33554432000 1073741824 1073778376 140733456042240 140733456033376 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/18408/statm: 2474109 9790 2232 9 0 2464786 0
[pid=18408/tid=18409] ppid=18405 vsize=9896436 CPUtime=0.23 cores=0-3,8-11
/proc/18408/task/18409/stat : 18409 (java) R 18405 18408 15292 0 -1 4202560 2443 0 1 0 23 0 0 0 20 0 23 0 22835221 10133950464 9790 33554432000 1073741824 1073778376 140733456042240 140227615941888 140227477868120 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 9896436
[startup+0.300259 s]
/proc/loadavg: 4.72 3.84 3.31 4/284 18408
/proc/meminfo: memFree=31070596/32872528 swapFree=7804/7804
[pid=18408] ppid=18405 vsize=9896436 CPUtime=0.56 cores=0-3,8-11
/proc/18408/stat : 18408 (java) S 18405 18408 15292 0 -1 4202496 6475 0 1 0 54 2 0 0 20 0 23 0 22835221 10133950464 11367 33554432000 1073741824 1073778376 140733456042240 140733456033376 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/18408/statm: 2474109 11367 2233 9 0 2464786 0
[pid=18408/tid=18409] ppid=18405 vsize=9896436 CPUtime=0.27 cores=0-3,8-11
/proc/18408/task/18409/stat : 18409 (java) R 18405 18408 15292 0 -1 4202560 2446 0 1 0 27 0 0 0 20 0 23 0 22835221 10133950464 11367 33554432000 1073741824 1073778376 140733456042240 140227615941888 140227477855302 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 9896436
[startup+0.700293 s]
/proc/loadavg: 4.72 3.84 3.31 4/284 18408
/proc/meminfo: memFree=31070596/32872528 swapFree=7804/7804
[pid=18408] ppid=18405 vsize=9896436 CPUtime=1.64 cores=0-3,8-11
/proc/18408/stat : 18408 (java) S 18405 18408 15292 0 -1 4202496 11197 0 1 0 141 23 0 0 20 0 23 0 22835221 10133950464 51894 33554432000 1073741824 1073778376 140733456042240 140733456033376 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/18408/statm: 2474109 51894 2276 9 0 2464786 0
[pid=18408/tid=18409] ppid=18405 vsize=9896436 CPUtime=0.61 cores=0-3,8-11
/proc/18408/task/18409/stat : 18409 (java) R 18405 18408 15292 0 -1 4202560 2511 0 1 0 59 2 0 0 20 0 23 0 22835221 10133950464 51894 33554432000 1073741824 1073778376 140733456042240 140227615951304 140227478449643 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 1.64
Current children cumulated vsize (KiB) 9896436
[startup+1.5009 s]
/proc/loadavg: 4.72 3.84 3.31 4/307 18431
/proc/meminfo: memFree=30819156/32872528 swapFree=7804/7804
[pid=18408] ppid=18405 vsize=10029564 CPUtime=3.13 cores=0-3,8-11
/proc/18408/stat : 18408 (java) S 18405 18408 15292 0 -1 4202496 12551 0 1 0 262 51 0 0 20 0 25 0 22835221 10270273536 84177 33554432000 1073741824 1073778376 140733456042240 140733456033376 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/18408/statm: 2507391 84177 2278 9 0 2498068 0
[pid=18408/tid=18409] ppid=18405 vsize=10029564 CPUtime=1.29 cores=0-3,8-11
/proc/18408/task/18409/stat : 18409 (java) S 18405 18408 15292 0 -1 4202560 2556 0 1 0 125 4 0 0 20 0 25 0 22835221 10270273536 84177 33554432000 1073741824 1073778376 140733456042240 140227615953784 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=18408/tid=18411] ppid=18405 vsize=10029564 CPUtime=0.05 cores=0-3,8-11
/proc/18408/task/18411/stat : 18411 (java) S 18405 18408 15292 0 -1 4202560 26 0 0 0 2 3 0 0 20 0 25 0 22835222 10270273536 84177 33554432000 1073741824 1073778376 140733456042240 140227605015592 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=18408/tid=18412] ppid=18405 vsize=10029564 CPUtime=0.08 cores=0-3,8-11
/proc/18408/task/18412/stat : 18412 (java) S 18405 18408 15292 0 -1 4202560 87 0 0 0 4 4 0 0 20 0 25 0 22835222 10270273536 84177 33554432000 1073741824 1073778376 140733456042240 140227603962792 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18408/tid=18413] ppid=18405 vsize=10029564 CPUtime=0.11 cores=0-3,8-11
/proc/18408/task/18413/stat : 18413 (java) S 18405 18408 15292 0 -1 4202560 91 0 0 0 6 5 0 0 20 0 25 0 22835222 10270273536 84177 33554432000 1073741824 1073778376 140733456042240 140227602909992 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=18408/tid=18414] ppid=18405 vsize=10029564 CPUtime=0.06 cores=0-3,8-11
/proc/18408/task/18414/stat : 18414 (java) S 18405 18408 15292 0 -1 4202560 65 0 0 0 3 3 0 0 20 0 25 0 22835222 10270273536 84177 33554432000 1073741824 1073778376 140733456042240 140227601857192 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18408/tid=18415] ppid=18405 vsize=10029564 CPUtime=0.05 cores=0-3,8-11
/proc/18408/task/18415/stat : 18415 (java) S 18405 18408 15292 0 -1 4202560 28 0 0 0 2 3 0 0 20 0 25 0 22835222 10270273536 84177 33554432000 1073741824 1073778376 140733456042240 140227600804392 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18408/tid=18416] ppid=18405 vsize=10029564 CPUtime=0.06 cores=0-3,8-11
/proc/18408/task/18416/stat : 18416 (java) S 18405 18408 15292 0 -1 4202560 29 0 0 0 3 3 0 0 20 0 25 0 22835222 10270273536 84177 33554432000 1073741824 1073778376 140733456042240 140227599751592 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18408/tid=18417] ppid=18405 vsize=10029564 CPUtime=0.05 cores=0-3,8-11
/proc/18408/task/18417/stat : 18417 (java) S 18405 18408 15292 0 -1 4202560 67 0 0 0 2 3 0 0 20 0 25 0 22835222 10270273536 84177 33554432000 1073741824 1073778376 140733456042240 140227598698792 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=18408/tid=18418] ppid=18405 vsize=10029564 CPUtime=0.1 cores=0-3,8-11
/proc/18408/task/18418/stat : 18418 (java) S 18405 18408 15292 0 -1 4202560 86 0 0 0 5 5 0 0 20 0 25 0 22835222 10270273536 84177 33554432000 1073741824 1073778376 140733456042240 140227597645992 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=18408/tid=18419] ppid=18405 vsize=10029564 CPUtime=0.05 cores=0-3,8-11
/proc/18408/task/18419/stat : 18419 (java) S 18405 18408 15292 0 -1 4202560 27 0 0 0 2 3 0 0 20 0 25 0 22835222 10270273536 84177 33554432000 1073741824 1073778376 140733456042240 140227596594216 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=18408/tid=18420] ppid=18405 vsize=10029564 CPUtime=0.05 cores=0-3,8-11
/proc/18408/task/18420/stat : 18420 (java) S 18405 18408 15292 0 -1 4202560 67 0 0 0 2 3 0 0 20 0 25 0 22835222 10270273536 84177 33554432000 1073741824 1073778376 140733456042240 140227450190760 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=18408/tid=18421] ppid=18405 vsize=10029564 CPUtime=0.04 cores=0-3,8-11
/proc/18408/task/18421/stat : 18421 (java) S 18405 18408 15292 0 -1 4202560 24 0 0 0 1 3 0 0 20 0 25 0 22835222 10270273536 84177 33554432000 1073741824 1073778376 140733456042240 140227449137960 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18408/tid=18422] ppid=18405 vsize=10029564 CPUtime=0.08 cores=0-3,8-11
/proc/18408/task/18422/stat : 18422 (java) S 18405 18408 15292 0 -1 4202560 80 0 0 0 4 4 0 0 20 0 25 0 22835222 10270273536 84177 33554432000 1073741824 1073778376 140733456042240 140227448085160 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18408/tid=18423] ppid=18405 vsize=10029564 CPUtime=0.05 cores=0-3,8-11
/proc/18408/task/18423/stat : 18423 (java) S 18405 18408 15292 0 -1 4202560 72 0 0 0 2 3 0 0 20 0 25 0 22835222 10270273536 84177 33554432000 1073741824 1073778376 140733456042240 140227447032360 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18408/tid=18424] ppid=18405 vsize=10029564 CPUtime=0 cores=0-3,8-11
/proc/18408/task/18424/stat : 18424 (java) S 18405 18408 15292 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 25 0 22835223 10270273536 84177 33554432000 1073741824 1073778376 140733456042240 140227429570920 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18408/tid=18425] ppid=18405 vsize=10029564 CPUtime=0 cores=0-3,8-11
/proc/18408/task/18425/stat : 18425 (java) S 18405 18408 15292 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 25 0 22835223 10270273536 84177 33554432000 1073741824 1073778376 140733456042240 140227428516984 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=18408/tid=18426] ppid=18405 vsize=10029564 CPUtime=0 cores=0-3,8-11
/proc/18408/task/18426/stat : 18426 (java) S 18405 18408 15292 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 25 0 22835223 10270273536 84177 33554432000 1073741824 1073778376 140733456042240 140227427464072 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=18408/tid=18427] ppid=18405 vsize=10029564 CPUtime=0 cores=0-3,8-11
/proc/18408/task/18427/stat : 18427 (java) S 18405 18408 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 25 0 22835226 10270273536 84177 33554432000 1073741824 1073778376 140733456042240 140227426413584 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=18408/tid=18428] ppid=18405 vsize=10029564 CPUtime=0.28 cores=0-3,8-11
/proc/18408/task/18428/stat : 18428 (java) R 18405 18408 15292 0 -1 4202560 1706 0 0 0 28 0 0 0 20 0 25 0 22835226 10270273536 84177 33554432000 1073741824 1073778376 140733456042240 140227425347984 140227621908734 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0
[pid=18408/tid=18429] ppid=18405 vsize=10029564 CPUtime=0.39 cores=0-3,8-11
/proc/18408/task/18429/stat : 18429 (java) R 18405 18408 15292 0 -1 4202560 6187 0 0 0 38 1 0 0 20 0 25 0 22835226 10270273536 84177 33554432000 1073741824 1073778376 140733456042240 140227424307424 140227619901808 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0
[pid=18408/tid=18430] ppid=18405 vsize=10029564 CPUtime=0 cores=0-3,8-11
/proc/18408/task/18430/stat : 18430 (java) S 18405 18408 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 25 0 22835226 10270273536 84177 33554432000 1073741824 1073778376 140733456042240 140227423255288 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=18408/tid=18431] ppid=18405 vsize=10029564 CPUtime=0 cores=0-3,8-11
/proc/18408/task/18431/stat : 18431 (java) S 18405 18408 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 25 0 22835226 10270273536 84177 33554432000 1073741824 1073778376 140733456042240 140227422202696 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.13
Current children cumulated vsize (KiB) 10029564
[startup+3.10111 s]
/proc/loadavg: 4.72 3.84 3.31 7/311 18435
/proc/meminfo: memFree=30402780/32872528 swapFree=7804/7804
[pid=18408] ppid=18405 vsize=10162692 CPUtime=7.85 cores=0-3,8-11
/proc/18408/stat : 18408 (java) S 18405 18408 15292 0 -1 4202496 16192 0 1 0 693 92 0 0 20 0 27 0 22835221 10406596608 111545 33554432000 1073741824 1073778376 140733456042240 140733456033376 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/18408/statm: 2540673 111545 2280 9 0 2531350 0
[pid=18408/tid=18409] ppid=18405 vsize=10162692 CPUtime=1.29 cores=0-3,8-11
/proc/18408/task/18409/stat : 18409 (java) S 18405 18408 15292 0 -1 4202560 2556 0 1 0 125 4 0 0 20 0 27 0 22835221 10406596608 111545 33554432000 1073741824 1073778376 140733456042240 140227615953784 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=18408/tid=18411] ppid=18405 vsize=10162692 CPUtime=0.15 cores=0-3,8-11
/proc/18408/task/18411/stat : 18411 (java) S 18405 18408 15292 0 -1 4202560 63 0 0 0 8 7 0 0 20 0 27 0 22835222 10406596608 111545 33554432000 1073741824 1073778376 140733456042240 140227605015592 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=18408/tid=18412] ppid=18405 vsize=10162692 CPUtime=0.17 cores=0-3,8-11
/proc/18408/task/18412/stat : 18412 (java) S 18405 18408 15292 0 -1 4202560 118 0 0 0 9 8 0 0 20 0 27 0 22835222 10406596608 111545 33554432000 1073741824 1073778376 140733456042240 140227603962792 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18408/tid=18413] ppid=18405 vsize=10162692 CPUtime=0.23 cores=0-3,8-11
/proc/18408/task/18413/stat : 18413 (java) S 18405 18408 15292 0 -1 4202560 133 0 0 0 13 10 0 0 20 0 27 0 22835222 10406596608 111545 33554432000 1073741824 1073778376 140733456042240 140227602909992 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=18408/tid=18414] ppid=18405 vsize=10162692 CPUtime=0.12 cores=0-3,8-11
/proc/18408/task/18414/stat : 18414 (java) S 18405 18408 15292 0 -1 4202560 88 0 0 0 6 6 0 0 20 0 27 0 22835222 10406596608 111545 33554432000 1073741824 1073778376 140733456042240 140227601857192 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=18408/tid=18415] ppid=18405 vsize=10162692 CPUtime=0.1 cores=0-3,8-11
/proc/18408/task/18415/stat : 18415 (java) S 18405 18408 15292 0 -1 4202560 55 0 0 0 5 5 0 0 20 0 27 0 22835222 10406596608 111545 33554432000 1073741824 1073778376 140733456042240 140227600804392 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=18408/tid=18416] ppid=18405 vsize=10162692 CPUtime=0.12 cores=0-3,8-11
/proc/18408/task/18416/stat : 18416 (java) S 18405 18408 15292 0 -1 4202560 52 0 0 0 6 6 0 0 20 0 27 0 22835222 10406596608 111545 33554432000 1073741824 1073778376 140733456042240 140227599751592 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18408/tid=18417] ppid=18405 vsize=10162692 CPUtime=0.1 cores=0-3,8-11
/proc/18408/task/18417/stat : 18417 (java) S 18405 18408 15292 0 -1 4202560 87 0 0 0 4 6 0 0 20 0 27 0 22835222 10406596608 111545 33554432000 1073741824 1073778376 140733456042240 140227598698792 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18408/tid=18418] ppid=18405 vsize=10162692 CPUtime=0.22 cores=0-3,8-11
/proc/18408/task/18418/stat : 18418 (java) S 18405 18408 15292 0 -1 4202560 125 0 0 0 13 9 0 0 20 0 27 0 22835222 10406596608 111545 33554432000 1073741824 1073778376 140733456042240 140227597645992 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=18408/tid=18419] ppid=18405 vsize=10162692 CPUtime=0.12 cores=0-3,8-11
/proc/18408/task/18419/stat : 18419 (java) S 18405 18408 15292 0 -1 4202560 50 0 0 0 7 5 0 0 20 0 27 0 22835222 10406596608 111545 33554432000 1073741824 1073778376 140733456042240 140227596594216 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18408/tid=18420] ppid=18405 vsize=10162692 CPUtime=0.09 cores=0-3,8-11
/proc/18408/task/18420/stat : 18420 (java) S 18405 18408 15292 0 -1 4202560 85 0 0 0 4 5 0 0 20 0 27 0 22835222 10406596608 111545 33554432000 1073741824 1073778376 140733456042240 140227450190760 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18408/tid=18421] ppid=18405 vsize=10162692 CPUtime=0.09 cores=0-3,8-11
/proc/18408/task/18421/stat : 18421 (java) S 18405 18408 15292 0 -1 4202560 50 0 0 0 4 5 0 0 20 0 27 0 22835222 10406596608 111545 33554432000 1073741824 1073778376 140733456042240 140227449137960 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=18408/tid=18422] ppid=18405 vsize=10162692 CPUtime=0.17 cores=0-3,8-11
/proc/18408/task/18422/stat : 18422 (java) S 18405 18408 15292 0 -1 4202560 109 0 0 0 9 8 0 0 20 0 27 0 22835222 10406596608 111545 33554432000 1073741824 1073778376 140733456042240 140227448085160 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18408/tid=18423] ppid=18405 vsize=10162692 CPUtime=0.11 cores=0-3,8-11
/proc/18408/task/18423/stat : 18423 (java) S 18405 18408 15292 0 -1 4202560 96 0 0 0 6 5 0 0 20 0 27 0 22835222 10406596608 111545 33554432000 1073741824 1073778376 140733456042240 140227447032360 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18408/tid=18424] ppid=18405 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/18408/task/18424/stat : 18424 (java) S 18405 18408 15292 0 -1 4202560 198 0 0 0 0 0 0 0 20 0 27 0 22835223 10406596608 111545 33554432000 1073741824 1073778376 140733456042240 140227429570920 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18408/tid=18425] ppid=18405 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/18408/task/18425/stat : 18425 (java) S 18405 18408 15292 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 27 0 22835223 10406596608 111545 33554432000 1073741824 1073778376 140733456042240 140227428516984 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=18408/tid=18426] ppid=18405 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/18408/task/18426/stat : 18426 (java) S 18405 18408 15292 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 27 0 22835223 10406596608 111545 33554432000 1073741824 1073778376 140733456042240 140227427464072 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=18408/tid=18427] ppid=18405 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/18408/task/18427/stat : 18427 (java) S 18405 18408 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 22835226 10406596608 111545 33554432000 1073741824 1073778376 140733456042240 140227426413584 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=18408/tid=18428] ppid=18405 vsize=10162692 CPUtime=0.69 cores=0-3,8-11
/proc/18408/task/18428/stat : 18428 (java) S 18405 18408 15292 0 -1 4202560 4058 0 0 0 68 1 0 0 20 0 27 0 22835226 10406596608 111545 33554432000 1073741824 1073778376 140733456042240 140227425360696 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=18408/tid=18429] ppid=18405 vsize=10162692 CPUtime=0.77 cores=0-3,8-11
/proc/18408/task/18429/stat : 18429 (java) S 18405 18408 15292 0 -1 4202560 6935 0 0 0 75 2 0 0 20 0 27 0 22835226 10406596608 111545 33554432000 1073741824 1073778376 140733456042240 140227424307896 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18408/tid=18430] ppid=18405 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/18408/task/18430/stat : 18430 (java) S 18405 18408 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 22835226 10406596608 111545 33554432000 1073741824 1073778376 140733456042240 140227423255288 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=18408/tid=18431] ppid=18405 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/18408/task/18431/stat : 18431 (java) S 18405 18408 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 22835226 10406596608 111545 33554432000 1073741824 1073778376 140733456042240 140227422202696 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18408/tid=18432] ppid=18405 vsize=10162692 CPUtime=1.51 cores=0-3,8-11
/proc/18408/task/18432/stat : 18432 (java) R 18405 18408 15292 0 -1 4202560 28 0 0 0 151 0 0 0 20 0 27 0 22835366 10406596608 111545 33554432000 1073741824 1073778376 140733456042240 140227421047376 140227478584288 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0
[pid=18408/tid=18433] ppid=18405 vsize=10162692 CPUtime=1.51 cores=0-3,8-11
/proc/18408/task/18433/stat : 18433 (java) R 18405 18408 15292 0 -1 4202560 39 0 0 0 151 0 0 0 20 0 27 0 22835366 10406596608 111545 33554432000 1073741824 1073778376 140733456042240 140227419996520 140227478602568 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18408/tid=18434] ppid=18405 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/18408/task/18434/stat : 18434 (java) S 18405 18408 15292 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 22835372 10406596608 111545 33554432000 1073741824 1073778376 140733456042240 140227418944296 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18408/tid=18435] ppid=18405 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/18408/task/18435/stat : 18435 (java) S 18405 18408 15292 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 22835372 10406596608 111545 33554432000 1073741824 1073778376 140733456042240 140227417892520 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
Current children cumulated CPU time (s) 7.85
Current children cumulated vsize (KiB) 10162692
[startup+6.30112 s]
/proc/loadavg: 4.66 3.85 3.31 5/311 18435
/proc/meminfo: memFree=29904532/32872528 swapFree=7804/7804
[pid=18408] ppid=18405 vsize=10162692 CPUtime=14.27 cores=0-3,8-11
/proc/18408/stat : 18408 (java) S 18405 18408 15292 0 -1 4202496 16194 0 1 0 1335 92 0 0 20 0 27 0 22835221 10406596608 111438 33554432000 1073741824 1073778376 140733456042240 140733456033376 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/18408/statm: 2540673 111438 2280 9 0 2531350 0
[pid=18408/tid=18409] ppid=18405 vsize=10162692 CPUtime=1.29 cores=0-3,8-11
/proc/18408/task/18409/stat : 18409 (java) S 18405 18408 15292 0 -1 4202560 2556 0 1 0 125 4 0 0 20 0 27 0 22835221 10406596608 111438 33554432000 1073741824 1073778376 140733456042240 140227615953784 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18408/tid=18411] ppid=18405 vsize=10162692 CPUtime=0.15 cores=0-3,8-11
/proc/18408/task/18411/stat : 18411 (java) S 18405 18408 15292 0 -1 4202560 63 0 0 0 8 7 0 0 20 0 27 0 22835222 10406596608 111438 33554432000 1073741824 1073778376 140733456042240 140227605015592 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=18408/tid=18412] ppid=18405 vsize=10162692 CPUtime=0.17 cores=0-3,8-11
################
# More data... #
################
/proc/18408/task/18428/stat : 18428 (java) S 18405 18408 15292 0 -1 4202560 6147 0 0 0 117 2 0 0 20 0 27 0 22835226 10406596608 769218 33554432000 1073741824 1073778376 140733456042240 140227425360696 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18408/tid=18429] ppid=18405 vsize=10162692 CPUtime=0.99 cores=0-3,8-11
/proc/18408/task/18429/stat : 18429 (java) S 18405 18408 15292 0 -1 4202560 6940 0 0 0 97 2 0 0 20 0 27 0 22835226 10406596608 769218 33554432000 1073741824 1073778376 140733456042240 140227424307896 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18408/tid=18430] ppid=18405 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/18408/task/18430/stat : 18430 (java) S 18405 18408 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 22835226 10406596608 769218 33554432000 1073741824 1073778376 140733456042240 140227423255288 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=18408/tid=18431] ppid=18405 vsize=10162692 CPUtime=0.23 cores=0-3,8-11
/proc/18408/task/18431/stat : 18431 (java) S 18405 18408 15292 0 -1 4202560 47 0 0 0 12 11 0 0 20 0 27 0 22835226 10406596608 769218 33554432000 1073741824 1073778376 140733456042240 140227422202696 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18408/tid=18432] ppid=18405 vsize=10162692 CPUtime=816.29 cores=0-3,8-11
/proc/18408/task/18432/stat : 18432 (java) R 18405 18408 15292 0 -1 4202560 1367 0 0 0 81596 33 0 0 20 0 27 0 22835366 10406596608 769218 33554432000 1073741824 1073778376 140733456042240 140227421048160 140227478677095 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18408/tid=18433] ppid=18405 vsize=10162692 CPUtime=816.24 cores=0-3,8-11
/proc/18408/task/18433/stat : 18433 (java) R 18405 18408 15292 0 -1 4202560 213 0 0 0 81606 18 0 0 20 0 27 0 22835366 10406596608 769218 33554432000 1073741824 1073778376 140733456042240 140227419994192 140227478965501 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0
[pid=18408/tid=18434] ppid=18405 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/18408/task/18434/stat : 18434 (java) S 18405 18408 15292 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 22835372 10406596608 769218 33554432000 1073741824 1073778376 140733456042240 140227418944296 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18408/tid=18435] ppid=18405 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/18408/task/18435/stat : 18435 (java) S 18405 18408 15292 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 22835372 10406596608 769218 33554432000 1073741824 1073778376 140733456042240 140227417892520 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
Current children cumulated CPU time (s) 1651.61
Current children cumulated vsize (KiB) 10162692
[startup+882.311 s]
/proc/loadavg: 4.16 4.15 3.81 5/311 18573
/proc/meminfo: memFree=27255364/32872528 swapFree=7804/7804
[pid=18408] ppid=18405 vsize=10162692 CPUtime=1771.83 cores=0-3,8-11
/proc/18408/stat : 18408 (java) S 18405 18408 15292 0 -1 4202496 24421 0 1 0 176704 479 0 0 20 0 27 0 22835221 10406596608 756663 33554432000 1073741824 1073778376 140733456042240 140733456033376 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/18408/statm: 2540673 756663 2297 9 0 2531350 0
[pid=18408/tid=18409] ppid=18405 vsize=10162692 CPUtime=1.33 cores=0-3,8-11
/proc/18408/task/18409/stat : 18409 (java) S 18405 18408 15292 0 -1 4202560 2562 0 1 0 127 6 0 0 20 0 27 0 22835221 10406596608 756663 33554432000 1073741824 1073778376 140733456042240 140227615953784 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18408/tid=18411] ppid=18405 vsize=10162692 CPUtime=0.98 cores=0-3,8-11
/proc/18408/task/18411/stat : 18411 (java) S 18405 18408 15292 0 -1 4202560 374 0 0 0 56 42 0 0 20 0 27 0 22835222 10406596608 756663 33554432000 1073741824 1073778376 140733456042240 140227605015592 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=18408/tid=18412] ppid=18405 vsize=10162692 CPUtime=0.85 cores=0-3,8-11
/proc/18408/task/18412/stat : 18412 (java) S 18405 18408 15292 0 -1 4202560 365 0 0 0 49 36 0 0 20 0 27 0 22835222 10406596608 756663 33554432000 1073741824 1073778376 140733456042240 140227603962792 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18408/tid=18413] ppid=18405 vsize=10162692 CPUtime=0.73 cores=0-3,8-11
/proc/18408/task/18413/stat : 18413 (java) S 18405 18408 15292 0 -1 4202560 323 0 0 0 42 31 0 0 20 0 27 0 22835222 10406596608 756663 33554432000 1073741824 1073778376 140733456042240 140227602909992 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18408/tid=18414] ppid=18405 vsize=10162692 CPUtime=0.75 cores=0-3,8-11
/proc/18408/task/18414/stat : 18414 (java) S 18405 18408 15292 0 -1 4202560 356 0 0 0 41 34 0 0 20 0 27 0 22835222 10406596608 756663 33554432000 1073741824 1073778376 140733456042240 140227601857192 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18408/tid=18415] ppid=18405 vsize=10162692 CPUtime=0.8 cores=0-3,8-11
/proc/18408/task/18415/stat : 18415 (java) S 18405 18408 15292 0 -1 4202560 385 0 0 0 46 34 0 0 20 0 27 0 22835222 10406596608 756663 33554432000 1073741824 1073778376 140733456042240 140227600804392 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18408/tid=18416] ppid=18405 vsize=10162692 CPUtime=0.85 cores=0-3,8-11
/proc/18408/task/18416/stat : 18416 (java) S 18405 18408 15292 0 -1 4202560 352 0 0 0 48 37 0 0 20 0 27 0 22835222 10406596608 756663 33554432000 1073741824 1073778376 140733456042240 140227599751592 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18408/tid=18417] ppid=18405 vsize=10162692 CPUtime=0.74 cores=0-3,8-11
/proc/18408/task/18417/stat : 18417 (java) S 18405 18408 15292 0 -1 4202560 321 0 0 0 42 32 0 0 20 0 27 0 22835222 10406596608 756663 33554432000 1073741824 1073778376 140733456042240 140227598698792 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18408/tid=18418] ppid=18405 vsize=10162692 CPUtime=0.96 cores=0-3,8-11
/proc/18408/task/18418/stat : 18418 (java) S 18405 18408 15292 0 -1 4202560 388 0 0 0 56 40 0 0 20 0 27 0 22835222 10406596608 756663 33554432000 1073741824 1073778376 140733456042240 140227597645992 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=18408/tid=18419] ppid=18405 vsize=10162692 CPUtime=0.68 cores=0-3,8-11
/proc/18408/task/18419/stat : 18419 (java) S 18405 18408 15292 0 -1 4202560 256 0 0 0 38 30 0 0 20 0 27 0 22835222 10406596608 756663 33554432000 1073741824 1073778376 140733456042240 140227596594216 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=18408/tid=18420] ppid=18405 vsize=10162692 CPUtime=0.64 cores=0-3,8-11
/proc/18408/task/18420/stat : 18420 (java) S 18405 18408 15292 0 -1 4202560 313 0 0 0 36 28 0 0 20 0 27 0 22835222 10406596608 756663 33554432000 1073741824 1073778376 140733456042240 140227450190760 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18408/tid=18421] ppid=18405 vsize=10162692 CPUtime=0.69 cores=0-3,8-11
/proc/18408/task/18421/stat : 18421 (java) S 18405 18408 15292 0 -1 4202560 262 0 0 0 42 27 0 0 20 0 27 0 22835222 10406596608 756663 33554432000 1073741824 1073778376 140733456042240 140227449137960 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18408/tid=18422] ppid=18405 vsize=10162692 CPUtime=0.69 cores=0-3,8-11
/proc/18408/task/18422/stat : 18422 (java) S 18405 18408 15292 0 -1 4202560 313 0 0 0 39 30 0 0 20 0 27 0 22835222 10406596608 756663 33554432000 1073741824 1073778376 140733456042240 140227448085160 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=18408/tid=18423] ppid=18405 vsize=10162692 CPUtime=0.79 cores=0-3,8-11
/proc/18408/task/18423/stat : 18423 (java) S 18405 18408 15292 0 -1 4202560 314 0 0 0 48 31 0 0 20 0 27 0 22835222 10406596608 756663 33554432000 1073741824 1073778376 140733456042240 140227447032360 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18408/tid=18424] ppid=18405 vsize=10162692 CPUtime=1.28 cores=0-3,8-11
/proc/18408/task/18424/stat : 18424 (java) S 18405 18408 15292 0 -1 4202560 1552 0 0 0 126 2 0 0 20 0 27 0 22835223 10406596608 756663 33554432000 1073741824 1073778376 140733456042240 140227429570920 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18408/tid=18425] ppid=18405 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/18408/task/18425/stat : 18425 (java) S 18405 18408 15292 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 27 0 22835223 10406596608 756663 33554432000 1073741824 1073778376 140733456042240 140227428516984 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=18408/tid=18426] ppid=18405 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/18408/task/18426/stat : 18426 (java) S 18405 18408 15292 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 27 0 22835223 10406596608 756663 33554432000 1073741824 1073778376 140733456042240 140227427464072 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=18408/tid=18427] ppid=18405 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/18408/task/18427/stat : 18427 (java) S 18405 18408 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 22835226 10406596608 756663 33554432000 1073741824 1073778376 140733456042240 140227426413584 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=18408/tid=18428] ppid=18405 vsize=10162692 CPUtime=1.19 cores=0-3,8-11
/proc/18408/task/18428/stat : 18428 (java) S 18405 18408 15292 0 -1 4202560 6147 0 0 0 117 2 0 0 20 0 27 0 22835226 10406596608 756663 33554432000 1073741824 1073778376 140733456042240 140227425360696 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18408/tid=18429] ppid=18405 vsize=10162692 CPUtime=0.99 cores=0-3,8-11
/proc/18408/task/18429/stat : 18429 (java) S 18405 18408 15292 0 -1 4202560 6940 0 0 0 97 2 0 0 20 0 27 0 22835226 10406596608 756663 33554432000 1073741824 1073778376 140733456042240 140227424307896 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18408/tid=18430] ppid=18405 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/18408/task/18430/stat : 18430 (java) S 18405 18408 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 22835226 10406596608 756663 33554432000 1073741824 1073778376 140733456042240 140227423255288 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=18408/tid=18431] ppid=18405 vsize=10162692 CPUtime=0.25 cores=0-3,8-11
/proc/18408/task/18431/stat : 18431 (java) S 18405 18408 15292 0 -1 4202560 51 0 0 0 13 12 0 0 20 0 27 0 22835226 10406596608 756663 33554432000 1073741824 1073778376 140733456042240 140227422202696 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18408/tid=18432] ppid=18405 vsize=10162692 CPUtime=876.11 cores=0-3,8-11
/proc/18408/task/18432/stat : 18432 (java) R 18405 18408 15292 0 -1 4202560 1367 0 0 0 87577 34 0 0 20 0 27 0 22835366 10406596608 756663 33554432000 1073741824 1073778376 140733456042240 140227421048160 140227478677024 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18408/tid=18433] ppid=18405 vsize=10162692 CPUtime=876.06 cores=0-3,8-11
/proc/18408/task/18433/stat : 18433 (java) R 18405 18408 15292 0 -1 4202560 214 0 0 0 87587 19 0 0 20 0 27 0 22835366 10406596608 756663 33554432000 1073741824 1073778376 140733456042240 140227419994192 140227478965577 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0
[pid=18408/tid=18434] ppid=18405 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/18408/task/18434/stat : 18434 (java) S 18405 18408 15292 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 22835372 10406596608 756663 33554432000 1073741824 1073778376 140733456042240 140227418944296 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18408/tid=18435] ppid=18405 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/18408/task/18435/stat : 18435 (java) S 18405 18408 15292 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 22835372 10406596608 756663 33554432000 1073741824 1073778376 140733456042240 140227417892520 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
Current children cumulated CPU time (s) 1771.83
Current children cumulated vsize (KiB) 10162692
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+896.401 s]
/proc/loadavg: 4.12 4.14 3.82 5/311 18573
/proc/meminfo: memFree=27255500/32872528 swapFree=7804/7804
[pid=18408] ppid=18405 vsize=10162692 CPUtime=1800.01 cores=0-3,8-11
/proc/18408/stat : 18408 (java) S 18405 18408 15292 0 -1 4202496 24421 0 1 0 179522 479 0 0 20 0 27 0 22835221 10406596608 756663 33554432000 1073741824 1073778376 140733456042240 140733456033376 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/18408/statm: 2540673 756663 2297 9 0 2531350 0
[pid=18408/tid=18409] ppid=18405 vsize=10162692 CPUtime=1.33 cores=0-3,8-11
/proc/18408/task/18409/stat : 18409 (java) S 18405 18408 15292 0 -1 4202560 2562 0 1 0 127 6 0 0 20 0 27 0 22835221 10406596608 756663 33554432000 1073741824 1073778376 140733456042240 140227615953784 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18408/tid=18411] ppid=18405 vsize=10162692 CPUtime=0.98 cores=0-3,8-11
/proc/18408/task/18411/stat : 18411 (java) S 18405 18408 15292 0 -1 4202560 374 0 0 0 56 42 0 0 20 0 27 0 22835222 10406596608 756663 33554432000 1073741824 1073778376 140733456042240 140227605015592 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=18408/tid=18412] ppid=18405 vsize=10162692 CPUtime=0.85 cores=0-3,8-11
/proc/18408/task/18412/stat : 18412 (java) S 18405 18408 15292 0 -1 4202560 365 0 0 0 49 36 0 0 20 0 27 0 22835222 10406596608 756663 33554432000 1073741824 1073778376 140733456042240 140227603962792 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18408/tid=18413] ppid=18405 vsize=10162692 CPUtime=0.73 cores=0-3,8-11
/proc/18408/task/18413/stat : 18413 (java) S 18405 18408 15292 0 -1 4202560 323 0 0 0 42 31 0 0 20 0 27 0 22835222 10406596608 756663 33554432000 1073741824 1073778376 140733456042240 140227602909992 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18408/tid=18414] ppid=18405 vsize=10162692 CPUtime=0.75 cores=0-3,8-11
/proc/18408/task/18414/stat : 18414 (java) S 18405 18408 15292 0 -1 4202560 356 0 0 0 41 34 0 0 20 0 27 0 22835222 10406596608 756663 33554432000 1073741824 1073778376 140733456042240 140227601857192 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18408/tid=18415] ppid=18405 vsize=10162692 CPUtime=0.8 cores=0-3,8-11
/proc/18408/task/18415/stat : 18415 (java) S 18405 18408 15292 0 -1 4202560 385 0 0 0 46 34 0 0 20 0 27 0 22835222 10406596608 756663 33554432000 1073741824 1073778376 140733456042240 140227600804392 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18408/tid=18416] ppid=18405 vsize=10162692 CPUtime=0.85 cores=0-3,8-11
/proc/18408/task/18416/stat : 18416 (java) S 18405 18408 15292 0 -1 4202560 352 0 0 0 48 37 0 0 20 0 27 0 22835222 10406596608 756663 33554432000 1073741824 1073778376 140733456042240 140227599751592 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18408/tid=18417] ppid=18405 vsize=10162692 CPUtime=0.74 cores=0-3,8-11
/proc/18408/task/18417/stat : 18417 (java) S 18405 18408 15292 0 -1 4202560 321 0 0 0 42 32 0 0 20 0 27 0 22835222 10406596608 756663 33554432000 1073741824 1073778376 140733456042240 140227598698792 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18408/tid=18418] ppid=18405 vsize=10162692 CPUtime=0.96 cores=0-3,8-11
/proc/18408/task/18418/stat : 18418 (java) S 18405 18408 15292 0 -1 4202560 388 0 0 0 56 40 0 0 20 0 27 0 22835222 10406596608 756663 33554432000 1073741824 1073778376 140733456042240 140227597645992 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=18408/tid=18419] ppid=18405 vsize=10162692 CPUtime=0.68 cores=0-3,8-11
/proc/18408/task/18419/stat : 18419 (java) S 18405 18408 15292 0 -1 4202560 256 0 0 0 38 30 0 0 20 0 27 0 22835222 10406596608 756663 33554432000 1073741824 1073778376 140733456042240 140227596594216 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=18408/tid=18420] ppid=18405 vsize=10162692 CPUtime=0.64 cores=0-3,8-11
/proc/18408/task/18420/stat : 18420 (java) S 18405 18408 15292 0 -1 4202560 313 0 0 0 36 28 0 0 20 0 27 0 22835222 10406596608 756663 33554432000 1073741824 1073778376 140733456042240 140227450190760 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18408/tid=18421] ppid=18405 vsize=10162692 CPUtime=0.69 cores=0-3,8-11
/proc/18408/task/18421/stat : 18421 (java) S 18405 18408 15292 0 -1 4202560 262 0 0 0 42 27 0 0 20 0 27 0 22835222 10406596608 756663 33554432000 1073741824 1073778376 140733456042240 140227449137960 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18408/tid=18422] ppid=18405 vsize=10162692 CPUtime=0.69 cores=0-3,8-11
/proc/18408/task/18422/stat : 18422 (java) S 18405 18408 15292 0 -1 4202560 313 0 0 0 39 30 0 0 20 0 27 0 22835222 10406596608 756663 33554432000 1073741824 1073778376 140733456042240 140227448085160 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=18408/tid=18423] ppid=18405 vsize=10162692 CPUtime=0.79 cores=0-3,8-11
/proc/18408/task/18423/stat : 18423 (java) S 18405 18408 15292 0 -1 4202560 314 0 0 0 48 31 0 0 20 0 27 0 22835222 10406596608 756663 33554432000 1073741824 1073778376 140733456042240 140227447032360 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18408/tid=18424] ppid=18405 vsize=10162692 CPUtime=1.28 cores=0-3,8-11
/proc/18408/task/18424/stat : 18424 (java) S 18405 18408 15292 0 -1 4202560 1552 0 0 0 126 2 0 0 20 0 27 0 22835223 10406596608 756663 33554432000 1073741824 1073778376 140733456042240 140227429570920 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18408/tid=18425] ppid=18405 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/18408/task/18425/stat : 18425 (java) S 18405 18408 15292 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 27 0 22835223 10406596608 756663 33554432000 1073741824 1073778376 140733456042240 140227428516984 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=18408/tid=18426] ppid=18405 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/18408/task/18426/stat : 18426 (java) S 18405 18408 15292 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 27 0 22835223 10406596608 756663 33554432000 1073741824 1073778376 140733456042240 140227427464072 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=18408/tid=18427] ppid=18405 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/18408/task/18427/stat : 18427 (java) S 18405 18408 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 22835226 10406596608 756663 33554432000 1073741824 1073778376 140733456042240 140227426413584 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=18408/tid=18428] ppid=18405 vsize=10162692 CPUtime=1.19 cores=0-3,8-11
/proc/18408/task/18428/stat : 18428 (java) S 18405 18408 15292 0 -1 4202560 6147 0 0 0 117 2 0 0 20 0 27 0 22835226 10406596608 756663 33554432000 1073741824 1073778376 140733456042240 140227425360696 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18408/tid=18429] ppid=18405 vsize=10162692 CPUtime=0.99 cores=0-3,8-11
/proc/18408/task/18429/stat : 18429 (java) S 18405 18408 15292 0 -1 4202560 6940 0 0 0 97 2 0 0 20 0 27 0 22835226 10406596608 756663 33554432000 1073741824 1073778376 140733456042240 140227424307896 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18408/tid=18430] ppid=18405 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/18408/task/18430/stat : 18430 (java) S 18405 18408 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 22835226 10406596608 756663 33554432000 1073741824 1073778376 140733456042240 140227423255288 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=18408/tid=18431] ppid=18405 vsize=10162692 CPUtime=0.27 cores=0-3,8-11
/proc/18408/task/18431/stat : 18431 (java) S 18405 18408 15292 0 -1 4202560 51 0 0 0 14 13 0 0 20 0 27 0 22835226 10406596608 756663 33554432000 1073741824 1073778376 140733456042240 140227422202696 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18408/tid=18432] ppid=18405 vsize=10162692 CPUtime=890.16 cores=0-3,8-11
/proc/18408/task/18432/stat : 18432 (java) R 18405 18408 15292 0 -1 4202560 1367 0 0 0 88982 34 0 0 20 0 27 0 22835366 10406596608 756663 33554432000 1073741824 1073778376 140733456042240 140227421048160 140227477831599 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18408/tid=18433] ppid=18405 vsize=10162692 CPUtime=890.11 cores=0-3,8-11
/proc/18408/task/18433/stat : 18433 (java) R 18405 18408 15292 0 -1 4202560 214 0 0 0 88992 19 0 0 20 0 27 0 22835366 10406596608 756663 33554432000 1073741824 1073778376 140733456042240 140227419994192 140227478965544 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0
[pid=18408/tid=18434] ppid=18405 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/18408/task/18434/stat : 18434 (java) S 18405 18408 15292 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 22835372 10406596608 756663 33554432000 1073741824 1073778376 140733456042240 140227418944296 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18408/tid=18435] ppid=18405 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/18408/task/18435/stat : 18435 (java) S 18405 18408 15292 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 22835372 10406596608 756663 33554432000 1073741824 1073778376 140733456042240 140227417892520 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 10162692
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 18408 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 18408 and gives
# childrusage.ru_utime.tv_sec=1790
# childrusage.ru_utime.tv_usec=639781
# childrusage.ru_stime.tv_sec=5
# childrusage.ru_stime.tv_usec=321191
# CPU time returned by wait4() is 1795.96
# while last known CPU time is 1800.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 896.453
CPU time (s): 1800.01
CPU user time (s): 1795.22
CPU system time (s): 4.79
CPU usage (%): 200.792
Max. virtual memory (cumulated for all children) (KiB): 10162692
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.64
system time used= 5.32119
maximum resident set size= 3079404
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24461
page faults= 1
swaps= 0
block input operations= 0
block output operations= 784
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 21766
involuntary context switches= 7696
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.84781 second user time and 9.8715 second system time
The end