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-3481209-1307578639/watcher-3481209-1307578639 -o /tmp/evaluation-result-3481209-1307578639/solver-3481209-1307578639 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481209-1307578639.opb -seed 213566018 -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.51 2.31 2.01 3/682 4978
/proc/meminfo: memFree=9165624/32951124 swapFree=67057920/67111528
[pid=4978] ppid=4976 vsize=15908 CPUtime=0 cores=0,2,4,6
/proc/4978/stat : 4978 (python) R 4976 4978 2733 0 -1 4202496 975 0 0 0 0 0 0 0 22 0 1 0 850279305 16289792 849 33554432000 4194304 5683644 140735332590816 18446744073709551615 4773744 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/4978/statm: 3977 850 358 364 0 464 0
[startup+0.0674119 s]
/proc/loadavg: 2.51 2.31 2.01 3/682 4978
/proc/meminfo: memFree=9165624/32951124 swapFree=67057920/67111528
[pid=4978] ppid=4976 vsize=50304 CPUtime=0.05 cores=0,2,4,6
/proc/4978/stat : 4978 (python) R 4976 4978 2733 0 -1 4202496 2007 0 0 0 4 1 0 0 23 0 1 0 850279305 51511296 1766 33554432000 4194304 5683644 140735332590816 18446744073709551615 5114130 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/4978/statm: 12576 1769 480 364 0 1276 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 50304
[startup+0.100403 s]
/proc/loadavg: 2.51 2.31 2.01 3/682 4978
/proc/meminfo: memFree=9165624/32951124 swapFree=67057920/67111528
[pid=4978] ppid=4976 vsize=85360 CPUtime=0.05 cores=0,2,4,6
/proc/4978/stat : 4978 (python) D 4976 4978 2733 0 -1 4202496 2586 0 0 0 4 1 0 0 18 0 1 0 850279305 87408640 2310 33554432000 4194304 5683644 140735332590816 18446744073709551615 254261622327 0 0 16781312 2 18446744071562154983 0 0 17 4 0 0 0
/proc/4978/statm: 21340 2310 709 364 0 1557 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 85360
[startup+0.300386 s]
/proc/loadavg: 2.51 2.31 2.01 3/682 4978
/proc/meminfo: memFree=9165624/32951124 swapFree=67057920/67111528
[pid=4978] ppid=4976 vsize=135808 CPUtime=0.19 cores=0,2,4,6
/proc/4978/stat : 4978 (python) R 4976 4978 2733 0 -1 4202496 5636 931 1 0 14 5 0 0 17 0 1 0 850279305 139067392 3986 33554432000 4194304 5683644 140735332590816 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 4 0 0 5
/proc/4978/statm: 33952 3991 1056 364 0 2959 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 135808
[startup+0.700302 s]
/proc/loadavg: 2.51 2.31 2.01 3/682 4978
/proc/meminfo: memFree=9165624/32951124 swapFree=67057920/67111528
[pid=4978] ppid=4976 vsize=285000 CPUtime=0.55 cores=0,2,4,6
/proc/4978/stat : 4978 (python) R 4976 4978 2733 0 -1 4202496 9994 931 1 0 45 10 0 0 17 0 1 0 850279305 291840000 7642 33554432000 4194304 5683644 140735332590816 18446744073709551615 254265055051 0 0 16781312 33554434 0 0 0 17 4 0 0 5
/proc/4978/statm: 71250 7642 1863 364 0 6140 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 285000
[startup+1.50116 s]
/proc/loadavg: 2.55 2.32 2.01 3/686 4986
/proc/meminfo: memFree=9102600/32951124 swapFree=67057920/67111528
[pid=4978] ppid=4976 vsize=295256 CPUtime=0.56 cores=0,2,4,6
/proc/4978/stat : 4978 (python) S 4976 4978 2733 0 -1 4202496 10218 931 1 0 46 10 0 0 19 0 2 0 850279305 302342144 7653 33554432000 4194304 5683644 140735332590816 18446744073709551615 254273443275 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 5
/proc/4978/statm: 73814 7653 1870 364 0 8701 0
[pid=4984] ppid=4978 vsize=285012 CPUtime=0 cores=0,2,4,6
/proc/4984/stat : 4984 (python) S 4978 4978 2733 0 -1 4202560 758 0 0 0 0 0 0 0 15 0 1 0 850279376 291852288 6131 33554432000 4194304 5683644 140735332590816 18446744073709551615 254261636623 0 0 16781312 33554946 4312929094044975361 0 0 17 4 0 0 0
/proc/4984/statm: 71253 6131 352 364 0 6140 0
[pid=4986] ppid=4984 vsize=49848 CPUtime=0.78 cores=0,2,4,6
/proc/4986/stat : 4986 (scip-2.0.1.linu) R 4984 4986 4986 0 -1 4202496 10708 0 0 0 77 1 0 0 21 0 1 0 850279376 51044352 9933 33554432000 4194304 13684479 140735901510736 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/4986/statm: 12462 9933 793 2317 0 10140 0
[pid=4978/tid=4985] ppid=4976 vsize=295256 CPUtime=0 cores=0,2,4,6
/proc/4978/task/4985/stat : 4985 (python) S 4976 4978 2733 0 -1 4202560 26 931 0 0 0 0 0 0 19 0 2 0 850279376 302342144 7653 33554432000 4194304 5683644 140735332590816 18446744073709551615 254273440177 0 0 16781312 33554434 18446604448355969216 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 630116
[startup+3.1009 s]
/proc/loadavg: 2.55 2.32 2.01 3/686 4987
/proc/meminfo: memFree=9099324/32951124 swapFree=67057920/67111528
[pid=4978] ppid=4976 vsize=295256 CPUtime=0.56 cores=0,2,4,6
/proc/4978/stat : 4978 (python) S 4976 4978 2733 0 -1 4202496 10218 931 1 0 46 10 0 0 19 0 2 0 850279305 302342144 7653 33554432000 4194304 5683644 140735332590816 18446744073709551615 254273443275 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 5
/proc/4978/statm: 73814 7653 1870 364 0 8701 0
[pid=4984] ppid=4978 vsize=285012 CPUtime=0 cores=0,2,4,6
/proc/4984/stat : 4984 (python) S 4978 4978 2733 0 -1 4202560 762 0 0 0 0 0 0 0 15 0 1 0 850279376 291852288 6131 33554432000 4194304 5683644 140735332590816 18446744073709551615 254261636623 0 0 16781312 33554946 1647034118799622144 0 0 17 4 0 0 0
/proc/4984/statm: 71253 6131 352 364 0 6140 0
[pid=4986] ppid=4984 vsize=71452 CPUtime=2.37 cores=0,2,4,6
/proc/4986/stat : 4986 (scip-2.0.1.linu) R 4984 4986 4986 0 -1 4202496 16169 0 0 0 235 2 0 0 19 0 1 0 850279376 73166848 15283 33554432000 4194304 13684479 140735901510736 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/4986/statm: 17863 15283 827 2317 0 15541 0
[pid=4978/tid=4985] ppid=4976 vsize=295256 CPUtime=0 cores=0,2,4,6
/proc/4978/task/4985/stat : 4985 (python) S 4976 4978 2733 0 -1 4202560 26 931 0 0 0 0 0 0 19 0 2 0 850279376 302342144 7653 33554432000 4194304 5683644 140735332590816 18446744073709551615 254273440177 0 0 16781312 33554434 18446604448355969216 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 651720
[startup+6.30033 s]
/proc/loadavg: 2.50 2.32 2.01 3/686 4987
/proc/meminfo: memFree=9081220/32951124 swapFree=67057920/67111528
[pid=4978] ppid=4976 vsize=295256 CPUtime=0.56 cores=0,2,4,6
/proc/4978/stat : 4978 (python) S 4976 4978 2733 0 -1 4202496 10218 931 1 0 46 10 0 0 19 0 2 0 850279305 302342144 7653 33554432000 4194304 5683644 140735332590816 18446744073709551615 254273443275 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 5
/proc/4978/statm: 73814 7653 1870 364 0 8701 0
[pid=4984] ppid=4978 vsize=285012 CPUtime=0.01 cores=0,2,4,6
/proc/4984/stat : 4984 (python) S 4978 4978 2733 0 -1 4202560 989 0 0 0 1 0 0 0 15 0 1 0 850279376 291852288 6160 33554432000 4194304 5683644 140735332590816 18446744073709551615 254261636623 0 0 16781312 33554946 4312928338130731265 0 0 17 4 0 0 0
/proc/4984/statm: 71253 6160 381 364 0 6140 0
[pid=4986] ppid=4984 vsize=71452 CPUtime=5.57 cores=0,2,4,6
/proc/4986/stat : 4986 (scip-2.0.1.linu) R 4984 4986 4986 0 -1 4202496 16174 0 0 0 552 5 0 0 25 0 1 0 850279376 73166848 15283 33554432000 4194304 13684479 140735901510736 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/4986/statm: 17863 15283 822 2317 0 15541 0
[pid=4978/tid=4985] ppid=4976 vsize=295256 CPUtime=0 cores=0,2,4,6
/proc/4978/task/4985/stat : 4985 (python) S 4976 4978 2733 0 -1 4202560 26 931 0 0 0 0 0 0 19 0 2 0 850279376 302342144 7653 33554432000 4194304 5683644 140735332590816 18446744073709551615 254273440177 0 0 16781312 33554434 18446604448355969216 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 651720
[startup+12.7012 s]
/proc/loadavg: 2.46 2.31 2.01 3/686 4987
/proc/meminfo: memFree=9080196/32951124 swapFree=67057920/67111528
[pid=4978] ppid=4976 vsize=295256 CPUtime=0.56 cores=0,2,4,6
/proc/4978/stat : 4978 (python) S 4976 4978 2733 0 -1 4202496 10218 931 1 0 46 10 0 0 19 0 2 0 850279305 302342144 7653 33554432000 4194304 5683644 140735332590816 18446744073709551615 254273443275 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 5
/proc/4978/statm: 73814 7653 1870 364 0 8701 0
[pid=4984] ppid=4978 vsize=285012 CPUtime=0.04 cores=0,2,4,6
/proc/4984/stat : 4984 (python) S 4978 4978 2733 0 -1 4202560 991 0 0 0 2 2 0 0 15 0 1 0 850279376 291852288 6160 33554432000 4194304 5683644 140735332590816 18446744073709551615 254261636623 0 0 16781312 33554946 72556772316949392 0 0 17 6 0 0 0
/proc/4984/statm: 71253 6160 381 364 0 6140 0
[pid=4986] ppid=4984 vsize=71452 CPUtime=11.98 cores=0,2,4,6
/proc/4986/stat : 4986 (scip-2.0.1.linu) R 4984 4986 4986 0 -1 4202496 16174 0 0 0 1186 12 0 0 25 0 1 0 850279376 73166848 15283 33554432000 4194304 13684479 140735901510736 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/4986/statm: 17863 15283 822 2317 0 15541 0
[pid=4978/tid=4985] ppid=4976 vsize=295256 CPUtime=0 cores=0,2,4,6
/proc/4978/task/4985/stat : 4985 (python) S 4976 4978 2733 0 -1 4202560 26 931 0 0 0 0 0 0 19 0 2 0 850279376 302342144 7653 33554432000 4194304 5683644 140735332590816 18446744073709551615 254273440177 0 0 16781312 33554434 18446604448355969216 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 651720
[startup+25.5009 s]
/proc/loadavg: 2.39 2.30 2.01 3/686 4987
/proc/meminfo: memFree=9078820/32951124 swapFree=67057920/67111528
[pid=4978] ppid=4976 vsize=295256 CPUtime=0.56 cores=0,2,4,6
/proc/4978/stat : 4978 (python) S 4976 4978 2733 0 -1 4202496 10218 931 1 0 46 10 0 0 19 0 2 0 850279305 302342144 7653 33554432000 4194304 5683644 140735332590816 18446744073709551615 254273443275 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 5
/proc/4978/statm: 73814 7653 1870 364 0 8701 0
[pid=4984] ppid=4978 vsize=285012 CPUtime=0.1 cores=0,2,4,6
/proc/4984/stat : 4984 (python) S 4978 4978 2733 0 -1 4202560 1001 0 0 0 5 5 0 0 15 0 1 0 850279376 291852288 6160 33554432000 4194304 5683644 140735332590816 18446744073709551615 254261636623 0 0 16781312 33554946 1969598935961960448 0 0 17 4 0 0 0
/proc/4984/statm: 71253 6160 381 364 0 6140 0
[pid=4986] ppid=4984 vsize=71452 CPUtime=24.78 cores=0,2,4,6
/proc/4986/stat : 4986 (scip-2.0.1.linu) R 4984 4986 4986 0 -1 4202496 16175 0 0 0 2454 24 0 0 19 0 1 0 850279376 73166848 15284 33554432000 4194304 13684479 140735901510736 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/4986/statm: 17863 15284 823 2317 0 15541 0
[pid=4978/tid=4985] ppid=4976 vsize=295256 CPUtime=0 cores=0,2,4,6
/proc/4978/task/4985/stat : 4985 (python) S 4976 4978 2733 0 -1 4202560 26 931 0 0 0 0 0 0 19 0 2 0 850279376 302342144 7653 33554432000 4194304 5683644 140735332590816 18446744073709551615 254273440177 0 0 16781312 33554434 18446604448355969216 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 651720
[startup+51.1004 s]
/proc/loadavg: 2.24 2.27 2.01 3/690 4992
/proc/meminfo: memFree=9029028/32951124 swapFree=67057920/67111528
[pid=4978] ppid=4976 vsize=306016 CPUtime=0.58 cores=0,2,4,6
/proc/4978/stat : 4978 (python) S 4976 4978 2733 0 -1 4202496 11145 931 1 0 48 10 0 0 20 0 3 0 850279305 313360384 7786 33554432000 4194304 5683644 140735332590816 18446744073709551615 254273443275 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 5
/proc/4978/statm: 76504 7786 1873 364 0 11388 0
[pid=4984] ppid=4978 vsize=295256 CPUtime=0.23 cores=0,2,4,6
/proc/4984/stat : 4984 (python) S 4978 4978 2733 0 -1 4202560 1147 0 0 0 12 11 0 0 17 0 2 0 850279376 302342144 6196 33554432000 4194304 5683644 140735332590816 18446744073709551615 254273443275 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/4984/statm: 73814 6196 412 364 0 8701 0
[pid=4986] ppid=4984 vsize=71452 CPUtime=48.88 cores=0,2,4,6
/proc/4986/stat : 4986 (scip-2.0.1.linu) T 4984 4986 4986 0 -1 4202496 16237 0 0 0 4842 46 0 0 18 0 1 0 850279376 73166848 15346 33554432000 4194304 13684479 140735901510736 18446744073709551615 4771981 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/4986/statm: 17863 15346 823 2317 0 15541 0
[pid=4984/tid=4989] ppid=4978 vsize=295256 CPUtime=0 cores=0,2,4,6
/proc/4984/task/4989/stat : 4989 (python) S 4978 4978 2733 0 -1 4202560 40 0 0 0 0 0 0 0 17 0 2 0 850284266 302342144 6196 33554432000 4194304 5683644 140735332590816 18446744073709551615 254273440177 0 0 16781312 33554946 18446604442335199424 0 0 -1 6 0 0 0
[pid=4990] ppid=4978 vsize=295772 CPUtime=0 cores=0,2,4,6
/proc/4990/stat : 4990 (python) S 4978 4978 2733 0 -1 4202560 789 0 0 0 0 0 0 0 15 0 1 0 850284268 302870528 6258 33554432000 4194304 5683644 140735332590816 18446744073709551615 254261636678 0 0 16781312 33554946 811923452314255360 0 0 17 0 0 0 0
/proc/4990/statm: 73943 6258 349 364 0 8827 0
[pid=4992] ppid=4990 vsize=55624 CPUtime=1.45 cores=0,2,4,6
/proc/4992/stat : 4992 (scip-2.0.1.linu) R 4990 4992 4992 0 -1 4202496 11781 0 0 0 143 2 0 0 19 0 1 0 850284269 56958976 11109 33554432000 4194304 15243407 140733384006752 18446744073709551615 13197355 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/4992/statm: 13906 11109 893 2698 0 11201 0
[pid=4978/tid=4985] ppid=4976 vsize=306016 CPUtime=0 cores=0,2,4,6
/proc/4978/task/4985/stat : 4985 (python) S 4976 4978 2733 0 -1 4202560 26 931 0 0 0 0 0 0 19 0 3 0 850279376 313360384 7786 33554432000 4194304 5683644 140735332590816 18446744073709551615 254273440177 0 0 16781312 33554434 18446604448355969216 0 0 -1 0 0 0 0
[pid=4978/tid=4991] ppid=4976 vsize=306016 CPUtime=0 cores=0,2,4,6
/proc/4978/task/4991/stat : 4991 (python) S 4976 4978 2733 0 -1 4202560 31 931 0 0 0 0 0 0 20 0 3 0 850284268 313360384 7786 33554432000 4194304 5683644 140735332590816 18446744073709551615 254273440177 0 0 16781312 33554434 18446604448355969216 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 51.14
Current children cumulated vsize (KiB) 1024120
Solver just ended. Dumping a history of the last processes samples
[startup+57.5013 s]
/proc/loadavg: 2.22 2.27 2.01 3/690 4992
/proc/meminfo: memFree=9021836/32951124 swapFree=67057920/67111528
[pid=4978] ppid=4976 vsize=306016 CPUtime=0.58 cores=0,2,4,6
/proc/4978/stat : 4978 (python) S 4976 4978 2733 0 -1 4202496 11145 931 1 0 48 10 0 0 20 0 3 0 850279305 313360384 7786 33554432000 4194304 5683644 140735332590816 18446744073709551615 254273443275 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 5
/proc/4978/statm: 76504 7786 1873 364 0 11388 0
[pid=4984] ppid=4978 vsize=295256 CPUtime=0.23 cores=0,2,4,6
/proc/4984/stat : 4984 (python) S 4978 4978 2733 0 -1 4202560 1147 0 0 0 12 11 0 0 17 0 2 0 850279376 302342144 6196 33554432000 4194304 5683644 140735332590816 18446744073709551615 254273443275 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/4984/statm: 73814 6196 412 364 0 8701 0
[pid=4986] ppid=4984 vsize=71452 CPUtime=48.88 cores=0,2,4,6
/proc/4986/stat : 4986 (scip-2.0.1.linu) T 4984 4986 4986 0 -1 4202496 16237 0 0 0 4842 46 0 0 18 0 1 0 850279376 73166848 15346 33554432000 4194304 13684479 140735901510736 18446744073709551615 4771981 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/4986/statm: 17863 15346 823 2317 0 15541 0
[pid=4984/tid=4989] ppid=4978 vsize=295256 CPUtime=0 cores=0,2,4,6
/proc/4984/task/4989/stat : 4989 (python) S 4978 4978 2733 0 -1 4202560 40 0 0 0 0 0 0 0 17 0 2 0 850284266 302342144 6196 33554432000 4194304 5683644 140735332590816 18446744073709551615 254273440177 0 0 16781312 33554946 18446604442335199424 0 0 -1 6 0 0 0
[pid=4990] ppid=4978 vsize=295772 CPUtime=0.02 cores=0,2,4,6
/proc/4990/stat : 4990 (python) S 4978 4978 2733 0 -1 4202560 926 0 0 0 1 1 0 0 15 0 1 0 850284268 302870528 6282 33554432000 4194304 5683644 140735332590816 18446744073709551615 254261636678 0 0 16781312 33554946 4508559494258589955 0 0 17 0 0 0 0
/proc/4990/statm: 73943 6282 373 364 0 8827 0
[pid=4992] ppid=4990 vsize=57704 CPUtime=7.84 cores=0,2,4,6
/proc/4992/stat : 4992 (scip-2.0.1.linu) R 4990 4992 4992 0 -1 4202496 17614 0 0 0 779 5 0 0 25 0 1 0 850284269 59088896 11751 33554432000 4194304 15243407 140733384006752 18446744073709551615 13354455 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/4992/statm: 14426 11751 947 2698 0 11721 0
[pid=4978/tid=4985] ppid=4976 vsize=306016 CPUtime=0 cores=0,2,4,6
/proc/4978/task/4985/stat : 4985 (python) S 4976 4978 2733 0 -1 4202560 26 931 0 0 0 0 0 0 19 0 3 0 850279376 313360384 7786 33554432000 4194304 5683644 140735332590816 18446744073709551615 254273440177 0 0 16781312 33554434 18446604448355969216 0 0 -1 0 0 0 0
[pid=4978/tid=4991] ppid=4976 vsize=306016 CPUtime=0 cores=0,2,4,6
/proc/4978/task/4991/stat : 4991 (python) S 4976 4978 2733 0 -1 4202560 31 931 0 0 0 0 0 0 20 0 3 0 850284268 313360384 7786 33554432000 4194304 5683644 140735332590816 18446744073709551615 254273440177 0 0 16781312 33554434 18446604448355969216 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 57.55
Current children cumulated vsize (KiB) 1026200
[startup+60.7007 s]
/proc/loadavg: 2.20 2.26 2.00 3/690 4992
/proc/meminfo: memFree=9023120/32951124 swapFree=67057920/67111528
[pid=4978] ppid=4976 vsize=306016 CPUtime=0.58 cores=0,2,4,6
/proc/4978/stat : 4978 (python) S 4976 4978 2733 0 -1 4202496 11145 931 1 0 48 10 0 0 20 0 3 0 850279305 313360384 7786 33554432000 4194304 5683644 140735332590816 18446744073709551615 254273443275 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 5
/proc/4978/statm: 76504 7786 1873 364 0 11388 0
[pid=4984] ppid=4978 vsize=295256 CPUtime=0.23 cores=0,2,4,6
/proc/4984/stat : 4984 (python) S 4978 4978 2733 0 -1 4202560 1147 0 0 0 12 11 0 0 17 0 2 0 850279376 302342144 6196 33554432000 4194304 5683644 140735332590816 18446744073709551615 254273443275 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/4984/statm: 73814 6196 412 364 0 8701 0
[pid=4986] ppid=4984 vsize=71452 CPUtime=48.88 cores=0,2,4,6
/proc/4986/stat : 4986 (scip-2.0.1.linu) T 4984 4986 4986 0 -1 4202496 16237 0 0 0 4842 46 0 0 18 0 1 0 850279376 73166848 15346 33554432000 4194304 13684479 140735901510736 18446744073709551615 4771981 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/4986/statm: 17863 15346 823 2317 0 15541 0
[pid=4984/tid=4989] ppid=4978 vsize=295256 CPUtime=0 cores=0,2,4,6
/proc/4984/task/4989/stat : 4989 (python) S 4978 4978 2733 0 -1 4202560 40 0 0 0 0 0 0 0 17 0 2 0 850284266 302342144 6196 33554432000 4194304 5683644 140735332590816 18446744073709551615 254273440177 0 0 16781312 33554946 18446604442335199424 0 0 -1 6 0 0 0
[pid=4990] ppid=4978 vsize=295772 CPUtime=0.05 cores=0,2,4,6
/proc/4990/stat : 4990 (python) S 4978 4978 2733 0 -1 4202560 927 0 0 0 3 2 0 0 15 0 1 0 850284268 302870528 6282 33554432000 4194304 5683644 140735332590816 18446744073709551615 254261636678 0 0 16781312 33554946 3145444759791730688 0 0 17 0 0 0 0
/proc/4990/statm: 73943 6282 373 364 0 8827 0
[pid=4992] ppid=4990 vsize=57696 CPUtime=11.04 cores=0,2,4,6
/proc/4992/stat : 4992 (scip-2.0.1.linu) R 4990 4992 4992 0 -1 4202496 19539 0 0 0 1096 8 0 0 25 0 1 0 850284269 59080704 11334 33554432000 4194304 15243407 140733384006752 18446744073709551615 8149258 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/4992/statm: 14424 11334 947 2698 0 11719 0
[pid=4978/tid=4985] ppid=4976 vsize=306016 CPUtime=0 cores=0,2,4,6
/proc/4978/task/4985/stat : 4985 (python) S 4976 4978 2733 0 -1 4202560 26 931 0 0 0 0 0 0 19 0 3 0 850279376 313360384 7786 33554432000 4194304 5683644 140735332590816 18446744073709551615 254273440177 0 0 16781312 33554434 18446604448355969216 0 0 -1 0 0 0 0
[pid=4978/tid=4991] ppid=4976 vsize=306016 CPUtime=0 cores=0,2,4,6
/proc/4978/task/4991/stat : 4991 (python) S 4976 4978 2733 0 -1 4202560 31 931 0 0 0 0 0 0 20 0 3 0 850284268 313360384 7786 33554432000 4194304 5683644 140735332590816 18446744073709551615 254273440177 0 0 16781312 33554434 18446604448355969216 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 60.78
Current children cumulated vsize (KiB) 1026192
[startup+61.5006 s]
/proc/loadavg: 2.20 2.26 2.00 3/690 4992
/proc/meminfo: memFree=9022996/32951124 swapFree=67057920/67111528
[pid=4978] ppid=4976 vsize=306016 CPUtime=0.58 cores=0,2,4,6
/proc/4978/stat : 4978 (python) S 4976 4978 2733 0 -1 4202496 11145 931 1 0 48 10 0 0 20 0 3 0 850279305 313360384 7786 33554432000 4194304 5683644 140735332590816 18446744073709551615 254273443275 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 5
/proc/4978/statm: 76504 7786 1873 364 0 11388 0
[pid=4984] ppid=4978 vsize=295256 CPUtime=0.23 cores=0,2,4,6
/proc/4984/stat : 4984 (python) S 4978 4978 2733 0 -1 4202560 1147 0 0 0 12 11 0 0 17 0 2 0 850279376 302342144 6196 33554432000 4194304 5683644 140735332590816 18446744073709551615 254273443275 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/4984/statm: 73814 6196 412 364 0 8701 0
[pid=4986] ppid=4984 vsize=71452 CPUtime=48.88 cores=0,2,4,6
/proc/4986/stat : 4986 (scip-2.0.1.linu) T 4984 4986 4986 0 -1 4202496 16237 0 0 0 4842 46 0 0 18 0 1 0 850279376 73166848 15346 33554432000 4194304 13684479 140735901510736 18446744073709551615 4771981 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/4986/statm: 17863 15346 823 2317 0 15541 0
[pid=4984/tid=4989] ppid=4978 vsize=295256 CPUtime=0 cores=0,2,4,6
/proc/4984/task/4989/stat : 4989 (python) S 4978 4978 2733 0 -1 4202560 40 0 0 0 0 0 0 0 17 0 2 0 850284266 302342144 6196 33554432000 4194304 5683644 140735332590816 18446744073709551615 254273440177 0 0 16781312 33554946 18446604442335199424 0 0 -1 6 0 0 0
[pid=4990] ppid=4978 vsize=295772 CPUtime=0.05 cores=0,2,4,6
/proc/4990/stat : 4990 (python) S 4978 4978 2733 0 -1 4202560 927 0 0 0 3 2 0 0 15 0 1 0 850284268 302870528 6282 33554432000 4194304 5683644 140735332590816 18446744073709551615 254261636678 0 0 16781312 33554946 3145444759791730688 0 0 17 0 0 0 0
/proc/4990/statm: 73943 6282 373 364 0 8827 0
[pid=4992] ppid=4990 vsize=56220 CPUtime=11.85 cores=0,2,4,6
/proc/4992/stat : 4992 (scip-2.0.1.linu) R 4990 4992 4992 0 -1 4202496 20688 0 0 0 1176 9 0 0 25 0 1 0 850284269 57569280 11335 33554432000 4194304 15243407 140733384006752 18446744073709551615 13354455 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/4992/statm: 14055 11335 947 2698 0 11350 0
[pid=4978/tid=4985] ppid=4976 vsize=306016 CPUtime=0 cores=0,2,4,6
/proc/4978/task/4985/stat : 4985 (python) S 4976 4978 2733 0 -1 4202560 26 931 0 0 0 0 0 0 19 0 3 0 850279376 313360384 7786 33554432000 4194304 5683644 140735332590816 18446744073709551615 254273440177 0 0 16781312 33554434 18446604448355969216 0 0 -1 0 0 0 0
[pid=4978/tid=4991] ppid=4976 vsize=306016 CPUtime=0 cores=0,2,4,6
/proc/4978/task/4991/stat : 4991 (python) S 4976 4978 2733 0 -1 4202560 31 931 0 0 0 0 0 0 20 0 3 0 850284268 313360384 7786 33554432000 4194304 5683644 140735332590816 18446744073709551615 254273440177 0 0 16781312 33554434 18446604448355969216 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 61.59
Current children cumulated vsize (KiB) 1024716
[startup+61.9005 s]
/proc/loadavg: 2.20 2.26 2.00 3/690 4992
/proc/meminfo: memFree=9022996/32951124 swapFree=67057920/67111528
[pid=4978] ppid=4976 vsize=306016 CPUtime=0.58 cores=0,2,4,6
/proc/4978/stat : 4978 (python) S 4976 4978 2733 0 -1 4202496 11145 931 1 0 48 10 0 0 20 0 3 0 850279305 313360384 7786 33554432000 4194304 5683644 140735332590816 18446744073709551615 254273443275 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 5
/proc/4978/statm: 76504 7786 1873 364 0 11388 0
[pid=4984] ppid=4978 vsize=295256 CPUtime=0.23 cores=0,2,4,6
/proc/4984/stat : 4984 (python) S 4978 4978 2733 0 -1 4202560 1147 0 0 0 12 11 0 0 17 0 2 0 850279376 302342144 6196 33554432000 4194304 5683644 140735332590816 18446744073709551615 254273443275 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/4984/statm: 73814 6196 412 364 0 8701 0
[pid=4986] ppid=4984 vsize=71452 CPUtime=48.88 cores=0,2,4,6
/proc/4986/stat : 4986 (scip-2.0.1.linu) T 4984 4986 4986 0 -1 4202496 16237 0 0 0 4842 46 0 0 18 0 1 0 850279376 73166848 15346 33554432000 4194304 13684479 140735901510736 18446744073709551615 4771981 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/4986/statm: 17863 15346 823 2317 0 15541 0
[pid=4984/tid=4989] ppid=4978 vsize=295256 CPUtime=0 cores=0,2,4,6
/proc/4984/task/4989/stat : 4989 (python) S 4978 4978 2733 0 -1 4202560 40 0 0 0 0 0 0 0 17 0 2 0 850284266 302342144 6196 33554432000 4194304 5683644 140735332590816 18446744073709551615 254273440177 0 0 16781312 33554946 18446604442335199424 0 0 -1 6 0 0 0
[pid=4990] ppid=4978 vsize=295772 CPUtime=0.05 cores=0,2,4,6
/proc/4990/stat : 4990 (python) S 4978 4978 2733 0 -1 4202560 927 0 0 0 3 2 0 0 15 0 1 0 850284268 302870528 6282 33554432000 4194304 5683644 140735332590816 18446744073709551615 254261636678 0 0 16781312 33554946 490107303786184704 0 0 17 0 0 0 0
/proc/4990/statm: 73943 6282 373 364 0 8827 0
[pid=4992] ppid=4990 vsize=58260 CPUtime=12.23 cores=0,2,4,6
/proc/4992/stat : 4992 (scip-2.0.1.linu) R 4990 4992 4992 0 -1 4202496 22205 0 0 0 1214 9 0 0 25 0 1 0 850284269 59658240 11348 33554432000 4194304 15243407 140733384006752 18446744073709551615 13354455 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/4992/statm: 14565 11348 947 2698 0 11860 0
[pid=4978/tid=4985] ppid=4976 vsize=306016 CPUtime=0 cores=0,2,4,6
/proc/4978/task/4985/stat : 4985 (python) S 4976 4978 2733 0 -1 4202560 26 931 0 0 0 0 0 0 19 0 3 0 850279376 313360384 7786 33554432000 4194304 5683644 140735332590816 18446744073709551615 254273440177 0 0 16781312 33554434 18446604448355969216 0 0 -1 0 0 0 0
[pid=4978/tid=4991] ppid=4976 vsize=306016 CPUtime=0 cores=0,2,4,6
/proc/4978/task/4991/stat : 4991 (python) S 4976 4978 2733 0 -1 4202560 31 931 0 0 0 0 0 0 20 0 3 0 850284268 313360384 7786 33554432000 4194304 5683644 140735332590816 18446744073709551615 254273440177 0 0 16781312 33554434 18446604448355969216 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 61.97
Current children cumulated vsize (KiB) 1026756
[startup+62.1005 s]
/proc/loadavg: 2.20 2.26 2.00 3/690 4992
/proc/meminfo: memFree=9022996/32951124 swapFree=67057920/67111528
[pid=4978] ppid=4976 vsize=306016 CPUtime=0.58 cores=0,2,4,6
/proc/4978/stat : 4978 (python) S 4976 4978 2733 0 -1 4202496 11145 931 1 0 48 10 0 0 20 0 3 0 850279305 313360384 7786 33554432000 4194304 5683644 140735332590816 18446744073709551615 254273443275 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 5
/proc/4978/statm: 76504 7786 1873 364 0 11388 0
[pid=4984] ppid=4978 vsize=295256 CPUtime=0.23 cores=0,2,4,6
/proc/4984/stat : 4984 (python) S 4978 4978 2733 0 -1 4202560 1147 0 0 0 12 11 0 0 17 0 2 0 850279376 302342144 6196 33554432000 4194304 5683644 140735332590816 18446744073709551615 254273443275 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/4984/statm: 73814 6196 412 364 0 8701 0
[pid=4986] ppid=4984 vsize=71452 CPUtime=48.88 cores=0,2,4,6
/proc/4986/stat : 4986 (scip-2.0.1.linu) T 4984 4986 4986 0 -1 4202496 16237 0 0 0 4842 46 0 0 18 0 1 0 850279376 73166848 15346 33554432000 4194304 13684479 140735901510736 18446744073709551615 4771981 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/4986/statm: 17863 15346 823 2317 0 15541 0
[pid=4984/tid=4989] ppid=4978 vsize=295256 CPUtime=0 cores=0,2,4,6
/proc/4984/task/4989/stat : 4989 (python) S 4978 4978 2733 0 -1 4202560 40 0 0 0 0 0 0 0 17 0 2 0 850284266 302342144 6196 33554432000 4194304 5683644 140735332590816 18446744073709551615 254273440177 0 0 16781312 33554946 18446604442335199424 0 0 -1 6 0 0 0
[pid=4990] ppid=4978 vsize=295772 CPUtime=0.06 cores=0,2,4,6
/proc/4990/stat : 4990 (python) S 4978 4978 2733 0 -1 4202560 946 0 0 0 4 2 0 0 15 0 1 0 850284268 302870528 6282 33554432000 4194304 5683644 140735332590816 18446744073709551615 254261636678 0 0 16781312 33554946 1911490553887850496 0 0 17 0 0 0 0
/proc/4990/statm: 73943 6282 373 364 0 8827 0
[pid=4992] ppid=4990 vsize=56376 CPUtime=12.42 cores=0,2,4,6
/proc/4992/stat : 4992 (scip-2.0.1.linu) R 4990 4992 4992 0 -1 4202496 22872 0 0 0 1233 9 0 0 25 0 1 0 850284269 57729024 11340 33554432000 4194304 15243407 140733384006752 18446744073709551615 6711865 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/4992/statm: 14094 11340 948 2698 0 11389 0
[pid=4978/tid=4985] ppid=4976 vsize=306016 CPUtime=0 cores=0,2,4,6
/proc/4978/task/4985/stat : 4985 (python) S 4976 4978 2733 0 -1 4202560 26 931 0 0 0 0 0 0 19 0 3 0 850279376 313360384 7786 33554432000 4194304 5683644 140735332590816 18446744073709551615 254273440177 0 0 16781312 33554434 18446604448355969216 0 0 -1 0 0 0 0
[pid=4978/tid=4991] ppid=4976 vsize=306016 CPUtime=0 cores=0,2,4,6
/proc/4978/task/4991/stat : 4991 (python) S 4976 4978 2733 0 -1 4202560 31 931 0 0 0 0 0 0 20 0 3 0 850284268 313360384 7786 33554432000 4194304 5683644 140735332590816 18446744073709551615 254273440177 0 0 16781312 33554434 18446604448355969216 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 62.17
Current children cumulated vsize (KiB) 1024872
Child status: 0
Real time (s): 62.1511
CPU time (s): 62.2845
CPU user time (s): 61.4477
CPU system time (s): 0.836872
CPU usage (%): 100.215
Max. virtual memory (cumulated for all children) (KiB): 1027100
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 61.4477
system time used= 0.836872
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 58919
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= 1858
involuntary context switches= 818
runsolver used 0.318951 second user time and 0.715891 second system time
The end