Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.42 | 1800.98 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-recipe.opb |
MD5SUM | 19c812fe81842f9b63508fc356bab039 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -127156975 |
Best CPU time to get the best result obtained on this benchmark | 1800.7 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -130330680 |
Optimality of the best value was proved | NO |
Number of variables | 3671 |
Total number of constraints | 159 |
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 | 159 |
Minimum length of a constraint | 10 |
Maximum length of a constraint | 420 |
Number of terms in the objective function | 1055 |
Biggest coefficient in the objective function | 65536000 |
Number of bits for the biggest coefficient in the objective function | 26 |
Sum of the numbers in the objective function | 584330055 |
Number of bits of the sum of numbers in the objective function | 30 |
Biggest number in a constraint | 5681631310381056 |
Number of bits of the biggest number in a constraint | 53 |
Biggest sum of numbers in a constraint | 98271137637301167 |
Number of bits of the biggest sum of numbers | 57 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c This is oree version 0.1.2 alpha 0.00/0.00 c (c) roussel@cril.univ-artois.fr 0.00/0.00 c using __gmp_expr<__gmpz_value, __gmpz_value> 0.00/0.00 c parsing... 0.00/0.07 c ...done 0.00/0.07 c #vars=3671 #constraints=224 hasObjective=yes 0.00/0.08 c res. mode=mod 0.00/0.08 c VSIDS like heuristics 0.00/0.08 c complete search running 0.09/0.13 c restart after 401 decisions 0.09/0.14 c nbDecision=500 #constraints=224 0.09/0.17 c restart after 801 decisions 0.09/0.19 c nbDecision=1000 #constraints=224 0.19/0.23 c nbDecision=1500 #constraints=224 0.19/0.24 c restart after 1601 decisions 0.19/0.28 c nbDecision=2000 #constraints=224 0.29/0.32 c nbDecision=2500 #constraints=224 0.39/0.44 c nbDecision=3000 #constraints=284 0.49/0.51 c restart after 3201 decisions 0.49/0.55 c nbDecision=3500 #constraints=326 0.49/0.59 c nbDecision=4000 #constraints=326 0.59/0.65 c nbDecision=4500 #constraints=344 0.69/0.70 c nbDecision=5000 #constraints=357 0.89/0.92 c nbDecision=5500 #constraints=445 1.10/1.12 c nbDecision=6000 #constraints=524 1.29/1.30 c restart after 6401 decisions 1.29/1.33 c nbDecision=6500 #constraints=608 1.29/1.37 c nbDecision=7000 #constraints=608 1.39/1.45 c nbDecision=7500 #constraints=621 1.59/1.61 c nbDecision=8000 #constraints=687 1.69/1.77 c nbDecision=8500 #constraints=748 2.19/2.28 c nbDecision=9000 #constraints=928 2.48/2.56 c nbDecision=9500 #constraints=1025 2.69/2.74 c nbDecision=10000 #constraints=1076 2.99/3.02 c nbDecision=10500 #constraints=1160 3.20/3.25 c nbDecision=11000 #constraints=1219 3.49/3.51 c nbDecision=11500 #constraints=1287 3.69/3.71 c nbDecision=12000 #constraints=1337 3.89/3.95 c nbDecision=12500 #constraints=1399 3.99/4.08 c restart after 12801 decisions 4.09/4.15 c nbDecision=13000 #constraints=1418 4.09/4.19 c nbDecision=13500 #constraints=1418 4.29/4.32 c nbDecision=14000 #constraints=1435 4.58/4.62 c nbDecision=14500 #constraints=1508 4.78/4.87 c nbDecision=15000 #constraints=1574 5.19/5.21 c nbDecision=15500 #constraints=1654 5.69/5.76 c nbDecision=16000 #constraints=1794 6.09/6.18 c nbDecision=16500 #constraints=1892 6.39/6.47 c nbDecision=17000 #constraints=1946 6.79/6.89 c nbDecision=17500 #constraints=2022 7.28/7.36 c nbDecision=18000 #constraints=2102 7.69/7.76 c nbDecision=18500 #constraints=2160 7.98/8.04 c nbDecision=19000 #constraints=2196 8.49/8.58 c nbDecision=19500 #constraints=2288 8.99/9.00 c nbDecision=20000 #constraints=2346 9.49/9.51 c nbDecision=20500 #constraints=2427 9.99/10.00 c nbDecision=21000 #constraints=2497 10.49/10.52 c nbDecision=21500 #constraints=2568 10.99/11.01 c nbDecision=22000 #constraints=2619 11.38/11.47 c nbDecision=22500 #constraints=2670 11.68/11.77 c nbDecision=23000 #constraints=2695 12.09/12.16 c nbDecision=23500 #constraints=2727 12.58/12.61 c nbDecision=24000 #constraints=2776 13.19/13.24 c nbDecision=24500 #constraints=2854 13.79/13.89 c nbDecision=25000 #constraints=2925 14.68/14.76 c nbDecision=25500 #constraints=3005 14.88/14.99 c restart after 25601 decisions 15.18/15.22 c nbDecision=26000 #constraints=3033 15.29/15.40 c nbDecision=26500 #constraints=3033 16.29/16.30 c nbDecision=27000 #constraints=3210 16.89/16.98 c nbDecision=27500 #constraints=3278 17.39/17.46 c nbDecision=28000 #constraints=3335 17.99/18.06 c nbDecision=28500 #constraints=3399 18.49/18.56 c nbDecision=29000 #constraints=3443 18.98/19.08 c nbDecision=29500 #constraints=3504 19.59/19.64 c nbDecision=30000 #constraints=3566 20.28/20.36 c nbDecision=30500 #constraints=3626 20.98/21.03 c nbDecision=31000 #constraints=3696 21.59/21.62 c nbDecision=31500 #constraints=3740 22.39/22.43 c nbDecision=32000 #constraints=3831 22.89/22.96 c nbDecision=32500 #constraints=3871 23.99/24.00 c nbDecision=33000 #constraints=3927 24.78/24.82 c nbDecision=33500 #constraints=4021 25.48/25.54 c nbDecision=34000 #constraints=4093 26.69/26.77 c nbDecision=34500 #constraints=4224 27.69/27.74 c nbDecision=35000 #constraints=4326 28.38/28.43 c nbDecision=35500 #constraints=4377 29.28/29.36 c nbDecision=36000 #constraints=4467 30.38/30.45 c nbDecision=36500 #constraints=4560 31.49/31.57 c nbDecision=37000 #constraints=4653 32.49/32.53 c nbDecision=37500 #constraints=4728 33.68/33.75 c nbDecision=38000 #constraints=4858 34.68/34.79 c nbDecision=38500 #constraints=4963 35.88/35.95 c nbDecision=39000 #constraints=5052 36.78/36.85 c nbDecision=39500 #constraints=5123 37.68/37.72 c nbDecision=40000 #constraints=5176 38.58/38.68 c nbDecision=40500 #constraints=5235 39.88/39.93 c nbDecision=41000 #constraints=5325 40.88/41.00 c nbDecision=41500 #constraints=5389 41.78/41.88 c nbDecision=42000 #constraints=5432 42.78/42.82 c nbDecision=42500 #constraints=5494 43.48/43.55 c nbDecision=43000 #constraints=5535 44.28/44.32 c nbDecision=43500 #constraints=5571 45.08/45.14 c nbDecision=44000 #constraints=5619 45.87/45.94 c nbDecision=44500 #constraints=5661 46.77/46.83 c nbDecision=45000 #constraints=5701 47.88/47.97 c nbDecision=45500 #constraints=5780 48.78/48.88 c nbDecision=46000 #constraints=5836 49.68/49.77 c nbDecision=46500 #constraints=5896 50.58/50.60 c nbDecision=47000 #constraints=5948 51.68/51.79 c nbDecision=47500 #constraints=6002 52.68/52.72 c nbDecision=48000 #constraints=6046 53.68/53.74 c nbDecision=48500 #constraints=6098 54.58/54.64 c nbDecision=49000 #constraints=6129 55.38/55.40 c nbDecision=49500 #constraints=6159 56.08/56.17 c nbDecision=50000 #constraints=6196 56.77/56.87 c nbDecision=50500 #constraints=6222 57.67/57.79 c nbDecision=51000 #constraints=6278 58.28/58.39 c restart after 51201 decisions 58.87/58.92 c nbDecision=51500 #constraints=6318 59.17/59.21 c nbDecision=52000 #constraints=6318 59.97/60.09 c nbDecision=52500 #constraints=6363 61.38/61.47 c nbDecision=53000 #constraints=6460 62.48/62.53 c nbDecision=53500 #constraints=6509 63.87/63.91 c nbDecision=54000 #constraints=6574 65.17/65.27 c nbDecision=54500 #constraints=6681 66.38/66.46 c nbDecision=55000 #constraints=6760 67.18/67.27 c nbDecision=55500 #constraints=6788 68.57/68.60 c nbDecision=56000 #constraints=6879 69.77/69.80 c nbDecision=56500 #constraints=6942 70.77/70.89 c nbDecision=57000 #constraints=6985 72.28/72.31 c nbDecision=57500 #constraints=7057 73.38/73.42 c nbDecision=58000 #constraints=7124 74.87/74.93 c nbDecision=58500 #constraints=7195 75.67/75.75 c nbDecision=59000 #constraints=7218 76.98/77.06 c nbDecision=59500 #constraints=7278 77.77/77.81 c nbDecision=60000 #constraints=7294 79.17/79.22 c nbDecision=60500 #constraints=7337 80.67/80.70 c nbDecision=61000 #constraints=7392 82.37/82.43 c nbDecision=61500 #constraints=7448 84.07/84.17 c nbDecision=62000 #constraints=7550 85.67/85.72 c nbDecision=62500 #constraints=7635 87.26/87.37 c nbDecision=63000 #constraints=7727 88.98/89.01 c nbDecision=63500 #constraints=7818 90.87/90.91 c nbDecision=64000 #constraints=7957 92.76/92.80 c nbDecision=64500 #constraints=8068 94.47/94.58 c nbDecision=65000 #constraints=8174 96.57/96.65 c nbDecision=65500 #constraints=8291 99.16/99.26 c nbDecision=66000 #constraints=8476 101.17/101.25 c nbDecision=66500 #constraints=8575 103.36/103.49 c nbDecision=67000 #constraints=8700 105.27/105.37 c nbDecision=67500 #constraints=8784 107.16/107.24 c nbDecision=68000 #constraints=8847 108.66/108.73 c nbDecision=68500 #constraints=8895 110.46/110.55 c nbDecision=69000 #constraints=8947 112.66/112.78 c nbDecision=69500 #constraints=9027 114.46/114.57 c nbDecision=70000 #constraints=9091 115.96/116.09 c nbDecision=70500 #constraints=9127 117.67/117.70 c nbDecision=71000 #constraints=9177 119.96/120.05 c nbDecision=71500 #constraints=9250 121.96/122.09 c nbDecision=72000 #constraints=9309 123.76/123.87 c nbDecision=72500 #constraints=9378 125.85/125.90 c nbDecision=73000 #constraints=9441 127.76/127.80 c nbDecision=73500 #constraints=9498 129.46/129.58 c nbDecision=74000 #constraints=9553 131.46/131.51 c nbDecision=74500 #constraints=9609 133.65/133.77 c nbDecision=75000 #constraints=9673 135.86/135.92 c nbDecision=75500 #constraints=9748 137.46/137.50 c nbDecision=76000 #constraints=9780 139.36/139.42 c nbDecision=76500 #constraints=9842 141.45/141.53 c nbDecision=77000 #constraints=9929 143.75/143.80 c nbDecision=77500 #constraints=10036 145.75/145.81 c nbDecision=78000 #constraints=10113 147.26/147.37 c nbDecision=78500 #constraints=10175 149.65/149.74 c nbDecision=79000 #constraints=10257 152.15/152.21 c nbDecision=79500 #constraints=10346 154.85/154.95 c nbDecision=80000 #constraints=10422 156.85/156.96 c nbDecision=80500 #constraints=10479 159.15/159.23 c nbDecision=81000 #constraints=10538 160.85/160.94 c nbDecision=81500 #constraints=10569 163.35/163.49 c nbDecision=82000 #constraints=10655 165.45/165.53 c nbDecision=82500 #constraints=10713 167.65/167.71 c nbDecision=83000 #constraints=10805 169.85/169.99 c nbDecision=83500 #constraints=10895 172.65/172.74 c nbDecision=84000 #constraints=10974 174.25/174.32 c nbDecision=84500 #constraints=11014 176.84/176.95 c nbDecision=85000 #constraints=11072 178.65/178.74 c nbDecision=85500 #constraints=11132 180.55/180.68 c nbDecision=86000 #constraints=11195 182.55/182.67 c nbDecision=86500 #constraints=11263 184.85/184.98 c nbDecision=87000 #constraints=11352 187.15/187.22 c nbDecision=87500 #constraints=11410 189.15/189.26 c nbDecision=88000 #constraints=11463 191.84/191.91 c nbDecision=88500 #constraints=11547 193.74/193.85 c nbDecision=89000 #constraints=11600 195.74/195.86 c nbDecision=89500 #constraints=11655 197.74/197.88 c nbDecision=90000 #constraints=11715 200.24/200.31 c nbDecision=90500 #constraints=11785 202.74/202.85 c nbDecision=91000 #constraints=11849 205.44/205.53 c nbDecision=91500 #constraints=11932 207.54/207.62 c nbDecision=92000 #constraints=11989 209.44/209.53 c nbDecision=92500 #constraints=12034 211.54/211.66 c nbDecision=93000 #constraints=12072 214.84/214.91 c nbDecision=93500 #constraints=12150 217.43/217.57 c nbDecision=94000 #constraints=12210 222.14/222.21 c nbDecision=94500 #constraints=12307 224.93/225.07 c nbDecision=95000 #constraints=12383 227.43/227.59 c nbDecision=95500 #constraints=12440 231.03/231.15 c nbDecision=96000 #constraints=12524 232.63/232.72 c nbDecision=96500 #constraints=12553 235.74/235.80 c nbDecision=97000 #constraints=12629 239.13/239.23 c nbDecision=97500 #constraints=12709 242.23/242.31 c nbDecision=98000 #constraints=12777 244.43/244.54 c nbDecision=98500 #constraints=12838 247.73/247.89 c nbDecision=99000 #constraints=12919 252.52/252.69 c nbDecision=99500 #constraints=13019 256.62/256.72 c nbDecision=100000 #constraints=13162 261.03/261.16 c nbDecision=100500 #constraints=13280 264.13/264.26 c nbDecision=101000 #constraints=13354 266.83/266.90 c nbDecision=101500 #constraints=13417 270.22/270.34 c nbDecision=102000 #constraints=13507 272.12/272.28 c restart after 102401 decisions 273.42/273.57 c nbDecision=102500 #constraints=13537 273.52/273.61 c nbDecision=103000 #constraints=13537 275.42/275.54 c nbDecision=103500 #constraints=13566 277.82/277.99 c nbDecision=104000 #constraints=13630 280.62/280.77 c nbDecision=104500 #constraints=13722 283.52/283.63 c nbDecision=105000 #constraints=13796 286.42/286.60 c nbDecision=105500 #constraints=13889 289.42/289.56 c nbDecision=106000 #constraints=13963 292.72/292.86 c nbDecision=106500 #constraints=14040 295.82/295.94 c nbDecision=107000 #constraints=14111 298.81/298.97 c nbDecision=107500 #constraints=14171 301.22/301.39 c nbDecision=108000 #constraints=14222 304.21/304.38 c nbDecision=108500 #constraints=14314 306.91/307.04 c nbDecision=109000 #constraints=14368 310.91/311.01 c nbDecision=109500 #constraints=14448 314.31/314.50 c nbDecision=110000 #constraints=14510 316.41/316.59 c nbDecision=110500 #constraints=14539 319.01/319.17 c nbDecision=111000 #constraints=14582 321.01/321.14 c nbDecision=111500 #constraints=14608 323.71/323.83 c nbDecision=112000 #constraints=14655 326.81/326.90 c nbDecision=112500 #constraints=14720 329.81/329.95 c nbDecision=113000 #constraints=14782 332.81/332.95 c nbDecision=113500 #constraints=14838 335.61/335.77 c nbDecision=114000 #constraints=14886 338.01/338.18 c nbDecision=114500 #constraints=14916 340.31/340.42 c nbDecision=115000 #constraints=14942 342.30/342.42 c nbDecision=115500 #constraints=14971 345.31/345.47 c nbDecision=116000 #constraints=15048 348.10/348.22 c nbDecision=116500 #constraints=15095 354.61/354.73 c nbDecision=117000 #constraints=15261 357.80/357.96 c nbDecision=117500 #constraints=15343 361.50/361.66 c nbDecision=118000 #constraints=15430 365.70/365.85 c nbDecision=118500 #constraints=15548 369.60/369.73 c nbDecision=119000 #constraints=15661 372.50/372.66 c nbDecision=119500 #constraints=15731 376.59/376.74 c nbDecision=120000 #constraints=15851 379.79/379.95 c nbDecision=120500 #constraints=15916 383.70/383.84 c nbDecision=121000 #constraints=16035 388.59/388.78 c nbDecision=121500 #constraints=16196 392.39/392.52 c nbDecision=122000 #constraints=16294 396.89/397.00 c nbDecision=122500 #constraints=16408 400.79/400.92 c nbDecision=123000 #constraints=16520 403.49/403.68 c nbDecision=123500 #constraints=16580 406.89/407.03 c nbDecision=124000 #constraints=16671 412.09/412.25 c nbDecision=124500 #constraints=16774 416.18/416.39 c nbDecision=125000 #constraints=16844 418.89/419.04 c nbDecision=125500 #constraints=16881 423.48/423.60 c nbDecision=126000 #constraints=16963 428.88/429.01 c nbDecision=126500 #constraints=17050 432.88/433.08 c nbDecision=127000 #constraints=17161 436.58/436.78 c nbDecision=127500 #constraints=17236 440.18/440.30 c nbDecision=128000 #constraints=17296 444.78/444.96 c nbDecision=128500 #constraints=17382 448.38/448.55 c nbDecision=129000 #constraints=17431 451.58/451.70 c nbDecision=129500 #constraints=17496 455.67/455.81 c nbDecision=130000 #constraints=17596 460.07/460.22 c nbDecision=130500 #constraints=17659 463.57/463.71 c nbDecision=131000 #constraints=17724 467.17/467.39 c nbDecision=131500 #constraints=17783 470.98/471.13 c nbDecision=132000 #constraints=17847 474.57/474.75 c nbDecision=132500 #constraints=17901 478.47/478.64 c nbDecision=133000 #constraints=17963 481.57/481.75 c nbDecision=133500 #constraints=18026 485.07/485.20 c nbDecision=134000 #constraints=18071 489.47/489.63 c nbDecision=134500 #constraints=18137 492.06/492.21 c nbDecision=135000 #constraints=18160 496.06/496.28 c nbDecision=135500 #constraints=18233 500.97/501.19 c nbDecision=136000 #constraints=18291 505.06/505.24 c nbDecision=136500 #constraints=18392 508.66/508.81 c nbDecision=137000 #constraints=18453 512.36/512.52 c nbDecision=137500 #constraints=18511 515.77/515.99 c nbDecision=138000 #constraints=18563 519.96/520.18 c nbDecision=138500 #constraints=18668 523.56/523.76 c nbDecision=139000 #constraints=18739 528.06/528.29 c nbDecision=139500 #constraints=18817 531.66/531.81 c nbDecision=140000 #constraints=18868 536.05/536.26 c nbDecision=140500 #constraints=18967 539.55/539.78 c nbDecision=141000 #constraints=19026 543.75/543.91 c nbDecision=141500 #constraints=19068 548.26/548.41 c nbDecision=142000 #constraints=19149 553.16/553.37 c nbDecision=142500 #constraints=19239 558.85/559.05 c nbDecision=143000 #constraints=19332 562.95/563.19 c nbDecision=143500 #constraints=19399 568.04/568.21 c nbDecision=144000 #constraints=19480 572.04/572.25 c nbDecision=144500 #constraints=19544 576.04/576.23 c nbDecision=145000 #constraints=19619 580.01/580.21 c nbDecision=145500 #constraints=19683 586.51/586.70 c nbDecision=146000 #constraints=19766 590.80/591.09 c nbDecision=146500 #constraints=19823 595.67/595.92 c nbDecision=147000 #constraints=19926 600.37/600.66 c nbDecision=147500 #constraints=19995 604.55/604.81 c nbDecision=148000 #constraints=20046 609.54/609.82 c nbDecision=148500 #constraints=20117 616.14/616.40 c nbDecision=149000 #constraints=20241 620.94/621.29 c nbDecision=149500 #constraints=20314 626.74/627.06 c nbDecision=150000 #constraints=20406 632.72/633.00 c nbDecision=150500 #constraints=20499 637.01/637.31 c nbDecision=151000 #constraints=20571 642.13/642.45 c nbDecision=151500 #constraints=20643 646.22/646.55 c nbDecision=152000 #constraints=20707 651.32/651.64 c nbDecision=152500 #constraints=20762 656.32/656.65 c nbDecision=153000 #constraints=20832 661.01/661.36 c nbDecision=153500 #constraints=20891 664.71/665.06 c nbDecision=154000 #constraints=20931 667.91/668.22 c nbDecision=154500 #constraints=20954 673.70/674.07 c nbDecision=155000 #constraints=21052 680.21/680.54 c nbDecision=155500 #constraints=21126 684.51/684.88 c nbDecision=156000 #constraints=21219 688.51/688.85 c nbDecision=156500 #constraints=21292 693.60/694.00 c nbDecision=157000 #constraints=21370 698.40/698.75 c nbDecision=157500 #constraints=21441 703.50/703.83 c nbDecision=158000 #constraints=21506 707.30/707.62 c nbDecision=158500 #constraints=21560 711.70/712.10 c nbDecision=159000 #constraints=21647 716.30/716.69 c nbDecision=159500 #constraints=21723 720.00/720.35 c nbDecision=160000 #constraints=21752 725.29/725.66 c nbDecision=160500 #constraints=21839 729.59/729.98 c nbDecision=161000 #constraints=21902 734.10/734.43 c nbDecision=161500 #constraints=21960 739.60/739.95 c nbDecision=162000 #constraints=22048 743.79/744.14 c nbDecision=162500 #constraints=22111 748.80/749.12 c nbDecision=163000 #constraints=22180 753.69/754.01 c nbDecision=163500 #constraints=22253 758.29/758.68 c nbDecision=164000 #constraints=22306 762.68/763.09 c nbDecision=164500 #constraints=22359 767.49/767.89 c nbDecision=165000 #constraints=22433 772.09/772.45 c nbDecision=165500 #constraints=22477 776.59/776.94 c nbDecision=166000 #constraints=22529 780.09/780.42 c nbDecision=166500 #constraints=22563 784.88/785.23 c nbDecision=167000 #constraints=22633 789.78/790.17 c nbDecision=167500 #constraints=22691 794.58/794.94 c nbDecision=168000 #constraints=22764 799.48/799.82 c nbDecision=168500 #constraints=22839 805.07/805.45 c nbDecision=169000 #constraints=22936 809.98/810.32 c nbDecision=169500 #constraints=23008 815.68/816.04 c nbDecision=170000 #constraints=23094 821.28/821.67 c nbDecision=170500 #constraints=23178 825.37/825.70 c nbDecision=171000 #constraints=23220 830.77/831.13 c nbDecision=171500 #constraints=23303 835.67/836.06 c nbDecision=172000 #constraints=23359 841.27/841.66 c nbDecision=172500 #constraints=23429 849.47/849.87 c nbDecision=173000 #constraints=23586 856.57/856.99 c nbDecision=173500 #constraints=23708 862.17/862.56 c nbDecision=174000 #constraints=23771 871.26/871.68 c nbDecision=174500 #constraints=23863 877.15/877.58 c nbDecision=175000 #constraints=23964 882.75/883.13 c nbDecision=175500 #constraints=24048 888.76/889.10 c nbDecision=176000 #constraints=24162 893.86/894.26 c nbDecision=176500 #constraints=24248 899.15/899.52 c nbDecision=177000 #constraints=24335 905.65/906.03 c nbDecision=177500 #constraints=24441 911.85/912.27 c nbDecision=178000 #constraints=24549 919.15/919.57 c nbDecision=178500 #constraints=24629 926.35/926.70 c nbDecision=179000 #constraints=24728 932.05/932.44 c nbDecision=179500 #constraints=24804 938.95/939.37 c nbDecision=180000 #constraints=24909 944.54/944.99 c nbDecision=180500 #constraints=24978 951.84/952.27 c nbDecision=181000 #constraints=25070 958.74/959.15 c nbDecision=181500 #constraints=25153 964.64/965.01 c nbDecision=182000 #constraints=25226 970.03/970.49 c nbDecision=182500 #constraints=25291 975.23/975.68 c nbDecision=183000 #constraints=25357 980.43/980.80 c nbDecision=183500 #constraints=25414 987.03/987.42 c nbDecision=184000 #constraints=25520 993.13/993.54 c nbDecision=184500 #constraints=25589 1000.83/1001.20 c nbDecision=185000 #constraints=25712 1006.63/1007.00 c nbDecision=185500 #constraints=25799 1011.82/1012.25 c nbDecision=186000 #constraints=25867 1016.03/1016.45 c nbDecision=186500 #constraints=25899 1022.02/1022.46 c nbDecision=187000 #constraints=25964 1027.02/1027.41 c nbDecision=187500 #constraints=26004 1031.92/1032.32 c nbDecision=188000 #constraints=26055 1039.72/1040.16 c nbDecision=188500 #constraints=26169 1045.72/1046.14 c nbDecision=189000 #constraints=26235 1050.92/1051.37 c nbDecision=189500 #constraints=26292 1057.41/1057.84 c nbDecision=190000 #constraints=26358 1061.81/1062.25 c nbDecision=190500 #constraints=26396 1067.72/1068.18 c nbDecision=191000 #constraints=26450 1075.31/1075.70 c nbDecision=191500 #constraints=26530 1081.21/1081.60 c nbDecision=192000 #constraints=26600 1089.90/1090.35 c nbDecision=192500 #constraints=26738 1096.10/1096.53 c nbDecision=193000 #constraints=26816 1102.71/1103.18 c nbDecision=193500 #constraints=26899 1108.20/1108.67 c nbDecision=194000 #constraints=26975 1114.90/1115.36 c nbDecision=194500 #constraints=27044 1122.29/1122.79 c nbDecision=195000 #constraints=27126 1128.90/1129.39 c nbDecision=195500 #constraints=27212 1134.50/1134.92 c nbDecision=196000 #constraints=27273 1142.29/1142.75 c nbDecision=196500 #constraints=27368 1148.99/1149.47 c nbDecision=197000 #constraints=27430 1155.19/1155.64 c nbDecision=197500 #constraints=27497 1159.89/1160.32 c nbDecision=198000 #constraints=27544 1165.98/1166.46 c nbDecision=198500 #constraints=27607 1170.88/1171.39 c nbDecision=199000 #constraints=27643 1179.09/1179.51 c nbDecision=199500 #constraints=27713 1183.98/1184.44 c nbDecision=200000 #constraints=27770 1190.68/1191.17 c nbDecision=200500 #constraints=27838 1198.28/1198.74 c nbDecision=201000 #constraints=27933 1207.08/1207.59 c nbDecision=201500 #constraints=28027 1215.37/1215.81 c nbDecision=202000 #constraints=28117 1219.87/1220.37 c nbDecision=202500 #constraints=28141 1224.87/1225.35 c nbDecision=203000 #constraints=28171 1231.67/1232.17 c nbDecision=203500 #constraints=28237 1236.57/1237.02 c nbDecision=204000 #constraints=28270 1241.97/1242.48 c nbDecision=204500 #constraints=28307 1245.37/1245.85 c restart after 204801 decisions 1248.87/1249.30 c nbDecision=205000 #constraints=28335 1248.87/1249.34 c nbDecision=205500 #constraints=28335 1253.67/1254.15 c nbDecision=206000 #constraints=28372 1259.76/1260.23 c nbDecision=206500 #constraints=28468 1265.16/1265.60 c nbDecision=207000 #constraints=28528 1269.96/1270.49 c nbDecision=207500 #constraints=28567 1275.56/1276.07 c nbDecision=208000 #constraints=28623 1281.06/1281.57 c nbDecision=208500 #constraints=28671 1285.95/1286.47 c nbDecision=209000 #constraints=28707 1293.66/1294.12 c nbDecision=209500 #constraints=28795 1298.95/1299.41 c nbDecision=210000 #constraints=28884 1304.35/1304.88 c nbDecision=210500 #constraints=28936 1310.85/1311.40 c nbDecision=211000 #constraints=29025 1316.65/1317.12 c nbDecision=211500 #constraints=29085 1323.64/1324.12 c nbDecision=212000 #constraints=29153 1331.94/1332.41 c nbDecision=212500 #constraints=29247 1337.84/1338.30 c nbDecision=213000 #constraints=29293 1342.45/1342.91 c nbDecision=213500 #constraints=29322 1348.05/1348.51 c nbDecision=214000 #constraints=29387 1353.34/1353.88 c nbDecision=214500 #constraints=29420 1357.94/1358.44 c nbDecision=215000 #constraints=29463 1365.44/1365.98 c nbDecision=215500 #constraints=29591 1375.53/1376.07 c nbDecision=216000 #constraints=29792 1382.13/1382.61 c nbDecision=216500 #constraints=29860 1387.73/1388.24 c nbDecision=217000 #constraints=29915 1393.43/1393.96 c nbDecision=217500 #constraints=29957 1400.83/1401.36 c nbDecision=218000 #constraints=30061 1408.93/1409.45 c nbDecision=218500 #constraints=30173 1414.92/1415.41 c nbDecision=219000 #constraints=30238 1421.83/1422.38 c nbDecision=219500 #constraints=30339 1430.42/1430.98 c nbDecision=220000 #constraints=30469 1439.02/1439.52 c nbDecision=220500 #constraints=30543 1446.72/1447.24 c nbDecision=221000 #constraints=30621 1453.22/1453.79 c nbDecision=221500 #constraints=30690 1459.72/1460.29 c nbDecision=222000 #constraints=30774 1467.81/1468.34 c nbDecision=222500 #constraints=30927 1475.91/1476.41 c nbDecision=223000 #constraints=31031 1481.61/1482.16 c nbDecision=223500 #constraints=31095 1487.40/1487.99 c nbDecision=224000 #constraints=31180 1495.00/1495.52 c nbDecision=224500 #constraints=31290 1501.81/1502.38 c nbDecision=225000 #constraints=31367 1507.30/1507.84 c nbDecision=225500 #constraints=31404 1514.50/1515.05 c nbDecision=226000 #constraints=31506 1520.80/1521.35 c nbDecision=226500 #constraints=31556 1528.60/1529.10 c nbDecision=227000 #constraints=31678 1535.80/1536.38 c nbDecision=227500 #constraints=31752 1541.39/1541.98 c nbDecision=228000 #constraints=31789 1550.89/1551.46 c nbDecision=228500 #constraints=31909 1559.09/1559.67 c nbDecision=229000 #constraints=32006 1567.08/1567.65 c nbDecision=229500 #constraints=32081 1575.38/1575.97 c nbDecision=230000 #constraints=32181 1582.38/1582.97 c nbDecision=230500 #constraints=32271 1588.27/1588.89 c nbDecision=231000 #constraints=32315 1595.18/1595.76 c nbDecision=231500 #constraints=32389 1599.98/1600.51 c nbDecision=232000 #constraints=32414 1606.07/1606.61 c nbDecision=232500 #constraints=32445 1611.17/1611.80 c nbDecision=233000 #constraints=32468 1617.57/1618.17 c nbDecision=233500 #constraints=32522 1627.17/1627.74 c nbDecision=234000 #constraints=32625 1633.36/1633.94 c nbDecision=234500 #constraints=32665 1640.36/1640.93 c nbDecision=235000 #constraints=32718 1648.06/1648.69 c nbDecision=235500 #constraints=32800 1655.77/1656.38 c nbDecision=236000 #constraints=32886 1662.46/1663.02 c nbDecision=236500 #constraints=32965 1668.56/1669.13 c nbDecision=237000 #constraints=33012 1673.76/1674.36 c nbDecision=237500 #constraints=33047 1679.86/1680.43 c nbDecision=238000 #constraints=33085 1686.26/1686.84 c nbDecision=238500 #constraints=33135 1692.45/1693.06 c nbDecision=239000 #constraints=33185 1699.85/1700.44 c nbDecision=239500 #constraints=33234 1707.25/1707.89 c nbDecision=240000 #constraints=33288 1713.75/1714.38 c nbDecision=240500 #constraints=33334 1721.04/1721.62 c nbDecision=241000 #constraints=33380 1729.54/1730.10 c nbDecision=241500 #constraints=33454 1737.14/1737.74 c nbDecision=242000 #constraints=33515 1744.64/1745.26 c nbDecision=242500 #constraints=33573 1753.13/1753.72 c nbDecision=243000 #constraints=33651 1759.44/1760.08 c nbDecision=243500 #constraints=33699 1768.04/1768.66 c nbDecision=244000 #constraints=33779 1777.04/1777.62 c nbDecision=244500 #constraints=33883 1784.43/1785.02 c nbDecision=245000 #constraints=33942 1790.23/1790.86 c nbDecision=245500 #constraints=33976 1797.53/1798.17 c nbDecision=246000 #constraints=34066 1800.04/1800.60 Received signal 15 1800.23/1800.89 1800.23/1800.89 s UNKNOWN 1800.23/1800.89 1800.23/1800.89 c user time= 1799.61 s 1800.23/1800.89 c system time= 0.723889 s 1800.23/1800.89 c wall clock time=1800.89
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node50/watcher-357318-1176994284 -o ROOT/results/node50/solver-357318-1176994284 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357318-1176994284/instance-357318-1176994284.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/64 18616 /proc/meminfo: memFree=1764360/2055920 swapFree=4183800/4192956 [pid=18616] ppid=18614 vsize=1468 CPUtime=0 /proc/18616/stat : 18616 (oree) R 18614 18616 18143 0 -1 4194304 182 0 0 0 0 0 0 0 18 0 1 0 54273599 1503232 164 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135271329 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18616/statm: 367 164 131 317 0 46 0 [startup+0.00712094 s] /proc/loadavg: 0.92 0.98 0.99 3/64 18616 /proc/meminfo: memFree=1764360/2055920 swapFree=4183800/4192956 [pid=18616] ppid=18614 vsize=1468 CPUtime=0 /proc/18616/stat : 18616 (oree) R 18614 18616 18143 0 -1 4194304 187 0 0 0 0 0 0 0 18 0 1 0 54273599 1503232 169 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18616/statm: 367 169 131 317 0 46 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 1468 [startup+0.101128 s] /proc/loadavg: 0.92 0.98 0.99 3/64 18616 /proc/meminfo: memFree=1764360/2055920 swapFree=4183800/4192956 [pid=18616] ppid=18614 vsize=3068 CPUtime=0.09 /proc/18616/stat : 18616 (oree) R 18614 18616 18143 0 -1 4194304 589 0 0 0 9 0 0 0 18 0 1 0 54273599 3141632 571 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385189 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18616/statm: 767 571 138 317 0 446 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3068 [startup+0.301146 s] /proc/loadavg: 0.92 0.98 0.99 3/64 18616 /proc/meminfo: memFree=1764360/2055920 swapFree=4183800/4192956 [pid=18616] ppid=18614 vsize=3068 CPUtime=0.29 /proc/18616/stat : 18616 (oree) R 18614 18616 18143 0 -1 4194304 589 0 0 0 29 0 0 0 19 0 1 0 54273599 3141632 571 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135194613 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18616/statm: 767 571 138 317 0 446 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3068 [startup+0.701181 s] /proc/loadavg: 0.92 0.98 0.99 3/64 18616 /proc/meminfo: memFree=1764360/2055920 swapFree=4183800/4192956 [pid=18616] ppid=18614 vsize=4484 CPUtime=0.69 /proc/18616/stat : 18616 (oree) R 18614 18616 18143 0 -1 4194304 976 0 0 0 69 0 0 0 22 0 1 0 54273599 4591616 958 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606843 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18616/statm: 1121 958 170 317 0 800 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4484 [startup+1.50125 s] /proc/loadavg: 0.92 0.98 0.99 2/65 18617 /proc/meminfo: memFree=1759488/2055920 swapFree=4183800/4192956 [pid=18616] ppid=18614 vsize=8672 CPUtime=1.49 /proc/18616/stat : 18616 (oree) R 18614 18616 18143 0 -1 4194304 2028 0 0 0 149 0 0 0 25 0 1 0 54273599 8880128 2010 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18616/statm: 2168 2010 170 317 0 1847 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8672 [startup+3.10139 s] /proc/loadavg: 0.92 0.98 0.99 2/65 18617 /proc/meminfo: memFree=1753344/2055920 swapFree=4183800/4192956 [pid=18616] ppid=18614 vsize=16536 CPUtime=3.09 /proc/18616/stat : 18616 (oree) R 18614 18616 18143 0 -1 4194304 3974 0 0 0 308 1 0 0 25 0 1 0 54273599 16932864 3956 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716193 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18616/statm: 4134 3956 170 317 0 3813 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16536 [startup+6.30167 s] /proc/loadavg: 0.93 0.98 0.99 2/65 18617 /proc/meminfo: memFree=1741632/2055920 swapFree=4183800/4192956 [pid=18616] ppid=18614 vsize=26884 CPUtime=6.29 /proc/18616/stat : 18616 (oree) R 18614 18616 18143 0 -1 4194304 6580 0 0 0 627 2 0 0 25 0 1 0 54273599 27529216 6562 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18616/statm: 6721 6562 170 317 0 6400 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 26884 [startup+12.7012 s] /proc/loadavg: 0.93 0.98 0.99 2/65 18617 /proc/meminfo: memFree=1726144/2055920 swapFree=4183800/4192956 [pid=18616] ppid=18614 vsize=41116 CPUtime=12.69 /proc/18616/stat : 18616 (oree) R 18614 18616 18143 0 -1 4194304 9950 0 0 0 1265 4 0 0 25 0 1 0 54273599 42102784 9932 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18616/statm: 10279 9932 170 317 0 9958 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 41116 [startup+25.5014 s] /proc/loadavg: 0.95 0.98 0.99 2/65 18617 /proc/meminfo: memFree=1708992/2055920 swapFree=4183800/4192956 [pid=18616] ppid=18614 vsize=57460 CPUtime=25.48 /proc/18616/stat : 18616 (oree) R 18614 18616 18143 0 -1 4194304 14030 0 0 0 2542 6 0 0 25 0 1 0 54273599 58839040 14012 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18616/statm: 14365 14012 170 317 0 14044 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 57460 [startup+51.1016 s] /proc/loadavg: 0.96 0.98 0.99 2/65 18617 /proc/meminfo: memFree=1684352/2055920 swapFree=4183800/4192956 [pid=18616] ppid=18614 vsize=83704 CPUtime=51.08 /proc/18616/stat : 18616 (oree) R 18614 18616 18143 0 -1 4194304 20211 0 0 0 5098 10 0 0 25 0 1 0 54273599 85712896 20193 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18616/statm: 20926 20193 170 317 0 20605 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 83704 [startup+102.305 s] /proc/loadavg: 0.98 0.98 0.99 2/65 18617 /proc/meminfo: memFree=1649920/2055920 swapFree=4183800/4192956 [pid=18616] ppid=18614 vsize=117412 CPUtime=102.26 /proc/18616/stat : 18616 (oree) R 18614 18616 18143 0 -1 4194304 28765 0 0 0 10211 15 0 0 25 0 1 0 54273599 120229888 28689 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563665 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18616/statm: 29353 28689 170 317 0 29032 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 117412 [startup+162.301 s] /proc/loadavg: 1.04 1.00 1.00 2/65 18617 /proc/meminfo: memFree=1616960/2055920 swapFree=4183800/4192956 [pid=18616] ppid=18614 vsize=155484 CPUtime=162.25 /proc/18616/stat : 18616 (oree) R 18614 18616 18143 0 -1 4194304 37043 0 0 0 16204 21 0 0 25 0 1 0 54273599 159215616 36967 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18616/statm: 38871 36967 170 317 0 38550 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 155484 [startup+222.302 s] /proc/loadavg: 1.01 1.00 1.00 2/65 18617 /proc/meminfo: memFree=1591552/2055920 swapFree=4183800/4192956 [pid=18616] ppid=18614 vsize=180172 CPUtime=222.24 /proc/18616/stat : 18616 (oree) R 18614 18616 18143 0 -1 4194304 43308 0 0 0 22200 24 0 0 25 0 1 0 54273599 184496128 43232 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18616/statm: 45043 43232 170 317 0 44722 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 180172 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 18617 /proc/meminfo: memFree=1569600/2055920 swapFree=4183800/4192956 [pid=18616] ppid=18614 vsize=203004 CPUtime=282.22 /proc/18616/stat : 18616 (oree) R 18614 18616 18143 0 -1 4194304 48850 0 0 0 28196 26 0 0 25 0 1 0 54273599 207876096 48774 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135459514 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18616/statm: 50751 48774 170 317 0 50430 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 203004 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 18617 /proc/meminfo: memFree=1551488/2055920 swapFree=4183800/4192956 [pid=18616] ppid=18614 vsize=220032 CPUtime=342.2 /proc/18616/stat : 18616 (oree) R 18614 18616 18143 0 -1 4194304 53270 0 0 0 34192 28 0 0 25 0 1 0 54273599 225312768 53194 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18616/statm: 55008 53194 170 317 0 54687 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 220032 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 18617 /proc/meminfo: memFree=1527936/2055920 swapFree=4183800/4192956 [pid=18616] ppid=18614 vsize=243608 CPUtime=402.19 /proc/18616/stat : 18616 (oree) R 18614 18616 18143 0 -1 4194304 59183 0 0 0 40187 32 0 0 25 0 1 0 54273599 249454592 59107 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18616/statm: 60902 59107 170 317 0 60581 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 243608 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 18617 /proc/meminfo: memFree=1507968/2055920 swapFree=4183800/4192956 [pid=18616] ppid=18614 vsize=270200 CPUtime=462.17 /proc/18616/stat : 18616 (oree) R 18614 18616 18143 0 -1 4194304 65602 0 0 0 46182 35 0 0 25 0 1 0 54273599 276684800 64059 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18616/statm: 67550 64059 170 317 0 67229 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 270200 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 18617 /proc/meminfo: memFree=1491968/2055920 swapFree=4183800/4192956 [pid=18616] ppid=18614 vsize=292012 CPUtime=522.16 /proc/18616/stat : 18616 (oree) R 18614 18616 18143 0 -1 4194304 70660 0 0 0 52178 38 0 0 25 0 1 0 54273599 299020288 68061 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18616/statm: 73003 68061 170 317 0 72682 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 292012 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/71 18683 /proc/meminfo: memFree=1475888/2055920 swapFree=4183800/4192956 [pid=18616] ppid=18614 vsize=305668 CPUtime=582.11 /proc/18616/stat : 18616 (oree) R 18614 18616 18143 0 -1 4194304 74374 0 0 0 58170 41 0 0 25 0 1 0 54273599 313004032 71742 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18616/statm: 76417 71742 170 317 0 76096 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 305668 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 18815 /proc/meminfo: memFree=1462016/2055920 swapFree=4183800/4192956 [pid=18616] ppid=18614 vsize=321912 CPUtime=642.03 /proc/18616/stat : 18616 (oree) R 18614 18616 18143 0 -1 4194304 78317 0 0 0 64159 44 0 0 25 0 1 0 54273599 329637888 75454 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18616/statm: 80478 75454 170 317 0 80157 0 Current children cumulated CPU time (s) 642.03 Current children cumulated vsize (KiB) 321912 ################ # More data... # ################ [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 18815 /proc/meminfo: memFree=1393536/2055920 swapFree=4183800/4192956 [pid=18616] ppid=18614 vsize=388520 CPUtime=941.94 /proc/18616/stat : 18616 (oree) R 18614 18616 18143 0 -1 4194304 95889 0 0 0 94142 52 0 0 25 0 1 0 54273599 397844480 92531 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18616/statm: 97130 92531 170 317 0 96809 0 Current children cumulated CPU time (s) 941.94 Current children cumulated vsize (KiB) 388520 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 18817 /proc/meminfo: memFree=1378688/2055920 swapFree=4183800/4192956 [pid=18616] ppid=18614 vsize=405992 CPUtime=1001.93 /proc/18616/stat : 18616 (oree) R 18614 18616 18143 0 -1 4194304 100374 0 0 0 100138 55 0 0 25 0 1 0 54273599 415735808 96224 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18616/statm: 101498 96224 170 317 0 101177 0 Current children cumulated CPU time (s) 1001.93 Current children cumulated vsize (KiB) 405992 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 18817 /proc/meminfo: memFree=1367360/2055920 swapFree=4183800/4192956 [pid=18616] ppid=18614 vsize=418984 CPUtime=1061.91 /proc/18616/stat : 18616 (oree) R 18614 18616 18143 0 -1 4194304 103728 0 0 0 106135 56 0 0 25 0 1 0 54273599 429039616 99083 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18616/statm: 104746 99083 170 317 0 104425 0 Current children cumulated CPU time (s) 1061.91 Current children cumulated vsize (KiB) 418984 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 18817 /proc/meminfo: memFree=1355968/2055920 swapFree=4183800/4192956 [pid=18616] ppid=18614 vsize=429176 CPUtime=1121.89 /proc/18616/stat : 18616 (oree) R 18614 18616 18143 0 -1 4194304 106565 0 0 0 112131 58 0 0 25 0 1 0 54273599 439476224 101920 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18616/statm: 107294 101920 170 317 0 106973 0 Current children cumulated CPU time (s) 1121.89 Current children cumulated vsize (KiB) 429176 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 18817 /proc/meminfo: memFree=1346112/2055920 swapFree=4183800/4192956 [pid=18616] ppid=18614 vsize=437808 CPUtime=1181.89 /proc/18616/stat : 18616 (oree) R 18614 18616 18143 0 -1 4194304 109051 0 0 0 118129 60 0 0 25 0 1 0 54273599 448315392 104373 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18616/statm: 109452 104373 170 317 0 109131 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 437808 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 18817 /proc/meminfo: memFree=1336960/2055920 swapFree=4183800/4192956 [pid=18616] ppid=18614 vsize=446324 CPUtime=1241.87 /proc/18616/stat : 18616 (oree) R 18614 18616 18143 0 -1 4194304 111385 0 0 0 124125 62 0 0 25 0 1 0 54273599 457035776 106641 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718650 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18616/statm: 111581 106641 170 317 0 111260 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 446324 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 18817 /proc/meminfo: memFree=1329472/2055920 swapFree=4183800/4192956 [pid=18616] ppid=18614 vsize=453316 CPUtime=1301.86 /proc/18616/stat : 18616 (oree) R 18614 18616 18143 0 -1 4194304 113258 0 0 0 130123 63 0 0 25 0 1 0 54273599 464195584 108481 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18616/statm: 113329 108481 170 317 0 113008 0 Current children cumulated CPU time (s) 1301.86 Current children cumulated vsize (KiB) 453316 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 18817 /proc/meminfo: memFree=1321984/2055920 swapFree=4183800/4192956 [pid=18616] ppid=18614 vsize=460400 CPUtime=1361.84 /proc/18616/stat : 18616 (oree) R 18614 18616 18143 0 -1 4194304 115206 0 0 0 136120 64 0 0 25 0 1 0 54273599 471449600 110396 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18616/statm: 115100 110396 170 317 0 114779 0 Current children cumulated CPU time (s) 1361.84 Current children cumulated vsize (KiB) 460400 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 18817 /proc/meminfo: memFree=1311040/2055920 swapFree=4183800/4192956 [pid=18616] ppid=18614 vsize=471112 CPUtime=1421.83 /proc/18616/stat : 18616 (oree) R 18614 18616 18143 0 -1 4194304 117953 0 0 0 142118 65 0 0 25 0 1 0 54273599 482418688 113110 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564062 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18616/statm: 117778 113110 170 317 0 117457 0 Current children cumulated CPU time (s) 1421.83 Current children cumulated vsize (KiB) 471112 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 18817 /proc/meminfo: memFree=1301120/2055920 swapFree=4183800/4192956 [pid=18616] ppid=18614 vsize=480484 CPUtime=1481.81 /proc/18616/stat : 18616 (oree) R 18614 18616 18143 0 -1 4194304 120441 0 0 0 148115 66 0 0 25 0 1 0 54273599 492015616 115565 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18616/statm: 120121 115565 170 317 0 119800 0 Current children cumulated CPU time (s) 1481.81 Current children cumulated vsize (KiB) 480484 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 18817 /proc/meminfo: memFree=1292288/2055920 swapFree=4183800/4192956 [pid=18616] ppid=18614 vsize=488728 CPUtime=1541.79 /proc/18616/stat : 18616 (oree) R 18614 18616 18143 0 -1 4194304 122647 0 0 0 154111 68 0 0 25 0 1 0 54273599 500457472 117771 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18616/statm: 122182 117771 170 317 0 121861 0 Current children cumulated CPU time (s) 1541.79 Current children cumulated vsize (KiB) 488728 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 18817 /proc/meminfo: memFree=1284736/2055920 swapFree=4183800/4192956 [pid=18616] ppid=18614 vsize=495832 CPUtime=1601.78 /proc/18616/stat : 18616 (oree) R 18614 18616 18143 0 -1 4194304 124508 0 0 0 160109 69 0 0 25 0 1 0 54273599 507731968 119632 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715703 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18616/statm: 123958 119632 170 317 0 123637 0 Current children cumulated CPU time (s) 1601.78 Current children cumulated vsize (KiB) 495832 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 18817 /proc/meminfo: memFree=1278336/2055920 swapFree=4183800/4192956 [pid=18616] ppid=18614 vsize=501852 CPUtime=1661.76 /proc/18616/stat : 18616 (oree) R 18614 18616 18143 0 -1 4194304 126115 0 0 0 166106 70 0 0 25 0 1 0 54273599 513896448 121239 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18616/statm: 125463 121239 170 317 0 125142 0 Current children cumulated CPU time (s) 1661.76 Current children cumulated vsize (KiB) 501852 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 18817 /proc/meminfo: memFree=1272960/2055920 swapFree=4183800/4192956 [pid=18616] ppid=18614 vsize=507824 CPUtime=1721.74 /proc/18616/stat : 18616 (oree) R 18614 18616 18143 0 -1 4194304 127682 0 0 0 172104 70 0 0 25 0 1 0 54273599 520011776 122579 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18616/statm: 126956 122579 170 317 0 126635 0 Current children cumulated CPU time (s) 1721.74 Current children cumulated vsize (KiB) 507824 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 18817 /proc/meminfo: memFree=1265920/2055920 swapFree=4183800/4192956 [pid=18616] ppid=18614 vsize=514352 CPUtime=1781.73 /proc/18616/stat : 18616 (oree) R 18614 18616 18143 0 -1 4194304 129430 0 0 0 178102 71 0 0 25 0 1 0 54273599 526696448 124327 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564046 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18616/statm: 128588 124327 170 317 0 128267 0 Current children cumulated CPU time (s) 1781.73 Current children cumulated vsize (KiB) 514352 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/65 18817 /proc/meminfo: memFree=1263232/2055920 swapFree=4183800/4192956 [pid=18616] ppid=18614 vsize=524516 CPUtime=1800.04 /proc/18616/stat : 18616 (oree) R 18614 18616 18143 0 -1 4194304 131841 0 0 0 179932 72 0 0 25 0 1 0 54273599 537104384 124983 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18616/statm: 131129 124983 170 317 0 130808 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 524516 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.8 s] /proc/loadavg: 1.00 1.00 1.00 2/65 18817 /proc/meminfo: memFree=1263232/2055920 swapFree=4183800/4192956 [pid=18616] ppid=18614 vsize=524516 CPUtime=1800.23 /proc/18616/stat : 18616 (oree) R 18614 18616 18143 0 -1 4194304 131842 0 0 0 179951 72 0 0 25 0 1 0 54273599 537104384 124984 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18616/statm: 131129 124984 170 317 0 130808 0 Current children cumulated CPU time (s) 1800.23 Current children cumulated vsize (KiB) 524516 [startup+1800.9 s] /proc/loadavg: 1.00 1.00 1.00 2/65 18817 /proc/meminfo: memFree=1263232/2055920 swapFree=4183800/4192956 [pid=18616] ppid=18614 vsize=504388 CPUtime=1800.32 /proc/18616/stat : 18616 (oree) R 18614 18616 18143 0 -1 4194304 131859 0 0 0 179960 72 0 0 25 0 1 0 54273599 516493312 121230 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135339169 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18616/statm: 126032 121146 186 317 0 125711 0 Current children cumulated CPU time (s) 1800.32 Current children cumulated vsize (KiB) 504388 Child status: 0 Real time (s): 1800.98 CPU time (s): 1800.42 CPU user time (s): 1799.61 CPU system time (s): 0.805877 CPU usage (%): 99.9686 Max. virtual memory (cumulated for all children) (KiB): 524516 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.61 system time used= 0.805877 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 131859 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= 4167 runsolver used 1.40878 second user time and 3.60945 second system time The end
Begin job on node50 on Thu Apr 19 14:51:24 UTC 2007 IDJOB= 357318 IDBENCH= 2395 IDSOLVER= 172 FILE ID= node50/357318-1176994284 PBS_JOBID= 4630427 Free space on /tmp= 66507 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-recipe.opb COMMAND LINE= oree /tmp/evaluation/357318-1176994284/instance-357318-1176994284.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node50/watcher-357318-1176994284 -o ROOT/results/node50/solver-357318-1176994284 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357318-1176994284/instance-357318-1176994284.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 19c812fe81842f9b63508fc356bab039 RANDOM SEED= 881097273 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node50.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.232 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.232 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: 1764896 kB Buffers: 13836 kB Cached: 212868 kB SwapCached: 2932 kB Active: 94804 kB Inactive: 141480 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1764896 kB SwapTotal: 4192956 kB SwapFree: 4183800 kB Dirty: 1564 kB Writeback: 0 kB Mapped: 15480 kB Slab: 40792 kB Committed_AS: 1067584 kB PageTables: 1460 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= 66507 MiB End job on node50 on Thu Apr 19 15:21:27 UTC 2007