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-2663738-1276652110.opb>
0.00/0.03 c original problem has 3138 variables (3138 bin, 0 int, 0 impl, 0 cont) and 3138 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.00/0.03 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.00/0.07 c presolving:
0.29/0.38 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 100 upgd conss, 197134 impls, 0 clqs
0.59/0.64 c (0.4s) probing: 101/3138 (3.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.59/0.64 c (0.4s) probing aborted: 100/100 successive totally useless probings
0.59/0.64 c presolving (2 rounds):
0.59/0.64 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.59/0.64 c 197134 implications, 0 cliques
0.59/0.64 c presolved problem has 3138 variables (3138 bin, 0 int, 0 impl, 0 cont) and 3138 constraints
0.59/0.64 c 3038 constraints of type <and>
0.59/0.64 c 100 constraints of type <logicor>
0.59/0.64 c transformed objective value is always integral (scale: 1)
0.59/0.64 c Presolving Time: 0.38
0.59/0.64 c - non default parameters ----------------------------------------------------------------------
0.59/0.64 c # SCIP version 1.2.1.2
0.59/0.64 c
0.59/0.64 c # frequency for displaying node information lines
0.59/0.64 c # [type: int, range: [-1,2147483647], default: 100]
0.59/0.64 c display/freq = 10000
0.59/0.64 c
0.59/0.64 c # maximal time in seconds to run
0.59/0.64 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.59/0.64 c limits/time = 1799.98
0.59/0.64 c
0.59/0.64 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.59/0.64 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.59/0.64 c limits/memory = 1620
0.59/0.64 c
0.59/0.64 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.59/0.64 c # [type: int, range: [-1,2147483647], default: 1]
0.59/0.64 c lp/solvefreq = -1
0.59/0.64 c
0.59/0.64 c # should presolving try to simplify inequalities
0.59/0.64 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.64 c constraints/linear/simplifyinequalities = TRUE
0.59/0.64 c
0.59/0.64 c # should presolving try to simplify knapsacks
0.59/0.64 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.64 c constraints/knapsack/simplifyinequalities = TRUE
0.59/0.64 c
0.59/0.64 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.59/0.64 c # [type: int, range: [-1,2147483647], default: -1]
0.59/0.64 c heuristics/undercover/freq = 0
0.59/0.64 c
0.59/0.64 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.59/0.64 c # [type: int, range: [-1,2147483647], default: -1]
0.59/0.64 c separating/rapidlearning/freq = 0
0.59/0.64 c
0.59/0.64 c -----------------------------------------------------------------------------------------------
0.59/0.64 c start solving
0.59/0.64 c
0.59/0.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.59/0.65 c 0.4s| 1 | 2 | 0 | - | 13M| 0 | - |3138 |3138 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
5.40/5.49 o 9
5.40/5.49 c * 5.1s| 3631 | 3532 | 0 | 0.0 | 21M| 108 | - |3138 |3140 | 0 | 0 | 0 | 2 | 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
16.38/16.48 c 16.0s| 10000 | 9880 | 0 | 0.0 | 34M| 108 | - |3138 |3145 | 0 | 0 | 0 | 121 | 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
30.38/30.45 c 29.7s| 20000 | 19880 | 0 | 0.0 | 54M| 108 | - |3138 |3140 | 0 | 0 | 0 | 121 | 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
42.97/43.03 c 42.1s| 30000 | 29877 | 0 | 0.0 | 73M| 108 | - |3138 |3149 | 0 | 0 | 0 | 141 | 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
47.07/47.15 o 8
47.07/47.15 c *46.1s| 33690 | 33501 | 0 | 0.0 | 81M| 108 | - |3138 |3163 | 0 | 0 | 0 | 163 | 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
53.78/53.80 c 52.6s| 40000 | 39803 | 0 | 0.0 | 93M| 108 | - |3138 |3162 | 0 | 0 | 0 | 187 | 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
63.87/63.93 c 62.5s| 50000 | 49792 | 0 | 0.0 | 112M| 108 | - |3138 |3179 | 0 | 0 | 0 | 239 | 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
73.27/73.36 c 71.7s| 60000 | 59783 | 0 | 0.0 | 131M| 108 | - |3138 |3193 | 0 | 0 | 0 | 289 | 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
82.37/82.40 o 7
82.37/82.40 c *80.5s| 69774 | 69408 | 0 | 0.0 | 150M| 108 | - |3138 |3277 | 0 | 0 | 0 | 419 | 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
82.56/82.61 c 80.7s| 70000 | 69632 | 0 | 0.0 | 150M| 108 | - |3138 |3286 | 0 | 0 | 0 | 429 | 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
90.86/90.93 o 6
90.86/90.93 c *88.8s| 77971 | 76209 | 0 | 0.0 | 167M| 108 | - |3138 |5841 | 0 | 0 | 0 |4325 | 0 | 2.000000e+00 | 6.000000e+00 | 200.00%
94.26/94.30 c 92.2s| 80000 | 77866 | 0 | 0.0 | 170M| 117 | - |3138 |4354 | 0 | 0 | 0 |6354 | 0 | 2.000000e+00 | 6.000000e+00 | 200.00%
109.66/109.75 c 107s| 90000 | 87585 | 0 | 0.0 | 193M| 117 | - |3138 |3992 | 0 | 0 | 0 |7703 | 0 | 2.000000e+00 | 6.000000e+00 | 200.00%
124.16/124.24 c 122s|100000 | 97345 | 0 | 0.0 | 215M| 117 | - |3138 |4216 | 0 | 0 | 0 |8863 | 0 | 2.000000e+00 | 6.000000e+00 | 200.00%
137.85/137.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
137.85/137.95 c 135s|110000 |107138 | 0 | 0.0 | 237M| 117 | - |3138 |4606 | 0 | 0 | 0 |9921 | 0 | 2.000000e+00 | 6.000000e+00 | 200.00%
151.25/151.33 c 148s|120000 |116939 | 0 | 0.0 | 259M| 117 | - |3138 |4911 | 0 | 0 | 0 | 10k| 0 | 2.000000e+00 | 6.000000e+00 | 200.00%
164.24/164.31 c 161s|130000 |126734 | 0 | 0.0 | 281M| 117 | - |3138 |5210 | 0 | 0 | 0 | 11k| 0 | 2.000000e+00 | 6.000000e+00 | 200.00%
177.54/177.65 c 174s|140000 |136395 | 0 | 0.0 | 304M| 117 | - |3138 |5853 | 0 | 0 | 0 | 13k| 0 | 2.000000e+00 | 6.000000e+00 | 200.00%
191.24/191.34 c 188s|150000 |145920 | 0 | 0.0 | 326M| 117 | - |3138 |6759 | 0 | 0 | 0 | 16k| 0 | 2.000000e+00 | 6.000000e+00 | 200.00%
205.23/205.38 c 201s|160000 |155282 | 0 | 0.0 | 350M| 117 | - |3138 |8148 | 0 | 0 | 0 | 19k| 0 | 2.000000e+00 | 6.000000e+00 | 200.00%
220.33/220.44 c 216s|170000 |164253 | 0 | 0.0 | 374M| 117 | - |3138 | 10k| 0 | 0 | 0 | 24k| 0 | 2.000000e+00 | 6.000000e+00 | 200.00%
236.92/237.03 c 232s|180000 |172779 | 0 | 0.0 | 399M| 117 | - |3138 | 13k| 0 | 0 | 0 | 31k| 0 | 2.000000e+00 | 6.000000e+00 | 200.00%
255.92/256.00 c 251s|190000 |180744 | 0 | 0.0 | 426M| 117 | - |3138 | 18k| 0 | 0 | 0 | 40k| 0 | 2.000000e+00 | 6.000000e+00 | 200.00%
281.71/281.81 c 277s|200000 |186971 | 0 | 0.0 | 460M| 117 | - |3138 | 29k| 0 | 0 | 0 | 58k| 0 | 2.000000e+00 | 6.000000e+00 | 200.00%
298.71/298.89 c 293s|210000 |196288 | 0 | 0.0 | 463M| 117 | - |3138 |3804 | 0 | 0 | 0 | 62k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
313.20/313.38 c 308s|220000 |205990 | 0 | 0.0 | 485M| 117 | - |3138 |3938 | 0 | 0 | 0 | 63k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
327.61/327.76 c 322s|230000 |215559 | 0 | 0.0 | 507M| 117 | - |3138 |4433 | 0 | 0 | 0 | 65k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
341.60/341.76 c 336s|240000 |225103 | 0 | 0.0 | 529M| 117 | - |3138 |4680 | 0 | 0 | 0 | 67k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
355.59/355.74 c 349s|250000 |234660 | 0 | 0.0 | 551M| 117 | - |3138 |4625 | 0 | 0 | 0 | 69k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
369.69/369.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
369.69/369.83 c 363s|260000 |244218 | 0 | 0.0 | 572M| 117 | - |3138 |4770 | 0 | 0 | 0 | 71k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
383.69/383.85 c 377s|270000 |253823 | 0 | 0.0 | 594M| 117 | - |3138 |4826 | 0 | 0 | 0 | 73k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
397.58/397.75 c 391s|280000 |263476 | 0 | 0.0 | 616M| 117 | - |3138 |4781 | 0 | 0 | 0 | 75k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
411.28/411.42 c 404s|290000 |273056 | 0 | 0.0 | 638M| 117 | - |3138 |5058 | 0 | 0 | 0 | 77k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
425.18/425.38 c 418s|300000 |282645 | 0 | 0.0 | 660M| 117 | - |3138 |5176 | 0 | 0 | 0 | 78k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
438.98/439.14 c 431s|310000 |292199 | 0 | 0.0 | 683M| 117 | - |3138 |5361 | 0 | 0 | 0 | 80k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
452.77/452.94 c 445s|320000 |301705 | 0 | 0.0 | 705M| 117 | - |3138 |5932 | 0 | 0 | 0 | 83k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
466.46/466.61 c 458s|330000 |311191 | 0 | 0.0 | 728M| 117 | - |3138 |6046 | 0 | 0 | 0 | 85k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
479.86/480.09 c 472s|340000 |320670 | 0 | 0.0 | 751M| 117 | - |3138 |6088 | 0 | 0 | 0 | 87k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
493.66/493.89 c 485s|350000 |330139 | 0 | 0.0 | 773M| 117 | - |3138 |6089 | 0 | 0 | 0 | 90k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
507.45/507.62 c 499s|360000 |339663 | 0 | 0.0 | 796M| 117 | - |3138 |6304 | 0 | 0 | 0 | 92k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
521.05/521.26 c 512s|370000 |349150 | 0 | 0.0 | 818M| 117 | - |3138 |6603 | 0 | 0 | 0 | 94k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
534.75/534.91 c 525s|380000 |358595 | 0 | 0.0 | 841M| 117 | - |3138 |6480 | 0 | 0 | 0 | 97k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
548.44/548.66 c 539s|390000 |368059 | 0 | 0.0 | 864M| 117 | - |3138 |6474 | 0 | 0 | 0 | 99k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
562.14/562.38 c 552s|400000 |377477 | 0 | 0.0 | 886M| 117 | - |3138 |6911 | 0 | 0 | 0 | 101k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
575.64/575.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
575.64/575.88 c 566s|410000 |386999 | 0 | 0.0 | 909M| 117 | - |3138 |6970 | 0 | 0 | 0 | 104k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
589.23/589.43 c 579s|420000 |396403 | 0 | 0.0 | 931M| 117 | - |3138 |7349 | 0 | 0 | 0 | 106k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
602.64/602.89 c 592s|430000 |405860 | 0 | 0.0 | 954M| 117 | - |3138 |7694 | 0 | 0 | 0 | 109k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
616.03/616.29 c 605s|440000 |415320 | 0 | 0.0 | 977M| 117 | - |3138 |7573 | 0 | 0 | 0 | 111k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
629.42/629.64 c 619s|450000 |424722 | 0 | 0.0 |1000M| 117 | - |3138 |7941 | 0 | 0 | 0 | 114k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
643.03/643.28 c 632s|460000 |434137 | 0 | 0.0 |1023M| 117 | - |3138 |8062 | 0 | 0 | 0 | 116k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
656.62/656.88 c 645s|470000 |443516 | 0 | 0.0 |1046M| 117 | - |3138 |8097 | 0 | 0 | 0 | 119k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
670.21/670.41 c 659s|480000 |452952 | 0 | 0.0 |1069M| 117 | - |3138 |8513 | 0 | 0 | 0 | 122k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
683.81/684.09 c 672s|490000 |462394 | 0 | 0.0 |1091M| 117 | - |3138 |8262 | 0 | 0 | 0 | 124k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
697.01/697.24 c 685s|500000 |471862 | 0 | 0.0 |1113M| 117 | - |3138 |8274 | 0 | 0 | 0 | 126k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
710.41/710.69 c 698s|510000 |481272 | 0 | 0.0 |1137M| 117 | - |3138 |8758 | 0 | 0 | 0 | 129k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
723.80/724.03 c 711s|520000 |490652 | 0 | 0.0 |1159M| 117 | - |3138 |8910 | 0 | 0 | 0 | 131k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
737.09/737.38 c 724s|530000 |499970 | 0 | 0.0 |1183M| 117 | - |3138 |9374 | 0 | 0 | 0 | 134k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
750.40/750.65 c 737s|540000 |509372 | 0 | 0.0 |1205M| 117 | - |3138 |9012 | 0 | 0 | 0 | 137k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
763.89/764.11 c 751s|550000 |518702 | 0 | 0.0 |1229M| 117 | - |3138 |9440 | 0 | 0 | 0 | 140k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
777.08/777.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
777.08/777.30 c 764s|560000 |528164 | 0 | 0.0 |1251M| 117 | - |3138 |9303 | 0 | 0 | 0 | 142k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
790.08/790.31 c 776s|570000 |537620 | 0 | 0.0 |1274M| 117 | - |3138 |9564 | 0 | 0 | 0 | 145k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
803.18/803.42 c 789s|580000 |547014 | 0 | 0.0 |1297M| 117 | - |3138 |9791 | 0 | 0 | 0 | 147k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
816.18/816.47 c 802s|590000 |556434 | 0 | 0.0 |1319M| 117 | - |3138 | 10k| 0 | 0 | 0 | 150k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
829.48/829.74 c 815s|600000 |565845 | 0 | 0.0 |1342M| 117 | - |3138 | 10k| 0 | 0 | 0 | 153k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
839.08/839.34 c (node 607005) switching to memory saving mode (mem: 1296.0M/1620.0M)
860.67/860.93 c 846s|610000 |570630 | 0 | 0.0 |1364M| 117 | - |3138 | 23k| 0 | 0 | 0 | 174k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
942.55/942.86 c 927s|620000 |567047 | 0 | 0.0 |1370M| 117 | - |3138 | 39k| 0 | 0 | 0 | 229k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
1037.62/1037.96 c 1022s|630000 |563905 | 0 | 0.0 |1365M| 117 | - |3138 | 44k| 0 | 0 | 0 | 281k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
1122.50/1122.84 c 1106s|640000 |562015 | 0 | 0.0 |1366M| 117 | - |3138 | 49k| 0 | 0 | 0 | 326k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
1218.88/1219.27 c 1202s|650000 |559702 | 0 | 0.0 |1364M| 117 | - |3138 | 56k| 0 | 0 | 0 | 371k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
1315.55/1315.98 c 1299s|660000 |558105 | 0 | 0.0 |1361M| 117 | - |3138 | 55k| 0 | 0 | 0 | 415k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
1413.93/1414.32 c 1396s|670000 |556114 | 0 | 0.0 |1359M| 117 | - |3138 | 60k| 0 | 0 | 0 | 457k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
1504.11/1504.59 c 1486s|680000 |555152 | 0 | 0.0 |1359M| 117 | - |3138 | 60k| 0 | 0 | 0 | 497k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
1621.90/1622.63 c 1603s|690000 |552457 | 0 | 0.0 |1348M| 117 | - |3138 | 57k| 0 | 0 | 0 | 541k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
1705.88/1706.68 c 1687s|700000 |551879 | 0 | 0.0 |1356M| 117 | - |3138 | 67k| 0 | 0 | 0 | 578k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
1800.07/1800.80 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.07/1800.81 c
1800.07/1800.81 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.81 c Solving Time (sec) : 1780.77
1800.07/1800.81 c Solving Nodes : 709517
1800.07/1800.81 c Primal Bound : +6.00000000000000e+00 (4 solutions)
1800.07/1800.81 c Dual Bound : +3.00000000000000e+00
1800.07/1800.81 c Gap : 100.00 %
1800.07/1800.81 s SATISFIABLE
1800.07/1800.81 v -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75
1800.07/1800.81 v -x74 -x73 x72 -x71 -x70 -x69 x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 x57 -x56 x55 -x54 -x53 -x52 -x51 -x50
1800.07/1800.81 v -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25
1800.07/1800.81 v -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 x14 -x13 -x12 -x11 -x10 -x9 x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1800.07/1800.81 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.81 c Solving Time : 1780.77
1800.07/1800.81 c Original Problem :
1800.07/1800.81 c Problem name : HOME/instance-2663738-1276652110.opb
1800.07/1800.81 c Variables : 3138 (3138 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.81 c Constraints : 3138 initial, 3138 maximal
1800.07/1800.81 c Presolved Problem :
1800.07/1800.81 c Problem name : t_HOME/instance-2663738-1276652110.opb
1800.07/1800.81 c Variables : 3138 (3138 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.81 c Constraints : 3138 initial, 78637 maximal
1800.07/1800.81 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.07/1800.81 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.81 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.81 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.81 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.81 c implics : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.81 c probing : 0.07 0 0 0 0 0 0 0 0
1800.07/1800.81 c and : 0.28 0 0 0 0 0 0 0 0
1800.07/1800.81 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.81 c root node : - 0 - - 0 - - - -
1800.07/1800.81 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.07/1800.81 c integral : 0 0 0 0 0 0 0 0 0 0
1800.07/1800.81 c and : 3038 0 1759025 0 670058 5576 61832060 0 0 0
1800.07/1800.81 c logicor : 100+ 0 752600 0 670062 83577 198658 0 0 0
1800.07/1800.81 c countsols : 0 0 0 0 670062 0 0 0 0 0
1800.07/1800.81 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.07/1800.81 c integral : 0.00 0.00 0.00 0.00 0.00
1800.07/1800.81 c and : 321.59 0.00 307.80 0.00 13.79
1800.07/1800.81 c logicor : 467.93 0.00 380.23 0.00 87.70
1800.07/1800.81 c countsols : 0.43 0.00 0.00 0.00 0.43
1800.07/1800.81 c Propagators : Time Calls Cutoffs DomReds
1800.07/1800.81 c vbounds : 1.21 2 0 0
1800.07/1800.81 c rootredcost : 1.05 0 0 0
1800.07/1800.81 c pseudoobj : 59.01 1768369 9537 1303796
1800.07/1800.81 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.07/1800.81 c propagation : 63.17 98690 98690 1822415 101.3 1149 84.7 -
1800.07/1800.81 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.81 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.81 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.81 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.07/1800.81 c applied globally : - - - 615234 73.2 - - -
1800.07/1800.81 c applied locally : - - - 0 0.0 - - -
1800.07/1800.81 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.07/1800.81 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.07/1800.81 c redcost : 0.00 0 0 0 0 0
1800.07/1800.81 c impliedbounds : 0.00 0 0 0 0 0
1800.07/1800.81 c intobj : 0.00 0 0 0 0 0
1800.07/1800.81 c cgmip : 0.00 0 0 0 0 0
1800.07/1800.81 c gomory : 0.00 0 0 0 0 0
1800.07/1800.81 c strongcg : 0.00 0 0 0 0 0
1800.07/1800.81 c cmir : 0.00 0 0 0 0 0
1800.07/1800.81 c flowcover : 0.00 0 0 0 0 0
1800.07/1800.81 c clique : 0.00 0 0 0 0 0
1800.07/1800.81 c zerohalf : 0.00 0 0 0 0 0
1800.07/1800.81 c mcf : 0.00 0 0 0 0 0
1800.07/1800.81 c rapidlearning : 0.00 0 0 0 0 0
1800.07/1800.81 c Pricers : Time Calls Vars
1800.07/1800.81 c problem variables: 0.00 0 0
1800.07/1800.81 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.07/1800.81 c relpscost : 0.00 0 0 0 0 0 0
1800.07/1800.81 c pscost : 0.00 0 0 0 0 0 0
1800.07/1800.81 c inference : 303.86 670058 0 0 0 0 1340116
1800.07/1800.81 c mostinf : 0.00 0 0 0 0 0 0
1800.07/1800.81 c leastinf : 0.00 0 0 0 0 0 0
1800.07/1800.81 c fullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.81 c allfullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.81 c random : 0.00 0 0 0 0 0 0
1800.07/1800.81 c Primal Heuristics : Time Calls Found
1800.07/1800.81 c LP solutions : 0.00 - 0
1800.07/1800.81 c pseudo solutions : 0.03 - 4
1800.07/1800.81 c oneopt : 0.86 0 0
1800.07/1800.81 c trivial : 0.02 2 0
1800.07/1800.81 c simplerounding : 0.00 0 0
1800.07/1800.81 c zirounding : 0.00 0 0
1800.07/1800.81 c rounding : 0.00 0 0
1800.07/1800.81 c shifting : 0.00 0 0
1800.07/1800.81 c intshifting : 0.00 0 0
1800.07/1800.81 c twoopt : 0.00 0 0
1800.07/1800.81 c fixandinfer : 0.00 0 0
1800.07/1800.81 c feaspump : 0.00 0 0
1800.07/1800.81 c coefdiving : 0.00 0 0
1800.07/1800.81 c pscostdiving : 0.00 0 0
1800.07/1800.81 c fracdiving : 0.00 0 0
1800.07/1800.81 c veclendiving : 0.00 0 0
1800.07/1800.81 c intdiving : 0.00 0 0
1800.07/1800.81 c actconsdiving : 0.00 0 0
1800.07/1800.81 c objpscostdiving : 0.00 0 0
1800.07/1800.81 c rootsoldiving : 0.00 0 0
1800.07/1800.81 c linesearchdiving : 0.00 0 0
1800.07/1800.81 c guideddiving : 0.00 0 0
1800.07/1800.81 c octane : 0.00 0 0
1800.07/1800.81 c rens : 0.00 0 0
1800.07/1800.81 c rins : 0.00 0 0
1800.07/1800.81 c localbranching : 0.00 0 0
1800.07/1800.81 c mutation : 0.00 0 0
1800.07/1800.81 c crossover : 0.00 0 0
1800.07/1800.81 c dins : 0.00 0 0
1800.07/1800.81 c undercover : 0.00 0 0
1800.07/1800.81 c nlp : 0.41 0 0
1800.07/1800.81 c trysol : 0.44 0 0
1800.07/1800.81 c LP : Time Calls Iterations Iter/call Iter/sec
1800.07/1800.81 c primal LP : 0.00 0 0 0.00 -
1800.07/1800.81 c dual LP : 0.00 0 0 0.00 -
1800.07/1800.81 c lex dual LP : 0.00 0 0 0.00 -
1800.07/1800.81 c barrier LP : 0.00 0 0 0.00 -
1800.07/1800.81 c diving/probing LP: 0.00 0 0 0.00 -
1800.07/1800.81 c strong branching : 0.00 0 0 0.00 -
1800.07/1800.81 c (at root node) : - 0 0 0.00 -
1800.07/1800.81 c conflict analysis: 0.00 0 0 0.00 -
1800.07/1800.81 c B&B Tree :
1800.07/1800.81 c number of runs : 1
1800.07/1800.81 c nodes : 709517
1800.07/1800.81 c nodes (total) : 709517
1800.07/1800.81 c nodes left : 550948
1800.07/1800.81 c max depth : 117
1800.07/1800.81 c max depth (total): 117
1800.07/1800.81 c backtracks : 76319 (10.8%)
1800.07/1800.81 c delayed cutoffs : 78683
1800.07/1800.81 c repropagations : 104257 (26177376 domain reductions, 59235 cutoffs)
1800.07/1800.81 c avg switch length: 8.11
1800.07/1800.81 c switching time : 497.87
1800.07/1800.81 c Solution :
1800.07/1800.81 c Solutions found : 4 (4 improvements)
1800.07/1800.81 c First Solution : +9.00000000000000e+00 (in run 1, after 3631 nodes, 5.13 seconds, depth 108, found by <relaxation>)
1800.07/1800.81 c Primal Bound : +6.00000000000000e+00 (in run 1, after 77971 nodes, 88.82 seconds, depth 98, found by <relaxation>)
1800.07/1800.81 c Dual Bound : +3.00000000000000e+00
1800.07/1800.81 c Gap : 100.00 %
1800.07/1800.81 c Root Dual Bound : +0.00000000000000e+00
1800.07/1800.81 c Root Iterations : 0
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2663738-1276652110/watcher-2663738-1276652110 -o /tmp/evaluation-result-2663738-1276652110/solver-2663738-1276652110 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663738-1276652110.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.98 1.97 1.66 3/106 7712
/proc/meminfo: memFree=1792532/2059040 swapFree=4140256/4192956
[pid=7712] ppid=7710 vsize=6584 CPUtime=0
/proc/7712/stat : 7712 (pbscip.linux.x8) R 7710 7712 6816 0 -1 4202496 997 0 0 0 0 0 0 0 24 0 1 0 38867326 6742016 919 1992294400 4194304 7136930 140733470409408 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/7712/statm: 1646 929 254 719 0 925 0
[startup+0.0140231 s]
/proc/loadavg: 1.98 1.97 1.66 3/106 7712
/proc/meminfo: memFree=1792532/2059040 swapFree=4140256/4192956
[pid=7712] ppid=7710 vsize=8492 CPUtime=0
/proc/7712/stat : 7712 (pbscip.linux.x8) R 7710 7712 6816 0 -1 4202496 1595 0 0 0 0 0 0 0 24 0 1 0 38867326 8695808 1517 1992294400 4194304 7136930 140733470409408 18446744073709551615 6328631 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/7712/statm: 2123 1517 272 719 0 1402 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8492
[startup+0.101008 s]
/proc/loadavg: 1.98 1.97 1.66 3/106 7712
/proc/meminfo: memFree=1792532/2059040 swapFree=4140256/4192956
[pid=7712] ppid=7710 vsize=21724 CPUtime=0.09
/proc/7712/stat : 7712 (pbscip.linux.x8) R 7710 7712 6816 0 -1 4202496 5028 0 0 0 7 2 0 0 24 0 1 0 38867326 22245376 4596 1992294400 4194304 7136930 140733470409408 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7712/statm: 5431 4596 328 719 0 4710 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21724
[startup+0.301027 s]
/proc/loadavg: 1.98 1.97 1.66 3/106 7712
/proc/meminfo: memFree=1792532/2059040 swapFree=4140256/4192956
[pid=7712] ppid=7710 vsize=30204 CPUtime=0.29
/proc/7712/stat : 7712 (pbscip.linux.x8) R 7710 7712 6816 0 -1 4202496 7428 0 0 0 22 7 0 0 25 0 1 0 38867326 30928896 6739 1992294400 4194304 7136930 140733470409408 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7712/statm: 7551 6739 328 719 0 6830 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 30204
[startup+0.701065 s]
/proc/loadavg: 1.98 1.97 1.66 3/106 7712
/proc/meminfo: memFree=1792532/2059040 swapFree=4140256/4192956
[pid=7712] ppid=7710 vsize=32428 CPUtime=0.69
/proc/7712/stat : 7712 (pbscip.linux.x8) R 7710 7712 6816 0 -1 4202496 8833 0 0 0 47 22 0 0 25 0 1 0 38867326 33206272 7373 1992294400 4194304 7136930 140733470409408 18446744073709551615 4780843 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7712/statm: 8107 7373 381 719 0 7386 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 32428
[startup+1.50114 s]
/proc/loadavg: 1.98 1.97 1.66 2/107 7713
/proc/meminfo: memFree=1764004/2059040 swapFree=4140256/4192956
[pid=7712] ppid=7710 vsize=33404 CPUtime=1.49
/proc/7712/stat : 7712 (pbscip.linux.x8) R 7710 7712 6816 0 -1 4202496 9053 0 0 0 126 23 0 0 25 0 1 0 38867326 34205696 7593 1992294400 4194304 7136930 140733470409408 18446744073709551615 4407955 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7712/statm: 8351 7593 381 719 0 7630 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 33404
[startup+3.1013 s]
/proc/loadavg: 1.98 1.97 1.66 2/107 7713
/proc/meminfo: memFree=1762268/2059040 swapFree=4140256/4192956
[pid=7712] ppid=7710 vsize=37048 CPUtime=3.09
/proc/7712/stat : 7712 (pbscip.linux.x8) R 7710 7712 6816 0 -1 4202496 9989 0 0 0 283 26 0 0 25 0 1 0 38867326 37937152 8529 1992294400 4194304 7136930 140733470409408 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7712/statm: 9262 8529 386 719 0 8541 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 37048
[startup+6.3016 s]
/proc/loadavg: 1.90 1.96 1.66 2/107 7713
/proc/meminfo: memFree=1753960/2059040 swapFree=4140256/4192956
[pid=7712] ppid=7710 vsize=43764 CPUtime=6.29
/proc/7712/stat : 7712 (pbscip.linux.x8) R 7710 7712 6816 0 -1 4202496 11666 0 0 0 593 36 0 0 25 0 1 0 38867326 44814336 10206 1992294400 4194304 7136930 140733470409408 18446744073709551615 4780826 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7712/statm: 10941 10206 387 719 0 10220 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 43764
[startup+12.7012 s]
/proc/loadavg: 1.83 1.94 1.65 2/107 7713
/proc/meminfo: memFree=1742800/2059040 swapFree=4140256/4192956
[pid=7712] ppid=7710 vsize=54804 CPUtime=12.68
/proc/7712/stat : 7712 (pbscip.linux.x8) R 7710 7712 6816 0 -1 4202496 14439 0 0 0 1225 43 0 0 25 0 1 0 38867326 56119296 12979 1992294400 4194304 7136930 140733470409408 18446744073709551615 5892363 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7712/statm: 13701 12979 387 719 0 12980 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 54804
[startup+25.5004 s]
/proc/loadavg: 1.64 1.89 1.64 2/107 7713
/proc/meminfo: memFree=1723580/2059040 swapFree=4140256/4192956
[pid=7712] ppid=7710 vsize=73280 CPUtime=25.47
/proc/7712/stat : 7712 (pbscip.linux.x8) R 7710 7712 6816 0 -1 4202496 19052 0 0 0 2486 61 0 0 25 0 1 0 38867326 75038720 17592 1992294400 4194304 7136930 140733470409408 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7712/statm: 18320 17592 387 719 0 17599 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 73280
[startup+51.1009 s]
/proc/loadavg: 1.42 1.82 1.62 2/107 7713
/proc/meminfo: memFree=1679436/2059040 swapFree=4140256/4192956
[pid=7712] ppid=7710 vsize=116936 CPUtime=51.07
/proc/7712/stat : 7712 (pbscip.linux.x8) R 7710 7712 6816 0 -1 4202496 30039 0 0 0 4998 109 0 0 25 0 1 0 38867326 119742464 28579 1992294400 4194304 7136930 140733470409408 18446744073709551615 4780830 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7712/statm: 29234 28579 387 719 0 28513 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 116936
[startup+102.308 s]
/proc/loadavg: 1.18 1.69 1.59 2/107 7715
/proc/meminfo: memFree=1575772/2059040 swapFree=4140256/4192956
[pid=7712] ppid=7710 vsize=222388 CPUtime=102.27
/proc/7712/stat : 7712 (pbscip.linux.x8) R 7710 7712 6816 0 -1 4202496 55776 0 0 0 10006 221 0 0 25 0 1 0 38867326 227725312 54316 1992294400 4194304 7136930 140733470409408 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7712/statm: 55597 54316 387 719 0 54876 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 222388
[startup+162.301 s]
/proc/loadavg: 1.06 1.56 1.55 2/107 7717
/proc/meminfo: memFree=1474588/2059040 swapFree=4140256/4192956
[pid=7712] ppid=7710 vsize=323624 CPUtime=162.24
/proc/7712/stat : 7712 (pbscip.linux.x8) R 7710 7712 6816 0 -1 4202496 81017 0 0 0 15904 320 0 0 25 0 1 0 38867326 331390976 79557 1992294400 4194304 7136930 140733470409408 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7712/statm: 80906 79557 387 719 0 80185 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 323624
[startup+222.3 s]
/proc/loadavg: 1.02 1.46 1.51 2/107 7722
/proc/meminfo: memFree=1369808/2059040 swapFree=4140256/4192956
[pid=7712] ppid=7710 vsize=429176 CPUtime=222.22
/proc/7712/stat : 7712 (pbscip.linux.x8) R 7710 7712 6816 0 -1 4202496 107006 0 0 0 21795 427 0 0 25 0 1 0 38867326 439476224 105546 1992294400 4194304 7136930 140733470409408 18446744073709551615 5957428 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7712/statm: 107294 105546 387 719 0 106573 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 429176
[startup+282.301 s]
/proc/loadavg: 1.01 1.37 1.48 2/107 7724
/proc/meminfo: memFree=1274204/2059040 swapFree=4140256/4192956
[pid=7712] ppid=7710 vsize=532168 CPUtime=282.21
/proc/7712/stat : 7712 (pbscip.linux.x8) R 7710 7712 6816 0 -1 4202496 131504 0 0 0 27713 508 0 0 25 0 1 0 38867326 544940032 130044 1992294400 4194304 7136930 140733470409408 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7712/statm: 133042 130044 387 719 0 132321 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 532168
[startup+342.301 s]
/proc/loadavg: 1.00 1.30 1.44 2/107 7724
/proc/meminfo: memFree=1182320/2059040 swapFree=4140256/4192956
[pid=7712] ppid=7710 vsize=627100 CPUtime=342.2
/proc/7712/stat : 7712 (pbscip.linux.x8) R 7710 7712 6816 0 -1 4202496 153844 0 0 0 33618 602 0 0 25 0 1 0 38867326 642150400 152384 1992294400 4194304 7136930 140733470409408 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7712/statm: 156775 152384 387 719 0 156054 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 627100
[startup+402.301 s]
/proc/loadavg: 1.00 1.24 1.41 2/107 7726
/proc/meminfo: memFree=1091428/2059040 swapFree=4140256/4192956
[pid=7712] ppid=7710 vsize=720336 CPUtime=402.18
/proc/7712/stat : 7712 (pbscip.linux.x8) R 7710 7712 6816 0 -1 4202496 176766 0 0 0 39517 701 0 0 25 0 1 0 38867326 737624064 175306 1992294400 4194304 7136930 140733470409408 18446744073709551615 4660843 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7712/statm: 180084 175306 387 719 0 179363 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 720336
[startup+462.3 s]
/proc/loadavg: 1.00 1.20 1.38 2/107 7728
/proc/meminfo: memFree=996320/2059040 swapFree=4140256/4192956
[pid=7712] ppid=7710 vsize=816268 CPUtime=462.16
/proc/7712/stat : 7712 (pbscip.linux.x8) R 7710 7712 6816 0 -1 4202496 200254 0 0 0 45414 802 0 0 25 0 1 0 38867326 835858432 198794 1992294400 4194304 7136930 140733470409408 18446744073709551615 4643170 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7712/statm: 204067 198794 387 719 0 203346 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 816268
[startup+522.301 s]
/proc/loadavg: 1.00 1.16 1.36 2/107 7730
/proc/meminfo: memFree=898112/2059040 swapFree=4140256/4192956
[pid=7712] ppid=7710 vsize=919156 CPUtime=522.15
/proc/7712/stat : 7712 (pbscip.linux.x8) R 7710 7712 6816 0 -1 4202496 225024 0 0 0 51313 902 0 0 25 0 1 0 38867326 941215744 223564 1992294400 4194304 7136930 140733470409408 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7712/statm: 229789 223564 387 719 0 229068 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 919156
[startup+582.301 s]
/proc/loadavg: 1.00 1.13 1.33 2/107 7732
/proc/meminfo: memFree=800772/2059040 swapFree=4140256/4192956
[pid=7712] ppid=7710 vsize=1020856 CPUtime=582.13
/proc/7712/stat : 7712 (pbscip.linux.x8) R 7710 7712 6816 0 -1 4202496 249404 0 0 0 57203 1010 0 0 25 0 1 0 38867326 1045356544 247944 1992294400 4194304 7136930 140733470409408 18446744073709551615 4740375 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7712/statm: 255214 247944 387 719 0 254493 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 1020856
[startup+642.301 s]
/proc/loadavg: 1.00 1.10 1.31 2/107 7732
/proc/meminfo: memFree=697232/2059040 swapFree=4140256/4192956
[pid=7712] ppid=7710 vsize=1126304 CPUtime=642.13
/proc/7712/stat : 7712 (pbscip.linux.x8) R 7710 7712 6816 0 -1 4202496 274801 0 0 0 63098 1115 0 0 25 0 1 0 38867326 1153335296 273341 1992294400 4194304 7136930 140733470409408 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7712/statm: 281576 273341 387 719 0 280855 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 1126304
[startup+702.3 s]
################
# More data... #
################
/proc/7712/stat : 7712 (pbscip.linux.x8) R 7710 7712 6816 0 -1 4202496 373965 0 0 0 110592 1608 0 0 25 0 1 0 38867326 1577455616 370269 1992294400 4194304 7136930 140733470409408 18446744073709551615 4660681 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7712/statm: 385121 370269 387 719 0 384400 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 1540484
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.16 2/107 7748
/proc/meminfo: memFree=307252/2059040 swapFree=4140256/4192956
[pid=7712] ppid=7710 vsize=1541440 CPUtime=1181.98
/proc/7712/stat : 7712 (pbscip.linux.x8) R 7710 7712 6816 0 -1 4202496 374185 0 0 0 116567 1631 0 0 25 0 1 0 38867326 1578434560 370489 1992294400 4194304 7136930 140733470409408 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7712/statm: 385360 370489 387 719 0 384639 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 1541440
[startup+1242.3 s]
/proc/loadavg: 1.11 1.03 1.15 2/107 7748
/proc/meminfo: memFree=302044/2059040 swapFree=4140256/4192956
[pid=7712] ppid=7710 vsize=1547172 CPUtime=1241.98
/proc/7712/stat : 7712 (pbscip.linux.x8) R 7710 7712 6816 0 -1 4202496 375437 0 0 0 122531 1667 0 0 25 0 1 0 38867326 1584304128 371741 1992294400 4194304 7136930 140733470409408 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7712/statm: 386793 371741 387 719 0 386072 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 1547172
[startup+1302.3 s]
/proc/loadavg: 1.11 1.04 1.15 2/107 7750
/proc/meminfo: memFree=294232/2059040 swapFree=4140256/4192956
[pid=7712] ppid=7710 vsize=1556508 CPUtime=1301.96
/proc/7712/stat : 7712 (pbscip.linux.x8) R 7710 7712 6816 0 -1 4202496 377386 0 0 0 128502 1694 0 0 25 0 1 0 38867326 1593864192 373690 1992294400 4194304 7136930 140733470409408 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7712/statm: 389127 373690 387 719 0 388406 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 1556508
[startup+1362.3 s]
/proc/loadavg: 1.11 1.05 1.14 2/107 7752
/proc/meminfo: memFree=291876/2059040 swapFree=4140256/4192956
[pid=7712] ppid=7710 vsize=1558280 CPUtime=1361.94
/proc/7712/stat : 7712 (pbscip.linux.x8) R 7710 7712 6816 0 -1 4202496 377957 0 0 0 134478 1716 0 0 25 0 1 0 38867326 1595678720 374261 1992294400 4194304 7136930 140733470409408 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7712/statm: 389570 374261 387 719 0 388849 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 1558280
[startup+1422.31 s]
/proc/loadavg: 1.10 1.05 1.14 2/107 7754
/proc/meminfo: memFree=290636/2059040 swapFree=4140256/4192956
[pid=7712] ppid=7710 vsize=1560064 CPUtime=1421.93
/proc/7712/stat : 7712 (pbscip.linux.x8) R 7710 7712 6816 0 -1 4202496 378274 0 0 0 140446 1747 0 0 25 0 1 0 38867326 1597505536 374578 1992294400 4194304 7136930 140733470409408 18446744073709551615 4783074 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7712/statm: 390016 374578 387 719 0 389295 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 1560064
[startup+1482.3 s]
/proc/loadavg: 1.09 1.05 1.13 2/107 7756
/proc/meminfo: memFree=275632/2059040 swapFree=4140256/4192956
[pid=7712] ppid=7710 vsize=1574780 CPUtime=1481.91
/proc/7712/stat : 7712 (pbscip.linux.x8) R 7710 7712 6816 0 -1 4202496 381976 0 0 0 146412 1779 0 0 25 0 1 0 38867326 1612574720 378280 1992294400 4194304 7136930 140733470409408 18446744073709551615 4660061 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7712/statm: 393695 378280 387 719 0 392974 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 1574780
[startup+1542.3 s]
/proc/loadavg: 1.16 1.07 1.13 2/107 7756
/proc/meminfo: memFree=274144/2059040 swapFree=4140256/4192956
[pid=7712] ppid=7710 vsize=1577096 CPUtime=1541.9
/proc/7712/stat : 7712 (pbscip.linux.x8) R 7710 7712 6816 0 -1 4202496 382335 0 0 0 152384 1806 0 0 25 0 1 0 38867326 1614946304 378639 1992294400 4194304 7136930 140733470409408 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7712/statm: 394274 378639 387 719 0 393553 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 1577096
[startup+1602.3 s]
/proc/loadavg: 1.06 1.06 1.12 2/107 7767
/proc/meminfo: memFree=272904/2059040 swapFree=4140256/4192956
[pid=7712] ppid=7710 vsize=1577600 CPUtime=1601.88
/proc/7712/stat : 7712 (pbscip.linux.x8) R 7710 7712 6816 0 -1 4202496 382500 0 0 0 158362 1826 0 0 25 0 1 0 38867326 1615462400 378804 1992294400 4194304 7136930 140733470409408 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7712/statm: 394400 378804 387 719 0 393679 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 1577600
[startup+1662.3 s]
/proc/loadavg: 1.10 1.07 1.12 2/107 8263
/proc/meminfo: memFree=260144/2059040 swapFree=4140256/4192956
[pid=7712] ppid=7710 vsize=1578120 CPUtime=1661.6
/proc/7712/stat : 7712 (pbscip.linux.x8) R 7710 7712 6816 0 -1 4202496 382625 0 0 0 164297 1863 0 0 25 0 1 0 38867326 1615994880 378929 1992294400 4194304 7136930 140733470409408 18446744073709551615 5921700 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7712/statm: 394530 378929 387 719 0 393809 0
Current children cumulated CPU time (s) 1661.6
Current children cumulated vsize (KiB) 1578120
[startup+1722.3 s]
/proc/loadavg: 1.03 1.06 1.10 2/107 8265
/proc/meminfo: memFree=259772/2059040 swapFree=4140256/4192956
[pid=7712] ppid=7710 vsize=1579592 CPUtime=1721.58
/proc/7712/stat : 7712 (pbscip.linux.x8) R 7710 7712 6816 0 -1 4202496 382885 0 0 0 170266 1892 0 0 25 0 1 0 38867326 1617502208 379189 1992294400 4194304 7136930 140733470409408 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7712/statm: 394898 379189 387 719 0 394177 0
Current children cumulated CPU time (s) 1721.58
Current children cumulated vsize (KiB) 1579592
[startup+1782.3 s]
/proc/loadavg: 1.01 1.05 1.09 2/107 8267
/proc/meminfo: memFree=255432/2059040 swapFree=4140256/4192956
[pid=7712] ppid=7710 vsize=1585228 CPUtime=1781.56
/proc/7712/stat : 7712 (pbscip.linux.x8) R 7710 7712 6816 0 -1 4202496 383993 0 0 0 176236 1920 0 0 25 0 1 0 38867326 1623273472 380297 1992294400 4194304 7136930 140733470409408 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7712/statm: 396307 380297 387 719 0 395586 0
Current children cumulated CPU time (s) 1781.56
Current children cumulated vsize (KiB) 1585228
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.8 s]
/proc/loadavg: 1.01 1.04 1.09 2/107 8267
/proc/meminfo: memFree=255308/2059040 swapFree=4140256/4192956
[pid=7712] ppid=7710 vsize=1585228 CPUtime=1800.07
/proc/7712/stat : 7712 (pbscip.linux.x8) R 7710 7712 6816 0 -1 4202496 384008 0 0 0 178079 1928 0 0 25 0 1 0 38867326 1623273472 380312 1992294400 4194304 7136930 140733470409408 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7712/statm: 396307 380312 387 719 0 395586 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1585228
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -7712
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.01 1.04 1.09 2/107 8267
/proc/meminfo: memFree=255308/2059040 swapFree=4140256/4192956
[pid=7712] ppid=7710 vsize=1585540 CPUtime=1800.66
/proc/7712/stat : 7712 (pbscip.linux.x8) R 7710 7712 6816 0 -1 4202496 384069 0 0 0 178138 1928 0 0 25 0 1 0 38867326 1623592960 380373 1992294400 4194304 7136930 140733470409408 18446744073709551615 4212307 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/7712/statm: 396385 380373 393 719 0 395664 0
Current children cumulated CPU time (s) 1800.66
Current children cumulated vsize (KiB) 1585540
[startup+1802.2 s]
/proc/loadavg: 1.01 1.04 1.09 2/108 8268
/proc/meminfo: memFree=256540/2059040 swapFree=4140256/4192956
[pid=7712] ppid=7710 vsize=1568972 CPUtime=1801.46
/proc/7712/stat : 7712 (pbscip.linux.x8) R 7710 7712 6816 0 -1 4202496 384069 0 0 0 178218 1928 0 0 25 0 1 0 38867326 1606627328 376231 1992294400 4194304 7136930 140733470409408 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/7712/statm: 392243 376231 393 719 0 391522 0
Current children cumulated CPU time (s) 1801.46
Current children cumulated vsize (KiB) 1568972
[startup+1802.6 s]
/proc/loadavg: 1.01 1.04 1.09 2/108 8268
/proc/meminfo: memFree=256540/2059040 swapFree=4140256/4192956
[pid=7712] ppid=7710 vsize=1550352 CPUtime=1801.85
/proc/7712/stat : 7712 (pbscip.linux.x8) R 7710 7712 6816 0 -1 4202496 384069 0 0 0 178257 1928 0 0 25 0 1 0 38867326 1587560448 371576 1992294400 4194304 7136930 140733470409408 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/7712/statm: 387588 371576 393 719 0 386867 0
Current children cumulated CPU time (s) 1801.85
Current children cumulated vsize (KiB) 1550352
[startup+1802.8 s]
/proc/loadavg: 1.01 1.04 1.09 2/108 8268
/proc/meminfo: memFree=296344/2059040 swapFree=4140256/4192956
[pid=7712] ppid=7710 vsize=1543692 CPUtime=1802.07
/proc/7712/stat : 7712 (pbscip.linux.x8) R 7710 7712 6816 0 -1 4202496 384069 0 0 0 178278 1929 0 0 25 0 1 0 38867326 1580740608 369911 1992294400 4194304 7136930 140733470409408 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/7712/statm: 385923 369911 393 719 0 385202 0
Current children cumulated CPU time (s) 1802.07
Current children cumulated vsize (KiB) 1543692
[startup+1802.91 s]
/proc/loadavg: 1.01 1.04 1.09 2/108 8268
/proc/meminfo: memFree=296344/2059040 swapFree=4140256/4192956
[pid=7712] ppid=7710 vsize=0 CPUtime=1802.16
/proc/7712/stat : 7712 (pbscip.linux.x8) R 7710 7712 6816 0 -1 4203524 384069 0 0 0 178278 1938 0 0 25 0 1 0 38867326 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/7712/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.16
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.95
CPU time (s): 1802.22
CPU user time (s): 1782.79
CPU system time (s): 19.431
CPU usage (%): 99.9593
Max. virtual memory (cumulated for all children) (KiB): 1585540
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1782.79
system time used= 19.431
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 384069
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= 9369
runsolver used 2.97855 second user time and 8.5367 second system time
The end