0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
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-3451868-1307120834.opb>
1.11/1.17 c original problem has 54782 variables (54782 bin, 0 int, 0 impl, 0 cont) and 184430 constraints
1.11/1.17 c problem read
1.11/1.17 c presolving settings loaded
1.49/1.51 c presolving:
6.10/6.16 c (round 1) 4640 del vars, 13620 del conss, 0 add conss, 3483 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12489302 impls, 0 clqs
7.61/7.63 c (round 2) 9454 del vars, 32229 del conss, 0 add conss, 8073 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12514821 impls, 0 clqs
7.99/8.03 c (round 3) 11314 del vars, 40495 del conss, 0 add conss, 9141 chg bounds, 55 chg sides, 42 chg coeffs, 0 upgd conss, 12526338 impls, 0 clqs
8.19/8.21 c (round 4) 12016 del vars, 43530 del conss, 0 add conss, 9532 chg bounds, 78 chg sides, 68 chg coeffs, 0 upgd conss, 12531324 impls, 0 clqs
8.29/8.34 c (round 5) 12341 del vars, 44865 del conss, 0 add conss, 9748 chg bounds, 81 chg sides, 71 chg coeffs, 0 upgd conss, 12533282 impls, 0 clqs
8.39/8.43 c (round 6) 12582 del vars, 45812 del conss, 0 add conss, 9880 chg bounds, 81 chg sides, 71 chg coeffs, 0 upgd conss, 12535326 impls, 0 clqs
8.39/8.48 c (round 7) 12674 del vars, 46276 del conss, 0 add conss, 9929 chg bounds, 81 chg sides, 71 chg coeffs, 0 upgd conss, 12535906 impls, 0 clqs
8.49/8.54 c (round 8) 12740 del vars, 46517 del conss, 0 add conss, 9973 chg bounds, 81 chg sides, 71 chg coeffs, 0 upgd conss, 12536346 impls, 0 clqs
8.49/8.59 c (round 9) 12772 del vars, 46673 del conss, 0 add conss, 9992 chg bounds, 81 chg sides, 71 chg coeffs, 0 upgd conss, 12536476 impls, 0 clqs
8.59/8.64 c (round 10) 12788 del vars, 46757 del conss, 0 add conss, 10005 chg bounds, 81 chg sides, 71 chg coeffs, 0 upgd conss, 12536532 impls, 0 clqs
8.59/8.68 c (round 11) 12802 del vars, 46810 del conss, 0 add conss, 10012 chg bounds, 81 chg sides, 71 chg coeffs, 0 upgd conss, 12536602 impls, 0 clqs
8.71/8.72 c (round 12) 12802 del vars, 46824 del conss, 0 add conss, 10012 chg bounds, 81 chg sides, 71 chg coeffs, 0 upgd conss, 12536602 impls, 0 clqs
9.19/9.22 c (round 13) 12802 del vars, 46824 del conss, 0 add conss, 10012 chg bounds, 81 chg sides, 71 chg coeffs, 137606 upgd conss, 12536602 impls, 0 clqs
9.49/9.51 c (round 14) 12802 del vars, 46829 del conss, 69 add conss, 10012 chg bounds, 197 chg sides, 587 chg coeffs, 137606 upgd conss, 12537312 impls, 2485 clqs
9.69/9.72 c (round 15) 12802 del vars, 46847 del conss, 75 add conss, 10012 chg bounds, 203 chg sides, 605 chg coeffs, 137606 upgd conss, 12537382 impls, 2664 clqs
508.58/508.61 c (508.6s) probing: 1000/41980 (2.4%) - 17 fixings, 1 aggregations, 10232458 implications, 0 bound changes
930.19/930.21 c (930.2s) probing: 2000/41980 (4.8%) - 17 fixings, 1 aggregations, 16800512 implications, 0 bound changes
994.60/994.68 c (994.7s) probing: 2151/41980 (5.1%) - 17 fixings, 1 aggregations, 17692592 implications, 0 bound changes
994.60/994.68 c (994.7s) probing aborted: 2000/2000 successive useless probings
994.60/994.68 c (round 16) 12820 del vars, 46847 del conss, 75 add conss, 10012 chg bounds, 203 chg sides, 606 chg coeffs, 137606 upgd conss, 73882256 impls, 2664 clqs
995.20/995.22 c (round 17) 12820 del vars, 47692 del conss, 75 add conss, 10012 chg bounds, 204 chg sides, 811 chg coeffs, 137606 upgd conss, 73882256 impls, 2664 clqs
995.52/995.55 c (round 18) 12820 del vars, 47692 del conss, 94 add conss, 10012 chg bounds, 223 chg sides, 875 chg coeffs, 137606 upgd conss, 73882256 impls, 2923 clqs
1093.20/1093.29 c (round 19) 12870 del vars, 47692 del conss, 94 add conss, 10012 chg bounds, 224 chg sides, 881 chg coeffs, 137606 upgd conss, 76741578 impls, 2923 clqs
1094.20/1094.24 c (round 20) 12872 del vars, 47870 del conss, 94 add conss, 10012 chg bounds, 224 chg sides, 890 chg coeffs, 137606 upgd conss, 76784028 impls, 2923 clqs
1198.41/1198.44 c (round 21) 12924 del vars, 47872 del conss, 94 add conss, 10012 chg bounds, 224 chg sides, 890 chg coeffs, 137606 upgd conss, 81160960 impls, 2927 clqs
1199.03/1199.07 c (round 22) 12926 del vars, 48067 del conss, 94 add conss, 10012 chg bounds, 224 chg sides, 896 chg coeffs, 137606 upgd conss, 81160966 impls, 2927 clqs
1332.02/1332.07 c (1332.1s) probing: 3000/41980 (7.1%) - 113 fixings, 35 aggregations, 22868744 implications, 0 bound changes
1725.12/1725.18 c (1725.2s) probing: 4000/41980 (9.5%) - 127 fixings, 40 aggregations, 33657102 implications, 0 bound changes
1800.04/1800.09 c (1800.1s) probing: 4173/41980 (9.9%) - 129 fixings, 40 aggregations, 35581331 implications, 0 bound changes
1800.04/1800.09 c (1800.1s) probing aborted: solving stopped
1800.04/1800.09 c (round 23) 12975 del vars, 48069 del conss, 94 add conss, 10012 chg bounds, 224 chg sides, 896 chg coeffs, 137606 upgd conss, 117728264 impls, 2930 clqs
1800.04/1800.09 c presolving (23 rounds):
1800.04/1800.09 c 12975 deleted vars, 48069 deleted constraints, 94 added constraints, 10012 tightened bounds, 0 added holes, 224 changed sides, 896 changed coefficients
1800.04/1800.09 c 117728264 implications, 2930 cliques
1800.04/1800.09 c presolving was interrupted.
1800.04/1800.09 c Presolving Time: 1798.68
1800.04/1800.09 c - non default parameters ----------------------------------------------------------------------
1800.04/1800.09 c # SCIP version 2.0.1.5
1800.04/1800.09 c
1800.04/1800.09 c # frequency for displaying node information lines
1800.04/1800.09 c # [type: int, range: [-1,2147483647], default: 100]
1800.04/1800.09 c display/freq = 10000
1800.04/1800.09 c
1800.04/1800.09 c # maximal time in seconds to run
1800.04/1800.09 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1800.04/1800.09 c limits/time = 1800
1800.04/1800.09 c
1800.04/1800.09 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1800.04/1800.09 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1800.04/1800.09 c limits/memory = 13950
1800.04/1800.09 c
1800.04/1800.09 c # default clock type (1: CPU user seconds, 2: wall clock time)
1800.04/1800.09 c # [type: int, range: [1,2], default: 1]
1800.04/1800.09 c timing/clocktype = 2
1800.04/1800.09 c
1800.04/1800.09 c # belongs reading time to solving time?
1800.04/1800.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.04/1800.09 c timing/reading = TRUE
1800.04/1800.09 c
1800.04/1800.09 c # should presolving try to simplify inequalities
1800.04/1800.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.04/1800.09 c constraints/linear/simplifyinequalities = TRUE
1800.04/1800.09 c
1800.04/1800.09 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1800.04/1800.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.04/1800.09 c constraints/indicator/addCouplingCons = TRUE
1800.04/1800.09 c
1800.04/1800.09 c # should presolving try to simplify knapsacks
1800.04/1800.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.04/1800.09 c constraints/knapsack/simplifyinequalities = TRUE
1800.04/1800.09 c
1800.04/1800.09 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1800.04/1800.09 c # [type: int, range: [-1,2147483647], default: -1]
1800.04/1800.09 c separating/rapidlearning/freq = 0
1800.04/1800.09 c
1800.04/1800.09 c -----------------------------------------------------------------------------------------------
1800.04/1800.09 c start solving
1800.14/1800.12 c presolving:
1800.14/1800.12 c presolving (23 rounds):
1800.14/1800.12 c 12975 deleted vars, 48069 deleted constraints, 94 added constraints, 10012 tightened bounds, 0 added holes, 224 changed sides, 896 changed coefficients
1800.14/1800.12 c 117728264 implications, 2930 cliques
1800.14/1800.12 c presolving was interrupted.
1800.14/1800.12 c Presolving Time: 1798.71
1800.14/1800.12 c
1800.14/1800.12 c SCIP Status : solving was interrupted [time limit reached]
1800.14/1800.12 c Solving Time (sec) : 1800.12
1800.14/1800.12 c Solving Nodes : 0
1800.14/1800.12 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.14/1800.12 s UNKNOWN
1800.14/1800.12 c SCIP Status : solving was interrupted [time limit reached]
1800.14/1800.12 c Total Time : 1800.12
1800.14/1800.12 c solving : 1800.12
1800.14/1800.12 c presolving : 1798.71 (included in solving)
1800.14/1800.12 c reading : 1.17 (included in solving)
1800.14/1800.12 c Original Problem :
1800.14/1800.12 c Problem name : HOME/instance-3451868-1307120834.opb
1800.14/1800.12 c Variables : 54782 (54782 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.14/1800.12 c Constraints : 184430 initial, 184430 maximal
1800.14/1800.12 c Presolved Problem :
1800.14/1800.12 c Problem name : t_HOME/instance-3451868-1307120834.opb
1800.14/1800.12 c Variables : 41807 (41807 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.14/1800.12 c Constraints : 136455 initial, 136455 maximal
1800.14/1800.12 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.14/1800.12 c trivial : 0.05 836 0 0 0 0 0 0 0 0
1800.14/1800.12 c dualfix : 0.06 92 0 0 0 0 0 0 0 0
1800.14/1800.12 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.14/1800.12 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.14/1800.12 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1800.14/1800.12 c implics : 1.67 0 4 0 0 0 0 0 0 0
1800.14/1800.12 c probing : 1786.70 129 40 0 0 0 0 0 0 0
1800.14/1800.12 c knapsack : 1.96 0 0 0 0 0 23 94 143 825
1800.14/1800.12 c setppc : 0.62 0 0 0 0 0 1189 0 0 0
1800.14/1800.12 c linear : 7.15 9176 2698 0 10012 0 46824 0 81 71
1800.14/1800.12 c logicor : 0.20 0 0 0 0 0 33 0 0 0
1800.14/1800.12 c root node : - 0 - - 0 - - - - -
1800.14/1800.12 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.14/1800.12 c integral : 0 0 0 0 0 0 0 0 0 0 0 0
1800.14/1800.12 c knapsack : 0+ 0 186886 0 0 0 0 22 0 0 0 0
1800.14/1800.12 c setppc : 0+ 0 186864 0 0 0 0 38 0 0 0 0
1800.14/1800.12 c linear : 0+ 0 0 0 0 0 0 0 0 0 0 0
1800.14/1800.12 c logicor : 0+ 0 171985 0 0 0 0 23 0 0 0 0
1800.14/1800.12 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1800.14/1800.12 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.14/1800.12 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.14/1800.12 c knapsack : 10.45 0.00 10.45 0.00 0.00 0.00 0.00
1800.14/1800.12 c setppc : 851.03 0.00 851.03 0.00 0.00 0.00 0.00
1800.14/1800.12 c linear : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.14/1800.12 c logicor : 14.34 0.00 14.34 0.00 0.00 0.00 0.00
1800.14/1800.12 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.14/1800.12 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.14/1800.12 c vbounds : 0 0 0 0
1800.14/1800.12 c rootredcost : 0 0 0 0
1800.14/1800.12 c pseudoobj : 0 0 0 0
1800.14/1800.12 c Propagator Timings : TotalTime Propagate Resprop
1800.14/1800.12 c vbounds : 0.08 0.08 0.00
1800.14/1800.12 c rootredcost : 0.05 0.05 0.00
1800.14/1800.12 c pseudoobj : 0.03 0.03 0.00
1800.14/1800.12 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.14/1800.12 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1800.14/1800.12 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.14/1800.12 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.14/1800.12 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.14/1800.12 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.14/1800.12 c applied globally : - - - 0 0.0 - - -
1800.14/1800.12 c applied locally : - - - 0 0.0 - - -
1800.64/1800.69 c Time complete: 1800.72.
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-3451868-1307120834/watcher-3451868-1307120834 -o /tmp/evaluation-result-3451868-1307120834/solver-3451868-1307120834 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3451868-1307120834.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: 2.00 2.03 2.00 2/572 26102
/proc/meminfo: memFree=23583376/32951124 swapFree=58940260/67111528
[pid=26102] ppid=26100 vsize=14972 CPUtime=0.01 cores=0,2,4,6
/proc/26102/stat : 26102 (scip-2.0.1.4b.l) R 26100 26102 23203 0 -1 4202496 2715 0 0 0 1 0 0 0 25 0 1 0 823681135 15331328 2668 33554432000 4194304 9163163 140734397248144 18446744073709551615 6137992 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/26102/statm: 3743 2668 395 1214 0 2525 0
[startup+0.064563 s]
/proc/loadavg: 2.00 2.03 2.00 2/572 26102
/proc/meminfo: memFree=23583376/32951124 swapFree=58940260/67111528
[pid=26102] ppid=26100 vsize=23636 CPUtime=0.05 cores=0,2,4,6
/proc/26102/stat : 26102 (scip-2.0.1.4b.l) R 26100 26102 23203 0 -1 4202496 4877 0 0 0 5 0 0 0 25 0 1 0 823681135 24203264 4830 33554432000 4194304 9163163 140734397248144 18446744073709551615 4485688 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/26102/statm: 5909 4830 395 1214 0 4691 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 23636
[startup+0.100522 s]
/proc/loadavg: 2.00 2.03 2.00 2/572 26102
/proc/meminfo: memFree=23583376/32951124 swapFree=58940260/67111528
[pid=26102] ppid=26100 vsize=30068 CPUtime=0.09 cores=0,2,4,6
/proc/26102/stat : 26102 (scip-2.0.1.4b.l) R 26100 26102 23203 0 -1 4202496 6519 0 0 0 9 0 0 0 25 0 1 0 823681135 30789632 6472 33554432000 4194304 9163163 140734397248144 18446744073709551615 6137604 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/26102/statm: 7517 6472 395 1214 0 6299 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 30068
[startup+0.300515 s]
/proc/loadavg: 2.00 2.03 2.00 2/572 26102
/proc/meminfo: memFree=23583376/32951124 swapFree=58940260/67111528
[pid=26102] ppid=26100 vsize=50692 CPUtime=0.29 cores=0,2,4,6
/proc/26102/stat : 26102 (scip-2.0.1.4b.l) R 26100 26102 23203 0 -1 4202496 11653 0 0 0 28 1 0 0 25 0 1 0 823681135 51908608 11606 33554432000 4194304 9163163 140734397248144 18446744073709551615 8031149 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/26102/statm: 12673 11606 395 1214 0 11455 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 50692
[startup+0.70045 s]
/proc/loadavg: 2.00 2.03 2.00 2/572 26102
/proc/meminfo: memFree=23583376/32951124 swapFree=58940260/67111528
[pid=26102] ppid=26100 vsize=77812 CPUtime=0.69 cores=0,2,4,6
/proc/26102/stat : 26102 (scip-2.0.1.4b.l) R 26100 26102 23203 0 -1 4202496 18403 0 0 0 67 2 0 0 25 0 1 0 823681135 79679488 18356 33554432000 4194304 9163163 140734397248144 18446744073709551615 6167810 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/26102/statm: 19453 18356 395 1214 0 18235 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 77812
[startup+1.5003 s]
/proc/loadavg: 2.00 2.03 2.00 3/576 26109
/proc/meminfo: memFree=23378124/32951124 swapFree=58940260/67111528
[pid=26102] ppid=26100 vsize=286720 CPUtime=1.49 cores=0,2,4,6
/proc/26102/stat : 26102 (scip-2.0.1.4b.l) R 26100 26102 23203 0 -1 4202496 69704 0 0 0 141 8 0 0 25 0 1 0 823681135 293601280 69602 33554432000 4194304 9163163 140734397248144 18446744073709551615 4343212 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/26102/statm: 71680 69602 474 1214 0 70462 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 286720
[startup+3.10097 s]
/proc/loadavg: 2.00 2.03 2.00 3/576 26109
/proc/meminfo: memFree=22869268/32951124 swapFree=58940260/67111528
[pid=26102] ppid=26100 vsize=466148 CPUtime=3.09 cores=0,2,4,6
/proc/26102/stat : 26102 (scip-2.0.1.4b.l) R 26100 26102 23203 0 -1 4202496 114439 0 0 0 296 13 0 0 25 0 1 0 823681135 477335552 114337 33554432000 4194304 9163163 140734397248144 18446744073709551615 4352466 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/26102/statm: 116537 114337 506 1214 0 115319 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 466148
[startup+6.30039 s]
/proc/loadavg: 2.00 2.02 2.00 3/576 26109
/proc/meminfo: memFree=22319944/32951124 swapFree=58940260/67111528
[pid=26102] ppid=26100 vsize=668020 CPUtime=6.29 cores=0,2,4,6
/proc/26102/stat : 26102 (scip-2.0.1.4b.l) R 26100 26102 23203 0 -1 4202496 163403 0 0 0 609 20 0 0 25 0 1 0 823681135 684052480 163044 33554432000 4194304 9163163 140734397248144 18446744073709551615 6568751 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/26102/statm: 167005 163044 517 1214 0 165787 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 668020
[startup+12.7002 s]
/proc/loadavg: 2.00 2.02 2.00 3/576 26110
/proc/meminfo: memFree=22083168/32951124 swapFree=58940260/67111528
[pid=26102] ppid=26100 vsize=776844 CPUtime=12.69 cores=0,2,4,6
/proc/26102/stat : 26102 (scip-2.0.1.4b.l) R 26100 26102 23203 0 -1 4202496 197097 0 0 0 1246 23 0 0 25 0 1 0 823681135 795488256 189598 33554432000 4194304 9163163 140734397248144 18446744073709551615 6567776 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/26102/statm: 194211 189598 563 1214 0 192993 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 776844
[startup+25.5009 s]
/proc/loadavg: 2.00 2.02 2.00 3/576 26110
/proc/meminfo: memFree=22002952/32951124 swapFree=58940260/67111528
[pid=26102] ppid=26100 vsize=814920 CPUtime=25.49 cores=0,2,4,6
/proc/26102/stat : 26102 (scip-2.0.1.4b.l) R 26100 26102 23203 0 -1 4202496 205813 0 0 0 2525 24 0 0 25 0 1 0 823681135 834478080 198314 33554432000 4194304 9163163 140734397248144 18446744073709551615 4904297 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/26102/statm: 203730 198314 563 1214 0 202512 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 814920
[startup+51.1002 s]
/proc/loadavg: 2.00 2.02 2.00 3/576 26111
/proc/meminfo: memFree=21830144/32951124 swapFree=58940260/67111528
[pid=26102] ppid=26100 vsize=901132 CPUtime=51.07 cores=0,2,4,6
/proc/26102/stat : 26102 (scip-2.0.1.4b.l) R 26100 26102 23203 0 -1 4202496 226876 0 0 0 5079 28 0 0 25 0 1 0 823681135 922759168 219377 33554432000 4194304 9163163 140734397248144 18446744073709551615 6567500 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26102/statm: 225283 219377 563 1214 0 224065 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 901132
[startup+102.322 s]
/proc/loadavg: 2.00 2.02 2.00 3/576 26112
/proc/meminfo: memFree=21550660/32951124 swapFree=58940260/67111528
[pid=26102] ppid=26100 vsize=1038192 CPUtime=102.29 cores=0,2,4,6
/proc/26102/stat : 26102 (scip-2.0.1.4b.l) R 26100 26102 23203 0 -1 4202496 260304 0 0 0 10197 32 0 0 25 0 1 0 823681135 1063108608 252805 33554432000 4194304 9163163 140734397248144 18446744073709551615 4352471 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26102/statm: 259548 252805 563 1214 0 258330 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 1038192
[startup+162.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/576 26114
/proc/meminfo: memFree=21155084/32951124 swapFree=58940260/67111528
[pid=26102] ppid=26100 vsize=1221944 CPUtime=162.27 cores=0,2,4,6
/proc/26102/stat : 26102 (scip-2.0.1.4b.l) R 26100 26102 23203 0 -1 4202496 305690 0 0 0 16190 37 0 0 25 0 1 0 823681135 1251270656 298158 33554432000 4194304 9163163 140734397248144 18446744073709551615 6567787 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26102/statm: 305486 298158 563 1214 0 304268 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 1221944
[startup+222.301 s]
/proc/loadavg: 2.16 2.04 2.01 3/576 26115
/proc/meminfo: memFree=20714228/32951124 swapFree=58940260/67111528
[pid=26102] ppid=26100 vsize=1429616 CPUtime=222.28 cores=0,2,4,6
/proc/26102/stat : 26102 (scip-2.0.1.4b.l) R 26100 26102 23203 0 -1 4202496 357755 0 0 0 22183 45 0 0 25 0 1 0 823681135 1463926784 350223 33554432000 4194304 9163163 140734397248144 18446744073709551615 4782790 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26102/statm: 357404 350223 563 1214 0 356186 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 1429616
[startup+282.301 s]
/proc/loadavg: 2.20 2.06 2.02 3/576 26117
/proc/meminfo: memFree=20282200/32951124 swapFree=58940260/67111528
[pid=26102] ppid=26100 vsize=1620240 CPUtime=282.28 cores=0,2,4,6
/proc/26102/stat : 26102 (scip-2.0.1.4b.l) R 26100 26102 23203 0 -1 4202496 405130 0 0 0 28177 51 0 0 25 0 1 0 823681135 1659125760 397598 33554432000 4194304 9163163 140734397248144 18446744073709551615 5074806 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26102/statm: 405060 397598 563 1214 0 403842 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 1620240
[startup+342.301 s]
/proc/loadavg: 2.07 2.05 2.01 3/576 26118
/proc/meminfo: memFree=20033804/32951124 swapFree=58940260/67111528
[pid=26102] ppid=26100 vsize=1742860 CPUtime=342.28 cores=0,2,4,6
/proc/26102/stat : 26102 (scip-2.0.1.4b.l) R 26100 26102 23203 0 -1 4202496 435854 0 0 0 34172 56 0 0 25 0 1 0 823681135 1784688640 428322 33554432000 4194304 9163163 140734397248144 18446744073709551615 6567500 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26102/statm: 435715 428322 563 1214 0 434497 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 1742860
[startup+402.301 s]
/proc/loadavg: 2.17 2.07 2.01 3/576 26120
/proc/meminfo: memFree=19774252/32951124 swapFree=58940260/67111528
[pid=26102] ppid=26100 vsize=1887728 CPUtime=402.28 cores=0,2,4,6
/proc/26102/stat : 26102 (scip-2.0.1.4b.l) R 26100 26102 23203 0 -1 4202496 471827 0 0 0 40166 62 0 0 25 0 1 0 823681135 1933033472 464295 33554432000 4194304 9163163 140734397248144 18446744073709551615 6567488 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26102/statm: 471932 464295 563 1214 0 470714 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 1887728
[startup+462.301 s]
/proc/loadavg: 2.13 2.07 2.01 3/576 26122
/proc/meminfo: memFree=19496960/32951124 swapFree=58940260/67111528
[pid=26102] ppid=26100 vsize=2044852 CPUtime=462.29 cores=0,2,4,6
/proc/26102/stat : 26102 (scip-2.0.1.4b.l) R 26100 26102 23203 0 -1 4202496 510864 0 0 0 46159 70 0 0 25 0 1 0 823681135 2093928448 503332 33554432000 4194304 9163163 140734397248144 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26102/statm: 511213 503332 563 1214 0 509995 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 2044852
[startup+522.301 s]
/proc/loadavg: 2.05 2.05 2.01 3/576 26123
/proc/meminfo: memFree=19360296/32951124 swapFree=58940260/67111528
[pid=26102] ppid=26100 vsize=2125844 CPUtime=522.28 cores=0,2,4,6
/proc/26102/stat : 26102 (scip-2.0.1.4b.l) R 26100 26102 23203 0 -1 4202496 531077 0 0 0 52154 74 0 0 25 0 1 0 823681135 2176864256 523545 33554432000 4194304 9163163 140734397248144 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26102/statm: 531461 523545 567 1214 0 530243 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 2125844
[startup+582.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/576 26125
/proc/meminfo: memFree=19223740/32951124 swapFree=58940260/67111528
[pid=26102] ppid=26100 vsize=2201744 CPUtime=582.28 cores=0,2,4,6
/proc/26102/stat : 26102 (scip-2.0.1.4b.l) R 26100 26102 23203 0 -1 4202496 550695 0 0 0 58151 77 0 0 25 0 1 0 823681135 2254585856 543163 33554432000 4194304 9163163 140734397248144 18446744073709551615 5458879 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26102/statm: 550436 543163 567 1214 0 549218 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 2201744
[startup+642.3 s]
################
# More data... #
################
[startup+942.3 s]
/proc/loadavg: 2.17 2.09 2.02 2/571 26149
/proc/meminfo: memFree=21031040/32951124 swapFree=58940260/67111528
[pid=26102] ppid=26100 vsize=2569164 CPUtime=942.3 cores=0,2,4,6
/proc/26102/stat : 26102 (scip-2.0.1.4b.l) R 26100 26102 23203 0 -1 4202496 641848 0 0 0 94138 92 0 0 25 0 1 0 823681135 2630823936 634316 33554432000 4194304 9163163 140734397248144 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26102/statm: 642291 634316 567 1214 0 641073 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 2569164
[startup+1002.3 s]
/proc/loadavg: 2.06 2.07 2.02 3/576 26163
/proc/meminfo: memFree=20373052/32951124 swapFree=58940260/67111528
[pid=26102] ppid=26100 vsize=2636236 CPUtime=1002.3 cores=0,2,4,6
/proc/26102/stat : 26102 (scip-2.0.1.4b.l) R 26100 26102 23203 0 -1 4202496 659448 0 0 0 100136 94 0 0 25 0 1 0 823681135 2699505664 651916 33554432000 4194304 9163163 140734397248144 18446744073709551615 6567511 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26102/statm: 659059 651916 567 1214 0 657841 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 2636236
[startup+1062.3 s]
/proc/loadavg: 2.02 2.06 2.01 3/576 26165
/proc/meminfo: memFree=20179460/32951124 swapFree=58940260/67111528
[pid=26102] ppid=26100 vsize=2685976 CPUtime=1062.3 cores=0,2,4,6
/proc/26102/stat : 26102 (scip-2.0.1.4b.l) R 26100 26102 23203 0 -1 4202496 671631 0 0 0 106134 96 0 0 25 0 1 0 823681135 2750439424 664099 33554432000 4194304 9163163 140734397248144 18446744073709551615 6567515 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26102/statm: 671494 664099 567 1214 0 670276 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 2685976
[startup+1122.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/576 26166
/proc/meminfo: memFree=20002344/32951124 swapFree=58940260/67111528
[pid=26102] ppid=26100 vsize=2715000 CPUtime=1122.31 cores=0,2,4,6
/proc/26102/stat : 26102 (scip-2.0.1.4b.l) R 26100 26102 23203 0 -1 4202496 678503 0 0 0 112133 98 0 0 25 0 1 0 823681135 2780160000 670971 33554432000 4194304 9163163 140734397248144 18446744073709551615 6567797 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26102/statm: 678750 670971 567 1214 0 677532 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 2715000
[startup+1182.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/576 26168
/proc/meminfo: memFree=19815824/32951124 swapFree=58940260/67111528
[pid=26102] ppid=26100 vsize=2788588 CPUtime=1182.31 cores=0,2,4,6
/proc/26102/stat : 26102 (scip-2.0.1.4b.l) R 26100 26102 23203 0 -1 4202496 696595 0 0 0 118131 100 0 0 25 0 1 0 823681135 2855514112 689063 33554432000 4194304 9163163 140734397248144 18446744073709551615 4352474 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26102/statm: 697147 689063 567 1214 0 695929 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 2788588
[startup+1242.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/576 26169
/proc/meminfo: memFree=19728868/32951124 swapFree=58940260/67111528
[pid=26102] ppid=26100 vsize=2874948 CPUtime=1242.31 cores=0,2,4,6
/proc/26102/stat : 26102 (scip-2.0.1.4b.l) R 26100 26102 23203 0 -1 4202496 718278 0 0 0 124128 103 0 0 25 0 1 0 823681135 2943946752 710746 33554432000 4194304 9163163 140734397248144 18446744073709551615 4794304 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26102/statm: 718737 710746 567 1214 0 717519 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 2874948
[startup+1302.3 s]
/proc/loadavg: 1.92 2.00 1.99 2/570 26188
/proc/meminfo: memFree=20594900/32951124 swapFree=58940260/67111528
[pid=26102] ppid=26100 vsize=3024740 CPUtime=1302.33 cores=0,2,4,6
/proc/26102/stat : 26102 (scip-2.0.1.4b.l) R 26100 26102 23203 0 -1 4202496 755035 0 0 0 130124 109 0 0 25 0 1 0 823681135 3097333760 747503 33554432000 4194304 9163163 140734397248144 18446744073709551615 6555920 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26102/statm: 756185 747503 567 1214 0 754967 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 3024740
[startup+1362.3 s]
/proc/loadavg: 1.45 1.85 1.94 2/570 26190
/proc/meminfo: memFree=20489272/32951124 swapFree=58940260/67111528
[pid=26102] ppid=26100 vsize=3133436 CPUtime=1362.31 cores=0,2,4,6
/proc/26102/stat : 26102 (scip-2.0.1.4b.l) R 26100 26102 23203 0 -1 4202496 781828 0 0 0 136119 112 0 0 25 0 1 0 823681135 3208638464 774296 33554432000 4194304 9163163 140734397248144 18446744073709551615 6567805 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26102/statm: 783359 774296 567 1214 0 782141 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 3133436
[startup+1422.32 s]
/proc/loadavg: 1.22 1.71 1.88 2/570 26191
/proc/meminfo: memFree=20400460/32951124 swapFree=58940260/67111528
[pid=26102] ppid=26100 vsize=3222156 CPUtime=1422.33 cores=0,2,4,6
/proc/26102/stat : 26102 (scip-2.0.1.4b.l) R 26100 26102 23203 0 -1 4202496 803706 0 0 0 142118 115 0 0 25 0 1 0 823681135 3299487744 796174 33554432000 4194304 9163163 140734397248144 18446744073709551615 6567807 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26102/statm: 805539 796174 567 1214 0 804321 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 3222156
[startup+1482.3 s]
/proc/loadavg: 1.08 1.58 1.83 2/570 26193
/proc/meminfo: memFree=20285236/32951124 swapFree=58940260/67111528
[pid=26102] ppid=26100 vsize=3340580 CPUtime=1482.31 cores=0,2,4,6
/proc/26102/stat : 26102 (scip-2.0.1.4b.l) R 26100 26102 23203 0 -1 4202496 832850 0 0 0 148112 119 0 0 25 0 1 0 823681135 3420753920 825318 33554432000 4194304 9163163 140734397248144 18446744073709551615 6567805 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26102/statm: 835145 825318 567 1214 0 833927 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 3340580
[startup+1542.3 s]
/proc/loadavg: 1.03 1.47 1.77 2/570 26194
/proc/meminfo: memFree=20166292/32951124 swapFree=58940260/67111528
[pid=26102] ppid=26100 vsize=3460564 CPUtime=1542.31 cores=0,2,4,6
/proc/26102/stat : 26102 (scip-2.0.1.4b.l) R 26100 26102 23203 0 -1 4202496 862285 0 0 0 154108 123 0 0 25 0 1 0 823681135 3543617536 854753 33554432000 4194304 9163163 140734397248144 18446744073709551615 4219851 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26102/statm: 865141 854753 567 1214 0 863923 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 3460564
[startup+1602.3 s]
/proc/loadavg: 1.01 1.38 1.72 2/570 26196
/proc/meminfo: memFree=20044252/32951124 swapFree=58940260/67111528
[pid=26102] ppid=26100 vsize=3583828 CPUtime=1602.32 cores=0,2,4,6
/proc/26102/stat : 26102 (scip-2.0.1.4b.l) R 26100 26102 23203 0 -1 4202496 892774 0 0 0 160103 129 0 0 25 0 1 0 823681135 3669839872 885242 33554432000 4194304 9163163 140734397248144 18446744073709551615 4352474 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26102/statm: 895957 885242 567 1214 0 894739 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 3583828
[startup+1662.3 s]
/proc/loadavg: 1.00 1.31 1.67 2/570 26198
/proc/meminfo: memFree=19933008/32951124 swapFree=58940260/67111528
[pid=26102] ppid=26100 vsize=3695584 CPUtime=1662.32 cores=0,2,4,6
/proc/26102/stat : 26102 (scip-2.0.1.4b.l) R 26100 26102 23203 0 -1 4202496 920432 0 0 0 166098 134 0 0 25 0 1 0 823681135 3784278016 912900 33554432000 4194304 9163163 140734397248144 18446744073709551615 5458879 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26102/statm: 923896 912900 567 1214 0 922678 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 3695584
[startup+1722.3 s]
/proc/loadavg: 1.00 1.25 1.63 2/570 26199
/proc/meminfo: memFree=19824108/32951124 swapFree=58940260/67111528
[pid=26102] ppid=26100 vsize=3806436 CPUtime=1722.32 cores=0,2,4,6
/proc/26102/stat : 26102 (scip-2.0.1.4b.l) R 26100 26102 23203 0 -1 4202496 948017 0 0 0 172093 139 0 0 25 0 1 0 823681135 3897790464 940485 33554432000 4194304 9163163 140734397248144 18446744073709551615 5460505 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26102/statm: 951609 940485 567 1214 0 950391 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 3806436
[startup+1782.3 s]
/proc/loadavg: 1.00 1.20 1.59 2/570 26201
/proc/meminfo: memFree=19705288/32951124 swapFree=58940260/67111528
[pid=26102] ppid=26100 vsize=3923448 CPUtime=1782.33 cores=0,2,4,6
/proc/26102/stat : 26102 (scip-2.0.1.4b.l) R 26100 26102 23203 0 -1 4202496 976901 0 0 0 178088 145 0 0 25 0 1 0 823681135 4017610752 969369 33554432000 4194304 9163163 140734397248144 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26102/statm: 980862 969369 567 1214 0 979644 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 3923448
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 1.00 1.19 1.57 2/570 26201
/proc/meminfo: memFree=19670812/32951124 swapFree=58940260/67111528
[pid=26102] ppid=26100 vsize=3957512 CPUtime=1800.04 cores=0,2,4,6
/proc/26102/stat : 26102 (scip-2.0.1.4b.l) R 26100 26102 23203 0 -1 4202496 985414 0 0 0 179858 146 0 0 25 0 1 0 823681135 4052492288 977882 33554432000 4194304 9163163 140734397248144 18446744073709551615 4787180 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26102/statm: 989378 977882 567 1214 0 988160 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 3957512
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.2 s]
/proc/loadavg: 1.00 1.19 1.57 2/570 26201
/proc/meminfo: memFree=19670812/32951124 swapFree=58940260/67111528
[pid=26102] ppid=26100 vsize=3956036 CPUtime=1800.22 cores=0,2,4,6
/proc/26102/stat : 26102 (scip-2.0.1.4b.l) R 26100 26102 23203 0 -1 4202496 986062 0 0 0 179876 146 0 0 25 0 1 0 823681135 4050980864 977654 33554432000 4194304 9163163 140734397248144 18446744073709551615 4444095 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/26102/statm: 989009 977654 575 1214 0 987791 0
Current children cumulated CPU time (s) 1800.22
Current children cumulated vsize (KiB) 3956036
[startup+1800.6 s]
/proc/loadavg: 1.00 1.19 1.57 2/571 26202
/proc/meminfo: memFree=21470252/32951124 swapFree=58940260/67111528
[pid=26102] ppid=26100 vsize=3302880 CPUtime=1800.64 cores=0,2,4,6
/proc/26102/stat : 26102 (scip-2.0.1.4b.l) R 26100 26102 23203 0 -1 4202496 986079 0 0 0 179907 157 0 0 25 0 1 0 823681135 3382149120 452579 33554432000 4194304 9163163 140734397248144 18446744073709551615 8264362 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/26102/statm: 825720 452579 592 1214 0 824502 0
Current children cumulated CPU time (s) 1800.64
Current children cumulated vsize (KiB) 3302880
Child status: 0
Real time (s): 1800.7
CPU time (s): 1800.73
CPU user time (s): 1799.08
CPU system time (s): 1.65575
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 3959552
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.08
system time used= 1.65575
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 986081
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= 1942
runsolver used 10.8753 second user time and 23.6274 second system time
The end