0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [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-2667658-1276601776.opb>
0.00/0.01 c original problem has 31 variables (31 bin, 0 int, 0 impl, 0 cont) and 9 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.01 c (round 2) 1 del vars, 5 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, 5 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 30 variables (30 bin, 0 int, 0 impl, 0 cont) and 4 constraints
0.00/0.02 c 4 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.2
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 = 1800
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 # 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 # 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 | 16 | - | 192k| 0 | 4 | 30 | 4 | 30 | 4 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.09 c 0.1s| 1 | 0 | 58 | - | 380k| 0 | 8 | 30 | 100 | 30 | 9 | 5 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.09 c 0.1s| 1 | 0 | 64 | - | 403k| 0 | 8 | 30 | 100 | 30 | 13 | 9 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.10 c 0.1s| 1 | 0 | 67 | - | 426k| 0 | 10 | 30 | 100 | 30 | 17 | 13 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.10 c 0.1s| 1 | 0 | 73 | - | 445k| 0 | 11 | 30 | 100 | 30 | 19 | 15 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.11 c 0.1s| 1 | 0 | 85 | - | 452k| 0 | 13 | 30 | 100 | 30 | 23 | 19 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.12 c 0.1s| 1 | 0 | 90 | - | 462k| 0 | 17 | 30 | 100 | 30 | 25 | 21 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.13 c 0.1s| 1 | 2 | 90 | - | 463k| 0 | 17 | 30 | 100 | 30 | 25 | 21 | 0 | 9 | 0.000000e+00 | -- | Inf
4.39/4.49 c 4.1s| 10000 | 2149 | 16761 | 1.7 |3142k| 25 | - | 30 |3407 | 30 | 18 | 21 |4134 | 374 | 0.000000e+00 | -- | Inf
9.80/9.82 c 9.0s| 20000 | 3456 | 33340 | 1.7 |4103k| 25 | 4 | 30 |2965 | 30 | 18 | 21 |8874 | 530 | 0.000000e+00 | -- | Inf
15.09/15.10 c 13.9s| 30000 | 4546 | 49824 | 1.7 |5286k| 25 | - | 30 |3851 | 0 | 0 | 21 | 13k| 684 | 0.000000e+00 | -- | Inf
20.58/20.60 c 19.1s| 40000 | 5785 | 65800 | 1.6 |6367k| 26 | 4 | 30 |4111 | 30 | 18 | 21 | 18k| 788 | 0.000000e+00 | -- | Inf
25.88/25.95 c 24.1s| 50000 | 7359 | 82083 | 1.6 |7851k| 26 | 4 | 30 |5466 | 30 | 18 | 21 | 22k| 858 | 0.000000e+00 | -- | Inf
32.99/33.06 c 30.8s| 60000 | 8004 | 97917 | 1.6 |8616k| 26 | 4 | 30 |5170 | 30 | 18 | 21 | 27k| 934 | 0.000000e+00 | -- | Inf
38.98/39.02 c 36.4s| 70000 | 9145 |113184 | 1.6 |9787k| 26 | 4 | 30 |6021 | 30 | 18 | 21 | 31k| 994 | 0.000000e+00 | -- | Inf
45.98/46.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
45.98/46.06 c 43.1s| 80000 | 9785 |128827 | 1.6 | 10M| 26 | 4 | 30 |5839 | 30 | 18 | 21 | 35k|1075 | 0.000000e+00 | -- | Inf
53.67/53.75 c 50.4s| 90000 | 10251 |144384 | 1.6 | 11M| 26 | - | 30 |6083 | 30 | 18 | 21 | 40k|1130 | 0.000000e+00 | -- | Inf
61.18/61.22 c 57.5s|100000 | 10877 |160060 | 1.6 | 11M| 26 | 4 | 30 |5840 | 30 | 18 | 21 | 45k|1187 | 0.000000e+00 | -- | Inf
69.38/69.46 c 65.4s|110000 | 10898 |175373 | 1.6 | 11M| 26 | - | 30 |5116 | 30 | 18 | 21 | 50k|1263 | 0.000000e+00 | -- | Inf
77.27/77.33 c 72.9s|120000 | 11038 |190594 | 1.6 | 12M| 26 | 4 | 30 |5550 | 30 | 18 | 21 | 55k|1324 | 0.000000e+00 | -- | Inf
84.58/84.70 c 79.9s|130000 | 11366 |205787 | 1.6 | 13M| 26 | - | 30 |6815 | 30 | 18 | 21 | 60k|1394 | 0.000000e+00 | -- | Inf
94.06/94.12 c 88.9s|140000 | 11304 |221585 | 1.6 | 13M| 26 | - | 30 |6286 | 30 | 18 | 21 | 65k|1454 | 0.000000e+00 | -- | Inf
102.76/102.83 c 97.3s|150000 | 11234 |236910 | 1.6 | 13M| 26 | 4 | 30 |6286 | 30 | 18 | 21 | 70k|1490 | 0.000000e+00 | -- | Inf
110.55/110.69 c 105s|160000 | 11254 |252858 | 1.6 | 13M| 26 | 4 | 30 |5758 | 30 | 18 | 21 | 75k|1554 | 0.000000e+00 | -- | Inf
117.57/117.67 c 111s|170000 | 11953 |268344 | 1.6 | 14M| 26 | 4 | 30 |7348 | 30 | 18 | 21 | 79k|1597 | 0.000000e+00 | -- | Inf
127.15/127.21 c 121s|180000 | 11804 |284047 | 1.6 | 14M| 26 | 4 | 30 |6230 | 30 | 18 | 21 | 85k|1640 | 0.000000e+00 | -- | Inf
136.05/136.14 c 129s|190000 | 11736 |299649 | 1.6 | 14M| 26 | - | 30 |6687 | 0 | 0 | 21 | 90k|1686 | 0.000000e+00 | -- | Inf
145.55/145.69 c 138s|200000 | 11413 |315036 | 1.6 | 14M| 26 | - | 30 |6320 | 30 | 18 | 21 | 95k|1725 | 0.000000e+00 | -- | Inf
154.55/154.62 c 147s|210000 | 11306 |330535 | 1.6 | 15M| 26 | 4 | 30 |7301 | 30 | 18 | 21 | 100k|1775 | 0.000000e+00 | -- | Inf
162.45/162.53 c 154s|220000 | 12115 |346536 | 1.6 | 16M| 26 | 4 | 30 |9418 | 30 | 18 | 21 | 104k|1807 | 0.000000e+00 | -- | Inf
173.74/173.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
173.74/173.87 c 165s|230000 | 11814 |362062 | 1.6 | 16M| 26 | 4 | 30 |8279 | 30 | 18 | 21 | 109k|1842 | 0.000000e+00 | -- | Inf
184.64/184.80 c 176s|240000 | 11445 |377611 | 1.6 | 15M| 26 | - | 30 |6583 | 0 | 0 | 21 | 115k|1891 | 0.000000e+00 | -- | Inf
194.13/194.22 c 185s|250000 | 11146 |393022 | 1.6 | 15M| 26 | 4 | 30 |7055 | 30 | 18 | 21 | 120k|1921 | 0.000000e+00 | -- | Inf
203.73/203.88 c 194s|260000 | 11102 |408378 | 1.6 | 16M| 26 | - | 30 |7689 | 30 | 18 | 21 | 124k|1954 | 0.000000e+00 | -- | Inf
214.92/215.00 c 205s|270000 | 10496 |423718 | 1.6 | 15M| 26 | - | 30 |6782 | 0 | 0 | 21 | 130k|1996 | 0.000000e+00 | -- | Inf
225.22/225.36 c 215s|280000 | 9888 |438995 | 1.6 | 15M| 26 | 4 | 30 |7154 | 30 | 18 | 21 | 135k|2029 | 0.000000e+00 | -- | Inf
236.12/236.21 c 225s|290000 | 9350 |454463 | 1.6 | 14M| 26 | 4 | 30 |7083 | 30 | 18 | 21 | 140k|2063 | 0.000000e+00 | -- | Inf
245.91/246.03 c 235s|300000 | 9038 |469695 | 1.6 | 14M| 26 | 4 | 30 |7207 | 30 | 18 | 21 | 145k|2095 | 0.000000e+00 | -- | Inf
255.61/255.72 c 244s|310000 | 8927 |485069 | 1.6 | 15M| 27 | - | 30 |9104 | 30 | 18 | 21 | 150k|2121 | 0.000000e+00 | -- | Inf
268.22/268.35 c 257s|320000 | 8104 |500560 | 1.6 | 14M| 27 | 4 | 30 |7068 | 30 | 18 | 21 | 155k|2161 | 0.000000e+00 | -- | Inf
278.40/278.56 c 266s|330000 | 7507 |515627 | 1.6 | 13M| 27 | - | 30 |6951 | 30 | 18 | 21 | 161k|2196 | 0.000000e+00 | -- | Inf
289.30/289.47 c 277s|340000 | 7161 |531302 | 1.6 | 13M| 27 | 4 | 30 |7800 | 30 | 18 | 21 | 166k|2229 | 0.000000e+00 | -- | Inf
299.30/299.42 c 287s|350000 | 7260 |547576 | 1.6 | 13M| 27 | 4 | 30 |9061 | 30 | 18 | 21 | 172k|2257 | 0.000000e+00 | -- | Inf
311.50/311.62 c 298s|360000 | 6798 |564487 | 1.6 | 13M| 27 | - | 30 |9287 | 30 | 18 | 21 | 178k|2293 | 0.000000e+00 | -- | Inf
323.20/323.37 c 310s|370000 | 6263 |580024 | 1.6 | 13M| 27 | - | 30 |7975 | 0 | 0 | 21 | 183k|2326 | 0.000000e+00 | -- | Inf
334.78/334.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
334.78/334.96 c 321s|380000 | 5529 |595391 | 1.6 | 12M| 27 | - | 30 |7326 | 0 | 0 | 21 | 188k|2353 | 0.000000e+00 | -- | Inf
345.48/345.62 c 331s|390000 | 4960 |610974 | 1.6 | 11M| 27 | - | 30 |7884 | 0 | 0 | 21 | 194k|2389 | 0.000000e+00 | -- | Inf
357.88/358.09 c 343s|400000 | 3964 |626045 | 1.6 | 10M| 27 | - | 30 |7059 | 30 | 18 | 21 | 200k|2421 | 0.000000e+00 | -- | Inf
367.28/367.43 c 352s|410000 | 3896 |641349 | 1.6 | 10M| 27 | 4 | 30 |8307 | 30 | 18 | 21 | 204k|2446 | 0.000000e+00 | -- | Inf
376.97/377.17 c 362s|420000 | 4146 |656750 | 1.6 | 10M| 27 | - | 30 |8435 | 30 | 18 | 21 | 209k|2469 | 0.000000e+00 | -- | Inf
386.47/386.65 c 371s|430000 | 4474 |671648 | 1.6 | 11M| 27 | - | 30 | 10k| 30 | 18 | 21 | 213k|2494 | 0.000000e+00 | -- | Inf
398.07/398.29 c 382s|440000 | 4307 |686956 | 1.6 | 11M| 27 | 4 | 30 | 10k| 30 | 18 | 21 | 218k|2516 | 0.000000e+00 | -- | Inf
409.76/409.95 c 393s|450000 | 3911 |701871 | 1.6 | 11M| 27 | - | 30 | 10k| 0 | 0 | 21 | 222k|2540 | 0.000000e+00 | -- | Inf
423.46/423.68 c 407s|460000 | 3210 |717776 | 1.6 | 10M| 27 | 4 | 30 |8769 | 30 | 18 | 21 | 228k|2574 | 0.000000e+00 | -- | Inf
435.66/435.84 c 418s|470000 | 2611 |733114 | 1.6 |9113k| 27 | 4 | 30 |8120 | 30 | 18 | 21 | 233k|2605 | 0.000000e+00 | -- | Inf
444.56/444.78 c 427s|480000 | 2430 |748261 | 1.6 |9259k| 27 | - | 30 |9130 | 0 | 0 | 21 | 238k|2634 | 0.000000e+00 | -- | Inf
454.06/454.20 c 436s|490000 | 2990 |763803 | 1.6 |9534k| 27 | 4 | 30 |9242 | 30 | 18 | 21 | 243k|2659 | 0.000000e+00 | -- | Inf
465.45/465.61 c 447s|500000 | 2574 |779566 | 1.6 |9669k| 27 | 4 | 30 |9887 | 30 | 18 | 21 | 249k|2693 | 0.000000e+00 | -- | Inf
477.26/477.41 c 458s|510000 | 1938 |794679 | 1.6 |8785k| 27 | 4 | 30 |9695 | 30 | 18 | 21 | 254k|2715 | 0.000000e+00 | -- | Inf
488.95/489.14 c 470s|520000 | 1460 |809944 | 1.6 |7941k| 27 | 4 | 30 |9468 | 30 | 18 | 21 | 259k|2732 | 0.000000e+00 | -- | Inf
500.94/501.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
500.94/501.12 c 481s|530000 | 919 |825434 | 1.6 |6864k| 27 | - | 30 |8771 | 0 | 0 | 21 | 265k|2766 | 0.000000e+00 | -- | Inf
510.83/511.00 c 491s|540000 | 1108 |840973 | 1.6 |7618k| 27 | 4 | 30 | 10k| 30 | 18 | 21 | 270k|2793 | 0.000000e+00 | -- | Inf
523.14/523.39 c 503s|550000 | 1055 |855955 | 1.6 |7250k| 27 | - | 30 | 10k| 30 | 18 | 21 | 275k|2819 | 0.000000e+00 | -- | Inf
536.43/536.65 c 516s|560000 | 649 |870703 | 1.6 |7588k| 27 | 4 | 30 | 12k| 30 | 18 | 21 | 281k|2847 | 0.000000e+00 | -- | Inf
549.93/550.15 c 529s|570000 | 434 |886623 | 1.6 |7512k| 27 | - | 30 | 12k| 0 | 0 | 21 | 287k|2872 | 0.000000e+00 | -- | Inf
561.62/561.88 c 540s|580000 | 1525 |902946 | 1.6 |7002k| 27 | 4 | 30 | 10k| 30 | 18 | 21 | 291k|2902 | 0.000000e+00 | -- | Inf
572.12/572.38 c 550s|590000 | 2431 |918244 | 1.6 |8154k| 27 | 4 | 30 | 12k| 30 | 18 | 21 | 295k|2929 | 0.000000e+00 | -- | Inf
583.62/583.83 c 561s|600000 | 3062 |933800 | 1.6 |9175k| 27 | 4 | 30 | 13k| 30 | 18 | 21 | 299k|2950 | 0.000000e+00 | -- | Inf
596.71/596.96 c 574s|610000 | 3240 |948911 | 1.6 |9788k| 27 | 4 | 30 | 14k| 30 | 18 | 21 | 304k|2974 | 0.000000e+00 | -- | Inf
611.51/611.70 c 589s|620000 | 3065 |963990 | 1.6 | 10M| 27 | - | 30 | 15k| 0 | 0 | 21 | 308k|2993 | 0.000000e+00 | -- | Inf
625.40/625.69 c 602s|630000 | 3128 |978757 | 1.6 | 10M| 27 | 4 | 30 | 15k| 30 | 18 | 21 | 312k|3026 | 0.000000e+00 | -- | Inf
639.30/639.57 c 616s|640000 | 3257 |993539 | 1.6 | 10M| 27 | - | 30 | 16k| 30 | 18 | 21 | 317k|3049 | 0.000000e+00 | -- | Inf
656.30/656.58 c 632s|650000 | 2802 | 1008k| 1.6 | 10M| 27 | 4 | 30 | 16k| 30 | 18 | 21 | 322k|3067 | 0.000000e+00 | -- | Inf
671.99/672.21 c 648s|660000 | 2547 | 1023k| 1.6 | 10M| 27 | - | 30 | 16k| 30 | 18 | 21 | 327k|3088 | 0.000000e+00 | -- | Inf
690.28/690.56 c 666s|670000 | 2053 | 1039k| 1.6 | 10M| 27 | 4 | 30 | 16k| 30 | 18 | 21 | 332k|3102 | 0.000000e+00 | -- | Inf
709.39/709.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
709.39/709.63 c 684s|680000 | 1026 | 1054k| 1.6 |9510k| 27 | 4 | 30 | 16k| 30 | 18 | 21 | 337k|3121 | 0.000000e+00 | -- | Inf
727.58/727.83 c 702s|690000 | 533 | 1070k| 1.6 |8132k| 27 | 4 | 30 | 15k| 30 | 18 | 21 | 342k|3145 | 0.000000e+00 | -- | Inf
739.57/739.80 c 714s|700000 | 2011 | 1086k| 1.6 |9221k| 27 | - | 30 | 16k| 0 | 0 | 21 | 345k|3159 | 0.000000e+00 | -- | Inf
752.97/753.24 c 727s|710000 | 3163 | 1102k| 1.6 |9876k| 27 | 4 | 30 | 15k| 30 | 18 | 21 | 348k|3169 | 0.000000e+00 | -- | Inf
765.56/765.84 c 739s|720000 | 4100 | 1118k| 1.6 | 10M| 27 | 4 | 30 | 15k| 30 | 18 | 21 | 353k|3177 | 0.000000e+00 | -- | Inf
779.76/780.02 c 753s|730000 | 4703 | 1134k| 1.6 | 11M| 27 | 4 | 30 | 15k| 30 | 18 | 21 | 357k|3188 | 0.000000e+00 | -- | Inf
792.77/793.08 c 766s|740000 | 5805 | 1151k| 1.6 | 12M| 27 | - | 30 | 16k| 30 | 18 | 21 | 362k|3199 | 0.000000e+00 | -- | Inf
806.86/807.17 c 779s|750000 | 6465 | 1167k| 1.6 | 13M| 27 | - | 30 | 17k| 30 | 18 | 21 | 366k|3206 | 0.000000e+00 | -- | Inf
823.05/823.35 c 795s|760000 | 6638 | 1184k| 1.6 | 13M| 27 | - | 30 | 16k| 30 | 18 | 21 | 371k|3220 | 0.000000e+00 | -- | Inf
839.35/839.60 c 811s|770000 | 6616 | 1200k| 1.6 | 13M| 27 | 4 | 30 | 15k| 30 | 18 | 21 | 376k|3233 | 0.000000e+00 | -- | Inf
854.24/854.58 c 826s|780000 | 6685 | 1216k| 1.6 | 14M| 27 | 4 | 30 | 15k| 30 | 18 | 21 | 381k|3245 | 0.000000e+00 | -- | Inf
869.64/869.99 c 841s|790000 | 6616 | 1231k| 1.6 | 14M| 27 | - | 30 | 15k| 0 | 0 | 21 | 386k|3254 | 0.000000e+00 | -- | Inf
884.93/885.23 c 856s|800000 | 6511 | 1247k| 1.6 | 14M| 27 | - | 30 | 15k| 30 | 18 | 21 | 391k|3263 | 0.000000e+00 | -- | Inf
901.23/901.54 c 871s|810000 | 6064 | 1263k| 1.6 | 14M| 27 | - | 30 | 15k| 30 | 18 | 21 | 396k|3276 | 0.000000e+00 | -- | Inf
916.73/917.09 c 887s|820000 | 5824 | 1280k| 1.6 | 14M| 27 | - | 30 | 15k| 0 | 0 | 21 | 401k|3290 | 0.000000e+00 | -- | Inf
933.12/933.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
933.12/933.46 c 903s|830000 | 5285 | 1296k| 1.6 | 14M| 27 | - | 30 | 15k| 30 | 18 | 21 | 406k|3302 | 0.000000e+00 | -- | Inf
950.03/950.31 c 919s|840000 | 4723 | 1311k| 1.6 | 13M| 27 | 4 | 30 | 15k| 30 | 18 | 21 | 411k|3317 | 0.000000e+00 | -- | Inf
967.11/967.41 c 936s|850000 | 3947 | 1327k| 1.6 | 12M| 27 | - | 30 | 14k| 30 | 18 | 21 | 417k|3330 | 0.000000e+00 | -- | Inf
982.91/983.21 c 951s|860000 | 3238 | 1344k| 1.6 | 12M| 27 | 4 | 30 | 15k| 30 | 18 | 21 | 422k|3346 | 0.000000e+00 | -- | Inf
999.70/1000.07 c 968s|870000 | 2516 | 1359k| 1.6 | 11M| 27 | 4 | 30 | 16k| 30 | 18 | 21 | 427k|3359 | 0.000000e+00 | -- | Inf
1018.31/1018.65 c 986s|880000 | 1614 | 1376k| 1.6 | 10M| 27 | 4 | 30 | 15k| 30 | 18 | 21 | 433k|3372 | 0.000000e+00 | -- | Inf
1032.10/1032.43 c 999s|890000 | 1733 | 1392k| 1.6 | 11M| 27 | 4 | 30 | 17k| 30 | 18 | 21 | 438k|3376 | 0.000000e+00 | -- | Inf
1049.49/1049.86 c 1016s|900000 | 1158 | 1408k| 1.6 | 10M| 27 | - | 30 | 17k| 30 | 18 | 21 | 443k|3387 | 0.000000e+00 | -- | Inf
1066.78/1067.17 c 1033s|910000 | 692 | 1424k| 1.6 |9440k| 27 | - | 30 | 17k| 0 | 0 | 21 | 449k|3402 | 0.000000e+00 | -- | Inf
1079.69/1080.07 c 1046s|920000 | 969 | 1440k| 1.6 | 10M| 27 | 4 | 30 | 19k| 30 | 18 | 21 | 454k|3415 | 0.000000e+00 | -- | Inf
1097.49/1097.87 c 1063s|930000 | 261 | 1456k| 1.6 |9537k| 27 | 4 | 30 | 19k| 30 | 18 | 21 | 459k|3429 | 0.000000e+00 | -- | Inf
1103.18/1103.56 c
1103.18/1103.56 c SCIP Status : problem is solved [infeasible]
1103.18/1103.56 c Solving Time (sec) : 1068.83
1103.18/1103.56 c Solving Nodes : 932781
1103.18/1103.56 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1103.18/1103.56 c Dual Bound : +1.00000000000000e+20
1103.18/1103.56 c Gap : 0.00 %
1103.18/1103.56 s UNSATISFIABLE
1103.18/1103.56 c SCIP Status : problem is solved [infeasible]
1103.18/1103.56 c Solving Time : 1068.83
1103.18/1103.56 c Original Problem :
1103.18/1103.56 c Problem name : HOME/instance-2667658-1276601776.opb
1103.18/1103.56 c Variables : 31 (31 binary, 0 integer, 0 implicit integer, 0 continuous)
1103.18/1103.56 c Constraints : 9 initial, 9 maximal
1103.18/1103.56 c Presolved Problem :
1103.18/1103.56 c Problem name : t_HOME/instance-2667658-1276601776.opb
1103.18/1103.56 c Variables : 30 (30 binary, 0 integer, 0 implicit integer, 0 continuous)
1103.18/1103.56 c Constraints : 4 initial, 19596 maximal
1103.18/1103.56 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1103.18/1103.56 c trivial : 0.00 0 0 0 0 0 0 0 0
1103.18/1103.56 c dualfix : 0.00 1 0 0 0 0 0 0 0
1103.18/1103.56 c boundshift : 0.00 0 0 0 0 0 0 0 0
1103.18/1103.56 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1103.18/1103.56 c implics : 0.00 0 0 0 0 0 0 0 0
1103.18/1103.56 c probing : 0.01 0 0 0 0 0 0 0 0
1103.18/1103.56 c linear : 0.00 0 0 0 0 0 5 0 0
1103.18/1103.56 c logicor : 0.00 0 0 0 0 0 0 0 0
1103.18/1103.56 c root node : - 0 - - 0 - - - -
1103.18/1103.56 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1103.18/1103.56 c integral : 0 0 0 515070 0 481 1531 0 0 1026270
1103.18/1103.56 c linear : 4+ 7 2115542 0 0 291859 1958723 0 0 0
1103.18/1103.56 c logicor : 0+ 0 1056214 0 0 4443 410483 0 0 0
1103.18/1103.56 c countsols : 0 0 0 0 0 0 0 0 0 0
1103.18/1103.56 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1103.18/1103.56 c integral : 7.01 0.00 0.00 7.01 0.00
1103.18/1103.56 c linear : 92.67 0.00 92.67 0.00 0.00
1103.18/1103.56 c logicor : 411.53 0.00 411.53 0.00 0.00
1103.18/1103.56 c countsols : 0.00 0.00 0.00 0.00 0.00
1103.18/1103.56 c Propagators : Time Calls Cutoffs DomReds
1103.18/1103.56 c vbounds : 1.26 2 0 0
1103.18/1103.56 c rootredcost : 1.12 0 0 0
1103.18/1103.56 c pseudoobj : 1.12 0 0 0
1103.18/1103.56 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1103.18/1103.56 c propagation : 12.39 296302 150264 429214 20.8 5 16.2 -
1103.18/1103.56 c infeasible LP : 11.14 211945 211932 341638 13.5 2345 17.7 0
1103.18/1103.56 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1103.18/1103.56 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1103.18/1103.56 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1103.18/1103.56 c applied globally : - - - 460930 15.0 - - -
1103.18/1103.56 c applied locally : - - - 0 0.0 - - -
1103.18/1103.56 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1103.18/1103.56 c cut pool : 0.00 5 - - 40 - (maximal pool size: 97)
1103.18/1103.56 c redcost : 1.08 515074 0 0 0 0
1103.18/1103.56 c impliedbounds : 0.00 6 0 0 0 0
1103.18/1103.56 c intobj : 0.00 0 0 0 0 0
1103.18/1103.56 c cgmip : 0.00 0 0 0 0 0
1103.18/1103.56 c gomory : 0.00 6 0 0 1 0
1103.18/1103.56 c strongcg : 0.00 6 0 0 29 0
1103.18/1103.56 c cmir : 0.00 6 0 0 38 0
1103.18/1103.56 c flowcover : 0.01 6 0 0 57 0
1103.18/1103.56 c clique : 0.00 1 0 0 0 0
1103.18/1103.56 c zerohalf : 0.00 0 0 0 0 0
1103.18/1103.56 c mcf : 0.00 1 0 0 0 0
1103.18/1103.56 c rapidlearning : 0.05 1 0 0 0 96
1103.18/1103.56 c Pricers : Time Calls Vars
1103.18/1103.56 c problem variables: 0.00 0 0
1103.18/1103.56 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1103.18/1103.56 c relpscost : 6.06 515070 481 1531 0 0 1026270
1103.18/1103.56 c pscost : 0.00 0 0 0 0 0 0
1103.18/1103.56 c inference : 0.00 0 0 0 0 0 0
1103.18/1103.56 c mostinf : 0.00 0 0 0 0 0 0
1103.18/1103.56 c leastinf : 0.00 0 0 0 0 0 0
1103.18/1103.56 c fullstrong : 0.00 0 0 0 0 0 0
1103.18/1103.56 c allfullstrong : 0.00 0 0 0 0 0 0
1103.18/1103.56 c random : 0.00 0 0 0 0 0 0
1103.18/1103.56 c Primal Heuristics : Time Calls Found
1103.18/1103.56 c LP solutions : 0.00 - 0
1103.18/1103.56 c pseudo solutions : 0.00 - 0
1103.18/1103.56 c oneopt : 0.96 0 0
1103.18/1103.56 c crossover : 0.64 0 0
1103.18/1103.56 c guideddiving : 0.06 0 0
1103.18/1103.56 c rootsoldiving : 0.20 47 0
1103.18/1103.56 c coefdiving : 0.15 94 0
1103.18/1103.56 c fracdiving : 0.13 94 0
1103.18/1103.56 c veclendiving : 0.14 94 0
1103.18/1103.56 c pscostdiving : 0.09 94 0
1103.18/1103.56 c linesearchdiving : 0.11 94 0
1103.18/1103.56 c feaspump : 0.11 48 0
1103.18/1103.56 c objpscostdiving : 0.06 48 0
1103.18/1103.56 c trivial : 0.00 2 0
1103.18/1103.56 c simplerounding : 0.34 0 0
1103.18/1103.56 c zirounding : 0.45 1000 0
1103.18/1103.56 c rounding : 0.78 10057 0
1103.18/1103.56 c shifting : 1.67 4185 0
1103.18/1103.56 c intshifting : 0.05 0 0
1103.18/1103.56 c twoopt : 0.00 0 0
1103.18/1103.56 c fixandinfer : 0.00 0 0
1103.18/1103.56 c intdiving : 0.00 0 0
1103.18/1103.56 c actconsdiving : 0.00 0 0
1103.18/1103.56 c octane : 0.00 0 0
1103.18/1103.56 c rens : 0.01 0 0
1103.18/1103.56 c rins : 0.00 0 0
1103.18/1103.56 c localbranching : 0.00 0 0
1103.18/1103.56 c mutation : 0.00 0 0
1103.18/1103.56 c dins : 0.00 0 0
1103.18/1103.56 c undercover : 0.00 0 0
1103.18/1103.56 c nlp : 0.54 0 0
1103.18/1103.56 c trysol : 0.61 0 0
1103.18/1103.56 c LP : Time Calls Iterations Iter/call Iter/sec
1103.18/1103.56 c primal LP : 0.00 0 0 0.00 -
1103.18/1103.56 c dual LP : 58.23 706006 1459486 2.07 25064.16
1103.18/1103.56 c lex dual LP : 0.00 0 0 0.00 -
1103.18/1103.56 c barrier LP : 0.00 0 0 0.00 -
1103.18/1103.56 c diving/probing LP: 0.09 704 1023 1.45 11366.67
1103.18/1103.56 c strong branching : 0.46 3432 10930 3.18 23760.87
1103.18/1103.56 c (at root node) : - 9 268 29.78 -
1103.18/1103.56 c conflict analysis: 0.00 0 0 0.00 -
1103.18/1103.56 c B&B Tree :
1103.18/1103.56 c number of runs : 1
1103.18/1103.56 c nodes : 932781
1103.18/1103.56 c nodes (total) : 932781
1103.18/1103.56 c nodes left : 0
1103.18/1103.56 c max depth : 27
1103.18/1103.56 c max depth (total): 27
1103.18/1103.56 c backtracks : 263728 (28.3%)
1103.18/1103.56 c delayed cutoffs : 93490
1103.18/1103.56 c repropagations : 591316 (866635 domain reductions, 87992 cutoffs)
1103.18/1103.56 c avg switch length: 5.57
1103.18/1103.56 c switching time : 325.14
1103.18/1103.56 c Solution :
1103.18/1103.56 c Solutions found : 0 (0 improvements)
1103.18/1103.56 c Primal Bound : infeasible
1103.18/1103.56 c Dual Bound : -
1103.18/1103.56 c Gap : 0.00 %
1103.18/1103.56 c Root Dual Bound : +0.00000000000000e+00
1103.18/1103.56 c Root Iterations : 90
1103.28/1103.61 c Time complete: 1103.29.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2667658-1276601776/watcher-2667658-1276601776 -o /tmp/evaluation-result-2667658-1276601776/solver-2667658-1276601776 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667658-1276601776.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.93 0.98 0.99 2/106 12016
/proc/meminfo: memFree=1425880/2059040 swapFree=4192956/4192956
[pid=12016] ppid=12014 vsize=7724 CPUtime=0
/proc/12016/stat : 12016 (pbscip.linux.x8) R 12014 12016 11991 0 -1 4202496 1180 0 0 0 0 0 0 0 24 0 1 0 1472055 7909376 1100 1992294400 4194304 8223781 140734188128064 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12016/statm: 1931 1109 348 984 0 944 0
[startup+0.092454 s]
/proc/loadavg: 0.93 0.98 0.99 2/106 12016
/proc/meminfo: memFree=1425880/2059040 swapFree=4192956/4192956
[pid=12016] ppid=12014 vsize=15552 CPUtime=0.09
/proc/12016/stat : 12016 (pbscip.linux.x8) R 12014 12016 11991 0 -1 4202496 4973 0 0 0 6 3 0 0 24 0 1 0 1472055 15925248 2971 1992294400 4194304 8223781 140734188128064 18446744073709551615 7302071 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12016/statm: 3888 2714 571 984 0 2901 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15552
[startup+0.101456 s]
/proc/loadavg: 0.93 0.98 0.99 2/106 12016
/proc/meminfo: memFree=1425880/2059040 swapFree=4192956/4192956
[pid=12016] ppid=12014 vsize=13496 CPUtime=0.09
/proc/12016/stat : 12016 (pbscip.linux.x8) R 12014 12016 11991 0 -1 4202496 4981 0 0 0 6 3 0 0 24 0 1 0 1472055 13819904 2465 1992294400 4194304 8223781 140734188128064 18446744073709551615 7073867 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12016/statm: 3374 2465 576 984 0 2387 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13496
[startup+0.301472 s]
/proc/loadavg: 0.93 0.98 0.99 2/106 12016
/proc/meminfo: memFree=1425880/2059040 swapFree=4192956/4192956
[pid=12016] ppid=12014 vsize=13496 CPUtime=0.29
/proc/12016/stat : 12016 (pbscip.linux.x8) R 12014 12016 11991 0 -1 4202496 5506 0 0 0 23 6 0 0 25 0 1 0 1472055 13819904 2476 1992294400 4194304 8223781 140734188128064 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12016/statm: 3374 2476 579 984 0 2387 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13496
[startup+0.701507 s]
/proc/loadavg: 0.93 0.98 0.99 2/106 12016
/proc/meminfo: memFree=1425880/2059040 swapFree=4192956/4192956
[pid=12016] ppid=12014 vsize=13688 CPUtime=0.69
/proc/12016/stat : 12016 (pbscip.linux.x8) R 12014 12016 11991 0 -1 4202496 5570 0 0 0 60 9 0 0 25 0 1 0 1472055 14016512 2540 1992294400 4194304 8223781 140734188128064 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12016/statm: 3422 2540 579 984 0 2435 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13688
[startup+1.50158 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 12017
/proc/meminfo: memFree=1417564/2059040 swapFree=4192956/4192956
[pid=12016] ppid=12014 vsize=14724 CPUtime=1.5
/proc/12016/stat : 12016 (pbscip.linux.x8) R 12014 12016 11991 0 -1 4202496 5816 0 0 0 133 17 0 0 25 0 1 0 1472055 15077376 2786 1992294400 4194304 8223781 140734188128064 18446744073709551615 5955584 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12016/statm: 3681 2786 579 984 0 2694 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 14724
[startup+3.10172 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 12017
/proc/meminfo: memFree=1416076/2059040 swapFree=4192956/4192956
[pid=12016] ppid=12014 vsize=16508 CPUtime=3.09
/proc/12016/stat : 12016 (pbscip.linux.x8) R 12014 12016 11991 0 -1 4202496 6273 0 0 0 277 32 0 0 25 0 1 0 1472055 16904192 3243 1992294400 4194304 8223781 140734188128064 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12016/statm: 4127 3243 579 984 0 3140 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16508
[startup+6.301 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 12017
/proc/meminfo: memFree=1413968/2059040 swapFree=4192956/4192956
[pid=12016] ppid=12014 vsize=17412 CPUtime=6.29
/proc/12016/stat : 12016 (pbscip.linux.x8) R 12014 12016 11991 0 -1 4202496 6503 0 0 0 578 51 0 0 25 0 1 0 1472055 17829888 3473 1992294400 4194304 8223781 140734188128064 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12016/statm: 4353 3473 579 984 0 3366 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17412
[startup+12.7006 s]
/proc/loadavg: 0.94 0.98 0.99 2/107 12017
/proc/meminfo: memFree=1411736/2059040 swapFree=4192956/4192956
[pid=12016] ppid=12014 vsize=19588 CPUtime=12.69
/proc/12016/stat : 12016 (pbscip.linux.x8) R 12014 12016 11991 0 -1 4202496 7054 0 0 0 1170 99 0 0 25 0 1 0 1472055 20058112 4024 1992294400 4194304 8223781 140734188128064 18446744073709551615 4925457 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12016/statm: 4897 4024 579 984 0 3910 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 19588
[startup+25.5007 s]
/proc/loadavg: 0.95 0.98 0.99 2/107 12017
/proc/meminfo: memFree=1408760/2059040 swapFree=4192956/4192956
[pid=12016] ppid=12014 vsize=22988 CPUtime=25.48
/proc/12016/stat : 12016 (pbscip.linux.x8) R 12014 12016 11991 0 -1 4202496 7867 0 0 0 2363 185 0 0 25 0 1 0 1472055 23539712 4837 1992294400 4194304 8223781 140734188128064 18446744073709551615 4644822 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12016/statm: 5747 4837 579 984 0 4760 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 22988
[startup+51.1009 s]
/proc/loadavg: 0.97 0.98 0.99 2/107 12019
/proc/meminfo: memFree=1403924/2059040 swapFree=4192956/4192956
[pid=12016] ppid=12014 vsize=27412 CPUtime=51.07
/proc/12016/stat : 12016 (pbscip.linux.x8) R 12014 12016 11991 0 -1 4202496 8965 0 0 0 4786 321 0 0 25 0 1 0 1472055 28069888 5935 1992294400 4194304 8223781 140734188128064 18446744073709551615 4924244 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12016/statm: 6853 5935 579 984 0 5866 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 27412
[startup+102.308 s]
/proc/loadavg: 0.98 0.98 0.99 2/107 12019
/proc/meminfo: memFree=1401072/2059040 swapFree=4192956/4192956
[pid=12016] ppid=12014 vsize=30352 CPUtime=102.27
/proc/12016/stat : 12016 (pbscip.linux.x8) R 12014 12016 11991 0 -1 4202496 9671 0 0 0 9676 551 0 0 25 0 1 0 1472055 31080448 6641 1992294400 4194304 8223781 140734188128064 18446744073709551615 4431702 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12016/statm: 7588 6641 579 984 0 6601 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 30352
[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 12021
/proc/meminfo: memFree=1397104/2059040 swapFree=4192956/4192956
[pid=12016] ppid=12014 vsize=34200 CPUtime=162.24
/proc/12016/stat : 12016 (pbscip.linux.x8) R 12014 12016 11991 0 -1 4202496 10615 0 0 0 15417 807 0 0 25 0 1 0 1472055 35020800 7585 1992294400 4194304 8223781 140734188128064 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12016/statm: 8550 7585 579 984 0 7563 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 34200
[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 12023
/proc/meminfo: memFree=1395988/2059040 swapFree=4192956/4192956
[pid=12016] ppid=12014 vsize=35152 CPUtime=222.22
/proc/12016/stat : 12016 (pbscip.linux.x8) R 12014 12016 11991 0 -1 4202496 10879 0 0 0 21208 1014 0 0 25 0 1 0 1472055 35995648 7849 1992294400 4194304 8223781 140734188128064 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12016/statm: 8788 7849 579 984 0 7801 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 35152
[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 12025
/proc/meminfo: memFree=1395864/2059040 swapFree=4192956/4192956
[pid=12016] ppid=12014 vsize=35152 CPUtime=282.2
/proc/12016/stat : 12016 (pbscip.linux.x8) R 12014 12016 11991 0 -1 4202496 10879 0 0 0 26997 1223 0 0 25 0 1 0 1472055 35995648 7849 1992294400 4194304 8223781 140734188128064 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12016/statm: 8788 7849 579 984 0 7801 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 35152
[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 12027
/proc/meminfo: memFree=1395616/2059040 swapFree=4192956/4192956
[pid=12016] ppid=12014 vsize=35592 CPUtime=342.19
/proc/12016/stat : 12016 (pbscip.linux.x8) R 12014 12016 11991 0 -1 4202496 10934 0 0 0 32793 1426 0 0 25 0 1 0 1472055 36446208 7904 1992294400 4194304 8223781 140734188128064 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12016/statm: 8898 7904 579 984 0 7911 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 35592
[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 12027
/proc/meminfo: memFree=1395368/2059040 swapFree=4192956/4192956
[pid=12016] ppid=12014 vsize=35592 CPUtime=402.17
/proc/12016/stat : 12016 (pbscip.linux.x8) R 12014 12016 11991 0 -1 4202496 10974 0 0 0 38585 1632 0 0 25 0 1 0 1472055 36446208 7944 1992294400 4194304 8223781 140734188128064 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12016/statm: 8898 7944 579 984 0 7911 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 35592
[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 12029
/proc/meminfo: memFree=1394996/2059040 swapFree=4192956/4192956
[pid=12016] ppid=12014 vsize=36008 CPUtime=462.15
/proc/12016/stat : 12016 (pbscip.linux.x8) R 12014 12016 11991 0 -1 4202496 11043 0 0 0 44384 1831 0 0 25 0 1 0 1472055 36872192 8013 1992294400 4194304 8223781 140734188128064 18446744073709551615 5955584 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12016/statm: 9002 8013 579 984 0 8015 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 36008
[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 12031
/proc/meminfo: memFree=1394624/2059040 swapFree=4192956/4192956
[pid=12016] ppid=12014 vsize=36436 CPUtime=522.14
/proc/12016/stat : 12016 (pbscip.linux.x8) R 12014 12016 11991 0 -1 4202496 11134 0 0 0 50190 2024 0 0 25 0 1 0 1472055 37310464 8104 1992294400 4194304 8223781 140734188128064 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12016/statm: 9109 8104 579 984 0 8122 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 36436
[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 12033
/proc/meminfo: memFree=1393384/2059040 swapFree=4192956/4192956
[pid=12016] ppid=12014 vsize=37688 CPUtime=582.12
/proc/12016/stat : 12016 (pbscip.linux.x8) R 12014 12016 11991 0 -1 4202496 11396 0 0 0 55999 2213 0 0 25 0 1 0 1472055 38592512 8366 1992294400 4194304 8223781 140734188128064 18446744073709551615 4220995 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12016/statm: 9422 8366 579 984 0 8435 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 37688
[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 12035
/proc/meminfo: memFree=1393260/2059040 swapFree=4192956/4192956
[pid=12016] ppid=12014 vsize=38068 CPUtime=642.11
/proc/12016/stat : 12016 (pbscip.linux.x8) R 12014 12016 11991 0 -1 4202496 11461 0 0 0 61843 2368 0 0 25 0 1 0 1472055 38981632 8431 1992294400 4194304 8223781 140734188128064 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12016/statm: 9517 8431 579 984 0 8530 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 38068
[startup+702.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 12035
/proc/meminfo: memFree=1393012/2059040 swapFree=4192956/4192956
[pid=12016] ppid=12014 vsize=38068 CPUtime=702.09
/proc/12016/stat : 12016 (pbscip.linux.x8) R 12014 12016 11991 0 -1 4202496 11465 0 0 0 67713 2496 0 0 25 0 1 0 1472055 38981632 8435 1992294400 4194304 8223781 140734188128064 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12016/statm: 9517 8435 579 984 0 8530 0
Current children cumulated CPU time (s) 702.09
Current children cumulated vsize (KiB) 38068
[startup+762.309 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 12037
/proc/meminfo: memFree=1392268/2059040 swapFree=4192956/4192956
[pid=12016] ppid=12014 vsize=39148 CPUtime=762.08
/proc/12016/stat : 12016 (pbscip.linux.x8) R 12014 12016 11991 0 -1 4202496 11651 0 0 0 73565 2643 0 0 25 0 1 0 1472055 40087552 8621 1992294400 4194304 8223781 140734188128064 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12016/statm: 9787 8621 579 984 0 8800 0
Current children cumulated CPU time (s) 762.08
Current children cumulated vsize (KiB) 39148
[startup+822.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 12039
/proc/meminfo: memFree=1391896/2059040 swapFree=4192956/4192956
[pid=12016] ppid=12014 vsize=39380 CPUtime=822.05
/proc/12016/stat : 12016 (pbscip.linux.x8) R 12014 12016 11991 0 -1 4202496 11710 0 0 0 79405 2800 0 0 25 0 1 0 1472055 40325120 8680 1992294400 4194304 8223781 140734188128064 18446744073709551615 5931631 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12016/statm: 9845 8680 579 984 0 8858 0
Current children cumulated CPU time (s) 822.05
Current children cumulated vsize (KiB) 39380
[startup+882.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 12041
/proc/meminfo: memFree=1391772/2059040 swapFree=4192956/4192956
[pid=12016] ppid=12014 vsize=39380 CPUtime=882.04
/proc/12016/stat : 12016 (pbscip.linux.x8) R 12014 12016 11991 0 -1 4202496 11711 0 0 0 85263 2941 0 0 25 0 1 0 1472055 40325120 8681 1992294400 4194304 8223781 140734188128064 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12016/statm: 9845 8681 579 984 0 8858 0
Current children cumulated CPU time (s) 882.04
Current children cumulated vsize (KiB) 39380
[startup+942.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 12043
/proc/meminfo: memFree=1391648/2059040 swapFree=4192956/4192956
[pid=12016] ppid=12014 vsize=39380 CPUtime=942.02
/proc/12016/stat : 12016 (pbscip.linux.x8) R 12014 12016 11991 0 -1 4202496 11712 0 0 0 91122 3080 0 0 25 0 1 0 1472055 40325120 8682 1992294400 4194304 8223781 140734188128064 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12016/statm: 9845 8682 579 984 0 8858 0
Current children cumulated CPU time (s) 942.02
Current children cumulated vsize (KiB) 39380
[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 12043
/proc/meminfo: memFree=1391524/2059040 swapFree=4192956/4192956
[pid=12016] ppid=12014 vsize=39380 CPUtime=1002.01
/proc/12016/stat : 12016 (pbscip.linux.x8) R 12014 12016 11991 0 -1 4202496 11717 0 0 0 96988 3213 0 0 25 0 1 0 1472055 40325120 8687 1992294400 4194304 8223781 140734188128064 18446744073709551615 4947073 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12016/statm: 9845 8687 579 984 0 8858 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 39380
[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 12045
/proc/meminfo: memFree=1391276/2059040 swapFree=4192956/4192956
[pid=12016] ppid=12014 vsize=39888 CPUtime=1061.99
/proc/12016/stat : 12016 (pbscip.linux.x8) R 12014 12016 11991 0 -1 4202496 11813 0 0 0 102860 3339 0 0 25 0 1 0 1472055 40845312 8783 1992294400 4194304 8223781 140734188128064 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12016/statm: 9972 8783 579 984 0 8985 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 39888
Solver just ended. Dumping a history of the last processes samples
[startup+1075.1 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 12045
/proc/meminfo: memFree=1391276/2059040 swapFree=4192956/4192956
[pid=12016] ppid=12014 vsize=39888 CPUtime=1074.79
/proc/12016/stat : 12016 (pbscip.linux.x8) R 12014 12016 11991 0 -1 4202496 11813 0 0 0 104100 3379 0 0 25 0 1 0 1472055 40845312 8783 1992294400 4194304 8223781 140734188128064 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12016/statm: 9972 8783 579 984 0 8985 0
Current children cumulated CPU time (s) 1074.79
Current children cumulated vsize (KiB) 39888
[startup+1087.91 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 12045
/proc/meminfo: memFree=1391152/2059040 swapFree=4192956/4192956
[pid=12016] ppid=12014 vsize=39888 CPUtime=1087.59
/proc/12016/stat : 12016 (pbscip.linux.x8) R 12014 12016 11991 0 -1 4202496 11814 0 0 0 105350 3409 0 0 25 0 1 0 1472055 40845312 8784 1992294400 4194304 8223781 140734188128064 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12016/statm: 9972 8784 579 984 0 8985 0
Current children cumulated CPU time (s) 1087.59
Current children cumulated vsize (KiB) 39888
[startup+1094.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 12047
/proc/meminfo: memFree=1391152/2059040 swapFree=4192956/4192956
[pid=12016] ppid=12014 vsize=39888 CPUtime=1093.98
/proc/12016/stat : 12016 (pbscip.linux.x8) R 12014 12016 11991 0 -1 4202496 11814 0 0 0 105976 3422 0 0 25 0 1 0 1472055 40845312 8784 1992294400 4194304 8223781 140734188128064 18446744073709551615 6207232 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12016/statm: 9972 8784 579 984 0 8985 0
Current children cumulated CPU time (s) 1093.98
Current children cumulated vsize (KiB) 39888
[startup+1097.5 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 12047
/proc/meminfo: memFree=1391152/2059040 swapFree=4192956/4192956
[pid=12016] ppid=12014 vsize=39888 CPUtime=1097.18
/proc/12016/stat : 12016 (pbscip.linux.x8) R 12014 12016 11991 0 -1 4202496 11814 0 0 0 106290 3428 0 0 25 0 1 0 1472055 40845312 8784 1992294400 4194304 8223781 140734188128064 18446744073709551615 4219807 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12016/statm: 9972 8784 579 984 0 8985 0
Current children cumulated CPU time (s) 1097.18
Current children cumulated vsize (KiB) 39888
[startup+1100.7 s]
/proc/loadavg: 0.99 0.98 0.99 3/107 12047
/proc/meminfo: memFree=1391152/2059040 swapFree=4192956/4192956
[pid=12016] ppid=12014 vsize=39888 CPUtime=1100.38
/proc/12016/stat : 12016 (pbscip.linux.x8) R 12014 12016 11991 0 -1 4202496 11814 0 0 0 106601 3437 0 0 25 0 1 0 1472055 40845312 8784 1992294400 4194304 8223781 140734188128064 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12016/statm: 9972 8784 579 984 0 8985 0
Current children cumulated CPU time (s) 1100.38
Current children cumulated vsize (KiB) 39888
[startup+1102.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 12047
/proc/meminfo: memFree=1391152/2059040 swapFree=4192956/4192956
[pid=12016] ppid=12014 vsize=39888 CPUtime=1101.98
/proc/12016/stat : 12016 (pbscip.linux.x8) R 12014 12016 11991 0 -1 4202496 11820 0 0 0 106758 3440 0 0 25 0 1 0 1472055 40845312 8790 1992294400 4194304 8223781 140734188128064 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12016/statm: 9972 8790 579 984 0 8985 0
Current children cumulated CPU time (s) 1101.98
Current children cumulated vsize (KiB) 39888
[startup+1103.1 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 12047
/proc/meminfo: memFree=1391152/2059040 swapFree=4192956/4192956
[pid=12016] ppid=12014 vsize=39888 CPUtime=1102.78
/proc/12016/stat : 12016 (pbscip.linux.x8) R 12014 12016 11991 0 -1 4202496 11820 0 0 0 106837 3441 0 0 25 0 1 0 1472055 40845312 8790 1992294400 4194304 8223781 140734188128064 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12016/statm: 9972 8790 579 984 0 8985 0
Current children cumulated CPU time (s) 1102.78
Current children cumulated vsize (KiB) 39888
[startup+1103.5 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 12047
/proc/meminfo: memFree=1391152/2059040 swapFree=4192956/4192956
[pid=12016] ppid=12014 vsize=39888 CPUtime=1103.18
/proc/12016/stat : 12016 (pbscip.linux.x8) R 12014 12016 11991 0 -1 4202496 11820 0 0 0 106876 3442 0 0 25 0 1 0 1472055 40845312 8790 1992294400 4194304 8223781 140734188128064 18446744073709551615 4221383 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12016/statm: 9972 8790 579 984 0 8985 0
Current children cumulated CPU time (s) 1103.18
Current children cumulated vsize (KiB) 39888
[startup+1103.6 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 12047
/proc/meminfo: memFree=1391152/2059040 swapFree=4192956/4192956
[pid=12016] ppid=12014 vsize=37368 CPUtime=1103.28
/proc/12016/stat : 12016 (pbscip.linux.x8) R 12014 12016 11991 0 -1 4202496 11826 0 0 0 106886 3442 0 0 25 0 1 0 1472055 38264832 8152 1992294400 4194304 8223781 140734188128064 18446744073709551615 4332879 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12016/statm: 9342 8152 581 984 0 8355 0
Current children cumulated CPU time (s) 1103.28
Current children cumulated vsize (KiB) 37368
Child status: 0
Real time (s): 1103.61
CPU time (s): 1103.3
CPU user time (s): 1068.87
CPU system time (s): 34.4258
CPU usage (%): 99.9717
Max. virtual memory (cumulated for all children) (KiB): 39888
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1068.87
system time used= 34.4258
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11830
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1954
runsolver used 1.82972 second user time and 5.21121 second system time
The end