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-2663560-1276647281.opb>
0.00/0.01 c original problem has 486 variables (486 bin, 0 int, 0 impl, 0 cont) and 343 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 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.02 c presolving:
0.00/0.07 c (round 1) 9 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 40 chg coeffs, 0 upgd conss, 2304 impls, 0 clqs
0.00/0.07 c (round 2) 9 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 40 chg coeffs, 10 upgd conss, 2326 impls, 0 clqs
0.09/0.10 c (0.1s) probing: 213/477 (44.7%) - 0 fixings, 0 aggregations, 43 implications, 0 bound changes
0.09/0.10 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.10 c presolving (3 rounds):
0.09/0.10 c 9 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 40 changed coefficients
0.09/0.10 c 2412 implications, 0 cliques
0.09/0.10 c presolved problem has 477 variables (477 bin, 0 int, 0 impl, 0 cont) and 343 constraints
0.09/0.10 c 323 constraints of type <and>
0.09/0.10 c 9 constraints of type <linear>
0.09/0.10 c 11 constraints of type <logicor>
0.09/0.10 c transformed objective value is always integral (scale: 1)
0.09/0.10 c Presolving Time: 0.05
0.09/0.10 c - non default parameters ----------------------------------------------------------------------
0.09/0.10 c # SCIP version 1.2.1.2
0.09/0.10 c
0.09/0.10 c # frequency for displaying node information lines
0.09/0.10 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.10 c display/freq = 10000
0.09/0.10 c
0.09/0.10 c # maximal time in seconds to run
0.09/0.10 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.10 c limits/time = 1799.99
0.09/0.10 c
0.09/0.10 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.10 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.10 c limits/memory = 1620
0.09/0.10 c
0.09/0.10 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.10 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.10 c lp/solvefreq = -1
0.09/0.10 c
0.09/0.10 c # should presolving try to simplify inequalities
0.09/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.10 c constraints/linear/simplifyinequalities = TRUE
0.09/0.10 c
0.09/0.10 c # should presolving try to simplify knapsacks
0.09/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.10 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.10 c
0.09/0.10 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.09/0.10 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.10 c heuristics/undercover/freq = 0
0.09/0.10 c
0.09/0.10 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.10 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.10 c separating/rapidlearning/freq = 0
0.09/0.10 c
0.09/0.10 c -----------------------------------------------------------------------------------------------
0.09/0.10 c start solving
0.09/0.10 c
0.09/0.10 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.10 c 0.1s| 1 | 2 | 0 | - |1333k| 0 | - | 477 | 343 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
3.20/3.20 c 2.9s| 10000 | 3981 | 0 | 0.0 |4865k| 122 | - | 477 |2363 | 0 | 0 | 0 |6687 | 0 | 0.000000e+00 | -- | Inf
6.69/6.77 c 6.2s| 20000 | 8822 | 0 | 0.0 |8785k| 122 | - | 477 |4072 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
11.29/11.38 c 10.5s| 30000 | 13973 | 0 | 0.0 | 12M| 122 | - | 477 |4902 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
16.09/16.10 c 15.0s| 40000 | 20070 | 0 | 0.0 | 17M| 122 | - | 477 |5334 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
20.79/20.82 c 19.4s| 50000 | 25199 | 0 | 0.0 | 21M| 122 | - | 477 |5944 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
24.59/24.67 c 23.0s| 60000 | 31183 | 0 | 0.0 | 24M| 122 | - | 477 |5808 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
28.88/28.93 c 27.0s| 70000 | 36415 | 0 | 0.0 | 28M| 122 | - | 477 |6219 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
33.48/33.55 c 31.3s| 80000 | 42372 | 0 | 0.0 | 31M| 122 | - | 477 |3858 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
39.88/39.91 c 37.4s| 90000 | 47016 | 0 | 0.0 | 35M| 122 | - | 477 |6422 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | -- | Inf
47.37/47.43 c 44.6s|100000 | 52245 | 0 | 0.0 | 39M| 122 | - | 477 |7670 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | -- | Inf
54.28/54.32 c 51.2s|110000 | 58077 | 0 | 0.0 | 43M| 122 | - | 477 |8500 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | -- | Inf
60.77/60.83 c 57.4s|120000 | 64467 | 0 | 0.0 | 48M| 122 | - | 477 |9345 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
61.57/61.61 o 3
61.57/61.61 c *58.2s|121569 | 57404 | 0 | 0.0 | 43M| 122 | - | 477 |9354 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
64.47/64.57 c 60.9s|130000 | 64167 | 0 | 0.0 | 45M| 122 | - | 477 |5513 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
70.37/70.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
70.37/70.47 c 66.6s|140000 | 69833 | 0 | 0.0 | 49M| 122 | - | 477 |7844 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
75.16/75.26 c 71.1s|150000 | 76647 | 0 | 0.0 | 52M| 122 | - | 477 |7515 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
80.06/80.18 c 75.8s|160000 | 82400 | 0 | 0.0 | 55M| 122 | - | 477 |7533 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
84.96/85.04 c 80.3s|170000 | 87799 | 0 | 0.0 | 58M| 122 | - | 477 |7535 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
90.17/90.24 c 85.2s|180000 | 92694 | 0 | 0.0 | 61M| 122 | - | 477 |7941 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
94.96/95.05 c 89.8s|190000 | 98434 | 0 | 0.0 | 65M| 122 | - | 477 |8259 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
99.05/99.18 c 93.6s|200000 |104858 | 0 | 0.0 | 69M| 122 | - | 477 |8080 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
103.46/103.52 c 97.6s|210000 |110279 | 0 | 0.0 | 72M| 122 | - | 477 |8487 | 0 | 0 | 0 | 147k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
108.87/108.99 c 103s|220000 | 89846 | 0 | 0.0 | 64M| 122 | - | 477 |7490 | 0 | 0 | 0 | 156k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
115.65/115.71 c 109s|230000 | 94744 | 0 | 0.0 | 68M| 122 | - | 477 |9289 | 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
120.34/120.49 c 114s|240000 | 99936 | 0 | 0.0 | 72M| 122 | - | 477 | 10k| 0 | 0 | 0 | 173k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
127.14/127.27 c 120s|250000 |104149 | 0 | 0.0 | 74M| 122 | - | 477 |8928 | 0 | 0 | 0 | 182k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
131.65/131.72 c 124s|260000 |110437 | 0 | 0.0 | 78M| 122 | - | 477 |9211 | 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
135.35/135.49 c 128s|270000 |117244 | 0 | 0.0 | 82M| 122 | - | 477 |9545 | 0 | 0 | 0 | 193k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
140.45/140.54 c 133s|280000 |117538 | 0 | 0.0 | 78M| 122 | - | 477 |7248 | 0 | 0 | 0 | 198k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
147.25/147.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
147.25/147.32 c 139s|290000 |122628 | 0 | 0.0 | 82M| 122 | - | 477 |7683 | 0 | 0 | 0 | 204k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
154.84/154.97 c 147s|300000 |126807 | 0 | 0.0 | 85M| 122 | - | 477 |7789 | 0 | 0 | 0 | 212k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
161.73/161.86 c 153s|310000 |131618 | 0 | 0.0 | 89M| 122 | - | 477 |7750 | 0 | 0 | 0 | 219k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
168.44/168.55 c 160s|320000 |136756 | 0 | 0.0 | 92M| 122 | - | 477 |8281 | 0 | 0 | 0 | 226k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
174.54/174.66 c 165s|330000 |142249 | 0 | 0.0 | 96M| 122 | - | 477 |8583 | 0 | 0 | 0 | 232k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
180.53/180.61 c 171s|340000 |147918 | 0 | 0.0 | 100M| 122 | - | 477 |8870 | 0 | 0 | 0 | 238k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
186.43/186.57 c 177s|350000 |153437 | 0 | 0.0 | 103M| 122 | - | 477 |8779 | 0 | 0 | 0 | 244k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
192.44/192.58 c 183s|360000 |158880 | 0 | 0.0 | 106M| 122 | - | 477 |9563 | 0 | 0 | 0 | 251k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
199.13/199.24 c 189s|370000 |163817 | 0 | 0.0 | 110M| 122 | - | 477 |9723 | 0 | 0 | 0 | 260k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
205.82/205.93 c 195s|380000 |168689 | 0 | 0.0 | 113M| 122 | - | 477 |9707 | 0 | 0 | 0 | 269k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
212.42/212.51 c 202s|390000 |173625 | 0 | 0.0 | 116M| 122 | - | 477 | 10k| 0 | 0 | 0 | 277k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
219.62/219.76 c 209s|400000 |176455 | 0 | 0.0 | 116M| 122 | - | 477 |9805 | 0 | 0 | 0 | 286k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
226.52/226.63 c 215s|410000 |181077 | 0 | 0.0 | 120M| 122 | - | 477 | 10k| 0 | 0 | 0 | 295k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
233.72/233.86 c 222s|420000 |185246 | 0 | 0.0 | 123M| 122 | - | 477 | 10k| 0 | 0 | 0 | 304k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
240.91/241.07 c 229s|430000 |189540 | 0 | 0.0 | 126M| 122 | - | 477 | 10k| 0 | 0 | 0 | 313k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
248.22/248.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
248.22/248.35 c 236s|440000 |193706 | 0 | 0.0 | 129M| 122 | - | 477 | 11k| 0 | 0 | 0 | 323k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
255.31/255.43 c 243s|450000 |197987 | 0 | 0.0 | 132M| 122 | - | 477 | 10k| 0 | 0 | 0 | 332k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
262.31/262.47 c 250s|460000 |202421 | 0 | 0.0 | 136M| 122 | - | 477 | 11k| 0 | 0 | 0 | 342k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
269.50/269.67 c 257s|470000 |206710 | 0 | 0.0 | 139M| 122 | - | 477 | 11k| 0 | 0 | 0 | 351k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
276.41/276.55 c 263s|480000 |211392 | 0 | 0.0 | 142M| 122 | - | 477 | 11k| 0 | 0 | 0 | 360k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
283.30/283.49 c 270s|490000 |216094 | 0 | 0.0 | 145M| 122 | - | 477 | 11k| 0 | 0 | 0 | 369k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
290.10/290.27 c 276s|500000 |220913 | 0 | 0.0 | 149M| 122 | - | 477 | 11k| 0 | 0 | 0 | 378k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
296.50/296.65 c 283s|510000 |225886 | 0 | 0.0 | 152M| 122 | - | 477 | 11k| 0 | 0 | 0 | 386k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
302.59/302.72 c 288s|520000 |231044 | 0 | 0.0 | 156M| 122 | - | 477 | 11k| 0 | 0 | 0 | 395k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
308.79/308.99 c 294s|530000 |235925 | 0 | 0.0 | 159M| 122 | - | 477 | 11k| 0 | 0 | 0 | 404k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
315.19/315.36 c 301s|540000 |240519 | 0 | 0.0 | 163M| 122 | - | 477 | 11k| 0 | 0 | 0 | 413k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
321.69/321.85 c 307s|550000 |244930 | 0 | 0.0 | 166M| 122 | - | 477 | 11k| 0 | 0 | 0 | 423k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
328.28/328.40 c 313s|560000 |249487 | 0 | 0.0 | 170M| 122 | - | 477 | 11k| 0 | 0 | 0 | 433k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
334.48/334.65 c 319s|570000 |254134 | 0 | 0.0 | 173M| 122 | - | 477 | 11k| 0 | 0 | 0 | 443k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
340.79/341.00 c 325s|580000 |258646 | 0 | 0.0 | 177M| 122 | - | 477 | 11k| 0 | 0 | 0 | 453k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
346.68/346.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
346.68/346.82 c 331s|590000 |263644 | 0 | 0.0 | 180M| 122 | - | 477 | 11k| 0 | 0 | 0 | 462k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
352.68/352.84 c 336s|600000 |268612 | 0 | 0.0 | 184M| 122 | - | 477 | 11k| 0 | 0 | 0 | 472k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
358.18/358.30 c 341s|610000 |274087 | 0 | 0.0 | 188M| 122 | - | 477 | 11k| 0 | 0 | 0 | 480k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
363.78/363.90 c 347s|620000 |279344 | 0 | 0.0 | 192M| 122 | - | 477 | 12k| 0 | 0 | 0 | 489k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
369.58/369.76 c 352s|630000 |284542 | 0 | 0.0 | 195M| 122 | - | 477 | 12k| 0 | 0 | 0 | 498k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
375.37/375.51 c 358s|640000 |289719 | 0 | 0.0 | 199M| 122 | - | 477 | 11k| 0 | 0 | 0 | 507k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
381.67/381.84 c 364s|650000 |294364 | 0 | 0.0 | 203M| 122 | - | 477 | 12k| 0 | 0 | 0 | 517k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
387.87/388.08 c 370s|660000 |299305 | 0 | 0.0 | 207M| 122 | - | 477 | 12k| 0 | 0 | 0 | 526k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
394.27/394.43 c 376s|670000 |304049 | 0 | 0.0 | 210M| 122 | - | 477 | 12k| 0 | 0 | 0 | 535k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
400.87/401.09 c 382s|680000 |308465 | 0 | 0.0 | 214M| 122 | - | 477 | 13k| 0 | 0 | 0 | 546k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
407.98/408.13 c 389s|690000 |312639 | 0 | 0.0 | 218M| 122 | - | 477 | 13k| 0 | 0 | 0 | 556k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
415.37/415.58 c 396s|700000 |316716 | 0 | 0.0 | 221M| 122 | - | 477 | 13k| 0 | 0 | 0 | 565k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
423.86/424.02 c 404s|710000 |320183 | 0 | 0.0 | 224M| 122 | - | 477 | 14k| 0 | 0 | 0 | 575k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
432.26/432.47 c 413s|720000 |324349 | 0 | 0.0 | 226M| 123 | - | 477 |9979 | 0 | 0 | 0 | 583k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
441.26/441.48 c 421s|730000 |329150 | 0 | 0.0 | 230M| 123 | - | 477 | 10k| 0 | 0 | 0 | 590k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
451.35/451.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
451.35/451.57 c 431s|740000 |333404 | 0 | 0.0 | 233M| 123 | - | 477 | 10k| 0 | 0 | 0 | 596k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
461.25/461.43 c 441s|750000 |338010 | 0 | 0.0 | 236M| 123 | - | 477 | 10k| 0 | 0 | 0 | 603k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
470.35/470.59 c 450s|760000 |342964 | 0 | 0.0 | 239M| 123 | - | 477 | 10k| 0 | 0 | 0 | 609k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
479.64/479.88 c 459s|770000 |347954 | 0 | 0.0 | 243M| 123 | - | 477 | 11k| 0 | 0 | 0 | 616k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
488.84/489.02 c 467s|780000 |353196 | 0 | 0.0 | 247M| 123 | - | 477 | 11k| 0 | 0 | 0 | 622k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
498.44/498.66 c 477s|790000 |358137 | 0 | 0.0 | 251M| 123 | - | 477 | 11k| 0 | 0 | 0 | 629k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
507.54/507.76 c 486s|800000 |363430 | 0 | 0.0 | 254M| 123 | - | 477 | 11k| 0 | 0 | 0 | 635k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
516.43/516.62 c 494s|810000 |368906 | 0 | 0.0 | 258M| 123 | - | 477 | 11k| 0 | 0 | 0 | 642k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
525.44/525.68 c 503s|820000 |373891 | 0 | 0.0 | 261M| 123 | - | 477 | 11k| 0 | 0 | 0 | 649k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
534.23/534.44 c 511s|830000 |379232 | 0 | 0.0 | 265M| 123 | - | 477 | 11k| 0 | 0 | 0 | 655k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
542.32/542.56 c 519s|840000 |384716 | 0 | 0.0 | 269M| 123 | - | 477 | 12k| 0 | 0 | 0 | 662k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
551.42/551.66 c 528s|850000 |389558 | 0 | 0.0 | 273M| 123 | - | 477 | 12k| 0 | 0 | 0 | 669k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
559.32/559.50 c 536s|860000 |395292 | 0 | 0.0 | 276M| 123 | - | 477 | 12k| 0 | 0 | 0 | 676k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
569.42/569.69 c 546s|870000 |399466 | 0 | 0.0 | 280M| 123 | - | 477 | 13k| 0 | 0 | 0 | 684k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
578.11/578.36 c 554s|880000 |404621 | 0 | 0.0 | 283M| 123 | - | 477 | 13k| 0 | 0 | 0 | 691k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
587.92/588.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
587.92/588.15 c 564s|890000 |409181 | 0 | 0.0 | 286M| 123 | - | 477 | 13k| 0 | 0 | 0 | 700k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
597.41/597.67 c 573s|900000 |413557 | 0 | 0.0 | 289M| 123 | - | 477 | 13k| 0 | 0 | 0 | 708k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
607.02/607.26 c 582s|910000 |418050 | 0 | 0.0 | 293M| 123 | - | 477 | 13k| 0 | 0 | 0 | 717k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
618.20/618.41 c 593s|920000 |421481 | 0 | 0.0 | 295M| 123 | - | 477 | 13k| 0 | 0 | 0 | 726k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
627.81/628.03 c 602s|930000 |426320 | 0 | 0.0 | 299M| 123 | - | 477 | 13k| 0 | 0 | 0 | 735k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
639.11/639.37 c 613s|940000 |430040 | 0 | 0.0 | 302M| 123 | - | 477 | 14k| 0 | 0 | 0 | 744k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
647.40/647.68 c 621s|950000 |435502 | 0 | 0.0 | 305M| 123 | - | 477 | 14k| 0 | 0 | 0 | 752k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
658.61/658.80 c 632s|960000 |439369 | 0 | 0.0 | 308M| 123 | - | 477 | 14k| 0 | 0 | 0 | 761k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
667.69/667.92 c 641s|970000 |444489 | 0 | 0.0 | 312M| 123 | - | 477 | 14k| 0 | 0 | 0 | 770k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
678.79/679.09 c 652s|980000 |448433 | 0 | 0.0 | 315M| 123 | - | 477 | 15k| 0 | 0 | 0 | 779k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
689.29/689.54 c 662s|990000 |452962 | 0 | 0.0 | 318M| 123 | - | 477 | 15k| 0 | 0 | 0 | 788k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
699.69/699.98 c 672s| 1000k|457568 | 0 | 0.0 | 321M| 123 | - | 477 | 15k| 0 | 0 | 0 | 796k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
710.78/711.01 c 683s| 1010k|462005 | 0 | 0.0 | 325M| 123 | - | 477 | 15k| 0 | 0 | 0 | 806k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
721.28/721.57 c 693s| 1020k|466732 | 0 | 0.0 | 328M| 123 | - | 477 | 15k| 0 | 0 | 0 | 814k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
733.18/733.42 c 705s| 1030k|470803 | 0 | 0.0 | 331M| 123 | - | 477 | 15k| 0 | 0 | 0 | 824k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
742.98/743.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
742.98/743.25 c 714s| 1040k|475827 | 0 | 0.0 | 335M| 123 | - | 477 | 15k| 0 | 0 | 0 | 833k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
753.97/754.28 c 725s| 1050k|480286 | 0 | 0.0 | 338M| 123 | - | 477 | 16k| 0 | 0 | 0 | 842k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
763.36/763.68 c 734s| 1060k|485612 | 0 | 0.0 | 342M| 123 | - | 477 | 15k| 0 | 0 | 0 | 850k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
774.56/774.81 c 745s| 1070k|490130 | 0 | 0.0 | 345M| 123 | - | 477 | 16k| 0 | 0 | 0 | 859k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
785.07/785.35 c 755s| 1080k|495157 | 0 | 0.0 | 348M| 123 | - | 477 | 16k| 0 | 0 | 0 | 868k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
794.46/794.71 c 764s| 1090k|500465 | 0 | 0.0 | 352M| 123 | - | 477 | 16k| 0 | 0 | 0 | 876k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
805.36/805.63 c 775s| 1100k|505278 | 0 | 0.0 | 355M| 123 | - | 477 | 16k| 0 | 0 | 0 | 885k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
814.87/815.15 c 784s| 1110k|510675 | 0 | 0.0 | 359M| 123 | - | 477 | 16k| 0 | 0 | 0 | 893k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
825.86/826.16 c 795s| 1120k|515284 | 0 | 0.0 | 362M| 123 | - | 477 | 16k| 0 | 0 | 0 | 903k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
835.55/835.82 c 804s| 1130k|520619 | 0 | 0.0 | 365M| 123 | - | 477 | 17k| 0 | 0 | 0 | 911k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
844.34/844.62 c 813s| 1140k|526187 | 0 | 0.0 | 369M| 123 | - | 477 | 16k| 0 | 0 | 0 | 920k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
855.45/855.77 c 824s| 1150k|530665 | 0 | 0.0 | 372M| 123 | - | 477 | 16k| 0 | 0 | 0 | 929k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
859.44/859.75 o 2
859.44/859.75 c * 828s| 1151k| 0 | 0 | 0.0 | 11M| 123 | - | 477 | 17k| 0 | 0 | 0 | 931k| 0 | 2.000000e+00 | 2.000000e+00 | 0.00%
859.44/859.76 c
859.44/859.76 c SCIP Status : problem is solved [optimal solution found]
859.44/859.76 c Solving Time (sec) : 827.83
859.44/859.76 c Solving Nodes : 1151928
859.44/859.76 c Primal Bound : +2.00000000000000e+00 (2 solutions)
859.44/859.76 c Dual Bound : +2.00000000000000e+00
859.44/859.76 c Gap : 0.00 %
859.44/859.76 s OPTIMUM FOUND
859.44/859.76 v -x162 -x161 -x160 x159 -x158 x157 -x156 -x155 -x154 -x153 x152 -x151 -x108 -x107 x106 -x105 x104 -x103 -x150 -x149 -x148 -x147
859.44/859.76 v -x146 -x145 -x102 -x101 -x100 x99 x98 -x97 -x144 -x143 -x142 -x141 -x140 x139 -x96 -x95 -x94 -x93 x92 -x91 -x138 -x137 -x136
859.44/859.76 v -x135 -x134 -x133 -x90 x89 -x88 x87 x86 -x85 -x132 -x131 -x130 -x129 -x128 x127 -x84 -x83 -x82 -x81 x80 -x79 -x126 x125 -x124
859.44/859.76 v -x123 -x122 -x121 -x78 -x77 -x76 -x75 x74 -x73 -x120 -x119 -x118 -x117 -x116 -x115 x72 -x71 -x70 x69 x68 -x67 -x114 -x113 -x112
859.44/859.76 v -x111 -x110 x109 -x66 -x65 -x64 -x63 x62 -x61 x60 -x59 -x58 -x57 -x56 x55 -x54 x53 -x52 x51 x50 x49 -x48 -x47 -x46 -x45 x44
859.44/859.76 v x43 -x42 -x41 -x40 -x39 x38 x37 -x36 -x35 x34 -x33 x32 x31 x30 -x29 -x28 -x27 -x26 x25 -x24 x23 x22 -x21 x20 x19 -x18 x17
859.44/859.76 v -x16 -x15 x14 x13 x12 -x11 -x10 -x9 -x8 x7 -x6 -x5 -x4 -x3 x2 -x1
859.44/859.76 c SCIP Status : problem is solved [optimal solution found]
859.44/859.76 c Solving Time : 827.83
859.44/859.76 c Original Problem :
859.44/859.76 c Problem name : HOME/instance-2663560-1276647281.opb
859.44/859.76 c Variables : 486 (486 binary, 0 integer, 0 implicit integer, 0 continuous)
859.44/859.76 c Constraints : 343 initial, 343 maximal
859.44/859.76 c Presolved Problem :
859.44/859.76 c Problem name : t_HOME/instance-2663560-1276647281.opb
859.44/859.76 c Variables : 477 (477 binary, 0 integer, 0 implicit integer, 0 continuous)
859.44/859.76 c Constraints : 343 initial, 17345 maximal
859.44/859.76 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
859.44/859.76 c trivial : 0.00 0 0 0 0 0 0 0 0
859.44/859.76 c dualfix : 0.00 0 0 0 0 0 0 0 0
859.44/859.76 c boundshift : 0.00 0 0 0 0 0 0 0 0
859.44/859.76 c inttobinary : 0.00 0 0 0 0 0 0 0 0
859.44/859.76 c implics : 0.00 0 0 0 0 0 0 0 0
859.44/859.76 c probing : 0.03 0 0 0 0 0 0 0 0
859.44/859.76 c and : 0.02 0 0 0 0 0 0 0 0
859.44/859.76 c linear : 0.00 1 8 0 0 0 0 0 40
859.44/859.76 c logicor : 0.00 0 0 0 0 0 0 0 0
859.44/859.76 c root node : - 89 - - 89 - - - -
859.44/859.76 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
859.44/859.76 c integral : 0 0 0 0 0 0 0 0 0 0
859.44/859.76 c and : 323 0 2998066 0 950527 56080 3978589 0 0 0
859.44/859.76 c linear : 9 0 2941985 0 950527 239529 1913397 0 0 0
859.44/859.76 c logicor : 11+ 0 1604408 0 950519 20985 534320 0 0 0
859.44/859.76 c countsols : 0 0 0 0 950529 0 0 0 0 0
859.44/859.76 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
859.44/859.76 c integral : 0.00 0.00 0.00 0.00 0.00
859.44/859.76 c and : 55.50 0.00 41.15 0.00 14.35
859.44/859.76 c linear : 78.33 0.00 77.25 0.00 1.08
859.44/859.76 c logicor : 285.13 0.00 283.45 0.00 1.68
859.44/859.76 c countsols : 0.48 0.00 0.00 0.00 0.48
859.44/859.76 c Propagators : Time Calls Cutoffs DomReds
859.44/859.76 c vbounds : 1.80 2 0 0
859.44/859.76 c rootredcost : 1.41 0 0 0
859.44/859.76 c pseudoobj : 3.26 2997623 0 29
859.44/859.76 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
859.44/859.76 c propagation : 40.68 316594 314431 2743330 30.8 40294 21.4 -
859.44/859.76 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
859.44/859.76 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
859.44/859.76 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
859.44/859.76 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
859.44/859.76 c applied globally : - - - 931506 23.8 - - -
859.44/859.76 c applied locally : - - - 174 53.4 - - -
859.44/859.76 c Separators : Time Calls Cutoffs DomReds Cuts Conss
859.44/859.76 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
859.44/859.76 c redcost : 0.00 0 0 0 0 0
859.44/859.76 c impliedbounds : 0.00 0 0 0 0 0
859.44/859.76 c intobj : 0.00 0 0 0 0 0
859.44/859.76 c cgmip : 0.00 0 0 0 0 0
859.44/859.76 c gomory : 0.00 0 0 0 0 0
859.44/859.76 c strongcg : 0.00 0 0 0 0 0
859.44/859.76 c cmir : 0.00 0 0 0 0 0
859.44/859.76 c flowcover : 0.00 0 0 0 0 0
859.44/859.76 c clique : 0.00 0 0 0 0 0
859.44/859.76 c zerohalf : 0.00 0 0 0 0 0
859.44/859.76 c mcf : 0.00 0 0 0 0 0
859.44/859.76 c rapidlearning : 0.00 0 0 0 0 0
859.44/859.76 c Pricers : Time Calls Vars
859.44/859.76 c problem variables: 0.00 0 0
859.44/859.76 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
859.44/859.76 c relpscost : 0.00 0 0 0 0 0 0
859.44/859.76 c pscost : 0.00 0 0 0 0 0 0
859.44/859.76 c inference : 47.54 950527 0 0 0 0 1901054
859.44/859.76 c mostinf : 0.00 0 0 0 0 0 0
859.44/859.76 c leastinf : 0.00 0 0 0 0 0 0
859.44/859.76 c fullstrong : 0.00 0 0 0 0 0 0
859.44/859.76 c allfullstrong : 0.00 0 0 0 0 0 0
859.44/859.76 c random : 0.00 0 0 0 0 0 0
859.44/859.76 c Primal Heuristics : Time Calls Found
859.44/859.76 c LP solutions : 0.00 - 0
859.44/859.76 c pseudo solutions : 2.22 - 2
859.44/859.76 c oneopt : 0.89 0 0
859.44/859.76 c trivial : 0.00 2 0
859.44/859.76 c simplerounding : 0.00 0 0
859.44/859.76 c zirounding : 0.00 0 0
859.44/859.76 c rounding : 0.00 0 0
859.44/859.76 c shifting : 0.00 0 0
859.44/859.76 c intshifting : 0.00 0 0
859.44/859.76 c twoopt : 0.00 0 0
859.44/859.76 c fixandinfer : 0.00 0 0
859.44/859.76 c feaspump : 0.00 0 0
859.44/859.76 c coefdiving : 0.00 0 0
859.44/859.76 c pscostdiving : 0.00 0 0
859.44/859.76 c fracdiving : 0.00 0 0
859.44/859.76 c veclendiving : 0.00 0 0
859.44/859.76 c intdiving : 0.00 0 0
859.44/859.76 c actconsdiving : 0.00 0 0
859.44/859.76 c objpscostdiving : 0.00 0 0
859.44/859.76 c rootsoldiving : 0.00 0 0
859.44/859.76 c linesearchdiving : 0.00 0 0
859.44/859.76 c guideddiving : 0.00 0 0
859.44/859.76 c octane : 0.00 0 0
859.44/859.76 c rens : 0.00 0 0
859.44/859.76 c rins : 0.00 0 0
859.44/859.76 c localbranching : 0.00 0 0
859.44/859.76 c mutation : 0.00 0 0
859.44/859.76 c crossover : 0.00 0 0
859.44/859.76 c dins : 0.00 0 0
859.44/859.76 c undercover : 0.00 0 0
859.44/859.76 c nlp : 0.50 0 0
859.44/859.76 c trysol : 0.57 0 0
859.44/859.76 c LP : Time Calls Iterations Iter/call Iter/sec
859.44/859.76 c primal LP : 0.00 0 0 0.00 -
859.44/859.76 c dual LP : 0.00 0 0 0.00 -
859.44/859.76 c lex dual LP : 0.00 0 0 0.00 -
859.44/859.76 c barrier LP : 0.00 0 0 0.00 -
859.44/859.76 c diving/probing LP: 0.00 0 0 0.00 -
859.44/859.76 c strong branching : 0.00 0 0 0.00 -
859.44/859.76 c (at root node) : - 0 0 0.00 -
859.44/859.76 c conflict analysis: 0.00 0 0 0.00 -
859.44/859.76 c B&B Tree :
859.44/859.76 c number of runs : 1
859.44/859.76 c nodes : 1151928
859.44/859.76 c nodes (total) : 1151928
859.44/859.76 c nodes left : 0
859.44/859.76 c max depth : 123
859.44/859.76 c max depth (total): 123
859.44/859.76 c backtracks : 146968 (12.8%)
859.44/859.76 c delayed cutoffs : 209249
859.44/859.76 c repropagations : 364247 (1286243 domain reductions, 115195 cutoffs)
859.44/859.76 c avg switch length: 9.78
859.44/859.76 c switching time : 240.85
859.44/859.76 c Solution :
859.44/859.76 c Solutions found : 2 (2 improvements)
859.44/859.76 c First Solution : +3.00000000000000e+00 (in run 1, after 121569 nodes, 58.13 seconds, depth 73, found by <relaxation>)
859.44/859.76 c Primal Bound : +2.00000000000000e+00 (in run 1, after 1151928 nodes, 825.64 seconds, depth 71, found by <relaxation>)
859.44/859.76 c Dual Bound : +2.00000000000000e+00
859.44/859.76 c Gap : 0.00 %
859.44/859.76 c Root Dual Bound : +0.00000000000000e+00
859.44/859.76 c Root Iterations : 0
859.55/859.85 c Time complete: 859.6.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2663560-1276647281/watcher-2663560-1276647281 -o /tmp/evaluation-result-2663560-1276647281/solver-2663560-1276647281 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663560-1276647281.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.69 1.18 1.06 3/106 12042
/proc/meminfo: memFree=1792456/2059040 swapFree=4192956/4192956
[pid=12042] ppid=12040 vsize=6584 CPUtime=0
/proc/12042/stat : 12042 (pbscip.linux.x8) R 12040 12042 11743 0 -1 4202496 997 0 0 0 0 0 0 0 20 0 1 0 6023187 6742016 919 1992294400 4194304 7136930 140735285450512 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12042/statm: 1646 929 254 719 0 925 0
[startup+0.0957999 s]
/proc/loadavg: 1.69 1.18 1.06 3/106 12042
/proc/meminfo: memFree=1792456/2059040 swapFree=4192956/4192956
[pid=12042] ppid=12040 vsize=11612 CPUtime=0.08
/proc/12042/stat : 12042 (pbscip.linux.x8) R 12040 12042 11743 0 -1 4202496 3622 0 0 0 5 3 0 0 20 0 1 0 6023187 11890688 2163 1992294400 4194304 7136930 140735285450512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12042/statm: 2903 2163 371 719 0 2182 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 11612
[startup+0.1018 s]
/proc/loadavg: 1.69 1.18 1.06 3/106 12042
/proc/meminfo: memFree=1792456/2059040 swapFree=4192956/4192956
[pid=12042] ppid=12040 vsize=11612 CPUtime=0.09
/proc/12042/stat : 12042 (pbscip.linux.x8) R 12040 12042 11743 0 -1 4202496 3622 0 0 0 6 3 0 0 20 0 1 0 6023187 11890688 2163 1992294400 4194304 7136930 140735285450512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12042/statm: 2903 2163 371 719 0 2182 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11612
[startup+0.301814 s]
/proc/loadavg: 1.69 1.18 1.06 3/106 12042
/proc/meminfo: memFree=1792456/2059040 swapFree=4192956/4192956
[pid=12042] ppid=12040 vsize=13460 CPUtime=0.29
/proc/12042/stat : 12042 (pbscip.linux.x8) R 12040 12042 11743 0 -1 4202496 4095 0 0 0 23 6 0 0 20 0 1 0 6023187 13783040 2636 1992294400 4194304 7136930 140735285450512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12042/statm: 3365 2636 394 719 0 2644 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13460
[startup+0.700843 s]
/proc/loadavg: 1.69 1.18 1.06 3/106 12042
/proc/meminfo: memFree=1792456/2059040 swapFree=4192956/4192956
[pid=12042] ppid=12040 vsize=13972 CPUtime=0.69
/proc/12042/stat : 12042 (pbscip.linux.x8) R 12040 12042 11743 0 -1 4202496 4252 0 0 0 59 10 0 0 20 0 1 0 6023187 14307328 2793 1992294400 4194304 7136930 140735285450512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12042/statm: 3493 2793 394 719 0 2772 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13972
[startup+1.5009 s]
/proc/loadavg: 1.64 1.18 1.06 2/107 12043
/proc/meminfo: memFree=1782032/2059040 swapFree=4192956/4192956
[pid=12042] ppid=12040 vsize=15172 CPUtime=1.49
/proc/12042/stat : 12042 (pbscip.linux.x8) R 12040 12042 11743 0 -1 4202496 4535 0 0 0 132 17 0 0 22 0 1 0 6023187 15536128 3076 1992294400 4194304 7136930 140735285450512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12042/statm: 3793 3076 394 719 0 3072 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15172
[startup+3.10101 s]
/proc/loadavg: 1.64 1.18 1.06 2/107 12043
/proc/meminfo: memFree=1780172/2059040 swapFree=4192956/4192956
[pid=12042] ppid=12040 vsize=17552 CPUtime=3.09
/proc/12042/stat : 12042 (pbscip.linux.x8) R 12040 12042 11743 0 -1 4202496 5135 0 0 0 278 31 0 0 25 0 1 0 6023187 17973248 3676 1992294400 4194304 7136930 140735285450512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12042/statm: 4388 3676 394 719 0 3667 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17552
[startup+6.30123 s]
/proc/loadavg: 1.59 1.17 1.06 2/107 12045
/proc/meminfo: memFree=1775212/2059040 swapFree=4192956/4192956
[pid=12042] ppid=12040 vsize=21912 CPUtime=6.29
/proc/12042/stat : 12042 (pbscip.linux.x8) R 12040 12042 11743 0 -1 4202496 6238 0 0 0 574 55 0 0 25 0 1 0 6023187 22437888 4779 1992294400 4194304 7136930 140735285450512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12042/statm: 5478 4779 394 719 0 4757 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 21912
[startup+12.7007 s]
/proc/loadavg: 1.54 1.17 1.06 2/107 12045
/proc/meminfo: memFree=1769012/2059040 swapFree=4192956/4192956
[pid=12042] ppid=12040 vsize=28580 CPUtime=12.69
/proc/12042/stat : 12042 (pbscip.linux.x8) R 12040 12042 11743 0 -1 4202496 7950 0 0 0 1175 94 0 0 25 0 1 0 6023187 29265920 6491 1992294400 4194304 7136930 140735285450512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12042/statm: 7145 6491 394 719 0 6424 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 28580
[startup+25.5016 s]
/proc/loadavg: 1.46 1.17 1.05 2/107 12045
/proc/meminfo: memFree=1753016/2059040 swapFree=4192956/4192956
[pid=12042] ppid=12040 vsize=43148 CPUtime=25.48
/proc/12042/stat : 12042 (pbscip.linux.x8) R 12040 12042 11743 0 -1 4202496 11603 0 0 0 2377 171 0 0 25 0 1 0 6023187 44183552 10144 1992294400 4194304 7136930 140735285450512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12042/statm: 10787 10144 394 719 0 10066 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 43148
[startup+51.1014 s]
/proc/loadavg: 1.27 1.15 1.05 2/107 12045
/proc/meminfo: memFree=1736152/2059040 swapFree=4192956/4192956
[pid=12042] ppid=12040 vsize=59864 CPUtime=51.07
/proc/12042/stat : 12042 (pbscip.linux.x8) R 12040 12042 11743 0 -1 4202496 15851 0 0 0 4813 294 0 0 25 0 1 0 6023187 61300736 14392 1992294400 4194304 7136930 140735285450512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12042/statm: 14966 14392 394 719 0 14245 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 59864
[startup+102.309 s]
/proc/loadavg: 1.12 1.12 1.05 2/107 12047
/proc/meminfo: memFree=1698580/2059040 swapFree=4192956/4192956
[pid=12042] ppid=12040 vsize=98040 CPUtime=102.27
/proc/12042/stat : 12042 (pbscip.linux.x8) R 12040 12042 11743 0 -1 4202496 25115 0 0 0 9654 573 0 0 25 0 1 0 6023187 100392960 23656 1992294400 4194304 7136930 140735285450512 18446744073709551615 5955609 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12042/statm: 24510 23656 394 719 0 23789 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 98040
[startup+162.301 s]
/proc/loadavg: 1.04 1.10 1.04 2/107 12049
/proc/meminfo: memFree=1679360/2059040 swapFree=4192956/4192956
[pid=12042] ppid=12040 vsize=117632 CPUtime=162.23
/proc/12042/stat : 12042 (pbscip.linux.x8) R 12040 12042 11743 0 -1 4202496 30087 0 0 0 15363 860 0 0 25 0 1 0 6023187 120455168 28628 1992294400 4194304 7136930 140735285450512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12042/statm: 29408 28628 394 719 0 28687 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 117632
[startup+222.301 s]
/proc/loadavg: 1.01 1.08 1.03 2/107 12049
/proc/meminfo: memFree=1648112/2059040 swapFree=4192956/4192956
[pid=12042] ppid=12040 vsize=147452 CPUtime=222.22
/proc/12042/stat : 12042 (pbscip.linux.x8) R 12040 12042 11743 0 -1 4202496 37669 0 0 0 21114 1108 0 0 25 0 1 0 6023187 150990848 36210 1992294400 4194304 7136930 140735285450512 18446744073709551615 4644701 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12042/statm: 36863 36210 394 719 0 36142 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 147452
[startup+282.301 s]
/proc/loadavg: 1.06 1.08 1.03 2/107 12051
/proc/meminfo: memFree=1618104/2059040 swapFree=4192956/4192956
[pid=12042] ppid=12040 vsize=180764 CPUtime=282.2
/proc/12042/stat : 12042 (pbscip.linux.x8) R 12040 12042 11743 0 -1 4202496 45132 0 0 0 26885 1335 0 0 25 0 1 0 6023187 185102336 43673 1992294400 4194304 7136930 140735285450512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12042/statm: 45191 43673 394 719 0 44470 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 180764
[startup+342.302 s]
/proc/loadavg: 1.02 1.06 1.03 2/107 12053
/proc/meminfo: memFree=1585740/2059040 swapFree=4192956/4192956
[pid=12042] ppid=12040 vsize=212712 CPUtime=342.18
/proc/12042/stat : 12042 (pbscip.linux.x8) R 12040 12042 11743 0 -1 4202496 53262 0 0 0 32627 1591 0 0 25 0 1 0 6023187 217817088 51803 1992294400 4194304 7136930 140735285450512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12042/statm: 53178 51803 394 719 0 52457 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 212712
[startup+402.302 s]
/proc/loadavg: 1.00 1.05 1.02 2/107 12055
/proc/meminfo: memFree=1545068/2059040 swapFree=4192956/4192956
[pid=12042] ppid=12040 vsize=252552 CPUtime=402.16
/proc/12042/stat : 12042 (pbscip.linux.x8) R 12040 12042 11743 0 -1 4202496 63395 0 0 0 38347 1869 0 0 25 0 1 0 6023187 258613248 61936 1992294400 4194304 7136930 140735285450512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12042/statm: 63138 61936 394 719 0 62417 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 252552
[startup+462.302 s]
/proc/loadavg: 1.00 1.04 1.02 2/107 12057
/proc/meminfo: memFree=1520392/2059040 swapFree=4192956/4192956
[pid=12042] ppid=12040 vsize=276056 CPUtime=462.15
/proc/12042/stat : 12042 (pbscip.linux.x8) R 12040 12042 11743 0 -1 4202496 69397 0 0 0 44153 2062 0 0 25 0 1 0 6023187 282681344 67938 1992294400 4194304 7136930 140735285450512 18446744073709551615 4969877 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12042/statm: 69014 67938 394 719 0 68293 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 276056
[startup+522.301 s]
/proc/loadavg: 1.00 1.03 1.01 2/107 12057
/proc/meminfo: memFree=1499684/2059040 swapFree=4192956/4192956
[pid=12042] ppid=12040 vsize=297268 CPUtime=522.13
/proc/12042/stat : 12042 (pbscip.linux.x8) R 12040 12042 11743 0 -1 4202496 74809 0 0 0 49972 2241 0 0 25 0 1 0 6023187 304402432 73350 1992294400 4194304 7136930 140735285450512 18446744073709551615 4677326 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12042/statm: 74317 73350 394 719 0 73596 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 297268
[startup+582.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 12059
/proc/meminfo: memFree=1475132/2059040 swapFree=4192956/4192956
[pid=12042] ppid=12040 vsize=320036 CPUtime=582.11
/proc/12042/stat : 12042 (pbscip.linux.x8) R 12040 12042 11743 0 -1 4202496 80635 0 0 0 55790 2421 0 0 25 0 1 0 6023187 327716864 79176 1992294400 4194304 7136930 140735285450512 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12042/statm: 80009 79176 394 719 0 79288 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 320036
[startup+642.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 12061
/proc/meminfo: memFree=1454672/2059040 swapFree=4192956/4192956
[pid=12042] ppid=12040 vsize=339852 CPUtime=642.1
/proc/12042/stat : 12042 (pbscip.linux.x8) R 12040 12042 11743 0 -1 4202496 85708 0 0 0 61624 2586 0 0 25 0 1 0 6023187 348008448 84249 1992294400 4194304 7136930 140735285450512 18446744073709551615 4408811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12042/statm: 84963 84249 394 719 0 84242 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 339852
[startup+702.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 12063
/proc/meminfo: memFree=1434336/2059040 swapFree=4192956/4192956
[pid=12042] ppid=12040 vsize=359960 CPUtime=702.08
/proc/12042/stat : 12042 (pbscip.linux.x8) R 12040 12042 11743 0 -1 4202496 90813 0 0 0 67461 2747 0 0 25 0 1 0 6023187 368599040 89354 1992294400 4194304 7136930 140735285450512 18446744073709551615 6123172 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12042/statm: 89990 89354 394 719 0 89269 0
Current children cumulated CPU time (s) 702.08
Current children cumulated vsize (KiB) 359960
[startup+762.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12065
/proc/meminfo: memFree=1410280/2059040 swapFree=4192956/4192956
[pid=12042] ppid=12040 vsize=391716 CPUtime=762.07
/proc/12042/stat : 12042 (pbscip.linux.x8) R 12040 12042 11743 0 -1 4202496 96751 0 0 0 73299 2908 0 0 25 0 1 0 6023187 401117184 95292 1992294400 4194304 7136930 140735285450512 18446744073709551615 5955613 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12042/statm: 97929 95292 394 719 0 97208 0
Current children cumulated CPU time (s) 762.07
Current children cumulated vsize (KiB) 391716
[startup+822.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12065
/proc/meminfo: memFree=1391680/2059040 swapFree=4192956/4192956
[pid=12042] ppid=12040 vsize=410500 CPUtime=822.06
/proc/12042/stat : 12042 (pbscip.linux.x8) R 12040 12042 11743 0 -1 4202496 101519 0 0 0 79135 3071 0 0 25 0 1 0 6023187 420352000 100060 1992294400 4194304 7136930 140735285450512 18446744073709551615 4219807 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12042/statm: 102625 100060 394 719 0 101904 0
Current children cumulated CPU time (s) 822.06
Current children cumulated vsize (KiB) 410500
Solver just ended. Dumping a history of the last processes samples
[startup+844.702 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12067
/proc/meminfo: memFree=1382752/2059040 swapFree=4192956/4192956
[pid=12042] ppid=12040 vsize=418508 CPUtime=844.46
/proc/12042/stat : 12042 (pbscip.linux.x8) R 12040 12042 11743 0 -1 4202496 103580 0 0 0 81311 3135 0 0 25 0 1 0 6023187 428552192 102121 1992294400 4194304 7136930 140735285450512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12042/statm: 104627 102121 394 719 0 103906 0
Current children cumulated CPU time (s) 844.46
Current children cumulated vsize (KiB) 418508
[startup+851.101 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12067
/proc/meminfo: memFree=1382256/2059040 swapFree=4192956/4192956
[pid=12042] ppid=12040 vsize=419028 CPUtime=850.85
/proc/12042/stat : 12042 (pbscip.linux.x8) R 12040 12042 11743 0 -1 4202496 103722 0 0 0 81937 3148 0 0 25 0 1 0 6023187 429084672 102263 1992294400 4194304 7136930 140735285450512 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12042/statm: 104757 102263 394 719 0 104036 0
Current children cumulated CPU time (s) 850.85
Current children cumulated vsize (KiB) 419028
[startup+854.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12067
/proc/meminfo: memFree=1381760/2059040 swapFree=4192956/4192956
[pid=12042] ppid=12040 vsize=419544 CPUtime=854.05
/proc/12042/stat : 12042 (pbscip.linux.x8) R 12040 12042 11743 0 -1 4202496 103856 0 0 0 82248 3157 0 0 25 0 1 0 6023187 429613056 102397 1992294400 4194304 7136930 140735285450512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12042/statm: 104886 102397 394 719 0 104165 0
Current children cumulated CPU time (s) 854.05
Current children cumulated vsize (KiB) 419544
[startup+857.501 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12067
/proc/meminfo: memFree=1380768/2059040 swapFree=4192956/4192956
[pid=12042] ppid=12040 vsize=420900 CPUtime=857.24
/proc/12042/stat : 12042 (pbscip.linux.x8) R 12040 12042 11743 0 -1 4202496 104204 0 0 0 82559 3165 0 0 25 0 1 0 6023187 431001600 102745 1992294400 4194304 7136930 140735285450512 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12042/statm: 105225 102745 394 719 0 104504 0
Current children cumulated CPU time (s) 857.24
Current children cumulated vsize (KiB) 420900
[startup+859.109 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12067
/proc/meminfo: memFree=1380272/2059040 swapFree=4192956/4192956
[pid=12042] ppid=12040 vsize=420900 CPUtime=858.86
/proc/12042/stat : 12042 (pbscip.linux.x8) R 12040 12042 11743 0 -1 4202496 104204 0 0 0 82720 3166 0 0 25 0 1 0 6023187 431001600 102745 1992294400 4194304 7136930 140735285450512 18446744073709551615 6165594 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12042/statm: 105225 102745 394 719 0 104504 0
Current children cumulated CPU time (s) 858.86
Current children cumulated vsize (KiB) 420900
[startup+859.501 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12067
/proc/meminfo: memFree=1380272/2059040 swapFree=4192956/4192956
[pid=12042] ppid=12040 vsize=416788 CPUtime=859.25
/proc/12042/stat : 12042 (pbscip.linux.x8) R 12040 12042 11743 0 -1 4202496 104204 0 0 0 82759 3166 0 0 25 0 1 0 6023187 426790912 101717 1992294400 4194304 7136930 140735285450512 18446744073709551615 6165759 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12042/statm: 104197 101717 394 719 0 103476 0
Current children cumulated CPU time (s) 859.25
Current children cumulated vsize (KiB) 416788
[startup+859.701 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12067
/proc/meminfo: memFree=1380272/2059040 swapFree=4192956/4192956
[pid=12042] ppid=12040 vsize=383116 CPUtime=859.44
/proc/12042/stat : 12042 (pbscip.linux.x8) R 12040 12042 11743 0 -1 4202496 104204 0 0 0 82778 3166 0 0 25 0 1 0 6023187 392310784 93299 1992294400 4194304 7136930 140735285450512 18446744073709551615 4212562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12042/statm: 95779 93299 394 719 0 95058 0
Current children cumulated CPU time (s) 859.44
Current children cumulated vsize (KiB) 383116
[startup+859.801 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12067
/proc/meminfo: memFree=1380272/2059040 swapFree=4192956/4192956
[pid=12042] ppid=12040 vsize=297376 CPUtime=859.55
/proc/12042/stat : 12042 (pbscip.linux.x8) R 12040 12042 11743 0 -1 4202496 104279 0 0 0 82788 3167 0 0 25 0 1 0 6023187 304513024 71870 1992294400 4194304 7136930 140735285450512 18446744073709551615 6166240 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12042/statm: 74344 71870 400 719 0 73623 0
Current children cumulated CPU time (s) 859.55
Current children cumulated vsize (KiB) 297376
Child status: 0
Real time (s): 859.854
CPU time (s): 859.608
CPU user time (s): 827.903
CPU system time (s): 31.7052
CPU usage (%): 99.9714
Max. virtual memory (cumulated for all children) (KiB): 420900
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 827.903
system time used= 31.7052
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 104285
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= 1519
runsolver used 1.38279 second user time and 4.10438 second system time
The end