runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3481600-1307578464/watcher-3481600-1307578464 -o /tmp/evaluation-result-3481600-1307578464/solver-3481600-1307578464 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481600-1307578464.opb -seed 2072724441 -budget 1800
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.02 2.08 1.86 2/779 9207
/proc/meminfo: memFree=12318464/32951124 swapFree=64303752/67111528
[pid=9207] ppid=9205 vsize=15380 CPUtime=0 cores=0,2,4,6
/proc/9207/stat : 9207 (python) R 9205 9207 7805 0 -1 4202496 793 0 0 0 0 0 0 0 25 0 1 0 850262333 15749120 680 33554432000 4194304 5683644 140737191121728 18446744073709551615 233510295552 0 2147483391 16781312 2 0 0 0 17 2 0 0 0
/proc/9207/statm: 3845 680 322 364 0 332 0
[startup+0.10594 s]
/proc/loadavg: 2.02 2.08 1.86 2/779 9207
/proc/meminfo: memFree=12318464/32951124 swapFree=64303752/67111528
[pid=9207] ppid=9205 vsize=89920 CPUtime=0.06 cores=0,2,4,6
/proc/9207/stat : 9207 (python) S 9205 9207 7805 0 -1 4202496 2712 0 1 0 4 2 0 0 17 0 1 0 850262333 92078080 2424 33554432000 4194304 5683644 140737191121728 18446744073709551615 233510295552 0 2147483391 16781312 2 18446744071699207358 0 0 17 2 0 0 0
/proc/9207/statm: 22480 2424 750 364 0 1622 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 89920
[startup+0.200995 s]
/proc/loadavg: 2.02 2.08 1.86 2/779 9207
/proc/meminfo: memFree=12318464/32951124 swapFree=64303752/67111528
[pid=9207] ppid=9205 vsize=119980 CPUtime=0.11 cores=0,2,4,6
/proc/9207/stat : 9207 (python) S 9205 9207 7805 0 -1 4202496 4927 928 1 0 8 3 0 0 18 0 1 0 850262333 122859520 3350 33554432000 4194304 5683644 140737191121728 18446744073709551615 233510295552 0 2147483391 16781312 2 18446744071699207358 0 0 17 2 0 0 0
/proc/9207/statm: 29995 3350 919 364 0 2444 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 119980
[startup+0.30096 s]
/proc/loadavg: 2.02 2.08 1.86 2/779 9207
/proc/meminfo: memFree=12318464/32951124 swapFree=64303752/67111528
[pid=9207] ppid=9205 vsize=123736 CPUtime=0.15 cores=0,2,4,6
/proc/9207/stat : 9207 (python) S 9205 9207 7805 0 -1 4202496 5355 928 1 0 11 4 0 0 18 0 1 0 850262333 126705664 3743 33554432000 4194304 5683644 140737191121728 18446744073709551615 233510293509 0 2147483391 16781312 2 18446744071699207358 0 0 17 2 0 0 0
/proc/9207/statm: 30934 3743 987 364 0 2766 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 123736
[startup+0.700875 s]
/proc/loadavg: 2.02 2.08 1.86 2/779 9207
/proc/meminfo: memFree=12318464/32951124 swapFree=64303752/67111528
[pid=9207] ppid=9205 vsize=282396 CPUtime=0.4 cores=0,2,4,6
/proc/9207/stat : 9207 (python) S 9205 9207 7805 0 -1 4202496 9196 928 1 0 30 10 0 0 17 0 1 0 850262333 289173504 6936 33554432000 4194304 5683644 140737191121728 18446744073709551615 233510317583 0 0 16781312 2 4294934785 0 0 17 2 0 0 0
/proc/9207/statm: 70599 6936 1777 364 0 5492 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 282396
[startup+1.50071 s]
/proc/loadavg: 2.02 2.08 1.86 3/783 9216
/proc/meminfo: memFree=12265732/32951124 swapFree=64303752/67111528
[pid=9207] ppid=9205 vsize=295108 CPUtime=0.61 cores=0,2,4,6
/proc/9207/stat : 9207 (python) S 9205 9207 7805 0 -1 4202496 11089 1346 1 0 46 11 4 0 20 0 2 0 850262333 302190592 7617 33554432000 4194304 5683644 140737191121728 18446744073709551615 233522124235 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/9207/statm: 73777 7617 1871 364 0 8664 0
[pid=9214] ppid=9207 vsize=284864 CPUtime=0 cores=0,2,4,6
/proc/9214/stat : 9214 (python) S 9207 9207 7805 0 -1 4202560 787 0 0 0 0 0 0 0 17 0 1 0 850262422 291700736 6067 33554432000 4194304 5683644 140737191121728 18446744073709551615 233510317583 0 0 16781312 33554946 13344733769748152577 0 0 17 2 0 0 0
/proc/9214/statm: 71216 6067 325 364 0 6103 0
[pid=9216] ppid=9214 vsize=49268 CPUtime=0.6 cores=0,2,4,6
/proc/9216/stat : 9216 (scip-2.0.1.linu) R 9214 9216 9216 0 -1 4202496 10659 0 0 0 52 8 0 0 18 0 1 0 850262423 50450432 9873 33554432000 4194304 13684479 140733976353056 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/9216/statm: 12317 9873 763 2317 0 9995 0
[pid=9207/tid=9215] ppid=9205 vsize=295108 CPUtime=0.04 cores=0,2,4,6
/proc/9207/task/9215/stat : 9215 (python) S 9205 9207 7805 0 -1 4202560 25 1346 0 0 0 0 4 0 20 0 2 0 850262423 302190592 7617 33554432000 4194304 5683644 140737191121728 18446744073709551615 233522121137 0 0 16781312 33554434 18446604452471805888 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 629240
[startup+3.13741 s]
/proc/loadavg: 2.02 2.08 1.86 3/783 9216
/proc/meminfo: memFree=12265732/32951124 swapFree=64303752/67111528
[pid=9207] ppid=9205 vsize=295108 CPUtime=0.61 cores=0,2,4,6
/proc/9207/stat : 9207 (python) S 9205 9207 7805 0 -1 4202496 11089 1346 1 0 46 11 4 0 20 0 2 0 850262333 302190592 7617 33554432000 4194304 5683644 140737191121728 18446744073709551615 233522124235 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/9207/statm: 73777 7617 1871 364 0 8664 0
[pid=9214] ppid=9207 vsize=284864 CPUtime=0 cores=0,2,4,6
/proc/9214/stat : 9214 (python) S 9207 9207 7805 0 -1 4202560 806 0 0 0 0 0 0 0 15 0 1 0 850262422 291700736 6067 33554432000 4194304 5683644 140737191121728 18446744073709551615 233510317583 0 0 16781312 33554946 13344733769748152577 0 0 17 2 0 0 0
/proc/9214/statm: 71216 6067 325 364 0 6103 0
[pid=9216] ppid=9214 vsize=82728 CPUtime=2.23 cores=0,2,4,6
/proc/9216/stat : 9216 (scip-2.0.1.linu) R 9214 9216 9216 0 -1 4202496 19030 0 0 0 213 10 0 0 21 0 1 0 850262423 84713472 18130 33554432000 4194304 13684479 140733976353056 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/9216/statm: 20682 18130 822 2317 0 18360 0
[pid=9207/tid=9215] ppid=9205 vsize=295108 CPUtime=0.04 cores=0,2,4,6
/proc/9207/task/9215/stat : 9215 (python) S 9205 9207 7805 0 -1 4202560 25 1346 0 0 0 0 4 0 20 0 2 0 850262423 302190592 7617 33554432000 4194304 5683644 140737191121728 18446744073709551615 233522121137 0 0 16781312 33554434 18446604452471805888 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.84
Current children cumulated vsize (KiB) 662700
[startup+6.30088 s]
/proc/loadavg: 2.02 2.08 1.86 3/783 9216
/proc/meminfo: memFree=12214776/32951124 swapFree=64303752/67111528
[pid=9207] ppid=9205 vsize=295108 CPUtime=0.61 cores=0,2,4,6
/proc/9207/stat : 9207 (python) S 9205 9207 7805 0 -1 4202496 11089 1346 1 0 46 11 4 0 20 0 2 0 850262333 302190592 7617 33554432000 4194304 5683644 140737191121728 18446744073709551615 233522124235 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/9207/statm: 73777 7617 1871 364 0 8664 0
[pid=9214] ppid=9207 vsize=284864 CPUtime=0.02 cores=0,2,4,6
/proc/9214/stat : 9214 (python) S 9207 9207 7805 0 -1 4202560 946 0 0 0 1 1 0 0 15 0 1 0 850262422 291700736 6090 33554432000 4194304 5683644 140737191121728 18446744073709551615 233510317583 0 0 16781312 33554946 3440605812999847936 0 0 17 2 0 0 0
/proc/9214/statm: 71216 6090 348 364 0 6103 0
[pid=9216] ppid=9214 vsize=82728 CPUtime=5.4 cores=0,2,4,6
/proc/9216/stat : 9216 (scip-2.0.1.linu) R 9214 9216 9216 0 -1 4202496 19030 0 0 0 528 12 0 0 25 0 1 0 850262423 84713472 18130 33554432000 4194304 13684479 140733976353056 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/9216/statm: 20682 18130 822 2317 0 18360 0
[pid=9207/tid=9215] ppid=9205 vsize=295108 CPUtime=0.04 cores=0,2,4,6
/proc/9207/task/9215/stat : 9215 (python) S 9205 9207 7805 0 -1 4202560 25 1346 0 0 0 0 4 0 20 0 2 0 850262423 302190592 7617 33554432000 4194304 5683644 140737191121728 18446744073709551615 233522121137 0 0 16781312 33554434 18446604452471805888 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 6.03
Current children cumulated vsize (KiB) 662700
[startup+12.7007 s]
/proc/loadavg: 2.02 2.08 1.86 3/783 9216
/proc/meminfo: memFree=12212808/32951124 swapFree=64303752/67111528
[pid=9207] ppid=9205 vsize=295108 CPUtime=0.61 cores=0,2,4,6
/proc/9207/stat : 9207 (python) S 9205 9207 7805 0 -1 4202496 11089 1346 1 0 46 11 4 0 20 0 2 0 850262333 302190592 7617 33554432000 4194304 5683644 140737191121728 18446744073709551615 233522124235 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/9207/statm: 73777 7617 1871 364 0 8664 0
[pid=9214] ppid=9207 vsize=284864 CPUtime=0.04 cores=0,2,4,6
/proc/9214/stat : 9214 (python) S 9207 9207 7805 0 -1 4202560 952 0 0 0 2 2 0 0 15 0 1 0 850262422 291700736 6090 33554432000 4194304 5683644 140737191121728 18446744073709551615 233510317583 0 0 16781312 33554946 4294934787 0 0 17 6 0 0 0
/proc/9214/statm: 71216 6090 348 364 0 6103 0
[pid=9216] ppid=9214 vsize=82728 CPUtime=11.79 cores=0,2,4,6
/proc/9216/stat : 9216 (scip-2.0.1.linu) R 9214 9216 9216 0 -1 4202496 19030 0 0 0 1163 16 0 0 25 0 1 0 850262423 84713472 18130 33554432000 4194304 13684479 140733976353056 18446744073709551615 6388468 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/9216/statm: 20682 18130 822 2317 0 18360 0
[pid=9207/tid=9215] ppid=9205 vsize=295108 CPUtime=0.04 cores=0,2,4,6
/proc/9207/task/9215/stat : 9215 (python) S 9205 9207 7805 0 -1 4202560 25 1346 0 0 0 0 4 0 20 0 2 0 850262423 302190592 7617 33554432000 4194304 5683644 140737191121728 18446744073709551615 233522121137 0 0 16781312 33554434 18446604452471805888 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.44
Current children cumulated vsize (KiB) 662700
[startup+25.5004 s]
/proc/loadavg: 2.01 2.08 1.86 3/783 9217
/proc/meminfo: memFree=12210564/32951124 swapFree=64303752/67111528
[pid=9207] ppid=9205 vsize=295108 CPUtime=0.61 cores=0,2,4,6
/proc/9207/stat : 9207 (python) S 9205 9207 7805 0 -1 4202496 11089 1346 1 0 46 11 4 0 20 0 2 0 850262333 302190592 7617 33554432000 4194304 5683644 140737191121728 18446744073709551615 233522124235 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/9207/statm: 73777 7617 1871 364 0 8664 0
[pid=9214] ppid=9207 vsize=284864 CPUtime=0.11 cores=0,2,4,6
/proc/9214/stat : 9214 (python) S 9207 9207 7805 0 -1 4202560 966 0 0 0 6 5 0 0 15 0 1 0 850262422 291700736 6090 33554432000 4194304 5683644 140737191121728 18446744073709551615 233510317583 0 0 16781312 33554946 779950586186432512 0 0 17 6 0 0 0
/proc/9214/statm: 71216 6090 348 364 0 6103 0
[pid=9216] ppid=9214 vsize=82728 CPUtime=24.59 cores=0,2,4,6
/proc/9216/stat : 9216 (scip-2.0.1.linu) R 9214 9216 9216 0 -1 4202496 19260 0 0 0 2439 20 0 0 25 0 1 0 850262423 84713472 18360 33554432000 4194304 13684479 140733976353056 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/9216/statm: 20682 18360 828 2317 0 18360 0
[pid=9207/tid=9215] ppid=9205 vsize=295108 CPUtime=0.04 cores=0,2,4,6
/proc/9207/task/9215/stat : 9215 (python) S 9205 9207 7805 0 -1 4202560 25 1346 0 0 0 0 4 0 20 0 2 0 850262423 302190592 7617 33554432000 4194304 5683644 140737191121728 18446744073709551615 233522121137 0 0 16781312 33554434 18446604452471805888 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.31
Current children cumulated vsize (KiB) 662700
[startup+51.1218 s]
/proc/loadavg: 2.01 2.07 1.87 3/787 9221
/proc/meminfo: memFree=12170692/32951124 swapFree=64303752/67111528
[pid=9207] ppid=9205 vsize=305364 CPUtime=0.63 cores=0,2,4,6
/proc/9207/stat : 9207 (python) S 9205 9207 7805 0 -1 4202496 11945 1346 1 0 48 11 4 0 20 0 3 0 850262333 312692736 7624 33554432000 4194304 5683644 140737191121728 18446744073709551615 233522124235 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/9207/statm: 76341 7624 1874 364 0 11225 0
[pid=9214] ppid=9207 vsize=295108 CPUtime=0.22 cores=0,2,4,6
/proc/9214/stat : 9214 (python) S 9207 9207 7805 0 -1 4202560 1175 0 0 0 11 11 0 0 17 0 2 0 850262422 302190592 6158 33554432000 4194304 5683644 140737191121728 18446744073709551615 233522124235 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/9214/statm: 73777 6158 411 364 0 8664 0
[pid=9216] ppid=9214 vsize=82728 CPUtime=47.11 cores=0,2,4,6
/proc/9216/stat : 9216 (scip-2.0.1.linu) T 9214 9216 9216 0 -1 4202496 19265 0 0 0 4675 36 0 0 25 0 1 0 850262423 84713472 18365 33554432000 4194304 13684479 140733976353056 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 4 0 0 0
/proc/9216/statm: 20682 18365 832 2317 0 18360 0
[pid=9214/tid=9218] ppid=9207 vsize=295108 CPUtime=0 cores=0,2,4,6
/proc/9214/task/9218/stat : 9218 (python) S 9207 9207 7805 0 -1 4202560 48 0 0 0 0 0 0 0 17 0 2 0 850267134 302190592 6158 33554432000 4194304 5683644 140737191121728 18446744073709551615 233522121137 0 0 16781312 33554946 18446604440770868544 0 0 -1 6 0 0 0
[pid=9219] ppid=9207 vsize=295120 CPUtime=0 cores=0,2,4,6
/proc/9219/stat : 9219 (python) S 9207 9207 7805 0 -1 4202560 752 0 0 0 0 0 0 0 15 0 1 0 850267136 302202880 6066 33554432000 4194304 5683644 140737191121728 18446744073709551615 233510317638 0 0 16781312 33554946 10406132745146171649 0 0 17 6 0 0 0
/proc/9219/statm: 73780 6066 320 364 0 8664 0
[pid=9221] ppid=9219 vsize=52816 CPUtime=3.07 cores=0,2,4,6
/proc/9221/stat : 9221 (scip-2.0.1.linu) R 9219 9221 9221 0 -1 4202496 15752 0 0 0 298 9 0 0 25 0 1 0 850267137 54083584 9921 33554432000 4194304 15243407 140733647764560 18446744073709551615 13354455 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/9221/statm: 13204 9921 838 2698 0 10499 0
[pid=9207/tid=9215] ppid=9205 vsize=305364 CPUtime=0.04 cores=0,2,4,6
/proc/9207/task/9215/stat : 9215 (python) S 9205 9207 7805 0 -1 4202560 25 1346 0 0 0 0 4 0 20 0 3 0 850262423 312692736 7624 33554432000 4194304 5683644 140737191121728 18446744073709551615 233522121137 0 0 16781312 33554434 18446604452471805888 0 0 -1 2 0 0 0
[pid=9207/tid=9220] ppid=9205 vsize=305364 CPUtime=0.04 cores=0,2,4,6
/proc/9207/task/9220/stat : 9220 (python) S 9205 9207 7805 0 -1 4202560 30 1346 0 0 0 0 4 0 20 0 3 0 850267137 312692736 7624 33554432000 4194304 5683644 140737191121728 18446744073709551615 233522121137 0 0 16781312 33554434 18446604452471805888 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 1031136
[startup+102.302 s]
/proc/loadavg: 2.00 2.06 1.87 3/809 9245
/proc/meminfo: memFree=11562764/32951124 swapFree=64303752/67111528
[pid=9207] ppid=9205 vsize=315620 CPUtime=0.65 cores=0,2,4,6
/proc/9207/stat : 9207 (python) S 9205 9207 7805 0 -1 4202496 12828 1346 1 0 50 11 4 0 20 0 4 0 850262333 323194880 7630 33554432000 4194304 5683644 140737191121728 18446744073709551615 233522124235 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/9207/statm: 78905 7630 1876 364 0 13786 0
[pid=9214] ppid=9207 vsize=295108 CPUtime=0.22 cores=0,2,4,6
/proc/9214/stat : 9214 (python) S 9207 9207 7805 0 -1 4202560 1175 0 0 0 11 11 0 0 17 0 2 0 850262422 302190592 6158 33554432000 4194304 5683644 140737191121728 18446744073709551615 233522124235 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/9214/statm: 73777 6158 411 364 0 8664 0
[pid=9216] ppid=9214 vsize=82728 CPUtime=47.11 cores=0,2,4,6
/proc/9216/stat : 9216 (scip-2.0.1.linu) T 9214 9216 9216 0 -1 4202496 19265 0 0 0 4675 36 0 0 25 0 1 0 850262423 84713472 18365 33554432000 4194304 13684479 140733976353056 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 4 0 0 0
/proc/9216/statm: 20682 18365 832 2317 0 18360 0
[pid=9214/tid=9218] ppid=9207 vsize=295108 CPUtime=0 cores=0,2,4,6
/proc/9214/task/9218/stat : 9218 (python) S 9207 9207 7805 0 -1 4202560 48 0 0 0 0 0 0 0 17 0 2 0 850267134 302190592 6158 33554432000 4194304 5683644 140737191121728 18446744073709551615 233522121137 0 0 16781312 33554946 18446604440770868544 0 0 -1 6 0 0 0
[pid=9219] ppid=9207 vsize=295120 CPUtime=0.23 cores=0,2,4,6
/proc/9219/stat : 9219 (python) S 9207 9207 7805 0 -1 4202560 1112 0 0 0 12 11 0 0 17 0 2 0 850267136 302202880 6138 33554432000 4194304 5683644 140737191121728 18446744073709551615 233522124235 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/9219/statm: 73780 6138 391 364 0 8664 0
[pid=9221] ppid=9219 vsize=90932 CPUtime=46.52 cores=0,2,4,6
/proc/9221/stat : 9221 (scip-2.0.1.linu) T 9219 9221 9221 0 -1 4202496 26137 0 0 0 4633 19 0 0 25 0 1 0 850267137 93114368 19346 33554432000 4194304 15243407 140733647764560 18446744073709551615 8113833 0 0 16781312 2 18446744071562691360 0 0 17 4 0 0 0
/proc/9221/statm: 22733 19346 961 2698 0 20028 0
[pid=9219/tid=9223] ppid=9207 vsize=295120 CPUtime=0 cores=0,2,4,6
/proc/9219/task/9223/stat : 9223 (python) S 9207 9207 7805 0 -1 4202560 49 0 0 0 0 0 0 0 17 0 2 0 850271790 302202880 6138 33554432000 4194304 5683644 140737191121728 18446744073709551615 233522121137 0 0 16781312 33554946 18446604441517105216 0 0 -1 6 0 0 0
[pid=9224] ppid=9207 vsize=305376 CPUtime=0.02 cores=0,2,4,6
/proc/9224/stat : 9224 (python) S 9207 9207 7805 0 -1 4202560 923 0 0 0 1 1 0 0 15 0 1 0 850271792 312705024 6094 33554432000 4194304 5683644 140737191121728 18446744073709551615 233510317638 0 0 16781312 33554946 4294934785 0 0 17 6 0 0 0
################
# More data... #
################
[pid=9226/tid=9235] ppid=9224 vsize=8550844 CPUtime=0.01 cores=0,2,4,6
/proc/9226/task/9235/stat : 9235 (java) S 9224 9226 9226 0 -1 4202560 469 0 0 0 1 0 0 0 15 0 19 0 850271794 8756064256 143558 33554432000 1073741824 1073778376 140735680765744 18446744073709551615 233522113433 0 4 0 16800975 18446604449196448640 0 0 -1 6 0 0 0
[pid=9226/tid=9236] ppid=9224 vsize=8550844 CPUtime=0.07 cores=0,2,4,6
/proc/9226/task/9236/stat : 9236 (java) S 9224 9226 9226 0 -1 4202560 1888 0 0 0 7 0 0 0 15 0 19 0 850271795 8756064256 143558 33554432000 1073741824 1073778376 140735680765744 18446744073709551615 233522114048 0 0 0 16800975 18446604449196448640 0 0 -1 2 0 0 0
[pid=9226/tid=9237] ppid=9224 vsize=8550844 CPUtime=0 cores=0,2,4,6
/proc/9226/task/9237/stat : 9237 (java) S 9224 9226 9226 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 850271796 8756064256 143558 33554432000 1073741824 1073778376 140735680765744 18446744073709551615 233522113433 0 4 0 16800975 18446604449196448640 0 0 -1 2 0 0 0
[pid=9226/tid=9238] ppid=9224 vsize=8550844 CPUtime=0 cores=0,2,4,6
/proc/9226/task/9238/stat : 9238 (java) S 9224 9226 9226 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 850271796 8756064256 143558 33554432000 1073741824 1073778376 140735680765744 18446744073709551615 233522113433 0 4 0 16800975 18446604449196448640 0 0 -1 2 0 0 0
[pid=9226/tid=9239] ppid=9224 vsize=8550844 CPUtime=0 cores=0,2,4,6
/proc/9226/task/9239/stat : 9239 (java) S 9224 9226 9226 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850271798 8756064256 143558 33554432000 1073741824 1073778376 140735680765744 18446744073709551615 233522121137 0 4 0 16800975 18446604449196448640 0 0 -1 2 0 0 0
[pid=9226/tid=9240] ppid=9224 vsize=8550844 CPUtime=0.53 cores=0,2,4,6
/proc/9226/task/9240/stat : 9240 (java) S 9224 9226 9226 0 -1 4202560 5399 0 0 0 53 0 0 0 15 0 19 0 850271798 8756064256 143558 33554432000 1073741824 1073778376 140735680765744 18446744073709551615 233522113433 0 4 0 16800975 18446604449196448640 0 0 -1 0 0 0 0
[pid=9226/tid=9241] ppid=9224 vsize=8550844 CPUtime=0.56 cores=0,2,4,6
/proc/9226/task/9241/stat : 9241 (java) S 9224 9226 9226 0 -1 4202560 4906 0 0 0 56 0 0 0 15 0 19 0 850271798 8756064256 143558 33554432000 1073741824 1073778376 140735680765744 18446744073709551615 233522113433 0 4 0 16800975 18446604449196448640 0 0 -1 4 0 0 0
[pid=9226/tid=9242] ppid=9224 vsize=8550844 CPUtime=0 cores=0,2,4,6
/proc/9226/task/9242/stat : 9242 (java) S 9224 9226 9226 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850271798 8756064256 143558 33554432000 1073741824 1073778376 140735680765744 18446744073709551615 233522113433 0 4 0 16800975 18446604449196448640 0 0 -1 2 0 0 0
[pid=9226/tid=9243] ppid=9224 vsize=8550844 CPUtime=0 cores=0,2,4,6
/proc/9226/task/9243/stat : 9243 (java) S 9224 9226 9226 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 850271798 8756064256 143558 33554432000 1073741824 1073778376 140735680765744 18446744073709551615 233522114048 0 4 0 16800975 18446604449196448640 0 0 -1 0 0 0 0
[pid=9226/tid=9244] ppid=9224 vsize=8550844 CPUtime=0 cores=0,2,4,6
/proc/9226/task/9244/stat : 9244 (java) S 9224 9226 9226 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 850271833 8756064256 143558 33554432000 1073741824 1073778376 140735680765744 18446744073709551615 233522114048 0 4 0 16800975 18446604449196448640 0 0 -1 2 0 0 0
[pid=9207/tid=9215] ppid=9205 vsize=315620 CPUtime=0.04 cores=0,2,4,6
/proc/9207/task/9215/stat : 9215 (python) S 9205 9207 7805 0 -1 4202560 25 1346 0 0 0 0 4 0 20 0 4 0 850262423 323194880 7630 33554432000 4194304 5683644 140737191121728 18446744073709551615 233522121137 0 0 16781312 33554434 18446604452471805888 0 0 -1 2 0 0 0
[pid=9207/tid=9220] ppid=9205 vsize=315620 CPUtime=0.04 cores=0,2,4,6
/proc/9207/task/9220/stat : 9220 (python) S 9205 9207 7805 0 -1 4202560 30 1346 0 0 0 0 4 0 20 0 4 0 850267137 323194880 7630 33554432000 4194304 5683644 140737191121728 18446744073709551615 233522121137 0 0 16781312 33554434 18446604452471805888 0 0 -1 6 0 0 0
[pid=9207/tid=9225] ppid=9205 vsize=315620 CPUtime=0.04 cores=0,2,4,6
/proc/9207/task/9225/stat : 9225 (python) S 9205 9207 7805 0 -1 4202560 33 1346 0 0 0 0 4 0 20 0 4 0 850271793 323194880 7630 33554432000 4194304 5683644 140737191121728 18446744073709551615 233522121137 0 0 16781312 33554434 18446604452471805888 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 103.62
Current children cumulated vsize (KiB) 9935728
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+143.401 s]
/proc/loadavg: 2.10 2.08 1.89 6/831 9268
/proc/meminfo: memFree=11140552/32951124 swapFree=64303752/67111528
[pid=9207] ppid=9205 vsize=325876 CPUtime=0.69 cores=0,2,4,6
/proc/9207/stat : 9207 (python) S 9205 9207 7805 0 -1 4202496 13722 1346 1 0 53 12 4 0 20 0 5 0 850262333 333697024 7636 33554432000 4194304 5683644 140737191121728 18446744073709551615 233522124235 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/9207/statm: 81469 7636 1878 364 0 16347 0
[pid=9214] ppid=9207 vsize=295108 CPUtime=0.22 cores=0,2,4,6
/proc/9214/stat : 9214 (python) S 9207 9207 7805 0 -1 4202560 1175 0 0 0 11 11 0 0 17 0 2 0 850262422 302190592 6158 33554432000 4194304 5683644 140737191121728 18446744073709551615 233522124235 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/9214/statm: 73777 6158 411 364 0 8664 0
[pid=9216] ppid=9214 vsize=82728 CPUtime=47.11 cores=0,2,4,6
/proc/9216/stat : 9216 (scip-2.0.1.linu) T 9214 9216 9216 0 -1 4202496 19265 0 0 0 4675 36 0 0 25 0 1 0 850262423 84713472 18365 33554432000 4194304 13684479 140733976353056 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 4 0 0 0
/proc/9216/statm: 20682 18365 832 2317 0 18360 0
[pid=9214/tid=9218] ppid=9207 vsize=295108 CPUtime=0 cores=0,2,4,6
/proc/9214/task/9218/stat : 9218 (python) S 9207 9207 7805 0 -1 4202560 48 0 0 0 0 0 0 0 17 0 2 0 850267134 302190592 6158 33554432000 4194304 5683644 140737191121728 18446744073709551615 233522121137 0 0 16781312 33554946 18446604440770868544 0 0 -1 6 0 0 0
[pid=9219] ppid=9207 vsize=295120 CPUtime=0.23 cores=0,2,4,6
/proc/9219/stat : 9219 (python) S 9207 9207 7805 0 -1 4202560 1112 0 0 0 12 11 0 0 17 0 2 0 850267136 302202880 6138 33554432000 4194304 5683644 140737191121728 18446744073709551615 233522124235 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/9219/statm: 73780 6138 391 364 0 8664 0
[pid=9221] ppid=9219 vsize=90932 CPUtime=46.52 cores=0,2,4,6
/proc/9221/stat : 9221 (scip-2.0.1.linu) T 9219 9221 9221 0 -1 4202496 26137 0 0 0 4633 19 0 0 25 0 1 0 850267137 93114368 19346 33554432000 4194304 15243407 140733647764560 18446744073709551615 8113833 0 0 16781312 2 18446744071562691360 0 0 17 4 0 0 0
/proc/9221/statm: 22733 19346 961 2698 0 20028 0
[pid=9219/tid=9223] ppid=9207 vsize=295120 CPUtime=0 cores=0,2,4,6
/proc/9219/task/9223/stat : 9223 (python) S 9207 9207 7805 0 -1 4202560 49 0 0 0 0 0 0 0 17 0 2 0 850271790 302202880 6138 33554432000 4194304 5683644 140737191121728 18446744073709551615 233522121137 0 0 16781312 33554946 18446604441517105216 0 0 -1 6 0 0 0
[pid=9224] ppid=9207 vsize=305376 CPUtime=0.26 cores=0,2,4,6
/proc/9224/stat : 9224 (python) S 9207 9207 7805 0 -1 4202560 1130 0 0 0 12 14 0 0 16 0 2 0 850271792 312705024 6142 33554432000 4194304 5683644 140737191121728 18446744073709551615 233522124235 0 0 16781312 33554946 18446744073709551615 0 0 17 4 0 0 0
/proc/9224/statm: 76344 6142 391 364 0 11225 0
[pid=9226] ppid=9224 vsize=8550844 CPUtime=49.17 cores=0,2,4,6
/proc/9226/stat : 9226 (java) T 9224 9226 9226 0 -1 4202496 221137 0 1 0 4889 28 0 0 18 0 19 0 850271793 8756064256 217530 33554432000 1073741824 1073778376 140735680765744 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/9226/statm: 2137711 217530 2260 9 0 2128452 0
[pid=9226/tid=9227] ppid=9224 vsize=8550844 CPUtime=47.17 cores=0,2,4,6
/proc/9226/task/9227/stat : 9227 (java) T 9224 9226 9226 0 -1 4202560 198987 0 1 0 4693 24 0 0 25 0 19 0 850271794 8756064256 217530 33554432000 1073741824 1073778376 140735680765744 18446744073709551615 46912505823085 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=9226/tid=9228] ppid=9224 vsize=8550844 CPUtime=0.05 cores=0,2,4,6
/proc/9226/task/9228/stat : 9228 (java) T 9224 9226 9226 0 -1 4202560 988 0 0 0 5 0 0 0 15 0 19 0 850271794 8756064256 217530 33554432000 1073741824 1073778376 140735680765744 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=9226/tid=9229] ppid=9224 vsize=8550844 CPUtime=0.03 cores=0,2,4,6
/proc/9226/task/9229/stat : 9229 (java) T 9224 9226 9226 0 -1 4202560 1310 0 0 0 3 0 0 0 15 0 19 0 850271794 8756064256 217530 33554432000 1073741824 1073778376 140735680765744 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=9226/tid=9230] ppid=9224 vsize=8550844 CPUtime=0.03 cores=0,2,4,6
/proc/9226/task/9230/stat : 9230 (java) T 9224 9226 9226 0 -1 4202560 525 0 0 0 3 0 0 0 15 0 19 0 850271794 8756064256 217530 33554432000 1073741824 1073778376 140735680765744 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=9226/tid=9231] ppid=9224 vsize=8550844 CPUtime=0.03 cores=0,2,4,6
/proc/9226/task/9231/stat : 9231 (java) T 9224 9226 9226 0 -1 4202560 797 0 0 0 3 0 0 0 15 0 19 0 850271794 8756064256 217530 33554432000 1073741824 1073778376 140735680765744 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=9226/tid=9232] ppid=9224 vsize=8550844 CPUtime=0.03 cores=0,2,4,6
/proc/9226/task/9232/stat : 9232 (java) T 9224 9226 9226 0 -1 4202560 896 0 0 0 3 0 0 0 15 0 19 0 850271794 8756064256 217530 33554432000 1073741824 1073778376 140735680765744 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=9226/tid=9233] ppid=9224 vsize=8550844 CPUtime=0.06 cores=0,2,4,6
/proc/9226/task/9233/stat : 9233 (java) T 9224 9226 9226 0 -1 4202560 1610 0 0 0 6 0 0 0 15 0 19 0 850271794 8756064256 217530 33554432000 1073741824 1073778376 140735680765744 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=9226/tid=9234] ppid=9224 vsize=8550844 CPUtime=0.01 cores=0,2,4,6
/proc/9226/task/9234/stat : 9234 (java) T 9224 9226 9226 0 -1 4202560 378 0 0 0 1 0 0 0 15 0 19 0 850271794 8756064256 217530 33554432000 1073741824 1073778376 140735680765744 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=9226/tid=9235] ppid=9224 vsize=8550844 CPUtime=0.06 cores=0,2,4,6
/proc/9226/task/9235/stat : 9235 (java) T 9224 9226 9226 0 -1 4202560 473 0 0 0 6 0 0 0 15 0 19 0 850271794 8756064256 217530 33554432000 1073741824 1073778376 140735680765744 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=9226/tid=9236] ppid=9224 vsize=8550844 CPUtime=0.49 cores=0,2,4,6
/proc/9226/task/9236/stat : 9236 (java) T 9224 9226 9226 0 -1 4202560 3475 0 0 0 48 1 0 0 15 0 19 0 850271795 8756064256 217530 33554432000 1073741824 1073778376 140735680765744 18446744073709551615 233522114048 0 0 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=9226/tid=9237] ppid=9224 vsize=8550844 CPUtime=0 cores=0,2,4,6
/proc/9226/task/9237/stat : 9237 (java) T 9224 9226 9226 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 850271796 8756064256 217530 33554432000 1073741824 1073778376 140735680765744 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=9226/tid=9238] ppid=9224 vsize=8550844 CPUtime=0 cores=0,2,4,6
/proc/9226/task/9238/stat : 9238 (java) T 9224 9226 9226 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 850271796 8756064256 217530 33554432000 1073741824 1073778376 140735680765744 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=9226/tid=9239] ppid=9224 vsize=8550844 CPUtime=0 cores=0,2,4,6
/proc/9226/task/9239/stat : 9239 (java) T 9224 9226 9226 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850271798 8756064256 217530 33554432000 1073741824 1073778376 140735680765744 18446744073709551615 233522121137 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=9226/tid=9240] ppid=9224 vsize=8550844 CPUtime=0.54 cores=0,2,4,6
/proc/9226/task/9240/stat : 9240 (java) T 9224 9226 9226 0 -1 4202560 5399 0 0 0 54 0 0 0 15 0 19 0 850271798 8756064256 217530 33554432000 1073741824 1073778376 140735680765744 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=9226/tid=9241] ppid=9224 vsize=8550844 CPUtime=0.56 cores=0,2,4,6
/proc/9226/task/9241/stat : 9241 (java) T 9224 9226 9226 0 -1 4202560 4906 0 0 0 56 0 0 0 15 0 19 0 850271798 8756064256 217530 33554432000 1073741824 1073778376 140735680765744 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=9226/tid=9242] ppid=9224 vsize=8550844 CPUtime=0 cores=0,2,4,6
/proc/9226/task/9242/stat : 9242 (java) T 9224 9226 9226 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850271798 8756064256 217530 33554432000 1073741824 1073778376 140735680765744 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=9226/tid=9243] ppid=9224 vsize=8550844 CPUtime=0 cores=0,2,4,6
/proc/9226/task/9243/stat : 9243 (java) T 9224 9226 9226 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 850271798 8756064256 217530 33554432000 1073741824 1073778376 140735680765744 18446744073709551615 233522114048 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=9226/tid=9244] ppid=9224 vsize=8550844 CPUtime=0 cores=0,2,4,6
/proc/9226/task/9244/stat : 9244 (java) T 9224 9226 9226 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 850271833 8756064256 217530 33554432000 1073741824 1073778376 140735680765744 18446744073709551615 233522114048 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=9224/tid=9247] ppid=9207 vsize=305376 CPUtime=0 cores=0,2,4,6
/proc/9224/task/9247/stat : 9247 (python) S 9207 9207 7805 0 -1 4202560 48 0 0 0 0 0 0 0 17 0 2 0 850276585 312705024 6142 33554432000 4194304 5683644 140737191121728 18446744073709551615 233522121137 0 0 16781312 33554946 18446604443661793408 0 0 -1 4 0 0 0
[pid=9248] ppid=9207 vsize=315632 CPUtime=0 cores=0,2,4,6
/proc/9248/stat : 9248 (python) S 9207 9207 7805 0 -1 4202560 790 0 0 0 0 0 0 0 15 0 1 0 850276588 323207168 6074 33554432000 4194304 5683644 140737191121728 18446744073709551615 233510317638 0 0 16781312 33554946 4294934787 0 0 17 6 0 0 0
/proc/9248/statm: 78908 6074 320 364 0 13786 0
[pid=9250] ppid=9248 vsize=8550340 CPUtime=2.06 cores=0,2,4,6
/proc/9250/stat : 9250 (java) S 9248 9250 9250 0 -1 4202496 38621 0 1 0 202 4 0 0 21 0 19 0 850276588 8755548160 31573 33554432000 1073741824 1073778376 140733621559488 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/9250/statm: 2137585 31574 2228 9 0 2128326 0
[pid=9250/tid=9251] ppid=9248 vsize=8550340 CPUtime=0.87 cores=0,2,4,6
/proc/9250/task/9251/stat : 9251 (java) R 9248 9250 9250 0 -1 4202560 23636 0 1 0 85 2 0 0 19 0 19 0 850276589 8755548160 32294 33554432000 1073741824 1073778376 140733621559488 18446744073709551615 46912505794545 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=9250/tid=9252] ppid=9248 vsize=8550340 CPUtime=0 cores=0,2,4,6
/proc/9250/task/9252/stat : 9252 (java) S 9248 9250 9250 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 850276589 8755548160 32294 33554432000 1073741824 1073778376 140733621559488 18446744073709551615 233522113433 0 4 0 16800975 18446604449196446848 0 0 -1 2 0 0 0
[pid=9250/tid=9253] ppid=9248 vsize=8550340 CPUtime=0 cores=0,2,4,6
/proc/9250/task/9253/stat : 9253 (java) S 9248 9250 9250 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850276589 8755548160 32294 33554432000 1073741824 1073778376 140733621559488 18446744073709551615 233522113433 0 4 0 16800975 18446604449196446848 0 0 -1 4 0 0 0
[pid=9250/tid=9254] ppid=9248 vsize=8550340 CPUtime=0 cores=0,2,4,6
/proc/9250/task/9254/stat : 9254 (java) S 9248 9250 9250 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850276589 8755548160 32294 33554432000 1073741824 1073778376 140733621559488 18446744073709551615 233522113433 0 4 0 16800975 18446604449196446848 0 0 -1 4 0 0 0
[pid=9250/tid=9255] ppid=9248 vsize=8550340 CPUtime=0 cores=0,2,4,6
/proc/9250/task/9255/stat : 9255 (java) S 9248 9250 9250 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850276589 8755548160 32294 33554432000 1073741824 1073778376 140733621559488 18446744073709551615 233522113433 0 4 0 16800975 18446604449196446848 0 0 -1 4 0 0 0
[pid=9250/tid=9256] ppid=9248 vsize=8550340 CPUtime=0 cores=0,2,4,6
/proc/9250/task/9256/stat : 9256 (java) S 9248 9250 9250 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850276589 8755548160 32294 33554432000 1073741824 1073778376 140733621559488 18446744073709551615 233522113433 0 4 0 16800975 18446604449196446848 0 0 -1 4 0 0 0
[pid=9250/tid=9257] ppid=9248 vsize=8550340 CPUtime=0 cores=0,2,4,6
/proc/9250/task/9257/stat : 9257 (java) S 9248 9250 9250 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850276589 8755548160 32294 33554432000 1073741824 1073778376 140733621559488 18446744073709551615 233522113433 0 4 0 16800975 18446604449196446848 0 0 -1 4 0 0 0
[pid=9250/tid=9258] ppid=9248 vsize=8550340 CPUtime=0 cores=0,2,4,6
/proc/9250/task/9258/stat : 9258 (java) S 9248 9250 9250 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850276589 8755548160 32294 33554432000 1073741824 1073778376 140733621559488 18446744073709551615 233522113433 0 4 0 16800975 18446604449196446848 0 0 -1 4 0 0 0
[pid=9250/tid=9259] ppid=9248 vsize=8550340 CPUtime=0 cores=0,2,4,6
/proc/9250/task/9259/stat : 9259 (java) S 9248 9250 9250 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850276589 8755548160 32294 33554432000 1073741824 1073778376 140733621559488 18446744073709551615 233522113433 0 4 0 16800975 18446604449196446848 0 0 -1 4 0 0 0
[pid=9250/tid=9260] ppid=9248 vsize=8550340 CPUtime=0 cores=0,2,4,6
/proc/9250/task/9260/stat : 9260 (java) S 9248 9250 9250 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 850276590 8755548160 32294 33554432000 1073741824 1073778376 140733621559488 18446744073709551615 233522114048 0 0 0 16800975 18446604449196446848 0 0 -1 2 0 0 0
[pid=9250/tid=9261] ppid=9248 vsize=8550340 CPUtime=0 cores=0,2,4,6
/proc/9250/task/9261/stat : 9261 (java) S 9248 9250 9250 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 850276591 8755548160 32296 33554432000 1073741824 1073778376 140733621559488 18446744073709551615 233522113433 0 4 0 16800975 18446604449196446848 0 0 -1 2 0 0 0
[pid=9250/tid=9262] ppid=9248 vsize=8550340 CPUtime=0 cores=0,2,4,6
/proc/9250/task/9262/stat : 9262 (java) S 9248 9250 9250 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 850276591 8755548160 32299 33554432000 1073741824 1073778376 140733621559488 18446744073709551615 233522113433 0 4 0 16800975 18446604449196446848 0 0 -1 6 0 0 0
[pid=9250/tid=9263] ppid=9248 vsize=8550340 CPUtime=0 cores=0,2,4,6
/proc/9250/task/9263/stat : 9263 (java) S 9248 9250 9250 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 850276593 8755548160 32303 33554432000 1073741824 1073778376 140733621559488 18446744073709551615 233522121137 0 4 0 16800975 18446604449196446848 0 0 -1 2 0 0 0
[pid=9250/tid=9264] ppid=9248 vsize=8550340 CPUtime=0.61 cores=0,2,4,6
/proc/9250/task/9264/stat : 9264 (java) R 9248 9250 9250 0 -1 4202560 6178 0 0 0 60 1 0 0 19 0 19 0 850276593 8755548160 32305 33554432000 1073741824 1073778376 140733621559488 18446744073709551615 47733125836236 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=9250/tid=9265] ppid=9248 vsize=8550340 CPUtime=0.58 cores=0,2,4,6
/proc/9250/task/9265/stat : 9265 (java) R 9248 9250 9250 0 -1 4202560 8128 0 0 0 58 0 0 0 18 0 19 0 850276593 8755548160 32309 33554432000 1073741824 1073778376 140733621559488 18446744073709551615 47733124357904 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=9250/tid=9266] ppid=9248 vsize=8550340 CPUtime=0 cores=0,2,4,6
/proc/9250/task/9266/stat : 9266 (java) S 9248 9250 9250 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 850276593 8755548160 32310 33554432000 1073741824 1073778376 140733621559488 18446744073709551615 233522113433 0 4 0 16800975 18446604449196446848 0 0 -1 4 0 0 0
[pid=9250/tid=9267] ppid=9248 vsize=8550340 CPUtime=0 cores=0,2,4,6
/proc/9250/task/9267/stat : 9267 (java) S 9248 9250 9250 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 850276593 8755548160 32317 33554432000 1073741824 1073778376 140733621559488 18446744073709551615 233522114048 0 4 0 16800975 18446604449196446848 0 0 -1 4 0 0 0
[pid=9250/tid=9268] ppid=9248 vsize=8550340 CPUtime=0 cores=0,2,4,6
/proc/9250/task/9268/stat : 9268 (java) S 9248 9250 9250 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 850276628 8755548160 32317 33554432000 1073741824 1073778376 140733621559488 18446744073709551615 233522114048 0 4 0 16800975 18446604449196446848 0 0 -1 2 0 0 0
[pid=9207/tid=9215] ppid=9205 vsize=325876 CPUtime=0.04 cores=0,2,4,6
/proc/9207/task/9215/stat : 9215 (python) S 9205 9207 7805 0 -1 4202560 25 1346 0 0 0 0 4 0 20 0 5 0 850262423 333697024 7636 33554432000 4194304 5683644 140737191121728 18446744073709551615 233522121137 0 0 16781312 33554434 18446604452471805888 0 0 -1 2 0 0 0
[pid=9207/tid=9220] ppid=9205 vsize=325876 CPUtime=0.04 cores=0,2,4,6
/proc/9207/task/9220/stat : 9220 (python) S 9205 9207 7805 0 -1 4202560 30 1346 0 0 0 0 4 0 20 0 5 0 850267137 333697024 7636 33554432000 4194304 5683644 140737191121728 18446744073709551615 233522121137 0 0 16781312 33554434 18446604452471805888 0 0 -1 6 0 0 0
[pid=9207/tid=9225] ppid=9205 vsize=325876 CPUtime=0.04 cores=0,2,4,6
/proc/9207/task/9225/stat : 9225 (python) S 9205 9207 7805 0 -1 4202560 33 1346 0 0 0 0 4 0 20 0 5 0 850271793 333697024 7636 33554432000 4194304 5683644 140737191121728 18446744073709551615 233522121137 0 0 16781312 33554434 18446604452471805888 0 0 -1 4 0 0 0
[pid=9207/tid=9249] ppid=9205 vsize=325876 CPUtime=0.04 cores=0,2,4,6
/proc/9207/task/9249/stat : 9249 (python) S 9205 9207 7805 0 -1 4202560 27 1346 0 0 0 0 4 0 20 0 5 0 850276588 333697024 7636 33554432000 4194304 5683644 140737191121728 18446744073709551615 233522121137 0 0 16781312 33554434 18446604452471805888 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 146.26
Current children cumulated vsize (KiB) 18811956
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 9207 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=575912
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=128980
# CPU time returned by wait4() is 0.704892
# while last known CPU time is 146.26
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 143.483
CPU time (s): 146.26
CPU user time (s): 144.91
CPU system time (s): 1.35
CPU usage (%): 101.935
Max. virtual memory (cumulated for all children) (KiB): 18811956
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.575912
system time used= 0.12898
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15069
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5236
involuntary context switches= 18
runsolver used 0.989849 second user time and 1.85672 second system time
The end