0.00/0.00 c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: a3bf3a4-dirty]
0.00/0.00 c Copyright (c) 2002-2012 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3691410-1338022170.opb>
0.00/0.00 c original problem has 200 variables (200 bin, 0 int, 0 impl, 0 cont) and 301 constraints
0.00/0.00 c problem read in 0.01
0.00/0.02 o 0
0.00/0.02 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.00/0.02 c presolving:
0.09/0.19 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 300 upgd conss, 24504 impls, 200 clqs
0.29/0.36 c (0.4s) probing: 51/3238 (1.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.29/0.36 c (0.4s) probing aborted: 50/50 successive totally useless probings
0.29/0.36 c presolving (2 rounds):
0.29/0.36 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.29/0.36 c 24504 implications, 200 cliques
0.29/0.36 c presolved problem has 3238 variables (3238 bin, 0 int, 0 impl, 0 cont) and 3339 constraints
0.29/0.36 c 300 constraints of type <setppc>
0.29/0.36 c 3038 constraints of type <and>
0.29/0.36 c 1 constraints of type <linear>
0.29/0.36 c transformed objective value is always integral (scale: 1)
0.29/0.36 c Presolving Time: 0.35
0.29/0.36 c - non default parameters ----------------------------------------------------------------------
0.29/0.36 c # SCIP version 2.1.1.4
0.29/0.36 c
0.29/0.36 c # maximal time in seconds to run
0.29/0.36 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.36 c limits/time = 1797
0.29/0.36 c
0.29/0.36 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.29/0.36 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.36 c limits/memory = 13950
0.29/0.36 c
0.29/0.36 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.29/0.36 c # [type: int, range: [1,2], default: 1]
0.29/0.36 c timing/clocktype = 2
0.29/0.36 c
0.29/0.36 c # belongs reading time to solving time?
0.29/0.36 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.36 c timing/reading = TRUE
0.29/0.36 c
0.29/0.36 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.29/0.36 c # [type: int, range: [-1,2147483647], default: -1]
0.29/0.36 c separating/rapidlearning/freq = 0
0.29/0.36 c
0.29/0.36 c -----------------------------------------------------------------------------------------------
0.29/0.36 c start solving
0.29/0.36 c
1.10/1.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.10/1.18 c t 1.2s| 1 | 0 | 2866 | - | 14M| 0 | 958 |3238 |3339 |3238 |6377 | 0 | 0 | 0 |-5.000000e+01 | 0.000000e+00 | Inf
1.10/1.18 o -4
1.10/1.18 c s 1.2s| 1 | 0 | 2866 | - | 14M| 0 | 958 |3238 |3339 |3238 |6377 | 0 | 0 | 0 |-5.000000e+01 |-4.000000e+00 |1150.00%
4.89/4.98 c 5.0s| 1 | 0 | 6921 | - | 15M| 0 |1493 |3238 |3341 |3238 |6420 | 43 | 1 | 0 |-5.000000e+01 |-4.000000e+00 |1150.00%
5.99/6.04 c 6.0s| 1 | 0 | 8755 | - | 15M| 0 |1235 |3238 |3341 |3238 |6447 | 70 | 1 | 0 |-5.000000e+01 |-4.000000e+00 |1150.00%
7.19/7.22 c 7.2s| 1 | 0 | 11001 | - | 15M| 0 |1506 |3238 |3341 |3238 |6471 | 94 | 1 | 0 |-5.000000e+01 |-4.000000e+00 |1150.00%
7.19/7.22 o -4
7.19/7.22 c s 7.2s| 1 | 0 | 11001 | - | 15M| 0 |1506 |3238 |3341 |3238 |6471 | 94 | 1 | 0 |-5.000000e+01 |-4.000000e+00 |1150.00%
8.19/8.27 c 8.3s| 1 | 0 | 12697 | - | 15M| 0 |1574 |3238 |3341 |3238 |6488 | 111 | 1 | 0 |-5.000000e+01 |-4.000000e+00 |1150.00%
8.99/9.06 c 9.1s| 1 | 0 | 13263 | - | 15M| 0 |1539 |3238 |3341 |3238 |6503 | 126 | 1 | 0 |-5.000000e+01 |-4.000000e+00 |1150.00%
8.99/9.06 o -4
8.99/9.06 c s 9.1s| 1 | 0 | 13263 | - | 15M| 0 |1539 |3238 |3341 |3238 |6503 | 126 | 1 | 0 |-5.000000e+01 |-4.000000e+00 |1150.00%
9.79/9.87 c 9.9s| 1 | 0 | 14720 | - | 15M| 0 |1677 |3238 |3341 |3238 |6513 | 136 | 1 | 0 |-5.000000e+01 |-4.000000e+00 |1150.00%
10.78/10.85 c 10.9s| 1 | 0 | 16485 | - | 15M| 0 |1513 |3238 |3341 |3238 |6521 | 144 | 1 | 0 |-5.000000e+01 |-4.000000e+00 |1150.00%
39.68/39.74 o -11
39.68/39.74 c E39.7s| 1 | 0 | 16485 | - | 15M| 0 |1513 |3238 |3341 |3238 |6521 | 144 | 1 | 0 |-5.000000e+01 |-1.100000e+01 | 354.55%
39.68/39.77 c 39.8s| 1 | 0 | 16485 | - | 15M| 0 |1513 |3238 |3341 |3238 |6521 | 144 | 1 | 0 |-5.000000e+01 |-1.100000e+01 | 354.55%
41.18/41.27 c 41.3s| 1 | 0 | 19962 | - | 15M| 0 |1637 |3238 |3341 |3238 |6539 | 162 | 1 | 0 |-5.000000e+01 |-1.100000e+01 | 354.55%
46.19/46.27 c 46.3s| 1 | 2 | 19962 | - | 15M| 0 |1637 |3238 |3341 |3238 |6539 | 162 | 1 | 11 |-5.000000e+01 |-1.100000e+01 | 354.55%
223.64/223.74 o -12
223.64/223.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
223.64/223.74 c l 224s| 24 | 25 |548526 |22981.0 | 16M| 7 | - |3238 |3364 |3238 |2678 |5712 | 24 | 286 |-4.840647e+01 |-1.200000e+01 | 303.39%
359.12/359.25 o -14
359.12/359.25 c l 359s| 70 | 71 | 1126k|16032.5 | 16M| 12 | - |3238 |3406 |3238 |2817 |9074 | 66 | 358 |-4.743625e+01 |-1.400000e+01 | 238.83%
414.62/414.71 c 415s| 100 | 101 | 1351k|13448.3 | 16M| 15 |1074 |3238 |3414 |3238 |3285 | 10k| 74 | 386 |-4.672901e+01 |-1.400000e+01 | 233.78%
562.20/562.34 c 562s| 200 | 201 | 1929k|9594.7 | 17M| 24 | 632 |3238 |3432 |3238 |3290 | 16k| 92 | 514 |-4.481606e+01 |-1.400000e+01 | 220.11%
696.87/697.02 c 697s| 300 | 301 | 2441k|8097.4 | 18M| 35 | 592 |3238 |3451 |3238 |2830 | 20k| 113 | 663 |-4.225701e+01 |-1.400000e+01 | 201.84%
789.06/789.29 c 789s| 400 | 401 | 2814k|7003.5 | 18M| 47 | 915 |3238 |3470 |3238 |3239 | 23k| 136 | 725 |-4.164442e+01 |-1.400000e+01 | 197.46%
861.25/861.41 c 861s| 500 | 501 | 3137k|6246.8 | 19M| 48 | 482 |3238 |3470 |3238 |2920 | 27k| 140 | 735 |-4.083768e+01 |-1.400000e+01 | 191.70%
926.44/926.64 c 927s| 600 | 601 | 3403k|5648.7 | 20M| 48 | 923 |3238 |3481 |3238 |3551 | 30k| 153 | 787 |-4.083768e+01 |-1.400000e+01 | 191.70%
980.13/980.31 c 980s| 700 | 699 | 3608k|5134.3 | 20M| 61 | 274 |3238 |3494 |3238 |3402 | 32k| 167 | 837 |-4.079435e+01 |-1.400000e+01 | 191.39%
1030.33/1030.51 c 1031s| 800 | 799 | 3805k|4738.1 | 21M| 61 | 435 |3238 |3500 |3238 |3355 | 34k| 173 | 895 |-4.079435e+01 |-1.400000e+01 | 191.39%
1069.62/1069.82 c 1070s| 900 | 895 | 3974k|4398.4 | 22M| 65 | 621 |3238 |3500 |3238 |3209 | 36k| 173 | 908 |-4.043412e+01 |-1.400000e+01 | 188.82%
1121.91/1122.17 c 1122s| 1000 | 995 | 4178k|4163.0 | 23M| 65 | 340 |3238 |3504 |3238 |3413 | 39k| 179 | 977 |-4.043412e+01 |-1.400000e+01 | 188.82%
1161.41/1161.62 c 1162s| 1100 | 1095 | 4348k|3938.6 | 24M| 65 | 354 |3238 |3507 |3238 |3404 | 41k| 182 | 989 |-4.032878e+01 |-1.400000e+01 | 188.06%
1197.09/1197.35 c 1197s| 1200 | 1189 | 4480k|3719.9 | 25M| 65 | 215 |3238 |3506 |3238 |3266 | 42k| 182 |1045 |-4.031204e+01 |-1.400000e+01 | 187.94%
1227.50/1227.78 c 1228s| 1300 | 1289 | 4614k|3537.1 | 26M| 65 |1108 |3238 |3503 |3238 |3244 | 44k| 182 |1048 |-4.023492e+01 |-1.400000e+01 | 187.39%
1260.78/1261.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1260.78/1261.03 c 1261s| 1400 | 1383 | 4751k|3382.2 | 28M| 66 | 246 |3238 |3499 |3238 |3614 | 45k| 183 |1100 |-4.014734e+01 |-1.400000e+01 | 186.77%
1297.28/1297.52 c 1298s| 1500 | 1469 | 4899k|3255.0 | 28M| 73 | 975 |3238 |3498 |3238 |3330 | 47k| 184 |1129 |-4.013323e+01 |-1.400000e+01 | 186.67%
1342.47/1342.76 c 1343s| 1600 | 1567 | 5080k|3165.0 | 30M| 73 | 393 |3238 |3501 |3238 |3209 | 50k| 190 |1184 |-4.010100e+01 |-1.400000e+01 | 186.44%
1378.87/1379.17 c 1379s| 1700 | 1663 | 5232k|3067.8 | 30M| 73 | 209 |3238 |3500 |3238 |3211 | 52k| 190 |1208 |-4.010100e+01 |-1.400000e+01 | 186.44%
1409.36/1409.65 c 1410s| 1800 | 1749 | 5367k|2972.6 | 32M| 73 | 292 |3238 |3496 |3238 |3380 | 54k| 191 |1208 |-3.997410e+01 |-1.400000e+01 | 185.53%
1453.45/1453.70 c 1454s| 1900 | 1841 | 5531k|2902.5 | 33M| 73 | 205 |3238 |3494 |3238 |3003 | 56k| 191 |1292 |-3.966614e+01 |-1.400000e+01 | 183.33%
1490.75/1491.03 c 1491s| 2000 | 1933 | 5690k|2836.5 | 34M| 73 | 280 |3238 |3494 |3238 |3068 | 58k| 191 |1306 |-3.956636e+01 |-1.400000e+01 | 182.62%
1533.54/1533.81 c 1534s| 2100 | 2025 | 5863k|2783.9 | 35M| 73 | 999 |3238 |3495 |3238 |3330 | 61k| 193 |1357 |-3.917690e+01 |-1.400000e+01 | 179.83%
1573.44/1573.76 c 1574s| 2200 | 2115 | 6024k|2730.4 | 36M| 73 | 374 |3238 |3496 |3238 |3381 | 63k| 194 |1400 |-3.890300e+01 |-1.400000e+01 | 177.88%
1601.53/1601.80 c 1602s| 2300 | 2205 | 6148k|2665.8 | 37M| 73 | 524 |3238 |3498 |3238 |3349 | 65k| 196 |1400 |-3.874405e+01 |-1.400000e+01 | 176.74%
1629.73/1630.04 c 1630s| 2400 | 2297 | 6267k|2604.4 | 38M| 73 | 165 |3238 |3499 |3238 |3415 | 67k| 198 |1426 |-3.872511e+01 |-1.400000e+01 | 176.61%
1674.02/1674.32 c 1674s| 2500 | 2397 | 6424k|2562.7 | 38M| 73 | 820 |3238 |3498 |3238 |3445 | 68k| 198 |1493 |-3.852210e+01 |-1.400000e+01 | 175.16%
1708.22/1708.52 c 1709s| 2600 | 2485 | 6570k|2520.5 | 39M| 73 | 786 |3238 |3500 |3238 |3525 | 71k| 201 |1505 |-3.814360e+01 |-1.400000e+01 | 172.45%
1739.61/1739.97 c 1740s| 2700 | 2585 | 6707k|2477.9 | 40M| 73 | 732 |3238 |3500 |3238 |3520 | 72k| 203 |1505 |-3.814360e+01 |-1.400000e+01 | 172.45%
1775.20/1775.55 c 1776s| 2800 | 2677 | 6841k|2437.1 | 40M| 73 | 551 |3238 |3508 |3238 |3501 | 74k| 212 |1559 |-3.793368e+01 |-1.400000e+01 | 170.95%
1796.70/1797.00 c
1796.70/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.70/1797.00 c Solving Time (sec) : 1797.00
1796.70/1797.00 c Solving Nodes : 2890
1796.70/1797.00 c Primal Bound : -1.40000000000000e+01 (14 solutions)
1796.70/1797.00 c Dual Bound : -3.79336762213998e+01
1796.70/1797.00 c Gap : 170.95 %
1796.70/1797.00 s SATISFIABLE
1796.70/1797.00 v -x162 -x111 -x139 -x121 -x180 -x119 -x108 -x154 -x172 x132 -x190 -x166 -x129 -x153 -x198 -x113 -x140 -x200 -x155 x189 x179 -x156
1796.70/1797.00 v -x152 -x149 -x109 x188 -x151 -x144 -x165 -x135 -x115 -x146 -x147 -x126 -x106 -x182 -x197 -x102 -x195 -x161 x133 -x105 -x104
1796.70/1797.00 v x192 -x114 -x171 -x125 -x138 -x185 x174 -x143 -x157 x170 -x159 -x123 -x103 -x101 x199 x196 -x186 -x181 -x177 -x176 -x175 -x167
1796.70/1797.00 v -x158 -x148 -x145 -x142 -x134 -x120 -x118 -x117 -x110 -x107 -x124 -x131 -x183 -x130 -x168 x169 -x112 -x137 -x173 x141 -x127
1796.70/1797.00 v -x164 -x160 x191 -x128 -x163 -x122 -x150 -x193 -x136 -x194 -x116 x178 -x187 -x184 -x100 -x99 -x98 -x97 -x96 -x95 x94 x93 -x92
1796.70/1797.00 v -x91 x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 x80 -x79 -x78 -x77 -x76 x75 -x74 -x73 -x72 -x71 -x70 -x69 x68 -x67 -x66
1796.70/1797.00 v x65 -x64 -x63 -x62 -x61 -x60 x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 x42 -x41
1796.70/1797.00 v -x40 x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 x17 -x16 -x15
1796.70/1797.00 v -x14 -x13 x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1796.70/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.70/1797.00 c Total Time : 1797.00
1796.70/1797.00 c solving : 1797.00
1796.70/1797.00 c presolving : 0.35 (included in solving)
1796.70/1797.00 c reading : 0.01 (included in solving)
1796.70/1797.00 c copying : 0.06 (6 #copies) (minimal 0.01, maximal 0.01, average 0.01)
1796.70/1797.00 c Original Problem :
1796.70/1797.00 c Problem name : HOME/instance-3691410-1338022170.opb
1796.70/1797.00 c Variables : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.70/1797.00 c Constraints : 301 initial, 301 maximal
1796.70/1797.00 c Objective sense : minimize
1796.70/1797.00 c Presolved Problem :
1796.70/1797.00 c Problem name : t_HOME/instance-3691410-1338022170.opb
1796.70/1797.00 c Variables : 3238 (3238 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.70/1797.00 c Constraints : 3339 initial, 3509 maximal
1796.70/1797.00 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.70/1797.00 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c probing : 0.02 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c setppc : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c and : 0.30 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c linear : 0.01 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c root node : - - 0 - - 0 - - - - -
1796.70/1797.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.70/1797.00 c integral : 0 0 0 0 2822 0 44 0 0 2 0 0 5640
1796.70/1797.00 c setppc : 300 300 8 76583 0 1 39 672 50 13813 0 0 0
1796.70/1797.00 c and : 3038 3038 6975 76534 0 1 38 789 97 337155 93863 0 0
1796.70/1797.00 c linear : 1 1 8 76435 0 0 13 97 2 0 0 0 0
1796.70/1797.00 c logicor : 0+ 170 8 3248 0 0 0 0 0 922 0 0 0
1796.70/1797.00 c countsols : 0 0 0 0 0 1 17 0 0 0 0 0 0
1796.70/1797.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.70/1797.00 c integral : 217.02 0.00 0.00 0.00 217.02 0.00 0.00 0.00
1796.70/1797.00 c setppc : 0.49 0.00 0.00 0.49 0.00 0.00 0.00 0.00
1796.70/1797.00 c and : 9.74 0.00 6.01 3.72 0.00 0.00 0.01 0.00
1796.70/1797.00 c linear : 0.13 0.00 0.01 0.12 0.00 0.00 0.00 0.00
1796.70/1797.00 c logicor : 0.03 0.00 0.00 0.03 0.00 0.00 0.00 0.00
1796.70/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.70/1797.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.70/1797.00 c rootredcost : 2 0 0 0
1796.70/1797.00 c pseudoobj : 79311 23 3 0
1796.70/1797.00 c vbounds : 0 0 0 0
1796.70/1797.00 c redcost : 7068 0 0 2930
1796.70/1797.00 c probing : 0 0 0 0
1796.70/1797.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.70/1797.00 c rootredcost : 0.07 0.00 0.00 0.07 0.00
1796.70/1797.00 c pseudoobj : 0.15 0.00 0.00 0.15 0.00
1796.70/1797.00 c vbounds : 0.07 0.00 0.00 0.07 0.00
1796.70/1797.00 c redcost : 0.54 0.00 0.00 0.54 0.00
1796.70/1797.00 c probing : 0.02 0.00 0.02 0.00 0.00
1796.70/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.70/1797.00 c propagation : 0.01 152 152 187 21.4 3 117.3 -
1796.70/1797.00 c infeasible LP : 0.01 27 27 163 21.6 0 0.0 0
1796.70/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.70/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.70/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.70/1797.00 c applied globally : - - - 213 21.3 - - -
1796.70/1797.00 c applied locally : - - - 0 0.0 - - -
1796.70/1797.00 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.70/1797.00 c cut pool : 0.00 7 - - 4 - (maximal pool size: 117)
1796.70/1797.00 c closecuts : 0.00 0.00 0 0 0 0 0
1796.70/1797.00 c impliedbounds : 0.01 0.00 8 0 0 72 0
1796.70/1797.00 c intobj : 0.00 0.00 0 0 0 0 0
1796.70/1797.00 c gomory : 0.87 0.00 8 0 0 44 0
1796.70/1797.00 c cgmip : 0.00 0.00 0 0 0 0 0
1796.70/1797.00 c strongcg : 1.33 0.00 8 0 0 49 0
1796.70/1797.00 c cmir : 0.23 0.00 8 0 0 0 0
1796.70/1797.00 c flowcover : 0.22 0.00 8 0 0 0 0
1796.70/1797.00 c clique : 0.43 0.00 8 0 0 55 0
1796.70/1797.00 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.70/1797.00 c mcf : 0.04 0.00 3 0 0 0 0
1796.70/1797.00 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.70/1797.00 c rapidlearning : 2.16 0.00 1 0 0 0 0
1796.70/1797.00 c Pricers : ExecTime SetupTime Calls Vars
1796.70/1797.00 c problem variables: 0.00 - 0 0
1796.70/1797.00 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.70/1797.00 c relpscost : 217.01 0.00 2822 0 2 0 0 5640
1796.70/1797.00 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.00 c inference : 0.00 0.00 1 0 0 0 0 2
1796.70/1797.00 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.00 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.00 c random : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.00 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.70/1797.00 c LP solutions : 0.00 - - 0
1796.70/1797.00 c pseudo solutions : 0.00 - - 0
1796.70/1797.00 c oneopt : 0.01 0.00 6 0
1796.70/1797.00 c crossover : 0.19 0.00 3 2
1796.70/1797.00 c guideddiving : 55.61 0.00 60 0
1796.70/1797.00 c fracdiving : 52.99 0.00 60 0
1796.70/1797.00 c veclendiving : 48.65 0.00 60 0
1796.70/1797.00 c linesearchdiving : 58.91 0.00 61 2
1796.70/1797.00 c pscostdiving : 53.20 0.00 61 0
1796.70/1797.00 c smallcard : 0.00 0.00 0 0
1796.70/1797.00 c trivial : 0.00 0.00 2 1
1796.70/1797.00 c shiftandpropagate: 0.00 0.00 0 0
1796.70/1797.00 c simplerounding : 0.01 0.00 0 0
1796.70/1797.00 c zirounding : 0.75 0.00 0 0
1796.70/1797.00 c rounding : 1.00 0.00 1121 0
1796.70/1797.00 c shifting : 0.92 0.00 677 8
1796.70/1797.00 c intshifting : 0.00 0.00 0 0
1796.70/1797.00 c twoopt : 0.00 0.00 0 0
1796.70/1797.00 c indoneopt : 0.01 0.00 0 0
1796.70/1797.00 c indtwoopt : 0.00 0.00 0 0
1796.70/1797.00 c fixandinfer : 0.00 0.00 0 0
1796.70/1797.00 c feaspump : 0.00 0.00 0 0
1796.70/1797.00 c clique : 0.00 0.00 0 0
1796.70/1797.00 c coefdiving : 54.78 0.00 61 0
1796.70/1797.00 c indcoefdiving : 0.00 0.00 0 0
1796.70/1797.00 c indrounding : 0.00 0.00 0 0
1796.70/1797.00 c nlpdiving : 0.00 0.00 0 0
1796.70/1797.00 c intdiving : 0.00 0.00 0 0
1796.70/1797.00 c actconsdiving : 0.00 0.00 0 0
1796.70/1797.00 c objpscostdiving : 22.01 0.00 11 0
1796.70/1797.00 c rootsoldiving : 13.95 0.00 17 0
1796.70/1797.00 c octane : 0.00 0.00 0 0
1796.70/1797.00 c rens : 28.91 0.00 1 1
1796.70/1797.00 c rins : 0.00 0.00 0 0
1796.70/1797.00 c localbranching : 0.00 0.00 0 0
1796.70/1797.00 c mutation : 0.00 0.00 0 0
1796.70/1797.00 c dins : 0.00 0.00 0 0
1796.70/1797.00 c vbounds : 0.00 0.00 0 0
1796.70/1797.00 c undercover : 0.14 0.00 1 0
1796.70/1797.00 c subnlp : 0.00 0.00 0 0
1796.70/1797.00 c trysol : 0.01 0.00 0 0
1796.70/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.70/1797.00 c primal LP : 7.70 2165 14 4.67 1.82 7.67 2162
1796.70/1797.00 c dual LP : 1158.72 7165 5368070 760.13 4632.77 0.15 103
1796.70/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1796.70/1797.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.70/1797.00 c diving/probing LP: 327.38 47840 1557799 32.56 4758.35
1796.70/1797.00 c strong branching : 216.84 1584 783065 494.36 3611.18
1796.70/1797.00 c (at root node) : - 11 11000 1000.00 -
1796.70/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1796.70/1797.00 c B&B Tree :
1796.70/1797.00 c number of runs : 1
1796.70/1797.00 c nodes : 2890
1796.70/1797.00 c nodes (total) : 2890
1796.70/1797.00 c nodes left : 2753
1796.70/1797.00 c max depth : 73
1796.70/1797.00 c max depth (total): 73
1796.70/1797.00 c backtracks : 481 (16.6%)
1796.70/1797.00 c delayed cutoffs : 0
1796.70/1797.00 c repropagations : 90 (22 domain reductions, 0 cutoffs)
1796.70/1797.00 c avg switch length: 4.69
1796.70/1797.00 c switching time : 9.05
1796.70/1797.00 c Solution :
1796.70/1797.00 c Solutions found : 14 (7 improvements)
1796.70/1797.00 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.02 seconds, depth 0, found by <trivial>)
1796.70/1797.00 c Primal Bound : -1.40000000000000e+01 (in run 1, after 70 nodes, 359.25 seconds, depth 179, found by <linesearchdiving>)
1796.70/1797.00 c Dual Bound : -3.79336762213998e+01
1796.70/1797.00 c Gap : 170.95 %
1796.70/1797.00 c Root Dual Bound : -4.99999999999999e+01
1796.70/1797.00 c Root Iterations : 19962
1796.70/1797.05 c Time complete: 1796.75.
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-3691410-1338022170/watcher-3691410-1338022170 -o /tmp/evaluation-result-3691410-1338022170/solver-3691410-1338022170 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3691410-1338022170.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.01 1.97 3/174 28621
/proc/meminfo: memFree=29276024/32873844 swapFree=7104/7104
[pid=28621] ppid=28619 vsize=10088 CPUtime=0 cores=1,3,5,7
/proc/28621/stat : 28621 (scip-2.1.1.4fix) R 28619 28621 28130 0 -1 4202496 1292 0 0 0 0 0 0 0 20 0 1 0 268345614 10330112 1246 33554432000 4194304 10173063 140733809949152 140736244807800 7545739 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28621/statm: 2522 1247 417 1460 0 1053 0
[startup+0.0812429 s]
/proc/loadavg: 2.00 2.01 1.97 3/174 28621
/proc/meminfo: memFree=29276024/32873844 swapFree=7104/7104
[pid=28621] ppid=28619 vsize=23620 CPUtime=0.07 cores=1,3,5,7
/proc/28621/stat : 28621 (scip-2.1.1.4fix) R 28619 28621 28130 0 -1 4202496 4726 0 0 0 3 4 0 0 20 0 1 0 268345614 24186880 4423 33554432000 4194304 10173063 140733809949152 140736244807800 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28621/statm: 5905 4423 551 1460 0 4436 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 23620
[startup+0.100343 s]
/proc/loadavg: 2.00 2.01 1.97 3/174 28621
/proc/meminfo: memFree=29276024/32873844 swapFree=7104/7104
[pid=28621] ppid=28619 vsize=23620 CPUtime=0.09 cores=1,3,5,7
/proc/28621/stat : 28621 (scip-2.1.1.4fix) R 28619 28621 28130 0 -1 4202496 4726 0 0 0 3 6 0 0 20 0 1 0 268345614 24186880 4423 33554432000 4194304 10173063 140733809949152 140736244807800 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28621/statm: 5905 4423 551 1460 0 4436 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23620
[startup+0.30029 s]
/proc/loadavg: 2.00 2.01 1.97 3/174 28621
/proc/meminfo: memFree=29276024/32873844 swapFree=7104/7104
[pid=28621] ppid=28619 vsize=27248 CPUtime=0.29 cores=1,3,5,7
/proc/28621/stat : 28621 (scip-2.1.1.4fix) R 28619 28621 28130 0 -1 4202496 5627 0 0 0 6 23 0 0 20 0 1 0 268345614 27901952 5324 33554432000 4194304 10173063 140733809949152 140736244807800 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28621/statm: 6812 5324 577 1460 0 5343 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27248
[startup+0.700193 s]
/proc/loadavg: 2.00 2.01 1.97 3/174 28621
/proc/meminfo: memFree=29276024/32873844 swapFree=7104/7104
[pid=28621] ppid=28619 vsize=44624 CPUtime=0.69 cores=1,3,5,7
/proc/28621/stat : 28621 (scip-2.1.1.4fix) R 28619 28621 28130 0 -1 4202496 10464 0 0 0 41 28 0 0 20 0 1 0 268345614 45694976 9738 33554432000 4194304 10173063 140733809949152 140733809942504 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28621/statm: 11156 9738 750 1460 0 9687 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 44624
[startup+1.50031 s]
/proc/loadavg: 2.00 2.01 1.97 3/175 28622
/proc/meminfo: memFree=29239692/32873844 swapFree=7104/7104
[pid=28621] ppid=28619 vsize=64096 CPUtime=1.49 cores=1,3,5,7
/proc/28621/stat : 28621 (scip-2.1.1.4fix) R 28619 28621 28130 0 -1 4202496 19109 0 0 0 119 30 0 0 20 0 1 0 268345614 65634304 14976 33554432000 4194304 10173063 140733809949152 140733809942504 5023571 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28621/statm: 16024 14976 839 1460 0 14555 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 64096
[startup+3.10027 s]
/proc/loadavg: 2.00 2.01 1.97 3/175 28622
/proc/meminfo: memFree=29210652/32873844 swapFree=7104/7104
[pid=28621] ppid=28619 vsize=75916 CPUtime=3.09 cores=1,3,5,7
/proc/28621/stat : 28621 (scip-2.1.1.4fix) R 28619 28621 28130 0 -1 4202496 22084 0 0 0 259 50 0 0 20 0 1 0 268345614 77737984 17951 33554432000 4194304 10173063 140733809949152 140733809942200 4955056 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28621/statm: 18979 17951 861 1460 0 17510 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 75916
[startup+6.30027 s]
/proc/loadavg: 2.00 2.01 1.97 3/175 28622
/proc/meminfo: memFree=29217720/32873844 swapFree=7104/7104
[pid=28621] ppid=28619 vsize=64096 CPUtime=6.29 cores=1,3,5,7
/proc/28621/stat : 28621 (scip-2.1.1.4fix) R 28619 28621 28130 0 -1 4202496 22643 0 0 0 567 62 0 0 20 0 1 0 268345614 65634304 15046 33554432000 4194304 10173063 140733809949152 140733809942408 5023565 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28621/statm: 16024 15046 862 1460 0 14555 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 64096
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 1.97 3/175 28622
/proc/meminfo: memFree=29194308/32873844 swapFree=7104/7104
[pid=28621] ppid=28619 vsize=86776 CPUtime=12.69 cores=1,3,5,7
/proc/28621/stat : 28621 (scip-2.1.1.4fix) R 28619 28621 28130 0 -1 4202496 28318 0 0 0 1199 70 0 0 20 0 1 0 268345614 88858624 20564 33554432000 4194304 10173063 140733809949152 140733809937960 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28621/statm: 21694 20564 878 1460 0 20225 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 86776
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 1.97 3/175 28622
/proc/meminfo: memFree=29193332/32873844 swapFree=7104/7104
[pid=28621] ppid=28619 vsize=86776 CPUtime=25.48 cores=1,3,5,7
/proc/28621/stat : 28621 (scip-2.1.1.4fix) R 28619 28621 28130 0 -1 4202496 28402 0 0 0 2466 82 0 0 20 0 1 0 268345614 88858624 20647 33554432000 4194304 10173063 140733809949152 140733809939208 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28621/statm: 21694 20647 878 1460 0 20225 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 86776
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 1.97 3/176 28625
/proc/meminfo: memFree=29214964/32873844 swapFree=7104/7104
[pid=28621] ppid=28619 vsize=64096 CPUtime=51.08 cores=1,3,5,7
/proc/28621/stat : 28621 (scip-2.1.1.4fix) R 28619 28621 28130 0 -1 4202496 28986 0 0 0 5004 104 0 0 20 0 1 0 268345614 65634304 15075 33554432000 4194304 10173063 140733809949152 140733809942456 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28621/statm: 16024 15075 883 1460 0 14555 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 64096
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.97 3/175 28626
/proc/meminfo: memFree=29212696/32873844 swapFree=7104/7104
[pid=28621] ppid=28619 vsize=64096 CPUtime=102.28 cores=1,3,5,7
/proc/28621/stat : 28621 (scip-2.1.1.4fix) R 28619 28621 28130 0 -1 4202496 28987 0 0 0 10104 124 0 0 20 0 1 0 268345614 65634304 15076 33554432000 4194304 10173063 140733809949152 140733809942456 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28621/statm: 16024 15076 884 1460 0 14555 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 64096
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/175 28626
/proc/meminfo: memFree=29207604/32873844 swapFree=7104/7104
[pid=28621] ppid=28619 vsize=64096 CPUtime=162.26 cores=1,3,5,7
/proc/28621/stat : 28621 (scip-2.1.1.4fix) R 28619 28621 28130 0 -1 4202496 28988 0 0 0 16083 143 0 0 20 0 1 0 268345614 65634304 15076 33554432000 4194304 10173063 140733809949152 140733809942600 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28621/statm: 16024 15076 884 1460 0 14555 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 64096
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/175 28664
/proc/meminfo: memFree=29422192/32873844 swapFree=7104/7104
[pid=28621] ppid=28619 vsize=64096 CPUtime=222.25 cores=1,3,5,7
/proc/28621/stat : 28621 (scip-2.1.1.4fix) R 28619 28621 28130 0 -1 4202496 29005 0 0 0 22063 162 0 0 20 0 1 0 268345614 65634304 15346 33554432000 4194304 10173063 140733809949152 140733809942472 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28621/statm: 16024 15346 886 1460 0 14555 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 64096
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/175 28664
/proc/meminfo: memFree=29420884/32873844 swapFree=7104/7104
[pid=28621] ppid=28619 vsize=64096 CPUtime=282.23 cores=1,3,5,7
/proc/28621/stat : 28621 (scip-2.1.1.4fix) R 28619 28621 28130 0 -1 4202496 29005 0 0 0 28036 187 0 0 20 0 1 0 268345614 65634304 15346 33554432000 4194304 10173063 140733809949152 140733809944200 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28621/statm: 16024 15346 886 1460 0 14555 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 64096
[startup+342.3 s]
/proc/loadavg: 2.08 2.02 1.97 3/175 28664
/proc/meminfo: memFree=29420884/32873844 swapFree=7104/7104
[pid=28621] ppid=28619 vsize=64096 CPUtime=342.23 cores=1,3,5,7
/proc/28621/stat : 28621 (scip-2.1.1.4fix) R 28619 28621 28130 0 -1 4202496 29005 0 0 0 34012 211 0 0 20 0 1 0 268345614 65634304 15346 33554432000 4194304 10173063 140733809949152 140733809942408 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28621/statm: 16024 15346 886 1460 0 14555 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 64096
[startup+402.3 s]
/proc/loadavg: 2.03 2.01 1.97 3/175 28665
/proc/meminfo: memFree=29420884/32873844 swapFree=7104/7104
[pid=28621] ppid=28619 vsize=64096 CPUtime=402.22 cores=1,3,5,7
/proc/28621/stat : 28621 (scip-2.1.1.4fix) R 28619 28621 28130 0 -1 4202496 29005 0 0 0 39989 233 0 0 20 0 1 0 268345614 65634304 15346 33554432000 4194304 10173063 140733809949152 140733809942792 7986093 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28621/statm: 16024 15346 886 1460 0 14555 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 64096
[startup+462.3 s]
/proc/loadavg: 2.01 2.00 1.97 3/175 28665
/proc/meminfo: memFree=29421008/32873844 swapFree=7104/7104
[pid=28621] ppid=28619 vsize=64096 CPUtime=462.21 cores=1,3,5,7
/proc/28621/stat : 28621 (scip-2.1.1.4fix) R 28619 28621 28130 0 -1 4202496 29005 0 0 0 45966 255 0 0 20 0 1 0 268345614 65634304 15346 33554432000 4194304 10173063 140733809949152 140733809942408 8055539 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28621/statm: 16024 15346 886 1460 0 14555 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 64096
[startup+522.3 s]
/proc/loadavg: 2.07 2.02 1.98 3/175 28665
/proc/meminfo: memFree=29420884/32873844 swapFree=7104/7104
[pid=28621] ppid=28619 vsize=64096 CPUtime=522.2 cores=1,3,5,7
/proc/28621/stat : 28621 (scip-2.1.1.4fix) R 28619 28621 28130 0 -1 4202496 29005 0 0 0 51941 279 0 0 20 0 1 0 268345614 65634304 15346 33554432000 4194304 10173063 140733809949152 140733809942408 7682737 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28621/statm: 16024 15346 886 1460 0 14555 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 64096
[startup+582.3 s]
/proc/loadavg: 2.02 2.01 1.98 3/175 28665
/proc/meminfo: memFree=29421008/32873844 swapFree=7104/7104
[pid=28621] ppid=28619 vsize=64096 CPUtime=582.19 cores=1,3,5,7
/proc/28621/stat : 28621 (scip-2.1.1.4fix) R 28619 28621 28130 0 -1 4202496 29005 0 0 0 57917 302 0 0 20 0 1 0 268345614 65634304 15346 33554432000 4194304 10173063 140733809949152 140733809942792 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28621/statm: 16024 15346 886 1460 0 14555 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 64096
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=29416104/32873844 swapFree=7104/7104
[pid=28621] ppid=28619 vsize=69636 CPUtime=1122.11 cores=1,3,5,7
/proc/28621/stat : 28621 (scip-2.1.1.4fix) R 28619 28621 28130 0 -1 4202496 38846 0 0 0 111690 521 0 0 20 0 1 0 268345614 71307264 16702 33554432000 4194304 10173063 140733809949152 140733809942504 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28621/statm: 17409 16702 887 1460 0 15940 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 69636
[startup+1182.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/175 28693
/proc/meminfo: memFree=29413560/32873844 swapFree=7104/7104
[pid=28621] ppid=28619 vsize=72492 CPUtime=1182.1 cores=1,3,5,7
/proc/28621/stat : 28621 (scip-2.1.1.4fix) R 28619 28621 28130 0 -1 4202496 39894 0 0 0 117665 545 0 0 20 0 1 0 268345614 74231808 17352 33554432000 4194304 10173063 140733809949152 140733809942408 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28621/statm: 18123 17352 887 1460 0 16654 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 72492
[startup+1242.3 s]
/proc/loadavg: 2.08 2.03 2.01 3/176 28696
/proc/meminfo: memFree=29411416/32873844 swapFree=7104/7104
[pid=28621] ppid=28619 vsize=74640 CPUtime=1242.09 cores=1,3,5,7
/proc/28621/stat : 28621 (scip-2.1.1.4fix) R 28619 28621 28130 0 -1 4202496 41678 0 0 0 123642 567 0 0 20 0 1 0 268345614 76431360 17914 33554432000 4194304 10173063 140733809949152 140733809942408 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28621/statm: 18660 17914 887 1460 0 17191 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 74640
[startup+1302.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/175 28696
/proc/meminfo: memFree=29408968/32873844 swapFree=7104/7104
[pid=28621] ppid=28619 vsize=77336 CPUtime=1302.09 cores=1,3,5,7
/proc/28621/stat : 28621 (scip-2.1.1.4fix) R 28619 28621 28130 0 -1 4202496 46364 0 0 0 129618 591 0 0 20 0 1 0 268345614 79192064 18597 33554432000 4194304 10173063 140733809949152 140733809942792 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28621/statm: 19334 18597 887 1460 0 17865 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 77336
[startup+1362.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/175 28697
/proc/meminfo: memFree=29407228/32873844 swapFree=7104/7104
[pid=28621] ppid=28619 vsize=78552 CPUtime=1362.07 cores=1,3,5,7
/proc/28621/stat : 28621 (scip-2.1.1.4fix) R 28619 28621 28130 0 -1 4202496 48291 0 0 0 135592 615 0 0 20 0 1 0 268345614 80437248 18866 33554432000 4194304 10173063 140733809949152 140733809945592 8007499 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28621/statm: 19638 18866 887 1460 0 18169 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 78552
[startup+1422.31 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 28697
/proc/meminfo: memFree=29402884/32873844 swapFree=7104/7104
[pid=28621] ppid=28619 vsize=81024 CPUtime=1422.07 cores=1,3,5,7
/proc/28621/stat : 28621 (scip-2.1.1.4fix) R 28619 28621 28130 0 -1 4202496 48931 0 0 0 141570 637 0 0 20 0 1 0 268345614 82968576 19504 33554432000 4194304 10173063 140733809949152 140733809942408 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28621/statm: 20256 19504 887 1460 0 18787 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 81024
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 28697
/proc/meminfo: memFree=29399904/32873844 swapFree=7104/7104
[pid=28621] ppid=28619 vsize=82612 CPUtime=1482.05 cores=1,3,5,7
/proc/28621/stat : 28621 (scip-2.1.1.4fix) R 28619 28621 28130 0 -1 4202496 49795 0 0 0 147545 660 0 0 20 0 1 0 268345614 84594688 19897 33554432000 4194304 10173063 140733809949152 140733809942504 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28621/statm: 20653 19897 887 1460 0 19184 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 82612
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 28697
/proc/meminfo: memFree=29397236/32873844 swapFree=7104/7104
[pid=28621] ppid=28619 vsize=84328 CPUtime=1542.04 cores=1,3,5,7
/proc/28621/stat : 28621 (scip-2.1.1.4fix) R 28619 28621 28130 0 -1 4202496 50673 0 0 0 153523 681 0 0 20 0 1 0 268345614 86351872 20327 33554432000 4194304 10173063 140733809949152 140733809942600 7911539 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28621/statm: 21082 20327 887 1460 0 19613 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 84328
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 28697
/proc/meminfo: memFree=29395248/32873844 swapFree=7104/7104
[pid=28621] ppid=28619 vsize=84796 CPUtime=1602.04 cores=1,3,5,7
/proc/28621/stat : 28621 (scip-2.1.1.4fix) R 28619 28621 28130 0 -1 4202496 50838 0 0 0 159494 710 0 0 20 0 1 0 268345614 86831104 20491 33554432000 4194304 10173063 140733809949152 140733809942408 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28621/statm: 21199 20491 887 1460 0 19730 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 84796
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 28698
/proc/meminfo: memFree=29389416/32873844 swapFree=7104/7104
[pid=28621] ppid=28619 vsize=87604 CPUtime=1662.02 cores=1,3,5,7
/proc/28621/stat : 28621 (scip-2.1.1.4fix) R 28619 28621 28130 0 -1 4202496 51533 0 0 0 165469 733 0 0 20 0 1 0 268345614 89706496 21179 33554432000 4194304 10173063 140733809949152 140733809942136 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28621/statm: 21901 21179 887 1460 0 20432 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 87604
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 28698
/proc/meminfo: memFree=29386932/32873844 swapFree=7104/7104
[pid=28621] ppid=28619 vsize=88248 CPUtime=1722.02 cores=1,3,5,7
/proc/28621/stat : 28621 (scip-2.1.1.4fix) R 28619 28621 28130 0 -1 4202496 51688 0 0 0 171445 757 0 0 20 0 1 0 268345614 90365952 21334 33554432000 4194304 10173063 140733809949152 140733809942456 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28621/statm: 22062 21334 887 1460 0 20593 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 88248
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 28698
/proc/meminfo: memFree=29381908/32873844 swapFree=7104/7104
[pid=28621] ppid=28619 vsize=89708 CPUtime=1782 cores=1,3,5,7
/proc/28621/stat : 28621 (scip-2.1.1.4fix) R 28619 28621 28130 0 -1 4202496 52498 0 0 0 177418 782 0 0 20 0 1 0 268345614 91860992 21693 33554432000 4194304 10173063 140733809949152 140733809942600 7986081 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28621/statm: 22427 21693 887 1460 0 20958 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 89708
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 28698
/proc/meminfo: memFree=29381536/32873844 swapFree=7104/7104
[pid=28621] ppid=28619 vsize=90136 CPUtime=1785.21 cores=1,3,5,7
/proc/28621/stat : 28621 (scip-2.1.1.4fix) R 28619 28621 28130 0 -1 4202496 52554 0 0 0 177737 784 0 0 20 0 1 0 268345614 92299264 21749 33554432000 4194304 10173063 140733809949152 140733809942456 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28621/statm: 22534 21749 887 1460 0 21065 0
Current children cumulated CPU time (s) 1785.21
Current children cumulated vsize (KiB) 90136
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 28698
/proc/meminfo: memFree=29381096/32873844 swapFree=7104/7104
[pid=28621] ppid=28619 vsize=90624 CPUtime=1791.61 cores=1,3,5,7
/proc/28621/stat : 28621 (scip-2.1.1.4fix) R 28619 28621 28130 0 -1 4202496 52674 0 0 0 178374 787 0 0 20 0 1 0 268345614 92798976 21869 33554432000 4194304 10173063 140733809949152 140733809942408 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28621/statm: 22656 21869 887 1460 0 21187 0
Current children cumulated CPU time (s) 1791.61
Current children cumulated vsize (KiB) 90624
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 28698
/proc/meminfo: memFree=29380724/32873844 swapFree=7104/7104
[pid=28621] ppid=28619 vsize=90624 CPUtime=1794.8 cores=1,3,5,7
/proc/28621/stat : 28621 (scip-2.1.1.4fix) R 28619 28621 28130 0 -1 4202496 52694 0 0 0 178692 788 0 0 20 0 1 0 268345614 92798976 21889 33554432000 4194304 10173063 140733809949152 140733809942392 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28621/statm: 22656 21889 887 1460 0 21187 0
Current children cumulated CPU time (s) 1794.8
Current children cumulated vsize (KiB) 90624
[startup+1795.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 28698
/proc/meminfo: memFree=29380724/32873844 swapFree=7104/7104
[pid=28621] ppid=28619 vsize=90624 CPUtime=1795.6 cores=1,3,5,7
/proc/28621/stat : 28621 (scip-2.1.1.4fix) R 28619 28621 28130 0 -1 4202496 52694 0 0 0 178771 789 0 0 20 0 1 0 268345614 92798976 21889 33554432000 4194304 10173063 140733809949152 140733809942792 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28621/statm: 22656 21889 887 1460 0 21187 0
Current children cumulated CPU time (s) 1795.6
Current children cumulated vsize (KiB) 90624
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 28698
/proc/meminfo: memFree=29380724/32873844 swapFree=7104/7104
[pid=28621] ppid=28619 vsize=90624 CPUtime=1796.4 cores=1,3,5,7
/proc/28621/stat : 28621 (scip-2.1.1.4fix) R 28619 28621 28130 0 -1 4202496 52694 0 0 0 178851 789 0 0 20 0 1 0 268345614 92798976 21889 33554432000 4194304 10173063 140733809949152 140733809942792 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28621/statm: 22656 21889 887 1460 0 21187 0
Current children cumulated CPU time (s) 1796.4
Current children cumulated vsize (KiB) 90624
[startup+1796.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 28698
/proc/meminfo: memFree=29380724/32873844 swapFree=7104/7104
[pid=28621] ppid=28619 vsize=90624 CPUtime=1796.6 cores=1,3,5,7
/proc/28621/stat : 28621 (scip-2.1.1.4fix) R 28619 28621 28130 0 -1 4202496 52694 0 0 0 178871 789 0 0 20 0 1 0 268345614 92798976 21889 33554432000 4194304 10173063 140733809949152 140733809942792 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28621/statm: 22656 21889 887 1460 0 21187 0
Current children cumulated CPU time (s) 1796.6
Current children cumulated vsize (KiB) 90624
[startup+1797 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 28698
/proc/meminfo: memFree=29380724/32873844 swapFree=7104/7104
[pid=28621] ppid=28619 vsize=90624 CPUtime=1796.7 cores=1,3,5,7
/proc/28621/stat : 28621 (scip-2.1.1.4fix) R 28619 28621 28130 0 -1 4202496 52694 0 0 0 178881 789 0 0 20 0 1 0 268345614 92798976 21889 33554432000 4194304 10173063 140733809949152 140733809942792 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28621/statm: 22656 21889 887 1460 0 21187 0
Current children cumulated CPU time (s) 1796.7
Current children cumulated vsize (KiB) 90624
Child status: 0
Real time (s): 1797.05
CPU time (s): 1796.76
CPU user time (s): 1788.86
CPU system time (s): 7.8998
CPU usage (%): 99.9839
Max. virtual memory (cumulated for all children) (KiB): 90664
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1788.86
system time used= 7.8998
maximum resident set size= 87568
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52699
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= 34
involuntary context switches= 1845
runsolver used 5.39618 second user time and 18.7182 second system time
The end