0.89/0.94 c SCIP version 1.1.0.7
0.89/0.94 c LP-Solver SoPlex 1.4.1
0.89/0.94 c user parameter file <scip.set> not found - using default parameters
0.89/0.94 c read problem <HOME/instance-1869122-1245159573.opb>
0.89/0.94 c original problem has 4250 variables (4250 bin, 0 int, 0 impl, 0 cont) and 68397 constraints
1.10/1.14 c start presolving problem
1.10/1.14 c presolving:
2.20/2.23 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 66272 upgd conss, 392598 impls, 0 clqs
2.29/2.38 c (round 2) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 68397 upgd conss, 392598 impls, 0 clqs
6.89/6.98 c (5.7s) probing: 1000/4250 (23.5%) - 0 fixings, 0 aggregations, 18502 implications, 0 bound changes
10.89/10.97 c (9.7s) probing: 2000/4250 (47.1%) - 0 fixings, 0 aggregations, 35543 implications, 0 bound changes
10.89/10.97 c (9.7s) probing: 2001/4250 (47.1%) - 0 fixings, 0 aggregations, 35563 implications, 0 bound changes
10.89/10.97 c (9.7s) probing aborted: 2000/2000 successive useless probings
10.89/10.97 c presolving (3 rounds):
10.89/10.97 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
10.89/10.97 c 524786 implications, 0 cliques
10.89/10.97 c presolved problem has 4250 variables (4250 bin, 0 int, 0 impl, 0 cont) and 68397 constraints
10.89/10.97 c 68397 constraints of type <logicor>
10.89/10.97 c transformed objective value is always integral (scale: 1)
10.89/10.97 c Presolving Time: 9.57
10.89/10.98 c strange?!, PURESAT with obj
10.89/10.98 c -----------------------------------------------------------------------------------------------
10.89/10.98 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
10.89/10.98 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
10.89/10.98 c limits/memory = c 1620
10.89/10.98 c # maximal time in seconds to run
10.89/10.98 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
10.89/10.98 c limits/time = c 1791
10.89/10.98 c # frequency for displaying node information lines
10.89/10.98 c # [type: int, range: [-1,2147483647], default: 100]
10.89/10.98 c display/freq = c 10000
10.89/10.98 c -----------------------------------------------------------------------------------------------
10.89/10.98 c start solving problem
10.89/10.98 c
21.89/21.96 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
21.89/21.96 c 20.6s| 1 | 0 | 2762 | 93M| 0 |2375 |4250 | 68k| 68k|4250 | 68k| 0 | 0 | 0 | 1.187500e+03 | -- | Inf
50.18/50.26 c 48.7s| 1 | 0 | 10384 | 93M| 0 |2328 |4250 | 68k| 68k|4250 | 68k| 37 | 0 | 0 | 1.211000e+03 | -- | Inf
60.48/60.58 c 59.0s| 1 | 0 | 10789 | 93M| 0 |2276 |4250 | 68k| 68k|4250 | 68k| 71 | 0 | 0 | 1.237000e+03 | -- | Inf
73.27/73.37 c 71.8s| 1 | 0 | 11175 | 93M| 0 |2240 |4250 | 68k| 68k|4250 | 68k| 97 | 0 | 0 | 1.255000e+03 | -- | Inf
86.37/86.42 c 84.8s| 1 | 0 | 11734 | 93M| 0 |2208 |4250 | 68k| 68k|4250 | 68k| 127 | 0 | 0 | 1.271500e+03 | -- | Inf
101.17/101.28 c 99.6s| 1 | 0 | 12264 | 93M| 0 |2189 |4250 | 68k| 68k|4250 | 68k| 153 | 0 | 0 | 1.281500e+03 | -- | Inf
114.66/114.74 c 113s| 1 | 0 | 12777 | 93M| 0 |2165 |4250 | 68k| 68k|4250 | 68k| 180 | 0 | 0 | 1.296000e+03 | -- | Inf
127.36/127.40 c 126s| 1 | 0 | 13225 | 93M| 0 |2123 |4250 | 68k| 68k|4250 | 68k| 207 | 0 | 0 | 1.314500e+03 | -- | Inf
140.86/140.96 c 139s| 1 | 0 | 13689 | 93M| 0 |2092 |4250 | 68k| 68k|4250 | 68k| 229 | 0 | 0 | 1.330000e+03 | -- | Inf
155.86/155.90 c 154s| 1 | 0 | 14175 | 93M| 0 |2076 |4250 | 68k| 68k|4250 | 68k| 254 | 0 | 0 | 1.337000e+03 | -- | Inf
171.65/171.73 c 170s| 1 | 0 | 14780 | 93M| 0 |2060 |4250 | 68k| 68k|4250 | 68k| 283 | 0 | 0 | 1.347000e+03 | -- | Inf
181.84/181.98 c 180s| 1 | 0 | 15652 | 93M| 0 |2034 |4250 | 68k| 68k|4250 | 68k| 321 | 0 | 0 | 1.359500e+03 | -- | Inf
191.64/191.70 c 190s| 1 | 0 | 16492 | 94M| 0 |2010 |4250 | 68k| 68k|4250 | 68k| 352 | 0 | 0 | 1.374000e+03 | -- | Inf
202.05/202.18 c 200s| 1 | 0 | 17346 | 94M| 0 |1986 |4250 | 68k| 68k|4250 | 68k| 384 | 0 | 0 | 1.386500e+03 | -- | Inf
214.45/214.55 c 213s| 1 | 0 | 18467 | 94M| 0 |1961 |4250 | 68k| 68k|4250 | 68k| 415 | 0 | 0 | 1.398250e+03 | -- | Inf
224.34/224.49 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
224.34/224.49 c 223s| 1 | 0 | 19193 | 94M| 0 |1944 |4250 | 68k| 68k|4250 | 68k| 444 | 0 | 0 | 1.408875e+03 | -- | Inf
236.13/236.26 c 234s| 1 | 0 | 20133 | 94M| 0 |1936 |4250 | 68k| 68k|4250 | 68k| 477 | 0 | 0 | 1.417500e+03 | -- | Inf
248.04/248.12 c 246s| 1 | 0 | 21175 | 94M| 0 |1910 |4250 | 68k| 68k|4250 | 68k| 507 | 0 | 0 | 1.425393e+03 | -- | Inf
259.43/259.54 c 258s| 1 | 0 | 22208 | 94M| 0 |1894 |4250 | 68k| 68k|4250 | 68k| 543 | 0 | 0 | 1.436250e+03 | -- | Inf
270.53/270.62 c 269s| 1 | 0 | 23260 | 95M| 0 |1893 |4250 | 68k| 68k|4250 | 68k| 577 | 0 | 0 | 1.444500e+03 | -- | Inf
281.02/281.16 c 279s| 1 | 0 | 24368 | 95M| 0 |1862 |4250 | 68k| 68k|4250 | 68k| 617 | 0 | 0 | 1.457250e+03 | -- | Inf
294.22/294.37 c 292s| 1 | 0 | 25788 | 95M| 0 |1818 |4250 | 68k| 68k|4250 | 69k| 661 | 0 | 0 | 1.473750e+03 | -- | Inf
308.22/308.37 c 306s| 1 | 0 | 27139 | 95M| 0 |1796 |4250 | 68k| 68k|4250 | 69k| 691 | 0 | 0 | 1.481250e+03 | -- | Inf
321.51/321.63 c 320s| 1 | 0 | 28465 | 95M| 0 |1803 |4250 | 68k| 68k|4250 | 68k| 727 | 0 | 0 | 1.488625e+03 | -- | Inf
333.21/333.36 c 331s| 1 | 0 | 29685 | 95M| 0 |1800 |4250 | 68k| 68k|4250 | 69k| 763 | 0 | 0 | 1.495667e+03 | -- | Inf
344.70/344.88 c 343s| 1 | 0 | 30861 | 95M| 0 |1756 |4250 | 68k| 68k|4250 | 69k| 801 | 0 | 0 | 1.508250e+03 | -- | Inf
357.71/357.88 c 356s| 1 | 0 | 32042 | 95M| 0 |1729 |4250 | 68k| 68k|4250 | 69k| 837 | 0 | 0 | 1.518500e+03 | -- | Inf
374.20/374.34 c 372s| 1 | 0 | 33636 | 95M| 0 |1712 |4250 | 68k| 68k|4250 | 69k| 873 | 0 | 0 | 1.524500e+03 | -- | Inf
387.30/387.45 c 385s| 1 | 0 | 34946 | 96M| 0 |1708 |4250 | 68k| 68k|4250 | 69k| 908 | 0 | 0 | 1.529625e+03 | -- | Inf
443.68/443.82 c 442s| 1 | 0 | 40150 | 96M| 0 |1694 |4250 | 68k| 68k|4250 | 69k| 946 | 0 | 0 | 1.537656e+03 | -- | Inf
456.58/456.72 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
456.58/456.72 c 455s| 1 | 0 | 41548 | 96M| 0 |1693 |4250 | 68k| 68k|4250 | 69k| 979 | 0 | 0 | 1.545325e+03 | -- | Inf
468.38/468.50 c 466s| 1 | 0 | 42802 | 96M| 0 |1713 |4250 | 68k| 68k|4250 | 69k|1021 | 0 | 0 | 1.551500e+03 | -- | Inf
491.58/491.75 c 490s| 1 | 0 | 45227 | 96M| 0 |1704 |4250 | 68k| 68k|4250 | 69k|1063 | 0 | 0 | 1.558750e+03 | -- | Inf
525.97/526.15 c 524s| 1 | 0 | 48580 | 96M| 0 |1655 |4250 | 68k| 68k|4250 | 69k|1110 | 0 | 0 | 1.567875e+03 | -- | Inf
538.07/538.22 c 536s| 1 | 0 | 49710 | 96M| 0 |1616 |4250 | 68k| 68k|4250 | 69k|1151 | 0 | 0 | 1.577750e+03 | -- | Inf
576.75/576.92 c 575s| 1 | 0 | 53062 | 96M| 0 |1604 |4250 | 68k| 68k|4250 | 69k|1188 | 0 | 0 | 1.583250e+03 | -- | Inf
606.05/606.29 c 604s| 1 | 0 | 55799 | 97M| 0 |1620 |4250 | 68k| 68k|4250 | 69k|1231 | 0 | 0 | 1.590000e+03 | -- | Inf
626.84/627.00 c 625s| 1 | 0 | 57732 | 97M| 0 |1609 |4250 | 68k| 68k|4250 | 69k|1266 | 0 | 0 | 1.595500e+03 | -- | Inf
652.83/653.05 c 651s| 1 | 0 | 60076 | 97M| 0 |1584 |4250 | 68k| 68k|4250 | 69k|1299 | 0 | 0 | 1.599833e+03 | -- | Inf
674.14/674.33 c 672s| 1 | 0 | 61986 | 97M| 0 |1576 |4250 | 68k| 68k|4250 | 69k|1341 | 0 | 0 | 1.605000e+03 | -- | Inf
691.03/691.22 c 689s| 1 | 0 | 63828 | 97M| 0 |1564 |4250 | 68k| 68k|4250 | 69k|1373 | 0 | 0 | 1.612500e+03 | -- | Inf
720.02/720.26 c 718s| 1 | 0 | 66659 | 97M| 0 |1578 |4250 | 68k| 68k|4250 | 69k|1404 | 0 | 0 | 1.618792e+03 | -- | Inf
732.32/732.55 c 730s| 1 | 0 | 67898 | 97M| 0 |1521 |4250 | 68k| 68k|4250 | 69k|1442 | 0 | 0 | 1.626456e+03 | -- | Inf
756.71/756.91 c 755s| 1 | 0 | 70339 | 98M| 0 |1499 |4250 | 68k| 68k|4250 | 69k|1485 | 0 | 0 | 1.632956e+03 | -- | Inf
772.31/772.51 c 770s| 1 | 0 | 71785 | 98M| 0 |1493 |4250 | 68k| 68k|4250 | 69k|1523 | 0 | 0 | 1.638000e+03 | -- | Inf
793.30/793.55 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
793.30/793.55 c 791s| 1 | 0 | 73837 | 98M| 0 |1486 |4250 | 68k| 68k|4250 | 69k|1557 | 0 | 0 | 1.643917e+03 | -- | Inf
808.69/808.98 c 807s| 1 | 0 | 75249 | 98M| 0 |1517 |4250 | 68k| 68k|4250 | 69k|1595 | 0 | 0 | 1.651750e+03 | -- | Inf
853.59/853.89 c 851s| 1 | 0 | 79046 | 99M| 0 |1482 |4250 | 68k| 68k|4250 | 69k|1629 | 0 | 0 | 1.655750e+03 | -- | Inf
916.87/917.17 c 915s| 1 | 0 | 84512 | 99M| 0 |1511 |4250 | 68k| 68k|4250 | 69k|1664 | 0 | 0 | 1.660250e+03 | -- | Inf
944.26/944.58 c 942s| 1 | 0 | 87104 | 99M| 0 |1452 |4250 | 68k| 68k|4250 | 69k|1715 | 0 | 0 | 1.665625e+03 | -- | Inf
987.75/988.01 c 985s| 1 | 0 | 90774 | 99M| 0 |1473 |4250 | 68k| 68k|4250 | 69k|1755 | 0 | 0 | 1.669444e+03 | -- | Inf
1006.45/1006.77 c 1004s| 1 | 0 | 92655 | 99M| 0 |1484 |4250 | 68k| 68k|4250 | 69k|1799 | 0 | 0 | 1.674455e+03 | -- | Inf
1037.15/1037.42 c 1035s| 1 | 0 | 95385 | 99M| 0 |1441 |4250 | 68k| 68k|4250 | 69k|1834 | 0 | 0 | 1.678583e+03 | -- | Inf
1072.03/1072.35 c 1070s| 1 | 0 | 98362 | 100M| 0 |1457 |4250 | 68k| 68k|4250 | 69k|1871 | 0 | 0 | 1.682864e+03 | -- | Inf
1099.33/1099.65 c 1097s| 1 | 0 |100724 | 100M| 0 |1457 |4250 | 68k| 68k|4250 | 69k|1912 | 0 | 0 | 1.686833e+03 | -- | Inf
1120.72/1121.02 c 1118s| 1 | 0 |102913 | 100M| 0 |1419 |4250 | 68k| 68k|4250 | 69k|1958 | 0 | 0 | 1.689450e+03 | -- | Inf
1146.31/1146.64 c 1144s| 1 | 0 |105423 | 100M| 0 |1427 |4250 | 68k| 68k|4250 | 69k|2006 | 0 | 0 | 1.693417e+03 | -- | Inf
1172.21/1172.55 c 1170s| 1 | 0 |107954 | 100M| 0 |1442 |4250 | 68k| 68k|4250 | 69k|2053 | 0 | 0 | 1.699167e+03 | -- | Inf
1191.60/1191.91 c 1189s| 1 | 0 |109684 | 100M| 0 |1403 |4250 | 68k| 68k|4250 | 69k|2092 | 0 | 0 | 1.705667e+03 | -- | Inf
1209.90/1210.25 c 1207s| 1 | 0 |111403 | 101M| 0 |1384 |4250 | 68k| 68k|4250 | 69k|2128 | 0 | 0 | 1.708182e+03 | -- | Inf
1254.59/1254.98 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1254.59/1254.98 c 1252s| 1 | 0 |115451 | 101M| 0 |1410 |4250 | 68k| 68k|4250 | 69k|2171 | 0 | 0 | 1.712050e+03 | -- | Inf
1270.28/1270.69 c 1268s| 1 | 0 |116964 | 101M| 0 |1422 |4250 | 68k| 68k|4250 | 69k|2219 | 0 | 0 | 1.713800e+03 | -- | Inf
1312.66/1313.01 c 1310s| 1 | 0 |120896 | 101M| 0 |1524 |4250 | 68k| 68k|4250 | 69k|2269 | 0 | 0 | 1.716839e+03 | -- | Inf
1374.86/1375.29 c 1372s| 1 | 0 |126887 | 101M| 0 |1433 |4250 | 68k| 68k|4250 | 69k|2317 | 0 | 0 | 1.720133e+03 | -- | Inf
1410.75/1411.17 c 1408s| 1 | 0 |129961 | 102M| 0 |1436 |4250 | 68k| 68k|4250 | 69k|2368 | 0 | 0 | 1.722764e+03 | -- | Inf
1435.64/1436.03 c 1433s| 1 | 0 |132279 | 102M| 0 |1470 |4250 | 68k| 68k|4250 | 69k|2416 | 0 | 0 | 1.724889e+03 | -- | Inf
1479.43/1479.83 c 1477s| 1 | 0 |136421 | 102M| 0 |1371 |4250 | 68k| 68k|4250 | 69k|2467 | 0 | 0 | 1.727912e+03 | -- | Inf
1503.12/1503.51 c 1500s| 1 | 0 |138798 | 102M| 0 |1418 |4250 | 68k| 68k|4250 | 69k|2526 | 0 | 0 | 1.730113e+03 | -- | Inf
1553.31/1553.77 c 1551s| 1 | 0 |143596 | 103M| 0 |1385 |4250 | 68k| 68k|4250 | 69k|2575 | 0 | 0 | 1.733551e+03 | -- | Inf
1577.80/1578.25 c 1575s| 1 | 0 |145901 | 103M| 0 |1447 |4250 | 68k| 68k|4250 | 69k|2621 | 0 | 0 | 1.736450e+03 | -- | Inf
1620.09/1620.52 c 1617s| 1 | 0 |149692 | 103M| 0 |1475 |4250 | 68k| 68k|4250 | 69k|2667 | 0 | 0 | 1.740506e+03 | -- | Inf
1741.97/1742.50 c 1739s| 1 | 0 |159722 | 103M| 0 |1491 |4250 | 68k| 68k|4250 | 69k|2716 | 0 | 0 | 1.744062e+03 | -- | Inf
1793.85/1794.40 c 1791s| 1 | 0 |164197 | 104M| 0 | - |4250 | 68k| 68k|4250 | 69k|2761 | 0 | 0 | 1.744062e+03 | -- | Inf
1793.95/1794.44 c 1791s| 1 | 2 |164197 | 104M| 0 | - |4250 | 68k| 68k|4250 | 69k|2761 | 0 | 0 | 1.744062e+03 | -- | Inf
1793.95/1794.44 c
1793.95/1794.44 c SCIP Status : solving was interrupted [time limit reached]
1793.95/1794.44 c Solving Time (sec) : 1791.04
1793.95/1794.44 c Solving Nodes : 1
1793.95/1794.44 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1793.95/1794.44 c Dual Bound : +1.74406162464986e+03
1793.95/1794.44 c Gap : infinite
1793.95/1794.44 c NODE 1
1793.95/1794.44 c DUAL BOUND 1744.06
1793.95/1794.44 c PRIMAL BOUND 1e+20
1793.95/1794.44 c GAP 1e+20
1793.95/1794.44 s UNKNOWN
1793.95/1794.44 c SCIP Status : solving was interrupted [time limit reached]
1793.95/1794.44 c Solving Time : 1791.04
1793.95/1794.44 c Original Problem :
1793.95/1794.44 c Problem name : HOME/instance-1869122-1245159573.opb
1793.95/1794.44 c Variables : 4250 (4250 binary, 0 integer, 0 implicit integer, 0 continuous)
1793.95/1794.44 c Constraints : 68397 initial, 68397 maximal
1793.95/1794.44 c Presolved Problem :
1793.95/1794.44 c Problem name : t_HOME/instance-1869122-1245159573.opb
1793.95/1794.44 c Variables : 4250 (4250 binary, 0 integer, 0 implicit integer, 0 continuous)
1793.95/1794.44 c Constraints : 68397 initial, 68397 maximal
1793.95/1794.44 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1793.95/1794.44 c trivial : 0.01 0 0 0 0 0 0 0 0
1793.95/1794.44 c dualfix : 0.00 0 0 0 0 0 0 0 0
1793.95/1794.44 c boundshift : 0.00 0 0 0 0 0 0 0 0
1793.95/1794.44 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1793.95/1794.44 c implics : 0.02 0 0 0 0 0 0 0 0
1793.95/1794.44 c probing : 8.43 0 0 0 0 0 0 0 0
1793.95/1794.44 c logicor : 0.27 0 0 0 0 0 0 0 0
1793.95/1794.44 c root node : - 0 - - 0 - - - -
1793.95/1794.44 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1793.95/1794.44 c integral : 0 0 0 0 0 0 0 0 0 0
1793.95/1794.44 c logicor : 68397 72 4349 0 1 0 0 0 0 0
1793.95/1794.44 c countsols : 0 0 0 0 1 0 0 0 0 0
1793.95/1794.44 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1793.95/1794.44 c integral : 0.00 0.00 0.00 0.00 0.00
1793.95/1794.44 c logicor : 5.21 1.25 3.92 0.00 0.04
1793.95/1794.44 c countsols : 0.00 0.00 0.00 0.00 0.00
1793.95/1794.44 c Propagators : Time Calls Cutoffs DomReds
1793.95/1794.44 c rootredcost : 0.00 0 0 0
1793.95/1794.44 c pseudoobj : 0.03 73 0 0
1793.95/1794.44 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1793.95/1794.44 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1793.95/1794.44 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1793.95/1794.44 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1793.95/1794.44 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1793.95/1794.44 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1793.95/1794.44 c applied globally : - - - 0 0.0 - - -
1793.95/1794.44 c applied locally : - - - 0 0.0 - - -
1793.95/1794.44 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1793.95/1794.44 c cut pool : 0.15 71 - - 877 - (maximal pool size: 4599)
1793.95/1794.44 c redcost : 0.03 72 0 0 0 0
1793.95/1794.44 c impliedbounds : 0.97 72 0 0 0 0
1793.95/1794.44 c intobj : 0.00 0 0 0 0 0
1793.95/1794.44 c gomory : 69.54 72 0 0 36000 0
1793.95/1794.44 c strongcg : 18.32 20 0 0 10000 0
1793.95/1794.44 c cmir : 20.04 10 0 0 0 0
1793.95/1794.44 c flowcover : 20.00 10 0 0 0 0
1793.95/1794.44 c clique : 20.96 72 0 0 668 0
1793.95/1794.44 c zerohalf : 0.00 0 0 0 0 0
1793.95/1794.44 c mcf : 0.21 1 0 0 0 0
1793.95/1794.44 c Pricers : Time Calls Vars
1793.95/1794.44 c problem variables: 0.00 0 0
1793.95/1794.44 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1793.95/1794.44 c relpscost : 0.00 0 0 0 0 0 0
1793.95/1794.44 c pscost : 0.00 0 0 0 0 0 0
1793.95/1794.44 c inference : 0.00 1 0 0 0 0 2
1793.95/1794.44 c mostinf : 0.00 0 0 0 0 0 0
1793.95/1794.44 c leastinf : 0.00 0 0 0 0 0 0
1793.95/1794.44 c fullstrong : 0.00 0 0 0 0 0 0
1793.95/1794.44 c allfullstrong : 0.00 0 0 0 0 0 0
1793.95/1794.44 c random : 0.00 0 0 0 0 0 0
1793.95/1794.44 c Primal Heuristics : Time Calls Found
1793.95/1794.44 c LP solutions : 0.00 - 0
1793.95/1794.44 c pseudo solutions : 0.00 - 0
1793.95/1794.44 c oneopt : 0.00 0 0
1793.95/1794.44 c simplerounding : 0.00 0 0
1793.95/1794.44 c rounding : 1.68 72 0
1793.95/1794.44 c shifting : 77.95 72 0
1793.95/1794.44 c intshifting : 0.00 0 0
1793.95/1794.44 c fixandinfer : 0.00 0 0
1793.95/1794.44 c feaspump : 17.07 1 0
1793.95/1794.44 c coefdiving : 0.00 0 0
1793.95/1794.44 c pscostdiving : 0.00 0 0
1793.95/1794.44 c fracdiving : 0.00 0 0
1793.95/1794.44 c veclendiving : 0.00 0 0
1793.95/1794.44 c intdiving : 0.00 0 0
1793.95/1794.44 c actconsdiving : 0.00 0 0
1793.95/1794.44 c objpscostdiving : 0.00 0 0
1793.95/1794.44 c rootsoldiving : 0.00 0 0
1793.95/1794.44 c linesearchdiving : 0.00 0 0
1793.95/1794.44 c guideddiving : 0.00 0 0
1793.95/1794.44 c octane : 0.00 0 0
1793.95/1794.44 c rens : 0.00 0 0
1793.95/1794.44 c rins : 0.00 0 0
1793.95/1794.44 c localbranching : 0.00 0 0
1793.95/1794.44 c mutation : 0.00 0 0
1793.95/1794.44 c crossover : 0.00 0 0
1793.95/1794.44 c dins : 0.00 0 0
1793.95/1794.44 c LP : Time Calls Iterations Iter/call Iter/sec
1793.95/1794.44 c primal LP : 0.70 0 0 0.00 0.00
1793.95/1794.44 c dual LP : 1529.49 73 157050 2151.37 102.68
1793.95/1794.44 c barrier LP : 0.00 0 0 0.00 -
1793.95/1794.44 c diving/probing LP: 16.64 24 7147 297.79 429.51
1793.95/1794.44 c strong branching : 0.00 0 0 0.00 -
1793.95/1794.44 c (at root node) : - 0 0 0.00 -
1793.95/1794.44 c conflict analysis: 0.00 0 0 0.00 -
1793.95/1794.44 c B&B Tree :
1793.95/1794.44 c number of runs : 1
1793.95/1794.44 c nodes : 1
1793.95/1794.44 c nodes (total) : 1
1793.95/1794.44 c nodes left : 2
1793.95/1794.44 c max depth : 0
1793.95/1794.44 c max depth (total): 0
1793.95/1794.44 c backtracks : 0 (0.0%)
1793.95/1794.44 c delayed cutoffs : 0
1793.95/1794.44 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1793.95/1794.44 c avg switch length: 1.00
1793.95/1794.44 c switching time : 0.00
1793.95/1794.44 c Solution :
1793.95/1794.44 c Solutions found : 0 (0 improvements)
1793.95/1794.44 c Primal Bound : -
1793.95/1794.44 c Dual Bound : +1.74406162464986e+03
1793.95/1794.44 c Gap : infinite
1793.95/1794.44 c Root Dual Bound : +1.74406162464986e+03
1794.25/1794.79 c Time complete: 1794.34.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1869122-1245159573/watcher-1869122-1245159573 -o /tmp/evaluation-result-1869122-1245159573/solver-1869122-1245159573 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1869122-1245159573.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.00 1.00 1.00 3/64 6136
/proc/meminfo: memFree=1913072/2055920 swapFree=4181748/4192956
[pid=6136] ppid=6134 vsize=4328 CPUtime=0
/proc/6136/stat : 6136 (pbscip.linux.x8) R 6134 6136 5864 0 -1 4194304 479 0 0 0 0 0 0 0 18 0 1 0 183557686 4431872 463 1992294400 4194304 7823515 548682068736 18446744073709551615 6863653 0 0 4096 0 0 0 0 17 1 0 0
/proc/6136/statm: 1162 474 307 886 0 272 0
[startup+0.0313521 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 6136
/proc/meminfo: memFree=1913072/2055920 swapFree=4181748/4192956
[pid=6136] ppid=6134 vsize=13268 CPUtime=0.03
/proc/6136/stat : 6136 (pbscip.linux.x8) R 6134 6136 5864 0 -1 4194304 2674 0 0 0 2 1 0 0 18 0 1 0 183557686 13586432 2656 1992294400 4194304 7823515 548682068736 18446744073709551615 6908057 0 0 4096 0 0 0 0 17 1 0 0
/proc/6136/statm: 3317 2656 354 886 0 2427 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13268
[startup+0.101357 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 6136
/proc/meminfo: memFree=1913072/2055920 swapFree=4181748/4192956
[pid=6136] ppid=6134 vsize=16364 CPUtime=0.09
/proc/6136/stat : 6136 (pbscip.linux.x8) R 6134 6136 5864 0 -1 4194304 3418 0 0 0 8 1 0 0 18 0 1 0 183557686 16756736 3400 1992294400 4194304 7823515 548682068736 18446744073709551615 5879390 0 0 4096 0 0 0 0 17 1 0 0
/proc/6136/statm: 4091 3400 354 886 0 3201 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16364
[startup+0.301368 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 6136
/proc/meminfo: memFree=1913072/2055920 swapFree=4181748/4192956
[pid=6136] ppid=6134 vsize=20984 CPUtime=0.29
/proc/6136/stat : 6136 (pbscip.linux.x8) R 6134 6136 5864 0 -1 4194304 4569 0 0 0 27 2 0 0 19 0 1 0 183557686 21487616 4551 1992294400 4194304 7823515 548682068736 18446744073709551615 5537665 0 0 4096 0 0 0 0 17 1 0 0
/proc/6136/statm: 5246 4551 354 886 0 4356 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20984
[startup+0.701394 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 6136
/proc/meminfo: memFree=1913072/2055920 swapFree=4181748/4192956
[pid=6136] ppid=6134 vsize=31756 CPUtime=0.69
/proc/6136/stat : 6136 (pbscip.linux.x8) R 6134 6136 5864 0 -1 4194304 7288 0 0 0 66 3 0 0 22 0 1 0 183557686 32518144 7270 1992294400 4194304 7823515 548682068736 18446744073709551615 4511625 0 0 4096 0 0 0 0 17 1 0 0
/proc/6136/statm: 7939 7270 354 886 0 7049 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 31756
[startup+1.50145 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6137
/proc/meminfo: memFree=1862888/2055920 swapFree=4181748/4192956
[pid=6136] ppid=6134 vsize=93528 CPUtime=1.49
/proc/6136/stat : 6136 (pbscip.linux.x8) R 6134 6136 5864 0 -1 4194304 22722 0 0 0 133 16 0 0 25 0 1 0 183557686 95772672 22350 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6136/statm: 23382 22350 418 886 0 22492 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 93528
[startup+3.10155 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6137
/proc/meminfo: memFree=1793256/2055920 swapFree=4181748/4192956
[pid=6136] ppid=6134 vsize=131752 CPUtime=3.09
/proc/6136/stat : 6136 (pbscip.linux.x8) R 6134 6136 5864 0 -1 4194304 33896 0 0 0 277 32 0 0 25 0 1 0 183557686 134914048 31919 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6136/statm: 32938 31919 440 886 0 32048 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 131752
[startup+6.30176 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6137
/proc/meminfo: memFree=1786480/2055920 swapFree=4181748/4192956
[pid=6136] ppid=6134 vsize=131752 CPUtime=6.29
/proc/6136/stat : 6136 (pbscip.linux.x8) R 6134 6136 5864 0 -1 4194304 33896 0 0 0 595 34 0 0 25 0 1 0 183557686 134914048 31919 1992294400 4194304 7823515 548682068736 18446744073709551615 5102375 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6136/statm: 32938 31919 440 886 0 32048 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 131752
[startup+12.7022 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6137
/proc/meminfo: memFree=1725680/2055920 swapFree=4181748/4192956
[pid=6136] ppid=6134 vsize=202208 CPUtime=12.69
/proc/6136/stat : 6136 (pbscip.linux.x8) R 6134 6136 5864 0 -1 4194304 50693 0 0 0 1227 42 0 0 25 0 1 0 183557686 207060992 47572 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6136/statm: 50552 47572 507 886 0 49662 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 202208
[startup+25.502 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6137
/proc/meminfo: memFree=1697904/2055920 swapFree=4181748/4192956
[pid=6136] ppid=6134 vsize=235300 CPUtime=25.49
/proc/6136/stat : 6136 (pbscip.linux.x8) R 6134 6136 5864 0 -1 4194304 58775 0 0 0 2503 46 0 0 25 0 1 0 183557686 240947200 54145 1992294400 4194304 7823515 548682068736 18446744073709551615 5396707 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6136/statm: 58825 54145 521 886 0 57935 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 235300
[startup+51.1016 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6137
/proc/meminfo: memFree=1685680/2055920 swapFree=4181748/4192956
[pid=6136] ppid=6134 vsize=240912 CPUtime=51.08
/proc/6136/stat : 6136 (pbscip.linux.x8) R 6134 6136 5864 0 -1 4194304 62236 0 0 0 5042 66 0 0 25 0 1 0 183557686 246693888 57266 1992294400 4194304 7823515 548682068736 18446744073709551615 5399145 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6136/statm: 60228 57266 551 886 0 59338 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 240912
[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6137
/proc/meminfo: memFree=1681456/2055920 swapFree=4181748/4192956
[pid=6136] ppid=6134 vsize=240912 CPUtime=102.27
/proc/6136/stat : 6136 (pbscip.linux.x8) R 6134 6136 5864 0 -1 4194304 63279 0 0 0 10155 72 0 0 25 0 1 0 183557686 246693888 58309 1992294400 4194304 7823515 548682068736 18446744073709551615 5400099 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6136/statm: 60228 58309 553 886 0 59338 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 240912
[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6137
/proc/meminfo: memFree=1681392/2055920 swapFree=4181748/4192956
[pid=6136] ppid=6134 vsize=242332 CPUtime=162.25
/proc/6136/stat : 6136 (pbscip.linux.x8) R 6134 6136 5864 0 -1 4194304 63294 0 0 0 16149 76 0 0 25 0 1 0 183557686 248147968 58324 1992294400 4194304 7823515 548682068736 18446744073709551615 5575813 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6136/statm: 60583 58324 553 886 0 59693 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 242332
[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6137
/proc/meminfo: memFree=1678128/2055920 swapFree=4181748/4192956
[pid=6136] ppid=6134 vsize=246332 CPUtime=222.24
/proc/6136/stat : 6136 (pbscip.linux.x8) R 6134 6136 5864 0 -1 4194304 64071 0 0 0 22141 83 0 0 25 0 1 0 183557686 252243968 59101 1992294400 4194304 7823515 548682068736 18446744073709551615 6211030 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6136/statm: 61583 59101 553 886 0 60693 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 246332
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6137
/proc/meminfo: memFree=1663088/2055920 swapFree=4181748/4192956
[pid=6136] ppid=6134 vsize=257612 CPUtime=282.22
/proc/6136/stat : 6136 (pbscip.linux.x8) R 6134 6136 5864 0 -1 4194304 68648 0 0 0 28132 90 0 0 25 0 1 0 183557686 263794688 62843 1992294400 4194304 7823515 548682068736 18446744073709551615 5399157 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6136/statm: 64403 62843 553 886 0 63513 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 257612
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6137
/proc/meminfo: memFree=1662512/2055920 swapFree=4181748/4192956
[pid=6136] ppid=6134 vsize=257612 CPUtime=342.21
/proc/6136/stat : 6136 (pbscip.linux.x8) R 6134 6136 5864 0 -1 4194304 68788 0 0 0 34125 96 0 0 25 0 1 0 183557686 263794688 62983 1992294400 4194304 7823515 548682068736 18446744073709551615 6212077 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6136/statm: 64403 62983 553 886 0 63513 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 257612
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6137
/proc/meminfo: memFree=1654576/2055920 swapFree=4181748/4192956
[pid=6136] ppid=6134 vsize=266240 CPUtime=402.19
/proc/6136/stat : 6136 (pbscip.linux.x8) R 6134 6136 5864 0 -1 4194304 70744 0 0 0 40118 101 0 0 25 0 1 0 183557686 272629760 64939 1992294400 4194304 7823515 548682068736 18446744073709551615 5925260 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6136/statm: 66560 64939 553 886 0 65670 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 266240
[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6137
/proc/meminfo: memFree=1654512/2055920 swapFree=4181748/4192956
[pid=6136] ppid=6134 vsize=266240 CPUtime=462.18
/proc/6136/stat : 6136 (pbscip.linux.x8) R 6134 6136 5864 0 -1 4194304 70760 0 0 0 46112 106 0 0 25 0 1 0 183557686 272629760 64955 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6136/statm: 66560 64955 553 886 0 65670 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 266240
[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6137
/proc/meminfo: memFree=1654320/2055920 swapFree=4181748/4192956
[pid=6136] ppid=6134 vsize=266240 CPUtime=522.16
/proc/6136/stat : 6136 (pbscip.linux.x8) R 6134 6136 5864 0 -1 4194304 70787 0 0 0 52105 111 0 0 25 0 1 0 183557686 272629760 64982 1992294400 4194304 7823515 548682068736 18446744073709551615 6212628 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6136/statm: 66560 64982 553 886 0 65670 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 266240
[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6137
/proc/meminfo: memFree=1654192/2055920 swapFree=4181748/4192956
[pid=6136] ppid=6134 vsize=266240 CPUtime=582.16
/proc/6136/stat : 6136 (pbscip.linux.x8) R 6134 6136 5864 0 -1 4194304 70817 0 0 0 58100 116 0 0 25 0 1 0 183557686 272629760 65012 1992294400 4194304 7823515 548682068736 18446744073709551615 6242865 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6136/statm: 66560 65012 553 886 0 65670 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 266240
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6137
/proc/meminfo: memFree=1654064/2055920 swapFree=4181748/4192956
[pid=6136] ppid=6134 vsize=266240 CPUtime=642.14
/proc/6136/stat : 6136 (pbscip.linux.x8) R 6134 6136 5864 0 -1 4194304 70835 0 0 0 64093 121 0 0 25 0 1 0 183557686 272629760 65030 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6136/statm: 66560 65030 553 886 0 65670 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 266240
[startup+702.302 s]
################
# More data... #
################
/proc/meminfo: memFree=1653488/2055920 swapFree=4181748/4192956
[pid=6136] ppid=6134 vsize=266240 CPUtime=1062.04
/proc/6136/stat : 6136 (pbscip.linux.x8) R 6134 6136 5864 0 -1 4194304 70902 0 0 0 106053 151 0 0 25 0 1 0 183557686 272629760 65097 1992294400 4194304 7823515 548682068736 18446744073709551615 6211711 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6136/statm: 66560 65097 553 886 0 65670 0
Current children cumulated CPU time (s) 1062.04
Current children cumulated vsize (KiB) 266240
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6139
/proc/meminfo: memFree=1653424/2055920 swapFree=4181748/4192956
[pid=6136] ppid=6134 vsize=266240 CPUtime=1122.02
/proc/6136/stat : 6136 (pbscip.linux.x8) R 6134 6136 5864 0 -1 4194304 70905 0 0 0 112047 155 0 0 25 0 1 0 183557686 272629760 65100 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6136/statm: 66560 65100 553 886 0 65670 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 266240
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6139
/proc/meminfo: memFree=1653360/2055920 swapFree=4181748/4192956
[pid=6136] ppid=6134 vsize=266240 CPUtime=1182.01
/proc/6136/stat : 6136 (pbscip.linux.x8) R 6134 6136 5864 0 -1 4194304 70910 0 0 0 118042 159 0 0 25 0 1 0 183557686 272629760 65105 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6136/statm: 66560 65105 553 886 0 65670 0
Current children cumulated CPU time (s) 1182.01
Current children cumulated vsize (KiB) 266240
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6139
/proc/meminfo: memFree=1653296/2055920 swapFree=4181748/4192956
[pid=6136] ppid=6134 vsize=266240 CPUtime=1241.99
/proc/6136/stat : 6136 (pbscip.linux.x8) R 6134 6136 5864 0 -1 4194304 70917 0 0 0 124036 163 0 0 25 0 1 0 183557686 272629760 65112 1992294400 4194304 7823515 548682068736 18446744073709551615 5924537 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6136/statm: 66560 65112 553 886 0 65670 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 266240
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6145
/proc/meminfo: memFree=1652976/2055920 swapFree=4181748/4192956
[pid=6136] ppid=6134 vsize=266240 CPUtime=1301.98
/proc/6136/stat : 6136 (pbscip.linux.x8) R 6134 6136 5864 0 -1 4194304 70921 0 0 0 130030 168 0 0 25 0 1 0 183557686 272629760 65116 1992294400 4194304 7823515 548682068736 18446744073709551615 6212291 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6136/statm: 66560 65116 553 886 0 65670 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 266240
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6145
/proc/meminfo: memFree=1648176/2055920 swapFree=4181748/4192956
[pid=6136] ppid=6134 vsize=274436 CPUtime=1361.95
/proc/6136/stat : 6136 (pbscip.linux.x8) R 6134 6136 5864 0 -1 4194304 72151 0 0 0 136021 174 0 0 25 0 1 0 183557686 281022464 66346 1992294400 4194304 7823515 548682068736 18446744073709551615 6151351 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6136/statm: 68609 66346 553 886 0 67719 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 274436
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6145
/proc/meminfo: memFree=1648112/2055920 swapFree=4181748/4192956
[pid=6136] ppid=6134 vsize=274436 CPUtime=1421.95
/proc/6136/stat : 6136 (pbscip.linux.x8) R 6134 6136 5864 0 -1 4194304 72156 0 0 0 142015 180 0 0 25 0 1 0 183557686 281022464 66351 1992294400 4194304 7823515 548682068736 18446744073709551615 6908072 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6136/statm: 68609 66351 553 886 0 67719 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 274436
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6145
/proc/meminfo: memFree=1648048/2055920 swapFree=4181748/4192956
[pid=6136] ppid=6134 vsize=274436 CPUtime=1481.92
/proc/6136/stat : 6136 (pbscip.linux.x8) R 6134 6136 5864 0 -1 4194304 72161 0 0 0 148008 184 0 0 25 0 1 0 183557686 281022464 66356 1992294400 4194304 7823515 548682068736 18446744073709551615 6205839 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6136/statm: 68609 66356 553 886 0 67719 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 274436
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6145
/proc/meminfo: memFree=1647984/2055920 swapFree=4181748/4192956
[pid=6136] ppid=6134 vsize=274436 CPUtime=1541.91
/proc/6136/stat : 6136 (pbscip.linux.x8) R 6134 6136 5864 0 -1 4194304 72163 0 0 0 154003 188 0 0 25 0 1 0 183557686 281022464 66358 1992294400 4194304 7823515 548682068736 18446744073709551615 6908072 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6136/statm: 68609 66358 553 886 0 67719 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 274436
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6145
/proc/meminfo: memFree=1647920/2055920 swapFree=4181748/4192956
[pid=6136] ppid=6134 vsize=274436 CPUtime=1601.9
/proc/6136/stat : 6136 (pbscip.linux.x8) R 6134 6136 5864 0 -1 4194304 72169 0 0 0 159998 192 0 0 25 0 1 0 183557686 281022464 66364 1992294400 4194304 7823515 548682068736 18446744073709551615 6908067 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6136/statm: 68609 66364 553 886 0 67719 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 274436
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6145
/proc/meminfo: memFree=1647856/2055920 swapFree=4181748/4192956
[pid=6136] ppid=6134 vsize=274436 CPUtime=1661.88
/proc/6136/stat : 6136 (pbscip.linux.x8) R 6134 6136 5864 0 -1 4194304 72175 0 0 0 165991 197 0 0 25 0 1 0 183557686 281022464 66370 1992294400 4194304 7823515 548682068736 18446744073709551615 6212771 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6136/statm: 68609 66370 553 886 0 67719 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 274436
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6145
/proc/meminfo: memFree=1647856/2055920 swapFree=4181748/4192956
[pid=6136] ppid=6134 vsize=274436 CPUtime=1721.87
/proc/6136/stat : 6136 (pbscip.linux.x8) R 6134 6136 5864 0 -1 4194304 72175 0 0 0 171987 200 0 0 25 0 1 0 183557686 281022464 66370 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6136/statm: 68609 66370 553 886 0 67719 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 274436
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6145
/proc/meminfo: memFree=1647792/2055920 swapFree=4181748/4192956
[pid=6136] ppid=6134 vsize=274436 CPUtime=1781.86
/proc/6136/stat : 6136 (pbscip.linux.x8) R 6134 6136 5864 0 -1 4194304 72177 0 0 0 177982 204 0 0 25 0 1 0 183557686 281022464 66372 1992294400 4194304 7823515 548682068736 18446744073709551615 6211728 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6136/statm: 68609 66372 553 886 0 67719 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 274436
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 6145
/proc/meminfo: memFree=1647792/2055920 swapFree=4181748/4192956
[pid=6136] ppid=6134 vsize=274436 CPUtime=1785.05
/proc/6136/stat : 6136 (pbscip.linux.x8) R 6134 6136 5864 0 -1 4194304 72177 0 0 0 178301 204 0 0 25 0 1 0 183557686 281022464 66372 1992294400 4194304 7823515 548682068736 18446744073709551615 6215064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6136/statm: 68609 66372 553 886 0 67719 0
Current children cumulated CPU time (s) 1785.05
Current children cumulated vsize (KiB) 274436
[startup+1788.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6145
/proc/meminfo: memFree=1647792/2055920 swapFree=4181748/4192956
[pid=6136] ppid=6134 vsize=274436 CPUtime=1788.25
/proc/6136/stat : 6136 (pbscip.linux.x8) R 6134 6136 5864 0 -1 4194304 72177 0 0 0 178621 204 0 0 25 0 1 0 183557686 281022464 66372 1992294400 4194304 7823515 548682068736 18446744073709551615 6212306 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6136/statm: 68609 66372 553 886 0 67719 0
Current children cumulated CPU time (s) 1788.25
Current children cumulated vsize (KiB) 274436
[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6145
/proc/meminfo: memFree=1647792/2055920 swapFree=4181748/4192956
[pid=6136] ppid=6134 vsize=274436 CPUtime=1791.46
/proc/6136/stat : 6136 (pbscip.linux.x8) R 6134 6136 5864 0 -1 4194304 72177 0 0 0 178941 205 0 0 25 0 1 0 183557686 281022464 66372 1992294400 4194304 7823515 548682068736 18446744073709551615 6908072 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6136/statm: 68609 66372 553 886 0 67719 0
Current children cumulated CPU time (s) 1791.46
Current children cumulated vsize (KiB) 274436
[startup+1793.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6145
/proc/meminfo: memFree=1647792/2055920 swapFree=4181748/4192956
[pid=6136] ppid=6134 vsize=274436 CPUtime=1793.05
/proc/6136/stat : 6136 (pbscip.linux.x8) R 6134 6136 5864 0 -1 4194304 72177 0 0 0 179100 205 0 0 25 0 1 0 183557686 281022464 66372 1992294400 4194304 7823515 548682068736 18446744073709551615 6211274 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6136/statm: 68609 66372 553 886 0 67719 0
Current children cumulated CPU time (s) 1793.05
Current children cumulated vsize (KiB) 274436
[startup+1794.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6145
/proc/meminfo: memFree=1647792/2055920 swapFree=4181748/4192956
[pid=6136] ppid=6134 vsize=274436 CPUtime=1793.85
/proc/6136/stat : 6136 (pbscip.linux.x8) R 6134 6136 5864 0 -1 4194304 72177 0 0 0 179180 205 0 0 25 0 1 0 183557686 281022464 66372 1992294400 4194304 7823515 548682068736 18446744073709551615 6212418 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6136/statm: 68609 66372 553 886 0 67719 0
Current children cumulated CPU time (s) 1793.85
Current children cumulated vsize (KiB) 274436
[startup+1794.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6145
/proc/meminfo: memFree=1647792/2055920 swapFree=4181748/4192956
[pid=6136] ppid=6134 vsize=274436 CPUtime=1794.25
/proc/6136/stat : 6136 (pbscip.linux.x8) R 6134 6136 5864 0 -1 4194304 72182 0 0 0 179220 205 0 0 25 0 1 0 183557686 281022464 66377 1992294400 4194304 7823515 548682068736 18446744073709551615 5875083 0 0 4096 0 0 0 0 17 1 0 0
/proc/6136/statm: 68609 66377 558 886 0 67719 0
Current children cumulated CPU time (s) 1794.25
Current children cumulated vsize (KiB) 274436
Child status: 0
Real time (s): 1794.79
CPU time (s): 1794.35
CPU user time (s): 1792.25
CPU system time (s): 2.09868
CPU usage (%): 99.9755
Max. virtual memory (cumulated for all children) (KiB): 274436
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.25
system time used= 2.09868
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 72187
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= 3
involuntary context switches= 2772
runsolver used 1.47178 second user time and 3.9554 second system time
The end