0.89/0.99 c SCIP version 1.1.0.7
0.89/0.99 c LP-Solver SoPlex 1.4.1
0.89/0.99 c user parameter file <scip.set> not found - using default parameters
0.89/0.99 c read problem <HOME/instance-1869102-1245158830.opb>
0.89/0.99 c original problem has 4500 variables (4500 bin, 0 int, 0 impl, 0 cont) and 72413 constraints
1.19/1.20 c start presolving problem
1.19/1.20 c presolving:
2.29/2.32 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 70163 upgd conss, 415692 impls, 0 clqs
2.39/2.47 c (round 2) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 72413 upgd conss, 415692 impls, 0 clqs
7.09/7.13 c (5.8s) probing: 1000/4500 (22.2%) - 0 fixings, 0 aggregations, 18393 implications, 0 bound changes
11.18/11.22 c (9.9s) probing: 2000/4500 (44.4%) - 0 fixings, 0 aggregations, 35514 implications, 0 bound changes
11.18/11.23 c (9.9s) probing: 2001/4500 (44.5%) - 0 fixings, 0 aggregations, 35532 implications, 0 bound changes
11.18/11.23 c (9.9s) probing aborted: 2000/2000 successive useless probings
11.18/11.23 c presolving (3 rounds):
11.18/11.23 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
11.18/11.23 c 547164 implications, 0 cliques
11.18/11.23 c presolved problem has 4500 variables (4500 bin, 0 int, 0 impl, 0 cont) and 72413 constraints
11.18/11.23 c 72413 constraints of type <logicor>
11.18/11.23 c transformed objective value is always integral (scale: 1)
11.18/11.23 c Presolving Time: 9.78
11.18/11.24 c strange?!, PURESAT with obj
11.18/11.24 c -----------------------------------------------------------------------------------------------
11.18/11.24 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
11.18/11.24 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
11.18/11.24 c limits/memory = c 1620
11.18/11.24 c # maximal time in seconds to run
11.18/11.24 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
11.18/11.24 c limits/time = c 1791
11.18/11.24 c # frequency for displaying node information lines
11.18/11.24 c # [type: int, range: [-1,2147483647], default: 100]
11.18/11.24 c display/freq = c 10000
11.18/11.24 c -----------------------------------------------------------------------------------------------
11.18/11.24 c start solving problem
11.18/11.24 c
23.88/23.97 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
23.88/23.97 c 22.6s| 1 | 0 | 2943 | 98M| 0 |2500 |4500 | 72k| 72k|4500 | 72k| 0 | 0 | 0 | 1.250000e+03 | -- | Inf
56.77/56.89 c 55.2s| 1 | 0 | 11183 | 98M| 0 |2463 |4500 | 72k| 72k|4500 | 72k| 37 | 0 | 0 | 1.268500e+03 | -- | Inf
68.06/68.15 c 66.5s| 1 | 0 | 11561 | 98M| 0 |2419 |4500 | 72k| 72k|4500 | 72k| 67 | 0 | 0 | 1.290500e+03 | -- | Inf
81.96/82.04 c 80.4s| 1 | 0 | 11970 | 98M| 0 |2389 |4500 | 72k| 72k|4500 | 72k| 96 | 0 | 0 | 1.305500e+03 | -- | Inf
94.15/94.29 c 92.6s| 1 | 0 | 12339 | 98M| 0 |2349 |4500 | 72k| 72k|4500 | 72k| 126 | 0 | 0 | 1.325500e+03 | -- | Inf
108.55/108.62 c 107s| 1 | 0 | 12820 | 98M| 0 |2320 |4500 | 72k| 72k|4500 | 72k| 155 | 0 | 0 | 1.340000e+03 | -- | Inf
123.45/123.58 c 122s| 1 | 0 | 13298 | 98M| 0 |2283 |4500 | 72k| 72k|4500 | 72k| 185 | 0 | 0 | 1.358500e+03 | -- | Inf
137.84/137.92 c 136s| 1 | 0 | 13662 | 98M| 0 |2253 |4500 | 72k| 72k|4500 | 72k| 213 | 0 | 0 | 1.373500e+03 | -- | Inf
153.34/153.43 c 152s| 1 | 0 | 14224 | 99M| 0 |2226 |4500 | 72k| 72k|4500 | 72k| 240 | 0 | 0 | 1.387000e+03 | -- | Inf
168.83/168.96 c 167s| 1 | 0 | 14698 | 99M| 0 |2200 |4500 | 72k| 72k|4500 | 72k| 268 | 0 | 0 | 1.400000e+03 | -- | Inf
186.22/186.33 c 185s| 1 | 0 | 15407 | 99M| 0 |2180 |4500 | 72k| 72k|4500 | 72k| 299 | 0 | 0 | 1.414500e+03 | -- | Inf
197.53/197.65 c 196s| 1 | 0 | 16336 | 99M| 0 |2147 |4500 | 72k| 72k|4500 | 72k| 338 | 0 | 0 | 1.427500e+03 | -- | Inf
206.92/207.00 c 205s| 1 | 0 | 16892 | 99M| 0 |2128 |4500 | 72k| 72k|4500 | 72k| 364 | 0 | 0 | 1.441167e+03 | -- | Inf
220.92/221.03 c 219s| 1 | 0 | 17928 | 99M| 0 |2100 |4500 | 72k| 72k|4500 | 72k| 400 | 0 | 0 | 1.452167e+03 | -- | Inf
230.72/230.83 c 229s| 1 | 0 | 18569 | 99M| 0 |2079 |4500 | 72k| 72k|4500 | 72k| 427 | 0 | 0 | 1.464250e+03 | -- | Inf
241.21/241.39 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
241.21/241.39 c 240s| 1 | 0 | 19398 | 99M| 0 |2049 |4500 | 72k| 72k|4500 | 72k| 463 | 0 | 0 | 1.478000e+03 | -- | Inf
252.21/252.33 c 250s| 1 | 0 | 20238 | 99M| 0 |2025 |4500 | 72k| 72k|4500 | 72k| 501 | 0 | 0 | 1.491500e+03 | -- | Inf
269.10/269.29 c 267s| 1 | 0 | 21760 | 100M| 0 |1997 |4500 | 72k| 72k|4500 | 72k| 539 | 0 | 0 | 1.504250e+03 | -- | Inf
280.50/280.69 c 279s| 1 | 0 | 22659 | 100M| 0 |1982 |4500 | 72k| 72k|4500 | 72k| 573 | 0 | 0 | 1.515000e+03 | -- | Inf
295.20/295.37 c 293s| 1 | 0 | 23844 | 100M| 0 |1951 |4500 | 72k| 72k|4500 | 72k| 607 | 0 | 0 | 1.526500e+03 | -- | Inf
308.29/308.41 c 306s| 1 | 0 | 25000 | 100M| 0 |1933 |4500 | 72k| 72k|4500 | 73k| 651 | 0 | 0 | 1.542250e+03 | -- | Inf
320.09/320.25 c 318s| 1 | 0 | 25946 | 100M| 0 |1908 |4500 | 72k| 72k|4500 | 73k| 690 | 0 | 0 | 1.551000e+03 | -- | Inf
335.89/336.08 c 334s| 1 | 0 | 27407 | 100M| 0 |1887 |4500 | 72k| 72k|4500 | 73k| 731 | 0 | 0 | 1.560500e+03 | -- | Inf
347.08/347.24 c 345s| 1 | 0 | 28418 | 100M| 0 |1871 |4500 | 72k| 72k|4500 | 73k| 763 | 0 | 0 | 1.567500e+03 | -- | Inf
363.07/363.27 c 361s| 1 | 0 | 29979 | 100M| 0 |1850 |4500 | 72k| 72k|4500 | 73k| 798 | 0 | 0 | 1.578000e+03 | -- | Inf
376.38/376.58 c 375s| 1 | 0 | 31227 | 100M| 0 |1837 |4500 | 72k| 72k|4500 | 73k| 839 | 0 | 0 | 1.589500e+03 | -- | Inf
395.66/395.86 c 394s| 1 | 0 | 32964 | 101M| 0 |1830 |4500 | 72k| 72k|4500 | 73k| 874 | 0 | 0 | 1.595250e+03 | -- | Inf
410.46/410.61 c 409s| 1 | 0 | 34417 | 101M| 0 |1832 |4500 | 72k| 72k|4500 | 73k| 914 | 0 | 0 | 1.603125e+03 | -- | Inf
463.75/463.98 c 462s| 1 | 0 | 39052 | 101M| 0 |1824 |4500 | 72k| 72k|4500 | 73k| 954 | 0 | 0 | 1.608000e+03 | -- | Inf
477.25/477.50 c 475s| 1 | 0 | 40368 | 101M| 0 |1836 |4500 | 72k| 72k|4500 | 73k| 992 | 0 | 0 | 1.612278e+03 | -- | Inf
494.93/495.18 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
494.93/495.18 c 493s| 1 | 0 | 42048 | 101M| 0 |1811 |4500 | 72k| 72k|4500 | 73k|1034 | 0 | 0 | 1.617500e+03 | -- | Inf
512.34/512.58 c 510s| 1 | 0 | 43787 | 101M| 0 |1811 |4500 | 72k| 72k|4500 | 73k|1074 | 0 | 0 | 1.623667e+03 | -- | Inf
535.53/535.73 c 534s| 1 | 0 | 45971 | 101M| 0 |1784 |4500 | 72k| 72k|4500 | 73k|1109 | 0 | 0 | 1.629750e+03 | -- | Inf
551.32/551.53 c 549s| 1 | 0 | 47712 | 101M| 0 |1743 |4500 | 72k| 72k|4500 | 73k|1153 | 0 | 0 | 1.639500e+03 | -- | Inf
579.21/579.43 c 577s| 1 | 0 | 50259 | 102M| 0 |1755 |4500 | 72k| 72k|4500 | 73k|1194 | 0 | 0 | 1.645250e+03 | -- | Inf
597.21/597.47 c 595s| 1 | 0 | 52129 | 102M| 0 |1757 |4500 | 72k| 72k|4500 | 73k|1234 | 0 | 0 | 1.652000e+03 | -- | Inf
636.29/636.54 c 634s| 1 | 0 | 55311 | 102M| 0 |1769 |4500 | 72k| 72k|4500 | 73k|1274 | 0 | 0 | 1.658000e+03 | -- | Inf
678.38/678.65 c 676s| 1 | 0 | 59118 | 102M| 0 |1763 |4500 | 72k| 72k|4500 | 73k|1322 | 0 | 0 | 1.663944e+03 | -- | Inf
698.88/699.17 c 697s| 1 | 0 | 61047 | 102M| 0 |1725 |4500 | 72k| 72k|4500 | 73k|1360 | 0 | 0 | 1.674500e+03 | -- | Inf
738.27/738.53 c 736s| 1 | 0 | 64570 | 103M| 0 |1694 |4500 | 72k| 72k|4500 | 73k|1400 | 0 | 0 | 1.679500e+03 | -- | Inf
763.36/763.67 c 761s| 1 | 0 | 66848 | 103M| 0 |1659 |4500 | 72k| 72k|4500 | 73k|1440 | 0 | 0 | 1.685250e+03 | -- | Inf
841.84/842.13 c 840s| 1 | 0 | 73393 | 103M| 0 |1652 |4500 | 72k| 72k|4500 | 73k|1473 | 0 | 0 | 1.690500e+03 | -- | Inf
895.92/896.28 c 894s| 1 | 0 | 78366 | 103M| 0 |1641 |4500 | 72k| 72k|4500 | 73k|1514 | 0 | 0 | 1.696500e+03 | -- | Inf
912.32/912.68 c 910s| 1 | 0 | 80001 | 103M| 0 |1637 |4500 | 72k| 72k|4500 | 73k|1563 | 0 | 0 | 1.699250e+03 | -- | Inf
932.81/933.11 c 930s| 1 | 0 | 81869 | 103M| 0 |1647 |4500 | 72k| 72k|4500 | 73k|1606 | 0 | 0 | 1.702328e+03 | -- | Inf
964.90/965.21 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
964.90/965.21 c 963s| 1 | 0 | 84709 | 103M| 0 |1627 |4500 | 72k| 72k|4500 | 73k|1645 | 0 | 0 | 1.707336e+03 | -- | Inf
986.99/987.32 c 985s| 1 | 0 | 86630 | 104M| 0 |1632 |4500 | 72k| 72k|4500 | 73k|1692 | 0 | 0 | 1.712248e+03 | -- | Inf
1011.88/1012.25 c 1010s| 1 | 0 | 88914 | 104M| 0 |1588 |4500 | 72k| 72k|4500 | 73k|1735 | 0 | 0 | 1.718386e+03 | -- | Inf
1035.37/1035.70 c 1033s| 1 | 0 | 91030 | 104M| 0 |1614 |4500 | 72k| 72k|4500 | 73k|1775 | 0 | 0 | 1.722250e+03 | -- | Inf
1061.47/1061.80 c 1059s| 1 | 0 | 93298 | 104M| 0 |1632 |4500 | 72k| 72k|4500 | 73k|1823 | 0 | 0 | 1.726799e+03 | -- | Inf
1080.76/1081.13 c 1078s| 1 | 0 | 94983 | 104M| 0 |1595 |4500 | 72k| 72k|4500 | 73k|1872 | 0 | 0 | 1.730875e+03 | -- | Inf
1116.06/1116.45 c 1114s| 1 | 0 | 98032 | 104M| 0 |1614 |4500 | 72k| 72k|4500 | 73k|1910 | 0 | 0 | 1.736225e+03 | -- | Inf
1138.55/1138.90 c 1136s| 1 | 0 | 99933 | 104M| 0 |1617 |4500 | 72k| 72k|4500 | 73k|1954 | 0 | 0 | 1.738521e+03 | -- | Inf
1165.04/1165.45 c 1163s| 1 | 0 |102202 | 105M| 0 |1591 |4500 | 72k| 72k|4500 | 73k|1994 | 0 | 0 | 1.741953e+03 | -- | Inf
1207.53/1207.90 c 1205s| 1 | 0 |105960 | 105M| 0 |1598 |4500 | 72k| 72k|4500 | 73k|2043 | 0 | 0 | 1.747590e+03 | -- | Inf
1244.22/1244.69 c 1242s| 1 | 0 |109146 | 105M| 0 |1587 |4500 | 72k| 72k|4500 | 73k|2084 | 0 | 0 | 1.751258e+03 | -- | Inf
1276.71/1277.11 c 1274s| 1 | 0 |111936 | 105M| 0 |1564 |4500 | 72k| 72k|4500 | 73k|2137 | 0 | 0 | 1.756982e+03 | -- | Inf
1306.00/1306.47 c 1303s| 1 | 0 |114780 | 105M| 0 |1578 |4500 | 72k| 72k|4500 | 73k|2182 | 0 | 0 | 1.761247e+03 | -- | Inf
1349.98/1350.49 c 1347s| 1 | 0 |118586 | 105M| 0 |1552 |4500 | 72k| 72k|4500 | 73k|2229 | 0 | 0 | 1.766742e+03 | -- | Inf
1390.77/1391.24 c 1388s| 1 | 0 |122277 | 106M| 0 |1596 |4500 | 72k| 72k|4500 | 73k|2273 | 0 | 0 | 1.772528e+03 | -- | Inf
1420.97/1421.41 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1420.97/1421.41 c 1418s| 1 | 0 |124779 | 106M| 0 |1571 |4500 | 72k| 72k|4500 | 73k|2319 | 0 | 0 | 1.777128e+03 | -- | Inf
1449.86/1450.35 c 1447s| 1 | 0 |127242 | 106M| 0 |1575 |4500 | 72k| 72k|4500 | 73k|2361 | 0 | 0 | 1.781528e+03 | -- | Inf
1483.75/1484.27 c 1481s| 1 | 0 |130116 | 106M| 0 |1592 |4500 | 72k| 72k|4500 | 73k|2415 | 0 | 0 | 1.785312e+03 | -- | Inf
1628.90/1629.45 c 1626s| 1 | 0 |141761 | 106M| 0 |1532 |4500 | 72k| 72k|4500 | 73k|2464 | 0 | 0 | 1.789945e+03 | -- | Inf
1669.39/1669.99 c 1667s| 1 | 0 |145104 | 107M| 0 |1540 |4500 | 72k| 72k|4500 | 73k|2507 | 0 | 0 | 1.792628e+03 | -- | Inf
1688.99/1689.57 c 1686s| 1 | 0 |146791 | 107M| 0 |1538 |4500 | 72k| 72k|4500 | 73k|2550 | 0 | 0 | 1.797653e+03 | -- | Inf
1746.17/1746.72 c 1743s| 1 | 0 |151681 | 107M| 0 |1537 |4500 | 72k| 72k|4500 | 73k|2596 | 0 | 0 | 1.802545e+03 | -- | Inf
1774.26/1774.87 c 1771s| 1 | 0 |154072 | 107M| 0 |1499 |4500 | 72k| 72k|4500 | 73k|2647 | 0 | 0 | 1.806403e+03 | -- | Inf
1793.95/1794.55 c 1791s| 1 | 0 |155510 | 107M| 0 | - |4500 | 72k| 72k|4500 | 73k|2692 | 0 | 0 | 1.806403e+03 | -- | Inf
1793.95/1794.59 c 1791s| 1 | 2 |155510 | 107M| 0 | - |4500 | 72k| 72k|4500 | 73k|2692 | 0 | 0 | 1.806403e+03 | -- | Inf
1793.95/1794.59 c
1793.95/1794.59 c SCIP Status : solving was interrupted [time limit reached]
1793.95/1794.59 c Solving Time (sec) : 1791.06
1793.95/1794.59 c Solving Nodes : 1
1793.95/1794.59 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1793.95/1794.59 c Dual Bound : +1.80640348525124e+03
1793.95/1794.59 c Gap : infinite
1793.95/1794.59 c NODE 1
1793.95/1794.59 c DUAL BOUND 1806.4
1793.95/1794.59 c PRIMAL BOUND 1e+20
1793.95/1794.59 c GAP 1e+20
1793.95/1794.59 s UNKNOWN
1793.95/1794.59 c SCIP Status : solving was interrupted [time limit reached]
1793.95/1794.59 c Solving Time : 1791.06
1793.95/1794.59 c Original Problem :
1793.95/1794.59 c Problem name : HOME/instance-1869102-1245158830.opb
1793.95/1794.59 c Variables : 4500 (4500 binary, 0 integer, 0 implicit integer, 0 continuous)
1793.95/1794.59 c Constraints : 72413 initial, 72413 maximal
1793.95/1794.59 c Presolved Problem :
1793.95/1794.59 c Problem name : t_HOME/instance-1869102-1245158830.opb
1793.95/1794.59 c Variables : 4500 (4500 binary, 0 integer, 0 implicit integer, 0 continuous)
1793.95/1794.59 c Constraints : 72413 initial, 72413 maximal
1793.95/1794.59 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1793.95/1794.59 c trivial : 0.01 0 0 0 0 0 0 0 0
1793.95/1794.59 c dualfix : 0.00 0 0 0 0 0 0 0 0
1793.95/1794.59 c boundshift : 0.00 0 0 0 0 0 0 0 0
1793.95/1794.59 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1793.95/1794.59 c implics : 0.02 0 0 0 0 0 0 0 0
1793.95/1794.59 c probing : 8.60 0 0 0 0 0 0 0 0
1793.95/1794.59 c logicor : 0.27 0 0 0 0 0 0 0 0
1793.95/1794.59 c root node : - 0 - - 0 - - - -
1793.95/1794.59 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1793.95/1794.59 c integral : 0 0 0 0 0 0 0 0 0 0
1793.95/1794.59 c logicor : 72413 68 4332 0 1 0 0 0 0 0
1793.95/1794.59 c countsols : 0 0 0 0 1 0 0 0 0 0
1793.95/1794.59 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1793.95/1794.59 c integral : 0.00 0.00 0.00 0.00 0.00
1793.95/1794.59 c logicor : 5.10 1.19 3.87 0.00 0.04
1793.95/1794.59 c countsols : 0.00 0.00 0.00 0.00 0.00
1793.95/1794.59 c Propagators : Time Calls Cutoffs DomReds
1793.95/1794.59 c rootredcost : 0.00 0 0 0
1793.95/1794.59 c pseudoobj : 0.05 69 0 0
1793.95/1794.59 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1793.95/1794.59 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1793.95/1794.59 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1793.95/1794.59 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1793.95/1794.59 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1793.95/1794.59 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1793.95/1794.59 c applied globally : - - - 0 0.0 - - -
1793.95/1794.59 c applied locally : - - - 0 0.0 - - -
1793.95/1794.59 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1793.95/1794.59 c cut pool : 0.17 67 - - 776 - (maximal pool size: 4134)
1793.95/1794.59 c redcost : 0.01 68 0 0 0 0
1793.95/1794.59 c impliedbounds : 1.01 68 0 0 0 0
1793.95/1794.59 c intobj : 0.00 0 0 0 0 0
1793.95/1794.59 c gomory : 71.27 68 0 0 34000 0
1793.95/1794.59 c strongcg : 19.24 20 0 0 10000 0
1793.95/1794.59 c cmir : 21.15 10 0 0 0 0
1793.95/1794.59 c flowcover : 20.91 10 0 0 0 0
1793.95/1794.59 c clique : 25.38 68 0 0 633 0
1793.95/1794.59 c zerohalf : 0.00 0 0 0 0 0
1793.95/1794.59 c mcf : 0.22 1 0 0 0 0
1793.95/1794.59 c Pricers : Time Calls Vars
1793.95/1794.59 c problem variables: 0.00 0 0
1793.95/1794.59 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1793.95/1794.59 c relpscost : 0.00 0 0 0 0 0 0
1793.95/1794.59 c pscost : 0.00 0 0 0 0 0 0
1793.95/1794.59 c inference : 0.01 1 0 0 0 0 2
1793.95/1794.59 c mostinf : 0.00 0 0 0 0 0 0
1793.95/1794.59 c leastinf : 0.00 0 0 0 0 0 0
1793.95/1794.59 c fullstrong : 0.00 0 0 0 0 0 0
1793.95/1794.59 c allfullstrong : 0.00 0 0 0 0 0 0
1793.95/1794.59 c random : 0.00 0 0 0 0 0 0
1793.95/1794.59 c Primal Heuristics : Time Calls Found
1793.95/1794.59 c LP solutions : 0.00 - 0
1793.95/1794.59 c pseudo solutions : 0.00 - 0
1793.95/1794.59 c oneopt : 0.00 0 0
1793.95/1794.59 c simplerounding : 0.00 0 0
1793.95/1794.59 c rounding : 1.56 68 0
1793.95/1794.59 c shifting : 86.29 68 0
1793.95/1794.59 c intshifting : 0.00 0 0
1793.95/1794.59 c fixandinfer : 0.00 0 0
1793.95/1794.59 c feaspump : 19.46 1 0
1793.95/1794.59 c coefdiving : 0.00 0 0
1793.95/1794.59 c pscostdiving : 0.00 0 0
1793.95/1794.59 c fracdiving : 0.00 0 0
1793.95/1794.59 c veclendiving : 0.00 0 0
1793.95/1794.59 c intdiving : 0.00 0 0
1793.95/1794.59 c actconsdiving : 0.00 0 0
1793.95/1794.59 c objpscostdiving : 0.00 0 0
1793.95/1794.59 c rootsoldiving : 0.00 0 0
1793.95/1794.59 c linesearchdiving : 0.00 0 0
1793.95/1794.59 c guideddiving : 0.00 0 0
1793.95/1794.59 c octane : 0.00 0 0
1793.95/1794.59 c rens : 0.00 0 0
1793.95/1794.59 c rins : 0.00 0 0
1793.95/1794.59 c localbranching : 0.00 0 0
1793.95/1794.59 c mutation : 0.00 0 0
1793.95/1794.59 c crossover : 0.00 0 0
1793.95/1794.59 c dins : 0.00 0 0
1793.95/1794.59 c LP : Time Calls Iterations Iter/call Iter/sec
1793.95/1794.59 c primal LP : 0.58 0 0 0.00 0.00
1793.95/1794.59 c dual LP : 1509.62 69 147782 2141.77 97.89
1793.95/1794.59 c barrier LP : 0.00 0 0 0.00 -
1793.95/1794.59 c diving/probing LP: 19.00 19 7728 406.74 406.74
1793.95/1794.59 c strong branching : 0.00 0 0 0.00 -
1793.95/1794.59 c (at root node) : - 0 0 0.00 -
1793.95/1794.59 c conflict analysis: 0.00 0 0 0.00 -
1793.95/1794.59 c B&B Tree :
1793.95/1794.59 c number of runs : 1
1793.95/1794.59 c nodes : 1
1793.95/1794.59 c nodes (total) : 1
1793.95/1794.59 c nodes left : 2
1793.95/1794.59 c max depth : 0
1793.95/1794.59 c max depth (total): 0
1793.95/1794.59 c backtracks : 0 (0.0%)
1793.95/1794.59 c delayed cutoffs : 0
1793.95/1794.59 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1793.95/1794.59 c avg switch length: 1.00
1793.95/1794.59 c switching time : 0.00
1793.95/1794.59 c Solution :
1793.95/1794.59 c Solutions found : 0 (0 improvements)
1793.95/1794.59 c Primal Bound : -
1793.95/1794.59 c Dual Bound : +1.80640348525124e+03
1793.95/1794.59 c Gap : infinite
1793.95/1794.59 c Root Dual Bound : +1.80640348525124e+03
1794.35/1794.95 c Time complete: 1794.41.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1869102-1245158830/watcher-1869102-1245158830 -o /tmp/evaluation-result-1869102-1245158830/solver-1869102-1245158830 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1869102-1245158830.opb
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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.01 0.99 0.99 3/64 4300
/proc/meminfo: memFree=1854064/2055920 swapFree=4182572/4192956
[pid=4300] ppid=4298 vsize=4324 CPUtime=0
/proc/4300/stat : 4300 (pbscip.linux.x8) R 4298 4300 4230 0 -1 4194304 479 0 0 0 0 0 0 0 18 0 1 0 183480103 4427776 463 1992294400 4194304 7823515 548682068736 18446744073709551615 7113616 0 0 4096 0 0 0 0 17 1 0 0
/proc/4300/statm: 1082 471 306 886 0 192 0
[startup+0.063511 s]
/proc/loadavg: 1.01 0.99 0.99 3/64 4300
/proc/meminfo: memFree=1854064/2055920 swapFree=4182572/4192956
[pid=4300] ppid=4298 vsize=14792 CPUtime=0.05
/proc/4300/stat : 4300 (pbscip.linux.x8) R 4298 4300 4230 0 -1 4194304 3029 0 0 0 5 0 0 0 18 0 1 0 183480103 15147008 3011 1992294400 4194304 7823515 548682068736 18446744073709551615 4403196 0 0 4096 0 0 0 0 17 1 0 0
/proc/4300/statm: 3698 3011 354 886 0 2808 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 14792
[startup+0.101514 s]
/proc/loadavg: 1.01 0.99 0.99 3/64 4300
/proc/meminfo: memFree=1854064/2055920 swapFree=4182572/4192956
[pid=4300] ppid=4298 vsize=16364 CPUtime=0.09
/proc/4300/stat : 4300 (pbscip.linux.x8) R 4298 4300 4230 0 -1 4194304 3418 0 0 0 8 1 0 0 18 0 1 0 183480103 16756736 3400 1992294400 4194304 7823515 548682068736 18446744073709551615 6957168 0 0 4096 0 0 0 0 17 1 0 0
/proc/4300/statm: 4091 3400 354 886 0 3201 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16364
[startup+0.301542 s]
/proc/loadavg: 1.01 0.99 0.99 3/64 4300
/proc/meminfo: memFree=1854064/2055920 swapFree=4182572/4192956
[pid=4300] ppid=4298 vsize=20984 CPUtime=0.29
/proc/4300/stat : 4300 (pbscip.linux.x8) R 4298 4300 4230 0 -1 4194304 4569 0 0 0 28 1 0 0 19 0 1 0 183480103 21487616 4551 1992294400 4194304 7823515 548682068736 18446744073709551615 6957168 0 0 4096 0 0 0 0 17 1 0 0
/proc/4300/statm: 5246 4551 354 886 0 4356 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20984
[startup+0.701599 s]
/proc/loadavg: 1.01 0.99 0.99 3/64 4300
/proc/meminfo: memFree=1854064/2055920 swapFree=4182572/4192956
[pid=4300] ppid=4298 vsize=31756 CPUtime=0.69
/proc/4300/stat : 4300 (pbscip.linux.x8) R 4298 4300 4230 0 -1 4194304 7289 0 0 0 67 2 0 0 23 0 1 0 183480103 32518144 7271 1992294400 4194304 7823515 548682068736 18446744073709551615 4511625 0 0 4096 0 0 0 0 17 1 0 0
/proc/4300/statm: 7939 7271 354 886 0 7049 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 31756
[startup+1.50172 s]
/proc/loadavg: 1.01 0.99 0.99 2/65 4301
/proc/meminfo: memFree=1816936/2055920 swapFree=4182572/4192956
[pid=4300] ppid=4298 vsize=94552 CPUtime=1.49
/proc/4300/stat : 4300 (pbscip.linux.x8) R 4298 4300 4230 0 -1 4194304 23021 0 0 0 135 14 0 0 25 0 1 0 183480103 96821248 22649 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4300/statm: 23638 22649 418 886 0 22748 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 94552
[startup+3.10194 s]
/proc/loadavg: 1.01 0.99 0.99 2/65 4301
/proc/meminfo: memFree=1729640/2055920 swapFree=4182572/4192956
[pid=4300] ppid=4298 vsize=136992 CPUtime=3.09
/proc/4300/stat : 4300 (pbscip.linux.x8) R 4298 4300 4230 0 -1 4194304 35272 0 0 0 279 30 0 0 25 0 1 0 183480103 140279808 33295 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4300/statm: 34248 33295 439 886 0 33358 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 136992
[startup+6.3014 s]
/proc/loadavg: 1.01 0.99 0.99 2/65 4301
/proc/meminfo: memFree=1722024/2055920 swapFree=4182572/4192956
[pid=4300] ppid=4298 vsize=136992 CPUtime=6.28
/proc/4300/stat : 4300 (pbscip.linux.x8) R 4298 4300 4230 0 -1 4194304 35273 0 0 0 597 31 0 0 25 0 1 0 183480103 140279808 33296 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4300/statm: 34248 33296 440 886 0 33358 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 136992
[startup+12.7013 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 4301
/proc/meminfo: memFree=1660264/2055920 swapFree=4182572/4192956
[pid=4300] ppid=4298 vsize=206800 CPUtime=12.68
/proc/4300/stat : 4300 (pbscip.linux.x8) R 4298 4300 4230 0 -1 4194304 52039 0 0 0 1228 40 0 0 25 0 1 0 183480103 211763200 48916 1992294400 4194304 7823515 548682068736 18446744073709551615 6262598 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4300/statm: 51700 48916 507 886 0 50810 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 206800
[startup+25.5012 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 4301
/proc/meminfo: memFree=1622952/2055920 swapFree=4182572/4192956
[pid=4300] ppid=4298 vsize=249144 CPUtime=25.48
/proc/4300/stat : 4300 (pbscip.linux.x8) R 4298 4300 4230 0 -1 4194304 63161 0 0 0 2504 44 0 0 25 0 1 0 183480103 255123456 58123 1992294400 4194304 7823515 548682068736 18446744073709551615 5398920 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4300/statm: 62286 58123 521 886 0 61396 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 249144
[startup+51.1018 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 4301
/proc/meminfo: memFree=1641320/2055920 swapFree=4182572/4192956
[pid=4300] ppid=4298 vsize=237132 CPUtime=51.07
/proc/4300/stat : 4300 (pbscip.linux.x8) R 4298 4300 4230 0 -1 4194304 64604 0 0 0 5052 55 0 0 25 0 1 0 183480103 242823168 53544 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4300/statm: 59283 53544 539 886 0 58393 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 237132
[startup+102.305 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 4301
/proc/meminfo: memFree=1613800/2055920 swapFree=4182572/4192956
[pid=4300] ppid=4298 vsize=254748 CPUtime=102.26
/proc/4300/stat : 4300 (pbscip.linux.x8) R 4298 4300 4230 0 -1 4194304 72661 0 0 0 10154 72 0 0 25 0 1 0 183480103 260861952 60440 1992294400 4194304 7823515 548682068736 18446744073709551615 5597697 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4300/statm: 63687 60440 553 886 0 62797 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 254748
[startup+162.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 4301
/proc/meminfo: memFree=1612712/2055920 swapFree=4182572/4192956
[pid=4300] ppid=4298 vsize=254748 CPUtime=162.24
/proc/4300/stat : 4300 (pbscip.linux.x8) R 4298 4300 4230 0 -1 4194304 72935 0 0 0 16149 75 0 0 25 0 1 0 183480103 260861952 60714 1992294400 4194304 7823515 548682068736 18446744073709551615 5597699 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4300/statm: 63687 60714 553 886 0 62797 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 254748
[startup+222.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 4301
/proc/meminfo: memFree=1609064/2055920 swapFree=4182572/4192956
[pid=4300] ppid=4298 vsize=257724 CPUtime=222.22
/proc/4300/stat : 4300 (pbscip.linux.x8) R 4298 4300 4230 0 -1 4194304 73834 0 0 0 22142 80 0 0 25 0 1 0 183480103 263909376 61613 1992294400 4194304 7823515 548682068736 18446744073709551615 5398920 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4300/statm: 64431 61613 553 886 0 63541 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 257724
[startup+282.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 4301
/proc/meminfo: memFree=1591912/2055920 swapFree=4182572/4192956
[pid=4300] ppid=4298 vsize=272456 CPUtime=282.21
/proc/4300/stat : 4300 (pbscip.linux.x8) R 4298 4300 4230 0 -1 4194304 78993 0 0 0 28132 89 0 0 25 0 1 0 183480103 278994944 65888 1992294400 4194304 7823515 548682068736 18446744073709551615 5399599 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4300/statm: 68114 65888 553 886 0 67224 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 272456
[startup+342.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 4301
/proc/meminfo: memFree=1590504/2055920 swapFree=4182572/4192956
[pid=4300] ppid=4298 vsize=272456 CPUtime=342.18
/proc/4300/stat : 4300 (pbscip.linux.x8) R 4298 4300 4230 0 -1 4194304 79323 0 0 0 34124 94 0 0 25 0 1 0 183480103 278994944 66218 1992294400 4194304 7823515 548682068736 18446744073709551615 6212422 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4300/statm: 68114 66218 553 886 0 67224 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 272456
[startup+402.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 4301
/proc/meminfo: memFree=1589992/2055920 swapFree=4182572/4192956
[pid=4300] ppid=4298 vsize=272456 CPUtime=402.17
/proc/4300/stat : 4300 (pbscip.linux.x8) R 4298 4300 4230 0 -1 4194304 79453 0 0 0 40117 100 0 0 25 0 1 0 183480103 278994944 66348 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4300/statm: 68114 66348 553 886 0 67224 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 272456
[startup+462.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 4301
/proc/meminfo: memFree=1589544/2055920 swapFree=4182572/4192956
[pid=4300] ppid=4298 vsize=272456 CPUtime=462.14
/proc/4300/stat : 4300 (pbscip.linux.x8) R 4298 4300 4230 0 -1 4194304 79564 0 0 0 46110 104 0 0 25 0 1 0 183480103 278994944 66459 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4300/statm: 68114 66459 553 886 0 67224 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 272456
[startup+522.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 4301
/proc/meminfo: memFree=1589224/2055920 swapFree=4182572/4192956
[pid=4300] ppid=4298 vsize=272456 CPUtime=522.13
/proc/4300/stat : 4300 (pbscip.linux.x8) R 4298 4300 4230 0 -1 4194304 79629 0 0 0 52103 110 0 0 25 0 1 0 183480103 278994944 66524 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4300/statm: 68114 66524 553 886 0 67224 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 272456
[startup+582.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 4301
/proc/meminfo: memFree=1589096/2055920 swapFree=4182572/4192956
[pid=4300] ppid=4298 vsize=272456 CPUtime=582.12
/proc/4300/stat : 4300 (pbscip.linux.x8) R 4298 4300 4230 0 -1 4194304 79650 0 0 0 58097 115 0 0 25 0 1 0 183480103 278994944 66545 1992294400 4194304 7823515 548682068736 18446744073709551615 6211578 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4300/statm: 68114 66545 553 886 0 67224 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 272456
[startup+642.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 4301
/proc/meminfo: memFree=1588968/2055920 swapFree=4182572/4192956
[pid=4300] ppid=4298 vsize=272456 CPUtime=642.1
/proc/4300/stat : 4300 (pbscip.linux.x8) R 4298 4300 4230 0 -1 4194304 79664 0 0 0 64090 120 0 0 25 0 1 0 183480103 278994944 66559 1992294400 4194304 7823515 548682068736 18446744073709551615 6211594 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4300/statm: 68114 66559 553 886 0 67224 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 272456
[startup+702.301 s]
################
# More data... #
################
/proc/meminfo: memFree=1583208/2055920 swapFree=4182572/4192956
[pid=4300] ppid=4298 vsize=277640 CPUtime=1061.97
/proc/4300/stat : 4300 (pbscip.linux.x8) R 4298 4300 4230 0 -1 4194304 81045 0 0 0 106045 152 0 0 25 0 1 0 183480103 284303360 67940 1992294400 4194304 7823515 548682068736 18446744073709551615 5107636 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4300/statm: 69410 67940 553 886 0 68520 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 277640
[startup+1122.3 s]
/proc/loadavg: 1.03 1.01 1.00 2/65 4301
/proc/meminfo: memFree=1583016/2055920 swapFree=4182572/4192956
[pid=4300] ppid=4298 vsize=277640 CPUtime=1121.96
/proc/4300/stat : 4300 (pbscip.linux.x8) R 4298 4300 4230 0 -1 4194304 81077 0 0 0 112039 157 0 0 25 0 1 0 183480103 284303360 67972 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4300/statm: 69410 67972 553 886 0 68520 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 277640
[startup+1182.3 s]
/proc/loadavg: 1.01 1.00 1.00 2/65 4301
/proc/meminfo: memFree=1582952/2055920 swapFree=4182572/4192956
[pid=4300] ppid=4298 vsize=277640 CPUtime=1181.93
/proc/4300/stat : 4300 (pbscip.linux.x8) R 4298 4300 4230 0 -1 4194304 81081 0 0 0 118031 162 0 0 25 0 1 0 183480103 284303360 67976 1992294400 4194304 7823515 548682068736 18446744073709551615 6263180 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4300/statm: 69410 67976 553 886 0 68520 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 277640
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4301
/proc/meminfo: memFree=1582888/2055920 swapFree=4182572/4192956
[pid=4300] ppid=4298 vsize=277640 CPUtime=1241.92
/proc/4300/stat : 4300 (pbscip.linux.x8) R 4298 4300 4230 0 -1 4194304 81081 0 0 0 124026 166 0 0 25 0 1 0 183480103 284303360 67976 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4300/statm: 69410 67976 553 886 0 68520 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 277640
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4301
/proc/meminfo: memFree=1582824/2055920 swapFree=4182572/4192956
[pid=4300] ppid=4298 vsize=277640 CPUtime=1301.91
/proc/4300/stat : 4300 (pbscip.linux.x8) R 4298 4300 4230 0 -1 4194304 81083 0 0 0 130021 170 0 0 25 0 1 0 183480103 284303360 67978 1992294400 4194304 7823515 548682068736 18446744073709551615 6212327 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4300/statm: 69410 67978 553 886 0 68520 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 277640
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4301
/proc/meminfo: memFree=1582696/2055920 swapFree=4182572/4192956
[pid=4300] ppid=4298 vsize=277640 CPUtime=1361.88
/proc/4300/stat : 4300 (pbscip.linux.x8) R 4298 4300 4230 0 -1 4194304 81110 0 0 0 136015 173 0 0 25 0 1 0 183480103 284303360 68005 1992294400 4194304 7823515 548682068736 18446744073709551615 6206177 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4300/statm: 69410 68005 553 886 0 68520 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 277640
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4301
/proc/meminfo: memFree=1582632/2055920 swapFree=4182572/4192956
[pid=4300] ppid=4298 vsize=277640 CPUtime=1421.87
/proc/4300/stat : 4300 (pbscip.linux.x8) R 4298 4300 4230 0 -1 4194304 81110 0 0 0 142009 178 0 0 25 0 1 0 183480103 284303360 68005 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4300/statm: 69410 68005 553 886 0 68520 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 277640
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4303
/proc/meminfo: memFree=1580904/2055920 swapFree=4182572/4192956
[pid=4300] ppid=4298 vsize=279136 CPUtime=1481.84
/proc/4300/stat : 4300 (pbscip.linux.x8) R 4298 4300 4230 0 -1 4194304 81512 0 0 0 148002 182 0 0 25 0 1 0 183480103 285835264 68407 1992294400 4194304 7823515 548682068736 18446744073709551615 6211600 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4300/statm: 69784 68407 553 886 0 68894 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 279136
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4303
/proc/meminfo: memFree=1580904/2055920 swapFree=4182572/4192956
[pid=4300] ppid=4298 vsize=279300 CPUtime=1541.83
/proc/4300/stat : 4300 (pbscip.linux.x8) R 4298 4300 4230 0 -1 4194304 81518 0 0 0 153997 186 0 0 25 0 1 0 183480103 286003200 68413 1992294400 4194304 7823515 548682068736 18446744073709551615 6212556 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4300/statm: 69825 68413 553 886 0 68935 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 279300
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4303
/proc/meminfo: memFree=1580840/2055920 swapFree=4182572/4192956
[pid=4300] ppid=4298 vsize=279300 CPUtime=1601.81
/proc/4300/stat : 4300 (pbscip.linux.x8) R 4298 4300 4230 0 -1 4194304 81518 0 0 0 159991 190 0 0 25 0 1 0 183480103 286003200 68413 1992294400 4194304 7823515 548682068736 18446744073709551615 6211574 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4300/statm: 69825 68413 553 886 0 68935 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 279300
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4303
/proc/meminfo: memFree=1580776/2055920 swapFree=4182572/4192956
[pid=4300] ppid=4298 vsize=279300 CPUtime=1661.8
/proc/4300/stat : 4300 (pbscip.linux.x8) R 4298 4300 4230 0 -1 4194304 81519 0 0 0 165985 195 0 0 25 0 1 0 183480103 286003200 68414 1992294400 4194304 7823515 548682068736 18446744073709551615 6211638 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4300/statm: 69825 68414 553 886 0 68935 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 279300
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4303
/proc/meminfo: memFree=1580776/2055920 swapFree=4182572/4192956
[pid=4300] ppid=4298 vsize=279300 CPUtime=1721.78
/proc/4300/stat : 4300 (pbscip.linux.x8) R 4298 4300 4230 0 -1 4194304 81519 0 0 0 171979 199 0 0 25 0 1 0 183480103 286003200 68414 1992294400 4194304 7823515 548682068736 18446744073709551615 6908052 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4300/statm: 69825 68414 553 886 0 68935 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 279300
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4303
/proc/meminfo: memFree=1580712/2055920 swapFree=4182572/4192956
[pid=4300] ppid=4298 vsize=279300 CPUtime=1781.75
/proc/4300/stat : 4300 (pbscip.linux.x8) R 4298 4300 4230 0 -1 4194304 81520 0 0 0 177972 203 0 0 25 0 1 0 183480103 286003200 68415 1992294400 4194304 7823515 548682068736 18446744073709551615 6908047 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4300/statm: 69825 68415 553 886 0 68935 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 279300
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4303
/proc/meminfo: memFree=1580712/2055920 swapFree=4182572/4192956
[pid=4300] ppid=4298 vsize=279300 CPUtime=1784.96
/proc/4300/stat : 4300 (pbscip.linux.x8) R 4298 4300 4230 0 -1 4194304 81520 0 0 0 178292 204 0 0 25 0 1 0 183480103 286003200 68415 1992294400 4194304 7823515 548682068736 18446744073709551615 6212552 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4300/statm: 69825 68415 553 886 0 68935 0
Current children cumulated CPU time (s) 1784.96
Current children cumulated vsize (KiB) 279300
[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4303
/proc/meminfo: memFree=1580712/2055920 swapFree=4182572/4192956
[pid=4300] ppid=4298 vsize=279300 CPUtime=1791.36
/proc/4300/stat : 4300 (pbscip.linux.x8) R 4298 4300 4230 0 -1 4194304 81520 0 0 0 178932 204 0 0 25 0 1 0 183480103 286003200 68415 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4300/statm: 69825 68415 553 886 0 68935 0
Current children cumulated CPU time (s) 1791.36
Current children cumulated vsize (KiB) 279300
[startup+1793.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4303
/proc/meminfo: memFree=1580712/2055920 swapFree=4182572/4192956
[pid=4300] ppid=4298 vsize=279300 CPUtime=1792.95
/proc/4300/stat : 4300 (pbscip.linux.x8) R 4298 4300 4230 0 -1 4194304 81520 0 0 0 179091 204 0 0 25 0 1 0 183480103 286003200 68415 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4300/statm: 69825 68415 553 886 0 68935 0
Current children cumulated CPU time (s) 1792.95
Current children cumulated vsize (KiB) 279300
[startup+1794.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4303
/proc/meminfo: memFree=1580712/2055920 swapFree=4182572/4192956
[pid=4300] ppid=4298 vsize=279300 CPUtime=1793.75
/proc/4300/stat : 4300 (pbscip.linux.x8) R 4298 4300 4230 0 -1 4194304 81520 0 0 0 179171 204 0 0 25 0 1 0 183480103 286003200 68415 1992294400 4194304 7823515 548682068736 18446744073709551615 6211574 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4300/statm: 69825 68415 553 886 0 68935 0
Current children cumulated CPU time (s) 1793.75
Current children cumulated vsize (KiB) 279300
[startup+1794.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4303
/proc/meminfo: memFree=1580712/2055920 swapFree=4182572/4192956
[pid=4300] ppid=4298 vsize=279300 CPUtime=1794.15
/proc/4300/stat : 4300 (pbscip.linux.x8) R 4298 4300 4230 0 -1 4194304 81525 0 0 0 179211 204 0 0 25 0 1 0 183480103 286003200 68420 1992294400 4194304 7823515 548682068736 18446744073709551615 4302556 0 0 4096 0 0 0 0 17 1 0 0
/proc/4300/statm: 69825 68420 558 886 0 68935 0
Current children cumulated CPU time (s) 1794.15
Current children cumulated vsize (KiB) 279300
[startup+1794.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4303
/proc/meminfo: memFree=1580712/2055920 swapFree=4182572/4192956
[pid=4300] ppid=4298 vsize=210236 CPUtime=1794.35
/proc/4300/stat : 4300 (pbscip.linux.x8) R 4298 4300 4230 0 -1 4194304 81525 0 0 0 179230 205 0 0 25 0 1 0 183480103 215281664 51680 1992294400 4194304 7823515 548682068736 18446744073709551615 5875742 0 0 4096 0 0 0 0 17 1 0 0
/proc/4300/statm: 52559 51680 558 886 0 51669 0
Current children cumulated CPU time (s) 1794.35
Current children cumulated vsize (KiB) 210236
Child status: 0
Real time (s): 1794.96
CPU time (s): 1794.42
CPU user time (s): 1792.33
CPU system time (s): 2.09268
CPU usage (%): 99.97
Max. virtual memory (cumulated for all children) (KiB): 279300
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.33
system time used= 2.09268
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 81530
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= 2
involuntary context switches= 2856
runsolver used 1.48477 second user time and 3.90141 second system time
The end