0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
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-2704563-1278561926.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.00
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 | 16 | - | 193k| 0 | 4 | 30 | 4 | 30 | 4 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.05/0.08 c 0.1s| 1 | 0 | 58 | - | 381k| 0 | 8 | 30 | 100 | 30 | 9 | 5 | 0 | 0 | 0.000000e+00 | -- | Inf
0.05/0.09 c 0.1s| 1 | 0 | 64 | - | 403k| 0 | 8 | 30 | 100 | 30 | 13 | 9 | 0 | 0 | 0.000000e+00 | -- | Inf
0.05/0.09 c 0.1s| 1 | 0 | 67 | - | 427k| 0 | 10 | 30 | 100 | 30 | 17 | 13 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.10 c 0.1s| 1 | 0 | 73 | - | 446k| 0 | 11 | 30 | 100 | 30 | 19 | 15 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.10 c 0.1s| 1 | 0 | 85 | - | 453k| 0 | 13 | 30 | 100 | 30 | 23 | 19 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.11 c 0.1s| 1 | 0 | 90 | - | 463k| 0 | 17 | 30 | 100 | 30 | 25 | 21 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.12 c 0.1s| 1 | 2 | 90 | - | 464k| 0 | 17 | 30 | 100 | 30 | 25 | 21 | 0 | 9 | 0.000000e+00 | -- | Inf
3.79/3.87 c 3.9s| 10000 | 2149 | 16761 | 1.7 |3143k| 25 | - | 30 |3407 | 30 | 18 | 21 |4134 | 374 | 0.000000e+00 | -- | Inf
8.49/8.59 c 8.6s| 20000 | 3456 | 33340 | 1.7 |4104k| 25 | 4 | 30 |2965 | 30 | 18 | 21 |8874 | 530 | 0.000000e+00 | -- | Inf
13.20/13.29 c 13.3s| 30000 | 4546 | 49824 | 1.7 |5287k| 25 | - | 30 |3851 | 0 | 0 | 21 | 13k| 684 | 0.000000e+00 | -- | Inf
18.18/18.23 c 18.2s| 40000 | 5785 | 65800 | 1.6 |6368k| 26 | 4 | 30 |4111 | 30 | 18 | 21 | 18k| 788 | 0.000000e+00 | -- | Inf
23.00/23.04 c 23.0s| 50000 | 7359 | 82083 | 1.6 |7852k| 26 | 4 | 30 |5466 | 30 | 18 | 21 | 22k| 858 | 0.000000e+00 | -- | Inf
29.48/29.52 c 29.5s| 60000 | 8004 | 97917 | 1.6 |8617k| 26 | 4 | 30 |5170 | 30 | 18 | 21 | 27k| 934 | 0.000000e+00 | -- | Inf
34.78/34.88 c 34.9s| 70000 | 9145 |113184 | 1.6 |9788k| 26 | 4 | 30 |6021 | 30 | 18 | 21 | 31k| 994 | 0.000000e+00 | -- | Inf
41.27/41.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
41.27/41.32 c 41.3s| 80000 | 9785 |128827 | 1.6 | 10M| 26 | 4 | 30 |5839 | 30 | 18 | 21 | 35k|1075 | 0.000000e+00 | -- | Inf
48.29/48.36 c 48.3s| 90000 | 10251 |144384 | 1.6 | 11M| 26 | - | 30 |6083 | 30 | 18 | 21 | 40k|1130 | 0.000000e+00 | -- | Inf
55.07/55.18 c 55.2s|100000 | 10877 |160060 | 1.6 | 11M| 26 | 4 | 30 |5840 | 30 | 18 | 21 | 45k|1187 | 0.000000e+00 | -- | Inf
62.68/62.73 c 62.7s|110000 | 10898 |175373 | 1.6 | 11M| 26 | - | 30 |5116 | 30 | 18 | 21 | 50k|1263 | 0.000000e+00 | -- | Inf
69.87/69.95 c 69.9s|120000 | 11038 |190594 | 1.6 | 12M| 26 | 4 | 30 |5550 | 30 | 18 | 21 | 55k|1324 | 0.000000e+00 | -- | Inf
76.57/76.65 c 76.6s|130000 | 11366 |205787 | 1.6 | 13M| 26 | - | 30 |6815 | 30 | 18 | 21 | 60k|1394 | 0.000000e+00 | -- | Inf
85.16/85.27 c 85.3s|140000 | 11304 |221585 | 1.6 | 13M| 26 | - | 30 |6286 | 30 | 18 | 21 | 65k|1454 | 0.000000e+00 | -- | Inf
93.17/93.21 c 93.2s|150000 | 11234 |236910 | 1.6 | 13M| 26 | 4 | 30 |6286 | 30 | 18 | 21 | 70k|1490 | 0.000000e+00 | -- | Inf
100.26/100.32 c 100s|160000 | 11254 |252858 | 1.6 | 13M| 26 | 4 | 30 |5758 | 30 | 18 | 21 | 75k|1554 | 0.000000e+00 | -- | Inf
106.57/106.63 c 107s|170000 | 11953 |268344 | 1.6 | 14M| 26 | 4 | 30 |7348 | 30 | 18 | 21 | 79k|1597 | 0.000000e+00 | -- | Inf
115.26/115.38 c 115s|180000 | 11804 |284047 | 1.6 | 14M| 26 | 4 | 30 |6230 | 30 | 18 | 21 | 85k|1640 | 0.000000e+00 | -- | Inf
123.45/123.52 c 124s|190000 | 11736 |299649 | 1.6 | 14M| 26 | - | 30 |6687 | 0 | 0 | 21 | 90k|1686 | 0.000000e+00 | -- | Inf
132.15/132.28 c 132s|200000 | 11413 |315036 | 1.6 | 14M| 26 | - | 30 |6320 | 30 | 18 | 21 | 95k|1725 | 0.000000e+00 | -- | Inf
140.35/140.44 c 140s|210000 | 11306 |330535 | 1.6 | 15M| 26 | 4 | 30 |7301 | 30 | 18 | 21 | 100k|1775 | 0.000000e+00 | -- | Inf
147.55/147.68 c 148s|220000 | 12115 |346536 | 1.6 | 16M| 26 | 4 | 30 |9418 | 30 | 18 | 21 | 104k|1807 | 0.000000e+00 | -- | Inf
158.14/158.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
158.14/158.25 c 158s|230000 | 11814 |362062 | 1.6 | 16M| 26 | 4 | 30 |8279 | 30 | 18 | 21 | 109k|1842 | 0.000000e+00 | -- | Inf
168.25/168.38 c 168s|240000 | 11445 |377611 | 1.6 | 15M| 26 | - | 30 |6583 | 0 | 0 | 21 | 115k|1891 | 0.000000e+00 | -- | Inf
176.95/177.05 c 177s|250000 | 11146 |393022 | 1.6 | 15M| 26 | 4 | 30 |7055 | 30 | 18 | 21 | 120k|1921 | 0.000000e+00 | -- | Inf
185.85/185.96 c 186s|260000 | 11102 |408378 | 1.6 | 16M| 26 | - | 30 |7689 | 30 | 18 | 21 | 124k|1954 | 0.000000e+00 | -- | Inf
196.13/196.29 c 196s|270000 | 10496 |423718 | 1.6 | 15M| 26 | - | 30 |6782 | 0 | 0 | 21 | 130k|1996 | 0.000000e+00 | -- | Inf
205.74/205.87 c 206s|280000 | 9888 |438995 | 1.6 | 15M| 26 | 4 | 30 |7154 | 30 | 18 | 21 | 135k|2029 | 0.000000e+00 | -- | Inf
215.83/215.90 c 216s|290000 | 9350 |454463 | 1.6 | 14M| 26 | 4 | 30 |7083 | 30 | 18 | 21 | 140k|2063 | 0.000000e+00 | -- | Inf
224.83/224.96 c 225s|300000 | 9038 |469695 | 1.6 | 14M| 26 | 4 | 30 |7207 | 30 | 18 | 21 | 145k|2095 | 0.000000e+00 | -- | Inf
233.83/233.93 c 234s|310000 | 8927 |485069 | 1.6 | 15M| 27 | - | 30 |9104 | 30 | 18 | 21 | 150k|2121 | 0.000000e+00 | -- | Inf
245.53/245.69 c 246s|320000 | 8104 |500560 | 1.6 | 14M| 27 | 4 | 30 |7068 | 30 | 18 | 21 | 155k|2161 | 0.000000e+00 | -- | Inf
255.03/255.12 c 255s|330000 | 7507 |515627 | 1.6 | 13M| 27 | - | 30 |6951 | 30 | 18 | 21 | 161k|2196 | 0.000000e+00 | -- | Inf
265.12/265.25 c 265s|340000 | 7161 |531302 | 1.6 | 13M| 27 | 4 | 30 |7800 | 30 | 18 | 21 | 166k|2229 | 0.000000e+00 | -- | Inf
274.31/274.43 c 274s|350000 | 7260 |547576 | 1.6 | 14M| 27 | 4 | 30 |9061 | 30 | 18 | 21 | 172k|2257 | 0.000000e+00 | -- | Inf
285.61/285.77 c 286s|360000 | 6798 |564487 | 1.6 | 13M| 27 | - | 30 |9287 | 30 | 18 | 21 | 178k|2293 | 0.000000e+00 | -- | Inf
296.51/296.68 c 297s|370000 | 6263 |580024 | 1.6 | 13M| 27 | - | 30 |7975 | 0 | 0 | 21 | 183k|2326 | 0.000000e+00 | -- | Inf
307.31/307.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
307.31/307.46 c 307s|380000 | 5529 |595391 | 1.6 | 12M| 27 | - | 30 |7326 | 0 | 0 | 21 | 188k|2353 | 0.000000e+00 | -- | Inf
317.21/317.30 c 317s|390000 | 4960 |610974 | 1.6 | 11M| 27 | - | 30 |7884 | 0 | 0 | 21 | 194k|2389 | 0.000000e+00 | -- | Inf
328.81/328.91 c 329s|400000 | 3964 |626045 | 1.6 | 10M| 27 | - | 30 |7059 | 30 | 18 | 21 | 200k|2421 | 0.000000e+00 | -- | Inf
337.40/337.50 c 337s|410000 | 3896 |641349 | 1.6 | 10M| 27 | 4 | 30 |8307 | 30 | 18 | 21 | 204k|2446 | 0.000000e+00 | -- | Inf
346.40/346.50 c 346s|420000 | 4146 |656750 | 1.6 | 10M| 27 | - | 30 |8435 | 30 | 18 | 21 | 209k|2469 | 0.000000e+00 | -- | Inf
355.10/355.26 c 355s|430000 | 4474 |671648 | 1.6 | 11M| 27 | - | 30 | 10k| 30 | 18 | 21 | 213k|2494 | 0.000000e+00 | -- | Inf
365.99/366.10 c 366s|440000 | 4307 |686956 | 1.6 | 11M| 27 | 4 | 30 | 10k| 30 | 18 | 21 | 218k|2516 | 0.000000e+00 | -- | Inf
376.79/376.98 c 377s|450000 | 3911 |701871 | 1.6 | 11M| 27 | - | 30 | 10k| 0 | 0 | 21 | 222k|2540 | 0.000000e+00 | -- | Inf
389.69/389.81 c 390s|460000 | 3210 |717776 | 1.6 | 10M| 27 | 4 | 30 |8769 | 30 | 18 | 21 | 228k|2574 | 0.000000e+00 | -- | Inf
400.99/401.13 c 401s|470000 | 2611 |733114 | 1.6 |9114k| 27 | 4 | 30 |8120 | 30 | 18 | 21 | 233k|2605 | 0.000000e+00 | -- | Inf
409.18/409.35 c 409s|480000 | 2430 |748261 | 1.6 |9260k| 27 | - | 30 |9130 | 0 | 0 | 21 | 238k|2634 | 0.000000e+00 | -- | Inf
417.89/418.04 c 418s|490000 | 2990 |763803 | 1.6 |9535k| 27 | 4 | 30 |9242 | 30 | 18 | 21 | 243k|2659 | 0.000000e+00 | -- | Inf
428.48/428.61 c 429s|500000 | 2574 |779566 | 1.6 |9670k| 27 | 4 | 30 |9887 | 30 | 18 | 21 | 249k|2693 | 0.000000e+00 | -- | Inf
439.37/439.58 c 440s|510000 | 1938 |794679 | 1.6 |8786k| 27 | 4 | 30 |9695 | 30 | 18 | 21 | 254k|2715 | 0.000000e+00 | -- | Inf
450.27/450.47 c 450s|520000 | 1460 |809944 | 1.6 |7941k| 27 | 4 | 30 |9468 | 30 | 18 | 21 | 259k|2732 | 0.000000e+00 | -- | Inf
461.36/461.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
461.36/461.59 c 462s|530000 | 919 |825434 | 1.6 |6865k| 27 | - | 30 |8771 | 0 | 0 | 21 | 265k|2766 | 0.000000e+00 | -- | Inf
470.47/470.69 c 471s|540000 | 1108 |840973 | 1.6 |7619k| 27 | 4 | 30 | 10k| 30 | 18 | 21 | 270k|2793 | 0.000000e+00 | -- | Inf
482.07/482.26 c 482s|550000 | 1055 |855955 | 1.6 |7251k| 27 | - | 30 | 10k| 30 | 18 | 21 | 275k|2819 | 0.000000e+00 | -- | Inf
494.46/494.65 c 495s|560000 | 649 |870703 | 1.6 |7589k| 27 | 4 | 30 | 12k| 30 | 18 | 21 | 281k|2847 | 0.000000e+00 | -- | Inf
507.05/507.30 c 507s|570000 | 434 |886623 | 1.6 |7513k| 27 | - | 30 | 12k| 0 | 0 | 21 | 287k|2872 | 0.000000e+00 | -- | Inf
518.06/518.23 c 518s|580000 | 1525 |902946 | 1.6 |7003k| 27 | 4 | 30 | 10k| 30 | 18 | 21 | 291k|2902 | 0.000000e+00 | -- | Inf
527.76/527.99 c 528s|590000 | 2431 |918244 | 1.6 |8155k| 27 | 4 | 30 | 12k| 30 | 18 | 21 | 295k|2929 | 0.000000e+00 | -- | Inf
538.45/538.68 c 539s|600000 | 3062 |933800 | 1.6 |9176k| 27 | 4 | 30 | 13k| 30 | 18 | 21 | 299k|2950 | 0.000000e+00 | -- | Inf
550.74/550.98 c 551s|610000 | 3240 |948911 | 1.6 |9789k| 27 | 4 | 30 | 14k| 30 | 18 | 21 | 304k|2974 | 0.000000e+00 | -- | Inf
564.65/564.84 c 565s|620000 | 3065 |963990 | 1.6 | 10M| 27 | - | 30 | 15k| 0 | 0 | 21 | 308k|2993 | 0.000000e+00 | -- | Inf
577.74/578.00 c 578s|630000 | 3128 |978757 | 1.6 | 10M| 27 | 4 | 30 | 15k| 30 | 18 | 21 | 312k|3026 | 0.000000e+00 | -- | Inf
590.84/591.04 c 591s|640000 | 3257 |993539 | 1.6 | 10M| 27 | - | 30 | 16k| 30 | 18 | 21 | 317k|3049 | 0.000000e+00 | -- | Inf
606.83/607.06 c 607s|650000 | 2802 | 1008k| 1.6 | 10M| 27 | 4 | 30 | 16k| 30 | 18 | 21 | 322k|3067 | 0.000000e+00 | -- | Inf
621.52/621.76 c 622s|660000 | 2547 | 1023k| 1.6 | 10M| 27 | - | 30 | 16k| 30 | 18 | 21 | 327k|3088 | 0.000000e+00 | -- | Inf
638.83/639.10 c 639s|670000 | 2053 | 1039k| 1.6 | 10M| 27 | 4 | 30 | 16k| 30 | 18 | 21 | 332k|3102 | 0.000000e+00 | -- | Inf
656.92/657.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
656.92/657.12 c 657s|680000 | 1026 | 1054k| 1.6 |9511k| 27 | 4 | 30 | 16k| 30 | 18 | 21 | 337k|3121 | 0.000000e+00 | -- | Inf
674.13/674.31 c 674s|690000 | 533 | 1070k| 1.6 |8133k| 27 | 4 | 30 | 15k| 30 | 18 | 21 | 342k|3145 | 0.000000e+00 | -- | Inf
685.31/685.50 c 685s|700000 | 2011 | 1086k| 1.6 |9222k| 27 | - | 30 | 16k| 0 | 0 | 21 | 345k|3159 | 0.000000e+00 | -- | Inf
697.91/698.11 c 698s|710000 | 3163 | 1102k| 1.6 |9877k| 27 | 4 | 30 | 15k| 30 | 18 | 21 | 348k|3169 | 0.000000e+00 | -- | Inf
709.60/709.89 c 710s|720000 | 4100 | 1118k| 1.6 | 10M| 27 | 4 | 30 | 15k| 30 | 18 | 21 | 353k|3177 | 0.000000e+00 | -- | Inf
722.90/723.19 c 723s|730000 | 4703 | 1134k| 1.6 | 11M| 27 | 4 | 30 | 15k| 30 | 18 | 21 | 357k|3188 | 0.000000e+00 | -- | Inf
735.20/735.42 c 735s|740000 | 5805 | 1151k| 1.6 | 12M| 27 | - | 30 | 16k| 30 | 18 | 21 | 362k|3199 | 0.000000e+00 | -- | Inf
748.39/748.64 c 749s|750000 | 6465 | 1167k| 1.6 | 13M| 27 | - | 30 | 17k| 30 | 18 | 21 | 366k|3206 | 0.000000e+00 | -- | Inf
763.59/763.85 c 764s|760000 | 6638 | 1184k| 1.6 | 13M| 27 | - | 30 | 16k| 30 | 18 | 21 | 371k|3220 | 0.000000e+00 | -- | Inf
778.89/779.14 c 779s|770000 | 6616 | 1200k| 1.6 | 13M| 27 | 4 | 30 | 15k| 30 | 18 | 21 | 376k|3233 | 0.000000e+00 | -- | Inf
792.89/793.19 c 793s|780000 | 6685 | 1216k| 1.6 | 14M| 27 | 4 | 30 | 15k| 30 | 18 | 21 | 381k|3245 | 0.000000e+00 | -- | Inf
807.38/807.68 c 808s|790000 | 6616 | 1231k| 1.6 | 14M| 27 | - | 30 | 15k| 0 | 0 | 21 | 386k|3254 | 0.000000e+00 | -- | Inf
821.67/821.98 c 822s|800000 | 6511 | 1247k| 1.6 | 14M| 27 | - | 30 | 15k| 30 | 18 | 21 | 391k|3263 | 0.000000e+00 | -- | Inf
836.97/837.29 c 837s|810000 | 6064 | 1263k| 1.6 | 14M| 27 | - | 30 | 15k| 30 | 18 | 21 | 396k|3276 | 0.000000e+00 | -- | Inf
851.66/851.91 c 852s|820000 | 5824 | 1280k| 1.6 | 14M| 27 | - | 30 | 15k| 0 | 0 | 21 | 401k|3290 | 0.000000e+00 | -- | Inf
867.06/867.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
867.06/867.34 c 867s|830000 | 5285 | 1296k| 1.6 | 14M| 27 | - | 30 | 15k| 30 | 18 | 21 | 406k|3302 | 0.000000e+00 | -- | Inf
882.86/883.18 c 883s|840000 | 4723 | 1311k| 1.6 | 13M| 27 | 4 | 30 | 15k| 30 | 18 | 21 | 411k|3317 | 0.000000e+00 | -- | Inf
898.95/899.28 c 899s|850000 | 3947 | 1327k| 1.6 | 12M| 27 | - | 30 | 14k| 30 | 18 | 21 | 417k|3330 | 0.000000e+00 | -- | Inf
913.86/914.13 c 914s|860000 | 3238 | 1344k| 1.6 | 12M| 27 | 4 | 30 | 15k| 30 | 18 | 21 | 422k|3346 | 0.000000e+00 | -- | Inf
929.64/930.00 c 930s|870000 | 2516 | 1359k| 1.6 | 11M| 27 | 4 | 30 | 16k| 30 | 18 | 21 | 427k|3359 | 0.000000e+00 | -- | Inf
947.24/947.52 c 948s|880000 | 1614 | 1376k| 1.6 | 10M| 27 | 4 | 30 | 15k| 30 | 18 | 21 | 433k|3372 | 0.000000e+00 | -- | Inf
960.14/960.44 c 960s|890000 | 1733 | 1392k| 1.6 | 11M| 27 | 4 | 30 | 17k| 30 | 18 | 21 | 438k|3376 | 0.000000e+00 | -- | Inf
976.54/976.88 c 977s|900000 | 1158 | 1408k| 1.6 | 10M| 27 | - | 30 | 17k| 30 | 18 | 21 | 443k|3387 | 0.000000e+00 | -- | Inf
992.83/993.19 c 993s|910000 | 692 | 1424k| 1.6 |9441k| 27 | - | 30 | 17k| 0 | 0 | 21 | 449k|3402 | 0.000000e+00 | -- | Inf
1004.92/1005.28 c 1005s|920000 | 969 | 1440k| 1.6 | 10M| 27 | 4 | 30 | 19k| 30 | 18 | 21 | 454k|3415 | 0.000000e+00 | -- | Inf
1021.72/1022.07 c 1022s|930000 | 261 | 1456k| 1.6 |9538k| 27 | 4 | 30 | 19k| 30 | 18 | 21 | 459k|3429 | 0.000000e+00 | -- | Inf
1027.13/1027.45 c
1027.13/1027.45 c SCIP Status : problem is solved [infeasible]
1027.13/1027.45 c Solving Time (sec) : 1027.45
1027.13/1027.45 c Solving Nodes : 932781
1027.13/1027.45 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1027.13/1027.45 c Dual Bound : +1.00000000000000e+20
1027.13/1027.45 c Gap : 0.00 %
1027.13/1027.45 s UNSATISFIABLE
1027.13/1027.45 c SCIP Status : problem is solved [infeasible]
1027.13/1027.45 c Solving Time : 1027.45
1027.13/1027.45 c Original Problem :
1027.13/1027.45 c Problem name : HOME/instance-2704563-1278561926.opb
1027.13/1027.45 c Variables : 31 (31 binary, 0 integer, 0 implicit integer, 0 continuous)
1027.13/1027.45 c Constraints : 9 initial, 9 maximal
1027.13/1027.45 c Presolved Problem :
1027.13/1027.45 c Problem name : t_HOME/instance-2704563-1278561926.opb
1027.13/1027.45 c Variables : 30 (30 binary, 0 integer, 0 implicit integer, 0 continuous)
1027.13/1027.45 c Constraints : 4 initial, 19596 maximal
1027.13/1027.45 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1027.13/1027.45 c trivial : 0.00 0 0 0 0 0 0 0 0
1027.13/1027.45 c dualfix : 0.00 1 0 0 0 0 0 0 0
1027.13/1027.45 c boundshift : 0.00 0 0 0 0 0 0 0 0
1027.13/1027.45 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1027.13/1027.45 c implics : 0.00 0 0 0 0 0 0 0 0
1027.13/1027.45 c probing : 0.00 0 0 0 0 0 0 0 0
1027.13/1027.45 c linear : 0.00 0 0 0 0 0 5 0 0
1027.13/1027.45 c logicor : 0.00 0 0 0 0 0 0 0 0
1027.13/1027.45 c root node : - 0 - - 0 - - - -
1027.13/1027.45 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1027.13/1027.45 c integral : 0 0 0 515070 0 481 1531 0 0 1026270
1027.13/1027.45 c linear : 4+ 7 2115542 0 0 291859 1958723 0 0 0
1027.13/1027.45 c logicor : 0+ 0 1056214 0 0 4443 410483 0 0 0
1027.13/1027.45 c countsols : 0 0 0 0 0 0 0 0 0 0
1027.13/1027.45 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1027.13/1027.45 c integral : 6.49 0.00 0.00 6.49 0.00
1027.13/1027.45 c linear : 85.60 0.00 85.60 0.00 0.00
1027.13/1027.45 c logicor : 401.44 0.00 401.44 0.00 0.00
1027.13/1027.45 c countsols : 0.00 0.00 0.00 0.00 0.00
1027.13/1027.45 c Propagators : Time Calls Cutoffs DomReds
1027.13/1027.45 c vbounds : 0.83 2 0 0
1027.13/1027.45 c rootredcost : 0.91 0 0 0
1027.13/1027.45 c pseudoobj : 0.64 0 0 0
1027.13/1027.45 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1027.13/1027.45 c propagation : 11.25 296302 150264 429214 20.8 5 16.2 -
1027.13/1027.45 c infeasible LP : 10.78 211945 211932 341638 13.5 2345 17.7 0
1027.13/1027.45 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1027.13/1027.45 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1027.13/1027.45 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1027.13/1027.45 c applied globally : - - - 460930 15.0 - - -
1027.13/1027.45 c applied locally : - - - 0 0.0 - - -
1027.13/1027.45 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1027.13/1027.45 c cut pool : 0.00 5 - - 40 - (maximal pool size: 97)
1027.13/1027.45 c redcost : 0.94 515074 0 0 0 0
1027.13/1027.45 c impliedbounds : 0.00 6 0 0 0 0
1027.13/1027.45 c intobj : 0.00 0 0 0 0 0
1027.13/1027.45 c cgmip : 0.00 0 0 0 0 0
1027.13/1027.45 c gomory : 0.00 6 0 0 1 0
1027.13/1027.45 c strongcg : 0.00 6 0 0 29 0
1027.13/1027.45 c cmir : 0.01 6 0 0 38 0
1027.13/1027.46 c flowcover : 0.01 6 0 0 57 0
1027.13/1027.46 c clique : 0.00 1 0 0 0 0
1027.13/1027.46 c zerohalf : 0.00 0 0 0 0 0
1027.13/1027.46 c mcf : 0.00 1 0 0 0 0
1027.13/1027.46 c rapidlearning : 0.06 1 0 0 0 96
1027.13/1027.46 c Pricers : Time Calls Vars
1027.13/1027.46 c problem variables: 0.00 0 0
1027.13/1027.46 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1027.13/1027.46 c relpscost : 5.87 515070 481 1531 0 0 1026270
1027.13/1027.46 c pscost : 0.00 0 0 0 0 0 0
1027.13/1027.46 c inference : 0.00 0 0 0 0 0 0
1027.13/1027.46 c mostinf : 0.00 0 0 0 0 0 0
1027.13/1027.46 c leastinf : 0.00 0 0 0 0 0 0
1027.13/1027.46 c fullstrong : 0.00 0 0 0 0 0 0
1027.13/1027.46 c allfullstrong : 0.00 0 0 0 0 0 0
1027.13/1027.46 c random : 0.00 0 0 0 0 0 0
1027.13/1027.46 c Primal Heuristics : Time Calls Found
1027.13/1027.46 c LP solutions : 0.00 - 0
1027.13/1027.46 c pseudo solutions : 0.00 - 0
1027.13/1027.46 c oneopt : 0.55 0 0
1027.13/1027.46 c crossover : 0.33 0 0
1027.13/1027.46 c guideddiving : 0.08 0 0
1027.13/1027.46 c rootsoldiving : 0.10 47 0
1027.13/1027.46 c coefdiving : 0.11 94 0
1027.13/1027.46 c fracdiving : 0.10 94 0
1027.13/1027.46 c veclendiving : 0.10 94 0
1027.13/1027.46 c pscostdiving : 0.11 94 0
1027.13/1027.46 c linesearchdiving : 0.10 94 0
1027.13/1027.46 c feaspump : 0.09 48 0
1027.13/1027.46 c objpscostdiving : 0.08 48 0
1027.13/1027.46 c trivial : 0.00 2 0
1027.13/1027.46 c simplerounding : 0.25 0 0
1027.13/1027.46 c zirounding : 0.37 1000 0
1027.13/1027.46 c rounding : 0.53 10057 0
1027.13/1027.46 c shifting : 1.67 4185 0
1027.13/1027.46 c intshifting : 0.05 0 0
1027.13/1027.46 c twoopt : 0.00 0 0
1027.13/1027.46 c fixandinfer : 0.00 0 0
1027.13/1027.46 c intdiving : 0.00 0 0
1027.13/1027.46 c actconsdiving : 0.00 0 0
1027.13/1027.46 c octane : 0.00 0 0
1027.13/1027.46 c rens : 0.01 0 0
1027.13/1027.46 c rins : 0.00 0 0
1027.13/1027.46 c localbranching : 0.00 0 0
1027.13/1027.46 c mutation : 0.00 0 0
1027.13/1027.46 c dins : 0.00 0 0
1027.13/1027.46 c undercover : 0.00 0 0
1027.13/1027.46 c nlp : 0.32 0 0
1027.13/1027.46 c trysol : 0.43 0 0
1027.13/1027.46 c LP : Time Calls Iterations Iter/call Iter/sec
1027.13/1027.46 c primal LP : 0.00 0 0 0.00 -
1027.13/1027.46 c dual LP : 63.47 706006 1459486 2.07 22996.55
1027.13/1027.46 c lex dual LP : 0.00 0 0 0.00 -
1027.13/1027.46 c barrier LP : 0.00 0 0 0.00 -
1027.13/1027.46 c diving/probing LP: 0.08 704 1023 1.45 13038.49
1027.13/1027.46 c strong branching : 0.53 3432 10930 3.18 20670.96
1027.13/1027.46 c (at root node) : - 9 268 29.78 -
1027.13/1027.46 c conflict analysis: 0.00 0 0 0.00 -
1027.13/1027.46 c B&B Tree :
1027.13/1027.46 c number of runs : 1
1027.13/1027.46 c nodes : 932781
1027.13/1027.46 c nodes (total) : 932781
1027.13/1027.46 c nodes left : 0
1027.13/1027.46 c max depth : 27
1027.13/1027.46 c max depth (total): 27
1027.13/1027.46 c backtracks : 263728 (28.3%)
1027.13/1027.46 c delayed cutoffs : 93490
1027.13/1027.46 c repropagations : 591316 (866635 domain reductions, 87992 cutoffs)
1027.13/1027.46 c avg switch length: 5.57
1027.13/1027.46 c switching time : 308.46
1027.13/1027.46 c Solution :
1027.13/1027.46 c Solutions found : 0 (0 improvements)
1027.13/1027.46 c Primal Bound : infeasible
1027.13/1027.46 c Dual Bound : -
1027.13/1027.46 c Gap : 0.00 %
1027.13/1027.46 c Root Dual Bound : +0.00000000000000e+00
1027.13/1027.46 c Root Iterations : 90
1027.22/1027.50 c Time complete: 1027.23.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2704563-1278561926/watcher-2704563-1278561926 -o /tmp/evaluation-result-2704563-1278561926/solver-2704563-1278561926 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2704563-1278561926.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.99 0.99 3/105 32113
/proc/meminfo: memFree=1924280/2059040 swapFree=4136924/4192956
[pid=32113] ppid=32111 vsize=7904 CPUtime=0
/proc/32113/stat : 32113 (pbscip.linux.x8) R 32111 32113 32044 0 -1 4202496 1256 0 0 0 0 0 0 0 25 0 1 0 24400794 8093696 1167 1992294400 4194304 8395647 140733643962368 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/32113/statm: 1976 1175 365 1026 0 946 0
[startup+0.060384 s]
/proc/loadavg: 0.99 0.99 0.99 3/105 32113
/proc/meminfo: memFree=1924280/2059040 swapFree=4136924/4192956
[pid=32113] ppid=32111 vsize=21584 CPUtime=0.05
/proc/32113/stat : 32113 (pbscip.linux.x8) R 32111 32113 32044 0 -1 4202496 4604 0 0 0 3 2 0 0 25 0 1 0 24400794 22102016 4162 1992294400 4194304 8395647 140733643962368 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32113/statm: 5396 4162 599 1026 0 4366 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 21584
[startup+0.101389 s]
/proc/loadavg: 0.99 0.99 0.99 3/105 32113
/proc/meminfo: memFree=1924280/2059040 swapFree=4136924/4192956
[pid=32113] ppid=32111 vsize=22124 CPUtime=0.09
/proc/32113/stat : 32113 (pbscip.linux.x8) R 32111 32113 32044 0 -1 4202496 4751 0 0 0 7 2 0 0 25 0 1 0 24400794 22654976 4309 1992294400 4194304 8395647 140733643962368 18446744073709551615 7430400 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32113/statm: 5531 4309 609 1026 0 4501 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22124
[startup+0.301409 s]
/proc/loadavg: 0.99 0.99 0.99 3/105 32113
/proc/meminfo: memFree=1924280/2059040 swapFree=4136924/4192956
[pid=32113] ppid=32111 vsize=22124 CPUtime=0.29
/proc/32113/stat : 32113 (pbscip.linux.x8) R 32111 32113 32044 0 -1 4202496 5007 0 0 0 26 3 0 0 25 0 1 0 24400794 22654976 4565 1992294400 4194304 8395647 140733643962368 18446744073709551615 4616372 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32113/statm: 5531 4565 612 1026 0 4501 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22124
[startup+0.701452 s]
/proc/loadavg: 0.99 0.99 0.99 3/105 32113
/proc/meminfo: memFree=1924280/2059040 swapFree=4136924/4192956
[pid=32113] ppid=32111 vsize=22124 CPUtime=0.69
/proc/32113/stat : 32113 (pbscip.linux.x8) R 32111 32113 32044 0 -1 4202496 5007 0 0 0 65 4 0 0 25 0 1 0 24400794 22654976 4565 1992294400 4194304 8395647 140733643962368 18446744073709551615 18446744073699065964 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32113/statm: 5531 4565 612 1026 0 4501 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 22124
[startup+1.50154 s]
/proc/loadavg: 0.99 0.99 0.99 2/106 32114
/proc/meminfo: memFree=1908276/2059040 swapFree=4136924/4192956
[pid=32113] ppid=32111 vsize=22124 CPUtime=1.49
/proc/32113/stat : 32113 (pbscip.linux.x8) R 32111 32113 32044 0 -1 4202496 5009 0 0 0 143 6 0 0 25 0 1 0 24400794 22654976 4567 1992294400 4194304 8395647 140733643962368 18446744073709551615 4218305 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32113/statm: 5531 4567 612 1026 0 4501 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 22124
[startup+3.10071 s]
/proc/loadavg: 0.99 0.99 0.99 2/106 32114
/proc/meminfo: memFree=1908028/2059040 swapFree=4136924/4192956
[pid=32113] ppid=32111 vsize=22124 CPUtime=3.09
/proc/32113/stat : 32113 (pbscip.linux.x8) R 32111 32113 32044 0 -1 4202496 5012 0 0 0 298 11 0 0 25 0 1 0 24400794 22654976 4570 1992294400 4194304 8395647 140733643962368 18446744073709551615 4446320 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32113/statm: 5531 4570 612 1026 0 4501 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 22124
[startup+6.30104 s]
/proc/loadavg: 0.99 0.99 0.99 2/106 32114
/proc/meminfo: memFree=1907656/2059040 swapFree=4136924/4192956
[pid=32113] ppid=32111 vsize=22124 CPUtime=6.29
/proc/32113/stat : 32113 (pbscip.linux.x8) R 32111 32113 32044 0 -1 4202496 5016 0 0 0 612 17 0 0 25 0 1 0 24400794 22654976 4574 1992294400 4194304 8395647 140733643962368 18446744073709551615 6310792 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32113/statm: 5531 4574 612 1026 0 4501 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 22124
[startup+12.7007 s]
/proc/loadavg: 0.99 0.99 0.99 2/106 32115
/proc/meminfo: memFree=1907284/2059040 swapFree=4136924/4192956
[pid=32113] ppid=32111 vsize=22124 CPUtime=12.69
/proc/32113/stat : 32113 (pbscip.linux.x8) R 32111 32113 32044 0 -1 4202496 5099 0 0 0 1238 31 0 0 25 0 1 0 24400794 22654976 4657 1992294400 4194304 8395647 140733643962368 18446744073709551615 6343352 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32113/statm: 5531 4657 612 1026 0 4501 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 22124
[startup+25.5011 s]
/proc/loadavg: 0.99 0.99 0.99 2/106 32116
/proc/meminfo: memFree=1905052/2059040 swapFree=4136924/4192956
[pid=32113] ppid=32111 vsize=24380 CPUtime=25.49
/proc/32113/stat : 32113 (pbscip.linux.x8) R 32111 32113 32044 0 -1 4202496 5661 0 0 0 2494 55 0 0 25 0 1 0 24400794 24965120 5219 1992294400 4194304 8395647 140733643962368 18446744073709551615 18446744073699065955 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32113/statm: 6095 5219 612 1026 0 5065 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 24380
[startup+51.1018 s]
/proc/loadavg: 0.99 0.99 0.99 2/106 32116
/proc/meminfo: memFree=1900960/2059040 swapFree=4136924/4192956
[pid=32113] ppid=32111 vsize=28492 CPUtime=51.07
/proc/32113/stat : 32113 (pbscip.linux.x8) R 32111 32113 32044 0 -1 4202496 6673 0 0 0 5018 89 0 0 25 0 1 0 24400794 29175808 6231 1992294400 4194304 8395647 140733643962368 18446744073709551615 4715429 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32113/statm: 7123 6231 612 1026 0 6093 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 28492
[startup+102.309 s]
/proc/loadavg: 1.04 1.00 1.00 2/106 32118
/proc/meminfo: memFree=1897984/2059040 swapFree=4136924/4192956
[pid=32113] ppid=32111 vsize=31532 CPUtime=102.27
/proc/32113/stat : 32113 (pbscip.linux.x8) R 32111 32113 32044 0 -1 4202496 7408 0 0 0 10078 149 0 0 25 0 1 0 24400794 32288768 6966 1992294400 4194304 8395647 140733643962368 18446744073709551615 4212588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32113/statm: 7883 6966 612 1026 0 6853 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 31532
[startup+162.301 s]
/proc/loadavg: 1.01 1.00 1.00 2/106 32119
/proc/meminfo: memFree=1893272/2059040 swapFree=4136924/4192956
[pid=32113] ppid=32111 vsize=36200 CPUtime=162.24
/proc/32113/stat : 32113 (pbscip.linux.x8) R 32111 32113 32044 0 -1 4202496 8574 0 0 0 16009 215 0 0 25 0 1 0 24400794 37068800 8132 1992294400 4194304 8395647 140733643962368 18446744073709551615 6068892 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32113/statm: 9050 8132 612 1026 0 8020 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 36200
[startup+222.302 s]
/proc/loadavg: 1.04 1.01 1.00 2/106 32120
/proc/meminfo: memFree=1893272/2059040 swapFree=4136924/4192956
[pid=32113] ppid=32111 vsize=36200 CPUtime=222.23
/proc/32113/stat : 32113 (pbscip.linux.x8) R 32111 32113 32044 0 -1 4202496 8574 0 0 0 21953 270 0 0 25 0 1 0 24400794 37068800 8132 1992294400 4194304 8395647 140733643962368 18446744073709551615 6068892 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32113/statm: 9050 8132 612 1026 0 8020 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 36200
[startup+282.301 s]
/proc/loadavg: 1.05 1.02 1.00 2/106 32122
/proc/meminfo: memFree=1893148/2059040 swapFree=4136924/4192956
[pid=32113] ppid=32111 vsize=36528 CPUtime=282.21
/proc/32113/stat : 32113 (pbscip.linux.x8) R 32111 32113 32044 0 -1 4202496 8628 0 0 0 27896 325 0 0 25 0 1 0 24400794 37404672 8186 1992294400 4194304 8395647 140733643962368 18446744073709551615 4232890 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32113/statm: 9132 8186 612 1026 0 8102 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 36528
[startup+342.301 s]
/proc/loadavg: 1.05 1.03 1.00 2/106 32124
/proc/meminfo: memFree=1893024/2059040 swapFree=4136924/4192956
[pid=32113] ppid=32111 vsize=36528 CPUtime=342.2
/proc/32113/stat : 32113 (pbscip.linux.x8) R 32111 32113 32044 0 -1 4202496 8645 0 0 0 33840 380 0 0 25 0 1 0 24400794 37404672 8203 1992294400 4194304 8395647 140733643962368 18446744073709551615 4687895 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32113/statm: 9132 8203 612 1026 0 8102 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 36528
[startup+402.302 s]
/proc/loadavg: 1.13 1.05 1.01 2/106 32126
/proc/meminfo: memFree=1892528/2059040 swapFree=4136924/4192956
[pid=32113] ppid=32111 vsize=36956 CPUtime=402.18
/proc/32113/stat : 32113 (pbscip.linux.x8) R 32111 32113 32044 0 -1 4202496 8731 0 0 0 39790 428 0 0 25 0 1 0 24400794 37842944 8289 1992294400 4194304 8395647 140733643962368 18446744073709551615 5085399 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32113/statm: 9239 8289 612 1026 0 8209 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 36956
[startup+462.301 s]
/proc/loadavg: 1.12 1.06 1.00 2/106 32127
/proc/meminfo: memFree=1892280/2059040 swapFree=4136924/4192956
[pid=32113] ppid=32111 vsize=37184 CPUtime=462.17
/proc/32113/stat : 32113 (pbscip.linux.x8) R 32111 32113 32044 0 -1 4202496 8771 0 0 0 45736 481 0 0 25 0 1 0 24400794 38076416 8329 1992294400 4194304 8395647 140733643962368 18446744073709551615 5085356 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32113/statm: 9296 8329 612 1026 0 8266 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 37184
[startup+522.301 s]
/proc/loadavg: 1.11 1.06 1.00 2/106 32128
/proc/meminfo: memFree=1891040/2059040 swapFree=4136924/4192956
[pid=32113] ppid=32111 vsize=38868 CPUtime=522.15
/proc/32113/stat : 32113 (pbscip.linux.x8) R 32111 32113 32044 0 -1 4202496 9092 0 0 0 51689 526 0 0 25 0 1 0 24400794 39800832 8650 1992294400 4194304 8395647 140733643962368 18446744073709551615 4495238 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32113/statm: 9717 8650 612 1026 0 8687 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 38868
[startup+582.302 s]
/proc/loadavg: 1.10 1.06 1.00 2/106 32130
/proc/meminfo: memFree=1890916/2059040 swapFree=4136924/4192956
[pid=32113] ppid=32111 vsize=39008 CPUtime=582.14
/proc/32113/stat : 32113 (pbscip.linux.x8) R 32111 32113 32044 0 -1 4202496 9128 0 0 0 57639 575 0 0 25 0 1 0 24400794 39944192 8686 1992294400 4194304 8395647 140733643962368 18446744073709551615 5085399 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32113/statm: 9752 8686 612 1026 0 8722 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 39008
[startup+642.301 s]
/proc/loadavg: 1.09 1.06 1.00 2/106 32132
/proc/meminfo: memFree=1890668/2059040 swapFree=4136924/4192956
[pid=32113] ppid=32111 vsize=39008 CPUtime=642.13
/proc/32113/stat : 32113 (pbscip.linux.x8) R 32111 32113 32044 0 -1 4202496 9162 0 0 0 63606 607 0 0 25 0 1 0 24400794 39944192 8720 1992294400 4194304 8395647 140733643962368 18446744073709551615 4962591 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32113/statm: 9752 8720 612 1026 0 8722 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 39008
[startup+702.301 s]
/proc/loadavg: 1.13 1.08 1.01 2/106 32134
/proc/meminfo: memFree=1889676/2059040 swapFree=4136924/4192956
[pid=32113] ppid=32111 vsize=40204 CPUtime=702.11
/proc/32113/stat : 32113 (pbscip.linux.x8) R 32111 32113 32044 0 -1 4202496 9350 0 0 0 69568 643 0 0 25 0 1 0 24400794 41168896 8908 1992294400 4194304 8395647 140733643962368 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32113/statm: 10051 8908 612 1026 0 9021 0
Current children cumulated CPU time (s) 702.11
Current children cumulated vsize (KiB) 40204
[startup+762.309 s]
/proc/loadavg: 1.10 1.08 1.01 2/106 32135
/proc/meminfo: memFree=1889428/2059040 swapFree=4136924/4192956
[pid=32113] ppid=32111 vsize=40544 CPUtime=762.09
/proc/32113/stat : 32113 (pbscip.linux.x8) R 32111 32113 32044 0 -1 4202496 9409 0 0 0 75522 687 0 0 25 0 1 0 24400794 41517056 8967 1992294400 4194304 8395647 140733643962368 18446744073709551615 5085381 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32113/statm: 10136 8967 612 1026 0 9106 0
Current children cumulated CPU time (s) 762.09
Current children cumulated vsize (KiB) 40544
[startup+822.301 s]
/proc/loadavg: 1.03 1.06 1.00 2/106 32136
/proc/meminfo: memFree=1889304/2059040 swapFree=4136924/4192956
[pid=32113] ppid=32111 vsize=40544 CPUtime=822.08
/proc/32113/stat : 32113 (pbscip.linux.x8) R 32111 32113 32044 0 -1 4202496 9410 0 0 0 81484 724 0 0 25 0 1 0 24400794 41517056 8968 1992294400 4194304 8395647 140733643962368 18446744073709551615 6068889 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32113/statm: 10136 8968 612 1026 0 9106 0
Current children cumulated CPU time (s) 822.08
Current children cumulated vsize (KiB) 40544
[startup+882.301 s]
/proc/loadavg: 1.07 1.06 1.00 2/106 32141
/proc/meminfo: memFree=1864672/2059040 swapFree=4136924/4192956
[pid=32113] ppid=32111 vsize=40544 CPUtime=882.06
/proc/32113/stat : 32113 (pbscip.linux.x8) R 32111 32113 32044 0 -1 4202496 9411 0 0 0 87445 761 0 0 25 0 1 0 24400794 41517056 8969 1992294400 4194304 8395647 140733643962368 18446744073709551615 5085381 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32113/statm: 10136 8969 612 1026 0 9106 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 40544
[startup+942.302 s]
/proc/loadavg: 1.02 1.05 1.00 2/106 32143
/proc/meminfo: memFree=1864672/2059040 swapFree=4136924/4192956
[pid=32113] ppid=32111 vsize=40544 CPUtime=942.04
/proc/32113/stat : 32113 (pbscip.linux.x8) R 32111 32113 32044 0 -1 4202496 9416 0 0 0 93403 801 0 0 25 0 1 0 24400794 41517056 8974 1992294400 4194304 8395647 140733643962368 18446744073709551615 5029708 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32113/statm: 10136 8974 612 1026 0 9106 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 40544
[startup+1002.3 s]
/proc/loadavg: 1.01 1.04 1.00 2/106 32145
/proc/meminfo: memFree=1864300/2059040 swapFree=4136924/4192956
[pid=32113] ppid=32111 vsize=41080 CPUtime=1002.02
/proc/32113/stat : 32113 (pbscip.linux.x8) R 32111 32113 32044 0 -1 4202496 9548 0 0 0 99362 840 0 0 25 0 1 0 24400794 42065920 9106 1992294400 4194304 8395647 140733643962368 18446744073709551615 4218186 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32113/statm: 10270 9106 612 1026 0 9240 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 41080
Solver just ended. Dumping a history of the last processes samples
[startup+1011.1 s]
/proc/loadavg: 1.01 1.04 1.00 2/106 32145
/proc/meminfo: memFree=1864300/2059040 swapFree=4136924/4192956
[pid=32113] ppid=32111 vsize=41080 CPUtime=1010.83
/proc/32113/stat : 32113 (pbscip.linux.x8) R 32111 32113 32044 0 -1 4202496 9549 0 0 0 100237 846 0 0 25 0 1 0 24400794 42065920 9107 1992294400 4194304 8395647 140733643962368 18446744073709551615 5085356 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32113/statm: 10270 9107 612 1026 0 9240 0
Current children cumulated CPU time (s) 1010.83
Current children cumulated vsize (KiB) 41080
[startup+1017.51 s]
/proc/loadavg: 1.00 1.04 1.00 2/106 32145
/proc/meminfo: memFree=1864300/2059040 swapFree=4136924/4192956
[pid=32113] ppid=32111 vsize=41080 CPUtime=1017.23
/proc/32113/stat : 32113 (pbscip.linux.x8) R 32111 32113 32044 0 -1 4202496 9549 0 0 0 100873 850 0 0 25 0 1 0 24400794 42065920 9107 1992294400 4194304 8395647 140733643962368 18446744073709551615 4471670 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32113/statm: 10270 9107 612 1026 0 9240 0
Current children cumulated CPU time (s) 1017.23
Current children cumulated vsize (KiB) 41080
[startup+1023.9 s]
/proc/loadavg: 1.00 1.03 1.00 2/106 32145
/proc/meminfo: memFree=1864300/2059040 swapFree=4136924/4192956
[pid=32113] ppid=32111 vsize=41080 CPUtime=1023.62
/proc/32113/stat : 32113 (pbscip.linux.x8) R 32111 32113 32044 0 -1 4202496 9549 0 0 0 101507 855 0 0 25 0 1 0 24400794 42065920 9107 1992294400 4194304 8395647 140733643962368 18446744073709551615 4217054 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32113/statm: 10270 9107 612 1026 0 9240 0
Current children cumulated CPU time (s) 1023.62
Current children cumulated vsize (KiB) 41080
[startup+1025.5 s]
/proc/loadavg: 1.00 1.03 1.00 2/106 32145
/proc/meminfo: memFree=1864300/2059040 swapFree=4136924/4192956
[pid=32113] ppid=32111 vsize=41080 CPUtime=1025.23
/proc/32113/stat : 32113 (pbscip.linux.x8) R 32111 32113 32044 0 -1 4202496 9554 0 0 0 101667 856 0 0 25 0 1 0 24400794 42065920 9112 1992294400 4194304 8395647 140733643962368 18446744073709551615 5085356 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32113/statm: 10270 9112 612 1026 0 9240 0
Current children cumulated CPU time (s) 1025.23
Current children cumulated vsize (KiB) 41080
[startup+1026.31 s]
/proc/loadavg: 1.00 1.03 1.00 2/106 32145
/proc/meminfo: memFree=1864176/2059040 swapFree=4136924/4192956
[pid=32113] ppid=32111 vsize=41080 CPUtime=1026.03
/proc/32113/stat : 32113 (pbscip.linux.x8) R 32111 32113 32044 0 -1 4202496 9554 0 0 0 101747 856 0 0 25 0 1 0 24400794 42065920 9112 1992294400 4194304 8395647 140733643962368 18446744073709551615 5085399 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32113/statm: 10270 9112 612 1026 0 9240 0
Current children cumulated CPU time (s) 1026.03
Current children cumulated vsize (KiB) 41080
[startup+1027.1 s]
/proc/loadavg: 1.00 1.03 1.00 2/106 32145
/proc/meminfo: memFree=1864176/2059040 swapFree=4136924/4192956
[pid=32113] ppid=32111 vsize=41080 CPUtime=1026.82
/proc/32113/stat : 32113 (pbscip.linux.x8) R 32111 32113 32044 0 -1 4202496 9554 0 0 0 101826 856 0 0 25 0 1 0 24400794 42065920 9112 1992294400 4194304 8395647 140733643962368 18446744073709551615 4216931 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32113/statm: 10270 9112 612 1026 0 9240 0
Current children cumulated CPU time (s) 1026.82
Current children cumulated vsize (KiB) 41080
[startup+1027.5 s]
/proc/loadavg: 1.00 1.03 1.00 2/106 32145
/proc/meminfo: memFree=1864176/2059040 swapFree=4136924/4192956
[pid=32113] ppid=32111 vsize=38336 CPUtime=1027.22
/proc/32113/stat : 32113 (pbscip.linux.x8) R 32111 32113 32044 0 -1 4202496 9631 0 0 0 101865 857 0 0 25 0 1 0 24400794 39256064 7859 1992294400 4194304 8395647 140733643962368 18446744073709551615 7602442 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/32113/statm: 9584 7554 614 1026 0 8554 0
Current children cumulated CPU time (s) 1027.22
Current children cumulated vsize (KiB) 38336
Child status: 0
Real time (s): 1027.51
CPU time (s): 1027.24
CPU user time (s): 1018.66
CPU system time (s): 8.5757
CPU usage (%): 99.9737
Max. virtual memory (cumulated for all children) (KiB): 41080
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1018.66
system time used= 8.5757
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9634
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= 7597
runsolver used 1.63075 second user time and 4.93425 second system time
The end