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-2694196-1277924651.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 5179
0.00/0.00 c feasible solution found by trivial heuristic, objective value 5.179000e+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.00
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.179000e+03 | Inf
1.49/1.56 c 1.3s| 10000 | 6724 | 0 | 0.0 |7918k| 185 | - | 371 |5250 | 0 | 0 | 0 |8757 | 0 | 0.000000e+00 | 5.179000e+03 | Inf
2.89/2.92 c 2.5s| 20000 | 14308 | 0 | 0.0 | 12M| 230 | - | 371 |5843 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 5.179000e+03 | Inf
5.99/6.02 c 5.3s| 30000 | 18099 | 0 | 0.0 | 18M| 230 | - | 371 | 11k| 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | 5.179000e+03 | Inf
9.99/10.02 o 719
9.99/10.02 c * 9.0s| 38992 | 19635 | 0 | 0.0 | 23M| 230 | - | 371 | 13k| 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | 7.190000e+02 | Inf
10.09/10.10 c 9.1s| 40000 | 20638 | 0 | 0.0 | 22M| 230 | - | 371 | 11k| 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | 7.190000e+02 | Inf
10.59/10.64 c 9.4s| 50000 | 30611 | 0 | 0.0 | 22M| 230 | - | 371 | 880 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | 7.190000e+02 | Inf
11.00/11.09 c 9.7s| 60000 | 40591 | 0 | 0.0 | 25M| 230 | - | 371 | 664 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | 7.190000e+02 | Inf
11.49/11.53 c 10.0s| 70000 | 50569 | 0 | 0.0 | 28M| 230 | - | 371 | 632 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | 7.190000e+02 | Inf
11.89/11.99 c 10.2s| 80000 | 60519 | 0 | 0.0 | 31M| 230 | - | 371 | 675 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | 7.190000e+02 | Inf
12.39/12.43 c 10.5s| 90000 | 70479 | 0 | 0.0 | 34M| 230 | - | 371 | 685 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | 7.190000e+02 | Inf
12.49/12.50 o 661
12.49/12.50 c *10.6s| 91416 | 71886 | 0 | 0.0 | 35M| 230 | - | 371 | 688 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | 6.610000e+02 | Inf
12.79/12.89 c 10.8s|100000 | 80419 | 0 | 0.0 | 37M| 230 | - | 371 | 754 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | 6.610000e+02 | Inf
13.29/13.36 c 11.1s|110000 | 90366 | 0 | 0.0 | 41M| 230 | - | 371 | 849 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | 6.610000e+02 | Inf
13.79/13.82 c 11.4s|120000 |100320 | 0 | 0.0 | 44M| 230 | - | 371 | 940 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | 6.610000e+02 | Inf
14.19/14.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
14.19/14.28 c 11.7s|130000 |110266 | 0 | 0.0 | 47M| 230 | - | 371 | 936 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | 6.610000e+02 | Inf
16.69/16.78 c 13.9s|140000 |114493 | 0 | 0.0 | 54M| 230 | - | 371 | 10k| 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | 6.610000e+02 | Inf
22.00/22.03 c 18.9s|150000 |116392 | 0 | 0.0 | 60M| 230 | - | 371 | 17k| 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | 6.610000e+02 | Inf
29.10/29.19 c 25.7s|160000 |116877 | 0 | 0.0 | 64M| 230 | - | 371 | 21k| 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | 6.610000e+02 | Inf
37.59/37.64 c 33.9s|170000 |116993 | 0 | 0.0 | 65M| 230 | - | 371 | 23k| 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | 6.610000e+02 | Inf
38.29/38.40 c 34.4s|180000 |126954 | 0 | 0.0 | 61M| 230 | - | 371 |1482 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | 6.610000e+02 | Inf
38.79/38.87 c 34.7s|190000 |136917 | 0 | 0.0 | 64M| 230 | - | 371 | 539 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | 6.610000e+02 | Inf
39.29/39.33 c 35.0s|200000 |146884 | 0 | 0.0 | 67M| 230 | - | 371 | 503 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | 6.610000e+02 | Inf
39.69/39.78 c 35.3s|210000 |156865 | 0 | 0.0 | 70M| 230 | - | 371 | 479 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | 6.610000e+02 | Inf
40.19/40.22 c 35.6s|220000 |166849 | 0 | 0.0 | 73M| 230 | - | 371 | 446 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | 6.610000e+02 | Inf
40.59/40.66 c 35.8s|230000 |176828 | 0 | 0.0 | 76M| 230 | - | 371 | 436 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | 6.610000e+02 | Inf
41.09/41.12 c 36.1s|240000 |186784 | 0 | 0.0 | 79M| 230 | - | 371 | 467 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | 6.610000e+02 | Inf
41.49/41.57 c 36.4s|250000 |196755 | 0 | 0.0 | 82M| 230 | - | 371 | 425 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | 6.610000e+02 | Inf
41.99/42.02 c 36.6s|260000 |206736 | 0 | 0.0 | 85M| 230 | - | 371 | 433 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | 6.610000e+02 | Inf
42.39/42.46 c 36.9s|270000 |216696 | 0 | 0.0 | 88M| 230 | - | 371 | 455 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | 6.610000e+02 | Inf
42.89/42.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
42.89/42.91 c 37.2s|280000 |226684 | 0 | 0.0 | 91M| 230 | - | 371 | 454 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | 6.610000e+02 | Inf
43.29/43.36 c 37.5s|290000 |236639 | 0 | 0.0 | 94M| 230 | - | 371 | 480 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | 6.610000e+02 | Inf
43.79/43.81 c 37.8s|300000 |246604 | 0 | 0.0 | 97M| 230 | - | 371 | 492 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | 6.610000e+02 | Inf
44.20/44.26 c 38.0s|310000 |256573 | 0 | 0.0 | 100M| 230 | - | 371 | 502 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | 6.610000e+02 | Inf
44.69/44.73 c 38.3s|320000 |266520 | 0 | 0.0 | 103M| 230 | - | 371 | 529 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | 6.610000e+02 | Inf
45.10/45.19 c 38.6s|330000 |276496 | 0 | 0.0 | 106M| 230 | - | 371 | 491 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | 6.610000e+02 | Inf
45.59/45.65 c 38.9s|340000 |286447 | 0 | 0.0 | 109M| 230 | - | 371 | 570 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | 6.610000e+02 | Inf
46.10/46.12 c 39.2s|350000 |296405 | 0 | 0.0 | 112M| 230 | - | 371 | 554 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | 6.610000e+02 | Inf
46.50/46.58 c 39.5s|360000 |306357 | 0 | 0.0 | 115M| 230 | - | 371 | 550 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | 6.610000e+02 | Inf
46.99/47.03 c 39.8s|370000 |316320 | 0 | 0.0 | 118M| 230 | - | 371 | 558 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | 6.610000e+02 | Inf
47.39/47.49 c 40.0s|380000 |326268 | 0 | 0.0 | 121M| 230 | - | 371 | 591 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | 6.610000e+02 | Inf
47.90/47.96 c 40.3s|390000 |336212 | 0 | 0.0 | 124M| 230 | - | 371 | 579 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | 6.610000e+02 | Inf
48.40/48.41 c 40.6s|400000 |346180 | 0 | 0.0 | 127M| 230 | - | 371 | 583 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | 6.610000e+02 | Inf
48.79/48.86 c 40.9s|410000 |356136 | 0 | 0.0 | 130M| 230 | - | 371 | 603 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | 6.610000e+02 | Inf
49.29/49.31 c 41.2s|420000 |366101 | 0 | 0.0 | 133M| 230 | - | 371 | 618 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | 6.610000e+02 | Inf
49.69/49.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
49.69/49.77 c 41.4s|430000 |376053 | 0 | 0.0 | 136M| 230 | - | 371 | 637 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | 6.610000e+02 | Inf
50.19/50.22 c 41.7s|440000 |386020 | 0 | 0.0 | 139M| 230 | - | 371 | 646 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | 6.610000e+02 | Inf
50.59/50.68 c 42.0s|450000 |395973 | 0 | 0.0 | 142M| 230 | - | 371 | 659 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | 6.610000e+02 | Inf
51.09/51.14 c 42.3s|460000 |405950 | 0 | 0.0 | 145M| 230 | - | 371 | 669 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | 6.610000e+02 | Inf
51.50/51.59 c 42.6s|470000 |415909 | 0 | 0.0 | 148M| 230 | - | 371 | 721 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | 6.610000e+02 | Inf
51.89/51.99 o 159
51.89/51.99 c *42.8s|477423 |364979 | 0 | 0.0 | 131M| 230 | - | 371 | 764 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | 1.590000e+02 | Inf
52.09/52.17 c 42.9s|480000 |367342 | 0 | 0.0 | 132M| 230 | - | 371 |1062 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | 1.590000e+02 | Inf
52.29/52.32 o 156
52.29/52.32 c *43.0s|481825 |365062 | 0 | 0.0 | 132M| 230 | - | 371 |1288 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | 1.560000e+02 | Inf
52.99/53.04 c 43.6s|490000 |372286 | 0 | 0.0 | 136M| 230 | - | 371 |2024 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | 1.560000e+02 | Inf
53.40/53.47 o 144
53.40/53.47 c *44.0s|494232 |352537 | 0 | 0.0 | 131M| 230 | - | 371 |2270 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | 1.440000e+02 | Inf
53.60/53.68 o 137
53.60/53.68 c *44.1s|496143 |335337 | 0 | 0.0 | 125M| 230 | - | 371 |2292 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | 1.370000e+02 | Inf
54.09/54.11 c 44.5s|500000 |338544 | 0 | 0.0 | 128M| 230 | - | 371 |2672 | 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | 1.370000e+02 | Inf
54.19/54.21 o 132
54.19/54.21 c *44.5s|500912 |332869 | 0 | 0.0 | 126M| 230 | - | 371 |2722 | 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | 1.320000e+02 | Inf
55.19/55.24 c 45.4s|510000 |340422 | 0 | 0.0 | 131M| 230 | - | 371 |3148 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | 1.320000e+02 | Inf
55.70/55.71 o 131
55.70/55.71 c *45.8s|514018 |343007 | 0 | 0.0 | 133M| 230 | - | 371 |3440 | 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | 1.310000e+02 | Inf
56.00/56.02 o 128
56.00/56.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
56.00/56.02 c *46.1s|516644 |339914 | 0 | 0.0 | 132M| 230 | - | 371 |3452 | 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
56.09/56.11 o 118
56.09/56.11 c *46.1s|517242 |324299 | 0 | 0.0 | 127M| 230 | - | 371 |3483 | 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | 1.180000e+02 | Inf
56.09/56.11 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
56.09/56.11 c [src/scip/lp.c:5323] ERROR: Error <-11> in function call
56.09/56.11 c [src/scip/lp.c:5811] ERROR: Error <-11> in function call
56.09/56.11 c [src/scip/lp.c:11214] ERROR: Error <-11> in function call
56.09/56.11 c [src/scip/solve.c:807] ERROR: Error <-11> in function call
56.09/56.11 c [src/scip/solve.c:1863] ERROR: Error <-11> in function call
56.09/56.11 c [src/scip/solve.c:2577] ERROR: Error <-11> in function call
56.09/56.11 c [src/scip/solve.c:3189] ERROR: Error <-11> in function call
56.09/56.11 c [src/scip/scip.c:6167] ERROR: Error <-11> in function call
56.09/56.11 c [src/cmain.c:657] ERROR: Error <-11> in function call
56.09/56.11 c [src/cmain.c:832] ERROR: Error <-11> in function call
56.09/56.11 c [src/cmain.c:908] ERROR: Error <-11> in function call
56.09/56.11 c SCIP Error (-11): c a required plugin was not foundc
56.09/56.11 c Time complete: 56.1.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2694196-1277924651/watcher-2694196-1277924651 -o /tmp/evaluation-result-2694196-1277924651/solver-2694196-1277924651 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694196-1277924651.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: 1.89 1.97 1.99 3/178 27970
/proc/meminfo: memFree=30609872/32950928 swapFree=67111528/67111528
[pid=27970] ppid=27968 vsize=8256 CPUtime=0
/proc/27970/stat : 27970 (pbscip.linux.x8) R 27968 27970 26150 0 -1 4202496 1549 0 0 0 0 0 0 0 23 0 1 0 168068654 8454144 1471 4089446400 4194304 7136930 140733745572736 18446744073709551615 5651195 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/27970/statm: 2064 1471 275 719 0 1343 0
[startup+0.097982 s]
/proc/loadavg: 1.89 1.97 1.99 3/178 27970
/proc/meminfo: memFree=30609872/32950928 swapFree=67111528/67111528
[pid=27970] ppid=27968 vsize=13720 CPUtime=0.09
/proc/27970/stat : 27970 (pbscip.linux.x8) R 27968 27970 26150 0 -1 4202496 3409 0 0 0 6 3 0 0 23 0 1 0 168068654 14049280 2721 4089446400 4194304 7136930 140733745572736 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27970/statm: 3430 2721 390 719 0 2709 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13720
[startup+0.10097 s]
/proc/loadavg: 1.89 1.97 1.99 3/178 27970
/proc/meminfo: memFree=30609872/32950928 swapFree=67111528/67111528
[pid=27970] ppid=27968 vsize=13860 CPUtime=0.09
/proc/27970/stat : 27970 (pbscip.linux.x8) R 27968 27970 26150 0 -1 4202496 3425 0 0 0 6 3 0 0 23 0 1 0 168068654 14192640 2737 4089446400 4194304 7136930 140733745572736 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27970/statm: 3465 2737 390 719 0 2744 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13860
[startup+0.300942 s]
/proc/loadavg: 1.89 1.97 1.99 3/178 27970
/proc/meminfo: memFree=30609872/32950928 swapFree=67111528/67111528
[pid=27970] ppid=27968 vsize=16408 CPUtime=0.29
/proc/27970/stat : 27970 (pbscip.linux.x8) R 27968 27970 26150 0 -1 4202496 4091 0 0 0 22 7 0 0 23 0 1 0 168068654 16801792 3403 4089446400 4194304 7136930 140733745572736 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27970/statm: 4102 3403 390 719 0 3381 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16408
[startup+0.700867 s]
/proc/loadavg: 1.89 1.97 1.99 3/178 27970
/proc/meminfo: memFree=30609872/32950928 swapFree=67111528/67111528
[pid=27970] ppid=27968 vsize=18896 CPUtime=0.69
/proc/27970/stat : 27970 (pbscip.linux.x8) R 27968 27970 26150 0 -1 4202496 4699 0 0 0 56 13 0 0 25 0 1 0 168068654 19349504 4011 4089446400 4194304 7136930 140733745572736 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27970/statm: 4724 4011 390 719 0 4003 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 18896
[startup+1.50073 s]
/proc/loadavg: 1.89 1.97 1.99 3/179 27971
/proc/meminfo: memFree=30593152/32950928 swapFree=67111528/67111528
[pid=27970] ppid=27968 vsize=21784 CPUtime=1.49
/proc/27970/stat : 27970 (pbscip.linux.x8) R 27968 27970 26150 0 -1 4202496 5413 0 0 0 128 21 0 0 25 0 1 0 168068654 22306816 4725 4089446400 4194304 7136930 140733745572736 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27970/statm: 5446 4725 390 719 0 4725 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 21784
[startup+3.10044 s]
/proc/loadavg: 1.89 1.97 1.99 3/179 27971
/proc/meminfo: memFree=30587820/32950928 swapFree=67111528/67111528
[pid=27970] ppid=27968 vsize=28916 CPUtime=3.09
/proc/27970/stat : 27970 (pbscip.linux.x8) R 27968 27970 26150 0 -1 4202496 7250 0 0 0 264 45 0 0 25 0 1 0 168068654 29609984 6562 4089446400 4194304 7136930 140733745572736 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27970/statm: 7229 6562 390 719 0 6508 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 28916
[startup+6.30089 s]
/proc/loadavg: 1.90 1.97 1.99 3/179 27971
/proc/meminfo: memFree=30575936/32950928 swapFree=67111528/67111528
[pid=27970] ppid=27968 vsize=37756 CPUtime=6.3
/proc/27970/stat : 27970 (pbscip.linux.x8) R 27968 27970 26150 0 -1 4202496 9450 0 0 0 555 75 0 0 25 0 1 0 168068654 38662144 8762 4089446400 4194304 7136930 140733745572736 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27970/statm: 9439 8762 390 719 0 8718 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 37756
[startup+12.7008 s]
/proc/loadavg: 1.90 1.97 1.99 3/179 27971
/proc/meminfo: memFree=30547164/32950928 swapFree=67111528/67111528
[pid=27970] ppid=27968 vsize=60280 CPUtime=12.69
/proc/27970/stat : 27970 (pbscip.linux.x8) R 27968 27970 26150 0 -1 4202496 14803 0 0 0 1069 200 0 0 25 0 1 0 168068654 61726720 14115 4089446400 4194304 7136930 140733745572736 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27970/statm: 15070 14115 390 719 0 14349 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 60280
[startup+25.5005 s]
/proc/loadavg: 1.92 1.97 1.99 3/179 27972
/proc/meminfo: memFree=30513452/32950928 swapFree=67111528/67111528
[pid=27970] ppid=27968 vsize=88824 CPUtime=25.49
/proc/27970/stat : 27970 (pbscip.linux.x8) R 27968 27970 26150 0 -1 4202496 22007 0 0 0 2216 333 0 0 25 0 1 0 168068654 90955776 21319 4089446400 4194304 7136930 140733745572736 18446744073709551615 4624432 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27970/statm: 22206 21319 390 719 0 21485 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 88824
[startup+51.101 s]
/proc/loadavg: 1.89 1.96 1.98 3/197 28044
/proc/meminfo: memFree=30424252/32950928 swapFree=67111528/67111528
[pid=27970] ppid=27968 vsize=183572 CPUtime=51.09
/proc/27970/stat : 27970 (pbscip.linux.x8) R 27968 27970 26150 0 -1 4202496 45729 0 0 0 4226 883 0 0 25 0 1 0 168068654 187977728 45041 4089446400 4194304 7136930 140733745572736 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27970/statm: 45893 45041 391 719 0 45172 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 183572
Solver just ended. Dumping a history of the last processes samples
[startup+54.3005 s]
/proc/loadavg: 1.89 1.96 1.98 3/197 28044
/proc/meminfo: memFree=30412472/32950928 swapFree=67111528/67111528
[pid=27970] ppid=27968 vsize=192936 CPUtime=54.29
/proc/27970/stat : 27970 (pbscip.linux.x8) R 27968 27970 26150 0 -1 4202496 48086 0 0 0 4462 967 0 0 25 0 1 0 168068654 197566464 47398 4089446400 4194304 7136930 140733745572736 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27970/statm: 48234 47398 393 719 0 47513 0
Current children cumulated CPU time (s) 54.29
Current children cumulated vsize (KiB) 192936
[startup+55.1003 s]
/proc/loadavg: 1.90 1.96 1.98 2/174 28062
/proc/meminfo: memFree=30450708/32950928 swapFree=67111528/67111528
[pid=27970] ppid=27968 vsize=194608 CPUtime=55.09
/proc/27970/stat : 27970 (pbscip.linux.x8) R 27968 27970 26150 0 -1 4202496 48500 0 0 0 4529 980 0 0 25 0 1 0 168068654 199278592 47812 4089446400 4194304 7136930 140733745572736 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27970/statm: 48652 47812 393 719 0 47931 0
Current children cumulated CPU time (s) 55.09
Current children cumulated vsize (KiB) 194608
[startup+55.9012 s]
/proc/loadavg: 1.90 1.96 1.98 2/174 28062
/proc/meminfo: memFree=30450708/32950928 swapFree=67111528/67111528
[pid=27970] ppid=27968 vsize=197160 CPUtime=55.9
/proc/27970/stat : 27970 (pbscip.linux.x8) R 27968 27970 26150 0 -1 4202496 49113 0 0 0 4596 994 0 0 25 0 1 0 168068654 201891840 48425 4089446400 4194304 7136930 140733745572736 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27970/statm: 49290 48425 393 719 0 48569 0
Current children cumulated CPU time (s) 55.9
Current children cumulated vsize (KiB) 197160
[startup+56.1062 s]
/proc/loadavg: 1.90 1.96 1.98 3/179 28072
/proc/meminfo: memFree=30429712/32950928 swapFree=67111528/67111528
[pid=27970] ppid=27968 vsize=197448 CPUtime=56.09
/proc/27970/stat : 27970 (pbscip.linux.x8) R 27968 27970 26150 0 -1 4202496 49188 0 0 0 4612 997 0 0 25 0 1 0 168068654 202186752 48500 4089446400 4194304 7136930 140733745572736 18446744073709551615 6121687 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27970/statm: 49362 48500 393 719 0 48641 0
Current children cumulated CPU time (s) 56.09
Current children cumulated vsize (KiB) 197448
Child status: 255
Real time (s): 56.1215
CPU time (s): 56.1225
CPU user time (s): 46.137
CPU system time (s): 9.98548
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 197448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 46.137
system time used= 9.98548
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49236
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= 2
involuntary context switches= 54
runsolver used 0.092985 second user time and 0.213967 second system time
The end
Begin job on node112 at 2010-06-30 21:04:11
IDJOB=2694196
IDBENCH=79246
IDSOLVER=1206
FILE ID=node112/2694196-1277924651
PBS_JOBID= 11197281
Free space on /tmp= 74208 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.1111218757--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-2694196-1277924651/watcher-2694196-1277924651 -o /tmp/evaluation-result-2694196-1277924651/solver-2694196-1277924651 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694196-1277924651.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= b0ba3c932573495a13e5be4b53f7a1a4
RANDOM SEED=1878810103
node112.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.827
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.65
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.827
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.827
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.82
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.827
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.73
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.827
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.82
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.827
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.75
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.827
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.82
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.827
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.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32950928 kB
MemFree: 30610648 kB
Buffers: 206324 kB
Cached: 1898228 kB
SwapCached: 0 kB
Active: 622388 kB
Inactive: 1571964 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 30610648 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 7868 kB
Writeback: 0 kB
AnonPages: 90192 kB
Mapped: 17016 kB
Slab: 81736 kB
PageTables: 4864 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 233112 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= 74204 MiB
End job on node112 at 2010-06-30 21:05:08