0.00/0.00 c SCIP version 2.0.1.5 [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-3741518-1338776258.opb>
1.29/1.36 c original problem has 262144 variables (262144 bin, 0 int, 0 impl, 0 cont) and 11077 constraints
1.29/1.36 c problem read
1.29/1.36 c presolving settings loaded
2.68/2.75 c presolving:
3.49/3.55 c (round 1) 57844 del vars, 5 del conss, 0 add conss, 57844 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 512 clqs
3.79/3.83 c (round 2) 61468 del vars, 1107 del conss, 0 add conss, 61468 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 710 clqs
3.98/4.07 c (round 3) 65510 del vars, 1200 del conss, 0 add conss, 65510 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 726 clqs
4.19/4.23 c (round 4) 65997 del vars, 1212 del conss, 0 add conss, 65997 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 750 clqs
4.49/4.51 c (round 5) 65997 del vars, 1212 del conss, 0 add conss, 65997 chg bounds, 0 chg sides, 0 chg coeffs, 750 upgd conss, 0 impls, 750 clqs
4.89/4.93 c (round 6) 67112 del vars, 1252 del conss, 0 add conss, 66856 chg bounds, 0 chg sides, 0 chg coeffs, 750 upgd conss, 0 impls, 774 clqs
4.89/4.98 c (round 7) 67304 del vars, 1260 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 750 upgd conss, 0 impls, 774 clqs
5.19/5.24 c (round 8) 67304 del vars, 1260 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 782 upgd conss, 0 impls, 774 clqs
13.48/13.52 c (round 9) 67354 del vars, 1260 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 782 upgd conss, 587860 impls, 774 clqs
25.99/26.07 c (round 10) 67404 del vars, 1260 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 782 upgd conss, 1542868 impls, 774 clqs
33.28/33.34 c (round 11) 67454 del vars, 1260 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 782 upgd conss, 1736550 impls, 774 clqs
41.69/41.76 c (round 12) 67508 del vars, 1260 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 782 upgd conss, 2304064 impls, 774 clqs
54.08/54.13 c (round 13) 67558 del vars, 1260 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 782 upgd conss, 2974870 impls, 774 clqs
56.78/56.88 c (round 14) 67608 del vars, 1260 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 782 upgd conss, 2974872 impls, 773 clqs
56.98/57.02 c (round 15) 67610 del vars, 1261 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 782 upgd conss, 2974994 impls, 773 clqs
61.28/61.32 c (round 16) 67662 del vars, 1261 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 782 upgd conss, 3192634 impls, 770 clqs
61.38/61.48 c (round 17) 67662 del vars, 1264 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 782 upgd conss, 3192634 impls, 770 clqs
70.78/70.87 c (round 18) 67712 del vars, 1264 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 782 upgd conss, 3746918 impls, 770 clqs
95.38/95.48 c (round 19) 67762 del vars, 1264 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 782 upgd conss, 5147188 impls, 770 clqs
99.57/99.63 c (round 20) 67812 del vars, 1264 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 782 upgd conss, 5147188 impls, 770 clqs
103.47/103.60 c (round 21) 67862 del vars, 1264 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 782 upgd conss, 5147188 impls, 770 clqs
107.57/107.63 c (round 22) 67912 del vars, 1264 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 782 upgd conss, 5147188 impls, 770 clqs
111.47/111.57 c (round 23) 67962 del vars, 1264 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 782 upgd conss, 5147188 impls, 770 clqs
115.07/115.12 c (115.1s) probing: 1000/194840 (0.5%) - 666 fixings, 0 aggregations, 2589768 implications, 0 bound changes
144.67/144.70 c (round 24) 68012 del vars, 1264 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 782 upgd conss, 7507264 impls, 770 clqs
182.36/182.40 c (round 25) 68062 del vars, 1264 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 782 upgd conss, 10095660 impls, 770 clqs
267.34/267.49 c (267.5s) probing: 2000/194840 (1.0%) - 805 fixings, 0 aggregations, 8378192 implications, 0 bound changes
277.84/277.99 c (round 26) 68112 del vars, 1264 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 782 upgd conss, 17859842 impls, 770 clqs
322.93/323.02 c (round 27) 68162 del vars, 1264 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 782 upgd conss, 20974300 impls, 770 clqs
323.13/323.27 c (round 28) 68162 del vars, 1264 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 785 upgd conss, 20974300 impls, 773 clqs
327.54/327.66 c (round 29) 68212 del vars, 1264 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 785 upgd conss, 21135578 impls, 773 clqs
327.74/327.86 c (round 30) 68212 del vars, 1264 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 786 upgd conss, 21135578 impls, 774 clqs
331.33/331.44 c (round 31) 68262 del vars, 1264 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 786 upgd conss, 21135578 impls, 774 clqs
335.23/335.36 c (round 32) 68312 del vars, 1264 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 786 upgd conss, 21160612 impls, 774 clqs
412.02/412.17 c (412.2s) probing: 3000/194840 (1.5%) - 1016 fixings, 0 aggregations, 13186786 implications, 0 bound changes
591.89/592.05 c (592.1s) probing: 4000/194840 (2.1%) - 1017 fixings, 0 aggregations, 18672581 implications, 0 bound changes
758.45/758.68 c (round 33) 68362 del vars, 1264 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 786 upgd conss, 46300348 impls, 774 clqs
763.66/763.82 c (763.8s) probing: 5000/194840 (2.6%) - 1057 fixings, 0 aggregations, 23199023 implications, 0 bound changes
869.54/869.75 c (round 34) 68412 del vars, 1264 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 786 upgd conss, 53369804 impls, 774 clqs
879.54/879.73 c (round 35) 68462 del vars, 1264 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 786 upgd conss, 53594900 impls, 774 clqs
895.93/896.11 c (round 36) 68512 del vars, 1264 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 786 upgd conss, 54615546 impls, 774 clqs
902.73/902.97 c (round 37) 68562 del vars, 1264 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 786 upgd conss, 54926076 impls, 774 clqs
916.04/916.21 c (916.2s) probing: 6000/194840 (3.1%) - 1279 fixings, 0 aggregations, 27814277 implications, 0 bound changes
925.13/925.33 c (round 38) 68612 del vars, 1264 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 786 upgd conss, 56459032 impls, 774 clqs
939.63/939.86 c (round 39) 68662 del vars, 1264 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 786 upgd conss, 57269372 impls, 774 clqs
947.93/948.17 c (round 40) 68712 del vars, 1264 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 786 upgd conss, 57704638 impls, 774 clqs
954.54/954.74 c (round 41) 68762 del vars, 1264 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 786 upgd conss, 57995762 impls, 774 clqs
974.93/975.19 c (round 42) 68812 del vars, 1264 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 786 upgd conss, 59162962 impls, 774 clqs
1006.62/1006.81 c (round 43) 68862 del vars, 1264 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 786 upgd conss, 61131320 impls, 774 clqs
1006.92/1007.17 c (round 44) 68862 del vars, 1264 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 793 upgd conss, 61131320 impls, 781 clqs
1025.91/1026.12 c (round 45) 68912 del vars, 1264 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 793 upgd conss, 62386598 impls, 781 clqs
1026.21/1026.48 c (round 46) 68912 del vars, 1264 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 798 upgd conss, 62386598 impls, 786 clqs
1027.22/1027.45 c (1027.5s) probing: 7000/194840 (3.6%) - 1621 fixings, 0 aggregations, 30939741 implications, 0 bound changes
1029.71/1029.93 c (round 47) 68963 del vars, 1264 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 798 upgd conss, 62552496 impls, 786 clqs
1035.52/1035.78 c (round 48) 69013 del vars, 1264 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 798 upgd conss, 62870186 impls, 786 clqs
1042.11/1042.39 c (round 49) 69063 del vars, 1264 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 798 upgd conss, 63255660 impls, 786 clqs
1044.91/1045.13 c (round 50) 69113 del vars, 1264 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 798 upgd conss, 63295750 impls, 786 clqs
1139.69/1139.95 c (round 51) 69163 del vars, 1264 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 798 upgd conss, 71911048 impls, 786 clqs
1152.79/1153.07 c (1153.1s) probing: 8000/194840 (4.1%) - 1893 fixings, 0 aggregations, 36060433 implications, 0 bound changes
1215.59/1215.86 c (round 52) 69213 del vars, 1264 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 798 upgd conss, 76916586 impls, 786 clqs
1315.06/1315.37 c (round 53) 69263 del vars, 1264 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 798 upgd conss, 82912460 impls, 786 clqs
1323.26/1323.50 c (1323.5s) probing: 9000/194840 (4.6%) - 1957 fixings, 0 aggregations, 41412722 implications, 0 bound changes
1516.22/1516.58 c (1516.6s) probing: 10000/194840 (5.1%) - 1957 fixings, 0 aggregations, 46584762 implications, 0 bound changes
1603.80/1604.18 c (round 54) 69313 del vars, 1264 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 798 upgd conss, 97894340 impls, 786 clqs
1701.78/1702.17 c (1702.2s) probing: 11000/194840 (5.6%) - 2011 fixings, 0 aggregations, 51710964 implications, 0 bound changes
1721.17/1721.59 c (round 55) 69363 del vars, 1264 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 798 upgd conss, 105067310 impls, 786 clqs
1734.58/1734.91 c (round 56) 69413 del vars, 1264 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 798 upgd conss, 105931924 impls, 786 clqs
1741.27/1741.62 c (round 57) 69463 del vars, 1264 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 798 upgd conss, 106202544 impls, 786 clqs
1741.47/1741.85 c (round 58) 69463 del vars, 1264 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 802 upgd conss, 106202544 impls, 790 clqs
1747.87/1748.29 c (round 59) 69513 del vars, 1264 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 802 upgd conss, 106499706 impls, 790 clqs
1765.56/1765.97 c (round 60) 69563 del vars, 1264 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 802 upgd conss, 107404556 impls, 790 clqs
1788.96/1789.32 c (round 61) 69613 del vars, 1264 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 802 upgd conss, 108778048 impls, 790 clqs
1796.67/1797.06 c (1797.1s) probing: 11880/194840 (6.1%) - 2322 fixings, 0 aggregations, 54307737 implications, 0 bound changes
1796.67/1797.06 c (1797.1s) probing aborted: solving stopped
1796.67/1797.08 c presolving (62 rounds):
1796.67/1797.08 c 69628 deleted vars, 1264 deleted constraints, 0 added constraints, 66952 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1796.67/1797.08 c 109222948 implications, 790 cliques
1796.67/1797.08 c presolved problem has 192516 variables (192516 bin, 0 int, 0 impl, 0 cont) and 9813 constraints
1796.67/1797.08 c 790 constraints of type <setppc>
1796.67/1797.08 c 9023 constraints of type <linear>
1796.67/1797.08 c transformed objective value is always integral (scale: 1)
1796.67/1797.08 c Presolving Time: 1794.92
1796.67/1797.08 c - non default parameters ----------------------------------------------------------------------
1796.67/1797.08 c # SCIP version 2.0.1.5
1796.67/1797.08 c
1796.67/1797.08 c # frequency for displaying node information lines
1796.67/1797.08 c # [type: int, range: [-1,2147483647], default: 100]
1796.67/1797.08 c display/freq = 10000
1796.67/1797.08 c
1796.67/1797.08 c # maximal time in seconds to run
1796.67/1797.08 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1796.67/1797.08 c limits/time = 1797
1796.67/1797.08 c
1796.67/1797.08 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1796.67/1797.08 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1796.67/1797.08 c limits/memory = 13950
1796.67/1797.08 c
1796.67/1797.08 c # default clock type (1: CPU user seconds, 2: wall clock time)
1796.67/1797.08 c # [type: int, range: [1,2], default: 1]
1796.67/1797.08 c timing/clocktype = 2
1796.67/1797.08 c
1796.67/1797.08 c # belongs reading time to solving time?
1796.67/1797.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1796.67/1797.08 c timing/reading = TRUE
1796.67/1797.08 c
1796.67/1797.08 c # should presolving try to simplify inequalities
1796.67/1797.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1796.67/1797.08 c constraints/linear/simplifyinequalities = TRUE
1796.67/1797.08 c
1796.67/1797.08 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1796.67/1797.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1796.67/1797.08 c constraints/indicator/addCouplingCons = TRUE
1796.67/1797.08 c
1796.67/1797.08 c # should presolving try to simplify knapsacks
1796.67/1797.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1796.67/1797.08 c constraints/knapsack/simplifyinequalities = TRUE
1796.67/1797.08 c
1796.67/1797.08 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1796.67/1797.08 c # [type: int, range: [-1,2147483647], default: -1]
1796.67/1797.08 c separating/rapidlearning/freq = 0
1796.67/1797.08 c
1796.67/1797.08 c -----------------------------------------------------------------------------------------------
1796.67/1797.08 c start solving
1796.77/1797.17 c
1796.77/1797.17 c
1796.77/1797.17 c SCIP Status : solving was interrupted [time limit reached]
1796.77/1797.17 c Solving Time (sec) : 1797.17
1796.77/1797.17 c Solving Nodes : 0
1796.77/1797.17 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1796.77/1797.17 c Dual Bound : -1.00000000000000e+20
1796.77/1797.17 c Gap : infinite
1796.77/1797.17 s UNKNOWN
1796.77/1797.17 c SCIP Status : solving was interrupted [time limit reached]
1796.77/1797.17 c Total Time : 1797.17
1796.77/1797.17 c solving : 1797.17
1796.77/1797.17 c presolving : 1794.92 (included in solving)
1796.77/1797.17 c reading : 1.36 (included in solving)
1796.77/1797.17 c Original Problem :
1796.77/1797.17 c Problem name : HOME/instance-3741518-1338776258.opb
1796.77/1797.17 c Variables : 262144 (262144 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.77/1797.17 c Constraints : 11077 initial, 11077 maximal
1796.77/1797.17 c Presolved Problem :
1796.77/1797.17 c Problem name : t_HOME/instance-3741518-1338776258.opb
1796.77/1797.17 c Variables : 192516 (192516 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.77/1797.17 c Constraints : 9813 initial, 9813 maximal
1796.77/1797.17 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.77/1797.17 c trivial : 0.63 0 0 0 0 0 0 0 0 0
1796.77/1797.17 c dualfix : 0.44 0 0 0 0 0 0 0 0 0
1796.77/1797.17 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1796.77/1797.17 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1796.77/1797.17 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1796.77/1797.17 c implics : 0.47 0 0 0 0 0 0 0 0 0
1796.77/1797.17 c probing : 1778.71 2322 0 0 0 0 0 0 0 0
1796.77/1797.17 c setppc : 6.29 352 1 0 0 0 12 0 0 0
1796.77/1797.17 c linear : 7.38 66953 0 0 66952 0 1252 0 0 0
1796.77/1797.17 c root node : - 0 - - 0 - - - - -
1796.77/1797.17 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1796.77/1797.17 c integral : 0 0 0 0 0 0 0 0 0 0 0 0
1796.77/1797.17 c setppc : 790 0 54273 0 0 0 0 1288 0 0 0 0
1796.77/1797.17 c linear : 9023 0 52985 0 0 0 0 732 0 0 0 0
1796.77/1797.17 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1796.77/1797.17 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1796.77/1797.17 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.77/1797.17 c setppc : 22.12 0.00 22.12 0.00 0.00 0.00 0.00
1796.77/1797.17 c linear : 740.47 0.00 740.47 0.00 0.00 0.00 0.00
1796.77/1797.17 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.77/1797.17 c Propagators : #Propagate #Resprop Cutoffs DomReds
1796.77/1797.17 c vbounds : 0 0 0 0
1796.77/1797.17 c rootredcost : 0 0 0 0
1796.77/1797.17 c pseudoobj : 0 0 0 0
1796.77/1797.17 c Propagator Timings : TotalTime Propagate Resprop
1796.77/1797.17 c vbounds : 0.05 0.05 0.00
1796.77/1797.17 c rootredcost : 0.04 0.04 0.00
1796.77/1797.17 c pseudoobj : 0.04 0.04 0.00
1796.77/1797.17 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.77/1797.17 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1796.77/1797.17 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1796.77/1797.17 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.77/1797.17 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.77/1797.17 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.77/1797.17 c applied globally : - - - 0 0.0 - - -
1796.77/1797.17 c applied locally : - - - 0 0.0 - - -
1796.77/1797.17 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1796.77/1797.17 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1796.77/1797.17 c redcost : 0.00 0 0 0 0 0
1796.77/1797.17 c impliedbounds : 0.00 0 0 0 0 0
1796.77/1797.17 c intobj : 0.00 0 0 0 0 0
1796.77/1797.17 c gomory : 0.00 0 0 0 0 0
1796.77/1797.17 c cgmip : 0.00 0 0 0 0 0
1796.77/1797.17 c closecuts : 0.00 0 0 0 0 0
1796.77/1797.17 c strongcg : 0.00 0 0 0 0 0
1796.77/1797.17 c cmir : 0.00 0 0 0 0 0
1796.77/1797.17 c flowcover : 0.00 0 0 0 0 0
1796.77/1797.17 c clique : 0.00 0 0 0 0 0
1796.77/1797.17 c zerohalf : 0.00 0 0 0 0 0
1796.77/1797.17 c mcf : 0.00 0 0 0 0 0
1796.77/1797.17 c oddcycle : 0.00 0 0 0 0 0
1796.77/1797.17 c rapidlearning : 0.00 0 0 0 0 0
1796.77/1797.17 c Pricers : Time Calls Vars
1796.77/1797.17 c problem variables: 0.00 0 0
1796.77/1797.17 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1796.77/1797.17 c pscost : 0.00 0 0 0 0 0 0
1796.77/1797.17 c inference : 0.00 0 0 0 0 0 0
1796.77/1797.17 c mostinf : 0.00 0 0 0 0 0 0
1796.77/1797.17 c leastinf : 0.00 0 0 0 0 0 0
1796.77/1797.17 c fullstrong : 0.00 0 0 0 0 0 0
1796.77/1797.17 c allfullstrong : 0.00 0 0 0 0 0 0
1796.77/1797.17 c random : 0.00 0 0 0 0 0 0
1796.77/1797.17 c relpscost : 0.00 0 0 0 0 0 0
1796.77/1797.17 c Primal Heuristics : Time Calls Found
1796.77/1797.17 c LP solutions : 0.00 - 0
1796.77/1797.17 c pseudo solutions : 0.00 - 0
1796.77/1797.17 c trivial : 0.32 1 0
1796.77/1797.17 c shiftandpropagate: 0.00 0 0
1796.77/1797.17 c simplerounding : 0.00 0 0
1796.77/1797.17 c zirounding : 0.00 0 0
1796.77/1797.17 c rounding : 0.00 0 0
1796.77/1797.17 c shifting : 0.00 0 0
1796.77/1797.17 c intshifting : 0.00 0 0
1796.77/1797.17 c oneopt : 0.00 0 0
1796.77/1797.17 c twoopt : 0.00 0 0
1796.77/1797.17 c fixandinfer : 0.00 0 0
1796.77/1797.17 c feaspump : 0.00 0 0
1796.77/1797.17 c clique : 0.00 0 0
1796.77/1797.17 c coefdiving : 0.00 0 0
1796.77/1797.17 c pscostdiving : 0.00 0 0
1796.77/1797.17 c fracdiving : 0.00 0 0
1796.77/1797.17 c veclendiving : 0.00 0 0
1796.77/1797.17 c intdiving : 0.00 0 0
1796.77/1797.17 c actconsdiving : 0.00 0 0
1796.77/1797.17 c objpscostdiving : 0.00 0 0
1796.77/1797.17 c rootsoldiving : 0.00 0 0
1796.77/1797.17 c linesearchdiving : 0.00 0 0
1796.77/1797.17 c guideddiving : 0.00 0 0
1796.77/1797.17 c octane : 0.00 0 0
1796.77/1797.17 c rens : 0.00 0 0
1796.77/1797.17 c rins : 0.00 0 0
1796.77/1797.17 c localbranching : 0.00 0 0
1796.77/1797.17 c mutation : 0.00 0 0
1796.77/1797.17 c crossover : 0.00 0 0
1796.77/1797.17 c dins : 0.00 0 0
1796.77/1797.17 c vbounds : 0.00 0 0
1796.77/1797.17 c undercover : 0.00 0 0
1796.77/1797.17 c subnlp : 0.00 0 0
1796.77/1797.17 c trysol : 0.00 0 0
1796.77/1797.17 c LP : Time Calls Iterations Iter/call Iter/sec
1796.77/1797.17 c primal LP : 0.00 0 0 0.00 -
1796.77/1797.17 c dual LP : 0.00 0 0 0.00 -
1796.77/1797.17 c lex dual LP : 0.00 0 0 0.00 -
1796.77/1797.17 c barrier LP : 0.00 0 0 0.00 -
1796.77/1797.17 c diving/probing LP: 0.00 0 0 0.00 -
1796.77/1797.17 c strong branching : 0.00 0 0 0.00 -
1796.77/1797.17 c (at root node) : - 0 0 0.00 -
1796.77/1797.17 c conflict analysis: 0.00 0 0 0.00 -
1796.77/1797.17 c B&B Tree :
1796.77/1797.17 c number of runs : 1
1796.77/1797.17 c nodes : 0
1796.77/1797.17 c nodes (total) : 0
1796.77/1797.17 c nodes left : 1
1796.77/1797.17 c max depth : -1
1796.77/1797.17 c max depth (total): -1
1796.77/1797.17 c backtracks : 0 (0.0%)
1796.77/1797.17 c delayed cutoffs : 0
1796.77/1797.17 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1796.77/1797.17 c avg switch length: 0.00
1796.77/1797.17 c switching time : 0.00
1796.77/1797.17 c Solution :
1796.77/1797.17 c Solutions found : 0 (0 improvements)
1796.77/1797.17 c Primal Bound : -
1796.77/1797.17 c Dual Bound : -
1796.77/1797.17 c Gap : infinite
1796.77/1797.17 c Root Dual Bound : -
1796.77/1797.17 c Root Iterations : 0
1797.76/1798.18 c Time complete: 1797.84.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3741518-1338776258/watcher-3741518-1338776258 -o /tmp/evaluation-result-3741518-1338776258/solver-3741518-1338776258 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3741518-1338776258.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.00 1.93 3/176 15061
/proc/meminfo: memFree=31009132/32873844 swapFree=7116/7116
[pid=15061] ppid=15059 vsize=11980 CPUtime=0 cores=0,2,4,6
/proc/15061/stat : 15061 (scip-2.0.1.4b_2) R 15059 15061 14772 0 -1 4202496 1901 0 0 0 0 0 0 0 20 0 1 0 343752837 12267520 1855 33554432000 4194304 9016284 140737275138560 140735339020664 7870589 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/15061/statm: 2995 1863 340 1178 0 1813 0
[startup+0.099923 s]
/proc/loadavg: 2.00 2.00 1.93 3/176 15061
/proc/meminfo: memFree=31009132/32873844 swapFree=7116/7116
[pid=15061] ppid=15059 vsize=71740 CPUtime=0.09 cores=0,2,4,6
/proc/15061/stat : 15061 (scip-2.0.1.4b_2) R 15059 15061 14772 0 -1 4202496 16909 0 0 0 7 2 0 0 20 0 1 0 343752837 73461760 16813 33554432000 4194304 9016284 140737275138560 140735339020664 6181780 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/15061/statm: 17935 16815 353 1178 0 16753 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 71740
[startup+0.100368 s]
/proc/loadavg: 2.00 2.00 1.93 3/176 15061
/proc/meminfo: memFree=31009132/32873844 swapFree=7116/7116
[pid=15061] ppid=15059 vsize=72764 CPUtime=0.09 cores=0,2,4,6
/proc/15061/stat : 15061 (scip-2.0.1.4b_2) R 15059 15061 14772 0 -1 4202496 17006 0 0 0 7 2 0 0 20 0 1 0 343752837 74510336 16909 33554432000 4194304 9016284 140737275138560 140735339020664 6813403 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/15061/statm: 18191 16924 353 1178 0 17009 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 72764
[startup+0.300293 s]
/proc/loadavg: 2.00 2.00 1.93 3/176 15061
/proc/meminfo: memFree=31009132/32873844 swapFree=7116/7116
[pid=15061] ppid=15059 vsize=186592 CPUtime=0.29 cores=0,2,4,6
/proc/15061/stat : 15061 (scip-2.0.1.4b_2) R 15059 15061 14772 0 -1 4202496 45396 0 0 0 24 5 0 0 20 0 1 0 343752837 191070208 45299 33554432000 4194304 9016284 140737275138560 140735339020664 6181780 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/15061/statm: 46904 45330 353 1178 0 45722 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 186592
[startup+0.700283 s]
/proc/loadavg: 2.00 2.00 1.93 3/176 15061
/proc/meminfo: memFree=31009132/32873844 swapFree=7116/7116
[pid=15061] ppid=15059 vsize=210820 CPUtime=0.68 cores=0,2,4,6
/proc/15061/stat : 15061 (scip-2.0.1.4b_2) R 15059 15061 14772 0 -1 4202496 51540 0 0 0 62 6 0 0 20 0 1 0 343752837 215879680 51443 33554432000 4194304 9016284 140737275138560 140737275000824 7928096 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/15061/statm: 52705 51443 360 1178 0 51523 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 210820
[startup+1.50029 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 15062
/proc/meminfo: memFree=30794480/32873844 swapFree=7116/7116
[pid=15061] ppid=15059 vsize=370084 CPUtime=1.48 cores=0,2,4,6
/proc/15061/stat : 15061 (scip-2.0.1.4b_2) R 15059 15061 14772 0 -1 4202496 90840 0 0 0 136 12 0 0 20 0 1 0 343752837 378966016 90743 33554432000 4194304 9016284 140737275138560 140737275002456 6403103 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15061/statm: 92777 90754 402 1178 0 91595 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 370084
[startup+3.10029 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 15062
/proc/meminfo: memFree=30473188/32873844 swapFree=7116/7116
[pid=15061] ppid=15059 vsize=616180 CPUtime=3.08 cores=0,2,4,6
/proc/15061/stat : 15061 (scip-2.0.1.4b_2) R 15059 15061 14772 0 -1 4202496 150961 0 0 0 288 20 0 0 20 0 1 0 343752837 630968320 150864 33554432000 4194304 9016284 140737275138560 140737275136136 5213266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15061/statm: 154045 150864 466 1178 0 152863 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 616180
[startup+6.30038 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 15062
/proc/meminfo: memFree=30359728/32873844 swapFree=7116/7116
[pid=15061] ppid=15059 vsize=674372 CPUtime=6.29 cores=0,2,4,6
/proc/15061/stat : 15061 (scip-2.0.1.4b_2) R 15059 15061 14772 0 -1 4202496 169462 0 0 0 607 22 0 0 20 0 1 0 343752837 690556928 164957 33554432000 4194304 9016284 140737275138560 140737275134232 6480403 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15061/statm: 168593 164957 511 1178 0 167411 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 674372
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 15062
/proc/meminfo: memFree=30329620/32873844 swapFree=7116/7116
[pid=15061] ppid=15059 vsize=698724 CPUtime=12.69 cores=0,2,4,6
/proc/15061/stat : 15061 (scip-2.0.1.4b_2) R 15059 15061 14772 0 -1 4202496 175025 0 0 0 1246 23 0 0 20 0 1 0 343752837 715493376 170520 33554432000 4194304 9016284 140737275138560 140737275134152 5251802 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15061/statm: 174681 170520 511 1178 0 173499 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 698724
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 15062
/proc/meminfo: memFree=30289700/32873844 swapFree=7116/7116
[pid=15061] ppid=15059 vsize=738648 CPUtime=25.49 cores=0,2,4,6
/proc/15061/stat : 15061 (scip-2.0.1.4b_2) R 15059 15061 14772 0 -1 4202496 184703 0 0 0 2524 25 0 0 20 0 1 0 343752837 756375552 180198 33554432000 4194304 9016284 140737275138560 140737275134152 5228157 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15061/statm: 184662 180198 511 1178 0 183480 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 738648
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 15062
/proc/meminfo: memFree=30204512/32873844 swapFree=7116/7116
[pid=15061] ppid=15059 vsize=826340 CPUtime=51.08 cores=0,2,4,6
/proc/15061/stat : 15061 (scip-2.0.1.4b_2) R 15059 15061 14772 0 -1 4202496 206153 0 0 0 5080 28 0 0 20 0 1 0 343752837 846172160 201648 33554432000 4194304 9016284 140737275138560 140737275134152 6480360 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15061/statm: 206585 201648 511 1178 0 205403 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 826340
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 15062
/proc/meminfo: memFree=30116100/32873844 swapFree=7116/7116
[pid=15061] ppid=15059 vsize=914368 CPUtime=102.28 cores=0,2,4,6
/proc/15061/stat : 15061 (scip-2.0.1.4b_2) R 15059 15061 14772 0 -1 4202496 227688 0 0 0 10197 31 0 0 20 0 1 0 343752837 936312832 223183 33554432000 4194304 9016284 140737275138560 140737275134232 4889369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15061/statm: 228592 223183 516 1178 0 227410 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 914368
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 15065
/proc/meminfo: memFree=29978656/32873844 swapFree=7116/7116
[pid=15061] ppid=15059 vsize=1052460 CPUtime=162.26 cores=0,2,4,6
/proc/15061/stat : 15061 (scip-2.0.1.4b_2) R 15059 15061 14772 0 -1 4202496 261981 0 0 0 16192 34 0 0 20 0 1 0 343752837 1077719040 257844 33554432000 4194304 9016284 140737275138560 140737275134152 6817589 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15061/statm: 263115 257844 521 1178 0 261933 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 1052460
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 15065
/proc/meminfo: memFree=29831876/32873844 swapFree=7116/7116
[pid=15061] ppid=15059 vsize=1199792 CPUtime=222.25 cores=0,2,4,6
/proc/15061/stat : 15061 (scip-2.0.1.4b_2) R 15059 15061 14772 0 -1 4202496 298207 0 0 0 22187 38 0 0 20 0 1 0 343752837 1228587008 294422 33554432000 4194304 9016284 140737275138560 140737275134152 4222927 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15061/statm: 299948 294422 521 1178 0 298766 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 1199792
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 15066
/proc/meminfo: memFree=29666984/32873844 swapFree=7116/7116
[pid=15061] ppid=15059 vsize=1368852 CPUtime=282.23 cores=0,2,4,6
/proc/15061/stat : 15061 (scip-2.0.1.4b_2) R 15059 15061 14772 0 -1 4202496 339717 0 0 0 28179 44 0 0 20 0 1 0 343752837 1401704448 336408 33554432000 4194304 9016284 140737275138560 140737275134152 6480393 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15061/statm: 342213 336408 521 1178 0 341031 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 1368852
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 15066
/proc/meminfo: memFree=29524660/32873844 swapFree=7116/7116
[pid=15061] ppid=15059 vsize=1509328 CPUtime=342.23 cores=0,2,4,6
/proc/15061/stat : 15061 (scip-2.0.1.4b_2) R 15059 15061 14772 0 -1 4202496 373996 0 0 0 34175 48 0 0 20 0 1 0 343752837 1545551872 370990 33554432000 4194304 9016284 140737275138560 140737275134152 6480384 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15061/statm: 377332 370990 521 1178 0 376150 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 1509328
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 15066
/proc/meminfo: memFree=29367332/32873844 swapFree=7116/7116
[pid=15061] ppid=15059 vsize=1667684 CPUtime=402.22 cores=0,2,4,6
/proc/15061/stat : 15061 (scip-2.0.1.4b_2) R 15059 15061 14772 0 -1 4202496 413472 0 0 0 40169 53 0 0 20 0 1 0 343752837 1707708416 410664 33554432000 4194304 9016284 140737275138560 140737275134152 6480416 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15061/statm: 416921 410664 521 1178 0 415739 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 1667684
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 15066
/proc/meminfo: memFree=29336148/32873844 swapFree=7116/7116
[pid=15061] ppid=15059 vsize=1805956 CPUtime=462.21 cores=0,2,4,6
/proc/15061/stat : 15061 (scip-2.0.1.4b_2) R 15059 15061 14772 0 -1 4202496 447649 0 0 0 46163 58 0 0 20 0 1 0 343752837 1849298944 445043 33554432000 4194304 9016284 140737275138560 140737275134152 5251802 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15061/statm: 451489 445043 521 1178 0 450307 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 1805956
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 15066
/proc/meminfo: memFree=29179936/32873844 swapFree=7116/7116
[pid=15061] ppid=15059 vsize=1959400 CPUtime=522.2 cores=0,2,4,6
/proc/15061/stat : 15061 (scip-2.0.1.4b_2) R 15059 15061 14772 0 -1 4202496 486123 0 0 0 52157 63 0 0 20 0 1 0 343752837 2006425600 483763 33554432000 4194304 9016284 140737275138560 140737275134152 4222983 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15061/statm: 489850 483763 521 1178 0 488668 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 1959400
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 15067
/proc/meminfo: memFree=29023972/32873844 swapFree=7116/7116
[pid=15061] ppid=15059 vsize=2116540 CPUtime=582.19 cores=0,2,4,6
/proc/15061/stat : 15061 (scip-2.0.1.4b_2) R 15059 15061 14772 0 -1 4202496 524995 0 0 0 58151 68 0 0 20 0 1 0 343752837 2167336960 522838 33554432000 4194304 9016284 140737275138560 140737275134152 5251802 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15061/statm: 529135 522838 521 1178 0 527953 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 2116540
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=27790796/32873844 swapFree=7116/7116
[pid=15061] ppid=15059 vsize=3315848 CPUtime=1122.09 cores=0,2,4,6
/proc/15061/stat : 15061 (scip-2.0.1.4b_2) R 15059 15061 14772 0 -1 4202496 820596 0 0 0 112097 112 0 0 20 0 1 0 343752837 3395428352 821568 33554432000 4194304 9016284 140737275138560 140737275134152 6480376 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15061/statm: 828962 821568 521 1178 0 827780 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 3315848
[startup+1182.3 s]
/proc/loadavg: 2.02 2.02 1.95 3/177 15071
/proc/meminfo: memFree=27627020/32873844 swapFree=7116/7116
[pid=15061] ppid=15059 vsize=3481288 CPUtime=1182.09 cores=0,2,4,6
/proc/15061/stat : 15061 (scip-2.0.1.4b_2) R 15059 15061 14772 0 -1 4202496 861143 0 0 0 118090 119 0 0 20 0 1 0 343752837 3564838912 862235 33554432000 4194304 9016284 140737275138560 140737275134152 5251802 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15061/statm: 870322 862235 521 1178 0 869140 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 3481288
[startup+1242.3 s]
/proc/loadavg: 2.01 2.01 1.95 3/174 15079
/proc/meminfo: memFree=27644764/32873844 swapFree=7116/7116
[pid=15061] ppid=15059 vsize=3607752 CPUtime=1242.07 cores=0,2,4,6
/proc/15061/stat : 15061 (scip-2.0.1.4b_2) R 15059 15061 14772 0 -1 4202496 892554 0 0 0 124084 123 0 0 20 0 1 0 343752837 3694338048 893696 33554432000 4194304 9016284 140737275138560 140737275134152 5223052 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15061/statm: 901938 893696 521 1178 0 900756 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 3607752
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 15110
/proc/meminfo: memFree=22615592/32873844 swapFree=7116/7116
[pid=15061] ppid=15059 vsize=3739496 CPUtime=1302.07 cores=0,2,4,6
/proc/15061/stat : 15061 (scip-2.0.1.4b_2) R 15059 15061 14772 0 -1 4202496 925682 0 0 0 130078 129 0 0 20 0 1 0 343752837 3829243904 927026 33554432000 4194304 9016284 140737275138560 140737275134152 5251802 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15061/statm: 934874 927026 521 1178 0 933692 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 3739496
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 15113
/proc/meminfo: memFree=19239344/32873844 swapFree=7116/7116
[pid=15061] ppid=15059 vsize=3824712 CPUtime=1362.05 cores=0,2,4,6
/proc/15061/stat : 15061 (scip-2.0.1.4b_2) R 15059 15061 14772 0 -1 4202496 946740 0 0 0 136073 132 0 0 20 0 1 0 343752837 3916505088 948570 33554432000 4194304 9016284 140737275138560 140737275134152 6480389 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15061/statm: 956178 948570 521 1178 0 954996 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 3824712
[startup+1422.31 s]
/proc/loadavg: 3.51 2.39 2.08 2/178 15114
/proc/meminfo: memFree=3837172/32873844 swapFree=7116/7116
[pid=15061] ppid=15059 vsize=3988448 CPUtime=1422.05 cores=0,2,4,6
/proc/15061/stat : 15061 (scip-2.0.1.4b_2) R 15059 15061 14772 0 -1 4202496 987312 0 0 0 142066 139 0 0 20 0 1 0 343752837 4084170752 989624 33554432000 4194304 9016284 140737275138560 140737275134152 5214839 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15061/statm: 997112 989624 521 1178 0 995930 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 3988448
[startup+1482.3 s]
/proc/loadavg: 4.42 2.85 2.25 4/178 15114
/proc/meminfo: memFree=276408/32873844 swapFree=7116/7116
[pid=15061] ppid=15059 vsize=4090880 CPUtime=1482.03 cores=0,2,4,6
/proc/15061/stat : 15061 (scip-2.0.1.4b_2) R 15059 15061 14772 0 -1 4202496 1013011 0 0 0 148060 143 0 0 20 0 1 0 343752837 4189061120 1015891 33554432000 4194304 9016284 140737275138560 140737275134152 6480393 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15061/statm: 1022720 1015891 521 1178 0 1021538 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 4090880
[startup+1542.3 s]
/proc/loadavg: 5.14 3.33 2.45 2/178 15115
/proc/meminfo: memFree=355212/32873844 swapFree=7116/7116
[pid=15061] ppid=15059 vsize=4225816 CPUtime=1542.01 cores=0,2,4,6
/proc/15061/stat : 15061 (scip-2.0.1.4b_2) R 15059 15061 14772 0 -1 4202496 1046554 0 0 0 154052 149 0 0 20 0 1 0 343752837 4327235584 1049546 33554432000 4194304 9016284 140737275138560 140737275134152 5251802 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15061/statm: 1056454 1049546 521 1178 0 1055272 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 4225816
[startup+1602.3 s]
/proc/loadavg: 5.05 3.63 2.61 2/178 15115
/proc/meminfo: memFree=313024/32873844 swapFree=7116/7116
[pid=15061] ppid=15059 vsize=4384964 CPUtime=1602 cores=0,2,4,6
/proc/15061/stat : 15061 (scip-2.0.1.4b_2) R 15059 15061 14772 0 -1 4202496 1086621 0 0 0 160045 155 0 0 20 0 1 0 343752837 4490203136 1089738 33554432000 4194304 9016284 140737275138560 140737275134152 4889664 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15061/statm: 1096241 1089738 521 1178 0 1095059 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 4384964
[startup+1662.3 s]
/proc/loadavg: 4.02 3.64 2.68 3/178 15154
/proc/meminfo: memFree=25880900/32873844 swapFree=7116/7116
[pid=15061] ppid=15059 vsize=4527128 CPUtime=1661.99 cores=0,2,4,6
/proc/15061/stat : 15061 (scip-2.0.1.4b_2) R 15059 15061 14772 0 -1 4202496 1121723 0 0 0 166037 162 0 0 20 0 1 0 343752837 4635779072 1125073 33554432000 4194304 9016284 140737275138560 140737275134152 5251862 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15061/statm: 1131782 1125073 521 1178 0 1130600 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 4527128
[startup+1722.31 s]
/proc/loadavg: 2.74 3.34 2.63 3/177 15154
/proc/meminfo: memFree=25772024/32873844 swapFree=7116/7116
[pid=15061] ppid=15059 vsize=4619932 CPUtime=1721.98 cores=0,2,4,6
/proc/15061/stat : 15061 (scip-2.0.1.4b_2) R 15059 15061 14772 0 -1 4202496 1144063 0 0 0 172033 165 0 0 20 0 1 0 343752837 4730810368 1147747 33554432000 4194304 9016284 140737275138560 140737275134152 7260789 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15061/statm: 1154983 1147747 521 1178 0 1153801 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 4619932
[startup+1782.3 s]
/proc/loadavg: 2.31 3.11 2.60 3/177 15154
/proc/meminfo: memFree=25617520/32873844 swapFree=7116/7116
[pid=15061] ppid=15059 vsize=4744204 CPUtime=1781.97 cores=0,2,4,6
/proc/15061/stat : 15061 (scip-2.0.1.4b_2) R 15059 15061 14772 0 -1 4202496 1174021 0 0 0 178027 170 0 0 20 0 1 0 343752837 4858064896 1178075 33554432000 4194304 9016284 140737275138560 140737275134152 5257461 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15061/statm: 1186051 1178075 521 1178 0 1184869 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 4744204
Solver just ended. Dumping a history of the last processes samples
[startup+1787.4 s]
/proc/loadavg: 2.29 3.09 2.59 3/177 15154
/proc/meminfo: memFree=25595308/32873844 swapFree=7116/7116
[pid=15061] ppid=15059 vsize=4762532 CPUtime=1787.06 cores=0,2,4,6
/proc/15061/stat : 15061 (scip-2.0.1.4b_2) R 15059 15061 14772 0 -1 4202496 1178774 0 0 0 178536 170 0 0 20 0 1 0 343752837 4876832768 1182871 33554432000 4194304 9016284 140737275138560 140737275134152 4222991 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15061/statm: 1190633 1182871 521 1178 0 1189451 0
Current children cumulated CPU time (s) 1787.06
Current children cumulated vsize (KiB) 4762532
[startup+1793.81 s]
/proc/loadavg: 2.26 3.07 2.59 3/177 15154
/proc/meminfo: memFree=25586316/32873844 swapFree=7116/7116
[pid=15061] ppid=15059 vsize=4785936 CPUtime=1793.46 cores=0,2,4,6
/proc/15061/stat : 15061 (scip-2.0.1.4b_2) R 15059 15061 14772 0 -1 4202496 1184515 0 0 0 179175 171 0 0 20 0 1 0 343752837 4900798464 1188655 33554432000 4194304 9016284 140737275138560 140737275134152 4222983 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15061/statm: 1196484 1188655 521 1178 0 1195302 0
Current children cumulated CPU time (s) 1793.46
Current children cumulated vsize (KiB) 4785936
[startup+1795.4 s]
/proc/loadavg: 2.32 3.07 2.59 3/177 15154
/proc/meminfo: memFree=25583340/32873844 swapFree=7116/7116
[pid=15061] ppid=15059 vsize=4791964 CPUtime=1795.06 cores=0,2,4,6
/proc/15061/stat : 15061 (scip-2.0.1.4b_2) R 15059 15061 14772 0 -1 4202496 1185813 0 0 0 179335 171 0 0 20 0 1 0 343752837 4906971136 1189953 33554432000 4194304 9016284 140737275138560 140737275134152 5251802 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15061/statm: 1197991 1189953 521 1178 0 1196809 0
Current children cumulated CPU time (s) 1795.06
Current children cumulated vsize (KiB) 4791964
[startup+1797 s]
/proc/loadavg: 2.32 3.07 2.59 3/176 15154
/proc/meminfo: memFree=25557416/32873844 swapFree=7116/7116
[pid=15061] ppid=15059 vsize=4799100 CPUtime=1796.67 cores=0,2,4,6
/proc/15061/stat : 15061 (scip-2.0.1.4b_2) R 15059 15061 14772 0 -1 4202496 1187558 0 0 0 179495 172 0 0 20 0 1 0 343752837 4914278400 1191698 33554432000 4194304 9016284 140737275138560 140737275134152 4875334 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15061/statm: 1199775 1191698 521 1178 0 1198593 0
Current children cumulated CPU time (s) 1796.67
Current children cumulated vsize (KiB) 4799100
[startup+1797.8 s]
/proc/loadavg: 2.32 3.07 2.59 3/176 15154
/proc/meminfo: memFree=25557416/32873844 swapFree=7116/7116
[pid=15061] ppid=15059 vsize=4774924 CPUtime=1797.46 cores=0,2,4,6
/proc/15061/stat : 15061 (scip-2.0.1.4b_2) R 15059 15061 14772 0 -1 4202496 1189938 0 0 0 179574 172 0 0 20 0 1 0 343752837 4889522176 1184871 33554432000 4194304 9016284 140737275138560 140737275137784 6812833 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15061/statm: 1193731 1184871 550 1178 0 1192549 0
Current children cumulated CPU time (s) 1797.46
Current children cumulated vsize (KiB) 4774924
[startup+1798 s]
/proc/loadavg: 2.32 3.07 2.59 3/176 15154
/proc/meminfo: memFree=25557416/32873844 swapFree=7116/7116
[pid=15061] ppid=15059 vsize=4493432 CPUtime=1797.66 cores=0,2,4,6
/proc/15061/stat : 15061 (scip-2.0.1.4b_2) R 15059 15061 14772 0 -1 4202496 1189940 0 0 0 179592 174 0 0 20 0 1 0 343752837 4601274368 1115038 33554432000 4194304 9016284 140737275138560 140737275137784 6812620 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15061/statm: 1123358 1115038 552 1178 0 1122176 0
Current children cumulated CPU time (s) 1797.66
Current children cumulated vsize (KiB) 4493432
[startup+1798.1 s]
/proc/loadavg: 2.32 3.07 2.59 3/176 15154
/proc/meminfo: memFree=26527140/32873844 swapFree=7116/7116
[pid=15061] ppid=15059 vsize=4084008 CPUtime=1797.76 cores=0,2,4,6
/proc/15061/stat : 15061 (scip-2.0.1.4b_2) R 15059 15061 14772 0 -1 4202496 1189945 0 0 0 179599 177 0 0 20 0 1 0 343752837 4182024192 922906 33554432000 4194304 9016284 140737275138560 140737275137784 8107690 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15061/statm: 1021002 922394 557 1178 0 1019820 0
Current children cumulated CPU time (s) 1797.76
Current children cumulated vsize (KiB) 4084008
Child status: 0
Real time (s): 1798.19
CPU time (s): 1797.86
CPU user time (s): 1796
CPU system time (s): 1.85972
CPU usage (%): 99.9817
Max. virtual memory (cumulated for all children) (KiB): 4806952
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796
system time used= 1.85972
maximum resident set size= 4785124
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1189950
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= 75
involuntary context switches= 1851
runsolver used 5.36818 second user time and 12.0832 second system time
The end