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-3693744-1338036968.opb>
0.00/0.01 c original problem has 200 variables (200 bin, 0 int, 0 impl, 0 cont) and 301 constraints
0.00/0.01 c problem read in 0.01
0.00/0.03 o 0
0.00/0.03 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.00/0.03 c presolving:
0.19/0.20 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 300 upgd conss, 24696 impls, 200 clqs
0.28/0.38 c (0.4s) probing: 51/3262 (1.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.28/0.38 c (0.4s) probing aborted: 50/50 successive totally useless probings
0.28/0.39 c presolving (2 rounds):
0.28/0.39 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.28/0.39 c 24696 implications, 200 cliques
0.28/0.39 c presolved problem has 3262 variables (3262 bin, 0 int, 0 impl, 0 cont) and 3363 constraints
0.28/0.39 c 300 constraints of type <setppc>
0.28/0.39 c 3062 constraints of type <and>
0.28/0.39 c 1 constraints of type <linear>
0.28/0.39 c transformed objective value is always integral (scale: 1)
0.28/0.39 c Presolving Time: 0.38
0.28/0.39 c - non default parameters ----------------------------------------------------------------------
0.28/0.39 c # SCIP version 2.1.1.4
0.28/0.39 c
0.28/0.39 c # maximal time in seconds to run
0.28/0.39 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.28/0.39 c limits/time = 1797
0.28/0.39 c
0.28/0.39 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.28/0.39 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.28/0.39 c limits/memory = 13950
0.28/0.39 c
0.28/0.39 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.28/0.39 c # [type: int, range: [1,2], default: 1]
0.28/0.39 c timing/clocktype = 2
0.28/0.39 c
0.28/0.39 c # belongs reading time to solving time?
0.28/0.39 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.28/0.39 c timing/reading = TRUE
0.28/0.39 c
0.28/0.39 c -----------------------------------------------------------------------------------------------
0.28/0.39 c start solving
0.28/0.39 c
1.39/1.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.39/1.41 c t 1.4s| 1 | 0 | 4080 | - | 14M| 0 |1127 |3262 |3363 |3262 |6425 | 0 | 0 | 0 |-5.000000e+01 | 0.000000e+00 | Inf
1.39/1.42 o -4
1.39/1.42 c s 1.4s| 1 | 0 | 4080 | - | 14M| 0 |1127 |3262 |3363 |3262 |6425 | 0 | 0 | 0 |-5.000000e+01 |-4.000000e+00 |1150.00%
1.48/1.56 o -5
1.48/1.56 c U 1.6s| 1 | 0 | 4080 | - | 15M| 0 |1127 |3262 |3363 |3262 |6425 | 0 | 0 | 0 |-5.000000e+01 |-5.000000e+00 | 900.00%
2.28/2.37 c 2.4s| 1 | 0 | 5631 | - | 15M| 0 |1209 |3262 |3364 |3262 |6455 | 30 | 0 | 0 |-5.000000e+01 |-5.000000e+00 | 900.00%
3.89/3.94 c 3.9s| 1 | 0 | 9860 | - | 15M| 0 |1232 |3262 |3364 |3262 |6474 | 49 | 0 | 0 |-5.000000e+01 |-5.000000e+00 | 900.00%
5.50/5.59 c 5.6s| 1 | 0 | 13735 | - | 15M| 0 |1415 |3262 |3364 |3262 |6496 | 71 | 0 | 0 |-5.000000e+01 |-5.000000e+00 | 900.00%
6.78/6.88 c 6.9s| 1 | 0 | 16090 | - | 15M| 0 |1633 |3262 |3364 |3262 |6526 | 101 | 0 | 0 |-5.000000e+01 |-5.000000e+00 | 900.00%
7.79/7.88 c 7.9s| 1 | 0 | 17397 | - | 15M| 0 |1644 |3262 |3364 |3262 |6544 | 119 | 0 | 0 |-5.000000e+01 |-5.000000e+00 | 900.00%
8.59/8.69 c 8.7s| 1 | 0 | 17878 | - | 15M| 0 |1660 |3262 |3364 |3262 |6557 | 132 | 0 | 0 |-5.000000e+01 |-5.000000e+00 | 900.00%
22.58/22.61 c 22.6s| 1 | 2 | 17878 | - | 15M| 0 |1660 |3262 |3364 |3262 |6557 | 132 | 0 | 31 |-5.000000e+01 |-5.000000e+00 | 900.00%
141.26/141.33 o -11
141.26/141.33 c * 141s| 38 | 37 |362097 |9303.2 | 16M| 29 | - |3262 |3372 |3262 |2799 |3723 | 8 | 264 |-4.978770e+01 |-1.100000e+01 | 352.62%
141.26/141.39 o -12
141.26/141.39 c * 141s| 55 | 33 |362299 |6378.2 | 16M| 40 | - |3262 |3372 |3262 |2800 |3724 | 8 | 264 |-4.978770e+01 |-1.200000e+01 | 314.90%
141.56/141.60 c 142s| 100 | 52 |363039 |3486.5 | 16M| 44 | 187 |3262 |3375 |3262 |2790 |3729 | 11 | 264 |-4.978770e+01 |-1.200000e+01 | 314.90%
173.66/173.74 o -13
173.66/173.74 c f 174s| 165 | 35 |459024 |2689.9 | 17M| 44 | - |3262 |3382 |3262 |3157 |5549 | 18 | 325 |-4.932634e+01 |-1.300000e+01 | 279.43%
250.14/250.24 c 250s| 200 | 70 |718341 |3519.9 | 16M| 44 | 603 |3262 |3387 |3262 |3336 |8593 | 23 | 432 |-4.840528e+01 |-1.300000e+01 | 272.35%
294.65/294.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
294.65/294.71 c 295s| 300 | 122 |860693 |2818.8 | 17M| 44 |1432 |3262 |3388 |3262 |3438 |9860 | 24 | 504 |-4.792111e+01 |-1.300000e+01 | 268.62%
316.83/316.93 c 317s| 400 | 166 |952424 |2342.2 | 18M| 44 | 136 |3262 |3392 |3262 |2762 | 10k| 28 | 527 |-4.743255e+01 |-1.300000e+01 | 264.87%
382.02/382.18 c 382s| 500 | 218 | 1176k|2321.9 | 18M| 49 | 202 |3262 |3400 |3262 |2778 | 12k| 36 | 622 |-4.603891e+01 |-1.300000e+01 | 254.15%
459.31/459.40 c 459s| 600 | 290 | 1463k|2414.2 | 19M| 49 | - |3262 |3403 |3262 |3644 | 14k| 39 | 707 |-4.441651e+01 |-1.300000e+01 | 241.67%
467.91/468.09 c 468s| 700 | 316 | 1488k|2103.8 | 19M| 49 | - |3262 |3404 |3262 |3656 | 14k| 40 | 732 |-4.393097e+01 |-1.300000e+01 | 237.93%
481.01/481.15 c 481s| 800 | 350 | 1535k|1899.8 | 19M| 55 | 132 |3262 |3407 |3262 |3650 | 15k| 43 | 750 |-4.344770e+01 |-1.300000e+01 | 234.21%
498.30/498.43 c 498s| 900 | 378 | 1606k|1767.0 | 19M| 56 | - |3262 |3413 |3262 |3646 | 15k| 49 | 750 |-4.245516e+01 |-1.300000e+01 | 226.58%
510.40/510.56 c 511s| 1000 | 410 | 1659k|1643.3 | 20M| 56 | - |3262 |3414 |3262 |3645 | 16k| 50 | 750 |-4.218401e+01 |-1.300000e+01 | 224.49%
526.70/526.83 c 527s| 1100 | 446 | 1719k|1548.7 | 20M| 64 | - |3262 |3414 |3262 |3640 | 16k| 50 | 775 |-4.177740e+01 |-1.300000e+01 | 221.36%
560.19/560.32 c 560s| 1200 | 498 | 1824k|1507.1 | 20M| 64 | - |3262 |3419 |3262 |3642 | 17k| 55 | 845 |-4.143860e+01 |-1.300000e+01 | 218.76%
578.89/579.03 c 579s| 1300 | 538 | 1910k|1456.6 | 21M| 64 | 188 |3262 |3419 |3262 |3647 | 18k| 55 | 845 |-4.114107e+01 |-1.300000e+01 | 216.47%
620.99/621.11 c 621s| 1400 | 608 | 2067k|1464.8 | 21M| 64 | 275 |3262 |3425 |3262 |3403 | 20k| 61 | 889 |-4.114107e+01 |-1.300000e+01 | 216.47%
653.88/654.03 c 654s| 1500 | 672 | 2191k|1450.0 | 22M| 64 | - |3262 |3426 |3262 |3675 | 21k| 63 | 930 |-4.102185e+01 |-1.300000e+01 | 215.55%
664.08/664.29 c 664s| 1600 | 700 | 2235k|1386.9 | 22M| 64 | - |3262 |3429 |3262 |3551 | 22k| 66 | 930 |-4.082305e+01 |-1.300000e+01 | 214.02%
673.38/673.51 c 674s| 1700 | 738 | 2273k|1327.6 | 23M| 64 | 147 |3262 |3429 |3262 |3532 | 22k| 66 | 930 |-4.080230e+01 |-1.300000e+01 | 213.86%
674.48/674.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
674.48/674.61 c 675s| 1800 | 762 | 2277k|1256.3 | 23M| 64 | - |3262 |3431 | 0 | 0 | 22k| 68 | 930 |-4.080230e+01 |-1.300000e+01 | 213.86%
712.97/713.17 c 713s| 1900 | 830 | 2429k|1269.9 | 23M| 64 | 428 |3262 |3433 |3262 |3609 | 24k| 70 | 992 |-4.071995e+01 |-1.300000e+01 | 213.23%
771.46/771.69 c 772s| 2000 | 930 | 2671k|1327.7 | 25M| 64 | 668 |3262 |3432 |3262 |3519 | 27k| 70 |1018 |-4.067210e+01 |-1.300000e+01 | 212.86%
814.66/814.83 c 815s| 2100 | 1030 | 2854k|1351.6 | 25M| 64 | 536 |3262 |3434 |3262 |3605 | 29k| 72 |1020 |-4.061802e+01 |-1.300000e+01 | 212.45%
866.95/867.19 c 867s| 2200 | 1130 | 3066k|1386.4 | 27M| 64 |1024 |3262 |3432 |3262 |2905 | 31k| 72 |1073 |-4.061215e+01 |-1.300000e+01 | 212.40%
911.84/912.05 c 912s| 2300 | 1230 | 3261k|1411.1 | 28M| 64 | 228 |3262 |3432 |3262 |3147 | 34k| 72 |1100 |-4.049328e+01 |-1.300000e+01 | 211.49%
969.94/970.12 c 970s| 2400 | 1330 | 3490k|1447.5 | 29M| 64 | 270 |3262 |3435 |3262 |3423 | 36k| 75 |1170 |-4.043178e+01 |-1.300000e+01 | 211.01%
1012.93/1013.16 c 1013s| 2500 | 1428 | 3674k|1463.2 | 30M| 64 | 210 |3262 |3440 |3262 |3260 | 38k| 80 |1181 |-4.033986e+01 |-1.300000e+01 | 210.31%
1075.71/1075.96 c 1076s| 2600 | 1528 | 3920k|1501.6 | 32M| 64 | 257 |3262 |3445 |3262 |3461 | 41k| 86 |1261 |-4.016142e+01 |-1.300000e+01 | 208.93%
1117.10/1117.30 c 1117s| 2700 | 1626 | 4092k|1509.9 | 33M| 64 | 319 |3262 |3449 |3262 |3448 | 43k| 91 |1279 |-4.013867e+01 |-1.300000e+01 | 208.76%
1168.19/1168.45 c 1168s| 2800 | 1724 | 4284k|1524.5 | 35M| 64 | 289 |3262 |3451 |3262 |3497 | 45k| 93 |1339 |-4.003190e+01 |-1.300000e+01 | 207.94%
1210.90/1211.15 c 1211s| 2900 | 1824 | 4467k|1534.9 | 36M| 64 | 294 |3262 |3457 |3262 |2859 | 47k| 99 |1348 |-3.991806e+01 |-1.300000e+01 | 207.06%
1250.49/1250.76 o -14
1250.49/1250.76 c p1251s| 2973 | 1604 | 4624k|1549.9 | 34M| 64 | - |3262 |3460 |3262 |2864 | 50k| 103 |1418 |-3.991806e+01 |-1.400000e+01 | 185.13%
1261.49/1261.74 c 1262s| 3000 | 1629 | 4665k|1549.6 | 34M| 64 | 252 |3262 |3461 |3262 |3518 | 50k| 104 |1435 |-3.976038e+01 |-1.400000e+01 | 184.00%
1295.28/1295.54 c 1296s| 3100 | 1725 | 4812k|1547.1 | 35M| 64 | - |3262 |3462 |3262 |3298 | 52k| 105 |1437 |-3.976038e+01 |-1.400000e+01 | 184.00%
1349.37/1349.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1349.37/1349.60 c 1350s| 3200 | 1815 | 5023k|1564.8 | 37M| 64 | 509 |3262 |3463 |3262 |3546 | 55k| 106 |1506 |-3.950348e+01 |-1.400000e+01 | 182.17%
1396.86/1397.12 c 1397s| 3300 | 1913 | 5215k|1575.6 | 38M| 64 | 173 |3262 |3464 |3262 |3418 | 57k| 107 |1540 |-3.945642e+01 |-1.400000e+01 | 181.83%
1443.65/1443.95 c 1444s| 3400 | 2007 | 5405k|1585.1 | 39M| 64 | 377 |3262 |3464 |3262 |3571 | 59k| 107 |1572 |-3.936352e+01 |-1.400000e+01 | 181.17%
1487.35/1487.68 c 1488s| 3500 | 2101 | 5571k|1587.2 | 41M| 64 | 270 |3262 |3467 |3262 |3598 | 60k| 110 |1640 |-3.930212e+01 |-1.400000e+01 | 180.73%
1525.14/1525.49 c 1525s| 3600 | 2197 | 5731k|1587.5 | 42M| 64 | 188 |3262 |3472 |3262 |3611 | 62k| 115 |1646 |-3.918634e+01 |-1.400000e+01 | 179.90%
1537.44/1537.72 c 1538s| 3700 | 2261 | 5783k|1558.6 | 43M| 64 | 439 |3262 |3473 |3262 |3575 | 63k| 116 |1647 |-3.915519e+01 |-1.400000e+01 | 179.68%
1572.83/1573.11 c 1573s| 3800 | 2355 | 5924k|1554.9 | 44M| 64 | 422 |3262 |3480 |3262 |3475 | 65k| 124 |1675 |-3.915519e+01 |-1.400000e+01 | 179.68%
1622.13/1622.50 c 1623s| 3900 | 2445 | 6124k|1566.2 | 45M| 64 | 811 |3262 |3480 |3262 |3543 | 66k| 124 |1723 |-3.896269e+01 |-1.400000e+01 | 178.30%
1660.02/1660.38 c 1660s| 4000 | 2541 | 6291k|1568.7 | 46M| 64 | 393 |3262 |3480 |3262 |3543 | 68k| 124 |1723 |-3.886563e+01 |-1.400000e+01 | 177.61%
1704.01/1704.30 c 1704s| 4100 | 2637 | 6449k|1569.2 | 47M| 64 | 479 |3262 |3480 |3262 |3513 | 70k| 125 |1797 |-3.883549e+01 |-1.400000e+01 | 177.40%
1739.91/1740.26 c 1740s| 4200 | 2731 | 6597k|1567.0 | 49M| 64 | 301 |3262 |3479 |3262 |3525 | 71k| 125 |1812 |-3.865691e+01 |-1.400000e+01 | 176.12%
1778.00/1778.33 c 1778s| 4300 | 2823 | 6758k|1568.0 | 49M| 64 | 986 |3262 |3481 |3262 |3456 | 73k| 127 |1818 |-3.858391e+01 |-1.400000e+01 | 175.60%
1796.69/1797.01 c
1796.69/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.69/1797.01 c Solving Time (sec) : 1797.01
1796.69/1797.01 c Solving Nodes : 4346
1796.69/1797.01 c Primal Bound : -1.40000000000000e+01 (13 solutions)
1796.69/1797.01 c Dual Bound : -3.85516892335099e+01
1796.69/1797.01 c Gap : 175.37 %
1796.69/1797.01 s SATISFIABLE
1796.69/1797.01 v -x160 -x183 -x118 x165 -x126 -x157 -x148 -x158 x196 -x181 -x167 -x156 -x142 -x131 -x198 x197 -x163 x137 -x110 -x171 -x107 -x103
1796.69/1797.01 v -x144 -x130 -x125 x122 -x113 -x119 -x159 -x192 -x195 -x164 -x179 -x175 -x188 x145 -x191 -x151 -x169 -x102 -x152 -x146 -x140
1796.69/1797.01 v -x135 -x112 -x105 -x134 -x143 -x190 x186 -x189 x123 -x194 -x136 -x114 -x138 x154 -x141 -x162 x200 -x109 -x185 -x101 -x193 -x178
1796.69/1797.01 v -x172 -x170 -x155 -x139 -x124 x120 -x117 -x116 -x108 -x104 -x128 -x147 -x168 -x153 -x184 -x132 -x180 -x106 -x115 -x187 -x129
1796.69/1797.01 v -x199 x161 x149 -x127 -x182 -x174 -x150 -x121 -x133 x177 -x173 -x111 -x166 -x176 -x100 -x99 x98 -x97 -x96 -x95 x94 -x93 -x92
1796.69/1797.01 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.69/1797.01 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 -x40
1796.69/1797.01 v -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.69/1797.01 v -x14 -x13 -x12 -x11 -x10 x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1796.69/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.69/1797.01 c Total Time : 1797.01
1796.69/1797.01 c solving : 1797.01
1796.69/1797.01 c presolving : 0.38 (included in solving)
1796.69/1797.01 c reading : 0.01 (included in solving)
1796.69/1797.01 c copying : 0.07 (7 #copies) (minimal 0.01, maximal 0.01, average 0.01)
1796.69/1797.01 c Original Problem :
1796.69/1797.01 c Problem name : HOME/instance-3693744-1338036968.opb
1796.69/1797.01 c Variables : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.69/1797.01 c Constraints : 301 initial, 301 maximal
1796.69/1797.01 c Objective sense : minimize
1796.69/1797.01 c Presolved Problem :
1796.69/1797.01 c Problem name : t_HOME/instance-3693744-1338036968.opb
1796.69/1797.01 c Variables : 3262 (3262 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.69/1797.01 c Constraints : 3363 initial, 3484 maximal
1796.69/1797.01 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.69/1797.01 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c probing : 0.02 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c setppc : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c and : 0.33 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c linear : 0.01 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c root node : - - 0 - - 0 - - - - -
1796.69/1797.01 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.69/1797.01 c integral : 0 0 0 0 3786 0 83 0 0 30 0 0 7544
1796.69/1797.01 c setppc : 300 300 6 74878 2 1 78 343 37 23850 0 0 0
1796.69/1797.01 c and : 3062 3062 8588 74841 2 1 77 487 65 554223 95661 0 0
1796.69/1797.01 c linear : 1 1 6 74774 2 0 10 1 1 3 0 0 0
1796.69/1797.01 c logicor : 0+ 121 6 2945 0 0 0 0 0 677 0 0 0
1796.69/1797.01 c countsols : 0 0 0 0 2 1 14 0 0 0 0 0 0
1796.69/1797.01 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.69/1797.01 c integral : 244.04 0.00 0.00 0.00 244.04 0.00 0.00 0.00
1796.69/1797.01 c setppc : 0.45 0.00 0.00 0.43 0.00 0.00 0.01 0.00
1796.69/1797.01 c and : 9.83 0.00 6.47 3.36 0.00 0.00 0.01 0.00
1796.69/1797.01 c linear : 0.13 0.00 0.01 0.12 0.00 0.00 0.00 0.00
1796.69/1797.01 c logicor : 0.02 0.00 0.00 0.02 0.00 0.00 0.00 0.00
1796.69/1797.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.69/1797.01 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.69/1797.01 c rootredcost : 5 0 0 0
1796.69/1797.01 c pseudoobj : 78567 13 2 16
1796.69/1797.01 c vbounds : 0 0 0 0
1796.69/1797.01 c redcost : 9029 0 0 6716
1796.69/1797.01 c probing : 0 0 0 0
1796.69/1797.01 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.69/1797.01 c rootredcost : 0.08 0.00 0.00 0.08 0.00
1796.69/1797.01 c pseudoobj : 0.16 0.00 0.00 0.16 0.00
1796.69/1797.01 c vbounds : 0.07 0.00 0.00 0.07 0.00
1796.69/1797.01 c redcost : 0.65 0.00 0.00 0.65 0.00
1796.69/1797.01 c probing : 0.02 0.00 0.02 0.00 0.00
1796.69/1797.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.69/1797.01 c propagation : 0.00 105 105 121 17.2 3 58.7 -
1796.69/1797.01 c infeasible LP : 0.00 5 5 11 38.8 0 0.0 0
1796.69/1797.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.69/1797.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.69/1797.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.69/1797.01 c applied globally : - - - 130 18.9 - - -
1796.69/1797.01 c applied locally : - - - 0 0.0 - - -
1796.69/1797.01 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.69/1797.01 c cut pool : 0.00 5 - - 4 - (maximal pool size: 114)
1796.69/1797.01 c closecuts : 0.00 0.00 0 0 0 0 0
1796.69/1797.01 c impliedbounds : 0.00 0.00 6 0 0 48 0
1796.69/1797.01 c intobj : 0.00 0.00 0 0 0 0 0
1796.69/1797.01 c gomory : 0.83 0.00 6 0 0 36 0
1796.69/1797.01 c cgmip : 0.00 0.00 0 0 0 0 0
1796.69/1797.01 c strongcg : 1.40 0.00 6 0 0 74 0
1796.69/1797.01 c cmir : 0.17 0.00 6 0 0 0 0
1796.69/1797.01 c flowcover : 0.17 0.00 6 0 0 0 0
1796.69/1797.01 c clique : 0.32 0.00 6 0 0 40 0
1796.69/1797.01 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.69/1797.01 c mcf : 0.03 0.00 2 0 0 6 0
1796.69/1797.01 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.69/1797.01 c rapidlearning : 0.00 0.00 0 0 0 0 0
1796.69/1797.01 c Pricers : ExecTime SetupTime Calls Vars
1796.69/1797.01 c problem variables: 0.00 - 0 0
1796.69/1797.01 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.69/1797.01 c relpscost : 244.02 0.00 3784 0 30 0 0 7544
1796.69/1797.01 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.01 c inference : 0.00 0.00 1 0 0 0 0 2
1796.69/1797.01 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.01 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.01 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.01 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.01 c random : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.01 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.69/1797.01 c LP solutions : 0.00 - - 2
1796.69/1797.01 c pseudo solutions : 0.00 - - 0
1796.69/1797.01 c oneopt : 0.01 0.00 5 0
1796.69/1797.01 c crossover : 0.27 0.00 5 1
1796.69/1797.01 c guideddiving : 34.61 0.00 61 0
1796.69/1797.01 c coefdiving : 44.12 0.00 61 0
1796.69/1797.01 c pscostdiving : 49.81 0.00 61 1
1796.69/1797.01 c fracdiving : 35.65 0.00 61 1
1796.69/1797.01 c linesearchdiving : 20.84 0.00 61 0
1796.69/1797.01 c veclendiving : 35.93 0.00 61 0
1796.69/1797.01 c smallcard : 0.00 0.00 0 0
1796.69/1797.01 c trivial : 0.00 0.00 2 1
1796.69/1797.01 c shiftandpropagate: 0.00 0.00 0 0
1796.69/1797.01 c simplerounding : 0.01 0.00 0 0
1796.69/1797.01 c zirounding : 0.89 0.00 0 0
1796.69/1797.01 c rounding : 1.49 0.00 1237 0
1796.69/1797.01 c shifting : 1.05 0.00 866 6
1796.69/1797.01 c intshifting : 0.00 0.00 0 0
1796.69/1797.01 c twoopt : 0.00 0.00 0 0
1796.69/1797.01 c indoneopt : 0.02 0.00 0 0
1796.69/1797.01 c indtwoopt : 0.00 0.00 0 0
1796.69/1797.01 c fixandinfer : 0.00 0.00 0 0
1796.69/1797.01 c feaspump : 0.00 0.00 0 0
1796.69/1797.01 c clique : 0.00 0.00 0 0
1796.69/1797.01 c indrounding : 0.00 0.00 0 0
1796.69/1797.01 c indcoefdiving : 0.00 0.00 0 0
1796.69/1797.01 c nlpdiving : 0.00 0.00 0 0
1796.69/1797.01 c intdiving : 0.00 0.00 0 0
1796.69/1797.01 c actconsdiving : 0.00 0.00 0 0
1796.69/1797.01 c objpscostdiving : 16.66 0.00 24 0
1796.69/1797.01 c rootsoldiving : 13.87 0.00 22 0
1796.69/1797.01 c octane : 0.00 0.00 0 0
1796.69/1797.01 c rens : 0.01 0.00 0 0
1796.69/1797.01 c rins : 0.00 0.00 0 0
1796.69/1797.01 c localbranching : 0.00 0.00 0 0
1796.69/1797.01 c mutation : 0.00 0.00 0 0
1796.69/1797.01 c dins : 0.00 0.00 0 0
1796.69/1797.01 c vbounds : 0.00 0.00 0 0
1796.69/1797.01 c undercover : 0.15 0.00 1 1
1796.69/1797.01 c subnlp : 0.01 0.00 0 0
1796.69/1797.01 c trysol : 0.01 0.00 0 0
1796.69/1797.01 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.69/1797.01 c primal LP : 6.63 2336 5 1.25 0.75 6.61 2332
1796.69/1797.01 c dual LP : 1268.70 9624 5804860 633.65 4575.43 0.43 463
1796.69/1797.01 c lex dual LP : 0.00 0 0 0.00 -
1796.69/1797.01 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.69/1797.01 c diving/probing LP: 219.90 44380 1039307 23.42 4726.33
1796.69/1797.01 c strong branching : 243.83 1818 886006 487.35 3633.69
1796.69/1797.01 c (at root node) : - 31 31000 1000.00 -
1796.69/1797.01 c conflict analysis: 0.00 0 0 0.00 -
1796.69/1797.01 c B&B Tree :
1796.69/1797.01 c number of runs : 1
1796.69/1797.01 c nodes : 4346
1796.69/1797.01 c nodes (total) : 4346
1796.69/1797.01 c nodes left : 2867
1796.69/1797.01 c max depth : 64
1796.69/1797.01 c max depth (total): 64
1796.69/1797.01 c backtracks : 613 (14.1%)
1796.69/1797.01 c delayed cutoffs : 0
1796.69/1797.01 c repropagations : 759 (8070 domain reductions, 0 cutoffs)
1796.69/1797.01 c avg switch length: 3.67
1796.69/1797.01 c switching time : 8.42
1796.69/1797.01 c Solution :
1796.69/1797.01 c Solutions found : 13 (7 improvements)
1796.69/1797.01 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.03 seconds, depth 0, found by <trivial>)
1796.69/1797.01 c Primal Bound : -1.40000000000000e+01 (in run 1, after 2973 nodes, 1250.75 seconds, depth 267, found by <pscostdiving>)
1796.69/1797.01 c Dual Bound : -3.85516892335099e+01
1796.69/1797.01 c Gap : 175.37 %
1796.69/1797.01 c Root Dual Bound : -4.99999999999999e+01
1796.69/1797.01 c Root Iterations : 17878
1796.69/1797.06 c Time complete: 1796.76.
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-3693744-1338036968/watcher-3693744-1338036968 -o /tmp/evaluation-result-3693744-1338036968/solver-3693744-1338036968 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3693744-1338036968.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.00 2.00 3/176 7783
/proc/meminfo: memFree=29007288/32873844 swapFree=7388/7388
[pid=7783] ppid=7781 vsize=9952 CPUtime=0 cores=1,3,5,7
/proc/7783/stat : 7783 (scip-2.1.1.4sfi) R 7781 7783 6041 0 -1 4202496 1225 0 0 0 0 0 0 0 20 0 1 0 269821171 10190848 1179 33554432000 4194304 10169799 140733232835888 140733232834488 8797266 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7783/statm: 2488 1183 413 1459 0 1020 0
[startup+0.0878421 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 7783
/proc/meminfo: memFree=29007288/32873844 swapFree=7388/7388
[pid=7783] ppid=7781 vsize=23772 CPUtime=0.08 cores=1,3,5,7
/proc/7783/stat : 7783 (scip-2.1.1.4sfi) R 7781 7783 6041 0 -1 4202496 4753 0 0 0 3 5 0 0 20 0 1 0 269821171 24342528 4450 33554432000 4194304 10169799 140733232835888 140733232834488 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7783/statm: 5943 4450 539 1459 0 4475 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 23772
[startup+0.100353 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 7783
/proc/meminfo: memFree=29007288/32873844 swapFree=7388/7388
[pid=7783] ppid=7781 vsize=23772 CPUtime=0.09 cores=1,3,5,7
/proc/7783/stat : 7783 (scip-2.1.1.4sfi) R 7781 7783 6041 0 -1 4202496 4753 0 0 0 3 6 0 0 20 0 1 0 269821171 24342528 4450 33554432000 4194304 10169799 140733232835888 140733232834488 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7783/statm: 5943 4450 539 1459 0 4475 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23772
[startup+0.300231 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 7783
/proc/meminfo: memFree=29007288/32873844 swapFree=7388/7388
[pid=7783] ppid=7781 vsize=27268 CPUtime=0.28 cores=1,3,5,7
/proc/7783/stat : 7783 (scip-2.1.1.4sfi) R 7781 7783 6041 0 -1 4202496 5625 0 0 0 5 23 0 0 20 0 1 0 269821171 27922432 5322 33554432000 4194304 10169799 140733232835888 140733232834488 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7783/statm: 6817 5322 569 1459 0 5349 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 27268
[startup+0.700241 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 7783
/proc/meminfo: memFree=29007288/32873844 swapFree=7388/7388
[pid=7783] ppid=7781 vsize=44664 CPUtime=0.69 cores=1,3,5,7
/proc/7783/stat : 7783 (scip-2.1.1.4sfi) R 7781 7783 6041 0 -1 4202496 10573 0 0 0 37 32 0 0 20 0 1 0 269821171 45735936 9785 33554432000 4194304 10169799 140733232835888 140733232834488 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7783/statm: 11166 9785 744 1459 0 9698 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 44664
[startup+1.50025 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7784
/proc/meminfo: memFree=28969328/32873844 swapFree=7388/7388
[pid=7783] ppid=7781 vsize=70380 CPUtime=1.48 cores=1,3,5,7
/proc/7783/stat : 7783 (scip-2.1.1.4sfi) R 7781 7783 6041 0 -1 4202496 17538 0 0 0 115 33 0 0 20 0 1 0 269821171 72069120 16023 33554432000 4194304 10169799 140733232835888 140733232830296 7735862 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7783/statm: 17595 16023 781 1459 0 16127 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 70380
[startup+3.10025 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7784
/proc/meminfo: memFree=28939568/32873844 swapFree=7388/7388
[pid=7783] ppid=7781 vsize=75344 CPUtime=3.09 cores=1,3,5,7
/proc/7783/stat : 7783 (scip-2.1.1.4sfi) R 7781 7783 6041 0 -1 4202496 21331 0 0 0 270 39 0 0 20 0 1 0 269821171 77152256 17567 33554432000 4194304 10169799 140733232835888 140733232830296 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7783/statm: 18836 17567 859 1459 0 17368 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 75344
[startup+6.30033 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7784
/proc/meminfo: memFree=28939320/32873844 swapFree=7388/7388
[pid=7783] ppid=7781 vsize=75344 CPUtime=6.29 cores=1,3,5,7
/proc/7783/stat : 7783 (scip-2.1.1.4sfi) R 7781 7783 6041 0 -1 4202496 21331 0 0 0 588 41 0 0 20 0 1 0 269821171 77152256 17567 33554432000 4194304 10169799 140733232835888 140733232831880 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7783/statm: 18836 17567 859 1459 0 17368 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 75344
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7784
/proc/meminfo: memFree=28938344/32873844 swapFree=7388/7388
[pid=7783] ppid=7781 vsize=75344 CPUtime=12.69 cores=1,3,5,7
/proc/7783/stat : 7783 (scip-2.1.1.4sfi) R 7781 7783 6041 0 -1 4202496 21600 0 0 0 1223 46 0 0 20 0 1 0 269821171 77152256 17836 33554432000 4194304 10169799 140733232835888 140733232830872 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7783/statm: 18836 17836 861 1459 0 17368 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 75344
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7822
/proc/meminfo: memFree=29879324/32873844 swapFree=7388/7388
[pid=7783] ppid=7781 vsize=75344 CPUtime=25.48 cores=1,3,5,7
/proc/7783/stat : 7783 (scip-2.1.1.4sfi) R 7781 7783 6041 0 -1 4202496 21604 0 0 0 2496 52 0 0 20 0 1 0 269821171 77152256 17900 33554432000 4194304 10169799 140733232835888 140733232830392 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7783/statm: 18836 17900 862 1459 0 17368 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 75344
[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7822
/proc/meminfo: memFree=29877572/32873844 swapFree=7388/7388
[pid=7783] ppid=7781 vsize=75344 CPUtime=51.07 cores=1,3,5,7
/proc/7783/stat : 7783 (scip-2.1.1.4sfi) R 7781 7783 6041 0 -1 4202496 21617 0 0 0 5040 67 0 0 20 0 1 0 269821171 77152256 18192 33554432000 4194304 10169799 140733232835888 140733232830488 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7783/statm: 18836 18192 866 1459 0 17368 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 75344
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7822
/proc/meminfo: memFree=29875160/32873844 swapFree=7388/7388
[pid=7783] ppid=7781 vsize=75344 CPUtime=102.27 cores=1,3,5,7
/proc/7783/stat : 7783 (scip-2.1.1.4sfi) R 7781 7783 6041 0 -1 4202496 21618 0 0 0 10116 111 0 0 20 0 1 0 269821171 77152256 18193 33554432000 4194304 10169799 140733232835888 140733232830296 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7783/statm: 18836 18193 867 1459 0 17368 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 75344
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7822
/proc/meminfo: memFree=29875160/32873844 swapFree=7388/7388
[pid=7783] ppid=7781 vsize=75344 CPUtime=162.26 cores=1,3,5,7
/proc/7783/stat : 7783 (scip-2.1.1.4sfi) R 7781 7783 6041 0 -1 4202496 21619 0 0 0 16061 165 0 0 20 0 1 0 269821171 77152256 18194 33554432000 4194304 10169799 140733232835888 140733232830392 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7783/statm: 18836 18194 868 1459 0 17368 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 75344
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7822
/proc/meminfo: memFree=29875284/32873844 swapFree=7388/7388
[pid=7783] ppid=7781 vsize=75344 CPUtime=222.24 cores=1,3,5,7
/proc/7783/stat : 7783 (scip-2.1.1.4sfi) R 7781 7783 6041 0 -1 4202496 21619 0 0 0 22010 214 0 0 20 0 1 0 269821171 77152256 18194 33554432000 4194304 10169799 140733232835888 140733232830392 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7783/statm: 18836 18194 868 1459 0 17368 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 75344
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 7826
/proc/meminfo: memFree=29875028/32873844 swapFree=7388/7388
[pid=7783] ppid=7781 vsize=75344 CPUtime=282.24 cores=1,3,5,7
/proc/7783/stat : 7783 (scip-2.1.1.4sfi) R 7781 7783 6041 0 -1 4202496 21619 0 0 0 27973 251 0 0 20 0 1 0 269821171 77152256 18194 33554432000 4194304 10169799 140733232835888 140733232830488 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7783/statm: 18836 18194 868 1459 0 17368 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 75344
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 7848
/proc/meminfo: memFree=29873168/32873844 swapFree=7388/7388
[pid=7783] ppid=7781 vsize=77260 CPUtime=342.23 cores=1,3,5,7
/proc/7783/stat : 7783 (scip-2.1.1.4sfi) R 7781 7783 6041 0 -1 4202496 22582 0 0 0 33931 292 0 0 20 0 1 0 269821171 79114240 18674 33554432000 4194304 10169799 140733232835888 140733232830488 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7783/statm: 19315 18674 869 1459 0 17847 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 77260
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7848
/proc/meminfo: memFree=29872988/32873844 swapFree=7388/7388
[pid=7783] ppid=7781 vsize=77260 CPUtime=402.22 cores=1,3,5,7
/proc/7783/stat : 7783 (scip-2.1.1.4sfi) R 7781 7783 6041 0 -1 4202496 22583 0 0 0 39896 326 0 0 20 0 1 0 269821171 79114240 18674 33554432000 4194304 10169799 140733232835888 140733232831864 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7783/statm: 19315 18674 869 1459 0 17847 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 77260
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7848
/proc/meminfo: memFree=29872740/32873844 swapFree=7388/7388
[pid=7783] ppid=7781 vsize=77260 CPUtime=462.21 cores=1,3,5,7
/proc/7783/stat : 7783 (scip-2.1.1.4sfi) R 7781 7783 6041 0 -1 4202496 22583 0 0 0 45860 361 0 0 20 0 1 0 269821171 79114240 18674 33554432000 4194304 10169799 140733232835888 140733232830392 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7783/statm: 19315 18674 869 1459 0 17847 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 77260
[startup+522.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 7848
/proc/meminfo: memFree=29874972/32873844 swapFree=7388/7388
[pid=7783] ppid=7781 vsize=75212 CPUtime=522.2 cores=1,3,5,7
/proc/7783/stat : 7783 (scip-2.1.1.4sfi) R 7781 7783 6041 0 -1 4202496 23769 0 0 0 51818 402 0 0 20 0 1 0 269821171 77017088 18162 33554432000 4194304 10169799 140733232835888 140733232830296 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7783/statm: 18803 18162 869 1459 0 17335 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 75212
[startup+582.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 7849
/proc/meminfo: memFree=29874972/32873844 swapFree=7388/7388
[pid=7783] ppid=7781 vsize=75212 CPUtime=582.19 cores=1,3,5,7
/proc/7783/stat : 7783 (scip-2.1.1.4sfi) R 7781 7783 6041 0 -1 4202496 23769 0 0 0 57782 437 0 0 20 0 1 0 269821171 77017088 18162 33554432000 4194304 10169799 140733232835888 140733232830296 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7783/statm: 18803 18162 869 1459 0 17335 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 75212
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=29867712/32873844 swapFree=7388/7388
[pid=7783] ppid=7781 vsize=82904 CPUtime=1122.1 cores=1,3,5,7
/proc/7783/stat : 7783 (scip-2.1.1.4sfi) R 7781 7783 6041 0 -1 4202496 30460 0 0 0 111423 787 0 0 20 0 1 0 269821171 84893696 20202 33554432000 4194304 10169799 140733232835888 140733232830296 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7783/statm: 20726 20202 1010 1459 0 19258 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 82904
[startup+1182.3 s]
/proc/loadavg: 2.00 2.05 2.02 3/177 7853
/proc/meminfo: memFree=29863864/32873844 swapFree=7388/7388
[pid=7783] ppid=7781 vsize=85392 CPUtime=1182.1 cores=1,3,5,7
/proc/7783/stat : 7783 (scip-2.1.1.4sfi) R 7781 7783 6041 0 -1 4202496 31047 0 0 0 117383 827 0 0 20 0 1 0 269821171 87441408 20787 33554432000 4194304 10169799 140733232835888 140733232830296 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7783/statm: 21348 20787 1010 1459 0 19880 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 85392
[startup+1242.3 s]
/proc/loadavg: 2.00 2.04 2.01 3/177 7854
/proc/meminfo: memFree=29861816/32873844 swapFree=7388/7388
[pid=7783] ppid=7781 vsize=87592 CPUtime=1242.09 cores=1,3,5,7
/proc/7783/stat : 7783 (scip-2.1.1.4sfi) R 7781 7783 6041 0 -1 4202496 33074 0 0 0 123339 870 0 0 20 0 1 0 269821171 89694208 21317 33554432000 4194304 10169799 140733232835888 140733232830392 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7783/statm: 21898 21317 1010 1459 0 20430 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 87592
[startup+1302.3 s]
/proc/loadavg: 2.00 2.03 2.01 3/177 7854
/proc/meminfo: memFree=29858028/32873844 swapFree=7388/7388
[pid=7783] ppid=7781 vsize=90816 CPUtime=1302.08 cores=1,3,5,7
/proc/7783/stat : 7783 (scip-2.1.1.4sfi) R 7781 7783 6041 0 -1 4202496 34243 0 0 0 129299 909 0 0 20 0 1 0 269821171 92995584 22129 33554432000 4194304 10169799 140733232835888 140733232830344 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7783/statm: 22704 22129 1010 1459 0 21236 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 90816
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 7854
/proc/meminfo: memFree=29856664/32873844 swapFree=7388/7388
[pid=7783] ppid=7781 vsize=91736 CPUtime=1362.07 cores=1,3,5,7
/proc/7783/stat : 7783 (scip-2.1.1.4sfi) R 7781 7783 6041 0 -1 4202496 39320 0 0 0 135265 942 0 0 20 0 1 0 269821171 93937664 22387 33554432000 4194304 10169799 140733232835888 140733232830392 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7783/statm: 22934 22387 1010 1459 0 21466 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 91736
[startup+1422.31 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 7854
/proc/meminfo: memFree=29856660/32873844 swapFree=7388/7388
[pid=7783] ppid=7781 vsize=92560 CPUtime=1422.06 cores=1,3,5,7
/proc/7783/stat : 7783 (scip-2.1.1.4sfi) R 7781 7783 6041 0 -1 4202496 39979 0 0 0 141227 979 0 0 20 0 1 0 269821171 94781440 22617 33554432000 4194304 10169799 140733232835888 140733232830392 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7783/statm: 23140 22617 1010 1459 0 21672 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 92560
[startup+1482.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/178 7857
/proc/meminfo: memFree=29854852/32873844 swapFree=7388/7388
[pid=7783] ppid=7781 vsize=94304 CPUtime=1482.05 cores=1,3,5,7
/proc/7783/stat : 7783 (scip-2.1.1.4sfi) R 7781 7783 6041 0 -1 4202496 41769 0 0 0 147187 1018 0 0 20 0 1 0 269821171 96567296 23044 33554432000 4194304 10169799 140733232835888 140733232830344 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7783/statm: 23576 23044 1010 1459 0 22108 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 94304
[startup+1542.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 7858
/proc/meminfo: memFree=29850892/32873844 swapFree=7388/7388
[pid=7783] ppid=7781 vsize=98088 CPUtime=1542.03 cores=1,3,5,7
/proc/7783/stat : 7783 (scip-2.1.1.4sfi) R 7781 7783 6041 0 -1 4202496 47393 0 0 0 153146 1057 0 0 20 0 1 0 269821171 100442112 23963 33554432000 4194304 10169799 140733232835888 140733232830296 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7783/statm: 24522 23963 1010 1459 0 23054 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 98088
[startup+1602.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 7858
/proc/meminfo: memFree=29848408/32873844 swapFree=7388/7388
[pid=7783] ppid=7781 vsize=100748 CPUtime=1602.02 cores=1,3,5,7
/proc/7783/stat : 7783 (scip-2.1.1.4sfi) R 7781 7783 6041 0 -1 4202496 48073 0 0 0 159111 1091 0 0 20 0 1 0 269821171 103165952 24659 33554432000 4194304 10169799 140733232835888 140733232830392 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7783/statm: 25187 24659 1010 1459 0 23719 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 100748
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 7858
/proc/meminfo: memFree=29846420/32873844 swapFree=7388/7388
[pid=7783] ppid=7781 vsize=102672 CPUtime=1662.01 cores=1,3,5,7
/proc/7783/stat : 7783 (scip-2.1.1.4sfi) R 7781 7783 6041 0 -1 4202496 48535 0 0 0 165071 1130 0 0 20 0 1 0 269821171 105136128 25120 33554432000 4194304 10169799 140733232835888 140733232830296 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7783/statm: 25668 25120 1010 1459 0 24200 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 102672
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 7858
/proc/meminfo: memFree=29845612/32873844 swapFree=7388/7388
[pid=7783] ppid=7781 vsize=104808 CPUtime=1722.01 cores=1,3,5,7
/proc/7783/stat : 7783 (scip-2.1.1.4sfi) R 7781 7783 6041 0 -1 4202496 49047 0 0 0 171031 1170 0 0 20 0 1 0 269821171 107323392 25631 33554432000 4194304 10169799 140733232835888 140733232830392 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7783/statm: 26202 25631 1010 1459 0 24734 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 104808
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 7858
/proc/meminfo: memFree=29844060/32873844 swapFree=7388/7388
[pid=7783] ppid=7781 vsize=105840 CPUtime=1781.99 cores=1,3,5,7
/proc/7783/stat : 7783 (scip-2.1.1.4sfi) R 7781 7783 6041 0 -1 4202496 49743 0 0 0 176990 1209 0 0 20 0 1 0 269821171 108380160 25884 33554432000 4194304 10169799 140733232835888 140733232830296 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7783/statm: 26460 25884 1010 1459 0 24992 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 105840
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 7858
/proc/meminfo: memFree=29844432/32873844 swapFree=7388/7388
[pid=7783] ppid=7781 vsize=105840 CPUtime=1785.2 cores=1,3,5,7
/proc/7783/stat : 7783 (scip-2.1.1.4sfi) R 7781 7783 6041 0 -1 4202496 49747 0 0 0 177309 1211 0 0 20 0 1 0 269821171 108380160 25888 33554432000 4194304 10169799 140733232835888 140733232830344 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7783/statm: 26460 25888 1010 1459 0 24992 0
Current children cumulated CPU time (s) 1785.2
Current children cumulated vsize (KiB) 105840
[startup+1791.91 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 7858
/proc/meminfo: memFree=29844184/32873844 swapFree=7388/7388
[pid=7783] ppid=7781 vsize=105840 CPUtime=1791.6 cores=1,3,5,7
/proc/7783/stat : 7783 (scip-2.1.1.4sfi) R 7781 7783 6041 0 -1 4202496 49774 0 0 0 177944 1216 0 0 20 0 1 0 269821171 108380160 25915 33554432000 4194304 10169799 140733232835888 140733232830392 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7783/statm: 26460 25915 1010 1459 0 24992 0
Current children cumulated CPU time (s) 1791.6
Current children cumulated vsize (KiB) 105840
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7858
/proc/meminfo: memFree=29844184/32873844 swapFree=7388/7388
[pid=7783] ppid=7781 vsize=105840 CPUtime=1794.8 cores=1,3,5,7
/proc/7783/stat : 7783 (scip-2.1.1.4sfi) R 7781 7783 6041 0 -1 4202496 49774 0 0 0 178262 1218 0 0 20 0 1 0 269821171 108380160 25915 33554432000 4194304 10169799 140733232835888 140733232830680 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7783/statm: 26460 25915 1010 1459 0 24992 0
Current children cumulated CPU time (s) 1794.8
Current children cumulated vsize (KiB) 105840
[startup+1795.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7858
/proc/meminfo: memFree=29844184/32873844 swapFree=7388/7388
[pid=7783] ppid=7781 vsize=105840 CPUtime=1795.59 cores=1,3,5,7
/proc/7783/stat : 7783 (scip-2.1.1.4sfi) R 7781 7783 6041 0 -1 4202496 49774 0 0 0 178341 1218 0 0 20 0 1 0 269821171 108380160 25915 33554432000 4194304 10169799 140733232835888 140733232830680 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7783/statm: 26460 25915 1010 1459 0 24992 0
Current children cumulated CPU time (s) 1795.59
Current children cumulated vsize (KiB) 105840
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7858
/proc/meminfo: memFree=29844184/32873844 swapFree=7388/7388
[pid=7783] ppid=7781 vsize=105840 CPUtime=1796.4 cores=1,3,5,7
/proc/7783/stat : 7783 (scip-2.1.1.4sfi) R 7781 7783 6041 0 -1 4202496 49777 0 0 0 178421 1219 0 0 20 0 1 0 269821171 108380160 25918 33554432000 4194304 10169799 140733232835888 140733232830392 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7783/statm: 26460 25918 1010 1459 0 24992 0
Current children cumulated CPU time (s) 1796.4
Current children cumulated vsize (KiB) 105840
[startup+1796.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7858
/proc/meminfo: memFree=29844184/32873844 swapFree=7388/7388
[pid=7783] ppid=7781 vsize=105840 CPUtime=1796.59 cores=1,3,5,7
/proc/7783/stat : 7783 (scip-2.1.1.4sfi) R 7781 7783 6041 0 -1 4202496 49777 0 0 0 178440 1219 0 0 20 0 1 0 269821171 108380160 25918 33554432000 4194304 10169799 140733232835888 140733232830392 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7783/statm: 26460 25918 1010 1459 0 24992 0
Current children cumulated CPU time (s) 1796.59
Current children cumulated vsize (KiB) 105840
[startup+1797 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7858
/proc/meminfo: memFree=29844184/32873844 swapFree=7388/7388
[pid=7783] ppid=7781 vsize=105840 CPUtime=1796.69 cores=1,3,5,7
/proc/7783/stat : 7783 (scip-2.1.1.4sfi) R 7781 7783 6041 0 -1 4202496 49777 0 0 0 178450 1219 0 0 20 0 1 0 269821171 108380160 25918 33554432000 4194304 10169799 140733232835888 140733232830680 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7783/statm: 26460 25918 1010 1459 0 24992 0
Current children cumulated CPU time (s) 1796.69
Current children cumulated vsize (KiB) 105840
Child status: 0
Real time (s): 1797.06
CPU time (s): 1796.77
CPU user time (s): 1784.57
CPU system time (s): 12.1941
CPU usage (%): 99.9834
Max. virtual memory (cumulated for all children) (KiB): 105840
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1784.57
system time used= 12.1941
maximum resident set size= 111956
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49781
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= 31
involuntary context switches= 1846
runsolver used 3.09153 second user time and 7.9018 second system time
The end