Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP spx SCIP 2.1.1.4. with SoPlex 1.6.0.3 fixed | SAT | 11 | 1796.8 | 1797.11 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_200_25_5.opb |
| MD5SUM | e3f554c192a1ee7b261cc2808827870e |
| 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 | 10 |
| Best CPU time to get the best result obtained on this benchmark | 1796.78 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 12 |
| Optimality of the best value was proved | NO |
| Number of variables | 200 |
| Total number of constraints | 200 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 200 |
| Minimum length of a constraint | 26 |
| Maximum length of a constraint | 50 |
| Number of terms in the objective function | 200 |
| 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 | 200 |
| Number of bits of the sum of numbers in the objective function | 8 |
| 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) | 6226 |
| Sum of products size (including duplicates) | 12452 |
| Number of different products | 6226 |
| Sum of products size | 12452 |
0.00/0.00 c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: a3bf3a4-dirty]
0.00/0.00 c Copyright (c) 2002-2012 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-3691451-1338020784.opb>
0.00/0.00 c original problem has 200 variables (200 bin, 0 int, 0 impl, 0 cont) and 200 constraints
0.00/0.00 c problem read in 0.01
0.00/0.04 o 200
0.00/0.04 c feasible solution found by trivial heuristic, objective value 2.000000e+02
0.00/0.04 c presolving:
0.19/0.21 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 200 upgd conss, 415046 impls, 0 clqs
0.19/0.29 c (0.3s) probing: 51/6426 (0.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.29 c (0.3s) probing aborted: 50/50 successive totally useless probings
0.29/0.30 c presolving (2 rounds):
0.29/0.30 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.29/0.30 c 415046 implications, 0 cliques
0.29/0.30 c presolved problem has 6426 variables (6426 bin, 0 int, 0 impl, 0 cont) and 6426 constraints
0.29/0.30 c 6226 constraints of type <and>
0.29/0.30 c 200 constraints of type <logicor>
0.29/0.30 c transformed objective value is always integral (scale: 1)
0.29/0.30 c Presolving Time: 0.29
0.29/0.30 c - non default parameters ----------------------------------------------------------------------
0.29/0.30 c # SCIP version 2.1.1.4
0.29/0.30 c
0.29/0.30 c # maximal time in seconds to run
0.29/0.30 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.30 c limits/time = 1797
0.29/0.30 c
0.29/0.30 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.29/0.30 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.30 c limits/memory = 13950
0.29/0.30 c
0.29/0.30 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.29/0.30 c # [type: int, range: [1,2], default: 1]
0.29/0.30 c timing/clocktype = 2
0.29/0.30 c
0.29/0.30 c # belongs reading time to solving time?
0.29/0.30 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.30 c timing/reading = TRUE
0.29/0.30 c
0.29/0.30 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.29/0.30 c # [type: int, range: [-1,2147483647], default: -1]
0.29/0.30 c separating/rapidlearning/freq = 0
0.29/0.30 c
0.29/0.30 c -----------------------------------------------------------------------------------------------
0.29/0.30 c start solving
0.29/0.31 c
0.39/0.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.39/0.40 c t 0.4s| 1 | 0 | 400 | - | 36M| 0 | 400 |6426 |6426 |6426 | 12k| 0 | 0 | 0 | 0.000000e+00 | 2.000000e+02 | Inf
0.39/0.41 o 26
0.39/0.41 c s 0.4s| 1 | 0 | 400 | - | 37M| 0 | 400 |6426 |6426 |6426 | 12k| 0 | 0 | 0 | 0.000000e+00 | 2.600000e+01 | Inf
1.29/1.37 c 1.4s| 1 | 0 | 1000 | - | 37M| 0 | 400 |6426 |6426 |6426 | 13k| 401 | 0 | 0 | 0.000000e+00 | 2.600000e+01 | Inf
1.79/1.83 c 1.8s| 1 | 0 | 1600 | - | 37M| 0 | 400 |6426 |6426 |6426 | 13k| 803 | 0 | 0 | 0.000000e+00 | 2.600000e+01 | Inf
1.79/1.84 o 25
1.79/1.84 c s 1.8s| 1 | 0 | 1600 | - | 37M| 0 | 400 |6426 |6426 |6426 | 13k| 803 | 0 | 0 | 0.000000e+00 | 2.500000e+01 | Inf
2.29/2.30 c 2.3s| 1 | 0 | 2200 | - | 37M| 0 | 400 |6426 |6426 |6426 | 13k|1204 | 0 | 0 | 0.000000e+00 | 2.500000e+01 | Inf
2.29/2.31 o 18
2.29/2.31 c s 2.3s| 1 | 0 | 2200 | - | 37M| 0 | 400 |6426 |6426 |6426 | 13k|1204 | 0 | 0 | 0.000000e+00 | 1.800000e+01 | Inf
2.79/2.80 c 2.8s| 1 | 0 | 2801 | - | 38M| 0 | 400 |6426 |6426 |6426 | 14k|1607 | 0 | 0 | 0.000000e+00 | 1.800000e+01 | Inf
3.29/3.38 c 3.4s| 1 | 0 | 3401 | - | 38M| 0 | 400 |6426 |6426 |6426 | 14k|2010 | 0 | 0 | 0.000000e+00 | 1.800000e+01 | Inf
3.29/3.39 o 16
3.29/3.39 c s 3.4s| 1 | 0 | 3401 | - | 38M| 0 | 400 |6426 |6426 |6426 | 14k|2010 | 0 | 0 | 0.000000e+00 | 1.600000e+01 | Inf
3.89/3.92 c 3.9s| 1 | 0 | 4003 | - | 38M| 0 | 400 |6426 |6426 |6426 | 15k|2414 | 0 | 0 | 0.000000e+00 | 1.600000e+01 | Inf
3.99/4.01 c 4.0s| 1 | 2 | 4003 | - | 38M| 0 | 400 |6426 |6426 |6426 | 15k|2414 | 0 | 0 | 0.000000e+00 | 1.600000e+01 | Inf
102.87/102.94 c 103s| 100 | 101 |210939 |2090.3 | 38M| 11 |1946 |6426 |6463 |6426 |5598 | 46k| 37 | 628 | 6.127619e+00 | 1.600000e+01 | 161.11%
170.75/170.82 c 171s| 200 | 201 |346201 |1719.6 | 39M| 23 |1888 |6426 |6463 |6426 |6062 | 62k| 37 | 724 | 6.557758e+00 | 1.600000e+01 | 143.99%
233.85/233.98 c 234s| 300 | 301 |486393 |1613.3 | 40M| 25 |1473 |6426 |6455 |6426 |5963 | 78k| 39 | 844 | 6.606721e+00 | 1.600000e+01 | 142.18%
286.83/286.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
286.83/286.96 c 287s| 400 | 401 |589698 |1467.9 | 40M| 25 |2768 |6426 |6448 |6426 |6534 | 89k| 39 | 958 | 6.737364e+00 | 1.600000e+01 | 137.48%
332.43/332.51 c 333s| 500 | 501 |687972 |1370.7 | 41M| 27 |2530 |6426 |6447 |6426 |6489 | 99k| 39 |1005 | 6.865956e+00 | 1.600000e+01 | 133.03%
372.13/372.21 c 372s| 600 | 601 |763811 |1268.5 | 42M| 32 |1833 |6426 |6447 |6426 |6091 | 107k| 40 |1093 | 6.916329e+00 | 1.600000e+01 | 131.34%
376.32/376.43 o 15
376.32/376.43 c v 376s| 610 | 611 |774321 |1264.9 | 42M| 32 | - |6426 |6449 |6426 |6030 | 108k| 42 |1094 | 6.916329e+00 | 1.500000e+01 | 116.88%
409.62/409.73 c 410s| 700 | 701 |848971 |1208.8 | 42M| 37 |1842 |6426 |6446 |6426 |5839 | 117k| 42 |1111 | 7.026252e+00 | 1.500000e+01 | 113.49%
448.62/448.78 o 14
448.62/448.78 c v 449s| 794 | 795 |926874 |1163.8 | 43M| 39 | - |6426 |6444 |6426 |6457 | 124k| 42 |1205 | 7.172434e+00 | 1.400000e+01 | 95.19%
451.71/451.83 c 452s| 800 | 801 |932698 |1162.3 | 43M| 39 |2381 |6426 |6444 |6426 |6749 | 124k| 42 |1211 | 7.172434e+00 | 1.400000e+01 | 95.19%
490.10/490.26 c 490s| 900 | 901 | 1017k|1127.8 | 44M| 41 |1359 |6426 |6445 |6426 |6804 | 132k| 47 |1220 | 7.190700e+00 | 1.400000e+01 | 94.70%
519.60/519.78 c 520s| 1000 | 1001 | 1081k|1078.2 | 44M| 43 | 645 |6426 |6447 |6426 |5929 | 138k| 50 |1221 | 7.251384e+00 | 1.400000e+01 | 93.07%
540.30/540.49 o 12
540.30/540.49 c l 540s| 1065 | 1052 | 1124k|1053.1 | 45M| 43 | - |6426 |6447 |6426 |6623 | 141k| 50 |1221 | 7.275766e+00 | 1.200000e+01 | 64.93%
551.49/551.62 c 552s| 1100 | 1087 | 1147k|1040.9 | 45M| 43 |1205 |6426 |6448 |6426 |6564 | 143k| 51 |1221 | 7.284927e+00 | 1.200000e+01 | 64.72%
584.79/584.92 c 585s| 1200 | 1185 | 1211k|1007.3 | 45M| 46 |1461 |6426 |6448 |6426 |6740 | 147k| 51 |1221 | 7.311206e+00 | 1.200000e+01 | 64.13%
616.99/617.12 c 617s| 1300 | 1279 | 1274k| 977.8 | 46M| 46 |1762 |6426 |6448 |6426 |6736 | 151k| 51 |1221 | 7.317523e+00 | 1.200000e+01 | 63.99%
645.08/645.28 c 645s| 1400 | 1375 | 1328k| 946.9 | 47M| 46 |1125 |6426 |6451 |6426 |6517 | 155k| 54 |1243 | 7.324147e+00 | 1.200000e+01 | 63.84%
669.58/669.80 c 670s| 1500 | 1457 | 1372k| 913.1 | 48M| 47 |1855 |6426 |6451 |6426 |6775 | 159k| 54 |1304 | 7.324147e+00 | 1.200000e+01 | 63.84%
701.07/701.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
701.07/701.21 c 701s| 1600 | 1549 | 1436k| 895.6 | 49M| 53 |2097 |6426 |6451 |6426 |6672 | 163k| 54 |1340 | 7.324213e+00 | 1.200000e+01 | 63.84%
720.16/720.40 c 720s| 1700 | 1635 | 1472k| 864.4 | 50M| 54 |1953 |6426 |6449 |6426 |6677 | 165k| 54 |1341 | 7.332645e+00 | 1.200000e+01 | 63.65%
739.77/739.98 c 740s| 1800 | 1719 | 1509k| 836.7 | 51M| 54 |1225 |6426 |6448 |6426 |6839 | 169k| 54 |1367 | 7.334746e+00 | 1.200000e+01 | 63.60%
750.97/751.17 o 11
750.97/751.17 c * 751s| 1863 | 1380 | 1530k| 819.9 | 47M| 54 | - |6426 |6448 |6426 |5881 | 172k| 54 |1393 | 7.340952e+00 | 1.100000e+01 | 49.84%
756.57/756.76 c 757s| 1900 | 1393 | 1540k| 808.9 | 48M| 54 |2002 |6426 |6448 |6426 |6709 | 172k| 54 |1411 | 7.341788e+00 | 1.100000e+01 | 49.83%
769.66/769.81 c 770s| 2000 | 1427 | 1563k| 780.4 | 49M| 54 | 910 |6426 |6447 |6426 |5594 | 175k| 54 |1448 | 7.342473e+00 | 1.100000e+01 | 49.81%
784.26/784.42 c 784s| 2100 | 1465 | 1589k| 755.6 | 51M| 54 | - |6426 |6447 |6426 |6734 | 177k| 54 |1483 | 7.351645e+00 | 1.100000e+01 | 49.63%
796.46/796.65 c 797s| 2200 | 1501 | 1613k| 732.0 | 52M| 54 |1561 |6426 |6447 |6426 |6678 | 179k| 54 |1485 | 7.356235e+00 | 1.100000e+01 | 49.53%
807.76/807.95 c 808s| 2300 | 1531 | 1639k| 711.2 | 53M| 54 | - |6426 |6445 |6426 |6539 | 181k| 54 |1486 | 7.356663e+00 | 1.100000e+01 | 49.52%
820.25/820.40 c 820s| 2400 | 1565 | 1664k| 692.3 | 54M| 54 |1368 |6426 |6445 |6426 |5504 | 183k| 54 |1502 | 7.357290e+00 | 1.100000e+01 | 49.51%
835.24/835.43 c 835s| 2500 | 1601 | 1693k| 675.9 | 55M| 54 |1422 |6426 |6445 |6426 |6229 | 186k| 54 |1538 | 7.361316e+00 | 1.100000e+01 | 49.43%
850.85/851.04 c 851s| 2600 | 1641 | 1720k| 660.5 | 56M| 54 |1821 |6426 |6445 |6426 |6174 | 189k| 54 |1583 | 7.368377e+00 | 1.100000e+01 | 49.29%
863.14/863.37 c 863s| 2700 | 1663 | 1744k| 644.8 | 58M| 54 | - |6426 |6444 |6426 |6778 | 190k| 54 |1624 | 7.368377e+00 | 1.100000e+01 | 49.29%
874.64/874.88 c 875s| 2800 | 1693 | 1768k| 630.3 | 59M| 54 | - |6426 |6444 |6426 |5966 | 193k| 54 |1639 | 7.373246e+00 | 1.100000e+01 | 49.19%
885.64/885.90 c 886s| 2900 | 1723 | 1793k| 617.1 | 60M| 54 |2701 |6426 |6444 |6426 |6793 | 195k| 54 |1646 | 7.379038e+00 | 1.100000e+01 | 49.07%
895.14/895.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
895.14/895.36 c 895s| 3000 | 1745 | 1812k| 603.1 | 61M| 54 |1586 |6426 |6444 |6426 |6772 | 197k| 54 |1647 | 7.379038e+00 | 1.100000e+01 | 49.07%
905.43/905.64 c 906s| 3100 | 1771 | 1832k| 589.9 | 62M| 55 |1239 |6426 |6444 |6426 |6802 | 198k| 54 |1647 | 7.384145e+00 | 1.100000e+01 | 48.97%
918.53/918.73 c 919s| 3200 | 1809 | 1852k| 577.8 | 62M| 64 |1927 |6426 |6444 |6426 |6854 | 199k| 54 |1680 | 7.387736e+00 | 1.100000e+01 | 48.90%
927.54/927.79 c 928s| 3300 | 1837 | 1865k| 564.3 | 63M| 72 | - |6426 |6444 |6426 |6866 | 200k| 54 |1698 | 7.390257e+00 | 1.100000e+01 | 48.84%
937.73/937.95 c 938s| 3400 | 1853 | 1883k| 553.1 | 64M| 73 | - |6426 |6443 |6426 |6166 | 201k| 54 |1721 | 7.390257e+00 | 1.100000e+01 | 48.84%
951.93/952.12 c 952s| 3500 | 1883 | 1910k| 544.7 | 65M| 73 | - |6426 |6442 |6426 |6511 | 203k| 54 |1761 | 7.398406e+00 | 1.100000e+01 | 48.68%
960.53/960.73 c 961s| 3600 | 1901 | 1926k| 534.1 | 65M| 73 |1730 |6426 |6442 |6426 |5856 | 205k| 54 |1785 | 7.398406e+00 | 1.100000e+01 | 48.68%
973.12/973.34 c 973s| 3700 | 1931 | 1954k| 527.3 | 66M| 73 |2338 |6426 |6442 |6426 |6283 | 207k| 54 |1803 | 7.408682e+00 | 1.100000e+01 | 48.47%
981.62/981.84 c 982s| 3800 | 1945 | 1971k| 517.9 | 67M| 73 | - |6426 |6442 |6426 |5798 | 208k| 54 |1808 | 7.412856e+00 | 1.100000e+01 | 48.39%
988.03/988.29 c 988s| 3900 | 1955 | 1985k| 508.1 | 67M| 73 | - |6426 |6442 |6426 |6806 | 209k| 54 |1808 | 7.412856e+00 | 1.100000e+01 | 48.39%
996.43/996.65 c 997s| 4000 | 1979 | 2001k| 499.4 | 68M| 73 |2678 |6426 |6442 |6426 |6790 | 211k| 54 |1808 | 7.413695e+00 | 1.100000e+01 | 48.37%
1007.12/1007.33 c 1007s| 4100 | 2001 | 2023k| 492.7 | 69M| 73 |1818 |6426 |6442 |6426 |6861 | 212k| 54 |1809 | 7.413850e+00 | 1.100000e+01 | 48.37%
1015.42/1015.66 c 1016s| 4200 | 2025 | 2036k| 484.0 | 69M| 73 |2041 |6426 |6442 |6426 |6837 | 213k| 54 |1833 | 7.413850e+00 | 1.100000e+01 | 48.37%
1025.62/1025.80 c 1026s| 4300 | 2043 | 2053k| 476.8 | 70M| 73 |1739 |6426 |6441 |6426 |6329 | 214k| 54 |1860 | 7.424399e+00 | 1.100000e+01 | 48.16%
1036.61/1036.89 c 1037s| 4400 | 2065 | 2073k| 470.5 | 70M| 73 |2380 |6426 |6441 |6426 |6820 | 215k| 54 |1877 | 7.437249e+00 | 1.100000e+01 | 47.90%
1046.71/1046.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1046.71/1046.90 c 1047s| 4500 | 2079 | 2089k| 463.6 | 71M| 73 |1975 |6426 |6441 |6426 |6798 | 216k| 54 |1909 | 7.441790e+00 | 1.100000e+01 | 47.81%
1059.11/1059.31 c 1059s| 4600 | 2101 | 2115k| 459.2 | 72M| 73 | - |6426 |6440 |6426 |6170 | 218k| 54 |1940 | 7.445273e+00 | 1.100000e+01 | 47.74%
1066.82/1067.04 c 1067s| 4700 | 2119 | 2127k| 452.0 | 72M| 73 |1349 |6426 |6440 |6426 |6741 | 219k| 54 |1957 | 7.446114e+00 | 1.100000e+01 | 47.73%
1077.21/1077.43 c 1077s| 4800 | 2141 | 2146k| 446.3 | 73M| 73 |2154 |6426 |6440 |6426 |5921 | 220k| 54 |1980 | 7.446679e+00 | 1.100000e+01 | 47.72%
1086.31/1086.57 c 1087s| 4900 | 2157 | 2165k| 441.1 | 73M| 73 | - |6426 |6440 |6426 |6496 | 221k| 54 |1985 | 7.446719e+00 | 1.100000e+01 | 47.72%
1094.41/1094.66 c 1095s| 5000 | 2181 | 2181k| 435.6 | 74M| 78 |2263 |6426 |6440 |6426 |5979 | 222k| 54 |1986 | 7.446719e+00 | 1.100000e+01 | 47.72%
1101.61/1101.88 c 1102s| 5100 | 2199 | 2195k| 429.7 | 74M| 78 | - |6426 |6440 |6426 |6794 | 223k| 54 |1986 | 7.447843e+00 | 1.100000e+01 | 47.69%
1110.81/1111.08 c 1111s| 5200 | 2219 | 2213k| 424.9 | 75M| 78 | - |6426 |6439 |6426 |6647 | 224k| 54 |1986 | 7.454438e+00 | 1.100000e+01 | 47.56%
1121.70/1121.99 c 1122s| 5300 | 2245 | 2235k| 421.2 | 76M| 78 |1511 |6426 |6439 |6426 |6487 | 226k| 54 |1986 | 7.455815e+00 | 1.100000e+01 | 47.54%
1133.10/1133.34 c 1133s| 5400 | 2261 | 2256k| 417.2 | 76M| 78 | - |6426 |6439 |6426 |6676 | 227k| 54 |2024 | 7.455815e+00 | 1.100000e+01 | 47.54%
1142.39/1142.60 c 1143s| 5500 | 2281 | 2275k| 413.0 | 77M| 78 |1769 |6426 |6439 |6426 |6804 | 229k| 54 |2035 | 7.457807e+00 | 1.100000e+01 | 47.50%
1154.10/1154.35 c 1154s| 5600 | 2307 | 2295k| 409.3 | 78M| 78 |1542 |6426 |6439 |6426 |5739 | 231k| 54 |2059 | 7.464924e+00 | 1.100000e+01 | 47.36%
1161.70/1161.97 c 1162s| 5700 | 2323 | 2310k| 404.6 | 79M| 78 | - |6426 |6439 |6426 |6824 | 232k| 54 |2082 | 7.464924e+00 | 1.100000e+01 | 47.36%
1170.10/1170.35 c 1170s| 5800 | 2343 | 2323k| 400.1 | 80M| 78 |2463 |6426 |6439 |6426 |6799 | 232k| 54 |2096 | 7.474685e+00 | 1.100000e+01 | 47.16%
1178.69/1178.93 c 1179s| 5900 | 2353 | 2339k| 395.9 | 80M| 78 |1552 |6426 |6439 |6426 |5509 | 233k| 54 |2116 | 7.474685e+00 | 1.100000e+01 | 47.16%
1189.10/1189.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1189.10/1189.33 c 1189s| 6000 | 2369 | 2360k| 392.8 | 81M| 78 |1777 |6426 |6439 |6426 |6554 | 235k| 54 |2140 | 7.475158e+00 | 1.100000e+01 | 47.15%
1196.60/1196.86 c 1197s| 6100 | 2379 | 2376k| 389.0 | 81M| 78 |2011 |6426 |6439 |6426 |6756 | 236k| 54 |2147 | 7.479365e+00 | 1.100000e+01 | 47.07%
1205.79/1206.00 c 1206s| 6200 | 2393 | 2397k| 386.1 | 82M| 78 |1827 |6426 |6439 |6426 |6508 | 238k| 54 |2151 | 7.479365e+00 | 1.100000e+01 | 47.07%
1214.79/1215.05 c 1215s| 6300 | 2409 | 2418k| 383.3 | 83M| 78 | - |6426 |6439 |6426 |6164 | 239k| 54 |2157 | 7.479365e+00 | 1.100000e+01 | 47.07%
1223.00/1223.26 c 1223s| 6400 | 2427 | 2434k| 379.9 | 83M| 78 |1009 |6426 |6439 |6426 |6195 | 240k| 54 |2157 | 7.479784e+00 | 1.100000e+01 | 47.06%
1231.80/1232.05 c 1232s| 6500 | 2447 | 2451k| 376.5 | 84M| 78 | - |6426 |6439 |6426 |6639 | 241k| 54 |2157 | 7.479784e+00 | 1.100000e+01 | 47.06%
1242.18/1242.44 c 1242s| 6600 | 2471 | 2468k| 373.4 | 84M| 78 |2188 |6426 |6439 |6426 |6742 | 242k| 54 |2172 | 7.484576e+00 | 1.100000e+01 | 46.97%
1247.98/1248.28 c 1248s| 6700 | 2483 | 2478k| 369.4 | 85M| 78 |2018 |6426 |6439 |6426 |6862 | 242k| 54 |2172 | 7.484576e+00 | 1.100000e+01 | 46.97%
1255.68/1255.91 c 1256s| 6800 | 2493 | 2489k| 365.6 | 85M| 78 |1492 |6426 |6439 |6426 |6759 | 243k| 54 |2201 | 7.485079e+00 | 1.100000e+01 | 46.96%
1262.48/1262.80 c 1263s| 6900 | 2507 | 2506k| 362.7 | 86M| 78 |2013 |6426 |6439 |6426 |6845 | 244k| 54 |2201 | 7.486421e+00 | 1.100000e+01 | 46.93%
1270.48/1270.73 c 1271s| 7000 | 2513 | 2520k| 359.5 | 86M| 78 | - |6426 |6439 |6426 |6846 | 245k| 54 |2221 | 7.486421e+00 | 1.100000e+01 | 46.93%
1278.77/1279.03 c 1279s| 7100 | 2529 | 2534k| 356.4 | 86M| 78 |2197 |6426 |6439 |6426 |6840 | 246k| 54 |2231 | 7.488498e+00 | 1.100000e+01 | 46.89%
1287.27/1287.52 c 1288s| 7200 | 2541 | 2548k| 353.5 | 87M| 78 | - |6426 |6439 |6426 |6378 | 247k| 54 |2250 | 7.488498e+00 | 1.100000e+01 | 46.89%
1295.87/1296.14 c 1296s| 7300 | 2557 | 2563k| 350.6 | 87M| 78 | - |6426 |6439 |6426 |6367 | 248k| 54 |2268 | 7.493769e+00 | 1.100000e+01 | 46.79%
1303.67/1303.99 c 1304s| 7400 | 2577 | 2575k| 347.6 | 88M| 78 | - |6426 |6439 |6426 |6843 | 248k| 54 |2277 | 7.500222e+00 | 1.100000e+01 | 46.66%
1314.46/1314.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1314.46/1314.75 c 1315s| 7500 | 2601 | 2592k| 345.2 | 89M| 78 | - |6426 |6439 |6426 |6850 | 249k| 54 |2301 | 7.503926e+00 | 1.100000e+01 | 46.59%
1324.97/1325.24 c 1325s| 7600 | 2625 | 2613k| 343.3 | 89M| 78 | - |6426 |6439 |6426 |6352 | 251k| 54 |2314 | 7.504543e+00 | 1.100000e+01 | 46.58%
1335.07/1335.34 c 1335s| 7700 | 2647 | 2636k| 341.9 | 90M| 78 |1406 |6426 |6439 |6426 |6410 | 252k| 54 |2319 | 7.507126e+00 | 1.100000e+01 | 46.53%
1340.86/1341.14 c 1341s| 7800 | 2655 | 2648k| 339.1 | 91M| 81 |1248 |6426 |6439 |6426 |5952 | 253k| 54 |2320 | 7.508006e+00 | 1.100000e+01 | 46.51%
1345.96/1346.20 c 1346s| 7900 | 2659 | 2658k| 336.1 | 92M| 81 |1494 |6426 |6439 |6426 |6772 | 254k| 54 |2321 | 7.508006e+00 | 1.100000e+01 | 46.51%
1354.06/1354.34 c 1354s| 8000 | 2671 | 2675k| 334.0 | 92M| 81 |1443 |6426 |6439 |6426 |6204 | 255k| 54 |2322 | 7.508340e+00 | 1.100000e+01 | 46.50%
1360.76/1361.06 c 1361s| 8100 | 2681 | 2690k| 331.7 | 92M| 81 | - |6426 |6439 |6426 |5166 | 256k| 54 |2322 | 7.508340e+00 | 1.100000e+01 | 46.50%
1367.96/1368.29 c 1368s| 8200 | 2697 | 2708k| 329.9 | 93M| 81 |1262 |6426 |6439 |6426 |5843 | 258k| 54 |2322 | 7.508558e+00 | 1.100000e+01 | 46.50%
1374.46/1374.75 c 1375s| 8300 | 2703 | 2725k| 327.9 | 94M| 81 | - |6426 |6439 |6426 |5815 | 259k| 54 |2339 | 7.508558e+00 | 1.100000e+01 | 46.50%
1383.06/1383.34 c 1383s| 8400 | 2715 | 2739k| 325.7 | 94M| 81 |1750 |6426 |6439 |6426 |6746 | 260k| 54 |2365 | 7.510303e+00 | 1.100000e+01 | 46.47%
1389.07/1389.31 c 1389s| 8500 | 2723 | 2752k| 323.4 | 95M| 81 | - |6426 |6439 |6426 |6226 | 261k| 54 |2365 | 7.510303e+00 | 1.100000e+01 | 46.47%
1397.86/1398.16 c 1398s| 8600 | 2737 | 2768k| 321.4 | 95M| 81 |1403 |6426 |6439 |6426 |6681 | 262k| 54 |2384 | 7.520572e+00 | 1.100000e+01 | 46.27%
1406.36/1406.62 c 1407s| 8700 | 2753 | 2783k| 319.5 | 95M| 81 |2291 |6426 |6438 |6426 |6818 | 263k| 54 |2394 | 7.528862e+00 | 1.100000e+01 | 46.10%
1413.36/1413.62 c 1414s| 8800 | 2763 | 2794k| 317.2 | 96M| 82 |1825 |6426 |6438 |6426 |6864 | 263k| 54 |2403 | 7.530110e+00 | 1.100000e+01 | 46.08%
1420.95/1421.27 c 1421s| 8900 | 2773 | 2808k| 315.1 | 96M| 83 |2629 |6426 |6438 |6426 |6792 | 264k| 54 |2418 | 7.530979e+00 | 1.100000e+01 | 46.06%
1428.45/1428.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1428.45/1428.77 c 1429s| 9000 | 2783 | 2823k| 313.3 | 96M| 83 | - |6426 |6438 |6426 |6785 | 265k| 54 |2431 | 7.531856e+00 | 1.100000e+01 | 46.05%
1435.65/1435.93 c 1436s| 9100 | 2797 | 2834k| 311.1 | 97M| 83 |1807 |6426 |6438 |6426 |6793 | 266k| 54 |2452 | 7.531856e+00 | 1.100000e+01 | 46.05%
1442.55/1442.87 c 1443s| 9200 | 2807 | 2845k| 308.9 | 97M| 83 |2011 |6426 |6438 |6426 |6851 | 266k| 54 |2466 | 7.532448e+00 | 1.100000e+01 | 46.03%
1448.45/1448.72 c 1449s| 9300 | 2815 | 2856k| 306.7 | 98M| 83 | - |6426 |6438 |6426 |6843 | 266k| 54 |2469 | 7.537004e+00 | 1.100000e+01 | 45.95%
1453.15/1453.47 c 1453s| 9400 | 2823 | 2864k| 304.4 | 98M| 83 | - |6426 |6438 |6426 |6852 | 267k| 54 |2473 | 7.537004e+00 | 1.100000e+01 | 45.95%
1459.75/1460.06 c 1460s| 9500 | 2835 | 2877k| 302.6 | 99M| 83 | - |6426 |6438 |6426 |6847 | 267k| 54 |2476 | 7.541676e+00 | 1.100000e+01 | 45.86%
1464.44/1464.77 c 1465s| 9600 | 2845 | 2886k| 300.3 | 99M| 85 |1922 |6426 |6438 |6426 |6864 | 268k| 54 |2476 | 7.542072e+00 | 1.100000e+01 | 45.85%
1474.34/1474.70 c 1475s| 9700 | 2863 | 2904k| 299.1 | 100M| 85 |1857 |6426 |6438 |6426 |6764 | 269k| 54 |2476 | 7.547773e+00 | 1.100000e+01 | 45.74%
1482.74/1483.07 c 1483s| 9800 | 2879 | 2922k| 297.9 | 100M| 85 |1730 |6426 |6438 |6426 |6792 | 270k| 54 |2476 | 7.547773e+00 | 1.100000e+01 | 45.74%
1489.44/1489.77 c 1490s| 9900 | 2897 | 2934k| 296.0 | 100M| 85 |1965 |6426 |6438 |6426 |6792 | 270k| 54 |2476 | 7.547964e+00 | 1.100000e+01 | 45.73%
1498.44/1498.72 c 1499s| 10000 | 2919 | 2955k| 295.1 | 101M| 85 |1342 |6426 |6438 |6426 |6583 | 272k| 54 |2476 | 7.548501e+00 | 1.100000e+01 | 45.72%
1506.13/1506.43 c 1506s| 10100 | 2929 | 2970k| 293.7 | 101M| 85 | - |6426 |6438 |6426 |6845 | 273k| 54 |2487 | 7.548501e+00 | 1.100000e+01 | 45.72%
1515.13/1515.41 c 1515s| 10200 | 2943 | 2990k| 292.8 | 102M| 85 | - |6426 |6438 |6426 |5912 | 274k| 54 |2502 | 7.548501e+00 | 1.100000e+01 | 45.72%
1522.14/1522.46 c 1522s| 10300 | 2949 | 3002k| 291.1 | 102M| 85 |2379 |6426 |6438 |6426 |6793 | 275k| 54 |2517 | 7.550460e+00 | 1.100000e+01 | 45.69%
1528.93/1529.27 c 1529s| 10400 | 2959 | 3012k| 289.4 | 103M| 85 | - |6426 |6438 |6426 |6860 | 275k| 54 |2527 | 7.550460e+00 | 1.100000e+01 | 45.69%
1535.83/1536.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1535.83/1536.10 c 1536s| 10500 | 2971 | 3023k| 287.6 | 103M| 85 |1984 |6426 |6438 |6426 |6828 | 276k| 54 |2536 | 7.552974e+00 | 1.100000e+01 | 45.64%
1542.34/1542.63 c 1543s| 10600 | 2977 | 3031k| 285.7 | 104M| 85 |2170 |6426 |6438 |6426 |6870 | 276k| 54 |2550 | 7.552974e+00 | 1.100000e+01 | 45.64%
1547.34/1547.63 c 1548s| 10700 | 2985 | 3040k| 283.8 | 104M| 85 |1636 |6426 |6438 |6426 |6825 | 276k| 54 |2550 | 7.552974e+00 | 1.100000e+01 | 45.64%
1557.13/1557.46 c 1557s| 10800 | 3003 | 3058k| 282.8 | 105M| 85 |2856 |6426 |6438 |6426 |6698 | 278k| 54 |2578 | 7.556260e+00 | 1.100000e+01 | 45.57%
1566.62/1566.97 c 1567s| 10900 | 3025 | 3073k| 281.7 | 105M| 85 |2220 |6426 |6438 |6426 |6727 | 279k| 54 |2595 | 7.558175e+00 | 1.100000e+01 | 45.54%
1574.93/1575.21 c 1575s| 11000 | 3041 | 3089k| 280.5 | 106M| 85 |2096 |6426 |6438 |6426 |6116 | 279k| 54 |2612 | 7.560526e+00 | 1.100000e+01 | 45.49%
1587.13/1587.40 c 1587s| 11100 | 3055 | 3116k| 280.5 | 106M| 85 |2158 |6426 |6438 |6426 |6750 | 280k| 54 |2632 | 7.560526e+00 | 1.100000e+01 | 45.49%
1593.93/1594.28 c 1594s| 11200 | 3063 | 3130k| 279.2 | 107M| 85 |1671 |6426 |6438 |6426 |6707 | 282k| 54 |2642 | 7.560526e+00 | 1.100000e+01 | 45.49%
1600.52/1600.84 c 1601s| 11300 | 3073 | 3143k| 277.8 | 107M| 85 |2271 |6426 |6438 |6426 |6718 | 282k| 54 |2648 | 7.560526e+00 | 1.100000e+01 | 45.49%
1607.12/1607.43 c 1607s| 11400 | 3085 | 3155k| 276.5 | 108M| 85 | - |6426 |6438 |6426 |6713 | 283k| 54 |2653 | 7.566324e+00 | 1.100000e+01 | 45.38%
1612.52/1612.86 c 1613s| 11500 | 3091 | 3166k| 275.0 | 108M| 85 |1819 |6426 |6437 |6426 |6785 | 284k| 54 |2653 | 7.566324e+00 | 1.100000e+01 | 45.38%
1618.83/1619.17 c 1619s| 11600 | 3103 | 3177k| 273.6 | 108M| 85 | - |6426 |6437 |6426 |6809 | 284k| 54 |2653 | 7.566409e+00 | 1.100000e+01 | 45.38%
1625.12/1625.44 c 1625s| 11700 | 3117 | 3190k| 272.4 | 109M| 85 | - |6426 |6437 |6426 |5966 | 285k| 54 |2653 | 7.566409e+00 | 1.100000e+01 | 45.38%
1631.52/1631.87 c 1632s| 11800 | 3125 | 3207k| 271.5 | 109M| 85 | - |6426 |6437 |6426 |5824 | 286k| 54 |2653 | 7.566409e+00 | 1.100000e+01 | 45.38%
1637.32/1637.66 c 1638s| 11900 | 3139 | 3219k| 270.2 | 110M| 85 |1501 |6426 |6437 |6426 |6777 | 287k| 54 |2653 | 7.567548e+00 | 1.100000e+01 | 45.36%
1643.21/1643.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1643.21/1643.53 c 1644s| 12000 | 3149 | 3230k| 268.9 | 111M| 85 | - |6426 |6437 |6426 |6721 | 288k| 54 |2653 | 7.567548e+00 | 1.100000e+01 | 45.36%
1649.81/1650.12 c 1650s| 12100 | 3161 | 3244k| 267.8 | 111M| 85 |2288 |6426 |6437 |6426 |6690 | 289k| 54 |2653 | 7.569287e+00 | 1.100000e+01 | 45.32%
1656.01/1656.39 c 1656s| 12200 | 3169 | 3255k| 266.5 | 111M| 88 | - |6426 |6437 |6426 |6799 | 289k| 54 |2660 | 7.569287e+00 | 1.100000e+01 | 45.32%
1664.01/1664.36 c 1664s| 12300 | 3183 | 3268k| 265.4 | 112M| 88 | - |6426 |6437 |6426 |6425 | 290k| 54 |2670 | 7.569287e+00 | 1.100000e+01 | 45.32%
1671.90/1672.20 c 1672s| 12400 | 3193 | 3283k| 264.5 | 112M| 88 | - |6426 |6437 |6426 |6831 | 291k| 54 |2686 | 7.569287e+00 | 1.100000e+01 | 45.32%
1681.31/1681.60 c 1682s| 12500 | 3211 | 3303k| 264.0 | 113M| 88 | - |6426 |6437 |6426 |6471 | 292k| 54 |2700 | 7.569515e+00 | 1.100000e+01 | 45.32%
1690.41/1690.71 c 1691s| 12600 | 3221 | 3321k| 263.3 | 113M| 88 | - |6426 |6437 |6426 |6857 | 294k| 54 |2724 | 7.569515e+00 | 1.100000e+01 | 45.32%
1701.60/1701.98 c 1702s| 12700 | 3243 | 3342k| 262.9 | 113M| 88 |2762 |6426 |6437 |6426 |6512 | 295k| 54 |2748 | 7.571596e+00 | 1.100000e+01 | 45.28%
1708.70/1709.05 c 1709s| 12800 | 3251 | 3356k| 261.9 | 114M| 88 |2079 |6426 |6437 |6426 |6844 | 295k| 54 |2764 | 7.571596e+00 | 1.100000e+01 | 45.28%
1715.90/1716.27 c 1716s| 12900 | 3259 | 3367k| 260.8 | 114M| 88 | - |6426 |6437 |6426 |6861 | 296k| 54 |2779 | 7.571596e+00 | 1.100000e+01 | 45.28%
1723.10/1723.47 c 1723s| 13000 | 3267 | 3379k| 259.7 | 114M| 88 | - |6426 |6437 |6426 |6763 | 296k| 54 |2803 | 7.571596e+00 | 1.100000e+01 | 45.28%
1730.10/1730.45 c 1730s| 13100 | 3281 | 3390k| 258.5 | 115M| 88 | - |6426 |6437 |6426 |6847 | 297k| 54 |2817 | 7.575930e+00 | 1.100000e+01 | 45.20%
1734.70/1735.01 c 1735s| 13200 | 3291 | 3397k| 257.1 | 115M| 88 |1670 |6426 |6437 |6426 |6563 | 297k| 54 |2817 | 7.575930e+00 | 1.100000e+01 | 45.20%
1740.60/1740.98 c 1741s| 13300 | 3301 | 3408k| 256.0 | 116M| 88 |1874 |6426 |6437 |6426 |6861 | 298k| 54 |2829 | 7.575930e+00 | 1.100000e+01 | 45.20%
1752.39/1752.78 c 1753s| 13400 | 3315 | 3435k| 256.1 | 116M| 88 | - |6426 |6437 |6426 |6748 | 299k| 54 |2847 | 7.575930e+00 | 1.100000e+01 | 45.20%
1760.29/1760.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1760.29/1760.62 c 1761s| 13500 | 3329 | 3449k| 255.2 | 117M| 88 |2680 |6426 |6436 |6426 |6799 | 300k| 54 |2850 | 7.582787e+00 | 1.100000e+01 | 45.07%
1767.89/1768.23 c 1768s| 13600 | 3343 | 3465k| 254.6 | 117M| 88 |1421 |6426 |6436 |6426 |6498 | 301k| 54 |2851 | 7.582787e+00 | 1.100000e+01 | 45.07%
1773.49/1773.87 c 1774s| 13700 | 3351 | 3477k| 253.6 | 118M| 88 | - |6426 |6435 |6426 |6839 | 301k| 54 |2852 | 7.582787e+00 | 1.100000e+01 | 45.07%
1780.19/1780.54 c 1781s| 13800 | 3365 | 3490k| 252.6 | 118M| 88 |1563 |6426 |6435 |6426 |6855 | 302k| 54 |2852 | 7.587322e+00 | 1.100000e+01 | 44.98%
1787.59/1787.91 c 1788s| 13900 | 3375 | 3505k| 251.9 | 118M| 88 | - |6426 |6435 |6426 |6797 | 303k| 54 |2852 | 7.587582e+00 | 1.100000e+01 | 44.97%
1794.09/1794.44 c 1794s| 14000 | 3387 | 3517k| 251.0 | 119M| 88 |2031 |6426 |6435 |6426 |6857 | 304k| 54 |2852 | 7.588339e+00 | 1.100000e+01 | 44.96%
1796.69/1797.00 c
1796.69/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.69/1797.00 c Solving Time (sec) : 1797.00
1796.69/1797.00 c Solving Nodes : 14044
1796.69/1797.00 c Primal Bound : +1.10000000000000e+01 (9 solutions)
1796.69/1797.00 c Dual Bound : +7.59504603756203e+00
1796.69/1797.00 c Gap : 44.83 %
1796.69/1797.00 s SATISFIABLE
1796.69/1797.00 v -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179
1796.69/1797.00 v -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159
1796.69/1797.00 v -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138
1796.69/1797.00 v -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117
1796.69/1797.00 v -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95
1796.69/1797.00 v -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70
1796.69/1797.00 v x69 -x68 -x67 -x66 x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45
1796.69/1797.00 v -x44 -x43 -x42 x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 x26 -x25 -x24 -x23 x22 -x21 -x20 -x19
1796.69/1797.00 v x18 -x17 -x16 -x15 x14 -x13 x12 -x11 x10 -x9 -x8 -x7 x6 -x5 -x4 -x3 -x2 x1
1796.69/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.69/1797.00 c Total Time : 1797.00
1796.69/1797.00 c solving : 1797.00
1796.69/1797.00 c presolving : 0.29 (included in solving)
1796.69/1797.00 c reading : 0.01 (included in solving)
1796.69/1797.00 c copying : 0.22 (12 #copies) (minimal 0.02, maximal 0.02, average 0.02)
1796.69/1797.00 c Original Problem :
1796.69/1797.00 c Problem name : HOME/instance-3691451-1338020784.opb
1796.69/1797.00 c Variables : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.69/1797.00 c Constraints : 200 initial, 200 maximal
1796.69/1797.00 c Objective sense : minimize
1796.69/1797.00 c Presolved Problem :
1796.69/1797.00 c Problem name : t_HOME/instance-3691451-1338020784.opb
1796.69/1797.00 c Variables : 6426 (6426 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.69/1797.00 c Constraints : 6426 initial, 6465 maximal
1796.69/1797.00 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.69/1797.00 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.00 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.00 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.00 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.00 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.00 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.00 c pseudoobj : 0.00 0.01 0 0 0 0 0 0 0 0 0
1796.69/1797.00 c probing : 0.03 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.00 c and : 0.22 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.00 c linear : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.00 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.00 c root node : - - 0 - - 0 - - - - -
1796.69/1797.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.69/1797.00 c integral : 0 0 0 0 9060 0 192 0 9 353 0 0 17830
1796.69/1797.00 c and : 6226 6226 29654 79674 1 1 187 1531 3 4735728 350715 0 0
1796.69/1797.00 c logicor : 200+ 239 6 28081 1 1 8 31 12 0 0 0 0
1796.69/1797.00 c countsols : 0 0 0 0 1 1 11 0 0 0 0 0 0
1796.69/1797.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.69/1797.00 c integral : 157.43 0.00 0.00 0.00 157.43 0.00 0.00 0.00
1796.69/1797.00 c and : 109.42 0.00 91.94 17.45 0.00 0.00 0.03 0.00
1796.69/1797.00 c logicor : 0.48 0.00 0.00 0.47 0.00 0.00 0.00 0.00
1796.69/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.69/1797.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.69/1797.00 c rootredcost : 5 0 0 0
1796.69/1797.00 c pseudoobj : 88640 231 4 0
1796.69/1797.00 c vbounds : 0 0 0 0
1796.69/1797.00 c redcost : 39190 0 0 86901
1796.69/1797.00 c probing : 0 0 0 0
1796.69/1797.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.69/1797.00 c rootredcost : 0.05 0.00 0.00 0.05 0.00
1796.69/1797.00 c pseudoobj : 0.22 0.01 0.00 0.20 0.01
1796.69/1797.00 c vbounds : 0.04 0.00 0.00 0.04 0.00
1796.69/1797.00 c redcost : 3.44 0.00 0.00 3.44 0.00
1796.69/1797.00 c probing : 0.03 0.00 0.03 0.00 0.00
1796.69/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.69/1797.00 c propagation : 0.02 19 19 280 208.6 0 0.0 -
1796.69/1797.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1796.69/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.69/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.69/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.69/1797.00 c applied globally : - - - 54 101.2 - - -
1796.69/1797.00 c applied locally : - - - 0 0.0 - - -
1796.69/1797.00 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.69/1797.00 c cut pool : 0.00 5 - - 0 - (maximal pool size: 2414)
1796.69/1797.00 c closecuts : 0.00 0.00 0 0 0 0 0
1796.69/1797.00 c impliedbounds : 0.01 0.00 6 0 0 2400 0
1796.69/1797.00 c intobj : 0.00 0.00 0 0 0 0 0
1796.69/1797.00 c gomory : 0.04 0.00 6 0 0 300 0
1796.69/1797.00 c cgmip : 0.00 0.00 0 0 0 0 0
1796.69/1797.00 c strongcg : 0.34 0.00 6 0 0 3000 0
1796.69/1797.00 c cmir : 1.66 0.00 6 0 0 2400 0
1796.69/1797.00 c flowcover : 0.44 0.00 6 0 0 0 0
1796.69/1797.00 c clique : 0.14 0.00 6 0 0 14 0
1796.69/1797.00 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.69/1797.00 c mcf : 0.01 0.00 1 0 0 0 0
1796.69/1797.00 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.69/1797.00 c rapidlearning : 0.28 0.00 1 0 0 0 0
1796.69/1797.00 c Pricers : ExecTime SetupTime Calls Vars
1796.69/1797.00 c problem variables: 0.00 - 0 0
1796.69/1797.00 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.69/1797.00 c relpscost : 157.41 0.00 9050 9 353 0 0 17812
1796.69/1797.00 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.00 c inference : 0.00 0.00 10 0 0 0 0 20
1796.69/1797.00 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.00 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.00 c random : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.00 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.69/1797.00 c LP solutions : 0.00 - - 1
1796.69/1797.00 c pseudo solutions : 0.00 - - 0
1796.69/1797.00 c feaspump : 0.00 0.00 0 0
1796.69/1797.00 c oneopt : 0.05 0.00 8 0
1796.69/1797.00 c crossover : 1.44 0.00 8 0
1796.69/1797.00 c objpscostdiving : 21.66 0.00 12 0
1796.69/1797.00 c pscostdiving : 37.25 0.00 34 0
1796.69/1797.00 c guideddiving : 43.76 0.00 34 0
1796.69/1797.00 c rootsoldiving : 7.63 0.00 17 0
1796.69/1797.00 c fracdiving : 43.60 0.00 35 0
1796.69/1797.00 c coefdiving : 29.53 0.00 45 0
1796.69/1797.00 c linesearchdiving : 52.77 0.00 55 1
1796.69/1797.00 c veclendiving : 32.57 0.00 69 2
1796.69/1797.00 c smallcard : 0.00 0.00 0 0
1796.69/1797.00 c trivial : 0.01 0.00 2 1
1796.69/1797.00 c shiftandpropagate: 0.00 0.00 0 0
1796.69/1797.00 c simplerounding : 0.03 0.00 0 0
1796.69/1797.00 c zirounding : 0.94 0.00 1000 0
1796.69/1797.00 c rounding : 3.15 0.00 2595 0
1796.69/1797.00 c shifting : 5.60 0.00 3624 4
1796.69/1797.00 c intshifting : 0.00 0.00 0 0
1796.69/1797.00 c twoopt : 0.00 0.00 0 0
1796.69/1797.00 c indtwoopt : 0.00 0.00 0 0
1796.69/1797.00 c indoneopt : 0.03 0.00 0 0
1796.69/1797.00 c fixandinfer : 0.00 0.00 0 0
1796.69/1797.00 c clique : 0.00 0.00 0 0
1796.69/1797.00 c indrounding : 0.00 0.00 0 0
1796.69/1797.00 c indcoefdiving : 0.00 0.00 0 0
1796.69/1797.00 c nlpdiving : 0.00 0.00 0 0
1796.69/1797.00 c intdiving : 0.00 0.00 0 0
1796.69/1797.00 c actconsdiving : 0.00 0.00 0 0
1796.69/1797.00 c octane : 0.00 0.00 0 0
1796.69/1797.00 c rens : 0.08 0.00 1 0
1796.69/1797.00 c rins : 0.00 0.00 0 0
1796.69/1797.00 c localbranching : 0.00 0.00 0 0
1796.69/1797.00 c mutation : 0.00 0.00 0 0
1796.69/1797.00 c dins : 0.00 0.00 0 0
1796.69/1797.00 c vbounds : 0.00 0.00 0 0
1796.69/1797.00 c undercover : 0.13 0.00 1 0
1796.69/1797.00 c subnlp : 0.01 0.00 0 0
1796.69/1797.00 c trysol : 0.03 0.00 0 0
1796.69/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.69/1797.00 c primal LP : 21.83 4229 0 0.00 0.00 21.82 4229
1796.69/1797.00 c dual LP : 1130.71 44338 2984459 78.58 2639.46 12.51 6357
1796.69/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1796.69/1797.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.69/1797.00 c diving/probing LP: 215.99 23887 538623 22.55 2493.76
1796.69/1797.00 c strong branching : 156.85 2852 441141 154.68 2812.48
1796.69/1797.00 c (at root node) : - 0 0 0.00 -
1796.69/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1796.69/1797.00 c B&B Tree :
1796.69/1797.00 c number of runs : 1
1796.69/1797.00 c nodes : 14044
1796.69/1797.00 c nodes (total) : 14044
1796.69/1797.00 c nodes left : 3389
1796.69/1797.00 c max depth : 88
1796.69/1797.00 c max depth (total): 88
1796.69/1797.00 c backtracks : 1659 (11.8%)
1796.69/1797.00 c delayed cutoffs : 0
1796.69/1797.00 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1796.69/1797.00 c avg switch length: 4.69
1796.69/1797.00 c switching time : 31.22
1796.69/1797.00 c Solution :
1796.69/1797.00 c Solutions found : 9 (9 improvements)
1796.69/1797.00 c First Solution : +2.00000000000000e+02 (in run 1, after 0 nodes, 0.04 seconds, depth 0, found by <trivial>)
1796.69/1797.00 c Primal Bound : +1.10000000000000e+01 (in run 1, after 1863 nodes, 751.16 seconds, depth 15, found by <relaxation>)
1796.69/1797.00 c Dual Bound : +7.59504603756203e+00
1796.69/1797.00 c Gap : 44.83 %
1796.69/1797.00 c Root Dual Bound : +0.00000000000000e+00
1796.69/1797.00 c Root Iterations : 4003
1796.79/1797.10 c Time complete: 1796.79.
OK 11
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-3691451-1338020784/watcher-3691451-1338020784 -o /tmp/evaluation-result-3691451-1338020784/solver-3691451-1338020784 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3691451-1338020784.opb -t 1800 -m 15500 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.06 2.04 2.00 3/175 18089 /proc/meminfo: memFree=27343552/32873844 swapFree=6592/6592 [pid=18089] ppid=18087 vsize=10108 CPUtime=0 cores=1,3,5,7 /proc/18089/stat : 18089 (scip-2.1.1.4fix) R 18087 18089 17459 0 -1 4202496 1293 0 0 0 0 0 0 0 20 0 1 0 268203262 10350592 1247 33554432000 4194304 10173063 140736321384576 140734165604312 8985008 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/18089/statm: 2527 1247 417 1460 0 1058 0 [startup+0.076514 s] /proc/loadavg: 2.06 2.04 2.00 3/175 18089 /proc/meminfo: memFree=27343552/32873844 swapFree=6592/6592 [pid=18089] ppid=18087 vsize=35080 CPUtime=0.07 cores=1,3,5,7 /proc/18089/stat : 18089 (scip-2.1.1.4fix) R 18087 18089 17459 0 -1 4202496 7187 0 0 0 6 1 0 0 20 0 1 0 268203262 35921920 7141 33554432000 4194304 10173063 140736321384576 140736321381832 8963895 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/18089/statm: 8770 7141 550 1460 0 7301 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 35080 [startup+0.100304 s] /proc/loadavg: 2.06 2.04 2.00 3/175 18089 /proc/meminfo: memFree=27343552/32873844 swapFree=6592/6592 [pid=18089] ppid=18087 vsize=37792 CPUtime=0.09 cores=1,3,5,7 /proc/18089/stat : 18089 (scip-2.1.1.4fix) R 18087 18089 17459 0 -1 4202496 7875 0 0 0 8 1 0 0 20 0 1 0 268203262 38699008 7829 33554432000 4194304 10173063 140736321384576 140736321381832 8963895 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/18089/statm: 9448 7829 550 1460 0 7979 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 37792 [startup+0.300248 s] /proc/loadavg: 2.06 2.04 2.00 3/175 18089 /proc/meminfo: memFree=27343552/32873844 swapFree=6592/6592 [pid=18089] ppid=18087 vsize=46956 CPUtime=0.29 cores=1,3,5,7 /proc/18089/stat : 18089 (scip-2.1.1.4fix) R 18087 18089 17459 0 -1 4202496 10545 0 0 0 23 6 0 0 20 0 1 0 268203262 48082944 10242 33554432000 4194304 10173063 140736321384576 140736321381832 8800002 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/18089/statm: 11739 10251 598 1460 0 10270 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 46956 [startup+0.700267 s] /proc/loadavg: 2.06 2.04 2.00 3/175 18089 /proc/meminfo: memFree=27343552/32873844 swapFree=6592/6592 [pid=18089] ppid=18087 vsize=77224 CPUtime=0.69 cores=1,3,5,7 /proc/18089/stat : 18089 (scip-2.1.1.4fix) R 18087 18089 17459 0 -1 4202496 26478 0 0 0 59 10 0 0 20 0 1 0 268203262 79077376 18002 33554432000 4194304 10173063 140736321384576 140736321381832 8963895 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/18089/statm: 19306 18002 803 1460 0 17837 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 77224 [startup+1.50027 s] /proc/loadavg: 2.06 2.04 2.00 3/176 18090 /proc/meminfo: memFree=27273236/32873844 swapFree=6592/6592 [pid=18089] ppid=18087 vsize=99624 CPUtime=1.49 cores=1,3,5,7 /proc/18089/stat : 18089 (scip-2.1.1.4fix) R 18087 18089 17459 0 -1 4202496 37586 0 0 0 134 15 0 0 20 0 1 0 268203262 102014976 23692 33554432000 4194304 10173063 140736321384576 140736321376392 8963895 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/18089/statm: 24906 23692 831 1460 0 23437 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 99624 [startup+3.10026 s] /proc/loadavg: 2.06 2.04 2.00 3/176 18090 /proc/meminfo: memFree=27248304/32873844 swapFree=6592/6592 [pid=18089] ppid=18087 vsize=99624 CPUtime=3.09 cores=1,3,5,7 /proc/18089/stat : 18089 (scip-2.1.1.4fix) R 18087 18089 17459 0 -1 4202496 37644 0 0 0 293 16 0 0 20 0 1 0 268203262 102014976 23750 33554432000 4194304 10173063 140736321384576 140736321379960 8963895 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/18089/statm: 24906 23750 831 1460 0 23437 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 99624 [startup+6.30028 s] /proc/loadavg: 2.05 2.03 2.00 3/177 18091 /proc/meminfo: memFree=27247236/32873844 swapFree=6592/6592 [pid=18089] ppid=18087 vsize=99624 CPUtime=6.29 cores=1,3,5,7 /proc/18089/stat : 18089 (scip-2.1.1.4fix) R 18087 18089 17459 0 -1 4202496 40888 0 0 0 609 20 0 0 20 0 1 0 268203262 102014976 23942 33554432000 4194304 10173063 140736321384576 140736321378408 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/18089/statm: 24906 23942 838 1460 0 23437 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 99624 [startup+12.7003 s] /proc/loadavg: 2.05 2.03 2.00 3/177 18091 /proc/meminfo: memFree=27244012/32873844 swapFree=6592/6592 [pid=18089] ppid=18087 vsize=99624 CPUtime=12.69 cores=1,3,5,7 /proc/18089/stat : 18089 (scip-2.1.1.4fix) R 18087 18089 17459 0 -1 4202496 40888 0 0 0 1245 24 0 0 20 0 1 0 268203262 102014976 23942 33554432000 4194304 10173063 140736321384576 140736321378120 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/18089/statm: 24906 23942 838 1460 0 23437 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 99624 [startup+25.5002 s] /proc/loadavg: 2.04 2.03 2.00 3/177 18091 /proc/meminfo: memFree=27237232/32873844 swapFree=6592/6592 [pid=18089] ppid=18087 vsize=99624 CPUtime=25.48 cores=1,3,5,7 /proc/18089/stat : 18089 (scip-2.1.1.4fix) R 18087 18089 17459 0 -1 4202496 40906 0 0 0 2518 30 0 0 20 0 1 0 268203262 102014976 23951 33554432000 4194304 10173063 140736321384576 140736321378024 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/18089/statm: 24906 23951 841 1460 0 23437 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 99624 [startup+51.1002 s] /proc/loadavg: 2.02 2.03 2.00 3/178 18092 /proc/meminfo: memFree=27224544/32873844 swapFree=6592/6592 [pid=18089] ppid=18087 vsize=99624 CPUtime=51.07 cores=1,3,5,7 /proc/18089/stat : 18089 (scip-2.1.1.4fix) R 18087 18089 17459 0 -1 4202496 40911 0 0 0 5067 40 0 0 20 0 1 0 268203262 102014976 23964 33554432000 4194304 10173063 140736321384576 140736321378120 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/18089/statm: 24906 23964 842 1460 0 23437 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 99624 [startup+102.307 s] /proc/loadavg: 2.01 2.02 2.00 3/177 18093 /proc/meminfo: memFree=27189268/32873844 swapFree=6592/6592 [pid=18089] ppid=18087 vsize=99624 CPUtime=102.27 cores=1,3,5,7 /proc/18089/stat : 18089 (scip-2.1.1.4fix) R 18087 18089 17459 0 -1 4202496 40911 0 0 0 10164 63 0 0 20 0 1 0 268203262 102014976 24220 33554432000 4194304 10173063 140736321384576 140736321377832 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/18089/statm: 24906 24220 842 1460 0 23437 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 99624 [startup+162.3 s] /proc/loadavg: 2.00 2.02 2.00 3/177 18093 /proc/meminfo: memFree=27151260/32873844 swapFree=6592/6592 [pid=18089] ppid=18087 vsize=102196 CPUtime=162.25 cores=1,3,5,7 /proc/18089/stat : 18089 (scip-2.1.1.4fix) R 18087 18089 17459 0 -1 4202496 41468 0 0 0 16144 81 0 0 20 0 1 0 268203262 104648704 24777 33554432000 4194304 10173063 140736321384576 140736321381016 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/18089/statm: 25549 24777 842 1460 0 24080 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 102196 [startup+222.3 s] /proc/loadavg: 2.05 2.03 2.00 3/178 18096 /proc/meminfo: memFree=27113424/32873844 swapFree=6592/6592 [pid=18089] ppid=18087 vsize=103684 CPUtime=222.25 cores=1,3,5,7 /proc/18089/stat : 18089 (scip-2.1.1.4fix) R 18087 18089 17459 0 -1 4202496 44545 0 0 0 22120 105 0 0 20 0 1 0 268203262 106172416 25204 33554432000 4194304 10173063 140736321384576 140736321377672 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/18089/statm: 25921 25204 843 1460 0 24452 0 Current children cumulated CPU time (s) 222.25 Current children cumulated vsize (KiB) 103684 [startup+282.3 s] /proc/loadavg: 2.02 2.02 2.00 3/177 18096 /proc/meminfo: memFree=27083184/32873844 swapFree=6592/6592 [pid=18089] ppid=18087 vsize=104840 CPUtime=282.23 cores=1,3,5,7 /proc/18089/stat : 18089 (scip-2.1.1.4fix) R 18087 18089 17459 0 -1 4202496 44834 0 0 0 28097 126 0 0 20 0 1 0 268203262 107356160 25493 33554432000 4194304 10173063 140736321384576 140736321379560 8047361 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/18089/statm: 26210 25493 843 1460 0 24741 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 104840 [startup+342.3 s] /proc/loadavg: 2.08 2.03 2.00 3/177 18096 /proc/meminfo: memFree=27047844/32873844 swapFree=6592/6592 [pid=18089] ppid=18087 vsize=106156 CPUtime=342.22 cores=1,3,5,7 /proc/18089/stat : 18089 (scip-2.1.1.4fix) R 18087 18089 17459 0 -1 4202496 45164 0 0 0 34073 149 0 0 20 0 1 0 268203262 108703744 25823 33554432000 4194304 10173063 140736321384576 140736321378120 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/18089/statm: 26539 25823 843 1460 0 25070 0 Current children cumulated CPU time (s) 342.22 Current children cumulated vsize (KiB) 106156 [startup+402.3 s] /proc/loadavg: 2.03 2.02 2.00 3/177 18097 /proc/meminfo: memFree=27009776/32873844 swapFree=6592/6592 [pid=18089] ppid=18087 vsize=108656 CPUtime=402.22 cores=1,3,5,7 /proc/18089/stat : 18089 (scip-2.1.1.4fix) R 18087 18089 17459 0 -1 4202496 48590 0 0 0 40052 170 0 0 20 0 1 0 268203262 111263744 26447 33554432000 4194304 10173063 140736321384576 140736321377928 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/18089/statm: 27164 26447 843 1460 0 25695 0 Current children cumulated CPU time (s) 402.22 Current children cumulated vsize (KiB) 108656 [startup+462.3 s] /proc/loadavg: 2.06 2.03 2.00 3/177 18097 /proc/meminfo: memFree=26974084/32873844 swapFree=6592/6592 [pid=18089] ppid=18087 vsize=110140 CPUtime=462.21 cores=1,3,5,7 /proc/18089/stat : 18089 (scip-2.1.1.4fix) R 18087 18089 17459 0 -1 4202496 48962 0 0 0 46031 190 0 0 20 0 1 0 268203262 112783360 26819 33554432000 4194304 10173063 140736321384576 140736321381016 8046693 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/18089/statm: 27535 26819 843 1460 0 26066 0 Current children cumulated CPU time (s) 462.21 Current children cumulated vsize (KiB) 110140 [startup+522.3 s] /proc/loadavg: 2.02 2.02 2.00 3/177 18097 /proc/meminfo: memFree=26941932/32873844 swapFree=6592/6592 [pid=18089] ppid=18087 vsize=113240 CPUtime=522.2 cores=1,3,5,7 /proc/18089/stat : 18089 (scip-2.1.1.4fix) R 18087 18089 17459 0 -1 4202496 58882 0 0 0 52006 214 0 0 20 0 1 0 268203262 115957760 27595 33554432000 4194304 10173063 140736321384576 140736321379944 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/18089/statm: 28310 27595 849 1460 0 26841 0 Current children cumulated CPU time (s) 522.2 Current children cumulated vsize (KiB) 113240 [startup+582.3 s] /proc/loadavg: 2.01 2.02 2.00 3/177 18097 /proc/meminfo: memFree=26903952/32873844 swapFree=6592/6592 [pid=18089] ppid=18087 vsize=116128 CPUtime=582.19 cores=1,3,5,7 /proc/18089/stat : 18089 (scip-2.1.1.4fix) R 18087 18089 17459 0 -1 4202496 59611 0 0 0 57986 233 0 0 20 0 1 0 268203262 118915072 28324 33554432000 4194304 10173063 140736321384576 140736321377560 8963895 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/18089/statm: 29032 28324 849 1460 0 27563 0 Current children cumulated CPU time (s) 582.19 Current children cumulated vsize (KiB) 116128 [startup+642.3 s] ################ # More data... # ################ /proc/meminfo: memFree=27830028/32873844 swapFree=6592/6592 [pid=18089] ppid=18087 vsize=151136 CPUtime=1062.12 cores=1,3,5,7 /proc/18089/stat : 18089 (scip-2.1.1.4fix) R 18087 18089 17459 0 -1 4202496 109517 0 0 0 105820 392 0 0 20 0 1 0 268203262 154763264 37080 33554432000 4194304 10173063 140736321384576 140736321377512 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/18089/statm: 37784 37080 855 1460 0 36315 0 Current children cumulated CPU time (s) 1062.12 Current children cumulated vsize (KiB) 151136 [startup+1122.3 s] /proc/loadavg: 2.04 2.00 2.00 3/177 18179 /proc/meminfo: memFree=27825300/32873844 swapFree=6592/6592 [pid=18089] ppid=18087 vsize=156996 CPUtime=1122.11 cores=1,3,5,7 /proc/18089/stat : 18089 (scip-2.1.1.4fix) R 18087 18089 17459 0 -1 4202496 110988 0 0 0 111802 409 0 0 20 0 1 0 268203262 160763904 38545 33554432000 4194304 10173063 140736321384576 140736321378216 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/18089/statm: 39249 38545 855 1460 0 37780 0 Current children cumulated CPU time (s) 1122.11 Current children cumulated vsize (KiB) 156996 [startup+1182.3 s] /proc/loadavg: 2.01 2.00 2.00 3/177 18179 /proc/meminfo: memFree=27817716/32873844 swapFree=6592/6592 [pid=18089] ppid=18087 vsize=162784 CPUtime=1182.09 cores=1,3,5,7 /proc/18089/stat : 18089 (scip-2.1.1.4fix) R 18087 18089 17459 0 -1 4202496 119189 0 0 0 117782 427 0 0 20 0 1 0 268203262 166690816 39992 33554432000 4194304 10173063 140736321384576 140736321378408 7986089 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/18089/statm: 40696 39992 855 1460 0 39227 0 Current children cumulated CPU time (s) 1182.09 Current children cumulated vsize (KiB) 162784 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 18179 /proc/meminfo: memFree=27810648/32873844 swapFree=6592/6592 [pid=18089] ppid=18087 vsize=170176 CPUtime=1242.09 cores=1,3,5,7 /proc/18089/stat : 18089 (scip-2.1.1.4fix) R 18087 18089 17459 0 -1 4202496 120961 0 0 0 123761 448 0 0 20 0 1 0 268203262 174260224 41764 33554432000 4194304 10173063 140736321384576 140736321377832 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/18089/statm: 42544 41764 855 1460 0 41075 0 Current children cumulated CPU time (s) 1242.09 Current children cumulated vsize (KiB) 170176 [startup+1302.3 s] /proc/loadavg: 2.03 2.01 2.00 3/177 18179 /proc/meminfo: memFree=27802756/32873844 swapFree=6592/6592 [pid=18089] ppid=18087 vsize=177692 CPUtime=1302.08 cores=1,3,5,7 /proc/18089/stat : 18089 (scip-2.1.1.4fix) R 18087 18089 17459 0 -1 4202496 122922 0 0 0 129738 470 0 0 20 0 1 0 268203262 181956608 43719 33554432000 4194304 10173063 140736321384576 140736321377880 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/18089/statm: 44423 43719 855 1460 0 42954 0 Current children cumulated CPU time (s) 1302.08 Current children cumulated vsize (KiB) 177692 [startup+1362.3 s] /proc/loadavg: 2.01 2.01 2.00 3/177 18180 /proc/meminfo: memFree=27796804/32873844 swapFree=6592/6592 [pid=18089] ppid=18087 vsize=184196 CPUtime=1362.07 cores=1,3,5,7 /proc/18089/stat : 18089 (scip-2.1.1.4fix) R 18087 18089 17459 0 -1 4202496 124453 0 0 0 135717 490 0 0 20 0 1 0 268203262 188616704 45250 33554432000 4194304 10173063 140736321384576 140736321378216 5084148 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/18089/statm: 46049 45250 855 1460 0 44580 0 Current children cumulated CPU time (s) 1362.07 Current children cumulated vsize (KiB) 184196 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/178 18183 /proc/meminfo: memFree=27788108/32873844 swapFree=6592/6592 [pid=18089] ppid=18087 vsize=192492 CPUtime=1422.06 cores=1,3,5,7 /proc/18089/stat : 18089 (scip-2.1.1.4fix) R 18087 18089 17459 0 -1 4202496 133148 0 0 0 141693 513 0 0 20 0 1 0 268203262 197111808 47348 33554432000 4194304 10173063 140736321384576 140736321378216 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/18089/statm: 48123 47348 855 1460 0 46654 0 Current children cumulated CPU time (s) 1422.06 Current children cumulated vsize (KiB) 192492 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 18183 /proc/meminfo: memFree=27780660/32873844 swapFree=6592/6592 [pid=18089] ppid=18087 vsize=199620 CPUtime=1482.04 cores=1,3,5,7 /proc/18089/stat : 18089 (scip-2.1.1.4fix) R 18087 18089 17459 0 -1 4202496 135032 0 0 0 147668 536 0 0 20 0 1 0 268203262 204410880 49225 33554432000 4194304 10173063 140736321384576 140736321377928 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/18089/statm: 49905 49225 855 1460 0 48436 0 Current children cumulated CPU time (s) 1482.04 Current children cumulated vsize (KiB) 199620 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 18183 /proc/meminfo: memFree=27774956/32873844 swapFree=6592/6592 [pid=18089] ppid=18087 vsize=205724 CPUtime=1542.03 cores=1,3,5,7 /proc/18089/stat : 18089 (scip-2.1.1.4fix) R 18087 18089 17459 0 -1 4202496 136449 0 0 0 153647 556 0 0 20 0 1 0 268203262 210661376 50642 33554432000 4194304 10173063 140736321384576 140736321379944 8033507 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/18089/statm: 51431 50642 855 1460 0 49962 0 Current children cumulated CPU time (s) 1542.03 Current children cumulated vsize (KiB) 205724 [startup+1602.3 s] /proc/loadavg: 2.05 2.01 2.00 3/177 18183 /proc/meminfo: memFree=27768632/32873844 swapFree=6592/6592 [pid=18089] ppid=18087 vsize=212088 CPUtime=1602.02 cores=1,3,5,7 /proc/18089/stat : 18089 (scip-2.1.1.4fix) R 18087 18089 17459 0 -1 4202496 138041 0 0 0 159627 575 0 0 20 0 1 0 268203262 217178112 52234 33554432000 4194304 10173063 140736321384576 140736321377832 5122959 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/18089/statm: 53022 52234 855 1460 0 51553 0 Current children cumulated CPU time (s) 1602.02 Current children cumulated vsize (KiB) 212088 [startup+1662.3 s] /proc/loadavg: 2.02 2.01 2.00 3/177 18184 /proc/meminfo: memFree=27759308/32873844 swapFree=6592/6592 [pid=18089] ppid=18087 vsize=220672 CPUtime=1662.01 cores=1,3,5,7 /proc/18089/stat : 18089 (scip-2.1.1.4fix) R 18087 18089 17459 0 -1 4202496 140282 0 0 0 165604 597 0 0 20 0 1 0 268203262 225968128 54466 33554432000 4194304 10173063 140736321384576 140736321377832 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/18089/statm: 55168 54466 855 1460 0 53699 0 Current children cumulated CPU time (s) 1662.01 Current children cumulated vsize (KiB) 220672 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 18184 /proc/meminfo: memFree=27754844/32873844 swapFree=6592/6592 [pid=18089] ppid=18087 vsize=224948 CPUtime=1721.99 cores=1,3,5,7 /proc/18089/stat : 18089 (scip-2.1.1.4fix) R 18087 18089 17459 0 -1 4202496 141349 0 0 0 171580 619 0 0 20 0 1 0 268203262 230346752 55533 33554432000 4194304 10173063 140736321384576 140736321381016 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/18089/statm: 56237 55533 855 1460 0 54768 0 Current children cumulated CPU time (s) 1721.99 Current children cumulated vsize (KiB) 224948 [startup+1782.3 s] /proc/loadavg: 2.04 2.01 2.00 3/177 18184 /proc/meminfo: memFree=27746908/32873844 swapFree=6592/6592 [pid=18089] ppid=18087 vsize=233180 CPUtime=1781.99 cores=1,3,5,7 /proc/18089/stat : 18089 (scip-2.1.1.4fix) R 18087 18089 17459 0 -1 4202496 143338 0 0 0 177559 640 0 0 20 0 1 0 268203262 238776320 57522 33554432000 4194304 10173063 140736321384576 140736321377880 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/18089/statm: 58295 57522 855 1460 0 56826 0 Current children cumulated CPU time (s) 1781.99 Current children cumulated vsize (KiB) 233180 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 2.03 2.01 2.00 3/177 18184 /proc/meminfo: memFree=27746784/32873844 swapFree=6592/6592 [pid=18089] ppid=18087 vsize=233180 CPUtime=1785.19 cores=1,3,5,7 /proc/18089/stat : 18089 (scip-2.1.1.4fix) R 18087 18089 17459 0 -1 4202496 143381 0 0 0 177878 641 0 0 20 0 1 0 268203262 238776320 57565 33554432000 4194304 10173063 140736321384576 140736321377832 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/18089/statm: 58295 57565 855 1460 0 56826 0 Current children cumulated CPU time (s) 1785.19 Current children cumulated vsize (KiB) 233180 [startup+1791.91 s] /proc/loadavg: 2.03 2.01 2.00 3/177 18184 /proc/meminfo: memFree=27746288/32873844 swapFree=6592/6592 [pid=18089] ppid=18087 vsize=234152 CPUtime=1791.59 cores=1,3,5,7 /proc/18089/stat : 18089 (scip-2.1.1.4fix) R 18087 18089 17459 0 -1 4202496 143650 0 0 0 178516 643 0 0 20 0 1 0 268203262 239771648 57834 33554432000 4194304 10173063 140736321384576 140736321378216 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/18089/statm: 58538 57834 855 1460 0 57069 0 Current children cumulated CPU time (s) 1791.59 Current children cumulated vsize (KiB) 234152 [startup+1795.1 s] /proc/loadavg: 2.11 2.03 2.01 3/177 18184 /proc/meminfo: memFree=27744924/32873844 swapFree=6592/6592 [pid=18089] ppid=18087 vsize=234804 CPUtime=1794.79 cores=1,3,5,7 /proc/18089/stat : 18089 (scip-2.1.1.4fix) R 18087 18089 17459 0 -1 4202496 143813 0 0 0 178834 645 0 0 20 0 1 0 268203262 240439296 57997 33554432000 4194304 10173063 140736321384576 140736321377832 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/18089/statm: 58701 57997 855 1460 0 57232 0 Current children cumulated CPU time (s) 1794.79 Current children cumulated vsize (KiB) 234804 [startup+1795.9 s] /proc/loadavg: 2.11 2.03 2.01 3/177 18184 /proc/meminfo: memFree=27744924/32873844 swapFree=6592/6592 [pid=18089] ppid=18087 vsize=234940 CPUtime=1795.58 cores=1,3,5,7 /proc/18089/stat : 18089 (scip-2.1.1.4fix) R 18087 18089 17459 0 -1 4202496 143814 0 0 0 178913 645 0 0 20 0 1 0 268203262 240578560 57998 33554432000 4194304 10173063 140736321384576 140736321377832 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/18089/statm: 58735 57998 855 1460 0 57266 0 Current children cumulated CPU time (s) 1795.58 Current children cumulated vsize (KiB) 234940 [startup+1796.7 s] /proc/loadavg: 2.11 2.03 2.01 3/177 18184 /proc/meminfo: memFree=27744924/32873844 swapFree=6592/6592 [pid=18089] ppid=18087 vsize=235588 CPUtime=1796.39 cores=1,3,5,7 /proc/18089/stat : 18089 (scip-2.1.1.4fix) R 18087 18089 17459 0 -1 4202496 143973 0 0 0 178993 646 0 0 20 0 1 0 268203262 241242112 58157 33554432000 4194304 10173063 140736321384576 140736321381016 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/18089/statm: 58897 58157 855 1460 0 57428 0 Current children cumulated CPU time (s) 1796.39 Current children cumulated vsize (KiB) 235588 [startup+1797.1 s] /proc/loadavg: 2.11 2.03 2.01 3/177 18184 /proc/meminfo: memFree=27744924/32873844 swapFree=6592/6592 [pid=18089] ppid=18087 vsize=231420 CPUtime=1796.79 cores=1,3,5,7 /proc/18089/stat : 18089 (scip-2.1.1.4fix) R 18087 18089 17459 0 -1 4202496 143975 0 0 0 179033 646 0 0 20 0 1 0 268203262 236974080 57117 33554432000 4194304 10173063 140736321384576 140736321383688 8992599 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/18089/statm: 57822 57051 857 1460 0 56353 0 Current children cumulated CPU time (s) 1796.79 Current children cumulated vsize (KiB) 231420 Child status: 0 Real time (s): 1797.11 CPU time (s): 1796.8 CPU user time (s): 1790.34 CPU system time (s): 6.46802 CPU usage (%): 99.9831 Max. virtual memory (cumulated for all children) (KiB): 235588 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1790.34 system time used= 6.46802 maximum resident set size= 232636 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 143977 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= 58 involuntary context switches= 1852 runsolver used 5.82011 second user time and 18.7631 second system time The end
Begin job on node140 at 2012-05-26 10:26:24 IDJOB=3691451 IDBENCH=48148 IDSOLVER=2270 FILE ID=node140/3691451-1338020784 RUNJOBID= node140-1338016921-17476 PBS_JOBID= 14624335 Free space on /tmp= 71464 MiB SOLVER NAME= SCIP spx SCIP 2.1.1.4. with SoPlex 1.6.0.3 fixed BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_200_25_5.opb COMMAND LINE= HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3691451-1338020784/watcher-3691451-1338020784 -o /tmp/evaluation-result-3691451-1338020784/solver-3691451-1338020784 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3691451-1338020784.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= e3f554c192a1ee7b261cc2808827870e RANDOM SEED=1317513925 node140.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 : 2667.094 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 : 5334.18 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 : 2667.094 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.094 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.094 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 : 2667.094 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 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 : 2667.094 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.88 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 : 2667.094 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.90 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 : 2667.094 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.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 27344196 kB Buffers: 254220 kB Cached: 3738032 kB SwapCached: 0 kB Active: 1396684 kB Inactive: 3349812 kB Active(anon): 756044 kB Inactive(anon): 0 kB Active(file): 640640 kB Inactive(file): 3349812 kB Unevictable: 6592 kB Mlocked: 6592 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 13764 kB Writeback: 0 kB AnonPages: 749636 kB Mapped: 17488 kB Shmem: 200 kB Slab: 641888 kB SReclaimable: 84456 kB SUnreclaim: 557432 kB KernelStack: 1472 kB PageTables: 5316 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 868004 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 624640 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= 71456 MiB End job on node140 at 2012-05-26 10:56:21