0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
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-2664620-1276406705.opb>
0.00/0.05 c original problem has 672 variables (672 bin, 0 int, 0 impl, 0 cont) and 2030 constraints
0.00/0.05 c problem read
0.00/0.05 c presolving settings loaded
0.00/0.05 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.05/0.06 c presolving:
0.09/0.11 c (round 1) 112 del vars, 112 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1806 upgd conss, 888 impls, 0 clqs
0.09/0.12 c (round 2) 112 del vars, 224 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1806 upgd conss, 888 impls, 0 clqs
0.09/0.15 c (0.1s) probing: 101/560 (18.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.15 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.15 c presolving (3 rounds):
0.09/0.15 c 112 deleted vars, 224 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.15 c 888 implications, 0 cliques
0.09/0.15 c presolved problem has 560 variables (560 bin, 0 int, 0 impl, 0 cont) and 1806 constraints
0.09/0.15 c 24 constraints of type <knapsack>
0.09/0.15 c 1782 constraints of type <logicor>
0.09/0.15 c transformed objective value is always integral (scale: 1)
0.09/0.15 c Presolving Time: 0.08
0.09/0.15 c - non default parameters ----------------------------------------------------------------------
0.09/0.15 c # SCIP version 1.2.1.2
0.09/0.15 c
0.09/0.15 c # frequency for displaying node information lines
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.15 c display/freq = 10000
0.09/0.15 c
0.09/0.15 c # maximal time in seconds to run
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15 c limits/time = 1799.97
0.09/0.15 c
0.09/0.15 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15 c limits/memory = 1620
0.09/0.15 c
0.09/0.15 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.15 c lp/solvefreq = -1
0.09/0.15 c
0.09/0.15 c # should presolving try to simplify inequalities
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c constraints/linear/simplifyinequalities = TRUE
0.09/0.15 c
0.09/0.15 c # should presolving try to simplify knapsacks
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.15 c
0.09/0.15 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.15 c separating/rapidlearning/freq = 0
0.09/0.15 c
0.09/0.15 c -----------------------------------------------------------------------------------------------
0.09/0.15 c start solving
0.09/0.15 c
0.09/0.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.15 c 0.1s| 1 | 2 | 0 | - |3050k| 0 | - | 560 |1806 | 0 | 0 | 0 | 0 | 0 | 1.400000e+01 | -- | Inf
6.79/6.88 c 6.5s| 10000 | 6797 | 0 | 0.0 |9329k| 46 | - | 560 |3220 | 0 | 0 | 0 |4134 | 0 | 1.700000e+01 | -- | Inf
14.68/14.70 c 14.1s| 20000 | 12104 | 0 | 0.0 | 15M| 46 | - | 560 |3767 | 0 | 0 | 0 | 11k| 0 | 1.800000e+01 | -- | Inf
22.89/22.95 c 22.0s| 30000 | 17905 | 0 | 0.0 | 22M| 46 | - | 560 |4272 | 0 | 0 | 0 | 18k| 0 | 1.900000e+01 | -- | Inf
31.68/31.78 c 30.5s| 40000 | 23670 | 0 | 0.0 | 28M| 46 | - | 560 |4327 | 0 | 0 | 0 | 26k| 0 | 2.000000e+01 | -- | Inf
40.58/40.63 c 39.0s| 50000 | 29792 | 0 | 0.0 | 35M| 46 | - | 560 |4658 | 0 | 0 | 0 | 34k| 0 | 2.100000e+01 | -- | Inf
50.27/50.30 c 48.4s| 60000 | 35684 | 0 | 0.0 | 42M| 46 | - | 560 |4971 | 0 | 0 | 0 | 43k| 0 | 2.100000e+01 | -- | Inf
60.06/60.18 c 58.0s| 70000 | 41162 | 0 | 0.0 | 50M| 48 | - | 560 |5201 | 0 | 0 | 0 | 51k| 0 | 2.100000e+01 | -- | Inf
69.56/69.69 c 67.2s| 80000 | 47325 | 0 | 0.0 | 57M| 48 | - | 560 |5441 | 0 | 0 | 0 | 60k| 0 | 2.200000e+01 | -- | Inf
79.86/79.92 c 77.1s| 90000 | 53039 | 0 | 0.0 | 64M| 48 | - | 560 |5824 | 0 | 0 | 0 | 69k| 0 | 2.200000e+01 | -- | Inf
90.96/91.09 c 88.0s|100000 | 58588 | 0 | 0.0 | 72M| 48 | - | 560 |6555 | 0 | 0 | 0 | 78k| 0 | 2.200000e+01 | -- | Inf
103.25/103.30 c 99.8s|110000 | 63777 | 0 | 0.0 | 79M| 48 | - | 560 |6016 | 0 | 0 | 0 | 88k| 0 | 2.200000e+01 | -- | Inf
114.65/114.78 c 111s|120000 | 69345 | 0 | 0.0 | 87M| 49 | - | 560 |6724 | 0 | 0 | 0 | 97k| 0 | 2.200000e+01 | -- | Inf
126.65/126.71 c 123s|130000 | 74653 | 0 | 0.0 | 94M| 54 | - | 560 |6487 | 0 | 0 | 0 | 107k| 0 | 2.200000e+01 | -- | Inf
138.24/138.37 c 134s|140000 | 80302 | 0 | 0.0 | 101M| 54 | - | 560 |6921 | 0 | 0 | 0 | 116k| 0 | 2.200000e+01 | -- | Inf
150.43/150.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
150.43/150.58 c 146s|150000 | 85826 | 0 | 0.0 | 109M| 54 | - | 560 |6742 | 0 | 0 | 0 | 126k| 0 | 2.200000e+01 | -- | Inf
163.53/163.62 c 158s|160000 | 91011 | 0 | 0.0 | 116M| 54 | - | 560 |7262 | 0 | 0 | 0 | 137k| 0 | 2.200000e+01 | -- | Inf
177.33/177.42 c 172s|170000 | 96234 | 0 | 0.0 | 124M| 54 | - | 560 |7617 | 0 | 0 | 0 | 148k| 0 | 2.200000e+01 | -- | Inf
190.62/190.79 c 185s|180000 |101214 | 0 | 0.0 | 131M| 54 | - | 560 |7415 | 0 | 0 | 0 | 159k| 0 | 2.300000e+01 | -- | Inf
204.82/204.96 c 199s|190000 |106167 | 0 | 0.0 | 138M| 54 | - | 560 |7917 | 0 | 0 | 0 | 171k| 0 | 2.300000e+01 | -- | Inf
218.62/218.73 c 212s|200000 |111371 | 0 | 0.0 | 145M| 54 | - | 560 |7832 | 0 | 0 | 0 | 181k| 0 | 2.300000e+01 | -- | Inf
232.61/232.78 c 226s|210000 |116969 | 0 | 0.0 | 153M| 54 | - | 560 |7900 | 0 | 0 | 0 | 192k| 0 | 2.300000e+01 | -- | Inf
247.51/247.60 c 240s|220000 |122143 | 0 | 0.0 | 161M| 54 | - | 560 |7678 | 0 | 0 | 0 | 204k| 0 | 2.400000e+01 | -- | Inf
261.90/262.02 c 254s|230000 |127296 | 0 | 0.0 | 169M| 54 | - | 560 |7877 | 0 | 0 | 0 | 215k| 0 | 2.400000e+01 | -- | Inf
277.20/277.31 c 269s|240000 |132122 | 0 | 0.0 | 177M| 54 | - | 560 |9020 | 0 | 0 | 0 | 227k| 0 | 2.400000e+01 | -- | Inf
293.09/293.29 c 285s|250000 |136483 | 0 | 0.0 | 184M| 54 | - | 560 |8161 | 0 | 0 | 0 | 240k| 0 | 2.400000e+01 | -- | Inf
307.79/307.96 c 299s|260000 |141630 | 0 | 0.0 | 191M| 54 | - | 560 |8734 | 0 | 0 | 0 | 251k| 0 | 2.400000e+01 | -- | Inf
322.98/323.11 c 314s|270000 |146607 | 0 | 0.0 | 198M| 54 | - | 560 |8325 | 0 | 0 | 0 | 263k| 0 | 2.400000e+01 | -- | Inf
337.48/337.70 c 328s|280000 |152023 | 0 | 0.0 | 205M| 54 | - | 560 |8685 | 0 | 0 | 0 | 274k| 0 | 2.500000e+01 | -- | Inf
353.26/353.40 c 344s|290000 |157119 | 0 | 0.0 | 213M| 54 | - | 560 |8501 | 0 | 0 | 0 | 287k| 0 | 2.500000e+01 | -- | Inf
368.67/368.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
368.67/368.82 c 359s|300000 |162122 | 0 | 0.0 | 220M| 54 | - | 560 |9196 | 0 | 0 | 0 | 299k| 0 | 2.500000e+01 | -- | Inf
384.36/384.60 c 374s|310000 |167206 | 0 | 0.0 | 227M| 54 | - | 560 |9794 | 0 | 0 | 0 | 312k| 0 | 2.500000e+01 | -- | Inf
401.15/401.38 c 391s|320000 |171972 | 0 | 0.0 | 235M| 54 | - | 560 | 10k| 0 | 0 | 0 | 326k| 0 | 2.500000e+01 | -- | Inf
418.74/418.91 c 408s|330000 |176626 | 0 | 0.0 | 242M| 54 | - | 560 | 10k| 0 | 0 | 0 | 339k| 0 | 2.500000e+01 | -- | Inf
437.25/437.48 c 426s|340000 |181117 | 0 | 0.0 | 249M| 54 | - | 560 | 10k| 0 | 0 | 0 | 354k| 0 | 2.500000e+01 | -- | Inf
456.25/456.44 c 445s|350000 |185139 | 0 | 0.0 | 256M| 54 | - | 560 |9733 | 0 | 0 | 0 | 369k| 0 | 2.500000e+01 | -- | Inf
473.13/473.32 c 461s|360000 |189927 | 0 | 0.0 | 263M| 54 | - | 560 | 10k| 0 | 0 | 0 | 382k| 0 | 2.500000e+01 | -- | Inf
491.32/491.57 c 479s|370000 |194584 | 0 | 0.0 | 270M| 55 | - | 560 |9778 | 0 | 0 | 0 | 395k| 0 | 2.500000e+01 | -- | Inf
508.61/508.85 c 496s|380000 |199547 | 0 | 0.0 | 278M| 55 | - | 560 | 10k| 0 | 0 | 0 | 408k| 0 | 2.500000e+01 | -- | Inf
526.11/526.38 c 513s|390000 |204626 | 0 | 0.0 | 285M| 55 | - | 560 | 10k| 0 | 0 | 0 | 421k| 0 | 2.600000e+01 | -- | Inf
544.31/544.52 c 531s|400000 |209582 | 0 | 0.0 | 292M| 55 | - | 560 | 11k| 0 | 0 | 0 | 435k| 0 | 2.600000e+01 | -- | Inf
563.20/563.44 c 550s|410000 |214224 | 0 | 0.0 | 299M| 55 | - | 560 | 11k| 0 | 0 | 0 | 449k| 0 | 2.600000e+01 | -- | Inf
582.70/582.90 c 569s|420000 |218774 | 0 | 0.0 | 307M| 55 | - | 560 | 11k| 0 | 0 | 0 | 463k| 0 | 2.600000e+01 | -- | Inf
603.28/603.50 c 589s|430000 |223209 | 0 | 0.0 | 314M| 55 | - | 560 | 12k| 0 | 0 | 0 | 478k| 0 | 2.600000e+01 | -- | Inf
624.48/624.78 c 610s|440000 |227652 | 0 | 0.0 | 322M| 55 | - | 560 | 12k| 0 | 0 | 0 | 493k| 0 | 2.600000e+01 | -- | Inf
647.37/647.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
647.37/647.69 c 632s|450000 |231561 | 0 | 0.0 | 329M| 55 | - | 560 | 13k| 0 | 0 | 0 | 509k| 0 | 2.600000e+01 | -- | Inf
672.66/672.99 c 657s|460000 |235137 | 0 | 0.0 | 337M| 55 | - | 560 | 14k| 0 | 0 | 0 | 526k| 0 | 2.600000e+01 | -- | Inf
700.95/701.22 c 685s|470000 |237985 | 0 | 0.0 | 344M| 55 | - | 560 | 13k| 0 | 0 | 0 | 543k| 0 | 2.600000e+01 | -- | Inf
724.56/724.80 c 708s|480000 |241647 | 0 | 0.0 | 350M| 55 | - | 560 | 12k| 0 | 0 | 0 | 558k| 0 | 2.600000e+01 | -- | Inf
746.14/746.42 c 730s|490000 |245953 | 0 | 0.0 | 358M| 55 | - | 560 | 13k| 0 | 0 | 0 | 573k| 0 | 2.600000e+01 | -- | Inf
766.13/766.45 c 749s|500000 |250886 | 0 | 0.0 | 365M| 55 | - | 560 | 12k| 0 | 0 | 0 | 586k| 0 | 2.700000e+01 | -- | Inf
786.63/787.00 c 769s|510000 |255685 | 0 | 0.0 | 373M| 55 | - | 560 | 12k| 0 | 0 | 0 | 600k| 0 | 2.700000e+01 | -- | Inf
808.41/808.72 c 791s|520000 |260449 | 0 | 0.0 | 380M| 55 | - | 560 | 12k| 0 | 0 | 0 | 614k| 0 | 2.700000e+01 | -- | Inf
830.31/830.62 c 812s|530000 |265170 | 0 | 0.0 | 387M| 55 | - | 560 | 13k| 0 | 0 | 0 | 628k| 0 | 2.700000e+01 | -- | Inf
854.00/854.33 c 836s|540000 |269536 | 0 | 0.0 | 394M| 55 | - | 560 | 13k| 0 | 0 | 0 | 643k| 0 | 2.700000e+01 | -- | Inf
877.30/877.61 c 859s|550000 |273944 | 0 | 0.0 | 401M| 55 | - | 560 | 13k| 0 | 0 | 0 | 659k| 0 | 2.700000e+01 | -- | Inf
902.08/902.44 c 883s|560000 |277995 | 0 | 0.0 | 409M| 55 | - | 560 | 14k| 0 | 0 | 0 | 674k| 0 | 2.700000e+01 | -- | Inf
928.68/929.05 c 909s|570000 |282052 | 0 | 0.0 | 416M| 55 | - | 560 | 15k| 0 | 0 | 0 | 690k| 0 | 2.700000e+01 | -- | Inf
956.47/956.82 c 937s|580000 |285877 | 0 | 0.0 | 424M| 55 | - | 560 | 16k| 0 | 0 | 0 | 706k| 0 | 2.700000e+01 | -- | Inf
987.96/988.37 c 968s|590000 |289182 | 0 | 0.0 | 432M| 55 | - | 560 | 16k| 0 | 0 | 0 | 723k| 0 | 2.700000e+01 | -- | Inf
1018.55/1018.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1018.55/1018.98 c 998s|600000 |292601 | 0 | 0.0 | 439M| 55 | - | 560 | 17k| 0 | 0 | 0 | 740k| 0 | 2.700000e+01 | -- | Inf
1052.74/1053.11 c 1032s|610000 |295591 | 0 | 0.0 | 446M| 55 | - | 560 | 17k| 0 | 0 | 0 | 758k| 0 | 2.700000e+01 | -- | Inf
1088.83/1089.25 c 1068s|620000 |298000 | 0 | 0.0 | 453M| 55 | - | 560 | 16k| 0 | 0 | 0 | 777k| 0 | 2.700000e+01 | -- | Inf
1126.21/1126.63 c 1105s|630000 |299796 | 0 | 0.0 | 460M| 55 | - | 560 | 16k| 0 | 0 | 0 | 797k| 0 | 2.700000e+01 | -- | Inf
1155.81/1156.22 c 1134s|640000 |302941 | 0 | 0.0 | 467M| 55 | - | 560 | 16k| 0 | 0 | 0 | 813k| 0 | 2.700000e+01 | -- | Inf
1183.00/1183.46 c 1161s|650000 |307020 | 0 | 0.0 | 473M| 55 | - | 560 | 15k| 0 | 0 | 0 | 828k| 0 | 2.800000e+01 | -- | Inf
1208.28/1208.77 c 1186s|660000 |311585 | 0 | 0.0 | 481M| 55 | - | 560 | 15k| 0 | 0 | 0 | 842k| 0 | 2.800000e+01 | -- | Inf
1233.78/1234.21 c 1211s|670000 |316124 | 0 | 0.0 | 488M| 55 | - | 560 | 15k| 0 | 0 | 0 | 857k| 0 | 2.800000e+01 | -- | Inf
1259.76/1260.24 c 1236s|680000 |320635 | 0 | 0.0 | 495M| 55 | - | 560 | 15k| 0 | 0 | 0 | 872k| 0 | 2.800000e+01 | -- | Inf
1286.96/1287.48 c 1263s|690000 |324935 | 0 | 0.0 | 503M| 55 | - | 560 | 17k| 0 | 0 | 0 | 887k| 0 | 2.800000e+01 | -- | Inf
1317.55/1318.07 c 1293s|700000 |328943 | 0 | 0.0 | 510M| 55 | - | 560 | 16k| 0 | 0 | 0 | 903k| 0 | 2.800000e+01 | -- | Inf
1347.44/1347.93 c 1323s|710000 |332993 | 0 | 0.0 | 518M| 55 | - | 560 | 17k| 0 | 0 | 0 | 919k| 0 | 2.800000e+01 | -- | Inf
1379.43/1379.96 c 1354s|720000 |336672 | 0 | 0.0 | 525M| 55 | - | 560 | 17k| 0 | 0 | 0 | 936k| 0 | 2.800000e+01 | -- | Inf
1411.02/1411.55 c 1386s|730000 |340242 | 0 | 0.0 | 532M| 55 | - | 560 | 17k| 0 | 0 | 0 | 954k| 0 | 2.800000e+01 | -- | Inf
1444.51/1445.09 c 1419s|740000 |343557 | 0 | 0.0 | 540M| 55 | - | 560 | 17k| 0 | 0 | 0 | 971k| 0 | 2.800000e+01 | -- | Inf
1479.00/1479.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1479.00/1479.59 c 1453s|750000 |346695 | 0 | 0.0 | 547M| 55 | - | 560 | 18k| 0 | 0 | 0 | 990k| 0 | 2.800000e+01 | -- | Inf
1515.88/1516.42 c 1489s|760000 |349782 | 0 | 0.0 | 555M| 55 | - | 560 | 19k| 0 | 0 | 0 |1008k| 0 | 2.800000e+01 | -- | Inf
1555.37/1555.95 c 1528s|770000 |352313 | 0 | 0.0 | 563M| 55 | - | 560 | 19k| 0 | 0 | 0 |1027k| 0 | 2.800000e+01 | -- | Inf
1598.26/1598.81 c 1571s|780000 |354485 | 0 | 0.0 | 570M| 55 | - | 560 | 19k| 0 | 0 | 0 |1047k| 0 | 2.800000e+01 | -- | Inf
1643.14/1643.76 c 1615s|790000 |356522 | 0 | 0.0 | 578M| 55 | - | 560 | 20k| 0 | 0 | 0 |1067k| 0 | 2.800000e+01 | -- | Inf
1690.93/1691.58 c 1663s|800000 |357815 | 0 | 0.0 | 585M| 55 | - | 560 | 19k| 0 | 0 | 0 |1089k| 0 | 2.800000e+01 | -- | Inf
1740.72/1741.34 c 1712s|810000 |358261 | 0 | 0.0 | 591M| 55 | - | 560 | 16k| 0 | 0 | 0 |1111k| 0 | 2.800000e+01 | -- | Inf
1771.41/1772.02 c 1742s|820000 |361953 | 0 | 0.0 | 598M| 59 | - | 560 | 17k| 0 | 0 | 0 |1127k| 0 | 2.800000e+01 | -- | Inf
1800.00/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.00/1800.62 c
1800.00/1800.62 c SCIP Status : solving was interrupted [user interrupt]
1800.00/1800.62 c Solving Time (sec) : 1770.71
1800.00/1800.62 c Solving Nodes : 829808
1800.00/1800.62 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.00/1800.62 c Dual Bound : +2.90000000000000e+01
1800.00/1800.62 c Gap : infinite
1800.00/1800.62 s UNKNOWN
1800.00/1800.62 c SCIP Status : solving was interrupted [user interrupt]
1800.00/1800.62 c Solving Time : 1770.71
1800.00/1800.62 c Original Problem :
1800.00/1800.62 c Problem name : HOME/instance-2664620-1276406705.opb
1800.00/1800.62 c Variables : 672 (672 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.00/1800.62 c Constraints : 2030 initial, 2030 maximal
1800.00/1800.62 c Presolved Problem :
1800.00/1800.62 c Problem name : t_HOME/instance-2664620-1276406705.opb
1800.00/1800.62 c Variables : 560 (560 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.00/1800.62 c Constraints : 1806 initial, 20327 maximal
1800.00/1800.62 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.00/1800.62 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.62 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.62 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.62 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.62 c implics : 0.00 0 112 0 0 0 0 0 0
1800.00/1800.62 c probing : 0.01 0 0 0 0 0 0 0 0
1800.00/1800.62 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.62 c linear : 0.04 0 0 0 0 0 224 0 0
1800.00/1800.62 c logicor : 0.03 0 0 0 0 0 0 0 0
1800.00/1800.62 c root node : - 0 - - 0 - - - -
1800.00/1800.62 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.00/1800.62 c integral : 0 0 0 0 0 0 0 0 0 0
1800.00/1800.62 c knapsack : 24 0 3166074 0 655477 190688 12457867 0 0 0
1800.00/1800.62 c logicor : 1782+ 0 2794936 0 655477 76605 11929927 0 0 0
1800.00/1800.62 c countsols : 0 0 0 0 655476 0 0 0 0 0
1800.00/1800.62 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.00/1800.62 c integral : 0.00 0.00 0.00 0.00 0.00
1800.00/1800.62 c knapsack : 81.99 0.00 74.75 0.00 7.24
1800.00/1800.62 c logicor : 936.10 0.00 724.36 0.00 211.74
1800.00/1800.62 c countsols : 0.25 0.00 0.00 0.00 0.25
1800.00/1800.62 c Propagators : Time Calls Cutoffs DomReds
1800.00/1800.62 c vbounds : 1.82 2 0 0
1800.00/1800.62 c rootredcost : 1.46 0 0 0
1800.00/1800.62 c pseudoobj : 94.35 3165874 0 0
1800.00/1800.62 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.00/1800.62 c propagation : 28.12 267293 266511 1946505 23.2 20066 15.9 -
1800.00/1800.62 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.00/1800.62 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.00/1800.62 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.00/1800.62 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.00/1800.62 c applied globally : - - - 1142022 20.9 - - -
1800.00/1800.62 c applied locally : - - - 0 0.0 - - -
1800.00/1800.62 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.00/1800.62 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.00/1800.62 c redcost : 0.00 0 0 0 0 0
1800.00/1800.62 c impliedbounds : 0.00 0 0 0 0 0
1800.00/1800.62 c intobj : 0.00 0 0 0 0 0
1800.00/1800.62 c cgmip : 0.00 0 0 0 0 0
1800.00/1800.62 c gomory : 0.00 0 0 0 0 0
1800.00/1800.62 c strongcg : 0.00 0 0 0 0 0
1800.00/1800.62 c cmir : 0.00 0 0 0 0 0
1800.00/1800.62 c flowcover : 0.00 0 0 0 0 0
1800.00/1800.62 c clique : 0.00 0 0 0 0 0
1800.00/1800.62 c zerohalf : 0.00 0 0 0 0 0
1800.00/1800.62 c mcf : 0.00 0 0 0 0 0
1800.00/1800.62 c rapidlearning : 0.00 0 0 0 0 0
1800.00/1800.62 c Pricers : Time Calls Vars
1800.00/1800.62 c problem variables: 0.00 0 0
1800.00/1800.62 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.00/1800.62 c relpscost : 0.00 0 0 0 0 0 0
1800.00/1800.62 c pscost : 0.00 0 0 0 0 0 0
1800.00/1800.62 c inference : 73.18 655476 0 0 0 0 1310952
1800.00/1800.62 c mostinf : 0.00 0 0 0 0 0 0
1800.00/1800.62 c leastinf : 0.00 0 0 0 0 0 0
1800.00/1800.62 c fullstrong : 0.00 0 0 0 0 0 0
1800.00/1800.62 c allfullstrong : 0.00 0 0 0 0 0 0
1800.00/1800.62 c random : 0.00 0 0 0 0 0 0
1800.00/1800.62 c Primal Heuristics : Time Calls Found
1800.00/1800.62 c LP solutions : 0.00 - 0
1800.00/1800.62 c pseudo solutions : 0.00 - 0
1800.00/1800.62 c oneopt : 0.61 0 0
1800.00/1800.62 c trivial : 0.00 2 0
1800.00/1800.62 c simplerounding : 0.00 0 0
1800.00/1800.62 c zirounding : 0.00 0 0
1800.00/1800.62 c rounding : 0.00 0 0
1800.00/1800.62 c shifting : 0.00 0 0
1800.00/1800.62 c intshifting : 0.00 0 0
1800.00/1800.62 c twoopt : 0.00 0 0
1800.00/1800.62 c fixandinfer : 0.00 0 0
1800.00/1800.62 c feaspump : 0.00 0 0
1800.00/1800.62 c coefdiving : 0.00 0 0
1800.00/1800.62 c pscostdiving : 0.00 0 0
1800.00/1800.62 c fracdiving : 0.00 0 0
1800.00/1800.62 c veclendiving : 0.00 0 0
1800.00/1800.62 c intdiving : 0.00 0 0
1800.00/1800.62 c actconsdiving : 0.00 0 0
1800.00/1800.62 c objpscostdiving : 0.00 0 0
1800.00/1800.62 c rootsoldiving : 0.00 0 0
1800.00/1800.62 c linesearchdiving : 0.00 0 0
1800.00/1800.62 c guideddiving : 0.00 0 0
1800.00/1800.62 c octane : 0.00 0 0
1800.00/1800.62 c rens : 0.00 0 0
1800.00/1800.62 c rins : 0.00 0 0
1800.00/1800.62 c localbranching : 0.00 0 0
1800.00/1800.62 c mutation : 0.00 0 0
1800.00/1800.62 c crossover : 0.00 0 0
1800.00/1800.62 c dins : 0.00 0 0
1800.00/1800.62 c undercover : 0.00 0 0
1800.00/1800.62 c nlp : 0.87 0 0
1800.00/1800.62 c trysol : 0.56 0 0
1800.00/1800.62 c LP : Time Calls Iterations Iter/call Iter/sec
1800.00/1800.62 c primal LP : 0.00 0 0 0.00 -
1800.00/1800.62 c dual LP : 0.00 0 0 0.00 -
1800.00/1800.62 c lex dual LP : 0.00 0 0 0.00 -
1800.00/1800.62 c barrier LP : 0.00 0 0 0.00 -
1800.00/1800.62 c diving/probing LP: 0.00 0 0 0.00 -
1800.00/1800.62 c strong branching : 0.00 0 0 0.00 -
1800.00/1800.62 c (at root node) : - 0 0 0.00 -
1800.00/1800.62 c conflict analysis: 0.00 0 0 0.00 -
1800.00/1800.62 c B&B Tree :
1800.00/1800.62 c number of runs : 1
1800.00/1800.62 c nodes : 829808
1800.00/1800.62 c nodes (total) : 829808
1800.00/1800.62 c nodes left : 366035
1800.00/1800.62 c max depth : 59
1800.00/1800.62 c max depth (total): 59
1800.00/1800.62 c backtracks : 113508 (13.7%)
1800.00/1800.62 c delayed cutoffs : 115110
1800.00/1800.62 c repropagations : 365432 (6626184 domain reductions, 92961 cutoffs)
1800.00/1800.62 c avg switch length: 6.96
1800.00/1800.62 c switching time : 385.65
1800.00/1800.62 c Solution :
1800.00/1800.62 c Solutions found : 0 (0 improvements)
1800.00/1800.62 c Primal Bound : -
1800.00/1800.62 c Dual Bound : +2.90000000000000e+01
1800.00/1800.62 c Gap : infinite
1800.00/1800.62 c Root Dual Bound : +1.40000000000000e+01
1800.00/1800.62 c Root Iterations : 0
1801.99/1802.61 c Time complete: 1802.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2664620-1276406705/watcher-2664620-1276406705 -o /tmp/evaluation-result-2664620-1276406705/solver-2664620-1276406705 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664620-1276406705.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: 2.31 2.37 1.82 3/106 22149
/proc/meminfo: memFree=1821972/2059040 swapFree=4136716/4192956
[pid=22149] ppid=22147 vsize=6584 CPUtime=0
/proc/22149/stat : 22149 (pbscip.linux.x8) R 22147 22149 21622 0 -1 4202496 977 0 0 0 0 0 0 0 20 0 1 0 16272108 6742016 899 1992294400 4194304 7136930 140735239676912 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22149/statm: 1646 909 254 719 0 925 0
[startup+0.0585931 s]
/proc/loadavg: 2.31 2.37 1.82 3/106 22149
/proc/meminfo: memFree=1821972/2059040 swapFree=4136716/4192956
[pid=22149] ppid=22147 vsize=11920 CPUtime=0.05
/proc/22149/stat : 22149 (pbscip.linux.x8) R 22147 22149 21622 0 -1 4202496 2840 0 0 0 4 1 0 0 20 0 1 0 16272108 12206080 2409 1992294400 4194304 7136930 140735239676912 18446744073709551615 6164672 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22149/statm: 2980 2411 292 719 0 2259 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 11920
[startup+0.101601 s]
/proc/loadavg: 2.31 2.37 1.82 3/106 22149
/proc/meminfo: memFree=1821972/2059040 swapFree=4136716/4192956
[pid=22149] ppid=22147 vsize=16044 CPUtime=0.09
/proc/22149/stat : 22149 (pbscip.linux.x8) R 22147 22149 21622 0 -1 4202496 3914 0 0 0 8 1 0 0 20 0 1 0 16272108 16429056 3225 1992294400 4194304 7136930 140735239676912 18446744073709551615 4672117 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22149/statm: 4011 3225 348 719 0 3290 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16044
[startup+0.301636 s]
/proc/loadavg: 2.31 2.37 1.82 3/106 22149
/proc/meminfo: memFree=1821972/2059040 swapFree=4136716/4192956
[pid=22149] ppid=22147 vsize=16460 CPUtime=0.29
/proc/22149/stat : 22149 (pbscip.linux.x8) R 22147 22149 21622 0 -1 4202496 5612 0 0 0 26 3 0 0 20 0 1 0 16272108 16855040 3381 1992294400 4194304 7136930 140735239676912 18446744073709551615 4697143 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22149/statm: 4115 3381 396 719 0 3394 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16460
[startup+0.701707 s]
/proc/loadavg: 2.31 2.37 1.82 3/106 22149
/proc/meminfo: memFree=1821972/2059040 swapFree=4136716/4192956
[pid=22149] ppid=22147 vsize=17120 CPUtime=0.7
/proc/22149/stat : 22149 (pbscip.linux.x8) R 22147 22149 21622 0 -1 4202496 5796 0 0 0 65 5 0 0 21 0 1 0 16272108 17530880 3565 1992294400 4194304 7136930 140735239676912 18446744073709551615 5005237 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22149/statm: 4280 3565 396 719 0 3559 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 17120
[startup+1.50085 s]
/proc/loadavg: 2.20 2.34 1.81 2/107 22150
/proc/meminfo: memFree=1808696/2059040 swapFree=4136716/4192956
[pid=22149] ppid=22147 vsize=18064 CPUtime=1.49
/proc/22149/stat : 22149 (pbscip.linux.x8) R 22147 22149 21622 0 -1 4202496 6018 0 0 0 141 8 0 0 23 0 1 0 16272108 18497536 3787 1992294400 4194304 7136930 140735239676912 18446744073709551615 4660153 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22149/statm: 4516 3787 396 719 0 3795 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18064
[startup+3.10114 s]
/proc/loadavg: 2.20 2.34 1.81 2/107 22150
/proc/meminfo: memFree=1807456/2059040 swapFree=4136716/4192956
[pid=22149] ppid=22147 vsize=20308 CPUtime=3.09
/proc/22149/stat : 22149 (pbscip.linux.x8) R 22147 22149 21622 0 -1 4202496 6614 0 0 0 295 14 0 0 25 0 1 0 16272108 20795392 4383 1992294400 4194304 7136930 140735239676912 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22149/statm: 5077 4383 396 719 0 4356 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 20308
[startup+6.30171 s]
/proc/loadavg: 2.20 2.34 1.81 2/107 22150
/proc/meminfo: memFree=1803612/2059040 swapFree=4136716/4192956
[pid=22149] ppid=22147 vsize=23516 CPUtime=6.29
/proc/22149/stat : 22149 (pbscip.linux.x8) R 22147 22149 21622 0 -1 4202496 7422 0 0 0 602 27 0 0 25 0 1 0 16272108 24080384 5191 1992294400 4194304 7136930 140735239676912 18446744073709551615 5005150 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22149/statm: 5879 5191 396 719 0 5158 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 23516
[startup+12.7009 s]
/proc/loadavg: 2.02 2.30 1.81 2/107 22150
/proc/meminfo: memFree=1796048/2059040 swapFree=4136716/4192956
[pid=22149] ppid=22147 vsize=31180 CPUtime=12.69
/proc/22149/stat : 22149 (pbscip.linux.x8) R 22147 22149 21622 0 -1 4202496 9322 0 0 0 1218 51 0 0 25 0 1 0 16272108 31928320 7091 1992294400 4194304 7136930 140735239676912 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22149/statm: 7795 7091 396 719 0 7074 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 31180
[startup+25.5011 s]
/proc/loadavg: 1.86 2.25 1.80 2/107 22150
/proc/meminfo: memFree=1782532/2059040 swapFree=4136716/4192956
[pid=22149] ppid=22147 vsize=43468 CPUtime=25.49
/proc/22149/stat : 22149 (pbscip.linux.x8) R 22147 22149 21622 0 -1 4202496 12404 0 0 0 2449 100 0 0 25 0 1 0 16272108 44511232 10173 1992294400 4194304 7136930 140735239676912 18446744073709551615 4697611 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22149/statm: 10867 10173 396 719 0 10146 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 43468
[startup+51.1017 s]
/proc/loadavg: 1.57 2.15 1.78 2/107 22152
/proc/meminfo: memFree=1756864/2059040 swapFree=4136716/4192956
[pid=22149] ppid=22147 vsize=69596 CPUtime=51.07
/proc/22149/stat : 22149 (pbscip.linux.x8) R 22147 22149 21622 0 -1 4202496 18919 0 0 0 4919 188 0 0 25 0 1 0 16272108 71266304 16688 1992294400 4194304 7136930 140735239676912 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22149/statm: 17399 16688 396 719 0 16678 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 69596
[startup+102.309 s]
/proc/loadavg: 1.22 1.96 1.73 2/107 22152
/proc/meminfo: memFree=1711356/2059040 swapFree=4136716/4192956
[pid=22149] ppid=22147 vsize=114764 CPUtime=102.26
/proc/22149/stat : 22149 (pbscip.linux.x8) R 22147 22149 21622 0 -1 4202496 30109 0 0 0 9888 338 0 0 25 0 1 0 16272108 117518336 27878 1992294400 4194304 7136930 140735239676912 18446744073709551615 5955622 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22149/statm: 28691 27878 396 719 0 27970 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 114764
[startup+162.302 s]
/proc/loadavg: 1.08 1.78 1.68 2/107 22154
/proc/meminfo: memFree=1664236/2059040 swapFree=4136716/4192956
[pid=22149] ppid=22147 vsize=163936 CPUtime=162.24
/proc/22149/stat : 22149 (pbscip.linux.x8) R 22147 22149 21622 0 -1 4202496 41819 0 0 0 15721 503 0 0 25 0 1 0 16272108 167870464 39588 1992294400 4194304 7136930 140735239676912 18446744073709551615 5005237 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22149/statm: 40984 39588 396 719 0 40263 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 163936
[startup+222.301 s]
/proc/loadavg: 1.03 1.64 1.63 2/107 22156
/proc/meminfo: memFree=1628648/2059040 swapFree=4136716/4192956
[pid=22149] ppid=22147 vsize=200560 CPUtime=222.22
/proc/22149/stat : 22149 (pbscip.linux.x8) R 22147 22149 21622 0 -1 4202496 50673 0 0 0 21570 652 0 0 25 0 1 0 16272108 205373440 48442 1992294400 4194304 7136930 140735239676912 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22149/statm: 50140 48442 396 719 0 49419 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 200560
[startup+282.301 s]
/proc/loadavg: 1.01 1.52 1.59 2/107 22158
/proc/meminfo: memFree=1587108/2059040 swapFree=4136716/4192956
[pid=22149] ppid=22147 vsize=242784 CPUtime=282.19
/proc/22149/stat : 22149 (pbscip.linux.x8) R 22147 22149 21622 0 -1 4202496 61156 0 0 0 27434 785 0 0 25 0 1 0 16272108 248610816 58925 1992294400 4194304 7136930 140735239676912 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22149/statm: 60696 58925 396 719 0 59975 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 242784
[startup+342.301 s]
/proc/loadavg: 1.00 1.42 1.55 2/107 22160
/proc/meminfo: memFree=1551644/2059040 swapFree=4136716/4192956
[pid=22149] ppid=22147 vsize=277124 CPUtime=342.17
/proc/22149/stat : 22149 (pbscip.linux.x8) R 22147 22149 21622 0 -1 4202496 69866 0 0 0 33297 920 0 0 25 0 1 0 16272108 283774976 67635 1992294400 4194304 7136930 140735239676912 18446744073709551615 4677433 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22149/statm: 69281 67635 396 719 0 68560 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 277124
[startup+402.302 s]
/proc/loadavg: 1.00 1.34 1.52 2/107 22160
/proc/meminfo: memFree=1518784/2059040 swapFree=4136716/4192956
[pid=22149] ppid=22147 vsize=310100 CPUtime=402.16
/proc/22149/stat : 22149 (pbscip.linux.x8) R 22147 22149 21622 0 -1 4202496 78081 0 0 0 39169 1047 0 0 25 0 1 0 16272108 317542400 75850 1992294400 4194304 7136930 140735239676912 18446744073709551615 4219844 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22149/statm: 77525 75850 396 719 0 76804 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 310100
[startup+462.301 s]
/proc/loadavg: 1.00 1.28 1.48 2/107 22162
/proc/meminfo: memFree=1491628/2059040 swapFree=4136716/4192956
[pid=22149] ppid=22147 vsize=338212 CPUtime=462.14
/proc/22149/stat : 22149 (pbscip.linux.x8) R 22147 22149 21622 0 -1 4202496 84800 0 0 0 45047 1167 0 0 25 0 1 0 16272108 346329088 82569 1992294400 4194304 7136930 140735239676912 18446744073709551615 5005237 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22149/statm: 84553 82569 396 719 0 83832 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 338212
[startup+522.301 s]
/proc/loadavg: 1.00 1.22 1.45 2/107 22164
/proc/meminfo: memFree=1474268/2059040 swapFree=4136716/4192956
[pid=22149] ppid=22147 vsize=359664 CPUtime=522.11
/proc/22149/stat : 22149 (pbscip.linux.x8) R 22147 22149 21622 0 -1 4202496 89140 0 0 0 50927 1284 0 0 25 0 1 0 16272108 368295936 86909 1992294400 4194304 7136930 140735239676912 18446744073709551615 4219928 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22149/statm: 89916 86909 396 719 0 89195 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 359664
[startup+582.301 s]
/proc/loadavg: 1.00 1.18 1.42 2/107 22166
/proc/meminfo: memFree=1449468/2059040 swapFree=4136716/4192956
[pid=22149] ppid=22147 vsize=385568 CPUtime=582.09
/proc/22149/stat : 22149 (pbscip.linux.x8) R 22147 22149 21622 0 -1 4202496 95297 0 0 0 56816 1393 0 0 25 0 1 0 16272108 394821632 93066 1992294400 4194304 7136930 140735239676912 18446744073709551615 5950410 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22149/statm: 96392 93066 396 719 0 95671 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 385568
[startup+642.3 s]
/proc/loadavg: 1.00 1.14 1.39 2/107 22168
/proc/meminfo: memFree=1421320/2059040 swapFree=4136716/4192956
[pid=22149] ppid=22147 vsize=413528 CPUtime=642.07
/proc/22149/stat : 22149 (pbscip.linux.x8) R 22147 22149 21622 0 -1 4202496 102325 0 0 0 62712 1495 0 0 25 0 1 0 16272108 423452672 100094 1992294400 4194304 7136930 140735239676912 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22149/statm: 103382 100094 396 719 0 102661 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 413528
[startup+702.301 s]
################
# More data... #
################
[startup+1002.3 s]
/proc/loadavg: 1.00 1.03 1.25 2/107 22176
/proc/meminfo: memFree=1310216/2059040 swapFree=4136716/4192956
[pid=22149] ppid=22147 vsize=523784 CPUtime=1001.95
/proc/22149/stat : 22149 (pbscip.linux.x8) R 22147 22149 21622 0 -1 4202496 129955 0 0 0 98162 2033 0 0 25 0 1 0 16272108 536354816 127724 1992294400 4194304 7136930 140735239676912 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22149/statm: 130946 127724 396 719 0 130225 0
Current children cumulated CPU time (s) 1001.95
Current children cumulated vsize (KiB) 523784
[startup+1062.3 s]
/proc/loadavg: 1.00 1.03 1.23 2/107 22178
/proc/meminfo: memFree=1295460/2059040 swapFree=4136716/4192956
[pid=22149] ppid=22147 vsize=538980 CPUtime=1061.94
/proc/22149/stat : 22149 (pbscip.linux.x8) R 22147 22149 21622 0 -1 4202496 133617 0 0 0 104092 2102 0 0 25 0 1 0 16272108 551915520 131386 1992294400 4194304 7136930 140735239676912 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22149/statm: 134745 131386 396 719 0 134024 0
Current children cumulated CPU time (s) 1061.94
Current children cumulated vsize (KiB) 538980
[startup+1122.3 s]
/proc/loadavg: 1.00 1.02 1.21 2/107 22180
/proc/meminfo: memFree=1284300/2059040 swapFree=4136716/4192956
[pid=22149] ppid=22147 vsize=550612 CPUtime=1121.91
/proc/22149/stat : 22149 (pbscip.linux.x8) R 22147 22149 21622 0 -1 4202496 136384 0 0 0 110027 2164 0 0 25 0 1 0 16272108 563826688 134153 1992294400 4194304 7136930 140735239676912 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22149/statm: 137653 134153 396 719 0 136932 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 550612
[startup+1182.3 s]
/proc/loadavg: 1.00 1.01 1.20 2/107 22182
/proc/meminfo: memFree=1271652/2059040 swapFree=4136716/4192956
[pid=22149] ppid=22147 vsize=563348 CPUtime=1181.89
/proc/22149/stat : 22149 (pbscip.linux.x8) R 22147 22149 21622 0 -1 4202496 139522 0 0 0 115944 2245 0 0 25 0 1 0 16272108 576868352 137291 1992294400 4194304 7136930 140735239676912 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22149/statm: 140837 137291 396 719 0 140116 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 563348
[startup+1242.3 s]
/proc/loadavg: 1.00 1.01 1.18 2/107 22184
/proc/meminfo: memFree=1250448/2059040 swapFree=4136716/4192956
[pid=22149] ppid=22147 vsize=584136 CPUtime=1241.88
/proc/22149/stat : 22149 (pbscip.linux.x8) R 22147 22149 21622 0 -1 4202496 144777 0 0 0 121861 2327 0 0 25 0 1 0 16272108 598155264 142546 1992294400 4194304 7136930 140735239676912 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22149/statm: 146034 142546 396 719 0 145313 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 584136
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.17 2/107 22184
/proc/meminfo: memFree=1238048/2059040 swapFree=4136716/4192956
[pid=22149] ppid=22147 vsize=596632 CPUtime=1301.86
/proc/22149/stat : 22149 (pbscip.linux.x8) R 22147 22149 21622 0 -1 4202496 147847 0 0 0 127781 2405 0 0 25 0 1 0 16272108 610951168 145616 1992294400 4194304 7136930 140735239676912 18446744073709551615 4210566 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22149/statm: 149158 145616 396 719 0 148437 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 596632
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.16 2/107 22186
/proc/meminfo: memFree=1219324/2059040 swapFree=4136716/4192956
[pid=22149] ppid=22147 vsize=616224 CPUtime=1361.84
/proc/22149/stat : 22149 (pbscip.linux.x8) R 22147 22149 21622 0 -1 4202496 152539 0 0 0 133707 2477 0 0 25 0 1 0 16272108 631013376 150308 1992294400 4194304 7136930 140735239676912 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22149/statm: 154056 150308 396 719 0 153335 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 616224
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.14 2/107 22188
/proc/meminfo: memFree=1194896/2059040 swapFree=4136716/4192956
[pid=22149] ppid=22147 vsize=641176 CPUtime=1421.82
/proc/22149/stat : 22149 (pbscip.linux.x8) R 22147 22149 21622 0 -1 4202496 158613 0 0 0 139637 2545 0 0 25 0 1 0 16272108 656564224 156382 1992294400 4194304 7136930 140735239676912 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22149/statm: 160294 156382 396 719 0 159573 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 641176
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.13 2/107 22190
/proc/meminfo: memFree=1182124/2059040 swapFree=4136716/4192956
[pid=22149] ppid=22147 vsize=655680 CPUtime=1481.8
/proc/22149/stat : 22149 (pbscip.linux.x8) R 22147 22149 21622 0 -1 4202496 162144 0 0 0 145565 2615 0 0 25 0 1 0 16272108 671416320 159913 1992294400 4194304 7136930 140735239676912 18446744073709551615 5955584 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22149/statm: 163920 159913 396 719 0 163199 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 655680
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.12 2/107 22192
/proc/meminfo: memFree=1169600/2059040 swapFree=4136716/4192956
[pid=22149] ppid=22147 vsize=667236 CPUtime=1541.78
/proc/22149/stat : 22149 (pbscip.linux.x8) R 22147 22149 21622 0 -1 4202496 164903 0 0 0 151502 2676 0 0 25 0 1 0 16272108 683249664 162672 1992294400 4194304 7136930 140735239676912 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22149/statm: 166809 162672 396 719 0 166088 0
Current children cumulated CPU time (s) 1541.78
Current children cumulated vsize (KiB) 667236
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.11 2/107 22192
/proc/meminfo: memFree=1156208/2059040 swapFree=4136716/4192956
[pid=22149] ppid=22147 vsize=682912 CPUtime=1601.75
/proc/22149/stat : 22149 (pbscip.linux.x8) R 22147 22149 21622 0 -1 4202496 168637 0 0 0 157440 2735 0 0 25 0 1 0 16272108 699301888 166406 1992294400 4194304 7136930 140735239676912 18446744073709551615 6166190 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22149/statm: 170728 166406 396 719 0 170007 0
Current children cumulated CPU time (s) 1601.75
Current children cumulated vsize (KiB) 682912
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.10 2/107 22194
/proc/meminfo: memFree=1145172/2059040 swapFree=4136716/4192956
[pid=22149] ppid=22147 vsize=693184 CPUtime=1661.73
/proc/22149/stat : 22149 (pbscip.linux.x8) R 22147 22149 21622 0 -1 4202496 171013 0 0 0 163382 2791 0 0 25 0 1 0 16272108 709820416 168782 1992294400 4194304 7136930 140735239676912 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22149/statm: 173296 168782 396 719 0 172575 0
Current children cumulated CPU time (s) 1661.73
Current children cumulated vsize (KiB) 693184
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.09 2/107 22196
/proc/meminfo: memFree=1137608/2059040 swapFree=4136716/4192956
[pid=22149] ppid=22147 vsize=701948 CPUtime=1721.72
/proc/22149/stat : 22149 (pbscip.linux.x8) R 22147 22149 21622 0 -1 4202496 172985 0 0 0 169331 2841 0 0 25 0 1 0 16272108 718794752 170754 1992294400 4194304 7136930 140735239676912 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22149/statm: 175487 170754 396 719 0 174766 0
Current children cumulated CPU time (s) 1721.72
Current children cumulated vsize (KiB) 701948
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.08 2/107 22198
/proc/meminfo: memFree=1127564/2059040 swapFree=4136716/4192956
[pid=22149] ppid=22147 vsize=710968 CPUtime=1781.69
/proc/22149/stat : 22149 (pbscip.linux.x8) R 22147 22149 21622 0 -1 4202496 175323 0 0 0 175262 2907 0 0 25 0 1 0 16272108 728031232 173092 1992294400 4194304 7136930 140735239676912 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22149/statm: 177742 173092 396 719 0 177021 0
Current children cumulated CPU time (s) 1781.69
Current children cumulated vsize (KiB) 710968
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.08 2/107 22198
/proc/meminfo: memFree=1125456/2059040 swapFree=4136716/4192956
[pid=22149] ppid=22147 vsize=713284 CPUtime=1800
/proc/22149/stat : 22149 (pbscip.linux.x8) R 22147 22149 21622 0 -1 4202496 175850 0 0 0 177073 2927 0 0 25 0 1 0 16272108 730402816 173619 1992294400 4194304 7136930 140735239676912 18446744073709551615 5955609 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22149/statm: 178321 173619 396 719 0 177600 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 713284
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.08 2/107 22198
/proc/meminfo: memFree=1125456/2059040 swapFree=4136716/4192956
[pid=22149] ppid=22147 vsize=713284 CPUtime=1800.79
/proc/22149/stat : 22149 (pbscip.linux.x8) R 22147 22149 21622 0 -1 4202496 175856 0 0 0 177152 2927 0 0 25 0 1 0 16272108 730402816 173625 1992294400 4194304 7136930 140735239676912 18446744073709551615 6165594 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22149/statm: 178321 173625 402 719 0 177600 0
Current children cumulated CPU time (s) 1800.79
Current children cumulated vsize (KiB) 713284
[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.08 2/108 22199
/proc/meminfo: memFree=1125324/2059040 swapFree=4136716/4192956
[pid=22149] ppid=22147 vsize=713284 CPUtime=1801.59
/proc/22149/stat : 22149 (pbscip.linux.x8) R 22147 22149 21622 0 -1 4202496 175856 0 0 0 177232 2927 0 0 25 0 1 0 16272108 730402816 173625 1992294400 4194304 7136930 140735239676912 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22149/statm: 178321 173625 402 719 0 177600 0
Current children cumulated CPU time (s) 1801.59
Current children cumulated vsize (KiB) 713284
[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.08 2/108 22199
/proc/meminfo: memFree=1125324/2059040 swapFree=4136716/4192956
[pid=22149] ppid=22147 vsize=98952 CPUtime=1801.99
/proc/22149/stat : 22149 (pbscip.linux.x8) R 22147 22149 21622 0 -1 4202496 175856 0 0 0 177265 2934 0 0 25 0 1 0 16272108 101326848 23518 1992294400 4194304 7136930 140735239676912 18446744073709551615 6360983 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22149/statm: 24482 23518 402 719 0 23761 0
Current children cumulated CPU time (s) 1801.99
Current children cumulated vsize (KiB) 98952
Child status: 0
Real time (s): 1802.62
CPU time (s): 1802.01
CPU user time (s): 1772.66
CPU system time (s): 29.3555
CPU usage (%): 99.9666
Max. virtual memory (cumulated for all children) (KiB): 713284
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1772.66
system time used= 29.3555
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 175863
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= 1
involuntary context switches= 5906
runsolver used 2.83557 second user time and 8.65968 second system time
The end