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 | -28 | 1797.15 | 1797.5 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_100_10_1.opb |
| MD5SUM | 8c398fbb12ba7dbf676dd8375a76e0de |
| 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 | -28 |
| Best CPU time to get the best result obtained on this benchmark | 1789.76 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -30 |
| Optimality of the best value was proved | NO |
| Number of variables | 200 |
| Total number of constraints | 301 |
| Number of constraints which are clauses | 100 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 201 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 200 |
| Number of terms in the objective function | 100 |
| 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 | 100 |
| Number of bits of the sum of numbers in the objective function | 7 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 200 |
| Number of bits of the biggest sum of numbers | 8 |
| Number of products (including duplicates) | 2496 |
| Sum of products size (including duplicates) | 4992 |
| Number of different products | 1248 |
| Sum of products size | 2496 |
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-3737527-1338728439.opb>
0.00/0.01 c original problem has 1448 variables (1448 bin, 0 int, 0 impl, 0 cont) and 1749 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.02 o 0
0.00/0.02 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.00/0.02 c presolving:
0.00/0.05 c (round 1) 0 del vars, 1648 del conss, 200 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 100 upgd conss, 10184 impls, 199 clqs
0.00/0.05 c (round 2) 1248 del vars, 1648 del conss, 200 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 300 upgd conss, 10184 impls, 0 clqs
0.00/0.06 c (0.1s) probing: 101/200 (50.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.06 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.00/0.06 c presolving (3 rounds):
0.00/0.06 c 1248 deleted vars, 1648 deleted constraints, 200 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.06 c 10184 implications, 0 cliques
0.00/0.06 c presolved problem has 200 variables (200 bin, 0 int, 0 impl, 0 cont) and 301 constraints
0.00/0.06 c 200 constraints of type <knapsack>
0.00/0.06 c 100 constraints of type <setppc>
0.00/0.06 c 1 constraints of type <linear>
0.00/0.06 c transformed objective value is always integral (scale: 1)
0.00/0.06 c Presolving Time: 0.04
0.00/0.06 c - non default parameters ----------------------------------------------------------------------
0.00/0.06 c # SCIP version 2.0.1.5
0.00/0.06 c
0.00/0.06 c # frequency for displaying node information lines
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.06 c display/freq = 10000
0.00/0.06 c
0.00/0.06 c # maximal time in seconds to run
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.06 c limits/time = 1797
0.00/0.06 c
0.00/0.06 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.06 c limits/memory = 13950
0.00/0.06 c
0.00/0.06 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.06 c # [type: int, range: [1,2], default: 1]
0.00/0.06 c timing/clocktype = 2
0.00/0.06 c
0.00/0.06 c # belongs reading time to solving time?
0.00/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.06 c timing/reading = TRUE
0.00/0.06 c
0.00/0.06 c # should presolving try to simplify inequalities
0.00/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.06 c constraints/linear/simplifyinequalities = TRUE
0.00/0.06 c
0.00/0.06 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.06 c constraints/indicator/addCouplingCons = TRUE
0.00/0.06 c
0.00/0.06 c # should presolving try to simplify knapsacks
0.00/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.06 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.06 c
0.00/0.06 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.06 c separating/rapidlearning/freq = 0
0.00/0.06 c
0.00/0.06 c -----------------------------------------------------------------------------------------------
0.00/0.06 c start solving
0.00/0.06 c
0.09/0.14 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.14 c t 0.1s| 1 | 0 | 1206 | - |4137k| 0 | 200 | 200 | 301 | 200 | 301 | 0 | 0 | 0 |-5.000000e+01 | 0.000000e+00 | 100.00%
0.09/0.14 o -1
0.09/0.14 c R 0.1s| 1 | 0 | 1206 | - |4149k| 0 | 200 | 200 | 301 | 200 | 301 | 0 | 0 | 0 |-5.000000e+01 |-1.000000e+00 | 98.00%
0.19/0.21 o -17
0.19/0.21 c y 0.2s| 1 | 0 | 1206 | - |4474k| 0 | 200 | 200 | 301 | 200 | 301 | 0 | 0 | 0 |-5.000000e+01 |-1.700000e+01 | 66.00%
0.19/0.23 c 0.2s| 1 | 0 | 1231 | - |4483k| 0 | 200 | 200 | 302 | 200 | 325 | 24 | 0 | 0 |-5.000000e+01 |-1.700000e+01 | 66.00%
0.19/0.28 c 0.3s| 1 | 0 | 1239 | - |4694k| 0 | 200 | 200 | 302 | 200 | 327 | 26 | 0 | 0 |-5.000000e+01 |-1.700000e+01 | 66.00%
0.29/0.33 c 0.3s| 1 | 0 | 1248 | - |4735k| 0 | 200 | 200 | 302 | 200 | 333 | 32 | 0 | 0 |-5.000000e+01 |-1.700000e+01 | 66.00%
0.29/0.39 c 0.4s| 1 | 0 | 1261 | - |4748k| 0 | 200 | 200 | 302 | 200 | 339 | 38 | 0 | 0 |-5.000000e+01 |-1.700000e+01 | 66.00%
0.39/0.45 c 0.5s| 1 | 0 | 1267 | - |4780k| 0 | 200 | 200 | 302 | 200 | 341 | 40 | 0 | 0 |-5.000000e+01 |-1.700000e+01 | 66.00%
0.49/0.51 c 0.5s| 1 | 0 | 1274 | - |4785k| 0 | 200 | 200 | 302 | 200 | 342 | 41 | 0 | 0 |-5.000000e+01 |-1.700000e+01 | 66.00%
1.29/1.32 c 1.3s| 1 | 2 | 1274 | - |4786k| 0 | 200 | 200 | 302 | 200 | 342 | 41 | 0 | 15 |-5.000000e+01 |-1.700000e+01 | 66.00%
4.29/4.34 o -23
4.29/4.34 c c 4.3s| 14 | 15 | 2508 | 94.9 |4901k| 13 | - | 200 | 302 | 200 | 330 | 41 | 0 | 218 |-4.945825e+01 |-2.300000e+01 | 53.50%
6.19/6.21 o -24
6.19/6.21 c p 6.2s| 26 | 27 | 3459 | 87.4 |4911k| 14 | - | 200 | 302 | 200 | 330 | 41 | 0 | 392 |-4.924978e+01 |-2.400000e+01 | 51.27%
7.48/7.59 o -26
7.48/7.59 c f 7.6s| 38 | 39 | 4486 | 86.8 |4927k| 14 | - | 200 | 302 | 200 | 330 | 41 | 0 | 568 |-4.924978e+01 |-2.600000e+01 | 47.21%
17.08/17.12 o -28
17.08/17.12 c f17.1s| 623 | 536 | 55400 | 87.0 |5955k| 26 | - | 200 | 327 | 200 | 330 | 41 | 27 |1240 |-4.795603e+01 |-2.800000e+01 | 41.61%
87.07/87.11 c 87.1s| 10000 | 8047 |721627 | 72.0 | 12M| 90 | 68 | 200 | 454 | 200 | 330 | 41 | 172 |1244 |-4.386310e+01 |-2.800000e+01 | 36.17%
146.05/146.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
146.05/146.19 c 146s| 20000 | 17649 | 1423k| 71.1 | 19M| 94 | 69 | 200 | 532 | 200 | 330 | 41 | 327 |1340 |-4.326422e+01 |-2.800000e+01 | 35.28%
201.24/201.30 c 201s| 30000 | 27301 | 2097k| 69.9 | 27M| 94 | 76 | 200 | 537 | 200 | 330 | 41 | 478 |1500 |-4.305849e+01 |-2.800000e+01 | 34.97%
253.42/253.50 c 253s| 40000 | 36813 | 2752k| 68.8 | 35M| 94 | - | 200 | 516 | 200 | 330 | 41 | 578 |1617 |-4.294230e+01 |-2.800000e+01 | 34.80%
306.01/306.11 c 306s| 50000 | 46309 | 3412k| 68.2 | 43M| 94 | 121 | 200 | 523 | 200 | 330 | 41 | 724 |1746 |-4.278523e+01 |-2.800000e+01 | 34.56%
357.60/357.76 c 358s| 60000 | 55679 | 4067k| 67.8 | 50M| 94 | - | 200 | 527 | 200 | 330 | 41 | 833 |1888 |-4.265721e+01 |-2.800000e+01 | 34.36%
407.30/407.46 c 407s| 70000 | 65017 | 4704k| 67.2 | 58M| 94 | 117 | 200 | 517 | 200 | 330 | 41 | 946 |1999 |-4.251923e+01 |-2.800000e+01 | 34.15%
455.19/455.31 c 455s| 80000 | 74173 | 5325k| 66.6 | 66M| 94 | 121 | 200 | 477 | 200 | 330 | 41 |1029 |2106 |-4.245240e+01 |-2.800000e+01 | 34.04%
505.18/505.34 c 505s| 90000 | 83523 | 5962k| 66.2 | 73M| 94 | - | 200 | 452 | 200 | 330 | 41 |1118 |2211 |-4.233549e+01 |-2.800000e+01 | 33.86%
554.27/554.49 c 554s|100000 | 92721 | 6602k| 66.0 | 81M| 94 | 76 | 200 | 445 | 200 | 330 | 41 |1224 |2322 |-4.219945e+01 |-2.800000e+01 | 33.65%
601.16/601.33 c 601s|110000 |101799 | 7224k| 65.7 | 89M| 94 | 132 | 200 | 477 | 200 | 330 | 41 |1330 |2410 |-4.213491e+01 |-2.800000e+01 | 33.55%
647.66/647.85 c 648s|120000 |110787 | 7848k| 65.4 | 97M| 94 | 77 | 200 | 477 | 200 | 330 | 41 |1421 |2487 |-4.208121e+01 |-2.800000e+01 | 33.46%
693.24/693.49 c 693s|130000 |119853 | 8458k| 65.1 | 104M| 94 | 69 | 200 | 470 | 200 | 330 | 41 |1524 |2560 |-4.203657e+01 |-2.800000e+01 | 33.39%
739.64/739.88 c 740s|140000 |128873 | 9079k| 64.8 | 112M| 94 | 114 | 200 | 472 | 200 | 330 | 41 |1631 |2630 |-4.194843e+01 |-2.800000e+01 | 33.25%
784.62/784.81 c 785s|150000 |137805 | 9683k| 64.5 | 120M| 94 | 92 | 200 | 488 | 200 | 330 | 41 |1728 |2700 |-4.190561e+01 |-2.800000e+01 | 33.18%
829.82/830.07 c 830s|160000 |146805 | 10293k| 64.3 | 128M| 94 | 86 | 200 | 454 | 200 | 330 | 41 |1811 |2768 |-4.186119e+01 |-2.800000e+01 | 33.11%
872.61/872.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
872.61/872.86 c 873s|170000 |155653 | 10893k| 64.1 | 135M| 94 | 60 | 200 | 450 | 200 | 330 | 41 |1899 |2834 |-4.181864e+01 |-2.800000e+01 | 33.04%
917.60/917.82 c 918s|180000 |164573 | 11499k| 63.9 | 143M| 94 | 94 | 200 | 470 | 200 | 330 | 41 |2005 |2895 |-4.177410e+01 |-2.800000e+01 | 32.97%
961.10/961.38 c 961s|190000 |173351 | 12091k| 63.6 | 151M| 94 | 62 | 200 | 465 | 200 | 330 | 41 |2095 |2948 |-4.174314e+01 |-2.800000e+01 | 32.92%
1004.48/1004.70 c 1005s|200000 |181941 | 12691k| 63.5 | 158M| 94 | 108 | 200 | 510 | 200 | 330 | 41 |2223 |2993 |-4.170913e+01 |-2.800000e+01 | 32.87%
1046.58/1046.85 c 1047s|210000 |190575 | 13270k| 63.2 | 166M| 94 | 101 | 200 | 487 | 200 | 330 | 41 |2297 |3048 |-4.167925e+01 |-2.800000e+01 | 32.82%
1090.16/1090.42 c 1090s|220000 |199219 | 13866k| 63.0 | 173M| 94 | 77 | 200 | 429 | 200 | 330 | 41 |2372 |3106 |-4.163748e+01 |-2.800000e+01 | 32.75%
1131.86/1132.13 c 1132s|230000 |207701 | 14441k| 62.8 | 181M| 94 | 86 | 200 | 435 | 200 | 330 | 41 |2455 |3162 |-4.161026e+01 |-2.800000e+01 | 32.71%
1174.95/1175.29 c 1175s|240000 |216363 | 15030k| 62.6 | 189M| 94 | 123 | 200 | 456 | 200 | 330 | 41 |2544 |3215 |-4.157156e+01 |-2.800000e+01 | 32.65%
1216.55/1216.84 c 1217s|250000 |224865 | 15608k| 62.4 | 196M| 94 | 115 | 200 | 476 | 200 | 330 | 41 |2648 |3259 |-4.153961e+01 |-2.800000e+01 | 32.59%
1257.84/1258.18 c 1258s|260000 |233265 | 16192k| 62.3 | 204M| 94 | - | 200 | 508 | 200 | 330 | 41 |2759 |3304 |-4.150395e+01 |-2.800000e+01 | 32.54%
1298.63/1298.93 c 1299s|270000 |241699 | 16768k| 62.1 | 212M| 94 | 116 | 200 | 526 | 200 | 330 | 41 |2867 |3352 |-4.148003e+01 |-2.800000e+01 | 32.50%
1338.93/1339.25 c 1339s|280000 |250063 | 17337k| 61.9 | 219M| 94 | 79 | 200 | 478 | 200 | 330 | 41 |2943 |3402 |-4.145406e+01 |-2.800000e+01 | 32.46%
1378.72/1379.07 c 1379s|290000 |258361 | 17905k| 61.7 | 227M| 94 | 128 | 200 | 448 | 200 | 330 | 41 |3016 |3457 |-4.142894e+01 |-2.800000e+01 | 32.41%
1418.92/1419.27 c 1419s|300000 |266769 | 18473k| 61.6 | 234M| 94 | 139 | 200 | 449 | 200 | 330 | 41 |3113 |3497 |-4.140034e+01 |-2.800000e+01 | 32.37%
1458.90/1459.28 c 1459s|310000 |275145 | 19044k| 61.4 | 242M| 94 | 107 | 200 | 476 | 200 | 330 | 41 |3229 |3534 |-4.138161e+01 |-2.800000e+01 | 32.34%
1498.30/1498.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1498.30/1498.66 c 1499s|320000 |283457 | 19609k| 61.3 | 249M| 94 | 85 | 200 | 515 | 200 | 330 | 41 |3346 |3571 |-4.135979e+01 |-2.800000e+01 | 32.30%
1538.29/1538.67 c 1539s|330000 |291845 | 20176k| 61.1 | 257M| 94 | 140 | 200 | 475 | 200 | 330 | 41 |3420 |3609 |-4.134098e+01 |-2.800000e+01 | 32.27%
1576.99/1577.32 c 1577s|340000 |300263 | 20727k| 61.0 | 265M| 94 | 116 | 200 | 434 | 200 | 330 | 41 |3490 |3646 |-4.131964e+01 |-2.800000e+01 | 32.24%
1615.17/1615.50 c 1615s|350000 |308619 | 21283k| 60.8 | 272M| 94 | 81 | 200 | 447 | 200 | 330 | 41 |3563 |3684 |-4.130136e+01 |-2.800000e+01 | 32.21%
1654.46/1654.85 c 1655s|360000 |317127 | 21837k| 60.7 | 280M| 94 | 106 | 200 | 474 | 200 | 330 | 41 |3649 |3725 |-4.127923e+01 |-2.800000e+01 | 32.17%
1693.46/1693.90 c 1694s|370000 |325319 | 22392k| 60.5 | 287M| 94 | 61 | 200 | 464 | 200 | 330 | 41 |3722 |3763 |-4.125460e+01 |-2.800000e+01 | 32.13%
1732.25/1732.61 c 1733s|380000 |333479 | 22945k| 60.4 | 295M| 94 | 95 | 200 | 476 | 200 | 330 | 41 |3815 |3794 |-4.123903e+01 |-2.800000e+01 | 32.10%
1771.34/1771.74 c 1772s|390000 |341775 | 23510k| 60.3 | 302M| 94 | 68 | 200 | 485 | 200 | 330 | 41 |3906 |3821 |-4.122110e+01 |-2.800000e+01 | 32.07%
1796.64/1797.00 c
1796.64/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.64/1797.00 c Solving Time (sec) : 1797.00
1796.64/1797.00 c Solving Nodes : 396491
1796.64/1797.00 c Primal Bound : -2.80000000000000e+01 (371 solutions)
1796.64/1797.00 c Dual Bound : -4.12143478306282e+01
1796.64/1797.00 c Gap : 32.06 %
1796.64/1797.01 s SATISFIABLE
1796.64/1797.01 v x162 -x134 -x175 -x180 -x186 -x172 x132 -x166 x142 -x153 -x118 -x129 -x113 x140 -x161 x133 x200 -x152 -x195 -x119 -x189 -x177 -x109
1796.64/1797.01 v -x188 -x144 -x165 -x107 -x135 x196 -x106 x198 -x176 -x146 -x139 x182 -x197 -x105 -x158 -x147 x145 -x126 -x121 -x181 -x192
1796.64/1797.01 v x114 -x171 x125 -x199 -x138 -x104 -x151 -x149 -x115 -x108 -x185 -x120 x174 -x143 -x157 -x103 x190 x155 -x154 -x148 x170 -x159
1796.64/1797.01 v x123 x124 x183 -x130 -x168 x102 -x111 -x110 x169 x112 -x137 x173 -x141 x127 x164 -x191 -x128 -x101 -x179 -x167 -x160 x156
1796.64/1797.01 v x131 -x117 x163 -x122 -x150 -x193 -x136 -x194 -x116 -x178 -x187 -x184 -x100 x99 -x98 -x97 -x96 -x95 x94 x93 x92 -x91 -x90 -x89
1796.64/1797.01 v -x88 -x87 x86 x85 -x84 -x83 -x82 x81 -x80 x79 -x78 x77 x76 x75 -x74 -x73 -x72 -x71 -x70 -x69 x68 x67 -x66 x65 -x64 -x63 -x62
1796.64/1797.01 v -x61 -x60 x59 x58 x57 -x56 -x55 x54 -x53 x52 -x51 -x50 x49 -x48 -x47 x46 -x45 -x44 -x43 -x42 -x41 -x40 x39 -x38 -x37 x36 x35
1796.64/1797.01 v -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 x19 -x18 -x17 x16 x15 -x14 -x13 -x12 -x11 -x10 -x9
1796.64/1797.01 v x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1796.64/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.64/1797.01 c Total Time : 1797.00
1796.64/1797.01 c solving : 1797.00
1796.64/1797.01 c presolving : 0.04 (included in solving)
1796.64/1797.01 c reading : 0.01 (included in solving)
1796.64/1797.01 c Original Problem :
1796.64/1797.01 c Problem name : HOME/instance-3737527-1338728439.opb
1796.64/1797.01 c Variables : 1448 (1448 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.64/1797.01 c Constraints : 1749 initial, 1749 maximal
1796.64/1797.01 c Presolved Problem :
1796.64/1797.01 c Problem name : t_HOME/instance-3737527-1338728439.opb
1796.64/1797.01 c Variables : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.64/1797.01 c Constraints : 301 initial, 568 maximal
1796.64/1797.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.64/1797.01 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1796.64/1797.01 c dualfix : 0.00 1248 0 0 0 0 0 0 0 0
1796.64/1797.01 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1796.64/1797.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1796.64/1797.01 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1796.64/1797.01 c implics : 0.00 0 0 0 0 0 0 0 0 0
1796.64/1797.01 c probing : 0.00 0 0 0 0 0 0 0 0 0
1796.64/1797.01 c knapsack : 0.00 0 0 0 0 0 0 0 0 0
1796.64/1797.01 c setppc : 0.00 0 0 0 0 0 0 0 0 0
1796.64/1797.01 c linear : 0.00 0 0 0 0 0 0 0 0 0
1796.64/1797.01 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1796.64/1797.01 c pseudoboolean : 0.00 0 0 0 0 0 1648 200 0 0
1796.64/1797.01 c root node : - 0 - - 0 - - - - -
1796.64/1797.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1796.64/1797.01 c integral : 0 0 0 371920 0 376 0 2 66 0 0 743722
1796.64/1797.01 c knapsack : 200 6 1422595 0 1 371 31096 85 1809953 0 0 0
1796.64/1797.01 c setppc : 100 6 1410348 0 1 370 3974 0 268435 0 0 0
1796.64/1797.01 c linear : 1+ 7 1422510 0 0 370 0 228 0 0 0 0
1796.64/1797.01 c logicor : 0+ 0 335806 0 0 0 0 0 1 0 0 0
1796.64/1797.01 c countsols : 0 0 0 0 1 374 0 0 0 0 0 0
1796.64/1797.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1796.64/1797.01 c integral : 33.47 0.00 0.00 33.47 0.00 0.00 0.00
1796.64/1797.01 c knapsack : 7.73 0.01 7.69 0.00 0.00 0.02 0.01
1796.64/1797.01 c setppc : 1.46 0.00 1.46 0.00 0.00 0.00 0.00
1796.64/1797.01 c linear : 1.03 0.01 1.02 0.00 0.00 0.00 0.00
1796.64/1797.01 c logicor : 0.64 0.00 0.64 0.00 0.00 0.00 0.00
1796.64/1797.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.64/1797.01 c Propagators : #Propagate #Resprop Cutoffs DomReds
1796.64/1797.01 c vbounds : 0 0 0 0
1796.64/1797.01 c rootredcost : 5 0 0 0
1796.64/1797.01 c pseudoobj : 1433519 170 103 147
1796.64/1797.01 c Propagator Timings : TotalTime Propagate Resprop
1796.64/1797.01 c vbounds : 0.24 0.24 0.00
1796.64/1797.01 c rootredcost : 0.24 0.24 0.00
1796.64/1797.01 c pseudoobj : 4.80 4.80 0.00
1796.64/1797.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.64/1797.01 c propagation : 0.01 85 85 871 54.6 0 0.0 -
1796.64/1797.01 c infeasible LP : 0.22 5588 5407 18652 33.0 0 0.0 0
1796.64/1797.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.64/1797.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.64/1797.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.64/1797.01 c applied globally : - - - 3915 9.3 - - -
1796.64/1797.01 c applied locally : - - - 49 49.3 - - -
1796.64/1797.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1796.64/1797.01 c cut pool : 0.00 5 - - 2 - (maximal pool size: 139)
1796.64/1797.01 c redcost : 2.30 396860 0 133587 0 0
1796.64/1797.01 c impliedbounds : 0.00 6 0 0 0 0
1796.64/1797.01 c intobj : 0.00 0 0 0 0 0
1796.64/1797.01 c gomory : 0.11 6 0 0 0 0
1796.64/1797.01 c cgmip : 0.00 0 0 0 0 0
1796.64/1797.01 c closecuts : 0.00 0 0 0 0 0
1796.64/1797.01 c strongcg : 0.09 6 0 0 104 0
1796.64/1797.01 c cmir : 0.02 6 0 0 35 0
1796.64/1797.01 c flowcover : 0.04 6 0 0 0 0
1796.64/1797.01 c clique : 0.00 1 0 0 0 0
1796.64/1797.01 c zerohalf : 0.00 0 0 0 0 0
1796.64/1797.01 c mcf : 0.00 1 0 0 0 0
1796.64/1797.01 c oddcycle : 0.00 0 0 0 0 0
1796.64/1797.01 c rapidlearning : 0.03 1 0 0 0 1
1796.64/1797.01 c Pricers : Time Calls Vars
1796.64/1797.01 c problem variables: 0.00 0 0
1796.64/1797.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1796.64/1797.01 c relpscost : 33.27 371920 2 66 0 0 743722
1796.64/1797.01 c pscost : 0.00 0 0 0 0 0 0
1796.64/1797.01 c inference : 0.00 1 0 0 0 0 2
1796.64/1797.01 c mostinf : 0.00 0 0 0 0 0 0
1796.64/1797.01 c leastinf : 0.00 0 0 0 0 0 0
1796.64/1797.01 c fullstrong : 0.00 0 0 0 0 0 0
1796.64/1797.01 c allfullstrong : 0.00 0 0 0 0 0 0
1796.64/1797.01 c random : 0.00 0 0 0 0 0 0
1796.64/1797.01 c Primal Heuristics : Time Calls Found
1796.64/1797.01 c LP solutions : 0.00 - 0
1796.64/1797.01 c pseudo solutions : 0.00 - 0
1796.64/1797.01 c feaspump : 0.01 0 0
1796.64/1797.01 c oneopt : 0.07 5 0
1796.64/1797.01 c crossover : 0.20 5 1
1796.64/1797.01 c objpscostdiving : 21.85 450 68
1796.64/1797.01 c rootsoldiving : 14.90 1061 54
1796.64/1797.01 c linesearchdiving : 36.36 3948 0
1796.64/1797.01 c guideddiving : 36.29 3948 0
1796.64/1797.01 c veclendiving : 39.15 3948 0
1796.64/1797.01 c coefdiving : 37.39 3949 1
1796.64/1797.01 c fracdiving : 39.15 3949 2
1796.64/1797.01 c pscostdiving : 38.37 3949 1
1796.64/1797.01 c trivial : 0.00 2 1
1796.64/1797.01 c shiftandpropagate: 0.00 0 0
1796.64/1797.01 c simplerounding : 0.09 0 0
1796.64/1797.01 c zirounding : 12.55 0 0
1796.64/1797.01 c rounding : 12.98 29715 1
1796.64/1797.01 c shifting : 31.32 31240 241
1796.64/1797.01 c intshifting : 0.01 0 0
1796.64/1797.01 c twoopt : 0.00 0 0
1796.64/1797.01 c fixandinfer : 0.00 0 0
1796.64/1797.01 c clique : 0.00 0 0
1796.64/1797.01 c intdiving : 0.00 0 0
1796.64/1797.01 c actconsdiving : 0.00 0 0
1796.64/1797.01 c octane : 0.00 0 0
1796.64/1797.01 c rens : 0.01 0 0
1796.64/1797.01 c rins : 0.00 0 0
1796.64/1797.01 c localbranching : 0.00 0 0
1796.64/1797.01 c mutation : 0.00 0 0
1796.64/1797.01 c dins : 0.00 0 0
1796.64/1797.01 c vbounds : 0.00 0 0
1796.64/1797.01 c undercover : 0.00 0 0
1796.64/1797.01 c subnlp : 0.06 0 0
1796.64/1797.01 c trysol : 0.09 0 0
1796.64/1797.01 c LP : Time Calls Iterations Iter/call Iter/sec
1796.64/1797.01 c primal LP : 0.00 0 0 0.00 -
1796.64/1797.01 c dual LP : 1388.20 407835 20493404 50.25 14762.56
1796.64/1797.01 c lex dual LP : 0.00 0 0 0.00 -
1796.64/1797.01 c barrier LP : 0.00 0 0 0.00 -
1796.64/1797.01 c diving/probing LP: 223.52 555601 3378788 6.08 15116.30
1796.64/1797.01 c strong branching : 23.86 3848 178780 46.46 7494.15
1796.64/1797.01 c (at root node) : - 15 4768 317.87 -
1796.64/1797.01 c conflict analysis: 0.00 0 0 0.00 -
1796.64/1797.01 c B&B Tree :
1796.64/1797.01 c number of runs : 1
1796.64/1797.01 c nodes : 396491
1796.64/1797.01 c nodes (total) : 396491
1796.64/1797.01 c nodes left : 347174
1796.64/1797.01 c max depth : 94
1796.64/1797.01 c max depth (total): 94
1796.64/1797.01 c backtracks : 39076 (9.9%)
1796.64/1797.01 c delayed cutoffs : 0
1796.64/1797.01 c repropagations : 1 (1 domain reductions, 0 cutoffs)
1796.64/1797.01 c avg switch length: 4.86
1796.64/1797.01 c switching time : 9.80
1796.64/1797.01 c Solution :
1796.64/1797.01 c Solutions found : 371 (7 improvements)
1796.64/1797.01 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.02 seconds, depth 0, found by <trivial>)
1796.64/1797.01 c Primal Bound : -2.80000000000000e+01 (in run 1, after 623 nodes, 17.12 seconds, depth 97, found by <fracdiving>)
1796.64/1797.01 c Dual Bound : -4.12143478306282e+01
1796.64/1797.01 c Gap : 32.06 %
1796.64/1797.01 c Root Dual Bound : -4.99999999999995e+01
1796.64/1797.01 c Root Iterations : 1274
1797.13/1797.50 c Time complete: 1797.13.
OK -28
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-3737527-1338728439/watcher-3737527-1338728439 -o /tmp/evaluation-result-3737527-1338728439/solver-3737527-1338728439 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3737527-1338728439.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.03 2.07 2.01 3/177 30244 /proc/meminfo: memFree=27536148/32873844 swapFree=7372/7372 [pid=30244] ppid=30242 vsize=9456 CPUtime=0 cores=0,2,4,6 /proc/30244/stat : 30244 (scip-2.0.1.4b_2) R 30242 30244 26510 0 -1 4202496 1481 0 0 0 0 0 0 0 20 0 1 0 338969969 9682944 1436 33554432000 4194304 9016284 140736154767136 140736967063368 7824814 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/30244/statm: 2364 1438 311 1178 0 1182 0 [startup+0.0732989 s] /proc/loadavg: 2.03 2.07 2.01 3/177 30244 /proc/meminfo: memFree=27536148/32873844 swapFree=7372/7372 [pid=30244] ppid=30242 vsize=24696 CPUtime=0.06 cores=0,2,4,6 /proc/30244/stat : 30244 (scip-2.0.1.4b_2) R 30242 30244 26510 0 -1 4202496 5323 0 0 0 6 0 0 0 20 0 1 0 338969969 25288704 5021 33554432000 4194304 9016284 140736154767136 140736154627928 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/30244/statm: 6174 5021 637 1178 0 4992 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 24696 [startup+0.100243 s] /proc/loadavg: 2.03 2.07 2.01 3/177 30244 /proc/meminfo: memFree=27536148/32873844 swapFree=7372/7372 [pid=30244] ppid=30242 vsize=24896 CPUtime=0.09 cores=0,2,4,6 /proc/30244/stat : 30244 (scip-2.0.1.4b_2) R 30242 30244 26510 0 -1 4202496 5389 0 0 0 8 1 0 0 20 0 1 0 338969969 25493504 5086 33554432000 4194304 9016284 140736154767136 140736154627928 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/30244/statm: 6224 5086 637 1178 0 5042 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 24896 [startup+0.300214 s] /proc/loadavg: 2.03 2.07 2.01 3/177 30244 /proc/meminfo: memFree=27536148/32873844 swapFree=7372/7372 [pid=30244] ppid=30242 vsize=35540 CPUtime=0.29 cores=0,2,4,6 /proc/30244/stat : 30244 (scip-2.0.1.4b_2) R 30242 30244 26510 0 -1 4202496 8581 0 0 0 28 1 0 0 20 0 1 0 338969969 36392960 7572 33554432000 4194304 9016284 140736154767136 140736154627928 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/30244/statm: 8885 7572 701 1178 0 7703 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 35540 [startup+0.700212 s] /proc/loadavg: 2.03 2.07 2.01 3/177 30244 /proc/meminfo: memFree=27536148/32873844 swapFree=7372/7372 [pid=30244] ppid=30242 vsize=35820 CPUtime=0.69 cores=0,2,4,6 /proc/30244/stat : 30244 (scip-2.0.1.4b_2) R 30242 30244 26510 0 -1 4202496 8737 0 0 0 68 1 0 0 20 0 1 0 338969969 36679680 7728 33554432000 4194304 9016284 140736154767136 140736154627928 7219061 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/30244/statm: 8955 7728 705 1178 0 7773 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 35820 [startup+1.5002 s] /proc/loadavg: 2.03 2.07 2.01 3/178 30245 /proc/meminfo: memFree=27507860/32873844 swapFree=7372/7372 [pid=30244] ppid=30242 vsize=35820 CPUtime=1.49 cores=0,2,4,6 /proc/30244/stat : 30244 (scip-2.0.1.4b_2) R 30242 30244 26510 0 -1 4202496 8739 0 0 0 147 2 0 0 20 0 1 0 338969969 36679680 7730 33554432000 4194304 9016284 140736154767136 140736154760984 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/30244/statm: 8955 7730 707 1178 0 7773 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 35820 [startup+3.10018 s] /proc/loadavg: 2.03 2.07 2.01 3/178 30245 /proc/meminfo: memFree=27507052/32873844 swapFree=7372/7372 [pid=30244] ppid=30242 vsize=35820 CPUtime=3.09 cores=0,2,4,6 /proc/30244/stat : 30244 (scip-2.0.1.4b_2) R 30242 30244 26510 0 -1 4202496 8739 0 0 0 306 3 0 0 20 0 1 0 338969969 36679680 7730 33554432000 4194304 9016284 140736154767136 140736154760440 7219374 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/30244/statm: 8955 7730 707 1178 0 7773 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 35820 [startup+6.30017 s] /proc/loadavg: 2.03 2.06 2.01 3/178 30245 /proc/meminfo: memFree=27507052/32873844 swapFree=7372/7372 [pid=30244] ppid=30242 vsize=35820 CPUtime=6.29 cores=0,2,4,6 /proc/30244/stat : 30244 (scip-2.0.1.4b_2) R 30242 30244 26510 0 -1 4202496 8739 0 0 0 623 6 0 0 20 0 1 0 338969969 36679680 7730 33554432000 4194304 9016284 140736154767136 140736154760936 7219744 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/30244/statm: 8955 7730 707 1178 0 7773 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 35820 [startup+12.7002 s] /proc/loadavg: 2.03 2.06 2.01 3/178 30245 /proc/meminfo: memFree=27505824/32873844 swapFree=7372/7372 [pid=30244] ppid=30242 vsize=35820 CPUtime=12.69 cores=0,2,4,6 /proc/30244/stat : 30244 (scip-2.0.1.4b_2) R 30242 30244 26510 0 -1 4202496 8746 0 0 0 1258 11 0 0 20 0 1 0 338969969 36679680 7753 33554432000 4194304 9016284 140736154767136 140736154760392 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/30244/statm: 8955 7753 710 1178 0 7773 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 35820 [startup+25.5002 s] /proc/loadavg: 2.02 2.06 2.01 3/178 30268 /proc/meminfo: memFree=27504208/32873844 swapFree=7372/7372 [pid=30244] ppid=30242 vsize=36232 CPUtime=25.48 cores=0,2,4,6 /proc/30244/stat : 30244 (scip-2.0.1.4b_2) R 30242 30244 26510 0 -1 4202496 8967 0 0 0 2523 25 0 0 20 0 1 0 338969969 37101568 8114 33554432000 4194304 9016284 140736154767136 140736154760760 7219008 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/30244/statm: 9058 8114 710 1178 0 7876 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 36232 [startup+51.1002 s] /proc/loadavg: 2.01 2.05 2.01 3/178 30268 /proc/meminfo: memFree=27500048/32873844 swapFree=7372/7372 [pid=30244] ppid=30242 vsize=38580 CPUtime=51.08 cores=0,2,4,6 /proc/30244/stat : 30244 (scip-2.0.1.4b_2) R 30242 30244 26510 0 -1 4202496 12018 0 0 0 5055 53 0 0 20 0 1 0 338969969 39505920 8687 33554432000 4194304 9016284 140736154767136 140736154761096 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/30244/statm: 9645 8687 716 1178 0 8463 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 38580 [startup+102.306 s] /proc/loadavg: 2.14 2.08 2.01 3/177 30268 /proc/meminfo: memFree=27497136/32873844 swapFree=7372/7372 [pid=30244] ppid=30242 vsize=39792 CPUtime=102.26 cores=0,2,4,6 /proc/30244/stat : 30244 (scip-2.0.1.4b_2) R 30242 30244 26510 0 -1 4202496 15033 0 0 0 10105 121 0 0 20 0 1 0 338969969 40747008 9037 33554432000 4194304 9016284 140736154767136 140736154761048 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/30244/statm: 9948 9037 717 1178 0 8766 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 39792 [startup+162.3 s] /proc/loadavg: 2.05 2.06 2.01 3/177 30268 /proc/meminfo: memFree=27485036/32873844 swapFree=7372/7372 [pid=30244] ppid=30242 vsize=49748 CPUtime=162.24 cores=0,2,4,6 /proc/30244/stat : 30244 (scip-2.0.1.4b_2) R 30242 30244 26510 0 -1 4202496 20154 0 0 0 16020 204 0 0 20 0 1 0 338969969 50941952 11544 33554432000 4194304 9016284 140736154767136 140736154761000 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/30244/statm: 12437 11544 717 1178 0 11255 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 49748 [startup+222.3 s] /proc/loadavg: 2.08 2.06 2.01 3/177 30269 /proc/meminfo: memFree=27472556/32873844 swapFree=7372/7372 [pid=30244] ppid=30242 vsize=59664 CPUtime=222.23 cores=0,2,4,6 /proc/30244/stat : 30244 (scip-2.0.1.4b_2) R 30242 30244 26510 0 -1 4202496 22660 0 0 0 21933 290 0 0 20 0 1 0 338969969 61095936 14046 33554432000 4194304 9016284 140736154767136 140736154760552 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/30244/statm: 14916 14046 717 1178 0 13734 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 59664 [startup+282.3 s] /proc/loadavg: 2.03 2.05 2.00 3/177 30269 /proc/meminfo: memFree=27456804/32873844 swapFree=7372/7372 [pid=30244] ppid=30242 vsize=68768 CPUtime=282.22 cores=0,2,4,6 /proc/30244/stat : 30244 (scip-2.0.1.4b_2) R 30242 30244 26510 0 -1 4202496 27540 0 0 0 27848 374 0 0 20 0 1 0 338969969 70418432 16388 33554432000 4194304 9016284 140736154767136 140736154760728 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/30244/statm: 17192 16388 717 1178 0 16010 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 68768 [startup+342.3 s] /proc/loadavg: 2.07 2.05 2.00 3/177 30270 /proc/meminfo: memFree=27446996/32873844 swapFree=7372/7372 [pid=30244] ppid=30242 vsize=77564 CPUtime=342.21 cores=0,2,4,6 /proc/30244/stat : 30244 (scip-2.0.1.4b_2) R 30242 30244 26510 0 -1 4202496 29786 0 0 0 33762 459 0 0 20 0 1 0 338969969 79425536 18630 33554432000 4194304 9016284 140736154767136 140736154761096 7219712 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/30244/statm: 19391 18630 717 1178 0 18209 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 77564 [startup+402.3 s] /proc/loadavg: 2.09 2.06 2.00 3/177 30270 /proc/meminfo: memFree=27437068/32873844 swapFree=7372/7372 [pid=30244] ppid=30242 vsize=86540 CPUtime=402.2 cores=0,2,4,6 /proc/30244/stat : 30244 (scip-2.0.1.4b_2) R 30242 30244 26510 0 -1 4202496 32096 0 0 0 39676 544 0 0 20 0 1 0 338969969 88616960 20940 33554432000 4194304 9016284 140736154767136 140736154761304 7189242 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/30244/statm: 21635 20940 717 1178 0 20453 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 86540 [startup+462.3 s] /proc/loadavg: 2.09 2.06 2.00 3/177 30270 /proc/meminfo: memFree=27423168/32873844 swapFree=7372/7372 [pid=30244] ppid=30242 vsize=101304 CPUtime=462.19 cores=0,2,4,6 /proc/30244/stat : 30244 (scip-2.0.1.4b_2) R 30242 30244 26510 0 -1 4202496 35260 0 0 0 45589 630 0 0 20 0 1 0 338969969 103735296 24102 33554432000 4194304 9016284 140736154767136 140736154761048 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/30244/statm: 25326 24102 717 1178 0 24144 0 Current children cumulated CPU time (s) 462.19 Current children cumulated vsize (KiB) 101304 [startup+522.3 s] /proc/loadavg: 2.09 2.06 2.00 3/177 30271 /proc/meminfo: memFree=27409336/32873844 swapFree=7372/7372 [pid=30244] ppid=30242 vsize=110420 CPUtime=522.18 cores=0,2,4,6 /proc/30244/stat : 30244 (scip-2.0.1.4b_2) R 30242 30244 26510 0 -1 4202496 37634 0 0 0 51503 715 0 0 20 0 1 0 338969969 113070080 26470 33554432000 4194304 9016284 140736154767136 140736154761000 5228644 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/30244/statm: 27605 26470 717 1178 0 26423 0 Current children cumulated CPU time (s) 522.18 Current children cumulated vsize (KiB) 110420 [startup+582.3 s] /proc/loadavg: 2.03 2.05 2.00 3/178 30274 /proc/meminfo: memFree=27395912/32873844 swapFree=7372/7372 [pid=30244] ppid=30242 vsize=118700 CPUtime=582.16 cores=0,2,4,6 /proc/30244/stat : 30244 (scip-2.0.1.4b_2) R 30242 30244 26510 0 -1 4202496 41210 0 0 0 57410 806 0 0 20 0 1 0 338969969 121548800 28578 33554432000 4194304 9016284 140736154767136 140736154761000 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/30244/statm: 29675 28578 717 1178 0 28493 0 Current children cumulated CPU time (s) 582.16 Current children cumulated vsize (KiB) 118700 [startup+642.3 s] ################ # More data... # ################ /proc/meminfo: memFree=27284096/32873844 swapFree=7372/7372 [pid=30244] ppid=30242 vsize=206784 CPUtime=1062.07 cores=0,2,4,6 /proc/30244/stat : 30244 (scip-2.0.1.4b_2) R 30242 30244 26510 0 -1 4202496 64977 0 0 0 104681 1526 0 0 20 0 1 0 338969969 211746816 50897 33554432000 4194304 9016284 140736154767136 140736154760552 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/30244/statm: 51696 50897 717 1178 0 50514 0 Current children cumulated CPU time (s) 1062.07 Current children cumulated vsize (KiB) 206784 [startup+1122.3 s] /proc/loadavg: 2.02 2.03 2.00 3/177 30276 /proc/meminfo: memFree=27272064/32873844 swapFree=7372/7372 [pid=30244] ppid=30242 vsize=221496 CPUtime=1122.06 cores=0,2,4,6 /proc/30244/stat : 30244 (scip-2.0.1.4b_2) R 30242 30244 26510 0 -1 4202496 67694 0 0 0 110590 1616 0 0 20 0 1 0 338969969 226811904 53614 33554432000 4194304 9016284 140736154767136 140736154761000 6363271 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/30244/statm: 55374 53614 717 1178 0 54192 0 Current children cumulated CPU time (s) 1122.06 Current children cumulated vsize (KiB) 221496 [startup+1182.3 s] /proc/loadavg: 2.01 2.02 2.00 3/178 30279 /proc/meminfo: memFree=27260708/32873844 swapFree=7372/7372 [pid=30244] ppid=30242 vsize=231184 CPUtime=1182.05 cores=0,2,4,6 /proc/30244/stat : 30244 (scip-2.0.1.4b_2) R 30242 30244 26510 0 -1 4202496 70189 0 0 0 116501 1704 0 0 20 0 1 0 338969969 236732416 56107 33554432000 4194304 9016284 140736154767136 140736154761000 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/30244/statm: 57796 56107 717 1178 0 56614 0 Current children cumulated CPU time (s) 1182.05 Current children cumulated vsize (KiB) 231184 [startup+1242.3 s] /proc/loadavg: 2.00 2.01 2.00 3/177 30279 /proc/meminfo: memFree=27243016/32873844 swapFree=7372/7372 [pid=30244] ppid=30242 vsize=241996 CPUtime=1242.04 cores=0,2,4,6 /proc/30244/stat : 30244 (scip-2.0.1.4b_2) R 30242 30244 26510 0 -1 4202496 72960 0 0 0 122406 1798 0 0 20 0 1 0 338969969 247803904 58886 33554432000 4194304 9016284 140736154767136 140736154760872 7214222 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/30244/statm: 60499 58886 717 1178 0 59317 0 Current children cumulated CPU time (s) 1242.04 Current children cumulated vsize (KiB) 241996 [startup+1302.3 s] /proc/loadavg: 2.00 2.01 2.00 3/177 30317 /proc/meminfo: memFree=27177964/32873844 swapFree=7372/7372 [pid=30244] ppid=30242 vsize=254288 CPUtime=1302.03 cores=0,2,4,6 /proc/30244/stat : 30244 (scip-2.0.1.4b_2) R 30242 30244 26510 0 -1 4202496 76080 0 0 0 128309 1894 0 0 20 0 1 0 338969969 260390912 62006 33554432000 4194304 9016284 140736154767136 140736154760504 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/30244/statm: 63572 62006 717 1178 0 62390 0 Current children cumulated CPU time (s) 1302.03 Current children cumulated vsize (KiB) 254288 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 30317 /proc/meminfo: memFree=27133624/32873844 swapFree=7372/7372 [pid=30244] ppid=30242 vsize=266272 CPUtime=1362.02 cores=0,2,4,6 /proc/30244/stat : 30244 (scip-2.0.1.4b_2) R 30242 30244 26510 0 -1 4202496 79126 0 0 0 134214 1988 0 0 20 0 1 0 338969969 272662528 65052 33554432000 4194304 9016284 140736154767136 140736154760760 7080864 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/30244/statm: 66568 65052 717 1178 0 65386 0 Current children cumulated CPU time (s) 1362.02 Current children cumulated vsize (KiB) 266272 [startup+1422.31 s] /proc/loadavg: 2.07 2.02 2.00 3/177 30318 /proc/meminfo: memFree=27089048/32873844 swapFree=7372/7372 [pid=30244] ppid=30242 vsize=277100 CPUtime=1422.01 cores=0,2,4,6 /proc/30244/stat : 30244 (scip-2.0.1.4b_2) R 30242 30244 26510 0 -1 4202496 81883 0 0 0 140118 2083 0 0 20 0 1 0 338969969 283750400 67805 33554432000 4194304 9016284 140736154767136 140736154761048 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/30244/statm: 69275 67805 717 1178 0 68093 0 Current children cumulated CPU time (s) 1422.01 Current children cumulated vsize (KiB) 277100 [startup+1482.3 s] /proc/loadavg: 2.07 2.03 2.00 3/177 30318 /proc/meminfo: memFree=27077388/32873844 swapFree=7372/7372 [pid=30244] ppid=30242 vsize=287840 CPUtime=1482 cores=0,2,4,6 /proc/30244/stat : 30244 (scip-2.0.1.4b_2) R 30242 30244 26510 0 -1 4202496 84601 0 0 0 146023 2177 0 0 20 0 1 0 338969969 294748160 70511 33554432000 4194304 9016284 140736154767136 140736154760552 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/30244/statm: 71960 70511 717 1178 0 70778 0 Current children cumulated CPU time (s) 1482 Current children cumulated vsize (KiB) 287840 [startup+1542.3 s] /proc/loadavg: 2.02 2.02 2.00 3/178 30319 /proc/meminfo: memFree=27065996/32873844 swapFree=7372/7372 [pid=30244] ppid=30242 vsize=299452 CPUtime=1541.99 cores=0,2,4,6 /proc/30244/stat : 30244 (scip-2.0.1.4b_2) R 30242 30244 26510 0 -1 4202496 87592 0 0 0 151925 2274 0 0 20 0 1 0 338969969 306638848 73502 33554432000 4194304 9016284 140736154767136 140736154761000 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/30244/statm: 74863 73502 717 1178 0 73681 0 Current children cumulated CPU time (s) 1541.99 Current children cumulated vsize (KiB) 299452 [startup+1602.3 s] /proc/loadavg: 2.01 2.01 2.00 3/177 30319 /proc/meminfo: memFree=27057016/32873844 swapFree=7372/7372 [pid=30244] ppid=30242 vsize=307764 CPUtime=1601.97 cores=0,2,4,6 /proc/30244/stat : 30244 (scip-2.0.1.4b_2) R 30242 30244 26510 0 -1 4202496 89651 0 0 0 157834 2363 0 0 20 0 1 0 338969969 315150336 75558 33554432000 4194304 9016284 140736154767136 140736154761000 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/30244/statm: 76941 75558 717 1178 0 75759 0 Current children cumulated CPU time (s) 1601.97 Current children cumulated vsize (KiB) 307764 [startup+1662.3 s] /proc/loadavg: 2.00 2.01 2.00 3/177 30319 /proc/meminfo: memFree=27042260/32873844 swapFree=7372/7372 [pid=30244] ppid=30242 vsize=322356 CPUtime=1661.96 cores=0,2,4,6 /proc/30244/stat : 30244 (scip-2.0.1.4b_2) R 30242 30244 26510 0 -1 4202496 93344 0 0 0 163734 2462 0 0 20 0 1 0 338969969 330092544 79251 33554432000 4194304 9016284 140736154767136 140736154760552 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/30244/statm: 80589 79251 717 1178 0 79407 0 Current children cumulated CPU time (s) 1661.96 Current children cumulated vsize (KiB) 322356 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 30320 /proc/meminfo: memFree=27030108/32873844 swapFree=7372/7372 [pid=30244] ppid=30242 vsize=334248 CPUtime=1721.95 cores=0,2,4,6 /proc/30244/stat : 30244 (scip-2.0.1.4b_2) R 30242 30244 26510 0 -1 4202496 96422 0 0 0 169639 2556 0 0 20 0 1 0 338969969 342269952 82328 33554432000 4194304 9016284 140736154767136 140736154760504 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/30244/statm: 83562 82328 717 1178 0 82380 0 Current children cumulated CPU time (s) 1721.95 Current children cumulated vsize (KiB) 334248 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 30323 /proc/meminfo: memFree=27013428/32873844 swapFree=7372/7372 [pid=30244] ppid=30242 vsize=350608 CPUtime=1781.94 cores=0,2,4,6 /proc/30244/stat : 30244 (scip-2.0.1.4b_2) R 30242 30244 26510 0 -1 4202496 100538 0 0 0 175542 2652 0 0 20 0 1 0 338969969 359022592 86440 33554432000 4194304 9016284 140736154767136 140736154761000 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/30244/statm: 87652 86440 717 1178 0 86470 0 Current children cumulated CPU time (s) 1781.94 Current children cumulated vsize (KiB) 350608 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 2.00 2.00 2.00 3/178 30323 /proc/meminfo: memFree=27013552/32873844 swapFree=7372/7372 [pid=30244] ppid=30242 vsize=350608 CPUtime=1785.14 cores=0,2,4,6 /proc/30244/stat : 30244 (scip-2.0.1.4b_2) R 30242 30244 26510 0 -1 4202496 100547 0 0 0 175858 2656 0 0 20 0 1 0 338969969 359022592 86449 33554432000 4194304 9016284 140736154767136 140736154761000 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/30244/statm: 87652 86449 717 1178 0 86470 0 Current children cumulated CPU time (s) 1785.14 Current children cumulated vsize (KiB) 350608 [startup+1791.91 s] /proc/loadavg: 2.00 2.00 2.00 3/178 30323 /proc/meminfo: memFree=27012916/32873844 swapFree=7372/7372 [pid=30244] ppid=30242 vsize=350888 CPUtime=1791.54 cores=0,2,4,6 /proc/30244/stat : 30244 (scip-2.0.1.4b_2) R 30242 30244 26510 0 -1 4202496 100645 0 0 0 176486 2668 0 0 20 0 1 0 338969969 359309312 86555 33554432000 4194304 9016284 140736154767136 140736154761464 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/30244/statm: 87722 86555 717 1178 0 86540 0 Current children cumulated CPU time (s) 1791.54 Current children cumulated vsize (KiB) 350888 [startup+1795.1 s] /proc/loadavg: 2.00 2.00 2.00 3/178 30323 /proc/meminfo: memFree=27012668/32873844 swapFree=7372/7372 [pid=30244] ppid=30242 vsize=351380 CPUtime=1794.74 cores=0,2,4,6 /proc/30244/stat : 30244 (scip-2.0.1.4b_2) R 30242 30244 26510 0 -1 4202496 100749 0 0 0 176802 2672 0 0 20 0 1 0 338969969 359813120 86659 33554432000 4194304 9016284 140736154767136 140736154761096 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/30244/statm: 87845 86659 717 1178 0 86663 0 Current children cumulated CPU time (s) 1794.74 Current children cumulated vsize (KiB) 351380 [startup+1796.7 s] /proc/loadavg: 2.00 2.00 2.00 3/178 30323 /proc/meminfo: memFree=27012668/32873844 swapFree=7372/7372 [pid=30244] ppid=30242 vsize=351380 CPUtime=1796.33 cores=0,2,4,6 /proc/30244/stat : 30244 (scip-2.0.1.4b_2) R 30242 30244 26510 0 -1 4202496 100755 0 0 0 176958 2675 0 0 20 0 1 0 338969969 359813120 86665 33554432000 4194304 9016284 140736154767136 140736154760504 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/30244/statm: 87845 86665 717 1178 0 86663 0 Current children cumulated CPU time (s) 1796.33 Current children cumulated vsize (KiB) 351380 [startup+1797.1 s] /proc/loadavg: 2.00 2.00 2.00 3/178 30323 /proc/meminfo: memFree=27012668/32873844 swapFree=7372/7372 [pid=30244] ppid=30242 vsize=351380 CPUtime=1796.74 cores=0,2,4,6 /proc/30244/stat : 30244 (scip-2.0.1.4b_2) R 30242 30244 26510 0 -1 4202496 100760 0 0 0 176998 2676 0 0 20 0 1 0 338969969 359813120 86670 33554432000 4194304 9016284 140736154767136 140736154762936 4840187 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/30244/statm: 87845 86670 719 1178 0 86663 0 Current children cumulated CPU time (s) 1796.74 Current children cumulated vsize (KiB) 351380 [startup+1797.5 s] /proc/loadavg: 2.00 2.00 2.00 3/178 30323 /proc/meminfo: memFree=27012668/32873844 swapFree=7372/7372 [pid=30244] ppid=30242 vsize=335816 CPUtime=1797.13 cores=0,2,4,6 /proc/30244/stat : 30244 (scip-2.0.1.4b_2) R 30242 30244 26510 0 -1 4202496 100760 0 0 0 177037 2676 0 0 20 0 1 0 338969969 343875584 83241 33554432000 4194304 9016284 140736154767136 140736154762936 4445232 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/30244/statm: 83954 83241 719 1178 0 82772 0 Current children cumulated CPU time (s) 1797.13 Current children cumulated vsize (KiB) 335816 Child status: 0 Real time (s): 1797.5 CPU time (s): 1797.15 CPU user time (s): 1770.38 CPU system time (s): 26.7669 CPU usage (%): 99.9801 Max. virtual memory (cumulated for all children) (KiB): 351380 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1770.38 system time used= 26.7669 maximum resident set size= 346680 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 100765 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= 62 involuntary context switches= 2682 runsolver used 2.79857 second user time and 7.01093 second system time The end
Begin job on node118 at 2012-06-03 15:00:39 IDJOB=3737527 IDBENCH=48251 IDSOLVER=2329 FILE ID=node118/3737527-1338728439 RUNJOBID= node118-1338703112-26526 PBS_JOBID= 14636719 Free space on /tmp= 70956 MiB SOLVER NAME= PB11: SCIP spx E_2 2011-06-10 (fixed) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_100_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-3737527-1338728439/watcher-3737527-1338728439 -o /tmp/evaluation-result-3737527-1338728439/solver-3737527-1338728439 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3737527-1338728439.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 8c398fbb12ba7dbf676dd8375a76e0de RANDOM SEED=414885790 node118.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.212 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 : 5332.42 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.212 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 : 5438.55 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.212 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.92 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.212 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.212 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 : 5320.68 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.212 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.212 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.91 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.212 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: 32873844 kB MemFree: 27536288 kB Buffers: 494904 kB Cached: 3905644 kB SwapCached: 0 kB Active: 1454384 kB Inactive: 3018316 kB Active(anon): 62396 kB Inactive(anon): 11328 kB Active(file): 1391988 kB Inactive(file): 3006988 kB Unevictable: 7372 kB Mlocked: 7372 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 16908 kB Writeback: 0 kB AnonPages: 78184 kB Mapped: 14272 kB Shmem: 200 kB Slab: 725292 kB SReclaimable: 166400 kB SUnreclaim: 558892 kB KernelStack: 1480 kB PageTables: 3848 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 186748 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 51200 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= 70936 MiB End job on node118 at 2012-06-03 15:30:36