Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP spx E_2 2011-06-10 (fixed) | SAT | -80 | 1797.47 | 1797.43 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_500_10_3.opb |
| MD5SUM | 0247ef4de041bbff376811a7e6bf0408 |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -111 |
| Best CPU time to get the best result obtained on this benchmark | 1800.08 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -110 |
| Optimality of the best value was proved | NO |
| Number of variables | 500 |
| Total number of constraints | 500 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 500 |
| Minimum length of a constraint | 10 |
| Maximum length of a constraint | 22 |
| Number of terms in the objective function | 500 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 500 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 500 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 6316 |
| Sum of products size (including duplicates) | 12632 |
| Number of different products | 3158 |
| Sum of products size | 6316 |
0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
0.00/0.00 c Copyright (c) 2002-2011 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-3488583-1307783238.opb>
0.00/0.02 c original problem has 3658 variables (3658 bin, 0 int, 0 impl, 0 cont) and 4158 constraints
0.00/0.02 c problem read
0.00/0.02 c presolving settings loaded
0.00/0.04 o 0
0.00/0.04 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.00/0.04 c presolving:
0.00/0.07 c (round 1) 3158 del vars, 1000 del conss, 0 add conss, 3158 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12632 impls, 0 clqs
0.00/0.08 c (round 2) 3158 del vars, 1000 del conss, 0 add conss, 3158 chg bounds, 0 chg sides, 0 chg coeffs, 3158 upgd conss, 12632 impls, 0 clqs
0.00/0.09 c (0.1s) probing: 101/500 (20.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.09 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.00/0.09 c presolving (3 rounds):
0.00/0.09 c 3158 deleted vars, 1000 deleted constraints, 0 added constraints, 3158 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.09 c 18946 implications, 0 cliques
0.00/0.09 c presolved problem has 500 variables (500 bin, 0 int, 0 impl, 0 cont) and 3158 constraints
0.00/0.09 c 3158 constraints of type <setppc>
0.00/0.09 c transformed objective value is always integral (scale: 1)
0.00/0.09 c Presolving Time: 0.06
0.00/0.09 c - non default parameters ----------------------------------------------------------------------
0.00/0.09 c # SCIP version 2.0.1.5
0.00/0.09 c
0.00/0.09 c # frequency for displaying node information lines
0.00/0.09 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.09 c display/freq = 10000
0.00/0.09 c
0.00/0.09 c # maximal time in seconds to run
0.00/0.09 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.09 c limits/time = 1797
0.00/0.09 c
0.00/0.09 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.09 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.09 c limits/memory = 13950
0.00/0.09 c
0.00/0.09 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.09 c # [type: int, range: [1,2], default: 1]
0.00/0.09 c timing/clocktype = 2
0.00/0.09 c
0.00/0.09 c # belongs reading time to solving time?
0.00/0.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.09 c timing/reading = TRUE
0.00/0.09 c
0.00/0.09 c # should presolving try to simplify inequalities
0.00/0.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.09 c constraints/linear/simplifyinequalities = TRUE
0.00/0.09 c
0.00/0.09 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.09 c constraints/indicator/addCouplingCons = TRUE
0.00/0.09 c
0.00/0.09 c # should presolving try to simplify knapsacks
0.00/0.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.09 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.09 c
0.00/0.09 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.09 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.09 c separating/rapidlearning/freq = 0
0.00/0.09 c
0.00/0.09 c -----------------------------------------------------------------------------------------------
0.00/0.09 c start solving
0.00/0.09 c
0.09/0.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.12 c t 0.1s| 1 | 0 | 546 | - | 11M| 0 | 500 | 500 |3158 | 500 |3158 | 0 | 0 | 0 |-2.500000e+02 | 0.000000e+00 | 100.00%
0.09/0.13 o -1
0.09/0.13 c R 0.1s| 1 | 0 | 546 | - | 11M| 0 | 500 | 500 |3158 | 500 |3158 | 0 | 0 | 0 |-2.500000e+02 |-1.000000e+00 | 99.60%
0.09/0.14 o -2
0.09/0.14 c s 0.1s| 1 | 0 | 546 | - | 11M| 0 | 500 | 500 |3158 | 500 |3158 | 0 | 0 | 0 |-2.500000e+02 |-2.000000e+00 | 99.20%
0.19/0.24 o -80
0.19/0.24 c y 0.2s| 1 | 0 | 546 | - | 11M| 0 | 500 | 500 |3158 | 500 |3158 | 0 | 0 | 0 |-2.500000e+02 |-8.000000e+01 | 68.00%
0.19/0.27 c 0.3s| 1 | 0 | 666 | - | 11M| 0 | 489 | 500 |3158 | 500 |3170 | 12 | 0 | 0 |-2.445000e+02 |-8.000000e+01 | 67.28%
0.29/0.35 c 0.4s| 1 | 0 | 837 | - | 11M| 0 | 481 | 500 |3158 | 500 |3179 | 21 | 0 | 0 |-2.405000e+02 |-8.000000e+01 | 66.74%
0.39/0.48 c 0.5s| 1 | 0 | 1119 | - | 11M| 0 | 477 | 500 |3158 | 500 |3188 | 30 | 0 | 0 |-2.380000e+02 |-8.000000e+01 | 66.39%
0.49/0.57 c 0.6s| 1 | 0 | 1256 | - | 11M| 0 | 470 | 500 |3158 | 500 |3199 | 41 | 0 | 0 |-2.350000e+02 |-8.000000e+01 | 65.96%
0.69/0.72 c 0.7s| 1 | 0 | 1892 | - | 11M| 0 | 465 | 500 |3158 | 500 |3211 | 53 | 0 | 0 |-2.325000e+02 |-8.000000e+01 | 65.59%
0.79/0.83 c 0.8s| 1 | 0 | 2118 | - | 11M| 0 | 460 | 500 |3158 | 500 |3219 | 61 | 0 | 0 |-2.300000e+02 |-8.000000e+01 | 65.22%
0.89/0.94 c 0.9s| 1 | 0 | 2372 | - | 11M| 0 | 456 | 500 |3158 | 500 |3230 | 72 | 0 | 0 |-2.280000e+02 |-8.000000e+01 | 64.91%
1.00/1.09 c 1.1s| 1 | 0 | 2729 | - | 11M| 0 | 453 | 500 |3158 | 500 |3237 | 79 | 0 | 0 |-2.265000e+02 |-8.000000e+01 | 64.68%
1.19/1.21 c 1.2s| 1 | 0 | 2990 | - | 11M| 0 | 449 | 500 |3158 | 500 |3249 | 91 | 0 | 0 |-2.245000e+02 |-8.000000e+01 | 64.37%
1.29/1.34 c 1.3s| 1 | 0 | 3107 | - | 11M| 0 | 445 | 500 |3158 | 500 |3259 | 101 | 0 | 0 |-2.225000e+02 |-8.000000e+01 | 64.04%
1.59/1.61 c 1.6s| 1 | 0 | 3390 | - | 12M| 0 | 443 | 500 |3158 | 500 | 882 | 109 | 0 | 0 |-2.215000e+02 |-8.000000e+01 | 63.88%
1.69/1.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.69/1.77 c 1.8s| 1 | 0 | 3980 | - | 12M| 0 | 456 | 500 |3158 | 500 | 890 | 117 | 0 | 0 |-2.207500e+02 |-8.000000e+01 | 63.76%
1.79/1.88 c 1.9s| 1 | 0 | 4440 | - | 13M| 0 | 426 | 500 |3158 | 500 |1042 | 269 | 0 | 0 |-2.190000e+02 |-8.000000e+01 | 63.47%
1.99/2.03 c 2.0s| 1 | 0 | 5058 | - | 13M| 0 | 430 | 500 |3158 | 500 |1090 | 317 | 0 | 0 |-2.170000e+02 |-8.000000e+01 | 63.13%
2.09/2.16 c 2.2s| 1 | 0 | 5712 | - | 13M| 0 | 420 | 500 |3158 | 500 |1111 | 338 | 0 | 0 |-2.160000e+02 |-8.000000e+01 | 62.96%
2.20/2.29 c 2.3s| 1 | 0 | 6346 | - | 13M| 0 | 426 | 500 |3158 | 500 |1166 | 393 | 0 | 0 |-2.155000e+02 |-8.000000e+01 | 62.88%
2.29/2.38 c 2.4s| 1 | 0 | 6514 | - | 13M| 0 | 429 | 500 |3158 | 500 | 933 | 427 | 0 | 0 |-2.145000e+02 |-8.000000e+01 | 62.70%
2.50/2.51 c 2.5s| 1 | 0 | 7096 | - | 13M| 0 | 428 | 500 |3158 | 500 | 940 | 434 | 0 | 0 |-2.132500e+02 |-8.000000e+01 | 62.49%
2.59/2.61 c 2.6s| 1 | 0 | 7598 | - | 14M| 0 | 404 | 500 |3158 | 500 |1049 | 543 | 0 | 0 |-2.120000e+02 |-8.000000e+01 | 62.26%
2.59/2.69 c 2.7s| 1 | 0 | 8058 | - | 14M| 0 | 423 | 500 |3158 | 500 |1130 | 624 | 0 | 0 |-2.110000e+02 |-8.000000e+01 | 62.09%
2.69/2.74 c 2.7s| 1 | 0 | 8218 | - | 14M| 0 | 413 | 500 |3158 | 500 |1155 | 649 | 0 | 0 |-2.105000e+02 |-8.000000e+01 | 62.00%
2.79/2.87 c 2.9s| 1 | 0 | 8541 | - | 14M| 0 | 433 | 500 |3158 | 500 |1186 | 680 | 0 | 0 |-2.100000e+02 |-8.000000e+01 | 61.90%
2.99/3.06 c 3.1s| 1 | 0 | 9885 | - | 15M| 0 | 437 | 500 |3158 | 500 | 965 | 727 | 0 | 0 |-2.096250e+02 |-8.000000e+01 | 61.84%
3.09/3.15 c 3.1s| 1 | 0 | 10198 | - | 15M| 0 | 410 | 500 |3158 | 500 |1038 | 800 | 0 | 0 |-2.087500e+02 |-8.000000e+01 | 61.68%
3.19/3.30 c 3.3s| 1 | 0 | 11195 | - | 16M| 0 | 423 | 500 |3158 | 500 |1098 | 860 | 0 | 0 |-2.067500e+02 |-8.000000e+01 | 61.31%
3.39/3.45 c 3.5s| 1 | 0 | 12145 | - | 16M| 0 | 423 | 500 |3158 | 500 |1309 |1071 | 0 | 0 |-2.057500e+02 |-8.000000e+01 | 61.12%
3.49/3.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
3.49/3.52 c 3.5s| 1 | 0 | 12344 | - | 16M| 0 | 444 | 500 |3158 | 500 |1368 |1130 | 0 | 0 |-2.052500e+02 |-8.000000e+01 | 61.02%
3.69/3.70 c 3.7s| 1 | 0 | 13635 | - | 16M| 0 | 479 | 500 |3158 | 500 |1408 |1170 | 0 | 0 |-2.047708e+02 |-8.000000e+01 | 60.93%
3.99/4.01 c 4.0s| 1 | 0 | 15637 | - | 16M| 0 | 416 | 500 |3158 | 500 |1355 |1370 | 0 | 0 |-2.025000e+02 |-8.000000e+01 | 60.49%
4.09/4.15 c 4.2s| 1 | 0 | 16497 | - | 17M| 0 | 401 | 500 |3158 | 500 |1414 |1429 | 0 | 0 |-2.015000e+02 |-8.000000e+01 | 60.30%
4.19/4.21 c 4.2s| 1 | 0 | 16726 | - | 17M| 0 | 438 | 500 |3158 | 500 |1430 |1445 | 0 | 0 |-2.010000e+02 |-8.000000e+01 | 60.20%
4.40/4.47 c 4.5s| 1 | 0 | 18261 | - | 18M| 0 | 398 | 500 |3158 | 500 |1493 |1508 | 0 | 0 |-2.010000e+02 |-8.000000e+01 | 60.20%
4.49/4.58 c 4.6s| 1 | 0 | 18528 | - | 18M| 0 | 415 | 500 |3158 | 500 |1518 |1533 | 0 | 0 |-2.010000e+02 |-8.000000e+01 | 60.20%
4.70/4.80 c 4.8s| 1 | 0 | 20279 | - | 18M| 0 | 435 | 500 |3158 | 500 |1527 |1542 | 0 | 0 |-2.002500e+02 |-8.000000e+01 | 60.05%
4.99/5.02 c 5.0s| 1 | 0 | 21722 | - | 19M| 0 | 433 | 500 |3158 | 500 |1184 |1567 | 0 | 0 |-1.994167e+02 |-8.000000e+01 | 59.88%
5.19/5.25 c 5.2s| 1 | 0 | 22744 | - | 20M| 0 | 463 | 500 |3158 | 500 |1200 |1583 | 0 | 0 |-1.986641e+02 |-8.000000e+01 | 59.73%
5.41/5.43 c 5.4s| 1 | 0 | 23192 | - | 21M| 0 | 421 | 500 |3158 | 500 |1514 |1897 | 0 | 0 |-1.981250e+02 |-8.000000e+01 | 59.62%
5.50/5.55 c 5.5s| 1 | 0 | 23704 | - | 22M| 0 | 442 | 500 |3158 | 500 |1526 |1909 | 0 | 0 |-1.975938e+02 |-8.000000e+01 | 59.51%
5.70/5.78 c 5.8s| 1 | 0 | 24976 | - | 22M| 0 | 393 | 500 |3158 | 500 |1561 |1944 | 0 | 0 |-1.965000e+02 |-8.000000e+01 | 59.29%
5.89/5.92 c 5.9s| 1 | 0 | 25639 | - | 23M| 0 | 478 | 500 |3158 | 500 |1568 |1951 | 0 | 0 |-1.961557e+02 |-8.000000e+01 | 59.22%
6.19/6.21 c 6.2s| 1 | 0 | 26892 | - | 23M| 0 | 455 | 500 |3158 | 500 |1165 |2010 | 0 | 0 |-1.953125e+02 |-8.000000e+01 | 59.04%
6.29/6.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
6.29/6.35 c 6.3s| 1 | 0 | 27389 | - | 24M| 0 | 447 | 500 |3158 | 500 |1182 |2027 | 0 | 0 |-1.950469e+02 |-8.000000e+01 | 58.98%
6.50/6.54 c 6.5s| 1 | 0 | 28277 | - | 26M| 0 | 456 | 500 |3158 | 500 |1211 |2056 | 0 | 0 |-1.942308e+02 |-8.000000e+01 | 58.81%
6.60/6.69 c 6.7s| 1 | 0 | 28868 | - | 26M| 0 | 456 | 500 |3158 | 500 |1223 |2068 | 0 | 0 |-1.939489e+02 |-8.000000e+01 | 58.75%
6.89/6.92 c 6.9s| 1 | 0 | 30037 | - | 26M| 0 | 445 | 500 |3158 | 500 |1312 |2157 | 0 | 0 |-1.935625e+02 |-8.000000e+01 | 58.67%
7.09/7.15 c 7.1s| 1 | 0 | 31554 | - | 27M| 0 | 440 | 500 |3158 | 500 |1331 |2176 | 0 | 0 |-1.928500e+02 |-8.000000e+01 | 58.52%
7.29/7.31 c 7.3s| 1 | 0 | 32253 | - | 28M| 0 | 453 | 500 |3158 | 500 |1062 |2187 | 0 | 0 |-1.920000e+02 |-8.000000e+01 | 58.33%
7.39/7.49 c 7.5s| 1 | 0 | 32854 | - | 29M| 0 | 419 | 500 |3158 | 500 |1112 |2237 | 0 | 0 |-1.920000e+02 |-8.000000e+01 | 58.33%
7.59/7.64 c 7.6s| 1 | 0 | 33335 | - | 30M| 0 | 447 | 500 |3158 | 500 |1119 |2244 | 0 | 0 |-1.920000e+02 |-8.000000e+01 | 58.33%
7.79/7.82 c 7.8s| 1 | 0 | 33948 | - | 30M| 0 | 460 | 500 |3158 | 500 |1141 |2266 | 0 | 0 |-1.920000e+02 |-8.000000e+01 | 58.33%
7.99/8.03 c 8.0s| 1 | 0 | 34584 | - | 30M| 0 | 462 | 500 |3158 | 500 |1157 |2282 | 0 | 0 |-1.920000e+02 |-8.000000e+01 | 58.33%
8.29/8.33 c 8.3s| 1 | 0 | 35878 | - | 30M| 0 | 458 | 500 |3158 | 500 |1237 |2362 | 0 | 0 |-1.920000e+02 |-8.000000e+01 | 58.33%
12.09/12.13 c 12.1s| 1 | 2 | 35878 | - | 30M| 0 | 458 | 500 |3158 | 500 |1237 |2362 | 0 | 27 |-1.920000e+02 |-8.000000e+01 | 58.33%
167.90/167.92 c 168s| 10000 | 10001 | 1884k| 184.8 | 49M| 47 | 141 | 500 |3158 | 500 | 489 | 584k| 0 |4636 |-1.915822e+02 |-8.000000e+01 | 58.24%
290.70/290.72 c 291s| 20000 | 20001 | 3509k| 173.7 | 68M| 55 | 180 | 500 |3158 | 500 | 638 |1115k| 0 |6431 |-1.912727e+02 |-8.000000e+01 | 58.17%
412.70/412.71 c 413s| 30000 | 30001 | 5148k| 170.4 | 86M| 57 | 19 | 500 |3158 | 500 | 576 |1638k| 0 |7846 |-1.910828e+02 |-8.000000e+01 | 58.13%
531.31/531.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
531.31/531.39 c 531s| 40000 | 40001 | 6774k| 168.5 | 104M| 57 | 4 | 500 |3158 | 500 | 489 |2170k| 0 |9059 |-1.909286e+02 |-8.000000e+01 | 58.10%
639.91/639.97 c 640s| 50000 | 50001 | 8291k| 165.1 | 122M| 66 | 171 | 500 |3158 | 500 | 575 |2696k| 0 | 10k|-1.908204e+02 |-8.000000e+01 | 58.08%
748.10/748.16 c 748s| 60000 | 60001 | 9792k| 162.6 | 141M| 67 | 205 | 500 |3158 | 500 | 629 |3182k| 0 | 11k|-1.907364e+02 |-8.000000e+01 | 58.06%
846.91/846.93 c 847s| 70000 | 70001 | 11183k| 159.3 | 159M| 68 | 208 | 500 |3158 | 500 | 585 |3659k| 0 | 11k|-1.906512e+02 |-8.000000e+01 | 58.04%
948.11/948.14 c 948s| 80000 | 80001 | 12606k| 157.1 | 177M| 68 | 270 | 500 |3158 | 500 | 643 |4140k| 0 | 12k|-1.905649e+02 |-8.000000e+01 | 58.02%
1049.01/1049.01 c 1049s| 90000 | 90001 | 14037k| 155.6 | 195M| 68 | 319 | 500 |3158 | 500 | 760 |4625k| 0 | 13k|-1.905000e+02 |-8.000000e+01 | 58.01%
1150.22/1150.29 c 1150s|100000 |100001 | 15463k| 154.3 | 213M| 68 | 103 | 500 |3158 | 500 | 585 |5116k| 0 | 14k|-1.904667e+02 |-8.000000e+01 | 58.00%
1253.82/1253.88 c 1254s|110000 |110001 | 16916k| 153.5 | 231M| 68 | 54 | 500 |3158 | 500 | 580 |5582k| 0 | 14k|-1.904062e+02 |-8.000000e+01 | 57.98%
1353.02/1353.09 c 1353s|120000 |120001 | 18331k| 152.5 | 249M| 68 | 207 | 500 |3158 | 500 | 584 |6058k| 0 | 15k|-1.903636e+02 |-8.000000e+01 | 57.98%
1455.92/1455.94 c 1456s|130000 |130001 | 19794k| 152.0 | 267M| 68 | 236 | 500 |3158 | 500 | 761 |6542k| 0 | 16k|-1.903333e+02 |-8.000000e+01 | 57.97%
1557.43/1557.46 c 1557s|140000 |140001 | 21233k| 151.4 | 286M| 68 | 72 | 500 |3158 | 500 | 582 |7032k| 0 | 16k|-1.902895e+02 |-8.000000e+01 | 57.96%
1656.03/1656.05 c 1656s|150000 |150001 | 22633k| 150.7 | 304M| 76 | 203 | 500 |3158 | 500 | 769 |7500k| 0 | 17k|-1.902692e+02 |-8.000000e+01 | 57.95%
1753.83/1753.88 c 1754s|160000 |160001 | 24013k| 149.9 | 322M| 76 | 158 | 500 |3158 | 500 | 743 |7962k| 0 | 17k|-1.902500e+02 |-8.000000e+01 | 57.95%
1797.03/1797.00 c
1797.03/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.03/1797.00 c Solving Time (sec) : 1797.00
1797.03/1797.00 c Solving Nodes : 164751
1797.03/1797.00 c Primal Bound : -8.00000000000000e+01 (576 solutions)
1797.03/1797.00 c Dual Bound : -1.90238255033557e+02
1797.03/1797.00 c Gap : 57.95 %
1797.03/1797.01 s SATISFIABLE
1797.03/1797.01 v -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 x480 -x479
1797.03/1797.01 v -x478 -x477 -x476 -x475 -x474 x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 x458
1797.03/1797.01 v -x457 -x456 -x455 -x454 x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437
1797.03/1797.01 v -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416
1797.03/1797.01 v -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395
1797.03/1797.01 v -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374
1797.03/1797.01 v -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 x361 -x360 -x359 -x358 x357 x356 -x355 -x354 -x353
1797.03/1797.01 v -x352 -x351 x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332
1797.03/1797.01 v -x331 -x330 -x329 -x328 -x327 -x326 x325 -x324 -x323 -x322 -x321 -x320 x319 -x318 -x317 -x316 x315 -x314 -x313 -x312 -x311
1797.03/1797.01 v -x310 -x309 -x308 -x307 -x306 -x305 x304 x303 -x302 -x301 -x300 -x299 x298 -x297 -x296 -x295 -x294 x293 -x292 -x291 x290 -x289
1797.03/1797.01 v -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 x269 -x268
1797.03/1797.01 v -x267 -x266 -x265 x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247
1797.03/1797.01 v -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226
1797.03/1797.01 v -x225 -x224 -x223 -x222 -x221 -x220 x219 -x218 -x217 -x216 -x215 -x214 x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 x205 -x204
1797.03/1797.01 v -x203 -x202 -x201 -x200 -x199 x198 -x197 -x196 -x195 x194 x193 -x192 -x191 -x190 -x189 x188 -x187 x186 -x185 -x184 x183
1797.03/1797.01 v -x182 -x181 -x180 -x179 -x178 -x177 x176 -x175 -x174 -x173 x172 -x171 -x170 -x169 -x168 x167 -x166 x165 -x164 x163 x162 -x161
1797.03/1797.01 v -x160 x159 -x158 -x157 -x156 x155 -x154 -x153 -x152 -x151 x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139
1797.03/1797.01 v -x138 x137 x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 x125 -x124 -x123 -x122 -x121 x120 -x119 -x118
1797.03/1797.01 v x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 x105 -x104 -x103 -x102 -x101 -x100 -x99 x98 -x97 x96
1797.03/1797.01 v x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 x87 -x86 -x85 x84 x83 -x82 -x81 x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 x71 -x70
1797.03/1797.01 v -x69 -x68 -x67 -x66 x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 x56 x55 x54 -x53 -x52 -x51 x50 x49 -x48 -x47 x46 -x45 -x44 x43
1797.03/1797.01 v x42 -x41 -x40 -x39 x38 x37 -x36 -x35 -x34 -x33 x32 -x31 -x30 -x29 -x28 -x27 x26 x25 -x24 x23 -x22 -x21 x20 -x19 x18 x17 x16
1797.03/1797.01 v -x15 x14 -x13 -x12 x11 -x10 x9 -x8 x7 -x6 x5 -x4 x3 -x2 x1
1797.03/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1797.03/1797.01 c Total Time : 1797.00
1797.03/1797.01 c solving : 1797.00
1797.03/1797.01 c presolving : 0.06 (included in solving)
1797.03/1797.01 c reading : 0.02 (included in solving)
1797.03/1797.01 c Original Problem :
1797.03/1797.01 c Problem name : HOME/instance-3488583-1307783238.opb
1797.03/1797.01 c Variables : 3658 (3658 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.03/1797.01 c Constraints : 4158 initial, 4158 maximal
1797.03/1797.01 c Presolved Problem :
1797.03/1797.01 c Problem name : t_HOME/instance-3488583-1307783238.opb
1797.03/1797.01 c Variables : 500 (500 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.03/1797.01 c Constraints : 3158 initial, 3158 maximal
1797.03/1797.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.03/1797.01 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.01 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.01 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.01 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.01 c implics : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.01 c probing : 0.01 0 0 0 0 0 0 0 0 0
1797.03/1797.01 c setppc : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.01 c and : 0.03 0 0 0 0 0 0 0 0 0
1797.03/1797.01 c linear : 0.01 3158 0 0 3158 0 500 0 0 0
1797.03/1797.01 c pseudoboolean : 0.00 0 0 0 0 0 500 0 0 0
1797.03/1797.01 c root node : - 0 - - 0 - - - - -
1797.03/1797.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.03/1797.01 c integral : 0 0 0 199951 0 328377 0 0 0 0 0 329500
1797.03/1797.01 c setppc : 3158 52 528107 35201 1 328373 0 0 1382873 8176133 0 0
1797.03/1797.01 c countsols : 0 0 0 0 1 578 0 0 0 0 0 0
1797.03/1797.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.03/1797.01 c integral : 87.23 0.00 0.00 87.14 0.00 0.10 0.00
1797.03/1797.01 c setppc : 27.11 0.03 14.46 6.28 0.00 6.34 0.00
1797.03/1797.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.03/1797.01 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.03/1797.01 c vbounds : 0 0 0 0
1797.03/1797.01 c rootredcost : 0 0 0 0
1797.03/1797.01 c pseudoobj : 529191 0 0 0
1797.03/1797.01 c Propagator Timings : TotalTime Propagate Resprop
1797.03/1797.01 c vbounds : 0.11 0.11 0.00
1797.03/1797.01 c rootredcost : 0.11 0.11 0.00
1797.03/1797.01 c pseudoobj : 5.13 5.13 0.00
1797.03/1797.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.03/1797.01 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1797.03/1797.01 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1797.03/1797.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.03/1797.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.03/1797.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.03/1797.01 c applied globally : - - - 0 0.0 - - -
1797.03/1797.01 c applied locally : - - - 0 0.0 - - -
1797.03/1797.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.03/1797.01 c cut pool : 0.07 51 - - 359 - (maximal pool size: 4409)
1797.03/1797.01 c redcost : 2.13 200002 0 0 0 0
1797.03/1797.01 c impliedbounds : 0.01 52 0 0 3331 0
1797.03/1797.01 c intobj : 0.00 0 0 0 0 0
1797.03/1797.01 c gomory : 2.36 52 0 0 24783 0
1797.03/1797.01 c cgmip : 0.00 0 0 0 0 0
1797.03/1797.01 c closecuts : 0.00 0 0 0 0 0
1797.03/1797.01 c strongcg : 0.52 20 0 0 10000 0
1797.03/1797.01 c cmir : 0.08 10 0 0 0 0
1797.03/1797.01 c flowcover : 0.06 10 0 0 0 0
1797.03/1797.01 c clique : 0.16 52 0 0 342 0
1797.03/1797.01 c zerohalf : 0.00 0 0 0 0 0
1797.03/1797.01 c mcf : 0.00 1 0 0 0 0
1797.03/1797.01 c oddcycle : 0.00 0 0 0 0 0
1797.03/1797.01 c rapidlearning : 0.05 1 0 0 0 0
1797.03/1797.01 c Pricers : Time Calls Vars
1797.03/1797.01 c problem variables: 0.00 0 0
1797.03/1797.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.03/1797.01 c relpscost : 87.02 164750 0 0 0 0 329500
1797.03/1797.01 c pscost : 0.00 0 0 0 0 0 0
1797.03/1797.01 c inference : 0.00 1 0 0 0 0 2
1797.03/1797.01 c mostinf : 0.00 0 0 0 0 0 0
1797.03/1797.01 c leastinf : 0.00 0 0 0 0 0 0
1797.03/1797.01 c fullstrong : 0.00 0 0 0 0 0 0
1797.03/1797.01 c allfullstrong : 0.00 0 0 0 0 0 0
1797.03/1797.01 c random : 0.00 0 0 0 0 0 0
1797.03/1797.01 c Primal Heuristics : Time Calls Found
1797.03/1797.01 c LP solutions : 0.00 - 0
1797.03/1797.01 c pseudo solutions : 0.00 - 0
1797.03/1797.01 c intshifting : 0.00 0 0
1797.03/1797.01 c feaspump : 0.00 0 0
1797.03/1797.01 c oneopt : 0.09 1 0
1797.03/1797.01 c crossover : 0.50 17 4
1797.03/1797.01 c objpscostdiving : 17.75 578 23
1797.03/1797.01 c fracdiving : 31.11 3193 19
1797.03/1797.01 c linesearchdiving : 31.44 3194 37
1797.03/1797.01 c coefdiving : 32.50 3194 85
1797.03/1797.01 c guideddiving : 31.75 3194 11
1797.03/1797.01 c pscostdiving : 31.02 3194 52
1797.03/1797.01 c veclendiving : 40.66 3194 115
1797.03/1797.01 c trivial : 0.00 2 1
1797.03/1797.01 c shiftandpropagate: 0.00 0 0
1797.03/1797.01 c simplerounding : 4.94 164801 226
1797.03/1797.01 c zirounding : 0.15 1000 0
1797.03/1797.01 c rounding : 17.14 19299 1
1797.03/1797.01 c shifting : 5.39 5711 1
1797.03/1797.01 c twoopt : 0.00 0 0
1797.03/1797.01 c fixandinfer : 0.00 0 0
1797.03/1797.01 c clique : 0.00 0 0
1797.03/1797.01 c intdiving : 0.00 0 0
1797.03/1797.01 c actconsdiving : 0.00 0 0
1797.03/1797.01 c rootsoldiving : 11.39 957 0
1797.03/1797.01 c octane : 0.00 0 0
1797.03/1797.01 c rens : 0.01 0 0
1797.03/1797.01 c rins : 0.00 0 0
1797.03/1797.01 c localbranching : 0.00 0 0
1797.03/1797.01 c mutation : 0.00 0 0
1797.03/1797.01 c dins : 0.00 0 0
1797.03/1797.01 c vbounds : 0.00 0 0
1797.03/1797.01 c undercover : 0.01 1 0
1797.03/1797.01 c subnlp : 0.03 0 0
1797.03/1797.01 c trysol : 0.05 0 0
1797.03/1797.01 c LP : Time Calls Iterations Iter/call Iter/sec
1797.03/1797.01 c primal LP : 11.66 0 0 0.00 0.00
1797.03/1797.01 c dual LP : 1371.90 199981 21712573 108.57 15826.62
1797.03/1797.01 c lex dual LP : 0.00 0 0 0.00 -
1797.03/1797.01 c barrier LP : 0.00 0 0 0.00 -
1797.03/1797.01 c diving/probing LP: 188.28 145928 2918605 20.00 15501.72
1797.03/1797.01 c strong branching : 81.56 17918 1019920 56.92 12505.32
1797.03/1797.01 c (at root node) : - 27 26569 984.04 -
1797.03/1797.01 c conflict analysis: 0.00 0 0 0.00 -
1797.03/1797.01 c B&B Tree :
1797.03/1797.01 c number of runs : 1
1797.03/1797.01 c nodes : 164751
1797.03/1797.01 c nodes (total) : 164751
1797.03/1797.01 c nodes left : 164752
1797.03/1797.01 c max depth : 76
1797.03/1797.01 c max depth (total): 76
1797.03/1797.01 c backtracks : 20696 (12.6%)
1797.03/1797.01 c delayed cutoffs : 0
1797.03/1797.01 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1797.03/1797.01 c avg switch length: 4.35
1797.03/1797.01 c switching time : 22.23
1797.03/1797.01 c Solution :
1797.03/1797.01 c Solutions found : 576 (4 improvements)
1797.03/1797.01 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.03 seconds, depth 0, found by <trivial>)
1797.03/1797.01 c Primal Bound : -8.00000000000000e+01 (in run 1, after 1 nodes, 0.24 seconds, depth 0, found by <trysol>)
1797.03/1797.01 c Dual Bound : -1.90238255033557e+02
1797.03/1797.01 c Gap : 57.95 %
1797.03/1797.01 c Root Dual Bound : -1.92000000000000e+02
1797.03/1797.01 c Root Iterations : 35878
1797.43/1797.43 c Time complete: 1797.46.
OK -80
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 988) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3488583-1307783238/watcher-3488583-1307783238 -o /tmp/evaluation-result-3488583-1307783238/solver-3488583-1307783238 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3488583-1307783238.opb -t 1800 -m 15500 running on 4 cores: 0,2,4,6 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): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.17 2.03 2.00 2/175 27983 /proc/meminfo: memFree=30605276/32951132 swapFree=67054616/67111528 [pid=27983] ppid=27981 vsize=11972 CPUtime=0 cores=0,2,4,6 /proc/27983/stat : 27983 (scip-2.0.1.4b_2) R 27981 27983 24772 0 -1 4202496 2018 0 0 0 0 0 0 0 25 0 1 0 889923496 12259328 1972 33554432000 4194304 9016284 140736317224672 18446744073709551615 7870589 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/27983/statm: 2993 1984 340 1178 0 1811 0 [startup+0.00965009 s] /proc/loadavg: 2.17 2.03 2.00 2/175 27983 /proc/meminfo: memFree=30605276/32951132 swapFree=67054616/67111528 [pid=27983] ppid=27981 vsize=14368 CPUtime=0 cores=0,2,4,6 /proc/27983/stat : 27983 (scip-2.0.1.4b_2) R 27981 27983 24772 0 -1 4202496 2616 0 0 0 0 0 0 0 25 0 1 0 889923496 14712832 2570 33554432000 4194304 9016284 140736317224672 18446744073709551615 7874895 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/27983/statm: 3592 2570 379 1178 0 2410 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 14368 [startup+0.104619 s] /proc/loadavg: 2.17 2.03 2.00 2/175 27983 /proc/meminfo: memFree=30605276/32951132 swapFree=67054616/67111528 [pid=27983] ppid=27981 vsize=37356 CPUtime=0.09 cores=0,2,4,6 /proc/27983/stat : 27983 (scip-2.0.1.4b_2) R 27981 27983 24772 0 -1 4202496 8506 0 0 0 9 0 0 0 18 0 1 0 889923496 38252544 8203 33554432000 4194304 9016284 140736317224672 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/27983/statm: 9339 8204 614 1178 0 8157 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 37356 [startup+0.300626 s] /proc/loadavg: 2.17 2.03 2.00 2/175 27983 /proc/meminfo: memFree=30605276/32951132 swapFree=67054616/67111528 [pid=27983] ppid=27981 vsize=39316 CPUtime=0.29 cores=0,2,4,6 /proc/27983/stat : 27983 (scip-2.0.1.4b_2) R 27981 27983 24772 0 -1 4202496 15919 0 0 0 28 1 0 0 18 0 1 0 889923496 40259584 8720 33554432000 4194304 9016284 140736317224672 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/27983/statm: 9829 8720 695 1178 0 8647 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 39316 [startup+0.700549 s] /proc/loadavg: 2.17 2.03 2.00 2/175 27983 /proc/meminfo: memFree=30605276/32951132 swapFree=67054616/67111528 [pid=27983] ppid=27981 vsize=41964 CPUtime=0.69 cores=0,2,4,6 /proc/27983/stat : 27983 (scip-2.0.1.4b_2) R 27981 27983 24772 0 -1 4202496 16600 0 0 0 68 1 0 0 18 0 1 0 889923496 42971136 9388 33554432000 4194304 9016284 140736317224672 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/27983/statm: 10491 9388 690 1178 0 9309 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 41964 [startup+1.50042 s] /proc/loadavg: 2.17 2.03 2.00 3/176 27984 /proc/meminfo: memFree=30569172/32951132 swapFree=67054616/67111528 [pid=27983] ppid=27981 vsize=48552 CPUtime=1.49 cores=0,2,4,6 /proc/27983/stat : 27983 (scip-2.0.1.4b_2) R 27981 27983 24772 0 -1 4202496 18318 0 0 0 146 3 0 0 19 0 1 0 889923496 49717248 11067 33554432000 4194304 9016284 140736317224672 18446744073709551615 6586606 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/27983/statm: 12138 11067 692 1178 0 10956 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 48552 [startup+3.10115 s] /proc/loadavg: 2.15 2.03 2.00 3/176 27984 /proc/meminfo: memFree=30556648/32951132 swapFree=67054616/67111528 [pid=27983] ppid=27981 vsize=59808 CPUtime=3.09 cores=0,2,4,6 /proc/27983/stat : 27983 (scip-2.0.1.4b_2) R 27981 27983 24772 0 -1 4202496 21209 0 0 0 305 4 0 0 25 0 1 0 889923496 61243392 13926 33554432000 4194304 9016284 140736317224672 18446744073709551615 6583428 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/27983/statm: 14952 13926 693 1178 0 13770 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 59808 [startup+6.30055 s] /proc/loadavg: 2.15 2.03 2.00 3/176 27984 /proc/meminfo: memFree=30539916/32951132 swapFree=67054616/67111528 [pid=27983] ppid=27981 vsize=73680 CPUtime=6.29 cores=0,2,4,6 /proc/27983/stat : 27983 (scip-2.0.1.4b_2) R 27981 27983 24772 0 -1 4202496 24724 0 0 0 621 8 0 0 25 0 1 0 889923496 75448320 17381 33554432000 4194304 9016284 140736317224672 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/27983/statm: 18420 17381 697 1178 0 17238 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 73680 [startup+12.7004 s] /proc/loadavg: 2.28 2.06 2.01 3/176 27984 /proc/meminfo: memFree=30524792/32951132 swapFree=67054616/67111528 [pid=27983] ppid=27981 vsize=83180 CPUtime=12.69 cores=0,2,4,6 /proc/27983/stat : 27983 (scip-2.0.1.4b_2) R 27981 27983 24772 0 -1 4202496 28977 0 0 0 1255 14 0 0 25 0 1 0 889923496 85176320 19734 33554432000 4194304 9016284 140736317224672 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/27983/statm: 20795 19734 696 1178 0 19613 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 83180 [startup+25.5002 s] /proc/loadavg: 2.23 2.06 2.01 3/176 27984 /proc/meminfo: memFree=30525208/32951132 swapFree=67054616/67111528 [pid=27983] ppid=27981 vsize=82628 CPUtime=25.49 cores=0,2,4,6 /proc/27983/stat : 27983 (scip-2.0.1.4b_2) R 27981 27983 24772 0 -1 4202496 32050 0 0 0 2518 31 0 0 25 0 1 0 889923496 84611072 19645 33554432000 4194304 9016284 140736317224672 18446744073709551615 5862992 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/27983/statm: 20657 19645 700 1178 0 19475 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 82628 [startup+51.1008 s] /proc/loadavg: 2.15 2.05 2.01 3/176 27984 /proc/meminfo: memFree=30523812/32951132 swapFree=67054616/67111528 [pid=27983] ppid=27981 vsize=83540 CPUtime=51.09 cores=0,2,4,6 /proc/27983/stat : 27983 (scip-2.0.1.4b_2) R 27981 27983 24772 0 -1 4202496 39244 0 0 0 5042 67 0 0 25 0 1 0 889923496 85544960 19868 33554432000 4194304 9016284 140736317224672 18446744073709551615 7214185 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/27983/statm: 20885 19868 700 1178 0 19703 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 83540 [startup+102.306 s] /proc/loadavg: 2.06 2.04 2.00 3/176 27986 /proc/meminfo: memFree=30511408/32951132 swapFree=67054616/67111528 [pid=27983] ppid=27981 vsize=90192 CPUtime=102.29 cores=0,2,4,6 /proc/27983/stat : 27983 (scip-2.0.1.4b_2) R 27981 27983 24772 0 -1 4202496 51404 0 0 0 10088 141 0 0 25 0 1 0 889923496 92356608 21526 33554432000 4194304 9016284 140736317224672 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/27983/statm: 22548 21526 701 1178 0 21366 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 90192 [startup+162.301 s] /proc/loadavg: 2.09 2.05 2.00 3/176 27988 /proc/meminfo: memFree=30498504/32951132 swapFree=67054616/67111528 [pid=27983] ppid=27981 vsize=97452 CPUtime=162.3 cores=0,2,4,6 /proc/27983/stat : 27983 (scip-2.0.1.4b_2) R 27981 27983 24772 0 -1 4202496 60178 0 0 0 15998 232 0 0 25 0 1 0 889923496 99790848 23364 33554432000 4194304 9016284 140736317224672 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/27983/statm: 24363 23364 701 1178 0 23181 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 97452 [startup+222.301 s] /proc/loadavg: 2.07 2.05 2.00 3/176 27990 /proc/meminfo: memFree=30483228/32951132 swapFree=67054616/67111528 [pid=27983] ppid=27981 vsize=107364 CPUtime=222.3 cores=0,2,4,6 /proc/27983/stat : 27983 (scip-2.0.1.4b_2) R 27981 27983 24772 0 -1 4202496 62702 0 0 0 21907 323 0 0 25 0 1 0 889923496 109940736 25881 33554432000 4194304 9016284 140736317224672 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/27983/statm: 26841 25881 701 1178 0 25659 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 107364 [startup+282.301 s] /proc/loadavg: 2.02 2.04 2.00 3/176 27991 /proc/meminfo: memFree=30465360/32951132 swapFree=67054616/67111528 [pid=27983] ppid=27981 vsize=117960 CPUtime=282.3 cores=0,2,4,6 /proc/27983/stat : 27983 (scip-2.0.1.4b_2) R 27981 27983 24772 0 -1 4202496 72492 0 0 0 27810 420 0 0 25 0 1 0 889923496 120791040 28509 33554432000 4194304 9016284 140736317224672 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/27983/statm: 29490 28509 701 1178 0 28308 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 117960 [startup+342.3 s] /proc/loadavg: 2.01 2.03 2.00 3/176 27992 /proc/meminfo: memFree=30451840/32951132 swapFree=67054616/67111528 [pid=27983] ppid=27981 vsize=127452 CPUtime=342.3 cores=0,2,4,6 /proc/27983/stat : 27983 (scip-2.0.1.4b_2) R 27981 27983 24772 0 -1 4202496 81771 0 0 0 33722 508 0 0 25 0 1 0 889923496 130510848 30836 33554432000 4194304 9016284 140736317224672 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/27983/statm: 31863 30836 701 1178 0 30681 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 127452 [startup+402.301 s] /proc/loadavg: 2.00 2.02 2.00 3/176 27994 /proc/meminfo: memFree=30438312/32951132 swapFree=67054616/67111528 [pid=27983] ppid=27981 vsize=134436 CPUtime=402.3 cores=0,2,4,6 /proc/27983/stat : 27983 (scip-2.0.1.4b_2) R 27981 27983 24772 0 -1 4202496 83614 0 0 0 39632 598 0 0 25 0 1 0 889923496 137662464 32677 33554432000 4194304 9016284 140736317224672 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/27983/statm: 33609 32677 701 1178 0 32427 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 134436 [startup+462.301 s] /proc/loadavg: 2.00 2.02 2.00 3/176 27996 /proc/meminfo: memFree=30420188/32951132 swapFree=67054616/67111528 [pid=27983] ppid=27981 vsize=146312 CPUtime=462.3 cores=0,2,4,6 /proc/27983/stat : 27983 (scip-2.0.1.4b_2) R 27981 27983 24772 0 -1 4202496 86632 0 0 0 45544 686 0 0 25 0 1 0 889923496 149823488 35687 33554432000 4194304 9016284 140736317224672 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/27983/statm: 36578 35687 701 1178 0 35396 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 146312 [startup+522.301 s] /proc/loadavg: 2.00 2.01 2.00 3/176 27998 /proc/meminfo: memFree=30403932/32951132 swapFree=67054616/67111528 [pid=27983] ppid=27981 vsize=155552 CPUtime=522.3 cores=0,2,4,6 /proc/27983/stat : 27983 (scip-2.0.1.4b_2) R 27981 27983 24772 0 -1 4202496 88959 0 0 0 51452 778 0 0 25 0 1 0 889923496 159285248 38012 33554432000 4194304 9016284 140736317224672 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/27983/statm: 38888 38012 701 1178 0 37706 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 155552 [startup+582.301 s] /proc/loadavg: 2.00 2.01 2.00 3/176 27999 /proc/meminfo: memFree=30387052/32951132 swapFree=67054616/67111528 [pid=27983] ppid=27981 vsize=165804 CPUtime=582.31 cores=0,2,4,6 /proc/27983/stat : 27983 (scip-2.0.1.4b_2) R 27981 27983 24772 0 -1 4202496 101836 0 0 0 57357 874 0 0 25 0 1 0 889923496 169783296 40492 33554432000 4194304 9016284 140736317224672 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/27983/statm: 41451 40492 703 1178 0 40269 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 165804 [startup+642.3 s] ################ # More data... # ################ /proc/meminfo: memFree=30218528/32951132 swapFree=67054616/67111528 [pid=27983] ppid=27981 vsize=265160 CPUtime=1122.31 cores=0,2,4,6 /proc/27983/stat : 27983 (scip-2.0.1.4b_2) R 27981 27983 24772 0 -1 4202496 129963 0 0 0 110541 1690 0 0 25 0 1 0 889923496 271523840 65046 33554432000 4194304 9016284 140736317224672 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/27983/statm: 66290 65046 703 1178 0 65108 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 265160 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/176 28015 /proc/meminfo: memFree=30200144/32951132 swapFree=67054616/67111528 [pid=27983] ppid=27981 vsize=272840 CPUtime=1182.32 cores=0,2,4,6 /proc/27983/stat : 27983 (scip-2.0.1.4b_2) R 27981 27983 24772 0 -1 4202496 132003 0 0 0 116448 1784 0 0 25 0 1 0 889923496 279388160 67086 33554432000 4194304 9016284 140736317224672 18446744073709551615 7081810 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/27983/statm: 68210 67086 703 1178 0 67028 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 272840 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/176 28016 /proc/meminfo: memFree=30180536/32951132 swapFree=67054616/67111528 [pid=27983] ppid=27981 vsize=283244 CPUtime=1242.31 cores=0,2,4,6 /proc/27983/stat : 27983 (scip-2.0.1.4b_2) R 27981 27983 24772 0 -1 4202496 134558 0 0 0 122356 1875 0 0 25 0 1 0 889923496 290041856 69641 33554432000 4194304 9016284 140736317224672 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/27983/statm: 70811 69641 703 1178 0 69629 0 Current children cumulated CPU time (s) 1242.31 Current children cumulated vsize (KiB) 283244 [startup+1302.3 s] /proc/loadavg: 2.11 2.04 2.01 3/176 28094 /proc/meminfo: memFree=30337448/32951132 swapFree=67054616/67111528 [pid=27983] ppid=27981 vsize=296680 CPUtime=1302.32 cores=0,2,4,6 /proc/27983/stat : 27983 (scip-2.0.1.4b_2) R 27981 27983 24772 0 -1 4202496 141351 0 0 0 128262 1970 0 0 25 0 1 0 889923496 303800320 72990 33554432000 4194304 9016284 140736317224672 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/27983/statm: 74170 72990 703 1178 0 72988 0 Current children cumulated CPU time (s) 1302.32 Current children cumulated vsize (KiB) 296680 [startup+1362.3 s] /proc/loadavg: 2.04 2.03 2.01 3/176 28096 /proc/meminfo: memFree=30284464/32951132 swapFree=67054616/67111528 [pid=27983] ppid=27981 vsize=307404 CPUtime=1362.32 cores=0,2,4,6 /proc/27983/stat : 27983 (scip-2.0.1.4b_2) R 27981 27983 24772 0 -1 4202496 144064 0 0 0 134166 2066 0 0 25 0 1 0 889923496 314781696 75694 33554432000 4194304 9016284 140736317224672 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/27983/statm: 76851 75694 703 1178 0 75669 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 307404 [startup+1422.31 s] /proc/loadavg: 2.01 2.02 2.00 3/176 28098 /proc/meminfo: memFree=30232864/32951132 swapFree=67054616/67111528 [pid=27983] ppid=27981 vsize=318540 CPUtime=1422.33 cores=0,2,4,6 /proc/27983/stat : 27983 (scip-2.0.1.4b_2) R 27981 27983 24772 0 -1 4202496 146870 0 0 0 140075 2158 0 0 25 0 1 0 889923496 326184960 78499 33554432000 4194304 9016284 140736317224672 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/27983/statm: 79635 78499 703 1178 0 78453 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 318540 [startup+1482.3 s] /proc/loadavg: 2.00 2.02 2.00 3/176 28099 /proc/meminfo: memFree=30184608/32951132 swapFree=67054616/67111528 [pid=27983] ppid=27981 vsize=330076 CPUtime=1482.33 cores=0,2,4,6 /proc/27983/stat : 27983 (scip-2.0.1.4b_2) R 27981 27983 24772 0 -1 4202496 149792 0 0 0 145981 2252 0 0 25 0 1 0 889923496 337997824 81421 33554432000 4194304 9016284 140736317224672 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/27983/statm: 82519 81421 703 1178 0 81337 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 330076 [startup+1542.3 s] /proc/loadavg: 2.08 2.03 2.01 3/176 28100 /proc/meminfo: memFree=30145412/32951132 swapFree=67054616/67111528 [pid=27983] ppid=27981 vsize=339356 CPUtime=1542.33 cores=0,2,4,6 /proc/27983/stat : 27983 (scip-2.0.1.4b_2) R 27981 27983 24772 0 -1 4202496 152150 0 0 0 151887 2346 0 0 25 0 1 0 889923496 347500544 83776 33554432000 4194304 9016284 140736317224672 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/27983/statm: 84839 83776 703 1178 0 83657 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 339356 [startup+1602.3 s] /proc/loadavg: 2.03 2.02 2.00 3/176 28102 /proc/meminfo: memFree=30125428/32951132 swapFree=67054616/67111528 [pid=27983] ppid=27981 vsize=353464 CPUtime=1602.33 cores=0,2,4,6 /proc/27983/stat : 27983 (scip-2.0.1.4b_2) R 27981 27983 24772 0 -1 4202496 155684 0 0 0 157792 2441 0 0 25 0 1 0 889923496 361947136 87308 33554432000 4194304 9016284 140736317224672 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/27983/statm: 88366 87308 703 1178 0 87184 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 353464 [startup+1662.3 s] /proc/loadavg: 2.01 2.02 2.00 3/176 28104 /proc/meminfo: memFree=30109916/32951132 swapFree=67054616/67111528 [pid=27983] ppid=27981 vsize=367348 CPUtime=1662.33 cores=0,2,4,6 /proc/27983/stat : 27983 (scip-2.0.1.4b_2) R 27981 27983 24772 0 -1 4202496 159194 0 0 0 163703 2530 0 0 25 0 1 0 889923496 376164352 90817 33554432000 4194304 9016284 140736317224672 18446744073709551615 4978141 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/27983/statm: 91837 90817 703 1178 0 90655 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 367348 [startup+1722.3 s] /proc/loadavg: 2.00 2.01 2.00 3/176 28106 /proc/meminfo: memFree=30098964/32951132 swapFree=67054616/67111528 [pid=27983] ppid=27981 vsize=373592 CPUtime=1722.33 cores=0,2,4,6 /proc/27983/stat : 27983 (scip-2.0.1.4b_2) R 27981 27983 24772 0 -1 4202496 160805 0 0 0 169613 2620 0 0 25 0 1 0 889923496 382558208 92418 33554432000 4194304 9016284 140736317224672 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/27983/statm: 93398 92418 703 1178 0 92216 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 373592 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/176 28107 /proc/meminfo: memFree=30080208/32951132 swapFree=67054616/67111528 [pid=27983] ppid=27981 vsize=385256 CPUtime=1782.33 cores=0,2,4,6 /proc/27983/stat : 27983 (scip-2.0.1.4b_2) R 27981 27983 24772 0 -1 4202496 163754 0 0 0 175516 2717 0 0 25 0 1 0 889923496 394502144 95361 33554432000 4194304 9016284 140736317224672 18446744073709551615 7214194 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/27983/statm: 96314 95361 703 1178 0 95132 0 Current children cumulated CPU time (s) 1782.33 Current children cumulated vsize (KiB) 385256 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 2.00 2.00 2.00 3/176 28107 /proc/meminfo: memFree=30080084/32951132 swapFree=67054616/67111528 [pid=27983] ppid=27981 vsize=385392 CPUtime=1785.53 cores=0,2,4,6 /proc/27983/stat : 27983 (scip-2.0.1.4b_2) R 27981 27983 24772 0 -1 4202496 163756 0 0 0 175830 2723 0 0 25 0 1 0 889923496 394641408 95363 33554432000 4194304 9016284 140736317224672 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/27983/statm: 96348 95363 703 1178 0 95166 0 Current children cumulated CPU time (s) 1785.53 Current children cumulated vsize (KiB) 385392 [startup+1791.91 s] /proc/loadavg: 2.00 2.00 2.00 3/176 28107 /proc/meminfo: memFree=30078224/32951132 swapFree=67054616/67111528 [pid=27983] ppid=27981 vsize=385392 CPUtime=1791.93 cores=0,2,4,6 /proc/27983/stat : 27983 (scip-2.0.1.4b_2) R 27981 27983 24772 0 -1 4202496 163781 0 0 0 176460 2733 0 0 25 0 1 0 889923496 394641408 95388 33554432000 4194304 9016284 140736317224672 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/27983/statm: 96348 95388 703 1178 0 95166 0 Current children cumulated CPU time (s) 1791.93 Current children cumulated vsize (KiB) 385392 [startup+1795.1 s] /proc/loadavg: 2.00 2.00 2.00 3/176 28108 /proc/meminfo: memFree=30076984/32951132 swapFree=67054616/67111528 [pid=27983] ppid=27981 vsize=385392 CPUtime=1795.13 cores=0,2,4,6 /proc/27983/stat : 27983 (scip-2.0.1.4b_2) R 27981 27983 24772 0 -1 4202496 163783 0 0 0 176775 2738 0 0 25 0 1 0 889923496 394641408 95390 33554432000 4194304 9016284 140736317224672 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/27983/statm: 96348 95390 703 1178 0 95166 0 Current children cumulated CPU time (s) 1795.13 Current children cumulated vsize (KiB) 385392 [startup+1796.7 s] /proc/loadavg: 2.00 2.00 2.00 3/176 28108 /proc/meminfo: memFree=30076112/32951132 swapFree=67054616/67111528 [pid=27983] ppid=27981 vsize=386316 CPUtime=1796.73 cores=0,2,4,6 /proc/27983/stat : 27983 (scip-2.0.1.4b_2) R 27981 27983 24772 0 -1 4202496 164037 0 0 0 176932 2741 0 0 25 0 1 0 889923496 395587584 95644 33554432000 4194304 9016284 140736317224672 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/27983/statm: 96579 95644 703 1178 0 95397 0 Current children cumulated CPU time (s) 1796.73 Current children cumulated vsize (KiB) 386316 [startup+1797.1 s] /proc/loadavg: 2.00 2.00 2.00 3/176 28108 /proc/meminfo: memFree=30076112/32951132 swapFree=67054616/67111528 [pid=27983] ppid=27981 vsize=386316 CPUtime=1797.13 cores=0,2,4,6 /proc/27983/stat : 27983 (scip-2.0.1.4b_2) R 27981 27983 24772 0 -1 4202496 164040 0 0 0 176972 2741 0 0 18 0 1 0 889923496 395587584 95647 33554432000 4194304 9016284 140736317224672 18446744073709551615 4897769 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/27983/statm: 96579 95647 705 1178 0 95397 0 Current children cumulated CPU time (s) 1797.13 Current children cumulated vsize (KiB) 386316 [startup+1797.3 s] /proc/loadavg: 2.00 2.00 2.00 3/176 28108 /proc/meminfo: memFree=30076112/32951132 swapFree=67054616/67111528 [pid=27983] ppid=27981 vsize=386316 CPUtime=1797.33 cores=0,2,4,6 /proc/27983/stat : 27983 (scip-2.0.1.4b_2) R 27981 27983 24772 0 -1 4202496 164040 0 0 0 176992 2741 0 0 18 0 1 0 889923496 395587584 95647 33554432000 4194304 9016284 140736317224672 18446744073709551615 6779506 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/27983/statm: 96579 95647 705 1178 0 95397 0 Current children cumulated CPU time (s) 1797.33 Current children cumulated vsize (KiB) 386316 [startup+1797.41 s] /proc/loadavg: 2.00 2.00 2.00 3/176 28108 /proc/meminfo: memFree=30076112/32951132 swapFree=67054616/67111528 [pid=27983] ppid=27981 vsize=386120 CPUtime=1797.43 cores=0,2,4,6 /proc/27983/stat : 27983 (scip-2.0.1.4b_2) R 27981 27983 24772 0 -1 4202496 164040 0 0 0 177002 2741 0 0 18 0 1 0 889923496 395386880 95598 33554432000 4194304 9016284 140736317224672 18446744073709551615 6817776 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/27983/statm: 96530 95598 705 1178 0 95348 0 Current children cumulated CPU time (s) 1797.43 Current children cumulated vsize (KiB) 386120 Child status: 0 Real time (s): 1797.43 CPU time (s): 1797.47 CPU user time (s): 1770.04 CPU system time (s): 27.4328 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 386316 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1770.04 system time used= 27.4328 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 164045 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= 8 involuntary context switches= 4914 runsolver used 2.84557 second user time and 5.53616 second system time The end
Begin job on node131 at 2011-06-11 11:07:19 IDJOB=3488583 IDBENCH=48187 IDSOLVER=1979 FILE ID=node131/3488583-1307783238 RUNJOBID= node131-1307777345-27393 PBS_JOBID= 13550872 Free space on /tmp= 74056 MiB SOLVER NAME= SCIP spx E_2 2011-06-10 (fixed) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_500_10_3.opb COMMAND LINE= HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3488583-1307783238/watcher-3488583-1307783238 -o /tmp/evaluation-result-3488583-1307783238/solver-3488583-1307783238 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3488583-1307783238.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 0247ef4de041bbff376811a7e6bf0408 RANDOM SEED=288361535 node131.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.830 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.66 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.830 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.830 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.83 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.830 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.75 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.830 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.77 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.830 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.830 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.830 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: 32951132 kB MemFree: 30605208 kB Buffers: 282316 kB Cached: 1692192 kB SwapCached: 9824 kB Active: 621388 kB Inactive: 1474544 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951132 kB LowFree: 30605208 kB SwapTotal: 67111528 kB SwapFree: 67054616 kB Dirty: 17088 kB Writeback: 0 kB AnonPages: 119552 kB Mapped: 16032 kB Slab: 186012 kB PageTables: 4860 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587092 kB Committed_AS: 314396 kB VmallocTotal: 34359738367 kB VmallocUsed: 296000 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74036 MiB End job on node131 at 2011-06-11 11:37:16