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-3481580-1307578314/watcher-3481580-1307578314 -o /tmp/evaluation-result-3481580-1307578314/solver-3481580-1307578314 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481580-1307578314.opb -seed 1910217087 -budget 1800
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.20 2.12 1.85 2/899 8714
/proc/meminfo: memFree=18788244/32951124 swapFree=33333036/67111528
[pid=8714] ppid=8712 vsize=15384 CPUtime=0 cores=1,3,5,7
/proc/8714/stat : 8714 (python) R 8712 8714 7156 0 -1 4202496 813 0 0 0 0 0 0 0 19 0 1 0 948062172 15753216 698 33554432000 4194304 5683644 140735678134192 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/8714/statm: 3846 698 334 364 0 333 0
[startup+0.0305011 s]
/proc/loadavg: 2.20 2.12 1.85 2/899 8714
/proc/meminfo: memFree=18788244/32951124 swapFree=33333036/67111528
[pid=8714] ppid=8712 vsize=16400 CPUtime=0.01 cores=1,3,5,7
/proc/8714/stat : 8714 (python) R 8712 8714 7156 0 -1 4202496 1160 0 0 0 1 0 0 0 17 0 1 0 948062172 16793600 1025 33554432000 4194304 5683644 140735678134192 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/8714/statm: 4100 1027 413 364 0 587 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16400
[startup+0.100516 s]
/proc/loadavg: 2.20 2.12 1.85 2/899 8714
/proc/meminfo: memFree=18788244/32951124 swapFree=33333036/67111528
[pid=8714] ppid=8712 vsize=85620 CPUtime=0.07 cores=1,3,5,7
/proc/8714/stat : 8714 (python) S 8712 8714 7156 0 -1 4202496 2664 0 0 0 5 2 0 0 17 0 1 0 948062172 87674880 2382 33554432000 4194304 5683644 140735678134192 18446744073709551615 224284923904 0 2147483391 16781312 2 18446744071699199166 0 0 17 5 0 0 0
/proc/8714/statm: 21405 2382 715 364 0 1622 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 85620
[startup+0.300467 s]
/proc/loadavg: 2.20 2.12 1.85 2/899 8714
/proc/meminfo: memFree=18788244/32951124 swapFree=33333036/67111528
[pid=8714] ppid=8712 vsize=123740 CPUtime=0.17 cores=1,3,5,7
/proc/8714/stat : 8714 (python) R 8712 8714 7156 0 -1 4202496 5358 928 1 0 11 6 0 0 16 0 1 0 948062172 126709760 3744 33554432000 4194304 5683644 140735678134192 18446744073709551615 224284921861 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/8714/statm: 30935 3744 987 364 0 2767 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 123740
[startup+0.713427 s]
/proc/loadavg: 2.20 2.12 1.85 2/899 8714
/proc/meminfo: memFree=18788244/32951124 swapFree=33333036/67111528
[pid=8714] ppid=8712 vsize=282536 CPUtime=0.4 cores=1,3,5,7
/proc/8714/stat : 8714 (python) S 8712 8714 7156 0 -1 4202496 9216 928 1 0 29 11 0 0 15 0 1 0 948062172 289316864 6946 33554432000 4194304 5683644 140735678134192 18446744073709551615 224284945935 0 0 16781312 2 1376284358326878208 0 0 17 5 0 0 0
/proc/8714/statm: 70634 6946 1777 364 0 5527 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 282536
[startup+1.50021 s]
/proc/loadavg: 2.20 2.12 1.85 3/900 8722
/proc/meminfo: memFree=18760196/32951124 swapFree=33333036/67111528
[pid=8714] ppid=8712 vsize=296660 CPUtime=0.84 cores=1,3,5,7
/proc/8714/stat : 8714 (python) S 8712 8714 7156 0 -1 4202496 12390 1380 1 0 61 14 8 1 18 0 2 0 948062172 303779840 8024 33554432000 4194304 5683644 140735678134192 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/8714/statm: 74165 8024 1863 364 0 9052 0
Current children cumulated CPU time (s) 0.84
Current children cumulated vsize (KiB) 296660
[startup+3.10098 s]
/proc/loadavg: 2.20 2.12 1.85 3/903 8725
/proc/meminfo: memFree=18686020/32951124 swapFree=33333036/67111528
[pid=8714] ppid=8712 vsize=296660 CPUtime=0.84 cores=1,3,5,7
/proc/8714/stat : 8714 (python) S 8712 8714 7156 0 -1 4202496 12390 1380 1 0 61 14 8 1 18 0 2 0 948062172 303779840 8024 33554432000 4194304 5683644 140735678134192 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/8714/statm: 74165 8024 1863 364 0 9052 0
[pid=8723] ppid=8714 vsize=286416 CPUtime=0 cores=1,3,5,7
/proc/8723/stat : 8723 (python) S 8714 8714 7156 0 -1 4202560 706 0 0 0 0 0 0 0 15 0 1 0 948062282 293289984 6476 33554432000 4194304 5683644 140735678134192 18446744073709551615 224284945935 0 0 16781312 33554946 4657072728845549831 0 0 17 5 0 0 0
/proc/8723/statm: 71604 6476 319 364 0 6491 0
[pid=8725] ppid=8723 vsize=83552 CPUtime=1.99 cores=1,3,5,7
/proc/8725/stat : 8725 (scip-2.0.1.linu) R 8723 8725 8725 0 -1 4202496 19237 0 0 0 182 17 0 0 25 0 1 0 948062282 85557248 18155 33554432000 4194304 13684479 140736356194432 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/8725/statm: 20888 18155 731 2317 0 18566 0
[pid=8714/tid=8724] ppid=8712 vsize=296660 CPUtime=0.09 cores=1,3,5,7
/proc/8714/task/8724/stat : 8724 (python) S 8712 8714 7156 0 -1 4202560 25 1380 0 0 0 0 8 1 18 0 2 0 948062282 303779840 8024 33554432000 4194304 5683644 140735678134192 18446744073709551615 224296749489 0 0 16781312 33554434 18446604468087952384 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.83
Current children cumulated vsize (KiB) 666628
[startup+6.30044 s]
/proc/loadavg: 2.34 2.15 1.86 3/903 8725
/proc/meminfo: memFree=18684936/32951124 swapFree=33333036/67111528
[pid=8714] ppid=8712 vsize=296660 CPUtime=0.84 cores=1,3,5,7
/proc/8714/stat : 8714 (python) S 8712 8714 7156 0 -1 4202496 12390 1380 1 0 61 14 8 1 18 0 2 0 948062172 303779840 8024 33554432000 4194304 5683644 140735678134192 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/8714/statm: 74165 8024 1863 364 0 9052 0
[pid=8723] ppid=8714 vsize=286416 CPUtime=0.01 cores=1,3,5,7
/proc/8723/stat : 8723 (python) S 8714 8714 7156 0 -1 4202560 851 0 0 0 0 1 0 0 15 0 1 0 948062282 293289984 6500 33554432000 4194304 5683644 140735678134192 18446744073709551615 224284945935 0 0 16781312 33554946 4657064413788864775 0 0 17 7 0 0 0
/proc/8723/statm: 71604 6500 343 364 0 6491 0
[pid=8725] ppid=8723 vsize=84816 CPUtime=5.19 cores=1,3,5,7
/proc/8725/stat : 8725 (scip-2.0.1.linu) R 8723 8725 8725 0 -1 4202496 19614 0 0 0 500 19 0 0 25 0 1 0 948062282 86851584 18505 33554432000 4194304 13684479 140736356194432 18446744073709551615 7416002 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/8725/statm: 21204 18505 733 2317 0 18882 0
[pid=8714/tid=8724] ppid=8712 vsize=296660 CPUtime=0.09 cores=1,3,5,7
/proc/8714/task/8724/stat : 8724 (python) S 8712 8714 7156 0 -1 4202560 25 1380 0 0 0 0 8 1 18 0 2 0 948062282 303779840 8024 33554432000 4194304 5683644 140735678134192 18446744073709551615 224296749489 0 0 16781312 33554434 18446604468087952384 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 6.04
Current children cumulated vsize (KiB) 667892
[startup+12.7004 s]
/proc/loadavg: 2.31 2.15 1.86 3/903 8725
/proc/meminfo: memFree=18678884/32951124 swapFree=33333036/67111528
[pid=8714] ppid=8712 vsize=296660 CPUtime=0.84 cores=1,3,5,7
/proc/8714/stat : 8714 (python) S 8712 8714 7156 0 -1 4202496 12390 1380 1 0 61 14 8 1 18 0 2 0 948062172 303779840 8024 33554432000 4194304 5683644 140735678134192 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/8714/statm: 74165 8024 1863 364 0 9052 0
[pid=8723] ppid=8714 vsize=286416 CPUtime=0.05 cores=1,3,5,7
/proc/8723/stat : 8723 (python) S 8714 8714 7156 0 -1 4202560 854 0 0 0 2 3 0 0 15 0 1 0 948062282 293289984 6500 33554432000 4194304 5683644 140735678134192 18446744073709551615 224284945935 0 0 16781312 33554946 5623753486446373781 0 0 17 7 0 0 0
/proc/8723/statm: 71604 6500 343 364 0 6491 0
[pid=8725] ppid=8723 vsize=90588 CPUtime=11.59 cores=1,3,5,7
/proc/8725/stat : 8725 (scip-2.0.1.linu) R 8723 8725 8725 0 -1 4202496 22294 0 0 0 1139 20 0 0 25 0 1 0 948062282 92762112 20051 33554432000 4194304 13684479 140736356194432 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/8725/statm: 22647 20051 738 2317 0 20325 0
[pid=8714/tid=8724] ppid=8712 vsize=296660 CPUtime=0.09 cores=1,3,5,7
/proc/8714/task/8724/stat : 8724 (python) S 8712 8714 7156 0 -1 4202560 25 1380 0 0 0 0 8 1 18 0 2 0 948062282 303779840 8024 33554432000 4194304 5683644 140735678134192 18446744073709551615 224296749489 0 0 16781312 33554434 18446604468087952384 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.48
Current children cumulated vsize (KiB) 673664
[startup+25.5012 s]
/proc/loadavg: 2.32 2.16 1.87 3/903 8725
/proc/meminfo: memFree=18631272/32951124 swapFree=33333036/67111528
[pid=8714] ppid=8712 vsize=296660 CPUtime=0.84 cores=1,3,5,7
/proc/8714/stat : 8714 (python) S 8712 8714 7156 0 -1 4202496 12390 1380 1 0 61 14 8 1 18 0 2 0 948062172 303779840 8024 33554432000 4194304 5683644 140735678134192 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/8714/statm: 74165 8024 1863 364 0 9052 0
[pid=8723] ppid=8714 vsize=286416 CPUtime=0.12 cores=1,3,5,7
/proc/8723/stat : 8723 (python) S 8714 8714 7156 0 -1 4202560 861 0 0 0 5 7 0 0 15 0 1 0 948062282 293289984 6500 33554432000 4194304 5683644 140735678134192 18446744073709551615 224284945935 0 0 16781312 33554946 5623753486446373781 0 0 17 7 0 0 0
/proc/8723/statm: 71604 6500 343 364 0 6491 0
[pid=8725] ppid=8723 vsize=138904 CPUtime=24.39 cores=1,3,5,7
/proc/8725/stat : 8725 (scip-2.0.1.linu) R 8723 8725 8725 0 -1 4202496 34681 0 0 0 2406 33 0 0 25 0 1 0 948062282 142237696 32281 33554432000 4194304 13684479 140736356194432 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/8725/statm: 34726 32281 824 2317 0 32404 0
[pid=8714/tid=8724] ppid=8712 vsize=296660 CPUtime=0.09 cores=1,3,5,7
/proc/8714/task/8724/stat : 8724 (python) S 8712 8714 7156 0 -1 4202560 25 1380 0 0 0 0 8 1 18 0 2 0 948062282 303779840 8024 33554432000 4194304 5683644 140735678134192 18446744073709551615 224296749489 0 0 16781312 33554434 18446604468087952384 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 721980
[startup+51.1009 s]
/proc/loadavg: 2.33 2.18 1.88 3/907 8731
/proc/meminfo: memFree=18558144/32951124 swapFree=33333036/67111528
[pid=8714] ppid=8712 vsize=306916 CPUtime=0.86 cores=1,3,5,7
/proc/8714/stat : 8714 (python) S 8712 8714 7156 0 -1 4202496 13286 1380 1 0 63 14 8 1 20 0 3 0 948062172 314281984 8039 33554432000 4194304 5683644 140735678134192 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/8714/statm: 76729 8039 1874 364 0 11613 0
[pid=8723] ppid=8714 vsize=296660 CPUtime=0.25 cores=1,3,5,7
/proc/8723/stat : 8723 (python) S 8714 8714 7156 0 -1 4202560 1071 0 0 0 11 14 0 0 16 0 2 0 948062282 303779840 6568 33554432000 4194304 5683644 140735678134192 18446744073709551615 224296752587 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/8723/statm: 74165 6568 406 364 0 9052 0
[pid=8725] ppid=8723 vsize=144856 CPUtime=47.09 cores=1,3,5,7
/proc/8725/stat : 8725 (scip-2.0.1.linu) T 8723 8725 8725 0 -1 4202496 36112 0 0 0 4658 51 0 0 25 0 1 0 948062282 148332544 33708 33554432000 4194304 13684479 140736356194432 18446744073709551615 4413038 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/8725/statm: 36214 33708 842 2317 0 33892 0
[pid=8723/tid=8726] ppid=8714 vsize=296660 CPUtime=0 cores=1,3,5,7
/proc/8723/task/8726/stat : 8726 (python) S 8714 8714 7156 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 948066992 303779840 6568 33554432000 4194304 5683644 140735678134192 18446744073709551615 224296749489 0 0 16781312 33554946 18446604466080314432 0 0 -1 7 0 0 0
[pid=8728] ppid=8714 vsize=296672 CPUtime=0 cores=1,3,5,7
/proc/8728/stat : 8728 (python) S 8714 8714 7156 0 -1 4202560 754 0 0 0 0 0 0 0 15 0 1 0 948066995 303792128 6481 33554432000 4194304 5683644 140735678134192 18446744073709551615 224284945990 0 0 16781312 33554946 10957552807321764102 0 0 17 5 0 0 0
/proc/8728/statm: 74168 6481 320 364 0 9052 0
[pid=8731] ppid=8728 vsize=83588 CPUtime=2.87 cores=1,3,5,7
/proc/8731/stat : 8731 (scip-2.0.1.linu) R 8728 8731 8731 0 -1 4202496 22841 0 0 0 269 18 0 0 25 0 1 0 948066995 85594112 16894 33554432000 4194304 15243407 140735409377344 18446744073709551615 8125320 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/8731/statm: 20897 16894 824 2698 0 18192 0
[pid=8714/tid=8724] ppid=8712 vsize=306916 CPUtime=0.09 cores=1,3,5,7
/proc/8714/task/8724/stat : 8724 (python) S 8712 8714 7156 0 -1 4202560 25 1380 0 0 0 0 8 1 18 0 3 0 948062282 314281984 8039 33554432000 4194304 5683644 140735678134192 18446744073709551615 224296749489 0 0 16781312 33554434 18446604468087952384 0 0 -1 5 0 0 0
[pid=8714/tid=8729] ppid=8712 vsize=306916 CPUtime=0.09 cores=1,3,5,7
/proc/8714/task/8729/stat : 8729 (python) S 8712 8714 7156 0 -1 4202560 29 1380 0 0 0 0 8 1 20 0 3 0 948066995 314281984 8039 33554432000 4194304 5683644 140735678134192 18446744073709551615 224296749489 0 0 16781312 33554434 18446604468087952384 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1128692
[startup+102.301 s]
/proc/loadavg: 2.14 2.15 1.88 3/911 8739
/proc/meminfo: memFree=18467092/32951124 swapFree=33333036/67111528
[pid=8714] ppid=8712 vsize=317172 CPUtime=0.88 cores=1,3,5,7
/proc/8714/stat : 8714 (python) S 8712 8714 7156 0 -1 4202496 14193 1380 1 0 65 14 8 1 19 0 4 0 948062172 324784128 8045 33554432000 4194304 5683644 140735678134192 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/8714/statm: 79293 8045 1876 364 0 14174 0
[pid=8723] ppid=8714 vsize=296660 CPUtime=0.25 cores=1,3,5,7
/proc/8723/stat : 8723 (python) S 8714 8714 7156 0 -1 4202560 1071 0 0 0 11 14 0 0 16 0 2 0 948062282 303779840 6568 33554432000 4194304 5683644 140735678134192 18446744073709551615 224296752587 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/8723/statm: 74165 6568 406 364 0 9052 0
[pid=8725] ppid=8723 vsize=144856 CPUtime=47.09 cores=1,3,5,7
/proc/8725/stat : 8725 (scip-2.0.1.linu) T 8723 8725 8725 0 -1 4202496 36112 0 0 0 4658 51 0 0 25 0 1 0 948062282 148332544 33708 33554432000 4194304 13684479 140736356194432 18446744073709551615 4413038 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/8725/statm: 36214 33708 842 2317 0 33892 0
[pid=8723/tid=8726] ppid=8714 vsize=296660 CPUtime=0 cores=1,3,5,7
/proc/8723/task/8726/stat : 8726 (python) S 8714 8714 7156 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 948066992 303779840 6568 33554432000 4194304 5683644 140735678134192 18446744073709551615 224296749489 0 0 16781312 33554946 18446604466080314432 0 0 -1 7 0 0 0
[pid=8728] ppid=8714 vsize=296672 CPUtime=0.24 cores=1,3,5,7
/proc/8728/stat : 8728 (python) S 8714 8714 7156 0 -1 4202560 1164 0 0 0 12 12 0 0 16 0 2 0 948066995 303792128 6559 33554432000 4194304 5683644 140735678134192 18446744073709551615 224296752587 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0
/proc/8728/statm: 74168 6559 397 364 0 9052 0
[pid=8731] ppid=8728 vsize=150348 CPUtime=47.8 cores=1,3,5,7
/proc/8731/stat : 8731 (scip-2.0.1.linu) T 8728 8731 8731 0 -1 4202496 85697 0 0 0 4743 37 0 0 25 0 1 0 948066995 153956352 32837 33554432000 4194304 15243407 140735409377344 18446744073709551615 12374153 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/8731/statm: 37587 32837 934 2698 0 34882 0
[pid=8728/tid=8735] ppid=8714 vsize=296672 CPUtime=0 cores=1,3,5,7
/proc/8728/task/8735/stat : 8735 (python) S 8714 8714 7156 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 948071777 303792128 6559 33554432000 4194304 5683644 140735678134192 18446744073709551615 224296749489 0 0 16781312 33554946 18446604461561476928 0 0 -1 1 0 0 0
[pid=8737] ppid=8714 vsize=306928 CPUtime=0.02 cores=1,3,5,7
/proc/8737/stat : 8737 (python) S 8714 8714 7156 0 -1 4202560 989 0 0 0 1 1 0 0 15 0 1 0 948071780 314294272 6514 33554432000 4194304 5683644 140735678134192 18446744073709551615 224284945990 0 0 16781312 33554946 4294934790 0 0 17 7 0 0 0
/proc/8737/statm: 76732 6514 349 364 0 11613 0
[pid=8739] ppid=8737 vsize=20716 CPUtime=6.22 cores=1,3,5,7
/proc/8739/stat : 8739 (wbo1.4a) R 8737 8739 8739 0 -1 4202496 5307 0 0 0 618 4 0 0 25 0 1 0 948071780 21213184 4727 33554432000 134512640 135751879 4294847216 18446744073709551615 134606320 0 0 16781312 3 0 0 0 17 3 0 0 0
/proc/8739/statm: 5179 4727 146 303 0 4874 0
[pid=8714/tid=8724] ppid=8712 vsize=317172 CPUtime=0.09 cores=1,3,5,7
/proc/8714/task/8724/stat : 8724 (python) S 8712 8714 7156 0 -1 4202560 25 1380 0 0 0 0 8 1 18 0 4 0 948062282 324784128 8045 33554432000 4194304 5683644 140735678134192 18446744073709551615 224296749489 0 0 16781312 33554434 18446604468087952384 0 0 -1 5 0 0 0
[pid=8714/tid=8729] ppid=8712 vsize=317172 CPUtime=0.09 cores=1,3,5,7
/proc/8714/task/8729/stat : 8729 (python) S 8712 8714 7156 0 -1 4202560 29 1380 0 0 0 0 8 1 20 0 4 0 948066995 324784128 8045 33554432000 4194304 5683644 140735678134192 18446744073709551615 224296749489 0 0 16781312 33554434 18446604468087952384 0 0 -1 1 0 0 0
################
# More data... #
################
[pid=8776/tid=8792] ppid=8773 vsize=8532216 CPUtime=0 cores=1,3,5,7
/proc/8776/task/8792/stat : 8792 (java) S 8773 8776 8776 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 18 0 948090899 8736989184 5592 33554432000 1073741824 1073778376 140737096680592 18446744073709551615 224296741785 0 4 0 16800975 18446604454958611456 0 0 -1 7 0 0 0
[pid=8776/tid=8793] ppid=8773 vsize=8532216 CPUtime=0 cores=1,3,5,7
/proc/8776/task/8793/stat : 8793 (java) S 8773 8776 8776 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 948090901 8736989184 5592 33554432000 1073741824 1073778376 140737096680592 18446744073709551615 224296749489 0 4 0 16800975 18446604454958611456 0 0 -1 7 0 0 0
[pid=8776/tid=8795] ppid=8773 vsize=8532216 CPUtime=0.02 cores=1,3,5,7
/proc/8776/task/8795/stat : 8795 (java) R 8773 8776 8776 0 -1 4202560 398 0 0 0 2 0 0 0 17 0 18 0 948090901 8736989184 5592 33554432000 1073741824 1073778376 140737096680592 18446744073709551615 224296741785 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=8776/tid=8796] ppid=8773 vsize=8532216 CPUtime=0 cores=1,3,5,7
/proc/8776/task/8796/stat : 8796 (java) S 8773 8776 8776 0 -1 4202560 493 0 0 0 0 0 0 0 25 0 18 0 948090901 8736989184 5592 33554432000 1073741824 1073778376 140737096680592 18446744073709551615 224296741785 0 4 0 16800975 18446604454958611456 0 0 -1 3 0 0 0
[pid=8776/tid=8798] ppid=8773 vsize=8532216 CPUtime=0 cores=1,3,5,7
/proc/8776/task/8798/stat : 8798 (java) S 8773 8776 8776 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 948090901 8736989184 5592 33554432000 1073741824 1073778376 140737096680592 18446744073709551615 224296741785 0 4 0 16800975 18446604454958611456 0 0 -1 7 0 0 0
[pid=8776/tid=8799] ppid=8773 vsize=8532216 CPUtime=0 cores=1,3,5,7
/proc/8776/task/8799/stat : 8799 (java) S 8773 8776 8776 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 948090901 8736989184 5592 33554432000 1073741824 1073778376 140737096680592 18446744073709551615 224296742400 0 4 0 16800975 18446604454958611456 0 0 -1 3 0 0 0
[pid=8714/tid=8724] ppid=8712 vsize=337684 CPUtime=0.09 cores=1,3,5,7
/proc/8714/task/8724/stat : 8724 (python) S 8712 8714 7156 0 -1 4202560 31 1380 0 0 0 0 8 1 18 0 6 0 948062282 345788416 8057 33554432000 4194304 5683644 140735678134192 18446744073709551615 224296749489 0 0 16781312 33554434 18446604468087952384 0 0 -1 5 0 0 0
[pid=8714/tid=8729] ppid=8712 vsize=337684 CPUtime=0.09 cores=1,3,5,7
/proc/8714/task/8729/stat : 8729 (python) S 8712 8714 7156 0 -1 4202560 33 1380 0 0 0 0 8 1 18 0 6 0 948066995 345788416 8057 33554432000 4194304 5683644 140735678134192 18446744073709551615 224296749489 0 0 16781312 33554434 18446604468087952384 0 0 -1 1 0 0 0
[pid=8714/tid=8738] ppid=8712 vsize=337684 CPUtime=0.09 cores=1,3,5,7
/proc/8714/task/8738/stat : 8738 (python) S 8712 8714 7156 0 -1 4202560 31 1380 0 0 0 0 8 1 20 0 6 0 948071780 345788416 8057 33554432000 4194304 5683644 140735678134192 18446744073709551615 224296749489 0 0 16781312 33554434 18446604468087952384 0 0 -1 1 0 0 0
[pid=8714/tid=8743] ppid=8712 vsize=337684 CPUtime=0.09 cores=1,3,5,7
/proc/8714/task/8743/stat : 8743 (python) S 8712 8714 7156 0 -1 4202560 26 1380 0 0 0 0 8 1 20 0 6 0 948076747 345788416 8057 33554432000 4194304 5683644 140735678134192 18446744073709551615 224296749489 0 0 16781312 33554434 18446604468087952384 0 0 -1 3 0 0 0
[pid=8714/tid=8774] ppid=8712 vsize=337684 CPUtime=0.09 cores=1,3,5,7
/proc/8714/task/8774/stat : 8774 (python) S 8712 8714 7156 0 -1 4202560 29 1380 0 0 0 0 8 1 20 0 6 0 948090896 345788416 8057 33554432000 4194304 5683644 140735678134192 18446744073709551615 224296749489 0 0 16781312 33554434 18446604468087952384 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 290.44
Current children cumulated vsize (KiB) 19454288
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+287.401 s]
/proc/loadavg: 2.00 2.07 1.90 5/954 8799
/proc/meminfo: memFree=17780100/32951124 swapFree=33333036/67111528
[pid=8714] ppid=8712 vsize=337684 CPUtime=0.99 cores=1,3,5,7
/proc/8714/stat : 8714 (python) S 8712 8714 7156 0 -1 4202496 16105 1380 1 0 75 15 8 1 20 0 6 0 948062172 345788416 8057 33554432000 4194304 5683644 140735678134192 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/8714/statm: 84421 8057 1880 364 0 19296 0
[pid=8723] ppid=8714 vsize=296660 CPUtime=0.53 cores=1,3,5,7
/proc/8723/stat : 8723 (python) S 8714 8714 7156 0 -1 4202560 1107 0 0 0 24 29 0 0 15 0 2 0 948062282 303779840 6569 33554432000 4194304 5683644 140735678134192 18446744073709551615 224296752587 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/8723/statm: 74165 6569 407 364 0 9052 0
[pid=8725] ppid=8723 vsize=144856 CPUtime=93.97 cores=1,3,5,7
/proc/8725/stat : 8725 (scip-2.0.1.linu) T 8723 8725 8725 0 -1 4202496 36296 0 0 0 9323 74 0 0 25 0 1 0 948062282 148332544 33890 33554432000 4194304 13684479 140736356194432 18446744073709551615 7361391 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/8725/statm: 36214 33890 842 2317 0 33892 0
[pid=8723/tid=8726] ppid=8714 vsize=296660 CPUtime=0 cores=1,3,5,7
/proc/8723/task/8726/stat : 8726 (python) S 8714 8714 7156 0 -1 4202560 46 0 0 0 0 0 0 0 15 0 2 0 948066992 303779840 6569 33554432000 4194304 5683644 140735678134192 18446744073709551615 224296749489 0 0 16781312 33554946 18446604466080314432 0 0 -1 7 0 0 0
[pid=8728] ppid=8714 vsize=296672 CPUtime=0.53 cores=1,3,5,7
/proc/8728/stat : 8728 (python) S 8714 8714 7156 0 -1 4202560 1206 0 0 0 26 27 0 0 15 0 2 0 948066995 303792128 6559 33554432000 4194304 5683644 140735678134192 18446744073709551615 224296752587 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/8728/statm: 74168 6559 397 364 0 9052 0
[pid=8731] ppid=8728 vsize=150348 CPUtime=95.98 cores=1,3,5,7
/proc/8731/stat : 8731 (scip-2.0.1.linu) T 8728 8731 8731 0 -1 4202496 85704 0 0 0 9551 47 0 0 25 0 1 0 948066995 153956352 32844 33554432000 4194304 15243407 140735409377344 18446744073709551615 8096968 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/8731/statm: 37587 32844 934 2698 0 34882 0
[pid=8728/tid=8735] ppid=8714 vsize=296672 CPUtime=0 cores=1,3,5,7
/proc/8728/task/8735/stat : 8735 (python) S 8714 8714 7156 0 -1 4202560 46 0 0 0 0 0 0 0 15 0 2 0 948071777 303792128 6559 33554432000 4194304 5683644 140735678134192 18446744073709551615 224296749489 0 0 16781312 33554946 18446604461561476928 0 0 -1 1 0 0 0
[pid=8737] ppid=8714 vsize=306928 CPUtime=0.28 cores=1,3,5,7
/proc/8737/stat : 8737 (python) S 8714 8714 7156 0 -1 4202560 1166 0 0 0 14 14 0 0 16 0 2 0 948071780 314294272 6563 33554432000 4194304 5683644 140735678134192 18446744073709551615 224296752587 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/8737/statm: 76732 6563 397 364 0 11613 0
[pid=8739] ppid=8737 vsize=128052 CPUtime=49.64 cores=1,3,5,7
/proc/8739/stat : 8739 (wbo1.4a) T 8737 8739 8739 0 -1 4202496 32132 0 0 0 4943 21 0 0 25 0 1 0 948071780 131125248 31552 33554432000 134512640 135751879 4294847216 18446744073709551615 134516982 0 0 16781312 3 18446744071562691360 0 0 17 3 0 0 0
/proc/8739/statm: 32013 31552 146 303 0 31708 0
[pid=8737/tid=8741] ppid=8714 vsize=306928 CPUtime=0 cores=1,3,5,7
/proc/8737/task/8741/stat : 8741 (python) S 8714 8714 7156 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 948076745 314294272 6563 33554432000 4194304 5683644 140735678134192 18446744073709551615 224296749489 0 0 16781312 33554946 18446604470345609344 0 0 -1 7 0 0 0
[pid=8742] ppid=8714 vsize=317184 CPUtime=0.26 cores=1,3,5,7
/proc/8742/stat : 8742 (python) S 8714 8714 7156 0 -1 4202560 1137 0 0 0 12 14 0 0 17 0 2 0 948076747 324796416 6561 33554432000 4194304 5683644 140735678134192 18446744073709551615 224296752587 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/8742/statm: 79296 6561 391 364 0 14174 0
[pid=8745] ppid=8742 vsize=8616248 CPUtime=48.08 cores=1,3,5,7
/proc/8745/stat : 8745 (java) T 8742 8745 8745 0 -1 4202496 160339 0 1 0 4789 19 0 0 15 0 19 0 948076748 8823037952 140163 33554432000 1073741824 1073778376 140736084581856 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/8745/statm: 2154062 140163 2250 9 0 2144803 0
[pid=8745/tid=8746] ppid=8742 vsize=8616248 CPUtime=46.1 cores=1,3,5,7
/proc/8745/task/8746/stat : 8746 (java) T 8742 8745 8745 0 -1 4202560 125912 0 1 0 4596 14 0 0 25 0 19 0 948076749 8823037952 140163 33554432000 1073741824 1073778376 140736084581856 18446744073709551615 46912505924854 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=8745/tid=8747] ppid=8742 vsize=8616248 CPUtime=0.05 cores=1,3,5,7
/proc/8745/task/8747/stat : 8747 (java) T 8742 8745 8745 0 -1 4202560 3422 0 0 0 5 0 0 0 15 0 19 0 948076749 8823037952 140163 33554432000 1073741824 1073778376 140736084581856 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=8745/tid=8748] ppid=8742 vsize=8616248 CPUtime=0.02 cores=1,3,5,7
/proc/8745/task/8748/stat : 8748 (java) T 8742 8745 8745 0 -1 4202560 1735 0 0 0 2 0 0 0 15 0 19 0 948076749 8823037952 140163 33554432000 1073741824 1073778376 140736084581856 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=8745/tid=8750] ppid=8742 vsize=8616248 CPUtime=0.04 cores=1,3,5,7
/proc/8745/task/8750/stat : 8750 (java) T 8742 8745 8745 0 -1 4202560 2766 0 0 0 4 0 0 0 15 0 19 0 948076749 8823037952 140163 33554432000 1073741824 1073778376 140736084581856 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=8745/tid=8751] ppid=8742 vsize=8616248 CPUtime=0.02 cores=1,3,5,7
/proc/8745/task/8751/stat : 8751 (java) T 8742 8745 8745 0 -1 4202560 2861 0 0 0 2 0 0 0 15 0 19 0 948076749 8823037952 140163 33554432000 1073741824 1073778376 140736084581856 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=8745/tid=8753] ppid=8742 vsize=8616248 CPUtime=0.02 cores=1,3,5,7
/proc/8745/task/8753/stat : 8753 (java) T 8742 8745 8745 0 -1 4202560 1224 0 0 0 2 0 0 0 15 0 19 0 948076749 8823037952 140163 33554432000 1073741824 1073778376 140736084581856 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=8745/tid=8754] ppid=8742 vsize=8616248 CPUtime=0.03 cores=1,3,5,7
/proc/8745/task/8754/stat : 8754 (java) T 8742 8745 8745 0 -1 4202560 1323 0 0 0 3 0 0 0 15 0 19 0 948076749 8823037952 140163 33554432000 1073741824 1073778376 140736084581856 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=8745/tid=8755] ppid=8742 vsize=8616248 CPUtime=0.04 cores=1,3,5,7
/proc/8745/task/8755/stat : 8755 (java) T 8742 8745 8745 0 -1 4202560 4004 0 0 0 4 0 0 0 15 0 19 0 948076749 8823037952 140163 33554432000 1073741824 1073778376 140736084581856 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=8745/tid=8756] ppid=8742 vsize=8616248 CPUtime=0.04 cores=1,3,5,7
/proc/8745/task/8756/stat : 8756 (java) T 8742 8745 8745 0 -1 4202560 3110 0 0 0 4 0 0 0 15 0 19 0 948076749 8823037952 140163 33554432000 1073741824 1073778376 140736084581856 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=8745/tid=8757] ppid=8742 vsize=8616248 CPUtime=0 cores=1,3,5,7
/proc/8745/task/8757/stat : 8757 (java) T 8742 8745 8745 0 -1 4202560 201 0 0 0 0 0 0 0 15 0 19 0 948076750 8823037952 140163 33554432000 1073741824 1073778376 140736084581856 18446744073709551615 224296742400 0 0 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=8745/tid=8758] ppid=8742 vsize=8616248 CPUtime=0 cores=1,3,5,7
/proc/8745/task/8758/stat : 8758 (java) T 8742 8745 8745 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 948076751 8823037952 140163 33554432000 1073741824 1073778376 140736084581856 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=8745/tid=8759] ppid=8742 vsize=8616248 CPUtime=0 cores=1,3,5,7
/proc/8745/task/8759/stat : 8759 (java) T 8742 8745 8745 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 948076751 8823037952 140163 33554432000 1073741824 1073778376 140736084581856 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=8745/tid=8760] ppid=8742 vsize=8616248 CPUtime=0 cores=1,3,5,7
/proc/8745/task/8760/stat : 8760 (java) T 8742 8745 8745 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 948076753 8823037952 140163 33554432000 1073741824 1073778376 140736084581856 18446744073709551615 224296749489 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=8745/tid=8761] ppid=8742 vsize=8616248 CPUtime=0.88 cores=1,3,5,7
/proc/8745/task/8761/stat : 8761 (java) T 8742 8745 8745 0 -1 4202560 6227 0 0 0 88 0 0 0 15 0 19 0 948076753 8823037952 140163 33554432000 1073741824 1073778376 140736084581856 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=8745/tid=8762] ppid=8742 vsize=8616248 CPUtime=0.72 cores=1,3,5,7
/proc/8745/task/8762/stat : 8762 (java) T 8742 8745 8745 0 -1 4202560 6153 0 0 0 72 0 0 0 15 0 19 0 948076753 8823037952 140163 33554432000 1073741824 1073778376 140736084581856 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=8745/tid=8763] ppid=8742 vsize=8616248 CPUtime=0 cores=1,3,5,7
/proc/8745/task/8763/stat : 8763 (java) T 8742 8745 8745 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 948076753 8823037952 140163 33554432000 1073741824 1073778376 140736084581856 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=8745/tid=8764] ppid=8742 vsize=8616248 CPUtime=0 cores=1,3,5,7
/proc/8745/task/8764/stat : 8764 (java) T 8742 8745 8745 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 948076753 8823037952 140163 33554432000 1073741824 1073778376 140736084581856 18446744073709551615 224296742400 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=8745/tid=8766] ppid=8742 vsize=8616248 CPUtime=0 cores=1,3,5,7
/proc/8745/task/8766/stat : 8766 (java) T 8742 8745 8745 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 948076803 8823037952 140163 33554432000 1073741824 1073778376 140736084581856 18446744073709551615 224296742400 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=8742/tid=8769] ppid=8714 vsize=317184 CPUtime=0 cores=1,3,5,7
/proc/8742/task/8769/stat : 8769 (python) S 8714 8714 7156 0 -1 4202560 48 0 0 0 0 0 0 0 17 0 2 0 948081381 324796416 6561 33554432000 4194304 5683644 140735678134192 18446744073709551615 224296749489 0 0 16781312 33554946 18446604467674770240 0 0 -1 7 0 0 0
[pid=8773] ppid=8714 vsize=327440 CPUtime=0 cores=1,3,5,7
/proc/8773/stat : 8773 (python) S 8714 8714 7156 0 -1 4202560 789 0 0 0 0 0 0 0 17 0 1 0 948090896 335298560 6493 33554432000 4194304 5683644 140735678134192 18446744073709551615 224284945990 0 0 16781312 33554946 4125314223792193536 0 0 17 3 0 0 0
/proc/8773/statm: 81860 6493 320 364 0 16735 0
[pid=8776] ppid=8773 vsize=8532216 CPUtime=0.18 cores=1,3,5,7
/proc/8776/stat : 8776 (java) S 8773 8776 8776 0 -1 4202496 6091 0 1 0 17 1 0 0 18 0 18 0 948090896 8736989184 5503 33554432000 1073741824 1073778376 140737096680592 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/8776/statm: 2133054 5503 2153 9 0 2123795 0
[pid=8776/tid=8777] ppid=8773 vsize=8532216 CPUtime=0.15 cores=1,3,5,7
/proc/8776/task/8777/stat : 8777 (java) R 8773 8776 8776 0 -1 4202560 3893 0 1 0 15 0 0 0 25 0 18 0 948090897 8736989184 5587 33554432000 1073741824 1073778376 140737096680592 18446744073709551615 47799075346056 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=8776/tid=8778] ppid=8773 vsize=8532216 CPUtime=0 cores=1,3,5,7
/proc/8776/task/8778/stat : 8778 (java) S 8773 8776 8776 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 948090898 8736989184 5588 33554432000 1073741824 1073778376 140737096680592 18446744073709551615 224296741785 0 4 0 16800975 18446604454958611456 0 0 -1 7 0 0 0
[pid=8776/tid=8780] ppid=8773 vsize=8532216 CPUtime=0 cores=1,3,5,7
/proc/8776/task/8780/stat : 8780 (java) S 8773 8776 8776 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 948090898 8736989184 5588 33554432000 1073741824 1073778376 140737096680592 18446744073709551615 224296741785 0 4 0 16800975 18446604454958611456 0 0 -1 7 0 0 0
[pid=8776/tid=8781] ppid=8773 vsize=8532216 CPUtime=0 cores=1,3,5,7
/proc/8776/task/8781/stat : 8781 (java) S 8773 8776 8776 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 948090898 8736989184 5588 33554432000 1073741824 1073778376 140737096680592 18446744073709551615 224296741785 0 4 0 16800975 18446604454958611456 0 0 -1 7 0 0 0
[pid=8776/tid=8783] ppid=8773 vsize=8532216 CPUtime=0 cores=1,3,5,7
/proc/8776/task/8783/stat : 8783 (java) S 8773 8776 8776 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 948090898 8736989184 5588 33554432000 1073741824 1073778376 140737096680592 18446744073709551615 224296741785 0 4 0 16800975 18446604454958611456 0 0 -1 7 0 0 0
[pid=8776/tid=8784] ppid=8773 vsize=8532216 CPUtime=0 cores=1,3,5,7
/proc/8776/task/8784/stat : 8784 (java) S 8773 8776 8776 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 948090898 8736989184 5588 33554432000 1073741824 1073778376 140737096680592 18446744073709551615 224296741785 0 4 0 16800975 18446604454958611456 0 0 -1 7 0 0 0
[pid=8776/tid=8786] ppid=8773 vsize=8532216 CPUtime=0 cores=1,3,5,7
/proc/8776/task/8786/stat : 8786 (java) S 8773 8776 8776 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 948090898 8736989184 5588 33554432000 1073741824 1073778376 140737096680592 18446744073709551615 224296741785 0 4 0 16800975 18446604454958611456 0 0 -1 7 0 0 0
[pid=8776/tid=8787] ppid=8773 vsize=8532216 CPUtime=0 cores=1,3,5,7
/proc/8776/task/8787/stat : 8787 (java) S 8773 8776 8776 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 948090898 8736989184 5588 33554432000 1073741824 1073778376 140737096680592 18446744073709551615 224296741785 0 4 0 16800975 18446604454958611456 0 0 -1 7 0 0 0
[pid=8776/tid=8788] ppid=8773 vsize=8532216 CPUtime=0 cores=1,3,5,7
/proc/8776/task/8788/stat : 8788 (java) S 8773 8776 8776 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 18 0 948090898 8736989184 5591 33554432000 1073741824 1073778376 140737096680592 18446744073709551615 224296741785 0 4 0 16800975 18446604454958611456 0 0 -1 7 0 0 0
[pid=8776/tid=8789] ppid=8773 vsize=8532216 CPUtime=0 cores=1,3,5,7
/proc/8776/task/8789/stat : 8789 (java) S 8773 8776 8776 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 948090899 8736989184 5592 33554432000 1073741824 1073778376 140737096680592 18446744073709551615 224296742400 0 0 0 16800975 18446604454958611456 0 0 -1 7 0 0 0
[pid=8776/tid=8790] ppid=8773 vsize=8532216 CPUtime=0 cores=1,3,5,7
/proc/8776/task/8790/stat : 8790 (java) S 8773 8776 8776 0 -1 4202560 16 0 0 0 0 0 0 0 21 0 18 0 948090899 8736989184 5592 33554432000 1073741824 1073778376 140737096680592 18446744073709551615 224296741785 0 4 0 16800975 18446604454958611456 0 0 -1 7 0 0 0
[pid=8776/tid=8792] ppid=8773 vsize=8532216 CPUtime=0 cores=1,3,5,7
/proc/8776/task/8792/stat : 8792 (java) S 8773 8776 8776 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 18 0 948090899 8736989184 5592 33554432000 1073741824 1073778376 140737096680592 18446744073709551615 224296741785 0 4 0 16800975 18446604454958611456 0 0 -1 7 0 0 0
[pid=8776/tid=8793] ppid=8773 vsize=8532216 CPUtime=0 cores=1,3,5,7
/proc/8776/task/8793/stat : 8793 (java) S 8773 8776 8776 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 948090901 8736989184 5592 33554432000 1073741824 1073778376 140737096680592 18446744073709551615 224296749489 0 4 0 16800975 18446604454958611456 0 0 -1 7 0 0 0
[pid=8776/tid=8795] ppid=8773 vsize=8532216 CPUtime=0.02 cores=1,3,5,7
/proc/8776/task/8795/stat : 8795 (java) R 8773 8776 8776 0 -1 4202560 398 0 0 0 2 0 0 0 17 0 18 0 948090901 8736989184 5592 33554432000 1073741824 1073778376 140737096680592 18446744073709551615 224296741785 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=8776/tid=8796] ppid=8773 vsize=8532216 CPUtime=0 cores=1,3,5,7
/proc/8776/task/8796/stat : 8796 (java) S 8773 8776 8776 0 -1 4202560 493 0 0 0 0 0 0 0 25 0 18 0 948090901 8736989184 5592 33554432000 1073741824 1073778376 140737096680592 18446744073709551615 224296741785 0 4 0 16800975 18446604454958611456 0 0 -1 3 0 0 0
[pid=8776/tid=8798] ppid=8773 vsize=8532216 CPUtime=0 cores=1,3,5,7
/proc/8776/task/8798/stat : 8798 (java) S 8773 8776 8776 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 948090901 8736989184 5592 33554432000 1073741824 1073778376 140737096680592 18446744073709551615 224296741785 0 4 0 16800975 18446604454958611456 0 0 -1 7 0 0 0
[pid=8776/tid=8799] ppid=8773 vsize=8532216 CPUtime=0 cores=1,3,5,7
/proc/8776/task/8799/stat : 8799 (java) S 8773 8776 8776 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 948090901 8736989184 5592 33554432000 1073741824 1073778376 140737096680592 18446744073709551615 224296742400 0 4 0 16800975 18446604454958611456 0 0 -1 3 0 0 0
[pid=8714/tid=8724] ppid=8712 vsize=337684 CPUtime=0.09 cores=1,3,5,7
/proc/8714/task/8724/stat : 8724 (python) S 8712 8714 7156 0 -1 4202560 31 1380 0 0 0 0 8 1 18 0 6 0 948062282 345788416 8057 33554432000 4194304 5683644 140735678134192 18446744073709551615 224296749489 0 0 16781312 33554434 18446604468087952384 0 0 -1 5 0 0 0
[pid=8714/tid=8729] ppid=8712 vsize=337684 CPUtime=0.09 cores=1,3,5,7
/proc/8714/task/8729/stat : 8729 (python) S 8712 8714 7156 0 -1 4202560 33 1380 0 0 0 0 8 1 18 0 6 0 948066995 345788416 8057 33554432000 4194304 5683644 140735678134192 18446744073709551615 224296749489 0 0 16781312 33554434 18446604468087952384 0 0 -1 1 0 0 0
[pid=8714/tid=8738] ppid=8712 vsize=337684 CPUtime=0.09 cores=1,3,5,7
/proc/8714/task/8738/stat : 8738 (python) S 8712 8714 7156 0 -1 4202560 31 1380 0 0 0 0 8 1 20 0 6 0 948071780 345788416 8057 33554432000 4194304 5683644 140735678134192 18446744073709551615 224296749489 0 0 16781312 33554434 18446604468087952384 0 0 -1 1 0 0 0
[pid=8714/tid=8743] ppid=8712 vsize=337684 CPUtime=0.09 cores=1,3,5,7
/proc/8714/task/8743/stat : 8743 (python) S 8712 8714 7156 0 -1 4202560 26 1380 0 0 0 0 8 1 20 0 6 0 948076747 345788416 8057 33554432000 4194304 5683644 140735678134192 18446744073709551615 224296749489 0 0 16781312 33554434 18446604468087952384 0 0 -1 3 0 0 0
[pid=8714/tid=8774] ppid=8712 vsize=337684 CPUtime=0.09 cores=1,3,5,7
/proc/8714/task/8774/stat : 8774 (python) S 8712 8714 7156 0 -1 4202560 29 1380 0 0 0 0 8 1 20 0 6 0 948090896 345788416 8057 33554432000 4194304 5683644 140735678134192 18446744073709551615 224296749489 0 0 16781312 33554434 18446604468087952384 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 290.44
Current children cumulated vsize (KiB) 19454288
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 8714 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=840872
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=172973
# CPU time returned by wait4() is 1.01384
# while last known CPU time is 290.44
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 287.492
CPU time (s): 290.44
CPU user time (s): 287.82
CPU system time (s): 2.62
CPU usage (%): 101.025
Max. virtual memory (cumulated for all children) (KiB): 19454288
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.840872
system time used= 0.172973
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17940
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= 8525
involuntary context switches= 27
runsolver used 2.38864 second user time and 4.85026 second system time
The end