0.00/0.00 c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
0.00/0.00 c Copyright (c) 2002-2011 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-3486290-1307793618.opb>
1.39/1.42 c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 234238 constraints
1.39/1.42 c problem read
1.39/1.42 c presolving settings loaded
2.29/2.31 c presolving:
10.69/10.72 c (round 1) 4914 del vars, 14863 del conss, 0 add conss, 3365 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16007856 impls, 0 clqs
15.09/15.19 c (round 2) 12278 del vars, 39072 del conss, 0 add conss, 10335 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16039526 impls, 0 clqs
16.49/16.53 c (round 3) 14566 del vars, 50352 del conss, 0 add conss, 11555 chg bounds, 25 chg sides, 49 chg coeffs, 0 upgd conss, 16055512 impls, 0 clqs
17.19/17.27 c (round 4) 15471 del vars, 54200 del conss, 0 add conss, 12122 chg bounds, 31 chg sides, 55 chg coeffs, 0 upgd conss, 16060400 impls, 0 clqs
17.39/17.48 c (round 5) 15854 del vars, 55951 del conss, 0 add conss, 12284 chg bounds, 31 chg sides, 55 chg coeffs, 0 upgd conss, 16062584 impls, 0 clqs
17.49/17.59 c (round 6) 15928 del vars, 56364 del conss, 0 add conss, 12314 chg bounds, 31 chg sides, 55 chg coeffs, 0 upgd conss, 16063284 impls, 0 clqs
17.59/17.68 c (round 7) 15956 del vars, 56525 del conss, 0 add conss, 12329 chg bounds, 31 chg sides, 55 chg coeffs, 0 upgd conss, 16063644 impls, 0 clqs
17.69/17.75 c (round 8) 15968 del vars, 56591 del conss, 0 add conss, 12335 chg bounds, 31 chg sides, 55 chg coeffs, 0 upgd conss, 16063740 impls, 0 clqs
17.79/17.81 c (round 9) 15970 del vars, 56613 del conss, 0 add conss, 12336 chg bounds, 31 chg sides, 55 chg coeffs, 0 upgd conss, 16063750 impls, 0 clqs
18.60/18.60 c (round 10) 15970 del vars, 56616 del conss, 0 add conss, 12336 chg bounds, 31 chg sides, 55 chg coeffs, 177622 upgd conss, 16063750 impls, 0 clqs
19.89/19.91 c (round 11) 15970 del vars, 56616 del conss, 9 add conss, 12336 chg bounds, 44 chg sides, 182 chg coeffs, 177622 upgd conss, 16063750 impls, 0 clqs
837.02/837.05 c (837.1s) probing: 1000/56872 (1.8%) - 0 fixings, 0 aggregations, 10880552 implications, 0 bound changes
1428.73/1428.73 c (1428.7s) probing: 2000/56872 (3.5%) - 0 fixings, 0 aggregations, 16542086 implications, 0 bound changes
1429.43/1429.46 c (1429.5s) probing: 2001/56872 (3.5%) - 0 fixings, 0 aggregations, 16548096 implications, 0 bound changes
1429.43/1429.46 c (1429.5s) probing aborted: 2000/2000 successive useless probings
1429.43/1429.46 c presolving (12 rounds):
1429.43/1429.46 c 15970 deleted vars, 56620 deleted constraints, 9 added constraints, 12336 tightened bounds, 0 added holes, 44 changed sides, 184 changed coefficients
1429.43/1429.46 c 74804666 implications, 0 cliques
1429.43/1429.46 c presolved problem has 56872 variables (56872 bin, 0 int, 0 impl, 0 cont) and 177627 constraints
1429.43/1429.46 c 1161 constraints of type <knapsack>
1429.43/1429.46 c 148361 constraints of type <setppc>
1429.43/1429.46 c 28105 constraints of type <logicor>
1429.43/1429.46 c transformed objective value is always integral (scale: 1)
1429.43/1429.46 c Presolving Time: 1427.80
1429.43/1429.46 c - non default parameters ----------------------------------------------------------------------
1429.43/1429.46 c # SCIP version 2.0.1.4
1429.43/1429.46 c
1429.43/1429.46 c # frequency for displaying node information lines
1429.43/1429.46 c # [type: int, range: [-1,2147483647], default: 100]
1429.43/1429.46 c display/freq = 10000
1429.43/1429.46 c
1429.43/1429.46 c # maximal time in seconds to run
1429.43/1429.46 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1429.43/1429.46 c limits/time = 1797
1429.43/1429.46 c
1429.43/1429.46 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1429.43/1429.46 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1429.43/1429.46 c limits/memory = 13950
1429.43/1429.46 c
1429.43/1429.46 c # default clock type (1: CPU user seconds, 2: wall clock time)
1429.43/1429.46 c # [type: int, range: [1,2], default: 1]
1429.43/1429.46 c timing/clocktype = 2
1429.43/1429.46 c
1429.43/1429.46 c # belongs reading time to solving time?
1429.43/1429.46 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1429.43/1429.46 c timing/reading = TRUE
1429.43/1429.46 c
1429.43/1429.46 c # should presolving try to simplify inequalities
1429.43/1429.46 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1429.43/1429.46 c constraints/linear/simplifyinequalities = TRUE
1429.43/1429.46 c
1429.43/1429.46 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1429.43/1429.46 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1429.43/1429.46 c constraints/indicator/addCouplingCons = TRUE
1429.43/1429.46 c
1429.43/1429.46 c # should presolving try to simplify knapsacks
1429.43/1429.46 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1429.43/1429.46 c constraints/knapsack/simplifyinequalities = TRUE
1429.43/1429.46 c
1429.43/1429.46 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1429.43/1429.46 c # [type: int, range: [-1,2147483647], default: -1]
1429.43/1429.46 c separating/rapidlearning/freq = 0
1429.43/1429.46 c
1429.43/1429.46 c -----------------------------------------------------------------------------------------------
1429.43/1429.46 c start solving
1429.53/1429.50 c
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
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-3486290-1307793618/watcher-3486290-1307793618 -o /tmp/evaluation-result-3486290-1307793618/solver-3486290-1307793618 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3486290-1307793618.opb -t 1800 -m 15500
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: 1.96 2.02 1.93 3/178 5919
/proc/meminfo: memFree=31423776/32951124 swapFree=67063272/67111528
[pid=5919] ppid=5917 vsize=10152 CPUtime=0 cores=0,2,4,6
/proc/5919/stat : 5919 (scip-2.0.1.4_2.) R 5917 5919 5873 0 -1 4202496 1529 0 0 0 0 0 0 0 23 0 1 0 890959974 10395648 1483 33554432000 4194304 8979876 140733209122128 18446744073709551615 7790414 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/5919/statm: 2538 1483 366 1169 0 1365 0
[startup+0.0543691 s]
/proc/loadavg: 1.96 2.02 1.93 3/178 5919
/proc/meminfo: memFree=31423776/32951124 swapFree=67063272/67111528
[pid=5919] ppid=5917 vsize=19728 CPUtime=0.04 cores=0,2,4,6
/proc/5919/stat : 5919 (scip-2.0.1.4_2.) R 5917 5919 5873 0 -1 4202496 3934 0 0 0 4 0 0 0 23 0 1 0 890959974 20201472 3888 33554432000 4194304 8979876 140733209122128 18446744073709551615 6782507 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/5919/statm: 4932 3888 366 1169 0 3759 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 19728
[startup+0.100374 s]
/proc/loadavg: 1.96 2.02 1.93 3/178 5919
/proc/meminfo: memFree=31423776/32951124 swapFree=67063272/67111528
[pid=5919] ppid=5917 vsize=27412 CPUtime=0.09 cores=0,2,4,6
/proc/5919/stat : 5919 (scip-2.0.1.4_2.) R 5917 5919 5873 0 -1 4202496 5868 0 0 0 9 0 0 0 23 0 1 0 890959974 28069888 5822 33554432000 4194304 8979876 140733209122128 18446744073709551615 7836048 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/5919/statm: 6853 5822 366 1169 0 5680 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27412
[startup+0.300344 s]
/proc/loadavg: 1.96 2.02 1.93 3/178 5919
/proc/meminfo: memFree=31423776/32951124 swapFree=67063272/67111528
[pid=5919] ppid=5917 vsize=51336 CPUtime=0.29 cores=0,2,4,6
/proc/5919/stat : 5919 (scip-2.0.1.4_2.) R 5917 5919 5873 0 -1 4202496 11844 0 0 0 28 1 0 0 25 0 1 0 890959974 52568064 11798 33554432000 4194304 8979876 140733209122128 18446744073709551615 7836073 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/5919/statm: 12834 11798 366 1169 0 11661 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 51336
[startup+0.700306 s]
/proc/loadavg: 1.96 2.02 1.93 3/178 5919
/proc/meminfo: memFree=31423776/32951124 swapFree=67063272/67111528
[pid=5919] ppid=5917 vsize=73560 CPUtime=0.69 cores=0,2,4,6
/proc/5919/stat : 5919 (scip-2.0.1.4_2.) R 5917 5919 5873 0 -1 4202496 17389 0 0 0 68 1 0 0 25 0 1 0 890959974 75325440 17343 33554432000 4194304 8979876 140733209122128 18446744073709551615 7836073 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/5919/statm: 18439 17365 366 1169 0 17266 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 73560
[startup+1.50113 s]
/proc/loadavg: 1.96 2.02 1.93 3/179 5920
/proc/meminfo: memFree=31232584/32951124 swapFree=67063272/67111528
[pid=5919] ppid=5917 vsize=198376 CPUtime=1.49 cores=0,2,4,6
/proc/5919/stat : 5919 (scip-2.0.1.4_2.) R 5917 5919 5873 0 -1 4202496 48503 0 0 0 144 5 0 0 25 0 1 0 890959974 203137024 48419 33554432000 4194304 8979876 140733209122128 18446744073709551615 4880925 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5919/statm: 49594 48419 416 1169 0 48421 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 198376
[startup+3.10088 s]
/proc/loadavg: 1.96 2.02 1.93 3/179 5920
/proc/meminfo: memFree=30658216/32951124 swapFree=67063272/67111528
[pid=5919] ppid=5917 vsize=469752 CPUtime=3.09 cores=0,2,4,6
/proc/5919/stat : 5919 (scip-2.0.1.4_2.) R 5917 5919 5873 0 -1 4202496 124202 0 0 0 297 12 0 0 25 0 1 0 890959974 481026048 114157 33554432000 4194304 8979876 140733209122128 18446744073709551615 6443307 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5919/statm: 117438 114157 487 1169 0 116265 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 469752
[startup+6.30027 s]
/proc/loadavg: 2.04 2.04 1.94 3/179 5920
/proc/meminfo: memFree=30154544/32951124 swapFree=67063272/67111528
[pid=5919] ppid=5917 vsize=690720 CPUtime=6.29 cores=0,2,4,6
/proc/5919/stat : 5919 (scip-2.0.1.4_2.) R 5917 5919 5873 0 -1 4202496 179141 0 0 0 611 18 0 0 25 0 1 0 890959974 707297280 169096 33554432000 4194304 8979876 140733209122128 18446744073709551615 6503476 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5919/statm: 172680 169096 494 1169 0 171507 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 690720
[startup+12.7012 s]
/proc/loadavg: 2.04 2.04 1.94 3/179 5921
/proc/meminfo: memFree=29732520/32951124 swapFree=67063272/67111528
[pid=5919] ppid=5917 vsize=875972 CPUtime=12.69 cores=0,2,4,6
/proc/5919/stat : 5919 (scip-2.0.1.4_2.) R 5917 5919 5873 0 -1 4202496 224291 0 0 0 1245 24 0 0 25 0 1 0 890959974 896995328 213153 33554432000 4194304 8979876 140733209122128 18446744073709551615 4876237 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5919/statm: 218993 213153 504 1169 0 217820 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 875972
[startup+25.5009 s]
/proc/loadavg: 2.10 2.05 1.94 3/179 5921
/proc/meminfo: memFree=29521080/32951124 swapFree=67063272/67111528
[pid=5919] ppid=5917 vsize=981808 CPUtime=25.49 cores=0,2,4,6
/proc/5919/stat : 5919 (scip-2.0.1.4_2.) R 5917 5919 5873 0 -1 4202496 267477 0 0 0 2520 29 0 0 25 0 1 0 890959974 1005371392 238528 33554432000 4194304 8979876 140733209122128 18446744073709551615 6503480 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5919/statm: 245452 238528 642 1169 0 244279 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 981808
[startup+51.1003 s]
/proc/loadavg: 2.07 2.05 1.94 3/179 5931
/proc/meminfo: memFree=29451520/32951124 swapFree=67063272/67111528
[pid=5919] ppid=5917 vsize=1025888 CPUtime=51.09 cores=0,2,4,6
/proc/5919/stat : 5919 (scip-2.0.1.4_2.) R 5917 5919 5873 0 -1 4202496 278038 0 0 0 5079 30 0 0 25 0 1 0 890959974 1050509312 248792 33554432000 4194304 8979876 140733209122128 18446744073709551615 6503493 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5919/statm: 256472 248792 642 1169 0 255299 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1025888
[startup+102.306 s]
/proc/loadavg: 2.07 2.05 1.95 3/179 5932
/proc/meminfo: memFree=29343288/32951124 swapFree=67063272/67111528
[pid=5919] ppid=5917 vsize=1073880 CPUtime=102.3 cores=0,2,4,6
/proc/5919/stat : 5919 (scip-2.0.1.4_2.) R 5917 5919 5873 0 -1 4202496 289495 0 0 0 10198 32 0 0 25 0 1 0 890959974 1099653120 260249 33554432000 4194304 8979876 140733209122128 18446744073709551615 6503345 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5919/statm: 268470 260249 642 1169 0 267297 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 1073880
[startup+162.301 s]
/proc/loadavg: 2.02 2.04 1.95 3/179 5934
/proc/meminfo: memFree=29096124/32951124 swapFree=67063272/67111528
[pid=5919] ppid=5917 vsize=1196520 CPUtime=162.29 cores=0,2,4,6
/proc/5919/stat : 5919 (scip-2.0.1.4_2.) R 5917 5919 5873 0 -1 4202496 319446 0 0 0 16193 36 0 0 25 0 1 0 890959974 1225236480 290200 33554432000 4194304 8979876 140733209122128 18446744073709551615 6503284 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5919/statm: 299130 290200 642 1169 0 297957 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1196520
[startup+222.301 s]
/proc/loadavg: 2.01 2.03 1.95 3/179 5935
/proc/meminfo: memFree=28926592/32951124 swapFree=67063272/67111528
[pid=5919] ppid=5917 vsize=1279116 CPUtime=222.3 cores=0,2,4,6
/proc/5919/stat : 5919 (scip-2.0.1.4_2.) R 5917 5919 5873 0 -1 4202496 340562 0 0 0 22190 40 0 0 25 0 1 0 890959974 1309814784 311316 33554432000 4194304 8979876 140733209122128 18446744073709551615 5539211 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5919/statm: 319779 311316 642 1169 0 318606 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 1279116
[startup+282.3 s]
/proc/loadavg: 2.00 2.02 1.95 3/179 5940
/proc/meminfo: memFree=28745084/32951124 swapFree=67063272/67111528
[pid=5919] ppid=5917 vsize=1353436 CPUtime=282.3 cores=0,2,4,6
/proc/5919/stat : 5919 (scip-2.0.1.4_2.) R 5917 5919 5873 0 -1 4202496 358986 0 0 0 28187 43 0 0 25 0 1 0 890959974 1385918464 329542 33554432000 4194304 8979876 140733209122128 18446744073709551615 6503511 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5919/statm: 338359 329542 642 1169 0 337186 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1353436
[startup+342.301 s]
/proc/loadavg: 2.00 2.02 1.95 3/179 5941
/proc/meminfo: memFree=28415400/32951124 swapFree=67063272/67111528
[pid=5919] ppid=5917 vsize=1512956 CPUtime=342.3 cores=0,2,4,6
/proc/5919/stat : 5919 (scip-2.0.1.4_2.) R 5917 5919 5873 0 -1 4202496 398665 0 0 0 34183 47 0 0 25 0 1 0 890959974 1549266944 368825 33554432000 4194304 8979876 140733209122128 18446744073709551615 6503493 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5919/statm: 378239 368825 642 1169 0 377066 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1512956
[startup+402.301 s]
/proc/loadavg: 2.07 2.03 1.95 3/179 5943
/proc/meminfo: memFree=28179028/32951124 swapFree=67063272/67111528
[pid=5919] ppid=5917 vsize=1629004 CPUtime=402.29 cores=0,2,4,6
/proc/5919/stat : 5919 (scip-2.0.1.4_2.) R 5917 5919 5873 0 -1 4202496 427946 0 0 0 40179 50 0 0 25 0 1 0 890959974 1668100096 397974 33554432000 4194304 8979876 140733209122128 18446744073709551615 6503529 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5919/statm: 407251 397974 642 1169 0 406078 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 1629004
[startup+462.3 s]
/proc/loadavg: 2.02 2.02 1.95 3/179 5945
/proc/meminfo: memFree=28003904/32951124 swapFree=67063272/67111528
[pid=5919] ppid=5917 vsize=1711492 CPUtime=462.3 cores=0,2,4,6
/proc/5919/stat : 5919 (scip-2.0.1.4_2.) R 5917 5919 5873 0 -1 4202496 448635 0 0 0 46177 53 0 0 25 0 1 0 890959974 1752567808 418663 33554432000 4194304 8979876 140733209122128 18446744073709551615 6503511 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5919/statm: 427873 418663 642 1169 0 426700 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 1711492
[startup+522.301 s]
/proc/loadavg: 2.04 2.03 1.96 3/179 5946
/proc/meminfo: memFree=27817884/32951124 swapFree=67063272/67111528
[pid=5919] ppid=5917 vsize=1818060 CPUtime=522.3 cores=0,2,4,6
/proc/5919/stat : 5919 (scip-2.0.1.4_2.) R 5917 5919 5873 0 -1 4202496 475578 0 0 0 52174 56 0 0 25 0 1 0 890959974 1861693440 445606 33554432000 4194304 8979876 140733209122128 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5919/statm: 454515 445606 642 1169 0 453342 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 1818060
[startup+582.301 s]
/proc/loadavg: 2.09 2.04 1.97 3/179 5948
/proc/meminfo: memFree=27672024/32951124 swapFree=67063272/67111528
[pid=5919] ppid=5917 vsize=1890632 CPUtime=582.3 cores=0,2,4,6
/proc/5919/stat : 5919 (scip-2.0.1.4_2.) R 5917 5919 5873 0 -1 4202496 493673 0 0 0 58172 58 0 0 25 0 1 0 890959974 1936007168 463602 33554432000 4194304 8979876 140733209122128 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5919/statm: 472658 463602 642 1169 0 471485 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 1890632
[startup+642.301 s]
################
# More data... #
################
[startup+882.301 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 5956
/proc/meminfo: memFree=26764188/32951124 swapFree=67063272/67111528
[pid=5919] ppid=5917 vsize=2277244 CPUtime=882.31 cores=0,2,4,6
/proc/5919/stat : 5919 (scip-2.0.1.4_2.) R 5917 5919 5873 0 -1 4202496 588090 0 0 0 88157 74 0 0 25 0 1 0 890959974 2331897856 558019 33554432000 4194304 8979876 140733209122128 18446744073709551615 4347916 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5919/statm: 569311 558019 647 1169 0 568138 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 2277244
[startup+942.301 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 5957
/proc/meminfo: memFree=26635936/32951124 swapFree=67063272/67111528
[pid=5919] ppid=5917 vsize=2373644 CPUtime=942.31 cores=0,2,4,6
/proc/5919/stat : 5919 (scip-2.0.1.4_2.) R 5917 5919 5873 0 -1 4202496 611544 0 0 0 94154 77 0 0 25 0 1 0 890959974 2430611456 581407 33554432000 4194304 8979876 140733209122128 18446744073709551615 5537629 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5919/statm: 593411 581407 647 1169 0 592238 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 2373644
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 5959
/proc/meminfo: memFree=26546512/32951124 swapFree=67063272/67111528
[pid=5919] ppid=5917 vsize=2422320 CPUtime=1002.31 cores=0,2,4,6
/proc/5919/stat : 5919 (scip-2.0.1.4_2.) R 5917 5919 5873 0 -1 4202496 624429 0 0 0 100152 79 0 0 25 0 1 0 890959974 2480455680 594292 33554432000 4194304 8979876 140733209122128 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5919/statm: 605580 594292 647 1169 0 604407 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 2422320
[startup+1062.3 s]
/proc/loadavg: 2.08 2.03 1.98 3/179 5961
/proc/meminfo: memFree=26425208/32951124 swapFree=67063272/67111528
[pid=5919] ppid=5917 vsize=2508784 CPUtime=1062.32 cores=0,2,4,6
/proc/5919/stat : 5919 (scip-2.0.1.4_2.) R 5917 5919 5873 0 -1 4202496 646007 0 0 0 106150 82 0 0 25 0 1 0 890959974 2568994816 615870 33554432000 4194304 8979876 140733209122128 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5919/statm: 627196 615870 647 1169 0 626023 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 2508784
[startup+1122.3 s]
/proc/loadavg: 2.07 2.03 1.98 3/179 5962
/proc/meminfo: memFree=26325240/32951124 swapFree=67063272/67111528
[pid=5919] ppid=5917 vsize=2559492 CPUtime=1122.32 cores=0,2,4,6
/proc/5919/stat : 5919 (scip-2.0.1.4_2.) R 5917 5919 5873 0 -1 4202496 658361 0 0 0 112148 84 0 0 25 0 1 0 890959974 2620919808 628224 33554432000 4194304 8979876 140733209122128 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5919/statm: 639873 628224 647 1169 0 638700 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 2559492
[startup+1182.3 s]
/proc/loadavg: 2.12 2.06 1.99 3/179 5964
/proc/meminfo: memFree=26239160/32951124 swapFree=67063272/67111528
[pid=5919] ppid=5917 vsize=2598904 CPUtime=1182.32 cores=0,2,4,6
/proc/5919/stat : 5919 (scip-2.0.1.4_2.) R 5917 5919 5873 0 -1 4202496 668219 0 0 0 118147 85 0 0 25 0 1 0 890959974 2661277696 638082 33554432000 4194304 8979876 140733209122128 18446744073709551615 5538062 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5919/statm: 649726 638082 647 1169 0 648553 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 2598904
[startup+1242.3 s]
/proc/loadavg: 2.19 2.08 2.00 3/179 5965
/proc/meminfo: memFree=26113012/32951124 swapFree=67063272/67111528
[pid=5919] ppid=5917 vsize=2673352 CPUtime=1242.32 cores=0,2,4,6
/proc/5919/stat : 5919 (scip-2.0.1.4_2.) R 5917 5919 5873 0 -1 4202496 687099 0 0 0 124145 87 0 0 25 0 1 0 890959974 2737512448 656962 33554432000 4194304 8979876 140733209122128 18446744073709551615 6503284 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5919/statm: 668338 656962 647 1169 0 667165 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 2673352
[startup+1302.3 s]
/proc/loadavg: 2.07 2.06 2.00 3/179 5967
/proc/meminfo: memFree=26037216/32951124 swapFree=67063272/67111528
[pid=5919] ppid=5917 vsize=2706832 CPUtime=1302.33 cores=0,2,4,6
/proc/5919/stat : 5919 (scip-2.0.1.4_2.) R 5917 5919 5873 0 -1 4202496 695595 0 0 0 130144 89 0 0 25 0 1 0 890959974 2771795968 665458 33554432000 4194304 8979876 140733209122128 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5919/statm: 676708 665458 647 1169 0 675535 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 2706832
[startup+1362.3 s]
/proc/loadavg: 2.02 2.05 2.00 3/179 5969
/proc/meminfo: memFree=25944296/32951124 swapFree=67063272/67111528
[pid=5919] ppid=5917 vsize=2763552 CPUtime=1362.32 cores=0,2,4,6
/proc/5919/stat : 5919 (scip-2.0.1.4_2.) R 5917 5919 5873 0 -1 4202496 708974 0 0 0 136142 90 0 0 25 0 1 0 890959974 2829877248 678837 33554432000 4194304 8979876 140733209122128 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5919/statm: 690888 678837 647 1169 0 689715 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 2763552
[startup+1422.31 s]
/proc/loadavg: 2.01 2.04 2.00 3/179 5970
/proc/meminfo: memFree=25867120/32951124 swapFree=67063272/67111528
[pid=5919] ppid=5917 vsize=2795712 CPUtime=1422.33 cores=0,2,4,6
/proc/5919/stat : 5919 (scip-2.0.1.4_2.) R 5917 5919 5873 0 -1 4202496 717450 0 0 0 142141 92 0 0 25 0 1 0 890959974 2862809088 687313 33554432000 4194304 8979876 140733209122128 18446744073709551615 6503507 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5919/statm: 698928 687313 647 1169 0 697755 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 2795712
[startup+1482.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/179 5972
/proc/meminfo: memFree=25495932/32951124 swapFree=67063272/67111528
[pid=5919] ppid=5917 vsize=3128384 CPUtime=1482.33 cores=0,2,4,6
/proc/5919/stat : 5919 (scip-2.0.1.4_2.) R 5917 5919 5873 0 -1 4202496 796255 0 0 0 148129 104 0 0 25 0 1 0 890959974 3203465216 763853 33554432000 4194304 8979876 140733209122128 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5919/statm: 782096 763853 751 1169 0 780923 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 3128384
[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 5973
/proc/meminfo: memFree=25441704/32951124 swapFree=67063272/67111528
[pid=5919] ppid=5917 vsize=3137080 CPUtime=1542.33 cores=0,2,4,6
/proc/5919/stat : 5919 (scip-2.0.1.4_2.) R 5917 5919 5873 0 -1 4202496 799096 0 0 0 154125 108 0 0 25 0 1 0 890959974 3212369920 766681 33554432000 4194304 8979876 140733209122128 18446744073709551615 7146789 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5919/statm: 784270 766681 750 1169 0 783097 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 3137080
[startup+1602.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/179 5975
/proc/meminfo: memFree=25399380/32951124 swapFree=67063272/67111528
[pid=5919] ppid=5917 vsize=3145200 CPUtime=1602.33 cores=0,2,4,6
/proc/5919/stat : 5919 (scip-2.0.1.4_2.) R 5917 5919 5873 0 -1 4202496 800669 0 0 0 160121 112 0 0 25 0 1 0 890959974 3220684800 768106 33554432000 4194304 8979876 140733209122128 18446744073709551615 7146987 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5919/statm: 786300 768106 670 1169 0 785127 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 3145200
[startup+1662.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 5977
/proc/meminfo: memFree=25347636/32951124 swapFree=67063272/67111528
[pid=5919] ppid=5917 vsize=3156276 CPUtime=1662.33 cores=0,2,4,6
/proc/5919/stat : 5919 (scip-2.0.1.4_2.) R 5917 5919 5873 0 -1 4202496 804274 0 0 0 166119 114 0 0 25 0 1 0 890959974 3232026624 771706 33554432000 4194304 8979876 140733209122128 18446744073709551615 7147076 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5919/statm: 789069 771706 673 1169 0 787896 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 3156276
[startup+1722.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/179 5978
/proc/meminfo: memFree=25227444/32951124 swapFree=67063272/67111528
[pid=5919] ppid=5917 vsize=3158340 CPUtime=1722.33 cores=0,2,4,6
/proc/5919/stat : 5919 (scip-2.0.1.4_2.) R 5917 5919 5873 0 -1 4202496 804492 0 0 0 172116 117 0 0 25 0 1 0 890959974 3234140160 771924 33554432000 4194304 8979876 140733209122128 18446744073709551615 7147101 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5919/statm: 789585 771924 673 1169 0 788412 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 3158340
[startup+1782.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 5980
/proc/meminfo: memFree=25131308/32951124 swapFree=67063272/67111528
[pid=5919] ppid=5917 vsize=3193696 CPUtime=1782.34 cores=0,2,4,6
/proc/5919/stat : 5919 (scip-2.0.1.4_2.) R 5917 5919 5873 0 -1 4202496 815235 0 0 0 178113 121 0 0 25 0 1 0 890959974 3270344704 782492 33554432000 4194304 8979876 140733209122128 18446744073709551615 7193346 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5919/statm: 798424 782492 762 1169 0 797251 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 3193696
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.01 2.02 2.00 4/179 6018
/proc/meminfo: memFree=28012004/32951124 swapFree=67063272/67111528
[pid=5919] ppid=5917 vsize=3193696 CPUtime=1800.04 cores=0,2,4,6
/proc/5919/stat : 5919 (scip-2.0.1.4_2.) R 5917 5919 5873 0 -1 4202496 815247 0 0 0 179883 121 0 0 25 0 1 0 890959974 3270344704 782504 33554432000 4194304 8979876 140733209122128 18446744073709551615 7156827 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5919/statm: 798424 782504 762 1169 0 797251 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 3193696
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.11 s]
/proc/loadavg: 2.01 2.02 2.00 4/179 6018
/proc/meminfo: memFree=28012004/32951124 swapFree=67063272/67111528
[pid=5919] ppid=5917 vsize=0 CPUtime=1800.15 cores=0,2,4,6
/proc/5919/stat : 5919 (scip-2.0.1.4_2.) R 5917 5919 5873 0 -1 4203524 815247 0 0 0 179883 132 0 0 25 0 1 0 890959974 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/5919/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.13
CPU time (s): 1800.18
CPU user time (s): 1798.83
CPU system time (s): 1.3458
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 3193696
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.83
system time used= 1.34579
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 815247
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= 3
involuntary context switches= 2575
runsolver used 3.16952 second user time and 6.34603 second system time
The end