0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2664799-1276601960.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 [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.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.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 # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.02 c lp/solvefreq = -1
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 | 2 | 0 | - | 178k| 0 | - | 30 | 4 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.10/1.12 c 1.0s| 10000 | 5042 | 0 | 0.0 |2263k| 21 | - | 30 | 598 | 0 | 0 | 0 | 598 | 0 | 0.000000e+00 | -- | Inf
2.49/2.55 c 2.3s| 20000 | 8985 | 0 | 0.0 |4046k| 22 | - | 30 |1285 | 0 | 0 | 0 |1343 | 0 | 0.000000e+00 | -- | Inf
4.30/4.36 c 3.9s| 30000 | 13002 | 0 | 0.0 |5787k| 22 | - | 30 |1638 | 0 | 0 | 0 |2103 | 0 | 0.000000e+00 | -- | Inf
6.50/6.57 c 6.0s| 40000 | 15331 | 0 | 0.0 |7122k| 22 | - | 30 |1987 | 0 | 0 | 0 |3025 | 0 | 0.000000e+00 | -- | Inf
8.49/8.59 c 7.9s| 50000 | 19196 | 0 | 0.0 |8655k| 23 | - | 30 |2299 | 0 | 0 | 0 |3762 | 0 | 0.000000e+00 | -- | Inf
10.58/10.62 c 9.7s| 60000 | 23821 | 0 | 0.0 | 10M| 23 | - | 30 |2331 | 0 | 0 | 0 |4489 | 0 | 0.000000e+00 | -- | Inf
12.79/12.86 c 11.8s| 70000 | 27491 | 0 | 0.0 | 11M| 23 | - | 30 |2191 | 0 | 0 | 0 |5434 | 0 | 0.000000e+00 | -- | Inf
15.09/15.19 c 14.0s| 80000 | 30305 | 0 | 0.0 | 12M| 23 | - | 30 |1789 | 0 | 0 | 0 |6515 | 0 | 0.000000e+00 | -- | Inf
17.39/17.42 c 16.1s| 90000 | 32476 | 0 | 0.0 | 14M| 23 | - | 30 |1685 | 0 | 0 | 0 |7634 | 0 | 0.000000e+00 | -- | Inf
19.59/19.60 c 18.1s|100000 | 34053 | 0 | 0.0 | 15M| 23 | - | 30 |1807 | 0 | 0 | 0 |8698 | 0 | 0.000000e+00 | -- | Inf
22.28/22.35 c 20.7s|110000 | 34107 | 0 | 0.0 | 15M| 24 | - | 30 |2441 | 0 | 0 | 0 |9961 | 0 | 0.000000e+00 | -- | Inf
23.98/24.09 c 22.3s|120000 | 39451 | 0 | 0.0 | 17M| 24 | - | 30 |2050 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
25.88/25.92 c 24.0s|130000 | 44132 | 0 | 0.0 | 18M| 24 | - | 30 |2224 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
27.88/27.98 c 25.9s|140000 | 48282 | 0 | 0.0 | 20M| 24 | - | 30 |2374 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
30.28/30.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
30.28/30.35 c 28.1s|150000 | 51792 | 0 | 0.0 | 21M| 24 | - | 30 |2465 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
32.58/32.69 c 30.3s|160000 | 55318 | 0 | 0.0 | 23M| 24 | - | 30 |2431 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
35.28/35.34 c 32.8s|170000 | 58076 | 0 | 0.0 | 24M| 24 | - | 30 |2775 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
38.28/38.35 c 35.7s|180000 | 60576 | 0 | 0.0 | 25M| 24 | - | 30 |2896 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
41.28/41.31 c 38.5s|190000 | 63173 | 0 | 0.0 | 26M| 24 | - | 30 |2584 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
44.48/44.55 c 41.6s|200000 | 64707 | 0 | 0.0 | 27M| 24 | - | 30 |2930 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
48.07/48.18 c 45.1s|210000 | 65971 | 0 | 0.0 | 28M| 24 | - | 30 |3232 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
51.87/51.98 c 48.7s|220000 | 67424 | 0 | 0.0 | 29M| 24 | - | 30 |3233 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
56.28/56.37 c 53.0s|230000 | 67998 | 0 | 0.0 | 30M| 24 | - | 30 |3784 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
61.87/61.97 c 58.4s|240000 | 68219 | 0 | 0.0 | 31M| 24 | - | 30 |4434 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
70.57/70.68 c 66.9s|250000 | 66553 | 0 | 0.0 | 31M| 25 | - | 30 |5589 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
73.77/73.89 c 70.0s|260000 | 71719 | 0 | 0.0 | 32M| 25 | - | 30 |4285 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
76.97/77.08 c 73.1s|270000 | 76212 | 0 | 0.0 | 34M| 25 | - | 30 |4384 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
80.37/80.45 c 76.3s|280000 | 80456 | 0 | 0.0 | 35M| 25 | - | 30 |4414 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
84.27/84.35 c 80.0s|290000 | 84117 | 0 | 0.0 | 37M| 25 | - | 30 |4483 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
88.16/88.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
88.16/88.21 c 83.7s|300000 | 87770 | 0 | 0.0 | 38M| 25 | - | 30 |4485 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
92.37/92.45 c 87.8s|310000 | 90899 | 0 | 0.0 | 39M| 25 | - | 30 |4649 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
96.96/97.05 c 92.3s|320000 | 93777 | 0 | 0.0 | 40M| 25 | - | 30 |4846 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
101.76/101.82 c 96.9s|330000 | 96684 | 0 | 0.0 | 42M| 25 | - | 30 |4892 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
106.36/106.44 c 101s|340000 | 99597 | 0 | 0.0 | 43M| 25 | - | 30 |4910 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
111.76/111.84 c 107s|350000 |101827 | 0 | 0.0 | 44M| 25 | - | 30 |5025 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
117.96/118.05 c 113s|360000 |103604 | 0 | 0.0 | 45M| 25 | - | 30 |5318 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
124.26/124.33 c 119s|370000 |105418 | 0 | 0.0 | 46M| 25 | - | 30 |5529 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
130.77/130.90 c 125s|380000 |107151 | 0 | 0.0 | 47M| 25 | - | 30 |5695 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
137.06/137.15 c 131s|390000 |109071 | 0 | 0.0 | 48M| 25 | - | 30 |5515 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
143.25/143.40 c 137s|400000 |110846 | 0 | 0.0 | 49M| 25 | - | 30 |5206 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
151.15/151.20 c 145s|410000 |111120 | 0 | 0.0 | 49M| 25 | - | 30 |5240 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
159.55/159.67 c 153s|420000 |111122 | 0 | 0.0 | 50M| 25 | - | 30 |5797 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
168.84/168.95 c 162s|430000 |111383 | 0 | 0.0 | 50M| 25 | - | 30 |6239 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
177.84/177.99 c 171s|440000 |111857 | 0 | 0.0 | 51M| 25 | - | 30 |5905 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
186.54/186.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
186.54/186.65 c 180s|450000 |112123 | 0 | 0.0 | 51M| 25 | - | 30 |5906 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
199.64/199.78 c 193s|460000 |110474 | 0 | 0.0 | 51M| 25 | - | 30 |7359 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
215.44/215.52 c 208s|470000 |109080 | 0 | 0.0 | 51M| 25 | - | 30 |8229 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
234.82/234.93 c 228s|480000 |106981 | 0 | 0.0 | 51M| 25 | - | 30 |9371 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
255.92/256.08 c 248s|490000 |105706 | 0 | 0.0 | 51M| 25 | - | 30 |8571 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
261.82/261.96 c 254s|500000 |110181 | 0 | 0.0 | 52M| 25 | - | 30 |7802 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
268.22/268.35 c 260s|510000 |114027 | 0 | 0.0 | 53M| 25 | - | 30 |7674 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
275.02/275.17 c 267s|520000 |117625 | 0 | 0.0 | 55M| 25 | - | 30 |7750 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
281.91/282.01 c 274s|530000 |121092 | 0 | 0.0 | 56M| 25 | - | 30 |7792 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
289.71/289.88 c 281s|540000 |123939 | 0 | 0.0 | 57M| 25 | - | 30 |7992 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
297.71/297.84 c 289s|550000 |126916 | 0 | 0.0 | 59M| 25 | - | 30 |8072 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
305.91/306.08 c 297s|560000 |129966 | 0 | 0.0 | 60M| 25 | - | 30 |8078 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
313.81/313.96 c 305s|570000 |132743 | 0 | 0.0 | 61M| 25 | - | 30 |8009 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
323.41/323.53 c 314s|580000 |134721 | 0 | 0.0 | 62M| 25 | - | 30 |8343 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
333.30/333.50 c 324s|590000 |136775 | 0 | 0.0 | 63M| 25 | - | 30 |8670 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
343.39/343.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
343.39/343.54 c 334s|600000 |138928 | 0 | 0.0 | 64M| 25 | - | 30 |8622 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
353.60/353.73 c 344s|610000 |140871 | 0 | 0.0 | 65M| 25 | - | 30 |8883 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
363.90/364.08 c 354s|620000 |142952 | 0 | 0.0 | 66M| 25 | - | 30 |8775 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | -- | Inf
373.48/373.61 c 364s|630000 |145176 | 0 | 0.0 | 67M| 25 | - | 30 |8775 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | -- | Inf
385.28/385.49 c 375s|640000 |146365 | 0 | 0.0 | 68M| 25 | - | 30 |9039 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | -- | Inf
399.28/399.48 c 389s|650000 |147202 | 0 | 0.0 | 69M| 25 | - | 30 |9550 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | -- | Inf
413.78/413.92 c 404s|660000 |147990 | 0 | 0.0 | 69M| 25 | - | 30 |9727 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
428.47/428.66 c 418s|670000 |148782 | 0 | 0.0 | 70M| 25 | - | 30 | 10k| 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
442.97/443.17 c 432s|680000 |149782 | 0 | 0.0 | 71M| 25 | - | 30 | 10k| 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
458.17/458.31 c 447s|690000 |150567 | 0 | 0.0 | 72M| 25 | - | 30 | 10k| 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
473.76/473.92 c 463s|700000 |151403 | 0 | 0.0 | 72M| 25 | - | 30 | 10k| 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | -- | Inf
488.96/489.12 c 478s|710000 |152298 | 0 | 0.0 | 73M| 25 | - | 30 | 10k| 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | -- | Inf
506.86/507.10 c 496s|720000 |152178 | 0 | 0.0 | 73M| 25 | - | 30 | 10k| 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | -- | Inf
528.45/528.66 c 517s|730000 |151118 | 0 | 0.0 | 73M| 25 | - | 30 | 10k| 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | -- | Inf
551.34/551.50 c 540s|740000 |150162 | 0 | 0.0 | 73M| 25 | - | 30 | 11k| 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | -- | Inf
575.05/575.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
575.05/575.30 c 563s|750000 |149223 | 0 | 0.0 | 74M| 25 | - | 30 | 11k| 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
598.24/598.46 c 586s|760000 |148373 | 0 | 0.0 | 74M| 25 | - | 30 | 11k| 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | -- | Inf
622.12/622.30 c 610s|770000 |147388 | 0 | 0.0 | 74M| 25 | - | 30 | 11k| 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | -- | Inf
648.92/649.12 c 636s|780000 |145775 | 0 | 0.0 | 74M| 25 | - | 30 | 12k| 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
687.51/687.78 c 675s|790000 |142605 | 0 | 0.0 | 73M| 25 | - | 30 | 13k| 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
727.91/728.18 c 715s|800000 |139755 | 0 | 0.0 | 72M| 25 | - | 30 | 14k| 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
776.98/777.21 c 764s|810000 |136205 | 0 | 0.0 | 71M| 25 | - | 30 | 16k| 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
832.96/833.28 c 820s|820000 |132514 | 0 | 0.0 | 70M| 25 | - | 30 | 16k| 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
847.46/847.79 c 834s|830000 |135600 | 0 | 0.0 | 71M| 25 | - | 30 | 14k| 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
862.86/863.18 c 849s|840000 |138174 | 0 | 0.0 | 72M| 25 | - | 30 | 14k| 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
878.45/878.74 c 865s|850000 |140517 | 0 | 0.0 | 73M| 25 | - | 30 | 14k| 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | -- | Inf
895.15/895.45 c 881s|860000 |142850 | 0 | 0.0 | 74M| 25 | - | 30 | 14k| 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
915.04/915.30 c 901s|870000 |144091 | 0 | 0.0 | 74M| 25 | - | 30 | 14k| 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
932.45/932.77 c 918s|880000 |145714 | 0 | 0.0 | 75M| 25 | - | 30 | 14k| 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
951.14/951.43 c 937s|890000 |147430 | 0 | 0.0 | 76M| 25 | - | 30 | 14k| 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
971.13/971.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
971.13/971.46 c 957s|900000 |148967 | 0 | 0.0 | 77M| 25 | - | 30 | 14k| 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
990.93/991.25 c 976s|910000 |150548 | 0 | 0.0 | 78M| 25 | - | 30 | 14k| 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
1014.31/1014.66 c 999s|920000 |151286 | 0 | 0.0 | 79M| 25 | - | 30 | 14k| 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
1040.81/1041.17 c 1026s|930000 |151764 | 0 | 0.0 | 79M| 25 | - | 30 | 15k| 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | -- | Inf
1067.10/1067.45 c 1052s|940000 |152371 | 0 | 0.0 | 80M| 25 | - | 30 | 15k| 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | -- | Inf
1093.90/1094.27 c 1078s|950000 |152755 | 0 | 0.0 | 80M| 25 | - | 30 | 15k| 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | -- | Inf
1122.09/1122.44 c 1106s|960000 |153123 | 0 | 0.0 | 81M| 25 | - | 30 | 15k| 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | -- | Inf
1145.29/1145.63 c 1129s|970000 |154012 | 0 | 0.0 | 82M| 25 | - | 30 | 16k| 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | -- | Inf
1170.08/1170.45 c 1154s|980000 |154852 | 0 | 0.0 | 82M| 25 | - | 30 | 16k| 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | -- | Inf
1197.67/1198.04 c 1182s|990000 |155445 | 0 | 0.0 | 83M| 25 | - | 30 | 16k| 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | -- | Inf
1232.36/1232.70 c 1216s| 1000k|154932 | 0 | 0.0 | 83M| 25 | - | 30 | 16k| 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | -- | Inf
1268.96/1269.35 c 1252s| 1010k|154252 | 0 | 0.0 | 84M| 25 | - | 30 | 17k| 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | -- | Inf
1306.53/1306.93 c 1290s| 1020k|153525 | 0 | 0.0 | 84M| 25 | - | 30 | 17k| 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | -- | Inf
1345.92/1346.37 c 1329s| 1030k|152655 | 0 | 0.0 | 84M| 25 | - | 30 | 18k| 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | -- | Inf
1388.80/1389.26 c 1372s| 1040k|151787 | 0 | 0.0 | 84M| 25 | - | 30 | 18k| 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | -- | Inf
1432.29/1432.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1432.29/1432.74 c 1415s| 1050k|150791 | 0 | 0.0 | 85M| 25 | - | 30 | 18k| 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | -- | Inf
1474.18/1474.61 c 1457s| 1060k|150175 | 0 | 0.0 | 85M| 25 | - | 30 | 19k| 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | -- | Inf
1514.07/1514.53 c 1496s| 1070k|149886 | 0 | 0.0 | 85M| 25 | - | 30 | 19k| 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | -- | Inf
1572.05/1572.53 c 1554s| 1080k|147453 | 0 | 0.0 | 85M| 25 | - | 30 | 20k| 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | -- | Inf
1633.44/1633.93 c 1615s| 1090k|145124 | 0 | 0.0 | 85M| 25 | - | 30 | 21k| 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | -- | Inf
1698.32/1698.89 c 1680s| 1100k|142635 | 0 | 0.0 | 84M| 25 | - | 30 | 22k| 0 | 0 | 0 | 147k| 0 | 0.000000e+00 | -- | Inf
1765.90/1766.47 c 1748s| 1110k|140206 | 0 | 0.0 | 84M| 25 | - | 30 | 23k| 0 | 0 | 0 | 150k| 0 | 0.000000e+00 | -- | Inf
1800.10/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.10/1800.63 c
1800.10/1800.63 c SCIP Status : solving was interrupted [user interrupt]
1800.10/1800.63 c Solving Time (sec) : 1781.56
1800.10/1800.63 c Solving Nodes : 1115111
1800.10/1800.63 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.10/1800.63 c Dual Bound : +0.00000000000000e+00
1800.10/1800.63 c Gap : infinite
1800.10/1800.63 s UNKNOWN
1800.10/1800.63 c SCIP Status : solving was interrupted [user interrupt]
1800.10/1800.63 c Solving Time : 1781.56
1800.10/1800.63 c Original Problem :
1800.10/1800.63 c Problem name : HOME/instance-2664799-1276601960.opb
1800.10/1800.63 c Variables : 31 (31 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.10/1800.63 c Constraints : 9 initial, 9 maximal
1800.10/1800.63 c Presolved Problem :
1800.10/1800.63 c Problem name : t_HOME/instance-2664799-1276601960.opb
1800.10/1800.63 c Variables : 30 (30 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.10/1800.63 c Constraints : 4 initial, 23370 maximal
1800.10/1800.63 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.10/1800.63 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.63 c dualfix : 0.00 1 0 0 0 0 0 0 0
1800.10/1800.63 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.63 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.63 c implics : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.63 c probing : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.63 c linear : 0.00 0 0 0 0 0 5 0 0
1800.10/1800.63 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.63 c root node : - 0 - - 0 - - - -
1800.10/1800.63 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.10/1800.63 c integral : 0 0 0 0 0 0 0 0 0 0
1800.10/1800.63 c linear : 4 0 1712327 0 647479 507708 3338627 0 0 0
1800.10/1800.63 c logicor : 0+ 0 696055 0 0 546 83058 0 0 0
1800.10/1800.63 c countsols : 0 0 0 0 647479 0 0 0 0 0
1800.10/1800.63 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.10/1800.63 c integral : 0.00 0.00 0.00 0.00 0.00
1800.10/1800.63 c linear : 75.88 0.00 75.06 0.00 0.82
1800.10/1800.63 c logicor : 940.22 0.00 940.22 0.00 0.00
1800.10/1800.63 c countsols : 0.31 0.00 0.00 0.00 0.31
1800.10/1800.63 c Propagators : Time Calls Cutoffs DomReds
1800.10/1800.63 c vbounds : 0.92 2 0 0
1800.10/1800.63 c rootredcost : 0.83 0 0 0
1800.10/1800.63 c pseudoobj : 0.75 0 0 0
1800.10/1800.63 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.10/1800.63 c propagation : 18.95 508254 144864 317666 20.4 0 0.0 -
1800.10/1800.63 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.10/1800.63 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.10/1800.63 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.10/1800.63 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.10/1800.63 c applied globally : - - - 151466 19.3 - - -
1800.10/1800.63 c applied locally : - - - 0 0.0 - - -
1800.10/1800.63 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.10/1800.63 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.10/1800.63 c redcost : 0.00 0 0 0 0 0
1800.10/1800.63 c impliedbounds : 0.00 0 0 0 0 0
1800.10/1800.63 c intobj : 0.00 0 0 0 0 0
1800.10/1800.63 c cgmip : 0.00 0 0 0 0 0
1800.10/1800.63 c gomory : 0.00 0 0 0 0 0
1800.10/1800.63 c strongcg : 0.00 0 0 0 0 0
1800.10/1800.63 c cmir : 0.00 0 0 0 0 0
1800.10/1800.63 c flowcover : 0.00 0 0 0 0 0
1800.10/1800.63 c clique : 0.00 0 0 0 0 0
1800.10/1800.63 c zerohalf : 0.00 0 0 0 0 0
1800.10/1800.63 c mcf : 0.00 0 0 0 0 0
1800.10/1800.63 c rapidlearning : 0.00 0 0 0 0 0
1800.10/1800.63 c Pricers : Time Calls Vars
1800.10/1800.63 c problem variables: 0.00 0 0
1800.10/1800.63 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.10/1800.63 c relpscost : 0.00 0 0 0 0 0 0
1800.10/1800.63 c pscost : 0.00 0 0 0 0 0 0
1800.10/1800.63 c inference : 5.77 647479 0 0 0 0 1294958
1800.10/1800.63 c mostinf : 0.00 0 0 0 0 0 0
1800.10/1800.63 c leastinf : 0.00 0 0 0 0 0 0
1800.10/1800.63 c fullstrong : 0.00 0 0 0 0 0 0
1800.10/1800.63 c allfullstrong : 0.00 0 0 0 0 0 0
1800.10/1800.63 c random : 0.00 0 0 0 0 0 0
1800.10/1800.63 c Primal Heuristics : Time Calls Found
1800.10/1800.63 c LP solutions : 0.00 - 0
1800.10/1800.63 c pseudo solutions : 0.00 - 0
1800.10/1800.63 c oneopt : 0.68 0 0
1800.10/1800.63 c trivial : 0.00 2 0
1800.10/1800.63 c simplerounding : 0.00 0 0
1800.10/1800.63 c zirounding : 0.00 0 0
1800.10/1800.63 c rounding : 0.00 0 0
1800.10/1800.63 c shifting : 0.00 0 0
1800.10/1800.63 c intshifting : 0.00 0 0
1800.10/1800.63 c twoopt : 0.00 0 0
1800.10/1800.63 c fixandinfer : 0.00 0 0
1800.10/1800.63 c feaspump : 0.00 0 0
1800.10/1800.63 c coefdiving : 0.00 0 0
1800.10/1800.63 c pscostdiving : 0.00 0 0
1800.10/1800.63 c fracdiving : 0.00 0 0
1800.10/1800.63 c veclendiving : 0.00 0 0
1800.10/1800.63 c intdiving : 0.00 0 0
1800.10/1800.63 c actconsdiving : 0.00 0 0
1800.10/1800.63 c objpscostdiving : 0.00 0 0
1800.10/1800.63 c rootsoldiving : 0.00 0 0
1800.10/1800.63 c linesearchdiving : 0.00 0 0
1800.10/1800.63 c guideddiving : 0.00 0 0
1800.10/1800.63 c octane : 0.00 0 0
1800.10/1800.63 c rens : 0.00 0 0
1800.10/1800.63 c rins : 0.00 0 0
1800.10/1800.63 c localbranching : 0.00 0 0
1800.10/1800.63 c mutation : 0.00 0 0
1800.10/1800.63 c crossover : 0.00 0 0
1800.10/1800.63 c dins : 0.00 0 0
1800.10/1800.63 c undercover : 0.00 0 0
1800.10/1800.63 c nlp : 0.56 0 0
1800.10/1800.63 c trysol : 0.50 0 0
1800.10/1800.63 c LP : Time Calls Iterations Iter/call Iter/sec
1800.10/1800.63 c primal LP : 0.00 0 0 0.00 -
1800.10/1800.63 c dual LP : 0.00 0 0 0.00 -
1800.10/1800.63 c lex dual LP : 0.00 0 0 0.00 -
1800.10/1800.63 c barrier LP : 0.00 0 0 0.00 -
1800.10/1800.63 c diving/probing LP: 0.00 0 0 0.00 -
1800.10/1800.63 c strong branching : 0.00 0 0 0.00 -
1800.10/1800.63 c (at root node) : - 0 0 0.00 -
1800.10/1800.63 c conflict analysis: 0.00 0 0 0.00 -
1800.10/1800.63 c B&B Tree :
1800.10/1800.63 c number of runs : 1
1800.10/1800.63 c nodes : 1115111
1800.10/1800.63 c nodes (total) : 1115111
1800.10/1800.63 c nodes left : 139129
1800.10/1800.63 c max depth : 25
1800.10/1800.63 c max depth (total): 25
1800.10/1800.63 c backtracks : 254553 (22.8%)
1800.10/1800.63 c delayed cutoffs : 40719
1800.10/1800.63 c repropagations : 115431 (308464 domain reductions, 40622 cutoffs)
1800.10/1800.63 c avg switch length: 9.18
1800.10/1800.63 c switching time : 507.13
1800.10/1800.63 c Solution :
1800.10/1800.63 c Solutions found : 0 (0 improvements)
1800.10/1800.63 c Primal Bound : -
1800.10/1800.63 c Dual Bound : +0.00000000000000e+00
1800.10/1800.63 c Gap : infinite
1800.10/1800.63 c Root Dual Bound : +0.00000000000000e+00
1800.10/1800.63 c Root Iterations : 0
1800.59/1801.20 c Time complete: 1800.69.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2664799-1276601960/watcher-2664799-1276601960 -o /tmp/evaluation-result-2664799-1276601960/solver-2664799-1276601960 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664799-1276601960.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.85 0.97 0.99 3/106 9341
/proc/meminfo: memFree=1532068/2059040 swapFree=4192956/4192956
[pid=9341] ppid=9339 vsize=6584 CPUtime=0
/proc/9341/stat : 9341 (pbscip.linux.x8) R 9339 9341 9316 0 -1 4202496 1042 0 0 0 0 0 0 0 24 0 1 0 1491099 6742016 965 1992294400 4194304 7136930 140733647041216 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9341/statm: 1646 975 254 719 0 925 0
[startup+0.0134529 s]
/proc/loadavg: 0.85 0.97 0.99 3/106 9341
/proc/meminfo: memFree=1532068/2059040 swapFree=4192956/4192956
[pid=9341] ppid=9339 vsize=8488 CPUtime=0
/proc/9341/stat : 9341 (pbscip.linux.x8) R 9339 9341 9316 0 -1 4202496 1721 0 0 0 0 0 0 0 24 0 1 0 1491099 8691712 1292 1992294400 4194304 7136930 140733647041216 18446744073709551615 6346613 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9341/statm: 2122 1305 278 719 0 1401 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8488
[startup+0.101462 s]
/proc/loadavg: 0.85 0.97 0.99 3/106 9341
/proc/meminfo: memFree=1532068/2059040 swapFree=4192956/4192956
[pid=9341] ppid=9339 vsize=11056 CPUtime=0.09
/proc/9341/stat : 9341 (pbscip.linux.x8) R 9339 9341 9316 0 -1 4202496 2973 0 0 0 7 2 0 0 24 0 1 0 1491099 11321344 2029 1992294400 4194304 7136930 140733647041216 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9341/statm: 2764 2029 387 719 0 2043 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11056
[startup+0.301485 s]
/proc/loadavg: 0.85 0.97 0.99 3/106 9341
/proc/meminfo: memFree=1532068/2059040 swapFree=4192956/4192956
[pid=9341] ppid=9339 vsize=11692 CPUtime=0.29
/proc/9341/stat : 9341 (pbscip.linux.x8) R 9339 9341 9316 0 -1 4202496 3132 0 0 0 25 4 0 0 25 0 1 0 1491099 11972608 2188 1992294400 4194304 7136930 140733647041216 18446744073709551615 4660982 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9341/statm: 2923 2188 387 719 0 2202 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11692
[startup+0.70153 s]
/proc/loadavg: 0.85 0.97 0.99 3/106 9341
/proc/meminfo: memFree=1532068/2059040 swapFree=4192956/4192956
[pid=9341] ppid=9339 vsize=13132 CPUtime=0.69
/proc/9341/stat : 9341 (pbscip.linux.x8) R 9339 9341 9316 0 -1 4202496 3519 0 0 0 59 10 0 0 25 0 1 0 1491099 13447168 2575 1992294400 4194304 7136930 140733647041216 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9341/statm: 3283 2575 387 719 0 2562 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13132
[startup+1.50162 s]
/proc/loadavg: 0.85 0.97 0.99 2/107 9342
/proc/meminfo: memFree=1522884/2059040 swapFree=4192956/4192956
[pid=9341] ppid=9339 vsize=14156 CPUtime=1.49
/proc/9341/stat : 9341 (pbscip.linux.x8) R 9339 9341 9316 0 -1 4202496 3775 0 0 0 132 17 0 0 25 0 1 0 1491099 14495744 2831 1992294400 4194304 7136930 140733647041216 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9341/statm: 3539 2831 387 719 0 2818 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14156
[startup+3.10081 s]
/proc/loadavg: 0.85 0.97 0.99 2/107 9342
/proc/meminfo: memFree=1521024/2059040 swapFree=4192956/4192956
[pid=9341] ppid=9339 vsize=16560 CPUtime=3.09
/proc/9341/stat : 9341 (pbscip.linux.x8) R 9339 9341 9316 0 -1 4202496 4410 0 0 0 276 33 0 0 25 0 1 0 1491099 16957440 3466 1992294400 4194304 7136930 140733647041216 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9341/statm: 4140 3466 387 719 0 3419 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16560
[startup+6.30118 s]
/proc/loadavg: 0.86 0.97 0.99 2/107 9342
/proc/meminfo: memFree=1517180/2059040 swapFree=4192956/4192956
[pid=9341] ppid=9339 vsize=19548 CPUtime=6.29
/proc/9341/stat : 9341 (pbscip.linux.x8) R 9339 9341 9316 0 -1 4202496 5148 0 0 0 575 54 0 0 25 0 1 0 1491099 20017152 4204 1992294400 4194304 7136930 140733647041216 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9341/statm: 4887 4204 387 719 0 4166 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19548
[startup+12.7009 s]
/proc/loadavg: 0.87 0.97 0.99 2/107 9344
/proc/meminfo: memFree=1511360/2059040 swapFree=4192956/4192956
[pid=9341] ppid=9339 vsize=24684 CPUtime=12.69
/proc/9341/stat : 9341 (pbscip.linux.x8) R 9339 9341 9316 0 -1 4202496 6452 0 0 0 1169 100 0 0 25 0 1 0 1491099 25276416 5508 1992294400 4194304 7136930 140733647041216 18446744073709551615 5955584 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9341/statm: 6171 5508 387 719 0 5450 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 24684
[startup+25.5014 s]
/proc/loadavg: 0.90 0.97 0.99 2/107 9344
/proc/meminfo: memFree=1504540/2059040 swapFree=4192956/4192956
[pid=9341] ppid=9339 vsize=31576 CPUtime=25.48
/proc/9341/stat : 9341 (pbscip.linux.x8) R 9339 9341 9316 0 -1 4202496 8243 0 0 0 2361 187 0 0 25 0 1 0 1491099 32333824 7299 1992294400 4194304 7136930 140733647041216 18446744073709551615 4223896 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9341/statm: 7894 7299 387 719 0 7173 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 31576
[startup+51.1014 s]
/proc/loadavg: 0.93 0.97 0.99 2/107 9344
/proc/meminfo: memFree=1492016/2059040 swapFree=4192956/4192956
[pid=9341] ppid=9339 vsize=45220 CPUtime=51.08
/proc/9341/stat : 9341 (pbscip.linux.x8) R 9339 9341 9316 0 -1 4202496 11225 0 0 0 4787 321 0 0 25 0 1 0 1491099 46305280 10281 1992294400 4194304 7136930 140733647041216 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9341/statm: 11305 10281 387 719 0 10584 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 45220
[startup+102.308 s]
/proc/loadavg: 0.97 0.97 0.99 2/107 9346
/proc/meminfo: memFree=1477136/2059040 swapFree=4192956/4192956
[pid=9341] ppid=9339 vsize=60032 CPUtime=102.27
/proc/9341/stat : 9341 (pbscip.linux.x8) R 9339 9341 9316 0 -1 4202496 14909 0 0 0 9732 495 0 0 25 0 1 0 1491099 61472768 13965 1992294400 4194304 7136930 140733647041216 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9341/statm: 15008 13965 387 719 0 14287 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 60032
[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 9348
/proc/meminfo: memFree=1468580/2059040 swapFree=4192956/4192956
[pid=9341] ppid=9339 vsize=67868 CPUtime=162.24
/proc/9341/stat : 9341 (pbscip.linux.x8) R 9339 9341 9316 0 -1 4202496 16989 0 0 0 15588 636 0 0 25 0 1 0 1491099 69496832 16045 1992294400 4194304 7136930 140733647041216 18446744073709551615 4219807 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9341/statm: 16967 16045 387 719 0 16246 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 67868
[startup+222.301 s]
/proc/loadavg: 1.03 0.99 0.99 2/107 9348
/proc/meminfo: memFree=1465728/2059040 swapFree=4192956/4192956
[pid=9341] ppid=9339 vsize=71092 CPUtime=222.23
/proc/9341/stat : 9341 (pbscip.linux.x8) R 9339 9341 9316 0 -1 4202496 17704 0 0 0 21501 722 0 0 25 0 1 0 1491099 72798208 16760 1992294400 4194304 7136930 140733647041216 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9341/statm: 17773 16760 387 719 0 17052 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 71092
[startup+282.301 s]
/proc/loadavg: 1.01 0.99 0.99 2/107 9350
/proc/meminfo: memFree=1460892/2059040 swapFree=4192956/4192956
[pid=9341] ppid=9339 vsize=75712 CPUtime=282.21
/proc/9341/stat : 9341 (pbscip.linux.x8) R 9339 9341 9316 0 -1 4202496 18893 0 0 0 27404 817 0 0 25 0 1 0 1491099 77529088 17949 1992294400 4194304 7136930 140733647041216 18446744073709551615 4431496 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9341/statm: 18928 17949 387 719 0 18207 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 75712
[startup+342.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 9352
/proc/meminfo: memFree=1452460/2059040 swapFree=4192956/4192956
[pid=9341] ppid=9339 vsize=83696 CPUtime=342.2
/proc/9341/stat : 9341 (pbscip.linux.x8) R 9339 9341 9316 0 -1 4202496 20958 0 0 0 33293 927 0 0 25 0 1 0 1491099 85704704 20014 1992294400 4194304 7136930 140733647041216 18446744073709551615 4221231 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9341/statm: 20924 20014 387 719 0 20203 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 83696
[startup+402.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 9354
/proc/meminfo: memFree=1448864/2059040 swapFree=4192956/4192956
[pid=9341] ppid=9339 vsize=87452 CPUtime=402.18
/proc/9341/stat : 9341 (pbscip.linux.x8) R 9339 9341 9316 0 -1 4202496 21840 0 0 0 39203 1015 0 0 25 0 1 0 1491099 89550848 20896 1992294400 4194304 7136930 140733647041216 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9341/statm: 21863 20896 387 719 0 21142 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 87452
[startup+462.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 9356
/proc/meminfo: memFree=1444152/2059040 swapFree=4192956/4192956
[pid=9341] ppid=9339 vsize=92060 CPUtime=462.16
/proc/9341/stat : 9341 (pbscip.linux.x8) R 9339 9341 9316 0 -1 4202496 22987 0 0 0 45133 1083 0 0 25 0 1 0 1491099 94269440 22043 1992294400 4194304 7136930 140733647041216 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9341/statm: 23015 22043 387 719 0 22294 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 92060
[startup+522.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 9356
/proc/meminfo: memFree=1442168/2059040 swapFree=4192956/4192956
[pid=9341] ppid=9339 vsize=93932 CPUtime=522.15
/proc/9341/stat : 9341 (pbscip.linux.x8) R 9339 9341 9316 0 -1 4202496 23464 0 0 0 51069 1146 0 0 25 0 1 0 1491099 96186368 22520 1992294400 4194304 7136930 140733647041216 18446744073709551615 4221310 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9341/statm: 23483 22520 387 719 0 22762 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 93932
[startup+582.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 9358
/proc/meminfo: memFree=1440556/2059040 swapFree=4192956/4192956
[pid=9341] ppid=9339 vsize=95276 CPUtime=582.13
/proc/9341/stat : 9341 (pbscip.linux.x8) R 9339 9341 9316 0 -1 4202496 23847 0 0 0 57019 1194 0 0 25 0 1 0 1491099 97562624 22903 1992294400 4194304 7136930 140733647041216 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9341/statm: 23819 22903 387 719 0 23098 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 95276
[startup+642.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 9360
/proc/meminfo: memFree=1440556/2059040 swapFree=4192956/4192956
[pid=9341] ppid=9339 vsize=95276 CPUtime=642.13
/proc/9341/stat : 9341 (pbscip.linux.x8) R 9339 9341 9316 0 -1 4202496 23851 0 0 0 62972 1241 0 0 25 0 1 0 1491099 97562624 22907 1992294400 4194304 7136930 140733647041216 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9341/statm: 23819 22907 387 719 0 23098 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 95276
[startup+702.302 s]
################
# More data... #
################
[startup+942.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 9368
/proc/meminfo: memFree=1436216/2059040 swapFree=4192956/4192956
[pid=9341] ppid=9339 vsize=100740 CPUtime=942.03
/proc/9341/stat : 9341 (pbscip.linux.x8) R 9339 9341 9316 0 -1 4202496 24869 0 0 0 92767 1436 0 0 25 0 1 0 1491099 103157760 23903 1992294400 4194304 7136930 140733647041216 18446744073709551615 4210534 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9341/statm: 25185 23903 387 719 0 24464 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 100740
[startup+1002.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 9370
/proc/meminfo: memFree=1433984/2059040 swapFree=4192956/4192956
[pid=9341] ppid=9339 vsize=102812 CPUtime=1002.02
/proc/9341/stat : 9341 (pbscip.linux.x8) R 9339 9341 9316 0 -1 4202496 25404 0 0 0 98718 1484 0 0 25 0 1 0 1491099 105279488 24438 1992294400 4194304 7136930 140733647041216 18446744073709551615 4219807 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9341/statm: 25703 24438 387 719 0 24982 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 102812
[startup+1062.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 9372
/proc/meminfo: memFree=1432000/2059040 swapFree=4192956/4192956
[pid=9341] ppid=9339 vsize=104620 CPUtime=1062
/proc/9341/stat : 9341 (pbscip.linux.x8) R 9339 9341 9316 0 -1 4202496 25873 0 0 0 104674 1526 0 0 25 0 1 0 1491099 107130880 24907 1992294400 4194304 7136930 140733647041216 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9341/statm: 26155 24907 387 719 0 25434 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 104620
[startup+1122.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 9372
/proc/meminfo: memFree=1431256/2059040 swapFree=4192956/4192956
[pid=9341] ppid=9339 vsize=105268 CPUtime=1121.99
/proc/9341/stat : 9341 (pbscip.linux.x8) R 9339 9341 9316 0 -1 4202496 26036 0 0 0 110633 1566 0 0 25 0 1 0 1491099 107794432 25070 1992294400 4194304 7136930 140733647041216 18446744073709551615 5955603 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9341/statm: 26317 25070 387 719 0 25596 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 105268
[startup+1182.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 9374
/proc/meminfo: memFree=1430016/2059040 swapFree=4192956/4192956
[pid=9341] ppid=9339 vsize=106304 CPUtime=1181.98
/proc/9341/stat : 9341 (pbscip.linux.x8) R 9339 9341 9316 0 -1 4202496 26347 0 0 0 116587 1611 0 0 25 0 1 0 1491099 108855296 25381 1992294400 4194304 7136930 140733647041216 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9341/statm: 26576 25381 387 719 0 25855 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 106304
[startup+1242.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 9376
/proc/meminfo: memFree=1428404/2059040 swapFree=4192956/4192956
[pid=9341] ppid=9339 vsize=107660 CPUtime=1241.95
/proc/9341/stat : 9341 (pbscip.linux.x8) R 9339 9341 9316 0 -1 4202496 26688 0 0 0 122554 1641 0 0 25 0 1 0 1491099 110243840 25722 1992294400 4194304 7136930 140733647041216 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9341/statm: 26915 25722 387 719 0 26194 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 107660
[startup+1302.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 9387
/proc/meminfo: memFree=1426404/2059040 swapFree=4192956/4192956
[pid=9341] ppid=9339 vsize=108676 CPUtime=1301.94
/proc/9341/stat : 9341 (pbscip.linux.x8) R 9339 9341 9316 0 -1 4202496 26922 0 0 0 128520 1674 0 0 25 0 1 0 1491099 111284224 25956 1992294400 4194304 7136930 140733647041216 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9341/statm: 27169 25956 387 719 0 26448 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 108676
[startup+1362.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 9389
/proc/meminfo: memFree=1426420/2059040 swapFree=4192956/4192956
[pid=9341] ppid=9339 vsize=109156 CPUtime=1361.91
/proc/9341/stat : 9341 (pbscip.linux.x8) R 9339 9341 9316 0 -1 4202496 27028 0 0 0 134488 1703 0 0 25 0 1 0 1491099 111775744 26062 1992294400 4194304 7136930 140733647041216 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9341/statm: 27289 26062 387 719 0 26568 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 109156
[startup+1422.31 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 9389
/proc/meminfo: memFree=1426420/2059040 swapFree=4192956/4192956
[pid=9341] ppid=9339 vsize=109156 CPUtime=1421.9
/proc/9341/stat : 9341 (pbscip.linux.x8) R 9339 9341 9316 0 -1 4202496 27087 0 0 0 140463 1727 0 0 25 0 1 0 1491099 111775744 26121 1992294400 4194304 7136930 140733647041216 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9341/statm: 27289 26121 387 719 0 26568 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 109156
[startup+1482.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 9391
/proc/meminfo: memFree=1426172/2059040 swapFree=4192956/4192956
[pid=9341] ppid=9339 vsize=110148 CPUtime=1481.87
/proc/9341/stat : 9341 (pbscip.linux.x8) R 9339 9341 9316 0 -1 4202496 27164 0 0 0 146435 1752 0 0 25 0 1 0 1491099 112791552 26198 1992294400 4194304 7136930 140733647041216 18446744073709551615 5955622 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9341/statm: 27537 26198 387 719 0 26816 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 110148
[startup+1542.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 9393
/proc/meminfo: memFree=1426172/2059040 swapFree=4192956/4192956
[pid=9341] ppid=9339 vsize=110208 CPUtime=1541.86
/proc/9341/stat : 9341 (pbscip.linux.x8) R 9339 9341 9316 0 -1 4202496 27177 0 0 0 152408 1778 0 0 25 0 1 0 1491099 112852992 26211 1992294400 4194304 7136930 140733647041216 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9341/statm: 27552 26211 387 719 0 26831 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 110208
[startup+1602.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 9395
/proc/meminfo: memFree=1425428/2059040 swapFree=4192956/4192956
[pid=9341] ppid=9339 vsize=111228 CPUtime=1601.85
/proc/9341/stat : 9341 (pbscip.linux.x8) R 9339 9341 9316 0 -1 4202496 27374 0 0 0 158386 1799 0 0 25 0 1 0 1491099 113897472 26408 1992294400 4194304 7136930 140733647041216 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9341/statm: 27807 26408 387 719 0 27086 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 111228
[startup+1662.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 9397
/proc/meminfo: memFree=1425428/2059040 swapFree=4192956/4192956
[pid=9341] ppid=9339 vsize=111372 CPUtime=1661.83
/proc/9341/stat : 9341 (pbscip.linux.x8) R 9339 9341 9316 0 -1 4202496 27388 0 0 0 164367 1816 0 0 25 0 1 0 1491099 114044928 26422 1992294400 4194304 7136930 140733647041216 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9341/statm: 27843 26422 387 719 0 27122 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 111372
[startup+1722.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 9397
/proc/meminfo: memFree=1424932/2059040 swapFree=4192956/4192956
[pid=9341] ppid=9339 vsize=111372 CPUtime=1721.81
/proc/9341/stat : 9341 (pbscip.linux.x8) R 9339 9341 9316 0 -1 4202496 27472 0 0 0 170349 1832 0 0 25 0 1 0 1491099 114044928 26506 1992294400 4194304 7136930 140733647041216 18446744073709551615 4210441 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9341/statm: 27843 26506 387 719 0 27122 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 111372
[startup+1782.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 9399
/proc/meminfo: memFree=1424312/2059040 swapFree=4192956/4192956
[pid=9341] ppid=9339 vsize=112560 CPUtime=1781.79
/proc/9341/stat : 9341 (pbscip.linux.x8) R 9339 9341 9316 0 -1 4202496 27560 0 0 0 176329 1850 0 0 25 0 1 0 1491099 115261440 26594 1992294400 4194304 7136930 140733647041216 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9341/statm: 28140 26594 387 719 0 27419 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 112560
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 9399
/proc/meminfo: memFree=1423568/2059040 swapFree=4192956/4192956
[pid=9341] ppid=9339 vsize=113396 CPUtime=1800.1
/proc/9341/stat : 9341 (pbscip.linux.x8) R 9339 9341 9316 0 -1 4202496 27770 0 0 0 178154 1856 0 0 25 0 1 0 1491099 116117504 26804 1992294400 4194304 7136930 140733647041216 18446744073709551615 4999797 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9341/statm: 28349 26804 387 719 0 27628 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 113396
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1801 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 9399
/proc/meminfo: memFree=1423568/2059040 swapFree=4192956/4192956
[pid=9341] ppid=9339 vsize=113396 CPUtime=1800.49
/proc/9341/stat : 9341 (pbscip.linux.x8) R 9339 9341 9316 0 -1 4202496 27776 0 0 0 178193 1856 0 0 25 0 1 0 1491099 116117504 26810 1992294400 4194304 7136930 140733647041216 18446744073709551615 4212307 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9341/statm: 28349 26810 393 719 0 27628 0
Current children cumulated CPU time (s) 1800.49
Current children cumulated vsize (KiB) 113396
[startup+1801.1 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 9399
/proc/meminfo: memFree=1423568/2059040 swapFree=4192956/4192956
[pid=9341] ppid=9339 vsize=111848 CPUtime=1800.59
/proc/9341/stat : 9341 (pbscip.linux.x8) R 9339 9341 9316 0 -1 4202496 27776 0 0 0 178203 1856 0 0 25 0 1 0 1491099 114532352 26423 1992294400 4194304 7136930 140733647041216 18446744073709551615 4670052 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9341/statm: 27962 26423 393 719 0 27241 0
Current children cumulated CPU time (s) 1800.59
Current children cumulated vsize (KiB) 111848
Child status: 0
Real time (s): 1801.2
CPU time (s): 1800.7
CPU user time (s): 1782.12
CPU system time (s): 18.5762
CPU usage (%): 99.9722
Max. virtual memory (cumulated for all children) (KiB): 113396
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1782.12
system time used= 18.5762
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27783
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= 11514
runsolver used 2.98455 second user time and 8.50371 second system time
The end