Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.15 | 1800.88 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-reduced-mps-v2-20-10-qap10.opb |
MD5SUM | cba28129e4f6f6eef01b4dc927adb1b9 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 29 |
Best CPU time to get the best result obtained on this benchmark | 1782.78 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 29 |
Optimality of the best value was proved | NO |
Number of variables | 83000 |
Total number of constraints | 1820 |
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 | 1820 |
Minimum length of a constraint | 200 |
Maximum length of a constraint | 200 |
Number of terms in the objective function | 52200 |
Biggest coefficient in the objective function | 570 |
Number of bits for the biggest coefficient in the objective function | 10 |
Sum of the numbers in the objective function | 564062 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 26215 |
Number of bits of the biggest number in a constraint | 15 |
Biggest sum of numbers in a constraint | 564062 |
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... 1.29/1.38 c ...done 1.29/1.38 c #vars=83000 #constraints=3641 hasObjective=yes 2.39/2.47 c res. mode=mod 2.39/2.47 c VSIDS like heuristics 2.39/2.47 c complete search running 4.29/4.37 c restart after 401 decisions 4.59/4.65 c nbDecision=500 #constraints=4079 5.50/5.51 c restart after 801 decisions 5.99/6.08 c nbDecision=1000 #constraints=4508 7.39/7.49 c nbDecision=1500 #constraints=4906 7.69/7.79 c restart after 1601 decisions 8.89/8.99 c nbDecision=2000 #constraints=5308 10.39/10.48 c nbDecision=2500 #constraints=5664 11.99/12.06 c nbDecision=3000 #constraints=6055 12.69/12.72 c restart after 3201 decisions 13.59/13.68 c nbDecision=3500 #constraints=6442 15.19/15.29 c nbDecision=4000 #constraints=6801 16.98/17.03 c nbDecision=4500 #constraints=7207 18.69/18.78 c nbDecision=5000 #constraints=7583 20.18/20.29 c nbDecision=5500 #constraints=7947 21.68/21.70 c nbDecision=6000 #constraints=8269 22.68/22.77 c restart after 6401 decisions 23.08/23.16 c nbDecision=6500 #constraints=8601 25.19/25.20 c nbDecision=7000 #constraints=8999 27.08/27.11 c nbDecision=7500 #constraints=9326 29.08/29.15 c nbDecision=8000 #constraints=9646 30.58/30.69 c nbDecision=8500 #constraints=10031 32.37/32.45 c nbDecision=9000 #constraints=10369 33.87/33.94 c nbDecision=9500 #constraints=10779 35.27/35.30 c nbDecision=10000 #constraints=11092 36.47/36.60 c nbDecision=10500 #constraints=11348 37.87/37.95 c nbDecision=11000 #constraints=11617 39.17/39.27 c nbDecision=11500 #constraints=11831 40.47/40.58 c nbDecision=12000 #constraints=12034 41.77/41.88 c nbDecision=12500 #constraints=12202 42.57/42.63 c restart after 12801 decisions 43.17/43.25 c nbDecision=13000 #constraints=12401 44.47/44.59 c nbDecision=13500 #constraints=12558 45.87/45.92 c nbDecision=14000 #constraints=12730 47.37/47.44 c nbDecision=14500 #constraints=12974 49.16/49.28 c nbDecision=15000 #constraints=13323 50.66/50.73 c nbDecision=15500 #constraints=13454 52.06/52.15 c nbDecision=16000 #constraints=13576 53.47/53.58 c nbDecision=16500 #constraints=13678 54.97/55.07 c nbDecision=17000 #constraints=13866 56.46/56.56 c nbDecision=17500 #constraints=13985 58.06/58.15 c nbDecision=18000 #constraints=14183 59.46/59.58 c nbDecision=18500 #constraints=14344 60.86/60.91 c nbDecision=19000 #constraints=14449 62.26/62.36 c nbDecision=19500 #constraints=14583 63.66/63.77 c nbDecision=20000 #constraints=14696 65.06/65.19 c nbDecision=20500 #constraints=14823 66.56/66.61 c nbDecision=21000 #constraints=14892 67.86/67.95 c nbDecision=21500 #constraints=15006 69.26/69.37 c nbDecision=22000 #constraints=15089 70.85/70.97 c nbDecision=22500 #constraints=15273 72.47/72.57 c nbDecision=23000 #constraints=15366 73.96/74.00 c nbDecision=23500 #constraints=15442 75.46/75.55 c nbDecision=24000 #constraints=15537 76.86/76.94 c nbDecision=24500 #constraints=15590 78.36/78.49 c nbDecision=25000 #constraints=15692 79.96/80.02 c nbDecision=25500 #constraints=15806 80.26/80.36 c restart after 25601 decisions 82.46/82.51 c nbDecision=26000 #constraints=16112 85.05/85.17 c nbDecision=26500 #constraints=16378 87.15/87.23 c nbDecision=27000 #constraints=16597 88.65/88.77 c nbDecision=27500 #constraints=16703 90.25/90.31 c nbDecision=28000 #constraints=16817 91.65/91.71 c nbDecision=28500 #constraints=16990 93.05/93.14 c nbDecision=29000 #constraints=17163 94.45/94.50 c nbDecision=29500 #constraints=17307 95.55/95.69 c nbDecision=30000 #constraints=17439 96.95/97.02 c nbDecision=30500 #constraints=17577 98.96/99.00 c nbDecision=31000 #constraints=17730 100.75/100.84 c nbDecision=31500 #constraints=17873 102.75/102.81 c nbDecision=32000 #constraints=17986 104.65/104.70 c nbDecision=32500 #constraints=18087 106.35/106.40 c nbDecision=33000 #constraints=18161 108.15/108.27 c nbDecision=33500 #constraints=18291 110.05/110.12 c nbDecision=34000 #constraints=18368 111.95/112.08 c nbDecision=34500 #constraints=18457 113.84/113.99 c nbDecision=35000 #constraints=18563 115.74/115.83 c nbDecision=35500 #constraints=18640 117.34/117.48 c nbDecision=36000 #constraints=18749 119.04/119.11 c nbDecision=36500 #constraints=18854 120.94/121.07 c nbDecision=37000 #constraints=18963 123.24/123.31 c nbDecision=37500 #constraints=19147 125.74/125.88 c nbDecision=38000 #constraints=19549 128.64/128.75 c nbDecision=38500 #constraints=19954 131.23/131.31 c nbDecision=39000 #constraints=20330 133.64/133.71 c nbDecision=39500 #constraints=20675 136.04/136.10 c nbDecision=40000 #constraints=21021 138.34/138.47 c nbDecision=40500 #constraints=21376 140.53/140.69 c nbDecision=41000 #constraints=21695 142.94/143.09 c nbDecision=41500 #constraints=22003 145.43/145.54 c nbDecision=42000 #constraints=22321 147.73/147.83 c nbDecision=42500 #constraints=22690 150.23/150.34 c nbDecision=43000 #constraints=22990 152.63/152.78 c nbDecision=43500 #constraints=23264 155.04/155.12 c nbDecision=44000 #constraints=23499 157.13/157.22 c nbDecision=44500 #constraints=23747 159.03/159.11 c nbDecision=45000 #constraints=24109 160.82/160.93 c nbDecision=45500 #constraints=24399 163.52/163.63 c nbDecision=46000 #constraints=24623 165.73/165.83 c nbDecision=46500 #constraints=24904 167.53/167.65 c nbDecision=47000 #constraints=25176 169.33/169.50 c nbDecision=47500 #constraints=25507 172.23/172.32 c nbDecision=48000 #constraints=25849 174.73/174.82 c nbDecision=48500 #constraints=26174 176.82/176.97 c nbDecision=49000 #constraints=26474 178.82/178.98 c nbDecision=49500 #constraints=26813 180.92/181.09 c nbDecision=50000 #constraints=27161 183.72/183.89 c nbDecision=50500 #constraints=27448 186.92/187.07 c nbDecision=51000 #constraints=27730 188.21/188.38 c restart after 51201 decisions 190.31/190.43 c nbDecision=51500 #constraints=27963 193.52/193.66 c nbDecision=52000 #constraints=28093 196.81/196.93 c nbDecision=52500 #constraints=28168 199.61/199.76 c nbDecision=53000 #constraints=28231 203.01/203.12 c nbDecision=53500 #constraints=28351 206.41/206.56 c nbDecision=54000 #constraints=28451 209.61/209.79 c nbDecision=54500 #constraints=28523 212.81/212.98 c nbDecision=55000 #constraints=28617 215.81/215.96 c nbDecision=55500 #constraints=28752 218.91/219.09 c nbDecision=56000 #constraints=28882 222.21/222.38 c nbDecision=56500 #constraints=28975 225.51/225.61 c nbDecision=57000 #constraints=29024 228.21/228.37 c nbDecision=57500 #constraints=29128 231.91/232.05 c nbDecision=58000 #constraints=29243 235.10/235.23 c nbDecision=58500 #constraints=29327 238.51/238.64 c nbDecision=59000 #constraints=29417 241.90/242.04 c nbDecision=59500 #constraints=29486 245.00/245.14 c nbDecision=60000 #constraints=29561 246.90/247.05 c nbDecision=60500 #constraints=29827 249.70/249.82 c nbDecision=61000 #constraints=29995 251.59/251.77 c nbDecision=61500 #constraints=30185 254.49/254.61 c nbDecision=62000 #constraints=30314 257.29/257.42 c nbDecision=62500 #constraints=30471 259.99/260.12 c nbDecision=63000 #constraints=30581 262.69/262.84 c nbDecision=63500 #constraints=30725 265.29/265.45 c nbDecision=64000 #constraints=30919 268.69/268.88 c nbDecision=64500 #constraints=31009 271.50/271.66 c nbDecision=65000 #constraints=31164 274.09/274.23 c nbDecision=65500 #constraints=31313 275.69/275.89 c nbDecision=66000 #constraints=31530 277.59/277.80 c nbDecision=66500 #constraints=31776 279.49/279.67 c nbDecision=67000 #constraints=32027 281.78/281.98 c nbDecision=67500 #constraints=32218 283.88/284.08 c nbDecision=68000 #constraints=32439 286.88/287.07 c nbDecision=68500 #constraints=32542 288.88/289.01 c nbDecision=69000 #constraints=32865 290.98/291.14 c nbDecision=69500 #constraints=33096 293.08/293.24 c nbDecision=70000 #constraints=33266 295.38/295.57 c nbDecision=70500 #constraints=33444 298.68/298.85 c nbDecision=71000 #constraints=33556 302.17/302.40 c nbDecision=71500 #constraints=33620 304.77/304.97 c nbDecision=72000 #constraints=33799 308.27/308.41 c nbDecision=72500 #constraints=33896 311.77/311.93 c nbDecision=73000 #constraints=33979 314.97/315.18 c nbDecision=73500 #constraints=34106 318.07/318.23 c nbDecision=74000 #constraints=34173 319.88/320.03 c nbDecision=74500 #constraints=34419 321.77/321.90 c nbDecision=75000 #constraints=34707 324.47/324.63 c nbDecision=75500 #constraints=34849 328.27/328.49 c nbDecision=76000 #constraints=35021 332.27/332.48 c nbDecision=76500 #constraints=35335 336.07/336.21 c nbDecision=77000 #constraints=35549 339.97/340.10 c nbDecision=77500 #constraints=35793 343.56/343.76 c nbDecision=78000 #constraints=35912 346.65/346.83 c nbDecision=78500 #constraints=36059 348.94/349.11 c nbDecision=79000 #constraints=36284 351.03/351.27 c nbDecision=79500 #constraints=36442 353.74/353.91 c nbDecision=80000 #constraints=36664 357.24/357.50 c nbDecision=80500 #constraints=36784 361.52/361.79 c nbDecision=81000 #constraints=37032 365.52/365.75 c nbDecision=81500 #constraints=37222 368.62/368.89 c nbDecision=82000 #constraints=37316 372.09/372.30 c nbDecision=82500 #constraints=37445 376.48/376.72 c nbDecision=83000 #constraints=37728 380.58/380.85 c nbDecision=83500 #constraints=37888 384.98/385.20 c nbDecision=84000 #constraints=38142 388.97/389.29 c nbDecision=84500 #constraints=38279 392.37/392.60 c nbDecision=85000 #constraints=38429 395.97/396.22 c nbDecision=85500 #constraints=38552 398.86/399.19 c nbDecision=86000 #constraints=38686 403.17/403.48 c nbDecision=86500 #constraints=38779 406.57/406.82 c nbDecision=87000 #constraints=38857 409.36/409.65 c nbDecision=87500 #constraints=39054 413.66/413.96 c nbDecision=88000 #constraints=39250 417.86/418.17 c nbDecision=88500 #constraints=39459 422.06/422.39 c nbDecision=89000 #constraints=39607 425.06/425.37 c nbDecision=89500 #constraints=39839 428.55/428.89 c nbDecision=90000 #constraints=39969 431.65/431.98 c nbDecision=90500 #constraints=40109 434.26/434.57 c nbDecision=91000 #constraints=40293 436.95/437.23 c nbDecision=91500 #constraints=40495 438.75/439.02 c nbDecision=92000 #constraints=40698 440.45/440.77 c nbDecision=92500 #constraints=41003 442.74/443.05 c nbDecision=93000 #constraints=41241 444.54/444.87 c nbDecision=93500 #constraints=41431 446.64/446.98 c nbDecision=94000 #constraints=41639 448.64/448.91 c nbDecision=94500 #constraints=41846 452.54/452.82 c nbDecision=95000 #constraints=41976 456.44/456.74 c nbDecision=95500 #constraints=42032 460.04/460.36 c nbDecision=96000 #constraints=42096 463.95/464.27 c nbDecision=96500 #constraints=42147 466.74/467.07 c nbDecision=97000 #constraints=42277 471.44/471.76 c nbDecision=97500 #constraints=42381 476.44/476.78 c nbDecision=98000 #constraints=42456 480.04/480.32 c nbDecision=98500 #constraints=42545 482.14/482.46 c nbDecision=99000 #constraints=42782 484.44/484.74 c nbDecision=99500 #constraints=42982 487.04/487.34 c nbDecision=100000 #constraints=43168 489.53/489.81 c nbDecision=100500 #constraints=43310 491.63/491.97 c nbDecision=101000 #constraints=43552 493.73/494.06 c nbDecision=101500 #constraints=43816 496.63/496.98 c nbDecision=102000 #constraints=44044 498.43/498.76 c restart after 102401 decisions 499.63/499.93 c nbDecision=102500 #constraints=44332 505.02/505.37 c nbDecision=103000 #constraints=44602 510.13/510.44 c nbDecision=103500 #constraints=44762 515.93/516.24 c nbDecision=104000 #constraints=45072 521.03/521.40 c nbDecision=104500 #constraints=45433 526.32/526.63 c nbDecision=105000 #constraints=45794 531.02/531.36 c nbDecision=105500 #constraints=46139 535.92/536.23 c nbDecision=106000 #constraints=46479 541.41/541.72 c nbDecision=106500 #constraints=46825 546.61/546.91 c nbDecision=107000 #constraints=47069 552.01/552.34 c nbDecision=107500 #constraints=47372 557.11/557.41 c nbDecision=108000 #constraints=47609 562.41/562.72 c nbDecision=108500 #constraints=47918 567.61/567.92 c nbDecision=109000 #constraints=48237 571.71/572.06 c nbDecision=109500 #constraints=48540 575.20/575.58 c nbDecision=110000 #constraints=48859 580.90/581.21 c nbDecision=110500 #constraints=49035 584.80/585.17 c nbDecision=111000 #constraints=49184 588.89/589.22 c nbDecision=111500 #constraints=49318 592.50/592.84 c nbDecision=112000 #constraints=49482 597.09/597.43 c nbDecision=112500 #constraints=49612 599.60/599.98 c nbDecision=113000 #constraints=49930 601.99/602.31 c nbDecision=113500 #constraints=50256 604.19/604.55 c nbDecision=114000 #constraints=50571 606.59/606.94 c nbDecision=114500 #constraints=50859 610.09/610.44 c nbDecision=115000 #constraints=51009 612.69/613.06 c nbDecision=115500 #constraints=51225 615.79/616.16 c nbDecision=116000 #constraints=51533 618.49/618.89 c nbDecision=116500 #constraints=51933 621.19/621.56 c nbDecision=117000 #constraints=52264 624.28/624.60 c nbDecision=117500 #constraints=52602 627.38/627.75 c nbDecision=118000 #constraints=52777 630.98/631.33 c nbDecision=118500 #constraints=52991 633.98/634.38 c nbDecision=119000 #constraints=53337 636.98/637.37 c nbDecision=119500 #constraints=53685 640.38/640.77 c nbDecision=120000 #constraints=53828 643.77/644.16 c nbDecision=120500 #constraints=53961 646.87/647.20 c nbDecision=121000 #constraints=54204 649.17/649.54 c nbDecision=121500 #constraints=54383 653.67/654.02 c nbDecision=122000 #constraints=54513 658.07/658.43 c nbDecision=122500 #constraints=54598 661.18/661.60 c nbDecision=123000 #constraints=54838 664.27/664.69 c nbDecision=123500 #constraints=55032 667.97/668.31 c nbDecision=124000 #constraints=55210 671.37/671.74 c nbDecision=124500 #constraints=55418 674.57/674.94 c nbDecision=125000 #constraints=55715 677.46/677.89 c nbDecision=125500 #constraints=55993 680.66/681.04 c nbDecision=126000 #constraints=56252 684.66/685.02 c nbDecision=126500 #constraints=56460 688.06/688.41 c nbDecision=127000 #constraints=56751 691.56/691.95 c nbDecision=127500 #constraints=56945 694.66/695.05 c nbDecision=128000 #constraints=57161 698.07/698.44 c nbDecision=128500 #constraints=57362 701.37/701.72 c nbDecision=129000 #constraints=57583 704.66/705.07 c nbDecision=129500 #constraints=57796 708.06/708.46 c nbDecision=130000 #constraints=58014 711.36/711.79 c nbDecision=130500 #constraints=58294 714.55/714.99 c nbDecision=131000 #constraints=58543 717.85/718.25 c nbDecision=131500 #constraints=58750 721.75/722.17 c nbDecision=132000 #constraints=58882 727.34/727.78 c nbDecision=132500 #constraints=58965 732.25/732.66 c nbDecision=133000 #constraints=59051 736.84/737.26 c nbDecision=133500 #constraints=59171 740.64/741.08 c nbDecision=134000 #constraints=59272 744.64/745.09 c nbDecision=134500 #constraints=59392 748.75/749.11 c nbDecision=135000 #constraints=59486 752.34/752.79 c nbDecision=135500 #constraints=59659 756.44/756.86 c nbDecision=136000 #constraints=59852 762.14/762.52 c nbDecision=136500 #constraints=59957 766.83/767.26 c nbDecision=137000 #constraints=60172 771.13/771.60 c nbDecision=137500 #constraints=60294 776.33/776.76 c nbDecision=138000 #constraints=60382 781.93/782.34 c nbDecision=138500 #constraints=60453 787.42/787.83 c nbDecision=139000 #constraints=60517 792.52/792.93 c nbDecision=139500 #constraints=60606 796.73/797.16 c nbDecision=140000 #constraints=60781 800.93/801.31 c nbDecision=140500 #constraints=61026 805.02/805.47 c nbDecision=141000 #constraints=61360 807.62/808.05 c nbDecision=141500 #constraints=61634 811.52/811.98 c nbDecision=142000 #constraints=61839 815.32/815.71 c nbDecision=142500 #constraints=62114 819.21/819.69 c nbDecision=143000 #constraints=62416 825.71/826.13 c nbDecision=143500 #constraints=62523 831.91/832.39 c nbDecision=144000 #constraints=62673 837.31/837.71 c nbDecision=144500 #constraints=62787 841.71/842.17 c nbDecision=145000 #constraints=62943 844.91/845.36 c nbDecision=145500 #constraints=63205 848.71/849.14 c nbDecision=146000 #constraints=63512 852.91/853.39 c nbDecision=146500 #constraints=63695 856.80/857.26 c nbDecision=147000 #constraints=63938 860.40/860.86 c nbDecision=147500 #constraints=64125 864.90/865.35 c nbDecision=148000 #constraints=64375 870.50/870.92 c nbDecision=148500 #constraints=64447 875.20/875.64 c nbDecision=149000 #constraints=64759 879.50/879.93 c nbDecision=149500 #constraints=65055 883.69/884.13 c nbDecision=150000 #constraints=65316 888.29/888.80 c nbDecision=150500 #constraints=65445 893.19/893.67 c nbDecision=151000 #constraints=65638 897.89/898.36 c nbDecision=151500 #constraints=65886 903.49/903.94 c nbDecision=152000 #constraints=66007 909.29/909.71 c nbDecision=152500 #constraints=66068 914.39/914.85 c nbDecision=153000 #constraints=66238 919.19/919.61 c nbDecision=153500 #constraints=66410 924.38/924.82 c nbDecision=154000 #constraints=66633 928.98/929.43 c nbDecision=154500 #constraints=66799 933.57/934.09 c nbDecision=155000 #constraints=66953 938.27/938.75 c nbDecision=155500 #constraints=67267 942.48/942.93 c nbDecision=156000 #constraints=67559 946.68/947.11 c nbDecision=156500 #constraints=67773 950.77/951.27 c nbDecision=157000 #constraints=67935 956.37/956.81 c nbDecision=157500 #constraints=68117 961.77/962.29 c nbDecision=158000 #constraints=68227 967.76/968.27 c nbDecision=158500 #constraints=68421 972.56/973.07 c nbDecision=159000 #constraints=68673 977.36/977.81 c nbDecision=159500 #constraints=68853 983.26/983.77 c nbDecision=160000 #constraints=69009 988.55/989.07 c nbDecision=160500 #constraints=69349 994.26/994.70 c nbDecision=161000 #constraints=69712 999.66/1000.17 c nbDecision=161500 #constraints=69941 1005.05/1005.56 c nbDecision=162000 #constraints=70144 1010.55/1011.03 c nbDecision=162500 #constraints=70411 1016.55/1017.01 c nbDecision=163000 #constraints=70494 1021.15/1021.67 c nbDecision=163500 #constraints=70644 1026.44/1026.90 c nbDecision=164000 #constraints=70858 1030.64/1031.18 c nbDecision=164500 #constraints=71148 1035.54/1036.05 c nbDecision=165000 #constraints=71450 1040.84/1041.38 c nbDecision=165500 #constraints=71795 1044.73/1045.27 c nbDecision=166000 #constraints=72104 1049.14/1049.67 c nbDecision=166500 #constraints=72377 1053.24/1053.77 c nbDecision=167000 #constraints=72653 1057.43/1057.92 c nbDecision=167500 #constraints=72907 1059.94/1060.46 c nbDecision=168000 #constraints=73182 1063.83/1064.32 c nbDecision=168500 #constraints=73345 1067.23/1067.71 c nbDecision=169000 #constraints=73519 1072.53/1073.04 c nbDecision=169500 #constraints=73636 1076.52/1077.03 c nbDecision=170000 #constraints=73861 1081.22/1081.73 c nbDecision=170500 #constraints=74110 1085.42/1085.97 c nbDecision=171000 #constraints=74308 1090.02/1090.52 c nbDecision=171500 #constraints=74543 1095.12/1095.69 c nbDecision=172000 #constraints=74747 1099.32/1099.80 c nbDecision=172500 #constraints=74927 1104.12/1104.67 c nbDecision=173000 #constraints=75158 1107.82/1108.34 c nbDecision=173500 #constraints=75382 1112.02/1112.52 c nbDecision=174000 #constraints=75530 1116.82/1117.35 c nbDecision=174500 #constraints=75783 1121.81/1122.31 c nbDecision=175000 #constraints=75908 1127.51/1128.03 c nbDecision=175500 #constraints=76072 1131.51/1132.04 c nbDecision=176000 #constraints=76287 1133.91/1134.49 c nbDecision=176500 #constraints=76561 1136.30/1136.88 c nbDecision=177000 #constraints=76856 1140.21/1140.80 c nbDecision=177500 #constraints=77090 1142.80/1143.35 c nbDecision=178000 #constraints=77296 1146.50/1147.07 c nbDecision=178500 #constraints=77452 1151.10/1151.61 c nbDecision=179000 #constraints=77556 1154.59/1155.17 c nbDecision=179500 #constraints=77729 1157.81/1158.35 c nbDecision=180000 #constraints=77924 1161.50/1162.02 c nbDecision=180500 #constraints=78142 1164.00/1164.57 c nbDecision=181000 #constraints=78385 1166.70/1167.27 c nbDecision=181500 #constraints=78565 1168.29/1168.83 c nbDecision=182000 #constraints=78668 1169.80/1170.31 c nbDecision=182500 #constraints=78760 1172.00/1172.54 c nbDecision=183000 #constraints=78858 1174.39/1174.94 c nbDecision=183500 #constraints=78990 1176.79/1177.32 c nbDecision=184000 #constraints=79114 1182.79/1183.31 c nbDecision=184500 #constraints=79192 1186.68/1187.26 c nbDecision=185000 #constraints=79316 1189.59/1190.15 c nbDecision=185500 #constraints=79417 1193.58/1194.14 c nbDecision=186000 #constraints=79551 1201.08/1201.61 c nbDecision=186500 #constraints=79661 1207.58/1208.18 c nbDecision=187000 #constraints=79772 1213.47/1214.04 c nbDecision=187500 #constraints=79928 1219.27/1219.88 c nbDecision=188000 #constraints=80111 1224.58/1225.17 c nbDecision=188500 #constraints=80392 1229.57/1230.14 c nbDecision=189000 #constraints=80554 1231.77/1232.32 c nbDecision=189500 #constraints=80791 1233.68/1234.27 c nbDecision=190000 #constraints=81021 1235.78/1236.35 c nbDecision=190500 #constraints=81249 1237.67/1238.20 c nbDecision=191000 #constraints=81420 1239.47/1240.06 c nbDecision=191500 #constraints=81553 1242.17/1242.78 c nbDecision=192000 #constraints=81735 1247.26/1247.90 c nbDecision=192500 #constraints=82003 1250.46/1251.08 c nbDecision=193000 #constraints=82228 1253.26/1253.89 c nbDecision=193500 #constraints=82552 1255.46/1256.08 c nbDecision=194000 #constraints=82833 1257.56/1258.13 c nbDecision=194500 #constraints=83056 1262.06/1262.67 c nbDecision=195000 #constraints=83148 1267.66/1268.29 c nbDecision=195500 #constraints=83231 1275.06/1275.68 c nbDecision=196000 #constraints=83335 1281.75/1282.34 c nbDecision=196500 #constraints=83424 1288.75/1289.30 c nbDecision=197000 #constraints=83504 1296.35/1296.91 c nbDecision=197500 #constraints=83584 1303.44/1304.00 c nbDecision=198000 #constraints=83708 1310.74/1311.30 c nbDecision=198500 #constraints=83788 1318.84/1319.47 c nbDecision=199000 #constraints=83896 1322.14/1322.74 c nbDecision=199500 #constraints=83953 1328.53/1329.11 c nbDecision=200000 #constraints=84023 1335.83/1336.48 c nbDecision=200500 #constraints=84107 1342.73/1343.31 c nbDecision=201000 #constraints=84180 1349.52/1350.19 c nbDecision=201500 #constraints=84254 1356.12/1356.70 c nbDecision=202000 #constraints=84299 1359.42/1360.04 c nbDecision=202500 #constraints=84509 1364.02/1364.61 c nbDecision=203000 #constraints=84594 1366.12/1366.74 c nbDecision=203500 #constraints=84715 1372.33/1372.90 c nbDecision=204000 #constraints=84807 1378.42/1379.06 c nbDecision=204500 #constraints=84883 1381.92/1382.60 c restart after 204801 decisions 1385.52/1386.19 c nbDecision=205000 #constraints=85060 1393.52/1394.17 c nbDecision=205500 #constraints=85161 1401.51/1402.15 c nbDecision=206000 #constraints=85232 1409.61/1410.29 c nbDecision=206500 #constraints=85406 1417.21/1417.89 c nbDecision=207000 #constraints=85532 1424.70/1425.38 c nbDecision=207500 #constraints=85651 1432.50/1433.11 c nbDecision=208000 #constraints=85723 1439.59/1440.27 c nbDecision=208500 #constraints=85840 1447.49/1448.18 c nbDecision=209000 #constraints=85911 1454.79/1455.48 c nbDecision=209500 #constraints=85971 1462.88/1463.56 c nbDecision=210000 #constraints=86058 1470.38/1471.00 c nbDecision=210500 #constraints=86126 1477.88/1478.58 c nbDecision=211000 #constraints=86210 1484.98/1485.63 c nbDecision=211500 #constraints=86282 1492.27/1492.95 c nbDecision=212000 #constraints=86332 1500.47/1501.16 c nbDecision=212500 #constraints=86494 1507.68/1508.30 c nbDecision=213000 #constraints=86618 1514.87/1515.58 c nbDecision=213500 #constraints=86911 1521.37/1522.09 c nbDecision=214000 #constraints=87153 1528.06/1528.79 c nbDecision=214500 #constraints=87358 1534.96/1535.65 c nbDecision=215000 #constraints=87666 1539.95/1540.61 c nbDecision=215500 #constraints=87819 1546.45/1547.14 c nbDecision=216000 #constraints=88112 1552.15/1552.81 c nbDecision=216500 #constraints=88346 1556.85/1557.58 c nbDecision=217000 #constraints=88517 1561.75/1562.43 c nbDecision=217500 #constraints=88691 1567.95/1568.62 c nbDecision=218000 #constraints=88963 1573.75/1574.45 c nbDecision=218500 #constraints=89185 1580.64/1581.31 c nbDecision=219000 #constraints=89446 1586.44/1587.13 c nbDecision=219500 #constraints=89647 1592.84/1593.51 c nbDecision=220000 #constraints=89937 1599.74/1600.49 c nbDecision=220500 #constraints=90197 1605.63/1606.36 c nbDecision=221000 #constraints=90478 1611.53/1612.20 c nbDecision=221500 #constraints=90703 1618.23/1618.94 c nbDecision=222000 #constraints=90983 1623.82/1624.55 c nbDecision=222500 #constraints=91187 1630.82/1631.58 c nbDecision=223000 #constraints=91455 1638.02/1638.72 c nbDecision=223500 #constraints=91702 1643.83/1644.51 c nbDecision=224000 #constraints=91918 1649.12/1649.82 c nbDecision=224500 #constraints=92038 1655.62/1656.38 c nbDecision=225000 #constraints=92235 1661.92/1662.63 c nbDecision=225500 #constraints=92447 1668.71/1669.46 c nbDecision=226000 #constraints=92727 1674.52/1675.28 c nbDecision=226500 #constraints=92894 1681.61/1682.38 c nbDecision=227000 #constraints=93215 1689.20/1689.93 c nbDecision=227500 #constraints=93533 1696.80/1697.51 c nbDecision=228000 #constraints=93835 1703.90/1704.62 c nbDecision=228500 #constraints=94094 1709.70/1710.46 c nbDecision=229000 #constraints=94298 1716.79/1717.54 c nbDecision=229500 #constraints=94525 1724.79/1725.52 c nbDecision=230000 #constraints=94798 1732.29/1733.03 c nbDecision=230500 #constraints=95074 1738.99/1739.77 c nbDecision=231000 #constraints=95328 1747.28/1748.04 c nbDecision=231500 #constraints=95611 1755.08/1755.84 c nbDecision=232000 #constraints=95955 1762.48/1763.21 c nbDecision=232500 #constraints=96140 1770.47/1771.25 c nbDecision=233000 #constraints=96216 1778.57/1779.30 c nbDecision=233500 #constraints=96262 1786.77/1787.51 c nbDecision=234000 #constraints=96321 1794.56/1795.32 c nbDecision=234500 #constraints=96376 1800.06/1800.80 Received signal 15 1800.06/1800.80 1800.06/1800.80 s UNKNOWN 1800.06/1800.80 1800.06/1800.80 c user time= 1799.63 s 1800.06/1800.80 c system time= 0.449931 s 1800.06/1800.80 c wall clock time=1800.81
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node66/watcher-356875-1176846916 -o ROOT/results/node66/solver-356875-1176846916 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356875-1176846916/instance-356875-1176846916.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.91 0.95 0.93 3/64 10328 /proc/meminfo: memFree=1862200/2055920 swapFree=4176828/4192956 [pid=10328] ppid=10326 vsize=1620 CPUtime=0 /proc/10328/stat : 10328 (oree) R 10326 10328 10142 0 -1 4194304 192 0 0 0 0 0 0 0 18 0 1 0 160681207 1658880 174 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10328/statm: 405 174 126 317 0 84 0 [startup+0.074991 s] /proc/loadavg: 0.91 0.95 0.93 3/64 10328 /proc/meminfo: memFree=1862200/2055920 swapFree=4176828/4192956 [pid=10328] ppid=10326 vsize=3440 CPUtime=0.07 /proc/10328/stat : 10328 (oree) R 10326 10328 10142 0 -1 4194304 819 0 0 0 7 0 0 0 18 0 1 0 160681207 3522560 574 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10328/statm: 860 574 126 317 0 539 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 3440 [startup+0.101995 s] /proc/loadavg: 0.91 0.95 0.93 3/64 10328 /proc/meminfo: memFree=1862200/2055920 swapFree=4176828/4192956 [pid=10328] ppid=10326 vsize=3440 CPUtime=0.09 /proc/10328/stat : 10328 (oree) R 10326 10328 10142 0 -1 4194304 847 0 0 0 9 0 0 0 18 0 1 0 160681207 3522560 602 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10328/statm: 860 602 127 317 0 539 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3440 [startup+0.301036 s] /proc/loadavg: 0.91 0.95 0.93 3/64 10328 /proc/meminfo: memFree=1862200/2055920 swapFree=4176828/4192956 [pid=10328] ppid=10326 vsize=7136 CPUtime=0.29 /proc/10328/stat : 10328 (oree) R 10326 10328 10142 0 -1 4194304 1781 0 0 0 29 0 0 0 19 0 1 0 160681207 7307264 1536 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10328/statm: 1784 1536 131 317 0 1463 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7136 [startup+0.701114 s] /proc/loadavg: 0.91 0.95 0.93 3/64 10328 /proc/meminfo: memFree=1862200/2055920 swapFree=4176828/4192956 [pid=10328] ppid=10326 vsize=16640 CPUtime=0.69 /proc/10328/stat : 10328 (oree) R 10326 10328 10142 0 -1 4194304 4134 0 0 0 67 2 0 0 22 0 1 0 160681207 17039360 3889 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10328/statm: 4160 3889 131 317 0 3839 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 16640 [startup+1.50127 s] /proc/loadavg: 0.91 0.95 0.93 2/65 10329 /proc/meminfo: memFree=1840048/2055920 swapFree=4176828/4192956 [pid=10328] ppid=10326 vsize=40652 CPUtime=1.49 /proc/10328/stat : 10328 (oree) R 10326 10328 10142 0 -1 4194304 10167 0 0 0 144 5 0 0 25 0 1 0 160681207 41627648 9922 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10328/statm: 10163 9922 137 317 0 9842 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 40652 [startup+3.10259 s] /proc/loadavg: 0.91 0.95 0.93 2/65 10329 /proc/meminfo: memFree=1820144/2055920 swapFree=4176828/4192956 [pid=10328] ppid=10326 vsize=47384 CPUtime=3.09 /proc/10328/stat : 10328 (oree) R 10326 10328 10142 0 -1 4194304 11832 0 0 0 303 6 0 0 25 0 1 0 160681207 48521216 11587 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10328/statm: 11846 11587 137 317 0 11525 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 47384 [startup+6.30123 s] /proc/loadavg: 0.92 0.95 0.93 2/65 10329 /proc/meminfo: memFree=1814896/2055920 swapFree=4176828/4192956 [pid=10328] ppid=10326 vsize=49028 CPUtime=6.29 /proc/10328/stat : 10328 (oree) R 10326 10328 10142 0 -1 4194304 12215 0 0 0 622 7 0 0 25 0 1 0 160681207 50204672 11970 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10328/statm: 12257 11970 139 317 0 11936 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 49028 [startup+12.7015 s] /proc/loadavg: 0.93 0.95 0.93 2/65 10329 /proc/meminfo: memFree=1811952/2055920 swapFree=4176828/4192956 [pid=10328] ppid=10326 vsize=51824 CPUtime=12.69 /proc/10328/stat : 10328 (oree) R 10326 10328 10142 0 -1 4194304 12932 0 0 0 1262 7 0 0 25 0 1 0 160681207 53067776 12687 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10328/statm: 12956 12687 139 317 0 12635 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 51824 [startup+25.5011 s] /proc/loadavg: 0.94 0.96 0.93 2/65 10329 /proc/meminfo: memFree=1807216/2055920 swapFree=4176828/4192956 [pid=10328] ppid=10326 vsize=56612 CPUtime=25.48 /proc/10328/stat : 10328 (oree) R 10326 10328 10142 0 -1 4194304 14094 0 0 0 2540 8 0 0 25 0 1 0 160681207 57970688 13799 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10328/statm: 14153 13799 139 317 0 13832 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 56612 [startup+51.1012 s] /proc/loadavg: 0.96 0.96 0.93 2/65 10329 /proc/meminfo: memFree=1800816/2055920 swapFree=4176828/4192956 [pid=10328] ppid=10326 vsize=63080 CPUtime=51.06 /proc/10328/stat : 10328 (oree) R 10326 10328 10142 0 -1 4194304 15734 0 0 0 5097 9 0 0 25 0 1 0 160681207 64593920 15439 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606688 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10328/statm: 15770 15439 139 317 0 15449 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 63080 [startup+102.305 s] /proc/loadavg: 0.98 0.96 0.93 2/65 10329 /proc/meminfo: memFree=1793904/2055920 swapFree=4176828/4192956 [pid=10328] ppid=10326 vsize=70068 CPUtime=102.26 /proc/10328/stat : 10328 (oree) R 10326 10328 10142 0 -1 4194304 17531 0 0 0 10214 12 0 0 25 0 1 0 160681207 71749632 17137 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10328/statm: 17517 17137 139 317 0 17196 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 70068 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.93 2/65 10329 /proc/meminfo: memFree=1784112/2055920 swapFree=4176828/4192956 [pid=10328] ppid=10326 vsize=80068 CPUtime=162.22 /proc/10328/stat : 10328 (oree) R 10326 10328 10142 0 -1 4194304 19976 0 0 0 16208 14 0 0 25 0 1 0 160681207 81989632 19582 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606679 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10328/statm: 20017 19582 139 317 0 19696 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 80068 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.93 2/65 10329 /proc/meminfo: memFree=1776368/2055920 swapFree=4176828/4192956 [pid=10328] ppid=10326 vsize=88040 CPUtime=222.21 /proc/10328/stat : 10328 (oree) R 10326 10328 10142 0 -1 4194304 22047 0 0 0 22205 16 0 0 25 0 1 0 160681207 90152960 21455 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716050 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10328/statm: 22010 21455 139 317 0 21689 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 88040 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.93 2/65 10329 /proc/meminfo: memFree=1771824/2055920 swapFree=4176828/4192956 [pid=10328] ppid=10326 vsize=93068 CPUtime=282.18 /proc/10328/stat : 10328 (oree) R 10326 10328 10142 0 -1 4194304 23222 0 0 0 28201 17 0 0 25 0 1 0 160681207 95301632 22630 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10328/statm: 23267 22630 139 317 0 22946 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 93068 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.93 2/65 10329 /proc/meminfo: memFree=1765808/2055920 swapFree=4176832/4192956 [pid=10328] ppid=10326 vsize=100596 CPUtime=342.16 /proc/10328/stat : 10328 (oree) R 10326 10328 10142 0 -1 4194304 24999 0 0 0 34198 18 0 0 25 0 1 0 160681207 103010304 24110 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10328/statm: 25149 24110 139 317 0 24828 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 100596 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.93 2/65 10527 /proc/meminfo: memFree=1761264/2055920 swapFree=4176832/4192956 [pid=10328] ppid=10326 vsize=104696 CPUtime=402.07 /proc/10328/stat : 10328 (oree) R 10326 10328 10142 0 -1 4194304 26082 0 0 0 40185 22 0 0 25 0 1 0 160681207 107208704 25193 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10328/statm: 26174 25193 139 317 0 25853 0 Current children cumulated CPU time (s) 402.07 Current children cumulated vsize (KiB) 104696 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.93 2/65 10527 /proc/meminfo: memFree=1756272/2055920 swapFree=4176832/4192956 [pid=10328] ppid=10326 vsize=109432 CPUtime=462.05 /proc/10328/stat : 10328 (oree) R 10326 10328 10142 0 -1 4194304 27333 0 0 0 46182 23 0 0 25 0 1 0 160681207 112058368 26444 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10328/statm: 27358 26444 139 317 0 27037 0 Current children cumulated CPU time (s) 462.05 Current children cumulated vsize (KiB) 109432 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.93 2/65 10527 /proc/meminfo: memFree=1751024/2055920 swapFree=4176832/4192956 [pid=10328] ppid=10326 vsize=114564 CPUtime=522.02 /proc/10328/stat : 10328 (oree) R 10326 10328 10142 0 -1 4194304 28654 0 0 0 52178 24 0 0 25 0 1 0 160681207 117313536 27765 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10328/statm: 28641 27765 139 317 0 28320 0 Current children cumulated CPU time (s) 522.02 Current children cumulated vsize (KiB) 114564 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.93 2/65 10527 /proc/meminfo: memFree=1745904/2055920 swapFree=4176832/4192956 [pid=10328] ppid=10326 vsize=119032 CPUtime=582 /proc/10328/stat : 10328 (oree) R 10326 10328 10142 0 -1 4194304 29905 0 0 0 58175 25 0 0 25 0 1 0 160681207 121888768 29016 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10328/statm: 29758 29016 139 317 0 29437 0 Current children cumulated CPU time (s) 582 Current children cumulated vsize (KiB) 119032 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.93 2/65 10527 /proc/meminfo: memFree=1737840/2055920 swapFree=4176832/4192956 [pid=10328] ppid=10326 vsize=127144 CPUtime=641.98 /proc/10328/stat : 10328 (oree) R 10326 10328 10142 0 -1 4194304 31918 0 0 0 64172 26 0 0 25 0 1 0 160681207 130195456 31029 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10328/statm: 31786 31029 139 317 0 31465 0 Current children cumulated CPU time (s) 641.98 Current children cumulated vsize (KiB) 127144 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 0.99 0.97 0.93 2/65 10527 /proc/meminfo: memFree=1724528/2055920 swapFree=4176832/4192956 [pid=10328] ppid=10326 vsize=141480 CPUtime=821.91 /proc/10328/stat : 10328 (oree) R 10326 10328 10142 0 -1 4194304 35653 0 0 0 82161 30 0 0 25 0 1 0 160681207 144875520 34370 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563998 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10328/statm: 35370 34370 139 317 0 35049 0 Current children cumulated CPU time (s) 821.91 Current children cumulated vsize (KiB) 141480 [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.93 2/65 10527 /proc/meminfo: memFree=1720304/2055920 swapFree=4176832/4192956 [pid=10328] ppid=10326 vsize=145296 CPUtime=881.89 /proc/10328/stat : 10328 (oree) R 10326 10328 10142 0 -1 4194304 36692 0 0 0 88158 31 0 0 25 0 1 0 160681207 148783104 35409 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10328/statm: 36324 35409 139 317 0 36003 0 Current children cumulated CPU time (s) 881.89 Current children cumulated vsize (KiB) 145296 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.93 2/65 10527 /proc/meminfo: memFree=1716720/2055920 swapFree=4176832/4192956 [pid=10328] ppid=10326 vsize=148864 CPUtime=941.87 /proc/10328/stat : 10328 (oree) R 10326 10328 10142 0 -1 4194304 37664 0 0 0 94154 33 0 0 25 0 1 0 160681207 152436736 36316 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10328/statm: 37216 36316 139 317 0 36895 0 Current children cumulated CPU time (s) 941.87 Current children cumulated vsize (KiB) 148864 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.93 2/65 10527 /proc/meminfo: memFree=1712368/2055920 swapFree=4176832/4192956 [pid=10328] ppid=10326 vsize=154352 CPUtime=1001.86 /proc/10328/stat : 10328 (oree) R 10326 10328 10142 0 -1 4194304 38993 0 0 0 100152 34 0 0 25 0 1 0 160681207 158056448 37381 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10328/statm: 38588 37381 139 317 0 38267 0 Current children cumulated CPU time (s) 1001.86 Current children cumulated vsize (KiB) 154352 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.93 2/65 10527 /proc/meminfo: memFree=1707056/2055920 swapFree=4176832/4192956 [pid=10328] ppid=10326 vsize=162820 CPUtime=1061.83 /proc/10328/stat : 10328 (oree) R 10326 10328 10142 0 -1 4194304 41098 0 0 0 106148 35 0 0 25 0 1 0 160681207 166727680 38706 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10328/statm: 40705 38706 139 317 0 40384 0 Current children cumulated CPU time (s) 1061.83 Current children cumulated vsize (KiB) 162820 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.93 2/65 10527 /proc/meminfo: memFree=1702256/2055920 swapFree=4176832/4192956 [pid=10328] ppid=10326 vsize=168012 CPUtime=1121.81 /proc/10328/stat : 10328 (oree) R 10326 10328 10142 0 -1 4194304 42280 0 0 0 112145 36 0 0 25 0 1 0 160681207 172044288 39888 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562665 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10328/statm: 42003 39888 139 317 0 41682 0 Current children cumulated CPU time (s) 1121.81 Current children cumulated vsize (KiB) 168012 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.93 2/65 10527 /proc/meminfo: memFree=1697200/2055920 swapFree=4176832/4192956 [pid=10328] ppid=10326 vsize=172640 CPUtime=1181.79 /proc/10328/stat : 10328 (oree) R 10326 10328 10142 0 -1 4194304 43528 0 0 0 118142 37 0 0 25 0 1 0 160681207 176783360 41136 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10328/statm: 43160 41136 139 317 0 42839 0 Current children cumulated CPU time (s) 1181.79 Current children cumulated vsize (KiB) 172640 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.93 2/65 10527 /proc/meminfo: memFree=1693424/2055920 swapFree=4176832/4192956 [pid=10328] ppid=10326 vsize=176348 CPUtime=1241.77 /proc/10328/stat : 10328 (oree) R 10326 10328 10142 0 -1 4194304 44494 0 0 0 124139 38 0 0 25 0 1 0 160681207 180580352 42102 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10328/statm: 44087 42102 139 317 0 43766 0 Current children cumulated CPU time (s) 1241.77 Current children cumulated vsize (KiB) 176348 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.93 2/65 10527 /proc/meminfo: memFree=1689712/2055920 swapFree=4176832/4192956 [pid=10328] ppid=10326 vsize=180480 CPUtime=1301.75 /proc/10328/stat : 10328 (oree) R 10326 10328 10142 0 -1 4194304 45414 0 0 0 130136 39 0 0 25 0 1 0 160681207 184811520 43022 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711134 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10328/statm: 45120 43022 139 317 0 44799 0 Current children cumulated CPU time (s) 1301.75 Current children cumulated vsize (KiB) 180480 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.93 2/65 10527 /proc/meminfo: memFree=1688432/2055920 swapFree=4176832/4192956 [pid=10328] ppid=10326 vsize=181668 CPUtime=1361.72 /proc/10328/stat : 10328 (oree) R 10326 10328 10142 0 -1 4194304 45721 0 0 0 136133 39 0 0 25 0 1 0 160681207 186028032 43329 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10328/statm: 45417 43329 139 317 0 45096 0 Current children cumulated CPU time (s) 1361.72 Current children cumulated vsize (KiB) 181668 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.93 2/65 10527 /proc/meminfo: memFree=1686960/2055920 swapFree=4176832/4192956 [pid=10328] ppid=10326 vsize=182976 CPUtime=1421.71 /proc/10328/stat : 10328 (oree) R 10326 10328 10142 0 -1 4194304 46089 0 0 0 142131 40 0 0 25 0 1 0 160681207 187367424 43697 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10328/statm: 45744 43697 139 317 0 45423 0 Current children cumulated CPU time (s) 1421.71 Current children cumulated vsize (KiB) 182976 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.93 2/65 10527 /proc/meminfo: memFree=1685296/2055920 swapFree=4176832/4192956 [pid=10328] ppid=10326 vsize=184948 CPUtime=1481.68 /proc/10328/stat : 10328 (oree) R 10326 10328 10142 0 -1 4194304 46476 0 0 0 148128 40 0 0 25 0 1 0 160681207 189386752 44084 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10328/statm: 46237 44084 139 317 0 45916 0 Current children cumulated CPU time (s) 1481.68 Current children cumulated vsize (KiB) 184948 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.93 2/65 10527 /proc/meminfo: memFree=1682864/2055920 swapFree=4176832/4192956 [pid=10328] ppid=10326 vsize=187188 CPUtime=1541.66 /proc/10328/stat : 10328 (oree) R 10326 10328 10142 0 -1 4194304 47089 0 0 0 154125 41 0 0 25 0 1 0 160681207 191680512 44697 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10328/statm: 46797 44697 139 317 0 46476 0 Current children cumulated CPU time (s) 1541.66 Current children cumulated vsize (KiB) 187188 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.93 2/65 10527 /proc/meminfo: memFree=1679152/2055920 swapFree=4176832/4192956 [pid=10328] ppid=10326 vsize=190680 CPUtime=1601.64 /proc/10328/stat : 10328 (oree) R 10326 10328 10142 0 -1 4194304 48038 0 0 0 160122 42 0 0 25 0 1 0 160681207 195256320 45646 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718334 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10328/statm: 47670 45646 139 317 0 47349 0 Current children cumulated CPU time (s) 1601.64 Current children cumulated vsize (KiB) 190680 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.93 2/65 10527 /proc/meminfo: memFree=1675760/2055920 swapFree=4176832/4192956 [pid=10328] ppid=10326 vsize=193920 CPUtime=1661.62 /proc/10328/stat : 10328 (oree) R 10326 10328 10142 0 -1 4194304 48901 0 0 0 166119 43 0 0 25 0 1 0 160681207 198574080 46476 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10328/statm: 48480 46476 139 317 0 48159 0 Current children cumulated CPU time (s) 1661.62 Current children cumulated vsize (KiB) 193920 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.93 2/65 10527 /proc/meminfo: memFree=1672112/2055920 swapFree=4176832/4192956 [pid=10328] ppid=10326 vsize=197128 CPUtime=1721.59 /proc/10328/stat : 10328 (oree) R 10326 10328 10142 0 -1 4194304 49818 0 0 0 172116 43 0 0 25 0 1 0 160681207 201859072 47393 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606688 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10328/statm: 49282 47393 139 317 0 48961 0 Current children cumulated CPU time (s) 1721.59 Current children cumulated vsize (KiB) 197128 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.93 2/65 10527 /proc/meminfo: memFree=1669488/2055920 swapFree=4176832/4192956 [pid=10328] ppid=10326 vsize=199528 CPUtime=1781.57 /proc/10328/stat : 10328 (oree) R 10326 10328 10142 0 -1 4194304 50453 0 0 0 178113 44 0 0 25 0 1 0 160681207 204316672 48028 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10328/statm: 49882 48028 139 317 0 49561 0 Current children cumulated CPU time (s) 1781.57 Current children cumulated vsize (KiB) 199528 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 0.99 0.97 0.93 2/65 10527 /proc/meminfo: memFree=1669232/2055920 swapFree=4176832/4192956 [pid=10328] ppid=10326 vsize=199660 CPUtime=1800.06 /proc/10328/stat : 10328 (oree) R 10326 10328 10142 0 -1 4194304 50511 0 0 0 179962 44 0 0 25 0 1 0 160681207 204451840 48086 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10328/statm: 49915 48086 139 317 0 49594 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 199660 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.88 CPU time (s): 1800.15 CPU user time (s): 1799.67 CPU system time (s): 0.480926 CPU usage (%): 99.9596 Max. virtual memory (cumulated for all children) (KiB): 199660 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.67 system time used= 0.480926 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 50527 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= 2794 runsolver used 1.2808 second user time and 3.73243 second system time The end
Begin job on node66 on Tue Apr 17 21:55:16 UTC 2007 IDJOB= 356875 IDBENCH= 1581 IDSOLVER= 172 FILE ID= node66/356875-1176846916 PBS_JOBID= 4590183 Free space on /tmp= 66440 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-qap10.opb COMMAND LINE= oree /tmp/evaluation/356875-1176846916/instance-356875-1176846916.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node66/watcher-356875-1176846916 -o ROOT/results/node66/solver-356875-1176846916 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356875-1176846916/instance-356875-1176846916.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= cba28129e4f6f6eef01b4dc927adb1b9 RANDOM SEED= 275602082 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node66.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: 1862672 kB Buffers: 13672 kB Cached: 122152 kB SwapCached: 9832 kB Active: 26908 kB Inactive: 124756 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1862672 kB SwapTotal: 4192956 kB SwapFree: 4176828 kB Dirty: 5784 kB Writeback: 0 kB Mapped: 15668 kB Slab: 27696 kB Committed_AS: 753108 kB PageTables: 1376 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= 66440 MiB End job on node66 on Tue Apr 17 22:25:19 UTC 2007