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-2694198-1277924675.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 4943
0.00/0.00 c feasible solution found by trivial heuristic, objective value 4.943000e+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 | 4.943000e+03 | Inf
1.69/1.71 c 1.6s| 10000 | 6507 | 0 | 0.0 |8230k| 171 | - | 371 |5361 | 0 | 0 | 0 |9976 | 0 | 0.000000e+00 | 4.943000e+03 | Inf
3.09/3.18 c 2.9s| 20000 | 13830 | 0 | 0.0 | 12M| 215 | - | 371 |5266 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 4.943000e+03 | Inf
5.79/5.82 c 5.3s| 30000 | 18598 | 0 | 0.0 | 17M| 215 | - | 371 |8437 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | 4.943000e+03 | Inf
9.19/9.26 c 8.6s| 40000 | 21785 | 0 | 0.0 | 22M| 215 | - | 371 | 10k| 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | 4.943000e+03 | Inf
10.99/11.04 o 940
10.99/11.04 c *10.2s| 44809 | 23024 | 0 | 0.0 | 24M| 215 | - | 371 | 10k| 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | 9.400000e+02 | Inf
11.29/11.34 c 10.5s| 50000 | 28206 | 0 | 0.0 | 23M| 215 | - | 371 |2636 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | 9.400000e+02 | Inf
11.39/11.48 o 488
11.39/11.48 c *10.6s| 52827 | 30865 | 0 | 0.0 | 23M| 215 | - | 371 |1038 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | 4.880000e+02 | Inf
11.79/11.83 c 10.8s| 60000 | 38018 | 0 | 0.0 | 25M| 215 | - | 371 | 655 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | 4.880000e+02 | Inf
12.29/12.30 c 11.2s| 70000 | 47981 | 0 | 0.0 | 28M| 215 | - | 371 | 613 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | 4.880000e+02 | Inf
12.79/12.80 c 11.6s| 80000 | 57940 | 0 | 0.0 | 31M| 215 | - | 371 | 640 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | 4.880000e+02 | Inf
13.20/13.29 c 11.9s| 90000 | 67911 | 0 | 0.0 | 34M| 215 | - | 371 | 647 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | 4.880000e+02 | Inf
13.69/13.79 c 12.3s|100000 | 77838 | 0 | 0.0 | 37M| 215 | - | 371 | 731 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | 4.880000e+02 | Inf
14.30/14.31 c 12.7s|110000 | 87744 | 0 | 0.0 | 40M| 215 | - | 371 | 651 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | 4.880000e+02 | Inf
17.79/17.80 c 16.0s|120000 | 90017 | 0 | 0.0 | 47M| 215 | - | 371 | 10k| 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | 4.880000e+02 | Inf
23.10/23.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
23.10/23.14 c 21.1s|130000 | 90465 | 0 | 0.0 | 51M| 215 | - | 371 | 13k| 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | 4.880000e+02 | Inf
29.60/29.64 c 27.4s|140000 | 89784 | 0 | 0.0 | 55M| 215 | - | 371 | 14k| 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | 4.880000e+02 | Inf
37.09/37.15 c 34.7s|150000 | 88313 | 0 | 0.0 | 57M| 215 | - | 371 | 16k| 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | 4.880000e+02 | Inf
41.49/41.55 c 38.9s|160000 | 92502 | 0 | 0.0 | 54M| 215 | - | 371 |5369 | 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | 4.880000e+02 | Inf
41.99/42.06 c 39.3s|170000 |102475 | 0 | 0.0 | 56M| 215 | - | 371 | 893 | 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | 4.880000e+02 | Inf
42.49/42.54 c 39.6s|180000 |112445 | 0 | 0.0 | 59M| 215 | - | 371 | 694 | 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | 4.880000e+02 | Inf
42.99/43.02 c 40.0s|190000 |122400 | 0 | 0.0 | 61M| 215 | - | 371 | 666 | 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | 4.880000e+02 | Inf
43.39/43.49 c 40.3s|200000 |132383 | 0 | 0.0 | 64M| 215 | - | 371 | 585 | 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | 4.880000e+02 | Inf
43.90/43.96 c 40.7s|210000 |142362 | 0 | 0.0 | 67M| 215 | - | 371 | 588 | 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | 4.880000e+02 | Inf
44.39/44.44 c 41.0s|220000 |152335 | 0 | 0.0 | 70M| 215 | - | 371 | 582 | 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | 4.880000e+02 | Inf
44.89/44.92 c 41.4s|230000 |162305 | 0 | 0.0 | 73M| 215 | - | 371 | 594 | 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | 4.880000e+02 | Inf
45.29/45.39 c 41.7s|240000 |172277 | 0 | 0.0 | 76M| 215 | - | 371 | 595 | 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | 4.880000e+02 | Inf
45.79/45.87 c 42.0s|250000 |182237 | 0 | 0.0 | 79M| 215 | - | 371 | 642 | 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | 4.880000e+02 | Inf
46.29/46.35 c 42.4s|260000 |192184 | 0 | 0.0 | 82M| 215 | - | 371 | 648 | 0 | 0 | 0 | 161k| 0 | 0.000000e+00 | 4.880000e+02 | Inf
46.79/46.82 c 42.7s|270000 |202143 | 0 | 0.0 | 85M| 215 | - | 371 | 618 | 0 | 0 | 0 | 161k| 0 | 0.000000e+00 | 4.880000e+02 | Inf
47.20/47.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
47.20/47.29 c 43.1s|280000 |212120 | 0 | 0.0 | 88M| 215 | - | 371 | 612 | 0 | 0 | 0 | 161k| 0 | 0.000000e+00 | 4.880000e+02 | Inf
47.69/47.75 c 43.4s|290000 |222093 | 0 | 0.0 | 90M| 215 | - | 371 | 607 | 0 | 0 | 0 | 161k| 0 | 0.000000e+00 | 4.880000e+02 | Inf
48.19/48.25 c 43.8s|300000 |232046 | 0 | 0.0 | 93M| 215 | - | 371 | 648 | 0 | 0 | 0 | 161k| 0 | 0.000000e+00 | 4.880000e+02 | Inf
48.69/48.73 c 44.1s|310000 |242017 | 0 | 0.0 | 96M| 215 | - | 371 | 600 | 0 | 0 | 0 | 161k| 0 | 0.000000e+00 | 4.880000e+02 | Inf
49.19/49.23 c 44.5s|320000 |251964 | 0 | 0.0 | 99M| 215 | - | 371 | 616 | 0 | 0 | 0 | 161k| 0 | 0.000000e+00 | 4.880000e+02 | Inf
49.69/49.72 c 44.9s|330000 |261916 | 0 | 0.0 | 102M| 215 | - | 371 | 636 | 0 | 0 | 0 | 161k| 0 | 0.000000e+00 | 4.880000e+02 | Inf
50.19/50.20 c 45.2s|340000 |271895 | 0 | 0.0 | 105M| 215 | - | 371 | 621 | 0 | 0 | 0 | 161k| 0 | 0.000000e+00 | 4.880000e+02 | Inf
50.59/50.69 c 45.6s|350000 |281866 | 0 | 0.0 | 108M| 215 | - | 371 | 592 | 0 | 0 | 0 | 161k| 0 | 0.000000e+00 | 4.880000e+02 | Inf
51.09/51.17 c 45.9s|360000 |291832 | 0 | 0.0 | 111M| 215 | - | 371 | 617 | 0 | 0 | 0 | 161k| 0 | 0.000000e+00 | 4.880000e+02 | Inf
51.59/51.65 c 46.3s|370000 |301800 | 0 | 0.0 | 114M| 215 | - | 371 | 619 | 0 | 0 | 0 | 161k| 0 | 0.000000e+00 | 4.880000e+02 | Inf
52.09/52.12 c 46.6s|380000 |311769 | 0 | 0.0 | 117M| 215 | - | 371 | 623 | 0 | 0 | 0 | 161k| 0 | 0.000000e+00 | 4.880000e+02 | Inf
52.59/52.60 c 47.0s|390000 |321709 | 0 | 0.0 | 120M| 215 | - | 371 | 669 | 0 | 0 | 0 | 161k| 0 | 0.000000e+00 | 4.880000e+02 | Inf
52.99/53.09 c 47.4s|400000 |331658 | 0 | 0.0 | 123M| 215 | - | 371 | 682 | 0 | 0 | 0 | 162k| 0 | 0.000000e+00 | 4.880000e+02 | Inf
53.49/53.57 c 47.7s|410000 |341616 | 0 | 0.0 | 125M| 215 | - | 371 | 704 | 0 | 0 | 0 | 162k| 0 | 0.000000e+00 | 4.880000e+02 | Inf
53.99/54.07 c 48.1s|420000 |351549 | 0 | 0.0 | 128M| 215 | - | 371 | 781 | 0 | 0 | 0 | 162k| 0 | 0.000000e+00 | 4.880000e+02 | Inf
54.49/54.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
54.49/54.56 c 48.5s|430000 |361510 | 0 | 0.0 | 131M| 215 | - | 371 | 780 | 0 | 0 | 0 | 162k| 0 | 0.000000e+00 | 4.880000e+02 | Inf
55.00/55.05 c 48.8s|440000 |371468 | 0 | 0.0 | 134M| 215 | - | 371 | 786 | 0 | 0 | 0 | 162k| 0 | 0.000000e+00 | 4.880000e+02 | Inf
55.49/55.55 c 49.1s|450000 |381421 | 0 | 0.0 | 137M| 215 | - | 371 | 829 | 0 | 0 | 0 | 162k| 0 | 0.000000e+00 | 4.880000e+02 | Inf
55.99/56.04 c 49.5s|460000 |391376 | 0 | 0.0 | 140M| 215 | - | 371 | 852 | 0 | 0 | 0 | 162k| 0 | 0.000000e+00 | 4.880000e+02 | Inf
56.49/56.53 c 49.9s|470000 |401319 | 0 | 0.0 | 143M| 215 | - | 371 | 889 | 0 | 0 | 0 | 162k| 0 | 0.000000e+00 | 4.880000e+02 | Inf
56.99/57.02 c 50.3s|480000 |411282 | 0 | 0.0 | 146M| 215 | - | 371 | 902 | 0 | 0 | 0 | 162k| 0 | 0.000000e+00 | 4.880000e+02 | Inf
57.49/57.51 c 50.6s|490000 |421218 | 0 | 0.0 | 149M| 215 | - | 371 | 905 | 0 | 0 | 0 | 162k| 0 | 0.000000e+00 | 4.880000e+02 | Inf
57.99/58.00 c 51.0s|500000 |431189 | 0 | 0.0 | 152M| 215 | - | 371 | 887 | 0 | 0 | 0 | 162k| 0 | 0.000000e+00 | 4.880000e+02 | Inf
58.39/58.49 c 51.4s|510000 |441140 | 0 | 0.0 | 155M| 215 | - | 371 | 903 | 0 | 0 | 0 | 163k| 0 | 0.000000e+00 | 4.880000e+02 | Inf
58.89/58.98 c 51.7s|520000 |451094 | 0 | 0.0 | 158M| 215 | - | 371 | 882 | 0 | 0 | 0 | 163k| 0 | 0.000000e+00 | 4.880000e+02 | Inf
59.40/59.47 c 52.1s|530000 |461051 | 0 | 0.0 | 161M| 215 | - | 371 | 926 | 0 | 0 | 0 | 163k| 0 | 0.000000e+00 | 4.880000e+02 | Inf
59.89/59.97 c 52.5s|540000 |470998 | 0 | 0.0 | 164M| 215 | - | 371 | 983 | 0 | 0 | 0 | 163k| 0 | 0.000000e+00 | 4.880000e+02 | Inf
60.40/60.45 c 52.8s|550000 |480951 | 0 | 0.0 | 167M| 215 | - | 371 | 996 | 0 | 0 | 0 | 163k| 0 | 0.000000e+00 | 4.880000e+02 | Inf
60.89/60.94 c 53.2s|560000 |490889 | 0 | 0.0 | 169M| 215 | - | 371 |1038 | 0 | 0 | 0 | 163k| 0 | 0.000000e+00 | 4.880000e+02 | Inf
61.39/61.43 c 53.5s|570000 |500843 | 0 | 0.0 | 172M| 215 | - | 371 |1101 | 0 | 0 | 0 | 163k| 0 | 0.000000e+00 | 4.880000e+02 | Inf
61.89/61.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
61.89/61.94 c 53.9s|580000 |510798 | 0 | 0.0 | 175M| 215 | - | 371 |1103 | 0 | 0 | 0 | 163k| 0 | 0.000000e+00 | 4.880000e+02 | Inf
62.39/62.44 c 54.3s|590000 |520733 | 0 | 0.0 | 178M| 215 | - | 371 |1162 | 0 | 0 | 0 | 163k| 0 | 0.000000e+00 | 4.880000e+02 | Inf
62.89/62.94 c 54.6s|600000 |530697 | 0 | 0.0 | 181M| 215 | - | 371 |1179 | 0 | 0 | 0 | 163k| 0 | 0.000000e+00 | 4.880000e+02 | Inf
63.39/63.44 c 55.0s|610000 |540639 | 0 | 0.0 | 184M| 215 | - | 371 |1214 | 0 | 0 | 0 | 164k| 0 | 0.000000e+00 | 4.880000e+02 | Inf
63.89/63.94 c 55.4s|620000 |550567 | 0 | 0.0 | 187M| 215 | - | 371 |1251 | 0 | 0 | 0 | 164k| 0 | 0.000000e+00 | 4.880000e+02 | Inf
64.39/64.43 c 55.8s|630000 |560537 | 0 | 0.0 | 190M| 215 | - | 371 |1220 | 0 | 0 | 0 | 164k| 0 | 0.000000e+00 | 4.880000e+02 | Inf
64.90/64.92 c 56.1s|640000 |570497 | 0 | 0.0 | 193M| 215 | - | 371 |1251 | 0 | 0 | 0 | 164k| 0 | 0.000000e+00 | 4.880000e+02 | Inf
65.40/65.40 c 56.5s|650000 |580469 | 0 | 0.0 | 196M| 215 | - | 371 |1275 | 0 | 0 | 0 | 164k| 0 | 0.000000e+00 | 4.880000e+02 | Inf
65.80/65.89 c 56.9s|660000 |590401 | 0 | 0.0 | 199M| 215 | - | 371 |1331 | 0 | 0 | 0 | 164k| 0 | 0.000000e+00 | 4.880000e+02 | Inf
66.30/66.39 c 57.2s|670000 |600341 | 0 | 0.0 | 202M| 215 | - | 371 |1399 | 0 | 0 | 0 | 164k| 0 | 0.000000e+00 | 4.880000e+02 | Inf
66.79/66.87 c 57.5s|680000 |610311 | 0 | 0.0 | 205M| 215 | - | 371 |1380 | 0 | 0 | 0 | 164k| 0 | 0.000000e+00 | 4.880000e+02 | Inf
67.29/67.35 c 57.9s|690000 |620281 | 0 | 0.0 | 208M| 215 | - | 371 |1380 | 0 | 0 | 0 | 164k| 0 | 0.000000e+00 | 4.880000e+02 | Inf
67.79/67.83 c 58.3s|700000 |630249 | 0 | 0.0 | 211M| 215 | - | 371 |1374 | 0 | 0 | 0 | 164k| 0 | 0.000000e+00 | 4.880000e+02 | Inf
68.30/68.31 c 58.6s|710000 |640220 | 0 | 0.0 | 214M| 215 | - | 371 |1384 | 0 | 0 | 0 | 164k| 0 | 0.000000e+00 | 4.880000e+02 | Inf
68.80/68.80 c 59.0s|720000 |650176 | 0 | 0.0 | 217M| 215 | - | 371 |1433 | 0 | 0 | 0 | 164k| 0 | 0.000000e+00 | 4.880000e+02 | Inf
69.30/69.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
69.30/69.31 c 59.4s|730000 |660113 | 0 | 0.0 | 220M| 215 | - | 371 |1471 | 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | 4.880000e+02 | Inf
69.70/69.70 o 479
69.70/69.70 c *59.7s|737581 |667639 | 0 | 0.0 | 222M| 215 | - | 371 |1490 | 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | 4.790000e+02 | Inf
69.79/69.82 c 59.8s|740000 |670047 | 0 | 0.0 | 223M| 215 | - | 371 |1492 | 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | 4.790000e+02 | Inf
70.30/70.34 c 60.1s|750000 |679966 | 0 | 0.0 | 226M| 215 | - | 371 |1598 | 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | 4.790000e+02 | Inf
70.79/70.83 c 60.5s|760000 |689911 | 0 | 0.0 | 229M| 215 | - | 371 |1645 | 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | 4.790000e+02 | Inf
71.29/71.34 c 60.9s|770000 |699822 | 0 | 0.0 | 232M| 215 | - | 371 |1669 | 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | 4.790000e+02 | Inf
71.79/71.85 c 61.2s|780000 |709764 | 0 | 0.0 | 235M| 215 | - | 371 |1700 | 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | 4.790000e+02 | Inf
72.29/72.35 c 61.6s|790000 |719718 | 0 | 0.0 | 238M| 215 | - | 371 |1719 | 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | 4.790000e+02 | Inf
72.79/72.86 c 62.0s|800000 |729665 | 0 | 0.0 | 240M| 215 | - | 371 |1740 | 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | 4.790000e+02 | Inf
73.29/73.37 c 62.3s|810000 |739600 | 0 | 0.0 | 243M| 215 | - | 371 |1807 | 0 | 0 | 0 | 166k| 0 | 0.000000e+00 | 4.790000e+02 | Inf
73.79/73.87 c 62.7s|820000 |749552 | 0 | 0.0 | 246M| 215 | - | 371 |1860 | 0 | 0 | 0 | 166k| 0 | 0.000000e+00 | 4.790000e+02 | Inf
74.29/74.36 c 63.1s|830000 |759518 | 0 | 0.0 | 249M| 215 | - | 371 |1869 | 0 | 0 | 0 | 166k| 0 | 0.000000e+00 | 4.790000e+02 | Inf
74.80/74.86 c 63.5s|840000 |769457 | 0 | 0.0 | 252M| 215 | - | 371 |1929 | 0 | 0 | 0 | 166k| 0 | 0.000000e+00 | 4.790000e+02 | Inf
75.29/75.36 c 63.9s|850000 |779403 | 0 | 0.0 | 255M| 215 | - | 371 |1984 | 0 | 0 | 0 | 166k| 0 | 0.000000e+00 | 4.790000e+02 | Inf
75.80/75.85 c 64.2s|860000 |789355 | 0 | 0.0 | 258M| 215 | - | 371 |2017 | 0 | 0 | 0 | 166k| 0 | 0.000000e+00 | 4.790000e+02 | Inf
76.29/76.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
76.29/76.35 c 64.6s|870000 |799320 | 0 | 0.0 | 261M| 215 | - | 371 |2048 | 0 | 0 | 0 | 166k| 0 | 0.000000e+00 | 4.790000e+02 | Inf
76.80/76.85 c 64.9s|880000 |809274 | 0 | 0.0 | 264M| 215 | - | 371 |2083 | 0 | 0 | 0 | 166k| 0 | 0.000000e+00 | 4.790000e+02 | Inf
77.30/77.36 c 65.3s|890000 |819204 | 0 | 0.0 | 268M| 215 | - | 371 |2148 | 0 | 0 | 0 | 166k| 0 | 0.000000e+00 | 4.790000e+02 | Inf
77.79/77.86 c 65.7s|900000 |829158 | 0 | 0.0 | 270M| 215 | - | 371 |2152 | 0 | 0 | 0 | 166k| 0 | 0.000000e+00 | 4.790000e+02 | Inf
78.29/78.35 c 66.1s|910000 |839104 | 0 | 0.0 | 273M| 215 | - | 371 |2188 | 0 | 0 | 0 | 166k| 0 | 0.000000e+00 | 4.790000e+02 | Inf
78.79/78.85 c 66.4s|920000 |849057 | 0 | 0.0 | 276M| 215 | - | 371 |2180 | 0 | 0 | 0 | 167k| 0 | 0.000000e+00 | 4.790000e+02 | Inf
79.29/79.36 c 66.8s|930000 |858984 | 0 | 0.0 | 279M| 215 | - | 371 |2217 | 0 | 0 | 0 | 167k| 0 | 0.000000e+00 | 4.790000e+02 | Inf
79.80/79.87 c 67.2s|940000 |868922 | 0 | 0.0 | 282M| 215 | - | 371 |2286 | 0 | 0 | 0 | 167k| 0 | 0.000000e+00 | 4.790000e+02 | Inf
80.30/80.37 c 67.6s|950000 |878875 | 0 | 0.0 | 285M| 215 | - | 371 |2297 | 0 | 0 | 0 | 167k| 0 | 0.000000e+00 | 4.790000e+02 | Inf
80.80/80.87 c 68.0s|960000 |888828 | 0 | 0.0 | 288M| 215 | - | 371 |2343 | 0 | 0 | 0 | 167k| 0 | 0.000000e+00 | 4.790000e+02 | Inf
81.30/81.39 c 68.3s|970000 |898776 | 0 | 0.0 | 291M| 215 | - | 371 |2400 | 0 | 0 | 0 | 167k| 0 | 0.000000e+00 | 4.790000e+02 | Inf
81.90/81.91 c 68.7s|980000 |908718 | 0 | 0.0 | 294M| 215 | - | 371 |2456 | 0 | 0 | 0 | 167k| 0 | 0.000000e+00 | 4.790000e+02 | Inf
82.40/82.43 c 69.1s|990000 |918658 | 0 | 0.0 | 297M| 215 | - | 371 |2491 | 0 | 0 | 0 | 167k| 0 | 0.000000e+00 | 4.790000e+02 | Inf
82.90/82.94 c 69.5s| 1000k|928607 | 0 | 0.0 | 300M| 215 | - | 371 |2541 | 0 | 0 | 0 | 167k| 0 | 0.000000e+00 | 4.790000e+02 | Inf
83.40/83.45 c 69.9s| 1010k|938564 | 0 | 0.0 | 303M| 215 | - | 371 |2538 | 0 | 0 | 0 | 168k| 0 | 0.000000e+00 | 4.790000e+02 | Inf
83.89/83.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
83.89/83.97 c 70.3s| 1020k|948514 | 0 | 0.0 | 306M| 215 | - | 371 |2583 | 0 | 0 | 0 | 168k| 0 | 0.000000e+00 | 4.790000e+02 | Inf
84.49/84.50 c 70.7s| 1030k|958461 | 0 | 0.0 | 309M| 215 | - | 371 |2615 | 0 | 0 | 0 | 168k| 0 | 0.000000e+00 | 4.790000e+02 | Inf
84.99/85.03 c 71.1s| 1040k|968397 | 0 | 0.0 | 313M| 215 | - | 371 |2692 | 0 | 0 | 0 | 168k| 0 | 0.000000e+00 | 4.790000e+02 | Inf
85.49/85.59 c 71.5s| 1050k|978314 | 0 | 0.0 | 316M| 215 | - | 371 |2811 | 0 | 0 | 0 | 168k| 0 | 0.000000e+00 | 4.790000e+02 | Inf
86.10/86.13 c 71.9s| 1060k|988276 | 0 | 0.0 | 319M| 215 | - | 371 |2829 | 0 | 0 | 0 | 168k| 0 | 0.000000e+00 | 4.790000e+02 | Inf
86.60/86.68 c 72.3s| 1070k|998205 | 0 | 0.0 | 322M| 215 | - | 371 |2920 | 0 | 0 | 0 | 168k| 0 | 0.000000e+00 | 4.790000e+02 | Inf
87.20/87.23 c 72.8s| 1080k| 1008k| 0 | 0.0 | 325M| 215 | - | 371 |2984 | 0 | 0 | 0 | 168k| 0 | 0.000000e+00 | 4.790000e+02 | Inf
87.69/87.72 o 428
87.69/87.72 c *73.1s| 1089k| 1017k| 0 | 0.0 | 327M| 215 | - | 371 |3013 | 0 | 0 | 0 | 168k| 0 | 0.000000e+00 | 4.280000e+02 | Inf
87.69/87.78 o 410
87.69/87.78 c *73.2s| 1089k| 1017k| 0 | 0.0 | 328M| 215 | - | 371 |3025 | 0 | 0 | 0 | 168k| 0 | 0.000000e+00 | 4.100000e+02 | Inf
87.69/87.79 c 73.2s| 1090k| 1017k| 0 | 0.0 | 328M| 215 | - | 371 |3026 | 0 | 0 | 0 | 168k| 0 | 0.000000e+00 | 4.100000e+02 | Inf
88.29/88.34 c 73.6s| 1100k| 1027k| 0 | 0.0 | 331M| 215 | - | 371 |3094 | 0 | 0 | 0 | 169k| 0 | 0.000000e+00 | 4.100000e+02 | Inf
88.80/88.88 c 74.0s| 1110k| 1037k| 0 | 0.0 | 334M| 215 | - | 371 |3133 | 0 | 0 | 0 | 169k| 0 | 0.000000e+00 | 4.100000e+02 | Inf
89.39/89.43 c 74.4s| 1120k| 1047k| 0 | 0.0 | 337M| 215 | - | 371 |3207 | 0 | 0 | 0 | 169k| 0 | 0.000000e+00 | 4.100000e+02 | Inf
89.89/89.99 c 74.8s| 1130k| 1057k| 0 | 0.0 | 340M| 215 | - | 371 |3266 | 0 | 0 | 0 | 169k| 0 | 0.000000e+00 | 4.100000e+02 | Inf
90.49/90.57 c 75.3s| 1140k| 1067k| 0 | 0.0 | 343M| 215 | - | 371 |3358 | 0 | 0 | 0 | 169k| 0 | 0.000000e+00 | 4.100000e+02 | Inf
91.10/91.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
91.10/91.14 c 75.7s| 1150k| 1077k| 0 | 0.0 | 346M| 215 | - | 371 |3412 | 0 | 0 | 0 | 169k| 0 | 0.000000e+00 | 4.100000e+02 | Inf
91.69/91.72 c 76.2s| 1160k| 1087k| 0 | 0.0 | 349M| 215 | - | 371 |3516 | 0 | 0 | 0 | 170k| 0 | 0.000000e+00 | 4.100000e+02 | Inf
92.30/92.33 c 76.6s| 1170k| 1097k| 0 | 0.0 | 352M| 215 | - | 371 |3657 | 0 | 0 | 0 | 170k| 0 | 0.000000e+00 | 4.100000e+02 | Inf
92.89/92.92 c 77.1s| 1180k| 1107k| 0 | 0.0 | 355M| 215 | - | 371 |3732 | 0 | 0 | 0 | 170k| 0 | 0.000000e+00 | 4.100000e+02 | Inf
93.40/93.50 c 77.5s| 1190k| 1117k| 0 | 0.0 | 358M| 215 | - | 371 |3827 | 0 | 0 | 0 | 170k| 0 | 0.000000e+00 | 4.100000e+02 | Inf
94.09/94.10 c 78.0s| 1200k| 1126k| 0 | 0.0 | 362M| 215 | - | 371 |4018 | 0 | 0 | 0 | 170k| 0 | 0.000000e+00 | 4.100000e+02 | Inf
94.70/94.74 o 401
94.70/94.74 c *78.5s| 1209k| 1135k| 0 | 0.0 | 365M| 215 | - | 371 |4207 | 0 | 0 | 0 | 171k| 0 | 0.000000e+00 | 4.010000e+02 | Inf
94.80/94.80 c 78.6s| 1210k| 1136k| 0 | 0.0 | 365M| 215 | - | 371 |4200 | 0 | 0 | 0 | 171k| 0 | 0.000000e+00 | 4.010000e+02 | Inf
95.39/95.43 c 79.1s| 1220k| 1146k| 0 | 0.0 | 369M| 215 | - | 371 |3937 | 0 | 0 | 0 | 171k| 0 | 0.000000e+00 | 4.010000e+02 | Inf
95.60/95.68 o 122
95.60/95.68 c *79.3s| 1221k|972979 | 0 | 0.0 | 316M| 215 | - | 371 |3590 | 0 | 0 | 0 | 171k| 0 | 0.000000e+00 | 1.220000e+02 | Inf
95.89/95.96 o 108
95.89/95.96 c *79.5s| 1223k|861938 | 0 | 0.0 | 282M| 215 | - | 371 |1319 | 0 | 0 | 0 | 171k| 0 | 0.000000e+00 | 1.080000e+02 | Inf
96.49/96.52 c 80.0s| 1230k|868144 | 0 | 0.0 | 285M| 215 | - | 371 |1467 | 0 | 0 | 0 | 174k| 0 | 0.000000e+00 | 1.080000e+02 | Inf
96.80/96.83 o 103
96.80/96.83 c *80.3s| 1233k|827735 | 0 | 0.0 | 274M| 215 | - | 371 |1658 | 0 | 0 | 0 | 175k| 0 | 0.000000e+00 | 1.030000e+02 | Inf
96.80/96.83 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
96.80/96.83 c [src/scip/lp.c:5323] ERROR: Error <-11> in function call
96.80/96.83 c [src/scip/lp.c:5811] ERROR: Error <-11> in function call
96.80/96.83 c [src/scip/lp.c:11214] ERROR: Error <-11> in function call
96.80/96.83 c [src/scip/solve.c:807] ERROR: Error <-11> in function call
96.80/96.83 c [src/scip/solve.c:1863] ERROR: Error <-11> in function call
96.80/96.83 c [src/scip/solve.c:2577] ERROR: Error <-11> in function call
96.80/96.83 c [src/scip/solve.c:3189] ERROR: Error <-11> in function call
96.80/96.83 c [src/scip/scip.c:6167] ERROR: Error <-11> in function call
96.80/96.83 c [src/cmain.c:657] ERROR: Error <-11> in function call
96.80/96.83 c [src/cmain.c:832] ERROR: Error <-11> in function call
96.80/96.83 c [src/cmain.c:908] ERROR: Error <-11> in function call
96.80/96.83 c SCIP Error (-11): c a required plugin was not foundc
96.80/96.83 c Time complete: 96.83.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2694198-1277924675/watcher-2694198-1277924675 -o /tmp/evaluation-result-2694198-1277924675/solver-2694198-1277924675 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694198-1277924675.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.08 2.04 2.01 3/196 17353
/proc/meminfo: memFree=31068536/32950928 swapFree=67111528/67111528
[pid=17353] ppid=17351 vsize=8256 CPUtime=0
/proc/17353/stat : 17353 (pbscip.linux.x8) R 17351 17353 15092 0 -1 4202496 1545 0 0 0 0 0 0 0 23 0 1 0 133761795 8454144 1468 4089446400 4194304 7136930 140733208585296 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/17353/statm: 2064 1468 275 719 0 1343 0
[startup+0.00874396 s]
/proc/loadavg: 2.08 2.04 2.01 3/196 17353
/proc/meminfo: memFree=31068536/32950928 swapFree=67111528/67111528
[pid=17353] ppid=17351 vsize=9828 CPUtime=0
/proc/17353/stat : 17353 (pbscip.linux.x8) R 17351 17353 15092 0 -1 4202496 2341 0 0 0 0 0 0 0 23 0 1 0 133761795 10063872 1911 4089446400 4194304 7136930 140733208585296 18446744073709551615 4563596 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17353/statm: 2457 1912 306 719 0 1736 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9828
[startup+0.100748 s]
/proc/loadavg: 2.08 2.04 2.01 3/196 17353
/proc/meminfo: memFree=31068536/32950928 swapFree=67111528/67111528
[pid=17353] ppid=17351 vsize=13860 CPUtime=0.09
/proc/17353/stat : 17353 (pbscip.linux.x8) R 17351 17353 15092 0 -1 4202496 3418 0 0 0 7 2 0 0 24 0 1 0 133761795 14192640 2731 4089446400 4194304 7136930 140733208585296 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17353/statm: 3465 2731 390 719 0 2744 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13860
[startup+0.300704 s]
/proc/loadavg: 2.08 2.04 2.01 3/196 17353
/proc/meminfo: memFree=31068536/32950928 swapFree=67111528/67111528
[pid=17353] ppid=17351 vsize=16396 CPUtime=0.29
/proc/17353/stat : 17353 (pbscip.linux.x8) R 17351 17353 15092 0 -1 4202496 4079 0 0 0 25 4 0 0 25 0 1 0 133761795 16789504 3392 4089446400 4194304 7136930 140733208585296 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17353/statm: 4099 3392 390 719 0 3378 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16396
[startup+0.700634 s]
/proc/loadavg: 2.08 2.04 2.01 3/196 17353
/proc/meminfo: memFree=31068536/32950928 swapFree=67111528/67111528
[pid=17353] ppid=17351 vsize=19128 CPUtime=0.69
/proc/17353/stat : 17353 (pbscip.linux.x8) R 17351 17353 15092 0 -1 4202496 4752 0 0 0 61 8 0 0 25 0 1 0 133761795 19587072 4065 4089446400 4194304 7136930 140733208585296 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17353/statm: 4782 4065 390 719 0 4061 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 19128
[startup+1.50047 s]
/proc/loadavg: 2.08 2.04 2.01 3/197 17354
/proc/meminfo: memFree=31048936/32950928 swapFree=67111528/67111528
[pid=17353] ppid=17351 vsize=22068 CPUtime=1.49
/proc/17353/stat : 17353 (pbscip.linux.x8) R 17351 17353 15092 0 -1 4202496 5512 0 0 0 135 14 0 0 25 0 1 0 133761795 22597632 4825 4089446400 4194304 7136930 140733208585296 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17353/statm: 5517 4825 390 719 0 4796 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 22068
[startup+3.10017 s]
/proc/loadavg: 2.08 2.04 2.01 3/197 17354
/proc/meminfo: memFree=31042116/32950928 swapFree=67111528/67111528
[pid=17353] ppid=17351 vsize=27160 CPUtime=3.09
/proc/17353/stat : 17353 (pbscip.linux.x8) R 17351 17353 15092 0 -1 4202496 6809 0 0 0 277 32 0 0 25 0 1 0 133761795 27811840 6122 4089446400 4194304 7136930 140733208585296 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/17353/statm: 6790 6122 390 719 0 6069 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 27160
[startup+6.30056 s]
/proc/loadavg: 2.07 2.04 2.01 4/197 17355
/proc/meminfo: memFree=31030460/32950928 swapFree=67111528/67111528
[pid=17353] ppid=17351 vsize=35572 CPUtime=6.29
/proc/17353/stat : 17353 (pbscip.linux.x8) R 17351 17353 15092 0 -1 4202496 8920 0 0 0 577 52 0 0 25 0 1 0 133761795 36425728 8233 4089446400 4194304 7136930 140733208585296 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/17353/statm: 8893 8233 390 719 0 8172 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 35572
[startup+12.7003 s]
/proc/loadavg: 2.07 2.04 2.01 3/197 17355
/proc/meminfo: memFree=31013284/32950928 swapFree=67111528/67111528
[pid=17353] ppid=17351 vsize=51544 CPUtime=12.69
/proc/17353/stat : 17353 (pbscip.linux.x8) R 17351 17353 15092 0 -1 4202496 13024 0 0 0 1149 120 0 0 25 0 1 0 133761795 52781056 12337 4089446400 4194304 7136930 140733208585296 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/17353/statm: 12886 12337 390 719 0 12165 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 51544
[startup+25.5009 s]
/proc/loadavg: 2.05 2.03 2.01 3/197 17355
/proc/meminfo: memFree=30983440/32950928 swapFree=67111528/67111528
[pid=17353] ppid=17351 vsize=77600 CPUtime=25.49
/proc/17353/stat : 17353 (pbscip.linux.x8) R 17351 17353 15092 0 -1 4202496 19145 0 0 0 2339 210 0 0 25 0 1 0 133761795 79462400 18458 4089446400 4194304 7136930 140733208585296 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/17353/statm: 19400 18458 390 719 0 18679 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 77600
[startup+51.1009 s]
/proc/loadavg: 2.03 2.03 2.01 3/197 17356
/proc/meminfo: memFree=30915200/32950928 swapFree=67111528/67111528
[pid=17353] ppid=17351 vsize=145648 CPUtime=51.09
/proc/17353/stat : 17353 (pbscip.linux.x8) R 17351 17353 15092 0 -1 4202496 35906 0 0 0 4589 520 0 0 25 0 1 0 133761795 149143552 35192 4089446400 4194304 7136930 140733208585296 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/17353/statm: 36412 35192 390 719 0 35691 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 145648
Solver just ended. Dumping a history of the last processes samples
[startup+76.701 s]
/proc/loadavg: 2.02 2.03 2.00 3/197 17356
/proc/meminfo: memFree=30754964/32950928 swapFree=67111528/67111528
[pid=17353] ppid=17351 vsize=307184 CPUtime=76.69
/proc/17353/stat : 17353 (pbscip.linux.x8) R 17351 17353 15092 0 -1 4202496 76255 0 0 0 6483 1186 0 0 25 0 1 0 133761795 314556416 75541 4089446400 4194304 7136930 140733208585296 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/17353/statm: 76796 75541 390 719 0 76075 0
Current children cumulated CPU time (s) 76.69
Current children cumulated vsize (KiB) 307184
[startup+89.5006 s]
/proc/loadavg: 2.02 2.02 2.00 3/197 17357
/proc/meminfo: memFree=30673108/32950928 swapFree=67111528/67111528
[pid=17353] ppid=17351 vsize=398196 CPUtime=89.5
/proc/17353/stat : 17353 (pbscip.linux.x8) R 17351 17353 15092 0 -1 4202496 95862 0 0 0 7447 1503 0 0 25 0 1 0 133761795 407752704 95148 4089446400 4194304 7136930 140733208585296 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/17353/statm: 99549 95148 391 719 0 98828 0
Current children cumulated CPU time (s) 89.5
Current children cumulated vsize (KiB) 398196
[startup+92.701 s]
/proc/loadavg: 2.02 2.02 2.00 3/197 17357
/proc/meminfo: memFree=30654008/32950928 swapFree=67111528/67111528
[pid=17353] ppid=17351 vsize=414912 CPUtime=92.7
/proc/17353/stat : 17353 (pbscip.linux.x8) R 17351 17353 15092 0 -1 4202496 100254 0 0 0 7693 1577 0 0 25 0 1 0 133761795 424869888 99540 4089446400 4194304 7136930 140733208585296 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/17353/statm: 103728 99540 391 719 0 103007 0
Current children cumulated CPU time (s) 92.7
Current children cumulated vsize (KiB) 414912
[startup+94.3007 s]
/proc/loadavg: 2.02 2.02 2.00 3/197 17357
/proc/meminfo: memFree=30645948/32950928 swapFree=67111528/67111528
[pid=17353] ppid=17351 vsize=424096 CPUtime=94.29
/proc/17353/stat : 17353 (pbscip.linux.x8) R 17351 17353 15092 0 -1 4202496 102653 0 0 0 7817 1612 0 0 25 0 1 0 133761795 434274304 101939 4089446400 4194304 7136930 140733208585296 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/17353/statm: 106024 101939 391 719 0 105303 0
Current children cumulated CPU time (s) 94.29
Current children cumulated vsize (KiB) 424096
[startup+95.9004 s]
/proc/loadavg: 2.01 2.02 2.00 3/197 17357
/proc/meminfo: memFree=30636020/32950928 swapFree=67111528/67111528
[pid=17353] ppid=17351 vsize=429796 CPUtime=95.89
/proc/17353/stat : 17353 (pbscip.linux.x8) R 17351 17353 15092 0 -1 4202496 104136 0 0 0 7948 1641 0 0 25 0 1 0 133761795 440111104 103422 4089446400 4194304 7136930 140733208585296 18446744073709551615 6165648 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/17353/statm: 107449 103422 391 719 0 106728 0
Current children cumulated CPU time (s) 95.89
Current children cumulated vsize (KiB) 429796
[startup+96.3003 s]
/proc/loadavg: 2.01 2.02 2.00 3/197 17357
/proc/meminfo: memFree=30636020/32950928 swapFree=67111528/67111528
[pid=17353] ppid=17351 vsize=430100 CPUtime=96.29
/proc/17353/stat : 17353 (pbscip.linux.x8) R 17351 17353 15092 0 -1 4202496 104203 0 0 0 7982 1647 0 0 25 0 1 0 133761795 440422400 103489 4089446400 4194304 7136930 140733208585296 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/17353/statm: 107525 103489 391 719 0 106804 0
Current children cumulated CPU time (s) 96.29
Current children cumulated vsize (KiB) 430100
[startup+96.7002 s]
/proc/loadavg: 2.01 2.02 2.00 3/197 17357
/proc/meminfo: memFree=30633664/32950928 swapFree=67111528/67111528
[pid=17353] ppid=17351 vsize=430648 CPUtime=96.7
/proc/17353/stat : 17353 (pbscip.linux.x8) R 17351 17353 15092 0 -1 4202496 104324 0 0 0 8015 1655 0 0 25 0 1 0 133761795 440983552 103610 4089446400 4194304 7136930 140733208585296 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/17353/statm: 107662 103610 391 719 0 106941 0
Current children cumulated CPU time (s) 96.7
Current children cumulated vsize (KiB) 430648
[startup+96.8062 s]
/proc/loadavg: 2.01 2.02 2.00 3/197 17357
/proc/meminfo: memFree=30633664/32950928 swapFree=67111528/67111528
[pid=17353] ppid=17351 vsize=430648 CPUtime=96.8
/proc/17353/stat : 17353 (pbscip.linux.x8) R 17351 17353 15092 0 -1 4202496 104353 0 0 0 8023 1657 0 0 25 0 1 0 133761795 440983552 103639 4089446400 4194304 7136930 140733208585296 18446744073709551615 4670079 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/17353/statm: 107662 103639 391 719 0 106941 0
Current children cumulated CPU time (s) 96.8
Current children cumulated vsize (KiB) 430648
Child status: 255
Real time (s): 96.8501
CPU time (s): 96.8523
CPU user time (s): 80.2668
CPU system time (s): 16.5855
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 430648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 80.2668
system time used= 16.5855
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 104370
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1
involuntary context switches= 244
runsolver used 0.161975 second user time and 0.332949 second system time
The end
Begin job on node148 at 2010-06-30 21:04:35
IDJOB=2694198
IDBENCH=79247
IDSOLVER=1206
FILE ID=node148/2694198-1277924675
PBS_JOBID= 11197311
Free space on /tmp= 74176 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.1111224255--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-2694198-1277924675/watcher-2694198-1277924675 -o /tmp/evaluation-result-2694198-1277924675/solver-2694198-1277924675 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694198-1277924675.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 2d2bf2958836971f0db370fff49dd93d
RANDOM SEED=1694857512
node148.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.836
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.67
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.836
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 : 5332.75
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.836
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 : 5415.14
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.836
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.83
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.836
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.78
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.836
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.79
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.836
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.836
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.84
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32950928 kB
MemFree: 31069188 kB
Buffers: 205620 kB
Cached: 1274324 kB
SwapCached: 0 kB
Active: 729920 kB
Inactive: 1005064 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 31069188 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 3712 kB
Writeback: 0 kB
AnonPages: 255320 kB
Mapped: 20248 kB
Slab: 82192 kB
PageTables: 5616 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 1656544 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= 74172 MiB
End job on node148 at 2010-06-30 21:06:12