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-4101658-1466215204/watcher-4101658-1466215204 -o /tmp/evaluation-result-4101658-1466215204/solver-4101658-1466215204 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1466206058-15309 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4101658-1466215204.opb
pid=21316
running on 8 cores: 4-7,12-15
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.73 4.06 4.06 4/285 21319
/proc/meminfo: memFree=27251392/32872528 swapFree=7804/7804
[pid=21319] ppid=21316 vsize=92900 CPUtime=0 cores=4-7,12-15
/proc/21319/stat : 21319 (java) S 21316 21319 15292 0 -1 4202496 1293 0 0 0 0 0 0 0 20 0 2 0 23565067 95129600 927 33554432000 1073741824 1073778376 140734990976432 140734990967568 216811995197 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/21319/statm: 23225 927 703 9 0 16769 0
[pid=21319/tid=21320] ppid=21316 vsize=92900 CPUtime=0 cores=4-7,12-15
/proc/21319/task/21320/stat : 21320 (java) D 21316 21319 15292 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 2 0 23565068 95129600 927 33554432000 1073741824 1073778376 140734990976432 140233271602728 216799472935 0 0 4096 0 18446744072100756772 0 0 -1 6 0 0 0 0 0
[startup+0.100172 s]
/proc/loadavg: 4.73 4.06 4.06 4/285 21319
/proc/meminfo: memFree=27251392/32872528 swapFree=7804/7804
[pid=21319] ppid=21316 vsize=9896436 CPUtime=0.1 cores=4-7,12-15
/proc/21319/stat : 21319 (java) S 21316 21319 15292 0 -1 4202496 4477 0 1 0 8 2 0 0 20 0 23 0 23565067 10133950464 6104 33554432000 1073741824 1073778376 140734990976432 140734990967568 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/21319/statm: 2474109 6104 2126 9 0 2464786 0
[pid=21319/tid=21320] ppid=21316 vsize=9896436 CPUtime=0.06 cores=4-7,12-15
/proc/21319/task/21320/stat : 21320 (java) R 21316 21319 15292 0 -1 4202560 2416 0 1 0 5 1 0 0 20 0 23 0 23565068 10133950464 6104 33554432000 1073741824 1073778376 140734990976432 140233271606176 216812021005 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9896436
[startup+0.200259 s]
/proc/loadavg: 4.73 4.06 4.06 4/285 21319
/proc/meminfo: memFree=27251392/32872528 swapFree=7804/7804
[pid=21319] ppid=21316 vsize=9896436 CPUtime=0.27 cores=4-7,12-15
/proc/21319/stat : 21319 (java) S 21316 21319 15292 0 -1 4202496 5093 0 1 0 24 3 0 0 20 0 23 0 23565067 10133950464 18349 33554432000 1073741824 1073778376 140734990976432 140734990967568 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/21319/statm: 2474109 18352 2202 9 0 2464786 0
[pid=21319/tid=21320] ppid=21316 vsize=9896436 CPUtime=0.16 cores=4-7,12-15
/proc/21319/task/21320/stat : 21320 (java) R 21316 21319 15292 0 -1 4202560 2454 0 1 0 15 1 0 0 20 0 23 0 23565068 10133950464 18353 33554432000 1073741824 1073778376 140734990976432 140233271606176 140233115007969 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 9896436
[startup+0.300265 s]
/proc/loadavg: 4.73 4.06 4.06 4/285 21319
/proc/meminfo: memFree=27251392/32872528 swapFree=7804/7804
[pid=21319] ppid=21316 vsize=9896436 CPUtime=0.56 cores=4-7,12-15
/proc/21319/stat : 21319 (java) S 21316 21319 15292 0 -1 4202496 14612 0 1 0 52 4 0 0 20 0 23 0 23565067 10133950464 25725 33554432000 1073741824 1073778376 140734990976432 140734990967568 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/21319/statm: 2474109 25725 2222 9 0 2464786 0
[pid=21319/tid=21320] ppid=21316 vsize=9896436 CPUtime=0.26 cores=4-7,12-15
/proc/21319/task/21320/stat : 21320 (java) R 21316 21319 15292 0 -1 4202560 2457 0 1 0 25 1 0 0 20 0 23 0 23565068 10133950464 25725 33554432000 1073741824 1073778376 140734990976432 140233271606176 140233115034323 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 9896436
[startup+0.700244 s]
/proc/loadavg: 4.73 4.06 4.06 4/285 21319
/proc/meminfo: memFree=27251392/32872528 swapFree=7804/7804
[pid=21319] ppid=21316 vsize=9896436 CPUtime=1.98 cores=4-7,12-15
/proc/21319/stat : 21319 (java) S 21316 21319 15292 0 -1 4202496 18748 0 1 0 168 30 0 0 20 0 23 0 23565067 10133950464 60400 33554432000 1073741824 1073778376 140734990976432 140734990967568 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/21319/statm: 2474109 60400 2263 9 0 2464786 0
[pid=21319/tid=21320] ppid=21316 vsize=9896436 CPUtime=0.59 cores=4-7,12-15
/proc/21319/task/21320/stat : 21320 (java) R 21316 21319 15292 0 -1 4202560 2500 0 1 0 56 3 0 0 20 0 23 0 23565068 10133950464 60400 33554432000 1073741824 1073778376 140734990976432 140233271606664 140233115343527 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1.98
Current children cumulated vsize (KiB) 9896436
[startup+1.50096 s]
/proc/loadavg: 4.73 4.06 4.06 4/308 21342
/proc/meminfo: memFree=26955068/32872528 swapFree=7804/7804
[pid=21319] ppid=21316 vsize=9896436 CPUtime=3.88 cores=4-7,12-15
/proc/21319/stat : 21319 (java) S 21316 21319 15292 0 -1 4202496 20087 0 1 0 306 82 0 0 20 0 23 0 23565067 10133950464 119642 33554432000 1073741824 1073778376 140734990976432 140734990967568 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/21319/statm: 2474109 119642 2263 9 0 2464786 0
[pid=21319/tid=21320] ppid=21316 vsize=9896436 CPUtime=1.21 cores=4-7,12-15
/proc/21319/task/21320/stat : 21320 (java) S 21316 21319 15292 0 -1 4202560 2553 0 1 0 116 5 0 0 20 0 23 0 23565068 10133950464 119642 33554432000 1073741824 1073778376 140734990976432 140233271605576 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21319/tid=21322] ppid=21316 vsize=9896436 CPUtime=0.15 cores=4-7,12-15
/proc/21319/task/21322/stat : 21322 (java) R 21316 21319 15292 0 -1 4202560 57 0 0 0 8 7 0 0 20 0 23 0 23565069 10133950464 119642 33554432000 1073741824 1073778376 140734990976432 140233114904744 140233274078921 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0
[pid=21319/tid=21323] ppid=21316 vsize=9896436 CPUtime=0.13 cores=4-7,12-15
/proc/21319/task/21323/stat : 21323 (java) R 21316 21319 15292 0 -1 4202560 61 0 0 0 7 6 0 0 20 0 23 0 23565069 10133950464 119642 33554432000 1073741824 1073778376 140734990976432 140233113852376 140233274078905 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=21319/tid=21324] ppid=21316 vsize=9896436 CPUtime=0.17 cores=4-7,12-15
/proc/21319/task/21324/stat : 21324 (java) R 21316 21319 15292 0 -1 4202560 216 0 0 0 9 8 0 0 20 0 23 0 23565069 10133950464 119642 33554432000 1073741824 1073778376 140734990976432 140233112799832 140233274078913 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=21319/tid=21325] ppid=21316 vsize=9896436 CPUtime=0.13 cores=4-7,12-15
/proc/21319/task/21325/stat : 21325 (java) R 21316 21319 15292 0 -1 4202560 136 0 0 0 7 6 0 0 20 0 23 0 23565069 10133950464 119642 33554432000 1073741824 1073778376 140734990976432 140233111747288 140233275783343 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=21319/tid=21326] ppid=21316 vsize=9896436 CPUtime=0.11 cores=4-7,12-15
/proc/21319/task/21326/stat : 21326 (java) R 21316 21319 15292 0 -1 4202560 102 0 0 0 6 5 0 0 20 0 23 0 23565069 10133950464 119642 33554432000 1073741824 1073778376 140734990976432 140233110694744 140233275783340 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0
[pid=21319/tid=21327] ppid=21316 vsize=9896436 CPUtime=0.13 cores=4-7,12-15
/proc/21319/task/21327/stat : 21327 (java) R 21316 21319 15292 0 -1 4202560 103 0 0 0 8 5 0 0 20 0 23 0 23565069 10133950464 119642 33554432000 1073741824 1073778376 140734990976432 140233109642200 140233275783343 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0
[pid=21319/tid=21328] ppid=21316 vsize=9896436 CPUtime=0.11 cores=4-7,12-15
/proc/21319/task/21328/stat : 21328 (java) R 21316 21319 15292 0 -1 4202560 49 0 0 0 6 5 0 0 20 0 23 0 23565069 10133950464 119642 33554432000 1073741824 1073778376 140734990976432 140233108589360 140233274078913 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=21319/tid=21329] ppid=21316 vsize=9896436 CPUtime=0.2 cores=4-7,12-15
/proc/21319/task/21329/stat : 21329 (java) R 21316 21319 15292 0 -1 4202560 299 0 0 0 12 8 0 0 20 0 23 0 23565069 10133950464 119642 33554432000 1073741824 1073778376 140734990976432 140233107536936 140233274078963 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0
[pid=21319/tid=21330] ppid=21316 vsize=9896436 CPUtime=0.13 cores=4-7,12-15
/proc/21319/task/21330/stat : 21330 (java) R 21316 21319 15292 0 -1 4202560 103 0 0 0 7 6 0 0 20 0 23 0 23565069 10133950464 119642 33554432000 1073741824 1073778376 140734990976432 140233106483544 140233274078963 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=21319/tid=21331] ppid=21316 vsize=9896436 CPUtime=0.07 cores=4-7,12-15
/proc/21319/task/21331/stat : 21331 (java) R 21316 21319 15292 0 -1 4202560 33 0 0 0 4 3 0 0 20 0 23 0 23565069 10133950464 119642 33554432000 1073741824 1073778376 140734990976432 140233105431000 140233274078913 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0
[pid=21319/tid=21332] ppid=21316 vsize=9896436 CPUtime=0.08 cores=4-7,12-15
/proc/21319/task/21332/stat : 21332 (java) R 21316 21319 15292 0 -1 4202560 78 0 0 0 5 3 0 0 20 0 23 0 23565069 10133950464 119642 33554432000 1073741824 1073778376 140734990976432 140233104378456 140233274078929 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=21319/tid=21333] ppid=21316 vsize=9896436 CPUtime=0.14 cores=4-7,12-15
/proc/21319/task/21333/stat : 21333 (java) R 21316 21319 15292 0 -1 4202560 106 0 0 0 7 7 0 0 20 0 23 0 23565069 10133950464 119642 33554432000 1073741824 1073778376 140734990976432 140233103325912 140233274078913 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0
[pid=21319/tid=21334] ppid=21316 vsize=9896436 CPUtime=0.1 cores=4-7,12-15
/proc/21319/task/21334/stat : 21334 (java) R 21316 21319 15292 0 -1 4202560 191 0 0 0 6 4 0 0 20 0 23 0 23565069 10133950464 119642 33554432000 1073741824 1073778376 140734990976432 140233102273368 140233275769576 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=21319/tid=21335] ppid=21316 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/21319/task/21335/stat : 21335 (java) S 21316 21319 15292 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 23 0 23565070 10133950464 119642 33554432000 1073741824 1073778376 140734990976432 140232212027016 216812008508 0 0 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=21319/tid=21336] ppid=21316 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/21319/task/21336/stat : 21336 (java) S 21316 21319 15292 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 23 0 23565071 10133950464 119642 33554432000 1073741824 1073778376 140734990976432 140232210974456 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=21319/tid=21337] ppid=21316 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/21319/task/21337/stat : 21337 (java) S 21316 21319 15292 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 23 0 23565071 10133950464 119642 33554432000 1073741824 1073778376 140734990976432 140232209921800 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=21319/tid=21338] ppid=21316 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/21319/task/21338/stat : 21338 (java) S 21316 21319 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 23565073 10133950464 119642 33554432000 1073741824 1073778376 140734990976432 140232208869520 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=21319/tid=21339] ppid=21316 vsize=9896436 CPUtime=0.4 cores=4-7,12-15
/proc/21319/task/21339/stat : 21339 (java) S 21316 21319 15292 0 -1 4202560 10031 0 0 0 38 2 0 0 20 0 23 0 23565073 10133950464 119642 33554432000 1073741824 1073778376 140734990976432 140232207816888 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=21319/tid=21340] ppid=21316 vsize=9896436 CPUtime=0.38 cores=4-7,12-15
/proc/21319/task/21340/stat : 21340 (java) S 21316 21319 15292 0 -1 4202560 4653 0 0 0 38 0 0 0 20 0 23 0 23565073 10133950464 119642 33554432000 1073741824 1073778376 140734990976432 140232206764344 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=21319/tid=21341] ppid=21316 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/21319/task/21341/stat : 21341 (java) S 21316 21319 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 23565073 10133950464 119642 33554432000 1073741824 1073778376 140734990976432 140232205711992 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=21319/tid=21342] ppid=21316 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/21319/task/21342/stat : 21342 (java) S 21316 21319 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 23565073 10133950464 119642 33554432000 1073741824 1073778376 140734990976432 140232204659656 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.88
Current children cumulated vsize (KiB) 9896436
[startup+3.10093 s]
/proc/loadavg: 5.55 4.24 4.12 4/308 21342
/proc/meminfo: memFree=26639556/32872528 swapFree=7804/7804
[pid=21319] ppid=21316 vsize=9896436 CPUtime=7.46 cores=4-7,12-15
/proc/21319/stat : 21319 (java) S 21316 21319 15292 0 -1 4202496 21857 0 1 0 570 176 0 0 20 0 23 0 23565067 10133950464 221998 33554432000 1073741824 1073778376 140734990976432 140734990967568 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/21319/statm: 2474109 221998 2263 9 0 2464786 0
[pid=21319/tid=21320] ppid=21316 vsize=9896436 CPUtime=2.52 cores=4-7,12-15
/proc/21319/task/21320/stat : 21320 (java) S 21316 21319 15292 0 -1 4202560 2839 0 1 0 245 7 0 0 20 0 23 0 23565068 10133950464 221998 33554432000 1073741824 1073778376 140734990976432 140233271606728 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21319/tid=21322] ppid=21316 vsize=9896436 CPUtime=0.32 cores=4-7,12-15
/proc/21319/task/21322/stat : 21322 (java) R 21316 21319 15292 0 -1 4202560 124 0 0 0 18 14 0 0 20 0 23 0 23565069 10133950464 221998 33554432000 1073741824 1073778376 140734990976432 140233114904920 140233278504558 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=21319/tid=21323] ppid=21316 vsize=9896436 CPUtime=0.32 cores=4-7,12-15
/proc/21319/task/21323/stat : 21323 (java) R 21316 21319 15292 0 -1 4202560 259 0 0 0 18 14 0 0 20 0 23 0 23565069 10133950464 221998 33554432000 1073741824 1073778376 140734990976432 140233113852376 140233278506560 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0
[pid=21319/tid=21324] ppid=21316 vsize=9896436 CPUtime=0.35 cores=4-7,12-15
/proc/21319/task/21324/stat : 21324 (java) R 21316 21319 15292 0 -1 4202560 337 0 0 0 20 15 0 0 20 0 23 0 23565069 10133950464 221998 33554432000 1073741824 1073778376 140734990976432 140233112799656 140233278503852 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=21319/tid=21325] ppid=21316 vsize=9896436 CPUtime=0.23 cores=4-7,12-15
/proc/21319/task/21325/stat : 21325 (java) R 21316 21319 15292 0 -1 4202560 163 0 0 0 13 10 0 0 20 0 23 0 23565069 10133950464 221998 33554432000 1073741824 1073778376 140734990976432 140233111747288 140233278506231 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0
[pid=21319/tid=21326] ppid=21316 vsize=9896436 CPUtime=0.27 cores=4-7,12-15
/proc/21319/task/21326/stat : 21326 (java) R 21316 21319 15292 0 -1 4202560 160 0 0 0 15 12 0 0 20 0 23 0 23565069 10133950464 221998 33554432000 1073741824 1073778376 140734990976432 140233110694744 140233278506232 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0
[pid=21319/tid=21327] ppid=21316 vsize=9896436 CPUtime=0.28 cores=4-7,12-15
/proc/21319/task/21327/stat : 21327 (java) R 21316 21319 15292 0 -1 4202560 155 0 0 0 17 11 0 0 20 0 23 0 23565069 10133950464 221998 33554432000 1073741824 1073778376 140734990976432 140233109642200 140233278503852 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=21319/tid=21328] ppid=21316 vsize=9896436 CPUtime=0.32 cores=4-7,12-15
/proc/21319/task/21328/stat : 21328 (java) R 21316 21319 15292 0 -1 4202560 348 0 0 0 19 13 0 0 20 0 23 0 23565069 10133950464 221998 33554432000 1073741824 1073778376 140734990976432 140233108589656 140233274078905 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=21319/tid=21329] ppid=21316 vsize=9896436 CPUtime=0.42 cores=4-7,12-15
/proc/21319/task/21329/stat : 21329 (java) R 21316 21319 15292 0 -1 4202560 374 0 0 0 24 18 0 0 20 0 23 0 23565069 10133950464 221998 33554432000 1073741824 1073778376 140734990976432 140233107536816 140233274078913 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0
[pid=21319/tid=21330] ppid=21316 vsize=9896436 CPUtime=0.25 cores=4-7,12-15
/proc/21319/task/21330/stat : 21330 (java) R 21316 21319 15292 0 -1 4202560 147 0 0 0 15 10 0 0 20 0 23 0 23565069 10133950464 221998 33554432000 1073741824 1073778376 140734990976432 140233106483544 140233274078913 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=21319/tid=21331] ppid=21316 vsize=9896436 CPUtime=0.28 cores=4-7,12-15
/proc/21319/task/21331/stat : 21331 (java) R 21316 21319 15292 0 -1 4202560 110 0 0 0 16 12 0 0 20 0 23 0 23565069 10133950464 221998 33554432000 1073741824 1073778376 140734990976432 140233105430824 140233274078913 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0
[pid=21319/tid=21332] ppid=21316 vsize=9896436 CPUtime=0.28 cores=4-7,12-15
/proc/21319/task/21332/stat : 21332 (java) R 21316 21319 15292 0 -1 4202560 168 0 0 0 16 12 0 0 20 0 23 0 23565069 10133950464 221998 33554432000 1073741824 1073778376 140734990976432 140233104378456 140233278503382 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=21319/tid=21333] ppid=21316 vsize=9896436 CPUtime=0.27 cores=4-7,12-15
/proc/21319/task/21333/stat : 21333 (java) R 21316 21319 15292 0 -1 4202560 167 0 0 0 14 13 0 0 20 0 23 0 23565069 10133950464 221998 33554432000 1073741824 1073778376 140734990976432 140233103325912 140233278503802 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0
[pid=21319/tid=21334] ppid=21316 vsize=9896436 CPUtime=0.33 cores=4-7,12-15
/proc/21319/task/21334/stat : 21334 (java) R 21316 21319 15292 0 -1 4202560 375 0 0 0 19 14 0 0 20 0 23 0 23565069 10133950464 222510 33554432000 1073741824 1073778376 140734990976432 140233102273192 140233274078921 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0
[pid=21319/tid=21335] ppid=21316 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/21319/task/21335/stat : 21335 (java) S 21316 21319 15292 0 -1 4202560 196 0 0 0 0 0 0 0 20 0 23 0 23565070 10133950464 222510 33554432000 1073741824 1073778376 140734990976432 140232212027016 216812008508 0 0 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=21319/tid=21336] ppid=21316 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/21319/task/21336/stat : 21336 (java) S 21316 21319 15292 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 23 0 23565071 10133950464 222510 33554432000 1073741824 1073778376 140734990976432 140232210974456 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=21319/tid=21337] ppid=21316 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/21319/task/21337/stat : 21337 (java) S 21316 21319 15292 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 23 0 23565071 10133950464 222510 33554432000 1073741824 1073778376 140734990976432 140232209921800 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=21319/tid=21338] ppid=21316 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/21319/task/21338/stat : 21338 (java) S 21316 21319 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 23565073 10133950464 222510 33554432000 1073741824 1073778376 140734990976432 140232208869520 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=21319/tid=21339] ppid=21316 vsize=9896436 CPUtime=0.4 cores=4-7,12-15
/proc/21319/task/21339/stat : 21339 (java) S 21316 21319 15292 0 -1 4202560 10031 0 0 0 38 2 0 0 20 0 23 0 23565073 10133950464 222510 33554432000 1073741824 1073778376 140734990976432 140232207816888 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=21319/tid=21340] ppid=21316 vsize=9896436 CPUtime=0.38 cores=4-7,12-15
/proc/21319/task/21340/stat : 21340 (java) S 21316 21319 15292 0 -1 4202560 4653 0 0 0 38 0 0 0 20 0 23 0 23565073 10133950464 222510 33554432000 1073741824 1073778376 140734990976432 140232206764344 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=21319/tid=21341] ppid=21316 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/21319/task/21341/stat : 21341 (java) S 21316 21319 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 23565073 10133950464 222510 33554432000 1073741824 1073778376 140734990976432 140232205711992 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=21319/tid=21342] ppid=21316 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/21319/task/21342/stat : 21342 (java) S 21316 21319 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 23565073 10133950464 222510 33554432000 1073741824 1073778376 140734990976432 140232204659656 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 7.46
Current children cumulated vsize (KiB) 9896436
[startup+6.30132 s]
/proc/loadavg: 5.55 4.24 4.12 4/308 21342
/proc/meminfo: memFree=26163500/32872528 swapFree=7804/7804
[pid=21319] ppid=21316 vsize=9896436 CPUtime=14.61 cores=4-7,12-15
/proc/21319/stat : 21319 (java) S 21316 21319 15292 0 -1 4202496 34155 0 1 0 1164 297 0 0 20 0 23 0 23565067 10133950464 301847 33554432000 1073741824 1073778376 140734990976432 140734990967568 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/21319/statm: 2474109 301847 2274 9 0 2464786 0
[pid=21319/tid=21320] ppid=21316 vsize=9896436 CPUtime=3.94 cores=4-7,12-15
/proc/21319/task/21320/stat : 21320 (java) R 21316 21319 15292 0 -1 4202560 2842 0 1 0 387 7 0 0 20 0 23 0 23565068 10133950464 301847 33554432000 1073741824 1073778376 140734990976432 140233271605896 140233115391552 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0
[pid=21319/tid=21322] ppid=21316 vsize=9896436 CPUtime=0.57 cores=4-7,12-15
/proc/21319/task/21322/stat : 21322 (java) S 21316 21319 15292 0 -1 4202560 1365 0 0 0 37 20 0 0 20 0 23 0 23565069 10133950464 301847 33554432000 1073741824 1073778376 140734990976432 140233114904744 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21319/tid=21323] ppid=21316 vsize=9896436 CPUtime=0.58 cores=4-7,12-15
/proc/21319/task/21323/stat : 21323 (java) S 21316 21319 15292 0 -1 4202560 1179 0 0 0 38 20 0 0 20 0 23 0 23565069 10133950464 301847 33554432000 1073741824 1073778376 140734990976432 140233113852200 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=21319/tid=21324] ppid=21316 vsize=9896436 CPUtime=0.69 cores=4-7,12-15
/proc/21319/task/21324/stat : 21324 (java) S 21316 21319 15292 0 -1 4202560 1103 0 0 0 44 25 0 0 20 0 23 0 23565069 10133950464 301847 33554432000 1073741824 1073778376 140734990976432 140233112799656 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21319/tid=21325] ppid=21316 vsize=9896436 CPUtime=0.67 cores=4-7,12-15
/proc/21319/task/21325/stat : 21325 (java) S 21316 21319 15292 0 -1 4202560 1111 0 0 0 47 20 0 0 20 0 23 0 23565069 10133950464 301847 33554432000 1073741824 1073778376 140734990976432 140233111747112 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21319/tid=21326] ppid=21316 vsize=9896436 CPUtime=0.54 cores=4-7,12-15
/proc/21319/task/21326/stat : 21326 (java) S 21316 21319 15292 0 -1 4202560 1047 0 0 0 35 19 0 0 20 0 23 0 23565069 10133950464 301847 33554432000 1073741824 1073778376 140734990976432 140233110694568 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21319/tid=21327] ppid=21316 vsize=9896436 CPUtime=0.7 cores=4-7,12-15
################
# More data... #
################
/proc/21319/task/21339/stat : 21339 (java) S 21316 21319 15292 0 -1 4202560 11571 0 0 0 151 3 0 0 20 0 27 0 23565073 10406596608 919320 33554432000 1073741824 1073778376 140734990976432 140232207816888 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21319/tid=21340] ppid=21316 vsize=10162692 CPUtime=1.06 cores=4-7,12-15
/proc/21319/task/21340/stat : 21340 (java) S 21316 21319 15292 0 -1 4202560 4796 0 0 0 106 0 0 0 20 0 27 0 23565073 10406596608 919320 33554432000 1073741824 1073778376 140734990976432 140232206764344 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21319/tid=21341] ppid=21316 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/21319/task/21341/stat : 21341 (java) S 21316 21319 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 23565073 10406596608 919320 33554432000 1073741824 1073778376 140734990976432 140232205711992 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=21319/tid=21342] ppid=21316 vsize=10162692 CPUtime=0.28 cores=4-7,12-15
/proc/21319/task/21342/stat : 21342 (java) S 21316 21319 15292 0 -1 4202560 45 0 0 0 14 14 0 0 20 0 27 0 23565073 10406596608 919320 33554432000 1073741824 1073778376 140734990976432 140232204659656 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21319/tid=21343] ppid=21316 vsize=10162692 CPUtime=737.72 cores=4-7,12-15
/proc/21319/task/21343/stat : 21343 (java) R 21316 21319 15292 0 -1 4202560 60 0 0 0 73761 11 0 0 20 0 27 0 23566119 10406596608 919320 33554432000 1073741824 1073778376 140734990976432 140232203602880 140233115776635 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0
[pid=21319/tid=21344] ppid=21316 vsize=10162692 CPUtime=737.66 cores=4-7,12-15
/proc/21319/task/21344/stat : 21344 (java) R 21316 21319 15292 0 -1 4202560 50 0 0 0 73755 11 0 0 20 0 27 0 23566119 10406596608 919320 33554432000 1073741824 1073778376 140734990976432 140232202551232 140233115791030 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=21319/tid=21345] ppid=21316 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/21319/task/21345/stat : 21345 (java) S 21316 21319 15292 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 23566144 10406596608 919320 33554432000 1073741824 1073778376 140734990976432 140232201500328 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=21319/tid=21346] ppid=21316 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/21319/task/21346/stat : 21346 (java) S 21316 21319 15292 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 23566153 10406596608 919320 33554432000 1073741824 1073778376 140734990976432 140232200446760 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
Current children cumulated CPU time (s) 1571.78
Current children cumulated vsize (KiB) 10162692
[startup+822.301 s]
/proc/loadavg: 4.10 4.14 4.16 5/311 21497
/proc/meminfo: memFree=25330064/32872528 swapFree=7804/7804
[pid=21319] ppid=21316 vsize=10162692 CPUtime=1696.05 cores=4-7,12-15
/proc/21319/stat : 21319 (java) S 21316 21319 15292 0 -1 4202496 48086 0 1 0 168416 1189 0 0 20 0 27 0 23565067 10406596608 912349 33554432000 1073741824 1073778376 140734990976432 140734990967568 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/21319/statm: 2540673 912349 2291 9 0 2531350 0
[pid=21319/tid=21320] ppid=21316 vsize=10162692 CPUtime=5.86 cores=4-7,12-15
/proc/21319/task/21320/stat : 21320 (java) S 21316 21319 15292 0 -1 4202560 3430 0 1 0 573 13 0 0 20 0 27 0 23565068 10406596608 912349 33554432000 1073741824 1073778376 140734990976432 140233271608184 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21319/tid=21322] ppid=21316 vsize=10162692 CPUtime=5.89 cores=4-7,12-15
/proc/21319/task/21322/stat : 21322 (java) S 21316 21319 15292 0 -1 4202560 2019 0 0 0 514 75 0 0 20 0 27 0 23565069 10406596608 912349 33554432000 1073741824 1073778376 140734990976432 140233114904744 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=21319/tid=21323] ppid=21316 vsize=10162692 CPUtime=6.24 cores=4-7,12-15
/proc/21319/task/21323/stat : 21323 (java) S 21316 21319 15292 0 -1 4202560 1886 0 0 0 537 87 0 0 20 0 27 0 23565069 10406596608 912349 33554432000 1073741824 1073778376 140734990976432 140233113852200 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=21319/tid=21324] ppid=21316 vsize=10162692 CPUtime=6.95 cores=4-7,12-15
/proc/21319/task/21324/stat : 21324 (java) S 21316 21319 15292 0 -1 4202560 1788 0 0 0 594 101 0 0 20 0 27 0 23565069 10406596608 912349 33554432000 1073741824 1073778376 140734990976432 140233112799656 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21319/tid=21325] ppid=21316 vsize=10162692 CPUtime=6.48 cores=4-7,12-15
/proc/21319/task/21325/stat : 21325 (java) S 21316 21319 15292 0 -1 4202560 1806 0 0 0 567 81 0 0 20 0 27 0 23565069 10406596608 912349 33554432000 1073741824 1073778376 140734990976432 140233111747112 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=21319/tid=21326] ppid=21316 vsize=10162692 CPUtime=6.14 cores=4-7,12-15
/proc/21319/task/21326/stat : 21326 (java) S 21316 21319 15292 0 -1 4202560 1875 0 0 0 532 82 0 0 20 0 27 0 23565069 10406596608 912349 33554432000 1073741824 1073778376 140734990976432 140233110694568 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=21319/tid=21327] ppid=21316 vsize=10162692 CPUtime=6.36 cores=4-7,12-15
/proc/21319/task/21327/stat : 21327 (java) S 21316 21319 15292 0 -1 4202560 1231 0 0 0 557 79 0 0 20 0 27 0 23565069 10406596608 912349 33554432000 1073741824 1073778376 140734990976432 140233109642024 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21319/tid=21328] ppid=21316 vsize=10162692 CPUtime=5.92 cores=4-7,12-15
/proc/21319/task/21328/stat : 21328 (java) S 21316 21319 15292 0 -1 4202560 1731 0 0 0 507 85 0 0 20 0 27 0 23565069 10406596608 912349 33554432000 1073741824 1073778376 140734990976432 140233108589480 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21319/tid=21329] ppid=21316 vsize=10162692 CPUtime=5.84 cores=4-7,12-15
/proc/21319/task/21329/stat : 21329 (java) S 21316 21319 15292 0 -1 4202560 1899 0 0 0 501 83 0 0 20 0 27 0 23565069 10406596608 912349 33554432000 1073741824 1073778376 140734990976432 140233107536936 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=21319/tid=21330] ppid=21316 vsize=10162692 CPUtime=6.49 cores=4-7,12-15
/proc/21319/task/21330/stat : 21330 (java) S 21316 21319 15292 0 -1 4202560 1629 0 0 0 557 92 0 0 20 0 27 0 23565069 10406596608 912349 33554432000 1073741824 1073778376 140734990976432 140233106483368 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=21319/tid=21331] ppid=21316 vsize=10162692 CPUtime=6.66 cores=4-7,12-15
/proc/21319/task/21331/stat : 21331 (java) S 21316 21319 15292 0 -1 4202560 1491 0 0 0 575 91 0 0 20 0 27 0 23565069 10406596608 912349 33554432000 1073741824 1073778376 140734990976432 140233105430824 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21319/tid=21332] ppid=21316 vsize=10162692 CPUtime=6.6 cores=4-7,12-15
/proc/21319/task/21332/stat : 21332 (java) S 21316 21319 15292 0 -1 4202560 2313 0 0 0 558 102 0 0 20 0 27 0 23565069 10406596608 912349 33554432000 1073741824 1073778376 140734990976432 140233104378280 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21319/tid=21333] ppid=21316 vsize=10162692 CPUtime=6.29 cores=4-7,12-15
/proc/21319/task/21333/stat : 21333 (java) S 21316 21319 15292 0 -1 4202560 1988 0 0 0 538 91 0 0 20 0 27 0 23565069 10406596608 912349 33554432000 1073741824 1073778376 140734990976432 140233103325736 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21319/tid=21334] ppid=21316 vsize=10162692 CPUtime=6.43 cores=4-7,12-15
/proc/21319/task/21334/stat : 21334 (java) S 21316 21319 15292 0 -1 4202560 1581 0 0 0 549 94 0 0 20 0 27 0 23565069 10406596608 912349 33554432000 1073741824 1073778376 140734990976432 140233102273192 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21319/tid=21335] ppid=21316 vsize=10162692 CPUtime=6.98 cores=4-7,12-15
/proc/21319/task/21335/stat : 21335 (java) S 21316 21319 15292 0 -1 4202560 3629 0 0 0 693 5 0 0 20 0 27 0 23565070 10406596608 912349 33554432000 1073741824 1073778376 140734990976432 140232212028136 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21319/tid=21336] ppid=21316 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/21319/task/21336/stat : 21336 (java) S 21316 21319 15292 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 27 0 23565071 10406596608 912349 33554432000 1073741824 1073778376 140734990976432 140232210974456 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=21319/tid=21337] ppid=21316 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/21319/task/21337/stat : 21337 (java) S 21316 21319 15292 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 27 0 23565071 10406596608 912349 33554432000 1073741824 1073778376 140734990976432 140232209921800 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=21319/tid=21338] ppid=21316 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/21319/task/21338/stat : 21338 (java) S 21316 21319 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 23565073 10406596608 912349 33554432000 1073741824 1073778376 140734990976432 140232208869520 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=21319/tid=21339] ppid=21316 vsize=10162692 CPUtime=1.54 cores=4-7,12-15
/proc/21319/task/21339/stat : 21339 (java) S 21316 21319 15292 0 -1 4202560 11571 0 0 0 151 3 0 0 20 0 27 0 23565073 10406596608 912349 33554432000 1073741824 1073778376 140734990976432 140232207816888 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21319/tid=21340] ppid=21316 vsize=10162692 CPUtime=1.06 cores=4-7,12-15
/proc/21319/task/21340/stat : 21340 (java) S 21316 21319 15292 0 -1 4202560 4796 0 0 0 106 0 0 0 20 0 27 0 23565073 10406596608 912349 33554432000 1073741824 1073778376 140734990976432 140232206764344 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21319/tid=21341] ppid=21316 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/21319/task/21341/stat : 21341 (java) S 21316 21319 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 23565073 10406596608 912349 33554432000 1073741824 1073778376 140734990976432 140232205711992 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=21319/tid=21342] ppid=21316 vsize=10162692 CPUtime=0.31 cores=4-7,12-15
/proc/21319/task/21342/stat : 21342 (java) S 21316 21319 15292 0 -1 4202560 47 0 0 0 15 16 0 0 20 0 27 0 23565073 10406596608 912349 33554432000 1073741824 1073778376 140734990976432 140232204659656 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21319/tid=21343] ppid=21316 vsize=10162692 CPUtime=796.83 cores=4-7,12-15
/proc/21319/task/21343/stat : 21343 (java) R 21316 21319 15292 0 -1 4202560 60 0 0 0 79670 13 0 0 20 0 27 0 23566119 10406596608 912349 33554432000 1073741824 1073778376 140734990976432 140232203602944 140233115776621 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0
[pid=21319/tid=21344] ppid=21316 vsize=10162692 CPUtime=796.77 cores=4-7,12-15
/proc/21319/task/21344/stat : 21344 (java) R 21316 21319 15292 0 -1 4202560 52 0 0 0 79665 12 0 0 20 0 27 0 23566119 10406596608 912349 33554432000 1073741824 1073778376 140734990976432 140232202550992 140233115791958 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=21319/tid=21345] ppid=21316 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/21319/task/21345/stat : 21345 (java) S 21316 21319 15292 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 23566144 10406596608 912349 33554432000 1073741824 1073778376 140734990976432 140232201500328 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=21319/tid=21346] ppid=21316 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/21319/task/21346/stat : 21346 (java) S 21316 21319 15292 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 23566153 10406596608 912349 33554432000 1073741824 1073778376 140734990976432 140232200446760 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
Current children cumulated CPU time (s) 1696.05
Current children cumulated vsize (KiB) 10162692
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+872.801 s]
/proc/loadavg: 4.09 4.14 4.15 5/311 21504
/proc/meminfo: memFree=25454020/32872528 swapFree=7804/7804
[pid=21319] ppid=21316 vsize=10162692 CPUtime=1800.17 cores=4-7,12-15
/proc/21319/stat : 21319 (java) S 21316 21319 15292 0 -1 4202496 48190 0 1 0 178827 1190 0 0 20 0 27 0 23565067 10406596608 909488 33554432000 1073741824 1073778376 140734990976432 140734990967568 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/21319/statm: 2540673 909488 2291 9 0 2531350 0
[pid=21319/tid=21320] ppid=21316 vsize=10162692 CPUtime=5.86 cores=4-7,12-15
/proc/21319/task/21320/stat : 21320 (java) S 21316 21319 15292 0 -1 4202560 3431 0 1 0 573 13 0 0 20 0 27 0 23565068 10406596608 909488 33554432000 1073741824 1073778376 140734990976432 140233271608184 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21319/tid=21322] ppid=21316 vsize=10162692 CPUtime=6.14 cores=4-7,12-15
/proc/21319/task/21322/stat : 21322 (java) S 21316 21319 15292 0 -1 4202560 2031 0 0 0 539 75 0 0 20 0 27 0 23565069 10406596608 909488 33554432000 1073741824 1073778376 140734990976432 140233114904744 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21319/tid=21323] ppid=21316 vsize=10162692 CPUtime=6.68 cores=4-7,12-15
/proc/21319/task/21323/stat : 21323 (java) S 21316 21319 15292 0 -1 4202560 1886 0 0 0 581 87 0 0 20 0 27 0 23565069 10406596608 909488 33554432000 1073741824 1073778376 140734990976432 140233113852200 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=21319/tid=21324] ppid=21316 vsize=10162692 CPUtime=7.29 cores=4-7,12-15
/proc/21319/task/21324/stat : 21324 (java) S 21316 21319 15292 0 -1 4202560 1792 0 0 0 628 101 0 0 20 0 27 0 23565069 10406596608 909488 33554432000 1073741824 1073778376 140734990976432 140233112799656 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=21319/tid=21325] ppid=21316 vsize=10162692 CPUtime=6.84 cores=4-7,12-15
/proc/21319/task/21325/stat : 21325 (java) S 21316 21319 15292 0 -1 4202560 1806 0 0 0 603 81 0 0 20 0 27 0 23565069 10406596608 909488 33554432000 1073741824 1073778376 140734990976432 140233111747112 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=21319/tid=21326] ppid=21316 vsize=10162692 CPUtime=6.47 cores=4-7,12-15
/proc/21319/task/21326/stat : 21326 (java) S 21316 21319 15292 0 -1 4202560 1890 0 0 0 565 82 0 0 20 0 27 0 23565069 10406596608 909488 33554432000 1073741824 1073778376 140734990976432 140233110694568 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21319/tid=21327] ppid=21316 vsize=10162692 CPUtime=6.63 cores=4-7,12-15
/proc/21319/task/21327/stat : 21327 (java) S 21316 21319 15292 0 -1 4202560 1234 0 0 0 584 79 0 0 20 0 27 0 23565069 10406596608 909488 33554432000 1073741824 1073778376 140734990976432 140233109642024 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=21319/tid=21328] ppid=21316 vsize=10162692 CPUtime=6.22 cores=4-7,12-15
/proc/21319/task/21328/stat : 21328 (java) S 21316 21319 15292 0 -1 4202560 1731 0 0 0 537 85 0 0 20 0 27 0 23565069 10406596608 909488 33554432000 1073741824 1073778376 140734990976432 140233108589480 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21319/tid=21329] ppid=21316 vsize=10162692 CPUtime=6.22 cores=4-7,12-15
/proc/21319/task/21329/stat : 21329 (java) S 21316 21319 15292 0 -1 4202560 1904 0 0 0 539 83 0 0 20 0 27 0 23565069 10406596608 909488 33554432000 1073741824 1073778376 140734990976432 140233107536936 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21319/tid=21330] ppid=21316 vsize=10162692 CPUtime=6.79 cores=4-7,12-15
/proc/21319/task/21330/stat : 21330 (java) S 21316 21319 15292 0 -1 4202560 1629 0 0 0 587 92 0 0 20 0 27 0 23565069 10406596608 909488 33554432000 1073741824 1073778376 140734990976432 140233106483368 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21319/tid=21331] ppid=21316 vsize=10162692 CPUtime=6.92 cores=4-7,12-15
/proc/21319/task/21331/stat : 21331 (java) S 21316 21319 15292 0 -1 4202560 1526 0 0 0 601 91 0 0 20 0 27 0 23565069 10406596608 909488 33554432000 1073741824 1073778376 140734990976432 140233105430824 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=21319/tid=21332] ppid=21316 vsize=10162692 CPUtime=6.97 cores=4-7,12-15
/proc/21319/task/21332/stat : 21332 (java) S 21316 21319 15292 0 -1 4202560 2316 0 0 0 595 102 0 0 20 0 27 0 23565069 10406596608 909488 33554432000 1073741824 1073778376 140734990976432 140233104378280 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21319/tid=21333] ppid=21316 vsize=10162692 CPUtime=6.53 cores=4-7,12-15
/proc/21319/task/21333/stat : 21333 (java) S 21316 21319 15292 0 -1 4202560 2001 0 0 0 562 91 0 0 20 0 27 0 23565069 10406596608 909488 33554432000 1073741824 1073778376 140734990976432 140233103325736 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=21319/tid=21334] ppid=21316 vsize=10162692 CPUtime=6.72 cores=4-7,12-15
/proc/21319/task/21334/stat : 21334 (java) S 21316 21319 15292 0 -1 4202560 1581 0 0 0 578 94 0 0 20 0 27 0 23565069 10406596608 909488 33554432000 1073741824 1073778376 140734990976432 140233102273192 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=21319/tid=21335] ppid=21316 vsize=10162692 CPUtime=6.99 cores=4-7,12-15
/proc/21319/task/21335/stat : 21335 (java) S 21316 21319 15292 0 -1 4202560 3636 0 0 0 694 5 0 0 20 0 27 0 23565070 10406596608 909488 33554432000 1073741824 1073778376 140734990976432 140232212028136 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21319/tid=21336] ppid=21316 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/21319/task/21336/stat : 21336 (java) S 21316 21319 15292 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 27 0 23565071 10406596608 909488 33554432000 1073741824 1073778376 140734990976432 140232210974456 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=21319/tid=21337] ppid=21316 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/21319/task/21337/stat : 21337 (java) S 21316 21319 15292 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 27 0 23565071 10406596608 909488 33554432000 1073741824 1073778376 140734990976432 140232209921800 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=21319/tid=21338] ppid=21316 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/21319/task/21338/stat : 21338 (java) S 21316 21319 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 23565073 10406596608 909488 33554432000 1073741824 1073778376 140734990976432 140232208869520 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=21319/tid=21339] ppid=21316 vsize=10162692 CPUtime=1.57 cores=4-7,12-15
/proc/21319/task/21339/stat : 21339 (java) S 21316 21319 15292 0 -1 4202560 11572 0 0 0 154 3 0 0 20 0 27 0 23565073 10406596608 909488 33554432000 1073741824 1073778376 140734990976432 140232207816888 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21319/tid=21340] ppid=21316 vsize=10162692 CPUtime=1.06 cores=4-7,12-15
/proc/21319/task/21340/stat : 21340 (java) S 21316 21319 15292 0 -1 4202560 4796 0 0 0 106 0 0 0 20 0 27 0 23565073 10406596608 909488 33554432000 1073741824 1073778376 140734990976432 140232206764344 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21319/tid=21341] ppid=21316 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/21319/task/21341/stat : 21341 (java) S 21316 21319 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 23565073 10406596608 909488 33554432000 1073741824 1073778376 140734990976432 140232205711992 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=21319/tid=21342] ppid=21316 vsize=10162692 CPUtime=0.33 cores=4-7,12-15
/proc/21319/task/21342/stat : 21342 (java) S 21316 21319 15292 0 -1 4202560 51 0 0 0 16 17 0 0 20 0 27 0 23565073 10406596608 909488 33554432000 1073741824 1073778376 140734990976432 140232204659656 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21319/tid=21343] ppid=21316 vsize=10162692 CPUtime=846.67 cores=4-7,12-15
/proc/21319/task/21343/stat : 21343 (java) R 21316 21319 15292 0 -1 4202560 60 0 0 0 84654 13 0 0 20 0 27 0 23566119 10406596608 909488 33554432000 1073741824 1073778376 140734990976432 140232203602880 140233115803520 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0
[pid=21319/tid=21344] ppid=21316 vsize=10162692 CPUtime=846.62 cores=4-7,12-15
/proc/21319/task/21344/stat : 21344 (java) R 21316 21319 15292 0 -1 4202560 53 0 0 0 84650 12 0 0 20 0 27 0 23566119 10406596608 909488 33554432000 1073741824 1073778376 140734990976432 140232202551200 140233115791663 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0
[pid=21319/tid=21345] ppid=21316 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/21319/task/21345/stat : 21345 (java) S 21316 21319 15292 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 23566144 10406596608 909488 33554432000 1073741824 1073778376 140734990976432 140232201500328 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=21319/tid=21346] ppid=21316 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/21319/task/21346/stat : 21346 (java) S 21316 21319 15292 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 23566153 10406596608 909488 33554432000 1073741824 1073778376 140734990976432 140232200446760 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
Current children cumulated CPU time (s) 1800.17
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 21319 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 21319 and gives
# childrusage.ru_utime.tv_sec=1783
# childrusage.ru_utime.tv_usec=708835
# childrusage.ru_stime.tv_sec=12
# childrusage.ru_stime.tv_usec=293131
# CPU time returned by wait4() is 1796
# while last known CPU time is 1800.17
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 872.854
CPU time (s): 1800.17
CPU user time (s): 1788.27
CPU system time (s): 11.9
CPU usage (%): 206.24
Max. virtual memory (cumulated for all children) (KiB): 10162692
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1783.71
system time used= 12.2931
maximum resident set size= 3747428
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48228
page faults= 1
swaps= 0
block input operations= 0
block output operations= 920
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22825
involuntary context switches= 19040
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.88495 second user time and 10.2654 second system time
The end