Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.49 | 1801.19 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-lotfi.opb |
MD5SUM | 76d897d8437070b9cbeb866c2620c3bc |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 9240 |
Total number of constraints | 145 |
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 | 145 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 3990 |
Number of terms in the objective function | 240 |
Biggest coefficient in the objective function | 32769 |
Number of bits for the biggest coefficient in the objective function | 16 |
Sum of the numbers in the objective function | 524520 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262144 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 527485 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c This is oree version 0.1.2 alpha 0.00/0.00 c (c) roussel@cril.univ-artois.fr 0.00/0.00 c using __gmp_expr<__gmpz_value, __gmpz_value> 0.00/0.00 c parsing... 0.09/0.11 c ...done 0.09/0.11 c #vars=9240 #constraints=241 hasObjective=yes 0.09/0.13 c res. mode=mod 0.09/0.13 c VSIDS like heuristics 0.09/0.13 c complete search running 0.19/0.26 c restart after 401 decisions 0.19/0.30 c nbDecision=500 #constraints=242 0.29/0.38 c restart after 801 decisions 0.39/0.45 c nbDecision=1000 #constraints=242 0.49/0.58 c nbDecision=1500 #constraints=246 0.59/0.61 c restart after 1601 decisions 0.69/0.78 c nbDecision=2000 #constraints=262 1.09/1.17 c nbDecision=2500 #constraints=344 1.49/1.50 c nbDecision=3000 #constraints=403 1.69/1.73 c restart after 3201 decisions 1.79/1.86 c nbDecision=3500 #constraints=444 1.99/2.08 c nbDecision=4000 #constraints=477 2.89/2.91 c nbDecision=4500 #constraints=593 3.59/3.67 c nbDecision=5000 #constraints=691 3.99/4.10 c nbDecision=5500 #constraints=744 4.59/4.62 c nbDecision=6000 #constraints=806 4.99/5.01 c restart after 6401 decisions 5.09/5.14 c nbDecision=6500 #constraints=853 5.40/5.48 c nbDecision=7000 #constraints=869 5.89/5.95 c nbDecision=7500 #constraints=919 6.29/6.39 c nbDecision=8000 #constraints=985 6.69/6.71 c nbDecision=8500 #constraints=1023 6.99/7.04 c nbDecision=9000 #constraints=1061 7.59/7.67 c nbDecision=9500 #constraints=1115 8.09/8.17 c nbDecision=10000 #constraints=1164 8.59/8.67 c nbDecision=10500 #constraints=1208 8.99/9.04 c nbDecision=11000 #constraints=1240 9.38/9.42 c nbDecision=11500 #constraints=1270 9.68/9.78 c nbDecision=12000 #constraints=1299 10.09/10.15 c nbDecision=12500 #constraints=1328 10.29/10.35 c restart after 12801 decisions 10.59/10.61 c nbDecision=13000 #constraints=1343 10.79/10.86 c nbDecision=13500 #constraints=1348 11.69/11.75 c nbDecision=14000 #constraints=1436 12.49/12.56 c nbDecision=14500 #constraints=1502 13.38/13.46 c nbDecision=15000 #constraints=1582 14.38/14.46 c nbDecision=15500 #constraints=1663 14.99/15.01 c nbDecision=16000 #constraints=1713 15.39/15.47 c nbDecision=16500 #constraints=1749 15.79/15.88 c nbDecision=17000 #constraints=1780 16.19/16.25 c nbDecision=17500 #constraints=1810 16.59/16.65 c nbDecision=18000 #constraints=1843 17.79/17.89 c nbDecision=18500 #constraints=1906 18.69/18.78 c nbDecision=19000 #constraints=1956 20.19/20.21 c nbDecision=19500 #constraints=2032 21.09/21.19 c nbDecision=20000 #constraints=2082 21.99/22.00 c nbDecision=20500 #constraints=2128 22.78/22.90 c nbDecision=21000 #constraints=2156 23.68/23.72 c nbDecision=21500 #constraints=2195 24.38/24.47 c nbDecision=22000 #constraints=2242 25.69/25.76 c nbDecision=22500 #constraints=2292 26.19/26.30 c nbDecision=23000 #constraints=2319 26.98/27.02 c nbDecision=23500 #constraints=2364 27.68/27.79 c nbDecision=24000 #constraints=2389 28.08/28.19 c nbDecision=24500 #constraints=2399 28.68/28.73 c nbDecision=25000 #constraints=2426 28.98/29.04 c nbDecision=25500 #constraints=2431 28.98/29.09 c restart after 25601 decisions 29.88/29.98 c nbDecision=26000 #constraints=2433 30.78/30.82 c nbDecision=26500 #constraints=2488 31.38/31.44 c nbDecision=27000 #constraints=2515 31.88/31.99 c nbDecision=27500 #constraints=2555 32.38/32.45 c nbDecision=28000 #constraints=2586 32.89/32.99 c nbDecision=28500 #constraints=2615 34.38/34.49 c nbDecision=29000 #constraints=2669 35.08/35.15 c nbDecision=29500 #constraints=2694 36.07/36.17 c nbDecision=30000 #constraints=2741 37.48/37.52 c nbDecision=30500 #constraints=2793 38.38/38.43 c nbDecision=31000 #constraints=2824 40.28/40.37 c nbDecision=31500 #constraints=2893 40.77/40.85 c nbDecision=32000 #constraints=2909 41.28/41.35 c nbDecision=32500 #constraints=2920 42.07/42.13 c nbDecision=33000 #constraints=2962 42.97/43.08 c nbDecision=33500 #constraints=2994 44.68/44.73 c nbDecision=34000 #constraints=3062 45.08/45.16 c nbDecision=34500 #constraints=3075 46.18/46.21 c nbDecision=35000 #constraints=3116 47.07/47.12 c nbDecision=35500 #constraints=3164 47.77/47.88 c nbDecision=36000 #constraints=3206 48.47/48.56 c nbDecision=36500 #constraints=3252 49.38/49.41 c nbDecision=37000 #constraints=3292 51.27/51.37 c nbDecision=37500 #constraints=3358 53.57/53.61 c nbDecision=38000 #constraints=3433 55.27/55.34 c nbDecision=38500 #constraints=3498 57.37/57.44 c nbDecision=39000 #constraints=3567 59.17/59.30 c nbDecision=39500 #constraints=3626 61.27/61.34 c nbDecision=40000 #constraints=3691 62.77/62.80 c nbDecision=40500 #constraints=3749 63.67/63.80 c nbDecision=41000 #constraints=3783 64.67/64.77 c nbDecision=41500 #constraints=3820 65.57/65.62 c nbDecision=42000 #constraints=3849 66.47/66.53 c nbDecision=42500 #constraints=3884 67.57/67.68 c nbDecision=43000 #constraints=3923 68.67/68.70 c nbDecision=43500 #constraints=3960 70.46/70.58 c nbDecision=44000 #constraints=4025 72.16/72.22 c nbDecision=44500 #constraints=4079 73.17/73.24 c nbDecision=45000 #constraints=4112 74.77/74.84 c nbDecision=45500 #constraints=4166 76.06/76.10 c nbDecision=46000 #constraints=4208 77.56/77.66 c nbDecision=46500 #constraints=4254 79.17/79.29 c nbDecision=47000 #constraints=4302 80.46/80.58 c nbDecision=47500 #constraints=4342 81.96/82.00 c nbDecision=48000 #constraints=4391 83.26/83.33 c nbDecision=48500 #constraints=4434 84.36/84.41 c nbDecision=49000 #constraints=4468 86.06/86.14 c nbDecision=49500 #constraints=4517 87.46/87.50 c nbDecision=50000 #constraints=4560 88.56/88.67 c nbDecision=50500 #constraints=4597 90.06/90.17 c nbDecision=51000 #constraints=4635 90.75/90.85 c restart after 51201 decisions 93.55/93.66 c nbDecision=51500 #constraints=4655 94.45/94.56 c nbDecision=52000 #constraints=4684 95.15/95.22 c nbDecision=52500 #constraints=4701 96.75/96.82 c nbDecision=53000 #constraints=4741 98.65/98.74 c nbDecision=53500 #constraints=4797 100.45/100.56 c nbDecision=54000 #constraints=4851 101.86/101.90 c nbDecision=54500 #constraints=4895 102.65/102.78 c nbDecision=55000 #constraints=4929 103.55/103.62 c nbDecision=55500 #constraints=4970 104.55/104.68 c nbDecision=56000 #constraints=4996 105.75/105.80 c nbDecision=56500 #constraints=5029 106.55/106.68 c nbDecision=57000 #constraints=5062 107.45/107.59 c nbDecision=57500 #constraints=5095 108.35/108.47 c nbDecision=58000 #constraints=5131 110.34/110.43 c nbDecision=58500 #constraints=5187 111.15/111.27 c nbDecision=59000 #constraints=5206 112.25/112.40 c nbDecision=59500 #constraints=5241 113.45/113.52 c nbDecision=60000 #constraints=5269 115.84/115.91 c nbDecision=60500 #constraints=5315 116.94/117.04 c nbDecision=61000 #constraints=5349 117.84/117.97 c nbDecision=61500 #constraints=5369 120.05/120.16 c nbDecision=62000 #constraints=5419 124.04/124.15 c nbDecision=62500 #constraints=5494 125.15/125.30 c nbDecision=63000 #constraints=5532 126.35/126.42 c nbDecision=63500 #constraints=5565 127.55/127.68 c nbDecision=64000 #constraints=5608 128.55/128.65 c nbDecision=64500 #constraints=5631 131.94/132.06 c nbDecision=65000 #constraints=5684 133.23/133.31 c nbDecision=65500 #constraints=5720 134.04/134.12 c nbDecision=66000 #constraints=5732 139.64/139.71 c nbDecision=66500 #constraints=5825 141.44/141.58 c nbDecision=67000 #constraints=5863 143.54/143.66 c nbDecision=67500 #constraints=5914 144.84/144.92 c nbDecision=68000 #constraints=5946 147.03/147.19 c nbDecision=68500 #constraints=5998 151.74/151.87 c nbDecision=69000 #constraints=6077 154.13/154.26 c nbDecision=69500 #constraints=6135 156.83/156.97 c nbDecision=70000 #constraints=6191 160.83/160.94 c nbDecision=70500 #constraints=6245 162.43/162.59 c nbDecision=71000 #constraints=6265 164.73/164.87 c nbDecision=71500 #constraints=6300 166.12/166.24 c nbDecision=72000 #constraints=6339 167.13/167.25 c nbDecision=72500 #constraints=6352 167.92/168.09 c nbDecision=73000 #constraints=6362 170.63/170.71 c nbDecision=73500 #constraints=6410 171.73/171.80 c nbDecision=74000 #constraints=6436 172.63/172.71 c nbDecision=74500 #constraints=6459 177.72/177.87 c nbDecision=75000 #constraints=6538 178.72/178.81 c nbDecision=75500 #constraints=6552 179.82/179.94 c nbDecision=76000 #constraints=6580 180.82/180.94 c nbDecision=76500 #constraints=6604 181.92/182.03 c nbDecision=77000 #constraints=6629 182.92/183.02 c nbDecision=77500 #constraints=6651 183.92/184.09 c nbDecision=78000 #constraints=6667 186.11/186.29 c nbDecision=78500 #constraints=6710 188.51/188.60 c nbDecision=79000 #constraints=6738 194.11/194.26 c nbDecision=79500 #constraints=6821 197.01/197.19 c nbDecision=80000 #constraints=6876 198.61/198.74 c nbDecision=80500 #constraints=6911 202.41/202.53 c nbDecision=81000 #constraints=6986 204.81/204.97 c nbDecision=81500 #constraints=7022 206.72/206.82 c nbDecision=82000 #constraints=7051 207.72/207.82 c nbDecision=82500 #constraints=7079 208.81/208.94 c nbDecision=83000 #constraints=7113 210.31/210.44 c nbDecision=83500 #constraints=7144 213.00/213.18 c nbDecision=84000 #constraints=7186 214.60/214.71 c nbDecision=84500 #constraints=7217 216.51/216.69 c nbDecision=85000 #constraints=7249 217.80/217.94 c nbDecision=85500 #constraints=7268 219.51/219.68 c nbDecision=86000 #constraints=7288 223.60/223.71 c nbDecision=86500 #constraints=7345 226.30/226.45 c nbDecision=87000 #constraints=7374 227.50/227.68 c nbDecision=87500 #constraints=7402 229.20/229.34 c nbDecision=88000 #constraints=7445 232.70/232.84 c nbDecision=88500 #constraints=7504 236.70/236.83 c nbDecision=89000 #constraints=7563 240.40/240.57 c nbDecision=89500 #constraints=7633 242.50/242.69 c nbDecision=90000 #constraints=7671 244.19/244.36 c nbDecision=90500 #constraints=7703 246.20/246.34 c nbDecision=91000 #constraints=7745 248.19/248.35 c nbDecision=91500 #constraints=7774 250.59/250.70 c nbDecision=92000 #constraints=7814 253.00/253.18 c nbDecision=92500 #constraints=7862 255.39/255.57 c nbDecision=93000 #constraints=7906 258.39/258.55 c nbDecision=93500 #constraints=7948 261.38/261.57 c nbDecision=94000 #constraints=7998 267.09/267.26 c nbDecision=94500 #constraints=8095 271.88/272.05 c nbDecision=95000 #constraints=8168 273.49/273.60 c nbDecision=95500 #constraints=8201 275.08/275.21 c nbDecision=96000 #constraints=8233 276.78/276.99 c nbDecision=96500 #constraints=8266 281.98/282.15 c nbDecision=97000 #constraints=8335 286.38/286.57 c nbDecision=97500 #constraints=8394 295.27/295.45 c nbDecision=98000 #constraints=8487 299.57/299.75 c nbDecision=98500 #constraints=8545 303.07/303.26 c nbDecision=99000 #constraints=8595 305.47/305.64 c nbDecision=99500 #constraints=8637 307.67/307.81 c nbDecision=100000 #constraints=8676 310.08/310.30 c nbDecision=100500 #constraints=8719 313.87/314.08 c nbDecision=101000 #constraints=8770 318.97/319.11 c nbDecision=101500 #constraints=8846 320.46/320.70 c nbDecision=102000 #constraints=8869 322.46/322.65 c restart after 102401 decisions 326.56/326.71 c nbDecision=102500 #constraints=8891 329.06/329.24 c nbDecision=103000 #constraints=8901 332.46/332.65 c nbDecision=103500 #constraints=9012 335.96/336.13 c nbDecision=104000 #constraints=9091 338.96/339.15 c nbDecision=104500 #constraints=9125 342.66/342.80 c nbDecision=105000 #constraints=9168 345.95/346.11 c nbDecision=105500 #constraints=9207 349.96/350.18 c nbDecision=106000 #constraints=9254 352.96/353.15 c nbDecision=106500 #constraints=9298 355.95/356.18 c nbDecision=107000 #constraints=9343 359.65/359.86 c nbDecision=107500 #constraints=9387 362.55/362.75 c nbDecision=108000 #constraints=9425 367.25/367.50 c nbDecision=108500 #constraints=9483 370.84/371.08 c nbDecision=109000 #constraints=9534 374.95/375.11 c nbDecision=109500 #constraints=9611 378.94/379.10 c nbDecision=110000 #constraints=9670 383.04/383.22 c nbDecision=110500 #constraints=9735 386.24/386.41 c nbDecision=111000 #constraints=9774 389.74/389.92 c nbDecision=111500 #constraints=9815 392.64/392.84 c nbDecision=112000 #constraints=9850 396.54/396.72 c nbDecision=112500 #constraints=9894 399.73/399.91 c nbDecision=113000 #constraints=9932 404.13/404.35 c nbDecision=113500 #constraints=9991 407.44/407.67 c nbDecision=114000 #constraints=10029 410.43/410.60 c nbDecision=114500 #constraints=10066 413.33/413.55 c nbDecision=115000 #constraints=10108 415.93/416.11 c nbDecision=115500 #constraints=10150 419.63/419.80 c nbDecision=116000 #constraints=10207 422.03/422.27 c nbDecision=116500 #constraints=10238 426.23/426.40 c nbDecision=117000 #constraints=10290 430.42/430.64 c nbDecision=117500 #constraints=10369 434.12/434.39 c nbDecision=118000 #constraints=10586 440.83/441.10 c nbDecision=118500 #constraints=10961 442.82/443.06 c nbDecision=119000 #constraints=11022 448.32/448.50 c nbDecision=119500 #constraints=11140 454.12/454.33 c nbDecision=120000 #constraints=11260 456.92/457.12 c nbDecision=120500 #constraints=11305 459.21/459.47 c nbDecision=121000 #constraints=11339 461.71/461.92 c nbDecision=121500 #constraints=11369 464.71/464.98 c nbDecision=122000 #constraints=11408 467.41/467.67 c nbDecision=122500 #constraints=11439 470.01/470.20 c nbDecision=123000 #constraints=11472 472.81/473.01 c nbDecision=123500 #constraints=11508 475.21/475.43 c nbDecision=124000 #constraints=11539 478.21/478.43 c nbDecision=124500 #constraints=11579 481.20/481.40 c nbDecision=125000 #constraints=11617 483.90/484.12 c nbDecision=125500 #constraints=11652 486.31/486.53 c nbDecision=126000 #constraints=11691 488.90/489.11 c nbDecision=126500 #constraints=11727 492.00/492.20 c nbDecision=127000 #constraints=11765 494.09/494.33 c nbDecision=127500 #constraints=11797 496.50/496.74 c nbDecision=128000 #constraints=11832 498.70/498.91 c nbDecision=128500 #constraints=11864 501.40/501.67 c nbDecision=129000 #constraints=11899 504.10/504.32 c nbDecision=129500 #constraints=11937 506.30/506.54 c nbDecision=130000 #constraints=11967 509.49/509.71 c nbDecision=130500 #constraints=12009 512.09/512.32 c nbDecision=131000 #constraints=12047 514.88/515.17 c nbDecision=131500 #constraints=12087 517.59/517.81 c nbDecision=132000 #constraints=12122 519.79/520.01 c nbDecision=132500 #constraints=12154 522.29/522.53 c nbDecision=133000 #constraints=12192 524.69/524.95 c nbDecision=133500 #constraints=12226 527.59/527.88 c nbDecision=134000 #constraints=12258 530.38/530.66 c nbDecision=134500 #constraints=12293 532.98/533.29 c nbDecision=135000 #constraints=12333 536.08/536.33 c nbDecision=135500 #constraints=12372 538.98/539.27 c nbDecision=136000 #constraints=12408 542.18/542.46 c nbDecision=136500 #constraints=12450 545.08/545.30 c nbDecision=137000 #constraints=12485 547.67/547.98 c nbDecision=137500 #constraints=12520 550.17/550.41 c nbDecision=138000 #constraints=12552 553.98/554.20 c nbDecision=138500 #constraints=12595 556.97/557.24 c nbDecision=139000 #constraints=12636 559.87/560.16 c nbDecision=139500 #constraints=12665 564.17/564.43 c nbDecision=140000 #constraints=12707 568.37/568.68 c nbDecision=140500 #constraints=12760 574.07/574.33 c nbDecision=141000 #constraints=12838 578.56/578.81 c nbDecision=141500 #constraints=12894 587.06/587.32 c nbDecision=142000 #constraints=13019 591.66/592.00 c nbDecision=142500 #constraints=13074 595.26/595.53 c nbDecision=143000 #constraints=13115 598.55/598.80 c nbDecision=143500 #constraints=13157 602.26/602.56 c nbDecision=144000 #constraints=13202 606.06/606.39 c nbDecision=144500 #constraints=13242 610.16/610.44 c nbDecision=145000 #constraints=13288 613.45/613.72 c nbDecision=145500 #constraints=13326 616.25/616.59 c nbDecision=146000 #constraints=13358 619.35/619.67 c nbDecision=146500 #constraints=13394 622.05/622.33 c nbDecision=147000 #constraints=13426 625.05/625.31 c nbDecision=147500 #constraints=13460 627.85/628.17 c nbDecision=148000 #constraints=13492 630.64/630.95 c nbDecision=148500 #constraints=13526 633.94/634.21 c nbDecision=149000 #constraints=13561 636.54/636.86 c nbDecision=149500 #constraints=13592 639.44/639.72 c nbDecision=150000 #constraints=13663 647.24/647.52 c nbDecision=150500 #constraints=13745 654.73/655.02 c nbDecision=151000 #constraints=13831 658.63/658.98 c nbDecision=151500 #constraints=13882 662.53/662.85 c nbDecision=152000 #constraints=13927 665.43/665.75 c nbDecision=152500 #constraints=13964 670.03/670.30 c nbDecision=153000 #constraints=14011 673.13/673.41 c nbDecision=153500 #constraints=14049 675.33/675.65 c nbDecision=154000 #constraints=14081 678.13/678.44 c nbDecision=154500 #constraints=14117 680.83/681.13 c nbDecision=155000 #constraints=14152 684.02/684.31 c nbDecision=155500 #constraints=14190 686.52/686.90 c nbDecision=156000 #constraints=14222 691.12/691.40 c nbDecision=156500 #constraints=14279 693.42/693.78 c nbDecision=157000 #constraints=14307 697.91/698.21 c nbDecision=157500 #constraints=14359 701.82/702.13 c nbDecision=158000 #constraints=14396 705.11/705.47 c nbDecision=158500 #constraints=14433 711.22/711.53 c nbDecision=159000 #constraints=14499 714.62/714.93 c nbDecision=159500 #constraints=14539 717.01/717.37 c nbDecision=160000 #constraints=14573 719.71/720.05 c nbDecision=160500 #constraints=14607 723.31/723.61 c nbDecision=161000 #constraints=14649 725.90/726.28 c nbDecision=161500 #constraints=14681 730.31/730.64 c nbDecision=162000 #constraints=14733 732.71/733.01 c nbDecision=162500 #constraints=14766 737.20/737.57 c nbDecision=163000 #constraints=14816 740.70/741.05 c nbDecision=163500 #constraints=14857 743.91/744.20 c nbDecision=164000 #constraints=14894 748.10/748.46 c nbDecision=164500 #constraints=14945 751.90/752.26 c nbDecision=165000 #constraints=14989 755.70/756.02 c nbDecision=165500 #constraints=15030 758.60/758.92 c nbDecision=166000 #constraints=15062 763.49/763.85 c nbDecision=166500 #constraints=15110 767.10/767.45 c nbDecision=167000 #constraints=15146 770.59/770.95 c nbDecision=167500 #constraints=15186 774.39/774.76 c nbDecision=168000 #constraints=15224 777.88/778.23 c nbDecision=168500 #constraints=15255 781.28/781.64 c nbDecision=169000 #constraints=15294 785.09/785.46 c nbDecision=169500 #constraints=15334 788.68/789.02 c nbDecision=170000 #constraints=15368 791.79/792.10 c nbDecision=170500 #constraints=15402 794.79/795.12 c nbDecision=171000 #constraints=15437 797.68/798.05 c nbDecision=171500 #constraints=15470 801.58/801.95 c nbDecision=172000 #constraints=15510 804.78/805.16 c nbDecision=172500 #constraints=15546 808.18/808.53 c nbDecision=173000 #constraints=15582 814.57/814.90 c nbDecision=173500 #constraints=15674 822.07/822.41 c nbDecision=174000 #constraints=15749 831.27/831.63 c nbDecision=174500 #constraints=15835 837.16/837.51 c nbDecision=175000 #constraints=15884 842.36/842.76 c nbDecision=175500 #constraints=15933 848.26/848.67 c nbDecision=176000 #constraints=15987 855.06/855.45 c nbDecision=176500 #constraints=16044 861.06/861.41 c nbDecision=177000 #constraints=16093 867.65/868.07 c nbDecision=177500 #constraints=16140 874.25/874.66 c nbDecision=178000 #constraints=16192 880.35/880.70 c nbDecision=178500 #constraints=16236 887.94/888.30 c nbDecision=179000 #constraints=16295 894.64/895.07 c nbDecision=179500 #constraints=16345 899.04/899.43 c nbDecision=180000 #constraints=16377 904.94/905.34 c nbDecision=180500 #constraints=16417 910.74/911.17 c nbDecision=181000 #constraints=16462 917.64/918.09 c nbDecision=181500 #constraints=16514 923.13/923.54 c nbDecision=182000 #constraints=16554 929.13/929.57 c nbDecision=182500 #constraints=16604 935.53/935.94 c nbDecision=183000 #constraints=16657 941.53/941.93 c nbDecision=183500 #constraints=16703 945.92/946.36 c nbDecision=184000 #constraints=16733 951.62/952.02 c nbDecision=184500 #constraints=16774 958.72/959.18 c nbDecision=185000 #constraints=16830 967.71/968.10 c nbDecision=185500 #constraints=16908 973.61/974.10 c nbDecision=186000 #constraints=16953 978.51/978.95 c nbDecision=186500 #constraints=16985 984.70/985.17 c nbDecision=187000 #constraints=17032 989.31/989.78 c nbDecision=187500 #constraints=17064 995.00/995.42 c nbDecision=188000 #constraints=17105 1000.51/1000.98 c nbDecision=188500 #constraints=17145 1005.40/1005.80 c nbDecision=189000 #constraints=17180 1011.80/1012.23 c nbDecision=189500 #constraints=17226 1017.10/1017.55 c nbDecision=190000 #constraints=17266 1021.79/1022.29 c nbDecision=190500 #constraints=17301 1027.69/1028.13 c nbDecision=191000 #constraints=17340 1032.99/1033.46 c nbDecision=191500 #constraints=17380 1039.19/1039.65 c nbDecision=192000 #constraints=17423 1045.69/1046.18 c nbDecision=192500 #constraints=17473 1052.68/1053.17 c nbDecision=193000 #constraints=17527 1061.08/1061.58 c nbDecision=193500 #constraints=17595 1067.18/1067.67 c nbDecision=194000 #constraints=17640 1072.67/1073.15 c nbDecision=194500 #constraints=17677 1078.37/1078.85 c nbDecision=195000 #constraints=17720 1086.28/1086.72 c nbDecision=195500 #constraints=17768 1099.76/1100.27 c nbDecision=196000 #constraints=17886 1109.96/1110.44 c nbDecision=196500 #constraints=17962 1117.76/1118.30 c nbDecision=197000 #constraints=18034 1124.46/1124.93 c nbDecision=197500 #constraints=18094 1131.65/1132.18 c nbDecision=198000 #constraints=18149 1138.94/1139.43 c nbDecision=198500 #constraints=18197 1146.35/1146.89 c nbDecision=199000 #constraints=18248 1150.74/1151.27 c nbDecision=199500 #constraints=18284 1156.04/1156.53 c nbDecision=200000 #constraints=18323 1163.04/1163.59 c nbDecision=200500 #constraints=18373 1172.23/1172.71 c nbDecision=201000 #constraints=18448 1176.93/1177.46 c nbDecision=201500 #constraints=18483 1185.23/1185.79 c nbDecision=202000 #constraints=18547 1190.43/1190.96 c nbDecision=202500 #constraints=18582 1194.42/1194.96 c nbDecision=203000 #constraints=18614 1202.32/1202.89 c nbDecision=203500 #constraints=18673 1207.52/1208.09 c nbDecision=204000 #constraints=18708 1213.92/1214.45 c nbDecision=204500 #constraints=18758 1218.61/1219.12 c restart after 204801 decisions 1232.71/1233.28 c nbDecision=205000 #constraints=18789 1235.81/1236.34 c nbDecision=205500 #constraints=18824 1243.81/1244.39 c nbDecision=206000 #constraints=18878 1248.81/1249.35 c nbDecision=206500 #constraints=18907 1261.00/1261.52 c nbDecision=207000 #constraints=18994 1271.00/1271.55 c nbDecision=207500 #constraints=19078 1281.09/1281.69 c nbDecision=208000 #constraints=19154 1291.79/1292.33 c nbDecision=208500 #constraints=19237 1296.19/1296.74 c nbDecision=209000 #constraints=19275 1299.89/1300.49 c nbDecision=209500 #constraints=19305 1305.88/1306.44 c nbDecision=210000 #constraints=19346 1311.69/1312.25 c nbDecision=210500 #constraints=19397 1317.08/1317.64 c nbDecision=211000 #constraints=19439 1323.98/1324.57 c nbDecision=211500 #constraints=19491 1330.38/1330.92 c nbDecision=212000 #constraints=19527 1335.37/1335.96 c nbDecision=212500 #constraints=19563 1340.67/1341.21 c nbDecision=213000 #constraints=19596 1344.67/1345.28 c nbDecision=213500 #constraints=19625 1350.57/1351.13 c nbDecision=214000 #constraints=19670 1355.17/1355.71 c nbDecision=214500 #constraints=19703 1360.66/1361.27 c nbDecision=215000 #constraints=19737 1365.86/1366.42 c nbDecision=215500 #constraints=19773 1369.86/1370.43 c nbDecision=216000 #constraints=19804 1374.25/1374.84 c nbDecision=216500 #constraints=19835 1388.76/1389.32 c nbDecision=217000 #constraints=20044 1398.35/1398.94 c nbDecision=217500 #constraints=20105 1404.64/1405.24 c nbDecision=218000 #constraints=20137 1411.44/1412.06 c nbDecision=218500 #constraints=20172 1417.05/1417.66 c nbDecision=219000 #constraints=20201 1421.84/1422.48 c nbDecision=219500 #constraints=20227 1426.54/1427.19 c nbDecision=220000 #constraints=20256 1436.44/1437.10 c nbDecision=220500 #constraints=20341 1444.43/1445.01 c nbDecision=221000 #constraints=20389 1453.13/1453.77 c nbDecision=221500 #constraints=20442 1457.23/1457.81 c nbDecision=222000 #constraints=20465 1465.53/1466.16 c nbDecision=222500 #constraints=20516 1473.72/1474.33 c nbDecision=223000 #constraints=20562 1481.72/1482.33 c nbDecision=223500 #constraints=20604 1491.21/1491.85 c nbDecision=224000 #constraints=20653 1504.71/1505.36 c nbDecision=224500 #constraints=20724 1512.80/1513.47 c nbDecision=225000 #constraints=20785 1517.20/1517.89 c nbDecision=225500 #constraints=20816 1521.51/1522.13 c nbDecision=226000 #constraints=20849 1526.31/1526.96 c nbDecision=226500 #constraints=20882 1532.71/1533.33 c nbDecision=227000 #constraints=20919 1539.60/1540.23 c nbDecision=227500 #constraints=20955 1548.10/1548.74 c nbDecision=228000 #constraints=21013 1554.59/1555.25 c nbDecision=228500 #constraints=21066 1560.49/1561.19 c nbDecision=229000 #constraints=21116 1566.29/1566.93 c nbDecision=229500 #constraints=21152 1571.29/1571.98 c nbDecision=230000 #constraints=21180 1577.89/1578.57 c nbDecision=230500 #constraints=21220 1583.88/1584.56 c nbDecision=231000 #constraints=21261 1589.38/1590.00 c nbDecision=231500 #constraints=21296 1594.07/1594.78 c nbDecision=232000 #constraints=21326 1600.58/1601.29 c nbDecision=232500 #constraints=21393 1607.47/1608.18 c nbDecision=233000 #constraints=21442 1630.37/1631.05 c nbDecision=233500 #constraints=21629 1637.36/1638.01 c nbDecision=234000 #constraints=21665 1641.66/1642.34 c nbDecision=234500 #constraints=21701 1654.75/1655.47 c nbDecision=235000 #constraints=21794 1666.75/1667.43 c nbDecision=235500 #constraints=21873 1675.44/1676.13 c nbDecision=236000 #constraints=21931 1679.15/1679.90 c nbDecision=236500 #constraints=21958 1683.05/1683.71 c nbDecision=237000 #constraints=21984 1688.24/1688.94 c nbDecision=237500 #constraints=22015 1693.04/1693.77 c nbDecision=238000 #constraints=22042 1698.74/1699.48 c nbDecision=238500 #constraints=22076 1702.93/1703.65 c nbDecision=239000 #constraints=22107 1707.33/1708.09 c nbDecision=239500 #constraints=22138 1712.43/1713.17 c nbDecision=240000 #constraints=22169 1718.73/1719.41 c nbDecision=240500 #constraints=22208 1724.53/1725.21 c nbDecision=241000 #constraints=22239 1729.73/1730.49 c nbDecision=241500 #constraints=22269 1735.72/1736.42 c nbDecision=242000 #constraints=22305 1741.62/1742.32 c nbDecision=242500 #constraints=22340 1748.32/1749.01 c nbDecision=243000 #constraints=22376 1755.02/1755.77 c nbDecision=243500 #constraints=22412 1760.12/1760.88 c nbDecision=244000 #constraints=22441 1765.21/1765.92 c nbDecision=244500 #constraints=22472 1770.60/1771.34 c nbDecision=245000 #constraints=22501 1776.60/1777.31 c nbDecision=245500 #constraints=22533 1781.60/1782.32 c nbDecision=246000 #constraints=22562 1785.50/1786.21 c nbDecision=246500 #constraints=22587 1791.60/1792.30 c nbDecision=247000 #constraints=22624 1797.00/1797.72 c nbDecision=247500 #constraints=22654 1800.01/1800.70 Received signal 15 1800.30/1801.00 1800.30/1801.00 s UNKNOWN 1800.30/1801.00 1800.30/1801.00 c user time= 1799.16 s 1800.30/1801.00 c system time= 1.15182 s 1800.30/1801.00 c wall clock time=1801.01
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node59/watcher-356939-1176848906 -o ROOT/results/node59/solver-356939-1176848906 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356939-1176848906/instance-356939-1176848906.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.94 3/64 30401 /proc/meminfo: memFree=1833656/2055920 swapFree=4184740/4192956 [pid=30401] ppid=30399 vsize=1468 CPUtime=0 /proc/30401/stat : 30401 (oree) R 30399 30401 29246 0 -1 4194304 184 0 0 0 0 0 0 0 18 0 1 0 132800257 1503232 166 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540728 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30401/statm: 367 167 131 317 0 46 0 [startup+0.0153851 s] /proc/loadavg: 0.91 0.95 0.94 3/64 30401 /proc/meminfo: memFree=1833656/2055920 swapFree=4184740/4192956 [pid=30401] ppid=30399 vsize=1748 CPUtime=0.01 /proc/30401/stat : 30401 (oree) R 30399 30401 29246 0 -1 4194304 248 0 0 0 1 0 0 0 18 0 1 0 132800257 1789952 230 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30401/statm: 437 230 131 317 0 116 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 1748 [startup+0.101401 s] /proc/loadavg: 0.91 0.95 0.94 3/64 30401 /proc/meminfo: memFree=1833656/2055920 swapFree=4184740/4192956 [pid=30401] ppid=30399 vsize=3520 CPUtime=0.09 /proc/30401/stat : 30401 (oree) R 30399 30401 29246 0 -1 4194304 679 0 0 0 9 0 0 0 18 0 1 0 132800257 3604480 661 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30401/statm: 880 661 131 317 0 559 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3520 [startup+0.301439 s] /proc/loadavg: 0.91 0.95 0.94 3/64 30401 /proc/meminfo: memFree=1833656/2055920 swapFree=4184740/4192956 [pid=30401] ppid=30399 vsize=5216 CPUtime=0.29 /proc/30401/stat : 30401 (oree) R 30399 30401 29246 0 -1 4194304 1125 0 0 0 29 0 0 0 19 0 1 0 132800257 5341184 1107 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134752702 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30401/statm: 1304 1107 139 317 0 983 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5216 [startup+0.702515 s] /proc/loadavg: 0.91 0.95 0.94 3/64 30401 /proc/meminfo: memFree=1833656/2055920 swapFree=4184740/4192956 [pid=30401] ppid=30399 vsize=5352 CPUtime=0.69 /proc/30401/stat : 30401 (oree) R 30399 30401 29246 0 -1 4194304 1140 0 0 0 69 0 0 0 22 0 1 0 132800257 5480448 1122 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30401/statm: 1338 1122 139 317 0 1017 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5352 [startup+1.50167 s] /proc/loadavg: 0.91 0.95 0.94 2/65 30402 /proc/meminfo: memFree=1827824/2055920 swapFree=4184740/4192956 [pid=30401] ppid=30399 vsize=11256 CPUtime=1.49 /proc/30401/stat : 30401 (oree) R 30399 30401 29246 0 -1 4194304 2586 0 0 0 148 1 0 0 25 0 1 0 132800257 11526144 2568 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30401/statm: 2814 2568 170 317 0 2493 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11256 [startup+3.10197 s] /proc/loadavg: 0.91 0.95 0.94 2/65 30402 /proc/meminfo: memFree=1821616/2055920 swapFree=4184740/4192956 [pid=30401] ppid=30399 vsize=19740 CPUtime=3.1 /proc/30401/stat : 30401 (oree) R 30399 30401 29246 0 -1 4194304 4618 0 0 0 308 2 0 0 25 0 1 0 132800257 20213760 4600 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713835 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30401/statm: 4935 4600 170 317 0 4614 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 19740 [startup+6.30158 s] /proc/loadavg: 0.92 0.95 0.94 2/65 30402 /proc/meminfo: memFree=1805488/2055920 swapFree=4184740/4192956 [pid=30401] ppid=30399 vsize=34908 CPUtime=6.29 /proc/30401/stat : 30401 (oree) R 30399 30401 29246 0 -1 4194304 8339 0 0 0 626 3 0 0 25 0 1 0 132800257 35745792 8321 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30401/statm: 8727 8321 170 317 0 8406 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 34908 [startup+12.7018 s] /proc/loadavg: 0.93 0.95 0.94 2/65 30402 /proc/meminfo: memFree=1782584/2055920 swapFree=4184740/4192956 [pid=30401] ppid=30399 vsize=57204 CPUtime=12.69 /proc/30401/stat : 30401 (oree) R 30399 30401 29246 0 -1 4194304 13454 0 0 0 1264 5 0 0 25 0 1 0 132800257 58576896 13436 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284505 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30401/statm: 14301 13436 170 317 0 13980 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 57204 [startup+25.5012 s] /proc/loadavg: 0.94 0.96 0.94 2/65 30402 /proc/meminfo: memFree=1752184/2055920 swapFree=4184740/4192956 [pid=30401] ppid=30399 vsize=85932 CPUtime=25.48 /proc/30401/stat : 30401 (oree) R 30399 30401 29246 0 -1 4194304 20534 0 0 0 2541 7 0 0 25 0 1 0 132800257 87994368 20516 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564040 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30401/statm: 21483 20516 170 317 0 21162 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 85932 [startup+51.1011 s] /proc/loadavg: 0.96 0.96 0.94 2/65 30402 /proc/meminfo: memFree=1705272/2055920 swapFree=4184740/4192956 [pid=30401] ppid=30399 vsize=137572 CPUtime=51.07 /proc/30401/stat : 30401 (oree) R 30399 30401 29246 0 -1 4194304 32591 0 0 0 5096 11 0 0 25 0 1 0 132800257 140873728 32573 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284135 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30401/statm: 34393 32573 170 317 0 34072 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 137572 [startup+102.306 s] /proc/loadavg: 0.98 0.96 0.94 2/65 30402 /proc/meminfo: memFree=1633464/2055920 swapFree=4184740/4192956 [pid=30401] ppid=30399 vsize=210904 CPUtime=102.26 /proc/30401/stat : 30401 (oree) R 30399 30401 29246 0 -1 4194304 50054 0 0 0 10206 20 0 0 25 0 1 0 132800257 215965696 50036 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30401/statm: 52726 50036 170 317 0 52405 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 210904 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.94 2/65 30402 /proc/meminfo: memFree=1571448/2055920 swapFree=4184740/4192956 [pid=30401] ppid=30399 vsize=284860 CPUtime=162.23 /proc/30401/stat : 30401 (oree) R 30399 30401 29246 0 -1 4194304 65601 0 0 0 16195 28 0 0 25 0 1 0 132800257 291696640 65583 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30401/statm: 71215 65583 170 317 0 70894 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 284860 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.94 2/65 30402 /proc/meminfo: memFree=1526520/2055920 swapFree=4184740/4192956 [pid=30401] ppid=30399 vsize=333412 CPUtime=222.21 /proc/30401/stat : 30401 (oree) R 30399 30401 29246 0 -1 4194304 76720 0 0 0 22187 34 0 0 25 0 1 0 132800257 341413888 76702 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711137 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30401/statm: 83353 76702 170 317 0 83032 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 333412 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.94 2/65 30402 /proc/meminfo: memFree=1480184/2055920 swapFree=4184740/4192956 [pid=30401] ppid=30399 vsize=385936 CPUtime=282.17 /proc/30401/stat : 30401 (oree) R 30399 30401 29246 0 -1 4194304 88382 0 0 0 28179 38 0 0 25 0 1 0 132800257 395198464 88364 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135271379 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30401/statm: 96484 88364 170 317 0 96163 0 Current children cumulated CPU time (s) 282.17 Current children cumulated vsize (KiB) 385936 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.94 2/65 30402 /proc/meminfo: memFree=1444024/2055920 swapFree=4184740/4192956 [pid=30401] ppid=30399 vsize=431984 CPUtime=342.16 /proc/30401/stat : 30401 (oree) R 30399 30401 29246 0 -1 4194304 97898 0 0 0 34173 43 0 0 25 0 1 0 132800257 442351616 97822 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30401/statm: 107996 97822 170 317 0 107675 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 431984 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.94 2/65 30402 /proc/meminfo: memFree=1402744/2055920 swapFree=4184740/4192956 [pid=30401] ppid=30399 vsize=480252 CPUtime=402.13 /proc/30401/stat : 30401 (oree) R 30399 30401 29246 0 -1 4194304 107689 0 0 0 40167 46 0 0 25 0 1 0 132800257 491778048 107613 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30401/statm: 120063 107613 170 317 0 119742 0 Current children cumulated CPU time (s) 402.13 Current children cumulated vsize (KiB) 480252 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.94 2/65 30402 /proc/meminfo: memFree=1341752/2055920 swapFree=4184740/4192956 [pid=30401] ppid=30399 vsize=551312 CPUtime=462.11 /proc/30401/stat : 30401 (oree) R 30399 30401 29246 0 -1 4194304 122883 0 0 0 46158 53 0 0 25 0 1 0 132800257 564543488 122807 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563634 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30401/statm: 137828 122807 170 317 0 137507 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 551312 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.94 2/65 30402 /proc/meminfo: memFree=1297720/2055920 swapFree=4184740/4192956 [pid=30401] ppid=30399 vsize=599780 CPUtime=522.08 /proc/30401/stat : 30401 (oree) R 30399 30401 29246 0 -1 4194304 134117 0 0 0 52150 58 0 0 25 0 1 0 132800257 614174720 134041 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30401/statm: 149945 134041 170 317 0 149624 0 Current children cumulated CPU time (s) 522.08 Current children cumulated vsize (KiB) 599780 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.94 2/65 30402 /proc/meminfo: memFree=1257720/2055920 swapFree=4184740/4192956 [pid=30401] ppid=30399 vsize=640792 CPUtime=582.06 /proc/30401/stat : 30401 (oree) R 30399 30401 29246 0 -1 4194304 143908 0 0 0 58144 62 0 0 25 0 1 0 132800257 656171008 143832 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30401/statm: 160198 143832 170 317 0 159877 0 Current children cumulated CPU time (s) 582.06 Current children cumulated vsize (KiB) 640792 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.94 2/65 30402 /proc/meminfo: memFree=1215672/2055920 swapFree=4184740/4192956 [pid=30401] ppid=30399 vsize=687620 CPUtime=642.05 /proc/30401/stat : 30401 (oree) R 30399 30401 29246 0 -1 4194304 154258 0 0 0 64139 66 0 0 25 0 1 0 132800257 704122880 154182 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30401/statm: 171905 154182 170 317 0 171584 0 Current children cumulated CPU time (s) 642.05 Current children cumulated vsize (KiB) 687620 ################ # More data... # ################ [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.94 2/65 30404 /proc/meminfo: memFree=1055480/2055920 swapFree=4184740/4192956 [pid=30401] ppid=30399 vsize=863780 CPUtime=941.93 /proc/30401/stat : 30401 (oree) R 30399 30401 29246 0 -1 4194304 194318 0 0 0 94109 84 0 0 25 0 1 0 132800257 884510720 194127 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30401/statm: 215945 194127 170 317 0 215624 0 Current children cumulated CPU time (s) 941.93 Current children cumulated vsize (KiB) 863780 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.94 2/65 30404 /proc/meminfo: memFree=1038520/2055920 swapFree=4184740/4192956 [pid=30401] ppid=30399 vsize=878928 CPUtime=1001.9 /proc/30401/stat : 30401 (oree) R 30399 30401 29246 0 -1 4194304 198582 0 0 0 100103 87 0 0 25 0 1 0 132800257 900022272 198391 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30401/statm: 219732 198391 170 317 0 219411 0 Current children cumulated CPU time (s) 1001.9 Current children cumulated vsize (KiB) 878928 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.94 2/65 30404 /proc/meminfo: memFree=1021752/2055920 swapFree=4184740/4192956 [pid=30401] ppid=30399 vsize=893884 CPUtime=1061.88 /proc/30401/stat : 30401 (oree) R 30399 30401 29246 0 -1 4194304 202805 0 0 0 106099 89 0 0 25 0 1 0 132800257 915337216 202614 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30401/statm: 223471 202614 170 317 0 223150 0 Current children cumulated CPU time (s) 1061.88 Current children cumulated vsize (KiB) 893884 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.94 2/65 30404 /proc/meminfo: memFree=1001528/2055920 swapFree=4184740/4192956 [pid=30401] ppid=30399 vsize=921832 CPUtime=1121.86 /proc/30401/stat : 30401 (oree) R 30399 30401 29246 0 -1 4194304 209019 0 0 0 112094 92 0 0 25 0 1 0 132800257 943955968 208267 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30401/statm: 230458 208267 170 317 0 230137 0 Current children cumulated CPU time (s) 1121.86 Current children cumulated vsize (KiB) 921832 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.94 2/65 30404 /proc/meminfo: memFree=972472/2055920 swapFree=4184740/4192956 [pid=30401] ppid=30399 vsize=971140 CPUtime=1181.83 /proc/30401/stat : 30401 (oree) R 30399 30401 29246 0 -1 4194304 218860 0 0 0 118088 95 0 0 25 0 1 0 132800257 994447360 214940 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30401/statm: 242785 214940 170 317 0 242464 0 Current children cumulated CPU time (s) 1181.83 Current children cumulated vsize (KiB) 971140 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.94 2/65 30404 /proc/meminfo: memFree=959608/2055920 swapFree=4184740/4192956 [pid=30401] ppid=30399 vsize=982888 CPUtime=1241.8 /proc/30401/stat : 30401 (oree) R 30399 30401 29246 0 -1 4194304 221984 0 0 0 124084 96 0 0 25 0 1 0 132800257 1006477312 218031 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30401/statm: 245722 218031 170 317 0 245401 0 Current children cumulated CPU time (s) 1241.8 Current children cumulated vsize (KiB) 982888 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.94 2/65 30404 /proc/meminfo: memFree=936184/2055920 swapFree=4184740/4192956 [pid=30401] ppid=30399 vsize=1011688 CPUtime=1301.79 /proc/30401/stat : 30401 (oree) R 30399 30401 29246 0 -1 4194304 227953 0 0 0 130080 99 0 0 25 0 1 0 132800257 1035968512 223868 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604365 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30401/statm: 252922 223868 170 317 0 252601 0 Current children cumulated CPU time (s) 1301.79 Current children cumulated vsize (KiB) 1011688 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.94 2/65 30404 /proc/meminfo: memFree=915256/2055920 swapFree=4184740/4192956 [pid=30401] ppid=30399 vsize=1040464 CPUtime=1361.77 /proc/30401/stat : 30401 (oree) R 30399 30401 29246 0 -1 4194304 234261 0 0 0 136076 101 0 0 25 0 1 0 132800257 1065435136 229120 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30401/statm: 260116 229120 170 317 0 259795 0 Current children cumulated CPU time (s) 1361.77 Current children cumulated vsize (KiB) 1040464 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.94 2/65 30404 /proc/meminfo: memFree=898360/2055920 swapFree=4184740/4192956 [pid=30401] ppid=30399 vsize=1057860 CPUtime=1421.75 /proc/30401/stat : 30401 (oree) R 30399 30401 29246 0 -1 4194304 238518 0 0 0 142072 103 0 0 25 0 1 0 132800257 1083248640 233278 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564080 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30401/statm: 264465 233278 170 317 0 264144 0 Current children cumulated CPU time (s) 1421.75 Current children cumulated vsize (KiB) 1057860 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.94 2/65 30404 /proc/meminfo: memFree=880632/2055920 swapFree=4184740/4192956 [pid=30401] ppid=30399 vsize=1079500 CPUtime=1481.72 /proc/30401/stat : 30401 (oree) R 30399 30401 29246 0 -1 4194304 243369 0 0 0 148067 105 0 0 25 0 1 0 132800257 1105408000 237733 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30401/statm: 269875 237733 170 317 0 269554 0 Current children cumulated CPU time (s) 1481.72 Current children cumulated vsize (KiB) 1079500 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.94 2/65 30404 /proc/meminfo: memFree=864056/2055920 swapFree=4184740/4192956 [pid=30401] ppid=30399 vsize=1098296 CPUtime=1541.7 /proc/30401/stat : 30401 (oree) R 30399 30401 29246 0 -1 4194304 247497 0 0 0 154063 107 0 0 25 0 1 0 132800257 1124655104 241861 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30401/statm: 274574 241861 170 317 0 274253 0 Current children cumulated CPU time (s) 1541.7 Current children cumulated vsize (KiB) 1098296 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.94 2/65 30404 /proc/meminfo: memFree=844280/2055920 swapFree=4184740/4192956 [pid=30401] ppid=30399 vsize=1121276 CPUtime=1601.67 /proc/30401/stat : 30401 (oree) R 30399 30401 29246 0 -1 4194304 252599 0 0 0 160058 109 0 0 25 0 1 0 132800257 1148186624 246864 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563625 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30401/statm: 280319 246864 170 317 0 279998 0 Current children cumulated CPU time (s) 1601.67 Current children cumulated vsize (KiB) 1121276 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.94 2/65 30404 /proc/meminfo: memFree=821112/2055920 swapFree=4184740/4192956 [pid=30401] ppid=30399 vsize=1145980 CPUtime=1661.65 /proc/30401/stat : 30401 (oree) R 30399 30401 29246 0 -1 4194304 258313 0 0 0 166054 111 0 0 25 0 1 0 132800257 1173483520 252545 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30401/statm: 286495 252545 170 317 0 286174 0 Current children cumulated CPU time (s) 1661.65 Current children cumulated vsize (KiB) 1145980 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.94 2/65 30404 /proc/meminfo: memFree=804664/2055920 swapFree=4184740/4192956 [pid=30401] ppid=30399 vsize=1162660 CPUtime=1721.63 /proc/30401/stat : 30401 (oree) R 30399 30401 29246 0 -1 4194304 262496 0 0 0 172050 113 0 0 25 0 1 0 132800257 1190563840 256695 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30401/statm: 290665 256695 170 317 0 290344 0 Current children cumulated CPU time (s) 1721.63 Current children cumulated vsize (KiB) 1162660 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.94 2/65 30404 /proc/meminfo: memFree=790712/2055920 swapFree=4184740/4192956 [pid=30401] ppid=30399 vsize=1174812 CPUtime=1781.6 /proc/30401/stat : 30401 (oree) R 30399 30401 29246 0 -1 4194304 265982 0 0 0 178046 114 0 0 25 0 1 0 132800257 1203007488 260148 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30401/statm: 293703 260148 170 317 0 293382 0 Current children cumulated CPU time (s) 1781.6 Current children cumulated vsize (KiB) 1174812 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 0.99 0.97 0.94 2/65 30404 /proc/meminfo: memFree=786232/2055920 swapFree=4184740/4192956 [pid=30401] ppid=30399 vsize=1178848 CPUtime=1800.01 /proc/30401/stat : 30401 (oree) R 30399 30401 29246 0 -1 4194304 267098 0 0 0 179886 115 0 0 25 0 1 0 132800257 1207140352 261231 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30401/statm: 294712 261231 170 317 0 294391 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1178848 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801 s] /proc/loadavg: 0.99 0.97 0.94 2/65 30404 /proc/meminfo: memFree=786232/2055920 swapFree=4184740/4192956 [pid=30401] ppid=30399 vsize=1178984 CPUtime=1800.3 /proc/30401/stat : 30401 (oree) R 30399 30401 29246 0 -1 4194304 267122 0 0 0 179915 115 0 0 25 0 1 0 132800257 1207279616 261255 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30401/statm: 294746 261255 170 317 0 294425 0 Current children cumulated CPU time (s) 1800.3 Current children cumulated vsize (KiB) 1178984 [startup+1801.1 s] /proc/loadavg: 0.99 0.97 0.94 2/65 30404 /proc/meminfo: memFree=786232/2055920 swapFree=4184740/4192956 [pid=30401] ppid=30399 vsize=0 CPUtime=1800.39 /proc/30401/stat : 30401 (oree) R 30399 30401 29246 0 -1 4194308 267138 0 0 0 179916 123 0 0 25 0 1 0 132800257 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30401/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.39 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1801.19 CPU time (s): 1800.49 CPU user time (s): 1799.17 CPU system time (s): 1.3238 CPU usage (%): 99.9614 Max. virtual memory (cumulated for all children) (KiB): 1178984 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.17 system time used= 1.3238 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 267138 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= 3869 runsolver used 1.19182 second user time and 3.76643 second system time The end
Begin job on node59 on Tue Apr 17 22:28:26 UTC 2007 IDJOB= 356939 IDBENCH= 1663 IDSOLVER= 172 FILE ID= node59/356939-1176848906 PBS_JOBID= 4590171 Free space on /tmp= 66342 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-lotfi.opb COMMAND LINE= oree /tmp/evaluation/356939-1176848906/instance-356939-1176848906.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node59/watcher-356939-1176848906 -o ROOT/results/node59/solver-356939-1176848906 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356939-1176848906/instance-356939-1176848906.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 76d897d8437070b9cbeb866c2620c3bc RANDOM SEED= 85849764 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node59.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.268 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.268 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: 1834128 kB Buffers: 15244 kB Cached: 147200 kB SwapCached: 2252 kB Active: 34976 kB Inactive: 137192 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1834128 kB SwapTotal: 4192956 kB SwapFree: 4184740 kB Dirty: 1600 kB Writeback: 0 kB Mapped: 16688 kB Slab: 35648 kB Committed_AS: 1578708 kB PageTables: 1472 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= 66342 MiB End job on node59 on Tue Apr 17 22:58:29 UTC 2007