Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.24 | 1800.87 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-cycle.opb |
MD5SUM | a4f456875ede4549ae03268180cd603c |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 1800.19 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 0 |
Optimality of the best value was proved | NO |
Number of variables | 84737 |
Total number of constraints | 1802 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1802 |
Minimum length of a constraint | 11 |
Maximum length of a constraint | 1470 |
Number of terms in the objective function | 9240 |
Biggest coefficient in the objective function | 53687091200000 |
Number of bits for the biggest coefficient in the objective function | 46 |
Sum of the numbers in the objective function | 1737924154969464 |
Number of bits of the sum of numbers in the objective function | 51 |
Biggest number in a constraint | 48888431614361600 |
Number of bits of the biggest number in a constraint | 56 |
Biggest sum of numbers in a constraint | 779202693141814557 |
Number of bits of the biggest sum of numbers | 60 |
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... 2.19/2.25 c ...done 2.19/2.25 c #vars=84737 #constraints=3177 hasObjective=yes 2.68/2.76 c res. mode=mod 2.68/2.76 c VSIDS like heuristics 2.68/2.76 c complete search running 4.19/4.23 c restart after 401 decisions 4.39/4.49 c nbDecision=500 #constraints=3213 5.19/5.26 c restart after 801 decisions 5.59/5.69 c nbDecision=1000 #constraints=3247 6.89/6.91 c nbDecision=1500 #constraints=3289 7.09/7.12 c restart after 1601 decisions 7.99/8.00 c nbDecision=2000 #constraints=3307 9.09/9.12 c nbDecision=2500 #constraints=3327 10.29/10.39 c nbDecision=3000 #constraints=3368 10.99/11.06 c restart after 3201 decisions 11.68/11.71 c nbDecision=3500 #constraints=3386 12.89/12.92 c nbDecision=4000 #constraints=3412 13.99/14.10 c nbDecision=4500 #constraints=3430 15.98/16.09 c nbDecision=5000 #constraints=3519 17.69/17.77 c nbDecision=5500 #constraints=3576 19.09/19.14 c nbDecision=6000 #constraints=3610 19.98/20.05 c restart after 6401 decisions 20.18/20.27 c nbDecision=6500 #constraints=3622 21.28/21.39 c nbDecision=7000 #constraints=3636 23.18/23.28 c nbDecision=7500 #constraints=3706 24.78/24.81 c nbDecision=8000 #constraints=3739 25.98/26.07 c nbDecision=8500 #constraints=3753 27.08/27.19 c nbDecision=9000 #constraints=3757 28.49/28.54 c nbDecision=9500 #constraints=3774 29.78/29.87 c nbDecision=10000 #constraints=3787 31.08/31.14 c nbDecision=10500 #constraints=3797 32.48/32.51 c nbDecision=11000 #constraints=3810 33.78/33.81 c nbDecision=11500 #constraints=3821 34.88/34.96 c nbDecision=12000 #constraints=3831 36.08/36.16 c nbDecision=12500 #constraints=3839 36.88/36.91 c restart after 12801 decisions 37.28/37.33 c nbDecision=13000 #constraints=3847 38.38/38.42 c nbDecision=13500 #constraints=3861 40.17/40.22 c nbDecision=14000 #constraints=3916 41.27/41.39 c nbDecision=14500 #constraints=3926 42.67/42.70 c nbDecision=15000 #constraints=3940 43.78/43.87 c nbDecision=15500 #constraints=3952 45.08/45.18 c nbDecision=16000 #constraints=3970 46.48/46.50 c nbDecision=16500 #constraints=3986 47.78/47.81 c nbDecision=17000 #constraints=3999 49.07/49.19 c nbDecision=17500 #constraints=4017 50.37/50.46 c nbDecision=18000 #constraints=4030 51.77/51.80 c nbDecision=18500 #constraints=4041 53.07/53.17 c nbDecision=19000 #constraints=4054 54.47/54.51 c nbDecision=19500 #constraints=4069 55.57/55.68 c nbDecision=20000 #constraints=4076 56.87/56.92 c nbDecision=20500 #constraints=4084 58.28/58.36 c nbDecision=21000 #constraints=4101 59.37/59.44 c nbDecision=21500 #constraints=4105 60.67/60.70 c nbDecision=22000 #constraints=4114 61.86/61.93 c nbDecision=22500 #constraints=4123 63.06/63.13 c nbDecision=23000 #constraints=4133 64.37/64.50 c nbDecision=23500 #constraints=4151 65.67/65.75 c nbDecision=24000 #constraints=4161 66.87/66.94 c nbDecision=24500 #constraints=4167 68.27/68.32 c nbDecision=25000 #constraints=4179 69.57/69.68 c nbDecision=25500 #constraints=4189 69.97/70.01 c restart after 25601 decisions 70.86/70.98 c nbDecision=26000 #constraints=4215 72.06/72.10 c nbDecision=26500 #constraints=4224 74.06/74.14 c nbDecision=27000 #constraints=4284 75.47/75.59 c nbDecision=27500 #constraints=4318 76.67/76.74 c nbDecision=28000 #constraints=4326 77.97/78.08 c nbDecision=28500 #constraints=4341 79.27/79.36 c nbDecision=29000 #constraints=4352 80.67/80.74 c nbDecision=29500 #constraints=4367 82.16/82.21 c nbDecision=30000 #constraints=4385 83.46/83.53 c nbDecision=30500 #constraints=4399 84.66/84.78 c nbDecision=31000 #constraints=4407 86.26/86.35 c nbDecision=31500 #constraints=4425 87.87/87.99 c nbDecision=32000 #constraints=4446 89.16/89.28 c nbDecision=32500 #constraints=4454 90.76/90.80 c nbDecision=33000 #constraints=4468 92.36/92.48 c nbDecision=33500 #constraints=4489 94.36/94.45 c nbDecision=34000 #constraints=4512 95.96/96.03 c nbDecision=34500 #constraints=4526 97.65/97.72 c nbDecision=35000 #constraints=4543 99.46/99.56 c nbDecision=35500 #constraints=4566 101.36/101.43 c nbDecision=36000 #constraints=4585 103.15/103.21 c nbDecision=36500 #constraints=4603 104.96/105.01 c nbDecision=37000 #constraints=4625 106.56/106.60 c nbDecision=37500 #constraints=4640 107.76/107.86 c nbDecision=38000 #constraints=4649 108.86/108.99 c nbDecision=38500 #constraints=4657 110.05/110.17 c nbDecision=39000 #constraints=4667 111.35/111.42 c nbDecision=39500 #constraints=4676 112.65/112.79 c nbDecision=40000 #constraints=4696 113.95/114.08 c nbDecision=40500 #constraints=4705 115.45/115.58 c nbDecision=41000 #constraints=4718 117.15/117.21 c nbDecision=41500 #constraints=4741 118.35/118.42 c nbDecision=42000 #constraints=4751 119.55/119.65 c nbDecision=42500 #constraints=4757 121.15/121.21 c nbDecision=43000 #constraints=4773 122.55/122.62 c nbDecision=43500 #constraints=4783 124.05/124.16 c nbDecision=44000 #constraints=4799 125.35/125.49 c nbDecision=44500 #constraints=4807 126.74/126.88 c nbDecision=45000 #constraints=4816 128.04/128.18 c nbDecision=45500 #constraints=4823 129.34/129.46 c nbDecision=46000 #constraints=4830 130.85/130.94 c nbDecision=46500 #constraints=4846 132.15/132.24 c nbDecision=47000 #constraints=4853 133.75/133.88 c nbDecision=47500 #constraints=4877 135.15/135.30 c nbDecision=48000 #constraints=4889 136.54/136.70 c nbDecision=48500 #constraints=4900 137.84/137.95 c nbDecision=49000 #constraints=4908 139.14/139.26 c nbDecision=49500 #constraints=4919 140.54/140.63 c nbDecision=50000 #constraints=4928 141.84/141.99 c nbDecision=50500 #constraints=4941 143.14/143.27 c nbDecision=51000 #constraints=4949 143.74/143.80 c restart after 51201 decisions 144.34/144.43 c nbDecision=51500 #constraints=4952 145.44/145.54 c nbDecision=52000 #constraints=4961 150.84/151.00 c nbDecision=52500 #constraints=5311 152.75/152.81 c nbDecision=53000 #constraints=5379 157.04/157.12 c nbDecision=53500 #constraints=5764 162.23/162.31 c nbDecision=54000 #constraints=6170 166.23/166.30 c nbDecision=54500 #constraints=6470 171.94/172.05 c nbDecision=55000 #constraints=6878 176.33/176.42 c nbDecision=55500 #constraints=7140 179.83/179.95 c nbDecision=56000 #constraints=7313 181.73/181.84 c nbDecision=56500 #constraints=7363 183.63/183.72 c nbDecision=57000 #constraints=7418 187.62/187.71 c nbDecision=57500 #constraints=7565 189.83/189.99 c nbDecision=58000 #constraints=7587 191.92/192.04 c nbDecision=58500 #constraints=7614 193.92/194.02 c nbDecision=59000 #constraints=7635 195.93/196.06 c nbDecision=59500 #constraints=7662 197.93/198.07 c nbDecision=60000 #constraints=7687 199.72/199.83 c nbDecision=60500 #constraints=7707 201.42/201.59 c nbDecision=61000 #constraints=7725 203.72/203.82 c nbDecision=61500 #constraints=7750 205.32/205.43 c nbDecision=62000 #constraints=7766 207.02/207.18 c nbDecision=62500 #constraints=7783 209.02/209.12 c nbDecision=63000 #constraints=7803 210.52/210.66 c nbDecision=63500 #constraints=7818 212.52/212.65 c nbDecision=64000 #constraints=7846 214.01/214.19 c nbDecision=64500 #constraints=7857 216.02/216.14 c nbDecision=65000 #constraints=7874 218.22/218.40 c nbDecision=65500 #constraints=7892 220.61/220.74 c nbDecision=66000 #constraints=7924 222.51/222.67 c nbDecision=66500 #constraints=7947 224.21/224.35 c nbDecision=67000 #constraints=7963 226.02/226.17 c nbDecision=67500 #constraints=7982 228.02/228.11 c nbDecision=68000 #constraints=8002 231.31/231.44 c nbDecision=68500 #constraints=8038 233.52/233.61 c nbDecision=69000 #constraints=8054 235.11/235.28 c nbDecision=69500 #constraints=8066 237.21/237.39 c nbDecision=70000 #constraints=8082 239.81/240.00 c nbDecision=70500 #constraints=8109 241.81/242.00 c nbDecision=71000 #constraints=8129 243.70/243.88 c nbDecision=71500 #constraints=8142 246.41/246.54 c nbDecision=72000 #constraints=8175 248.61/248.77 c nbDecision=72500 #constraints=8195 251.00/251.19 c nbDecision=73000 #constraints=8214 253.91/254.02 c nbDecision=73500 #constraints=8241 255.40/255.55 c nbDecision=74000 #constraints=8251 257.30/257.48 c nbDecision=74500 #constraints=8266 259.61/259.78 c nbDecision=75000 #constraints=8283 261.90/262.09 c nbDecision=75500 #constraints=8302 264.30/264.44 c nbDecision=76000 #constraints=8321 266.40/266.54 c nbDecision=76500 #constraints=8336 268.89/269.04 c nbDecision=77000 #constraints=8360 271.00/271.10 c nbDecision=77500 #constraints=8376 273.10/273.23 c nbDecision=78000 #constraints=8393 275.10/275.24 c nbDecision=78500 #constraints=8411 277.79/277.93 c nbDecision=79000 #constraints=8432 279.69/279.81 c nbDecision=79500 #constraints=8444 282.99/283.18 c nbDecision=80000 #constraints=8468 286.70/286.85 c nbDecision=80500 #constraints=8499 289.49/289.63 c nbDecision=81000 #constraints=8516 292.29/292.46 c nbDecision=81500 #constraints=8533 295.69/295.87 c nbDecision=82000 #constraints=8558 297.19/297.39 c nbDecision=82500 #constraints=8568 299.09/299.27 c nbDecision=83000 #constraints=8582 301.09/301.23 c nbDecision=83500 #constraints=8600 303.98/304.19 c nbDecision=84000 #constraints=8623 306.49/306.61 c nbDecision=84500 #constraints=8638 308.99/309.14 c nbDecision=85000 #constraints=8658 310.99/311.19 c nbDecision=85500 #constraints=8672 313.88/314.04 c nbDecision=86000 #constraints=8696 316.28/316.45 c nbDecision=86500 #constraints=8715 319.08/319.25 c nbDecision=87000 #constraints=8737 321.08/321.21 c nbDecision=87500 #constraints=8751 322.98/323.15 c nbDecision=88000 #constraints=8765 324.98/325.17 c nbDecision=88500 #constraints=8779 326.88/327.07 c nbDecision=89000 #constraints=8791 329.48/329.61 c nbDecision=89500 #constraints=8811 331.57/331.72 c nbDecision=90000 #constraints=8827 333.48/333.65 c nbDecision=90500 #constraints=8841 337.18/337.36 c nbDecision=91000 #constraints=8879 338.68/338.88 c nbDecision=91500 #constraints=8887 342.17/342.37 c nbDecision=92000 #constraints=8914 344.57/344.72 c nbDecision=92500 #constraints=8928 347.48/347.63 c nbDecision=93000 #constraints=8948 350.27/350.41 c nbDecision=93500 #constraints=8966 352.57/352.77 c nbDecision=94000 #constraints=8982 354.87/355.03 c nbDecision=94500 #constraints=8996 357.06/357.26 c nbDecision=95000 #constraints=9010 359.58/359.72 c nbDecision=95500 #constraints=9027 361.17/361.30 c nbDecision=96000 #constraints=9035 363.27/363.48 c nbDecision=96500 #constraints=9047 365.57/365.76 c nbDecision=97000 #constraints=9063 367.66/367.85 c nbDecision=97500 #constraints=9079 370.47/370.69 c nbDecision=98000 #constraints=9104 373.16/373.34 c nbDecision=98500 #constraints=9122 374.96/375.19 c nbDecision=99000 #constraints=9132 376.86/377.09 c nbDecision=99500 #constraints=9142 378.96/379.15 c nbDecision=100000 #constraints=9154 381.16/381.34 c nbDecision=100500 #constraints=9169 383.06/383.25 c nbDecision=101000 #constraints=9181 385.15/385.37 c nbDecision=101500 #constraints=9196 387.55/387.79 c nbDecision=102000 #constraints=9213 389.46/389.60 c restart after 102401 decisions 389.66/389.88 c nbDecision=102500 #constraints=9222 391.16/391.33 c nbDecision=103000 #constraints=9238 393.36/393.57 c nbDecision=103500 #constraints=9260 395.05/395.29 c nbDecision=104000 #constraints=9270 396.96/397.18 c nbDecision=104500 #constraints=9283 398.75/398.92 c nbDecision=105000 #constraints=9295 400.45/400.64 c nbDecision=105500 #constraints=9305 402.15/402.38 c nbDecision=106000 #constraints=9311 403.95/404.12 c nbDecision=106500 #constraints=9322 405.86/406.01 c nbDecision=107000 #constraints=9335 407.66/407.89 c nbDecision=107500 #constraints=9347 409.65/409.87 c nbDecision=108000 #constraints=9364 411.16/411.31 c nbDecision=108500 #constraints=9369 413.15/413.34 c nbDecision=109000 #constraints=9384 414.75/414.97 c nbDecision=109500 #constraints=9392 416.55/416.72 c nbDecision=110000 #constraints=9402 418.55/418.71 c nbDecision=110500 #constraints=9415 420.45/420.61 c nbDecision=111000 #constraints=9427 422.05/422.25 c nbDecision=111500 #constraints=9435 423.95/424.19 c nbDecision=112000 #constraints=9448 425.84/426.05 c nbDecision=112500 #constraints=9462 427.54/427.72 c nbDecision=113000 #constraints=9469 429.64/429.82 c nbDecision=113500 #constraints=9481 431.35/431.51 c nbDecision=114000 #constraints=9489 432.95/433.15 c nbDecision=114500 #constraints=9495 434.55/434.76 c nbDecision=115000 #constraints=9502 436.14/436.32 c nbDecision=115500 #constraints=9506 438.94/439.10 c nbDecision=116000 #constraints=9530 440.85/441.04 c nbDecision=116500 #constraints=9544 442.84/443.05 c nbDecision=117000 #constraints=9558 444.64/444.82 c nbDecision=117500 #constraints=9568 446.54/446.71 c nbDecision=118000 #constraints=9578 448.83/449.09 c nbDecision=118500 #constraints=9592 451.03/451.24 c nbDecision=119000 #constraints=9605 452.73/452.95 c nbDecision=119500 #constraints=9614 455.14/455.31 c nbDecision=120000 #constraints=9627 457.24/457.45 c nbDecision=120500 #constraints=9641 459.24/459.49 c nbDecision=121000 #constraints=9650 461.63/461.84 c nbDecision=121500 #constraints=9666 463.23/463.47 c nbDecision=122000 #constraints=9673 465.44/465.61 c nbDecision=122500 #constraints=9689 468.13/468.33 c nbDecision=123000 #constraints=9710 470.13/470.32 c nbDecision=123500 #constraints=9721 472.13/472.38 c nbDecision=124000 #constraints=9733 473.93/474.19 c nbDecision=124500 #constraints=9744 475.93/476.18 c nbDecision=125000 #constraints=9757 477.93/478.15 c nbDecision=125500 #constraints=9770 479.62/479.81 c nbDecision=126000 #constraints=9779 481.32/481.59 c nbDecision=126500 #constraints=9788 483.22/483.46 c nbDecision=127000 #constraints=9798 484.82/485.01 c nbDecision=127500 #constraints=9804 486.73/486.97 c nbDecision=128000 #constraints=9825 488.62/488.85 c nbDecision=128500 #constraints=9838 490.43/490.68 c nbDecision=129000 #constraints=9845 492.42/492.69 c nbDecision=129500 #constraints=9855 494.22/494.48 c nbDecision=130000 #constraints=9863 495.92/496.12 c nbDecision=130500 #constraints=9869 497.92/498.13 c nbDecision=131000 #constraints=9879 500.02/500.23 c nbDecision=131500 #constraints=9888 501.72/501.99 c nbDecision=132000 #constraints=9895 504.21/504.43 c nbDecision=132500 #constraints=9909 505.61/505.86 c nbDecision=133000 #constraints=9913 507.21/507.41 c nbDecision=133500 #constraints=9919 509.32/509.50 c nbDecision=134000 #constraints=9931 511.32/511.56 c nbDecision=134500 #constraints=9942 513.43/513.60 c nbDecision=135000 #constraints=9953 515.32/515.54 c nbDecision=135500 #constraints=9961 517.52/517.77 c nbDecision=136000 #constraints=9975 519.52/519.75 c nbDecision=136500 #constraints=9984 521.41/521.62 c nbDecision=137000 #constraints=9991 523.11/523.36 c nbDecision=137500 #constraints=9998 524.91/525.17 c nbDecision=138000 #constraints=10007 527.01/527.24 c nbDecision=138500 #constraints=10021 529.21/529.43 c nbDecision=139000 #constraints=10035 531.81/532.01 c nbDecision=139500 #constraints=10053 533.71/533.91 c nbDecision=140000 #constraints=10063 535.41/535.69 c nbDecision=140500 #constraints=10074 537.51/537.75 c nbDecision=141000 #constraints=10089 539.31/539.56 c nbDecision=141500 #constraints=10097 541.40/541.67 c nbDecision=142000 #constraints=10109 543.30/543.51 c nbDecision=142500 #constraints=10120 545.41/545.61 c nbDecision=143000 #constraints=10131 547.31/547.50 c nbDecision=143500 #constraints=10142 549.40/549.69 c nbDecision=144000 #constraints=10154 551.40/551.61 c nbDecision=144500 #constraints=10164 553.11/553.34 c nbDecision=145000 #constraints=10174 555.00/555.27 c nbDecision=145500 #constraints=10185 557.20/557.43 c nbDecision=146000 #constraints=10201 558.80/559.04 c nbDecision=146500 #constraints=10208 560.50/560.72 c nbDecision=147000 #constraints=10217 562.10/562.38 c nbDecision=147500 #constraints=10224 564.20/564.41 c nbDecision=148000 #constraints=10239 566.10/566.31 c nbDecision=148500 #constraints=10249 568.00/568.22 c nbDecision=149000 #constraints=10259 570.00/570.20 c nbDecision=149500 #constraints=10269 571.50/571.71 c nbDecision=150000 #constraints=10275 573.19/573.47 c nbDecision=150500 #constraints=10283 574.89/575.17 c nbDecision=151000 #constraints=10289 576.79/577.01 c nbDecision=151500 #constraints=10300 578.79/579.01 c nbDecision=152000 #constraints=10312 580.70/580.96 c nbDecision=152500 #constraints=10322 582.49/582.78 c nbDecision=153000 #constraints=10331 584.19/584.49 c nbDecision=153500 #constraints=10339 586.39/586.68 c nbDecision=154000 #constraints=10351 588.20/588.44 c nbDecision=154500 #constraints=10359 589.99/590.26 c nbDecision=155000 #constraints=10366 591.79/592.07 c nbDecision=155500 #constraints=10374 593.69/593.90 c nbDecision=156000 #constraints=10384 595.79/596.07 c nbDecision=156500 #constraints=10397 597.59/597.83 c nbDecision=157000 #constraints=10404 599.68/599.92 c nbDecision=157500 #constraints=10415 601.39/601.60 c nbDecision=158000 #constraints=10421 603.18/603.49 c nbDecision=158500 #constraints=10430 605.18/605.43 c nbDecision=159000 #constraints=10440 607.18/607.43 c nbDecision=159500 #constraints=10451 609.49/609.74 c nbDecision=160000 #constraints=10463 611.19/611.46 c nbDecision=160500 #constraints=10470 613.38/613.64 c nbDecision=161000 #constraints=10481 615.38/615.63 c nbDecision=161500 #constraints=10491 617.58/617.88 c nbDecision=162000 #constraints=10504 619.78/620.06 c nbDecision=162500 #constraints=10516 621.98/622.27 c nbDecision=163000 #constraints=10530 624.18/624.49 c nbDecision=163500 #constraints=10542 625.97/626.26 c nbDecision=164000 #constraints=10552 628.58/628.86 c nbDecision=164500 #constraints=10569 631.28/631.53 c nbDecision=165000 #constraints=10582 633.18/633.42 c nbDecision=165500 #constraints=10590 635.77/636.00 c nbDecision=166000 #constraints=10611 638.07/638.39 c nbDecision=166500 #constraints=10630 639.87/640.19 c nbDecision=167000 #constraints=10639 641.57/641.88 c nbDecision=167500 #constraints=10646 643.87/644.12 c nbDecision=168000 #constraints=10657 646.07/646.32 c nbDecision=168500 #constraints=10669 648.37/648.62 c nbDecision=169000 #constraints=10683 650.77/651.07 c nbDecision=169500 #constraints=10695 652.77/653.00 c nbDecision=170000 #constraints=10703 655.37/655.67 c nbDecision=170500 #constraints=10722 657.47/657.75 c nbDecision=171000 #constraints=10731 660.16/660.44 c nbDecision=171500 #constraints=10752 661.97/662.28 c nbDecision=172000 #constraints=10759 664.17/664.43 c nbDecision=172500 #constraints=10770 666.36/666.68 c nbDecision=173000 #constraints=10781 668.56/668.82 c nbDecision=173500 #constraints=10790 671.17/671.44 c nbDecision=174000 #constraints=10806 673.47/673.73 c nbDecision=174500 #constraints=10819 675.46/675.73 c nbDecision=175000 #constraints=10828 677.66/677.99 c nbDecision=175500 #constraints=10838 679.76/680.06 c nbDecision=176000 #constraints=10845 681.86/682.15 c nbDecision=176500 #constraints=10855 683.96/684.28 c nbDecision=177000 #constraints=10867 685.95/686.28 c nbDecision=177500 #constraints=10878 688.06/688.31 c nbDecision=178000 #constraints=10890 690.16/690.45 c nbDecision=178500 #constraints=10905 691.96/692.23 c nbDecision=179000 #constraints=10912 694.75/695.04 c nbDecision=179500 #constraints=10929 696.45/696.71 c nbDecision=180000 #constraints=10934 698.05/698.39 c nbDecision=180500 #constraints=10940 699.85/700.11 c nbDecision=181000 #constraints=10946 702.25/702.59 c nbDecision=181500 #constraints=10962 704.76/705.07 c nbDecision=182000 #constraints=10977 706.55/706.87 c nbDecision=182500 #constraints=10984 708.45/708.75 c nbDecision=183000 #constraints=10993 710.55/710.83 c nbDecision=183500 #constraints=11003 712.45/712.79 c nbDecision=184000 #constraints=11010 715.05/715.38 c nbDecision=184500 #constraints=11023 718.15/718.43 c nbDecision=185000 #constraints=11040 719.64/719.92 c nbDecision=185500 #constraints=11044 721.74/722.07 c nbDecision=186000 #constraints=11055 723.84/724.12 c nbDecision=186500 #constraints=11063 726.74/727.02 c nbDecision=187000 #constraints=11084 728.54/728.88 c nbDecision=187500 #constraints=11091 731.65/731.92 c nbDecision=188000 #constraints=11111 734.45/734.71 c nbDecision=188500 #constraints=11132 736.95/737.25 c nbDecision=189000 #constraints=11147 739.24/739.58 c nbDecision=189500 #constraints=11163 741.44/741.70 c nbDecision=190000 #constraints=11175 743.04/743.33 c nbDecision=190500 #constraints=11181 744.94/745.21 c nbDecision=191000 #constraints=11188 747.33/747.65 c nbDecision=191500 #constraints=11204 749.13/749.48 c nbDecision=192000 #constraints=11212 751.44/751.78 c nbDecision=192500 #constraints=11227 753.34/753.69 c nbDecision=193000 #constraints=11236 755.13/755.41 c nbDecision=193500 #constraints=11243 756.93/757.23 c nbDecision=194000 #constraints=11252 759.43/759.71 c nbDecision=194500 #constraints=11266 761.63/761.98 c nbDecision=195000 #constraints=11281 764.13/764.41 c nbDecision=195500 #constraints=11296 766.82/767.19 c nbDecision=196000 #constraints=11315 768.54/768.88 c nbDecision=196500 #constraints=11321 771.33/771.60 c nbDecision=197000 #constraints=11335 773.43/773.80 c nbDecision=197500 #constraints=11348 775.53/775.85 c nbDecision=198000 #constraints=11358 777.83/778.19 c nbDecision=198500 #constraints=11375 780.23/780.59 c nbDecision=199000 #constraints=11387 782.63/782.98 c nbDecision=199500 #constraints=11400 785.03/785.35 c nbDecision=200000 #constraints=11414 787.02/787.38 c nbDecision=200500 #constraints=11422 789.62/789.96 c nbDecision=201000 #constraints=11435 792.22/792.55 c nbDecision=201500 #constraints=11450 794.62/795.00 c nbDecision=202000 #constraints=11462 796.42/796.74 c nbDecision=202500 #constraints=11468 798.82/799.15 c nbDecision=203000 #constraints=11480 800.72/801.01 c nbDecision=203500 #constraints=11486 803.02/803.33 c nbDecision=204000 #constraints=11496 805.12/805.49 c nbDecision=204500 #constraints=11505 806.22/806.58 c restart after 204801 decisions 806.82/807.10 c nbDecision=205000 #constraints=11509 808.02/808.36 c nbDecision=205500 #constraints=11515 813.42/813.76 c nbDecision=206000 #constraints=11568 816.52/816.86 c nbDecision=206500 #constraints=11587 819.61/819.99 c nbDecision=207000 #constraints=11615 821.71/822.04 c nbDecision=207500 #constraints=11634 824.11/824.40 c nbDecision=208000 #constraints=11651 825.60/825.98 c nbDecision=208500 #constraints=11658 827.60/827.95 c nbDecision=209000 #constraints=11666 829.71/830.09 c nbDecision=209500 #constraints=11679 831.81/832.12 c nbDecision=210000 #constraints=11694 834.61/834.92 c nbDecision=210500 #constraints=11710 836.81/837.12 c nbDecision=211000 #constraints=11722 840.30/840.62 c nbDecision=211500 #constraints=11744 844.41/844.77 c nbDecision=212000 #constraints=11763 851.10/851.45 c nbDecision=212500 #constraints=11795 855.20/855.56 c nbDecision=213000 #constraints=11817 858.60/858.90 c nbDecision=213500 #constraints=11831 863.69/864.06 c nbDecision=214000 #constraints=11858 865.99/866.39 c nbDecision=214500 #constraints=11873 867.89/868.21 c nbDecision=215000 #constraints=11877 870.20/870.54 c nbDecision=215500 #constraints=11889 873.90/874.25 c nbDecision=216000 #constraints=11916 875.79/876.10 c nbDecision=216500 #constraints=11921 879.79/880.11 c nbDecision=217000 #constraints=11963 883.48/883.80 c nbDecision=217500 #constraints=11991 885.79/886.14 c nbDecision=218000 #constraints=12003 889.19/889.59 c nbDecision=218500 #constraints=12014 892.29/892.67 c nbDecision=219000 #constraints=12032 894.99/895.37 c nbDecision=219500 #constraints=12049 897.98/898.35 c nbDecision=220000 #constraints=12068 900.99/901.34 c nbDecision=220500 #constraints=12088 903.79/904.16 c nbDecision=221000 #constraints=12104 907.09/907.42 c nbDecision=221500 #constraints=12131 910.28/910.65 c nbDecision=222000 #constraints=12151 914.08/914.46 c nbDecision=222500 #constraints=12178 917.97/918.30 c nbDecision=223000 #constraints=12197 922.28/922.61 c nbDecision=223500 #constraints=12216 923.88/924.23 c nbDecision=224000 #constraints=12220 926.38/926.78 c nbDecision=224500 #constraints=12231 928.78/929.17 c nbDecision=225000 #constraints=12241 931.07/931.43 c nbDecision=225500 #constraints=12250 933.67/934.03 c nbDecision=226000 #constraints=12263 936.67/937.03 c nbDecision=226500 #constraints=12277 939.77/940.13 c nbDecision=227000 #constraints=12293 942.07/942.40 c nbDecision=227500 #constraints=12302 944.67/945.09 c nbDecision=228000 #constraints=12313 947.78/948.18 c nbDecision=228500 #constraints=12328 950.67/951.09 c nbDecision=229000 #constraints=12343 952.86/953.27 c nbDecision=229500 #constraints=12353 954.96/955.37 c nbDecision=230000 #constraints=12363 958.46/958.83 c nbDecision=230500 #constraints=12385 961.37/961.75 c nbDecision=231000 #constraints=12398 963.77/964.13 c nbDecision=231500 #constraints=12409 968.26/968.67 c nbDecision=232000 #constraints=12436 972.06/972.42 c nbDecision=232500 #constraints=12453 975.96/976.39 c nbDecision=233000 #constraints=12473 979.35/979.77 c nbDecision=233500 #constraints=12491 981.05/981.46 c nbDecision=234000 #constraints=12495 983.26/983.67 c nbDecision=234500 #constraints=12503 985.66/986.04 c nbDecision=235000 #constraints=12517 988.35/988.77 c nbDecision=235500 #constraints=12531 992.55/992.92 c nbDecision=236000 #constraints=12555 994.25/994.69 c nbDecision=236500 #constraints=12559 997.25/997.62 c nbDecision=237000 #constraints=12571 999.85/1000.24 c nbDecision=237500 #constraints=12583 1002.45/1002.82 c nbDecision=238000 #constraints=12599 1006.85/1007.29 c nbDecision=238500 #constraints=12630 1009.25/1009.67 c nbDecision=239000 #constraints=12641 1012.45/1012.84 c nbDecision=239500 #constraints=12654 1016.74/1017.13 c nbDecision=240000 #constraints=12679 1018.34/1018.78 c nbDecision=240500 #constraints=12686 1020.24/1020.68 c nbDecision=241000 #constraints=12693 1022.24/1022.61 c nbDecision=241500 #constraints=12697 1025.34/1025.71 c nbDecision=242000 #constraints=12712 1027.44/1027.83 c nbDecision=242500 #constraints=12719 1029.94/1030.31 c nbDecision=243000 #constraints=12732 1031.64/1032.08 c nbDecision=243500 #constraints=12737 1034.44/1034.84 c nbDecision=244000 #constraints=12748 1037.14/1037.51 c nbDecision=244500 #constraints=12765 1039.74/1040.15 c nbDecision=245000 #constraints=12778 1042.64/1043.04 c nbDecision=245500 #constraints=12795 1045.14/1045.59 c nbDecision=246000 #constraints=12808 1048.94/1049.31 c nbDecision=246500 #constraints=12832 1052.53/1052.98 c nbDecision=247000 #constraints=12848 1057.63/1058.09 c nbDecision=247500 #constraints=12870 1061.04/1061.48 c nbDecision=248000 #constraints=12885 1065.33/1065.75 c nbDecision=248500 #constraints=12902 1069.12/1069.52 c nbDecision=249000 #constraints=12920 1073.82/1074.26 c nbDecision=249500 #constraints=12944 1076.22/1076.67 c nbDecision=250000 #constraints=12953 1080.22/1080.65 c nbDecision=250500 #constraints=12975 1082.22/1082.60 c nbDecision=251000 #constraints=12979 1085.42/1085.87 c nbDecision=251500 #constraints=13000 1087.42/1087.85 c nbDecision=252000 #constraints=13005 1089.22/1089.65 c nbDecision=252500 #constraints=13009 1091.93/1092.39 c nbDecision=253000 #constraints=13021 1093.82/1094.29 c nbDecision=253500 #constraints=13024 1095.92/1096.35 c nbDecision=254000 #constraints=13031 1097.52/1097.97 c nbDecision=254500 #constraints=13033 1101.01/1101.44 c nbDecision=255000 #constraints=13057 1105.01/1105.45 c nbDecision=255500 #constraints=13079 1108.32/1108.76 c nbDecision=256000 #constraints=13102 1110.42/1110.81 c nbDecision=256500 #constraints=13106 1113.41/1113.89 c nbDecision=257000 #constraints=13122 1115.11/1115.56 c nbDecision=257500 #constraints=13123 1117.01/1117.50 c nbDecision=258000 #constraints=13127 1119.41/1119.89 c nbDecision=258500 #constraints=13139 1122.21/1122.67 c nbDecision=259000 #constraints=13147 1125.51/1125.92 c nbDecision=259500 #constraints=13157 1127.51/1127.94 c nbDecision=260000 #constraints=13163 1129.31/1129.73 c nbDecision=260500 #constraints=13168 1130.90/1131.34 c nbDecision=261000 #constraints=13170 1133.10/1133.52 c nbDecision=261500 #constraints=13177 1136.30/1136.78 c nbDecision=262000 #constraints=13186 1140.40/1140.89 c nbDecision=262500 #constraints=13203 1146.60/1147.09 c nbDecision=263000 #constraints=13229 1150.10/1150.54 c nbDecision=263500 #constraints=13246 1152.10/1152.58 c nbDecision=264000 #constraints=13251 1155.60/1156.09 c nbDecision=264500 #constraints=13265 1158.39/1158.87 c nbDecision=265000 #constraints=13276 1162.29/1162.78 c nbDecision=265500 #constraints=13291 1165.60/1166.04 c nbDecision=266000 #constraints=13303 1167.29/1167.72 c nbDecision=266500 #constraints=13307 1169.19/1169.67 c nbDecision=267000 #constraints=13311 1171.39/1171.80 c nbDecision=267500 #constraints=13317 1173.99/1174.43 c nbDecision=268000 #constraints=13327 1177.59/1178.07 c nbDecision=268500 #constraints=13349 1179.19/1179.69 c nbDecision=269000 #constraints=13351 1181.09/1181.52 c nbDecision=269500 #constraints=13354 1183.39/1183.83 c nbDecision=270000 #constraints=13364 1187.38/1187.82 c nbDecision=270500 #constraints=13391 1191.68/1192.15 c nbDecision=271000 #constraints=13417 1198.38/1198.81 c nbDecision=271500 #constraints=13450 1203.67/1204.11 c nbDecision=272000 #constraints=13484 1206.67/1207.19 c nbDecision=272500 #constraints=13496 1210.08/1210.51 c nbDecision=273000 #constraints=13511 1213.38/1213.80 c nbDecision=273500 #constraints=13523 1216.77/1217.26 c nbDecision=274000 #constraints=13536 1219.77/1220.22 c nbDecision=274500 #constraints=13545 1221.87/1222.33 c nbDecision=275000 #constraints=13552 1223.88/1224.37 c nbDecision=275500 #constraints=13560 1225.97/1226.46 c nbDecision=276000 #constraints=13566 1229.47/1229.96 c nbDecision=276500 #constraints=13577 1232.07/1232.57 c nbDecision=277000 #constraints=13586 1234.67/1235.14 c nbDecision=277500 #constraints=13596 1237.46/1237.92 c nbDecision=278000 #constraints=13609 1241.86/1242.33 c nbDecision=278500 #constraints=13632 1245.86/1246.32 c nbDecision=279000 #constraints=13651 1247.87/1248.33 c nbDecision=279500 #constraints=13656 1251.96/1252.43 c nbDecision=280000 #constraints=13671 1254.86/1255.32 c nbDecision=280500 #constraints=13683 1258.86/1259.39 c nbDecision=281000 #constraints=13709 1261.06/1261.57 c nbDecision=281500 #constraints=13717 1264.15/1264.62 c nbDecision=282000 #constraints=13729 1266.55/1267.09 c nbDecision=282500 #constraints=13738 1268.85/1269.33 c nbDecision=283000 #constraints=13746 1271.55/1272.03 c nbDecision=283500 #constraints=13756 1273.96/1274.41 c nbDecision=284000 #constraints=13764 1277.15/1277.62 c nbDecision=284500 #constraints=13778 1280.25/1280.76 c nbDecision=285000 #constraints=13792 1283.25/1283.73 c nbDecision=285500 #constraints=13807 1285.95/1286.48 c nbDecision=286000 #constraints=13818 1288.45/1288.92 c nbDecision=286500 #constraints=13826 1291.14/1291.64 c nbDecision=287000 #constraints=13839 1295.64/1296.19 c nbDecision=287500 #constraints=13863 1298.94/1299.43 c nbDecision=288000 #constraints=13878 1303.35/1303.86 c nbDecision=288500 #constraints=13898 1307.74/1308.27 c nbDecision=289000 #constraints=13919 1310.75/1311.26 c nbDecision=289500 #constraints=13931 1313.44/1313.94 c nbDecision=290000 #constraints=13944 1316.04/1316.57 c nbDecision=290500 #constraints=13954 1319.83/1320.35 c nbDecision=291000 #constraints=13971 1322.63/1323.13 c nbDecision=291500 #constraints=13982 1325.43/1325.91 c nbDecision=292000 #constraints=13993 1328.54/1329.02 c nbDecision=292500 #constraints=14010 1330.93/1331.44 c nbDecision=293000 #constraints=14021 1332.64/1333.17 c nbDecision=293500 #constraints=14026 1334.73/1335.29 c nbDecision=294000 #constraints=14033 1337.43/1337.98 c nbDecision=294500 #constraints=14043 1339.13/1339.68 c nbDecision=295000 #constraints=14045 1340.93/1341.47 c nbDecision=295500 #constraints=14048 1343.93/1344.40 c nbDecision=296000 #constraints=14062 1347.62/1348.12 c nbDecision=296500 #constraints=14081 1350.62/1351.11 c nbDecision=297000 #constraints=14094 1354.63/1355.11 c nbDecision=297500 #constraints=14119 1359.62/1360.17 c nbDecision=298000 #constraints=14152 1364.22/1364.73 c nbDecision=298500 #constraints=14178 1367.72/1368.21 c nbDecision=299000 #constraints=14196 1370.72/1371.23 c nbDecision=299500 #constraints=14207 1374.02/1374.50 c nbDecision=300000 #constraints=14221 1377.41/1377.98 c nbDecision=300500 #constraints=14237 1382.42/1382.95 c nbDecision=301000 #constraints=14266 1386.91/1387.49 c nbDecision=301500 #constraints=14288 1391.01/1391.50 c nbDecision=302000 #constraints=14300 1393.61/1394.12 c nbDecision=302500 #constraints=14308 1395.70/1396.30 c nbDecision=303000 #constraints=14313 1398.10/1398.60 c nbDecision=303500 #constraints=14318 1400.00/1400.53 c nbDecision=304000 #constraints=14321 1403.61/1404.14 c nbDecision=304500 #constraints=14336 1406.61/1407.10 c nbDecision=305000 #constraints=14347 1408.80/1409.30 c nbDecision=305500 #constraints=14356 1412.60/1413.13 c nbDecision=306000 #constraints=14374 1416.50/1417.07 c nbDecision=306500 #constraints=14395 1421.50/1422.05 c nbDecision=307000 #constraints=14423 1424.30/1424.87 c nbDecision=307500 #constraints=14433 1427.10/1427.62 c nbDecision=308000 #constraints=14443 1431.00/1431.55 c nbDecision=308500 #constraints=14454 1434.00/1434.58 c nbDecision=309000 #constraints=14465 1438.20/1438.80 c nbDecision=309500 #constraints=14479 1442.39/1442.92 c nbDecision=310000 #constraints=14492 1446.49/1447.04 c nbDecision=310500 #constraints=14510 1447.99/1448.55 c nbDecision=311000 #constraints=14513 1450.89/1451.45 c nbDecision=311500 #constraints=14524 1453.99/1454.55 c nbDecision=312000 #constraints=14534 1458.18/1458.75 c nbDecision=312500 #constraints=14551 1459.69/1460.28 c nbDecision=313000 #constraints=14552 1461.79/1462.31 c nbDecision=313500 #constraints=14558 1463.69/1464.20 c nbDecision=314000 #constraints=14562 1465.99/1466.54 c nbDecision=314500 #constraints=14569 1468.78/1469.34 c nbDecision=315000 #constraints=14577 1475.38/1475.95 c nbDecision=315500 #constraints=14600 1480.38/1480.94 c nbDecision=316000 #constraints=14615 1482.38/1482.92 c nbDecision=316500 #constraints=14619 1484.48/1485.06 c nbDecision=317000 #constraints=14622 1488.67/1489.24 c nbDecision=317500 #constraints=14637 1490.77/1491.38 c nbDecision=318000 #constraints=14640 1492.67/1493.24 c nbDecision=318500 #constraints=14643 1495.37/1495.93 c nbDecision=319000 #constraints=14656 1499.37/1499.98 c nbDecision=319500 #constraints=14668 1502.57/1503.12 c nbDecision=320000 #constraints=14684 1504.57/1505.12 c nbDecision=320500 #constraints=14690 1506.57/1507.15 c nbDecision=321000 #constraints=14694 1508.58/1509.16 c nbDecision=321500 #constraints=14698 1510.47/1511.06 c nbDecision=322000 #constraints=14700 1513.27/1513.88 c nbDecision=322500 #constraints=14708 1516.76/1517.35 c nbDecision=323000 #constraints=14729 1520.47/1521.06 c nbDecision=323500 #constraints=14750 1525.17/1525.73 c nbDecision=324000 #constraints=14777 1528.47/1529.06 c nbDecision=324500 #constraints=14793 1533.06/1533.64 c nbDecision=325000 #constraints=14818 1535.76/1536.38 c nbDecision=325500 #constraints=14827 1538.86/1539.49 c nbDecision=326000 #constraints=14840 1540.66/1541.28 c nbDecision=326500 #constraints=14843 1543.65/1544.22 c nbDecision=327000 #constraints=14852 1545.65/1546.26 c nbDecision=327500 #constraints=14857 1548.85/1549.48 c nbDecision=328000 #constraints=14868 1551.26/1551.83 c nbDecision=328500 #constraints=14876 1553.46/1554.09 c nbDecision=329000 #constraints=14883 1558.16/1558.73 c nbDecision=329500 #constraints=14905 1560.75/1561.35 c nbDecision=330000 #constraints=14914 1563.65/1564.29 c nbDecision=330500 #constraints=14926 1566.05/1566.63 c nbDecision=331000 #constraints=14935 1569.34/1569.96 c nbDecision=331500 #constraints=14948 1573.44/1574.05 c nbDecision=332000 #constraints=14960 1577.04/1577.64 c nbDecision=332500 #constraints=14975 1581.25/1581.85 c nbDecision=333000 #constraints=15001 1583.54/1584.11 c nbDecision=333500 #constraints=15006 1586.14/1586.78 c nbDecision=334000 #constraints=15018 1588.44/1589.04 c nbDecision=334500 #constraints=15025 1590.84/1591.45 c nbDecision=335000 #constraints=15031 1593.14/1593.77 c nbDecision=335500 #constraints=15035 1595.64/1596.24 c nbDecision=336000 #constraints=15044 1597.94/1598.51 c nbDecision=336500 #constraints=15052 1600.04/1600.63 c nbDecision=337000 #constraints=15055 1604.03/1604.66 c nbDecision=337500 #constraints=15078 1607.93/1608.59 c nbDecision=338000 #constraints=15095 1611.74/1612.38 c nbDecision=338500 #constraints=15112 1615.63/1616.21 c nbDecision=339000 #constraints=15127 1618.23/1618.88 c nbDecision=339500 #constraints=15135 1622.23/1622.89 c nbDecision=340000 #constraints=15154 1627.02/1627.61 c nbDecision=340500 #constraints=15175 1629.02/1629.65 c nbDecision=341000 #constraints=15180 1634.52/1635.13 c nbDecision=341500 #constraints=15194 1636.82/1637.43 c nbDecision=342000 #constraints=15202 1640.52/1641.20 c nbDecision=342500 #constraints=15218 1643.83/1644.46 c nbDecision=343000 #constraints=15229 1648.32/1648.93 c nbDecision=343500 #constraints=15248 1652.72/1653.39 c nbDecision=344000 #constraints=15265 1657.51/1658.14 c nbDecision=344500 #constraints=15284 1661.01/1661.64 c nbDecision=345000 #constraints=15297 1662.81/1663.48 c nbDecision=345500 #constraints=15301 1667.90/1668.53 c nbDecision=346000 #constraints=15315 1673.01/1673.66 c nbDecision=346500 #constraints=15330 1675.51/1676.11 c nbDecision=347000 #constraints=15334 1679.11/1679.73 c nbDecision=347500 #constraints=15345 1682.01/1682.70 c nbDecision=348000 #constraints=15352 1684.91/1685.58 c nbDecision=348500 #constraints=15361 1686.90/1687.54 c nbDecision=349000 #constraints=15364 1689.20/1689.84 c nbDecision=349500 #constraints=15368 1691.60/1692.28 c nbDecision=350000 #constraints=15373 1693.90/1694.51 c nbDecision=350500 #constraints=15378 1696.90/1697.56 c nbDecision=351000 #constraints=15389 1699.90/1700.53 c nbDecision=351500 #constraints=15415 1701.79/1702.41 c nbDecision=352000 #constraints=15418 1704.60/1705.26 c nbDecision=352500 #constraints=15426 1706.70/1707.36 c nbDecision=353000 #constraints=15428 1709.20/1709.80 c nbDecision=353500 #constraints=15433 1711.00/1711.68 c nbDecision=354000 #constraints=15435 1713.40/1714.05 c nbDecision=354500 #constraints=15441 1715.59/1716.26 c nbDecision=355000 #constraints=15445 1717.69/1718.39 c nbDecision=355500 #constraints=15447 1719.49/1720.12 c nbDecision=356000 #constraints=15450 1721.79/1722.42 c nbDecision=356500 #constraints=15458 1724.29/1724.95 c nbDecision=357000 #constraints=15464 1726.39/1727.06 c nbDecision=357500 #constraints=15469 1731.69/1732.37 c nbDecision=358000 #constraints=15487 1734.49/1735.10 c nbDecision=358500 #constraints=15494 1737.98/1738.63 c nbDecision=359000 #constraints=15505 1741.48/1742.12 c nbDecision=359500 #constraints=15518 1746.08/1746.73 c nbDecision=360000 #constraints=15532 1748.68/1749.40 c nbDecision=360500 #constraints=15542 1752.69/1753.34 c nbDecision=361000 #constraints=15557 1758.18/1758.86 c nbDecision=361500 #constraints=15577 1760.78/1761.42 c nbDecision=362000 #constraints=15583 1763.28/1763.98 c nbDecision=362500 #constraints=15588 1765.47/1766.17 c nbDecision=363000 #constraints=15596 1768.18/1768.85 c nbDecision=363500 #constraints=15605 1770.57/1771.26 c nbDecision=364000 #constraints=15608 1773.37/1774.09 c nbDecision=364500 #constraints=15620 1775.57/1776.20 c nbDecision=365000 #constraints=15625 1778.37/1779.01 c nbDecision=365500 #constraints=15634 1780.87/1781.53 c nbDecision=366000 #constraints=15642 1783.17/1783.83 c nbDecision=366500 #constraints=15649 1785.47/1786.11 c nbDecision=367000 #constraints=15651 1788.07/1788.71 c nbDecision=367500 #constraints=15660 1790.56/1791.23 c nbDecision=368000 #constraints=15668 1792.56/1793.25 c nbDecision=368500 #constraints=15674 1797.36/1798.07 c nbDecision=369000 #constraints=15691 1800.07/1800.70 Received signal 15 1800.07/1800.71 1800.07/1800.71 s UNKNOWN 1800.07/1800.71 1800.07/1800.71 c user time= 1799.08 s 1800.07/1800.71 c system time= 0.998848 s 1800.07/1800.71 c wall clock time=1800.71
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node37/watcher-357341-1176995024 -o ROOT/results/node37/solver-357341-1176995024 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357341-1176995024/instance-357341-1176995024.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.98 0.99 3/78 2115 /proc/meminfo: memFree=1653560/2055920 swapFree=4158988/4192956 [pid=2115] ppid=2113 vsize=1468 CPUtime=0 /proc/2115/stat : 2115 (oree) R 2113 2115 1411 0 -1 4194304 179 0 0 0 0 0 0 0 18 0 1 0 147414887 1503232 161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2115/statm: 367 161 127 317 0 46 0 [startup+0.012799 s] /proc/loadavg: 0.92 0.98 0.99 3/78 2115 /proc/meminfo: memFree=1653560/2055920 swapFree=4158988/4192956 [pid=2115] ppid=2113 vsize=1752 CPUtime=0.01 /proc/2115/stat : 2115 (oree) R 2113 2115 1411 0 -1 4194304 225 0 0 0 1 0 0 0 18 0 1 0 147414887 1794048 207 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2115/statm: 438 207 127 317 0 117 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 1752 [startup+0.102815 s] /proc/loadavg: 0.92 0.98 0.99 3/78 2115 /proc/meminfo: memFree=1653560/2055920 swapFree=4158988/4192956 [pid=2115] ppid=2113 vsize=2944 CPUtime=0.09 /proc/2115/stat : 2115 (oree) R 2113 2115 1411 0 -1 4194304 558 0 0 0 9 0 0 0 18 0 1 0 147414887 3014656 507 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540728 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2115/statm: 736 507 131 317 0 415 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2944 [startup+0.301854 s] /proc/loadavg: 0.92 0.98 0.99 3/78 2115 /proc/meminfo: memFree=1653560/2055920 swapFree=4158988/4192956 [pid=2115] ppid=2113 vsize=6144 CPUtime=0.29 /proc/2115/stat : 2115 (oree) R 2113 2115 1411 0 -1 4194304 1343 0 0 0 29 0 0 0 19 0 1 0 147414887 6291456 1292 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284242 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2115/statm: 1536 1292 131 317 0 1215 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6144 [startup+0.70193 s] /proc/loadavg: 0.92 0.98 0.99 3/78 2115 /proc/meminfo: memFree=1653560/2055920 swapFree=4158988/4192956 [pid=2115] ppid=2113 vsize=12892 CPUtime=0.69 /proc/2115/stat : 2115 (oree) R 2113 2115 1411 0 -1 4194304 2972 0 0 0 68 1 0 0 22 0 1 0 147414887 13201408 2921 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2115/statm: 3223 2921 131 317 0 2902 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12892 [startup+1.50108 s] /proc/loadavg: 0.92 0.98 0.99 2/79 2116 /proc/meminfo: memFree=1637488/2055920 swapFree=4158988/4192956 [pid=2115] ppid=2113 vsize=25536 CPUtime=1.49 /proc/2115/stat : 2115 (oree) R 2113 2115 1411 0 -1 4194304 6092 0 0 0 146 3 0 0 25 0 1 0 147414887 26148864 6041 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2115/statm: 6384 6041 131 317 0 6063 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 25536 [startup+3.10138 s] /proc/loadavg: 0.92 0.98 0.99 2/79 2116 /proc/meminfo: memFree=1622512/2055920 swapFree=4158988/4192956 [pid=2115] ppid=2113 vsize=49676 CPUtime=3.09 /proc/2115/stat : 2115 (oree) R 2113 2115 1411 0 -1 4194304 12068 0 0 0 303 6 0 0 25 0 1 0 147414887 50868224 12017 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2115/statm: 12419 12017 137 317 0 12098 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 49676 [startup+6.30198 s] /proc/loadavg: 0.93 0.98 0.99 2/79 2116 /proc/meminfo: memFree=1603504/2055920 swapFree=4158988/4192956 [pid=2115] ppid=2113 vsize=53048 CPUtime=6.29 /proc/2115/stat : 2115 (oree) R 2113 2115 1411 0 -1 4194304 12827 0 0 0 623 6 0 0 25 0 1 0 147414887 54321152 12776 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2115/statm: 13262 12776 139 317 0 12941 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 53048 [startup+12.7012 s] /proc/loadavg: 0.93 0.98 0.99 2/79 2116 /proc/meminfo: memFree=1597680/2055920 swapFree=4158988/4192956 [pid=2115] ppid=2113 vsize=59328 CPUtime=12.69 /proc/2115/stat : 2115 (oree) R 2113 2115 1411 0 -1 4194304 14373 0 0 0 1261 8 0 0 25 0 1 0 147414887 60751872 14322 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2115/statm: 14832 14322 170 317 0 14511 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 59328 [startup+25.5016 s] /proc/loadavg: 0.95 0.98 0.99 2/79 2116 /proc/meminfo: memFree=1579696/2055920 swapFree=4158988/4192956 [pid=2115] ppid=2113 vsize=76996 CPUtime=25.48 /proc/2115/stat : 2115 (oree) R 2113 2115 1411 0 -1 4194304 18635 0 0 0 2539 9 0 0 25 0 1 0 147414887 78843904 18584 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384531 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2115/statm: 19249 18584 170 317 0 18928 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 76996 [startup+51.1014 s] /proc/loadavg: 0.96 0.98 0.99 2/79 2116 /proc/meminfo: memFree=1564016/2055920 swapFree=4158988/4192956 [pid=2115] ppid=2113 vsize=93216 CPUtime=51.07 /proc/2115/stat : 2115 (oree) R 2113 2115 1411 0 -1 4194304 22591 0 0 0 5096 11 0 0 25 0 1 0 147414887 95453184 22540 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606688 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2115/statm: 23304 22540 170 317 0 22983 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 93216 [startup+102.305 s] /proc/loadavg: 0.98 0.98 0.99 2/79 2116 /proc/meminfo: memFree=1531632/2055920 swapFree=4158988/4192956 [pid=2115] ppid=2113 vsize=125816 CPUtime=102.26 /proc/2115/stat : 2115 (oree) R 2113 2115 1411 0 -1 4194304 30625 0 0 0 10211 15 0 0 25 0 1 0 147414887 128835584 30574 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2115/statm: 31454 30574 170 317 0 31133 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 125816 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/79 2116 /proc/meminfo: memFree=1497648/2055920 swapFree=4158988/4192956 [pid=2115] ppid=2113 vsize=162432 CPUtime=162.23 /proc/2115/stat : 2115 (oree) R 2113 2115 1411 0 -1 4194304 39130 0 0 0 16204 19 0 0 25 0 1 0 147414887 166330368 39079 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284229 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2115/statm: 40608 39079 170 317 0 40287 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 162432 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/79 2116 /proc/meminfo: memFree=1447472/2055920 swapFree=4158988/4192956 [pid=2115] ppid=2113 vsize=217132 CPUtime=222.21 /proc/2115/stat : 2115 (oree) R 2113 2115 1411 0 -1 4194304 51752 0 0 0 22196 25 0 0 25 0 1 0 147414887 222343168 51658 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134593374 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2115/statm: 54283 51658 170 317 0 53962 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 217132 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/79 2116 /proc/meminfo: memFree=1394352/2055920 swapFree=4158988/4192956 [pid=2115] ppid=2113 vsize=284076 CPUtime=282.19 /proc/2115/stat : 2115 (oree) R 2113 2115 1411 0 -1 4194304 65133 0 0 0 28188 31 0 0 25 0 1 0 147414887 290893824 65014 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135270603 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2115/statm: 71019 65014 170 317 0 70698 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 284076 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/79 2116 /proc/meminfo: memFree=1350064/2055920 swapFree=4158988/4192956 [pid=2115] ppid=2113 vsize=335820 CPUtime=342.17 /proc/2115/stat : 2115 (oree) R 2113 2115 1411 0 -1 4194304 76112 0 0 0 34180 37 0 0 25 0 1 0 147414887 343879680 75967 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385271 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2115/statm: 83955 75967 170 317 0 83634 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 335820 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/79 2116 /proc/meminfo: memFree=1318000/2055920 swapFree=4158988/4192956 [pid=2115] ppid=2113 vsize=374016 CPUtime=402.15 /proc/2115/stat : 2115 (oree) R 2113 2115 1411 0 -1 4194304 84148 0 0 0 40175 40 0 0 25 0 1 0 147414887 382992384 83934 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385190 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2115/statm: 93504 83934 170 317 0 93183 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 374016 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/79 2116 /proc/meminfo: memFree=1292528/2055920 swapFree=4158988/4192956 [pid=2115] ppid=2113 vsize=403720 CPUtime=462.13 /proc/2115/stat : 2115 (oree) R 2113 2115 1411 0 -1 4194304 91382 0 0 0 46170 43 0 0 25 0 1 0 147414887 413409280 91168 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2115/statm: 100930 91168 170 317 0 100609 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 403720 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/79 2116 /proc/meminfo: memFree=1266928/2055920 swapFree=4158988/4192956 [pid=2115] ppid=2113 vsize=425916 CPUtime=522.11 /proc/2115/stat : 2115 (oree) R 2113 2115 1411 0 -1 4194304 96901 0 0 0 52165 46 0 0 25 0 1 0 147414887 436137984 96687 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2115/statm: 106479 96687 170 317 0 106158 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 425916 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/79 2116 /proc/meminfo: memFree=1236336/2055920 swapFree=4158988/4192956 [pid=2115] ppid=2113 vsize=459948 CPUtime=582.09 /proc/2115/stat : 2115 (oree) R 2113 2115 1411 0 -1 4194304 104467 0 0 0 58159 50 0 0 25 0 1 0 147414887 470986752 104253 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2115/statm: 114987 104253 170 317 0 114666 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 459948 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.99 2/79 2116 /proc/meminfo: memFree=1214192/2055920 swapFree=4158988/4192956 [pid=2115] ppid=2113 vsize=481212 CPUtime=642.07 /proc/2115/stat : 2115 (oree) R 2113 2115 1411 0 -1 4194304 109981 0 0 0 64155 52 0 0 25 0 1 0 147414887 492761088 109767 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2115/statm: 120303 109767 170 317 0 119982 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 481212 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.98 0.99 2/79 2116 /proc/meminfo: memFree=1117936/2055920 swapFree=4158988/4192956 [pid=2115] ppid=2113 vsize=577144 CPUtime=881.99 /proc/2115/stat : 2115 (oree) R 2113 2115 1411 0 -1 4194304 134017 0 0 0 88135 64 0 0 25 0 1 0 147414887 590995456 133803 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606673 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2115/statm: 144286 133803 170 317 0 143965 0 Current children cumulated CPU time (s) 881.99 Current children cumulated vsize (KiB) 577144 [startup+942.301 s] /proc/loadavg: 0.99 0.98 0.99 2/79 2116 /proc/meminfo: memFree=1096560/2055920 swapFree=4158988/4192956 [pid=2115] ppid=2113 vsize=597664 CPUtime=941.97 /proc/2115/stat : 2115 (oree) R 2113 2115 1411 0 -1 4194304 139427 0 0 0 94129 68 0 0 25 0 1 0 147414887 612007936 139213 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2115/statm: 149416 139213 170 317 0 149095 0 Current children cumulated CPU time (s) 941.97 Current children cumulated vsize (KiB) 597664 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/79 2116 /proc/meminfo: memFree=1061872/2055920 swapFree=4158988/4192956 [pid=2115] ppid=2113 vsize=644460 CPUtime=1001.94 /proc/2115/stat : 2115 (oree) R 2113 2115 1411 0 -1 4194304 148157 0 0 0 100123 71 0 0 25 0 1 0 147414887 659927040 147858 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135270574 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2115/statm: 161115 147858 170 317 0 160794 0 Current children cumulated CPU time (s) 1001.94 Current children cumulated vsize (KiB) 644460 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/79 2116 /proc/meminfo: memFree=1042160/2055920 swapFree=4158988/4192956 [pid=2115] ppid=2113 vsize=664740 CPUtime=1061.93 /proc/2115/stat : 2115 (oree) R 2113 2115 1411 0 -1 4194304 153097 0 0 0 106119 74 0 0 25 0 1 0 147414887 680693760 152798 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2115/statm: 166185 152798 170 317 0 165864 0 Current children cumulated CPU time (s) 1061.93 Current children cumulated vsize (KiB) 664740 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/79 2116 /proc/meminfo: memFree=1012208/2055920 swapFree=4158988/4192956 [pid=2115] ppid=2113 vsize=705836 CPUtime=1121.91 /proc/2115/stat : 2115 (oree) R 2113 2115 1411 0 -1 4194304 160537 0 0 0 112114 77 0 0 25 0 1 0 147414887 722776064 160238 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2115/statm: 176459 160238 170 317 0 176138 0 Current children cumulated CPU time (s) 1121.91 Current children cumulated vsize (KiB) 705836 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/79 2116 /proc/meminfo: memFree=998704/2055920 swapFree=4158988/4192956 [pid=2115] ppid=2113 vsize=718752 CPUtime=1181.88 /proc/2115/stat : 2115 (oree) R 2113 2115 1411 0 -1 4194304 163877 0 0 0 118109 79 0 0 25 0 1 0 147414887 736002048 163578 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2115/statm: 179688 163578 170 317 0 179367 0 Current children cumulated CPU time (s) 1181.88 Current children cumulated vsize (KiB) 718752 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/79 2116 /proc/meminfo: memFree=978800/2055920 swapFree=4158988/4192956 [pid=2115] ppid=2113 vsize=739012 CPUtime=1241.86 /proc/2115/stat : 2115 (oree) R 2113 2115 1411 0 -1 4194304 168853 0 0 0 124105 81 0 0 25 0 1 0 147414887 756748288 168554 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563665 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2115/statm: 184753 168554 170 317 0 184432 0 Current children cumulated CPU time (s) 1241.86 Current children cumulated vsize (KiB) 739012 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/79 2116 /proc/meminfo: memFree=959536/2055920 swapFree=4158988/4192956 [pid=2115] ppid=2113 vsize=757120 CPUtime=1301.85 /proc/2115/stat : 2115 (oree) R 2113 2115 1411 0 -1 4194304 173605 0 0 0 130101 84 0 0 25 0 1 0 147414887 775290880 173306 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385350 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2115/statm: 189280 173306 170 317 0 188959 0 Current children cumulated CPU time (s) 1301.85 Current children cumulated vsize (KiB) 757120 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/79 2116 /proc/meminfo: memFree=942064/2055920 swapFree=4158988/4192956 [pid=2115] ppid=2113 vsize=774664 CPUtime=1361.82 /proc/2115/stat : 2115 (oree) R 2113 2115 1411 0 -1 4194304 178077 0 0 0 136096 86 0 0 25 0 1 0 147414887 793255936 177778 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2115/statm: 193666 177778 170 317 0 193345 0 Current children cumulated CPU time (s) 1361.82 Current children cumulated vsize (KiB) 774664 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/79 2116 /proc/meminfo: memFree=922608/2055920 swapFree=4158988/4192956 [pid=2115] ppid=2113 vsize=792948 CPUtime=1421.81 /proc/2115/stat : 2115 (oree) R 2113 2115 1411 0 -1 4194304 182831 0 0 0 142092 89 0 0 25 0 1 0 147414887 811978752 182532 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606848 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2115/statm: 198237 182532 170 317 0 197916 0 Current children cumulated CPU time (s) 1421.81 Current children cumulated vsize (KiB) 792948 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/79 2116 /proc/meminfo: memFree=909232/2055920 swapFree=4158988/4192956 [pid=2115] ppid=2113 vsize=805384 CPUtime=1481.78 /proc/2115/stat : 2115 (oree) R 2113 2115 1411 0 -1 4194304 186173 0 0 0 148088 90 0 0 25 0 1 0 147414887 824713216 185874 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2115/statm: 201346 185874 170 317 0 201025 0 Current children cumulated CPU time (s) 1481.78 Current children cumulated vsize (KiB) 805384 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/79 2116 /proc/meminfo: memFree=894320/2055920 swapFree=4158988/4192956 [pid=2115] ppid=2113 vsize=818920 CPUtime=1541.75 /proc/2115/stat : 2115 (oree) R 2113 2115 1411 0 -1 4194304 189904 0 0 0 154083 92 0 0 25 0 1 0 147414887 838574080 189605 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2115/statm: 204730 189605 170 317 0 204409 0 Current children cumulated CPU time (s) 1541.75 Current children cumulated vsize (KiB) 818920 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/79 2116 /proc/meminfo: memFree=880880/2055920 swapFree=4158988/4192956 [pid=2115] ppid=2113 vsize=831004 CPUtime=1601.74 /proc/2115/stat : 2115 (oree) R 2113 2115 1411 0 -1 4194304 193290 0 0 0 160080 94 0 0 25 0 1 0 147414887 850948096 192991 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2115/statm: 207751 192991 170 317 0 207430 0 Current children cumulated CPU time (s) 1601.74 Current children cumulated vsize (KiB) 831004 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/79 2116 /proc/meminfo: memFree=863792/2055920 swapFree=4158988/4192956 [pid=2115] ppid=2113 vsize=847464 CPUtime=1661.71 /proc/2115/stat : 2115 (oree) R 2113 2115 1411 0 -1 4194304 197507 0 0 0 166075 96 0 0 25 0 1 0 147414887 867803136 197208 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2115/statm: 211866 197208 170 317 0 211545 0 Current children cumulated CPU time (s) 1661.71 Current children cumulated vsize (KiB) 847464 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/79 2116 /proc/meminfo: memFree=854448/2055920 swapFree=4158988/4192956 [pid=2115] ppid=2113 vsize=856532 CPUtime=1721.69 /proc/2115/stat : 2115 (oree) R 2113 2115 1411 0 -1 4194304 199864 0 0 0 172071 98 0 0 25 0 1 0 147414887 877088768 199565 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135194616 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2115/statm: 214133 199565 170 317 0 213812 0 Current children cumulated CPU time (s) 1721.69 Current children cumulated vsize (KiB) 856532 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/79 2116 /proc/meminfo: memFree=842736/2055920 swapFree=4158988/4192956 [pid=2115] ppid=2113 vsize=867144 CPUtime=1781.67 /proc/2115/stat : 2115 (oree) R 2113 2115 1411 0 -1 4194304 202733 0 0 0 178068 99 0 0 25 0 1 0 147414887 887955456 202434 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2115/statm: 216786 202434 170 317 0 216465 0 Current children cumulated CPU time (s) 1781.67 Current children cumulated vsize (KiB) 867144 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 0.99 0.98 0.99 2/79 2116 /proc/meminfo: memFree=839984/2055920 swapFree=4158988/4192956 [pid=2115] ppid=2113 vsize=869948 CPUtime=1800.07 /proc/2115/stat : 2115 (oree) R 2113 2115 1411 0 -1 4194304 203442 0 0 0 179908 99 0 0 25 0 1 0 147414887 890826752 203143 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2115/statm: 217487 203143 170 317 0 217166 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 869948 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.81 s] /proc/loadavg: 0.99 0.98 0.99 2/79 2116 /proc/meminfo: memFree=839984/2055920 swapFree=4158988/4192956 [pid=2115] ppid=2113 vsize=0 CPUtime=1800.16 /proc/2115/stat : 2115 (oree) R 2113 2115 1411 0 -1 4194308 203458 0 0 0 179910 106 0 0 25 0 1 0 147414887 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2115/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.16 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.87 CPU time (s): 1800.24 CPU user time (s): 1799.11 CPU system time (s): 1.12883 CPU usage (%): 99.965 Max. virtual memory (cumulated for all children) (KiB): 869948 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.11 system time used= 1.12883 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 203458 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= 2387 runsolver used 1.82172 second user time and 4.78127 second system time The end
Begin job on node37 on Thu Apr 19 15:03:44 UTC 2007 IDJOB= 357341 IDBENCH= 2433 IDSOLVER= 172 FILE ID= node37/357341-1176995024 PBS_JOBID= 4630446 Free space on /tmp= 66407 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-cycle.opb COMMAND LINE= oree /tmp/evaluation/357341-1176995024/instance-357341-1176995024.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node37/watcher-357341-1176995024 -o ROOT/results/node37/solver-357341-1176995024 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357341-1176995024/instance-357341-1176995024.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= a4f456875ede4549ae03268180cd603c RANDOM SEED= 917738187 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node37.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.281 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.281 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: 1653968 kB Buffers: 42044 kB Cached: 266064 kB SwapCached: 2516 kB Active: 104580 kB Inactive: 227320 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1653968 kB SwapTotal: 4192956 kB SwapFree: 4158988 kB Dirty: 9688 kB Writeback: 0 kB Mapped: 31448 kB Slab: 55372 kB Committed_AS: 1141856 kB PageTables: 2000 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= 66407 MiB End job on node37 on Thu Apr 19 15:33:47 UTC 2007