Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
toysat 2012-06-01 | ? (TO) | 1800.07 | 1800.41 |
Name | /OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/ datasets/10orplus/normalized-dwww.cudf.paranoid.opb |
MD5SUM | 0f354c37e726e1ce5085d996eab88ba5 |
Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 176457 |
Best CPU time to get the best result obtained on this benchmark | 1376.53 |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 19783 |
Total number of constraints | 96459 |
Number of constraints which are clauses | 94894 |
Number of constraints which are cardinality constraints (but not clauses) | 1565 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 2962 |
Number of terms in the objective function | 7259 |
Biggest coefficient in the objective function | 4301 |
Number of bits for the biggest coefficient in the objective function | 13 |
Sum of the numbers in the objective function | 12735259 |
Number of bits of the sum of numbers in the objective function | 24 |
Biggest number in a constraint | 4301 |
Number of bits of the biggest number in a constraint | 13 |
Biggest sum of numbers in a constraint | 12735259 |
Number of bits of the biggest sum of numbers | 24 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
8.29/8.35 c 2012-06-02T14:40:31+0200 8.29/8.35 c arch = x86_64 8.29/8.35 c os = linux 8.29/8.35 c compiler = ghc 7.4 8.29/8.35 c packages: 8.29/8.35 c OptDir-0.0.1 8.29/8.35 c array-0.4.0.0 8.29/8.35 c base-4.5.0.0 8.29/8.35 c bytestring-0.9.2.1 8.29/8.35 c containers-0.4.2.1 8.29/8.35 c deepseq-1.3.0.0 8.29/8.35 c mtl-2.1.1 8.29/8.35 c old_locale-1.0.0.4 8.29/8.35 c parse_dimacs-1.2 8.29/8.35 c parsec-3.1.2 8.29/8.35 c queue-0.1.2 8.29/8.35 c stm-2.3 8.29/8.35 c time-1.4 8.29/8.35 c command line = ["+RTS","-K1G","-RTS","--pb","HOME/instance-3724668-1338640831.opb"] 8.29/8.35 c #vars 19783 8.29/8.35 c #constraints 96459 8.29/8.35 c Solving starts ... 9.89/9.91 c solving time = 1.548s 9.89/9.91 c #decision = 103500 9.89/9.91 c #conflict = 74 9.89/9.91 c #restart = 0 9.89/9.91 o 210969 9.89/9.93 c Solving starts ... 22.48/22.54 c solving time = 12.594s 22.48/22.54 c #decision = 121210 22.48/22.54 c #conflict = 116 22.48/22.54 c #restart = 0 22.48/22.54 o 210968 22.48/22.56 c Solving starts ... 37.08/37.12 c solving time = 14.546s 37.08/37.12 c #decision = 125709 37.08/37.12 c #conflict = 161 37.08/37.12 c #restart = 0 37.08/37.12 o 210967 37.08/37.14 c Solving starts ... 37.38/37.47 c solving time = 0.317s 37.38/37.47 c #decision = 128621 37.38/37.47 c #conflict = 162 37.38/37.47 c #restart = 0 37.38/37.47 o 210966 37.38/37.48 c Solving starts ... 43.18/43.29 c solving time = 5.781s 43.18/43.29 c #decision = 131544 43.18/43.29 c #conflict = 171 43.18/43.29 c #restart = 0 43.18/43.29 o 210965 43.28/43.38 c Solving starts ... 53.87/53.91 c solving time = 10.498s 53.87/53.91 c #decision = 134477 53.87/53.91 c #conflict = 187 53.87/53.91 c #restart = 0 53.87/53.91 o 210964 53.87/53.93 c Solving starts ... 54.26/54.32 c solving time = 0.374s 54.26/54.32 c #decision = 137372 54.26/54.32 c #conflict = 187 54.26/54.32 c #restart = 0 54.26/54.32 o 210963 54.26/54.33 c Solving starts ... 57.55/57.60 c solving time = 3.248s 57.55/57.60 c #decision = 140265 57.55/57.60 c #conflict = 191 57.55/57.60 c #restart = 0 57.55/57.60 o 210962 57.55/57.61 c Solving starts ... 59.75/59.89 c solving time = 2.264s 59.75/59.89 c #decision = 145440 59.75/59.89 c #conflict = 193 59.75/59.89 c #restart = 0 59.75/59.89 o 210959 59.85/59.91 c Solving starts ... 69.25/69.39 c solving time = 9.463s 69.25/69.39 c #decision = 150633 69.25/69.39 c #conflict = 209 69.25/69.39 c #restart = 0 69.25/69.39 o 210957 69.35/69.40 c Solving starts ... 73.45/73.58 c solving time = 4.161s 73.45/73.58 c #decision = 153529 73.45/73.58 c #conflict = 213 73.45/73.58 c #restart = 0 73.45/73.58 o 210956 73.45/73.60 c Solving starts ... 76.05/76.19 c solving time = 2.570s 76.05/76.19 c #decision = 158707 76.05/76.19 c #conflict = 216 76.05/76.19 c #restart = 0 76.05/76.19 o 210954 76.15/76.20 c Solving starts ... 83.84/83.98 c solving time = 7.761s 83.84/83.98 c #decision = 161613 83.84/83.98 c #conflict = 227 83.84/83.98 c #restart = 0 83.84/83.98 o 210953 83.84/83.99 c Solving starts ... 86.55/86.60 c solving time = 2.586s 86.55/86.60 c #decision = 166789 86.55/86.60 c #conflict = 229 86.55/86.60 c #restart = 0 86.55/86.60 o 210951 86.55/86.61 c Solving starts ... 100.54/100.68 c solving time = 14.048s 100.54/100.68 c #decision = 169717 100.54/100.68 c #conflict = 247 100.54/100.68 c #restart = 0 100.54/100.68 o 210950 100.54/100.69 c Solving starts ... 116.04/116.19 c solving time = 15.469s 116.04/116.19 c #decision = 172635 116.04/116.19 c #conflict = 266 116.04/116.19 c #restart = 0 116.04/116.19 o 210949 116.14/116.20 c Solving starts ... 120.73/120.86 c solving time = 4.642s 120.73/120.86 c #decision = 175534 120.73/120.86 c #conflict = 270 120.73/120.86 c #restart = 0 120.73/120.86 o 210948 120.73/120.88 c Solving starts ... 137.33/137.40 c solving time = 16.405s 137.33/137.40 c #decision = 178456 137.33/137.40 c #conflict = 290 137.33/137.40 c #restart = 0 137.33/137.40 o 210947 137.33/137.42 c Solving starts ... 143.02/143.12 c solving time = 5.688s 143.02/143.12 c #decision = 181354 143.02/143.12 c #conflict = 296 143.02/143.12 c #restart = 0 143.02/143.12 o 210946 143.02/143.14 c Solving starts ... 215.70/215.86 c solving time = 72.693s 215.70/215.86 c #decision = 185545 215.70/215.86 c #conflict = 478 215.70/215.86 c #restart = 1 215.70/215.86 o 210945 215.70/215.87 c Solving starts ... 219.10/219.25 c solving time = 3.357s 219.10/219.25 c #decision = 188456 219.10/219.25 c #conflict = 481 219.10/219.25 c #restart = 1 219.10/219.25 o 210944 219.10/219.26 c Solving starts ... 230.30/230.45 c solving time = 11.172s 230.30/230.45 c #decision = 191404 230.30/230.45 c #conflict = 502 230.30/230.45 c #restart = 1 230.30/230.45 o 210943 230.40/230.56 c Solving starts ... 233.20/233.36 c solving time = 2.792s 233.20/233.36 c #decision = 194307 233.20/233.36 c #conflict = 505 233.20/233.36 c #restart = 1 233.20/233.36 o 210942 233.20/233.38 c Solving starts ... 243.90/244.07 c solving time = 10.672s 243.90/244.07 c #decision = 197232 243.90/244.07 c #conflict = 521 243.90/244.07 c #restart = 1 243.90/244.07 o 210941 243.90/244.08 c Solving starts ... 248.60/248.72 c solving time = 4.619s 248.60/248.72 c #decision = 200378 248.60/248.72 c #conflict = 530 248.60/248.72 c #restart = 1 248.60/248.72 o 210940 248.60/248.73 c Solving starts ... 249.91/250.05 c solving time = 1.299s 249.91/250.05 c #decision = 203326 249.91/250.05 c #conflict = 530 249.91/250.05 c #restart = 1 249.91/250.05 o 210939 249.91/250.06 c Solving starts ... 252.30/252.46 c solving time = 2.386s 252.30/252.46 c #decision = 206315 252.30/252.46 c #conflict = 548 252.30/252.46 c #restart = 1 252.30/252.46 o 210938 252.30/252.48 c Solving starts ... 254.10/254.23 c solving time = 1.738s 254.10/254.23 c #decision = 209266 254.10/254.23 c #conflict = 551 254.10/254.23 c #restart = 1 254.10/254.23 o 210937 254.10/254.24 c Solving starts ... 256.80/256.99 c solving time = 2.733s 256.80/256.99 c #decision = 212287 256.80/256.99 c #conflict = 567 256.80/256.99 c #restart = 1 256.80/256.99 o 210936 257.00/257.10 c Solving starts ... 258.70/258.81 c solving time = 1.694s 258.70/258.81 c #decision = 215232 258.70/258.81 c #conflict = 570 258.70/258.81 c #restart = 1 258.70/258.81 o 210935 258.70/258.82 c Solving starts ... 260.89/261.02 c solving time = 2.178s 260.89/261.02 c #decision = 218183 260.89/261.02 c #conflict = 582 260.89/261.02 c #restart = 1 260.89/261.02 o 210934 260.89/261.03 c Solving starts ... 263.60/263.79 c solving time = 2.745s 263.60/263.79 c #decision = 221171 263.60/263.79 c #conflict = 607 263.60/263.79 c #restart = 1 263.60/263.79 o 210933 263.70/263.81 c Solving starts ... 265.70/265.83 c solving time = 2.008s 265.70/265.83 c #decision = 224115 265.70/265.83 c #conflict = 611 265.70/265.83 c #restart = 1 265.70/265.83 o 210932 265.70/265.84 c Solving starts ... 277.00/277.19 c solving time = 11.324s 277.00/277.19 c #decision = 227284 277.00/277.19 c #conflict = 650 277.00/277.19 c #restart = 1 277.00/277.19 o 210931 277.00/277.20 c Solving starts ... 288.00/288.18 c solving time = 10.967s 288.00/288.18 c #decision = 230237 288.00/288.18 c #conflict = 671 288.00/288.18 c #restart = 1 288.00/288.18 o 210930 288.00/288.20 c Solving starts ... 292.50/292.66 c solving time = 4.443s 292.50/292.66 c #decision = 233142 292.50/292.66 c #conflict = 678 292.50/292.66 c #restart = 1 292.50/292.66 o 210929 292.50/292.67 c Solving starts ... 295.70/295.86 c solving time = 3.170s 295.70/295.86 c #decision = 236043 295.70/295.86 c #conflict = 681 295.70/295.86 c #restart = 1 295.70/295.86 o 210928 295.70/295.87 c Solving starts ... 298.89/299.02 c solving time = 3.138s 298.89/299.02 c #decision = 238940 298.89/299.02 c #conflict = 685 298.89/299.02 c #restart = 1 298.89/299.02 o 210927 298.89/299.04 c Solving starts ... 303.70/303.89 c solving time = 4.841s 303.70/303.89 c #decision = 241838 303.70/303.89 c #conflict = 691 303.70/303.89 c #restart = 1 303.70/303.90 o 210926 303.80/303.91 c Solving starts ... 353.28/353.49 c solving time = 49.556s 353.28/353.49 c #decision = 249673 353.28/353.49 c #conflict = 858 353.28/353.49 c #restart = 2 353.28/353.49 o 206631 353.38/353.50 c Solving starts ... 368.88/369.07 c solving time = 15.544s 368.88/369.07 c #decision = 254954 368.88/369.07 c #conflict = 896 368.88/369.07 c #restart = 2 368.88/369.07 o 206628 368.88/369.08 c Solving starts ... 373.39/373.52 c solving time = 4.422s 373.39/373.52 c #decision = 257844 373.39/373.52 c #conflict = 900 373.39/373.52 c #restart = 2 373.39/373.52 o 206627 373.39/373.54 c Solving starts ... 376.79/376.95 c solving time = 3.391s 376.79/376.95 c #decision = 260732 376.79/376.95 c #conflict = 902 376.79/376.95 c #restart = 2 376.79/376.95 o 206626 376.79/376.96 c Solving starts ... 383.08/383.28 c solving time = 6.297s 383.08/383.28 c #decision = 263631 383.08/383.28 c #conflict = 911 383.08/383.28 c #restart = 2 383.08/383.28 o 206625 383.08/383.29 c Solving starts ... 387.78/387.92 c solving time = 4.608s 387.78/387.92 c #decision = 266521 387.78/387.92 c #conflict = 917 387.78/387.92 c #restart = 2 387.78/387.92 o 206624 387.88/388.04 c Solving starts ... 462.57/462.74 c solving time = 74.666s 462.57/462.74 c #decision = 310988 462.57/462.74 c #conflict = 1134 462.57/462.74 c #restart = 3 462.57/462.74 o 202452 462.57/462.75 c Solving starts ... 477.17/477.37 c solving time = 14.594s 477.17/477.37 c #decision = 313956 477.17/477.37 c #conflict = 1144 477.17/477.37 c #restart = 3 477.17/477.37 o 202451 477.17/477.38 c Solving starts ... 495.06/495.25 c solving time = 17.852s 495.06/495.25 c #decision = 317034 495.06/495.25 c #conflict = 1160 495.06/495.25 c #restart = 3 495.06/495.25 o 202450 495.06/495.27 c Solving starts ... 506.86/507.04 c solving time = 11.755s 506.86/507.04 c #decision = 320036 506.86/507.04 c #conflict = 1167 506.86/507.04 c #restart = 3 506.86/507.04 o 202449 506.86/507.05 c Solving starts ... 528.35/528.59 c solving time = 21.511s 528.35/528.59 c #decision = 322987 528.35/528.59 c #conflict = 1179 528.35/528.59 c #restart = 3 528.35/528.59 o 202448 528.45/528.60 c Solving starts ... 543.45/543.68 c solving time = 15.057s 543.45/543.68 c #decision = 325983 543.45/543.68 c #conflict = 1189 543.45/543.68 c #restart = 3 543.45/543.68 o 202447 543.45/543.69 c Solving starts ... 560.65/560.80 c solving time = 17.083s 560.65/560.80 c #decision = 328924 560.65/560.80 c #conflict = 1198 560.65/560.80 c #restart = 3 560.65/560.80 o 202446 560.65/560.81 c Solving starts ... 574.95/575.18 c solving time = 14.351s 574.95/575.18 c #decision = 334150 574.95/575.18 c #conflict = 1207 574.95/575.18 c #restart = 3 574.95/575.18 o 202444 574.95/575.20 c Solving starts ... 592.65/592.85 c solving time = 17.628s 592.65/592.85 c #decision = 337096 592.65/592.85 c #conflict = 1217 592.65/592.85 c #restart = 3 592.65/592.85 o 202443 592.65/592.86 c Solving starts ... 606.95/607.17 c solving time = 14.285s 606.95/607.17 c #decision = 340022 606.95/607.17 c #conflict = 1225 606.95/607.17 c #restart = 3 606.95/607.17 o 202442 606.95/607.18 c Solving starts ... 624.44/624.63 c solving time = 17.426s 624.44/624.63 c #decision = 342948 624.44/624.63 c #conflict = 1234 624.44/624.63 c #restart = 3 624.44/624.63 o 202441 624.44/624.64 c Solving starts ... 638.85/639.01 c solving time = 14.351s 638.85/639.01 c #decision = 345873 638.85/639.01 c #conflict = 1242 638.85/639.01 c #restart = 3 638.85/639.01 o 202440 638.85/639.02 c Solving starts ... 656.54/656.71 c solving time = 17.660s 656.54/656.71 c #decision = 348798 656.54/656.71 c #conflict = 1251 656.54/656.71 c #restart = 3 656.54/656.71 o 202439 656.54/656.72 c Solving starts ... 671.03/671.28 c solving time = 14.542s 671.03/671.28 c #decision = 351727 671.03/671.28 c #conflict = 1259 671.03/671.28 c #restart = 3 671.03/671.28 o 202438 671.03/671.30 c Solving starts ... 689.03/689.22 c solving time = 17.902s 689.03/689.22 c #decision = 354655 689.03/689.22 c #conflict = 1269 689.03/689.22 c #restart = 3 689.03/689.22 o 202437 689.03/689.23 c Solving starts ... 703.93/704.15 c solving time = 14.893s 703.93/704.15 c #decision = 357578 703.93/704.15 c #conflict = 1277 703.93/704.15 c #restart = 3 703.93/704.15 o 202436 703.93/704.16 c Solving starts ... 721.83/722.07 c solving time = 17.891s 721.83/722.07 c #decision = 360495 721.83/722.07 c #conflict = 1286 721.83/722.07 c #restart = 3 721.83/722.07 o 202435 721.83/722.09 c Solving starts ... 736.92/737.17 c solving time = 15.059s 736.92/737.17 c #decision = 363412 736.92/737.17 c #conflict = 1294 736.92/737.17 c #restart = 3 736.92/737.17 o 202434 736.92/737.18 c Solving starts ... 763.13/763.34 c solving time = 26.137s 763.13/763.34 c #decision = 368679 763.13/763.34 c #conflict = 1319 763.13/763.34 c #restart = 3 763.13/763.34 o 202432 763.13/763.35 c Solving starts ... 775.23/775.49 c solving time = 12.118s 775.23/775.49 c #decision = 371602 775.23/775.49 c #conflict = 1323 775.23/775.49 c #restart = 3 775.23/775.49 o 202431 775.33/775.51 c Solving starts ... 796.81/797.03 c solving time = 21.501s 796.81/797.03 c #decision = 376834 796.81/797.03 c #conflict = 1343 796.81/797.03 c #restart = 3 796.81/797.03 o 202430 796.81/797.04 c Solving starts ... 809.32/809.57 c solving time = 12.501s 809.32/809.57 c #decision = 379925 809.32/809.57 c #conflict = 1351 809.32/809.57 c #restart = 3 809.32/809.57 o 202429 809.32/809.58 c Solving starts ... 817.71/817.94 c solving time = 8.334s 817.71/817.94 c #decision = 382895 817.71/817.94 c #conflict = 1356 817.71/817.94 c #restart = 3 817.71/817.94 o 202428 817.71/817.95 c Solving starts ... 825.91/826.19 c solving time = 8.216s 825.91/826.19 c #decision = 385864 825.91/826.19 c #conflict = 1361 825.91/826.19 c #restart = 3 825.91/826.19 o 202427 826.00/826.20 c Solving starts ... 834.40/834.68 c solving time = 8.460s 834.40/834.68 c #decision = 388835 834.40/834.68 c #conflict = 1366 834.40/834.68 c #restart = 3 834.40/834.68 o 202426 834.40/834.69 c Solving starts ... 842.91/843.12 c solving time = 8.405s 842.91/843.12 c #decision = 391804 842.91/843.12 c #conflict = 1371 842.91/843.12 c #restart = 3 842.91/843.12 o 202425 842.91/843.13 c Solving starts ... 851.40/851.60 c solving time = 8.453s 851.40/851.60 c #decision = 394771 851.40/851.60 c #conflict = 1376 851.40/851.60 c #restart = 3 851.40/851.60 o 202424 851.40/851.62 c Solving starts ... 859.51/859.78 c solving time = 8.146s 859.51/859.78 c #decision = 397739 859.51/859.78 c #conflict = 1381 859.51/859.78 c #restart = 3 859.51/859.78 o 202423 859.51/859.80 c Solving starts ... 867.61/867.82 c solving time = 8.009s 867.61/867.82 c #decision = 400706 867.61/867.82 c #conflict = 1386 867.61/867.82 c #restart = 3 867.61/867.82 o 202422 867.61/867.84 c Solving starts ... 875.80/876.04 c solving time = 8.184s 875.80/876.04 c #decision = 403667 875.80/876.04 c #conflict = 1391 875.80/876.04 c #restart = 3 875.80/876.04 o 202421 875.80/876.05 c Solving starts ... 884.00/884.22 c solving time = 8.147s 884.00/884.22 c #decision = 406634 884.00/884.22 c #conflict = 1396 884.00/884.22 c #restart = 3 884.00/884.22 o 202420 884.00/884.24 c Solving starts ... 893.50/893.78 c solving time = 9.528s 893.50/893.78 c #decision = 411901 893.50/893.78 c #conflict = 1401 893.50/893.78 c #restart = 3 893.50/893.78 o 202416 893.60/893.80 c Solving starts ... 905.30/905.57 c solving time = 11.754s 905.30/905.57 c #decision = 414823 905.30/905.57 c #conflict = 1406 905.30/905.57 c #restart = 3 905.30/905.57 o 202415 905.30/905.58 c Solving starts ... 917.39/917.65 c solving time = 12.043s 917.39/917.65 c #decision = 417744 917.39/917.65 c #conflict = 1411 917.39/917.65 c #restart = 3 917.39/917.65 o 202414 917.39/917.66 c Solving starts ... 929.30/929.59 c solving time = 11.908s 929.30/929.59 c #decision = 420662 929.30/929.59 c #conflict = 1416 929.30/929.59 c #restart = 3 929.30/929.59 o 202413 929.39/929.60 c Solving starts ... 941.39/941.61 c solving time = 11.988s 941.39/941.61 c #decision = 425883 941.39/941.61 c #conflict = 1421 941.39/941.61 c #restart = 3 941.39/941.61 o 202411 941.39/941.63 c Solving starts ... 961.19/961.42 c solving time = 19.768s 961.19/961.42 c #decision = 428811 961.19/961.42 c #conflict = 1434 961.19/961.42 c #restart = 3 961.19/961.42 o 202410 961.19/961.43 c Solving starts ... 976.38/976.69 c solving time = 15.233s 976.38/976.69 c #decision = 431740 976.38/976.69 c #conflict = 1442 976.38/976.69 c #restart = 3 976.38/976.69 o 202409 976.38/976.70 c Solving starts ... 985.89/986.13 c solving time = 9.407s 985.89/986.13 c #decision = 434644 985.89/986.13 c #conflict = 1445 985.89/986.13 c #restart = 3 985.89/986.13 o 202408 985.89/986.14 c Solving starts ... 1011.07/1011.31 c solving time = 25.143s 1011.07/1011.31 c #decision = 439855 1011.07/1011.31 c #conflict = 1459 1011.07/1011.31 c #restart = 3 1011.07/1011.31 o 202406 1011.07/1011.32 c Solving starts ... 1020.48/1020.72 c solving time = 9.383s 1020.48/1020.72 c #decision = 442763 1020.48/1020.72 c #conflict = 1462 1020.48/1020.72 c #restart = 3 1020.48/1020.72 o 202405 1020.48/1020.74 c Solving starts ... 1032.48/1032.70 c solving time = 11.940s 1032.48/1032.70 c #decision = 447975 1032.48/1032.70 c #conflict = 1468 1032.48/1032.70 c #restart = 3 1032.48/1032.70 o 202403 1032.48/1032.71 c Solving starts ... 1051.87/1052.15 c solving time = 19.418s 1051.87/1052.15 c #decision = 450886 1051.87/1052.15 c #conflict = 1478 1051.87/1052.15 c #restart = 3 1051.87/1052.15 o 202402 1051.87/1052.17 c Solving starts ... 1067.17/1067.49 c solving time = 15.303s 1067.17/1067.49 c #decision = 456100 1067.17/1067.49 c #conflict = 1486 1067.17/1067.49 c #restart = 3 1067.17/1067.49 o 202400 1067.27/1067.51 c Solving starts ... 1075.27/1075.59 c solving time = 8.066s 1075.27/1075.59 c #decision = 459008 1075.27/1075.59 c #conflict = 1487 1075.27/1075.59 c #restart = 3 1075.27/1075.59 o 202399 1075.37/1075.60 c Solving starts ... 1092.37/1092.68 c solving time = 17.052s 1092.37/1092.68 c #decision = 461965 1092.37/1092.68 c #conflict = 1495 1092.37/1092.68 c #restart = 3 1092.37/1092.68 o 202398 1092.37/1092.69 c Solving starts ... 1104.76/1105.03 c solving time = 12.314s 1104.76/1105.03 c #decision = 467190 1104.76/1105.03 c #conflict = 1502 1104.76/1105.03 c #restart = 3 1104.76/1105.03 o 202396 1104.76/1105.05 c Solving starts ... 1112.86/1113.18 c solving time = 7.958s 1112.86/1113.18 c #decision = 470092 1112.86/1113.18 c #conflict = 1503 1112.86/1113.18 c #restart = 3 1112.86/1113.18 o 202395 1112.86/1113.19 c Solving starts ... 1120.86/1121.18 c solving time = 7.974s 1120.86/1121.18 c #decision = 472993 1120.86/1121.18 c #conflict = 1504 1120.86/1121.18 c #restart = 3 1120.86/1121.18 o 202394 1120.96/1121.20 c Solving starts ... 1153.65/1153.91 c solving time = 32.690s 1153.65/1153.91 c #decision = 475952 1153.65/1153.91 c #conflict = 1518 1153.65/1153.91 c #restart = 3 1153.65/1153.91 o 202393 1153.65/1153.92 c Solving starts ... 1165.85/1166.17 c solving time = 12.231s 1165.85/1166.17 c #decision = 478857 1165.85/1166.17 c #conflict = 1521 1165.85/1166.17 c #restart = 3 1165.85/1166.18 o 202392 1165.85/1166.19 c Solving starts ... 1177.25/1177.50 c solving time = 11.287s 1177.25/1177.50 c #decision = 481769 1177.25/1177.50 c #conflict = 1526 1177.25/1177.50 c #restart = 3 1177.25/1177.50 o 202391 1177.25/1177.51 c Solving starts ... 1188.45/1188.76 c solving time = 11.225s 1188.45/1188.76 c #decision = 484675 1188.45/1188.76 c #conflict = 1531 1188.45/1188.76 c #restart = 3 1188.45/1188.76 o 202390 1188.45/1188.77 c Solving starts ... 1199.94/1200.29 c solving time = 11.503s 1199.94/1200.29 c #decision = 487580 1199.94/1200.29 c #conflict = 1536 1199.94/1200.29 c #restart = 3 1199.94/1200.29 o 202389 1200.04/1200.31 c Solving starts ... 1269.84/1270.15 c solving time = 69.810s 1269.84/1270.15 c #decision = 493798 1269.84/1270.15 c #conflict = 1584 1269.84/1270.15 c #restart = 3 1269.84/1270.15 o 202373 1269.84/1270.16 c Solving starts ... 1277.64/1277.94 c solving time = 7.759s 1277.64/1277.94 c #decision = 496737 1277.64/1277.94 c #conflict = 1588 1277.64/1277.94 c #restart = 3 1277.64/1277.94 o 202372 1277.64/1277.95 c Solving starts ... 1284.63/1284.99 c solving time = 7.017s 1284.63/1284.99 c #decision = 499652 1284.63/1284.99 c #conflict = 1589 1284.63/1284.99 c #restart = 3 1284.63/1284.99 o 202371 1284.73/1285.00 c Solving starts ... 1291.83/1292.14 c solving time = 7.118s 1291.83/1292.14 c #decision = 502570 1291.83/1292.14 c #conflict = 1590 1291.83/1292.14 c #restart = 3 1291.83/1292.14 o 202370 1291.83/1292.15 c Solving starts ... 1299.43/1299.70 c solving time = 7.525s 1299.43/1299.70 c #decision = 505490 1299.43/1299.70 c #conflict = 1593 1299.43/1299.70 c #restart = 3 1299.43/1299.70 o 202369 1299.43/1299.71 c Solving starts ... 1310.13/1310.46 c solving time = 10.730s 1310.13/1310.46 c #decision = 508422 1310.13/1310.46 c #conflict = 1601 1310.13/1310.46 c #restart = 3 1310.13/1310.46 o 202368 1310.13/1310.48 c Solving starts ... 1321.23/1321.52 c solving time = 11.025s 1321.23/1321.52 c #decision = 511336 1321.23/1321.52 c #conflict = 1608 1321.23/1321.52 c #restart = 3 1321.23/1321.52 o 202367 1321.23/1321.54 c Solving starts ... 1332.33/1332.67 c solving time = 11.115s 1332.33/1332.67 c #decision = 514256 1332.33/1332.67 c #conflict = 1614 1332.33/1332.67 c #restart = 3 1332.33/1332.67 o 202366 1332.33/1332.69 c Solving starts ... 1342.73/1343.09 c solving time = 10.382s 1342.73/1343.09 c #decision = 517182 1342.73/1343.09 c #conflict = 1620 1342.73/1343.09 c #restart = 3 1342.73/1343.09 o 202365 1342.83/1343.10 c Solving starts ... 1353.43/1353.77 c solving time = 10.651s 1353.43/1353.77 c #decision = 520101 1353.43/1353.77 c #conflict = 1627 1353.43/1353.77 c #restart = 3 1353.43/1353.78 o 202364 1353.43/1353.79 c Solving starts ... 1361.73/1362.03 c solving time = 8.223s 1361.73/1362.03 c #decision = 523019 1361.73/1362.03 c #conflict = 1630 1361.73/1362.03 c #restart = 3 1361.73/1362.03 o 202363 1361.73/1362.04 c Solving starts ... 1370.12/1370.49 c solving time = 8.426s 1370.12/1370.49 c #decision = 525930 1370.12/1370.49 c #conflict = 1632 1370.12/1370.49 c #restart = 3 1370.12/1370.49 o 202362 1370.23/1370.50 c Solving starts ... 1381.12/1381.50 c solving time = 10.972s 1381.12/1381.50 c #decision = 528840 1381.12/1381.50 c #conflict = 1638 1381.12/1381.50 c #restart = 3 1381.12/1381.50 o 202361 1381.23/1381.51 c Solving starts ... 1391.91/1392.23 c solving time = 10.695s 1391.91/1392.23 c #decision = 531756 1391.91/1392.23 c #conflict = 1644 1391.91/1392.23 c #restart = 3 1391.91/1392.23 o 202360 1391.91/1392.24 c Solving starts ... 1403.52/1403.88 c solving time = 11.619s 1403.52/1403.88 c #decision = 534668 1403.52/1403.88 c #conflict = 1652 1403.52/1403.88 c #restart = 3 1403.52/1403.88 o 202359 1403.52/1403.89 c Solving starts ... 1415.72/1416.01 c solving time = 12.095s 1415.72/1416.01 c #decision = 539866 1415.72/1416.01 c #conflict = 1662 1415.72/1416.01 c #restart = 3 1415.72/1416.01 o 202357 1415.72/1416.02 c Solving starts ... 1424.71/1425.10 c solving time = 9.051s 1424.71/1425.10 c #decision = 542770 1424.71/1425.10 c #conflict = 1665 1424.71/1425.10 c #restart = 3 1424.81/1425.10 o 202356 1424.81/1425.11 c Solving starts ... 1438.11/1438.44 c solving time = 13.315s 1438.11/1438.44 c #decision = 545702 1438.11/1438.44 c #conflict = 1677 1438.11/1438.44 c #restart = 3 1438.11/1438.45 o 202355 1438.11/1438.46 c Solving starts ... 1446.51/1446.88 c solving time = 8.397s 1446.51/1446.88 c #decision = 548609 1446.51/1446.88 c #conflict = 1680 1446.51/1446.88 c #restart = 3 1446.51/1446.88 o 202354 1446.51/1446.89 c Solving starts ... 1455.91/1456.24 c solving time = 9.333s 1455.91/1456.24 c #decision = 553792 1455.91/1456.24 c #conflict = 1684 1455.91/1456.24 c #restart = 3 1455.91/1456.24 o 202352 1455.91/1456.26 c Solving starts ... 1476.50/1476.87 c solving time = 20.593s 1476.50/1476.87 c #decision = 559317 1476.50/1476.87 c #conflict = 1705 1476.50/1476.87 c #restart = 3 1476.50/1476.87 o 202351 1476.50/1476.88 c Solving starts ... 1491.10/1491.46 c solving time = 14.557s 1491.10/1491.46 c #decision = 562358 1491.10/1491.46 c #conflict = 1718 1491.10/1491.46 c #restart = 3 1491.10/1491.46 o 202350 1491.10/1491.48 c Solving starts ... 1501.50/1501.84 c solving time = 10.339s 1501.50/1501.84 c #decision = 565298 1501.50/1501.84 c #conflict = 1725 1501.50/1501.84 c #restart = 3 1501.50/1501.84 o 202349 1501.50/1501.85 c Solving starts ... 1511.50/1511.84 c solving time = 9.965s 1511.50/1511.84 c #decision = 568238 1511.50/1511.84 c #conflict = 1730 1511.50/1511.84 c #restart = 3 1511.50/1511.84 o 202348 1511.50/1511.85 c Solving starts ... 1521.69/1522.04 c solving time = 10.167s 1521.69/1522.04 c #decision = 571169 1521.69/1522.04 c #conflict = 1735 1521.69/1522.04 c #restart = 3 1521.69/1522.04 o 202347 1521.69/1522.05 c Solving starts ... 1531.69/1532.03 c solving time = 9.956s 1531.69/1532.03 c #decision = 574096 1531.69/1532.03 c #conflict = 1740 1531.69/1532.03 c #restart = 3 1531.69/1532.03 o 202346 1531.69/1532.04 c Solving starts ... 1541.70/1542.04 c solving time = 9.980s 1541.70/1542.04 c #decision = 577025 1541.70/1542.04 c #conflict = 1745 1541.70/1542.04 c #restart = 3 1541.70/1542.04 o 202345 1541.70/1542.06 c Solving starts ... 1551.80/1552.19 c solving time = 10.111s 1551.80/1552.19 c #decision = 579952 1551.80/1552.19 c #conflict = 1750 1551.80/1552.19 c #restart = 3 1551.80/1552.19 o 202344 1551.99/1552.37 c Solving starts ... 1561.99/1562.32 c solving time = 9.928s 1561.99/1562.32 c #decision = 585165 1561.99/1562.32 c #conflict = 1755 1561.99/1562.32 c #restart = 3 1561.99/1562.32 o 202340 1561.99/1562.33 c Solving starts ... 1571.99/1572.34 c solving time = 9.990s 1571.99/1572.34 c #decision = 588095 1571.99/1572.34 c #conflict = 1760 1571.99/1572.34 c #restart = 3 1571.99/1572.34 o 202339 1571.99/1572.35 c Solving starts ... 1581.88/1582.21 c solving time = 9.840s 1581.88/1582.21 c #decision = 591022 1581.88/1582.21 c #conflict = 1765 1581.88/1582.21 c #restart = 3 1581.88/1582.21 o 202338 1581.88/1582.23 c Solving starts ... 1591.78/1592.15 c solving time = 9.905s 1591.78/1592.15 c #decision = 593948 1591.78/1592.15 c #conflict = 1770 1591.78/1592.15 c #restart = 3 1591.78/1592.15 o 202337 1591.78/1592.17 c Solving starts ... 1612.88/1613.22 c solving time = 21.033s 1612.88/1613.22 c #decision = 596902 1612.88/1613.22 c #conflict = 1793 1612.88/1613.22 c #restart = 3 1612.88/1613.22 o 202336 1612.88/1613.24 c Solving starts ... 1624.18/1624.58 c solving time = 11.320s 1624.18/1624.58 c #decision = 599823 1624.18/1624.58 c #conflict = 1805 1624.18/1624.58 c #restart = 3 1624.18/1624.58 o 202335 1624.18/1624.59 c Solving starts ... 1632.57/1632.94 c solving time = 8.328s 1632.57/1632.94 c #decision = 602738 1632.57/1632.94 c #conflict = 1808 1632.57/1632.94 c #restart = 3 1632.57/1632.94 o 202334 1632.57/1632.95 c Solving starts ... 1642.88/1643.25 c solving time = 10.273s 1642.88/1643.25 c #decision = 605656 1642.88/1643.25 c #conflict = 1816 1642.88/1643.25 c #restart = 3 1642.88/1643.25 o 202333 1642.88/1643.26 c Solving starts ... 1657.08/1657.49 c solving time = 14.213s 1657.08/1657.49 c #decision = 608599 1657.08/1657.49 c #conflict = 1835 1657.08/1657.49 c #restart = 3 1657.08/1657.49 o 202332 1657.18/1657.51 c Solving starts ... 1711.36/1711.79 c solving time = 54.255s 1711.36/1711.79 c #decision = 612144 1711.36/1711.79 c #conflict = 1930 1711.36/1711.79 c #restart = 3 1711.36/1711.79 o 202331 1711.46/1711.80 c Solving starts ... 1720.16/1720.52 c solving time = 8.702s 1720.16/1720.52 c #decision = 615122 1720.16/1720.52 c #conflict = 1946 1720.16/1720.52 c #restart = 3 1720.16/1720.52 o 202330 1720.16/1720.54 c Solving starts ... 1727.67/1728.03 c solving time = 7.478s 1727.67/1728.03 c #decision = 618077 1727.67/1728.03 c #conflict = 1952 1727.67/1728.03 c #restart = 3 1727.67/1728.04 o 202329 1727.67/1728.05 c Solving starts ... 1786.25/1786.60 c solving time = 58.523s 1786.25/1786.60 c #decision = 621688 1786.25/1786.60 c #conflict = 2054 1786.25/1786.60 c #restart = 4 1786.25/1786.60 o 202328 1786.25/1786.61 c Solving starts ... 1797.65/1798.09 c solving time = 11.460s 1797.65/1798.09 c #decision = 624664 1797.65/1798.09 c #conflict = 2068 1797.65/1798.09 c #restart = 4 1797.65/1798.09 o 202327 1797.75/1798.10 c Solving starts ...
ERROR: no interpretation found !
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-3724668-1338640831/watcher-3724668-1338640831 -o /tmp/evaluation-result-3724668-1338640831/solver-3724668-1338640831 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3724668-1338640831.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 2.00 3/177 15426 /proc/meminfo: memFree=27576068/32873844 swapFree=7628/7628 [pid=15426] ppid=15424 vsize=6224 CPUtime=0 cores=1,3,5,7 /proc/15426/stat : 15426 (toysat) R 15424 15426 14598 0 -1 4202496 797 0 0 0 0 0 0 0 20 0 1 0 330208038 6373376 718 33554432000 4194304 8989770 140736105560160 140735408767688 7626689 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0 /proc/15426/statm: 1556 718 424 1171 0 333 0 [startup+0.0814121 s] /proc/loadavg: 2.00 2.00 2.00 3/177 15426 /proc/meminfo: memFree=27576068/32873844 swapFree=7628/7628 [pid=15426] ppid=15424 vsize=10320 CPUtime=0.07 cores=1,3,5,7 /proc/15426/stat : 15426 (toysat) R 15424 15426 14598 0 -1 4202496 1856 0 0 0 7 0 0 0 20 0 1 0 330208038 10567680 1777 33554432000 4194304 8989770 140736105560160 140735408767688 7953280 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0 /proc/15426/statm: 2580 1777 431 1171 0 1357 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 10320 [startup+0.100312 s] /proc/loadavg: 2.00 2.00 2.00 3/177 15426 /proc/meminfo: memFree=27576068/32873844 swapFree=7628/7628 [pid=15426] ppid=15424 vsize=12368 CPUtime=0.09 cores=1,3,5,7 /proc/15426/stat : 15426 (toysat) R 15424 15426 14598 0 -1 4202496 2368 0 0 0 9 0 0 0 20 0 1 0 330208038 12664832 2289 33554432000 4194304 8989770 140736105560160 140735408767688 7953280 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0 /proc/15426/statm: 3092 2289 431 1171 0 1869 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12368 [startup+0.300305 s] /proc/loadavg: 2.00 2.00 2.00 3/177 15426 /proc/meminfo: memFree=27576068/32873844 swapFree=7628/7628 [pid=15426] ppid=15424 vsize=22608 CPUtime=0.29 cores=1,3,5,7 /proc/15426/stat : 15426 (toysat) R 15424 15426 14598 0 -1 4202496 4929 0 0 0 28 1 0 0 20 0 1 0 330208038 23150592 4850 33554432000 4194304 8989770 140736105560160 140736105559424 4204592 0 2 0 34082818 0 0 0 17 1 0 0 0 0 0 /proc/15426/statm: 5652 4850 431 1171 0 4429 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 22608 [startup+0.700307 s] /proc/loadavg: 2.00 2.00 2.00 3/177 15426 /proc/meminfo: memFree=27576068/32873844 swapFree=7628/7628 [pid=15426] ppid=15424 vsize=47184 CPUtime=0.68 cores=1,3,5,7 /proc/15426/stat : 15426 (toysat) R 15424 15426 14598 0 -1 4202496 11073 0 0 0 66 2 0 0 20 0 1 0 330208038 48316416 10994 33554432000 4194304 8989770 140736105560160 140736105559656 7953280 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0 /proc/15426/statm: 11796 10994 431 1171 0 10573 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 47184 [startup+1.50033 s] /proc/loadavg: 2.00 2.00 2.00 3/178 15427 /proc/meminfo: memFree=27519036/32873844 swapFree=7628/7628 [pid=15426] ppid=15424 vsize=110672 CPUtime=1.49 cores=1,3,5,7 /proc/15426/stat : 15426 (toysat) R 15424 15426 14598 0 -1 4202496 26897 0 0 0 143 6 0 0 20 0 1 0 330208038 113328128 26819 33554432000 4194304 8989770 140736105560160 140736105559424 4209325 0 2 0 34082818 0 0 0 17 1 0 0 0 0 0 /proc/15426/statm: 27668 26830 431 1171 0 26445 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 110672 [startup+3.10028 s] /proc/loadavg: 2.00 2.00 2.00 3/178 15427 /proc/meminfo: memFree=27439784/32873844 swapFree=7628/7628 [pid=15426] ppid=15424 vsize=139344 CPUtime=3.09 cores=1,3,5,7 /proc/15426/stat : 15426 (toysat) R 15424 15426 14598 0 -1 4202496 34135 0 0 0 301 8 0 0 20 0 1 0 330208038 142688256 34056 33554432000 4194304 8989770 140736105560160 140736105559656 7953280 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0 /proc/15426/statm: 34836 34056 447 1171 0 33613 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 139344 [startup+6.30028 s] /proc/loadavg: 2.00 2.00 2.00 3/178 15427 /proc/meminfo: memFree=27438420/32873844 swapFree=7628/7628 [pid=15426] ppid=15424 vsize=140368 CPUtime=6.29 cores=1,3,5,7 /proc/15426/stat : 15426 (toysat) R 15424 15426 14598 0 -1 4202496 34391 0 0 0 620 9 0 0 20 0 1 0 330208038 143736832 34312 33554432000 4194304 8989770 140736105560160 140736105559656 7953280 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0 /proc/15426/statm: 35092 34312 447 1171 0 33869 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 140368 [startup+12.7003 s] /proc/loadavg: 2.00 2.00 2.00 3/178 15427 /proc/meminfo: memFree=27438460/32873844 swapFree=7628/7628 [pid=15426] ppid=15424 vsize=140368 CPUtime=12.69 cores=1,3,5,7 /proc/15426/stat : 15426 (toysat) R 15424 15426 14598 0 -1 4202496 34417 0 0 0 1258 11 0 0 20 0 1 0 330208038 143736832 34338 33554432000 4194304 8989770 140736105560160 140736105559424 4208816 0 2 0 34082818 0 0 0 17 1 0 0 0 0 0 /proc/15426/statm: 35092 34338 473 1171 0 33869 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 140368 [startup+25.5003 s] /proc/loadavg: 2.00 2.00 2.00 3/178 15427 /proc/meminfo: memFree=27438956/32873844 swapFree=7628/7628 [pid=15426] ppid=15424 vsize=140368 CPUtime=25.48 cores=1,3,5,7 /proc/15426/stat : 15426 (toysat) R 15424 15426 14598 0 -1 4202496 34417 0 0 0 2534 14 0 0 20 0 1 0 330208038 143736832 34338 33554432000 4194304 8989770 140736105560160 140736105558144 4209212 0 2 0 34082818 0 0 0 17 1 0 0 0 0 0 /proc/15426/statm: 35092 34338 473 1171 0 33869 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 140368 [startup+51.1003 s] /proc/loadavg: 2.00 2.00 2.00 3/177 15427 /proc/meminfo: memFree=27431988/32873844 swapFree=7628/7628 [pid=15426] ppid=15424 vsize=140368 CPUtime=51.06 cores=1,3,5,7 /proc/15426/stat : 15426 (toysat) R 15424 15426 14598 0 -1 4202496 34421 0 0 0 5086 20 0 0 20 0 1 0 330208038 143736832 34343 33554432000 4194304 8989770 140736105560160 140736105559424 7857787 0 2 0 34082818 0 0 0 17 1 0 0 0 0 0 /proc/15426/statm: 35092 34343 473 1171 0 33869 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 140368 [startup+102.307 s] /proc/loadavg: 2.04 2.01 2.00 3/177 15427 /proc/meminfo: memFree=27408968/32873844 swapFree=7628/7628 [pid=15426] ppid=15424 vsize=156752 CPUtime=102.25 cores=1,3,5,7 /proc/15426/stat : 15426 (toysat) R 15424 15426 14598 0 -1 4202496 38522 0 0 0 10191 34 0 0 20 0 1 0 330208038 160514048 38439 33554432000 4194304 8989770 140736105560160 140736105559424 7953280 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0 /proc/15426/statm: 39188 38439 473 1171 0 37965 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 156752 [startup+162.3 s] /proc/loadavg: 2.01 2.01 2.00 3/177 15428 /proc/meminfo: memFree=27386396/32873844 swapFree=7628/7628 [pid=15426] ppid=15424 vsize=166992 CPUtime=162.21 cores=1,3,5,7 /proc/15426/stat : 15426 (toysat) R 15424 15426 14598 0 -1 4202496 41093 0 0 0 16171 50 0 0 20 0 1 0 330208038 170999808 40999 33554432000 4194304 8989770 140736105560160 140736105558080 7953280 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0 /proc/15426/statm: 41748 40999 473 1171 0 40525 0 Current children cumulated CPU time (s) 162.21 Current children cumulated vsize (KiB) 166992 [startup+222.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 15428 /proc/meminfo: memFree=27378708/32873844 swapFree=7628/7628 [pid=15426] ppid=15424 vsize=171088 CPUtime=222.2 cores=1,3,5,7 /proc/15426/stat : 15426 (toysat) R 15424 15426 14598 0 -1 4202496 42117 0 0 0 22155 65 0 0 20 0 1 0 330208038 175194112 42023 33554432000 4194304 8989770 140736105560160 140736105559424 7953280 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0 /proc/15426/statm: 42772 42023 473 1171 0 41549 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 171088 [startup+282.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 15428 /proc/meminfo: memFree=27326504/32873844 swapFree=7628/7628 [pid=15426] ppid=15424 vsize=200784 CPUtime=282.2 cores=1,3,5,7 /proc/15426/stat : 15426 (toysat) R 15424 15426 14598 0 -1 4202496 49541 0 0 0 28132 88 0 0 20 0 1 0 330208038 205602816 49447 33554432000 4194304 8989770 140736105560160 140736105558144 4208870 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0 /proc/15426/statm: 50196 49447 473 1171 0 48973 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 200784 [startup+342.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 15428 /proc/meminfo: memFree=27307356/32873844 swapFree=7628/7628 [pid=15426] ppid=15424 vsize=212048 CPUtime=342.19 cores=1,3,5,7 /proc/15426/stat : 15426 (toysat) R 15424 15426 14598 0 -1 4202496 52357 0 0 0 34107 112 0 0 20 0 1 0 330208038 217137152 52263 33554432000 4194304 8989770 140736105560160 140736105559424 4209256 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0 /proc/15426/statm: 53012 52263 473 1171 0 51789 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 212048 [startup+402.3 s] /proc/loadavg: 2.04 2.01 2.00 3/177 15428 /proc/meminfo: memFree=27288012/32873844 swapFree=7628/7628 [pid=15426] ppid=15424 vsize=226384 CPUtime=402.18 cores=1,3,5,7 /proc/15426/stat : 15426 (toysat) R 15424 15426 14598 0 -1 4202496 55941 0 0 0 40084 134 0 0 20 0 1 0 330208038 231817216 55847 33554432000 4194304 8989770 140736105560160 140736105559424 7953280 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0 /proc/15426/statm: 56596 55847 473 1171 0 55373 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 226384 [startup+462.3 s] /proc/loadavg: 2.01 2.01 2.00 3/177 15429 /proc/meminfo: memFree=27284048/32873844 swapFree=7628/7628 [pid=15426] ppid=15424 vsize=226384 CPUtime=462.16 cores=1,3,5,7 /proc/15426/stat : 15426 (toysat) R 15424 15426 14598 0 -1 4202496 55945 0 0 0 46051 165 0 0 20 0 1 0 330208038 231817216 55847 33554432000 4194304 8989770 140736105560160 140736105559656 4445192 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0 /proc/15426/statm: 56596 55847 473 1171 0 55373 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 226384 [startup+522.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 15429 /proc/meminfo: memFree=27262472/32873844 swapFree=7628/7628 [pid=15426] ppid=15424 vsize=237648 CPUtime=522.16 cores=1,3,5,7 /proc/15426/stat : 15426 (toysat) R 15424 15426 14598 0 -1 4202496 58761 0 0 0 52031 185 0 0 20 0 1 0 330208038 243351552 58663 33554432000 4194304 8989770 140736105560160 140736105559424 7953280 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0 /proc/15426/statm: 59412 58663 473 1171 0 58189 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 237648 [startup+582.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 15432 /proc/meminfo: memFree=27248320/32873844 swapFree=7628/7628 [pid=15426] ppid=15424 vsize=246864 CPUtime=582.14 cores=1,3,5,7 /proc/15426/stat : 15426 (toysat) R 15424 15426 14598 0 -1 4202496 61065 0 0 0 58009 205 0 0 20 0 1 0 330208038 252788736 60967 33554432000 4194304 8989770 140736105560160 140736105559656 7953280 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0 /proc/15426/statm: 61716 60967 473 1171 0 60493 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 246864 [startup+642.3 s] ################ # More data... # ################ [startup+822.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 15433 /proc/meminfo: memFree=27192016/32873844 swapFree=7628/7628 [pid=15426] ppid=15424 vsize=279632 CPUtime=822.11 cores=1,3,5,7 /proc/15426/stat : 15426 (toysat) R 15424 15426 14598 0 -1 4202496 69261 0 0 0 81921 290 0 0 20 0 1 0 330208038 286343168 69159 33554432000 4194304 8989770 140736105560160 140736105559656 4445124 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0 /proc/15426/statm: 69908 69159 473 1171 0 68685 0 Current children cumulated CPU time (s) 822.11 Current children cumulated vsize (KiB) 279632 [startup+882.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 15433 /proc/meminfo: memFree=27171556/32873844 swapFree=7628/7628 [pid=15426] ppid=15424 vsize=294992 CPUtime=882.1 cores=1,3,5,7 /proc/15426/stat : 15426 (toysat) R 15424 15426 14598 0 -1 4202496 73101 0 0 0 87887 323 0 0 20 0 1 0 330208038 302071808 72999 33554432000 4194304 8989770 140736105560160 140736105559656 7953280 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0 /proc/15426/statm: 73748 72999 473 1171 0 72525 0 Current children cumulated CPU time (s) 882.1 Current children cumulated vsize (KiB) 294992 [startup+942.3 s] /proc/loadavg: 1.93 1.98 1.99 3/177 15472 /proc/meminfo: memFree=27331312/32873844 swapFree=7628/7628 [pid=15426] ppid=15424 vsize=308304 CPUtime=942.09 cores=1,3,5,7 /proc/15426/stat : 15426 (toysat) R 15424 15426 14598 0 -1 4202496 76429 0 0 0 93859 350 0 0 20 0 1 0 330208038 315703296 76327 33554432000 4194304 8989770 140736105560160 140736105559424 7857787 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0 /proc/15426/statm: 77076 76327 473 1171 0 75853 0 Current children cumulated CPU time (s) 942.09 Current children cumulated vsize (KiB) 308304 [startup+1002.3 s] /proc/loadavg: 1.97 1.98 1.99 3/177 15472 /proc/meminfo: memFree=27322764/32873844 swapFree=7628/7628 [pid=15426] ppid=15424 vsize=317520 CPUtime=1002.08 cores=1,3,5,7 /proc/15426/stat : 15426 (toysat) R 15424 15426 14598 0 -1 4202496 78733 0 0 0 99837 371 0 0 20 0 1 0 330208038 325140480 78631 33554432000 4194304 8989770 140736105560160 140736105559424 7857787 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0 /proc/15426/statm: 79380 78631 473 1171 0 78157 0 Current children cumulated CPU time (s) 1002.08 Current children cumulated vsize (KiB) 317520 [startup+1062.3 s] /proc/loadavg: 1.99 1.98 1.99 3/177 15473 /proc/meminfo: memFree=27286308/32873844 swapFree=7628/7628 [pid=15426] ppid=15424 vsize=326736 CPUtime=1062.07 cores=1,3,5,7 /proc/15426/stat : 15426 (toysat) R 15424 15426 14598 0 -1 4202496 81037 0 0 0 105813 394 0 0 20 0 1 0 330208038 334577664 80935 33554432000 4194304 8989770 140736105560160 140736105559424 4426125 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0 /proc/15426/statm: 81684 80935 473 1171 0 80461 0 Current children cumulated CPU time (s) 1062.07 Current children cumulated vsize (KiB) 326736 [startup+1122.3 s] /proc/loadavg: 1.99 1.98 1.99 3/177 15473 /proc/meminfo: memFree=27240684/32873844 swapFree=7628/7628 [pid=15426] ppid=15424 vsize=338000 CPUtime=1122.06 cores=1,3,5,7 /proc/15426/stat : 15426 (toysat) R 15424 15426 14598 0 -1 4202496 83857 0 0 0 111789 417 0 0 20 0 1 0 330208038 346112000 83751 33554432000 4194304 8989770 140736105560160 140736105559656 4445188 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0 /proc/15426/statm: 84500 83751 473 1171 0 83277 0 Current children cumulated CPU time (s) 1122.06 Current children cumulated vsize (KiB) 338000 [startup+1182.3 s] /proc/loadavg: 2.13 2.02 2.00 3/178 15476 /proc/meminfo: memFree=27206480/32873844 swapFree=7628/7628 [pid=15426] ppid=15424 vsize=344144 CPUtime=1182.05 cores=1,3,5,7 /proc/15426/stat : 15426 (toysat) R 15424 15426 14598 0 -1 4202496 85393 0 0 0 117758 447 0 0 20 0 1 0 330208038 352403456 85287 33554432000 4194304 8989770 140736105560160 140736105559656 7415894 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0 /proc/15426/statm: 86036 85287 473 1171 0 84813 0 Current children cumulated CPU time (s) 1182.05 Current children cumulated vsize (KiB) 344144 [startup+1242.3 s] /proc/loadavg: 2.05 2.01 2.00 3/178 15498 /proc/meminfo: memFree=27166952/32873844 swapFree=7628/7628 [pid=15426] ppid=15424 vsize=351312 CPUtime=1242.04 cores=1,3,5,7 /proc/15426/stat : 15426 (toysat) R 15424 15426 14598 0 -1 4202496 87185 0 0 0 123726 478 0 0 20 0 1 0 330208038 359743488 87079 33554432000 4194304 8989770 140736105560160 140736105559424 7953280 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0 /proc/15426/statm: 87828 87079 473 1171 0 86605 0 Current children cumulated CPU time (s) 1242.04 Current children cumulated vsize (KiB) 351312 [startup+1302.3 s] /proc/loadavg: 2.02 2.00 2.00 3/177 15498 /proc/meminfo: memFree=27127804/32873844 swapFree=7628/7628 [pid=15426] ppid=15424 vsize=358480 CPUtime=1302.04 cores=1,3,5,7 /proc/15426/stat : 15426 (toysat) R 15424 15426 14598 0 -1 4202496 88977 0 0 0 129694 510 0 0 20 0 1 0 330208038 367083520 88871 33554432000 4194304 8989770 140736105560160 140736105559656 7953280 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0 /proc/15426/statm: 89620 88871 473 1171 0 88397 0 Current children cumulated CPU time (s) 1302.04 Current children cumulated vsize (KiB) 358480 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 15499 /proc/meminfo: memFree=27082816/32873844 swapFree=7628/7628 [pid=15426] ppid=15424 vsize=373840 CPUtime=1362.02 cores=1,3,5,7 /proc/15426/stat : 15426 (toysat) R 15424 15426 14598 0 -1 4202496 92817 0 0 0 135667 535 0 0 20 0 1 0 330208038 382812160 92711 33554432000 4194304 8989770 140736105560160 140736105559656 4445124 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0 /proc/15426/statm: 93460 92711 473 1171 0 92237 0 Current children cumulated CPU time (s) 1362.02 Current children cumulated vsize (KiB) 373840 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/177 15499 /proc/meminfo: memFree=27042764/32873844 swapFree=7628/7628 [pid=15426] ppid=15424 vsize=385104 CPUtime=1422.02 cores=1,3,5,7 /proc/15426/stat : 15426 (toysat) R 15424 15426 14598 0 -1 4202496 95633 0 0 0 141641 561 0 0 20 0 1 0 330208038 394346496 95527 33554432000 4194304 8989770 140736105560160 140736105559656 7953280 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0 /proc/15426/statm: 96276 95527 473 1171 0 95053 0 Current children cumulated CPU time (s) 1422.02 Current children cumulated vsize (KiB) 385104 [startup+1482.3 s] /proc/loadavg: 2.05 2.01 2.00 3/177 15499 /proc/meminfo: memFree=27000108/32873844 swapFree=7628/7628 [pid=15426] ppid=15424 vsize=396368 CPUtime=1482 cores=1,3,5,7 /proc/15426/stat : 15426 (toysat) R 15424 15426 14598 0 -1 4202496 98449 0 0 0 147614 586 0 0 20 0 1 0 330208038 405880832 98343 33554432000 4194304 8989770 140736105560160 140736105559656 7953280 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0 /proc/15426/statm: 99092 98343 473 1171 0 97869 0 Current children cumulated CPU time (s) 1482 Current children cumulated vsize (KiB) 396368 [startup+1542.3 s] /proc/loadavg: 2.02 2.01 2.00 3/177 15499 /proc/meminfo: memFree=26959540/32873844 swapFree=7628/7628 [pid=15426] ppid=15424 vsize=409680 CPUtime=1542 cores=1,3,5,7 /proc/15426/stat : 15426 (toysat) R 15424 15426 14598 0 -1 4202496 101779 0 0 0 153587 613 0 0 20 0 1 0 330208038 419512320 101673 33554432000 4194304 8989770 140736105560160 140736105559656 7953280 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0 /proc/15426/statm: 102420 101673 475 1171 0 101197 0 Current children cumulated CPU time (s) 1542 Current children cumulated vsize (KiB) 409680 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 15499 /proc/meminfo: memFree=26909760/32873844 swapFree=7628/7628 [pid=15426] ppid=15424 vsize=422992 CPUtime=1601.99 cores=1,3,5,7 /proc/15426/stat : 15426 (toysat) R 15424 15426 14598 0 -1 4202496 105115 0 0 0 159562 637 0 0 20 0 1 0 330208038 433143808 105001 33554432000 4194304 8989770 140736105560160 140736105559656 4445124 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0 /proc/15426/statm: 105748 105001 475 1171 0 104525 0 Current children cumulated CPU time (s) 1601.99 Current children cumulated vsize (KiB) 422992 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 15500 /proc/meminfo: memFree=26869708/32873844 swapFree=7628/7628 [pid=15426] ppid=15424 vsize=433232 CPUtime=1661.98 cores=1,3,5,7 /proc/15426/stat : 15426 (toysat) R 15424 15426 14598 0 -1 4202496 107675 0 0 0 165533 665 0 0 20 0 1 0 330208038 443629568 107561 33554432000 4194304 8989770 140736105560160 140736105559656 4445179 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0 /proc/15426/statm: 108308 107561 475 1171 0 107085 0 Current children cumulated CPU time (s) 1661.98 Current children cumulated vsize (KiB) 433232 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 15500 /proc/meminfo: memFree=26839824/32873844 swapFree=7628/7628 [pid=15426] ppid=15424 vsize=434256 CPUtime=1721.96 cores=1,3,5,7 /proc/15426/stat : 15426 (toysat) R 15424 15426 14598 0 -1 4202496 107931 0 0 0 171498 698 0 0 20 0 1 0 330208038 444678144 107817 33554432000 4194304 8989770 140736105560160 140736105559656 4447420 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0 /proc/15426/statm: 108564 107817 475 1171 0 107341 0 Current children cumulated CPU time (s) 1721.96 Current children cumulated vsize (KiB) 434256 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 15503 /proc/meminfo: memFree=26808304/32873844 swapFree=7628/7628 [pid=15426] ppid=15424 vsize=439376 CPUtime=1781.96 cores=1,3,5,7 /proc/15426/stat : 15426 (toysat) R 15424 15426 14598 0 -1 4202496 109211 0 0 0 177467 729 0 0 20 0 1 0 330208038 449921024 109097 33554432000 4194304 8989770 140736105560160 140736105559656 7953280 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0 /proc/15426/statm: 109844 109097 475 1171 0 108621 0 Current children cumulated CPU time (s) 1781.96 Current children cumulated vsize (KiB) 439376 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 2.00 2.00 2.00 3/178 15503 /proc/meminfo: memFree=26800112/32873844 swapFree=7628/7628 [pid=15426] ppid=15424 vsize=439376 CPUtime=1800.06 cores=1,3,5,7 /proc/15426/stat : 15426 (toysat) R 15424 15426 14598 0 -1 4202496 109211 0 0 0 179266 740 0 0 20 0 1 0 330208038 449921024 109097 33554432000 4194304 8989770 140736105560160 140736105559656 7953280 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0 /proc/15426/statm: 109844 109097 475 1171 0 108621 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 439376 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.41 CPU time (s): 1800.07 CPU user time (s): 1792.67 CPU system time (s): 7.40487 CPU usage (%): 99.9812 Max. virtual memory (cumulated for all children) (KiB): 439376 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.67 system time used= 7.40487 maximum resident set size= 436388 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 109211 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= 44 involuntary context switches= 2159 runsolver used 4.71128 second user time and 8.88265 second system time The end
Begin job on node144 at 2012-06-02 14:40:31 IDJOB=3724668 IDBENCH=72197 IDSOLVER=2308 FILE ID=node144/3724668-1338640831 RUNJOBID= node144-1338631508-14616 PBS_JOBID= 14636436 Free space on /tmp= 70828 MiB SOLVER NAME= toysat 2012-06-01 BENCH NAME= PB10/normalized-PB10/OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/10orplus/normalized-dwww.cudf.paranoid.opb COMMAND LINE= HOME/toysat +RTS -K1G -RTS --pb BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3724668-1338640831/watcher-3724668-1338640831 -o /tmp/evaluation-result-3724668-1338640831/solver-3724668-1338640831 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3724668-1338640831.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 0f354c37e726e1ce5085d996eab88ba5 RANDOM SEED=1621984936 node144.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.196 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.39 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.196 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.196 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 : 5438.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.196 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.196 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.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.196 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.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.196 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.196 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: 27576224 kB Buffers: 619240 kB Cached: 3569152 kB SwapCached: 464 kB Active: 2601496 kB Inactive: 1832372 kB Active(anon): 228196 kB Inactive(anon): 11196 kB Active(file): 2373300 kB Inactive(file): 1821176 kB Unevictable: 7628 kB Mlocked: 7628 kB SwapTotal: 67108856 kB SwapFree: 67108376 kB Dirty: 10708 kB Writeback: 0 kB AnonPages: 243804 kB Mapped: 16376 kB Shmem: 172 kB Slab: 723540 kB SReclaimable: 165596 kB SUnreclaim: 557944 kB KernelStack: 1488 kB PageTables: 4652 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 351796 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 196608 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= 70816 MiB End job on node144 at 2012-06-02 15:10:34