0.00/0.00 c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: a3bf3a4-dirty]
0.00/0.00 c Copyright (c) 2002-2012 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3691376-1338027441.opb>
2.29/2.36 c original problem has 400896 variables (400896 bin, 0 int, 0 impl, 0 cont) and 402763 constraints
2.29/2.36 c problem read in 2.36
6.89/6.96 c presolving:
12.49/12.58 c (round 1) 0 del vars, 1977 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 398809 upgd conss, 67806 impls, 1977 clqs
14.39/14.43 c (round 2) 0 del vars, 1977 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 400786 upgd conss, 67806 impls, 1977 clqs
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3691376-1338027441/watcher-3691376-1338027441 -o /tmp/evaluation-result-3691376-1338027441/solver-3691376-1338027441 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3691376-1338027441.opb -t 1800 -m 15500
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.02 2.01 2.00 3/176 21897
/proc/meminfo: memFree=24265168/32873844 swapFree=7364/7364
[pid=21897] ppid=21895 vsize=10716 CPUtime=0 cores=1,3,5,7
/proc/21897/stat : 21897 (scip-2.1.1.4fix) R 21895 21897 21011 0 -1 4202496 1408 0 0 0 0 0 0 0 20 0 1 0 268870239 10973184 1363 33554432000 4194304 10173063 140736095590208 140734257058728 7545739 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21897/statm: 2679 1371 408 1460 0 1210 0
[startup+0.0727481 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 21897
/proc/meminfo: memFree=24265168/32873844 swapFree=7364/7364
[pid=21897] ppid=21895 vsize=36508 CPUtime=0.06 cores=1,3,5,7
/proc/21897/stat : 21897 (scip-2.1.1.4fix) R 21895 21897 21011 0 -1 4202496 7881 0 0 0 5 1 0 0 20 0 1 0 268870239 37384192 7836 33554432000 4194304 10173063 140736095590208 140734257058728 5285019 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21897/statm: 9127 7836 416 1460 0 7658 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 36508
[startup+0.100457 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 21897
/proc/meminfo: memFree=24265168/32873844 swapFree=7364/7364
[pid=21897] ppid=21895 vsize=43400 CPUtime=0.09 cores=1,3,5,7
/proc/21897/stat : 21897 (scip-2.1.1.4fix) R 21895 21897 21011 0 -1 4202496 9606 0 0 0 8 1 0 0 20 0 1 0 268870239 44441600 9561 33554432000 4194304 10173063 140736095590208 140734257058728 7545739 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21897/statm: 10850 9561 416 1460 0 9381 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 43400
[startup+0.300359 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 21897
/proc/meminfo: memFree=24265168/32873844 swapFree=7364/7364
[pid=21897] ppid=21895 vsize=79544 CPUtime=0.29 cores=1,3,5,7
/proc/21897/stat : 21897 (scip-2.1.1.4fix) R 21895 21897 21011 0 -1 4202496 18653 0 0 0 26 3 0 0 20 0 1 0 268870239 81453056 18608 33554432000 4194304 10173063 140736095590208 140736095455384 5474314 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21897/statm: 19886 18608 416 1460 0 18417 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 79544
[startup+0.700379 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 21897
/proc/meminfo: memFree=24265168/32873844 swapFree=7364/7364
[pid=21897] ppid=21895 vsize=180924 CPUtime=0.69 cores=1,3,5,7
/proc/21897/stat : 21897 (scip-2.1.1.4fix) R 21895 21897 21011 0 -1 4202496 43830 0 0 0 61 8 0 0 20 0 1 0 268870239 185266176 43788 33554432000 4194304 10173063 140736095590208 140736095455384 7545739 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21897/statm: 45231 43823 416 1460 0 43762 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 180924
[startup+1.50037 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 21898
/proc/meminfo: memFree=24020772/32873844 swapFree=7364/7364
[pid=21897] ppid=21895 vsize=362564 CPUtime=1.49 cores=1,3,5,7
/proc/21897/stat : 21897 (scip-2.1.1.4fix) R 21895 21897 21011 0 -1 4202496 89097 0 0 0 132 17 0 0 20 0 1 0 268870239 371265536 89054 33554432000 4194304 10173063 140736095590208 140736095455384 8801789 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21897/statm: 90641 89089 416 1460 0 89172 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 362564
[startup+3.10039 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 21898
/proc/meminfo: memFree=23840212/32873844 swapFree=7364/7364
[pid=21897] ppid=21895 vsize=856952 CPUtime=3.09 cores=1,3,5,7
/proc/21897/stat : 21897 (scip-2.1.1.4fix) R 21895 21897 21011 0 -1 4202496 212697 0 0 0 272 37 0 0 20 0 1 0 268870239 877518848 212600 33554432000 4194304 10173063 140736095590208 140736095455496 7545739 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21897/statm: 214238 212648 467 1460 0 212769 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 856952
[startup+6.30039 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 21898
/proc/meminfo: memFree=23202912/32873844 swapFree=7364/7364
[pid=21897] ppid=21895 vsize=1270644 CPUtime=6.28 cores=1,3,5,7
/proc/21897/stat : 21897 (scip-2.1.1.4fix) R 21895 21897 21011 0 -1 4202496 315438 0 0 0 574 54 0 0 20 0 1 0 268870239 1301139456 315848 33554432000 4194304 10173063 140736095590208 140736095585944 7545739 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21897/statm: 317661 315848 514 1460 0 316192 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1270644
[startup+12.7005 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 21898
/proc/meminfo: memFree=22665292/32873844 swapFree=7364/7364
[pid=21897] ppid=21895 vsize=1632120 CPUtime=12.69 cores=1,3,5,7
/proc/21897/stat : 21897 (scip-2.1.1.4fix) R 21895 21897 21011 0 -1 4202496 461089 0 0 0 1154 115 0 0 20 0 1 0 268870239 1671290880 404847 33554432000 4194304 10173063 140736095590208 140736095586264 7438996 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21897/statm: 408030 404847 579 1460 0 406561 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1632120
[startup+25.5005 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 21898
/proc/meminfo: memFree=22376268/32873844 swapFree=7364/7364
[pid=21897] ppid=21895 vsize=1903020 CPUtime=25.48 cores=1,3,5,7
/proc/21897/stat : 21897 (scip-2.1.1.4fix) R 21895 21897 21011 0 -1 4202496 508762 0 0 0 2401 147 0 0 20 0 1 0 268870239 1948692480 471565 33554432000 4194304 10173063 140736095590208 140736095585704 8925006 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21897/statm: 475755 471565 615 1460 0 474286 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1903020
[startup+51.1005 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 21898
/proc/meminfo: memFree=22361028/32873844 swapFree=7364/7364
[pid=21897] ppid=21895 vsize=1910444 CPUtime=51.08 cores=1,3,5,7
/proc/21897/stat : 21897 (scip-2.1.1.4fix) R 21895 21897 21011 0 -1 4202496 510035 0 0 0 4961 147 0 0 20 0 1 0 268870239 1956294656 473349 33554432000 4194304 10173063 140736095590208 140736095585608 8925047 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21897/statm: 477611 473349 615 1460 0 476142 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1910444
[startup+102.308 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21899
/proc/meminfo: memFree=22354500/32873844 swapFree=7364/7364
[pid=21897] ppid=21895 vsize=1913836 CPUtime=102.29 cores=1,3,5,7
/proc/21897/stat : 21897 (scip-2.1.1.4fix) R 21895 21897 21011 0 -1 4202496 510904 0 0 0 10081 148 0 0 20 0 1 0 268870239 1959768064 474218 33554432000 4194304 10173063 140736095590208 140736095586584 8925042 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21897/statm: 478459 474218 615 1460 0 476990 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 1913836
[startup+162.301 s]
/proc/loadavg: 2.06 2.02 2.00 3/178 21902
/proc/meminfo: memFree=20990308/32873844 swapFree=7364/7364
[pid=21897] ppid=21895 vsize=3307624 CPUtime=162.26 cores=1,3,5,7
/proc/21897/stat : 21897 (scip-2.1.1.4fix) R 21895 21897 21011 0 -1 4202496 832294 0 0 0 16023 203 0 0 20 0 1 0 268870239 3387006976 812948 33554432000 4194304 10173063 140736095590208 140736095585640 8925057 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21897/statm: 826906 812948 615 1460 0 825437 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 3307624
[startup+222.301 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 21902
/proc/meminfo: memFree=20988500/32873844 swapFree=7364/7364
[pid=21897] ppid=21895 vsize=3308648 CPUtime=222.25 cores=1,3,5,7
/proc/21897/stat : 21897 (scip-2.1.1.4fix) R 21895 21897 21011 0 -1 4202496 832665 0 0 0 22022 203 0 0 20 0 1 0 268870239 3388055552 813319 33554432000 4194304 10173063 140736095590208 140736095585320 8925052 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21897/statm: 827162 813319 615 1460 0 825693 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 3308648
[startup+282.301 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 21902
/proc/meminfo: memFree=20986420/32873844 swapFree=7364/7364
[pid=21897] ppid=21895 vsize=3309672 CPUtime=282.24 cores=1,3,5,7
/proc/21897/stat : 21897 (scip-2.1.1.4fix) R 21895 21897 21011 0 -1 4202496 833058 0 0 0 28021 203 0 0 20 0 1 0 268870239 3389104128 813712 33554432000 4194304 10173063 140736095590208 140736095585320 8925047 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21897/statm: 827418 813712 615 1460 0 825949 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 3309672
[startup+342.301 s]
/proc/loadavg: 2.11 2.04 2.01 3/177 21902
/proc/meminfo: memFree=20984588/32873844 swapFree=7364/7364
[pid=21897] ppid=21895 vsize=3309672 CPUtime=342.24 cores=1,3,5,7
/proc/21897/stat : 21897 (scip-2.1.1.4fix) R 21895 21897 21011 0 -1 4202496 833168 0 0 0 34020 204 0 0 20 0 1 0 268870239 3389104128 813822 33554432000 4194304 10173063 140736095590208 140736095585320 8925042 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21897/statm: 827418 813822 615 1460 0 825949 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 3309672
[startup+402.301 s]
/proc/loadavg: 2.09 2.05 2.01 3/176 21902
/proc/meminfo: memFree=20982268/32873844 swapFree=7364/7364
[pid=21897] ppid=21895 vsize=3309672 CPUtime=402.23 cores=1,3,5,7
/proc/21897/stat : 21897 (scip-2.1.1.4fix) R 21895 21897 21011 0 -1 4202496 833282 0 0 0 40019 204 0 0 20 0 1 0 268870239 3389104128 813936 33554432000 4194304 10173063 140736095590208 140736095585320 8925047 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21897/statm: 827418 813936 615 1460 0 825949 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 3309672
[startup+462.301 s]
/proc/loadavg: 2.08 2.05 2.01 3/177 21903
/proc/meminfo: memFree=20974264/32873844 swapFree=7364/7364
[pid=21897] ppid=21895 vsize=3310696 CPUtime=462.22 cores=1,3,5,7
/proc/21897/stat : 21897 (scip-2.1.1.4fix) R 21895 21897 21011 0 -1 4202496 833648 0 0 0 46018 204 0 0 20 0 1 0 268870239 3390152704 814302 33554432000 4194304 10173063 140736095590208 140736095585320 8925047 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21897/statm: 827674 814302 615 1460 0 826205 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 3310696
[startup+522.301 s]
/proc/loadavg: 2.03 2.04 2.00 3/177 21903
/proc/meminfo: memFree=20960740/32873844 swapFree=7364/7364
[pid=21897] ppid=21895 vsize=3312744 CPUtime=522.21 cores=1,3,5,7
/proc/21897/stat : 21897 (scip-2.1.1.4fix) R 21895 21897 21011 0 -1 4202496 834270 0 0 0 52017 204 0 0 20 0 1 0 268870239 3392249856 814924 33554432000 4194304 10173063 140736095590208 140736095585320 8925057 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21897/statm: 828186 814924 615 1460 0 826717 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 3312744
[startup+582.301 s]
/proc/loadavg: 2.05 2.05 2.00 3/177 21904
/proc/meminfo: memFree=20957924/32873844 swapFree=7364/7364
[pid=21897] ppid=21895 vsize=3312744 CPUtime=582.2 cores=1,3,5,7
/proc/21897/stat : 21897 (scip-2.1.1.4fix) R 21895 21897 21011 0 -1 4202496 834382 0 0 0 58016 204 0 0 20 0 1 0 268870239 3392249856 815036 33554432000 4194304 10173063 140736095590208 140736095585320 8925032 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21897/statm: 828186 815036 615 1460 0 826717 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 3312744
[startup+642.3 s]
################
# More data... #
################
/proc/21897/stat : 21897 (scip-2.1.1.4fix) R 21895 21897 21011 0 -1 4202496 835948 0 0 0 100008 205 0 0 20 0 1 0 268870239 3395063808 816569 33554432000 4194304 10173063 140736095590208 140736095585320 8925032 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21897/statm: 828873 816569 615 1460 0 827404 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 3315492
[startup+1062.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 21909
/proc/meminfo: memFree=20940864/32873844 swapFree=7364/7364
[pid=21897] ppid=21895 vsize=3315492 CPUtime=1062.12 cores=1,3,5,7
/proc/21897/stat : 21897 (scip-2.1.1.4fix) R 21895 21897 21011 0 -1 4202496 836062 0 0 0 106007 205 0 0 20 0 1 0 268870239 3395063808 816683 33554432000 4194304 10173063 140736095590208 140736095585320 8925047 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21897/statm: 828873 816683 615 1460 0 827404 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 3315492
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 21909
/proc/meminfo: memFree=20939404/32873844 swapFree=7364/7364
[pid=21897] ppid=21895 vsize=3316516 CPUtime=1122.12 cores=1,3,5,7
/proc/21897/stat : 21897 (scip-2.1.1.4fix) R 21895 21897 21011 0 -1 4202496 836432 0 0 0 112006 206 0 0 20 0 1 0 268870239 3396112384 817053 33554432000 4194304 10173063 140736095590208 140736095585320 8925042 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21897/statm: 829129 817053 615 1460 0 827660 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 3316516
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21909
/proc/meminfo: memFree=20935032/32873844 swapFree=7364/7364
[pid=21897] ppid=21895 vsize=3318372 CPUtime=1182.11 cores=1,3,5,7
/proc/21897/stat : 21897 (scip-2.1.1.4fix) R 21895 21897 21011 0 -1 4202496 837012 0 0 0 118005 206 0 0 20 0 1 0 268870239 3398012928 817633 33554432000 4194304 10173063 140736095590208 140736095585320 8925052 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21897/statm: 829593 817633 615 1460 0 828124 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 3318372
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21909
/proc/meminfo: memFree=20934192/32873844 swapFree=7364/7364
[pid=21897] ppid=21895 vsize=3318372 CPUtime=1242.1 cores=1,3,5,7
/proc/21897/stat : 21897 (scip-2.1.1.4fix) R 21895 21897 21011 0 -1 4202496 837126 0 0 0 124004 206 0 0 20 0 1 0 268870239 3398012928 817747 33554432000 4194304 10173063 140736095590208 140736095585320 8925042 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21897/statm: 829593 817747 615 1460 0 828124 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 3318372
[startup+1302.3 s]
/proc/loadavg: 1.82 1.96 1.99 2/171 21934
/proc/meminfo: memFree=24305420/32873844 swapFree=7364/7364
[pid=21897] ppid=21895 vsize=3318240 CPUtime=1302.1 cores=1,3,5,7
/proc/21897/stat : 21897 (scip-2.1.1.4fix) R 21895 21897 21011 0 -1 4202496 837244 0 0 0 130004 206 0 0 20 0 1 0 268870239 3397877760 817831 33554432000 4194304 10173063 140736095590208 140736095585640 8925042 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21897/statm: 829560 817831 615 1460 0 828091 0
Current children cumulated CPU time (s) 1302.1
Current children cumulated vsize (KiB) 3318240
[startup+1362.3 s]
/proc/loadavg: 1.30 1.79 1.92 2/172 21938
/proc/meminfo: memFree=24302564/32873844 swapFree=7364/7364
[pid=21897] ppid=21895 vsize=3320288 CPUtime=1362.08 cores=1,3,5,7
/proc/21897/stat : 21897 (scip-2.1.1.4fix) R 21895 21897 21011 0 -1 4202496 837980 0 0 0 136002 206 0 0 20 0 1 0 268870239 3399974912 818566 33554432000 4194304 10173063 140736095590208 140736095585320 8925032 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21897/statm: 830072 818566 615 1460 0 828603 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 3320288
[startup+1422.31 s]
/proc/loadavg: 1.11 1.64 1.86 2/171 21938
/proc/meminfo: memFree=24301880/32873844 swapFree=7364/7364
[pid=21897] ppid=21895 vsize=3320288 CPUtime=1422.08 cores=1,3,5,7
/proc/21897/stat : 21897 (scip-2.1.1.4fix) R 21895 21897 21011 0 -1 4202496 838134 0 0 0 142002 206 0 0 20 0 1 0 268870239 3399974912 818720 33554432000 4194304 10173063 140736095590208 140736095585320 8925032 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21897/statm: 830072 818720 615 1460 0 828603 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 3320288
[startup+1482.3 s]
/proc/loadavg: 1.04 1.52 1.80 2/171 21938
/proc/meminfo: memFree=24298684/32873844 swapFree=7364/7364
[pid=21897] ppid=21895 vsize=3322716 CPUtime=1482.07 cores=1,3,5,7
/proc/21897/stat : 21897 (scip-2.1.1.4fix) R 21895 21897 21011 0 -1 4202496 839000 0 0 0 148000 207 0 0 20 0 1 0 268870239 3402461184 819553 33554432000 4194304 10173063 140736095590208 140736095585320 8925032 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21897/statm: 830679 819553 615 1460 0 829210 0
Current children cumulated CPU time (s) 1482.07
Current children cumulated vsize (KiB) 3322716
[startup+1542.3 s]
/proc/loadavg: 1.01 1.42 1.75 2/171 21938
/proc/meminfo: memFree=24295984/32873844 swapFree=7364/7364
[pid=21897] ppid=21895 vsize=3324764 CPUtime=1542.05 cores=1,3,5,7
/proc/21897/stat : 21897 (scip-2.1.1.4fix) R 21895 21897 21011 0 -1 4202496 839704 0 0 0 153998 207 0 0 20 0 1 0 268870239 3404558336 820257 33554432000 4194304 10173063 140736095590208 140736095585320 8925047 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21897/statm: 831191 820257 615 1460 0 829722 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 3324764
[startup+1602.3 s]
/proc/loadavg: 1.00 1.34 1.70 2/171 21938
/proc/meminfo: memFree=24295408/32873844 swapFree=7364/7364
[pid=21897] ppid=21895 vsize=3324764 CPUtime=1602.05 cores=1,3,5,7
/proc/21897/stat : 21897 (scip-2.1.1.4fix) R 21895 21897 21011 0 -1 4202496 839859 0 0 0 159998 207 0 0 20 0 1 0 268870239 3404558336 820483 33554432000 4194304 10173063 140736095590208 140736095585320 8925062 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21897/statm: 831191 820483 615 1460 0 829722 0
Current children cumulated CPU time (s) 1602.05
Current children cumulated vsize (KiB) 3324764
[startup+1662.3 s]
/proc/loadavg: 1.00 1.28 1.66 2/171 21939
/proc/meminfo: memFree=24292568/32873844 swapFree=7364/7364
[pid=21897] ppid=21895 vsize=3325788 CPUtime=1662.03 cores=1,3,5,7
/proc/21897/stat : 21897 (scip-2.1.1.4fix) R 21895 21897 21011 0 -1 4202496 840343 0 0 0 165996 207 0 0 20 0 1 0 268870239 3405606912 821063 33554432000 4194304 10173063 140736095590208 140736095585320 8925057 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21897/statm: 831447 821063 615 1460 0 829978 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 3325788
[startup+1722.3 s]
/proc/loadavg: 1.00 1.23 1.61 2/171 21939
/proc/meminfo: memFree=24290132/32873844 swapFree=7364/7364
[pid=21897] ppid=21895 vsize=3327644 CPUtime=1722.02 cores=1,3,5,7
/proc/21897/stat : 21897 (scip-2.1.1.4fix) R 21895 21897 21011 0 -1 4202496 841003 0 0 0 171995 207 0 0 20 0 1 0 268870239 3407507456 822434 33554432000 4194304 10173063 140736095590208 140736095585320 8925037 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21897/statm: 831911 822434 615 1460 0 830442 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 3327644
[startup+1782.3 s]
/proc/loadavg: 1.00 1.18 1.57 2/171 21939
/proc/meminfo: memFree=24277372/32873844 swapFree=7364/7364
[pid=21897] ppid=21895 vsize=3327644 CPUtime=1782.01 cores=1,3,5,7
/proc/21897/stat : 21897 (scip-2.1.1.4fix) R 21895 21897 21011 0 -1 4202496 841243 0 0 0 177994 207 0 0 20 0 1 0 268870239 3407507456 824881 33554432000 4194304 10173063 140736095590208 140736095585320 8925052 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21897/statm: 831911 824881 615 1460 0 830442 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 3327644
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 1.00 1.17 1.56 2/171 21939
/proc/meminfo: memFree=24275000/32873844 swapFree=7364/7364
[pid=21897] ppid=21895 vsize=3329692 CPUtime=1800.02 cores=1,3,5,7
/proc/21897/stat : 21897 (scip-2.1.1.4fix) R 21895 21897 21011 0 -1 4202496 841796 0 0 0 179794 208 0 0 20 0 1 0 268870239 3409604608 825469 33554432000 4194304 10173063 140736095590208 140736095585320 8925068 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21897/statm: 832423 825469 615 1460 0 830954 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 3329692
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -21897
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.00 1.17 1.56 2/172 21940
/proc/meminfo: memFree=24275000/32873844 swapFree=7364/7364
[pid=21897] ppid=21895 vsize=3329692 CPUtime=1801.12 cores=1,3,5,7
/proc/21897/stat : 21897 (scip-2.1.1.4fix) R 21895 21897 21011 0 -1 4202496 841796 0 0 0 179904 208 0 0 20 0 1 0 268870239 3409604608 825469 33554432000 4194304 10173063 140736095590208 140736095584768 8925057 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21897/statm: 832423 825469 615 1460 0 830954 0
Current children cumulated CPU time (s) 1801.12
Current children cumulated vsize (KiB) 3329692
[startup+1802.2 s]
/proc/loadavg: 1.00 1.17 1.56 3/172 21940
/proc/meminfo: memFree=24274240/32873844 swapFree=7364/7364
[pid=21897] ppid=21895 vsize=3329692 CPUtime=1801.92 cores=1,3,5,7
/proc/21897/stat : 21897 (scip-2.1.1.4fix) R 21895 21897 21011 0 -1 4202496 841796 0 0 0 179984 208 0 0 20 0 1 0 268870239 3409604608 825469 33554432000 4194304 10173063 140736095590208 140736095584768 8925068 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21897/statm: 832423 825469 615 1460 0 830954 0
Current children cumulated CPU time (s) 1801.92
Current children cumulated vsize (KiB) 3329692
[startup+1802.4 s]
/proc/loadavg: 1.00 1.17 1.56 3/172 21940
/proc/meminfo: memFree=24274240/32873844 swapFree=7364/7364
[pid=21897] ppid=21895 vsize=0 CPUtime=1802.12 cores=1,3,5,7
/proc/21897/stat : 21897 (scip-2.1.1.4fix) R 21895 21897 21011 0 -1 4203524 841796 0 0 0 179995 217 0 0 20 0 1 0 268870239 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21897/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.12
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.45
CPU time (s): 1802.17
CPU user time (s): 1799.95
CPU system time (s): 2.22266
CPU usage (%): 99.9846
Max. virtual memory (cumulated for all children) (KiB): 3329692
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.95
system time used= 2.22266
maximum resident set size= 3301876
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 841796
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8
involuntary context switches= 1856
runsolver used 9.56155 second user time and 14.0299 second system time
The end