0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
0.00/0.00 c Copyright (c) 2002-2010 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-2703443-1278554571.opb>
0.89/0.97 c original problem has 4250 variables (4250 bin, 0 int, 0 impl, 0 cont) and 68397 constraints
0.89/0.97 c problem read
0.89/0.97 c presolving settings loaded
1.19/1.21 c presolving:
2.10/2.20 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.39/2.40 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
39.58/39.62 c (38.6s) probing: 1000/4250 (23.5%) - 0 fixings, 0 aggregations, 18502 implications, 0 bound changes
80.17/80.28 c (79.3s) probing: 2000/4250 (47.1%) - 0 fixings, 0 aggregations, 35543 implications, 0 bound changes
80.27/80.32 c (79.3s) probing: 2001/4250 (47.1%) - 0 fixings, 0 aggregations, 35563 implications, 0 bound changes
80.27/80.32 c (79.3s) probing aborted: 2000/2000 successive useless probings
80.27/80.32 c presolving (3 rounds):
80.27/80.32 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
80.27/80.32 c 524786 implications, 0 cliques
80.27/80.32 c presolved problem has 4250 variables (4250 bin, 0 int, 0 impl, 0 cont) and 68397 constraints
80.27/80.32 c 68272 constraints of type <setppc>
80.27/80.32 c 125 constraints of type <logicor>
80.27/80.32 c transformed objective value is always integral (scale: 1)
80.27/80.32 c Presolving Time: 79.16
80.27/80.32 c - non default parameters ----------------------------------------------------------------------
80.27/80.32 c # SCIP version 1.2.1.3
80.27/80.32 c
80.27/80.32 c # frequency for displaying node information lines
80.27/80.32 c # [type: int, range: [-1,2147483647], default: 100]
80.27/80.32 c display/freq = 10000
80.27/80.32 c
80.27/80.32 c # maximal time in seconds to run
80.27/80.32 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
80.27/80.32 c limits/time = 1789.04
80.27/80.32 c
80.27/80.32 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
80.27/80.32 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
80.27/80.32 c limits/memory = 1620
80.27/80.32 c
80.27/80.32 c # default clock type (1: CPU user seconds, 2: wall clock time)
80.27/80.32 c # [type: int, range: [1,2], default: 1]
80.27/80.32 c timing/clocktype = 2
80.27/80.32 c
80.27/80.32 c # should presolving try to simplify inequalities
80.27/80.32 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
80.27/80.32 c constraints/linear/simplifyinequalities = TRUE
80.27/80.32 c
80.27/80.32 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
80.27/80.32 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
80.27/80.32 c constraints/indicator/addCouplingCons = TRUE
80.27/80.32 c
80.27/80.32 c # should presolving try to simplify knapsacks
80.27/80.32 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
80.27/80.32 c constraints/knapsack/simplifyinequalities = TRUE
80.27/80.32 c
80.27/80.32 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
80.27/80.32 c # [type: int, range: [-1,2147483647], default: -1]
80.27/80.32 c separating/rapidlearning/freq = 0
80.27/80.32 c
80.27/80.32 c -----------------------------------------------------------------------------------------------
80.27/80.32 c start solving
80.27/80.33 c
90.96/91.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
90.96/91.07 c 90.1s| 1 | 0 | 2747 | - | 95M| 0 |2375 |4250 | 68k|4250 | 68k| 0 | 0 | 0 | 1.187500e+03 | -- | Inf
117.76/117.87 c 117s| 1 | 0 | 10264 | - | 95M| 0 |2328 |4250 | 68k|4250 | 68k| 37 | 0 | 0 | 1.211000e+03 | -- | Inf
126.56/126.63 c 126s| 1 | 0 | 10502 | - | 95M| 0 |2287 |4250 | 68k|4250 | 68k| 61 | 0 | 0 | 1.231500e+03 | -- | Inf
137.25/137.34 c 136s| 1 | 0 | 10979 | - | 95M| 0 |2252 |4250 | 68k|4250 | 68k| 94 | 0 | 0 | 1.249000e+03 | -- | Inf
149.05/149.16 c 148s| 1 | 0 | 11428 | - | 95M| 0 |2215 |4250 | 68k|4250 | 68k| 123 | 0 | 0 | 1.269000e+03 | -- | Inf
161.15/161.29 c 160s| 1 | 0 | 11863 | - | 95M| 0 |2178 |4250 | 68k|4250 | 68k| 150 | 0 | 0 | 1.286429e+03 | -- | Inf
174.75/174.89 c 174s| 1 | 0 | 12347 | - | 95M| 0 |2144 |4250 | 68k|4250 | 68k| 177 | 0 | 0 | 1.303000e+03 | -- | Inf
188.14/188.20 c 187s| 1 | 0 | 12863 | - | 95M| 0 |2112 |4250 | 68k|4250 | 68k| 205 | 0 | 0 | 1.319500e+03 | -- | Inf
202.13/202.28 c 201s| 1 | 0 | 13484 | - | 95M| 0 |2078 |4250 | 68k|4250 | 68k| 238 | 0 | 0 | 1.336500e+03 | -- | Inf
217.13/217.21 c 216s| 1 | 0 | 14142 | - | 95M| 0 |2051 |4250 | 68k|4250 | 68k| 270 | 0 | 0 | 1.351500e+03 | -- | Inf
232.93/233.00 c 232s| 1 | 0 | 14933 | - | 95M| 0 |2038 |4250 | 68k|4250 | 68k| 304 | 0 | 0 | 1.361000e+03 | -- | Inf
244.92/245.06 c 244s| 1 | 0 | 15956 | - | 95M| 0 |2017 |4250 | 68k|4250 | 68k| 337 | 0 | 0 | 1.374250e+03 | -- | Inf
255.22/255.34 c 254s| 1 | 0 | 16684 | - | 95M| 0 |1989 |4250 | 68k|4250 | 68k| 368 | 0 | 0 | 1.387500e+03 | -- | Inf
266.62/266.77 c 266s| 1 | 0 | 17642 | - | 96M| 0 |1976 |4250 | 68k|4250 | 68k| 404 | 0 | 0 | 1.397500e+03 | -- | Inf
276.61/276.75 c 276s| 1 | 0 | 18527 | - | 96M| 0 |1953 |4250 | 68k|4250 | 68k| 438 | 0 | 0 | 1.407500e+03 | -- | Inf
287.71/287.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
287.71/287.83 c 287s| 1 | 0 | 19347 | - | 96M| 0 |1937 |4250 | 68k|4250 | 68k| 468 | 0 | 0 | 1.417750e+03 | -- | Inf
301.41/301.51 c 301s| 1 | 0 | 20551 | - | 96M| 0 |1905 |4250 | 68k|4250 | 68k| 502 | 0 | 0 | 1.430500e+03 | -- | Inf
314.81/314.95 c 314s| 1 | 0 | 21787 | - | 96M| 0 |1876 |4250 | 68k|4250 | 68k| 540 | 0 | 0 | 1.444500e+03 | -- | Inf
329.30/329.41 c 328s| 1 | 0 | 23095 | - | 97M| 0 |1860 |4250 | 68k|4250 | 68k| 581 | 0 | 0 | 1.453000e+03 | -- | Inf
347.89/348.06 c 347s| 1 | 0 | 24832 | - | 97M| 0 |1825 |4250 | 68k|4250 | 68k| 626 | 0 | 0 | 1.466667e+03 | -- | Inf
357.99/358.16 c 357s| 1 | 0 | 25645 | - | 97M| 0 |1832 |4250 | 68k|4250 | 69k| 654 | 0 | 0 | 1.476500e+03 | -- | Inf
375.39/375.52 c 375s| 1 | 0 | 27426 | - | 97M| 0 |1802 |4250 | 68k|4250 | 69k| 692 | 0 | 0 | 1.483000e+03 | -- | Inf
401.68/401.87 c 401s| 1 | 0 | 30096 | - | 97M| 0 |1770 |4250 | 68k|4250 | 68k| 724 | 0 | 0 | 1.493000e+03 | -- | Inf
417.88/418.09 c 417s| 1 | 0 | 31816 | - | 97M| 0 |1750 |4250 | 68k|4250 | 69k| 758 | 0 | 0 | 1.503000e+03 | -- | Inf
430.27/430.43 c 429s| 1 | 0 | 33059 | - | 97M| 0 |1754 |4250 | 68k|4250 | 69k| 793 | 0 | 0 | 1.508667e+03 | -- | Inf
453.36/453.55 c 453s| 1 | 0 | 35458 | - | 97M| 0 |1729 |4250 | 68k|4250 | 69k| 838 | 0 | 0 | 1.517667e+03 | -- | Inf
464.86/465.02 c 464s| 1 | 0 | 36569 | - | 97M| 0 |1706 |4250 | 68k|4250 | 69k| 875 | 0 | 0 | 1.525667e+03 | -- | Inf
484.36/484.50 c 484s| 1 | 0 | 38332 | - | 97M| 0 |1699 |4250 | 68k|4250 | 69k| 912 | 0 | 0 | 1.533083e+03 | -- | Inf
501.65/501.81 c 501s| 1 | 0 | 39939 | - | 98M| 0 |1695 |4250 | 68k|4250 | 69k| 941 | 0 | 0 | 1.536500e+03 | -- | Inf
517.15/517.38 c 516s| 1 | 0 | 41505 | - | 98M| 0 |1696 |4250 | 68k|4250 | 69k| 975 | 0 | 0 | 1.543767e+03 | -- | Inf
534.74/534.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
534.74/534.91 c 534s| 1 | 0 | 43209 | - | 98M| 0 |1707 |4250 | 68k|4250 | 69k|1010 | 0 | 0 | 1.549632e+03 | -- | Inf
554.14/554.37 c 553s| 1 | 0 | 45056 | - | 98M| 0 |1663 |4250 | 68k|4250 | 69k|1046 | 0 | 0 | 1.556250e+03 | -- | Inf
636.52/636.75 c 636s| 1 | 0 | 52647 | - | 98M| 0 |1636 |4250 | 68k|4250 | 69k|1081 | 0 | 0 | 1.564750e+03 | -- | Inf
655.00/655.20 c 654s| 1 | 0 | 54621 | - | 98M| 0 |1625 |4250 | 68k|4250 | 69k|1123 | 0 | 0 | 1.574500e+03 | -- | Inf
670.61/670.80 c 670s| 1 | 0 | 56052 | - | 98M| 0 |1606 |4250 | 68k|4250 | 69k|1150 | 0 | 0 | 1.578500e+03 | -- | Inf
698.00/698.20 c 697s| 1 | 0 | 58551 | - | 98M| 0 |1595 |4250 | 68k|4250 | 69k|1184 | 0 | 0 | 1.581000e+03 | -- | Inf
725.39/725.61 c 725s| 1 | 0 | 61223 | - | 99M| 0 |1582 |4250 | 68k|4250 | 69k|1223 | 0 | 0 | 1.587500e+03 | -- | Inf
763.09/763.33 c 762s| 1 | 0 | 64627 | - | 99M| 0 |1601 |4250 | 68k|4250 | 69k|1265 | 0 | 0 | 1.594250e+03 | -- | Inf
783.78/784.05 c 783s| 1 | 0 | 66623 | - | 99M| 0 |1580 |4250 | 68k|4250 | 69k|1306 | 0 | 0 | 1.601500e+03 | -- | Inf
805.77/806.07 c 805s| 1 | 0 | 68634 | - | 99M| 0 |1548 |4250 | 68k|4250 | 69k|1340 | 0 | 0 | 1.608000e+03 | -- | Inf
836.77/837.03 c 836s| 1 | 0 | 71579 | - | 99M| 0 |1551 |4250 | 68k|4250 | 69k|1376 | 0 | 0 | 1.612000e+03 | -- | Inf
850.25/850.59 c 850s| 1 | 0 | 72866 | - | 99M| 0 |1542 |4250 | 68k|4250 | 69k|1414 | 0 | 0 | 1.616750e+03 | -- | Inf
892.94/893.25 c 892s| 1 | 0 | 76762 | - | 99M| 0 |1509 |4250 | 68k|4250 | 69k|1446 | 0 | 0 | 1.621000e+03 | -- | Inf
915.44/915.75 c 915s| 1 | 0 | 78969 | - | 99M| 0 |1507 |4250 | 68k|4250 | 69k|1482 | 0 | 0 | 1.627500e+03 | -- | Inf
930.73/931.02 c 930s| 1 | 0 | 80429 | - | 99M| 0 |1520 |4250 | 68k|4250 | 69k|1521 | 0 | 0 | 1.632667e+03 | -- | Inf
946.43/946.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
946.43/946.72 c 946s| 1 | 0 | 81955 | - | 100M| 0 |1486 |4250 | 68k|4250 | 69k|1567 | 0 | 0 | 1.637750e+03 | -- | Inf
1011.11/1011.47 c 1011s| 1 | 0 | 88023 | - | 100M| 0 |1476 |4250 | 68k|4250 | 69k|1616 | 0 | 0 | 1.644083e+03 | -- | Inf
1031.41/1031.75 c 1031s| 1 | 0 | 89940 | - | 100M| 0 |1498 |4250 | 68k|4250 | 69k|1649 | 0 | 0 | 1.649524e+03 | -- | Inf
1064.20/1064.54 c 1064s| 1 | 0 | 92998 | - | 100M| 0 |1494 |4250 | 68k|4250 | 69k|1689 | 0 | 0 | 1.655333e+03 | -- | Inf
1088.28/1088.60 c 1088s| 1 | 0 | 95286 | - | 100M| 0 |1475 |4250 | 68k|4250 | 69k|1726 | 0 | 0 | 1.661500e+03 | -- | Inf
1104.39/1104.77 c 1104s| 1 | 0 | 97015 | - | 100M| 0 |1452 |4250 | 68k|4250 | 69k|1764 | 0 | 0 | 1.665375e+03 | -- | Inf
1140.68/1141.00 c 1140s| 1 | 0 |100370 | - | 101M| 0 |1466 |4250 | 68k|4250 | 69k|1803 | 0 | 0 | 1.670375e+03 | -- | Inf
1156.47/1156.84 c 1156s| 1 | 0 |101842 | - | 101M| 0 |1453 |4250 | 68k|4250 | 69k|1842 | 0 | 0 | 1.675933e+03 | -- | Inf
1212.15/1212.53 c 1212s| 1 | 0 |106920 | - | 101M| 0 |1405 |4250 | 68k|4250 | 69k|1879 | 0 | 0 | 1.682773e+03 | -- | Inf
1234.25/1234.67 c 1234s| 1 | 0 |109054 | - | 101M| 0 |1473 |4250 | 68k|4250 | 69k|1922 | 0 | 0 | 1.686167e+03 | -- | Inf
1256.34/1256.75 c 1256s| 1 | 0 |111021 | - | 101M| 0 |1460 |4250 | 68k|4250 | 69k|1968 | 0 | 0 | 1.690250e+03 | -- | Inf
1312.53/1312.90 c 1312s| 1 | 0 |115974 | - | 102M| 0 |1477 |4250 | 68k|4250 | 69k|2007 | 0 | 0 | 1.695679e+03 | -- | Inf
1347.13/1347.55 c 1347s| 1 | 0 |119212 | - | 102M| 0 |1478 |4250 | 68k|4250 | 69k|2052 | 0 | 0 | 1.699250e+03 | -- | Inf
1378.21/1378.64 c 1378s| 1 | 0 |122009 | - | 102M| 0 |1448 |4250 | 68k|4250 | 69k|2092 | 0 | 0 | 1.702375e+03 | -- | Inf
1401.70/1402.10 c 1401s| 1 | 0 |124121 | - | 102M| 0 |1424 |4250 | 68k|4250 | 69k|2130 | 0 | 0 | 1.708083e+03 | -- | Inf
1447.49/1447.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1447.49/1447.98 c 1447s| 1 | 0 |128274 | - | 102M| 0 |1455 |4250 | 68k|4250 | 69k|2185 | 0 | 0 | 1.712500e+03 | -- | Inf
1480.38/1480.81 c 1480s| 1 | 0 |131208 | - | 102M| 0 |1417 |4250 | 68k|4250 | 69k|2232 | 0 | 0 | 1.714500e+03 | -- | Inf
1520.78/1521.25 c 1520s| 1 | 0 |134921 | - | 103M| 0 |1381 |4250 | 68k|4250 | 69k|2272 | 0 | 0 | 1.717062e+03 | -- | Inf
1555.86/1556.38 c 1555s| 1 | 0 |138042 | - | 103M| 0 |1416 |4250 | 68k|4250 | 69k|2312 | 0 | 0 | 1.720250e+03 | -- | Inf
1651.74/1652.22 c 1651s| 1 | 0 |146615 | - | 103M| 0 |1404 |4250 | 68k|4250 | 69k|2358 | 0 | 0 | 1.724375e+03 | -- | Inf
1681.62/1682.10 c 1681s| 1 | 0 |149389 | - | 103M| 0 |1454 |4250 | 68k|4250 | 69k|2401 | 0 | 0 | 1.726095e+03 | -- | Inf
1734.90/1735.46 c 1734s| 1 | 0 |154323 | - | 104M| 0 |1463 |4250 | 68k|4250 | 69k|2450 | 0 | 0 | 1.727450e+03 | -- | Inf
1779.00/1779.59 c 1779s| 1 | 0 |158153 | - | 104M| 0 |1431 |4250 | 68k|4250 | 69k|2503 | 0 | 0 | 1.729906e+03 | -- | Inf
1789.49/1790.03 c 1789s| 1 | 0 |158923 | - | 104M| 0 | - |4250 | 68k|4250 | 69k|2554 | 0 | 0 | 1.729906e+03 | -- | Inf
1789.49/1790.09 c 1789s| 1 | 2 |158923 | - | 104M| 0 | - |4250 | 68k|4250 | 69k|2554 | 0 | 0 | 1.729906e+03 | -- | Inf
1789.49/1790.09 c
1789.49/1790.09 c SCIP Status : solving was interrupted [time limit reached]
1789.49/1790.09 c Solving Time (sec) : 1789.12
1789.49/1790.09 c Solving Nodes : 1
1789.49/1790.09 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1789.49/1790.09 c Dual Bound : +1.72990555555556e+03
1789.49/1790.09 c Gap : infinite
1789.49/1790.09 s UNKNOWN
1789.49/1790.09 c SCIP Status : solving was interrupted [time limit reached]
1789.49/1790.09 c Solving Time : 1789.12
1789.49/1790.09 c Original Problem :
1789.49/1790.09 c Problem name : HOME/instance-2703443-1278554571.opb
1789.49/1790.09 c Variables : 4250 (4250 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.49/1790.09 c Constraints : 68397 initial, 68397 maximal
1789.49/1790.09 c Presolved Problem :
1789.49/1790.09 c Problem name : t_HOME/instance-2703443-1278554571.opb
1789.49/1790.09 c Variables : 4250 (4250 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.49/1790.09 c Constraints : 68397 initial, 68397 maximal
1789.49/1790.09 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.49/1790.09 c trivial : 0.00 0 0 0 0 0 0 0 0
1789.49/1790.09 c dualfix : 0.00 0 0 0 0 0 0 0 0
1789.49/1790.09 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.49/1790.09 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.49/1790.09 c implics : 0.01 0 0 0 0 0 0 0 0
1789.49/1790.09 c probing : 77.84 0 0 0 0 0 0 0 0
1789.49/1790.09 c setppc : 0.24 0 0 0 0 0 0 0 0
1789.49/1790.09 c logicor : 0.00 0 0 0 0 0 0 0 0
1789.49/1790.09 c root node : - 0 - - 0 - - - -
1789.49/1790.09 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.49/1790.09 c integral : 0 0 0 0 0 0 0 0 0 0
1789.49/1790.09 c setppc : 68272 68 6001 0 1 0 0 0 0 0
1789.49/1790.09 c logicor : 125 68 644 0 1 0 0 0 0 0
1789.49/1790.09 c countsols : 0 0 0 0 1 0 0 0 0 0
1789.49/1790.09 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.49/1790.09 c integral : 0.00 0.00 0.00 0.00 0.00
1789.49/1790.09 c setppc : 70.96 1.23 69.68 0.00 0.06
1789.49/1790.09 c logicor : 0.14 0.00 0.14 0.00 0.00
1789.49/1790.09 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.49/1790.09 c Propagators : Time Calls Cutoffs DomReds
1789.49/1790.09 c vbounds : 0.00 2 0 0
1789.49/1790.09 c rootredcost : 0.00 0 0 0
1789.49/1790.09 c pseudoobj : 0.04 69 0 0
1789.49/1790.09 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.49/1790.09 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1789.49/1790.09 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1789.49/1790.09 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.49/1790.09 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.49/1790.09 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1789.49/1790.09 c applied globally : - - - 0 0.0 - - -
1789.49/1790.09 c applied locally : - - - 0 0.0 - - -
1789.49/1790.09 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1789.49/1790.09 c cut pool : 0.13 67 - - 812 - (maximal pool size: 4034)
1789.49/1790.09 c redcost : 0.04 68 0 0 0 0
1789.49/1790.09 c impliedbounds : 1.00 68 0 0 0 0
1789.49/1790.09 c intobj : 0.00 0 0 0 0 0
1789.49/1790.09 c cgmip : 0.00 0 0 0 0 0
1789.49/1790.09 c gomory : 63.66 68 0 0 34000 0
1789.49/1790.09 c strongcg : 18.17 20 0 0 10000 0
1789.49/1790.09 c cmir : 18.26 10 0 0 0 0
1789.49/1790.09 c flowcover : 19.46 10 0 0 0 0
1789.49/1790.09 c clique : 17.39 68 0 0 640 0
1789.49/1790.09 c zerohalf : 0.00 0 0 0 0 0
1789.49/1790.09 c mcf : 0.10 1 0 0 0 0
1789.49/1790.09 c rapidlearning : 0.00 0 0 0 0 0
1789.49/1790.09 c Pricers : Time Calls Vars
1789.49/1790.09 c problem variables: 0.00 0 0
1789.49/1790.09 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1789.49/1790.09 c relpscost : 0.00 0 0 0 0 0 0
1789.49/1790.09 c pscost : 0.00 0 0 0 0 0 0
1789.49/1790.09 c inference : 0.00 1 0 0 0 0 2
1789.49/1790.09 c mostinf : 0.00 0 0 0 0 0 0
1789.49/1790.09 c leastinf : 0.00 0 0 0 0 0 0
1789.49/1790.09 c fullstrong : 0.00 0 0 0 0 0 0
1789.49/1790.09 c allfullstrong : 0.00 0 0 0 0 0 0
1789.49/1790.09 c random : 0.00 0 0 0 0 0 0
1789.49/1790.09 c Primal Heuristics : Time Calls Found
1789.49/1790.09 c LP solutions : 0.00 - 0
1789.49/1790.09 c pseudo solutions : 0.00 - 0
1789.49/1790.09 c oneopt : 0.00 0 0
1789.49/1790.09 c trivial : 0.10 2 0
1789.49/1790.09 c simplerounding : 0.00 0 0
1789.49/1790.09 c zirounding : 0.00 0 0
1789.49/1790.09 c rounding : 1.48 68 0
1789.49/1790.09 c shifting : 62.42 68 0
1789.49/1790.09 c intshifting : 0.00 0 0
1789.49/1790.09 c twoopt : 0.00 0 0
1789.49/1790.09 c fixandinfer : 0.00 0 0
1789.49/1790.09 c feaspump : 16.07 1 0
1789.49/1790.09 c coefdiving : 0.00 0 0
1789.49/1790.09 c pscostdiving : 0.00 0 0
1789.49/1790.09 c fracdiving : 0.00 0 0
1789.49/1790.09 c veclendiving : 0.00 0 0
1789.49/1790.09 c intdiving : 0.00 0 0
1789.49/1790.09 c actconsdiving : 0.00 0 0
1789.49/1790.09 c objpscostdiving : 0.00 0 0
1789.49/1790.09 c rootsoldiving : 0.00 0 0
1789.49/1790.09 c linesearchdiving : 0.00 0 0
1789.49/1790.09 c guideddiving : 0.00 0 0
1789.49/1790.09 c octane : 0.00 0 0
1789.49/1790.09 c rens : 0.00 0 0
1789.49/1790.09 c rins : 0.00 0 0
1789.49/1790.09 c localbranching : 0.00 0 0
1789.49/1790.09 c mutation : 0.00 0 0
1789.49/1790.09 c crossover : 0.00 0 0
1789.49/1790.09 c dins : 0.00 0 0
1789.49/1790.09 c undercover : 0.00 0 0
1789.49/1790.09 c nlp : 0.00 0 0
1789.49/1790.09 c trysol : 0.00 0 0
1789.49/1790.09 c LP : Time Calls Iterations Iter/call Iter/sec
1789.49/1790.09 c primal LP : 0.51 0 0 0.00 0.00
1789.49/1790.09 c dual LP : 1487.06 69 151925 2201.81 102.17
1789.49/1790.09 c lex dual LP : 0.00 0 0 0.00 -
1789.49/1790.09 c barrier LP : 0.00 0 0 0.00 -
1789.49/1790.09 c diving/probing LP: 15.66 19 6998 368.32 446.92
1789.49/1790.09 c strong branching : 0.00 0 0 0.00 -
1789.49/1790.09 c (at root node) : - 0 0 0.00 -
1789.49/1790.09 c conflict analysis: 0.00 0 0 0.00 -
1789.49/1790.09 c B&B Tree :
1789.49/1790.09 c number of runs : 1
1789.49/1790.09 c nodes : 1
1789.49/1790.09 c nodes (total) : 1
1789.49/1790.09 c nodes left : 2
1789.49/1790.09 c max depth : 0
1789.49/1790.09 c max depth (total): 0
1789.49/1790.09 c backtracks : 0 (0.0%)
1789.49/1790.09 c delayed cutoffs : 0
1789.49/1790.09 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1789.49/1790.09 c avg switch length: 1.00
1789.49/1790.09 c switching time : 0.00
1789.49/1790.09 c Solution :
1789.49/1790.09 c Solutions found : 0 (0 improvements)
1789.49/1790.09 c Primal Bound : -
1789.49/1790.09 c Dual Bound : +1.72990555555556e+03
1789.49/1790.09 c Gap : infinite
1789.49/1790.09 c Root Dual Bound : +1.72990555555556e+03
1789.49/1790.09 c Root Iterations : 158923
1789.89/1790.49 c Time complete: 1789.98.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2703443-1278554571/watcher-2703443-1278554571 -o /tmp/evaluation-result-2703443-1278554571/solver-2703443-1278554571 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703443-1278554571.opb -t 1800 -m 1800
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.32 1.12 1.03 3/105 31118
/proc/meminfo: memFree=1728648/2059040 swapFree=4139836/4192956
[pid=31118] ppid=31116 vsize=7904 CPUtime=0
/proc/31118/stat : 31118 (pbscip.linux.x8) R 31116 31118 27786 0 -1 4202496 1019 0 0 0 0 0 0 0 20 0 1 0 23663747 8093696 931 1992294400 4194304 8395647 140734861797312 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31118/statm: 1976 940 365 1026 0 946 0
[startup+0.038305 s]
/proc/loadavg: 1.32 1.12 1.03 3/105 31118
/proc/meminfo: memFree=1728648/2059040 swapFree=4139836/4192956
[pid=31118] ppid=31116 vsize=15264 CPUtime=0.02
/proc/31118/stat : 31118 (pbscip.linux.x8) R 31116 31118 27786 0 -1 4202496 3142 0 0 0 2 0 0 0 20 0 1 0 23663747 15630336 3053 1992294400 4194304 8395647 140734861797312 18446744073709551615 7382051 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31118/statm: 3816 3053 393 1026 0 2786 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 15264
[startup+0.101297 s]
/proc/loadavg: 1.32 1.12 1.03 3/105 31118
/proc/meminfo: memFree=1728648/2059040 swapFree=4139836/4192956
[pid=31118] ppid=31116 vsize=18184 CPUtime=0.09
/proc/31118/stat : 31118 (pbscip.linux.x8) R 31116 31118 27786 0 -1 4202496 3841 0 0 0 9 0 0 0 20 0 1 0 23663747 18620416 3752 1992294400 4194304 8395647 140734861797312 18446744073709551615 7301332 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31118/statm: 4546 3752 393 1026 0 3516 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18184
[startup+0.301322 s]
/proc/loadavg: 1.32 1.12 1.03 3/105 31118
/proc/meminfo: memFree=1728648/2059040 swapFree=4139836/4192956
[pid=31118] ppid=31116 vsize=22804 CPUtime=0.29
/proc/31118/stat : 31118 (pbscip.linux.x8) R 31116 31118 27786 0 -1 4202496 4991 0 0 0 28 1 0 0 20 0 1 0 23663747 23351296 4902 1992294400 4194304 8395647 140734861797312 18446744073709551615 5755310 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31118/statm: 5701 4902 393 1026 0 4671 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22804
[startup+0.701373 s]
/proc/loadavg: 1.32 1.12 1.03 3/105 31118
/proc/meminfo: memFree=1728648/2059040 swapFree=4139836/4192956
[pid=31118] ppid=31116 vsize=32740 CPUtime=0.69
/proc/31118/stat : 31118 (pbscip.linux.x8) R 31116 31118 27786 0 -1 4202496 7500 0 0 0 67 2 0 0 20 0 1 0 23663747 33525760 7411 1992294400 4194304 8395647 140734861797312 18446744073709551615 7301280 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31118/statm: 8185 7411 393 1026 0 7155 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 32740
[startup+1.50147 s]
/proc/loadavg: 1.32 1.12 1.03 2/106 31119
/proc/meminfo: memFree=1684124/2059040 swapFree=4139836/4192956
[pid=31118] ppid=31116 vsize=94560 CPUtime=1.5
/proc/31118/stat : 31118 (pbscip.linux.x8) R 31116 31118 27786 0 -1 4202496 22863 0 0 0 143 7 0 0 22 0 1 0 23663747 96829440 22420 1992294400 4194304 8395647 140734861797312 18446744073709551615 6080688 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31118/statm: 23640 22420 463 1026 0 22610 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 94560
[startup+3.10068 s]
/proc/loadavg: 1.32 1.12 1.03 2/106 31119
/proc/meminfo: memFree=1605880/2059040 swapFree=4139836/4192956
[pid=31118] ppid=31116 vsize=138596 CPUtime=3.09
/proc/31118/stat : 31118 (pbscip.linux.x8) R 31116 31118 27786 0 -1 4202496 35451 0 0 0 298 11 0 0 25 0 1 0 23663747 141922304 33403 1992294400 4194304 8395647 140734861797312 18446744073709551615 5210321 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31118/statm: 34649 33403 490 1026 0 33619 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 138596
[startup+6.30108 s]
/proc/loadavg: 1.29 1.12 1.03 2/106 31119
/proc/meminfo: memFree=1595960/2059040 swapFree=4139836/4192956
[pid=31118] ppid=31116 vsize=138596 CPUtime=6.29
/proc/31118/stat : 31118 (pbscip.linux.x8) R 31116 31118 27786 0 -1 4202496 35451 0 0 0 618 11 0 0 25 0 1 0 23663747 141922304 33403 1992294400 4194304 8395647 140734861797312 18446744073709551615 5210321 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31118/statm: 34649 33403 490 1026 0 33619 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 138596
[startup+12.7009 s]
/proc/loadavg: 1.27 1.12 1.03 2/106 31119
/proc/meminfo: memFree=1595960/2059040 swapFree=4139836/4192956
[pid=31118] ppid=31116 vsize=138596 CPUtime=12.68
/proc/31118/stat : 31118 (pbscip.linux.x8) R 31116 31118 27786 0 -1 4202496 35451 0 0 0 1257 11 0 0 25 0 1 0 23663747 141922304 33403 1992294400 4194304 8395647 140734861797312 18446744073709551615 5604422 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31118/statm: 34649 33403 490 1026 0 33619 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 138596
[startup+25.5015 s]
/proc/loadavg: 1.21 1.11 1.03 2/106 31119
/proc/meminfo: memFree=1595960/2059040 swapFree=4139836/4192956
[pid=31118] ppid=31116 vsize=138596 CPUtime=25.48
/proc/31118/stat : 31118 (pbscip.linux.x8) R 31116 31118 27786 0 -1 4202496 35451 0 0 0 2537 11 0 0 25 0 1 0 23663747 141922304 33403 1992294400 4194304 8395647 140734861797312 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31118/statm: 34649 33403 490 1026 0 33619 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 138596
[startup+51.1017 s]
/proc/loadavg: 1.14 1.10 1.03 2/106 31121
/proc/meminfo: memFree=1595960/2059040 swapFree=4139836/4192956
[pid=31118] ppid=31116 vsize=138596 CPUtime=51.07
/proc/31118/stat : 31118 (pbscip.linux.x8) R 31116 31118 27786 0 -1 4202496 35457 0 0 0 5096 11 0 0 25 0 1 0 23663747 141922304 33409 1992294400 4194304 8395647 140734861797312 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31118/statm: 34649 33409 496 1026 0 33619 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 138596
[startup+102.309 s]
/proc/loadavg: 1.06 1.08 1.02 2/106 31121
/proc/meminfo: memFree=1505812/2059040 swapFree=4139836/4192956
[pid=31118] ppid=31116 vsize=235860 CPUtime=102.27
/proc/31118/stat : 31118 (pbscip.linux.x8) R 31116 31118 27786 0 -1 4202496 60810 0 0 0 10203 24 0 0 25 0 1 0 23663747 241520640 56133 1992294400 4194304 8395647 140734861797312 18446744073709551615 6709591 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31118/statm: 58965 56133 640 1026 0 57935 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 235860
[startup+162.302 s]
/proc/loadavg: 1.02 1.07 1.02 2/106 31123
/proc/meminfo: memFree=1497132/2059040 swapFree=4139836/4192956
[pid=31118] ppid=31116 vsize=246020 CPUtime=162.25
/proc/31118/stat : 31118 (pbscip.linux.x8) R 31116 31118 27786 0 -1 4202496 63240 0 0 0 16191 34 0 0 25 0 1 0 23663747 251924480 58341 1992294400 4194304 8395647 140734861797312 18446744073709551615 5540182 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31118/statm: 61505 58341 683 1026 0 60475 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 246020
[startup+222.301 s]
/proc/loadavg: 1.00 1.05 1.01 2/106 31125
/proc/meminfo: memFree=1494032/2059040 swapFree=4139836/4192956
[pid=31118] ppid=31116 vsize=248864 CPUtime=222.23
/proc/31118/stat : 31118 (pbscip.linux.x8) R 31116 31118 27786 0 -1 4202496 64045 0 0 0 22184 39 0 0 25 0 1 0 23663747 254836736 59146 1992294400 4194304 8395647 140734861797312 18446744073709551615 5827857 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31118/statm: 62216 59146 683 1026 0 61186 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 248864
[startup+282.302 s]
/proc/loadavg: 1.00 1.04 1.01 2/106 31127
/proc/meminfo: memFree=1491428/2059040 swapFree=4139836/4192956
[pid=31118] ppid=31116 vsize=249232 CPUtime=282.21
/proc/31118/stat : 31118 (pbscip.linux.x8) R 31116 31118 27786 0 -1 4202496 64693 0 0 0 28174 47 0 0 25 0 1 0 23663747 255213568 59782 1992294400 4194304 8395647 140734861797312 18446744073709551615 6585815 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31118/statm: 62308 59782 671 1026 0 61278 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 249232
[startup+342.301 s]
/proc/loadavg: 1.00 1.03 1.00 2/106 31128
/proc/meminfo: memFree=1477664/2059040 swapFree=4139836/4192956
[pid=31118] ppid=31116 vsize=260064 CPUtime=342.19
/proc/31118/stat : 31118 (pbscip.linux.x8) R 31116 31118 27786 0 -1 4202496 68934 0 0 0 34162 57 0 0 25 0 1 0 23663747 266305536 63529 1992294400 4194304 8395647 140734861797312 18446744073709551615 6698214 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31118/statm: 65016 63529 1012 1026 0 63986 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 260064
[startup+402.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/106 31129
/proc/meminfo: memFree=1477540/2059040 swapFree=4139836/4192956
[pid=31118] ppid=31116 vsize=260064 CPUtime=402.18
/proc/31118/stat : 31118 (pbscip.linux.x8) R 31116 31118 27786 0 -1 4202496 68943 0 0 0 40152 66 0 0 25 0 1 0 23663747 266305536 63536 1992294400 4194304 8395647 140734861797312 18446744073709551615 5540186 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31118/statm: 65016 63536 1010 1026 0 63986 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 260064
[startup+462.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/106 31131
/proc/meminfo: memFree=1477540/2059040 swapFree=4139836/4192956
[pid=31118] ppid=31116 vsize=260064 CPUtime=462.16
/proc/31118/stat : 31118 (pbscip.linux.x8) R 31116 31118 27786 0 -1 4202496 68950 0 0 0 46142 74 0 0 25 0 1 0 23663747 266305536 63539 1992294400 4194304 8395647 140734861797312 18446744073709551615 6696991 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31118/statm: 65016 63539 1006 1026 0 63986 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 260064
[startup+522.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/106 31133
/proc/meminfo: memFree=1477292/2059040 swapFree=4139836/4192956
[pid=31118] ppid=31116 vsize=260064 CPUtime=522.15
/proc/31118/stat : 31118 (pbscip.linux.x8) R 31116 31118 27786 0 -1 4202496 68992 0 0 0 52132 83 0 0 25 0 1 0 23663747 266305536 63540 1992294400 4194304 8395647 140734861797312 18446744073709551615 6636387 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31118/statm: 65016 63540 965 1026 0 63986 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 260064
[startup+582.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/106 31135
/proc/meminfo: memFree=1476548/2059040 swapFree=4139836/4192956
[pid=31118] ppid=31116 vsize=260064 CPUtime=582.13
/proc/31118/stat : 31118 (pbscip.linux.x8) R 31116 31118 27786 0 -1 4202496 69166 0 0 0 58123 90 0 0 25 0 1 0 23663747 266305536 63540 1992294400 4194304 8395647 140734861797312 18446744073709551615 6697246 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31118/statm: 65016 63540 791 1026 0 63986 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 260064
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 31136
/proc/meminfo: memFree=1476300/2059040 swapFree=4139836/4192956
[pid=31118] ppid=31116 vsize=260064 CPUtime=642.12
/proc/31118/stat : 31118 (pbscip.linux.x8) R 31116 31118 27786 0 -1 4202496 69220 0 0 0 64113 99 0 0 25 0 1 0 23663747 266305536 63543 1992294400 4194304 8395647 140734861797312 18446744073709551615 6696971 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31118/statm: 65016 63543 740 1026 0 63986 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 260064
[startup+702.302 s]
################
# More data... #
################
/proc/meminfo: memFree=1475060/2059040 swapFree=4139836/4192956
[pid=31118] ppid=31116 vsize=260064 CPUtime=1062
/proc/31118/stat : 31118 (pbscip.linux.x8) R 31116 31118 27786 0 -1 4202496 69292 0 0 0 106040 160 0 0 25 0 1 0 23663747 266305536 63548 1992294400 4194304 8395647 140734861797312 18446744073709551615 6670348 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31118/statm: 65016 63548 673 1026 0 63986 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 260064
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31152
/proc/meminfo: memFree=1475060/2059040 swapFree=4139836/4192956
[pid=31118] ppid=31116 vsize=260064 CPUtime=1121.98
/proc/31118/stat : 31118 (pbscip.linux.x8) R 31116 31118 27786 0 -1 4202496 69297 0 0 0 112030 168 0 0 25 0 1 0 23663747 266305536 63549 1992294400 4194304 8395647 140734861797312 18446744073709551615 6390516 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31118/statm: 65016 63549 669 1026 0 63986 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 260064
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31154
/proc/meminfo: memFree=1475060/2059040 swapFree=4139836/4192956
[pid=31118] ppid=31116 vsize=260064 CPUtime=1181.97
/proc/31118/stat : 31118 (pbscip.linux.x8) R 31116 31118 27786 0 -1 4202496 69301 0 0 0 118019 178 0 0 25 0 1 0 23663747 266305536 63549 1992294400 4194304 8395647 140734861797312 18446744073709551615 6636342 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31118/statm: 65016 63549 665 1026 0 63986 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 260064
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31156
/proc/meminfo: memFree=1474936/2059040 swapFree=4139836/4192956
[pid=31118] ppid=31116 vsize=260064 CPUtime=1241.95
/proc/31118/stat : 31118 (pbscip.linux.x8) R 31116 31118 27786 0 -1 4202496 69301 0 0 0 124007 188 0 0 25 0 1 0 23663747 266305536 63549 1992294400 4194304 8395647 140734861797312 18446744073709551615 6697258 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31118/statm: 65016 63549 665 1026 0 63986 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 260064
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31156
/proc/meminfo: memFree=1470844/2059040 swapFree=4139836/4192956
[pid=31118] ppid=31116 vsize=264376 CPUtime=1301.94
/proc/31118/stat : 31118 (pbscip.linux.x8) R 31116 31118 27786 0 -1 4202496 70365 0 0 0 129999 195 0 0 25 0 1 0 23663747 270721024 64613 1992294400 4194304 8395647 140734861797312 18446744073709551615 6698055 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31118/statm: 66094 64613 665 1026 0 65064 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 264376
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31158
/proc/meminfo: memFree=1470844/2059040 swapFree=4139836/4192956
[pid=31118] ppid=31116 vsize=264376 CPUtime=1361.91
/proc/31118/stat : 31118 (pbscip.linux.x8) R 31116 31118 27786 0 -1 4202496 70367 0 0 0 135988 203 0 0 25 0 1 0 23663747 270721024 64615 1992294400 4194304 8395647 140734861797312 18446744073709551615 6696767 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31118/statm: 66094 64615 665 1026 0 65064 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 264376
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31160
/proc/meminfo: memFree=1470844/2059040 swapFree=4139836/4192956
[pid=31118] ppid=31116 vsize=264376 CPUtime=1421.91
/proc/31118/stat : 31118 (pbscip.linux.x8) R 31116 31118 27786 0 -1 4202496 70367 0 0 0 141979 212 0 0 25 0 1 0 23663747 270721024 64615 1992294400 4194304 8395647 140734861797312 18446744073709551615 6699159 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31118/statm: 66094 64615 665 1026 0 65064 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 264376
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31162
/proc/meminfo: memFree=1477416/2059040 swapFree=4139836/4192956
[pid=31118] ppid=31116 vsize=261272 CPUtime=1481.88
/proc/31118/stat : 31118 (pbscip.linux.x8) R 31116 31118 27786 0 -1 4202496 73041 0 0 0 147967 221 0 0 25 0 1 0 23663747 267542528 62989 1992294400 4194304 8395647 140734861797312 18446744073709551615 6697446 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31118/statm: 65318 62989 665 1026 0 64288 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 261272
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31164
/proc/meminfo: memFree=1474192/2059040 swapFree=4139836/4192956
[pid=31118] ppid=31116 vsize=261272 CPUtime=1541.86
/proc/31118/stat : 31118 (pbscip.linux.x8) R 31116 31118 27786 0 -1 4202496 73830 0 0 0 153956 230 0 0 25 0 1 0 23663747 267542528 63778 1992294400 4194304 8395647 140734861797312 18446744073709551615 6697060 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31118/statm: 65318 63778 665 1026 0 64288 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 261272
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31164
/proc/meminfo: memFree=1471588/2059040 swapFree=4139836/4192956
[pid=31118] ppid=31116 vsize=263780 CPUtime=1601.85
/proc/31118/stat : 31118 (pbscip.linux.x8) R 31116 31118 27786 0 -1 4202496 74452 0 0 0 159947 238 0 0 25 0 1 0 23663747 270110720 64400 1992294400 4194304 8395647 140734861797312 18446744073709551615 6700421 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31118/statm: 65945 64400 665 1026 0 64915 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 263780
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31166
/proc/meminfo: memFree=1471588/2059040 swapFree=4139836/4192956
[pid=31118] ppid=31116 vsize=263780 CPUtime=1661.83
/proc/31118/stat : 31118 (pbscip.linux.x8) R 31116 31118 27786 0 -1 4202496 74453 0 0 0 165936 247 0 0 25 0 1 0 23663747 270110720 64401 1992294400 4194304 8395647 140734861797312 18446744073709551615 6698043 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31118/statm: 65945 64401 665 1026 0 64915 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 263780
[startup+1722.3 s]
/proc/loadavg: 1.06 1.02 1.00 2/106 31168
/proc/meminfo: memFree=1471464/2059040 swapFree=4139836/4192956
[pid=31118] ppid=31116 vsize=263780 CPUtime=1721.81
/proc/31118/stat : 31118 (pbscip.linux.x8) R 31116 31118 27786 0 -1 4202496 74453 0 0 0 171926 255 0 0 25 0 1 0 23663747 270110720 64401 1992294400 4194304 8395647 140734861797312 18446744073709551615 6696991 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31118/statm: 65945 64401 665 1026 0 64915 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 263780
[startup+1782.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/106 31170
/proc/meminfo: memFree=1471216/2059040 swapFree=4139836/4192956
[pid=31118] ppid=31116 vsize=263780 CPUtime=1781.79
/proc/31118/stat : 31118 (pbscip.linux.x8) R 31116 31118 27786 0 -1 4202496 74453 0 0 0 177916 263 0 0 25 0 1 0 23663747 270110720 64401 1992294400 4194304 8395647 140734861797312 18446744073709551615 6635648 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31118/statm: 65945 64401 665 1026 0 64915 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 263780
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 1.02 1.01 1.00 2/106 31170
/proc/meminfo: memFree=1471216/2059040 swapFree=4139836/4192956
[pid=31118] ppid=31116 vsize=263780 CPUtime=1785
/proc/31118/stat : 31118 (pbscip.linux.x8) R 31116 31118 27786 0 -1 4202496 74453 0 0 0 178236 264 0 0 25 0 1 0 23663747 270110720 64401 1992294400 4194304 8395647 140734861797312 18446744073709551615 6670339 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31118/statm: 65945 64401 665 1026 0 64915 0
Current children cumulated CPU time (s) 1785
Current children cumulated vsize (KiB) 263780
[startup+1788.7 s]
/proc/loadavg: 1.02 1.01 1.00 2/106 31170
/proc/meminfo: memFree=1471216/2059040 swapFree=4139836/4192956
[pid=31118] ppid=31116 vsize=263780 CPUtime=1788.19
/proc/31118/stat : 31118 (pbscip.linux.x8) R 31116 31118 27786 0 -1 4202496 74453 0 0 0 178555 264 0 0 25 0 1 0 23663747 270110720 64401 1992294400 4194304 8395647 140734861797312 18446744073709551615 6698214 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31118/statm: 65945 64401 665 1026 0 64915 0
Current children cumulated CPU time (s) 1788.19
Current children cumulated vsize (KiB) 263780
[startup+1789.5 s]
/proc/loadavg: 1.02 1.01 1.00 2/106 31170
/proc/meminfo: memFree=1471216/2059040 swapFree=4139836/4192956
[pid=31118] ppid=31116 vsize=263780 CPUtime=1788.99
/proc/31118/stat : 31118 (pbscip.linux.x8) R 31116 31118 27786 0 -1 4202496 74453 0 0 0 178635 264 0 0 25 0 1 0 23663747 270110720 64401 1992294400 4194304 8395647 140734861797312 18446744073709551615 6697804 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31118/statm: 65945 64401 665 1026 0 64915 0
Current children cumulated CPU time (s) 1788.99
Current children cumulated vsize (KiB) 263780
[startup+1789.9 s]
/proc/loadavg: 1.02 1.01 1.00 2/106 31170
/proc/meminfo: memFree=1471216/2059040 swapFree=4139836/4192956
[pid=31118] ppid=31116 vsize=263780 CPUtime=1789.39
/proc/31118/stat : 31118 (pbscip.linux.x8) R 31116 31118 27786 0 -1 4202496 74453 0 0 0 178675 264 0 0 25 0 1 0 23663747 270110720 64401 1992294400 4194304 8395647 140734861797312 18446744073709551615 6667655 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31118/statm: 65945 64401 665 1026 0 64915 0
Current children cumulated CPU time (s) 1789.39
Current children cumulated vsize (KiB) 263780
[startup+1790.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/106 31170
/proc/meminfo: memFree=1471216/2059040 swapFree=4139836/4192956
[pid=31118] ppid=31116 vsize=263780 CPUtime=1789.79
/proc/31118/stat : 31118 (pbscip.linux.x8) R 31116 31118 27786 0 -1 4202496 74462 0 0 0 178715 264 0 0 25 0 1 0 23663747 270110720 64410 1992294400 4194304 8395647 140734861797312 18446744073709551615 6063840 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31118/statm: 65945 64410 674 1026 0 64915 0
Current children cumulated CPU time (s) 1789.79
Current children cumulated vsize (KiB) 263780
[startup+1790.4 s]
/proc/loadavg: 1.02 1.01 1.00 2/106 31170
/proc/meminfo: memFree=1471216/2059040 swapFree=4139836/4192956
[pid=31118] ppid=31116 vsize=263780 CPUtime=1789.89
/proc/31118/stat : 31118 (pbscip.linux.x8) R 31116 31118 27786 0 -1 4202496 74462 0 0 0 178725 264 0 0 25 0 1 0 23663747 270110720 64410 1992294400 4194304 8395647 140734861797312 18446744073709551615 4721227 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31118/statm: 65945 64410 674 1026 0 64915 0
Current children cumulated CPU time (s) 1789.89
Current children cumulated vsize (KiB) 263780
Child status: 0
Real time (s): 1790.49
CPU time (s): 1789.99
CPU user time (s): 1787.32
CPU system time (s): 2.67459
CPU usage (%): 99.9722
Max. virtual memory (cumulated for all children) (KiB): 264376
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1787.32
system time used= 2.67459
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 74468
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= 4366
runsolver used 3.07753 second user time and 8.33373 second system time
The end