0.00/0.01 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
0.00/0.01 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-2703535-1278562890.opb>
0.00/0.01 c original problem has 41 variables (41 bin, 0 int, 0 impl, 0 cont) and 11 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 c presolving:
0.00/0.01 c (round 1) 1 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.02 c (round 2) 1 del vars, 6 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.02 c presolving (3 rounds):
0.00/0.02 c 1 deleted vars, 6 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.02 c 0 implications, 0 cliques
0.00/0.02 c presolved problem has 40 variables (40 bin, 0 int, 0 impl, 0 cont) and 5 constraints
0.00/0.02 c 5 constraints of type <linear>
0.00/0.02 c transformed objective value is always integral (scale: 1)
0.00/0.02 c Presolving Time: 0.01
0.00/0.02 c - non default parameters ----------------------------------------------------------------------
0.00/0.02 c # SCIP version 1.2.1.3
0.00/0.02 c
0.00/0.02 c # frequency for displaying node information lines
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.02 c display/freq = 10000
0.00/0.02 c
0.00/0.02 c # maximal time in seconds to run
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/time = 1790
0.00/0.02 c
0.00/0.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/memory = 1620
0.00/0.02 c
0.00/0.02 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.02 c # [type: int, range: [1,2], default: 1]
0.00/0.02 c timing/clocktype = 2
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify inequalities
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/linear/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/indicator/addCouplingCons = TRUE
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify knapsacks
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.02 c separating/rapidlearning/freq = 0
0.00/0.02 c
0.00/0.02 c -----------------------------------------------------------------------------------------------
0.00/0.02 c start solving
0.00/0.02 c
0.00/0.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.02 c 0.0s| 1 | 0 | 24 | - | 235k| 0 | 5 | 40 | 5 | 40 | 5 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.10 c 0.1s| 1 | 0 | 90 | - | 319k| 0 | 9 | 40 | 36 | 40 | 9 | 4 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.11 c 0.1s| 1 | 0 | 92 | - | 341k| 0 | 11 | 40 | 36 | 40 | 12 | 7 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.11 c 0.1s| 1 | 0 | 97 | - | 355k| 0 | 13 | 40 | 36 | 40 | 15 | 10 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.12 c 0.1s| 1 | 0 | 107 | - | 378k| 0 | 13 | 40 | 36 | 40 | 17 | 12 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.12 c 0.1s| 1 | 0 | 118 | - | 400k| 0 | 15 | 40 | 36 | 40 | 20 | 15 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.13 c 0.1s| 1 | 0 | 128 | - | 410k| 0 | 19 | 40 | 36 | 40 | 23 | 18 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.19 c 0.2s| 1 | 2 | 128 | - | 410k| 0 | 19 | 40 | 36 | 40 | 23 | 18 | 0 | 9 | 0.000000e+00 | -- | Inf
3.89/3.98 c 4.0s| 10000 | 3629 | 21893 | 2.2 |3897k| 36 | 5 | 40 |3377 | 40 | 19 | 18 |4671 | 419 | 0.000000e+00 | -- | Inf
7.89/7.92 c 7.9s| 20000 | 6878 | 43456 | 2.2 |5762k| 36 | 5 | 40 |2532 | 40 | 19 | 18 |9566 | 546 | 0.000000e+00 | -- | Inf
11.79/11.86 c 11.8s| 30000 | 10117 | 65380 | 2.2 |7892k| 36 | 5 | 40 |3008 | 40 | 19 | 18 | 14k| 663 | 0.000000e+00 | -- | Inf
15.98/16.00 c 16.0s| 40000 | 13316 | 86708 | 2.2 |9926k| 36 | 5 | 40 |3243 | 40 | 19 | 18 | 19k| 751 | 0.000000e+00 | -- | Inf
20.18/20.27 c 20.3s| 50000 | 16419 |107965 | 2.2 | 12M| 36 | 5 | 40 |3638 | 40 | 19 | 18 | 24k| 798 | 0.000000e+00 | -- | Inf
24.38/24.42 c 24.4s| 60000 | 19973 |129583 | 2.2 | 14M| 36 | 5 | 40 |4462 | 40 | 19 | 18 | 29k| 848 | 0.000000e+00 | -- | Inf
29.09/29.11 c 29.1s| 70000 | 22957 |150062 | 2.1 | 16M| 36 | - | 40 |4341 | 40 | 19 | 18 | 34k| 884 | 0.000000e+00 | -- | Inf
33.99/34.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
33.99/34.09 c 34.1s| 80000 | 25806 |171303 | 2.1 | 18M| 36 | 5 | 40 |4518 | 40 | 19 | 18 | 39k| 916 | 0.000000e+00 | -- | Inf
38.88/38.97 c 39.0s| 90000 | 28969 |193191 | 2.1 | 20M| 36 | 5 | 40 |4855 | 40 | 19 | 18 | 44k| 960 | 0.000000e+00 | -- | Inf
44.08/44.17 c 44.2s|100000 | 31990 |214040 | 2.1 | 22M| 36 | 5 | 40 |5252 | 40 | 19 | 18 | 50k| 994 | 0.000000e+00 | -- | Inf
49.58/49.61 c 49.6s|110000 | 34729 |234596 | 2.1 | 24M| 36 | - | 40 |5423 | 0 | 0 | 18 | 55k|1037 | 0.000000e+00 | -- | Inf
55.07/55.18 c 55.2s|120000 | 37386 |255250 | 2.1 | 26M| 36 | 5 | 40 |5517 | 40 | 19 | 18 | 60k|1064 | 0.000000e+00 | -- | Inf
60.57/60.62 c 60.6s|130000 | 40313 |277033 | 2.1 | 28M| 36 | - | 40 |6097 | 40 | 19 | 18 | 66k|1098 | 0.000000e+00 | -- | Inf
66.47/66.59 c 66.6s|140000 | 42943 |298504 | 2.1 | 30M| 36 | 5 | 40 |5683 | 40 | 19 | 18 | 71k|1152 | 0.000000e+00 | -- | Inf
71.77/71.85 c 71.8s|150000 | 45744 |319843 | 2.1 | 32M| 36 | - | 40 |6525 | 40 | 19 | 18 | 77k|1181 | 0.000000e+00 | -- | Inf
77.86/77.98 c 78.0s|160000 | 48055 |340589 | 2.1 | 34M| 36 | 5 | 40 |7269 | 40 | 19 | 18 | 82k|1195 | 0.000000e+00 | -- | Inf
84.16/84.23 c 84.2s|170000 | 50546 |361473 | 2.1 | 36M| 36 | 5 | 40 |7502 | 40 | 19 | 18 | 88k|1220 | 0.000000e+00 | -- | Inf
91.56/91.60 c 91.6s|180000 | 52543 |381650 | 2.1 | 37M| 36 | 5 | 40 |7123 | 40 | 19 | 18 | 94k|1248 | 0.000000e+00 | -- | Inf
97.15/97.26 c 97.3s|190000 | 54980 |402580 | 2.1 | 39M| 36 | - | 40 |8462 | 40 | 19 | 18 | 100k|1263 | 0.000000e+00 | -- | Inf
103.45/103.53 c 104s|200000 | 57500 |422770 | 2.1 | 42M| 36 | 5 | 40 | 11k| 40 | 19 | 18 | 105k|1285 | 0.000000e+00 | -- | Inf
111.15/111.25 c 111s|210000 | 59538 |443959 | 2.1 | 43M| 36 | - | 40 |8430 | 40 | 19 | 18 | 111k|1306 | 0.000000e+00 | -- | Inf
119.25/119.35 c 119s|220000 | 61308 |464471 | 2.1 | 44M| 36 | - | 40 |7994 | 40 | 19 | 18 | 117k|1324 | 0.000000e+00 | -- | Inf
126.65/126.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
126.65/126.78 c 127s|230000 | 63131 |485432 | 2.1 | 46M| 36 | - | 40 |7734 | 40 | 19 | 18 | 123k|1345 | 0.000000e+00 | -- | Inf
133.65/133.76 c 134s|240000 | 65223 |506783 | 2.1 | 48M| 36 | 5 | 40 |9120 | 40 | 19 | 18 | 129k|1376 | 0.000000e+00 | -- | Inf
141.25/141.31 c 141s|250000 | 67105 |527304 | 2.1 | 49M| 36 | - | 40 |8323 | 40 | 19 | 18 | 135k|1393 | 0.000000e+00 | -- | Inf
148.64/148.78 c 149s|260000 | 69039 |548273 | 2.1 | 51M| 36 | 5 | 40 |9694 | 40 | 19 | 18 | 142k|1407 | 0.000000e+00 | -- | Inf
157.15/157.20 c 157s|270000 | 70882 |569013 | 2.1 | 52M| 36 | 5 | 40 |8551 | 40 | 19 | 18 | 148k|1426 | 0.000000e+00 | -- | Inf
164.84/164.93 c 165s|280000 | 72684 |589696 | 2.1 | 54M| 36 | 5 | 40 |8839 | 40 | 19 | 18 | 154k|1446 | 0.000000e+00 | -- | Inf
171.64/171.74 c 172s|290000 | 74667 |610102 | 2.1 | 56M| 36 | - | 40 | 10k| 40 | 19 | 18 | 160k|1459 | 0.000000e+00 | -- | Inf
180.73/180.85 c 181s|300000 | 76338 |630521 | 2.1 | 57M| 36 | 5 | 40 |8689 | 40 | 19 | 18 | 167k|1475 | 0.000000e+00 | -- | Inf
189.52/189.64 c 190s|310000 | 78022 |651357 | 2.1 | 59M| 36 | 5 | 40 |8949 | 40 | 19 | 18 | 173k|1507 | 0.000000e+00 | -- | Inf
198.12/198.21 c 198s|320000 | 79793 |672049 | 2.1 | 60M| 36 | - | 40 |8734 | 40 | 19 | 18 | 179k|1532 | 0.000000e+00 | -- | Inf
205.32/205.47 c 205s|330000 | 81620 |692359 | 2.1 | 62M| 36 | 5 | 40 | 10k| 40 | 19 | 18 | 186k|1559 | 0.000000e+00 | -- | Inf
212.62/212.79 c 213s|340000 | 83864 |713731 | 2.1 | 64M| 36 | - | 40 | 12k| 40 | 19 | 18 | 192k|1576 | 0.000000e+00 | -- | Inf
221.72/221.88 c 222s|350000 | 85719 |733595 | 2.1 | 66M| 36 | - | 40 | 12k| 40 | 19 | 18 | 197k|1594 | 0.000000e+00 | -- | Inf
230.21/230.36 c 230s|360000 | 87889 |754470 | 2.1 | 67M| 36 | - | 40 | 11k| 40 | 19 | 18 | 203k|1609 | 0.000000e+00 | -- | Inf
239.51/239.68 c 240s|370000 | 89493 |775478 | 2.1 | 69M| 36 | - | 40 | 10k| 40 | 19 | 18 | 210k|1632 | 0.000000e+00 | -- | Inf
248.81/248.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
248.81/248.94 c 249s|380000 | 91215 |795784 | 2.1 | 70M| 36 | 5 | 40 | 10k| 40 | 19 | 18 | 216k|1653 | 0.000000e+00 | -- | Inf
258.20/258.35 c 258s|390000 | 92990 |816279 | 2.1 | 72M| 36 | 5 | 40 | 10k| 40 | 19 | 18 | 223k|1666 | 0.000000e+00 | -- | Inf
266.60/266.75 c 267s|400000 | 94812 |836492 | 2.1 | 73M| 36 | 5 | 40 | 11k| 40 | 19 | 18 | 229k|1677 | 0.000000e+00 | -- | Inf
274.20/274.33 c 274s|410000 | 96977 |855948 | 2.1 | 75M| 36 | 5 | 40 | 12k| 40 | 19 | 18 | 234k|1689 | 0.000000e+00 | -- | Inf
284.70/284.87 c 285s|420000 | 98514 |876119 | 2.1 | 76M| 36 | - | 40 | 10k| 40 | 19 | 18 | 241k|1706 | 0.000000e+00 | -- | Inf
294.60/294.73 c 295s|430000 | 99944 |896534 | 2.1 | 77M| 36 | 5 | 40 |9421 | 40 | 19 | 18 | 247k|1725 | 0.000000e+00 | -- | Inf
303.79/303.95 c 304s|440000 |101518 |917773 | 2.1 | 79M| 36 | 5 | 40 |9903 | 40 | 19 | 18 | 254k|1739 | 0.000000e+00 | -- | Inf
312.59/312.78 c 313s|450000 |103153 |938099 | 2.1 | 81M| 36 | 5 | 40 | 10k| 40 | 19 | 18 | 260k|1755 | 0.000000e+00 | -- | Inf
320.18/320.30 c 320s|460000 |105111 |959415 | 2.1 | 82M| 36 | 5 | 40 | 11k| 40 | 19 | 18 | 266k|1766 | 0.000000e+00 | -- | Inf
330.38/330.51 c 330s|470000 |106454 |979567 | 2.1 | 83M| 36 | 5 | 40 | 10k| 40 | 19 | 18 | 273k|1778 | 0.000000e+00 | -- | Inf
338.18/338.34 c 338s|480000 |108393 | 1000k| 2.1 | 85M| 36 | - | 40 | 11k| 40 | 19 | 18 | 279k|1791 | 0.000000e+00 | -- | Inf
348.78/348.97 c 349s|490000 |109716 | 1020k| 2.1 | 86M| 36 | 5 | 40 | 10k| 40 | 19 | 18 | 286k|1809 | 0.000000e+00 | -- | Inf
358.38/358.54 c 359s|500000 |111282 | 1041k| 2.1 | 88M| 36 | 5 | 40 | 10k| 40 | 19 | 18 | 292k|1827 | 0.000000e+00 | -- | Inf
367.76/367.95 c 368s|510000 |112779 | 1062k| 2.1 | 89M| 36 | - | 40 | 10k| 40 | 19 | 18 | 299k|1848 | 0.000000e+00 | -- | Inf
377.66/377.82 c 378s|520000 |114255 | 1082k| 2.1 | 91M| 36 | - | 40 | 11k| 40 | 19 | 18 | 305k|1856 | 0.000000e+00 | -- | Inf
387.45/387.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
387.45/387.67 c 388s|530000 |115750 | 1102k| 2.1 | 92M| 36 | - | 40 | 11k| 40 | 19 | 18 | 312k|1877 | 0.000000e+00 | -- | Inf
398.15/398.39 c 398s|540000 |116945 | 1123k| 2.1 | 93M| 36 | - | 40 | 11k| 40 | 19 | 18 | 319k|1887 | 0.000000e+00 | -- | Inf
408.05/408.20 c 408s|550000 |118376 | 1143k| 2.1 | 95M| 36 | - | 40 | 10k| 40 | 19 | 18 | 325k|1904 | 0.000000e+00 | -- | Inf
416.75/416.91 c 417s|560000 |120046 | 1163k| 2.1 | 97M| 36 | - | 40 | 12k| 40 | 19 | 18 | 331k|1916 | 0.000000e+00 | -- | Inf
425.94/426.15 c 426s|570000 |121590 | 1184k| 2.1 | 98M| 36 | - | 40 | 12k| 40 | 19 | 18 | 338k|1926 | 0.000000e+00 | -- | Inf
437.04/437.20 c 437s|580000 |122846 | 1205k| 2.1 | 99M| 36 | 5 | 40 | 11k| 40 | 19 | 18 | 345k|1942 | 0.000000e+00 | -- | Inf
446.14/446.38 c 446s|590000 |124427 | 1225k| 2.1 | 101M| 36 | 5 | 40 | 12k| 40 | 19 | 18 | 351k|1952 | 0.000000e+00 | -- | Inf
457.53/457.75 c 458s|600000 |125657 | 1246k| 2.1 | 102M| 36 | 5 | 40 | 11k| 40 | 19 | 18 | 358k|1964 | 0.000000e+00 | -- | Inf
468.23/468.47 c 468s|610000 |127126 | 1266k| 2.1 | 103M| 36 | - | 40 | 12k| 40 | 19 | 18 | 364k|1984 | 0.000000e+00 | -- | Inf
480.44/480.60 c 481s|620000 |128241 | 1286k| 2.1 | 104M| 36 | - | 40 | 10k| 40 | 19 | 18 | 371k|1997 | 0.000000e+00 | -- | Inf
489.73/489.99 c 490s|630000 |129774 | 1307k| 2.1 | 106M| 36 | 5 | 40 | 12k| 40 | 19 | 18 | 378k|2012 | 0.000000e+00 | -- | Inf
500.63/500.83 c 501s|640000 |130956 | 1327k| 2.1 | 107M| 36 | 5 | 40 | 12k| 40 | 19 | 18 | 385k|2033 | 0.000000e+00 | -- | Inf
513.53/513.72 c 514s|650000 |132062 | 1348k| 2.1 | 108M| 36 | 5 | 40 | 11k| 40 | 19 | 18 | 392k|2047 | 0.000000e+00 | -- | Inf
524.92/525.13 c 525s|660000 |133241 | 1369k| 2.1 | 109M| 36 | 5 | 40 | 11k| 40 | 19 | 18 | 398k|2063 | 0.000000e+00 | -- | Inf
534.91/535.16 c 535s|670000 |134531 | 1388k| 2.1 | 111M| 36 | 5 | 40 | 12k| 40 | 19 | 18 | 405k|2075 | 0.000000e+00 | -- | Inf
544.71/544.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
544.71/544.95 c 545s|680000 |136257 | 1409k| 2.1 | 113M| 36 | 5 | 40 | 13k| 40 | 19 | 18 | 411k|2093 | 0.000000e+00 | -- | Inf
552.80/553.09 c 553s|690000 |138383 | 1430k| 2.1 | 115M| 36 | - | 40 | 15k| 40 | 19 | 18 | 417k|2101 | 0.000000e+00 | -- | Inf
562.70/562.95 c 563s|700000 |139901 | 1450k| 2.1 | 116M| 36 | 5 | 40 | 15k| 40 | 19 | 18 | 423k|2116 | 0.000000e+00 | -- | Inf
572.81/573.05 c 573s|710000 |141541 | 1471k| 2.1 | 117M| 36 | - | 40 | 15k| 0 | 0 | 18 | 430k|2122 | 0.000000e+00 | -- | Inf
582.99/583.20 c 583s|720000 |142961 | 1491k| 2.1 | 119M| 36 | 5 | 40 | 16k| 40 | 19 | 18 | 436k|2133 | 0.000000e+00 | -- | Inf
593.99/594.22 c 594s|730000 |144152 | 1511k| 2.1 | 120M| 36 | 5 | 40 | 15k| 40 | 19 | 18 | 442k|2144 | 0.000000e+00 | -- | Inf
608.39/608.66 c 609s|740000 |145218 | 1531k| 2.1 | 120M| 36 | - | 40 | 12k| 40 | 19 | 18 | 449k|2161 | 0.000000e+00 | -- | Inf
618.88/619.10 c 619s|750000 |146655 | 1552k| 2.1 | 122M| 36 | 5 | 40 | 14k| 40 | 19 | 18 | 455k|2176 | 0.000000e+00 | -- | Inf
630.08/630.36 c 630s|760000 |147985 | 1572k| 2.1 | 124M| 36 | 5 | 40 | 15k| 40 | 19 | 18 | 462k|2187 | 0.000000e+00 | -- | Inf
638.97/639.21 c 639s|770000 |149990 | 1594k| 2.1 | 126M| 36 | 5 | 40 | 17k| 40 | 19 | 18 | 468k|2200 | 0.000000e+00 | -- | Inf
648.58/648.80 c 649s|780000 |152161 | 1615k| 2.1 | 128M| 36 | 5 | 40 | 18k| 40 | 19 | 18 | 474k|2209 | 0.000000e+00 | -- | Inf
659.47/659.74 c 660s|790000 |153975 | 1636k| 2.1 | 130M| 36 | - | 40 | 19k| 40 | 19 | 18 | 481k|2215 | 0.000000e+00 | -- | Inf
671.77/672.04 c 672s|800000 |155498 | 1658k| 2.1 | 131M| 36 | - | 40 | 19k| 40 | 19 | 18 | 487k|2232 | 0.000000e+00 | -- | Inf
683.66/683.91 c 684s|810000 |157026 | 1678k| 2.1 | 132M| 36 | - | 40 | 20k| 40 | 19 | 18 | 493k|2241 | 0.000000e+00 | -- | Inf
696.46/696.70 c 697s|820000 |158415 | 1699k| 2.1 | 133M| 36 | 5 | 40 | 18k| 40 | 19 | 18 | 500k|2251 | 0.000000e+00 | -- | Inf
710.55/710.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
710.55/710.86 c 711s|830000 |159733 | 1719k| 2.1 | 134M| 36 | 5 | 40 | 15k| 40 | 19 | 18 | 507k|2262 | 0.000000e+00 | -- | Inf
722.65/722.92 c 723s|840000 |161091 | 1739k| 2.1 | 135M| 36 | 5 | 40 | 14k| 40 | 19 | 18 | 513k|2276 | 0.000000e+00 | -- | Inf
736.44/736.71 c 737s|850000 |162209 | 1760k| 2.1 | 136M| 36 | - | 40 | 13k| 40 | 19 | 18 | 520k|2293 | 0.000000e+00 | -- | Inf
745.94/746.23 c 746s|860000 |163752 | 1781k| 2.1 | 138M| 36 | - | 40 | 16k| 0 | 0 | 18 | 527k|2310 | 0.000000e+00 | -- | Inf
759.23/759.56 c 760s|870000 |164984 | 1801k| 2.1 | 139M| 36 | - | 40 | 15k| 0 | 0 | 18 | 534k|2318 | 0.000000e+00 | -- | Inf
772.13/772.46 c 772s|880000 |166253 | 1821k| 2.1 | 140M| 36 | - | 40 | 15k| 40 | 19 | 18 | 540k|2332 | 0.000000e+00 | -- | Inf
783.42/783.75 c 784s|890000 |167918 | 1842k| 2.1 | 142M| 36 | 5 | 40 | 15k| 40 | 19 | 18 | 547k|2340 | 0.000000e+00 | -- | Inf
794.62/794.97 c 795s|900000 |169307 | 1863k| 2.1 | 144M| 36 | - | 40 | 16k| 40 | 19 | 18 | 554k|2343 | 0.000000e+00 | -- | Inf
809.33/809.67 c 810s|910000 |170479 | 1883k| 2.1 | 144M| 36 | - | 40 | 14k| 0 | 0 | 18 | 560k|2353 | 0.000000e+00 | -- | Inf
819.13/819.49 c 819s|920000 |172004 | 1904k| 2.1 | 146M| 36 | - | 40 | 16k| 40 | 19 | 18 | 567k|2373 | 0.000000e+00 | -- | Inf
832.21/832.59 c 833s|930000 |173374 | 1925k| 2.1 | 147M| 36 | 5 | 40 | 16k| 40 | 19 | 18 | 574k|2387 | 0.000000e+00 | -- | Inf
843.21/843.58 c 844s|940000 |174754 | 1945k| 2.1 | 149M| 36 | 5 | 40 | 16k| 40 | 19 | 18 | 581k|2396 | 0.000000e+00 | -- | Inf
857.10/857.40 c 857s|950000 |175817 | 1966k| 2.1 | 150M| 36 | 5 | 40 | 15k| 40 | 19 | 18 | 588k|2412 | 0.000000e+00 | -- | Inf
869.29/869.60 c 870s|960000 |177101 | 1986k| 2.1 | 151M| 36 | 5 | 40 | 14k| 40 | 19 | 18 | 594k|2422 | 0.000000e+00 | -- | Inf
882.10/882.43 c 882s|970000 |178283 | 2007k| 2.1 | 152M| 36 | - | 40 | 14k| 0 | 0 | 18 | 601k|2436 | 0.000000e+00 | -- | Inf
894.99/895.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
894.99/895.37 c 895s|980000 |179497 | 2028k| 2.1 | 153M| 36 | 5 | 40 | 13k| 40 | 19 | 18 | 608k|2450 | 0.000000e+00 | -- | Inf
908.99/909.36 c 909s|990000 |180570 | 2048k| 2.1 | 154M| 36 | - | 40 | 13k| 40 | 19 | 18 | 615k|2462 | 0.000000e+00 | -- | Inf
920.78/921.19 c 921s| 1000k|181825 | 2068k| 2.1 | 156M| 36 | 5 | 40 | 14k| 40 | 19 | 18 | 621k|2470 | 0.000000e+00 | -- | Inf
931.17/931.58 c 932s| 1010k|183032 | 2088k| 2.1 | 158M| 36 | 5 | 40 | 17k| 40 | 19 | 18 | 628k|2480 | 0.000000e+00 | -- | Inf
944.87/945.30 c 945s| 1020k|184167 | 2108k| 2.1 | 159M| 36 | 5 | 40 | 15k| 40 | 19 | 18 | 635k|2489 | 0.000000e+00 | -- | Inf
957.47/957.88 c 958s| 1030k|185490 | 2128k| 2.1 | 160M| 36 | 5 | 40 | 15k| 40 | 19 | 18 | 641k|2497 | 0.000000e+00 | -- | Inf
971.27/971.67 c 972s| 1040k|186449 | 2148k| 2.1 | 161M| 36 | - | 40 | 15k| 0 | 0 | 18 | 648k|2507 | 0.000000e+00 | -- | Inf
982.46/982.84 c 983s| 1050k|187641 | 2169k| 2.1 | 163M| 36 | 5 | 40 | 17k| 40 | 19 | 18 | 655k|2518 | 0.000000e+00 | -- | Inf
995.45/995.84 c 996s| 1060k|188977 | 2189k| 2.1 | 164M| 36 | 5 | 40 | 16k| 40 | 19 | 18 | 662k|2533 | 0.000000e+00 | -- | Inf
1008.05/1008.47 c 1008s| 1070k|190276 | 2210k| 2.1 | 165M| 36 | 5 | 40 | 16k| 40 | 19 | 18 | 668k|2541 | 0.000000e+00 | -- | Inf
1023.05/1023.45 c 1023s| 1080k|191230 | 2231k| 2.1 | 166M| 36 | - | 40 | 15k| 40 | 19 | 18 | 675k|2551 | 0.000000e+00 | -- | Inf
1035.34/1035.72 c 1036s| 1090k|192461 | 2251k| 2.1 | 168M| 36 | 5 | 40 | 16k| 40 | 19 | 18 | 682k|2565 | 0.000000e+00 | -- | Inf
1051.64/1052.00 c 1052s| 1100k|193384 | 2271k| 2.1 | 168M| 36 | - | 40 | 14k| 40 | 19 | 18 | 689k|2574 | 0.000000e+00 | -- | Inf
1064.44/1064.89 c 1065s| 1110k|194607 | 2292k| 2.1 | 170M| 36 | 5 | 40 | 15k| 40 | 19 | 18 | 696k|2583 | 0.000000e+00 | -- | Inf
1079.03/1079.47 c 1079s| 1120k|195640 | 2312k| 2.1 | 170M| 36 | - | 40 | 13k| 40 | 19 | 18 | 703k|2590 | 0.000000e+00 | -- | Inf
1092.52/1092.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1092.52/1092.98 c 1093s| 1130k|196650 | 2333k| 2.1 | 172M| 36 | - | 40 | 14k| 40 | 19 | 18 | 710k|2602 | 0.000000e+00 | -- | Inf
1104.22/1104.63 c 1105s| 1140k|197748 | 2353k| 2.1 | 174M| 36 | 5 | 40 | 16k| 40 | 19 | 18 | 717k|2616 | 0.000000e+00 | -- | Inf
1113.82/1114.24 c 1114s| 1150k|199206 | 2373k| 2.1 | 176M| 36 | 5 | 40 | 19k| 40 | 19 | 18 | 723k|2629 | 0.000000e+00 | -- | Inf
1130.32/1130.70 c 1131s| 1160k|200154 | 2394k| 2.1 | 176M| 36 | - | 40 | 16k| 40 | 19 | 18 | 730k|2637 | 0.000000e+00 | -- | Inf
1143.31/1143.78 c 1144s| 1170k|201367 | 2416k| 2.1 | 177M| 36 | - | 40 | 17k| 40 | 19 | 18 | 737k|2647 | 0.000000e+00 | -- | Inf
1154.10/1154.54 c 1155s| 1180k|202726 | 2438k| 2.1 | 179M| 36 | 5 | 40 | 19k| 40 | 19 | 18 | 744k|2657 | 0.000000e+00 | -- | Inf
1167.30/1167.73 c 1168s| 1190k|203997 | 2459k| 2.1 | 181M| 36 | - | 40 | 20k| 40 | 19 | 18 | 751k|2672 | 0.000000e+00 | -- | Inf
1184.09/1184.52 c 1185s| 1200k|205042 | 2480k| 2.1 | 181M| 36 | 5 | 40 | 16k| 40 | 19 | 18 | 758k|2684 | 0.000000e+00 | -- | Inf
1199.79/1200.25 c 1200s| 1210k|205958 | 2500k| 2.1 | 182M| 36 | 5 | 40 | 15k| 40 | 19 | 18 | 765k|2694 | 0.000000e+00 | -- | Inf
1212.79/1213.21 c 1213s| 1220k|207029 | 2521k| 2.1 | 184M| 36 | - | 40 | 17k| 40 | 19 | 18 | 772k|2706 | 0.000000e+00 | -- | Inf
1227.77/1228.28 c 1228s| 1230k|208075 | 2541k| 2.1 | 185M| 36 | - | 40 | 16k| 40 | 19 | 18 | 779k|2715 | 0.000000e+00 | -- | Inf
1241.87/1242.33 c 1242s| 1240k|209185 | 2562k| 2.1 | 186M| 36 | 5 | 40 | 16k| 40 | 19 | 18 | 786k|2726 | 0.000000e+00 | -- | Inf
1252.67/1253.13 c 1253s| 1250k|211044 | 2583k| 2.1 | 188M| 36 | 5 | 40 | 18k| 40 | 19 | 18 | 792k|2734 | 0.000000e+00 | -- | Inf
1263.57/1264.08 c 1264s| 1260k|213033 | 2605k| 2.1 | 190M| 36 | 5 | 40 | 19k| 40 | 19 | 18 | 798k|2742 | 0.000000e+00 | -- | Inf
1276.16/1276.69 c 1277s| 1270k|214477 | 2627k| 2.1 | 191M| 36 | - | 40 | 20k| 0 | 0 | 18 | 805k|2749 | 0.000000e+00 | -- | Inf
1289.76/1290.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1289.76/1290.21 c 1290s| 1280k|215779 | 2649k| 2.1 | 193M| 36 | - | 40 | 20k| 40 | 19 | 18 | 811k|2757 | 0.000000e+00 | -- | Inf
1304.35/1304.86 c 1305s| 1290k|216690 | 2670k| 2.1 | 194M| 36 | 5 | 40 | 20k| 40 | 19 | 18 | 818k|2768 | 0.000000e+00 | -- | Inf
1317.75/1318.24 c 1318s| 1300k|218159 | 2692k| 2.1 | 195M| 36 | 5 | 40 | 21k| 40 | 19 | 18 | 825k|2778 | 0.000000e+00 | -- | Inf
1330.24/1330.76 c 1331s| 1310k|220046 | 2714k| 2.1 | 197M| 36 | 5 | 40 | 22k| 40 | 19 | 18 | 831k|2788 | 0.000000e+00 | -- | Inf
1343.14/1343.64 c 1344s| 1320k|222083 | 2735k| 2.1 | 199M| 36 | - | 40 | 23k| 40 | 19 | 18 | 837k|2797 | 0.000000e+00 | -- | Inf
1357.63/1358.15 c 1358s| 1330k|223581 | 2756k| 2.1 | 200M| 36 | 5 | 40 | 23k| 40 | 19 | 18 | 843k|2808 | 0.000000e+00 | -- | Inf
1372.63/1373.11 c 1373s| 1340k|224914 | 2777k| 2.1 | 201M| 36 | 5 | 40 | 22k| 40 | 19 | 18 | 850k|2817 | 0.000000e+00 | -- | Inf
1387.92/1388.46 c 1388s| 1350k|226166 | 2799k| 2.1 | 203M| 36 | - | 40 | 23k| 40 | 19 | 18 | 856k|2824 | 0.000000e+00 | -- | Inf
1402.51/1403.09 c 1403s| 1360k|227427 | 2820k| 2.1 | 204M| 36 | 5 | 40 | 23k| 40 | 19 | 18 | 863k|2831 | 0.000000e+00 | -- | Inf
1419.51/1420.07 c 1420s| 1370k|228246 | 2841k| 2.1 | 205M| 36 | 5 | 40 | 21k| 40 | 19 | 18 | 870k|2840 | 0.000000e+00 | -- | Inf
1434.21/1434.70 c 1435s| 1380k|229284 | 2861k| 2.1 | 206M| 36 | 5 | 40 | 22k| 40 | 19 | 18 | 877k|2845 | 0.000000e+00 | -- | Inf
1453.20/1453.79 c 1454s| 1390k|230181 | 2882k| 2.1 | 206M| 36 | - | 40 | 18k| 0 | 0 | 18 | 884k|2855 | 0.000000e+00 | -- | Inf
1468.40/1468.97 c 1469s| 1400k|231325 | 2902k| 2.1 | 207M| 36 | 5 | 40 | 17k| 40 | 19 | 18 | 891k|2867 | 0.000000e+00 | -- | Inf
1482.00/1482.55 c 1483s| 1410k|232527 | 2923k| 2.1 | 208M| 36 | 5 | 40 | 17k| 40 | 19 | 18 | 898k|2878 | 0.000000e+00 | -- | Inf
1495.09/1495.66 c 1496s| 1420k|233698 | 2943k| 2.1 | 210M| 36 | 5 | 40 | 18k| 40 | 19 | 18 | 904k|2889 | 0.000000e+00 | -- | Inf
1510.58/1511.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1510.58/1511.12 c 1511s| 1430k|234848 | 2963k| 2.1 | 211M| 36 | - | 40 | 19k| 0 | 0 | 18 | 911k|2897 | 0.000000e+00 | -- | Inf
1524.78/1525.33 c 1525s| 1440k|235975 | 2983k| 2.1 | 212M| 36 | 5 | 40 | 18k| 40 | 19 | 18 | 918k|2909 | 0.000000e+00 | -- | Inf
1534.27/1534.87 c 1535s| 1450k|238046 | 3005k| 2.1 | 214M| 36 | 5 | 40 | 20k| 40 | 19 | 18 | 924k|2919 | 0.000000e+00 | -- | Inf
1545.47/1546.06 c 1546s| 1460k|239465 | 3025k| 2.1 | 216M| 36 | 5 | 40 | 20k| 40 | 19 | 18 | 931k|2924 | 0.000000e+00 | -- | Inf
1558.07/1558.61 c 1559s| 1470k|240545 | 3045k| 2.1 | 217M| 36 | 5 | 40 | 22k| 40 | 19 | 18 | 938k|2932 | 0.000000e+00 | -- | Inf
1569.17/1569.76 c 1570s| 1480k|242454 | 3066k| 2.1 | 219M| 36 | - | 40 | 23k| 0 | 0 | 18 | 944k|2944 | 0.000000e+00 | -- | Inf
1582.86/1583.40 c 1583s| 1490k|243634 | 3086k| 2.1 | 220M| 36 | - | 40 | 24k| 40 | 19 | 18 | 951k|2951 | 0.000000e+00 | -- | Inf
1597.66/1598.20 c 1598s| 1500k|244652 | 3106k| 2.1 | 221M| 36 | - | 40 | 23k| 40 | 19 | 18 | 958k|2958 | 0.000000e+00 | -- | Inf
1611.55/1612.15 c 1612s| 1510k|245832 | 3127k| 2.1 | 223M| 36 | - | 40 | 24k| 40 | 19 | 18 | 965k|2969 | 0.000000e+00 | -- | Inf
1627.35/1627.95 c 1628s| 1520k|246724 | 3147k| 2.1 | 224M| 36 | - | 40 | 24k| 40 | 19 | 18 | 972k|2975 | 0.000000e+00 | -- | Inf
1644.34/1644.92 c 1645s| 1530k|247466 | 3166k| 2.1 | 225M| 36 | 5 | 40 | 23k| 40 | 19 | 18 | 979k|2982 | 0.000000e+00 | -- | Inf
1662.43/1663.08 c 1663s| 1540k|248262 | 3186k| 2.1 | 225M| 36 | 5 | 40 | 20k| 40 | 19 | 18 | 986k|2992 | 0.000000e+00 | -- | Inf
1681.23/1681.90 c 1682s| 1550k|249098 | 3207k| 2.1 | 225M| 36 | 5 | 40 | 16k| 40 | 19 | 18 | 993k|3003 | 0.000000e+00 | -- | Inf
1696.92/1697.56 c 1698s| 1560k|250035 | 3227k| 2.1 | 226M| 36 | 5 | 40 | 16k| 40 | 19 | 18 |1000k|3014 | 0.000000e+00 | -- | Inf
1714.51/1715.17 c 1715s| 1570k|250705 | 3247k| 2.1 | 227M| 36 | 5 | 40 | 15k| 40 | 19 | 18 |1008k|3021 | 0.000000e+00 | -- | Inf
1734.01/1734.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1734.01/1734.62 c 1735s| 1580k|251307 | 3268k| 2.1 | 228M| 36 | 5 | 40 | 15k| 40 | 19 | 18 |1015k|3034 | 0.000000e+00 | -- | Inf
1744.50/1745.13 c 1745s| 1590k|252609 | 3289k| 2.1 | 230M| 36 | - | 40 | 18k| 40 | 19 | 18 |1022k|3041 | 0.000000e+00 | -- | Inf
1762.30/1762.93 c 1763s| 1600k|253315 | 3309k| 2.1 | 230M| 36 | - | 40 | 16k| 40 | 19 | 18 |1029k|3054 | 0.000000e+00 | -- | Inf
1779.99/1780.68 c 1781s| 1610k|253998 | 3330k| 2.1 | 231M| 36 | 5 | 40 | 15k| 40 | 19 | 18 |1036k|3067 | 0.000000e+00 | -- | Inf
1789.39/1790.01 c
1789.39/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1789.39/1790.01 c Solving Time (sec) : 1790.00
1789.39/1790.01 c Solving Nodes : 1615083
1789.39/1790.01 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1789.39/1790.01 c Dual Bound : +0.00000000000000e+00
1789.39/1790.01 c Gap : infinite
1789.39/1790.01 s UNKNOWN
1789.39/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1789.39/1790.01 c Solving Time : 1790.00
1789.39/1790.01 c Original Problem :
1789.39/1790.01 c Problem name : HOME/instance-2703535-1278562890.opb
1789.39/1790.01 c Variables : 41 (41 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.39/1790.01 c Constraints : 11 initial, 11 maximal
1789.39/1790.01 c Presolved Problem :
1789.39/1790.01 c Problem name : t_HOME/instance-2703535-1278562890.opb
1789.39/1790.01 c Variables : 40 (40 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.39/1790.01 c Constraints : 5 initial, 26061 maximal
1789.39/1790.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.39/1790.01 c trivial : 0.00 0 0 0 0 0 0 0 0
1789.39/1790.01 c dualfix : 0.00 1 0 0 0 0 0 0 0
1789.39/1790.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.39/1790.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.39/1790.01 c implics : 0.00 0 0 0 0 0 0 0 0
1789.39/1790.01 c probing : 0.00 0 0 0 0 0 0 0 0
1789.39/1790.01 c linear : 0.00 0 0 0 0 0 6 0 0
1789.39/1790.01 c logicor : 0.00 0 0 0 0 0 0 0 0
1789.39/1790.01 c root node : - 0 - - 0 - - - -
1789.39/1790.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.39/1790.01 c integral : 0 0 0 965833 0 451 1227 0 0 1928350
1789.39/1790.01 c linear : 5+ 7 3878924 0 0 135734 1333989 0 0 0
1789.39/1790.01 c logicor : 0+ 0 1936594 0 0 5261 753227 0 0 0
1789.39/1790.01 c countsols : 0 0 0 0 0 0 0 0 0 0
1789.39/1790.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.39/1790.01 c integral : 11.71 0.00 0.00 11.71 0.00
1789.39/1790.01 c linear : 129.99 0.00 129.99 0.00 0.00
1789.39/1790.01 c logicor : 698.84 0.00 698.84 0.00 0.00
1789.39/1790.01 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.39/1790.01 c Propagators : Time Calls Cutoffs DomReds
1789.39/1790.01 c vbounds : 1.42 2 0 0
1789.39/1790.01 c rootredcost : 1.57 0 0 0
1789.39/1790.01 c pseudoobj : 1.19 0 0 0
1789.39/1790.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.39/1790.01 c propagation : 9.07 140995 115122 395869 29.3 29 25.2 -
1789.39/1790.01 c infeasible LP : 35.22 562880 562857 1082114 19.2 8725 23.5 0
1789.39/1790.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.39/1790.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.39/1790.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1789.39/1790.01 c applied globally : - - - 1031396 18.9 - - -
1789.39/1790.01 c applied locally : - - - 8872 31.4 - - -
1789.39/1790.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1789.39/1790.01 c cut pool : 0.00 5 - - 67 - (maximal pool size: 93)
1789.39/1790.01 c redcost : 1.95 965838 0 0 0 0
1789.39/1790.01 c impliedbounds : 0.00 6 0 0 0 0
1789.39/1790.01 c intobj : 0.00 0 0 0 0 0
1789.39/1790.01 c cgmip : 0.00 0 0 0 0 0
1789.39/1790.01 c gomory : 0.00 6 0 0 0 0
1789.39/1790.01 c strongcg : 0.00 6 0 0 16 0
1789.39/1790.01 c cmir : 0.01 6 0 0 44 0
1789.39/1790.01 c flowcover : 0.01 6 0 0 55 0
1789.39/1790.01 c clique : 0.00 1 0 0 0 0
1789.39/1790.01 c zerohalf : 0.00 0 0 0 0 0
1789.39/1790.01 c mcf : 0.00 1 0 0 0 0
1789.39/1790.01 c rapidlearning : 0.07 1 0 0 0 31
1789.39/1790.01 c Pricers : Time Calls Vars
1789.39/1790.01 c problem variables: 0.00 0 0
1789.39/1790.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1789.39/1790.01 c relpscost : 10.58 965833 451 1227 0 0 1928350
1789.39/1790.01 c pscost : 0.00 0 0 0 0 0 0
1789.39/1790.01 c inference : 0.00 0 0 0 0 0 0
1789.39/1790.01 c mostinf : 0.00 0 0 0 0 0 0
1789.39/1790.01 c leastinf : 0.00 0 0 0 0 0 0
1789.39/1790.01 c fullstrong : 0.00 0 0 0 0 0 0
1789.39/1790.01 c allfullstrong : 0.00 0 0 0 0 0 0
1789.39/1790.01 c random : 0.00 0 0 0 0 0 0
1789.39/1790.01 c Primal Heuristics : Time Calls Found
1789.39/1790.01 c LP solutions : 0.00 - 0
1789.39/1790.01 c pseudo solutions : 0.00 - 0
1789.39/1790.01 c oneopt : 1.06 0 0
1789.39/1790.01 c crossover : 0.62 0 0
1789.39/1790.01 c guideddiving : 0.12 0 0
1789.39/1790.01 c intshifting : 0.06 0 0
1789.39/1790.01 c coefdiving : 0.11 53 0
1789.39/1790.01 c pscostdiving : 0.14 53 0
1789.39/1790.01 c fracdiving : 0.15 53 0
1789.39/1790.01 c veclendiving : 0.12 53 0
1789.39/1790.01 c rootsoldiving : 0.13 27 0
1789.39/1790.01 c objpscostdiving : 0.09 27 0
1789.39/1790.01 c feaspump : 0.11 27 0
1789.39/1790.01 c linesearchdiving : 0.14 54 0
1789.39/1790.01 c trivial : 0.00 2 0
1789.39/1790.01 c simplerounding : 0.45 0 0
1789.39/1790.01 c zirounding : 0.68 1000 0
1789.39/1790.01 c rounding : 1.00 13814 0
1789.39/1790.01 c shifting : 2.10 4295 0
1789.39/1790.01 c twoopt : 0.00 0 0
1789.39/1790.01 c fixandinfer : 0.00 0 0
1789.39/1790.01 c intdiving : 0.00 0 0
1789.39/1790.01 c actconsdiving : 0.00 0 0
1789.39/1790.01 c octane : 0.00 0 0
1789.39/1790.01 c rens : 0.04 1 0
1789.39/1790.01 c rins : 0.00 0 0
1789.39/1790.01 c localbranching : 0.00 0 0
1789.39/1790.01 c mutation : 0.00 0 0
1789.39/1790.01 c dins : 0.00 0 0
1789.39/1790.01 c undercover : 0.00 0 0
1789.39/1790.01 c nlp : 0.50 0 0
1789.39/1790.01 c trysol : 0.73 0 0
1789.39/1790.01 c LP : Time Calls Iterations Iter/call Iter/sec
1789.39/1790.01 c primal LP : 0.00 0 0 0.00 -
1789.39/1790.01 c dual LP : 153.87 1466625 3339012 2.28 21700.26
1789.39/1790.01 c lex dual LP : 0.00 0 0 0.00 -
1789.39/1790.01 c barrier LP : 0.00 0 0 0.00 -
1789.39/1790.01 c diving/probing LP: 0.09 821 1518 1.85 17651.37
1789.39/1790.01 c strong branching : 0.56 3072 12344 4.02 22003.96
1789.39/1790.01 c (at root node) : - 9 460 51.11 -
1789.39/1790.01 c conflict analysis: 0.00 0 0 0.00 -
1789.39/1790.01 c B&B Tree :
1789.39/1790.01 c number of runs : 1
1789.39/1790.01 c nodes : 1615083
1789.39/1790.01 c nodes (total) : 1615083
1789.39/1790.01 c nodes left : 254347
1789.39/1790.01 c max depth : 36
1789.39/1790.01 c max depth (total): 36
1789.39/1790.01 c backtracks : 292591 (18.1%)
1789.39/1790.01 c delayed cutoffs : 58921
1789.39/1790.01 c repropagations : 1375004 (1060293 domain reductions, 52778 cutoffs)
1789.39/1790.01 c avg switch length: 5.39
1789.39/1790.01 c switching time : 488.17
1789.39/1790.01 c Solution :
1789.39/1790.01 c Solutions found : 0 (0 improvements)
1789.39/1790.01 c Primal Bound : -
1789.39/1790.01 c Dual Bound : +0.00000000000000e+00
1789.39/1790.01 c Gap : infinite
1789.39/1790.01 c Root Dual Bound : +0.00000000000000e+00
1789.39/1790.01 c Root Iterations : 128
1790.79/1791.46 c Time complete: 1790.84.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2703535-1278562890/watcher-2703535-1278562890 -o /tmp/evaluation-result-2703535-1278562890/solver-2703535-1278562890 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703535-1278562890.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: 0.99 0.97 0.99 3/106 29623
/proc/meminfo: memFree=1771260/2059040 swapFree=4080076/4192956
[pid=29623] ppid=29621 vsize=8936 CPUtime=0
/proc/29623/stat : 29623 (pbscip.linux.x8) R 29621 29623 29511 0 -1 4202496 1321 0 0 0 0 0 0 0 18 0 1 0 24496296 9150464 1232 1992294400 4194304 8395647 140735008026784 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29623/statm: 2234 1243 374 1026 0 1204 0
[startup+0.03002 s]
/proc/loadavg: 0.99 0.97 0.99 3/106 29623
/proc/meminfo: memFree=1771260/2059040 swapFree=4080076/4192956
[pid=29623] ppid=29621 vsize=14480 CPUtime=0.02
/proc/29623/stat : 29623 (pbscip.linux.x8) R 29621 29623 29511 0 -1 4202496 3117 0 0 0 1 1 0 0 20 0 1 0 24496296 14827520 2675 1992294400 4194304 8395647 140735008026784 18446744073709551615 6201799 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29623/statm: 3620 2675 581 1026 0 2590 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 14480
[startup+0.102034 s]
/proc/loadavg: 0.99 0.97 0.99 3/106 29623
/proc/meminfo: memFree=1771260/2059040 swapFree=4080076/4192956
[pid=29623] ppid=29621 vsize=21868 CPUtime=0.09
/proc/29623/stat : 29623 (pbscip.linux.x8) R 29621 29623 29511 0 -1 4202496 4759 0 0 0 7 2 0 0 20 0 1 0 24496296 22392832 4317 1992294400 4194304 8395647 140735008026784 18446744073709551615 4288144 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29623/statm: 5467 4317 605 1026 0 4437 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21868
[startup+0.30107 s]
/proc/loadavg: 0.99 0.97 0.99 3/106 29623
/proc/meminfo: memFree=1771260/2059040 swapFree=4080076/4192956
[pid=29623] ppid=29621 vsize=22988 CPUtime=0.29
/proc/29623/stat : 29623 (pbscip.linux.x8) R 29621 29623 29511 0 -1 4202496 5101 0 0 0 25 4 0 0 20 0 1 0 24496296 23539712 4659 1992294400 4194304 8395647 140735008026784 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29623/statm: 5747 4659 622 1026 0 4717 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22988
[startup+0.701143 s]
/proc/loadavg: 0.99 0.97 0.99 3/106 29623
/proc/meminfo: memFree=1771260/2059040 swapFree=4080076/4192956
[pid=29623] ppid=29621 vsize=22988 CPUtime=0.69
/proc/29623/stat : 29623 (pbscip.linux.x8) R 29621 29623 29511 0 -1 4202496 5104 0 0 0 63 6 0 0 21 0 1 0 24496296 23539712 4662 1992294400 4194304 8395647 140735008026784 18446744073709551615 4216421 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29623/statm: 5747 4662 622 1026 0 4717 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 22988
[startup+1.50129 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 29624
/proc/meminfo: memFree=1754884/2059040 swapFree=4080076/4192956
[pid=29623] ppid=29621 vsize=22988 CPUtime=1.49
/proc/29623/stat : 29623 (pbscip.linux.x8) R 29621 29623 29511 0 -1 4202496 5108 0 0 0 140 9 0 0 23 0 1 0 24496296 23539712 4666 1992294400 4194304 8395647 140735008026784 18446744073709551615 4966843 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29623/statm: 5747 4666 622 1026 0 4717 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 22988
[startup+3.10158 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 29624
/proc/meminfo: memFree=1754636/2059040 swapFree=4080076/4192956
[pid=29623] ppid=29621 vsize=22988 CPUtime=3.09
/proc/29623/stat : 29623 (pbscip.linux.x8) R 29621 29623 29511 0 -1 4202496 5113 0 0 0 296 13 0 0 25 0 1 0 24496296 23539712 4671 1992294400 4194304 8395647 140735008026784 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29623/statm: 5747 4671 622 1026 0 4717 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 22988
[startup+6.30116 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 29624
/proc/meminfo: memFree=1754140/2059040 swapFree=4080076/4192956
[pid=29623] ppid=29621 vsize=22988 CPUtime=6.29
/proc/29623/stat : 29623 (pbscip.linux.x8) R 29621 29623 29511 0 -1 4202496 5319 0 0 0 606 23 0 0 25 0 1 0 24496296 23539712 4877 1992294400 4194304 8395647 140735008026784 18446744073709551615 4217957 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29623/statm: 5747 4877 622 1026 0 4717 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 22988
[startup+12.7013 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 29624
/proc/meminfo: memFree=1752156/2059040 swapFree=4080076/4192956
[pid=29623] ppid=29621 vsize=24384 CPUtime=12.69
/proc/29623/stat : 29623 (pbscip.linux.x8) R 29621 29623 29511 0 -1 4202496 5722 0 0 0 1225 44 0 0 25 0 1 0 24496296 24969216 5280 1992294400 4194304 8395647 140735008026784 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29623/statm: 6096 5280 622 1026 0 5066 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 24384
[startup+25.5017 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 29626
/proc/meminfo: memFree=1744096/2059040 swapFree=4080076/4192956
[pid=29623] ppid=29621 vsize=32108 CPUtime=25.48
/proc/29623/stat : 29623 (pbscip.linux.x8) R 29621 29623 29511 0 -1 4202496 7647 0 0 0 2467 81 0 0 25 0 1 0 24496296 32878592 7205 1992294400 4194304 8395647 140735008026784 18446744073709551615 6349190 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29623/statm: 8027 7205 622 1026 0 6997 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 32108
[startup+51.1003 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 29626
/proc/meminfo: memFree=1733556/2059040 swapFree=4080076/4192956
[pid=29623] ppid=29621 vsize=42852 CPUtime=51.07
/proc/29623/stat : 29623 (pbscip.linux.x8) R 29621 29623 29511 0 -1 4202496 10368 0 0 0 4961 146 0 0 25 0 1 0 24496296 43880448 9926 1992294400 4194304 8395647 140735008026784 18446744073709551615 6120424 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29623/statm: 10713 9926 622 1026 0 9683 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 42852
[startup+102.308 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 29628
/proc/meminfo: memFree=1714460/2059040 swapFree=4080076/4192956
[pid=29623] ppid=29621 vsize=61612 CPUtime=102.26
/proc/29623/stat : 29623 (pbscip.linux.x8) R 29621 29623 29511 0 -1 4202496 15063 0 0 0 9973 253 0 0 25 0 1 0 24496296 63090688 14621 1992294400 4194304 8395647 140735008026784 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29623/statm: 15403 14621 622 1026 0 14373 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 61612
[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 29628
/proc/meminfo: memFree=1700820/2059040 swapFree=4080076/4192956
[pid=29623] ppid=29621 vsize=76608 CPUtime=162.23
/proc/29623/stat : 29623 (pbscip.linux.x8) R 29621 29623 29511 0 -1 4202496 18441 0 0 0 15876 347 0 0 25 0 1 0 24496296 78446592 17999 1992294400 4194304 8395647 140735008026784 18446744073709551615 4218186 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29623/statm: 19152 17999 622 1026 0 18122 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 76608
[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 29630
/proc/meminfo: memFree=1685816/2059040 swapFree=4080076/4192956
[pid=29623] ppid=29621 vsize=91544 CPUtime=222.21
/proc/29623/stat : 29623 (pbscip.linux.x8) R 29621 29623 29511 0 -1 4202496 22181 0 0 0 21782 439 0 0 25 0 1 0 24496296 93741056 21739 1992294400 4194304 8395647 140735008026784 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29623/statm: 22886 21739 622 1026 0 21856 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 91544
[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.99 3/107 29632
/proc/meminfo: memFree=1675524/2059040 swapFree=4080076/4192956
[pid=29623] ppid=29621 vsize=101664 CPUtime=282.19
/proc/29623/stat : 29623 (pbscip.linux.x8) R 29621 29623 29511 0 -1 4202496 24714 0 0 0 27695 524 0 0 25 0 1 0 24496296 104103936 24272 1992294400 4194304 8395647 140735008026784 18446744073709551615 5085399 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29623/statm: 25416 24272 622 1026 0 24386 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 101664
[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 29634
/proc/meminfo: memFree=1664984/2059040 swapFree=4080076/4192956
[pid=29623] ppid=29621 vsize=112232 CPUtime=342.17
/proc/29623/stat : 29623 (pbscip.linux.x8) R 29621 29623 29511 0 -1 4202496 27359 0 0 0 33611 606 0 0 25 0 1 0 24496296 114925568 26917 1992294400 4194304 8395647 140735008026784 18446744073709551615 4230998 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29623/statm: 28058 26917 622 1026 0 27028 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 112232
[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 29636
/proc/meminfo: memFree=1657172/2059040 swapFree=4080076/4192956
[pid=29623] ppid=29621 vsize=120280 CPUtime=402.15
/proc/29623/stat : 29623 (pbscip.linux.x8) R 29621 29623 29511 0 -1 4202496 29382 0 0 0 39534 681 0 0 25 0 1 0 24496296 123166720 28940 1992294400 4194304 8395647 140735008026784 18446744073709551615 6068915 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29623/statm: 30070 28940 622 1026 0 29040 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 120280
[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 29636
/proc/meminfo: memFree=1649980/2059040 swapFree=4080076/4192956
[pid=29623] ppid=29621 vsize=126680 CPUtime=462.13
/proc/29623/stat : 29623 (pbscip.linux.x8) R 29621 29623 29511 0 -1 4202496 31044 0 0 0 45455 758 0 0 25 0 1 0 24496296 129720320 30602 1992294400 4194304 8395647 140735008026784 18446744073709551615 5085356 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29623/statm: 31670 30602 622 1026 0 30640 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 126680
[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 29638
/proc/meminfo: memFree=1642168/2059040 swapFree=4080076/4192956
[pid=29623] ppid=29621 vsize=135724 CPUtime=522.11
/proc/29623/stat : 29623 (pbscip.linux.x8) R 29621 29623 29511 0 -1 4202496 33266 0 0 0 51390 821 0 0 25 0 1 0 24496296 138981376 32824 1992294400 4194304 8395647 140735008026784 18446744073709551615 6069143 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29623/statm: 33931 32824 622 1026 0 32901 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 135724
[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 29640
/proc/meminfo: memFree=1630264/2059040 swapFree=4080076/4192956
[pid=29623] ppid=29621 vsize=146060 CPUtime=582.1
/proc/29623/stat : 29623 (pbscip.linux.x8) R 29621 29623 29511 0 -1 4202496 35921 0 0 0 57309 901 0 0 25 0 1 0 24496296 149565440 35479 1992294400 4194304 8395647 140735008026784 18446744073709551615 5085381 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29623/statm: 36515 35479 622 1026 0 35485 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 146060
[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 29642
/proc/meminfo: memFree=1619848/2059040 swapFree=4080076/4192956
[pid=29623] ppid=29621 vsize=156884 CPUtime=642.08
/proc/29623/stat : 29623 (pbscip.linux.x8) R 29621 29623 29511 0 -1 4202496 38492 0 0 0 63241 967 0 0 25 0 1 0 24496296 160649216 38050 1992294400 4194304 8395647 140735008026784 18446744073709551615 5085356 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29623/statm: 39221 38050 622 1026 0 38191 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 156884
[startup+702.301 s]
################
# More data... #
################
/proc/meminfo: memFree=1576324/2059040 swapFree=4080076/4192956
[pid=29623] ppid=29621 vsize=199616 CPUtime=1061.93
/proc/29623/stat : 29623 (pbscip.linux.x8) R 29621 29623 29511 0 -1 4202496 49211 0 0 0 104817 1376 0 0 25 0 1 0 24496296 204406784 48769 1992294400 4194304 8395647 140735008026784 18446744073709551615 4216931 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29623/statm: 49904 48769 622 1026 0 48874 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 199616
[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 29654
/proc/meminfo: memFree=1569256/2059040 swapFree=4080076/4192956
[pid=29623] ppid=29621 vsize=210528 CPUtime=1121.91
/proc/29623/stat : 29623 (pbscip.linux.x8) R 29621 29623 29511 0 -1 4202496 50984 0 0 0 110755 1436 0 0 25 0 1 0 24496296 215580672 50542 1992294400 4194304 8395647 140735008026784 18446744073709551615 5085399 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29623/statm: 52632 50542 622 1026 0 51602 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 210528
[startup+1182.3 s]
/proc/loadavg: 1.05 0.99 0.99 2/107 29656
/proc/meminfo: memFree=1564792/2059040 swapFree=4080076/4192956
[pid=29623] ppid=29621 vsize=215120 CPUtime=1181.89
/proc/29623/stat : 29623 (pbscip.linux.x8) R 29621 29623 29511 0 -1 4202496 52059 0 0 0 116702 1487 0 0 25 0 1 0 24496296 220282880 51617 1992294400 4194304 8395647 140735008026784 18446744073709551615 5085381 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29623/statm: 53780 51617 622 1026 0 52750 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 215120
[startup+1242.3 s]
/proc/loadavg: 1.09 1.00 1.00 2/107 29658
/proc/meminfo: memFree=1560576/2059040 swapFree=4080076/4192956
[pid=29623] ppid=29621 vsize=218996 CPUtime=1241.87
/proc/29623/stat : 29623 (pbscip.linux.x8) R 29621 29623 29511 0 -1 4202496 53079 0 0 0 122654 1533 0 0 25 0 1 0 24496296 224251904 52637 1992294400 4194304 8395647 140735008026784 18446744073709551615 5085399 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29623/statm: 54749 52637 622 1026 0 53719 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 218996
[startup+1302.3 s]
/proc/loadavg: 1.03 1.00 1.00 2/107 29660
/proc/meminfo: memFree=1550656/2059040 swapFree=4080076/4192956
[pid=29623] ppid=29621 vsize=228548 CPUtime=1301.86
/proc/29623/stat : 29623 (pbscip.linux.x8) R 29621 29623 29511 0 -1 4202496 55517 0 0 0 128584 1602 0 0 25 0 1 0 24496296 234033152 55075 1992294400 4194304 8395647 140735008026784 18446744073709551615 6064179 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29623/statm: 57137 55075 622 1026 0 56107 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 228548
[startup+1362.3 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 29660
/proc/meminfo: memFree=1545820/2059040 swapFree=4080076/4192956
[pid=29623] ppid=29621 vsize=233384 CPUtime=1361.83
/proc/29623/stat : 29623 (pbscip.linux.x8) R 29621 29623 29511 0 -1 4202496 56732 0 0 0 134523 1660 0 0 25 0 1 0 24496296 238985216 56290 1992294400 4194304 8395647 140735008026784 18446744073709551615 4230937 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29623/statm: 58346 56290 622 1026 0 57316 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 233384
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29662
/proc/meminfo: memFree=1540612/2059040 swapFree=4080076/4192956
[pid=29623] ppid=29621 vsize=238316 CPUtime=1421.82
/proc/29623/stat : 29623 (pbscip.linux.x8) R 29621 29623 29511 0 -1 4202496 58001 0 0 0 140474 1708 0 0 25 0 1 0 24496296 244035584 57559 1992294400 4194304 8395647 140735008026784 18446744073709551615 4215470 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29623/statm: 59579 57559 622 1026 0 58549 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 238316
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29664
/proc/meminfo: memFree=1536396/2059040 swapFree=4080076/4192956
[pid=29623] ppid=29621 vsize=242748 CPUtime=1481.79
/proc/29623/stat : 29623 (pbscip.linux.x8) R 29621 29623 29511 0 -1 4202496 59035 0 0 0 146421 1758 0 0 25 0 1 0 24496296 248573952 58593 1992294400 4194304 8395647 140735008026784 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29623/statm: 60687 58593 622 1026 0 59657 0
Current children cumulated CPU time (s) 1481.79
Current children cumulated vsize (KiB) 242748
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29666
/proc/meminfo: memFree=1529576/2059040 swapFree=4080076/4192956
[pid=29623] ppid=29621 vsize=249608 CPUtime=1541.78
/proc/29623/stat : 29623 (pbscip.linux.x8) R 29621 29623 29511 0 -1 4202496 60728 0 0 0 152366 1812 0 0 25 0 1 0 24496296 255598592 60286 1992294400 4194304 8395647 140735008026784 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29623/statm: 62402 60286 622 1026 0 61372 0
Current children cumulated CPU time (s) 1541.78
Current children cumulated vsize (KiB) 249608
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29668
/proc/meminfo: memFree=1521888/2059040 swapFree=4080076/4192956
[pid=29623] ppid=29621 vsize=256988 CPUtime=1601.75
/proc/29623/stat : 29623 (pbscip.linux.x8) R 29621 29623 29511 0 -1 4202496 62644 0 0 0 158307 1868 0 0 25 0 1 0 24496296 263155712 62202 1992294400 4194304 8395647 140735008026784 18446744073709551615 4212623 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29623/statm: 64247 62202 622 1026 0 63217 0
Current children cumulated CPU time (s) 1601.75
Current children cumulated vsize (KiB) 256988
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29668
/proc/meminfo: memFree=1515696/2059040 swapFree=4080076/4192956
[pid=29623] ppid=29621 vsize=262592 CPUtime=1661.73
/proc/29623/stat : 29623 (pbscip.linux.x8) R 29621 29623 29511 0 -1 4202496 64020 0 0 0 164258 1915 0 0 25 0 1 0 24496296 268894208 63578 1992294400 4194304 8395647 140735008026784 18446744073709551615 4471448 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29623/statm: 65648 63578 622 1026 0 64618 0
Current children cumulated CPU time (s) 1661.73
Current children cumulated vsize (KiB) 262592
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29670
/proc/meminfo: memFree=1513092/2059040 swapFree=4080076/4192956
[pid=29623] ppid=29621 vsize=264832 CPUtime=1721.71
/proc/29623/stat : 29623 (pbscip.linux.x8) R 29621 29623 29511 0 -1 4202496 64592 0 0 0 170212 1959 0 0 25 0 1 0 24496296 271187968 64150 1992294400 4194304 8395647 140735008026784 18446744073709551615 5085356 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29623/statm: 66208 64150 622 1026 0 65178 0
Current children cumulated CPU time (s) 1721.71
Current children cumulated vsize (KiB) 264832
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29672
/proc/meminfo: memFree=1509372/2059040 swapFree=4080076/4192956
[pid=29623] ppid=29621 vsize=268160 CPUtime=1781.69
/proc/29623/stat : 29623 (pbscip.linux.x8) R 29621 29623 29511 0 -1 4202496 65460 0 0 0 176163 2006 0 0 25 0 1 0 24496296 274595840 65018 1992294400 4194304 8395647 140735008026784 18446744073709551615 4218186 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29623/statm: 67040 65018 622 1026 0 66010 0
Current children cumulated CPU time (s) 1781.69
Current children cumulated vsize (KiB) 268160
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29672
/proc/meminfo: memFree=1509372/2059040 swapFree=4080076/4192956
[pid=29623] ppid=29621 vsize=268736 CPUtime=1784.89
/proc/29623/stat : 29623 (pbscip.linux.x8) R 29621 29623 29511 0 -1 4202496 65588 0 0 0 176480 2009 0 0 25 0 1 0 24496296 275185664 65146 1992294400 4194304 8395647 140735008026784 18446744073709551615 4216931 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29623/statm: 67184 65146 622 1026 0 66154 0
Current children cumulated CPU time (s) 1784.89
Current children cumulated vsize (KiB) 268736
[startup+1788.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29672
/proc/meminfo: memFree=1508876/2059040 swapFree=4080076/4192956
[pid=29623] ppid=29621 vsize=268736 CPUtime=1788.09
/proc/29623/stat : 29623 (pbscip.linux.x8) R 29621 29623 29511 0 -1 4202496 65588 0 0 0 176798 2011 0 0 25 0 1 0 24496296 275185664 65146 1992294400 4194304 8395647 140735008026784 18446744073709551615 5085356 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29623/statm: 67184 65146 622 1026 0 66154 0
Current children cumulated CPU time (s) 1788.09
Current children cumulated vsize (KiB) 268736
[startup+1790.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29672
/proc/meminfo: memFree=1508876/2059040 swapFree=4080076/4192956
[pid=29623] ppid=29621 vsize=268736 CPUtime=1789.69
/proc/29623/stat : 29623 (pbscip.linux.x8) R 29621 29623 29511 0 -1 4202496 65591 0 0 0 176957 2012 0 0 25 0 1 0 24496296 275185664 65149 1992294400 4194304 8395647 140735008026784 18446744073709551615 4723516 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29623/statm: 67184 65149 624 1026 0 66154 0
Current children cumulated CPU time (s) 1789.69
Current children cumulated vsize (KiB) 268736
[startup+1791.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29672
/proc/meminfo: memFree=1508876/2059040 swapFree=4080076/4192956
[pid=29623] ppid=29621 vsize=268736 CPUtime=1790.49
/proc/29623/stat : 29623 (pbscip.linux.x8) R 29621 29623 29511 0 -1 4202496 65591 0 0 0 177037 2012 0 0 25 0 1 0 24496296 275185664 65149 1992294400 4194304 8395647 140735008026784 18446744073709551615 6345233 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29623/statm: 67184 65149 624 1026 0 66154 0
Current children cumulated CPU time (s) 1790.49
Current children cumulated vsize (KiB) 268736
[startup+1791.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29672
/proc/meminfo: memFree=1508876/2059040 swapFree=4080076/4192956
[pid=29623] ppid=29621 vsize=268736 CPUtime=1790.69
/proc/29623/stat : 29623 (pbscip.linux.x8) R 29621 29623 29511 0 -1 4202496 65591 0 0 0 177057 2012 0 0 25 0 1 0 24496296 275185664 65149 1992294400 4194304 8395647 140735008026784 18446744073709551615 4723491 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29623/statm: 67184 65149 624 1026 0 66154 0
Current children cumulated CPU time (s) 1790.69
Current children cumulated vsize (KiB) 268736
[startup+1791.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29672
/proc/meminfo: memFree=1508876/2059040 swapFree=4080076/4192956
[pid=29623] ppid=29621 vsize=268736 CPUtime=1790.79
/proc/29623/stat : 29623 (pbscip.linux.x8) R 29621 29623 29511 0 -1 4202496 65591 0 0 0 177067 2012 0 0 25 0 1 0 24496296 275185664 65149 1992294400 4194304 8395647 140735008026784 18446744073709551615 6345173 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29623/statm: 67184 65149 624 1026 0 66154 0
Current children cumulated CPU time (s) 1790.79
Current children cumulated vsize (KiB) 268736
Child status: 0
Real time (s): 1791.46
CPU time (s): 1790.86
CPU user time (s): 1770.71
CPU system time (s): 20.1509
CPU usage (%): 99.9663
Max. virtual memory (cumulated for all children) (KiB): 268736
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1770.71
system time used= 20.1509
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 65594
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= 2527
runsolver used 2.93755 second user time and 8.49071 second system time
The end