Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| PB11: SCIP spx E_2 2011-06-10 (fixed) | SAT | -81 | 1797.25 | 1797.59 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_500_10_1.opb |
| MD5SUM | 6a7c5d2366cf8704587c2ca2c97e69d0 |
| 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 | -120 |
| Best CPU time to get the best result obtained on this benchmark | 1800.14 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -111 |
| 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) | 6318 |
| Sum of products size (including duplicates) | 12636 |
| Number of different products | 3159 |
| Sum of products size | 6318 |
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-3737087-1338724490.opb>
0.00/0.02 c original problem has 3659 variables (3659 bin, 0 int, 0 impl, 0 cont) and 4159 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.08 c (round 1) 3159 del vars, 1000 del conss, 0 add conss, 3159 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12636 impls, 0 clqs
0.00/0.08 c (round 2) 3159 del vars, 1000 del conss, 0 add conss, 3159 chg bounds, 0 chg sides, 0 chg coeffs, 3159 upgd conss, 12636 impls, 0 clqs
0.09/0.10 c (0.1s) probing: 101/500 (20.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.10 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.10 c presolving (3 rounds):
0.09/0.10 c 3159 deleted vars, 1000 deleted constraints, 0 added constraints, 3159 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.10 c 18952 implications, 0 cliques
0.09/0.10 c presolved problem has 500 variables (500 bin, 0 int, 0 impl, 0 cont) and 3159 constraints
0.09/0.10 c 3159 constraints of type <setppc>
0.09/0.10 c transformed objective value is always integral (scale: 1)
0.09/0.10 c Presolving Time: 0.06
0.09/0.10 c - non default parameters ----------------------------------------------------------------------
0.09/0.10 c # SCIP version 2.0.1.5
0.09/0.10 c
0.09/0.10 c # frequency for displaying node information lines
0.09/0.10 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.10 c display/freq = 10000
0.09/0.10 c
0.09/0.10 c # maximal time in seconds to run
0.09/0.10 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.10 c limits/time = 1797
0.09/0.10 c
0.09/0.10 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.10 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.10 c limits/memory = 13950
0.09/0.10 c
0.09/0.10 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.09/0.10 c # [type: int, range: [1,2], default: 1]
0.09/0.10 c timing/clocktype = 2
0.09/0.10 c
0.09/0.10 c # belongs reading time to solving time?
0.09/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.10 c timing/reading = TRUE
0.09/0.10 c
0.09/0.10 c # should presolving try to simplify inequalities
0.09/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.10 c constraints/linear/simplifyinequalities = TRUE
0.09/0.10 c
0.09/0.10 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.09/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.10 c constraints/indicator/addCouplingCons = TRUE
0.09/0.10 c
0.09/0.10 c # should presolving try to simplify knapsacks
0.09/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.10 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.10 c
0.09/0.10 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.10 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.10 c separating/rapidlearning/freq = 0
0.09/0.10 c
0.09/0.10 c -----------------------------------------------------------------------------------------------
0.09/0.10 c start solving
0.09/0.10 c
0.09/0.13 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.13 c t 0.1s| 1 | 0 | 539 | - | 11M| 0 | 500 | 500 |3159 | 500 |3159 | 0 | 0 | 0 |-2.500000e+02 | 0.000000e+00 | 100.00%
0.09/0.14 o -1
0.09/0.14 c R 0.1s| 1 | 0 | 539 | - | 11M| 0 | 500 | 500 |3159 | 500 |3159 | 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 | 539 | - | 11M| 0 | 500 | 500 |3159 | 500 |3159 | 0 | 0 | 0 |-2.500000e+02 |-2.000000e+00 | 99.20%
0.18/0.24 o -81
0.18/0.24 c y 0.2s| 1 | 0 | 539 | - | 11M| 0 | 500 | 500 |3159 | 500 |3159 | 0 | 0 | 0 |-2.500000e+02 |-8.100000e+01 | 67.60%
0.18/0.28 c 0.3s| 1 | 0 | 772 | - | 11M| 0 | 487 | 500 |3159 | 500 |3173 | 14 | 0 | 0 |-2.435000e+02 |-8.100000e+01 | 66.74%
0.29/0.37 c 0.4s| 1 | 0 | 986 | - | 11M| 0 | 476 | 500 |3159 | 500 |3185 | 26 | 0 | 0 |-2.380000e+02 |-8.100000e+01 | 65.97%
0.38/0.45 c 0.5s| 1 | 0 | 1100 | - | 11M| 0 | 471 | 500 |3159 | 500 |3195 | 36 | 0 | 0 |-2.355000e+02 |-8.100000e+01 | 65.61%
0.49/0.54 c 0.5s| 1 | 0 | 1214 | - | 11M| 0 | 466 | 500 |3159 | 500 |3207 | 48 | 0 | 0 |-2.330000e+02 |-8.100000e+01 | 65.24%
0.59/0.63 c 0.6s| 1 | 0 | 1421 | - | 11M| 0 | 457 | 500 |3159 | 500 |3220 | 61 | 0 | 0 |-2.285000e+02 |-8.100000e+01 | 64.55%
0.69/0.75 c 0.7s| 1 | 0 | 1748 | - | 11M| 0 | 454 | 500 |3159 | 500 |3230 | 71 | 0 | 0 |-2.270000e+02 |-8.100000e+01 | 64.32%
0.79/0.88 c 0.9s| 1 | 0 | 1832 | - | 12M| 0 | 455 | 500 |3159 | 500 |3238 | 79 | 0 | 0 |-2.260000e+02 |-8.100000e+01 | 64.16%
1.10/1.16 c 1.2s| 1 | 0 | 2869 | - | 13M| 0 | 452 | 500 |3159 | 500 |3250 | 91 | 0 | 0 |-2.245000e+02 |-8.100000e+01 | 63.92%
1.29/1.33 c 1.3s| 1 | 0 | 3428 | - | 13M| 0 | 447 | 500 |3159 | 500 |3260 | 101 | 0 | 0 |-2.230000e+02 |-8.100000e+01 | 63.68%
1.58/1.61 c 1.6s| 1 | 0 | 4928 | - | 13M| 0 | 443 | 500 |3159 | 500 |3273 | 114 | 0 | 0 |-2.197500e+02 |-8.100000e+01 | 63.14%
1.79/1.82 c 1.8s| 1 | 0 | 5408 | - | 14M| 0 | 437 | 500 |3159 | 500 | 958 | 124 | 0 | 0 |-2.185000e+02 |-8.100000e+01 | 62.93%
1.89/1.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.89/1.94 c 1.9s| 1 | 0 | 5699 | - | 15M| 0 | 433 | 500 |3159 | 500 | 967 | 133 | 0 | 0 |-2.172500e+02 |-8.100000e+01 | 62.72%
1.99/2.04 c 2.0s| 1 | 0 | 6220 | - | 15M| 0 | 418 | 500 |3159 | 500 | 997 | 163 | 0 | 0 |-2.160000e+02 |-8.100000e+01 | 62.50%
2.09/2.17 c 2.2s| 1 | 0 | 7444 | - | 15M| 0 | 460 | 500 |3159 | 500 |1054 | 220 | 0 | 0 |-2.130556e+02 |-8.100000e+01 | 61.98%
2.29/2.30 c 2.3s| 1 | 0 | 7903 | - | 15M| 0 | 427 | 500 |3159 | 500 |1233 | 399 | 0 | 0 |-2.117500e+02 |-8.100000e+01 | 61.75%
2.39/2.41 c 2.4s| 1 | 0 | 8365 | - | 15M| 0 | 447 | 500 |3159 | 500 |1261 | 427 | 0 | 0 |-2.098750e+02 |-8.100000e+01 | 61.41%
2.49/2.55 c 2.6s| 1 | 0 | 8972 | - | 17M| 0 | 439 | 500 |3159 | 500 |1124 | 533 | 0 | 0 |-2.087500e+02 |-8.100000e+01 | 61.20%
2.59/2.68 c 2.7s| 1 | 0 | 9472 | - | 18M| 0 | 418 | 500 |3159 | 500 |1156 | 565 | 0 | 0 |-2.075000e+02 |-8.100000e+01 | 60.96%
2.79/2.82 c 2.8s| 1 | 0 | 9751 | - | 19M| 0 | 443 | 500 |3159 | 500 |1203 | 612 | 0 | 0 |-2.071389e+02 |-8.100000e+01 | 60.90%
2.99/3.00 c 3.0s| 1 | 0 | 10669 | - | 19M| 0 | 438 | 500 |3159 | 500 |1283 | 692 | 0 | 0 |-2.053750e+02 |-8.100000e+01 | 60.56%
2.99/3.09 c 3.1s| 1 | 0 | 10954 | - | 19M| 0 | 406 | 500 |3159 | 500 |1340 | 749 | 0 | 0 |-2.050000e+02 |-8.100000e+01 | 60.49%
3.09/3.18 c 3.2s| 1 | 0 | 11476 | - | 19M| 0 | 428 | 500 |3159 | 500 |1365 | 774 | 0 | 0 |-2.047500e+02 |-8.100000e+01 | 60.44%
3.19/3.27 c 3.3s| 1 | 0 | 11827 | - | 19M| 0 | 427 | 500 |3159 | 500 |1129 | 781 | 0 | 0 |-2.040000e+02 |-8.100000e+01 | 60.29%
3.38/3.43 c 3.4s| 1 | 0 | 12905 | - | 21M| 0 | 435 | 500 |3159 | 500 |1167 | 819 | 0 | 0 |-2.035417e+02 |-8.100000e+01 | 60.20%
3.49/3.54 c 3.5s| 1 | 0 | 13440 | - | 21M| 0 | 425 | 500 |3159 | 500 |1240 | 892 | 0 | 0 |-2.028750e+02 |-8.100000e+01 | 60.07%
3.59/3.65 c 3.7s| 1 | 0 | 14014 | - | 21M| 0 | 446 | 500 |3159 | 500 |1278 | 930 | 0 | 0 |-2.023125e+02 |-8.100000e+01 | 59.96%
3.79/3.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
3.79/3.81 c 3.8s| 1 | 0 | 15030 | - | 21M| 0 | 467 | 500 |3159 | 500 |1304 | 956 | 0 | 0 |-2.015000e+02 |-8.100000e+01 | 59.80%
3.89/3.97 c 4.0s| 1 | 0 | 15617 | - | 22M| 0 | 437 | 500 |3159 | 500 |1459 |1111 | 0 | 0 |-2.000000e+02 |-8.100000e+01 | 59.50%
3.98/4.10 c 4.1s| 1 | 0 | 16582 | - | 22M| 0 | 462 | 500 |3159 | 500 |1092 |1135 | 0 | 0 |-1.992969e+02 |-8.100000e+01 | 59.36%
4.19/4.22 c 4.2s| 1 | 0 | 17303 | - | 22M| 0 | 460 | 500 |3159 | 500 |1144 |1187 | 0 | 0 |-1.978750e+02 |-8.100000e+01 | 59.07%
4.30/4.37 c 4.4s| 1 | 0 | 18091 | - | 23M| 0 | 427 | 500 |3159 | 500 |1238 |1281 | 0 | 0 |-1.972500e+02 |-8.100000e+01 | 58.94%
4.39/4.47 c 4.5s| 1 | 0 | 18383 | - | 23M| 0 | 429 | 500 |3159 | 500 |1323 |1366 | 0 | 0 |-1.972500e+02 |-8.100000e+01 | 58.94%
4.49/4.57 c 4.6s| 1 | 0 | 18811 | - | 23M| 0 | 397 | 500 |3159 | 500 |1341 |1384 | 0 | 0 |-1.970000e+02 |-8.100000e+01 | 58.88%
4.78/4.82 c 4.8s| 1 | 0 | 20546 | - | 24M| 0 | 444 | 500 |3159 | 500 |1363 |1406 | 0 | 0 |-1.962500e+02 |-8.100000e+01 | 58.73%
4.89/4.96 c 5.0s| 1 | 0 | 21287 | - | 24M| 0 | 449 | 500 |3159 | 500 |1152 |1432 | 0 | 0 |-1.957500e+02 |-8.100000e+01 | 58.62%
5.09/5.11 c 5.1s| 1 | 0 | 22199 | - | 25M| 0 | 426 | 500 |3159 | 500 |1167 |1447 | 0 | 0 |-1.950833e+02 |-8.100000e+01 | 58.48%
5.19/5.21 c 5.2s| 1 | 0 | 22739 | - | 25M| 0 | 448 | 500 |3159 | 500 |1189 |1469 | 0 | 0 |-1.946071e+02 |-8.100000e+01 | 58.38%
5.39/5.41 c 5.4s| 1 | 0 | 24120 | - | 25M| 0 | 462 | 500 |3159 | 500 |1243 |1523 | 0 | 0 |-1.944018e+02 |-8.100000e+01 | 58.33%
5.49/5.54 c 5.5s| 1 | 0 | 24596 | - | 26M| 0 | 454 | 500 |3159 | 500 |1286 |1566 | 0 | 0 |-1.937500e+02 |-8.100000e+01 | 58.19%
5.59/5.68 c 5.7s| 1 | 0 | 25332 | - | 26M| 0 | 420 | 500 |3159 | 500 |1356 |1636 | 0 | 0 |-1.935000e+02 |-8.100000e+01 | 58.14%
5.79/5.85 c 5.8s| 1 | 0 | 26212 | - | 27M| 0 | 415 | 500 |3159 | 500 |1008 |1646 | 0 | 0 |-1.932917e+02 |-8.100000e+01 | 58.09%
5.89/5.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
5.89/5.97 c 6.0s| 1 | 0 | 27050 | - | 27M| 0 | 465 | 500 |3159 | 500 |1041 |1679 | 0 | 0 |-1.931173e+02 |-8.100000e+01 | 58.06%
6.08/6.13 c 6.1s| 1 | 0 | 27918 | - | 28M| 0 | 457 | 500 |3159 | 500 |1136 |1774 | 0 | 0 |-1.929168e+02 |-8.100000e+01 | 58.01%
6.18/6.24 c 6.2s| 1 | 0 | 28287 | - | 28M| 0 | 456 | 500 |3159 | 500 |1219 |1857 | 0 | 0 |-1.928381e+02 |-8.100000e+01 | 58.00%
6.28/6.37 c 6.4s| 1 | 0 | 28730 | - | 29M| 0 | 465 | 500 |3159 | 500 |1246 |1884 | 0 | 0 |-1.924533e+02 |-8.100000e+01 | 57.91%
6.39/6.49 c 6.5s| 1 | 0 | 29118 | - | 29M| 0 | 473 | 500 |3159 | 500 |1278 |1916 | 0 | 0 |-1.922942e+02 |-8.100000e+01 | 57.88%
6.60/6.65 c 6.6s| 1 | 0 | 29578 | - | 29M| 0 | 466 | 500 |3159 | 500 |1137 |1949 | 0 | 0 |-1.921501e+02 |-8.100000e+01 | 57.85%
6.69/6.77 c 6.8s| 1 | 0 | 30151 | - | 29M| 0 | 475 | 500 |3159 | 500 |1152 |1964 | 0 | 0 |-1.920627e+02 |-8.100000e+01 | 57.83%
6.89/6.91 c 6.9s| 1 | 0 | 30595 | - | 29M| 0 | 453 | 500 |3159 | 500 |1238 |2050 | 0 | 0 |-1.919280e+02 |-8.100000e+01 | 57.80%
6.99/7.07 c 7.1s| 1 | 0 | 31314 | - | 29M| 0 | 474 | 500 |3159 | 500 |1272 |2084 | 0 | 0 |-1.917183e+02 |-8.100000e+01 | 57.75%
7.09/7.19 c 7.2s| 1 | 0 | 31746 | - | 30M| 0 | 484 | 500 |3159 | 500 |1325 |2137 | 0 | 0 |-1.916210e+02 |-8.100000e+01 | 57.73%
7.38/7.41 c 7.4s| 1 | 0 | 32689 | - | 31M| 0 | 492 | 500 |3159 | 500 |1356 |2168 | 0 | 0 |-1.914939e+02 |-8.100000e+01 | 57.70%
7.48/7.60 c 7.6s| 1 | 0 | 33120 | - | 31M| 0 | 488 | 500 |3159 | 500 |1111 |2205 | 0 | 0 |-1.914418e+02 |-8.100000e+01 | 57.69%
7.70/7.74 c 7.7s| 1 | 0 | 33396 | - | 31M| 0 | 485 | 500 |3159 | 500 |1132 |2226 | 0 | 0 |-1.910000e+02 |-8.100000e+01 | 57.59%
7.89/7.92 c 7.9s| 1 | 0 | 33641 | - | 31M| 0 | 486 | 500 |3159 | 500 |1227 |2321 | 0 | 0 |-1.910000e+02 |-8.100000e+01 | 57.59%
7.99/8.08 c 8.1s| 1 | 0 | 33883 | - | 31M| 0 | 488 | 500 |3159 | 500 |1240 |2334 | 0 | 0 |-1.910000e+02 |-8.100000e+01 | 57.59%
8.19/8.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
8.19/8.26 c 8.3s| 1 | 0 | 34296 | - | 31M| 0 | 471 | 500 |3159 | 500 |1256 |2350 | 0 | 0 |-1.910000e+02 |-8.100000e+01 | 57.59%
8.39/8.45 c 8.4s| 1 | 0 | 34858 | - | 31M| 0 | 480 | 500 |3159 | 500 |1279 |2373 | 0 | 0 |-1.910000e+02 |-8.100000e+01 | 57.59%
8.59/8.62 c 8.6s| 1 | 0 | 35277 | - | 31M| 0 | 460 | 500 |3159 | 500 |1131 |2381 | 0 | 0 |-1.910000e+02 |-8.100000e+01 | 57.59%
10.39/10.44 c 10.4s| 1 | 2 | 35277 | - | 31M| 0 | 460 | 500 |3159 | 500 |1131 |2381 | 0 | 18 |-1.910000e+02 |-8.100000e+01 | 57.59%
130.55/130.63 c 131s| 10000 | 10001 | 1786k| 175.2 | 50M| 37 | 2 | 500 |3159 | 500 | 490 | 747k| 0 |6078 |-1.910000e+02 |-8.100000e+01 | 57.59%
242.13/242.27 c 242s| 20000 | 20001 | 3603k| 178.4 | 67M| 42 | 176 | 500 |3159 | 500 | 745 |1508k| 0 |8588 |-1.910000e+02 |-8.100000e+01 | 57.59%
337.21/337.34 c 337s| 30000 | 30001 | 5141k| 170.2 | 86M| 62 | 126 | 500 |3159 | 500 | 586 |2065k| 0 | 10k|-1.910000e+02 |-8.100000e+01 | 57.59%
426.99/427.17 c 427s| 40000 | 40001 | 6602k| 164.2 | 104M| 62 | 118 | 500 |3159 | 500 | 585 |2612k| 0 | 11k|-1.910000e+02 |-8.100000e+01 | 57.59%
507.98/508.18 c 508s| 50000 | 50001 | 7962k| 158.5 | 122M| 62 | 55 | 500 |3159 | 500 | 490 |3147k| 0 | 12k|-1.910000e+02 |-8.100000e+01 | 57.59%
589.66/589.81 c 590s| 60000 | 60001 | 9338k| 155.1 | 140M| 62 | 12 | 500 |3159 | 500 | 490 |3686k| 0 | 13k|-1.910000e+02 |-8.100000e+01 | 57.59%
672.65/672.86 c 673s| 70000 | 70001 | 10730k| 152.8 | 159M| 62 | 207 | 500 |3159 | 500 | 585 |4223k| 0 | 14k|-1.910000e+02 |-8.100000e+01 | 57.59%
756.23/756.46 c 756s| 80000 | 80001 | 12140k| 151.3 | 177M| 62 | 231 | 500 |3159 | 500 | 770 |4762k| 0 | 15k|-1.910000e+02 |-8.100000e+01 | 57.59%
843.21/843.45 c 843s| 90000 | 90001 | 13593k| 150.6 | 195M| 62 | 292 | 500 |3159 | 500 | 776 |5291k| 0 | 16k|-1.910000e+02 |-8.100000e+01 | 57.59%
930.00/930.27 c 930s|100000 |100001 | 15056k| 150.2 | 213M| 62 | 27 | 500 |3159 | 500 | 588 |5805k| 0 | 16k|-1.910000e+02 |-8.100000e+01 | 57.59%
1011.88/1012.14 c 1012s|110000 |110001 | 16452k| 149.2 | 230M| 63 | 159 | 500 |3159 | 500 | 735 |6325k| 0 | 17k|-1.910000e+02 |-8.100000e+01 | 57.59%
1091.87/1092.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1091.87/1092.19 c 1092s|120000 |120001 | 17816k| 148.2 | 248M| 63 | 4 | 500 |3159 | 500 | 490 |6854k| 0 | 18k|-1.910000e+02 |-8.100000e+01 | 57.59%
1179.45/1179.74 c 1180s|130000 |130001 | 19288k| 148.1 | 267M| 63 | 50 | 500 |3159 | 500 | 490 |7394k| 0 | 18k|-1.910000e+02 |-8.100000e+01 | 57.59%
1260.64/1260.92 c 1261s|140000 |140001 | 20673k| 147.4 | 285M| 63 | 16 | 500 |3159 | 500 | 490 |7914k| 0 | 19k|-1.910000e+02 |-8.100000e+01 | 57.59%
1341.43/1341.76 c 1342s|150000 |150001 | 22063k| 146.9 | 303M| 63 | 19 | 500 |3159 | 500 | 490 |8441k| 0 | 19k|-1.910000e+02 |-8.100000e+01 | 57.59%
1423.02/1423.34 c 1423s|160000 |160001 | 23456k| 146.4 | 321M| 63 | 236 | 500 |3159 | 500 | 853 |8975k| 0 | 20k|-1.910000e+02 |-8.100000e+01 | 57.59%
1506.70/1507.06 c 1507s|170000 |170001 | 24876k| 146.1 | 339M| 63 | 200 | 500 |3159 | 500 | 653 |9503k| 0 | 20k|-1.910000e+02 |-8.100000e+01 | 57.59%
1593.38/1593.80 c 1594s|180000 |180001 | 26337k| 146.1 | 357M| 63 | 4 | 500 |3159 | 500 | 490 | 10M| 0 | 21k|-1.910000e+02 |-8.100000e+01 | 57.59%
1678.56/1678.93 c 1679s|190000 |190001 | 27784k| 146.1 | 375M| 63 | 212 | 500 |3159 | 500 | 745 | 10M| 0 | 22k|-1.910000e+02 |-8.100000e+01 | 57.59%
1761.55/1761.92 c 1762s|200000 |200001 | 29198k| 145.8 | 393M| 63 | 260 | 500 |3159 | 500 | 775 | 11M| 0 | 22k|-1.910000e+02 |-8.100000e+01 | 57.59%
1796.65/1797.00 c
1796.65/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.65/1797.00 c Solving Time (sec) : 1797.00
1796.65/1797.00 c Solving Nodes : 204053
1796.65/1797.00 c Primal Bound : -8.10000000000000e+01 (547 solutions)
1796.65/1797.00 c Dual Bound : -1.91000000000000e+02
1796.65/1797.00 c Gap : 57.59 %
1796.65/1797.01 s SATISFIABLE
1796.65/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
1796.65/1797.01 v x478 -x477 x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458
1796.65/1797.01 v x457 -x456 x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437
1796.65/1797.01 v -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416
1796.65/1797.01 v -x415 -x414 -x413 -x412 -x411 -x410 x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395
1796.65/1797.01 v -x394 x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 x374
1796.65/1797.01 v -x373 x372 x371 -x370 -x369 -x368 x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 x354 -x353 -x352
1796.65/1797.01 v -x351 -x350 -x349 x348 -x347 -x346 x345 -x344 x343 x342 -x341 x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 x331 -x330
1796.65/1797.01 v -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 x313 -x312 -x311 -x310 -x309
1796.65/1797.01 v -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 x290 -x289 -x288
1796.65/1797.01 v -x287 -x286 x285 -x284 -x283 -x282 -x281 x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267
1796.65/1797.01 v -x266 -x265 -x264 -x263 -x262 x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 x252 -x251 -x250 -x249 -x248 -x247 x246
1796.65/1797.01 v -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225
1796.65/1797.01 v -x224 -x223 -x222 -x221 x220 x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 x211 -x210 -x209 -x208 -x207 -x206 x205 -x204 -x203
1796.65/1797.01 v -x202 x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 x188 -x187 -x186 -x185 -x184 -x183 x182
1796.65/1797.01 v -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 x162 -x161
1796.65/1797.01 v -x160 -x159 x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 x140
1796.65/1797.01 v -x139 -x138 -x137 -x136 x135 -x134 -x133 -x132 -x131 x130 x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 x119 -x118
1796.65/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
1796.65/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
1796.65/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
1796.65/1797.01 v x43 -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
1796.65/1797.01 v x15 -x14 x13 x12 x11 -x10 x9 -x8 x7 -x6 -x5 -x4 x3 x2 x1
1796.65/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.65/1797.01 c Total Time : 1797.00
1796.65/1797.01 c solving : 1797.00
1796.65/1797.01 c presolving : 0.06 (included in solving)
1796.65/1797.01 c reading : 0.02 (included in solving)
1796.65/1797.01 c Original Problem :
1796.65/1797.01 c Problem name : HOME/instance-3737087-1338724490.opb
1796.65/1797.01 c Variables : 3659 (3659 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.65/1797.01 c Constraints : 4159 initial, 4159 maximal
1796.65/1797.01 c Presolved Problem :
1796.65/1797.01 c Problem name : t_HOME/instance-3737087-1338724490.opb
1796.65/1797.01 c Variables : 500 (500 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.65/1797.01 c Constraints : 3159 initial, 3159 maximal
1796.65/1797.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.65/1797.01 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1796.65/1797.01 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1796.65/1797.01 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1796.65/1797.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1796.65/1797.01 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1796.65/1797.01 c implics : 0.00 0 0 0 0 0 0 0 0 0
1796.65/1797.01 c probing : 0.01 0 0 0 0 0 0 0 0 0
1796.65/1797.01 c setppc : 0.00 0 0 0 0 0 0 0 0 0
1796.65/1797.01 c and : 0.03 0 0 0 0 0 0 0 0 0
1796.65/1797.01 c linear : 0.01 3159 0 0 3159 0 500 0 0 0
1796.65/1797.01 c pseudoboolean : 0.00 0 0 0 0 0 500 0 0 0
1796.65/1797.01 c root node : - 0 - - 0 - - - - -
1796.65/1797.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1796.65/1797.01 c integral : 0 0 0 249777 0 407305 0 0 0 0 0 408102
1796.65/1797.01 c setppc : 3159 59 639116 45726 2 407301 0 0 1630881 11356122 0 0
1796.65/1797.01 c countsols : 0 0 0 0 2 549 0 0 0 0 0 0
1796.65/1797.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1796.65/1797.01 c integral : 76.90 0.00 0.00 76.81 0.00 0.09 0.00
1796.65/1797.01 c setppc : 28.98 0.05 16.01 7.14 0.00 5.78 0.00
1796.65/1797.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.65/1797.01 c Propagators : #Propagate #Resprop Cutoffs DomReds
1796.65/1797.01 c vbounds : 0 0 0 0
1796.65/1797.01 c rootredcost : 0 0 0 0
1796.65/1797.01 c pseudoobj : 639070 0 0 0
1796.65/1797.01 c Propagator Timings : TotalTime Propagate Resprop
1796.65/1797.01 c vbounds : 0.10 0.10 0.00
1796.65/1797.01 c rootredcost : 0.11 0.11 0.00
1796.65/1797.01 c pseudoobj : 5.36 5.36 0.00
1796.65/1797.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.65/1797.01 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1796.65/1797.01 c infeasible LP : 0.00 2 2 2 99.0 0 0.0 0
1796.65/1797.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.65/1797.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.65/1797.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.65/1797.01 c applied globally : - - - 0 0.0 - - -
1796.65/1797.01 c applied locally : - - - 0 0.0 - - -
1796.65/1797.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1796.65/1797.01 c cut pool : 0.14 58 - - 429 - (maximal pool size: 4865)
1796.65/1797.01 c redcost : 2.35 249835 0 0 0 0
1796.65/1797.01 c impliedbounds : 0.02 59 0 0 3380 0
1796.65/1797.01 c intobj : 0.00 0 0 0 0 0
1796.65/1797.01 c gomory : 2.86 59 0 0 25454 0
1796.65/1797.01 c cgmip : 0.00 0 0 0 0 0
1796.65/1797.01 c closecuts : 0.00 0 0 0 0 0
1796.65/1797.01 c strongcg : 0.55 20 0 0 10000 0
1796.65/1797.01 c cmir : 0.07 10 0 0 0 0
1796.65/1797.01 c flowcover : 0.06 10 0 0 0 0
1796.65/1797.01 c clique : 0.17 59 0 0 404 0
1796.65/1797.01 c zerohalf : 0.00 0 0 0 0 0
1796.65/1797.01 c mcf : 0.00 1 0 0 0 0
1796.65/1797.01 c oddcycle : 0.00 0 0 0 0 0
1796.65/1797.01 c rapidlearning : 0.05 1 0 0 0 0
1796.65/1797.01 c Pricers : Time Calls Vars
1796.65/1797.01 c problem variables: 0.00 0 0
1796.65/1797.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1796.65/1797.01 c relpscost : 76.69 204051 0 0 0 0 408102
1796.65/1797.01 c pscost : 0.00 0 0 0 0 0 0
1796.65/1797.01 c inference : 0.00 2 0 0 0 0 4
1796.65/1797.01 c mostinf : 0.00 0 0 0 0 0 0
1796.65/1797.01 c leastinf : 0.00 0 0 0 0 0 0
1796.65/1797.01 c fullstrong : 0.00 0 0 0 0 0 0
1796.65/1797.01 c allfullstrong : 0.00 0 0 0 0 0 0
1796.65/1797.01 c random : 0.00 0 0 0 0 0 0
1796.65/1797.01 c Primal Heuristics : Time Calls Found
1796.65/1797.01 c LP solutions : 0.00 - 0
1796.65/1797.01 c pseudo solutions : 0.00 - 0
1796.65/1797.01 c oneopt : 0.09 1 0
1796.65/1797.01 c crossover : 0.33 10 4
1796.65/1797.01 c rootsoldiving : 11.79 1148 0
1796.65/1797.01 c linesearchdiving : 33.54 3469 44
1796.65/1797.01 c guideddiving : 33.71 3469 22
1796.65/1797.01 c coefdiving : 34.10 3470 97
1796.65/1797.01 c pscostdiving : 34.32 3470 65
1796.65/1797.01 c trivial : 0.00 2 1
1796.65/1797.01 c shiftandpropagate: 0.00 0 0
1796.65/1797.01 c simplerounding : 4.49 204105 193
1796.65/1797.01 c zirounding : 0.12 1000 0
1796.65/1797.01 c rounding : 13.28 21544 1
1796.65/1797.01 c shifting : 4.13 6315 1
1796.65/1797.01 c intshifting : 0.00 0 0
1796.65/1797.01 c twoopt : 0.00 0 0
1796.65/1797.01 c fixandinfer : 0.00 0 0
1796.65/1797.01 c feaspump : 0.01 0 0
1796.65/1797.01 c clique : 0.00 0 0
1796.65/1797.01 c fracdiving : 33.40 3470 29
1796.65/1797.01 c veclendiving : 41.50 3470 49
1796.65/1797.01 c intdiving : 0.00 0 0
1796.65/1797.01 c actconsdiving : 0.00 0 0
1796.65/1797.01 c objpscostdiving : 18.45 885 40
1796.65/1797.01 c octane : 0.00 0 0
1796.65/1797.01 c rens : 0.01 0 0
1796.65/1797.01 c rins : 0.00 0 0
1796.65/1797.01 c localbranching : 0.00 0 0
1796.65/1797.01 c mutation : 0.00 0 0
1796.65/1797.01 c dins : 0.00 0 0
1796.65/1797.01 c vbounds : 0.00 0 0
1796.65/1797.01 c undercover : 0.02 1 0
1796.65/1797.01 c subnlp : 0.03 0 0
1796.65/1797.01 c trysol : 0.04 0 0
1796.65/1797.01 c LP : Time Calls Iterations Iter/call Iter/sec
1796.65/1797.01 c primal LP : 13.24 0 0 0.00 0.00
1796.65/1797.01 c dual LP : 1366.97 249813 26179338 104.80 19151.32
1796.65/1797.01 c lex dual LP : 0.00 0 0 0.00 -
1796.65/1797.01 c barrier LP : 0.00 0 0 0.00 -
1796.65/1797.01 c diving/probing LP: 199.63 175447 3611999 20.59 18093.12
1796.65/1797.01 c strong branching : 71.60 22826 997440 43.70 13929.84
1796.65/1797.01 c (at root node) : - 18 15563 864.61 -
1796.65/1797.01 c conflict analysis: 0.00 0 0 0.00 -
1796.65/1797.01 c B&B Tree :
1796.65/1797.01 c number of runs : 1
1796.65/1797.01 c nodes : 204053
1796.65/1797.01 c nodes (total) : 204053
1796.65/1797.01 c nodes left : 204054
1796.65/1797.01 c max depth : 63
1796.65/1797.01 c max depth (total): 63
1796.65/1797.01 c backtracks : 22850 (11.2%)
1796.65/1797.01 c delayed cutoffs : 0
1796.65/1797.01 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1796.65/1797.01 c avg switch length: 3.69
1796.65/1797.01 c switching time : 24.26
1796.65/1797.01 c Solution :
1796.65/1797.01 c Solutions found : 547 (4 improvements)
1796.65/1797.01 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.04 seconds, depth 0, found by <trivial>)
1796.65/1797.01 c Primal Bound : -8.10000000000000e+01 (in run 1, after 1 nodes, 0.24 seconds, depth 0, found by <trysol>)
1796.65/1797.01 c Dual Bound : -1.91000000000000e+02
1796.65/1797.01 c Gap : 57.59 %
1796.65/1797.01 c Root Dual Bound : -1.91000000000000e+02
1796.65/1797.01 c Root Iterations : 35277
1797.15/1797.58 c Time complete: 1797.23.
OK -81
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) 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-3737087-1338724490/watcher-3737087-1338724490 -o /tmp/evaluation-result-3737087-1338724490/solver-3737087-1338724490 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3737087-1338724490.opb -t 1800 -m 15500 running on 4 cores: 1,3,5,7 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.00 2.00 2.00 3/174 30132 /proc/meminfo: memFree=28136052/32873852 swapFree=7624/7624 [pid=30132] ppid=30130 vsize=9588 CPUtime=0 cores=1,3,5,7 /proc/30132/stat : 30132 (scip-2.0.1.4b_2) R 30130 30132 29314 0 -1 4202496 1511 0 0 0 0 0 0 0 20 0 1 0 338574460 9818112 1465 33554432000 4194304 9016284 140735468639584 140735797570328 7824814 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/30132/statm: 2397 1468 311 1178 0 1215 0 [startup+0.0994191 s] /proc/loadavg: 2.00 2.00 2.00 3/174 30132 /proc/meminfo: memFree=28136052/32873852 swapFree=7624/7624 [pid=30132] ppid=30130 vsize=33280 CPUtime=0.09 cores=1,3,5,7 /proc/30132/stat : 30132 (scip-2.0.1.4b_2) R 30130 30132 29314 0 -1 4202496 7337 0 0 0 8 1 0 0 20 0 1 0 338574460 34078720 7034 33554432000 4194304 9016284 140735468639584 140735468635256 5510784 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/30132/statm: 8320 7034 520 1178 0 7138 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 33280 [startup+0.100326 s] /proc/loadavg: 2.00 2.00 2.00 3/174 30132 /proc/meminfo: memFree=28136052/32873852 swapFree=7624/7624 [pid=30132] ppid=30130 vsize=33280 CPUtime=0.09 cores=1,3,5,7 /proc/30132/stat : 30132 (scip-2.0.1.4b_2) R 30130 30132 29314 0 -1 4202496 7337 0 0 0 8 1 0 0 20 0 1 0 338574460 34078720 7034 33554432000 4194304 9016284 140735468639584 140735468635256 5512272 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/30132/statm: 8320 7034 520 1178 0 7138 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 33280 [startup+0.300299 s] /proc/loadavg: 2.00 2.00 2.00 3/174 30132 /proc/meminfo: memFree=28136052/32873852 swapFree=7624/7624 [pid=30132] ppid=30130 vsize=39284 CPUtime=0.29 cores=1,3,5,7 /proc/30132/stat : 30132 (scip-2.0.1.4b_2) R 30130 30132 29314 0 -1 4202496 15986 0 0 0 27 2 0 0 20 0 1 0 338574460 40226816 8741 33554432000 4194304 9016284 140735468639584 140735468635256 4777519 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/30132/statm: 9821 8741 685 1178 0 8639 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 39284 [startup+0.700296 s] /proc/loadavg: 2.00 2.00 2.00 3/174 30132 /proc/meminfo: memFree=28136052/32873852 swapFree=7624/7624 [pid=30132] ppid=30130 vsize=42056 CPUtime=0.69 cores=1,3,5,7 /proc/30132/stat : 30132 (scip-2.0.1.4b_2) R 30130 30132 29314 0 -1 4202496 16627 0 0 0 66 3 0 0 20 0 1 0 338574460 43065344 9379 33554432000 4194304 9016284 140735468639584 140735468635256 6270508 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/30132/statm: 10514 9379 689 1178 0 9332 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 42056 [startup+1.50029 s] /proc/loadavg: 2.00 2.00 2.00 3/175 30133 /proc/meminfo: memFree=28096224/32873852 swapFree=7624/7624 [pid=30132] ppid=30130 vsize=55568 CPUtime=1.48 cores=1,3,5,7 /proc/30132/stat : 30132 (scip-2.0.1.4b_2) R 30130 30132 29314 0 -1 4202496 19526 0 0 0 144 4 0 0 20 0 1 0 338574460 56901632 12772 33554432000 4194304 9016284 140735468639584 140735468633752 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/30132/statm: 13892 12772 691 1178 0 12710 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 55568 [startup+3.10019 s] /proc/loadavg: 2.00 2.00 2.00 3/175 30133 /proc/meminfo: memFree=28077312/32873852 swapFree=7624/7624 [pid=30132] ppid=30130 vsize=71332 CPUtime=3.09 cores=1,3,5,7 /proc/30132/stat : 30132 (scip-2.0.1.4b_2) R 30130 30132 29314 0 -1 4202496 23559 0 0 0 303 6 0 0 20 0 1 0 338574460 73043968 16718 33554432000 4194304 9016284 140735468639584 140735468633496 4786453 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/30132/statm: 17833 16718 691 1178 0 16651 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 71332 [startup+6.30032 s] /proc/loadavg: 2.00 2.00 2.00 3/175 30133 /proc/meminfo: memFree=28060688/32873852 swapFree=7624/7624 [pid=30132] ppid=30130 vsize=83816 CPUtime=6.28 cores=1,3,5,7 /proc/30132/stat : 30132 (scip-2.0.1.4b_2) R 30130 30132 29314 0 -1 4202496 26763 0 0 0 619 9 0 0 20 0 1 0 338574460 85827584 19868 33554432000 4194304 9016284 140735468639584 140735468633752 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/30132/statm: 20954 19868 693 1178 0 19772 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 83816 [startup+12.7002 s] /proc/loadavg: 2.00 2.00 2.00 3/175 30133 /proc/meminfo: memFree=28054868/32873852 swapFree=7624/7624 [pid=30132] ppid=30130 vsize=86924 CPUtime=12.68 cores=1,3,5,7 /proc/30132/stat : 30132 (scip-2.0.1.4b_2) R 30130 30132 29314 0 -1 4202496 29291 0 0 0 1252 16 0 0 20 0 1 0 338574460 89010176 20690 33554432000 4194304 9016284 140735468639584 140735468633336 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/30132/statm: 21731 20690 697 1178 0 20549 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 86924 [startup+25.5002 s] /proc/loadavg: 2.00 2.00 2.00 3/175 30133 /proc/meminfo: memFree=28054056/32873852 swapFree=7624/7624 [pid=30132] ppid=30130 vsize=86924 CPUtime=25.48 cores=1,3,5,7 /proc/30132/stat : 30132 (scip-2.0.1.4b_2) R 30130 30132 29314 0 -1 4202496 35537 0 0 0 2511 37 0 0 20 0 1 0 338574460 89010176 20696 33554432000 4194304 9016284 140735468639584 140735468633448 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/30132/statm: 21731 20696 701 1178 0 20549 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 86924 [startup+51.1003 s] /proc/loadavg: 2.00 2.00 2.00 3/175 30133 /proc/meminfo: memFree=28050944/32873852 swapFree=7624/7624 [pid=30132] ppid=30130 vsize=89372 CPUtime=51.07 cores=1,3,5,7 /proc/30132/stat : 30132 (scip-2.0.1.4b_2) R 30130 30132 29314 0 -1 4202496 43215 0 0 0 5026 81 0 0 20 0 1 0 338574460 91516928 21352 33554432000 4194304 9016284 140735468639584 140735468633752 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/30132/statm: 22343 21352 701 1178 0 21161 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 89372 [startup+102.306 s] /proc/loadavg: 2.04 2.01 2.00 3/175 30133 /proc/meminfo: memFree=28030232/32873852 swapFree=7624/7624 [pid=30132] ppid=30130 vsize=98172 CPUtime=102.26 cores=1,3,5,7 /proc/30132/stat : 30132 (scip-2.0.1.4b_2) R 30130 30132 29314 0 -1 4202496 48924 0 0 0 10065 161 0 0 20 0 1 0 338574460 100528128 23838 33554432000 4194304 9016284 140735468639584 140735468633448 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/30132/statm: 24543 23838 701 1178 0 23361 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 98172 [startup+162.3 s] /proc/loadavg: 2.01 2.01 2.00 3/175 30133 /proc/meminfo: memFree=28012872/32873852 swapFree=7624/7624 [pid=30132] ppid=30130 vsize=106904 CPUtime=162.25 cores=1,3,5,7 /proc/30132/stat : 30132 (scip-2.0.1.4b_2) R 30130 30132 29314 0 -1 4202496 54576 0 0 0 15963 262 0 0 20 0 1 0 338574460 109469696 26016 33554432000 4194304 9016284 140735468639584 140735468633496 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/30132/statm: 26726 26016 701 1178 0 25544 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 106904 [startup+222.3 s] /proc/loadavg: 2.00 2.00 2.00 3/175 30134 /proc/meminfo: memFree=27989656/32873852 swapFree=7624/7624 [pid=30132] ppid=30130 vsize=119824 CPUtime=222.23 cores=1,3,5,7 /proc/30132/stat : 30132 (scip-2.0.1.4b_2) R 30130 30132 29314 0 -1 4202496 61301 0 0 0 21864 359 0 0 20 0 1 0 338574460 122699776 29234 33554432000 4194304 9016284 140735468639584 140735468633448 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/30132/statm: 29956 29234 701 1178 0 28774 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 119824 [startup+282.3 s] /proc/loadavg: 2.00 2.00 2.00 3/175 30134 /proc/meminfo: memFree=27970796/32873852 swapFree=7624/7624 [pid=30132] ppid=30130 vsize=128904 CPUtime=282.22 cores=1,3,5,7 /proc/30132/stat : 30132 (scip-2.0.1.4b_2) R 30130 30132 29314 0 -1 4202496 63616 0 0 0 27766 456 0 0 20 0 1 0 338574460 131997696 31523 33554432000 4194304 9016284 140735468639584 140735468633400 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/30132/statm: 32226 31523 701 1178 0 31044 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 128904 [startup+342.3 s] /proc/loadavg: 2.00 2.00 2.00 3/176 30137 /proc/meminfo: memFree=27955016/32873852 swapFree=7624/7624 [pid=30132] ppid=30130 vsize=140100 CPUtime=342.21 cores=1,3,5,7 /proc/30132/stat : 30132 (scip-2.0.1.4b_2) R 30130 30132 29314 0 -1 4202496 66433 0 0 0 33669 552 0 0 20 0 1 0 338574460 143462400 34322 33554432000 4194304 9016284 140735468639584 140735468633448 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/30132/statm: 35025 34322 701 1178 0 33843 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 140100 [startup+402.3 s] /proc/loadavg: 2.00 2.00 2.00 3/176 30160 /proc/meminfo: memFree=27933192/32873852 swapFree=7624/7624 [pid=30132] ppid=30130 vsize=152292 CPUtime=402.2 cores=1,3,5,7 /proc/30132/stat : 30132 (scip-2.0.1.4b_2) R 30130 30132 29314 0 -1 4202496 69408 0 0 0 39575 645 0 0 20 0 1 0 338574460 155947008 37296 33554432000 4194304 9016284 140735468639584 140735468633496 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/30132/statm: 38073 37296 701 1178 0 36891 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 152292 [startup+462.3 s] /proc/loadavg: 2.00 2.00 2.00 3/175 30198 /proc/meminfo: memFree=28046232/32873852 swapFree=7624/7624 [pid=30132] ppid=30130 vsize=166804 CPUtime=462.19 cores=1,3,5,7 /proc/30132/stat : 30132 (scip-2.0.1.4b_2) R 30130 30132 29314 0 -1 4202496 76679 0 0 0 45480 739 0 0 20 0 1 0 338574460 170807296 40997 33554432000 4194304 9016284 140735468639584 140735468633544 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/30132/statm: 41701 40997 701 1178 0 40519 0 Current children cumulated CPU time (s) 462.19 Current children cumulated vsize (KiB) 166804 [startup+522.3 s] /proc/loadavg: 2.00 2.00 2.00 3/175 30199 /proc/meminfo: memFree=28030080/32873852 swapFree=7624/7624 [pid=30132] ppid=30130 vsize=182760 CPUtime=522.18 cores=1,3,5,7 /proc/30132/stat : 30132 (scip-2.0.1.4b_2) R 30130 30132 29314 0 -1 4202496 80693 0 0 0 51378 840 0 0 20 0 1 0 338574460 187146240 45004 33554432000 4194304 9016284 140735468639584 140735468633496 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/30132/statm: 45690 45004 701 1178 0 44508 0 Current children cumulated CPU time (s) 522.18 Current children cumulated vsize (KiB) 182760 [startup+582.3 s] /proc/loadavg: 2.00 2.00 2.00 3/175 30199 /proc/meminfo: memFree=28017732/32873852 swapFree=7624/7624 [pid=30132] ppid=30130 vsize=194940 CPUtime=582.16 cores=1,3,5,7 /proc/30132/stat : 30132 (scip-2.0.1.4b_2) R 30130 30132 29314 0 -1 4202496 87213 0 0 0 57272 944 0 0 20 0 1 0 338574460 199618560 48051 33554432000 4194304 9016284 140735468639584 140735468633544 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/30132/statm: 48735 48051 701 1178 0 47553 0 Current children cumulated CPU time (s) 582.16 Current children cumulated vsize (KiB) 194940 [startup+642.3 s] ################ # More data... # ################ /proc/meminfo: memFree=27790224/32873852 swapFree=7624/7624 [pid=30132] ppid=30130 vsize=297140 CPUtime=1062.08 cores=1,3,5,7 /proc/30132/stat : 30132 (scip-2.0.1.4b_2) R 30130 30132 29314 0 -1 4202496 112467 0 0 0 104447 1761 0 0 20 0 1 0 338574460 304271360 73254 33554432000 4194304 9016284 140735468639584 140735468634168 7260768 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/30132/statm: 74285 73254 701 1178 0 73103 0 Current children cumulated CPU time (s) 1062.08 Current children cumulated vsize (KiB) 297140 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/175 30204 /proc/meminfo: memFree=27747072/32873852 swapFree=7624/7624 [pid=30132] ppid=30130 vsize=314240 CPUtime=1122.06 cores=1,3,5,7 /proc/30132/stat : 30132 (scip-2.0.1.4b_2) R 30130 30132 29314 0 -1 4202496 120216 0 0 0 110340 1866 0 0 20 0 1 0 338574460 321781760 77499 33554432000 4194304 9016284 140735468639584 140735468633448 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/30132/statm: 78560 77499 701 1178 0 77378 0 Current children cumulated CPU time (s) 1122.06 Current children cumulated vsize (KiB) 314240 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/175 30204 /proc/meminfo: memFree=27701296/32873852 swapFree=7624/7624 [pid=30132] ppid=30130 vsize=328348 CPUtime=1182.06 cores=1,3,5,7 /proc/30132/stat : 30132 (scip-2.0.1.4b_2) R 30130 30132 29314 0 -1 4202496 123840 0 0 0 116239 1967 0 0 20 0 1 0 338574460 336228352 81119 33554432000 4194304 9016284 140735468639584 140735468633544 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/30132/statm: 82087 81119 701 1178 0 80905 0 Current children cumulated CPU time (s) 1182.06 Current children cumulated vsize (KiB) 328348 [startup+1242.3 s] /proc/loadavg: 2.04 2.01 2.00 3/175 30204 /proc/meminfo: memFree=27664156/32873852 swapFree=7624/7624 [pid=30132] ppid=30130 vsize=340048 CPUtime=1242.05 cores=1,3,5,7 /proc/30132/stat : 30132 (scip-2.0.1.4b_2) R 30130 30132 29314 0 -1 4202496 126800 0 0 0 122131 2074 0 0 20 0 1 0 338574460 348209152 84075 33554432000 4194304 9016284 140735468639584 140735468633752 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/30132/statm: 85012 84075 701 1178 0 83830 0 Current children cumulated CPU time (s) 1242.05 Current children cumulated vsize (KiB) 340048 [startup+1302.3 s] /proc/loadavg: 2.01 2.01 2.00 3/175 30204 /proc/meminfo: memFree=27627576/32873852 swapFree=7624/7624 [pid=30132] ppid=30130 vsize=353544 CPUtime=1302.04 cores=1,3,5,7 /proc/30132/stat : 30132 (scip-2.0.1.4b_2) R 30130 30132 29314 0 -1 4202496 130131 0 0 0 128029 2175 0 0 20 0 1 0 338574460 362029056 87401 33554432000 4194304 9016284 140735468639584 140735468633000 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/30132/statm: 88386 87401 701 1178 0 87204 0 Current children cumulated CPU time (s) 1302.04 Current children cumulated vsize (KiB) 353544 [startup+1362.3 s] /proc/loadavg: 2.07 2.02 2.00 3/175 30204 /proc/meminfo: memFree=27585912/32873852 swapFree=7624/7624 [pid=30132] ppid=30130 vsize=367788 CPUtime=1362.02 cores=1,3,5,7 /proc/30132/stat : 30132 (scip-2.0.1.4b_2) R 30130 30132 29314 0 -1 4202496 133734 0 0 0 133928 2274 0 0 20 0 1 0 338574460 376614912 91004 33554432000 4194304 9016284 140735468639584 140735468633544 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/30132/statm: 91947 91004 701 1178 0 90765 0 Current children cumulated CPU time (s) 1362.02 Current children cumulated vsize (KiB) 367788 [startup+1422.31 s] /proc/loadavg: 2.02 2.01 2.00 3/175 30205 /proc/meminfo: memFree=27538352/32873852 swapFree=7624/7624 [pid=30132] ppid=30130 vsize=380156 CPUtime=1422.03 cores=1,3,5,7 /proc/30132/stat : 30132 (scip-2.0.1.4b_2) R 30130 30132 29314 0 -1 4202496 136977 0 0 0 139828 2375 0 0 20 0 1 0 338574460 389279744 94221 33554432000 4194304 9016284 140735468639584 140735468633448 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/30132/statm: 95039 94221 701 1178 0 93857 0 Current children cumulated CPU time (s) 1422.03 Current children cumulated vsize (KiB) 380156 [startup+1482.3 s] /proc/loadavg: 2.04 2.02 2.00 3/175 30205 /proc/meminfo: memFree=27495484/32873852 swapFree=7624/7624 [pid=30132] ppid=30130 vsize=392776 CPUtime=1481.99 cores=1,3,5,7 /proc/30132/stat : 30132 (scip-2.0.1.4b_2) R 30130 30132 29314 0 -1 4202496 140097 0 0 0 145726 2473 0 0 20 0 1 0 338574460 402202624 97327 33554432000 4194304 9016284 140735468639584 140735468633672 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/30132/statm: 98194 97327 701 1178 0 97012 0 Current children cumulated CPU time (s) 1481.99 Current children cumulated vsize (KiB) 392776 [startup+1542.3 s] /proc/loadavg: 2.01 2.02 2.00 3/176 30208 /proc/meminfo: memFree=27451332/32873852 swapFree=7624/7624 [pid=30132] ppid=30130 vsize=404704 CPUtime=1541.99 cores=1,3,5,7 /proc/30132/stat : 30132 (scip-2.0.1.4b_2) R 30130 30132 29314 0 -1 4202496 143136 0 0 0 151627 2572 0 0 20 0 1 0 338574460 414416896 100366 33554432000 4194304 9016284 140735468639584 140735468633544 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/30132/statm: 101176 100366 701 1178 0 99994 0 Current children cumulated CPU time (s) 1541.99 Current children cumulated vsize (KiB) 404704 [startup+1602.3 s] /proc/loadavg: 2.00 2.01 2.00 3/175 30208 /proc/meminfo: memFree=27409800/32873852 swapFree=7624/7624 [pid=30132] ppid=30130 vsize=416508 CPUtime=1601.98 cores=1,3,5,7 /proc/30132/stat : 30132 (scip-2.0.1.4b_2) R 30130 30132 29314 0 -1 4202496 146039 0 0 0 157528 2670 0 0 20 0 1 0 338574460 426504192 103269 33554432000 4194304 9016284 140735468639584 140735468633000 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/30132/statm: 104127 103269 701 1178 0 102945 0 Current children cumulated CPU time (s) 1601.98 Current children cumulated vsize (KiB) 416508 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/175 30208 /proc/meminfo: memFree=27365156/32873852 swapFree=7624/7624 [pid=30132] ppid=30130 vsize=426624 CPUtime=1661.97 cores=1,3,5,7 /proc/30132/stat : 30132 (scip-2.0.1.4b_2) R 30130 30132 29314 0 -1 4202496 148601 0 0 0 163425 2772 0 0 20 0 1 0 338574460 436862976 105822 33554432000 4194304 9016284 140735468639584 140735468633912 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/30132/statm: 106656 105822 701 1178 0 105474 0 Current children cumulated CPU time (s) 1661.97 Current children cumulated vsize (KiB) 426624 [startup+1722.3 s] /proc/loadavg: 2.04 2.02 2.00 3/175 30209 /proc/meminfo: memFree=27320172/32873852 swapFree=7624/7624 [pid=30132] ppid=30130 vsize=439624 CPUtime=1721.96 cores=1,3,5,7 /proc/30132/stat : 30132 (scip-2.0.1.4b_2) R 30130 30132 29314 0 -1 4202496 151950 0 0 0 169317 2879 0 0 20 0 1 0 338574460 450174976 109165 33554432000 4194304 9016284 140735468639584 140735468633672 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/30132/statm: 109906 109165 701 1178 0 108724 0 Current children cumulated CPU time (s) 1721.96 Current children cumulated vsize (KiB) 439624 [startup+1782.3 s] /proc/loadavg: 2.01 2.01 2.00 3/175 30209 /proc/meminfo: memFree=27274320/32873852 swapFree=7624/7624 [pid=30132] ppid=30130 vsize=459588 CPUtime=1781.95 cores=1,3,5,7 /proc/30132/stat : 30132 (scip-2.0.1.4b_2) R 30130 30132 29314 0 -1 4202496 155991 0 0 0 175211 2984 0 0 20 0 1 0 338574460 470618112 113192 33554432000 4194304 9016284 140735468639584 140735468633912 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/30132/statm: 114897 113192 701 1178 0 113715 0 Current children cumulated CPU time (s) 1781.95 Current children cumulated vsize (KiB) 459588 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 2.01 2.01 2.00 3/175 30209 /proc/meminfo: memFree=27270956/32873852 swapFree=7624/7624 [pid=30132] ppid=30130 vsize=460712 CPUtime=1785.15 cores=1,3,5,7 /proc/30132/stat : 30132 (scip-2.0.1.4b_2) R 30130 30132 29314 0 -1 4202496 156250 0 0 0 175525 2990 0 0 20 0 1 0 338574460 471769088 113451 33554432000 4194304 9016284 140735468639584 140735468632504 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/30132/statm: 115178 113451 701 1178 0 113996 0 Current children cumulated CPU time (s) 1785.15 Current children cumulated vsize (KiB) 460712 [startup+1791.91 s] /proc/loadavg: 2.01 2.01 2.00 3/175 30209 /proc/meminfo: memFree=27267360/32873852 swapFree=7624/7624 [pid=30132] ppid=30130 vsize=461688 CPUtime=1791.56 cores=1,3,5,7 /proc/30132/stat : 30132 (scip-2.0.1.4b_2) R 30130 30132 29314 0 -1 4202496 156515 0 0 0 176154 3002 0 0 20 0 1 0 338574460 472768512 113716 33554432000 4194304 9016284 140735468639584 140735468633544 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/30132/statm: 115422 113716 701 1178 0 114240 0 Current children cumulated CPU time (s) 1791.56 Current children cumulated vsize (KiB) 461688 [startup+1795.1 s] /proc/loadavg: 2.01 2.01 2.00 3/175 30209 /proc/meminfo: memFree=27266104/32873852 swapFree=7624/7624 [pid=30132] ppid=30130 vsize=461836 CPUtime=1794.75 cores=1,3,5,7 /proc/30132/stat : 30132 (scip-2.0.1.4b_2) R 30130 30132 29314 0 -1 4202496 156538 0 0 0 176469 3006 0 0 20 0 1 0 338574460 472920064 113739 33554432000 4194304 9016284 140735468639584 140735468633448 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/30132/statm: 115459 113739 701 1178 0 114277 0 Current children cumulated CPU time (s) 1794.75 Current children cumulated vsize (KiB) 461836 [startup+1796.7 s] /proc/loadavg: 2.01 2.01 2.00 3/175 30209 /proc/meminfo: memFree=27265980/32873852 swapFree=7624/7624 [pid=30132] ppid=30130 vsize=461836 CPUtime=1796.35 cores=1,3,5,7 /proc/30132/stat : 30132 (scip-2.0.1.4b_2) R 30130 30132 29314 0 -1 4202496 156538 0 0 0 176626 3009 0 0 20 0 1 0 338574460 472920064 113739 33554432000 4194304 9016284 140735468639584 140735468633544 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/30132/statm: 115459 113739 701 1178 0 114277 0 Current children cumulated CPU time (s) 1796.35 Current children cumulated vsize (KiB) 461836 [startup+1797.1 s] /proc/loadavg: 2.01 2.01 2.00 3/175 30209 /proc/meminfo: memFree=27265980/32873852 swapFree=7624/7624 [pid=30132] ppid=30130 vsize=461836 CPUtime=1796.75 cores=1,3,5,7 /proc/30132/stat : 30132 (scip-2.0.1.4b_2) R 30130 30132 29314 0 -1 4202496 156565 0 0 0 176666 3009 0 0 20 0 1 0 338574460 472920064 113766 33554432000 4194304 9016284 140735468639584 140735468635384 6817595 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/30132/statm: 115459 113766 703 1178 0 114277 0 Current children cumulated CPU time (s) 1796.75 Current children cumulated vsize (KiB) 461836 [startup+1797.5 s] /proc/loadavg: 2.01 2.01 2.00 3/175 30209 /proc/meminfo: memFree=27265112/32873852 swapFree=7624/7624 [pid=30132] ppid=30130 vsize=461836 CPUtime=1797.15 cores=1,3,5,7 /proc/30132/stat : 30132 (scip-2.0.1.4b_2) R 30130 30132 29314 0 -1 4202496 156565 0 0 0 176706 3009 0 0 20 0 1 0 338574460 472920064 113766 33554432000 4194304 9016284 140735468639584 140735468635384 4898043 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/30132/statm: 115459 113766 703 1178 0 114277 0 Current children cumulated CPU time (s) 1797.15 Current children cumulated vsize (KiB) 461836 Child status: 0 Real time (s): 1797.59 CPU time (s): 1797.25 CPU user time (s): 1767.14 CPU system time (s): 30.1064 CPU usage (%): 99.981 Max. virtual memory (cumulated for all children) (KiB): 461836 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1767.14 system time used= 30.1064 maximum resident set size= 455064 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 156570 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= 72 involuntary context switches= 1843 runsolver used 4.14137 second user time and 17.9833 second system time The end
Begin job on node131 at 2012-06-03 13:54:50 IDJOB=3737087 IDBENCH=48176 IDSOLVER=2329 FILE ID=node131/3737087-1338724490 RUNJOBID= node131-1338713677-29331 PBS_JOBID= 14636738 Free space on /tmp= 71388 MiB SOLVER NAME= PB11: SCIP spx E_2 2011-06-10 (fixed) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_500_10_1.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-3737087-1338724490/watcher-3737087-1338724490 -o /tmp/evaluation-result-3737087-1338724490/solver-3737087-1338724490 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3737087-1338724490.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 6a7c5d2366cf8704587c2ca2c97e69d0 RANDOM SEED=374938371 node131.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /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.805 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.61 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.805 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.805 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.805 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.805 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.805 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.805 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.805 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873852 kB MemFree: 28136672 kB Buffers: 557796 kB Cached: 3092304 kB SwapCached: 2348 kB Active: 1663404 kB Inactive: 2206416 kB Active(anon): 215832 kB Inactive(anon): 3664 kB Active(file): 1447572 kB Inactive(file): 2202752 kB Unevictable: 7624 kB Mlocked: 7624 kB SwapTotal: 67108856 kB SwapFree: 67099088 kB Dirty: 16900 kB Writeback: 0 kB AnonPages: 223820 kB Mapped: 17064 kB Shmem: 0 kB Slab: 728744 kB SReclaimable: 170592 kB SUnreclaim: 558152 kB KernelStack: 1456 kB PageTables: 4492 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545780 kB Committed_AS: 340204 kB VmallocTotal: 34359738367 kB VmallocUsed: 346360 kB VmallocChunk: 34341988004 kB HardwareCorrupted: 0 kB AnonHugePages: 165888 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71372 MiB End job on node131 at 2012-06-03 14:24:48