Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.2 | 1800.69 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-swath.opb |
MD5SUM | 9e8d33d54c816a96320e5b2b2d7ec5c8 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 262224 |
Best CPU time to get the best result obtained on this benchmark | 0.78788 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 262224 |
Optimality of the best value was proved | YES |
Number of variables | 9155 |
Total number of constraints | 884 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 423 |
Number of constraints which are nor clauses,nor cardinality constraints | 461 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 6754 |
Number of terms in the objective function | 31 |
Biggest coefficient in the objective function | 262145 |
Number of bits for the biggest coefficient in the objective function | 19 |
Sum of the numbers in the objective function | 524318 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262145 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 527427 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c This is oree version 0.1.2 alpha 0.00/0.00 c (c) roussel@cril.univ-artois.fr 0.00/0.00 c using __gmp_expr<__gmpz_value, __gmpz_value> 0.00/0.00 c parsing... 0.29/0.33 c ...done 0.29/0.33 c #vars=9155 #constraints=1389 hasObjective=yes 0.29/0.38 c res. mode=mod 0.29/0.38 c VSIDS like heuristics 0.29/0.38 c complete search running 16.98/17.07 c restart after 401 decisions 17.68/17.72 c nbDecision=500 #constraints=1499 18.99/19.03 c restart after 801 decisions 20.79/20.80 c nbDecision=1000 #constraints=1517 22.99/23.04 c nbDecision=1500 #constraints=1534 23.39/23.41 c restart after 1601 decisions 24.79/24.80 c nbDecision=2000 #constraints=1548 26.79/26.83 c nbDecision=2500 #constraints=1564 28.49/28.56 c nbDecision=3000 #constraints=1579 29.08/29.13 c restart after 3201 decisions 29.48/29.56 c nbDecision=3500 #constraints=1589 30.18/30.26 c nbDecision=4000 #constraints=1596 30.69/30.73 c nbDecision=4500 #constraints=1600 31.18/31.25 c nbDecision=5000 #constraints=1605 31.58/31.65 c nbDecision=5500 #constraints=1608 31.98/32.06 c nbDecision=6000 #constraints=1611 32.38/32.42 c restart after 6401 decisions 33.28/33.39 c nbDecision=6500 #constraints=1618 33.78/33.81 c nbDecision=7000 #constraints=1621 34.18/34.28 c nbDecision=7500 #constraints=1624 34.58/34.64 c nbDecision=8000 #constraints=1626 34.98/35.09 c nbDecision=8500 #constraints=1629 35.48/35.51 c nbDecision=9000 #constraints=1632 35.78/35.85 c nbDecision=9500 #constraints=1634 36.18/36.25 c nbDecision=10000 #constraints=1637 36.48/36.58 c nbDecision=10500 #constraints=1639 36.88/36.95 c nbDecision=11000 #constraints=1641 37.28/37.32 c nbDecision=11500 #constraints=1644 37.58/37.65 c nbDecision=12000 #constraints=1646 37.98/38.01 c nbDecision=12500 #constraints=1648 38.18/38.25 c restart after 12801 decisions 38.28/38.37 c nbDecision=13000 #constraints=1650 38.68/38.71 c nbDecision=13500 #constraints=1652 38.98/39.08 c nbDecision=14000 #constraints=1655 39.28/39.37 c nbDecision=14500 #constraints=1657 39.58/39.64 c nbDecision=15000 #constraints=1659 39.88/39.91 c nbDecision=15500 #constraints=1661 40.08/40.17 c nbDecision=16000 #constraints=1663 40.38/40.42 c nbDecision=16500 #constraints=1664 40.58/40.68 c nbDecision=17000 #constraints=1666 40.88/40.95 c nbDecision=17500 #constraints=1668 41.17/41.21 c nbDecision=18000 #constraints=1670 41.37/41.48 c nbDecision=18500 #constraints=1672 41.68/41.73 c nbDecision=19000 #constraints=1674 41.97/42.00 c nbDecision=19500 #constraints=1676 42.17/42.26 c nbDecision=20000 #constraints=1678 59.28/59.35 c nbDecision=20500 #constraints=1762 60.68/60.77 c nbDecision=21000 #constraints=1778 62.17/62.25 c nbDecision=21500 #constraints=1793 63.07/63.11 c nbDecision=22000 #constraints=1801 63.68/63.70 c nbDecision=22500 #constraints=1806 64.07/64.17 c nbDecision=23000 #constraints=1810 64.57/64.66 c nbDecision=23500 #constraints=1814 64.97/65.05 c nbDecision=24000 #constraints=1817 65.37/65.44 c nbDecision=24500 #constraints=1820 65.77/65.83 c nbDecision=25000 #constraints=1823 66.27/66.31 c nbDecision=25500 #constraints=1826 66.37/66.44 c restart after 25601 decisions 66.77/66.81 c nbDecision=26000 #constraints=1829 67.08/67.18 c nbDecision=26500 #constraints=1831 67.57/67.63 c nbDecision=27000 #constraints=1834 67.87/67.99 c nbDecision=27500 #constraints=1836 68.37/68.40 c nbDecision=28000 #constraints=1839 68.67/68.76 c nbDecision=28500 #constraints=1841 69.07/69.17 c nbDecision=29000 #constraints=1844 69.47/69.52 c nbDecision=29500 #constraints=1846 69.77/69.88 c nbDecision=30000 #constraints=1848 70.17/70.29 c nbDecision=30500 #constraints=1851 70.57/70.64 c nbDecision=31000 #constraints=1853 70.97/71.00 c nbDecision=31500 #constraints=1855 71.28/71.36 c nbDecision=32000 #constraints=1857 71.58/71.69 c nbDecision=32500 #constraints=1859 71.88/71.97 c nbDecision=33000 #constraints=1861 72.18/72.24 c nbDecision=33500 #constraints=1863 72.48/72.52 c nbDecision=34000 #constraints=1865 72.77/72.80 c nbDecision=34500 #constraints=1867 72.97/73.07 c nbDecision=35000 #constraints=1869 73.27/73.33 c nbDecision=35500 #constraints=1871 73.47/73.59 c nbDecision=36000 #constraints=1873 73.77/73.86 c nbDecision=36500 #constraints=1875 74.07/74.14 c nbDecision=37000 #constraints=1877 74.27/74.39 c nbDecision=37500 #constraints=1878 74.57/74.66 c nbDecision=38000 #constraints=1880 74.87/74.91 c nbDecision=38500 #constraints=1882 75.07/75.18 c nbDecision=39000 #constraints=1884 75.37/75.45 c nbDecision=39500 #constraints=1886 75.67/75.70 c nbDecision=40000 #constraints=1887 75.88/75.95 c nbDecision=40500 #constraints=1889 76.98/77.09 c nbDecision=41000 #constraints=1895 79.37/79.48 c nbDecision=41500 #constraints=1911 81.77/81.81 c nbDecision=42000 #constraints=1927 83.67/83.75 c nbDecision=42500 #constraints=1943 85.57/85.62 c nbDecision=43000 #constraints=1958 87.57/87.61 c nbDecision=43500 #constraints=1974 88.27/88.35 c nbDecision=44000 #constraints=1981 88.57/88.67 c nbDecision=44500 #constraints=1985 88.87/88.97 c nbDecision=45000 #constraints=1988 89.17/89.28 c nbDecision=45500 #constraints=1991 89.46/89.55 c nbDecision=46000 #constraints=1993 89.76/89.85 c nbDecision=46500 #constraints=1995 90.07/90.12 c nbDecision=47000 #constraints=1997 90.36/90.41 c nbDecision=47500 #constraints=2000 90.57/90.67 c nbDecision=48000 #constraints=2002 90.87/90.95 c nbDecision=48500 #constraints=2004 91.17/91.21 c nbDecision=49000 #constraints=2006 91.37/91.48 c nbDecision=49500 #constraints=2008 91.67/91.75 c nbDecision=50000 #constraints=2010 91.97/92.01 c nbDecision=50500 #constraints=2012 92.17/92.29 c nbDecision=51000 #constraints=2014 92.27/92.39 c restart after 51201 decisions 92.57/92.60 c nbDecision=51500 #constraints=2015 93.47/93.59 c nbDecision=52000 #constraints=2024 94.37/94.45 c nbDecision=52500 #constraints=2033 94.97/95.04 c nbDecision=53000 #constraints=2039 95.47/95.50 c nbDecision=53500 #constraints=2043 95.87/95.94 c nbDecision=54000 #constraints=2047 96.27/96.33 c nbDecision=54500 #constraints=2050 96.67/96.71 c nbDecision=55000 #constraints=2053 97.07/97.13 c nbDecision=55500 #constraints=2057 97.37/97.48 c nbDecision=56000 #constraints=2059 97.87/97.93 c nbDecision=56500 #constraints=2062 98.27/98.36 c nbDecision=57000 #constraints=2065 98.67/98.73 c nbDecision=57500 #constraints=2067 99.07/99.10 c nbDecision=58000 #constraints=2070 99.37/99.46 c nbDecision=58500 #constraints=2072 99.77/99.86 c nbDecision=59000 #constraints=2075 100.16/100.27 c nbDecision=59500 #constraints=2077 100.56/100.64 c nbDecision=60000 #constraints=2080 100.86/100.96 c nbDecision=60500 #constraints=2082 101.26/101.30 c nbDecision=61000 #constraints=2084 101.56/101.68 c nbDecision=61500 #constraints=2087 101.96/102.01 c nbDecision=62000 #constraints=2089 102.27/102.35 c nbDecision=62500 #constraints=2091 102.56/102.64 c nbDecision=63000 #constraints=2093 102.86/102.91 c nbDecision=63500 #constraints=2095 103.06/103.18 c nbDecision=64000 #constraints=2097 103.37/103.45 c nbDecision=64500 #constraints=2099 103.66/103.71 c nbDecision=65000 #constraints=2101 103.86/103.97 c nbDecision=65500 #constraints=2103 104.16/104.22 c nbDecision=66000 #constraints=2105 104.37/104.48 c nbDecision=66500 #constraints=2107 119.36/119.44 c nbDecision=67000 #constraints=2153 123.76/123.87 c nbDecision=67500 #constraints=2170 127.26/127.34 c nbDecision=68000 #constraints=2187 146.35/146.48 c nbDecision=68500 #constraints=2247 150.55/150.62 c nbDecision=69000 #constraints=2263 153.86/153.93 c nbDecision=69500 #constraints=2279 172.94/173.08 c nbDecision=70000 #constraints=2338 177.14/177.26 c nbDecision=70500 #constraints=2355 180.35/180.44 c nbDecision=71000 #constraints=2371 208.24/208.36 c nbDecision=71500 #constraints=2427 216.03/216.18 c nbDecision=72000 #constraints=2444 222.43/222.51 c nbDecision=72500 #constraints=2461 224.74/224.86 c nbDecision=73000 #constraints=2469 225.93/226.02 c nbDecision=73500 #constraints=2473 227.03/227.14 c nbDecision=74000 #constraints=2477 227.83/227.94 c nbDecision=74500 #constraints=2480 228.63/228.71 c nbDecision=75000 #constraints=2483 229.63/229.73 c nbDecision=75500 #constraints=2487 230.43/230.53 c nbDecision=76000 #constraints=2490 230.93/231.10 c nbDecision=76500 #constraints=2492 231.83/231.92 c nbDecision=77000 #constraints=2495 232.43/232.54 c nbDecision=77500 #constraints=2498 232.82/232.95 c nbDecision=78000 #constraints=2500 233.32/233.47 c nbDecision=78500 #constraints=2503 233.72/233.85 c nbDecision=79000 #constraints=2505 234.23/234.34 c nbDecision=79500 #constraints=2508 258.02/258.18 c nbDecision=80000 #constraints=2552 266.52/266.68 c nbDecision=80500 #constraints=2569 272.73/272.87 c nbDecision=81000 #constraints=2585 276.72/276.85 c nbDecision=81500 #constraints=2598 278.01/278.11 c nbDecision=82000 #constraints=2603 279.22/279.34 c nbDecision=82500 #constraints=2607 280.32/280.47 c nbDecision=83000 #constraints=2611 281.11/281.24 c nbDecision=83500 #constraints=2614 281.92/282.04 c nbDecision=84000 #constraints=2617 282.72/282.80 c nbDecision=84500 #constraints=2620 283.42/283.59 c nbDecision=85000 #constraints=2623 284.32/284.41 c nbDecision=85500 #constraints=2626 284.72/284.89 c nbDecision=86000 #constraints=2628 285.41/285.52 c nbDecision=86500 #constraints=2631 285.82/285.96 c nbDecision=87000 #constraints=2633 286.31/286.48 c nbDecision=87500 #constraints=2636 286.71/286.90 c nbDecision=88000 #constraints=2638 287.21/287.38 c nbDecision=88500 #constraints=2641 305.91/306.08 c nbDecision=89000 #constraints=2693 310.21/310.30 c nbDecision=89500 #constraints=2710 312.71/312.87 c nbDecision=90000 #constraints=2726 341.40/341.50 c nbDecision=90500 #constraints=2782 348.00/348.14 c nbDecision=91000 #constraints=2798 353.40/353.58 c nbDecision=91500 #constraints=2814 354.80/354.98 c nbDecision=92000 #constraints=2820 355.90/356.06 c nbDecision=92500 #constraints=2824 357.00/357.10 c nbDecision=93000 #constraints=2828 357.70/357.89 c nbDecision=93500 #constraints=2831 358.50/358.67 c nbDecision=94000 #constraints=2834 359.30/359.42 c nbDecision=94500 #constraints=2837 360.09/360.23 c nbDecision=95000 #constraints=2840 360.89/361.04 c nbDecision=95500 #constraints=2843 361.70/361.82 c nbDecision=96000 #constraints=2846 362.09/362.24 c nbDecision=96500 #constraints=2848 362.69/362.88 c nbDecision=97000 #constraints=2851 363.09/363.29 c nbDecision=97500 #constraints=2853 363.69/363.84 c nbDecision=98000 #constraints=2856 364.09/364.22 c nbDecision=98500 #constraints=2858 388.69/388.89 c nbDecision=99000 #constraints=2902 396.79/396.98 c nbDecision=99500 #constraints=2919 402.89/403.04 c nbDecision=100000 #constraints=2935 406.28/406.40 c nbDecision=100500 #constraints=2946 407.89/408.05 c nbDecision=101000 #constraints=2952 408.68/408.90 c nbDecision=101500 #constraints=2955 409.88/410.01 c nbDecision=102000 #constraints=2959 410.48/410.61 c restart after 102401 decisions 429.18/429.31 c nbDecision=102500 #constraints=3005 433.88/434.08 c nbDecision=103000 #constraints=3021 438.17/438.34 c nbDecision=103500 #constraints=3038 439.77/439.91 c nbDecision=104000 #constraints=3049 439.87/440.08 c nbDecision=104500 #constraints=3051 440.07/440.24 c nbDecision=105000 #constraints=3053 440.47/440.63 c nbDecision=105500 #constraints=3058 440.77/440.90 c nbDecision=106000 #constraints=3060 440.87/441.09 c nbDecision=106500 #constraints=3061 449.37/449.56 c nbDecision=107000 #constraints=3078 464.87/465.06 c nbDecision=107500 #constraints=3123 469.27/469.44 c nbDecision=108000 #constraints=3139 471.27/471.46 c nbDecision=108500 #constraints=3152 471.47/471.62 c nbDecision=109000 #constraints=3153 471.68/471.82 c nbDecision=109500 #constraints=3156 472.07/472.21 c nbDecision=110000 #constraints=3161 472.27/472.47 c nbDecision=110500 #constraints=3163 472.47/472.65 c nbDecision=111000 #constraints=3164 503.35/503.58 c nbDecision=111500 #constraints=3218 510.65/510.81 c nbDecision=112000 #constraints=3235 516.66/516.90 c nbDecision=112500 #constraints=3251 517.45/517.61 c nbDecision=113000 #constraints=3253 517.96/518.14 c nbDecision=113500 #constraints=3255 518.55/518.71 c nbDecision=114000 #constraints=3257 519.25/519.41 c nbDecision=114500 #constraints=3259 520.25/520.42 c nbDecision=115000 #constraints=3262 520.85/521.01 c nbDecision=115500 #constraints=3264 521.55/521.73 c nbDecision=116000 #constraints=3266 522.15/522.36 c nbDecision=116500 #constraints=3268 522.76/522.91 c nbDecision=117000 #constraints=3270 523.56/523.72 c nbDecision=117500 #constraints=3273 524.16/524.34 c nbDecision=118000 #constraints=3275 524.76/524.91 c nbDecision=118500 #constraints=3277 525.26/525.41 c nbDecision=119000 #constraints=3279 525.76/525.91 c nbDecision=119500 #constraints=3281 526.35/526.57 c nbDecision=120000 #constraints=3284 526.76/526.97 c nbDecision=120500 #constraints=3286 527.15/527.31 c nbDecision=121000 #constraints=3288 527.45/527.64 c nbDecision=121500 #constraints=3290 527.76/527.95 c nbDecision=122000 #constraints=3292 528.25/528.40 c nbDecision=122500 #constraints=3295 528.55/528.72 c nbDecision=123000 #constraints=3297 528.75/529.00 c nbDecision=123500 #constraints=3299 529.75/529.98 c nbDecision=124000 #constraints=3302 530.05/530.21 c nbDecision=124500 #constraints=3304 530.85/531.00 c nbDecision=125000 #constraints=3306 531.45/531.64 c nbDecision=125500 #constraints=3309 531.84/532.07 c nbDecision=126000 #constraints=3311 532.55/532.70 c nbDecision=126500 #constraints=3313 532.95/533.11 c nbDecision=127000 #constraints=3315 533.26/533.44 c nbDecision=127500 #constraints=3317 534.05/534.26 c nbDecision=128000 #constraints=3320 534.25/534.43 c nbDecision=128500 #constraints=3322 534.55/534.79 c nbDecision=129000 #constraints=3324 534.75/534.94 c nbDecision=129500 #constraints=3326 535.05/535.22 c nbDecision=130000 #constraints=3328 535.75/535.96 c nbDecision=130500 #constraints=3331 536.25/536.41 c nbDecision=131000 #constraints=3334 536.65/536.80 c nbDecision=131500 #constraints=3336 537.05/537.24 c nbDecision=132000 #constraints=3338 537.65/537.83 c nbDecision=132500 #constraints=3340 538.04/538.25 c nbDecision=133000 #constraints=3342 538.54/538.71 c nbDecision=133500 #constraints=3345 538.64/538.86 c nbDecision=134000 #constraints=3347 539.35/539.51 c nbDecision=134500 #constraints=3349 539.85/540.07 c nbDecision=135000 #constraints=3351 540.05/540.20 c nbDecision=135500 #constraints=3353 540.55/540.71 c nbDecision=136000 #constraints=3355 540.65/540.87 c nbDecision=136500 #constraints=3358 540.84/541.00 c nbDecision=137000 #constraints=3360 541.05/541.28 c nbDecision=137500 #constraints=3362 541.34/541.51 c nbDecision=138000 #constraints=3364 542.05/542.24 c nbDecision=138500 #constraints=3367 542.54/542.71 c nbDecision=139000 #constraints=3369 542.94/543.18 c nbDecision=139500 #constraints=3371 543.15/543.34 c nbDecision=140000 #constraints=3373 543.54/543.73 c nbDecision=140500 #constraints=3375 544.14/544.32 c nbDecision=141000 #constraints=3377 544.84/545.05 c nbDecision=141500 #constraints=3380 545.24/545.40 c nbDecision=142000 #constraints=3382 545.64/545.82 c nbDecision=142500 #constraints=3384 546.05/546.20 c nbDecision=143000 #constraints=3386 546.35/546.56 c nbDecision=143500 #constraints=3388 547.05/547.22 c nbDecision=144000 #constraints=3392 547.44/547.61 c nbDecision=144500 #constraints=3394 547.65/547.81 c nbDecision=145000 #constraints=3396 548.14/548.32 c nbDecision=145500 #constraints=3398 548.54/548.70 c nbDecision=146000 #constraints=3400 548.94/549.10 c nbDecision=146500 #constraints=3402 549.34/549.51 c nbDecision=147000 #constraints=3405 549.75/549.96 c nbDecision=147500 #constraints=3407 550.14/550.37 c nbDecision=148000 #constraints=3409 550.84/551.01 c nbDecision=148500 #constraints=3411 551.14/551.34 c nbDecision=149000 #constraints=3413 551.74/552.00 c nbDecision=149500 #constraints=3417 551.94/552.19 c nbDecision=150000 #constraints=3419 552.44/552.69 c nbDecision=150500 #constraints=3421 552.64/552.85 c nbDecision=151000 #constraints=3423 553.24/553.49 c nbDecision=151500 #constraints=3425 553.64/553.84 c nbDecision=152000 #constraints=3427 554.04/554.27 c nbDecision=152500 #constraints=3430 554.44/554.66 c nbDecision=153000 #constraints=3432 554.84/555.03 c nbDecision=153500 #constraints=3434 555.14/555.37 c nbDecision=154000 #constraints=3436 555.34/555.52 c nbDecision=154500 #constraints=3438 555.44/555.67 c nbDecision=155000 #constraints=3440 555.64/555.86 c nbDecision=155500 #constraints=3443 556.24/556.48 c nbDecision=156000 #constraints=3446 556.74/556.91 c nbDecision=156500 #constraints=3448 557.23/557.45 c nbDecision=157000 #constraints=3450 557.44/557.66 c nbDecision=157500 #constraints=3452 557.93/558.10 c nbDecision=158000 #constraints=3454 558.84/559.08 c nbDecision=158500 #constraints=3457 559.34/559.54 c nbDecision=159000 #constraints=3459 559.74/559.96 c nbDecision=159500 #constraints=3461 559.94/560.12 c nbDecision=160000 #constraints=3463 560.54/560.75 c nbDecision=160500 #constraints=3465 561.04/561.24 c nbDecision=161000 #constraints=3467 561.34/561.57 c nbDecision=161500 #constraints=3469 561.74/561.96 c nbDecision=162000 #constraints=3472 562.13/562.33 c nbDecision=162500 #constraints=3474 562.33/562.58 c nbDecision=163000 #constraints=3476 563.04/563.29 c nbDecision=163500 #constraints=3479 563.73/563.95 c nbDecision=164000 #constraints=3482 564.53/564.71 c nbDecision=164500 #constraints=3485 565.14/565.38 c nbDecision=165000 #constraints=3488 566.43/566.65 c nbDecision=165500 #constraints=3493 567.13/567.32 c nbDecision=166000 #constraints=3496 567.83/568.03 c nbDecision=166500 #constraints=3499 568.03/568.20 c nbDecision=167000 #constraints=3501 571.33/571.52 c nbDecision=167500 #constraints=3510 573.43/573.66 c nbDecision=168000 #constraints=3516 580.53/580.75 c nbDecision=168500 #constraints=3532 580.73/580.93 c nbDecision=169000 #constraints=3533 583.62/583.86 c nbDecision=169500 #constraints=3540 613.82/614.06 c nbDecision=170000 #constraints=3593 623.32/623.53 c nbDecision=170500 #constraints=3610 630.32/630.52 c nbDecision=171000 #constraints=3626 634.51/634.73 c nbDecision=171500 #constraints=3637 635.11/635.30 c nbDecision=172000 #constraints=3639 635.81/636.00 c nbDecision=172500 #constraints=3641 636.41/636.60 c nbDecision=173000 #constraints=3643 637.11/637.33 c nbDecision=173500 #constraints=3645 637.71/637.98 c nbDecision=174000 #constraints=3647 638.61/638.86 c nbDecision=174500 #constraints=3650 639.21/639.48 c nbDecision=175000 #constraints=3652 639.81/640.07 c nbDecision=175500 #constraints=3654 640.41/640.65 c nbDecision=176000 #constraints=3656 641.02/641.21 c nbDecision=176500 #constraints=3658 641.72/641.99 c nbDecision=177000 #constraints=3661 642.32/642.59 c nbDecision=177500 #constraints=3663 642.82/643.05 c nbDecision=178000 #constraints=3665 643.32/643.56 c nbDecision=178500 #constraints=3667 643.81/644.08 c nbDecision=179000 #constraints=3669 644.42/644.63 c nbDecision=179500 #constraints=3672 644.71/644.98 c nbDecision=180000 #constraints=3674 645.11/645.31 c nbDecision=180500 #constraints=3676 645.41/645.63 c nbDecision=181000 #constraints=3678 645.71/645.98 c nbDecision=181500 #constraints=3680 646.01/646.29 c nbDecision=182000 #constraints=3682 647.01/647.22 c nbDecision=182500 #constraints=3686 647.11/647.39 c nbDecision=183000 #constraints=3688 647.51/647.76 c nbDecision=183500 #constraints=3690 648.21/648.43 c nbDecision=184000 #constraints=3692 648.61/648.85 c nbDecision=184500 #constraints=3694 649.10/649.32 c nbDecision=185000 #constraints=3697 649.50/649.71 c nbDecision=185500 #constraints=3699 649.81/650.10 c nbDecision=186000 #constraints=3701 650.20/650.47 c nbDecision=186500 #constraints=3703 650.80/651.04 c nbDecision=187000 #constraints=3705 651.30/651.59 c nbDecision=187500 #constraints=3707 651.71/651.94 c nbDecision=188000 #constraints=3710 652.11/652.31 c nbDecision=188500 #constraints=3712 652.41/652.61 c nbDecision=189000 #constraints=3714 652.51/652.76 c nbDecision=189500 #constraints=3716 653.30/653.56 c nbDecision=190000 #constraints=3719 653.60/653.80 c nbDecision=190500 #constraints=3722 654.00/654.23 c nbDecision=191000 #constraints=3724 654.71/654.90 c nbDecision=191500 #constraints=3726 654.81/655.04 c nbDecision=192000 #constraints=3728 655.21/655.45 c nbDecision=192500 #constraints=3730 655.61/655.85 c nbDecision=193000 #constraints=3732 656.01/656.25 c nbDecision=193500 #constraints=3735 656.41/656.62 c nbDecision=194000 #constraints=3737 656.71/656.97 c nbDecision=194500 #constraints=3739 657.11/657.32 c nbDecision=195000 #constraints=3741 657.21/657.48 c nbDecision=195500 #constraints=3743 657.61/657.89 c nbDecision=196000 #constraints=3745 657.81/658.06 c nbDecision=196500 #constraints=3748 658.71/658.99 c nbDecision=197000 #constraints=3751 659.20/659.41 c nbDecision=197500 #constraints=3753 659.90/660.14 c nbDecision=198000 #constraints=3755 660.40/660.65 c nbDecision=198500 #constraints=3757 660.91/661.13 c nbDecision=199000 #constraints=3759 661.60/661.88 c nbDecision=199500 #constraints=3762 662.30/662.53 c nbDecision=200000 #constraints=3764 662.70/662.93 c nbDecision=200500 #constraints=3766 663.30/663.59 c nbDecision=201000 #constraints=3768 663.90/664.17 c nbDecision=201500 #constraints=3770 664.50/664.79 c nbDecision=202000 #constraints=3772 664.90/665.13 c nbDecision=202500 #constraints=3774 665.10/665.33 c nbDecision=203000 #constraints=3777 665.20/665.48 c nbDecision=203500 #constraints=3779 665.60/665.89 c nbDecision=204000 #constraints=3781 665.90/666.14 c nbDecision=204500 #constraints=3783 666.10/666.32 c restart after 204801 decisions 689.40/689.66 c nbDecision=205000 #constraints=3831 694.09/694.37 c nbDecision=205500 #constraints=3848 697.39/697.66 c nbDecision=206000 #constraints=3864 717.69/717.93 c nbDecision=206500 #constraints=3924 721.89/722.18 c nbDecision=207000 #constraints=3940 724.78/725.04 c nbDecision=207500 #constraints=3957 754.77/755.07 c nbDecision=208000 #constraints=4015 761.37/761.65 c nbDecision=208500 #constraints=4031 767.38/767.62 c nbDecision=209000 #constraints=4047 769.17/769.40 c nbDecision=209500 #constraints=4053 770.47/770.71 c nbDecision=210000 #constraints=4057 771.57/771.87 c nbDecision=210500 #constraints=4061 772.77/773.06 c nbDecision=211000 #constraints=4065 773.67/773.97 c nbDecision=211500 #constraints=4068 774.57/774.89 c nbDecision=212000 #constraints=4071 775.47/775.79 c nbDecision=212500 #constraints=4074 776.47/776.74 c nbDecision=213000 #constraints=4077 777.06/777.39 c nbDecision=213500 #constraints=4079 777.86/778.11 c nbDecision=214000 #constraints=4082 778.27/778.59 c nbDecision=214500 #constraints=4084 778.87/779.15 c nbDecision=215000 #constraints=4087 779.37/779.60 c nbDecision=215500 #constraints=4089 779.87/780.10 c nbDecision=216000 #constraints=4092 798.87/799.12 c nbDecision=216500 #constraints=4140 803.56/803.87 c nbDecision=217000 #constraints=4156 807.47/807.74 c nbDecision=217500 #constraints=4173 827.75/828.07 c nbDecision=218000 #constraints=4232 832.06/832.37 c nbDecision=218500 #constraints=4248 835.15/835.49 c nbDecision=219000 #constraints=4265 864.44/864.72 c nbDecision=219500 #constraints=4321 871.65/871.91 c nbDecision=220000 #constraints=4338 877.45/877.74 c nbDecision=220500 #constraints=4354 879.54/879.80 c nbDecision=221000 #constraints=4361 880.64/880.97 c nbDecision=221500 #constraints=4365 881.54/881.81 c nbDecision=222000 #constraints=4368 882.55/882.86 c nbDecision=222500 #constraints=4372 883.34/883.67 c nbDecision=223000 #constraints=4375 884.15/884.48 c nbDecision=223500 #constraints=4378 885.04/885.40 c nbDecision=224000 #constraints=4381 886.04/886.32 c nbDecision=224500 #constraints=4384 886.64/886.96 c nbDecision=225000 #constraints=4386 887.34/887.63 c nbDecision=225500 #constraints=4389 887.94/888.23 c nbDecision=226000 #constraints=4392 888.34/888.68 c nbDecision=226500 #constraints=4394 888.94/889.23 c nbDecision=227000 #constraints=4397 889.34/889.62 c nbDecision=227500 #constraints=4399 916.23/916.58 c nbDecision=228000 #constraints=4443 926.23/926.58 c nbDecision=228500 #constraints=4460 933.03/933.35 c nbDecision=229000 #constraints=4476 937.23/937.53 c nbDecision=229500 #constraints=4488 939.03/939.31 c nbDecision=230000 #constraints=4493 940.23/940.51 c nbDecision=230500 #constraints=4497 941.13/941.47 c nbDecision=231000 #constraints=4500 942.43/942.75 c nbDecision=231500 #constraints=4504 943.43/943.71 c nbDecision=232000 #constraints=4507 944.33/944.69 c nbDecision=232500 #constraints=4510 945.03/945.35 c nbDecision=233000 #constraints=4512 946.02/946.30 c nbDecision=233500 #constraints=4515 946.83/947.10 c nbDecision=234000 #constraints=4518 947.22/947.59 c nbDecision=234500 #constraints=4520 947.93/948.22 c nbDecision=235000 #constraints=4523 948.32/948.68 c nbDecision=235500 #constraints=4525 948.93/949.26 c nbDecision=236000 #constraints=4528 973.82/974.10 c nbDecision=236500 #constraints=4569 982.52/982.81 c nbDecision=237000 #constraints=4585 989.62/989.97 c nbDecision=237500 #constraints=4602 994.42/994.73 c nbDecision=238000 #constraints=4615 996.61/996.92 c nbDecision=238500 #constraints=4621 997.91/998.23 c nbDecision=239000 #constraints=4625 998.91/999.23 c nbDecision=239500 #constraints=4628 999.81/1000.14 c nbDecision=240000 #constraints=4631 1000.91/1001.29 c nbDecision=240500 #constraints=4635 1001.71/1002.06 c nbDecision=241000 #constraints=4637 1002.61/1002.98 c nbDecision=241500 #constraints=4640 1003.61/1003.91 c nbDecision=242000 #constraints=4643 1004.21/1004.51 c nbDecision=242500 #constraints=4645 1004.81/1005.15 c nbDecision=243000 #constraints=4648 1005.31/1005.63 c nbDecision=243500 #constraints=4650 1005.91/1006.23 c nbDecision=244000 #constraints=4653 1006.31/1006.69 c nbDecision=244500 #constraints=4655 1028.91/1029.20 c nbDecision=245000 #constraints=4692 1040.00/1040.37 c nbDecision=245500 #constraints=4712 1046.70/1047.06 c nbDecision=246000 #constraints=4728 1052.00/1052.32 c nbDecision=246500 #constraints=4742 1053.99/1054.35 c nbDecision=247000 #constraints=4748 1055.30/1055.67 c nbDecision=247500 #constraints=4752 1056.50/1056.86 c nbDecision=248000 #constraints=4756 1057.40/1057.73 c nbDecision=248500 #constraints=4759 1058.20/1058.54 c nbDecision=249000 #constraints=4762 1059.09/1059.44 c nbDecision=249500 #constraints=4765 1060.00/1060.34 c nbDecision=250000 #constraints=4768 1060.59/1061.00 c nbDecision=250500 #constraints=4770 1061.39/1061.74 c nbDecision=251000 #constraints=4773 1062.00/1062.39 c nbDecision=251500 #constraints=4776 1062.50/1062.85 c nbDecision=252000 #constraints=4778 1063.10/1063.44 c nbDecision=252500 #constraints=4781 1063.50/1063.87 c nbDecision=253000 #constraints=4783 1064.00/1064.32 c nbDecision=253500 #constraints=4785 1095.69/1096.06 c nbDecision=254000 #constraints=4836 1102.78/1103.17 c nbDecision=254500 #constraints=4852 1108.58/1108.96 c nbDecision=255000 #constraints=4867 1111.08/1111.43 c nbDecision=255500 #constraints=4874 1112.89/1113.23 c nbDecision=256000 #constraints=4879 1113.89/1114.27 c nbDecision=256500 #constraints=4882 1114.88/1115.23 c nbDecision=257000 #constraints=4885 1115.98/1116.39 c nbDecision=257500 #constraints=4889 1116.68/1117.03 c nbDecision=258000 #constraints=4891 1117.48/1117.86 c nbDecision=258500 #constraints=4894 1118.48/1118.80 c nbDecision=259000 #constraints=4897 1119.28/1119.64 c nbDecision=259500 #constraints=4900 1119.78/1120.12 c nbDecision=260000 #constraints=4902 1120.38/1120.78 c nbDecision=260500 #constraints=4905 1120.88/1121.22 c nbDecision=261000 #constraints=4907 1121.38/1121.78 c nbDecision=261500 #constraints=4910 1121.78/1122.19 c nbDecision=262000 #constraints=4912 1150.57/1150.92 c nbDecision=262500 #constraints=4961 1157.46/1157.83 c nbDecision=263000 #constraints=4977 1163.97/1164.33 c nbDecision=263500 #constraints=4994 1165.96/1166.31 c nbDecision=264000 #constraints=5000 1167.26/1167.61 c nbDecision=264500 #constraints=5004 1168.57/1168.93 c nbDecision=265000 #constraints=5008 1169.47/1169.87 c nbDecision=265500 #constraints=5011 1170.37/1170.70 c nbDecision=266000 #constraints=5014 1171.17/1171.53 c nbDecision=266500 #constraints=5017 1171.96/1172.35 c nbDecision=267000 #constraints=5020 1172.87/1173.23 c nbDecision=267500 #constraints=5023 1173.46/1173.88 c nbDecision=268000 #constraints=5025 1174.26/1174.64 c nbDecision=268500 #constraints=5028 1174.86/1175.26 c nbDecision=269000 #constraints=5031 1175.36/1175.74 c nbDecision=269500 #constraints=5033 1175.96/1176.33 c nbDecision=270000 #constraints=5036 1176.36/1176.76 c nbDecision=270500 #constraints=5038 1201.96/1202.31 c nbDecision=271000 #constraints=5080 1210.86/1211.24 c nbDecision=271500 #constraints=5097 1217.65/1218.08 c nbDecision=272000 #constraints=5113 1221.96/1222.31 c nbDecision=272500 #constraints=5125 1223.55/1223.92 c nbDecision=273000 #constraints=5129 1224.85/1225.24 c nbDecision=273500 #constraints=5133 1225.85/1226.23 c nbDecision=274000 #constraints=5136 1227.05/1227.45 c nbDecision=274500 #constraints=5140 1227.95/1228.36 c nbDecision=275000 #constraints=5143 1228.95/1229.32 c nbDecision=275500 #constraints=5146 1229.75/1230.12 c nbDecision=276000 #constraints=5148 1230.65/1231.05 c nbDecision=276500 #constraints=5151 1231.45/1231.86 c nbDecision=277000 #constraints=5154 1232.05/1232.41 c nbDecision=277500 #constraints=5156 1232.66/1233.07 c nbDecision=278000 #constraints=5159 1233.25/1233.68 c nbDecision=278500 #constraints=5162 1233.75/1234.11 c nbDecision=279000 #constraints=5164 1234.15/1234.58 c nbDecision=279500 #constraints=5166 1264.74/1265.17 c nbDecision=280000 #constraints=5215 1271.84/1272.20 c nbDecision=280500 #constraints=5231 1277.74/1278.11 c nbDecision=281000 #constraints=5246 1280.24/1280.68 c nbDecision=281500 #constraints=5253 1282.04/1282.42 c nbDecision=282000 #constraints=5258 1283.04/1283.41 c nbDecision=282500 #constraints=5261 1284.04/1284.49 c nbDecision=283000 #constraints=5264 1285.24/1285.68 c nbDecision=283500 #constraints=5268 1286.04/1286.47 c nbDecision=284000 #constraints=5270 1286.93/1287.39 c nbDecision=284500 #constraints=5273 1287.83/1288.28 c nbDecision=285000 #constraints=5276 1288.74/1289.20 c nbDecision=285500 #constraints=5279 1289.33/1289.71 c nbDecision=286000 #constraints=5281 1289.94/1290.37 c nbDecision=286500 #constraints=5284 1290.43/1290.84 c nbDecision=287000 #constraints=5286 1291.03/1291.44 c nbDecision=287500 #constraints=5289 1291.43/1291.87 c nbDecision=288000 #constraints=5291 1320.52/1320.92 c nbDecision=288500 #constraints=5338 1327.82/1328.27 c nbDecision=289000 #constraints=5354 1334.32/1334.72 c nbDecision=289500 #constraints=5370 1337.23/1337.69 c nbDecision=290000 #constraints=5378 1338.72/1339.16 c nbDecision=290500 #constraints=5382 1340.12/1340.52 c nbDecision=291000 #constraints=5386 1341.02/1341.46 c nbDecision=291500 #constraints=5389 1342.02/1342.45 c nbDecision=292000 #constraints=5392 1342.92/1343.40 c nbDecision=292500 #constraints=5395 1343.92/1344.31 c nbDecision=293000 #constraints=5398 1344.83/1345.29 c nbDecision=293500 #constraints=5401 1345.52/1345.96 c nbDecision=294000 #constraints=5403 1346.22/1346.64 c nbDecision=294500 #constraints=5406 1346.72/1347.16 c nbDecision=295000 #constraints=5408 1347.32/1347.77 c nbDecision=295500 #constraints=5411 1347.82/1348.25 c nbDecision=296000 #constraints=5413 1348.42/1348.81 c nbDecision=296500 #constraints=5416 1377.61/1378.02 c nbDecision=297000 #constraints=5460 1385.21/1385.63 c nbDecision=297500 #constraints=5476 1392.01/1392.43 c nbDecision=298000 #constraints=5493 1395.21/1395.66 c nbDecision=298500 #constraints=5501 1396.90/1397.39 c nbDecision=299000 #constraints=5505 1398.10/1398.54 c nbDecision=299500 #constraints=5508 1399.40/1399.86 c nbDecision=300000 #constraints=5512 1400.30/1400.79 c nbDecision=300500 #constraints=5515 1401.40/1401.89 c nbDecision=301000 #constraints=5518 1402.41/1402.89 c nbDecision=301500 #constraints=5521 1403.21/1403.63 c nbDecision=302000 #constraints=5523 1404.11/1404.54 c nbDecision=302500 #constraints=5526 1404.91/1405.37 c nbDecision=303000 #constraints=5529 1405.41/1405.87 c nbDecision=303500 #constraints=5531 1406.11/1406.52 c nbDecision=304000 #constraints=5534 1406.61/1407.00 c nbDecision=304500 #constraints=5536 1407.11/1407.57 c nbDecision=305000 #constraints=5539 1435.10/1435.57 c nbDecision=305500 #constraints=5582 1443.39/1443.86 c nbDecision=306000 #constraints=5598 1450.49/1450.98 c nbDecision=306500 #constraints=5615 1454.09/1454.59 c nbDecision=307000 #constraints=5624 1455.90/1456.37 c nbDecision=307500 #constraints=5628 1457.09/1457.53 c nbDecision=308000 #constraints=5631 1458.39/1458.84 c nbDecision=308500 #constraints=5635 1459.29/1459.79 c nbDecision=309000 #constraints=5638 1460.29/1460.80 c nbDecision=309500 #constraints=5641 1461.40/1461.82 c nbDecision=310000 #constraints=5644 1462.09/1462.51 c nbDecision=310500 #constraints=5646 1462.99/1463.48 c nbDecision=311000 #constraints=5649 1463.70/1464.19 c nbDecision=311500 #constraints=5652 1464.29/1464.70 c nbDecision=312000 #constraints=5654 1464.89/1465.35 c nbDecision=312500 #constraints=5657 1465.39/1465.82 c nbDecision=313000 #constraints=5659 1465.79/1466.29 c nbDecision=313500 #constraints=5661 1488.48/1488.95 c nbDecision=314000 #constraints=5699 1497.38/1497.85 c nbDecision=314500 #constraints=5715 1503.67/1504.16 c nbDecision=315000 #constraints=5732 1506.77/1507.26 c nbDecision=315500 #constraints=5741 1508.57/1509.08 c nbDecision=316000 #constraints=5746 1509.97/1510.41 c nbDecision=316500 #constraints=5750 1511.27/1511.72 c nbDecision=317000 #constraints=5754 1512.18/1512.62 c nbDecision=317500 #constraints=5757 1512.98/1513.46 c nbDecision=318000 #constraints=5760 1513.88/1514.37 c nbDecision=318500 #constraints=5763 1514.78/1515.22 c nbDecision=319000 #constraints=5766 1515.28/1515.74 c nbDecision=319500 #constraints=5768 1515.97/1516.41 c nbDecision=320000 #constraints=5771 1516.38/1516.87 c nbDecision=320500 #constraints=5773 1516.97/1517.43 c nbDecision=321000 #constraints=5776 1517.37/1517.83 c nbDecision=321500 #constraints=5778 1517.87/1518.33 c nbDecision=322000 #constraints=5781 1542.16/1542.61 c nbDecision=322500 #constraints=5818 1550.77/1551.23 c nbDecision=323000 #constraints=5835 1557.46/1557.95 c nbDecision=323500 #constraints=5851 1561.06/1561.50 c nbDecision=324000 #constraints=5860 1562.86/1563.37 c nbDecision=324500 #constraints=5864 1564.86/1565.32 c nbDecision=325000 #constraints=5869 1565.96/1566.44 c nbDecision=325500 #constraints=5872 1566.97/1567.50 c nbDecision=326000 #constraints=5875 1568.07/1568.52 c nbDecision=326500 #constraints=5878 1569.06/1569.58 c nbDecision=327000 #constraints=5881 1570.06/1570.56 c nbDecision=327500 #constraints=5884 1570.96/1571.44 c nbDecision=328000 #constraints=5887 1571.56/1572.01 c nbDecision=328500 #constraints=5889 1572.16/1572.68 c nbDecision=329000 #constraints=5892 1572.66/1573.15 c nbDecision=329500 #constraints=5894 1573.26/1573.79 c nbDecision=330000 #constraints=5897 1573.76/1574.23 c nbDecision=330500 #constraints=5899 1598.55/1599.06 c nbDecision=331000 #constraints=5938 1607.55/1608.01 c nbDecision=331500 #constraints=5955 1614.15/1614.63 c nbDecision=332000 #constraints=5971 1617.24/1617.74 c nbDecision=332500 #constraints=5979 1618.85/1619.38 c nbDecision=333000 #constraints=5983 1620.45/1620.90 c nbDecision=333500 #constraints=5987 1621.55/1622.01 c nbDecision=334000 #constraints=5990 1622.75/1623.23 c nbDecision=334500 #constraints=5994 1623.45/1623.97 c nbDecision=335000 #constraints=5996 1624.45/1624.99 c nbDecision=335500 #constraints=5999 1625.44/1625.95 c nbDecision=336000 #constraints=6002 1626.35/1626.81 c nbDecision=336500 #constraints=6005 1626.84/1627.33 c nbDecision=337000 #constraints=6007 1627.44/1627.98 c nbDecision=337500 #constraints=6010 1627.94/1628.47 c nbDecision=338000 #constraints=6012 1628.54/1629.05 c nbDecision=338500 #constraints=6015 1628.94/1629.48 c nbDecision=339000 #constraints=6017 1654.44/1654.94 c nbDecision=339500 #constraints=6057 1662.53/1663.01 c nbDecision=340000 #constraints=6073 1669.03/1669.59 c nbDecision=340500 #constraints=6089 1672.23/1672.71 c nbDecision=341000 #constraints=6097 1673.74/1674.27 c nbDecision=341500 #constraints=6101 1675.23/1675.76 c nbDecision=342000 #constraints=6105 1676.33/1676.83 c nbDecision=342500 #constraints=6108 1677.43/1677.97 c nbDecision=343000 #constraints=6112 1678.43/1678.93 c nbDecision=343500 #constraints=6115 1679.03/1679.59 c nbDecision=344000 #constraints=6117 1680.03/1680.52 c nbDecision=344500 #constraints=6120 1680.83/1681.33 c nbDecision=345000 #constraints=6123 1681.34/1681.82 c nbDecision=345500 #constraints=6125 1681.93/1682.47 c nbDecision=346000 #constraints=6128 1682.44/1682.96 c nbDecision=346500 #constraints=6130 1683.03/1683.55 c nbDecision=347000 #constraints=6133 1683.43/1684.00 c nbDecision=347500 #constraints=6135 1706.92/1707.40 c nbDecision=348000 #constraints=6174 1714.43/1714.93 c nbDecision=348500 #constraints=6190 1720.32/1720.85 c nbDecision=349000 #constraints=6206 1722.62/1723.18 c nbDecision=349500 #constraints=6213 1724.11/1724.60 c nbDecision=350000 #constraints=6217 1725.42/1725.93 c nbDecision=350500 #constraints=6221 1726.62/1727.14 c nbDecision=351000 #constraints=6225 1727.42/1727.93 c nbDecision=351500 #constraints=6228 1728.22/1728.73 c nbDecision=352000 #constraints=6231 1729.02/1729.51 c nbDecision=352500 #constraints=6234 1729.52/1730.09 c nbDecision=353000 #constraints=6236 1730.32/1730.81 c nbDecision=353500 #constraints=6239 1730.92/1731.40 c nbDecision=354000 #constraints=6242 1731.31/1731.83 c nbDecision=354500 #constraints=6244 1731.81/1732.36 c nbDecision=355000 #constraints=6247 1732.21/1732.74 c nbDecision=355500 #constraints=6249 1732.61/1733.15 c nbDecision=356000 #constraints=6251 1759.71/1760.28 c nbDecision=356500 #constraints=6293 1767.41/1767.90 c nbDecision=357000 #constraints=6309 1773.41/1773.93 c nbDecision=357500 #constraints=6324 1776.30/1776.83 c nbDecision=358000 #constraints=6331 1778.10/1778.61 c nbDecision=358500 #constraints=6335 1779.60/1780.19 c nbDecision=359000 #constraints=6339 1780.70/1781.27 c nbDecision=359500 #constraints=6342 1781.70/1782.28 c nbDecision=360000 #constraints=6345 1782.80/1783.31 c nbDecision=360500 #constraints=6348 1783.80/1784.37 c nbDecision=361000 #constraints=6351 1784.71/1785.29 c nbDecision=361500 #constraints=6354 1785.50/1786.04 c nbDecision=362000 #constraints=6356 1786.20/1786.74 c nbDecision=362500 #constraints=6359 1786.70/1787.25 c nbDecision=363000 #constraints=6361 1787.30/1787.86 c nbDecision=363500 #constraints=6364 1787.80/1788.34 c nbDecision=364000 #constraints=6366 1788.20/1788.79 c nbDecision=364500 #constraints=6368 1800.00/1800.50 Received signal 15 1800.00/1800.53 1800.00/1800.53 s UNKNOWN 1800.00/1800.53 1800.00/1800.53 c user time= 1798.72 s 1800.00/1800.53 c system time= 1.3228 s 1800.00/1800.53 c wall clock time=1800.54
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node9/watcher-363294-1176852308 -o ROOT/results/node9/solver-363294-1176852308 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/363294-1176852308/instance-363294-1176852308.opb mod 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): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.97 0.97 3/77 9474 /proc/meminfo: memFree=1773992/2055920 swapFree=4145528/4192956 [pid=9474] ppid=9472 vsize=1624 CPUtime=0 /proc/9474/stat : 9474 (oree) R 9472 9474 9132 0 -1 4194304 184 0 0 0 0 0 0 0 18 0 1 0 161268421 1662976 167 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540728 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9474/statm: 406 168 127 317 0 85 0 [startup+0.0723939 s] /proc/loadavg: 0.92 0.97 0.97 3/77 9474 /proc/meminfo: memFree=1773992/2055920 swapFree=4145528/4192956 [pid=9474] ppid=9472 vsize=2548 CPUtime=0.06 /proc/9474/stat : 9474 (oree) R 9472 9474 9132 0 -1 4194304 449 0 0 0 6 0 0 0 18 0 1 0 161268421 2609152 431 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9474/statm: 637 431 131 317 0 316 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 2548 [startup+0.101397 s] /proc/loadavg: 0.92 0.97 0.97 3/77 9474 /proc/meminfo: memFree=1773992/2055920 swapFree=4145528/4192956 [pid=9474] ppid=9472 vsize=3076 CPUtime=0.09 /proc/9474/stat : 9474 (oree) R 9472 9474 9132 0 -1 4194304 568 0 0 0 9 0 0 0 18 0 1 0 161268421 3149824 550 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9474/statm: 769 550 131 317 0 448 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3076 [startup+0.301418 s] /proc/loadavg: 0.92 0.97 0.97 3/77 9474 /proc/meminfo: memFree=1773992/2055920 swapFree=4145528/4192956 [pid=9474] ppid=9472 vsize=6640 CPUtime=0.29 /proc/9474/stat : 9474 (oree) R 9472 9474 9132 0 -1 4194304 1447 0 0 0 29 0 0 0 19 0 1 0 161268421 6799360 1429 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9474/statm: 1660 1429 131 317 0 1339 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6640 [startup+0.701463 s] /proc/loadavg: 0.92 0.97 0.97 3/77 9474 /proc/meminfo: memFree=1773992/2055920 swapFree=4145528/4192956 [pid=9474] ppid=9472 vsize=9964 CPUtime=0.69 /proc/9474/stat : 9474 (oree) R 9472 9474 9132 0 -1 4194304 2285 0 0 0 68 1 0 0 23 0 1 0 161268421 10203136 2267 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563639 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9474/statm: 2491 2267 138 317 0 2170 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 9964 [startup+1.50155 s] /proc/loadavg: 0.92 0.97 0.97 2/78 9475 /proc/meminfo: memFree=1765344/2055920 swapFree=4145528/4192956 [pid=9474] ppid=9472 vsize=10104 CPUtime=1.49 /proc/9474/stat : 9474 (oree) R 9472 9474 9132 0 -1 4194304 2318 0 0 0 148 1 0 0 25 0 1 0 161268421 10346496 2300 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278945 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9474/statm: 2526 2300 139 317 0 2205 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10104 [startup+3.10173 s] /proc/loadavg: 0.92 0.97 0.97 2/78 9475 /proc/meminfo: memFree=1765088/2055920 swapFree=4145528/4192956 [pid=9474] ppid=9472 vsize=10244 CPUtime=3.09 /proc/9474/stat : 9474 (oree) R 9472 9474 9132 0 -1 4194304 2377 0 0 0 308 1 0 0 25 0 1 0 161268421 10489856 2359 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9474/statm: 2561 2359 139 317 0 2240 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10244 [startup+6.3011 s] /proc/loadavg: 0.93 0.97 0.97 2/78 9475 /proc/meminfo: memFree=1764384/2055920 swapFree=4145528/4192956 [pid=9474] ppid=9472 vsize=11016 CPUtime=6.29 /proc/9474/stat : 9474 (oree) R 9472 9474 9132 0 -1 4194304 2548 0 0 0 628 1 0 0 25 0 1 0 161268421 11280384 2530 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134554561 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9474/statm: 2754 2530 139 317 0 2433 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 11016 [startup+12.7018 s] /proc/loadavg: 0.93 0.97 0.97 2/78 9475 /proc/meminfo: memFree=1762784/2055920 swapFree=4145528/4192956 [pid=9474] ppid=9472 vsize=12492 CPUtime=12.69 /proc/9474/stat : 9474 (oree) R 9472 9474 9132 0 -1 4194304 2907 0 0 0 1268 1 0 0 25 0 1 0 161268421 12791808 2889 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278900 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9474/statm: 3123 2889 139 317 0 2802 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 12492 [startup+25.5013 s] /proc/loadavg: 0.95 0.97 0.97 2/78 9475 /proc/meminfo: memFree=1759712/2055920 swapFree=4145528/4192956 [pid=9474] ppid=9472 vsize=15468 CPUtime=25.49 /proc/9474/stat : 9474 (oree) R 9472 9474 9132 0 -1 4194304 3667 0 0 0 2547 2 0 0 25 0 1 0 161268421 15839232 3649 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284120 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9474/statm: 3867 3649 139 317 0 3546 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 15468 [startup+51.1012 s] /proc/loadavg: 0.96 0.97 0.97 2/78 9475 /proc/meminfo: memFree=1753440/2055920 swapFree=4145528/4192956 [pid=9474] ppid=9472 vsize=21784 CPUtime=51.08 /proc/9474/stat : 9474 (oree) R 9472 9474 9132 0 -1 4194304 5232 0 0 0 5105 3 0 0 25 0 1 0 161268421 22306816 5214 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712473 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9474/statm: 5446 5214 139 317 0 5125 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 21784 [startup+102.306 s] /proc/loadavg: 0.98 0.97 0.97 2/78 9475 /proc/meminfo: memFree=1739232/2055920 swapFree=4145528/4192956 [pid=9474] ppid=9472 vsize=35816 CPUtime=102.27 /proc/9474/stat : 9474 (oree) R 9472 9474 9132 0 -1 4194304 8758 0 0 0 10222 5 0 0 25 0 1 0 161268421 36675584 8740 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9474/statm: 8954 8740 139 317 0 8633 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 35816 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 9475 /proc/meminfo: memFree=1701536/2055920 swapFree=4145528/4192956 [pid=9474] ppid=9472 vsize=85632 CPUtime=162.25 /proc/9474/stat : 9474 (oree) R 9472 9474 9132 0 -1 4194304 20650 0 0 0 16214 11 0 0 25 0 1 0 161268421 87687168 18208 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713773 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9474/statm: 21408 18208 139 317 0 21087 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 85632 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 9475 /proc/meminfo: memFree=1667296/2055920 swapFree=4145528/4192956 [pid=9474] ppid=9472 vsize=129568 CPUtime=222.23 /proc/9474/stat : 9474 (oree) R 9472 9474 9132 0 -1 4194304 31032 0 0 0 22208 15 0 0 25 0 1 0 161268421 132677632 26686 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746916 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9474/statm: 32392 26686 139 317 0 32071 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 129568 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 9475 /proc/meminfo: memFree=1641568/2055920 swapFree=4145528/4192956 [pid=9474] ppid=9472 vsize=164568 CPUtime=282.22 /proc/9474/stat : 9474 (oree) R 9472 9474 9132 0 -1 4194304 39565 0 0 0 28202 20 0 0 25 0 1 0 161268421 168517632 33178 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540728 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9474/statm: 41142 33179 139 317 0 40821 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 164568 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 9475 /proc/meminfo: memFree=1601632/2055920 swapFree=4145528/4192956 [pid=9474] ppid=9472 vsize=214052 CPUtime=342.2 /proc/9474/stat : 9474 (oree) R 9472 9474 9132 0 -1 4194304 51450 0 0 0 34195 25 0 0 25 0 1 0 161268421 219189248 43045 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278980 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9474/statm: 53513 43045 139 317 0 53192 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 214052 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 9475 /proc/meminfo: memFree=1577120/2055920 swapFree=4145528/4192956 [pid=9474] ppid=9472 vsize=246904 CPUtime=402.19 /proc/9474/stat : 9474 (oree) R 9472 9474 9132 0 -1 4194304 59525 0 0 0 40191 28 0 0 25 0 1 0 161268421 252829696 49207 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9474/statm: 61726 49207 139 317 0 61405 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 246904 [startup+462.302 s] /proc/loadavg: 1.04 0.99 0.98 2/78 9477 /proc/meminfo: memFree=1547680/2055920 swapFree=4145528/4192956 [pid=9474] ppid=9472 vsize=287268 CPUtime=462.17 /proc/9474/stat : 9474 (oree) R 9472 9474 9132 0 -1 4194304 69163 0 0 0 46186 31 0 0 25 0 1 0 161268421 294162432 56562 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272630 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9474/statm: 71817 56562 139 317 0 71496 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 287268 [startup+522.301 s] /proc/loadavg: 1.01 0.99 0.98 2/78 9477 /proc/meminfo: memFree=1504352/2055920 swapFree=4145528/4192956 [pid=9474] ppid=9472 vsize=343648 CPUtime=522.15 /proc/9474/stat : 9474 (oree) R 9472 9474 9132 0 -1 4194304 81986 0 0 0 52178 37 0 0 25 0 1 0 161268421 351895552 67398 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284202 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9474/statm: 85912 67398 139 317 0 85591 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 343648 [startup+582.301 s] /proc/loadavg: 1.00 0.99 0.98 2/78 9477 /proc/meminfo: memFree=1450592/2055920 swapFree=4145528/4192956 [pid=9474] ppid=9472 vsize=411680 CPUtime=582.12 /proc/9474/stat : 9474 (oree) R 9472 9474 9132 0 -1 4194304 100686 0 0 0 58167 45 0 0 25 0 1 0 161268421 421560320 80754 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746924 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9474/statm: 102920 80754 170 317 0 102599 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 411680 [startup+642.302 s] /proc/loadavg: 1.00 0.99 0.98 2/78 9477 /proc/meminfo: memFree=1428448/2055920 swapFree=4145528/4192956 [pid=9474] ppid=9472 vsize=439460 CPUtime=642.12 /proc/9474/stat : 9474 (oree) R 9472 9474 9132 0 -1 4194304 107805 0 0 0 64163 49 0 0 25 0 1 0 161268421 450007040 86227 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9474/statm: 109865 86227 170 317 0 109544 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 439460 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 0.99 0.98 2/78 9477 /proc/meminfo: memFree=1279392/2055920 swapFree=4145528/4192956 [pid=9474] ppid=9472 vsize=644548 CPUtime=882.05 /proc/9474/stat : 9474 (oree) R 9472 9474 9132 0 -1 4194304 154310 0 0 0 88136 69 0 0 25 0 1 0 161268421 660017152 123426 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9474/statm: 161137 123426 170 317 0 160816 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 644548 [startup+942.303 s] /proc/loadavg: 1.00 0.99 0.98 2/78 9477 /proc/meminfo: memFree=1256608/2055920 swapFree=4145528/4192956 [pid=9474] ppid=9472 vsize=673664 CPUtime=942.03 /proc/9474/stat : 9474 (oree) R 9472 9474 9132 0 -1 4194304 161774 0 0 0 94131 72 0 0 25 0 1 0 161268421 689831936 129201 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278973 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9474/statm: 168416 129201 170 317 0 168095 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 673664 [startup+1002.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 9477 /proc/meminfo: memFree=1232800/2055920 swapFree=4145528/4192956 [pid=9474] ppid=9472 vsize=703424 CPUtime=1002.01 /proc/9474/stat : 9474 (oree) R 9472 9474 9132 0 -1 4194304 169355 0 0 0 100126 75 0 0 25 0 1 0 161268421 720306176 135062 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9474/statm: 175856 135062 170 317 0 175535 0 Current children cumulated CPU time (s) 1002.01 Current children cumulated vsize (KiB) 703424 [startup+1062.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 9477 /proc/meminfo: memFree=1208288/2055920 swapFree=4145528/4192956 [pid=9474] ppid=9472 vsize=734648 CPUtime=1062 /proc/9474/stat : 9474 (oree) R 9472 9474 9132 0 -1 4194304 177380 0 0 0 106119 81 0 0 25 0 1 0 161268421 752279552 141317 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710752 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9474/statm: 183662 141317 170 317 0 183341 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 734648 [startup+1122.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 9477 /proc/meminfo: memFree=1183776/2055920 swapFree=4145528/4192956 [pid=9474] ppid=9472 vsize=764712 CPUtime=1121.98 /proc/9474/stat : 9474 (oree) R 9472 9474 9132 0 -1 4194304 185125 0 0 0 112114 84 0 0 25 0 1 0 161268421 783065088 147318 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272567 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9474/statm: 191178 147318 170 317 0 190857 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 764712 [startup+1182.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 9477 /proc/meminfo: memFree=1158560/2055920 swapFree=4145528/4192956 [pid=9474] ppid=9472 vsize=797656 CPUtime=1181.97 /proc/9474/stat : 9474 (oree) R 9472 9474 9132 0 -1 4194304 193135 0 0 0 118108 89 0 0 25 0 1 0 161268421 816799744 153573 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713884 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9474/statm: 199414 153573 170 317 0 199093 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 797656 [startup+1242.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 9477 /proc/meminfo: memFree=1136288/2055920 swapFree=4145528/4192956 [pid=9474] ppid=9472 vsize=825716 CPUtime=1241.95 /proc/9474/stat : 9474 (oree) R 9472 9474 9132 0 -1 4194304 200381 0 0 0 124102 93 0 0 25 0 1 0 161268421 845533184 159053 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9474/statm: 206429 159053 170 317 0 206108 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 825716 [startup+1302.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 9477 /proc/meminfo: memFree=1114144/2055920 swapFree=4145528/4192956 [pid=9474] ppid=9472 vsize=854068 CPUtime=1301.94 /proc/9474/stat : 9474 (oree) R 9472 9474 9132 0 -1 4194304 207472 0 0 0 130098 96 0 0 25 0 1 0 161268421 874565632 164585 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710848 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9474/statm: 213517 164585 170 317 0 213196 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 854068 [startup+1362.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 9477 /proc/meminfo: memFree=1091616/2055920 swapFree=4145528/4192956 [pid=9474] ppid=9472 vsize=882432 CPUtime=1361.92 /proc/9474/stat : 9474 (oree) R 9472 9474 9132 0 -1 4194304 214667 0 0 0 136092 100 0 0 25 0 1 0 161268421 903610368 170245 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541526 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9474/statm: 220608 170245 170 317 0 220287 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 882432 [startup+1422.31 s] /proc/loadavg: 1.00 0.99 0.98 2/78 9477 /proc/meminfo: memFree=1062816/2055920 swapFree=4145528/4192956 [pid=9474] ppid=9472 vsize=922804 CPUtime=1421.9 /proc/9474/stat : 9474 (oree) R 9472 9474 9132 0 -1 4194304 223275 0 0 0 142087 103 0 0 25 0 1 0 161268421 944951296 177372 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134549863 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9474/statm: 230701 177372 170 317 0 230380 0 Current children cumulated CPU time (s) 1421.9 Current children cumulated vsize (KiB) 922804 [startup+1482.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 9477 /proc/meminfo: memFree=1041248/2055920 swapFree=4145528/4192956 [pid=9474] ppid=9472 vsize=951548 CPUtime=1481.88 /proc/9474/stat : 9474 (oree) R 9472 9474 9132 0 -1 4194304 230455 0 0 0 148080 108 0 0 25 0 1 0 161268421 974385152 182830 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712567 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9474/statm: 237887 182830 170 317 0 237566 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 951548 [startup+1542.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 9477 /proc/meminfo: memFree=1018144/2055920 swapFree=4145528/4192956 [pid=9474] ppid=9472 vsize=982680 CPUtime=1541.86 /proc/9474/stat : 9474 (oree) R 9472 9474 9132 0 -1 4194304 237791 0 0 0 154075 111 0 0 25 0 1 0 161268421 1006264320 188509 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9474/statm: 245670 188509 170 317 0 245349 0 Current children cumulated CPU time (s) 1541.86 Current children cumulated vsize (KiB) 982680 [startup+1602.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 9477 /proc/meminfo: memFree=997088/2055920 swapFree=4145528/4192956 [pid=9474] ppid=9472 vsize=1011924 CPUtime=1601.86 /proc/9474/stat : 9474 (oree) R 9472 9474 9132 0 -1 4194304 244790 0 0 0 160071 115 0 0 25 0 1 0 161268421 1036210176 193837 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135270568 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9474/statm: 252981 193837 170 317 0 252660 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 1011924 [startup+1662.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 9477 /proc/meminfo: memFree=975776/2055920 swapFree=4145528/4192956 [pid=9474] ppid=9472 vsize=1040664 CPUtime=1661.83 /proc/9474/stat : 9474 (oree) R 9472 9474 9132 0 -1 4194304 251629 0 0 0 166065 118 0 0 25 0 1 0 161268421 1065639936 199131 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134549876 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9474/statm: 260166 199131 170 317 0 259845 0 Current children cumulated CPU time (s) 1661.83 Current children cumulated vsize (KiB) 1040664 [startup+1722.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 9477 /proc/meminfo: memFree=902688/2055920 swapFree=4145528/4192956 [pid=9474] ppid=9472 vsize=1162156 CPUtime=1721.82 /proc/9474/stat : 9474 (oree) R 9472 9474 9132 0 -1 4194304 271565 0 0 0 172055 127 0 0 25 0 1 0 161268421 1190047744 217355 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712551 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9474/statm: 290539 217355 170 317 0 290218 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 1162156 [startup+1782.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 9477 /proc/meminfo: memFree=880160/2055920 swapFree=4145528/4192956 [pid=9474] ppid=9472 vsize=1190596 CPUtime=1781.8 /proc/9474/stat : 9474 (oree) R 9472 9474 9132 0 -1 4194304 278896 0 0 0 178050 130 0 0 25 0 1 0 161268421 1219170304 222935 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9474/statm: 297649 222935 170 317 0 297328 0 Current children cumulated CPU time (s) 1781.8 Current children cumulated vsize (KiB) 1190596 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 0.99 0.98 2/78 9477 /proc/meminfo: memFree=872672/2055920 swapFree=4145528/4192956 [pid=9474] ppid=9472 vsize=1199892 CPUtime=1800 /proc/9474/stat : 9474 (oree) R 9472 9474 9132 0 -1 4194304 281260 0 0 0 179868 132 0 0 25 0 1 0 161268421 1228689408 224746 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9474/statm: 299973 224746 170 317 0 299652 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 1199892 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 1.00 0.99 0.98 2/79 9478 /proc/meminfo: memFree=1242712/2055920 swapFree=4145528/4192956 [pid=9474] ppid=9472 vsize=0 CPUtime=1800.1 /proc/9474/stat : 9474 (oree) R 9472 9474 9132 0 -1 4194308 281279 0 0 0 179872 138 0 0 25 0 1 0 161268421 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9474/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.69 CPU time (s): 1800.2 CPU user time (s): 1798.73 CPU system time (s): 1.46678 CPU usage (%): 99.9724 Max. virtual memory (cumulated for all children) (KiB): 1200024 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.73 system time used= 1.46678 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 281279 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= 8 involuntary context switches= 1911 runsolver used 2.06669 second user time and 4.17636 second system time The end
Begin job on node9 on Tue Apr 17 23:25:09 UTC 2007 IDJOB= 363294 IDBENCH= 1798 IDSOLVER= 172 FILE ID= node9/363294-1176852308 PBS_JOBID= 4590228 Free space on /tmp= 66490 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-swath.opb COMMAND LINE= oree /tmp/evaluation/363294-1176852308/instance-363294-1176852308.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node9/watcher-363294-1176852308 -o ROOT/results/node9/solver-363294-1176852308 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/363294-1176852308/instance-363294-1176852308.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 9e8d33d54c816a96320e5b2b2d7ec5c8 RANDOM SEED= 551506646 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node9.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.221 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.221 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1774464 kB Buffers: 33624 kB Cached: 185668 kB SwapCached: 16124 kB Active: 193892 kB Inactive: 56468 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1774464 kB SwapTotal: 4192956 kB SwapFree: 4145528 kB Dirty: 2484 kB Writeback: 0 kB Mapped: 29936 kB Slab: 16616 kB Committed_AS: 5959604 kB PageTables: 1784 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66490 MiB End job on node9 on Tue Apr 17 23:55:11 UTC 2007