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-2694100-1277923114.wbo>
0.00/0.00 c original problem has 371 variables (270 bin, 0 int, 0 impl, 101 cont) and 203 constraints
0.00/0.00 c problem read
0.00/0.00 c presolving settings loaded
0.00/0.00 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.00 o 5033
0.00/0.00 c feasible solution found by trivial heuristic, objective value 5.033000e+03
0.00/0.00 c presolving:
0.00/0.00 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 101 impls, 0 clqs
0.00/0.01 c (round 2) 0 del vars, 1 del conss, 101 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 101 impls, 0 clqs
0.00/0.01 c (0.0s) probing: 101/270 (37.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.01 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.01 c presolving (3 rounds):
0.00/0.01 c 0 deleted vars, 1 deleted constraints, 101 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.01 c 101 implications, 0 cliques
0.00/0.01 c presolved problem has 371 variables (270 bin, 0 int, 0 impl, 101 cont) and 202 constraints
0.00/0.01 c 101 constraints of type <indicator>
0.00/0.01 c 101 constraints of type <linear>
0.00/0.01 c transformed objective value is always integral (scale: 1)
0.00/0.01 c Presolving Time: 0.01
0.00/0.01 c - non default parameters ----------------------------------------------------------------------
0.00/0.01 c # SCIP version 1.2.1.2
0.00/0.01 c
0.00/0.01 c # frequency for displaying node information lines
0.00/0.01 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.01 c display/freq = 10000
0.00/0.01 c
0.00/0.01 c # maximal time in seconds to run
0.00/0.01 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.01 c limits/time = 1800
0.00/0.01 c
0.00/0.01 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.01 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.01 c limits/memory = 3420
0.00/0.01 c
0.00/0.01 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.00/0.01 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.01 c lp/solvefreq = -1
0.00/0.01 c
0.00/0.01 c # should presolving try to simplify inequalities
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c constraints/linear/simplifyinequalities = TRUE
0.00/0.01 c
0.00/0.01 c # should presolving try to simplify knapsacks
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.01 c
0.00/0.01 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.01 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.01 c separating/rapidlearning/freq = 0
0.00/0.01 c
0.00/0.01 c -----------------------------------------------------------------------------------------------
0.00/0.01 c start solving
0.00/0.01 c
0.00/0.01 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.01 c t 0.0s| 1 | 2 | 0 | - |1124k| 0 | - | 371 | 202 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | 5.033000e+03 | Inf
1.49/1.52 o 771
1.49/1.52 c * 1.4s| 9560 | 6253 | 0 | 0.0 |7672k| 189 | - | 371 |5092 | 0 | 0 | 0 |8687 | 0 | 0.000000e+00 | 7.710000e+02 | Inf
1.49/1.55 c 1.5s| 10000 | 6684 | 0 | 0.0 |7780k| 193 | - | 371 |5057 | 0 | 0 | 0 |8696 | 0 | 0.000000e+00 | 7.710000e+02 | Inf
2.99/3.01 c 2.9s| 20000 | 13928 | 0 | 0.0 | 11M| 207 | - | 371 |5094 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 7.710000e+02 | Inf
6.09/6.17 c 5.9s| 30000 | 17165 | 0 | 0.0 | 18M| 207 | - | 371 | 10k| 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | 7.710000e+02 | Inf
9.19/9.21 c 8.8s| 40000 | 21637 | 0 | 0.0 | 21M| 207 | - | 371 |8803 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | 7.710000e+02 | Inf
9.69/9.70 c 9.3s| 50000 | 31603 | 0 | 0.0 | 21M| 207 | - | 371 | 911 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | 7.710000e+02 | Inf
10.08/10.14 c 9.7s| 60000 | 41569 | 0 | 0.0 | 24M| 207 | - | 371 | 744 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | 7.710000e+02 | Inf
10.49/10.58 c 10.1s| 70000 | 51559 | 0 | 0.0 | 27M| 211 | - | 371 | 667 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | 7.710000e+02 | Inf
11.00/11.01 c 10.5s| 80000 | 61532 | 0 | 0.0 | 30M| 211 | - | 371 | 716 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | 7.710000e+02 | Inf
11.39/11.45 c 10.8s| 90000 | 71495 | 0 | 0.0 | 33M| 211 | - | 371 | 747 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | 7.710000e+02 | Inf
11.79/11.89 c 11.2s|100000 | 81462 | 0 | 0.0 | 36M| 215 | - | 371 | 809 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | 7.710000e+02 | Inf
12.29/12.33 c 11.6s|110000 | 91439 | 0 | 0.0 | 39M| 215 | - | 371 | 803 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | 7.710000e+02 | Inf
12.69/12.77 c 11.9s|120000 |101407 | 0 | 0.0 | 42M| 215 | - | 371 | 864 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | 7.710000e+02 | Inf
13.19/13.22 c 12.3s|130000 |111352 | 0 | 0.0 | 45M| 215 | - | 371 | 963 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | 7.710000e+02 | Inf
13.59/13.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
13.59/13.67 c 12.7s|140000 |121306 | 0 | 0.0 | 49M| 215 | - | 371 |1030 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | 7.710000e+02 | Inf
14.09/14.14 c 13.1s|150000 |131283 | 0 | 0.0 | 51M| 215 | - | 371 | 511 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | 7.710000e+02 | Inf
14.29/14.39 o 238
14.29/14.39 c *13.3s|155654 |131696 | 0 | 0.0 | 52M| 215 | - | 371 | 401 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | 2.380000e+02 | Inf
14.79/14.86 c 13.7s|160000 |134845 | 0 | 0.0 | 54M| 215 | - | 371 |2828 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | 2.380000e+02 | Inf
18.99/19.09 c 17.9s|170000 |135797 | 0 | 0.0 | 60M| 215 | - | 371 | 12k| 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | 2.380000e+02 | Inf
24.39/24.49 c 23.2s|180000 |136972 | 0 | 0.0 | 64M| 215 | - | 371 | 18k| 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | 2.380000e+02 | Inf
31.69/31.71 c 30.3s|190000 |137080 | 0 | 0.0 | 68M| 215 | - | 371 | 25k| 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | 2.380000e+02 | Inf
33.00/33.04 c 31.5s|200000 |146298 | 0 | 0.0 | 64M| 215 | - | 371 |1249 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | 2.380000e+02 | Inf
33.49/33.59 c 32.0s|210000 |156143 | 0 | 0.0 | 67M| 215 | - | 371 |1028 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | 2.380000e+02 | Inf
34.09/34.14 c 32.5s|220000 |166006 | 0 | 0.0 | 70M| 215 | - | 371 | 992 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | 2.380000e+02 | Inf
34.59/34.64 o 107
34.59/34.64 c *33.0s|228803 |115159 | 0 | 0.0 | 53M| 215 | - | 371 | 953 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | 1.070000e+02 | Inf
34.59/34.65 o 101
34.59/34.65 c *33.0s|228883 |114554 | 0 | 0.0 | 53M| 215 | - | 371 | 951 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | 1.010000e+02 | Inf
34.59/34.66 o 99
34.59/34.66 c *33.0s|229021 |114097 | 0 | 0.0 | 53M| 215 | - | 371 | 947 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | 9.900000e+01 | Inf
34.69/34.73 c 33.0s|230000 |114981 | 0 | 0.0 | 54M| 215 | - | 371 |1100 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | 9.900000e+01 | Inf
35.49/35.55 c 33.8s|240000 |124038 | 0 | 0.0 | 59M| 215 | - | 371 |1547 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | 9.900000e+01 | Inf
36.29/36.30 o 98
36.29/36.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
36.29/36.30 c *34.5s|248235 |131144 | 0 | 0.0 | 63M| 215 | - | 371 |2098 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | 9.800000e+01 | Inf
36.39/36.48 c 34.6s|250000 |132685 | 0 | 0.0 | 64M| 215 | - | 371 |2168 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | 9.800000e+01 | Inf
36.79/36.80 o 97
36.79/36.80 c *35.0s|253290 |132651 | 0 | 0.0 | 64M| 215 | - | 371 |2315 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | 9.700000e+01 | Inf
37.40/37.48 c 35.6s|260000 |138413 | 0 | 0.0 | 68M| 215 | - | 371 |2840 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | 9.700000e+01 | Inf
38.40/38.44 o 96
38.40/38.44 c *36.5s|269342 |145687 | 0 | 0.0 | 73M| 215 | - | 371 |3225 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
38.40/38.50 o 84
38.40/38.50 c *36.5s|269739 |134450 | 0 | 0.0 | 68M| 215 | - | 371 |3193 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | 8.400000e+01 | Inf
38.50/38.53 c 36.6s|270000 |134672 | 0 | 0.0 | 68M| 215 | - | 371 |3202 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | 8.400000e+01 | Inf
39.59/39.69 c 37.6s|280000 |142901 | 0 | 0.0 | 73M| 215 | - | 371 |3002 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | 8.400000e+01 | Inf
39.69/39.79 o 79
39.69/39.79 c *37.7s|280863 |142191 | 0 | 0.0 | 72M| 215 | - | 371 |3061 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | 7.900000e+01 | Inf
39.79/39.83 o 66
39.79/39.83 c *37.7s|281184 |126800 | 0 | 0.0 | 67M| 215 | - | 371 |3087 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | 6.600000e+01 | Inf
39.89/39.99 o 53
39.89/39.99 c *37.9s|282140 |109918 | 0 | 0.0 | 60M| 215 | - | 371 |3146 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
40.10/40.12 o 11
40.10/40.12 c *38.0s|282631 | 72144 | 0 | 0.0 | 44M| 215 | - | 371 |2301 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
42.69/42.70 c 40.5s|290000 | 73487 | 0 | 0.0 | 48M| 215 | - | 371 |5116 | 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
47.89/47.97 c 45.6s|300000 | 72570 | 0 | 0.0 | 54M| 215 | - | 371 |8603 | 0 | 0 | 0 | 164k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
54.90/54.95 c 52.4s|310000 | 62914 | 0 | 0.0 | 52M| 215 | - | 371 |1783 | 0 | 0 | 0 | 180k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
56.89/56.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
56.89/56.91 c 54.3s|320000 | 68379 | 0 | 0.0 | 56M| 215 | - | 371 |2182 | 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
59.09/59.13 c 56.4s|330000 | 73153 | 0 | 0.0 | 61M| 215 | - | 371 |4098 | 0 | 0 | 0 | 197k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
62.49/62.52 c 59.6s|340000 | 74243 | 0 | 0.0 | 66M| 215 | - | 371 |7812 | 0 | 0 | 0 | 211k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
69.99/70.09 c 67.0s|350000 | 70386 | 0 | 0.0 | 66M| 215 | - | 371 | 15k| 0 | 0 | 0 | 237k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
79.49/79.57 c 76.4s|360000 | 67000 | 0 | 0.0 | 60M| 215 | - | 371 | 10k| 0 | 0 | 0 | 261k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
84.39/84.40 c 81.1s|370000 | 68710 | 0 | 0.0 | 62M| 215 | - | 371 |7190 | 0 | 0 | 0 | 274k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
89.29/89.34 c 85.9s|380000 | 69985 | 0 | 0.0 | 67M| 215 | - | 371 |8407 | 0 | 0 | 0 | 289k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
94.89/94.95 c 91.3s|390000 | 70545 | 0 | 0.0 | 70M| 215 | - | 371 | 10k| 0 | 0 | 0 | 303k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
101.10/101.11 c 97.4s|400000 | 71385 | 0 | 0.0 | 74M| 215 | - | 371 | 12k| 0 | 0 | 0 | 318k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
108.40/108.41 c 105s|410000 | 71480 | 0 | 0.0 | 77M| 215 | - | 371 | 15k| 0 | 0 | 0 | 334k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
116.70/116.75 c 113s|420000 | 70896 | 0 | 0.0 | 79M| 215 | - | 371 | 18k| 0 | 0 | 0 | 350k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
128.30/128.31 c 124s|430000 | 66542 | 0 | 0.0 | 77M| 215 | - | 371 | 22k| 0 | 0 | 0 | 369k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
132.69/132.79 c 129s|440000 | 73086 | 0 | 0.0 | 78M| 215 | - | 371 | 13k| 0 | 0 | 0 | 379k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
136.49/136.54 c 132s|450000 | 78833 | 0 | 0.0 | 82M| 215 | - | 371 | 14k| 0 | 0 | 0 | 389k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
141.50/141.53 c 137s|460000 | 82877 | 0 | 0.0 | 85M| 215 | - | 371 | 14k| 0 | 0 | 0 | 402k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
146.50/146.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
146.50/146.58 c 142s|470000 | 87192 | 0 | 0.0 | 88M| 215 | - | 371 | 13k| 0 | 0 | 0 | 414k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
150.40/150.48 c 146s|480000 | 92859 | 0 | 0.0 | 92M| 215 | - | 371 | 14k| 0 | 0 | 0 | 424k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
154.40/154.44 c 150s|490000 | 98656 | 0 | 0.0 | 95M| 215 | - | 371 | 15k| 0 | 0 | 0 | 435k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
158.60/158.61 c 154s|500000 |104008 | 0 | 0.0 | 99M| 215 | - | 371 | 16k| 0 | 0 | 0 | 446k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
164.69/164.78 c 160s|510000 |106866 | 0 | 0.0 | 102M| 215 | - | 371 | 19k| 0 | 0 | 0 | 461k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
172.19/172.29 c 167s|520000 |109205 | 0 | 0.0 | 104M| 215 | - | 371 | 17k| 0 | 0 | 0 | 475k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
179.31/179.39 c 174s|530000 |110552 | 0 | 0.0 | 108M| 215 | - | 371 | 20k| 0 | 0 | 0 | 492k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
188.50/188.55 c 183s|540000 |110336 | 0 | 0.0 | 107M| 215 | - | 371 | 24k| 0 | 0 | 0 | 510k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
197.90/197.96 c 193s|550000 |111620 | 0 | 0.0 | 109M| 215 | - | 371 | 24k| 0 | 0 | 0 | 528k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
205.20/205.27 o 8
205.20/205.27 c * 200s|556664 | 98325 | 0 | 0.0 | 100M| 215 | - | 371 | 25k| 0 | 0 | 0 | 540k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
209.30/209.35 c 204s|560000 | 97302 | 0 | 0.0 | 96M| 215 | - | 371 | 10k| 0 | 0 | 0 | 549k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
218.90/218.92 c 213s|570000 | 93782 | 0 | 0.0 | 98M| 215 | - | 371 | 16k| 0 | 0 | 0 | 577k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
232.40/232.46 c 227s|580000 | 88728 | 0 | 0.0 | 97M| 215 | - | 371 | 21k| 0 | 0 | 0 | 605k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
250.70/250.72 c 245s|590000 | 82427 | 0 | 0.0 | 93M| 215 | - | 371 | 27k| 0 | 0 | 0 | 635k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
258.60/258.65 c 252s|600000 | 84453 | 0 | 0.0 | 90M| 215 | - | 371 | 10k| 0 | 0 | 0 | 650k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
264.89/264.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
264.89/264.94 c 259s|610000 | 85882 | 0 | 0.0 | 95M| 215 | - | 371 | 12k| 0 | 0 | 0 | 667k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
272.89/272.95 c 266s|620000 | 86078 | 0 | 0.0 | 98M| 215 | - | 371 | 14k| 0 | 0 | 0 | 685k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
282.50/282.53 c 276s|630000 | 84708 | 0 | 0.0 | 100M| 215 | - | 371 | 15k| 0 | 0 | 0 | 706k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
292.40/292.44 c 286s|640000 | 82725 | 0 | 0.0 | 101M| 215 | - | 371 | 14k| 0 | 0 | 0 | 727k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
299.49/299.54 c 293s|650000 | 84731 | 0 | 0.0 | 104M| 215 | - | 371 | 14k| 0 | 0 | 0 | 744k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
305.59/305.60 c 299s|660000 | 87831 | 0 | 0.0 | 107M| 215 | - | 371 | 16k| 0 | 0 | 0 | 760k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
314.00/314.04 c 307s|670000 | 89032 | 0 | 0.0 | 111M| 215 | - | 371 | 19k| 0 | 0 | 0 | 778k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
318.70/318.74 o 1
318.70/318.74 c * 312s|674361 | 0 | 0 | 0.0 | 11M| 215 | - | 371 | 19k| 0 | 0 | 0 | 786k| 0 | 1.000000e+00 | 1.000000e+00 | 0.00%
318.70/318.75 c
318.70/318.75 c SCIP Status : problem is solved [optimal solution found]
318.70/318.75 c Solving Time (sec) : 311.50
318.70/318.75 c Solving Nodes : 674361
318.70/318.75 c Primal Bound : +1.00000000000000e+00 (18 solutions)
318.70/318.75 c Dual Bound : +1.00000000000000e+00
318.70/318.75 c Gap : 0.00 %
318.70/318.75 s OPTIMUM FOUND
318.70/318.75 v -x169 -x168 -x167 -x166 -x165 -x164 x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148
318.70/318.75 v -x147 -x146 -x145 x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127
318.70/318.75 v -x126 -x125 -x124 x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106
318.70/318.75 v -x105 x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82
318.70/318.75 v -x81 x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 x70 -x69 -x68 -x67 -x66 -x65 x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56
318.70/318.75 v -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 x37 -x36 -x35 -x34 -x33 -x32 -x31
318.70/318.75 v -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 x16 -x15 -x14 -x13 -x12 -x11 x10 -x9 -x8 -x7 -x6 -x5
318.70/318.75 v -x4 -x3 -x2 -x1
318.70/318.75 c SCIP Status : problem is solved [optimal solution found]
318.70/318.75 c Solving Time : 311.50
318.70/318.75 c Original Problem :
318.70/318.75 c Problem name : HOME/instance-2694100-1277923114.wbo
318.70/318.75 c Variables : 371 (270 binary, 0 integer, 0 implicit integer, 101 continuous)
318.70/318.75 c Constraints : 203 initial, 203 maximal
318.70/318.75 c Presolved Problem :
318.70/318.75 c Problem name : t_HOME/instance-2694100-1277923114.wbo
318.70/318.75 c Variables : 371 (270 binary, 0 integer, 0 implicit integer, 101 continuous)
318.70/318.75 c Constraints : 202 initial, 28047 maximal
318.70/318.75 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
318.70/318.75 c trivial : 0.00 0 0 0 0 0 0 0 0
318.70/318.75 c dualfix : 0.00 0 0 0 0 0 0 0 0
318.70/318.75 c boundshift : 0.00 0 0 0 0 0 0 0 0
318.70/318.75 c inttobinary : 0.00 0 0 0 0 0 0 0 0
318.70/318.75 c implics : 0.00 0 0 0 0 0 0 0 0
318.70/318.75 c probing : 0.01 0 0 0 0 0 0 0 0
318.70/318.75 c indicator : 0.00 0 0 0 0 0 0 0 0
318.70/318.75 c linear : 0.00 0 0 0 101 0 1 0 0
318.70/318.75 c logicor : 0.00 0 0 0 0 0 0 0 0
318.70/318.75 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
318.70/318.75 c root node : - 48 - - 96 - - - -
318.70/318.75 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
318.70/318.75 c integral : 0 0 0 0 0 0 0 0 0 0
318.70/318.75 c indicator : 101 0 1505181 0 470980 290 237819 0 0 0
318.70/318.75 c linear : 101 0 1812893 0 527383 210847 9277533 0 0 0
318.70/318.75 c logicor : 0+ 0 788312 0 0 14183 306138 0 0 0
318.70/318.75 c bounddisjunction : 0+ 0 22250 0 0 0 195 0 0 0
318.70/318.75 c countsols : 0 0 0 0 527398 0 0 0 0 0
318.70/318.75 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
318.70/318.75 c integral : 0.00 0.00 0.00 0.00 0.00
318.70/318.75 c indicator : 1.74 0.00 0.85 0.00 0.89
318.70/318.75 c linear : 48.97 0.00 48.76 0.00 0.21
318.70/318.75 c logicor : 111.43 0.00 111.43 0.00 0.00
318.70/318.75 c bounddisjunction : 0.01 0.00 0.01 0.00 0.00
318.70/318.75 c countsols : 0.07 0.00 0.00 0.00 0.07
318.70/318.75 c Propagators : Time Calls Cutoffs DomReds
318.70/318.75 c vbounds : 0.39 2 0 0
318.70/318.75 c rootredcost : 0.41 0 0 0
318.70/318.75 c pseudoobj : 5.97 1813496 487 202670
318.70/318.75 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
318.70/318.75 c propagation : 13.15 225517 225509 1201629 24.0 113836 14.4 -
318.70/318.75 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
318.70/318.75 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
318.70/318.75 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
318.70/318.75 c pseudo solution : 0.01 32 32 121 23.5 42 10.8 -
318.70/318.75 c applied globally : - - - 773388 17.2 - - -
318.70/318.75 c applied locally : - - - 13588 38.0 - - -
318.70/318.75 c Separators : Time Calls Cutoffs DomReds Cuts Conss
318.70/318.75 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
318.70/318.75 c redcost : 0.00 0 0 0 0 0
318.70/318.75 c impliedbounds : 0.00 0 0 0 0 0
318.70/318.75 c intobj : 0.00 0 0 0 0 0
318.70/318.75 c cgmip : 0.00 0 0 0 0 0
318.70/318.75 c gomory : 0.00 0 0 0 0 0
318.70/318.75 c strongcg : 0.00 0 0 0 0 0
318.70/318.75 c cmir : 0.00 0 0 0 0 0
318.70/318.75 c flowcover : 0.00 0 0 0 0 0
318.70/318.75 c clique : 0.00 0 0 0 0 0
318.70/318.75 c zerohalf : 0.00 0 0 0 0 0
318.70/318.75 c mcf : 0.00 0 0 0 0 0
318.70/318.75 c rapidlearning : 0.00 0 0 0 0 0
318.70/318.75 c Pricers : Time Calls Vars
318.70/318.75 c problem variables: 0.00 0 0
318.70/318.75 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
318.70/318.75 c relpscost : 0.00 0 0 0 0 0 0
318.70/318.75 c pscost : 0.00 0 0 0 0 0 0
318.70/318.75 c inference : 4.38 527383 0 0 0 0 1054766
318.70/318.75 c mostinf : 0.00 0 0 0 0 0 0
318.70/318.75 c leastinf : 0.00 0 0 0 0 0 0
318.70/318.75 c fullstrong : 0.00 0 0 0 0 0 0
318.70/318.75 c allfullstrong : 0.00 0 0 0 0 0 0
318.70/318.75 c random : 0.00 0 0 0 0 0 0
318.70/318.75 c Primal Heuristics : Time Calls Found
318.70/318.75 c LP solutions : 0.00 - 0
318.70/318.75 c pseudo solutions : 0.35 - 15
318.70/318.75 c oneopt : 0.15 0 0
318.70/318.75 c trivial : 0.00 2 2
318.70/318.75 c simplerounding : 0.00 0 0
318.70/318.75 c zirounding : 0.00 0 0
318.70/318.75 c rounding : 0.00 0 0
318.70/318.75 c shifting : 0.00 0 0
318.70/318.75 c intshifting : 0.00 0 0
318.70/318.75 c twoopt : 0.00 0 0
318.70/318.75 c fixandinfer : 0.00 0 0
318.70/318.75 c feaspump : 0.00 0 0
318.70/318.75 c coefdiving : 0.00 0 0
318.70/318.75 c pscostdiving : 0.00 0 0
318.70/318.75 c fracdiving : 0.00 0 0
318.70/318.75 c veclendiving : 0.00 0 0
318.70/318.75 c intdiving : 0.00 0 0
318.70/318.75 c actconsdiving : 0.00 0 0
318.70/318.75 c objpscostdiving : 0.00 0 0
318.70/318.75 c rootsoldiving : 0.00 0 0
318.70/318.75 c linesearchdiving : 0.00 0 0
318.70/318.75 c guideddiving : 0.00 0 0
318.70/318.75 c octane : 0.00 0 0
318.70/318.75 c rens : 0.00 0 0
318.70/318.75 c rins : 0.00 0 0
318.70/318.75 c localbranching : 0.00 0 0
318.70/318.75 c mutation : 0.00 0 0
318.70/318.75 c crossover : 0.00 0 0
318.70/318.75 c dins : 0.00 0 0
318.70/318.75 c undercover : 0.00 0 0
318.70/318.75 c nlp : 0.16 0 0
318.70/318.75 c trysol : 0.18 1 1
318.70/318.75 c LP : Time Calls Iterations Iter/call Iter/sec
318.70/318.75 c primal LP : 0.00 0 0 0.00 -
318.70/318.75 c dual LP : 0.00 0 0 0.00 -
318.70/318.75 c lex dual LP : 0.00 0 0 0.00 -
318.70/318.75 c barrier LP : 0.00 0 0 0.00 -
318.70/318.75 c diving/probing LP: 0.00 0 0 0.00 -
318.70/318.75 c strong branching : 0.00 0 0 0.00 -
318.70/318.75 c (at root node) : - 0 0 0.00 -
318.70/318.75 c conflict analysis: 0.00 0 0 0.00 -
318.70/318.75 c B&B Tree :
318.70/318.75 c number of runs : 1
318.70/318.75 c nodes : 674361
318.70/318.75 c nodes (total) : 674361
318.70/318.75 c nodes left : 0
318.70/318.75 c max depth : 215
318.70/318.75 c max depth (total): 215
318.70/318.75 c backtracks : 166779 (24.7%)
318.70/318.75 c delayed cutoffs : 123578
318.70/318.75 c repropagations : 609896 (3022210 domain reductions, 78876 cutoffs)
318.70/318.75 c avg switch length: 16.77
318.70/318.75 c switching time : 95.11
318.70/318.75 c Solution :
318.70/318.75 c Solutions found : 18 (16 improvements)
318.70/318.75 c First Solution : +5.03300000000000e+03 (in run 1, after 0 nodes, 0.00 seconds, depth 0, found by <trivial>)
318.70/318.75 c Primal Bound : +1.00000000000000e+00 (in run 1, after 674361 nodes, 311.31 seconds, depth 78, found by <relaxation>)
318.70/318.75 c Dual Bound : +1.00000000000000e+00
318.70/318.75 c Gap : 0.00 %
318.70/318.75 c Root Dual Bound : +0.00000000000000e+00
318.70/318.75 c Root Iterations : 0
318.70/318.78 c Time complete: 318.77.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2694100-1277923114/watcher-2694100-1277923114 -o /tmp/evaluation-result-2694100-1277923114/solver-2694100-1277923114 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694100-1277923114.wbo -t 1800 -m 3800
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): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.03 2.01 2.00 4/178 14979
/proc/meminfo: memFree=29944572/32950928 swapFree=67111528/67111528
[pid=14979] ppid=14977 vsize=8248 CPUtime=0
/proc/14979/stat : 14979 (pbscip.linux.x8) R 14977 14979 13319 0 -1 4202496 1551 0 0 0 0 0 0 0 25 0 1 0 133608013 8445952 1474 4089446400 4194304 7136930 140733405520432 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/14979/statm: 2062 1474 275 719 0 1341 0
[startup+0.0750379 s]
/proc/loadavg: 2.03 2.01 2.00 4/178 14979
/proc/meminfo: memFree=29944572/32950928 swapFree=67111528/67111528
[pid=14979] ppid=14977 vsize=13516 CPUtime=0.06
/proc/14979/stat : 14979 (pbscip.linux.x8) R 14977 14979 13319 0 -1 4202496 3353 0 0 0 5 1 0 0 25 0 1 0 133608013 13840384 2666 4089446400 4194304 7136930 140733405520432 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14979/statm: 3379 2666 390 719 0 2658 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 13516
[startup+0.100971 s]
/proc/loadavg: 2.03 2.01 2.00 4/178 14979
/proc/meminfo: memFree=29944572/32950928 swapFree=67111528/67111528
[pid=14979] ppid=14977 vsize=13788 CPUtime=0.09
/proc/14979/stat : 14979 (pbscip.linux.x8) R 14977 14979 13319 0 -1 4202496 3409 0 0 0 7 2 0 0 25 0 1 0 133608013 14118912 2722 4089446400 4194304 7136930 140733405520432 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14979/statm: 3447 2722 390 719 0 2726 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13788
[startup+0.300937 s]
/proc/loadavg: 2.03 2.01 2.00 4/178 14979
/proc/meminfo: memFree=29944572/32950928 swapFree=67111528/67111528
[pid=14979] ppid=14977 vsize=16388 CPUtime=0.29
/proc/14979/stat : 14979 (pbscip.linux.x8) R 14977 14979 13319 0 -1 4202496 4077 0 0 0 25 4 0 0 25 0 1 0 133608013 16781312 3390 4089446400 4194304 7136930 140733405520432 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14979/statm: 4097 3390 390 719 0 3376 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16388
[startup+0.700866 s]
/proc/loadavg: 2.03 2.01 2.00 4/178 14979
/proc/meminfo: memFree=29944572/32950928 swapFree=67111528/67111528
[pid=14979] ppid=14977 vsize=18680 CPUtime=0.68
/proc/14979/stat : 14979 (pbscip.linux.x8) R 14977 14979 13319 0 -1 4202496 4655 0 0 0 63 5 0 0 25 0 1 0 133608013 19128320 3968 4089446400 4194304 7136930 140733405520432 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14979/statm: 4670 3968 390 719 0 3949 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 18680
[startup+1.50073 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 14980
/proc/meminfo: memFree=29927452/32950928 swapFree=67111528/67111528
[pid=14979] ppid=14977 vsize=21796 CPUtime=1.49
/proc/14979/stat : 14979 (pbscip.linux.x8) R 14977 14979 13319 0 -1 4202496 5429 0 0 0 141 8 0 0 25 0 1 0 133608013 22319104 4742 4089446400 4194304 7136930 140733405520432 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14979/statm: 5449 4742 390 719 0 4728 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 21796
[startup+3.10051 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 14980
/proc/meminfo: memFree=29921500/32950928 swapFree=67111528/67111528
[pid=14979] ppid=14977 vsize=26776 CPUtime=3.09
/proc/14979/stat : 14979 (pbscip.linux.x8) R 14977 14979 13319 0 -1 4202496 6713 0 0 0 293 16 0 0 25 0 1 0 133608013 27418624 6026 4089446400 4194304 7136930 140733405520432 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14979/statm: 6694 6026 390 719 0 5973 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 26776
[startup+6.30088 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 14980
/proc/meminfo: memFree=29911964/32950928 swapFree=67111528/67111528
[pid=14979] ppid=14977 vsize=36680 CPUtime=6.29
/proc/14979/stat : 14979 (pbscip.linux.x8) R 14977 14979 13319 0 -1 4202496 9168 0 0 0 602 27 0 0 25 0 1 0 133608013 37560320 8481 4089446400 4194304 7136930 140733405520432 18446744073709551615 5000158 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14979/statm: 9170 8481 390 719 0 8449 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 36680
[startup+12.7008 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 14980
/proc/meminfo: memFree=29883644/32950928 swapFree=67111528/67111528
[pid=14979] ppid=14977 vsize=65512 CPUtime=12.69
/proc/14979/stat : 14979 (pbscip.linux.x8) R 14977 14979 13319 0 -1 4202496 16198 0 0 0 1189 80 0 0 25 0 1 0 133608013 67084288 15511 4089446400 4194304 7136930 140733405520432 18446744073709551615 5955580 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14979/statm: 16378 15511 390 719 0 15657 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 65512
[startup+25.5005 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 14980
/proc/meminfo: memFree=29832844/32950928 swapFree=67111528/67111528
[pid=14979] ppid=14977 vsize=91172 CPUtime=25.49
/proc/14979/stat : 14979 (pbscip.linux.x8) R 14977 14979 13319 0 -1 4202496 22698 0 0 0 2416 133 0 0 25 0 1 0 133608013 93360128 22011 4089446400 4194304 7136930 140733405520432 18446744073709551615 4999842 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14979/statm: 22793 22011 391 719 0 22072 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 91172
[startup+51.101 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 14981
/proc/meminfo: memFree=29759248/32950928 swapFree=67111528/67111528
[pid=14979] ppid=14977 vsize=122604 CPUtime=51.09
/proc/14979/stat : 14979 (pbscip.linux.x8) R 14977 14979 13319 0 -1 4202496 30502 0 0 0 4864 245 0 0 25 0 1 0 133608013 125546496 29815 4089446400 4194304 7136930 140733405520432 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14979/statm: 30651 29815 393 719 0 29930 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 122604
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14982
/proc/meminfo: memFree=29651940/32950928 swapFree=67111528/67111528
[pid=14979] ppid=14977 vsize=141136 CPUtime=102.3
/proc/14979/stat : 14979 (pbscip.linux.x8) R 14977 14979 13319 0 -1 4202496 35094 0 0 0 9855 375 0 0 25 0 1 0 133608013 144523264 34407 4089446400 4194304 7136930 140733405520432 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14979/statm: 35284 34407 393 719 0 34563 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 141136
[startup+162.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 14984
/proc/meminfo: memFree=29536196/32950928 swapFree=67111528/67111528
[pid=14979] ppid=14977 vsize=160840 CPUtime=162.3
/proc/14979/stat : 14979 (pbscip.linux.x8) R 14977 14979 13319 0 -1 4202496 39976 0 0 0 15741 489 0 0 25 0 1 0 133608013 164700160 39289 4089446400 4194304 7136930 140733405520432 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14979/statm: 40210 39289 393 719 0 39489 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 160840
[startup+222.301 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 14986
/proc/meminfo: memFree=29473504/32950928 swapFree=67111528/67111528
[pid=14979] ppid=14977 vsize=170740 CPUtime=222.3
/proc/14979/stat : 14979 (pbscip.linux.x8) R 14977 14979 13319 0 -1 4202496 42400 0 0 0 21656 574 0 0 25 0 1 0 133608013 174837760 41713 4089446400 4194304 7136930 140733405520432 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14979/statm: 42685 41713 393 719 0 41964 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 170740
[startup+282.3 s]
/proc/loadavg: 1.97 1.99 1.99 3/179 15015
/proc/meminfo: memFree=31565432/32950928 swapFree=67111528/67111528
[pid=14979] ppid=14977 vsize=174292 CPUtime=282.3
/proc/14979/stat : 14979 (pbscip.linux.x8) R 14977 14979 13319 0 -1 4202496 43320 0 0 0 27566 664 0 0 25 0 1 0 133608013 178475008 42633 4089446400 4194304 7136930 140733405520432 18446744073709551615 5004434 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14979/statm: 43573 42633 393 719 0 42852 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 174292
Solver just ended. Dumping a history of the last processes samples
[startup+294.3 s]
/proc/loadavg: 1.97 1.99 1.99 3/179 15043
/proc/meminfo: memFree=31539100/32950928 swapFree=67111528/67111528
[pid=14979] ppid=14977 vsize=176556 CPUtime=294.29
/proc/14979/stat : 14979 (pbscip.linux.x8) R 14977 14979 13319 0 -1 4202496 43886 0 0 0 28747 682 0 0 25 0 1 0 133608013 180793344 43199 4089446400 4194304 7136930 140733405520432 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14979/statm: 44139 43199 393 719 0 43418 0
Current children cumulated CPU time (s) 294.29
Current children cumulated vsize (KiB) 176556
[startup+307.101 s]
/proc/loadavg: 1.98 1.99 1.99 3/179 15043
/proc/meminfo: memFree=31499460/32950928 swapFree=67111528/67111528
[pid=14979] ppid=14977 vsize=178400 CPUtime=307.09
/proc/14979/stat : 14979 (pbscip.linux.x8) R 14977 14979 13319 0 -1 4202496 44348 0 0 0 30001 708 0 0 25 0 1 0 133608013 182681600 43661 4089446400 4194304 7136930 140733405520432 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14979/statm: 44600 43661 393 719 0 43879 0
Current children cumulated CPU time (s) 307.09
Current children cumulated vsize (KiB) 178400
[startup+313.507 s]
/proc/loadavg: 1.98 1.99 1.99 3/179 15043
/proc/meminfo: memFree=31490304/32950928 swapFree=67111528/67111528
[pid=14979] ppid=14977 vsize=181612 CPUtime=313.51
/proc/14979/stat : 14979 (pbscip.linux.x8) R 14977 14979 13319 0 -1 4202496 45155 0 0 0 30633 718 0 0 25 0 1 0 133608013 185970688 44468 4089446400 4194304 7136930 140733405520432 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14979/statm: 45403 44468 393 719 0 44682 0
Current children cumulated CPU time (s) 313.51
Current children cumulated vsize (KiB) 181612
[startup+316.7 s]
/proc/loadavg: 1.98 1.99 1.99 3/179 15043
/proc/meminfo: memFree=31489312/32950928 swapFree=67111528/67111528
[pid=14979] ppid=14977 vsize=182108 CPUtime=316.71
/proc/14979/stat : 14979 (pbscip.linux.x8) R 14977 14979 13319 0 -1 4202496 45287 0 0 0 30948 723 0 0 25 0 1 0 133608013 186478592 44600 4089446400 4194304 7136930 140733405520432 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14979/statm: 45527 44600 393 719 0 44806 0
Current children cumulated CPU time (s) 316.71
Current children cumulated vsize (KiB) 182108
[startup+317.501 s]
/proc/loadavg: 1.98 1.99 1.99 3/179 15043
/proc/meminfo: memFree=31489312/32950928 swapFree=67111528/67111528
[pid=14979] ppid=14977 vsize=182108 CPUtime=317.5
/proc/14979/stat : 14979 (pbscip.linux.x8) R 14977 14979 13319 0 -1 4202496 45287 0 0 0 31027 723 0 0 25 0 1 0 133608013 186478592 44600 4089446400 4194304 7136930 140733405520432 18446744073709551615 4223066 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14979/statm: 45527 44600 393 719 0 44806 0
Current children cumulated CPU time (s) 317.5
Current children cumulated vsize (KiB) 182108
[startup+318.301 s]
/proc/loadavg: 1.98 1.99 1.99 3/179 15043
/proc/meminfo: memFree=31488940/32950928 swapFree=67111528/67111528
[pid=14979] ppid=14977 vsize=182108 CPUtime=318.3
/proc/14979/stat : 14979 (pbscip.linux.x8) R 14977 14979 13319 0 -1 4202496 45287 0 0 0 31106 724 0 0 25 0 1 0 133608013 186478592 44600 4089446400 4194304 7136930 140733405520432 18446744073709551615 5957371 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14979/statm: 45527 44600 393 719 0 44806 0
Current children cumulated CPU time (s) 318.3
Current children cumulated vsize (KiB) 182108
[startup+318.701 s]
/proc/loadavg: 1.98 1.99 1.99 3/179 15043
/proc/meminfo: memFree=31488940/32950928 swapFree=67111528/67111528
[pid=14979] ppid=14977 vsize=182108 CPUtime=318.7
/proc/14979/stat : 14979 (pbscip.linux.x8) R 14977 14979 13319 0 -1 4202496 45289 0 0 0 31145 725 0 0 25 0 1 0 133608013 186478592 44602 4089446400 4194304 7136930 140733405520432 18446744073709551615 6165654 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14979/statm: 45527 44602 393 719 0 44806 0
Current children cumulated CPU time (s) 318.7
Current children cumulated vsize (KiB) 182108
Child status: 0
Real time (s): 318.78
CPU time (s): 318.788
CPU user time (s): 311.528
CPU system time (s): 7.2599
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 182108
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 311.528
system time used= 7.2599
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45302
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= 344
runsolver used 0.438933 second user time and 1.01585 second system time
The end
Begin job on node125 at 2010-06-30 20:38:34
IDJOB=2694100
IDBENCH=79198
IDSOLVER=1206
FILE ID=node125/2694100-1277923114
PBS_JOBID= 11197278
Free space on /tmp= 74204 MiB
SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110971697--soft-0-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2694100-1277923114/watcher-2694100-1277923114 -o /tmp/evaluation-result-2694100-1277923114/solver-2694100-1277923114 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694100-1277923114.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 98deccab683818c79978222742e85303
RANDOM SEED=458489044
node125.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.822
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.64
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.822
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5226.07
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.822
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.822
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.77
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.822
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.822
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.822
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.822
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32950928 kB
MemFree: 29945100 kB
Buffers: 206644 kB
Cached: 798256 kB
SwapCached: 0 kB
Active: 2290448 kB
Inactive: 568644 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 29945100 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 3348 kB
Writeback: 0 kB
AnonPages: 1854040 kB
Mapped: 15412 kB
Slab: 78860 kB
PageTables: 8436 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 2001460 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 74200 MiB
End job on node125 at 2010-06-30 20:43:53