0.00/0.01 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.01 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-3451871-1307121356.opb>
1.10/1.20 c original problem has 54782 variables (54782 bin, 0 int, 0 impl, 0 cont) and 184309 constraints
1.10/1.20 c problem read
1.10/1.20 c presolving settings loaded
1.49/1.54 c presolving:
6.18/6.25 c (round 1) 4517 del vars, 13331 del conss, 0 add conss, 3315 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12578578 impls, 0 clqs
7.71/7.71 c (round 2) 9805 del vars, 32221 del conss, 0 add conss, 8252 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12605991 impls, 0 clqs
7.99/8.07 c (round 3) 11376 del vars, 40367 del conss, 0 add conss, 9097 chg bounds, 79 chg sides, 67 chg coeffs, 0 upgd conss, 12617283 impls, 0 clqs
8.19/8.27 c (round 4) 12030 del vars, 43159 del conss, 0 add conss, 9489 chg bounds, 90 chg sides, 74 chg coeffs, 0 upgd conss, 12621642 impls, 0 clqs
8.29/8.39 c (round 5) 12448 del vars, 44885 del conss, 0 add conss, 9691 chg bounds, 90 chg sides, 74 chg coeffs, 0 upgd conss, 12625365 impls, 0 clqs
8.39/8.47 c (round 6) 12628 del vars, 45709 del conss, 0 add conss, 9776 chg bounds, 90 chg sides, 74 chg coeffs, 0 upgd conss, 12627216 impls, 0 clqs
8.49/8.53 c (round 7) 12714 del vars, 46109 del conss, 0 add conss, 9821 chg bounds, 90 chg sides, 74 chg coeffs, 0 upgd conss, 12628092 impls, 0 clqs
8.49/8.59 c (round 8) 12758 del vars, 46319 del conss, 0 add conss, 9847 chg bounds, 90 chg sides, 74 chg coeffs, 0 upgd conss, 12628506 impls, 0 clqs
8.59/8.64 c (round 9) 12784 del vars, 46438 del conss, 0 add conss, 9863 chg bounds, 90 chg sides, 74 chg coeffs, 0 upgd conss, 12628756 impls, 0 clqs
8.59/8.68 c (round 10) 12794 del vars, 46496 del conss, 0 add conss, 9869 chg bounds, 90 chg sides, 74 chg coeffs, 0 upgd conss, 12628794 impls, 0 clqs
9.08/9.18 c (round 11) 12794 del vars, 46507 del conss, 0 add conss, 9869 chg bounds, 90 chg sides, 74 chg coeffs, 137802 upgd conss, 12628794 impls, 0 clqs
9.48/9.57 c (round 12) 12794 del vars, 46507 del conss, 19 add conss, 9869 chg bounds, 113 chg sides, 245 chg coeffs, 137802 upgd conss, 12629308 impls, 1786 clqs
451.60/451.64 c (451.6s) probing: 1000/41988 (2.4%) - 13 fixings, 1 aggregations, 10032411 implications, 0 bound changes
825.92/825.93 c (825.9s) probing: 2000/41988 (4.8%) - 13 fixings, 1 aggregations, 16173197 implications, 0 bound changes
1195.93/1195.95 c (1195.9s) probing: 3000/41988 (7.1%) - 16 fixings, 1 aggregations, 21770644 implications, 0 bound changes
1567.84/1567.87 c (1567.9s) probing: 4000/41988 (9.5%) - 16 fixings, 4 aggregations, 27004187 implications, 0 bound changes
1800.06/1800.05 c (1800.0s) probing: 4637/41988 (11.0%) - 16 fixings, 4 aggregations, 30228523 implications, 0 bound changes
1800.06/1800.05 c (1800.0s) probing aborted: solving stopped
1800.06/1800.05 c (round 13) 12814 del vars, 46507 del conss, 19 add conss, 9869 chg bounds, 113 chg sides, 261 chg coeffs, 137802 upgd conss, 98548556 impls, 1911 clqs
1800.06/1800.05 c presolving (13 rounds):
1800.06/1800.05 c 12814 deleted vars, 46507 deleted constraints, 19 added constraints, 9869 tightened bounds, 0 added holes, 113 changed sides, 261 changed coefficients
1800.06/1800.05 c 98548556 implications, 1911 cliques
1800.06/1800.05 c presolving was interrupted.
1800.06/1800.05 c Presolving Time: 1798.61
1800.06/1800.05 c - non default parameters ----------------------------------------------------------------------
1800.06/1800.05 c # SCIP version 2.0.1.5
1800.06/1800.05 c
1800.06/1800.05 c # frequency for displaying node information lines
1800.06/1800.05 c # [type: int, range: [-1,2147483647], default: 100]
1800.06/1800.05 c display/freq = 10000
1800.06/1800.05 c
1800.06/1800.05 c # maximal time in seconds to run
1800.06/1800.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1800.06/1800.05 c limits/time = 1800
1800.06/1800.05 c
1800.06/1800.05 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1800.06/1800.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1800.06/1800.05 c limits/memory = 13950
1800.06/1800.05 c
1800.06/1800.05 c # default clock type (1: CPU user seconds, 2: wall clock time)
1800.06/1800.05 c # [type: int, range: [1,2], default: 1]
1800.06/1800.05 c timing/clocktype = 2
1800.06/1800.05 c
1800.06/1800.05 c # belongs reading time to solving time?
1800.06/1800.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.06/1800.05 c timing/reading = TRUE
1800.06/1800.05 c
1800.06/1800.05 c # should presolving try to simplify inequalities
1800.06/1800.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.06/1800.05 c constraints/linear/simplifyinequalities = TRUE
1800.06/1800.05 c
1800.06/1800.05 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1800.06/1800.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.06/1800.05 c constraints/indicator/addCouplingCons = TRUE
1800.06/1800.05 c
1800.06/1800.05 c # should presolving try to simplify knapsacks
1800.06/1800.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.06/1800.05 c constraints/knapsack/simplifyinequalities = TRUE
1800.06/1800.05 c
1800.06/1800.05 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1800.06/1800.05 c # [type: int, range: [-1,2147483647], default: -1]
1800.06/1800.05 c separating/rapidlearning/freq = 0
1800.06/1800.05 c
1800.06/1800.05 c -----------------------------------------------------------------------------------------------
1800.06/1800.05 c start solving
1800.06/1800.08 c presolving:
1800.06/1800.08 c presolving (13 rounds):
1800.06/1800.08 c 12814 deleted vars, 46507 deleted constraints, 19 added constraints, 9869 tightened bounds, 0 added holes, 113 changed sides, 261 changed coefficients
1800.06/1800.08 c 98548556 implications, 1911 cliques
1800.06/1800.08 c presolving was interrupted.
1800.06/1800.08 c Presolving Time: 1798.63
1800.06/1800.08 c
1800.06/1800.08 c SCIP Status : solving was interrupted [time limit reached]
1800.06/1800.08 c Solving Time (sec) : 1800.07
1800.06/1800.08 c Solving Nodes : 0
1800.06/1800.08 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.06/1800.08 s UNKNOWN
1800.06/1800.08 c SCIP Status : solving was interrupted [time limit reached]
1800.06/1800.08 c Total Time : 1800.07
1800.06/1800.08 c solving : 1800.07
1800.06/1800.08 c presolving : 1798.63 (included in solving)
1800.06/1800.08 c reading : 1.20 (included in solving)
1800.06/1800.08 c Original Problem :
1800.06/1800.08 c Problem name : HOME/instance-3451871-1307121356.opb
1800.06/1800.08 c Variables : 54782 (54782 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.08 c Constraints : 184309 initial, 184309 maximal
1800.06/1800.08 c Presolved Problem :
1800.06/1800.08 c Problem name : t_HOME/instance-3451871-1307121356.opb
1800.06/1800.08 c Variables : 41968 (41968 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.08 c Constraints : 137821 initial, 137821 maximal
1800.06/1800.08 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.06/1800.08 c trivial : 0.03 731 0 0 0 0 0 0 0 0
1800.06/1800.08 c dualfix : 0.04 92 0 0 0 0 0 0 0 0
1800.06/1800.08 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.06/1800.08 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.06/1800.08 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1800.06/1800.08 c implics : 0.33 0 0 0 0 0 0 0 0 0
1800.06/1800.08 c probing : 1790.22 16 4 0 0 0 0 0 0 0
1800.06/1800.08 c knapsack : 0.31 0 0 0 0 0 0 19 23 187
1800.06/1800.08 c setppc : 0.23 0 0 0 0 0 0 0 0 0
1800.06/1800.08 c linear : 7.14 9138 2833 0 9869 0 46507 0 90 74
1800.06/1800.08 c logicor : 0.04 0 0 0 0 0 0 0 0 0
1800.06/1800.08 c root node : - 0 - - 0 - - - - -
1800.06/1800.08 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.06/1800.08 c integral : 0 0 0 0 0 0 0 0 0 0 0 0
1800.06/1800.08 c knapsack : 0+ 0 254890 0 0 0 0 4 0 0 0 0
1800.06/1800.08 c setppc : 0+ 0 254886 0 0 0 0 2 0 0 0 0
1800.06/1800.08 c linear : 0+ 0 0 0 0 0 0 0 0 0 0 0
1800.06/1800.08 c logicor : 0+ 0 228096 0 0 0 0 2 0 0 0 0
1800.06/1800.08 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1800.06/1800.08 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.06/1800.08 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.06/1800.08 c knapsack : 14.22 0.00 14.22 0.00 0.00 0.00 0.00
1800.06/1800.08 c setppc : 1190.92 0.00 1190.92 0.00 0.00 0.00 0.00
1800.06/1800.08 c linear : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.06/1800.08 c logicor : 9.25 0.00 9.25 0.00 0.00 0.00 0.00
1800.06/1800.08 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.06/1800.08 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.06/1800.08 c vbounds : 0 0 0 0
1800.06/1800.08 c rootredcost : 0 0 0 0
1800.06/1800.08 c pseudoobj : 0 0 0 0
1800.06/1800.08 c Propagator Timings : TotalTime Propagate Resprop
1800.06/1800.08 c vbounds : 0.10 0.10 0.00
1800.06/1800.08 c rootredcost : 0.08 0.08 0.00
1800.06/1800.08 c pseudoobj : 0.04 0.04 0.00
1800.06/1800.08 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.06/1800.08 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1800.06/1800.08 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.08 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.08 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.08 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.06/1800.08 c applied globally : - - - 0 0.0 - - -
1800.06/1800.08 c applied locally : - - - 0 0.0 - - -
1800.54/1800.56 c Time complete: 1800.61.
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-3451871-1307121356/watcher-3451871-1307121356 -o /tmp/evaluation-result-3451871-1307121356/solver-3451871-1307121356 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3451871-1307121356.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.00 2.02 1.95 3/429 28048
/proc/meminfo: memFree=29088884/32951124 swapFree=43324008/67111528
[pid=28048] ppid=28046 vsize=14532 CPUtime=0 cores=1,3,5,7
/proc/28048/stat : 28048 (scip-2.0.1.4b.l) R 28046 28048 22076 0 -1 4202496 2619 0 0 0 0 0 0 0 23 0 1 0 823736048 14880768 2573 33554432000 4194304 9163163 140734321208064 18446744073709551615 8041839 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28048/statm: 3633 2573 395 1214 0 2415 0
[startup+0.116575 s]
/proc/loadavg: 2.00 2.02 1.95 3/429 28048
/proc/meminfo: memFree=29088884/32951124 swapFree=43324008/67111528
[pid=28048] ppid=28046 vsize=32404 CPUtime=0.1 cores=1,3,5,7
/proc/28048/stat : 28048 (scip-2.0.1.4b.l) R 28046 28048 22076 0 -1 4202496 7096 0 0 0 10 0 0 0 24 0 1 0 823736048 33181696 7050 33554432000 4194304 9163163 140734321208064 18446744073709551615 8041859 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28048/statm: 8101 7050 395 1214 0 6883 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 32404
[startup+0.200551 s]
/proc/loadavg: 2.00 2.02 1.95 3/429 28048
/proc/meminfo: memFree=29088884/32951124 swapFree=43324008/67111528
[pid=28048] ppid=28046 vsize=44576 CPUtime=0.19 cores=1,3,5,7
/proc/28048/stat : 28048 (scip-2.0.1.4b.l) R 28046 28048 22076 0 -1 4202496 10132 0 0 0 18 1 0 0 24 0 1 0 823736048 45645824 10086 33554432000 4194304 9163163 140734321208064 18446744073709551615 8044619 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28048/statm: 11144 10086 395 1214 0 9926 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 44576
[startup+0.300531 s]
/proc/loadavg: 2.00 2.02 1.95 3/429 28048
/proc/meminfo: memFree=29088884/32951124 swapFree=43324008/67111528
[pid=28048] ppid=28046 vsize=50568 CPUtime=0.29 cores=1,3,5,7
/proc/28048/stat : 28048 (scip-2.0.1.4b.l) R 28046 28048 22076 0 -1 4202496 11618 0 0 0 28 1 0 0 25 0 1 0 823736048 51781632 11572 33554432000 4194304 9163163 140734321208064 18446744073709551615 8090512 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28048/statm: 12642 11572 395 1214 0 11424 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 50568
[startup+0.700453 s]
/proc/loadavg: 2.00 2.02 1.95 3/429 28048
/proc/meminfo: memFree=29088884/32951124 swapFree=43324008/67111528
[pid=28048] ppid=28046 vsize=77688 CPUtime=0.69 cores=1,3,5,7
/proc/28048/stat : 28048 (scip-2.0.1.4b.l) R 28046 28048 22076 0 -1 4202496 18366 0 0 0 67 2 0 0 25 0 1 0 823736048 79552512 18320 33554432000 4194304 9163163 140734321208064 18446744073709551615 8041849 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28048/statm: 19422 18320 395 1214 0 18204 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 77688
[startup+1.50031 s]
/proc/loadavg: 2.00 2.02 1.95 3/430 28049
/proc/meminfo: memFree=28812976/32951124 swapFree=43324008/67111528
[pid=28048] ppid=28046 vsize=276332 CPUtime=1.49 cores=1,3,5,7
/proc/28048/stat : 28048 (scip-2.0.1.4b.l) R 28046 28048 22076 0 -1 4202496 67855 0 0 0 141 8 0 0 25 0 1 0 823736048 282963968 67733 33554432000 4194304 9163163 140734321208064 18446744073709551615 4693093 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28048/statm: 69083 67733 454 1214 0 67865 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 276332
[startup+3.10101 s]
/proc/loadavg: 2.00 2.02 1.95 3/430 28049
/proc/meminfo: memFree=28481244/32951124 swapFree=43324008/67111528
[pid=28048] ppid=28046 vsize=465652 CPUtime=3.09 cores=1,3,5,7
/proc/28048/stat : 28048 (scip-2.0.1.4b.l) R 28046 28048 22076 0 -1 4202496 114245 0 0 0 297 12 0 0 25 0 1 0 823736048 476827648 114123 33554432000 4194304 9163163 140734321208064 18446744073709551615 6567522 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28048/statm: 116413 114123 506 1214 0 115195 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 465652
[startup+6.30041 s]
/proc/loadavg: 2.00 2.02 1.95 3/430 28049
/proc/meminfo: memFree=28141244/32951124 swapFree=43324008/67111528
[pid=28048] ppid=28046 vsize=675060 CPUtime=6.29 cores=1,3,5,7
/proc/28048/stat : 28048 (scip-2.0.1.4b.l) R 28046 28048 22076 0 -1 4202496 165029 0 0 0 612 17 0 0 25 0 1 0 823736048 691261440 164650 33554432000 4194304 9163163 140734321208064 18446744073709551615 6568805 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28048/statm: 168765 164650 518 1214 0 167547 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 675060
[startup+12.7002 s]
/proc/loadavg: 2.00 2.02 1.95 3/430 28049
/proc/meminfo: memFree=27976692/32951124 swapFree=43324008/67111528
[pid=28048] ppid=28046 vsize=778548 CPUtime=12.69 cores=1,3,5,7
/proc/28048/stat : 28048 (scip-2.0.1.4b.l) R 28046 28048 22076 0 -1 4202496 199104 0 0 0 1249 20 0 0 25 0 1 0 823736048 797233152 189528 33554432000 4194304 9163163 140734321208064 18446744073709551615 6567776 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28048/statm: 194637 189528 562 1214 0 193419 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 778548
[startup+25.5008 s]
/proc/loadavg: 2.00 2.02 1.95 3/430 28049
/proc/meminfo: memFree=27830436/32951124 swapFree=43324008/67111528
[pid=28048] ppid=28046 vsize=816172 CPUtime=25.49 cores=1,3,5,7
/proc/28048/stat : 28048 (scip-2.0.1.4b.l) R 28046 28048 22076 0 -1 4202496 207997 0 0 0 2528 21 0 0 25 0 1 0 823736048 835760128 198421 33554432000 4194304 9163163 140734321208064 18446744073709551615 6567814 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28048/statm: 204043 198421 562 1214 0 202825 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 816172
[startup+51.1011 s]
/proc/loadavg: 2.11 2.04 1.96 3/430 28050
/proc/meminfo: memFree=27608472/32951124 swapFree=43324008/67111528
[pid=28048] ppid=28046 vsize=898212 CPUtime=51.09 cores=1,3,5,7
/proc/28048/stat : 28048 (scip-2.0.1.4b.l) R 28046 28048 22076 0 -1 4202496 227587 0 0 0 5086 23 0 0 25 0 1 0 823736048 919769088 218011 33554432000 4194304 9163163 140734321208064 18446744073709551615 6566781 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28048/statm: 224553 218011 562 1214 0 223335 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 898212
[startup+102.3 s]
/proc/loadavg: 2.05 2.03 1.96 3/430 28052
/proc/meminfo: memFree=27335800/32951124 swapFree=43324008/67111528
[pid=28048] ppid=28046 vsize=1031960 CPUtime=102.31 cores=1,3,5,7
/proc/28048/stat : 28048 (scip-2.0.1.4b.l) R 28046 28048 22076 0 -1 4202496 260522 0 0 0 10204 27 0 0 25 0 1 0 823736048 1056727040 250946 33554432000 4194304 9163163 140734321208064 18446744073709551615 5944201 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28048/statm: 257990 250946 562 1214 0 256772 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 1031960
[startup+162.3 s]
/proc/loadavg: 2.02 2.03 1.96 3/430 28053
/proc/meminfo: memFree=26961932/32951124 swapFree=43324008/67111528
[pid=28048] ppid=28046 vsize=1267196 CPUtime=162.29 cores=1,3,5,7
/proc/28048/stat : 28048 (scip-2.0.1.4b.l) R 28046 28048 22076 0 -1 4202496 319259 0 0 0 16195 34 0 0 25 0 1 0 823736048 1297608704 309683 33554432000 4194304 9163163 140734321208064 18446744073709551615 4825700 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28048/statm: 316799 309683 562 1214 0 315581 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1267196
[startup+222.317 s]
/proc/loadavg: 2.00 2.02 1.96 3/430 28055
/proc/meminfo: memFree=26648460/32951124 swapFree=43324008/67111528
[pid=28048] ppid=28046 vsize=1459076 CPUtime=222.31 cores=1,3,5,7
/proc/28048/stat : 28048 (scip-2.0.1.4b.l) R 28046 28048 22076 0 -1 4202496 367707 0 0 0 22191 40 0 0 25 0 1 0 823736048 1494093824 358131 33554432000 4194304 9163163 140734321208064 18446744073709551615 5944288 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28048/statm: 364769 358131 562 1214 0 363551 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 1459076
[startup+282.301 s]
/proc/loadavg: 2.00 2.01 1.96 3/430 28056
/proc/meminfo: memFree=26336720/32951124 swapFree=43324008/67111528
[pid=28048] ppid=28046 vsize=1659844 CPUtime=282.3 cores=1,3,5,7
/proc/28048/stat : 28048 (scip-2.0.1.4b.l) R 28046 28048 22076 0 -1 4202496 417559 0 0 0 28183 47 0 0 25 0 1 0 823736048 1699680256 407983 33554432000 4194304 9163163 140734321208064 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28048/statm: 414961 407983 562 1214 0 413743 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1659844
[startup+342.301 s]
/proc/loadavg: 2.00 2.01 1.96 3/430 28058
/proc/meminfo: memFree=26198328/32951124 swapFree=43324008/67111528
[pid=28048] ppid=28046 vsize=1796408 CPUtime=342.3 cores=1,3,5,7
/proc/28048/stat : 28048 (scip-2.0.1.4b.l) R 28046 28048 22076 0 -1 4202496 451691 0 0 0 34179 51 0 0 25 0 1 0 823736048 1839521792 442115 33554432000 4194304 9163163 140734321208064 18446744073709551615 6567488 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28048/statm: 449102 442115 562 1214 0 447884 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1796408
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/430 28086
/proc/meminfo: memFree=26963436/32951124 swapFree=43324008/67111528
[pid=28048] ppid=28046 vsize=1977536 CPUtime=402.3 cores=1,3,5,7
/proc/28048/stat : 28048 (scip-2.0.1.4b.l) R 28046 28048 22076 0 -1 4202496 495681 0 0 0 40173 57 0 0 25 0 1 0 823736048 2024996864 486105 33554432000 4194304 9163163 140734321208064 18446744073709551615 4794560 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28048/statm: 494384 486105 562 1214 0 493166 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1977536
[startup+462.3 s]
/proc/loadavg: 2.05 2.01 1.97 3/430 28088
/proc/meminfo: memFree=26478324/32951124 swapFree=43324008/67111528
[pid=28048] ppid=28046 vsize=2106296 CPUtime=462.3 cores=1,3,5,7
/proc/28048/stat : 28048 (scip-2.0.1.4b.l) R 28046 28048 22076 0 -1 4202496 527745 0 0 0 46169 61 0 0 25 0 1 0 823736048 2156847104 518169 33554432000 4194304 9163163 140734321208064 18446744073709551615 5458879 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28048/statm: 526574 518169 566 1214 0 525356 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 2106296
[startup+522.3 s]
/proc/loadavg: 2.05 2.02 1.97 4/430 28090
/proc/meminfo: memFree=26248544/32951124 swapFree=43324008/67111528
[pid=28048] ppid=28046 vsize=2189952 CPUtime=522.3 cores=1,3,5,7
/proc/28048/stat : 28048 (scip-2.0.1.4b.l) R 28046 28048 22076 0 -1 4202496 548557 0 0 0 52166 64 0 0 25 0 1 0 823736048 2242510848 538981 33554432000 4194304 9163163 140734321208064 18446744073709551615 6566797 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28048/statm: 547488 538981 566 1214 0 546270 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 2189952
[startup+582.301 s]
/proc/loadavg: 2.02 2.02 1.97 3/430 28118
/proc/meminfo: memFree=26584764/32951124 swapFree=43324008/67111528
[pid=28048] ppid=28046 vsize=2267592 CPUtime=582.3 cores=1,3,5,7
/proc/28048/stat : 28048 (scip-2.0.1.4b.l) R 28046 28048 22076 0 -1 4202496 567992 0 0 0 58164 66 0 0 25 0 1 0 823736048 2322014208 558416 33554432000 4194304 9163163 140734321208064 18446744073709551615 6567807 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28048/statm: 566898 558416 566 1214 0 565680 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 2267592
[startup+642.301 s]
################
# More data... #
################
[startup+942.301 s]
/proc/loadavg: 2.13 2.05 1.99 3/430 28128
/proc/meminfo: memFree=25477092/32951124 swapFree=43324008/67111528
[pid=28048] ppid=28046 vsize=2644496 CPUtime=942.31 cores=1,3,5,7
/proc/28048/stat : 28048 (scip-2.0.1.4b.l) R 28046 28048 22076 0 -1 4202496 662290 0 0 0 94152 79 0 0 25 0 1 0 823736048 2707963904 652714 33554432000 4194304 9163163 140734321208064 18446744073709551615 5458879 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28048/statm: 661124 652714 566 1214 0 659906 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 2644496
[startup+1002.3 s]
/proc/loadavg: 2.17 2.07 2.00 3/430 28130
/proc/meminfo: memFree=25320940/32951124 swapFree=43324008/67111528
[pid=28048] ppid=28046 vsize=2698548 CPUtime=1002.32 cores=1,3,5,7
/proc/28048/stat : 28048 (scip-2.0.1.4b.l) R 28046 28048 22076 0 -1 4202496 675859 0 0 0 100151 81 0 0 25 0 1 0 823736048 2763313152 666283 33554432000 4194304 9163163 140734321208064 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28048/statm: 674637 666283 566 1214 0 673419 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 2698548
[startup+1062.3 s]
/proc/loadavg: 1.84 2.00 1.98 2/424 28148
/proc/meminfo: memFree=26390744/32951124 swapFree=43324008/67111528
[pid=28048] ppid=28046 vsize=2751736 CPUtime=1062.32 cores=1,3,5,7
/proc/28048/stat : 28048 (scip-2.0.1.4b.l) R 28046 28048 22076 0 -1 4202496 689351 0 0 0 106149 83 0 0 25 0 1 0 823736048 2817777664 679775 33554432000 4194304 9163163 140734321208064 18446744073709551615 4352474 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28048/statm: 687934 679775 566 1214 0 686716 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 2751736
[startup+1122.3 s]
/proc/loadavg: 1.31 1.82 1.92 2/424 28150
/proc/meminfo: memFree=26335996/32951124 swapFree=43324008/67111528
[pid=28048] ppid=28046 vsize=2806880 CPUtime=1122.32 cores=1,3,5,7
/proc/28048/stat : 28048 (scip-2.0.1.4b.l) R 28046 28048 22076 0 -1 4202496 702890 0 0 0 112147 85 0 0 25 0 1 0 823736048 2874245120 693314 33554432000 4194304 9163163 140734321208064 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28048/statm: 701720 693314 566 1214 0 700502 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 2806880
[startup+1182.3 s]
/proc/loadavg: 1.11 1.67 1.86 3/424 28151
/proc/meminfo: memFree=26270988/32951124 swapFree=43324008/67111528
[pid=28048] ppid=28046 vsize=2876072 CPUtime=1182.33 cores=1,3,5,7
/proc/28048/stat : 28048 (scip-2.0.1.4b.l) R 28046 28048 22076 0 -1 4202496 719402 0 0 0 118145 88 0 0 25 0 1 0 823736048 2945097728 709826 33554432000 4194304 9163163 140734321208064 18446744073709551615 5458879 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28048/statm: 719018 709826 566 1214 0 717800 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 2876072
[startup+1242.3 s]
/proc/loadavg: 1.04 1.54 1.80 2/424 28153
/proc/meminfo: memFree=26214132/32951124 swapFree=43324008/67111528
[pid=28048] ppid=28046 vsize=2934320 CPUtime=1242.33 cores=1,3,5,7
/proc/28048/stat : 28048 (scip-2.0.1.4b.l) R 28046 28048 22076 0 -1 4202496 733487 0 0 0 124143 90 0 0 25 0 1 0 823736048 3004743680 723911 33554432000 4194304 9163163 140734321208064 18446744073709551615 6567776 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28048/statm: 733580 723911 566 1214 0 732362 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 2934320
[startup+1302.3 s]
/proc/loadavg: 1.01 1.44 1.75 2/424 28154
/proc/meminfo: memFree=26161000/32951124 swapFree=43324008/67111528
[pid=28048] ppid=28046 vsize=2984184 CPUtime=1302.33 cores=1,3,5,7
/proc/28048/stat : 28048 (scip-2.0.1.4b.l) R 28046 28048 22076 0 -1 4202496 746600 0 0 0 130141 92 0 0 25 0 1 0 823736048 3055804416 736966 33554432000 4194304 9163163 140734321208064 18446744073709551615 6567797 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28048/statm: 746046 736966 566 1214 0 744828 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 2984184
[startup+1362.3 s]
/proc/loadavg: 1.00 1.36 1.70 2/424 28156
/proc/meminfo: memFree=26108244/32951124 swapFree=43324008/67111528
[pid=28048] ppid=28046 vsize=3034320 CPUtime=1362.33 cores=1,3,5,7
/proc/28048/stat : 28048 (scip-2.0.1.4b.l) R 28046 28048 22076 0 -1 4202496 759958 0 0 0 136139 94 0 0 25 0 1 0 823736048 3107143680 750324 33554432000 4194304 9163163 140734321208064 18446744073709551615 5458879 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28048/statm: 758580 750324 566 1214 0 757362 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 3034320
[startup+1422.3 s]
/proc/loadavg: 1.00 1.29 1.65 2/424 28158
/proc/meminfo: memFree=26054980/32951124 swapFree=43324008/67111528
[pid=28048] ppid=28046 vsize=3091552 CPUtime=1422.35 cores=1,3,5,7
/proc/28048/stat : 28048 (scip-2.0.1.4b.l) R 28046 28048 22076 0 -1 4202496 773149 0 0 0 142139 96 0 0 25 0 1 0 823736048 3165749248 763515 33554432000 4194304 9163163 140734321208064 18446744073709551615 5458879 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28048/statm: 772888 763515 566 1214 0 771670 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 3091552
[startup+1482.3 s]
/proc/loadavg: 1.00 1.23 1.61 2/424 28159
/proc/meminfo: memFree=26003728/32951124 swapFree=43324008/67111528
[pid=28048] ppid=28046 vsize=3141700 CPUtime=1482.34 cores=1,3,5,7
/proc/28048/stat : 28048 (scip-2.0.1.4b.l) R 28046 28048 22076 0 -1 4202496 786107 0 0 0 148135 99 0 0 25 0 1 0 823736048 3217100800 776473 33554432000 4194304 9163163 140734321208064 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28048/statm: 785425 776473 566 1214 0 784207 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 3141700
[startup+1542.32 s]
/proc/loadavg: 1.04 1.20 1.57 2/424 28161
/proc/meminfo: memFree=25952216/32951124 swapFree=43324008/67111528
[pid=28048] ppid=28046 vsize=3192808 CPUtime=1542.35 cores=1,3,5,7
/proc/28048/stat : 28048 (scip-2.0.1.4b.l) R 28046 28048 22076 0 -1 4202496 798797 0 0 0 154135 100 0 0 25 0 1 0 823736048 3269435392 789163 33554432000 4194304 9163163 140734321208064 18446744073709551615 5458899 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28048/statm: 798202 789163 566 1214 0 796984 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 3192808
[startup+1602.3 s]
/proc/loadavg: 1.01 1.16 1.53 2/424 28162
/proc/meminfo: memFree=25902916/32951124 swapFree=43324008/67111528
[pid=28048] ppid=28046 vsize=3244980 CPUtime=1602.34 cores=1,3,5,7
/proc/28048/stat : 28048 (scip-2.0.1.4b.l) R 28046 28048 22076 0 -1 4202496 811172 0 0 0 160132 102 0 0 25 0 1 0 823736048 3322859520 801538 33554432000 4194304 9163163 140734321208064 18446744073709551615 4785031 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28048/statm: 811245 801538 566 1214 0 810027 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 3244980
[startup+1662.3 s]
/proc/loadavg: 1.00 1.13 1.50 2/424 28164
/proc/meminfo: memFree=25844584/32951124 swapFree=43324008/67111528
[pid=28048] ppid=28046 vsize=3300192 CPUtime=1662.34 cores=1,3,5,7
/proc/28048/stat : 28048 (scip-2.0.1.4b.l) R 28046 28048 22076 0 -1 4202496 825678 0 0 0 166130 104 0 0 25 0 1 0 823736048 3379396608 816044 33554432000 4194304 9163163 140734321208064 18446744073709551615 5458879 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28048/statm: 825048 816044 566 1214 0 823830 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 3300192
[startup+1722.3 s]
/proc/loadavg: 1.00 1.11 1.46 2/424 28166
/proc/meminfo: memFree=25789096/32951124 swapFree=43324008/67111528
[pid=28048] ppid=28046 vsize=3358208 CPUtime=1722.34 cores=1,3,5,7
/proc/28048/stat : 28048 (scip-2.0.1.4b.l) R 28046 28048 22076 0 -1 4202496 839690 0 0 0 172128 106 0 0 25 0 1 0 823736048 3438804992 830056 33554432000 4194304 9163163 140734321208064 18446744073709551615 5458921 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28048/statm: 839552 830056 566 1214 0 838334 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 3358208
[startup+1782.3 s]
/proc/loadavg: 1.00 1.08 1.43 2/424 28167
/proc/meminfo: memFree=25737208/32951124 swapFree=43324008/67111528
[pid=28048] ppid=28046 vsize=3410308 CPUtime=1782.34 cores=1,3,5,7
/proc/28048/stat : 28048 (scip-2.0.1.4b.l) R 28046 28048 22076 0 -1 4202496 852290 0 0 0 178126 108 0 0 25 0 1 0 823736048 3492155392 842656 33554432000 4194304 9163163 140734321208064 18446744073709551615 5458879 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28048/statm: 852577 842656 566 1214 0 851359 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 3410308
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 1.00 1.08 1.42 2/424 28168
/proc/meminfo: memFree=25724308/32951124 swapFree=43324008/67111528
[pid=28048] ppid=28046 vsize=3420396 CPUtime=1800.06 cores=1,3,5,7
/proc/28048/stat : 28048 (scip-2.0.1.4b.l) R 28046 28048 22076 0 -1 4202496 855508 0 0 0 179897 109 0 0 25 0 1 0 823736048 3502485504 845874 33554432000 4194304 9163163 140734321208064 18446744073709551615 4232658 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28048/statm: 855099 845874 566 1214 0 853881 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 3420396
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.3 s]
/proc/loadavg: 1.00 1.08 1.42 2/424 28168
/proc/meminfo: memFree=25724308/32951124 swapFree=43324008/67111528
[pid=28048] ppid=28046 vsize=3406316 CPUtime=1800.35 cores=1,3,5,7
/proc/28048/stat : 28048 (scip-2.0.1.4b.l) R 28046 28048 22076 0 -1 4202496 856056 0 0 0 179926 109 0 0 18 0 1 0 823736048 3488067584 842544 33554432000 4194304 9163163 140734321208064 18446744073709551615 6923113 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28048/statm: 851579 842544 575 1214 0 850361 0
Current children cumulated CPU time (s) 1800.35
Current children cumulated vsize (KiB) 3406316
[startup+1800.5 s]
/proc/loadavg: 1.00 1.08 1.42 2/424 28168
/proc/meminfo: memFree=25724308/32951124 swapFree=43324008/67111528
[pid=28048] ppid=28046 vsize=2765412 CPUtime=1800.54 cores=1,3,5,7
/proc/28048/stat : 28048 (scip-2.0.1.4b.l) R 28046 28048 22076 0 -1 4202496 856072 0 0 0 179938 116 0 0 18 0 1 0 823736048 2831781888 395130 33554432000 4194304 9163163 140734321208064 18446744073709551615 8264362 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28048/statm: 691353 394618 591 1214 0 690135 0
Current children cumulated CPU time (s) 1800.54
Current children cumulated vsize (KiB) 2765412
Child status: 0
Real time (s): 1800.56
CPU time (s): 1800.62
CPU user time (s): 1799.39
CPU system time (s): 1.23081
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 3420396
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.39
system time used= 1.23081
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 856074
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= 6
involuntary context switches= 1316
runsolver used 7.44287 second user time and 18.3552 second system time
The end