Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.21 | 1800.76 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-recipe.opb |
MD5SUM | afb312a519ee7dfceb0c5aec9cb860b5 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -111787 |
Best CPU time to get the best result obtained on this benchmark | 1800.47 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -118677 |
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 | 58802 |
Number of bits for the biggest coefficient in the objective function | 16 |
Sum of the numbers in the objective function | 524960 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262113 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 524960 |
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.00/0.05 c ...done 0.00/0.05 c #vars=3671 #constraints=224 hasObjective=yes 0.00/0.07 c res. mode=mod 0.00/0.07 c VSIDS like heuristics 0.00/0.07 c complete search running 0.09/0.11 c restart after 401 decisions 0.09/0.12 c nbDecision=500 #constraints=224 0.09/0.15 c restart after 801 decisions 0.09/0.17 c nbDecision=1000 #constraints=224 0.19/0.22 c nbDecision=1500 #constraints=224 0.19/0.23 c restart after 1601 decisions 0.19/0.27 c nbDecision=2000 #constraints=224 0.29/0.31 c nbDecision=2500 #constraints=227 0.39/0.44 c nbDecision=3000 #constraints=341 0.49/0.54 c restart after 3201 decisions 0.49/0.58 c nbDecision=3500 #constraints=407 0.59/0.63 c nbDecision=4000 #constraints=407 0.79/0.83 c nbDecision=4500 #constraints=552 1.00/1.05 c nbDecision=5000 #constraints=700 1.19/1.26 c nbDecision=5500 #constraints=817 1.39/1.46 c nbDecision=6000 #constraints=918 1.49/1.58 c restart after 6401 decisions 1.59/1.61 c nbDecision=6500 #constraints=956 1.59/1.66 c nbDecision=7000 #constraints=956 1.79/1.83 c nbDecision=7500 #constraints=1036 1.99/2.07 c nbDecision=8000 #constraints=1172 2.19/2.24 c nbDecision=8500 #constraints=1256 2.49/2.53 c nbDecision=9000 #constraints=1411 2.79/2.80 c nbDecision=9500 #constraints=1523 2.99/3.06 c nbDecision=10000 #constraints=1645 3.19/3.29 c nbDecision=10500 #constraints=1705 3.59/3.61 c nbDecision=11000 #constraints=1817 3.79/3.90 c nbDecision=11500 #constraints=1966 3.99/4.07 c nbDecision=12000 #constraints=2015 4.39/4.42 c nbDecision=12500 #constraints=2142 4.59/4.65 c restart after 12801 decisions 4.69/4.76 c nbDecision=13000 #constraints=2219 4.79/4.81 c nbDecision=13500 #constraints=2219 5.09/5.12 c nbDecision=14000 #constraints=2312 5.39/5.49 c nbDecision=14500 #constraints=2424 5.88/5.93 c nbDecision=15000 #constraints=2587 6.19/6.29 c nbDecision=15500 #constraints=2723 6.60/6.62 c nbDecision=16000 #constraints=2833 6.99/7.01 c nbDecision=16500 #constraints=2922 7.19/7.28 c nbDecision=17000 #constraints=2989 7.69/7.71 c nbDecision=17500 #constraints=3085 8.19/8.20 c nbDecision=18000 #constraints=3184 8.58/8.65 c nbDecision=18500 #constraints=3305 8.89/9.00 c nbDecision=19000 #constraints=3383 9.29/9.38 c nbDecision=19500 #constraints=3460 9.68/9.73 c nbDecision=20000 #constraints=3535 9.99/10.03 c nbDecision=20500 #constraints=3587 10.39/10.41 c nbDecision=21000 #constraints=3658 10.69/10.75 c nbDecision=21500 #constraints=3710 11.29/11.32 c nbDecision=22000 #constraints=3816 11.88/11.99 c nbDecision=22500 #constraints=3940 12.58/12.67 c nbDecision=23000 #constraints=4069 13.20/13.20 c nbDecision=23500 #constraints=4157 13.78/13.90 c nbDecision=24000 #constraints=4273 14.59/14.60 c nbDecision=24500 #constraints=4379 15.29/15.38 c nbDecision=25000 #constraints=4493 15.89/15.99 c nbDecision=25500 #constraints=4589 15.99/16.05 c restart after 25601 decisions 16.49/16.53 c nbDecision=26000 #constraints=4601 16.99/17.00 c nbDecision=26500 #constraints=4601 17.79/17.88 c nbDecision=27000 #constraints=4722 19.09/19.12 c nbDecision=27500 #constraints=4852 19.89/19.97 c nbDecision=28000 #constraints=4923 20.98/21.09 c nbDecision=28500 #constraints=5056 21.79/21.83 c nbDecision=29000 #constraints=5144 22.79/22.83 c nbDecision=29500 #constraints=5249 23.69/23.75 c nbDecision=30000 #constraints=5336 24.59/24.60 c nbDecision=30500 #constraints=5417 25.49/25.59 c nbDecision=31000 #constraints=5506 26.88/26.99 c nbDecision=31500 #constraints=5634 27.88/27.91 c nbDecision=32000 #constraints=5710 29.09/29.12 c nbDecision=32500 #constraints=5812 29.88/30.00 c nbDecision=33000 #constraints=5890 30.78/30.89 c nbDecision=33500 #constraints=5971 31.58/31.64 c nbDecision=34000 #constraints=6037 32.49/32.52 c nbDecision=34500 #constraints=6115 33.08/33.12 c nbDecision=35000 #constraints=6166 33.78/33.85 c nbDecision=35500 #constraints=6218 34.78/34.88 c nbDecision=36000 #constraints=6312 35.58/35.68 c nbDecision=36500 #constraints=6374 36.68/36.78 c nbDecision=37000 #constraints=6460 37.58/37.61 c nbDecision=37500 #constraints=6509 38.18/38.29 c nbDecision=38000 #constraints=6542 38.88/38.96 c nbDecision=38500 #constraints=6580 39.49/39.54 c nbDecision=39000 #constraints=6609 40.08/40.19 c nbDecision=39500 #constraints=6644 40.98/41.03 c nbDecision=40000 #constraints=6703 41.88/41.97 c nbDecision=40500 #constraints=6783 42.48/42.55 c nbDecision=41000 #constraints=6813 43.48/43.51 c nbDecision=41500 #constraints=6865 44.18/44.29 c nbDecision=42000 #constraints=6908 44.88/44.95 c nbDecision=42500 #constraints=6942 45.68/45.74 c nbDecision=43000 #constraints=6982 46.68/46.78 c nbDecision=43500 #constraints=7049 47.98/48.07 c nbDecision=44000 #constraints=7139 49.08/49.11 c nbDecision=44500 #constraints=7192 50.68/50.73 c nbDecision=45000 #constraints=7291 51.97/52.08 c nbDecision=45500 #constraints=7387 53.28/53.32 c nbDecision=46000 #constraints=7496 54.48/54.57 c nbDecision=46500 #constraints=7582 56.48/56.52 c nbDecision=47000 #constraints=7727 58.18/58.30 c nbDecision=47500 #constraints=7838 59.28/59.31 c nbDecision=48000 #constraints=7896 60.88/60.91 c nbDecision=48500 #constraints=8006 61.98/62.08 c nbDecision=49000 #constraints=8072 63.28/63.37 c nbDecision=49500 #constraints=8159 64.47/64.54 c nbDecision=50000 #constraints=8233 65.77/65.80 c nbDecision=50500 #constraints=8302 66.68/66.73 c nbDecision=51000 #constraints=8349 67.78/67.85 c restart after 51201 decisions 68.68/68.77 c nbDecision=51500 #constraints=8410 69.48/69.59 c nbDecision=52000 #constraints=8410 71.58/71.66 c nbDecision=52500 #constraints=8564 72.87/72.99 c nbDecision=53000 #constraints=8691 74.47/74.54 c nbDecision=53500 #constraints=8797 76.47/76.57 c nbDecision=54000 #constraints=8948 77.87/77.97 c nbDecision=54500 #constraints=9030 79.17/79.22 c nbDecision=55000 #constraints=9097 80.57/80.62 c nbDecision=55500 #constraints=9185 82.27/82.36 c nbDecision=56000 #constraints=9295 84.07/84.17 c nbDecision=56500 #constraints=9417 86.17/86.22 c nbDecision=57000 #constraints=9526 88.17/88.22 c nbDecision=57500 #constraints=9640 89.47/89.55 c nbDecision=58000 #constraints=9699 91.07/91.10 c nbDecision=58500 #constraints=9788 92.77/92.83 c nbDecision=59000 #constraints=9895 94.48/94.55 c nbDecision=59500 #constraints=9989 96.27/96.36 c nbDecision=60000 #constraints=10112 97.96/98.09 c nbDecision=60500 #constraints=10226 99.57/99.68 c nbDecision=61000 #constraints=10322 101.37/101.47 c nbDecision=61500 #constraints=10430 102.87/102.91 c nbDecision=62000 #constraints=10508 104.06/104.12 c nbDecision=62500 #constraints=10578 105.97/106.09 c nbDecision=63000 #constraints=10702 108.16/108.23 c nbDecision=63500 #constraints=10820 110.07/110.14 c nbDecision=64000 #constraints=10926 111.47/111.53 c nbDecision=64500 #constraints=11007 112.87/112.93 c nbDecision=65000 #constraints=11098 114.37/114.44 c nbDecision=65500 #constraints=11176 116.16/116.28 c nbDecision=66000 #constraints=11258 118.16/118.23 c nbDecision=66500 #constraints=11361 119.36/119.41 c nbDecision=67000 #constraints=11405 121.36/121.42 c nbDecision=67500 #constraints=11525 123.17/123.23 c nbDecision=68000 #constraints=11628 124.56/124.66 c nbDecision=68500 #constraints=11715 125.76/125.80 c nbDecision=69000 #constraints=11787 127.26/127.37 c nbDecision=69500 #constraints=11875 128.96/129.05 c nbDecision=70000 #constraints=11971 130.05/130.17 c nbDecision=70500 #constraints=12007 131.56/131.60 c nbDecision=71000 #constraints=12073 133.56/133.62 c nbDecision=71500 #constraints=12187 134.96/135.05 c nbDecision=72000 #constraints=12254 136.66/136.80 c nbDecision=72500 #constraints=12335 137.56/137.69 c nbDecision=73000 #constraints=12366 138.86/138.96 c nbDecision=73500 #constraints=12432 140.06/140.14 c nbDecision=74000 #constraints=12492 141.16/141.20 c nbDecision=74500 #constraints=12533 142.56/142.65 c nbDecision=75000 #constraints=12590 144.15/144.24 c nbDecision=75500 #constraints=12664 145.45/145.58 c nbDecision=76000 #constraints=12715 147.46/147.56 c nbDecision=76500 #constraints=12817 148.76/148.82 c nbDecision=77000 #constraints=12868 150.56/150.65 c nbDecision=77500 #constraints=12949 151.66/151.75 c nbDecision=78000 #constraints=12995 153.15/153.27 c nbDecision=78500 #constraints=13060 154.85/155.00 c nbDecision=79000 #constraints=13142 157.45/157.56 c nbDecision=79500 #constraints=13253 159.35/159.46 c nbDecision=80000 #constraints=13338 160.86/160.99 c nbDecision=80500 #constraints=13408 162.45/162.60 c nbDecision=81000 #constraints=13491 164.45/164.54 c nbDecision=81500 #constraints=13593 166.06/166.19 c nbDecision=82000 #constraints=13659 167.85/167.93 c nbDecision=82500 #constraints=13730 169.75/169.84 c nbDecision=83000 #constraints=13805 171.55/171.63 c nbDecision=83500 #constraints=13887 172.74/172.80 c nbDecision=84000 #constraints=13925 174.45/174.59 c nbDecision=84500 #constraints=13991 176.45/176.52 c nbDecision=85000 #constraints=14065 177.95/178.06 c nbDecision=85500 #constraints=14119 179.35/179.48 c nbDecision=86000 #constraints=14171 181.05/181.18 c nbDecision=86500 #constraints=14234 182.64/182.78 c nbDecision=87000 #constraints=14295 184.64/184.72 c nbDecision=87500 #constraints=14387 186.05/186.16 c nbDecision=88000 #constraints=14441 187.45/187.50 c nbDecision=88500 #constraints=14479 188.65/188.72 c nbDecision=89000 #constraints=14507 190.35/190.44 c nbDecision=89500 #constraints=14565 191.65/191.76 c nbDecision=90000 #constraints=14600 193.64/193.75 c nbDecision=90500 #constraints=14677 195.84/195.90 c nbDecision=91000 #constraints=14742 197.84/198.00 c nbDecision=91500 #constraints=14805 199.25/199.38 c nbDecision=92000 #constraints=14847 200.74/200.88 c nbDecision=92500 #constraints=14894 202.84/202.96 c nbDecision=93000 #constraints=14970 204.45/204.50 c nbDecision=93500 #constraints=15019 205.74/205.83 c nbDecision=94000 #constraints=15055 207.64/207.71 c nbDecision=94500 #constraints=15109 209.54/209.60 c nbDecision=95000 #constraints=15172 211.34/211.50 c nbDecision=95500 #constraints=15237 213.25/213.33 c nbDecision=96000 #constraints=15296 215.14/215.27 c nbDecision=96500 #constraints=15355 216.74/216.87 c nbDecision=97000 #constraints=15402 218.33/218.48 c nbDecision=97500 #constraints=15457 220.03/220.11 c nbDecision=98000 #constraints=15515 221.53/221.62 c nbDecision=98500 #constraints=15556 223.63/223.78 c nbDecision=99000 #constraints=15624 224.84/224.97 c nbDecision=99500 #constraints=15660 226.94/227.05 c nbDecision=100000 #constraints=15746 228.34/228.46 c nbDecision=100500 #constraints=15800 229.64/229.75 c nbDecision=101000 #constraints=15861 231.43/231.51 c nbDecision=101500 #constraints=15908 232.83/232.91 c nbDecision=102000 #constraints=15964 234.03/234.14 c restart after 102401 decisions 235.93/236.04 c nbDecision=102500 #constraints=16013 235.93/236.09 c nbDecision=103000 #constraints=16013 238.93/239.07 c nbDecision=103500 #constraints=16065 240.73/240.87 c nbDecision=104000 #constraints=16144 242.83/242.92 c nbDecision=104500 #constraints=16223 244.73/244.81 c nbDecision=105000 #constraints=16304 246.93/247.05 c nbDecision=105500 #constraints=16417 249.13/249.25 c nbDecision=106000 #constraints=16496 251.03/251.12 c nbDecision=106500 #constraints=16547 253.12/253.30 c nbDecision=107000 #constraints=16648 255.23/255.36 c nbDecision=107500 #constraints=16728 256.93/257.09 c nbDecision=108000 #constraints=16809 258.53/258.69 c nbDecision=108500 #constraints=16854 259.73/259.86 c nbDecision=109000 #constraints=16869 261.33/261.41 c nbDecision=109500 #constraints=16916 263.23/263.34 c nbDecision=110000 #constraints=16983 264.93/265.04 c nbDecision=110500 #constraints=17039 266.92/267.09 c nbDecision=111000 #constraints=17114 269.33/269.42 c nbDecision=111500 #constraints=17192 271.42/271.53 c nbDecision=112000 #constraints=17262 273.53/273.60 c nbDecision=112500 #constraints=17337 275.82/275.95 c nbDecision=113000 #constraints=17425 278.02/278.13 c nbDecision=113500 #constraints=17507 280.22/280.32 c nbDecision=114000 #constraints=17589 282.22/282.39 c nbDecision=114500 #constraints=17663 283.72/283.83 c nbDecision=115000 #constraints=17706 285.62/285.73 c nbDecision=115500 #constraints=17770 287.21/287.38 c nbDecision=116000 #constraints=17821 289.23/289.31 c nbDecision=116500 #constraints=17885 290.62/290.75 c nbDecision=117000 #constraints=17917 292.52/292.67 c nbDecision=117500 #constraints=17981 294.91/295.04 c nbDecision=118000 #constraints=18064 297.01/297.16 c nbDecision=118500 #constraints=18123 299.32/299.50 c nbDecision=119000 #constraints=18189 301.22/301.34 c nbDecision=119500 #constraints=18243 302.72/302.80 c nbDecision=120000 #constraints=18273 304.12/304.29 c nbDecision=120500 #constraints=18306 305.62/305.77 c nbDecision=121000 #constraints=18341 307.82/307.98 c nbDecision=121500 #constraints=18413 310.61/310.72 c nbDecision=122000 #constraints=18500 313.21/313.33 c nbDecision=122500 #constraints=18589 315.91/316.06 c nbDecision=123000 #constraints=18675 318.41/318.50 c nbDecision=123500 #constraints=18761 322.11/322.28 c nbDecision=124000 #constraints=18896 324.90/325.01 c nbDecision=124500 #constraints=19003 327.51/327.68 c nbDecision=125000 #constraints=19077 330.10/330.20 c nbDecision=125500 #constraints=19154 332.51/332.68 c nbDecision=126000 #constraints=19249 334.91/335.02 c nbDecision=126500 #constraints=19325 337.70/337.83 c nbDecision=127000 #constraints=19426 339.90/340.01 c nbDecision=127500 #constraints=19489 341.91/342.02 c nbDecision=128000 #constraints=19539 344.41/344.54 c nbDecision=128500 #constraints=19614 347.11/347.26 c nbDecision=129000 #constraints=19724 350.10/350.27 c nbDecision=129500 #constraints=19818 352.80/352.90 c nbDecision=130000 #constraints=19909 354.70/354.84 c nbDecision=130500 #constraints=19958 357.40/357.58 c nbDecision=131000 #constraints=20047 359.20/359.36 c nbDecision=131500 #constraints=20084 361.90/362.04 c nbDecision=132000 #constraints=20169 364.00/364.18 c nbDecision=132500 #constraints=20221 366.30/366.46 c nbDecision=133000 #constraints=20287 369.30/369.41 c nbDecision=133500 #constraints=20377 372.30/372.46 c nbDecision=134000 #constraints=20475 374.80/374.97 c nbDecision=134500 #constraints=20554 377.20/377.32 c nbDecision=135000 #constraints=20624 380.39/380.57 c nbDecision=135500 #constraints=20740 382.39/382.53 c nbDecision=136000 #constraints=20785 384.39/384.52 c nbDecision=136500 #constraints=20830 386.80/386.99 c nbDecision=137000 #constraints=20895 389.09/389.28 c nbDecision=137500 #constraints=20973 392.49/392.61 c nbDecision=138000 #constraints=21084 395.39/395.53 c nbDecision=138500 #constraints=21160 397.29/397.43 c nbDecision=139000 #constraints=21198 399.79/399.90 c nbDecision=139500 #constraints=21224 403.18/403.31 c nbDecision=140000 #constraints=21405 406.59/406.71 c nbDecision=140500 #constraints=21552 408.99/409.15 c nbDecision=141000 #constraints=21641 412.59/412.75 c nbDecision=141500 #constraints=21779 415.09/415.22 c nbDecision=142000 #constraints=21851 417.99/418.17 c nbDecision=142500 #constraints=21923 421.38/421.55 c nbDecision=143000 #constraints=22053 425.68/425.80 c nbDecision=143500 #constraints=22213 429.28/429.40 c nbDecision=144000 #constraints=22340 431.88/432.06 c nbDecision=144500 #constraints=22422 435.08/435.22 c nbDecision=145000 #constraints=22531 438.78/438.99 c nbDecision=145500 #constraints=22645 441.98/442.13 c nbDecision=146000 #constraints=22741 445.17/445.30 c nbDecision=146500 #constraints=22848 447.88/448.01 c nbDecision=147000 #constraints=22948 451.57/451.75 c nbDecision=147500 #constraints=23061 454.48/454.61 c nbDecision=148000 #constraints=23151 457.38/457.51 c nbDecision=148500 #constraints=23234 459.87/460.02 c nbDecision=149000 #constraints=23281 463.17/463.35 c nbDecision=149500 #constraints=23381 466.07/466.21 c nbDecision=150000 #constraints=23447 469.48/469.67 c nbDecision=150500 #constraints=23541 472.57/472.73 c nbDecision=151000 #constraints=23613 475.97/476.12 c nbDecision=151500 #constraints=23694 478.96/479.10 c nbDecision=152000 #constraints=23784 482.87/483.03 c nbDecision=152500 #constraints=23890 486.27/486.45 c nbDecision=153000 #constraints=23986 490.47/490.62 c nbDecision=153500 #constraints=24105 492.57/492.72 c nbDecision=154000 #constraints=24169 494.66/494.86 c nbDecision=154500 #constraints=24232 498.96/499.12 c nbDecision=155000 #constraints=24353 501.96/502.11 c nbDecision=155500 #constraints=24431 505.06/505.25 c nbDecision=156000 #constraints=24497 507.77/507.97 c nbDecision=156500 #constraints=24563 510.47/510.65 c nbDecision=157000 #constraints=24638 512.56/512.73 c nbDecision=157500 #constraints=24682 514.57/514.76 c nbDecision=158000 #constraints=24713 517.26/517.49 c nbDecision=158500 #constraints=24776 519.56/519.72 c nbDecision=159000 #constraints=24822 522.76/522.92 c nbDecision=159500 #constraints=24894 525.16/525.35 c nbDecision=160000 #constraints=24925 527.35/527.59 c nbDecision=160500 #constraints=24972 530.16/530.34 c nbDecision=161000 #constraints=25038 532.36/532.56 c nbDecision=161500 #constraints=25082 534.96/535.11 c nbDecision=162000 #constraints=25158 537.26/537.45 c nbDecision=162500 #constraints=25220 540.15/540.31 c nbDecision=163000 #constraints=25266 543.05/543.27 c nbDecision=163500 #constraints=25336 546.16/546.33 c nbDecision=164000 #constraints=25404 548.16/548.32 c nbDecision=164500 #constraints=25434 551.75/551.95 c nbDecision=165000 #constraints=25497 555.45/555.66 c nbDecision=165500 #constraints=25577 559.05/559.29 c nbDecision=166000 #constraints=25660 562.45/562.61 c nbDecision=166500 #constraints=25721 565.45/565.69 c nbDecision=167000 #constraints=25778 567.95/568.11 c nbDecision=167500 #constraints=25822 570.65/570.85 c nbDecision=168000 #constraints=25879 573.54/573.74 c nbDecision=168500 #constraints=25923 577.04/577.28 c nbDecision=169000 #constraints=25996 579.94/580.12 c nbDecision=169500 #constraints=26048 583.34/583.50 c nbDecision=170000 #constraints=26112 586.54/586.77 c nbDecision=170500 #constraints=26178 590.64/590.82 c nbDecision=171000 #constraints=26264 593.54/593.79 c nbDecision=171500 #constraints=26330 596.74/596.98 c nbDecision=172000 #constraints=26380 599.74/599.90 c nbDecision=172500 #constraints=26425 602.65/602.88 c nbDecision=173000 #constraints=26484 605.24/605.42 c nbDecision=173500 #constraints=26529 607.84/608.09 c nbDecision=174000 #constraints=26591 610.74/610.93 c nbDecision=174500 #constraints=26646 613.64/613.82 c nbDecision=175000 #constraints=26694 617.14/617.35 c nbDecision=175500 #constraints=26762 619.43/619.64 c nbDecision=176000 #constraints=26809 622.23/622.45 c nbDecision=176500 #constraints=26865 625.23/625.44 c nbDecision=177000 #constraints=26911 628.03/628.28 c nbDecision=177500 #constraints=26947 632.03/632.29 c nbDecision=178000 #constraints=27035 638.33/638.55 c nbDecision=178500 #constraints=27122 643.62/643.87 c nbDecision=179000 #constraints=27280 647.33/647.51 c nbDecision=179500 #constraints=27371 651.52/651.79 c nbDecision=180000 #constraints=27486 656.32/656.50 c nbDecision=180500 #constraints=27611 660.32/660.56 c nbDecision=181000 #constraints=27701 664.53/664.78 c nbDecision=181500 #constraints=27806 667.62/667.85 c nbDecision=182000 #constraints=27860 671.72/671.95 c nbDecision=182500 #constraints=27953 675.22/675.44 c nbDecision=183000 #constraints=28017 679.52/679.76 c nbDecision=183500 #constraints=28127 683.32/683.60 c nbDecision=184000 #constraints=28226 687.22/687.50 c nbDecision=184500 #constraints=28307 690.62/690.87 c nbDecision=185000 #constraints=28379 695.52/695.77 c nbDecision=185500 #constraints=28484 701.71/701.96 c nbDecision=186000 #constraints=28648 706.41/706.68 c nbDecision=186500 #constraints=28761 710.01/710.21 c nbDecision=187000 #constraints=28837 714.51/714.71 c nbDecision=187500 #constraints=28940 718.01/718.25 c nbDecision=188000 #constraints=29007 721.60/721.86 c nbDecision=188500 #constraints=29078 725.30/725.58 c nbDecision=189000 #constraints=29139 729.81/730.09 c nbDecision=189500 #constraints=29235 733.90/734.15 c nbDecision=190000 #constraints=29326 737.80/738.10 c nbDecision=190500 #constraints=29403 742.70/742.90 c nbDecision=191000 #constraints=29490 746.10/746.36 c nbDecision=191500 #constraints=29553 750.90/751.10 c nbDecision=192000 #constraints=29660 755.10/755.40 c nbDecision=192500 #constraints=29743 758.89/759.18 c nbDecision=193000 #constraints=29822 763.39/763.62 c nbDecision=193500 #constraints=29909 768.30/768.57 c nbDecision=194000 #constraints=30022 771.79/772.06 c nbDecision=194500 #constraints=30076 775.69/775.95 c nbDecision=195000 #constraints=30157 779.39/779.68 c nbDecision=195500 #constraints=30212 782.59/782.87 c nbDecision=196000 #constraints=30270 785.39/785.67 c nbDecision=196500 #constraints=30298 789.88/790.14 c nbDecision=197000 #constraints=30390 794.08/794.32 c nbDecision=197500 #constraints=30469 797.49/797.70 c nbDecision=198000 #constraints=30509 800.59/800.85 c nbDecision=198500 #constraints=30545 804.98/805.25 c nbDecision=199000 #constraints=30626 809.38/809.63 c nbDecision=199500 #constraints=30699 813.69/813.99 c nbDecision=200000 #constraints=30776 817.58/817.87 c nbDecision=200500 #constraints=30839 821.78/822.05 c nbDecision=201000 #constraints=30914 824.98/825.25 c nbDecision=201500 #constraints=30973 829.38/829.62 c nbDecision=202000 #constraints=31054 833.98/834.28 c nbDecision=202500 #constraints=31144 837.47/837.74 c nbDecision=203000 #constraints=31191 841.57/841.83 c nbDecision=203500 #constraints=31265 845.87/846.19 c nbDecision=204000 #constraints=31336 850.67/850.91 c nbDecision=204500 #constraints=31423 853.58/853.89 c restart after 204801 decisions 857.87/858.18 c nbDecision=205000 #constraints=31479 857.97/858.22 c nbDecision=205500 #constraints=31479 864.37/864.63 c nbDecision=206000 #constraints=31538 871.36/871.60 c nbDecision=206500 #constraints=31648 876.87/877.13 c nbDecision=207000 #constraints=31755 881.77/882.01 c nbDecision=207500 #constraints=31835 886.17/886.45 c nbDecision=208000 #constraints=31899 891.77/892.04 c nbDecision=208500 #constraints=31975 896.26/896.52 c nbDecision=209000 #constraints=32048 902.66/902.97 c nbDecision=209500 #constraints=32153 906.95/907.29 c nbDecision=210000 #constraints=32218 911.66/911.91 c nbDecision=210500 #constraints=32292 918.16/918.49 c nbDecision=211000 #constraints=32404 923.35/923.69 c nbDecision=211500 #constraints=32481 928.15/928.45 c nbDecision=212000 #constraints=32558 934.76/935.01 c nbDecision=212500 #constraints=32666 939.16/939.49 c nbDecision=213000 #constraints=32717 942.75/943.01 c nbDecision=213500 #constraints=32750 946.35/946.61 c nbDecision=214000 #constraints=32792 951.05/951.33 c nbDecision=214500 #constraints=32845 956.24/956.56 c nbDecision=215000 #constraints=32924 960.64/960.99 c nbDecision=215500 #constraints=32974 966.85/967.11 c nbDecision=216000 #constraints=33065 971.05/971.37 c nbDecision=216500 #constraints=33120 975.35/975.62 c nbDecision=217000 #constraints=33175 979.85/980.18 c nbDecision=217500 #constraints=33236 985.04/985.39 c nbDecision=218000 #constraints=33307 988.34/988.66 c nbDecision=218500 #constraints=33353 992.24/992.56 c nbDecision=219000 #constraints=33398 996.14/996.41 c nbDecision=219500 #constraints=33444 999.14/999.48 c nbDecision=220000 #constraints=33474 1004.04/1004.31 c nbDecision=220500 #constraints=33527 1008.63/1008.98 c nbDecision=221000 #constraints=33582 1012.83/1013.18 c nbDecision=221500 #constraints=33629 1019.23/1019.58 c nbDecision=222000 #constraints=33708 1023.53/1023.84 c nbDecision=222500 #constraints=33763 1035.43/1035.72 c nbDecision=223000 #constraints=33886 1042.22/1042.58 c nbDecision=223500 #constraints=33962 1050.72/1051.01 c nbDecision=224000 #constraints=34064 1058.42/1058.71 c nbDecision=224500 #constraints=34151 1062.42/1062.70 c nbDecision=225000 #constraints=34190 1067.41/1067.76 c nbDecision=225500 #constraints=34257 1071.02/1071.36 c nbDecision=226000 #constraints=34299 1074.92/1075.20 c nbDecision=226500 #constraints=34344 1080.62/1080.92 c nbDecision=227000 #constraints=34413 1086.82/1087.14 c nbDecision=227500 #constraints=34503 1091.11/1091.46 c nbDecision=228000 #constraints=34559 1095.41/1095.76 c nbDecision=228500 #constraints=34616 1098.91/1099.20 c nbDecision=229000 #constraints=34650 1103.11/1103.46 c nbDecision=229500 #constraints=34701 1107.41/1107.76 c nbDecision=230000 #constraints=34750 1113.00/1113.35 c nbDecision=230500 #constraints=34834 1117.80/1118.12 c nbDecision=231000 #constraints=34891 1122.01/1122.32 c nbDecision=231500 #constraints=34929 1126.81/1127.17 c nbDecision=232000 #constraints=34991 1132.11/1132.40 c nbDecision=232500 #constraints=35061 1136.60/1136.99 c nbDecision=233000 #constraints=35120 1141.20/1141.55 c nbDecision=233500 #constraints=35181 1144.60/1144.99 c nbDecision=234000 #constraints=35212 1150.69/1151.04 c nbDecision=234500 #constraints=35286 1155.29/1155.70 c nbDecision=235000 #constraints=35339 1159.89/1160.27 c nbDecision=235500 #constraints=35391 1164.80/1165.12 c nbDecision=236000 #constraints=35445 1167.99/1168.36 c nbDecision=236500 #constraints=35475 1172.39/1172.70 c nbDecision=237000 #constraints=35519 1177.19/1177.51 c nbDecision=237500 #constraints=35574 1180.69/1181.02 c nbDecision=238000 #constraints=35610 1183.99/1184.39 c nbDecision=238500 #constraints=35643 1188.59/1188.94 c nbDecision=239000 #constraints=35700 1191.88/1192.29 c nbDecision=239500 #constraints=35736 1195.18/1195.52 c nbDecision=240000 #constraints=35757 1198.38/1198.71 c nbDecision=240500 #constraints=35784 1202.68/1203.05 c nbDecision=241000 #constraints=35832 1206.18/1206.53 c nbDecision=241500 #constraints=35866 1209.48/1209.81 c nbDecision=242000 #constraints=35900 1212.68/1213.07 c nbDecision=242500 #constraints=35926 1217.68/1218.04 c nbDecision=243000 #constraints=35992 1224.18/1224.58 c nbDecision=243500 #constraints=36101 1229.88/1230.24 c nbDecision=244000 #constraints=36196 1234.28/1234.62 c nbDecision=244500 #constraints=36269 1239.57/1239.97 c nbDecision=245000 #constraints=36340 1246.47/1246.81 c nbDecision=245500 #constraints=36467 1251.67/1252.05 c nbDecision=246000 #constraints=36538 1256.77/1257.20 c nbDecision=246500 #constraints=36612 1262.07/1262.49 c nbDecision=247000 #constraints=36683 1267.77/1268.18 c nbDecision=247500 #constraints=36778 1272.16/1272.52 c nbDecision=248000 #constraints=36824 1277.66/1278.01 c nbDecision=248500 #constraints=36905 1284.66/1285.04 c nbDecision=249000 #constraints=37024 1291.66/1292.02 c nbDecision=249500 #constraints=37131 1298.56/1298.93 c nbDecision=250000 #constraints=37242 1305.16/1305.54 c nbDecision=250500 #constraints=37351 1312.25/1312.69 c nbDecision=251000 #constraints=37477 1319.76/1320.14 c nbDecision=251500 #constraints=37603 1325.35/1325.71 c nbDecision=252000 #constraints=37687 1329.95/1330.32 c nbDecision=252500 #constraints=37754 1337.45/1337.80 c nbDecision=253000 #constraints=37879 1343.45/1343.84 c nbDecision=253500 #constraints=37965 1350.95/1351.31 c nbDecision=254000 #constraints=38080 1357.44/1357.82 c nbDecision=254500 #constraints=38178 1364.65/1365.07 c nbDecision=255000 #constraints=38293 1371.74/1372.14 c nbDecision=255500 #constraints=38402 1378.24/1378.64 c nbDecision=256000 #constraints=38486 1385.13/1385.54 c nbDecision=256500 #constraints=38584 1390.64/1391.09 c nbDecision=257000 #constraints=38659 1397.24/1397.62 c nbDecision=257500 #constraints=38749 1404.83/1405.25 c nbDecision=258000 #constraints=38855 1412.33/1412.76 c nbDecision=258500 #constraints=38963 1417.33/1417.77 c nbDecision=259000 #constraints=39046 1424.43/1424.80 c nbDecision=259500 #constraints=39139 1431.32/1431.71 c nbDecision=260000 #constraints=39248 1438.43/1438.89 c nbDecision=260500 #constraints=39355 1445.33/1445.72 c nbDecision=261000 #constraints=39446 1451.23/1451.62 c nbDecision=261500 #constraints=39508 1458.42/1458.87 c nbDecision=262000 #constraints=39627 1464.72/1465.14 c nbDecision=262500 #constraints=39720 1471.11/1471.52 c nbDecision=263000 #constraints=39818 1475.83/1476.26 c nbDecision=263500 #constraints=39880 1481.12/1481.56 c nbDecision=264000 #constraints=39942 1488.62/1489.04 c nbDecision=264500 #constraints=40053 1495.52/1495.99 c nbDecision=265000 #constraints=40147 1501.61/1502.02 c nbDecision=265500 #constraints=40239 1506.11/1506.53 c nbDecision=266000 #constraints=40303 1513.30/1513.73 c nbDecision=266500 #constraints=40405 1520.91/1521.40 c nbDecision=267000 #constraints=40519 1526.41/1526.82 c nbDecision=267500 #constraints=40588 1532.41/1532.81 c nbDecision=268000 #constraints=40662 1537.90/1538.36 c nbDecision=268500 #constraints=40738 1545.50/1545.90 c nbDecision=269000 #constraints=40838 1552.09/1552.55 c nbDecision=269500 #constraints=40923 1559.80/1560.29 c nbDecision=270000 #constraints=41037 1569.20/1569.68 c nbDecision=270500 #constraints=41170 1576.69/1577.10 c nbDecision=271000 #constraints=41261 1583.89/1584.39 c nbDecision=271500 #constraints=41346 1590.49/1590.92 c nbDecision=272000 #constraints=41425 1595.48/1595.93 c nbDecision=272500 #constraints=41468 1600.58/1601.05 c nbDecision=273000 #constraints=41530 1607.09/1607.57 c nbDecision=273500 #constraints=41607 1612.88/1613.34 c nbDecision=274000 #constraints=41682 1617.48/1617.98 c nbDecision=274500 #constraints=41733 1622.28/1622.77 c nbDecision=275000 #constraints=41775 1628.08/1628.52 c nbDecision=275500 #constraints=41854 1634.88/1635.31 c nbDecision=276000 #constraints=41938 1640.57/1641.03 c nbDecision=276500 #constraints=42003 1646.78/1647.27 c nbDecision=277000 #constraints=42079 1653.75/1654.25 c nbDecision=277500 #constraints=42191 1658.25/1658.77 c nbDecision=278000 #constraints=42243 1665.32/1665.82 c nbDecision=278500 #constraints=42333 1670.22/1670.77 c nbDecision=279000 #constraints=42391 1676.00/1676.60 c nbDecision=279500 #constraints=42467 1682.39/1682.94 c nbDecision=280000 #constraints=42554 1688.08/1688.63 c nbDecision=280500 #constraints=42625 1692.98/1693.54 c nbDecision=281000 #constraints=42680 1699.58/1700.14 c nbDecision=281500 #constraints=42768 1704.47/1705.03 c nbDecision=282000 #constraints=42828 1709.66/1710.25 c nbDecision=282500 #constraints=42886 1714.37/1714.91 c nbDecision=283000 #constraints=42933 1719.56/1720.13 c nbDecision=283500 #constraints=42989 1725.56/1726.18 c nbDecision=284000 #constraints=43059 1732.15/1732.77 c nbDecision=284500 #constraints=43149 1737.15/1737.74 c nbDecision=285000 #constraints=43201 1743.35/1743.98 c nbDecision=285500 #constraints=43275 1750.35/1750.90 c nbDecision=286000 #constraints=43359 1756.75/1757.37 c nbDecision=286500 #constraints=43441 1765.64/1766.25 c nbDecision=287000 #constraints=43565 1772.84/1773.43 c nbDecision=287500 #constraints=43667 1779.65/1780.22 c nbDecision=288000 #constraints=43765 1788.84/1789.45 c nbDecision=288500 #constraints=43888 1799.83/1800.48 c nbDecision=289000 #constraints=44030 1800.04/1800.61 Received signal 15 1800.04/1800.64 1800.04/1800.64 s UNKNOWN 1800.04/1800.64 1800.04/1800.64 c user time= 1799.09 s 1800.04/1800.64 c system time= 0.999848 s 1800.04/1800.64 c wall clock time=1800.64
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node57/watcher-356953-1176849211 -o ROOT/results/node57/solver-356953-1176849211 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356953-1176849211/instance-356953-1176849211.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.99 0.97 0.95 3/64 5724 /proc/meminfo: memFree=1600200/2055920 swapFree=4174180/4192956 [pid=5724] ppid=5722 vsize=1468 CPUtime=0 /proc/5724/stat : 5724 (oree) R 5722 5724 5623 0 -1 4194304 182 0 0 0 0 0 0 0 18 0 1 0 126057044 1503232 164 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134828791 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5724/statm: 367 164 131 317 0 46 0 [startup+0.088772 s] /proc/loadavg: 0.99 0.97 0.95 3/64 5724 /proc/meminfo: memFree=1600200/2055920 swapFree=4174180/4192956 [pid=5724] ppid=5722 vsize=3068 CPUtime=0.08 /proc/5724/stat : 5724 (oree) R 5722 5724 5623 0 -1 4194304 589 0 0 0 8 0 0 0 18 0 1 0 126057044 3141632 571 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5724/statm: 767 571 138 317 0 446 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 3068 [startup+0.101771 s] /proc/loadavg: 0.99 0.97 0.95 3/64 5724 /proc/meminfo: memFree=1600200/2055920 swapFree=4174180/4192956 [pid=5724] ppid=5722 vsize=3068 CPUtime=0.09 /proc/5724/stat : 5724 (oree) R 5722 5724 5623 0 -1 4194304 589 0 0 0 9 0 0 0 18 0 1 0 126057044 3141632 571 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5724/statm: 767 571 138 317 0 446 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3068 [startup+0.301789 s] /proc/loadavg: 0.99 0.97 0.95 3/64 5724 /proc/meminfo: memFree=1600200/2055920 swapFree=4174180/4192956 [pid=5724] ppid=5722 vsize=3068 CPUtime=0.29 /proc/5724/stat : 5724 (oree) R 5722 5724 5623 0 -1 4194304 589 0 0 0 29 0 0 0 19 0 1 0 126057044 3141632 571 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606670 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5724/statm: 767 571 138 317 0 446 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3068 [startup+0.701823 s] /proc/loadavg: 0.99 0.97 0.95 3/64 5724 /proc/meminfo: memFree=1600200/2055920 swapFree=4174180/4192956 [pid=5724] ppid=5722 vsize=5564 CPUtime=0.69 /proc/5724/stat : 5724 (oree) R 5722 5724 5623 0 -1 4194304 1232 0 0 0 69 0 0 0 22 0 1 0 126057044 5697536 1214 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5724/statm: 1391 1214 170 317 0 1070 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5564 [startup+1.50189 s] /proc/loadavg: 0.99 0.97 0.95 2/65 5725 /proc/meminfo: memFree=1593088/2055920 swapFree=4174180/4192956 [pid=5724] ppid=5722 vsize=12536 CPUtime=1.49 /proc/5724/stat : 5724 (oree) R 5722 5724 5623 0 -1 4194304 2983 0 0 0 148 1 0 0 25 0 1 0 126057044 12836864 2965 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5724/statm: 3134 2965 170 317 0 2813 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 12536 [startup+3.10103 s] /proc/loadavg: 0.99 0.97 0.95 2/65 5725 /proc/meminfo: memFree=1585664/2055920 swapFree=4174180/4192956 [pid=5724] ppid=5722 vsize=22152 CPUtime=3.09 /proc/5724/stat : 5724 (oree) R 5722 5724 5623 0 -1 4194304 5322 0 0 0 308 1 0 0 25 0 1 0 126057044 22683648 5304 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135266092 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5724/statm: 5538 5304 170 317 0 5217 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 22152 [startup+6.30131 s] /proc/loadavg: 0.99 0.97 0.95 2/65 5725 /proc/meminfo: memFree=1569344/2055920 swapFree=4174180/4192956 [pid=5724] ppid=5722 vsize=37196 CPUtime=6.29 /proc/5724/stat : 5724 (oree) R 5722 5724 5623 0 -1 4194304 9049 0 0 0 626 3 0 0 25 0 1 0 126057044 38088704 9031 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5724/statm: 9299 9032 170 317 0 8978 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 37196 [startup+12.7019 s] /proc/loadavg: 0.99 0.97 0.95 2/65 5725 /proc/meminfo: memFree=1543488/2055920 swapFree=4174180/4192956 [pid=5724] ppid=5722 vsize=60440 CPUtime=12.68 /proc/5724/stat : 5724 (oree) R 5722 5724 5623 0 -1 4194304 14702 0 0 0 1263 5 0 0 25 0 1 0 126057044 61890560 14684 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602404 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5724/statm: 15110 14684 170 317 0 14789 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 60440 [startup+25.502 s] /proc/loadavg: 0.99 0.97 0.95 2/65 5725 /proc/meminfo: memFree=1520640/2055920 swapFree=4174180/4192956 [pid=5724] ppid=5722 vsize=82648 CPUtime=25.49 /proc/5724/stat : 5724 (oree) R 5722 5724 5623 0 -1 4194304 20033 0 0 0 2540 9 0 0 25 0 1 0 126057044 84631552 20015 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5724/statm: 20662 20015 170 317 0 20341 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 82648 [startup+51.1012 s] /proc/loadavg: 0.99 0.97 0.95 2/65 5725 /proc/meminfo: memFree=1494080/2055920 swapFree=4174180/4192956 [pid=5724] ppid=5722 vsize=110636 CPUtime=51.08 /proc/5724/stat : 5724 (oree) R 5722 5724 5623 0 -1 4194304 26685 0 0 0 5095 13 0 0 25 0 1 0 126057044 113291264 26667 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564046 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5724/statm: 27659 26667 170 317 0 27338 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 110636 [startup+102.305 s] /proc/loadavg: 0.99 0.97 0.95 2/65 5725 /proc/meminfo: memFree=1445824/2055920 swapFree=4174180/4192956 [pid=5724] ppid=5722 vsize=159688 CPUtime=102.27 /proc/5724/stat : 5724 (oree) R 5722 5724 5623 0 -1 4194304 38724 0 0 0 10206 21 0 0 25 0 1 0 126057044 163520512 38648 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5724/statm: 39922 38648 170 317 0 39601 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 159688 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.95 2/65 5725 /proc/meminfo: memFree=1400704/2055920 swapFree=4174180/4192956 [pid=5724] ppid=5722 vsize=208720 CPUtime=162.25 /proc/5724/stat : 5724 (oree) R 5722 5724 5623 0 -1 4194304 50032 0 0 0 16197 28 0 0 25 0 1 0 126057044 213729280 49956 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5724/statm: 52180 49956 170 317 0 51859 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 208720 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.95 2/65 5725 /proc/meminfo: memFree=1369152/2055920 swapFree=4174180/4192956 [pid=5724] ppid=5722 vsize=238740 CPUtime=222.23 /proc/5724/stat : 5724 (oree) R 5722 5724 5623 0 -1 4194304 57840 0 0 0 22191 32 0 0 25 0 1 0 126057044 244469760 57764 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5724/statm: 59685 57764 170 317 0 59364 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 238740 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.95 2/65 5725 /proc/meminfo: memFree=1338944/2055920 swapFree=4174180/4192956 [pid=5724] ppid=5722 vsize=270048 CPUtime=282.22 /proc/5724/stat : 5724 (oree) R 5722 5724 5623 0 -1 4194304 65527 0 0 0 28186 36 0 0 25 0 1 0 126057044 276529152 65337 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5724/statm: 67512 65337 170 317 0 67191 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 270048 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.95 2/65 5725 /proc/meminfo: memFree=1307584/2055920 swapFree=4174180/4192956 [pid=5724] ppid=5722 vsize=307492 CPUtime=342.2 /proc/5724/stat : 5724 (oree) R 5722 5724 5623 0 -1 4194304 74752 0 0 0 34179 41 0 0 25 0 1 0 126057044 314871808 73110 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5724/statm: 76873 73110 170 317 0 76552 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 307492 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.95 2/65 5725 /proc/meminfo: memFree=1277760/2055920 swapFree=4174180/4192956 [pid=5724] ppid=5722 vsize=343348 CPUtime=402.18 /proc/5724/stat : 5724 (oree) R 5722 5724 5623 0 -1 4194304 83728 0 0 0 40173 45 0 0 25 0 1 0 126057044 351588352 80733 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563957 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5724/statm: 85837 80733 170 317 0 85516 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 343348 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.95 2/65 5725 /proc/meminfo: memFree=1245184/2055920 swapFree=4174180/4192956 [pid=5724] ppid=5722 vsize=381772 CPUtime=462.17 /proc/5724/stat : 5724 (oree) R 5722 5724 5623 0 -1 4194304 93343 0 0 0 46167 50 0 0 25 0 1 0 126057044 390934528 88698 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5724/statm: 95443 88698 170 317 0 95122 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 381772 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.95 2/65 5725 /proc/meminfo: memFree=1220544/2055920 swapFree=4174180/4192956 [pid=5724] ppid=5722 vsize=405356 CPUtime=522.16 /proc/5724/stat : 5724 (oree) R 5722 5724 5623 0 -1 4194304 99735 0 0 0 52162 54 0 0 25 0 1 0 126057044 415084544 94892 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5724/statm: 101339 94892 170 317 0 101018 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 405356 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.95 2/65 5725 /proc/meminfo: memFree=1200960/2055920 swapFree=4174180/4192956 [pid=5724] ppid=5722 vsize=426316 CPUtime=582.14 /proc/5724/stat : 5724 (oree) R 5722 5724 5623 0 -1 4194304 105071 0 0 0 58158 56 0 0 25 0 1 0 126057044 436547584 99700 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5724/statm: 106579 99700 170 317 0 106258 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 426316 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.95 2/65 5725 /proc/meminfo: memFree=1182720/2055920 swapFree=4174180/4192956 [pid=5724] ppid=5722 vsize=445092 CPUtime=642.13 /proc/5724/stat : 5724 (oree) R 5722 5724 5623 0 -1 4194304 109982 0 0 0 64155 58 0 0 25 0 1 0 126057044 455774208 104215 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5724/statm: 111273 104215 170 317 0 110952 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 445092 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.95 2/65 5725 /proc/meminfo: memFree=1105408/2055920 swapFree=4174180/4192956 [pid=5724] ppid=5722 vsize=514124 CPUtime=882.07 /proc/5724/stat : 5724 (oree) R 5722 5724 5623 0 -1 4194304 129503 0 0 0 88137 70 0 0 25 0 1 0 126057044 526462976 123505 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5724/statm: 128531 123505 170 317 0 128210 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 514124 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.95 2/65 5725 /proc/meminfo: memFree=1094656/2055920 swapFree=4174180/4192956 [pid=5724] ppid=5722 vsize=524036 CPUtime=942.05 /proc/5724/stat : 5724 (oree) R 5722 5724 5623 0 -1 4194304 132205 0 0 0 94133 72 0 0 25 0 1 0 126057044 536612864 126207 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5724/statm: 131009 126207 170 317 0 130688 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 524036 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.95 2/65 5725 /proc/meminfo: memFree=1084608/2055920 swapFree=4174180/4192956 [pid=5724] ppid=5722 vsize=535252 CPUtime=1002.03 /proc/5724/stat : 5724 (oree) R 5722 5724 5623 0 -1 4194304 134957 0 0 0 100130 73 0 0 25 0 1 0 126057044 548098048 128699 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5724/statm: 133813 128699 170 317 0 133492 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 535252 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.95 2/65 5725 /proc/meminfo: memFree=1076352/2055920 swapFree=4174180/4192956 [pid=5724] ppid=5722 vsize=544112 CPUtime=1062.02 /proc/5724/stat : 5724 (oree) R 5722 5724 5623 0 -1 4194304 137347 0 0 0 106128 74 0 0 25 0 1 0 126057044 557170688 130792 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5724/statm: 136028 130792 170 317 0 135707 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 544112 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.95 2/65 5725 /proc/meminfo: memFree=1067520/2055920 swapFree=4174180/4192956 [pid=5724] ppid=5722 vsize=551844 CPUtime=1122.01 /proc/5724/stat : 5724 (oree) R 5722 5724 5623 0 -1 4194304 139517 0 0 0 112125 76 0 0 25 0 1 0 126057044 565088256 132962 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563656 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5724/statm: 137961 132962 170 317 0 137640 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 551844 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.95 2/65 5725 /proc/meminfo: memFree=1059456/2055920 swapFree=4174180/4192956 [pid=5724] ppid=5722 vsize=562284 CPUtime=1181.99 /proc/5724/stat : 5724 (oree) R 5722 5724 5623 0 -1 4194304 142282 0 0 0 118122 77 0 0 25 0 1 0 126057044 575778816 134979 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5724/statm: 140571 134979 170 317 0 140250 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 562284 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.95 2/65 5725 /proc/meminfo: memFree=1050240/2055920 swapFree=4174180/4192956 [pid=5724] ppid=5722 vsize=570412 CPUtime=1241.97 /proc/5724/stat : 5724 (oree) R 5722 5724 5623 0 -1 4194304 144594 0 0 0 124119 78 0 0 25 0 1 0 126057044 584101888 137291 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5724/statm: 142603 137291 170 317 0 142282 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 570412 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.95 2/65 5725 /proc/meminfo: memFree=1037568/2055920 swapFree=4174180/4192956 [pid=5724] ppid=5722 vsize=581572 CPUtime=1301.96 /proc/5724/stat : 5724 (oree) R 5722 5724 5623 0 -1 4194304 147729 0 0 0 130116 80 0 0 25 0 1 0 126057044 595529728 140426 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5724/statm: 145393 140426 170 317 0 145072 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 581572 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.95 2/65 5725 /proc/meminfo: memFree=1023936/2055920 swapFree=4174180/4192956 [pid=5724] ppid=5722 vsize=607644 CPUtime=1361.94 /proc/5724/stat : 5724 (oree) R 5722 5724 5623 0 -1 4194304 154223 0 0 0 136111 83 0 0 25 0 1 0 126057044 622227456 143864 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5724/statm: 151911 143864 170 317 0 151590 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 607644 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.95 2/65 5725 /proc/meminfo: memFree=1011712/2055920 swapFree=4174180/4192956 [pid=5724] ppid=5722 vsize=618476 CPUtime=1421.93 /proc/5724/stat : 5724 (oree) R 5722 5724 5623 0 -1 4194304 157291 0 0 0 142107 86 0 0 25 0 1 0 126057044 633319424 146867 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5724/statm: 154619 146867 170 317 0 154298 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 618476 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.95 2/65 5725 /proc/meminfo: memFree=998912/2055920 swapFree=4174180/4192956 [pid=5724] ppid=5722 vsize=646012 CPUtime=1481.92 /proc/5724/stat : 5724 (oree) R 5722 5724 5623 0 -1 4194304 164030 0 0 0 148103 89 0 0 25 0 1 0 126057044 661516288 150096 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5724/statm: 161503 150096 170 317 0 161182 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 646012 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.95 2/65 5725 /proc/meminfo: memFree=987072/2055920 swapFree=4174180/4192956 [pid=5724] ppid=5722 vsize=656660 CPUtime=1541.9 /proc/5724/stat : 5724 (oree) R 5722 5724 5623 0 -1 4194304 167001 0 0 0 154100 90 0 0 25 0 1 0 126057044 672419840 153002 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712513 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5724/statm: 164165 153002 170 317 0 163844 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 656660 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.95 2/65 5725 /proc/meminfo: memFree=976128/2055920 swapFree=4174180/4192956 [pid=5724] ppid=5722 vsize=666548 CPUtime=1601.88 /proc/5724/stat : 5724 (oree) R 5722 5724 5623 0 -1 4194304 169874 0 0 0 160097 91 0 0 25 0 1 0 126057044 682545152 155777 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5724/statm: 166637 155777 170 317 0 166316 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 666548 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.95 2/71 5807 /proc/meminfo: memFree=964296/2055920 swapFree=4174180/4192956 [pid=5724] ppid=5722 vsize=677620 CPUtime=1661.84 /proc/5724/stat : 5724 (oree) R 5722 5724 5623 0 -1 4194304 172816 0 0 0 166089 95 0 0 25 0 1 0 126057044 693882880 158358 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5724/statm: 169405 158358 170 317 0 169084 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 677620 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.95 2/65 5923 /proc/meminfo: memFree=954624/2055920 swapFree=4174180/4192956 [pid=5724] ppid=5722 vsize=688272 CPUtime=1721.76 /proc/5724/stat : 5724 (oree) R 5722 5724 5623 0 -1 4194304 175663 0 0 0 172080 96 0 0 25 0 1 0 126057044 704790528 161075 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5724/statm: 172068 161075 170 317 0 171747 0 Current children cumulated CPU time (s) 1721.76 Current children cumulated vsize (KiB) 688272 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.95 2/65 5923 /proc/meminfo: memFree=941632/2055920 swapFree=4174180/4192956 [pid=5724] ppid=5722 vsize=717536 CPUtime=1781.75 /proc/5724/stat : 5724 (oree) R 5722 5724 5623 0 -1 4194304 182846 0 0 0 178076 99 0 0 25 0 1 0 126057044 734756864 164293 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5724/statm: 179384 164293 170 317 0 179063 0 Current children cumulated CPU time (s) 1781.75 Current children cumulated vsize (KiB) 717536 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.97 0.95 2/65 5923 /proc/meminfo: memFree=937728/2055920 swapFree=4174180/4192956 [pid=5724] ppid=5722 vsize=720660 CPUtime=1800.04 /proc/5724/stat : 5724 (oree) R 5722 5724 5623 0 -1 4194304 183802 0 0 0 179905 99 0 0 25 0 1 0 126057044 737955840 165249 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5724/statm: 180165 165249 170 317 0 179844 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 720660 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 0.99 0.97 0.95 2/65 5923 /proc/meminfo: memFree=937728/2055920 swapFree=4174180/4192956 [pid=5724] ppid=5722 vsize=0 CPUtime=1800.14 /proc/5724/stat : 5724 (oree) R 5722 5724 5623 0 -1 4194308 183827 0 0 0 179909 105 0 0 25 0 1 0 126057044 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5724/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.14 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.76 CPU time (s): 1800.21 CPU user time (s): 1799.1 CPU system time (s): 1.10583 CPU usage (%): 99.9693 Max. virtual memory (cumulated for all children) (KiB): 720660 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.1 system time used= 1.10583 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 183827 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= 1622 runsolver used 1.3128 second user time and 3.70844 second system time The end
Begin job on node57 on Tue Apr 17 22:33:31 UTC 2007 IDJOB= 356953 IDBENCH= 1683 IDSOLVER= 172 FILE ID= node57/356953-1176849211 PBS_JOBID= 4590226 Free space on /tmp= 66511 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-recipe.opb COMMAND LINE= oree /tmp/evaluation/356953-1176849211/instance-356953-1176849211.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node57/watcher-356953-1176849211 -o ROOT/results/node57/solver-356953-1176849211 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356953-1176849211/instance-356953-1176849211.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= afb312a519ee7dfceb0c5aec9cb860b5 RANDOM SEED= 797621274 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node57.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.239 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.239 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: 1600608 kB Buffers: 26232 kB Cached: 368920 kB SwapCached: 13052 kB Active: 303016 kB Inactive: 110872 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1600608 kB SwapTotal: 4192956 kB SwapFree: 4174180 kB Dirty: 1472 kB Writeback: 0 kB Mapped: 15304 kB Slab: 27512 kB Committed_AS: 837916 kB PageTables: 1408 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= 66511 MiB End job on node57 on Tue Apr 17 23:03:34 UTC 2007