Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP spx E_2 2011-06-10 (fixed) | SAT | -28 | 1797.55 | 1797.51 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_100_10_5.opb |
| MD5SUM | ae2bd1e13f1871c16ad2ebb51fc6f92a |
| 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 | -29 |
| Best CPU time to get the best result obtained on this benchmark | 1800.08 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -29 |
| 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) | 2504 |
| Sum of products size (including duplicates) | 5008 |
| Number of different products | 1252 |
| Sum of products size | 2504 |
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-3488661-1307786632.opb>
0.00/0.01 c original problem has 1452 variables (1452 bin, 0 int, 0 impl, 0 cont) and 1753 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.02/0.05 c (round 1) 0 del vars, 1652 del conss, 200 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 100 upgd conss, 10216 impls, 199 clqs
0.02/0.05 c (round 2) 1252 del vars, 1652 del conss, 200 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 300 upgd conss, 10216 impls, 0 clqs
0.02/0.06 c (0.1s) probing: 101/200 (50.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.02/0.06 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.02/0.06 c presolving (3 rounds):
0.02/0.06 c 1252 deleted vars, 1652 deleted constraints, 200 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.02/0.06 c 10216 implications, 0 cliques
0.02/0.06 c presolved problem has 200 variables (200 bin, 0 int, 0 impl, 0 cont) and 301 constraints
0.02/0.06 c 200 constraints of type <knapsack>
0.02/0.06 c 100 constraints of type <setppc>
0.02/0.06 c 1 constraints of type <linear>
0.02/0.06 c transformed objective value is always integral (scale: 1)
0.02/0.06 c Presolving Time: 0.04
0.02/0.06 c - non default parameters ----------------------------------------------------------------------
0.02/0.06 c # SCIP version 2.0.1.5
0.02/0.06 c
0.02/0.06 c # frequency for displaying node information lines
0.02/0.06 c # [type: int, range: [-1,2147483647], default: 100]
0.02/0.06 c display/freq = 10000
0.02/0.06 c
0.02/0.06 c # maximal time in seconds to run
0.02/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.02/0.06 c limits/time = 1797
0.02/0.06 c
0.02/0.06 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.02/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.02/0.06 c limits/memory = 13950
0.02/0.06 c
0.02/0.06 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.02/0.06 c # [type: int, range: [1,2], default: 1]
0.02/0.06 c timing/clocktype = 2
0.02/0.06 c
0.02/0.06 c # belongs reading time to solving time?
0.02/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.06 c timing/reading = TRUE
0.02/0.06 c
0.02/0.06 c # should presolving try to simplify inequalities
0.02/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.06 c constraints/linear/simplifyinequalities = TRUE
0.02/0.06 c
0.02/0.06 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.02/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.06 c constraints/indicator/addCouplingCons = TRUE
0.02/0.06 c
0.02/0.06 c # should presolving try to simplify knapsacks
0.02/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.06 c constraints/knapsack/simplifyinequalities = TRUE
0.02/0.06 c
0.02/0.06 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.02/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.02/0.06 c separating/rapidlearning/freq = 0
0.02/0.06 c
0.02/0.06 c -----------------------------------------------------------------------------------------------
0.02/0.06 c start solving
0.02/0.06 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 | 983 | - |4148k| 0 | 200 | 200 | 301 | 200 | 301 | 0 | 0 | 0 |-5.000000e+01 | 0.000000e+00 | 100.00%
0.09/0.13 o -1
0.09/0.13 c R 0.1s| 1 | 0 | 983 | - |4156k| 0 | 200 | 200 | 301 | 200 | 301 | 0 | 0 | 0 |-5.000000e+01 |-1.000000e+00 | 98.00%
0.18/0.22 c 0.2s| 1 | 0 | 1019 | - |4476k| 0 | 200 | 200 | 301 | 200 | 336 | 35 | 0 | 0 |-5.000000e+01 |-1.000000e+00 | 98.00%
0.18/0.28 c 0.3s| 1 | 0 | 1023 | - |5152k| 0 | 200 | 200 | 301 | 200 | 338 | 37 | 0 | 0 |-5.000000e+01 |-1.000000e+00 | 98.00%
0.28/0.34 c 0.3s| 1 | 0 | 1031 | - |5423k| 0 | 200 | 200 | 301 | 200 | 340 | 39 | 0 | 0 |-5.000000e+01 |-1.000000e+00 | 98.00%
0.39/0.40 c 0.4s| 1 | 0 | 1037 | - |5515k| 0 | 200 | 200 | 301 | 200 | 342 | 41 | 0 | 0 |-5.000000e+01 |-1.000000e+00 | 98.00%
0.39/0.46 c 0.5s| 1 | 0 | 1040 | - |5526k| 0 | 200 | 200 | 301 | 200 | 343 | 42 | 0 | 0 |-5.000000e+01 |-1.000000e+00 | 98.00%
1.89/1.92 c 1.9s| 1 | 2 | 6616 | - |5535k| 0 | 200 | 200 | 301 | 200 | 343 | 42 | 0 | 20 |-5.000000e+01 |-1.000000e+00 | 98.00%
3.49/3.58 o -2
3.49/3.58 c R 3.6s| 9 | 8 | 7124 | 760.5 |5548k| 8 | 171 | 200 | 301 | 200 | 334 | 42 | 0 | 110 |-4.963937e+01 |-2.000000e+00 | 95.97%
3.79/3.83 o -3
3.79/3.83 c R 3.8s| 10 | 9 | 7156 | 679.6 |5555k| 9 | 170 | 200 | 301 | 200 | 334 | 42 | 0 | 127 |-4.963937e+01 |-3.000000e+00 | 93.96%
4.39/4.47 o -4
4.39/4.47 c R 4.5s| 13 | 12 | 7206 | 513.8 |5571k| 12 | 167 | 200 | 301 | 200 | 334 | 42 | 0 | 166 |-4.963937e+01 |-4.000000e+00 | 91.94%
5.09/5.13 o -22
5.09/5.13 c c 5.1s| 15 | 16 | 7949 | 493.5 |5673k| 14 | - | 200 | 301 | 200 | 334 | 42 | 0 | 203 |-4.963937e+01 |-2.200000e+01 | 55.68%
8.99/9.05 o -25
8.99/9.05 c f 9.0s| 39 | 40 | 10414 | 246.7 |5707k| 14 | - | 200 | 301 | 200 | 334 | 42 | 1 | 533 |-4.963937e+01 |-2.500000e+01 | 49.64%
15.19/15.28 o -26
15.19/15.28 c l15.3s| 87 | 88 | 18310 | 200.8 |5770k| 18 | - | 200 | 303 | 200 | 334 | 42 | 3 |1163 |-4.963937e+01 |-2.600000e+01 | 47.62%
16.59/16.69 o -27
16.59/16.69 c l16.7s| 162 | 163 | 25436 | 151.5 |5888k| 22 | - | 200 | 305 | 200 | 334 | 42 | 6 |1234 |-4.948089e+01 |-2.700000e+01 | 45.43%
23.19/23.27 o -28
23.19/23.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
23.19/23.27 c f23.3s| 837 | 804 | 83834 | 99.0 |6956k| 31 | - | 200 | 322 | 200 | 334 | 42 | 23 |1256 |-4.760937e+01 |-2.800000e+01 | 41.19%
85.99/86.02 c 86.0s| 10000 | 8021 |683190 | 68.2 | 12M| 94 | 120 | 200 | 477 | 200 | 334 | 42 | 197 |1263 |-4.431216e+01 |-2.800000e+01 | 36.81%
147.79/147.84 c 148s| 20000 | 17591 | 1404k| 70.2 | 20M| 94 | 63 | 200 | 639 | 200 | 334 | 42 | 421 |1349 |-4.350589e+01 |-2.800000e+01 | 35.64%
206.70/206.79 c 207s| 30000 | 26845 | 2117k| 70.5 | 28M| 94 | 93 | 200 | 601 | 200 | 334 | 42 | 577 |1518 |-4.317492e+01 |-2.800000e+01 | 35.15%
260.40/260.40 c 260s| 40000 | 35857 | 2787k| 69.7 | 35M| 94 | 72 | 200 | 587 | 200 | 334 | 42 | 738 |1692 |-4.307095e+01 |-2.800000e+01 | 34.99%
314.00/314.00 c 314s| 50000 | 45093 | 3448k| 68.9 | 43M| 94 | 117 | 200 | 570 | 200 | 334 | 42 | 882 |1843 |-4.297579e+01 |-2.800000e+01 | 34.85%
364.80/364.85 c 365s| 60000 | 54129 | 4085k| 68.1 | 51M| 94 | 88 | 200 | 535 | 200 | 334 | 42 |1017 |1982 |-4.286130e+01 |-2.800000e+01 | 34.67%
415.71/415.71 c 416s| 70000 | 63115 | 4726k| 67.5 | 59M| 94 | 136 | 200 | 559 | 200 | 334 | 42 |1159 |2088 |-4.266875e+01 |-2.800000e+01 | 34.38%
464.81/464.84 c 465s| 80000 | 71969 | 5358k| 67.0 | 66M| 94 | 119 | 200 | 577 | 200 | 334 | 42 |1299 |2186 |-4.259858e+01 |-2.800000e+01 | 34.27%
513.00/513.09 c 513s| 90000 | 80865 | 5969k| 66.3 | 74M| 94 | 62 | 200 | 539 | 200 | 334 | 42 |1408 |2274 |-4.252470e+01 |-2.800000e+01 | 34.16%
561.50/561.51 c 562s|100000 | 89743 | 6591k| 65.9 | 82M| 94 | 86 | 200 | 527 | 200 | 334 | 42 |1518 |2367 |-4.243042e+01 |-2.800000e+01 | 34.01%
609.20/609.23 c 609s|110000 | 98471 | 7203k| 65.5 | 89M| 94 | 56 | 200 | 510 | 200 | 334 | 42 |1611 |2434 |-4.234293e+01 |-2.800000e+01 | 33.87%
654.61/654.66 c 655s|120000 |107169 | 7789k| 64.9 | 97M| 94 | 106 | 200 | 474 | 200 | 334 | 42 |1697 |2505 |-4.229559e+01 |-2.800000e+01 | 33.80%
701.61/701.69 c 702s|130000 |115887 | 8403k| 64.6 | 104M| 94 | 97 | 200 | 495 | 200 | 334 | 42 |1803 |2568 |-4.221176e+01 |-2.800000e+01 | 33.67%
745.61/745.68 c 746s|140000 |124395 | 8983k| 64.2 | 112M| 94 | 62 | 200 | 488 | 200 | 334 | 42 |1892 |2620 |-4.216107e+01 |-2.800000e+01 | 33.59%
791.71/791.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
791.71/791.71 c 792s|150000 |133009 | 9583k| 63.9 | 119M| 94 | 87 | 200 | 453 | 200 | 334 | 42 |1972 |2677 |-4.208977e+01 |-2.800000e+01 | 33.48%
837.41/837.43 c 837s|160000 |141623 | 10182k| 63.6 | 127M| 94 | 125 | 200 | 478 | 200 | 334 | 42 |2073 |2740 |-4.204292e+01 |-2.800000e+01 | 33.40%
882.71/882.74 c 883s|170000 |150189 | 10774k| 63.4 | 134M| 94 | 76 | 200 | 481 | 200 | 334 | 42 |2153 |2807 |-4.198726e+01 |-2.800000e+01 | 33.31%
927.22/927.24 c 927s|180000 |158819 | 11362k| 63.1 | 142M| 94 | 103 | 200 | 465 | 200 | 334 | 42 |2239 |2861 |-4.194842e+01 |-2.800000e+01 | 33.25%
971.01/971.01 c 971s|190000 |167425 | 11932k| 62.8 | 149M| 94 | 82 | 200 | 482 | 200 | 334 | 42 |2358 |2912 |-4.192866e+01 |-2.800000e+01 | 33.22%
1014.61/1014.62 c 1015s|200000 |175927 | 12504k| 62.5 | 157M| 94 | 65 | 200 | 509 | 200 | 334 | 42 |2472 |2966 |-4.189321e+01 |-2.800000e+01 | 33.16%
1057.71/1057.76 c 1058s|210000 |184379 | 13079k| 62.3 | 164M| 94 | 62 | 200 | 491 | 200 | 334 | 42 |2552 |3013 |-4.185218e+01 |-2.800000e+01 | 33.10%
1101.51/1101.52 c 1102s|220000 |192869 | 13662k| 62.1 | 172M| 94 | 128 | 200 | 478 | 200 | 334 | 42 |2649 |3072 |-4.180186e+01 |-2.800000e+01 | 33.02%
1144.52/1144.59 c 1145s|230000 |201487 | 14228k| 61.9 | 179M| 94 | 108 | 200 | 491 | 200 | 334 | 42 |2737 |3118 |-4.177446e+01 |-2.800000e+01 | 32.97%
1187.32/1187.33 c 1187s|240000 |209975 | 14793k| 61.6 | 186M| 94 | 122 | 200 | 481 | 200 | 334 | 42 |2825 |3155 |-4.174345e+01 |-2.800000e+01 | 32.92%
1228.42/1228.41 c 1228s|250000 |218275 | 15336k| 61.3 | 194M| 94 | 121 | 200 | 463 | 200 | 334 | 42 |2912 |3199 |-4.171680e+01 |-2.800000e+01 | 32.88%
1270.62/1270.67 c 1271s|260000 |226521 | 15903k| 61.2 | 201M| 94 | 55 | 200 | 472 | 200 | 334 | 42 |3009 |3234 |-4.168478e+01 |-2.800000e+01 | 32.83%
1311.72/1311.76 c 1312s|270000 |234687 | 16455k| 60.9 | 208M| 94 | 119 | 200 | 470 | 200 | 334 | 42 |3086 |3270 |-4.166031e+01 |-2.800000e+01 | 32.79%
1353.63/1353.66 c 1354s|280000 |243073 | 17012k| 60.8 | 216M| 94 | 100 | 200 | 485 | 200 | 334 | 42 |3183 |3302 |-4.162476e+01 |-2.800000e+01 | 32.73%
1394.42/1394.44 c 1394s|290000 |251417 | 17559k| 60.5 | 223M| 94 | 75 | 200 | 499 | 200 | 334 | 42 |3297 |3354 |-4.159526e+01 |-2.800000e+01 | 32.68%
1435.02/1435.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1435.02/1435.08 c 1435s|300000 |259435 | 18114k| 60.4 | 231M| 94 | 113 | 200 | 477 | 200 | 334 | 42 |3372 |3389 |-4.156858e+01 |-2.800000e+01 | 32.64%
1476.82/1476.82 c 1477s|310000 |268025 | 18671k| 60.2 | 238M| 94 | 69 | 200 | 482 | 200 | 334 | 42 |3476 |3424 |-4.154714e+01 |-2.800000e+01 | 32.61%
1517.72/1517.71 c 1518s|320000 |276367 | 19217k| 60.1 | 246M| 94 | - | 200 | 478 | 200 | 334 | 42 |3552 |3458 |-4.152346e+01 |-2.800000e+01 | 32.57%
1559.12/1559.11 c 1559s|330000 |284543 | 19779k| 59.9 | 253M| 94 | 96 | 200 | 484 | 200 | 334 | 42 |3648 |3495 |-4.149369e+01 |-2.800000e+01 | 32.52%
1600.22/1600.24 c 1600s|340000 |292735 | 20332k| 59.8 | 260M| 94 | 106 | 200 | 480 | 200 | 334 | 42 |3735 |3518 |-4.146812e+01 |-2.800000e+01 | 32.48%
1639.62/1639.69 c 1640s|350000 |300787 | 20866k| 59.6 | 268M| 94 | 88 | 200 | 466 | 200 | 334 | 42 |3806 |3554 |-4.144493e+01 |-2.800000e+01 | 32.44%
1679.93/1679.93 c 1680s|360000 |309129 | 21407k| 59.5 | 275M| 94 | 139 | 200 | 465 | 200 | 334 | 42 |3893 |3583 |-4.141951e+01 |-2.800000e+01 | 32.40%
1720.53/1720.51 c 1721s|370000 |317465 | 21954k| 59.3 | 283M| 94 | 92 | 200 | 461 | 200 | 334 | 42 |3967 |3615 |-4.138906e+01 |-2.800000e+01 | 32.35%
1760.23/1760.25 c 1760s|380000 |325789 | 22493k| 59.2 | 290M| 94 | 54 | 200 | 486 | 200 | 334 | 42 |4076 |3647 |-4.136761e+01 |-2.800000e+01 | 32.31%
1797.03/1797.00 c
1797.03/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.03/1797.00 c Solving Time (sec) : 1797.00
1797.03/1797.00 c Solving Nodes : 389261
1797.03/1797.00 c Primal Bound : -2.80000000000000e+01 (483 solutions)
1797.03/1797.00 c Dual Bound : -4.13432070134442e+01
1797.03/1797.00 c Gap : 32.27 %
1797.03/1797.00 s SATISFIABLE
1797.03/1797.00 v -x148 -x139 -x160 x157 x183 -x131 x156 x196 -x165 -x122 x198 x197 -x170 -x113 -x163 -x158 -x130 x126 x125 x119 -x159 x192 -x195
1797.03/1797.00 v -x144 -x142 -x120 -x164 -x175 -x107 -x181 -x118 -x188 -x145 x191 x151 -x169 x134 -x117 -x143 -x190 -x186 -x116 x124 x136 -x104
1797.03/1797.00 v -x193 -x179 -x140 -x108 x138 -x154 -x172 -x162 -x200 -x109 x103 -x194 x178 -x146 -x141 -x137 x185 -x128 x147 -x168 x153 -x184
1797.03/1797.00 v -x180 -x102 -x171 x135 -x114 -x110 x105 x106 -x115 -x187 -x129 x199 x161 -x127 -x101 -x189 -x167 -x155 x152 -x149 -x132 -x123
1797.03/1797.00 v -x112 -x182 x174 -x150 -x121 -x133 -x177 -x173 -x111 -x166 -x176 x100 -x99 -x98 -x97 -x96 x95 -x94 x93 -x92 -x91 -x90 -x89
1797.03/1797.00 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 -x61
1797.03/1797.00 v 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
1797.03/1797.00 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
1797.03/1797.00 v -x8 -x7 -x6 -x5 x4 -x3 -x2 -x1
1797.03/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.03/1797.00 c Total Time : 1797.00
1797.03/1797.00 c solving : 1797.00
1797.03/1797.00 c presolving : 0.04 (included in solving)
1797.03/1797.00 c reading : 0.01 (included in solving)
1797.03/1797.00 c Original Problem :
1797.03/1797.00 c Problem name : HOME/instance-3488661-1307786632.opb
1797.03/1797.00 c Variables : 1452 (1452 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.03/1797.00 c Constraints : 1753 initial, 1753 maximal
1797.03/1797.00 c Presolved Problem :
1797.03/1797.00 c Problem name : t_HOME/instance-3488661-1307786632.opb
1797.03/1797.00 c Variables : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.03/1797.00 c Constraints : 301 initial, 676 maximal
1797.03/1797.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.03/1797.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c dualfix : 0.00 1252 0 0 0 0 0 0 0 0
1797.03/1797.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c probing : 0.01 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c knapsack : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c setppc : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c linear : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c pseudoboolean : 0.00 0 0 0 0 0 1652 200 0 0
1797.03/1797.00 c root node : - 0 - - 0 - - - - -
1797.03/1797.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.03/1797.00 c integral : 0 0 0 361373 0 488 0 1 77 0 0 722628
1797.03/1797.00 c knapsack : 200 6 1315395 0 0 483 35071 40 1721152 0 0 0
1797.03/1797.00 c setppc : 100 6 1307685 0 0 482 4243 0 269566 0 0 0
1797.03/1797.00 c linear : 1 6 1315353 0 0 482 0 190 0 0 0 0
1797.03/1797.00 c logicor : 0+ 0 335866 0 0 0 0 0 5 0 0 0
1797.03/1797.00 c countsols : 0 0 0 0 0 486 0 0 0 0 0 0
1797.03/1797.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.03/1797.00 c integral : 35.84 0.00 0.00 35.84 0.00 0.00 0.00
1797.03/1797.00 c knapsack : 7.84 0.01 7.78 0.00 0.00 0.03 0.01
1797.03/1797.00 c setppc : 1.50 0.00 1.49 0.00 0.00 0.00 0.00
1797.03/1797.00 c linear : 1.10 0.01 1.09 0.00 0.00 0.00 0.00
1797.03/1797.00 c logicor : 0.80 0.00 0.80 0.00 0.00 0.00 0.00
1797.03/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.03/1797.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.03/1797.00 c vbounds : 0 0 0 0
1797.03/1797.00 c rootredcost : 9 0 0 0
1797.03/1797.00 c pseudoobj : 1321168 80 133 894
1797.03/1797.00 c Propagator Timings : TotalTime Propagate Resprop
1797.03/1797.00 c vbounds : 0.26 0.26 0.00
1797.03/1797.00 c rootredcost : 0.24 0.24 0.00
1797.03/1797.00 c pseudoobj : 4.62 4.62 0.00
1797.03/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.03/1797.00 c propagation : 0.00 40 40 312 59.0 0 0.0 -
1797.03/1797.00 c infeasible LP : 0.26 6104 5870 21727 34.0 0 0.0 0
1797.03/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.03/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.03/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.03/1797.00 c applied globally : - - - 4121 9.3 - - -
1797.03/1797.00 c applied locally : - - - 34 52.3 - - -
1797.03/1797.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.03/1797.00 c cut pool : 0.00 5 - - 29 - (maximal pool size: 279)
1797.03/1797.00 c redcost : 2.40 389559 0 154326 0 0
1797.03/1797.00 c impliedbounds : 0.00 6 0 0 0 0
1797.03/1797.00 c intobj : 0.00 0 0 0 0 0
1797.03/1797.00 c gomory : 0.11 6 0 0 0 0
1797.03/1797.00 c cgmip : 0.00 0 0 0 0 0
1797.03/1797.00 c closecuts : 0.00 0 0 0 0 0
1797.03/1797.00 c strongcg : 0.10 6 0 0 242 0
1797.03/1797.00 c cmir : 0.02 6 0 0 37 0
1797.03/1797.00 c flowcover : 0.04 6 0 0 0 0
1797.03/1797.00 c clique : 0.00 1 0 0 0 0
1797.03/1797.00 c zerohalf : 0.00 0 0 0 0 0
1797.03/1797.00 c mcf : 0.00 1 0 0 0 0
1797.03/1797.00 c oddcycle : 0.00 0 0 0 0 0
1797.03/1797.00 c rapidlearning : 0.04 1 0 0 0 0
1797.03/1797.00 c Pricers : Time Calls Vars
1797.03/1797.00 c problem variables: 0.00 0 0
1797.03/1797.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.03/1797.00 c relpscost : 35.62 361373 1 77 0 0 722628
1797.03/1797.00 c pscost : 0.00 0 0 0 0 0 0
1797.03/1797.00 c inference : 0.00 0 0 0 0 0 0
1797.03/1797.00 c mostinf : 0.00 0 0 0 0 0 0
1797.03/1797.00 c leastinf : 0.00 0 0 0 0 0 0
1797.03/1797.00 c fullstrong : 0.00 0 0 0 0 0 0
1797.03/1797.00 c allfullstrong : 0.00 0 0 0 0 0 0
1797.03/1797.00 c random : 0.00 0 0 0 0 0 0
1797.03/1797.00 c Primal Heuristics : Time Calls Found
1797.03/1797.00 c LP solutions : 0.00 - 0
1797.03/1797.00 c pseudo solutions : 0.00 - 0
1797.03/1797.00 c oneopt : 0.10 9 0
1797.03/1797.00 c crossover : 0.21 3 1
1797.03/1797.00 c pscostdiving : 31.98 3541 0
1797.03/1797.00 c guideddiving : 32.49 3541 0
1797.03/1797.00 c veclendiving : 33.56 3541 0
1797.03/1797.00 c linesearchdiving : 34.51 3542 2
1797.03/1797.00 c fracdiving : 35.21 3542 2
1797.03/1797.00 c coefdiving : 32.66 3542 1
1797.03/1797.00 c trivial : 0.00 2 1
1797.03/1797.00 c shiftandpropagate: 0.00 0 0
1797.03/1797.00 c simplerounding : 0.09 0 0
1797.03/1797.00 c zirounding : 12.60 0 0
1797.03/1797.00 c rounding : 25.03 55809 4
1797.03/1797.00 c shifting : 36.07 36401 353
1797.03/1797.00 c intshifting : 0.01 0 0
1797.03/1797.00 c twoopt : 0.00 0 0
1797.03/1797.00 c fixandinfer : 0.00 0 0
1797.03/1797.00 c feaspump : 0.28 1 0
1797.03/1797.00 c clique : 0.00 0 0
1797.03/1797.00 c intdiving : 0.00 0 0
1797.03/1797.00 c actconsdiving : 0.00 0 0
1797.03/1797.00 c objpscostdiving : 19.59 390 48
1797.03/1797.00 c rootsoldiving : 16.57 1139 71
1797.03/1797.00 c octane : 0.00 0 0
1797.03/1797.00 c rens : 0.01 0 0
1797.03/1797.00 c rins : 0.00 0 0
1797.03/1797.00 c localbranching : 0.00 0 0
1797.03/1797.00 c mutation : 0.00 0 0
1797.03/1797.00 c dins : 0.00 0 0
1797.03/1797.00 c vbounds : 0.00 0 0
1797.03/1797.00 c undercover : 0.00 0 0
1797.03/1797.00 c subnlp : 0.07 0 0
1797.03/1797.00 c trysol : 0.11 0 0
1797.03/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec
1797.03/1797.00 c primal LP : 0.00 0 0 0.00 -
1797.03/1797.00 c dual LP : 1393.13 401908 20057687 49.91 14397.55
1797.03/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1797.03/1797.00 c barrier LP : 0.00 0 0 0.00 -
1797.03/1797.00 c diving/probing LP: 200.50 477060 2938380 6.16 14655.30
1797.03/1797.00 c strong branching : 26.24 3670 180407 49.16 6876.20
1797.03/1797.00 c (at root node) : - 20 6965 348.25 -
1797.03/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1797.03/1797.00 c B&B Tree :
1797.03/1797.00 c number of runs : 1
1797.03/1797.00 c nodes : 389261
1797.03/1797.00 c nodes (total) : 389261
1797.03/1797.00 c nodes left : 333344
1797.03/1797.00 c max depth : 94
1797.03/1797.00 c max depth (total): 94
1797.03/1797.00 c backtracks : 38032 (9.8%)
1797.03/1797.00 c delayed cutoffs : 0
1797.03/1797.00 c repropagations : 5 (5 domain reductions, 0 cutoffs)
1797.03/1797.00 c avg switch length: 4.37
1797.03/1797.00 c switching time : 10.05
1797.03/1797.00 c Solution :
1797.03/1797.00 c Solutions found : 483 (10 improvements)
1797.03/1797.00 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1797.03/1797.00 c Primal Bound : -2.80000000000000e+01 (in run 1, after 837 nodes, 23.27 seconds, depth 89, found by <fracdiving>)
1797.03/1797.00 c Dual Bound : -4.13432070134442e+01
1797.03/1797.00 c Gap : 32.27 %
1797.03/1797.00 c Root Dual Bound : -4.99999999999998e+01
1797.03/1797.00 c Root Iterations : 1040
1797.54/1797.51 c Time complete: 1797.55.
OK -28
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 988) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3488661-1307786632/watcher-3488661-1307786632 -o /tmp/evaluation-result-3488661-1307786632/solver-3488661-1307786632 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3488661-1307786632.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.05 2.01 1.91 2/177 9507 /proc/meminfo: memFree=31749012/32951124 swapFree=67088052/67111528 [pid=9507] ppid=9505 vsize=11972 CPUtime=0 cores=0,2,4,6 /proc/9507/stat : 9507 (scip-2.0.1.4b_2) R 9505 9507 9011 0 -1 4202496 1961 0 0 0 0 0 0 0 25 0 1 0 871079346 12259328 1915 33554432000 4194304 9016284 140736926755728 18446744073709551615 7870589 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/9507/statm: 2993 1928 340 1178 0 1811 0 [startup+0.0282411 s] /proc/loadavg: 2.05 2.01 1.91 2/177 9507 /proc/meminfo: memFree=31749012/32951124 swapFree=67088052/67111528 [pid=9507] ppid=9505 vsize=22768 CPUtime=0.02 cores=0,2,4,6 /proc/9507/stat : 9507 (scip-2.0.1.4b_2) R 9505 9507 9011 0 -1 4202496 4708 0 0 0 2 0 0 0 25 0 1 0 871079346 23314432 4405 33554432000 4194304 9016284 140736926755728 18446744073709551615 18446744073699066094 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/9507/statm: 5692 4405 484 1178 0 4510 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 22768 [startup+0.100236 s] /proc/loadavg: 2.05 2.01 1.91 2/177 9507 /proc/meminfo: memFree=31749012/32951124 swapFree=67088052/67111528 [pid=9507] ppid=9505 vsize=24980 CPUtime=0.09 cores=0,2,4,6 /proc/9507/stat : 9507 (scip-2.0.1.4b_2) R 9505 9507 9011 0 -1 4202496 5437 0 0 0 9 0 0 0 25 0 1 0 871079346 25579520 5134 33554432000 4194304 9016284 140736926755728 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/9507/statm: 6245 5134 637 1178 0 5063 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 24980 [startup+0.300203 s] /proc/loadavg: 2.05 2.01 1.91 2/177 9507 /proc/meminfo: memFree=31749012/32951124 swapFree=67088052/67111528 [pid=9507] ppid=9505 vsize=27764 CPUtime=0.28 cores=0,2,4,6 /proc/9507/stat : 9507 (scip-2.0.1.4b_2) R 9505 9507 9011 0 -1 4202496 8814 0 0 0 28 0 0 0 25 0 1 0 871079346 28430336 5876 33554432000 4194304 9016284 140736926755728 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/9507/statm: 6941 5876 699 1178 0 5759 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 27764 [startup+0.70117 s] /proc/loadavg: 2.05 2.01 1.91 2/177 9507 /proc/meminfo: memFree=31749012/32951124 swapFree=67088052/67111528 [pid=9507] ppid=9505 vsize=28304 CPUtime=0.69 cores=0,2,4,6 /proc/9507/stat : 9507 (scip-2.0.1.4b_2) R 9505 9507 9011 0 -1 4202496 8996 0 0 0 68 1 0 0 25 0 1 0 871079346 28983296 6058 33554432000 4194304 9016284 140736926755728 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/9507/statm: 7076 6058 707 1178 0 5894 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 28304 [startup+1.50102 s] /proc/loadavg: 2.05 2.01 1.91 3/178 9508 /proc/meminfo: memFree=31727156/32951124 swapFree=67088052/67111528 [pid=9507] ppid=9505 vsize=28388 CPUtime=1.49 cores=0,2,4,6 /proc/9507/stat : 9507 (scip-2.0.1.4b_2) R 9505 9507 9011 0 -1 4202496 10601 0 0 0 147 2 0 0 25 0 1 0 871079346 29069312 6082 33554432000 4194304 9016284 140736926755728 18446744073709551615 7201528 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/9507/statm: 7097 6082 708 1178 0 5915 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 28388 [startup+3.10072 s] /proc/loadavg: 2.05 2.01 1.91 3/178 9508 /proc/meminfo: memFree=31727032/32951124 swapFree=67088052/67111528 [pid=9507] ppid=9505 vsize=28544 CPUtime=3.09 cores=0,2,4,6 /proc/9507/stat : 9507 (scip-2.0.1.4b_2) R 9505 9507 9011 0 -1 4202496 10649 0 0 0 306 3 0 0 25 0 1 0 871079346 29229056 6130 33554432000 4194304 9016284 140736926755728 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/9507/statm: 7136 6130 708 1178 0 5954 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 28544 [startup+6.30014 s] /proc/loadavg: 2.04 2.01 1.91 3/178 9508 /proc/meminfo: memFree=31726180/32951124 swapFree=67088052/67111528 [pid=9507] ppid=9505 vsize=28692 CPUtime=6.29 cores=0,2,4,6 /proc/9507/stat : 9507 (scip-2.0.1.4b_2) R 9505 9507 9011 0 -1 4202496 10655 0 0 0 624 5 0 0 25 0 1 0 871079346 29380608 6136 33554432000 4194304 9016284 140736926755728 18446744073709551615 7200928 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/9507/statm: 7173 6136 708 1178 0 5991 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 28692 [startup+12.701 s] /proc/loadavg: 2.04 2.01 1.91 3/178 9508 /proc/meminfo: memFree=31724544/32951124 swapFree=67088052/67111528 [pid=9507] ppid=9505 vsize=28692 CPUtime=12.69 cores=0,2,4,6 /proc/9507/stat : 9507 (scip-2.0.1.4b_2) R 9505 9507 9011 0 -1 4202496 10655 0 0 0 1259 10 0 0 25 0 1 0 871079346 29380608 6136 33554432000 4194304 9016284 140736926755728 18446744073709551615 7220615 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/9507/statm: 7173 6136 708 1178 0 5991 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 28692 [startup+25.5008 s] /proc/loadavg: 2.03 2.01 1.91 3/178 9509 /proc/meminfo: memFree=31714148/32951124 swapFree=67088052/67111528 [pid=9507] ppid=9505 vsize=30328 CPUtime=25.49 cores=0,2,4,6 /proc/9507/stat : 9507 (scip-2.0.1.4b_2) R 9505 9507 9011 0 -1 4202496 14239 0 0 0 2527 22 0 0 25 0 1 0 871079346 31055872 6551 33554432000 4194304 9016284 140736926755728 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/9507/statm: 7582 6551 711 1178 0 6400 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 30328 [startup+51.1003 s] /proc/loadavg: 2.02 2.01 1.91 3/178 9509 /proc/meminfo: memFree=31705532/32951124 swapFree=67088052/67111528 [pid=9507] ppid=9505 vsize=32256 CPUtime=51.09 cores=0,2,4,6 /proc/9507/stat : 9507 (scip-2.0.1.4b_2) R 9505 9507 9011 0 -1 4202496 20501 0 0 0 5060 49 0 0 25 0 1 0 871079346 33030144 7043 33554432000 4194304 9016284 140736926755728 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/9507/statm: 8064 7043 712 1178 0 6882 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 32256 [startup+102.306 s] /proc/loadavg: 2.01 2.00 1.91 3/178 9511 /proc/meminfo: memFree=31695168/32951124 swapFree=67088052/67111528 [pid=9507] ppid=9505 vsize=40532 CPUtime=102.3 cores=0,2,4,6 /proc/9507/stat : 9507 (scip-2.0.1.4b_2) R 9505 9507 9011 0 -1 4202496 26805 0 0 0 10118 112 0 0 25 0 1 0 871079346 41504768 9121 33554432000 4194304 9016284 140736926755728 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/9507/statm: 10133 9121 713 1178 0 8951 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 40532 [startup+162.301 s] /proc/loadavg: 2.05 2.01 1.92 3/178 9512 /proc/meminfo: memFree=31682232/32951124 swapFree=67088052/67111528 [pid=9507] ppid=9505 vsize=48628 CPUtime=162.3 cores=0,2,4,6 /proc/9507/stat : 9507 (scip-2.0.1.4b_2) R 9505 9507 9011 0 -1 4202496 31587 0 0 0 16036 194 0 0 25 0 1 0 871079346 49795072 11210 33554432000 4194304 9016284 140736926755728 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/9507/statm: 12157 11210 718 1178 0 10975 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 48628 [startup+222.3 s] /proc/loadavg: 2.02 2.01 1.92 3/178 9514 /proc/meminfo: memFree=31671852/32951124 swapFree=67088052/67111528 [pid=9507] ppid=9505 vsize=58132 CPUtime=222.29 cores=0,2,4,6 /proc/9507/stat : 9507 (scip-2.0.1.4b_2) R 9505 9507 9011 0 -1 4202496 35587 0 0 0 21956 273 0 0 25 0 1 0 871079346 59527168 13631 33554432000 4194304 9016284 140736926755728 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/9507/statm: 14533 13631 718 1178 0 13351 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 58132 [startup+282.301 s] /proc/loadavg: 2.00 2.00 1.92 3/178 9516 /proc/meminfo: memFree=31661008/32951124 swapFree=67088052/67111528 [pid=9507] ppid=9505 vsize=68164 CPUtime=282.3 cores=0,2,4,6 /proc/9507/stat : 9507 (scip-2.0.1.4b_2) R 9505 9507 9011 0 -1 4202496 38141 0 0 0 27870 360 0 0 25 0 1 0 871079346 69799936 16185 33554432000 4194304 9016284 140736926755728 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/9507/statm: 17041 16185 718 1178 0 15859 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 68164 [startup+342.301 s] /proc/loadavg: 2.00 2.00 1.92 3/178 9555 /proc/meminfo: memFree=31600796/32951124 swapFree=67088052/67111528 [pid=9507] ppid=9505 vsize=76900 CPUtime=342.3 cores=0,2,4,6 /proc/9507/stat : 9507 (scip-2.0.1.4b_2) R 9505 9507 9011 0 -1 4202496 41828 0 0 0 33789 441 0 0 25 0 1 0 871079346 78745600 18417 33554432000 4194304 9016284 140736926755728 18446744073709551615 7219008 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/9507/statm: 19225 18417 718 1178 0 18043 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 76900 [startup+402.301 s] /proc/loadavg: 2.00 2.00 1.92 3/178 9557 /proc/meminfo: memFree=31584456/32951124 swapFree=67088052/67111528 [pid=9507] ppid=9505 vsize=88692 CPUtime=402.3 cores=0,2,4,6 /proc/9507/stat : 9507 (scip-2.0.1.4b_2) R 9505 9507 9011 0 -1 4202496 44811 0 0 0 39705 525 0 0 25 0 1 0 871079346 90820608 21400 33554432000 4194304 9016284 140736926755728 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/9507/statm: 22173 21400 718 1178 0 20991 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 88692 [startup+462.301 s] /proc/loadavg: 2.00 2.00 1.92 3/178 9558 /proc/meminfo: memFree=31581928/32951124 swapFree=67088052/67111528 [pid=9507] ppid=9505 vsize=97780 CPUtime=462.31 cores=0,2,4,6 /proc/9507/stat : 9507 (scip-2.0.1.4b_2) R 9505 9507 9011 0 -1 4202496 46603 0 0 0 45619 612 0 0 25 0 1 0 871079346 100126720 23192 33554432000 4194304 9016284 140736926755728 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/9507/statm: 24445 23192 718 1178 0 23263 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 97780 [startup+522.301 s] /proc/loadavg: 2.04 2.01 1.93 3/178 9560 /proc/meminfo: memFree=31568736/32951124 swapFree=67088052/67111528 [pid=9507] ppid=9505 vsize=110668 CPUtime=522.3 cores=0,2,4,6 /proc/9507/stat : 9507 (scip-2.0.1.4b_2) R 9505 9507 9011 0 -1 4202496 49807 0 0 0 51531 699 0 0 25 0 1 0 871079346 113324032 26396 33554432000 4194304 9016284 140736926755728 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/9507/statm: 27667 26396 718 1178 0 26485 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 110668 [startup+582.301 s] /proc/loadavg: 2.01 2.01 1.93 3/178 9562 /proc/meminfo: memFree=31550836/32951124 swapFree=67088052/67111528 [pid=9507] ppid=9505 vsize=123576 CPUtime=582.3 cores=0,2,4,6 /proc/9507/stat : 9507 (scip-2.0.1.4b_2) R 9505 9507 9011 0 -1 4202496 53987 0 0 0 57445 785 0 0 25 0 1 0 871079346 126541824 29744 33554432000 4194304 9016284 140736926755728 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/9507/statm: 30894 29744 718 1178 0 29712 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 123576 [startup+642.3 s] ################ # More data... # ################ /proc/meminfo: memFree=31468984/32951124 swapFree=67088052/67111528 [pid=9507] ppid=9505 vsize=203984 CPUtime=1062.31 cores=0,2,4,6 /proc/9507/stat : 9507 (scip-2.0.1.4b_2) R 9505 9507 9011 0 -1 4202496 75870 0 0 0 104735 1496 0 0 25 0 1 0 871079346 208879616 50099 33554432000 4194304 9016284 140736926755728 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/9507/statm: 50996 50099 718 1178 0 49814 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 203984 [startup+1122.3 s] /proc/loadavg: 2.02 2.01 1.94 3/178 9576 /proc/meminfo: memFree=31453948/32951124 swapFree=67088052/67111528 [pid=9507] ppid=9505 vsize=218424 CPUtime=1122.31 cores=0,2,4,6 /proc/9507/stat : 9507 (scip-2.0.1.4b_2) R 9505 9507 9011 0 -1 4202496 78572 0 0 0 110643 1588 0 0 25 0 1 0 871079346 223666176 52801 33554432000 4194304 9016284 140736926755728 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/9507/statm: 54606 52801 718 1178 0 53424 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 218424 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 1.94 3/178 9578 /proc/meminfo: memFree=31450320/32951124 swapFree=67088052/67111528 [pid=9507] ppid=9505 vsize=227368 CPUtime=1182.32 cores=0,2,4,6 /proc/9507/stat : 9507 (scip-2.0.1.4b_2) R 9505 9507 9011 0 -1 4202496 80952 0 0 0 116559 1673 0 0 25 0 1 0 871079346 232824832 55087 33554432000 4194304 9016284 140736926755728 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/9507/statm: 56842 55087 718 1178 0 55660 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 227368 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 1.94 3/178 9579 /proc/meminfo: memFree=31436268/32951124 swapFree=67088052/67111528 [pid=9507] ppid=9505 vsize=236960 CPUtime=1242.32 cores=0,2,4,6 /proc/9507/stat : 9507 (scip-2.0.1.4b_2) R 9505 9507 9011 0 -1 4202496 83396 0 0 0 122470 1762 0 0 25 0 1 0 871079346 242647040 57531 33554432000 4194304 9016284 140736926755728 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/9507/statm: 59240 57531 718 1178 0 58058 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 236960 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 1.94 3/178 9584 /proc/meminfo: memFree=31431492/32951124 swapFree=67088052/67111528 [pid=9507] ppid=9505 vsize=244412 CPUtime=1302.32 cores=0,2,4,6 /proc/9507/stat : 9507 (scip-2.0.1.4b_2) R 9505 9507 9011 0 -1 4202496 85286 0 0 0 128379 1853 0 0 25 0 1 0 871079346 250277888 59421 33554432000 4194304 9016284 140736926755728 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/9507/statm: 61103 59421 718 1178 0 59921 0 Current children cumulated CPU time (s) 1302.32 Current children cumulated vsize (KiB) 244412 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 1.94 3/178 9585 /proc/meminfo: memFree=31414188/32951124 swapFree=67088052/67111528 [pid=9507] ppid=9505 vsize=260904 CPUtime=1362.33 cores=0,2,4,6 /proc/9507/stat : 9507 (scip-2.0.1.4b_2) R 9505 9507 9011 0 -1 4202496 89454 0 0 0 134286 1947 0 0 25 0 1 0 871079346 267165696 63589 33554432000 4194304 9016284 140736926755728 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/9507/statm: 65226 63589 718 1178 0 64044 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 260904 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 1.94 3/178 9587 /proc/meminfo: memFree=31402500/32951124 swapFree=67088052/67111528 [pid=9507] ppid=9505 vsize=272104 CPUtime=1422.33 cores=0,2,4,6 /proc/9507/stat : 9507 (scip-2.0.1.4b_2) R 9505 9507 9011 0 -1 4202496 92271 0 0 0 140194 2039 0 0 25 0 1 0 871079346 278634496 66406 33554432000 4194304 9016284 140736926755728 18446744073709551615 4786612 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/9507/statm: 68026 66406 718 1178 0 66844 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 272104 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 1.94 3/178 9589 /proc/meminfo: memFree=31390800/32951124 swapFree=67088052/67111528 [pid=9507] ppid=9505 vsize=285076 CPUtime=1482.33 cores=0,2,4,6 /proc/9507/stat : 9507 (scip-2.0.1.4b_2) R 9505 9507 9011 0 -1 4202496 95569 0 0 0 146099 2134 0 0 25 0 1 0 871079346 291917824 69704 33554432000 4194304 9016284 140736926755728 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/9507/statm: 71269 69704 718 1178 0 70087 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 285076 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 1.94 3/178 9590 /proc/meminfo: memFree=31379484/32951124 swapFree=67088052/67111528 [pid=9507] ppid=9505 vsize=294496 CPUtime=1542.33 cores=0,2,4,6 /proc/9507/stat : 9507 (scip-2.0.1.4b_2) R 9505 9507 9011 0 -1 4202496 97997 0 0 0 152005 2228 0 0 25 0 1 0 871079346 301563904 72132 33554432000 4194304 9016284 140736926755728 18446744073709551615 4987696 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/9507/statm: 73624 72132 718 1178 0 72442 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 294496 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 1.94 3/178 9592 /proc/meminfo: memFree=31351160/32951124 swapFree=67088052/67111528 [pid=9507] ppid=9505 vsize=306848 CPUtime=1602.32 cores=0,2,4,6 /proc/9507/stat : 9507 (scip-2.0.1.4b_2) R 9505 9507 9011 0 -1 4202496 101149 0 0 0 157912 2320 0 0 25 0 1 0 871079346 314212352 75284 33554432000 4194304 9016284 140736926755728 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/9507/statm: 76712 75284 718 1178 0 75530 0 Current children cumulated CPU time (s) 1602.32 Current children cumulated vsize (KiB) 306848 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 1.94 3/178 9593 /proc/meminfo: memFree=31341468/32951124 swapFree=67088052/67111528 [pid=9507] ppid=9505 vsize=316332 CPUtime=1662.33 cores=0,2,4,6 /proc/9507/stat : 9507 (scip-2.0.1.4b_2) R 9505 9507 9011 0 -1 4202496 103535 0 0 0 163820 2413 0 0 25 0 1 0 871079346 323923968 77670 33554432000 4194304 9016284 140736926755728 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/9507/statm: 79083 77670 718 1178 0 77901 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 316332 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 1.94 3/178 9595 /proc/meminfo: memFree=31332860/32951124 swapFree=67088052/67111528 [pid=9507] ppid=9505 vsize=324728 CPUtime=1722.33 cores=0,2,4,6 /proc/9507/stat : 9507 (scip-2.0.1.4b_2) R 9505 9507 9011 0 -1 4202496 105655 0 0 0 169729 2504 0 0 25 0 1 0 871079346 332521472 79790 33554432000 4194304 9016284 140736926755728 18446744073709551615 7198839 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/9507/statm: 81182 79790 718 1178 0 80000 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 324728 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 1.94 3/178 9597 /proc/meminfo: memFree=31321664/32951124 swapFree=67088052/67111528 [pid=9507] ppid=9505 vsize=335628 CPUtime=1782.34 cores=0,2,4,6 /proc/9507/stat : 9507 (scip-2.0.1.4b_2) R 9505 9507 9011 0 -1 4202496 108432 0 0 0 175642 2592 0 0 25 0 1 0 871079346 343683072 82567 33554432000 4194304 9016284 140736926755728 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/9507/statm: 83907 82567 718 1178 0 82725 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 335628 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 2.00 2.00 1.94 3/178 9597 /proc/meminfo: memFree=31321292/32951124 swapFree=67088052/67111528 [pid=9507] ppid=9505 vsize=335768 CPUtime=1785.54 cores=0,2,4,6 /proc/9507/stat : 9507 (scip-2.0.1.4b_2) R 9505 9507 9011 0 -1 4202496 108526 0 0 0 175957 2597 0 0 25 0 1 0 871079346 343826432 82661 33554432000 4194304 9016284 140736926755728 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/9507/statm: 83942 82661 718 1178 0 82760 0 Current children cumulated CPU time (s) 1785.54 Current children cumulated vsize (KiB) 335768 [startup+1791.91 s] /proc/loadavg: 2.00 2.00 1.94 3/178 9597 /proc/meminfo: memFree=31319052/32951124 swapFree=67088052/67111528 [pid=9507] ppid=9505 vsize=337956 CPUtime=1791.94 cores=0,2,4,6 /proc/9507/stat : 9507 (scip-2.0.1.4b_2) R 9505 9507 9011 0 -1 4202496 109091 0 0 0 176588 2606 0 0 25 0 1 0 871079346 346066944 83226 33554432000 4194304 9016284 140736926755728 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/9507/statm: 84489 83226 718 1178 0 83307 0 Current children cumulated CPU time (s) 1791.94 Current children cumulated vsize (KiB) 337956 [startup+1795.1 s] /proc/loadavg: 2.00 2.00 1.94 3/178 9597 /proc/meminfo: memFree=31317812/32951124 swapFree=67088052/67111528 [pid=9507] ppid=9505 vsize=339148 CPUtime=1795.14 cores=0,2,4,6 /proc/9507/stat : 9507 (scip-2.0.1.4b_2) R 9505 9507 9011 0 -1 4202496 109382 0 0 0 176904 2610 0 0 25 0 1 0 871079346 347287552 83517 33554432000 4194304 9016284 140736926755728 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/9507/statm: 84787 83517 718 1178 0 83605 0 Current children cumulated CPU time (s) 1795.14 Current children cumulated vsize (KiB) 339148 [startup+1796.7 s] /proc/loadavg: 2.00 2.00 1.94 3/178 9597 /proc/meminfo: memFree=31317812/32951124 swapFree=67088052/67111528 [pid=9507] ppid=9505 vsize=339148 CPUtime=1796.73 cores=0,2,4,6 /proc/9507/stat : 9507 (scip-2.0.1.4b_2) R 9505 9507 9011 0 -1 4202496 109389 0 0 0 177061 2612 0 0 25 0 1 0 871079346 347287552 83524 33554432000 4194304 9016284 140736926755728 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/9507/statm: 84787 83524 718 1178 0 83605 0 Current children cumulated CPU time (s) 1796.73 Current children cumulated vsize (KiB) 339148 [startup+1797.1 s] /proc/loadavg: 2.00 2.00 1.94 3/178 9597 /proc/meminfo: memFree=31317812/32951124 swapFree=67088052/67111528 [pid=9507] ppid=9505 vsize=339148 CPUtime=1797.13 cores=0,2,4,6 /proc/9507/stat : 9507 (scip-2.0.1.4b_2) R 9505 9507 9011 0 -1 4202496 109392 0 0 0 177101 2612 0 0 18 0 1 0 871079346 347287552 83527 33554432000 4194304 9016284 140736926755728 18446744073709551615 6592238 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/9507/statm: 84787 83527 720 1178 0 83605 0 Current children cumulated CPU time (s) 1797.13 Current children cumulated vsize (KiB) 339148 [startup+1797.5 s] /proc/loadavg: 2.00 2.00 1.94 3/178 9597 /proc/meminfo: memFree=31317812/32951124 swapFree=67088052/67111528 [pid=9507] ppid=9505 vsize=271232 CPUtime=1797.54 cores=0,2,4,6 /proc/9507/stat : 9507 (scip-2.0.1.4b_2) R 9505 9507 9011 0 -1 4202496 109392 0 0 0 177141 2613 0 0 18 0 1 0 871079346 277741568 66121 33554432000 4194304 9016284 140736926755728 18446744073709551615 8107690 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/9507/statm: 67808 66076 720 1178 0 66626 0 Current children cumulated CPU time (s) 1797.54 Current children cumulated vsize (KiB) 271232 Child status: 0 Real time (s): 1797.51 CPU time (s): 1797.55 CPU user time (s): 1771.41 CPU system time (s): 26.142 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 339148 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1771.41 system time used= 26.142 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 109397 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= 7 involuntary context switches= 2817 runsolver used 2.72358 second user time and 5.45717 second system time The end
Begin job on node144 at 2011-06-11 12:03:52 IDJOB=3488661 IDBENCH=48265 IDSOLVER=1979 FILE ID=node144/3488661-1307786632 RUNJOBID= node144-1307783026-9029 PBS_JOBID= 13550885 Free space on /tmp= 74012 MiB SOLVER NAME= SCIP spx E_2 2011-06-10 (fixed) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_100_10_5.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-3488661-1307786632/watcher-3488661-1307786632 -o /tmp/evaluation-result-3488661-1307786632/solver-3488661-1307786632 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3488661-1307786632.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= ae2bd1e13f1871c16ad2ebb51fc6f92a RANDOM SEED=280916982 node144.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.850 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.70 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.850 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.16 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.850 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.850 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.850 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.850 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.850 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.850 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31749316 kB Buffers: 176108 kB Cached: 783424 kB SwapCached: 1652 kB Active: 460820 kB Inactive: 567680 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31749316 kB SwapTotal: 67111528 kB SwapFree: 67088052 kB Dirty: 33716 kB Writeback: 0 kB AnonPages: 67348 kB Mapped: 17552 kB Slab: 107808 kB PageTables: 4592 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 230960 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73996 MiB End job on node144 at 2011-06-11 12:33:50