Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.07 | 1800.67 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-pilot.we.opb |
MD5SUM | 6d89097601cc17df3da06374ded173c4 |
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 | 77678 |
Total number of constraints | 1016 |
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 | 1016 |
Minimum length of a constraint | 10 |
Maximum length of a constraint | 2430 |
Number of terms in the objective function | 2760 |
Biggest coefficient in the objective function | 9798 |
Number of bits for the biggest coefficient in the objective function | 14 |
Sum of the numbers in the objective function | 526457 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262399 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 526457 |
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.79/0.88 c ...done 0.79/0.88 c #vars=77678 #constraints=1600 hasObjective=yes 0.99/1.05 c res. mode=mod 0.99/1.05 c VSIDS like heuristics 0.99/1.05 c complete search running 2.39/2.44 c restart after 401 decisions 2.69/2.75 c nbDecision=500 #constraints=1669 3.78/3.80 c restart after 801 decisions 4.39/4.43 c nbDecision=1000 #constraints=1743 6.19/6.29 c nbDecision=1500 #constraints=1937 6.69/6.75 c restart after 1601 decisions 8.09/8.10 c nbDecision=2000 #constraints=2064 9.69/9.79 c nbDecision=2500 #constraints=2164 11.69/11.73 c nbDecision=3000 #constraints=2369 12.39/12.44 c restart after 3201 decisions 13.39/13.45 c nbDecision=3500 #constraints=2458 15.08/15.15 c nbDecision=4000 #constraints=2546 16.89/16.91 c nbDecision=4500 #constraints=2671 18.49/18.59 c nbDecision=5000 #constraints=2769 20.19/20.20 c nbDecision=5500 #constraints=2823 21.79/21.86 c nbDecision=6000 #constraints=2895 23.09/23.17 c restart after 6401 decisions 23.49/23.51 c nbDecision=6500 #constraints=2943 25.08/25.19 c nbDecision=7000 #constraints=2996 26.78/26.89 c nbDecision=7500 #constraints=3071 28.48/28.58 c nbDecision=8000 #constraints=3131 30.18/30.25 c nbDecision=8500 #constraints=3199 31.89/31.97 c nbDecision=9000 #constraints=3310 33.58/33.69 c nbDecision=9500 #constraints=3423 35.28/35.39 c nbDecision=10000 #constraints=3525 37.08/37.12 c nbDecision=10500 #constraints=3642 38.68/38.74 c nbDecision=11000 #constraints=3668 40.28/40.37 c nbDecision=11500 #constraints=3721 41.98/42.02 c nbDecision=12000 #constraints=3782 43.58/43.66 c nbDecision=12500 #constraints=3813 44.68/44.72 c restart after 12801 decisions 45.38/45.40 c nbDecision=13000 #constraints=3868 47.07/47.17 c nbDecision=13500 #constraints=3928 48.77/48.85 c nbDecision=14000 #constraints=3984 50.48/50.56 c nbDecision=14500 #constraints=4048 52.18/52.20 c nbDecision=15000 #constraints=4097 53.79/53.88 c nbDecision=15500 #constraints=4151 55.48/55.51 c nbDecision=16000 #constraints=4175 57.18/57.23 c nbDecision=16500 #constraints=4257 58.78/58.85 c nbDecision=17000 #constraints=4282 60.48/60.52 c nbDecision=17500 #constraints=4353 62.17/62.23 c nbDecision=18000 #constraints=4432 63.78/63.85 c nbDecision=18500 #constraints=4448 65.47/65.51 c nbDecision=19000 #constraints=4486 67.17/67.20 c nbDecision=19500 #constraints=4557 68.77/68.86 c nbDecision=20000 #constraints=4588 70.57/70.68 c nbDecision=20500 #constraints=4701 72.37/72.44 c nbDecision=21000 #constraints=4787 74.17/74.21 c nbDecision=21500 #constraints=4888 75.88/75.92 c nbDecision=22000 #constraints=4979 77.67/77.73 c nbDecision=22500 #constraints=5094 79.27/79.39 c nbDecision=23000 #constraints=5153 81.07/81.19 c nbDecision=23500 #constraints=5280 82.87/82.90 c nbDecision=24000 #constraints=5352 84.57/84.60 c nbDecision=24500 #constraints=5414 86.17/86.26 c nbDecision=25000 #constraints=5462 87.87/87.97 c nbDecision=25500 #constraints=5513 88.26/88.30 c restart after 25601 decisions 89.66/89.80 c nbDecision=26000 #constraints=5553 91.77/91.87 c nbDecision=26500 #constraints=5661 93.47/93.57 c nbDecision=27000 #constraints=5691 95.27/95.33 c nbDecision=27500 #constraints=5766 96.97/97.07 c nbDecision=28000 #constraints=5838 98.67/98.79 c nbDecision=28500 #constraints=5905 100.47/100.54 c nbDecision=29000 #constraints=5972 102.17/102.26 c nbDecision=29500 #constraints=6037 103.86/103.99 c nbDecision=30000 #constraints=6090 105.66/105.79 c nbDecision=30500 #constraints=6209 107.46/107.53 c nbDecision=31000 #constraints=6298 109.26/109.32 c nbDecision=31500 #constraints=6395 110.96/111.01 c nbDecision=32000 #constraints=6438 112.56/112.68 c nbDecision=32500 #constraints=6485 114.26/114.37 c nbDecision=33000 #constraints=6526 115.97/116.04 c nbDecision=33500 #constraints=6571 117.57/117.68 c nbDecision=34000 #constraints=6603 119.26/119.37 c nbDecision=34500 #constraints=6658 120.97/121.01 c nbDecision=35000 #constraints=6680 122.56/122.68 c nbDecision=35500 #constraints=6712 124.27/124.34 c nbDecision=36000 #constraints=6744 125.86/125.99 c nbDecision=36500 #constraints=6766 127.56/127.69 c nbDecision=37000 #constraints=6814 129.26/129.36 c nbDecision=37500 #constraints=6849 130.96/131.09 c nbDecision=38000 #constraints=6913 132.66/132.79 c nbDecision=38500 #constraints=6959 134.36/134.44 c nbDecision=39000 #constraints=6979 136.05/136.14 c nbDecision=39500 #constraints=7037 137.75/137.83 c nbDecision=40000 #constraints=7076 139.35/139.48 c nbDecision=40500 #constraints=7098 141.05/141.14 c nbDecision=41000 #constraints=7125 142.75/142.84 c nbDecision=41500 #constraints=7165 144.46/144.58 c nbDecision=42000 #constraints=7212 146.26/146.35 c nbDecision=42500 #constraints=7281 147.96/148.05 c nbDecision=43000 #constraints=7315 149.66/149.76 c nbDecision=43500 #constraints=7350 151.46/151.52 c nbDecision=44000 #constraints=7409 153.16/153.26 c nbDecision=44500 #constraints=7448 154.86/154.93 c nbDecision=45000 #constraints=7471 156.56/156.66 c nbDecision=45500 #constraints=7519 158.26/158.37 c nbDecision=46000 #constraints=7554 159.95/160.03 c nbDecision=46500 #constraints=7581 161.66/161.70 c nbDecision=47000 #constraints=7604 163.25/163.36 c nbDecision=47500 #constraints=7617 164.95/165.05 c nbDecision=48000 #constraints=7644 166.65/166.73 c nbDecision=48500 #constraints=7660 168.35/168.45 c nbDecision=49000 #constraints=7697 170.05/170.15 c nbDecision=49500 #constraints=7728 171.75/171.89 c nbDecision=50000 #constraints=7770 173.55/173.61 c nbDecision=50500 #constraints=7810 175.25/175.34 c nbDecision=51000 #constraints=7837 175.95/176.04 c restart after 51201 decisions 177.05/177.17 c nbDecision=51500 #constraints=7856 178.94/179.07 c nbDecision=52000 #constraints=7894 180.94/181.03 c nbDecision=52500 #constraints=7966 182.84/183.00 c nbDecision=53000 #constraints=8028 184.74/184.88 c nbDecision=53500 #constraints=8087 186.64/186.73 c nbDecision=54000 #constraints=8131 188.45/188.50 c nbDecision=54500 #constraints=8162 190.25/190.37 c nbDecision=55000 #constraints=8223 192.05/192.11 c nbDecision=55500 #constraints=8236 193.84/193.94 c nbDecision=56000 #constraints=8291 195.84/195.98 c nbDecision=56500 #constraints=8436 197.74/197.81 c nbDecision=57000 #constraints=8493 199.64/199.76 c nbDecision=57500 #constraints=8597 201.64/201.75 c nbDecision=58000 #constraints=8702 203.64/203.77 c nbDecision=58500 #constraints=8799 205.64/205.76 c nbDecision=59000 #constraints=8889 207.63/207.74 c nbDecision=59500 #constraints=8997 209.54/209.69 c nbDecision=60000 #constraints=9091 211.44/211.56 c nbDecision=60500 #constraints=9158 213.44/213.59 c nbDecision=61000 #constraints=9242 215.34/215.43 c nbDecision=61500 #constraints=9306 217.44/217.57 c nbDecision=62000 #constraints=9429 219.33/219.47 c nbDecision=62500 #constraints=9489 221.33/221.47 c nbDecision=63000 #constraints=9579 223.33/223.48 c nbDecision=63500 #constraints=9663 225.33/225.45 c nbDecision=64000 #constraints=9738 227.13/227.26 c nbDecision=64500 #constraints=9769 229.03/229.11 c nbDecision=65000 #constraints=9808 230.94/231.07 c nbDecision=65500 #constraints=9859 232.84/232.95 c nbDecision=66000 #constraints=9903 234.73/234.84 c nbDecision=66500 #constraints=9938 236.63/236.72 c nbDecision=67000 #constraints=9977 238.33/238.49 c nbDecision=67500 #constraints=9999 240.53/240.63 c nbDecision=68000 #constraints=10076 242.53/242.65 c nbDecision=68500 #constraints=10127 244.43/244.50 c nbDecision=69000 #constraints=10160 246.43/246.51 c nbDecision=69500 #constraints=10219 248.53/248.69 c nbDecision=70000 #constraints=10291 250.63/250.79 c nbDecision=70500 #constraints=10352 252.63/252.72 c nbDecision=71000 #constraints=10394 254.63/254.70 c nbDecision=71500 #constraints=10454 256.53/256.62 c nbDecision=72000 #constraints=10526 258.53/258.63 c nbDecision=72500 #constraints=10611 260.53/260.68 c nbDecision=73000 #constraints=10714 262.53/262.69 c nbDecision=73500 #constraints=10791 264.33/264.45 c nbDecision=74000 #constraints=10807 266.33/266.45 c nbDecision=74500 #constraints=10864 268.33/268.49 c nbDecision=75000 #constraints=10923 270.43/270.57 c nbDecision=75500 #constraints=10989 272.42/272.51 c nbDecision=76000 #constraints=11023 274.42/274.56 c nbDecision=76500 #constraints=11072 276.42/276.57 c nbDecision=77000 #constraints=11129 278.32/278.47 c nbDecision=77500 #constraints=11181 280.32/280.41 c nbDecision=78000 #constraints=11228 282.12/282.24 c nbDecision=78500 #constraints=11261 284.02/284.11 c nbDecision=79000 #constraints=11299 285.93/286.04 c nbDecision=79500 #constraints=11350 287.72/287.88 c nbDecision=80000 #constraints=11382 289.52/289.68 c nbDecision=80500 #constraints=11404 291.43/291.57 c nbDecision=81000 #constraints=11431 293.63/293.72 c nbDecision=81500 #constraints=11504 295.62/295.73 c nbDecision=82000 #constraints=11556 297.52/297.68 c nbDecision=82500 #constraints=11611 299.42/299.51 c nbDecision=83000 #constraints=11631 301.22/301.37 c nbDecision=83500 #constraints=11656 303.22/303.35 c nbDecision=84000 #constraints=11689 305.32/305.49 c nbDecision=84500 #constraints=11748 307.32/307.42 c nbDecision=85000 #constraints=11768 309.22/309.37 c nbDecision=85500 #constraints=11827 311.01/311.20 c nbDecision=86000 #constraints=11840 312.91/313.04 c nbDecision=86500 #constraints=11863 314.71/314.85 c nbDecision=87000 #constraints=11885 316.62/316.72 c nbDecision=87500 #constraints=11919 318.81/318.91 c nbDecision=88000 #constraints=11974 320.91/321.02 c nbDecision=88500 #constraints=12013 322.81/322.91 c nbDecision=89000 #constraints=12034 324.81/324.90 c nbDecision=89500 #constraints=12073 326.71/326.87 c nbDecision=90000 #constraints=12107 328.71/328.85 c nbDecision=90500 #constraints=12160 330.91/331.07 c nbDecision=91000 #constraints=12224 333.00/333.10 c nbDecision=91500 #constraints=12266 334.80/334.99 c nbDecision=92000 #constraints=12291 336.70/336.81 c nbDecision=92500 #constraints=12299 338.71/338.88 c nbDecision=93000 #constraints=12339 340.81/340.90 c nbDecision=93500 #constraints=12381 342.61/342.79 c nbDecision=94000 #constraints=12405 344.51/344.68 c nbDecision=94500 #constraints=12433 346.41/346.55 c nbDecision=95000 #constraints=12449 348.21/348.34 c nbDecision=95500 #constraints=12464 350.20/350.34 c nbDecision=96000 #constraints=12499 352.10/352.23 c nbDecision=96500 #constraints=12521 353.90/354.08 c nbDecision=97000 #constraints=12539 355.90/356.01 c nbDecision=97500 #constraints=12554 357.80/357.93 c nbDecision=98000 #constraints=12587 359.60/359.77 c nbDecision=98500 #constraints=12603 361.50/361.62 c nbDecision=99000 #constraints=12623 363.39/363.50 c nbDecision=99500 #constraints=12658 365.29/365.41 c nbDecision=100000 #constraints=12723 367.19/367.34 c nbDecision=100500 #constraints=12755 369.29/369.44 c nbDecision=101000 #constraints=12844 371.19/371.33 c nbDecision=101500 #constraints=12881 373.09/373.27 c nbDecision=102000 #constraints=12976 374.69/374.80 c restart after 102401 decisions 375.29/375.41 c nbDecision=102500 #constraints=13016 377.49/377.63 c nbDecision=103000 #constraints=13071 379.60/379.78 c nbDecision=103500 #constraints=13114 381.99/382.19 c nbDecision=104000 #constraints=13218 384.29/384.43 c nbDecision=104500 #constraints=13321 386.59/386.74 c nbDecision=105000 #constraints=13416 388.79/388.95 c nbDecision=105500 #constraints=13528 390.98/391.10 c nbDecision=106000 #constraints=13650 392.88/393.01 c nbDecision=106500 #constraints=13784 395.39/395.58 c nbDecision=107000 #constraints=13879 397.69/397.89 c nbDecision=107500 #constraints=13932 400.19/400.36 c nbDecision=108000 #constraints=14038 402.18/402.35 c nbDecision=108500 #constraints=14083 404.28/404.41 c nbDecision=109000 #constraints=14152 406.28/406.46 c nbDecision=109500 #constraints=14200 408.48/408.69 c nbDecision=110000 #constraints=14306 410.68/410.88 c nbDecision=110500 #constraints=14407 412.98/413.11 c nbDecision=111000 #constraints=14473 414.98/415.17 c nbDecision=111500 #constraints=14530 417.28/417.47 c nbDecision=112000 #constraints=14661 419.58/419.78 c nbDecision=112500 #constraints=14788 421.98/422.12 c nbDecision=113000 #constraints=14935 424.38/424.52 c nbDecision=113500 #constraints=15108 426.77/426.95 c nbDecision=114000 #constraints=15273 428.88/429.07 c nbDecision=114500 #constraints=15353 431.18/431.31 c nbDecision=115000 #constraints=15463 433.28/433.49 c nbDecision=115500 #constraints=15561 435.38/435.52 c nbDecision=116000 #constraints=15622 437.48/437.61 c nbDecision=116500 #constraints=15710 439.67/439.81 c nbDecision=117000 #constraints=15808 441.98/442.11 c nbDecision=117500 #constraints=15917 444.37/444.51 c nbDecision=118000 #constraints=16038 446.57/446.77 c nbDecision=118500 #constraints=16123 448.97/449.13 c nbDecision=119000 #constraints=16229 451.06/451.23 c nbDecision=119500 #constraints=16281 453.17/453.31 c nbDecision=120000 #constraints=16350 455.37/455.54 c nbDecision=120500 #constraints=16430 457.47/457.62 c nbDecision=121000 #constraints=16499 459.57/459.80 c nbDecision=121500 #constraints=16570 461.97/462.19 c nbDecision=122000 #constraints=16671 464.16/464.38 c nbDecision=122500 #constraints=16753 466.27/466.49 c nbDecision=123000 #constraints=16804 468.66/468.81 c nbDecision=123500 #constraints=16907 470.96/471.16 c nbDecision=124000 #constraints=16998 473.16/473.32 c nbDecision=124500 #constraints=17069 475.17/475.30 c nbDecision=125000 #constraints=17097 477.17/477.39 c nbDecision=125500 #constraints=17146 479.26/479.44 c nbDecision=126000 #constraints=17199 481.36/481.57 c nbDecision=126500 #constraints=17267 483.56/483.77 c nbDecision=127000 #constraints=17346 485.76/485.95 c nbDecision=127500 #constraints=17401 487.86/488.02 c nbDecision=128000 #constraints=17449 490.16/490.31 c nbDecision=128500 #constraints=17509 492.26/492.49 c nbDecision=129000 #constraints=17551 494.56/494.75 c nbDecision=129500 #constraints=17606 496.85/497.03 c nbDecision=130000 #constraints=17668 499.16/499.40 c nbDecision=130500 #constraints=17732 501.46/501.65 c nbDecision=131000 #constraints=17793 503.86/504.04 c nbDecision=131500 #constraints=17867 506.06/506.26 c nbDecision=132000 #constraints=17916 508.16/508.38 c nbDecision=132500 #constraints=17982 510.46/510.63 c nbDecision=133000 #constraints=18051 512.55/512.76 c nbDecision=133500 #constraints=18104 514.66/514.86 c nbDecision=134000 #constraints=18156 516.55/516.78 c nbDecision=134500 #constraints=18171 518.65/518.89 c nbDecision=135000 #constraints=18220 520.75/520.91 c nbDecision=135500 #constraints=18248 522.94/523.15 c nbDecision=136000 #constraints=18315 525.15/525.31 c nbDecision=136500 #constraints=18359 527.15/527.35 c nbDecision=137000 #constraints=18386 529.25/529.45 c nbDecision=137500 #constraints=18405 531.35/531.56 c nbDecision=138000 #constraints=18432 533.45/533.61 c nbDecision=138500 #constraints=18446 535.65/535.80 c nbDecision=139000 #constraints=18497 537.84/538.05 c nbDecision=139500 #constraints=18569 540.04/540.26 c nbDecision=140000 #constraints=18619 542.34/542.50 c nbDecision=140500 #constraints=18678 544.35/544.59 c nbDecision=141000 #constraints=18699 546.55/546.76 c nbDecision=141500 #constraints=18742 548.64/548.82 c nbDecision=142000 #constraints=18771 550.74/551.00 c nbDecision=142500 #constraints=18817 552.84/553.07 c nbDecision=143000 #constraints=18851 555.14/555.35 c nbDecision=143500 #constraints=18906 557.55/557.79 c nbDecision=144000 #constraints=18991 559.84/560.07 c nbDecision=144500 #constraints=19043 562.04/562.27 c nbDecision=145000 #constraints=19095 564.14/564.38 c nbDecision=145500 #constraints=19118 566.43/566.64 c nbDecision=146000 #constraints=19159 568.44/568.66 c nbDecision=146500 #constraints=19176 570.53/570.74 c nbDecision=147000 #constraints=19207 572.73/572.90 c nbDecision=147500 #constraints=19254 574.73/574.97 c nbDecision=148000 #constraints=19281 576.83/577.07 c nbDecision=148500 #constraints=19308 579.04/579.26 c nbDecision=149000 #constraints=19361 581.04/581.28 c nbDecision=149500 #constraints=19381 583.33/583.52 c nbDecision=150000 #constraints=19436 585.43/585.64 c nbDecision=150500 #constraints=19469 587.43/587.64 c nbDecision=151000 #constraints=19481 589.44/589.67 c nbDecision=151500 #constraints=19510 591.54/591.79 c nbDecision=152000 #constraints=19552 593.63/593.88 c nbDecision=152500 #constraints=19577 595.73/596.00 c nbDecision=153000 #constraints=19610 597.83/598.04 c nbDecision=153500 #constraints=19650 600.02/600.23 c nbDecision=154000 #constraints=19693 602.12/602.37 c nbDecision=154500 #constraints=19736 604.22/604.45 c nbDecision=155000 #constraints=19752 606.42/606.62 c nbDecision=155500 #constraints=19795 608.62/608.87 c nbDecision=156000 #constraints=19846 610.72/610.99 c nbDecision=156500 #constraints=19884 612.82/613.07 c nbDecision=157000 #constraints=19900 614.82/615.08 c nbDecision=157500 #constraints=19920 617.02/617.24 c nbDecision=158000 #constraints=19953 619.13/619.31 c nbDecision=158500 #constraints=19971 621.12/621.38 c nbDecision=159000 #constraints=20005 623.32/623.55 c nbDecision=159500 #constraints=20042 625.52/625.77 c nbDecision=160000 #constraints=20083 627.72/627.95 c nbDecision=160500 #constraints=20114 629.72/629.98 c nbDecision=161000 #constraints=20132 631.92/632.16 c nbDecision=161500 #constraints=20169 634.02/634.22 c nbDecision=162000 #constraints=20182 636.12/636.30 c nbDecision=162500 #constraints=20203 638.32/638.50 c nbDecision=163000 #constraints=20250 640.42/640.65 c nbDecision=163500 #constraints=20282 642.52/642.78 c nbDecision=164000 #constraints=20318 644.71/644.96 c nbDecision=164500 #constraints=20338 646.91/647.20 c nbDecision=165000 #constraints=20384 649.11/649.33 c nbDecision=165500 #constraints=20407 651.31/651.54 c nbDecision=166000 #constraints=20440 653.42/653.61 c nbDecision=166500 #constraints=20473 655.52/655.72 c nbDecision=167000 #constraints=20505 657.62/657.81 c nbDecision=167500 #constraints=20526 659.72/659.93 c nbDecision=168000 #constraints=20549 661.81/662.00 c nbDecision=168500 #constraints=20572 664.01/664.24 c nbDecision=169000 #constraints=20610 666.11/666.35 c nbDecision=169500 #constraints=20639 668.41/668.69 c nbDecision=170000 #constraints=20702 670.61/670.86 c nbDecision=170500 #constraints=20733 672.91/673.18 c nbDecision=171000 #constraints=20774 675.30/675.54 c nbDecision=171500 #constraints=20819 677.60/677.81 c nbDecision=172000 #constraints=20857 679.80/680.02 c nbDecision=172500 #constraints=20898 682.11/682.34 c nbDecision=173000 #constraints=20944 684.31/684.55 c nbDecision=173500 #constraints=20978 686.51/686.72 c nbDecision=174000 #constraints=20999 688.71/688.96 c nbDecision=174500 #constraints=21030 691.10/691.32 c nbDecision=175000 #constraints=21073 693.10/693.39 c nbDecision=175500 #constraints=21095 695.20/695.45 c nbDecision=176000 #constraints=21120 697.40/697.61 c nbDecision=176500 #constraints=21149 699.50/699.77 c nbDecision=177000 #constraints=21178 701.90/702.17 c nbDecision=177500 #constraints=21215 704.09/704.31 c nbDecision=178000 #constraints=21238 706.09/706.38 c nbDecision=178500 #constraints=21249 708.49/708.79 c nbDecision=179000 #constraints=21292 710.69/710.95 c nbDecision=179500 #constraints=21324 713.29/713.51 c nbDecision=180000 #constraints=21383 715.80/716.05 c nbDecision=180500 #constraints=21439 718.10/718.30 c nbDecision=181000 #constraints=21465 720.20/720.45 c nbDecision=181500 #constraints=21482 722.40/722.70 c nbDecision=182000 #constraints=21504 724.99/725.26 c nbDecision=182500 #constraints=21550 727.19/727.44 c nbDecision=183000 #constraints=21572 729.39/729.67 c nbDecision=183500 #constraints=21601 731.89/732.14 c nbDecision=184000 #constraints=21633 734.49/734.79 c nbDecision=184500 #constraints=21664 736.89/737.15 c nbDecision=185000 #constraints=21703 739.28/739.58 c nbDecision=185500 #constraints=21752 741.58/741.86 c nbDecision=186000 #constraints=21771 744.29/744.55 c nbDecision=186500 #constraints=21832 746.49/746.74 c nbDecision=187000 #constraints=21855 748.69/748.91 c nbDecision=187500 #constraints=21870 750.99/751.27 c nbDecision=188000 #constraints=21896 753.39/753.66 c nbDecision=188500 #constraints=21934 755.59/755.85 c nbDecision=189000 #constraints=21962 757.99/758.25 c nbDecision=189500 #constraints=21988 760.39/760.65 c nbDecision=190000 #constraints=22022 762.99/763.23 c nbDecision=190500 #constraints=22046 765.58/765.84 c nbDecision=191000 #constraints=22093 768.18/768.42 c nbDecision=191500 #constraints=22141 770.58/770.81 c nbDecision=192000 #constraints=22176 773.18/773.45 c nbDecision=192500 #constraints=22226 775.68/775.98 c nbDecision=193000 #constraints=22288 778.08/778.38 c nbDecision=193500 #constraints=22320 780.38/780.66 c nbDecision=194000 #constraints=22351 782.88/783.19 c nbDecision=194500 #constraints=22400 785.27/785.57 c nbDecision=195000 #constraints=22442 787.57/787.86 c nbDecision=195500 #constraints=22465 790.07/790.32 c nbDecision=196000 #constraints=22499 792.37/792.61 c nbDecision=196500 #constraints=22527 794.67/794.92 c nbDecision=197000 #constraints=22569 796.97/797.27 c nbDecision=197500 #constraints=22600 799.37/799.65 c nbDecision=198000 #constraints=22643 801.57/801.87 c nbDecision=198500 #constraints=22684 803.87/804.15 c nbDecision=199000 #constraints=22713 806.26/806.50 c nbDecision=199500 #constraints=22762 808.36/808.69 c nbDecision=200000 #constraints=22775 810.66/810.92 c nbDecision=200500 #constraints=22800 812.97/813.23 c nbDecision=201000 #constraints=22837 815.37/815.63 c nbDecision=201500 #constraints=22879 817.67/817.95 c nbDecision=202000 #constraints=22922 820.27/820.50 c nbDecision=202500 #constraints=22962 822.47/822.78 c nbDecision=203000 #constraints=22994 824.87/825.16 c nbDecision=203500 #constraints=23027 826.97/827.29 c nbDecision=204000 #constraints=23046 829.26/829.53 c nbDecision=204500 #constraints=23077 830.86/831.10 c restart after 204801 decisions 832.37/832.69 c nbDecision=205000 #constraints=23110 835.76/836.09 c nbDecision=205500 #constraints=23189 838.86/839.19 c nbDecision=206000 #constraints=23253 841.56/841.88 c nbDecision=206500 #constraints=23327 844.86/845.13 c nbDecision=207000 #constraints=23399 847.65/848.00 c nbDecision=207500 #constraints=23487 850.86/851.14 c nbDecision=208000 #constraints=23609 853.66/853.92 c nbDecision=208500 #constraints=23712 856.85/857.18 c nbDecision=209000 #constraints=23801 859.45/859.75 c nbDecision=209500 #constraints=23853 862.05/862.33 c nbDecision=210000 #constraints=23933 864.55/864.82 c nbDecision=210500 #constraints=24004 867.26/867.56 c nbDecision=211000 #constraints=24118 870.16/870.48 c nbDecision=211500 #constraints=24240 872.95/873.28 c nbDecision=212000 #constraints=24361 875.85/876.17 c nbDecision=212500 #constraints=24466 879.15/879.42 c nbDecision=213000 #constraints=24523 882.35/882.62 c nbDecision=213500 #constraints=24611 884.84/885.14 c nbDecision=214000 #constraints=24793 889.44/889.79 c nbDecision=214500 #constraints=24873 892.04/892.39 c nbDecision=215000 #constraints=24958 895.15/895.49 c nbDecision=215500 #constraints=25014 898.05/898.36 c nbDecision=216000 #constraints=25059 901.45/901.78 c nbDecision=216500 #constraints=25139 903.95/904.27 c nbDecision=217000 #constraints=25151 907.35/907.63 c nbDecision=217500 #constraints=25210 910.24/910.52 c nbDecision=218000 #constraints=25249 912.84/913.10 c nbDecision=218500 #constraints=25268 916.24/916.54 c nbDecision=219000 #constraints=25332 919.24/919.57 c nbDecision=219500 #constraints=25360 922.14/922.46 c nbDecision=220000 #constraints=25415 924.84/925.19 c nbDecision=220500 #constraints=25439 928.04/928.34 c nbDecision=221000 #constraints=25484 930.73/931.09 c nbDecision=221500 #constraints=25514 933.83/934.17 c nbDecision=222000 #constraints=25554 936.74/937.06 c nbDecision=222500 #constraints=25600 939.54/939.88 c nbDecision=223000 #constraints=25628 942.84/943.13 c nbDecision=223500 #constraints=25664 946.14/946.44 c nbDecision=224000 #constraints=25706 949.04/949.37 c nbDecision=224500 #constraints=25737 952.43/952.78 c nbDecision=225000 #constraints=25784 955.13/955.48 c nbDecision=225500 #constraints=25800 958.53/958.85 c nbDecision=226000 #constraints=25844 961.33/961.66 c nbDecision=226500 #constraints=25869 964.33/964.65 c nbDecision=227000 #constraints=25904 967.13/967.44 c nbDecision=227500 #constraints=25937 970.23/970.57 c nbDecision=228000 #constraints=25965 973.02/973.36 c nbDecision=228500 #constraints=25976 975.82/976.17 c nbDecision=229000 #constraints=26007 978.63/978.95 c nbDecision=229500 #constraints=26020 981.42/981.70 c nbDecision=230000 #constraints=26039 983.82/984.13 c nbDecision=230500 #constraints=26076 986.42/986.76 c nbDecision=231000 #constraints=26106 988.92/989.25 c nbDecision=231500 #constraints=26168 991.42/991.78 c nbDecision=232000 #constraints=26250 993.92/994.25 c nbDecision=232500 #constraints=26316 996.92/997.21 c nbDecision=233000 #constraints=26347 999.62/999.95 c nbDecision=233500 #constraints=26369 1002.32/1002.64 c nbDecision=234000 #constraints=26402 1005.92/1006.20 c nbDecision=234500 #constraints=26449 1008.52/1008.87 c nbDecision=235000 #constraints=26475 1011.82/1012.18 c nbDecision=235500 #constraints=26524 1015.71/1016.06 c nbDecision=236000 #constraints=26585 1019.71/1020.02 c nbDecision=236500 #constraints=26662 1023.01/1023.30 c nbDecision=237000 #constraints=26698 1025.91/1026.24 c nbDecision=237500 #constraints=26736 1029.51/1029.80 c nbDecision=238000 #constraints=26800 1032.31/1032.69 c nbDecision=238500 #constraints=26833 1034.91/1035.23 c nbDecision=239000 #constraints=26849 1038.21/1038.52 c nbDecision=239500 #constraints=26895 1040.81/1041.13 c nbDecision=240000 #constraints=26919 1043.61/1043.91 c nbDecision=240500 #constraints=26939 1046.71/1047.10 c nbDecision=241000 #constraints=26963 1049.31/1049.66 c nbDecision=241500 #constraints=26975 1051.71/1052.02 c nbDecision=242000 #constraints=26991 1054.11/1054.46 c nbDecision=242500 #constraints=26995 1056.71/1057.04 c nbDecision=243000 #constraints=27007 1059.40/1059.74 c nbDecision=243500 #constraints=27047 1062.40/1062.79 c nbDecision=244000 #constraints=27145 1065.61/1065.90 c nbDecision=244500 #constraints=27212 1068.80/1069.11 c nbDecision=245000 #constraints=27282 1071.60/1071.95 c nbDecision=245500 #constraints=27319 1074.70/1075.08 c nbDecision=246000 #constraints=27441 1077.79/1078.12 c nbDecision=246500 #constraints=27496 1080.70/1081.03 c nbDecision=247000 #constraints=27567 1083.70/1084.02 c nbDecision=247500 #constraints=27640 1086.70/1087.02 c nbDecision=248000 #constraints=27700 1089.50/1089.86 c nbDecision=248500 #constraints=27753 1092.39/1092.75 c nbDecision=249000 #constraints=27816 1095.49/1095.89 c nbDecision=249500 #constraints=27901 1099.30/1099.64 c nbDecision=250000 #constraints=27996 1102.09/1102.47 c nbDecision=250500 #constraints=28069 1105.79/1106.13 c nbDecision=251000 #constraints=28104 1109.09/1109.49 c nbDecision=251500 #constraints=28146 1112.29/1112.60 c nbDecision=252000 #constraints=28213 1114.79/1115.19 c nbDecision=252500 #constraints=28300 1117.79/1118.14 c nbDecision=253000 #constraints=28328 1124.18/1124.57 c nbDecision=253500 #constraints=28455 1129.48/1129.89 c nbDecision=254000 #constraints=28517 1132.68/1133.00 c nbDecision=254500 #constraints=28542 1136.38/1136.77 c nbDecision=255000 #constraints=28606 1139.18/1139.56 c nbDecision=255500 #constraints=28698 1144.05/1144.45 c nbDecision=256000 #constraints=28874 1147.25/1147.69 c nbDecision=256500 #constraints=28933 1150.64/1151.08 c nbDecision=257000 #constraints=29007 1153.63/1154.00 c nbDecision=257500 #constraints=29139 1157.33/1157.72 c nbDecision=258000 #constraints=29247 1161.72/1162.12 c nbDecision=258500 #constraints=29374 1164.81/1165.22 c nbDecision=259000 #constraints=29431 1168.50/1168.92 c nbDecision=259500 #constraints=29557 1171.59/1172.08 c nbDecision=260000 #constraints=29623 1175.09/1175.59 c nbDecision=260500 #constraints=29708 1180.78/1181.30 c nbDecision=261000 #constraints=29804 1184.08/1184.50 c nbDecision=261500 #constraints=29869 1186.49/1186.92 c nbDecision=262000 #constraints=29939 1189.58/1190.07 c nbDecision=262500 #constraints=29992 1192.18/1192.67 c nbDecision=263000 #constraints=30095 1194.57/1195.05 c nbDecision=263500 #constraints=30167 1197.07/1197.53 c nbDecision=264000 #constraints=30244 1199.47/1199.98 c nbDecision=264500 #constraints=30315 1202.16/1202.66 c nbDecision=265000 #constraints=30406 1204.56/1205.07 c nbDecision=265500 #constraints=30452 1206.86/1207.35 c nbDecision=266000 #constraints=30483 1209.16/1209.63 c nbDecision=266500 #constraints=30525 1211.66/1212.16 c nbDecision=267000 #constraints=30593 1213.86/1214.32 c nbDecision=267500 #constraints=30607 1216.16/1216.60 c nbDecision=268000 #constraints=30651 1218.46/1218.96 c nbDecision=268500 #constraints=30692 1220.75/1221.20 c nbDecision=269000 #constraints=30724 1223.05/1223.52 c nbDecision=269500 #constraints=30762 1225.35/1225.90 c nbDecision=270000 #constraints=30807 1227.95/1228.40 c nbDecision=270500 #constraints=30874 1230.46/1230.99 c nbDecision=271000 #constraints=30941 1232.96/1233.41 c nbDecision=271500 #constraints=30985 1235.36/1235.82 c nbDecision=272000 #constraints=31029 1237.45/1237.96 c nbDecision=272500 #constraints=31037 1239.95/1240.40 c nbDecision=273000 #constraints=31076 1242.25/1242.78 c nbDecision=273500 #constraints=31117 1244.85/1245.33 c nbDecision=274000 #constraints=31188 1247.15/1247.63 c nbDecision=274500 #constraints=31217 1249.65/1250.11 c nbDecision=275000 #constraints=31277 1252.04/1252.54 c nbDecision=275500 #constraints=31324 1254.44/1254.93 c nbDecision=276000 #constraints=31364 1256.95/1257.49 c nbDecision=276500 #constraints=31426 1259.45/1259.94 c nbDecision=277000 #constraints=31467 1261.95/1262.43 c nbDecision=277500 #constraints=31531 1264.35/1264.89 c nbDecision=278000 #constraints=31589 1266.94/1267.40 c nbDecision=278500 #constraints=31657 1269.44/1269.93 c nbDecision=279000 #constraints=31695 1271.64/1272.19 c nbDecision=279500 #constraints=31717 1274.04/1274.52 c nbDecision=280000 #constraints=31747 1276.25/1276.77 c nbDecision=280500 #constraints=31770 1278.75/1279.22 c nbDecision=281000 #constraints=31812 1281.14/1281.63 c nbDecision=281500 #constraints=31855 1283.34/1283.88 c nbDecision=282000 #constraints=31872 1285.64/1286.17 c nbDecision=282500 #constraints=31896 1288.04/1288.58 c nbDecision=283000 #constraints=31930 1290.44/1290.94 c nbDecision=283500 #constraints=31961 1292.94/1293.41 c nbDecision=284000 #constraints=32013 1295.24/1295.76 c nbDecision=284500 #constraints=32039 1297.74/1298.28 c nbDecision=285000 #constraints=32084 1300.14/1300.64 c nbDecision=285500 #constraints=32120 1302.44/1302.95 c nbDecision=286000 #constraints=32157 1304.74/1305.23 c nbDecision=286500 #constraints=32177 1307.04/1307.56 c nbDecision=287000 #constraints=32207 1309.44/1309.93 c nbDecision=287500 #constraints=32239 1311.84/1312.36 c nbDecision=288000 #constraints=32282 1314.04/1314.57 c nbDecision=288500 #constraints=32302 1316.23/1316.73 c nbDecision=289000 #constraints=32314 1318.53/1319.09 c nbDecision=289500 #constraints=32339 1320.83/1321.32 c nbDecision=290000 #constraints=32351 1323.13/1323.62 c nbDecision=290500 #constraints=32369 1325.43/1325.98 c nbDecision=291000 #constraints=32412 1327.93/1328.48 c nbDecision=291500 #constraints=32453 1330.23/1330.72 c nbDecision=292000 #constraints=32469 1332.52/1333.04 c nbDecision=292500 #constraints=32498 1334.83/1335.32 c nbDecision=293000 #constraints=32516 1337.22/1337.74 c nbDecision=293500 #constraints=32558 1339.43/1339.94 c nbDecision=294000 #constraints=32569 1341.83/1342.39 c nbDecision=294500 #constraints=32608 1344.23/1344.70 c nbDecision=295000 #constraints=32640 1346.42/1346.98 c nbDecision=295500 #constraints=32659 1348.82/1349.39 c nbDecision=296000 #constraints=32700 1351.12/1351.68 c nbDecision=296500 #constraints=32727 1353.42/1353.98 c nbDecision=297000 #constraints=32745 1355.72/1356.26 c nbDecision=297500 #constraints=32761 1358.12/1358.61 c nbDecision=298000 #constraints=32782 1360.32/1360.88 c nbDecision=298500 #constraints=32801 1362.71/1363.20 c nbDecision=299000 #constraints=32828 1365.11/1365.64 c nbDecision=299500 #constraints=32865 1367.41/1367.99 c nbDecision=300000 #constraints=32902 1369.81/1370.35 c nbDecision=300500 #constraints=32926 1372.11/1372.66 c nbDecision=301000 #constraints=32945 1374.42/1374.98 c nbDecision=301500 #constraints=32982 1376.71/1377.28 c nbDecision=302000 #constraints=33009 1379.22/1379.75 c nbDecision=302500 #constraints=33061 1381.52/1382.03 c nbDecision=303000 #constraints=33077 1383.81/1384.31 c nbDecision=303500 #constraints=33097 1386.12/1386.65 c nbDecision=304000 #constraints=33118 1388.31/1388.84 c nbDecision=304500 #constraints=33131 1390.71/1391.27 c nbDecision=305000 #constraints=33154 1393.01/1393.53 c nbDecision=305500 #constraints=33167 1395.31/1395.85 c nbDecision=306000 #constraints=33193 1397.71/1398.20 c nbDecision=306500 #constraints=33213 1400.01/1400.56 c nbDecision=307000 #constraints=33239 1402.41/1402.92 c nbDecision=307500 #constraints=33263 1404.81/1405.39 c nbDecision=308000 #constraints=33293 1407.21/1407.72 c nbDecision=308500 #constraints=33306 1409.61/1410.20 c nbDecision=309000 #constraints=33334 1412.11/1412.64 c nbDecision=309500 #constraints=33374 1414.40/1414.91 c nbDecision=310000 #constraints=33399 1416.70/1417.26 c nbDecision=310500 #constraints=33416 1419.00/1419.59 c nbDecision=311000 #constraints=33434 1421.30/1421.84 c nbDecision=311500 #constraints=33444 1423.60/1424.12 c nbDecision=312000 #constraints=33461 1426.00/1426.51 c nbDecision=312500 #constraints=33493 1428.30/1428.90 c nbDecision=313000 #constraints=33514 1430.60/1431.12 c nbDecision=313500 #constraints=33522 1432.90/1433.44 c nbDecision=314000 #constraints=33539 1435.20/1435.77 c nbDecision=314500 #constraints=33564 1437.80/1438.31 c nbDecision=315000 #constraints=33612 1440.20/1440.74 c nbDecision=315500 #constraints=33643 1442.50/1443.06 c nbDecision=316000 #constraints=33661 1444.80/1445.36 c nbDecision=316500 #constraints=33684 1447.20/1447.73 c nbDecision=317000 #constraints=33711 1449.50/1450.05 c nbDecision=317500 #constraints=33732 1451.90/1452.42 c nbDecision=318000 #constraints=33758 1454.39/1454.95 c nbDecision=318500 #constraints=33789 1456.90/1457.46 c nbDecision=319000 #constraints=33816 1459.29/1459.86 c nbDecision=319500 #constraints=33833 1461.69/1462.23 c nbDecision=320000 #constraints=33863 1464.09/1464.65 c nbDecision=320500 #constraints=33892 1466.49/1467.06 c nbDecision=321000 #constraints=33910 1469.39/1469.93 c nbDecision=321500 #constraints=33963 1471.79/1472.35 c nbDecision=322000 #constraints=33987 1474.38/1474.96 c nbDecision=322500 #constraints=34028 1476.88/1477.45 c nbDecision=323000 #constraints=34050 1479.38/1479.95 c nbDecision=323500 #constraints=34087 1481.58/1482.20 c nbDecision=324000 #constraints=34098 1484.08/1484.64 c nbDecision=324500 #constraints=34114 1486.48/1487.06 c nbDecision=325000 #constraints=34134 1488.98/1489.58 c nbDecision=325500 #constraints=34166 1491.48/1492.05 c nbDecision=326000 #constraints=34191 1493.88/1494.45 c nbDecision=326500 #constraints=34216 1496.28/1496.85 c nbDecision=327000 #constraints=34243 1498.88/1499.40 c nbDecision=327500 #constraints=34274 1501.18/1501.76 c nbDecision=328000 #constraints=34297 1503.68/1504.20 c nbDecision=328500 #constraints=34327 1505.98/1506.59 c nbDecision=329000 #constraints=34345 1508.38/1508.98 c nbDecision=329500 #constraints=34360 1510.78/1511.35 c nbDecision=330000 #constraints=34389 1513.18/1513.78 c nbDecision=330500 #constraints=34412 1515.87/1516.41 c nbDecision=331000 #constraints=34444 1518.27/1518.89 c nbDecision=331500 #constraints=34467 1520.78/1521.36 c nbDecision=332000 #constraints=34487 1523.47/1524.01 c nbDecision=332500 #constraints=34522 1525.87/1526.44 c nbDecision=333000 #constraints=34542 1528.37/1528.91 c nbDecision=333500 #constraints=34567 1530.87/1531.49 c nbDecision=334000 #constraints=34596 1533.37/1533.93 c nbDecision=334500 #constraints=34625 1535.77/1536.32 c nbDecision=335000 #constraints=34641 1538.27/1538.83 c nbDecision=335500 #constraints=34673 1540.67/1541.23 c nbDecision=336000 #constraints=34692 1543.16/1543.74 c nbDecision=336500 #constraints=34718 1545.56/1546.16 c nbDecision=337000 #constraints=34733 1548.06/1548.70 c nbDecision=337500 #constraints=34760 1550.66/1551.23 c nbDecision=338000 #constraints=34796 1552.96/1553.52 c nbDecision=338500 #constraints=34805 1555.26/1555.80 c nbDecision=339000 #constraints=34818 1557.76/1558.30 c nbDecision=339500 #constraints=34849 1560.16/1560.70 c nbDecision=340000 #constraints=34873 1562.87/1563.45 c nbDecision=340500 #constraints=34924 1565.57/1566.17 c nbDecision=341000 #constraints=34968 1568.17/1568.72 c nbDecision=341500 #constraints=34989 1570.57/1571.19 c nbDecision=342000 #constraints=35015 1572.96/1573.56 c nbDecision=342500 #constraints=35031 1575.36/1575.92 c nbDecision=343000 #constraints=35062 1578.06/1578.61 c nbDecision=343500 #constraints=35112 1580.36/1580.95 c nbDecision=344000 #constraints=35127 1582.66/1583.28 c nbDecision=344500 #constraints=35150 1585.26/1585.88 c nbDecision=345000 #constraints=35179 1587.86/1588.48 c nbDecision=345500 #constraints=35209 1590.36/1590.91 c nbDecision=346000 #constraints=35224 1592.75/1593.33 c nbDecision=346500 #constraints=35242 1595.05/1595.67 c nbDecision=347000 #constraints=35259 1597.45/1598.10 c nbDecision=347500 #constraints=35273 1599.96/1600.54 c nbDecision=348000 #constraints=35294 1602.65/1603.25 c nbDecision=348500 #constraints=35345 1605.15/1605.74 c nbDecision=349000 #constraints=35362 1607.55/1608.18 c nbDecision=349500 #constraints=35378 1610.05/1610.66 c nbDecision=350000 #constraints=35395 1612.55/1613.11 c nbDecision=350500 #constraints=35415 1614.74/1615.37 c nbDecision=351000 #constraints=35426 1617.15/1617.72 c nbDecision=351500 #constraints=35437 1619.44/1620.08 c nbDecision=352000 #constraints=35450 1621.95/1622.56 c nbDecision=352500 #constraints=35465 1624.34/1624.96 c nbDecision=353000 #constraints=35484 1627.05/1627.68 c nbDecision=353500 #constraints=35537 1629.45/1630.09 c nbDecision=354000 #constraints=35549 1631.85/1632.44 c nbDecision=354500 #constraints=35563 1634.15/1634.76 c nbDecision=355000 #constraints=35577 1636.55/1637.15 c nbDecision=355500 #constraints=35601 1639.04/1639.69 c nbDecision=356000 #constraints=35628 1641.75/1642.32 c nbDecision=356500 #constraints=35662 1644.24/1644.87 c nbDecision=357000 #constraints=35685 1646.74/1647.32 c nbDecision=357500 #constraints=35702 1649.04/1649.69 c nbDecision=358000 #constraints=35714 1651.54/1652.18 c nbDecision=358500 #constraints=35728 1653.94/1654.52 c nbDecision=359000 #constraints=35738 1656.24/1656.89 c nbDecision=359500 #constraints=35749 1658.74/1659.36 c nbDecision=360000 #constraints=35776 1661.04/1661.68 c nbDecision=360500 #constraints=35786 1663.44/1664.03 c nbDecision=361000 #constraints=35800 1665.84/1666.41 c nbDecision=361500 #constraints=35810 1668.14/1668.77 c nbDecision=362000 #constraints=35828 1670.53/1671.11 c nbDecision=362500 #constraints=35835 1672.93/1673.56 c nbDecision=363000 #constraints=35857 1675.33/1675.93 c nbDecision=363500 #constraints=35870 1677.73/1678.31 c nbDecision=364000 #constraints=35883 1680.23/1680.81 c nbDecision=364500 #constraints=35914 1682.53/1683.15 c nbDecision=365000 #constraints=35927 1685.02/1685.62 c nbDecision=365500 #constraints=35957 1687.52/1688.13 c nbDecision=366000 #constraints=35975 1689.92/1690.54 c nbDecision=366500 #constraints=35995 1692.33/1692.98 c nbDecision=367000 #constraints=36016 1694.83/1695.46 c nbDecision=367500 #constraints=36044 1697.33/1697.93 c nbDecision=368000 #constraints=36069 1699.93/1700.51 c nbDecision=368500 #constraints=36105 1702.53/1703.16 c nbDecision=369000 #constraints=36141 1704.92/1705.59 c nbDecision=369500 #constraints=36156 1707.42/1708.03 c nbDecision=370000 #constraints=36183 1709.93/1710.59 c nbDecision=370500 #constraints=36209 1712.32/1712.94 c nbDecision=371000 #constraints=36223 1714.92/1715.55 c nbDecision=371500 #constraints=36251 1717.42/1718.09 c nbDecision=372000 #constraints=36266 1719.92/1720.59 c nbDecision=372500 #constraints=36288 1722.62/1723.24 c nbDecision=373000 #constraints=36317 1725.11/1725.79 c nbDecision=373500 #constraints=36352 1727.52/1728.11 c nbDecision=374000 #constraints=36363 1729.91/1730.58 c nbDecision=374500 #constraints=36384 1732.62/1733.27 c nbDecision=375000 #constraints=36420 1735.02/1735.65 c nbDecision=375500 #constraints=36432 1737.62/1738.22 c nbDecision=376000 #constraints=36458 1740.02/1740.64 c nbDecision=376500 #constraints=36477 1742.62/1743.24 c nbDecision=377000 #constraints=36499 1745.22/1745.82 c nbDecision=377500 #constraints=36524 1747.71/1748.34 c nbDecision=378000 #constraints=36548 1750.21/1750.84 c nbDecision=378500 #constraints=36562 1752.71/1753.32 c nbDecision=379000 #constraints=36577 1755.01/1755.68 c nbDecision=379500 #constraints=36591 1757.51/1758.11 c nbDecision=380000 #constraints=36611 1759.81/1760.47 c nbDecision=380500 #constraints=36630 1762.21/1762.85 c nbDecision=381000 #constraints=36644 1764.71/1765.32 c nbDecision=381500 #constraints=36665 1767.11/1767.77 c nbDecision=382000 #constraints=36683 1769.60/1770.20 c nbDecision=382500 #constraints=36697 1772.00/1772.68 c nbDecision=383000 #constraints=36715 1774.60/1775.25 c nbDecision=383500 #constraints=36744 1777.01/1777.69 c nbDecision=384000 #constraints=36769 1779.41/1780.06 c nbDecision=384500 #constraints=36780 1781.91/1782.58 c nbDecision=385000 #constraints=36797 1784.31/1784.93 c nbDecision=385500 #constraints=36805 1787.00/1787.62 c nbDecision=386000 #constraints=36842 1789.40/1790.02 c nbDecision=386500 #constraints=36857 1792.30/1792.92 c nbDecision=387000 #constraints=36879 1795.10/1795.74 c nbDecision=387500 #constraints=36900 1797.60/1798.30 c nbDecision=388000 #constraints=36921 1800.00/1800.61 Received signal 15 1800.00/1800.61 1800.00/1800.61 s UNKNOWN 1800.00/1800.61 1800.00/1800.61 c user time= 1799.46 s 1800.00/1800.61 c system time= 0.557915 s 1800.00/1800.61 c wall clock time=1800.61
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node4/watcher-356965-1176849720 -o ROOT/results/node4/solver-356965-1176849720 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356965-1176849720/instance-356965-1176849720.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.97 2/77 25978 /proc/meminfo: memFree=1854224/2055920 swapFree=4153860/4192956 [pid=25978] ppid=25976 vsize=1468 CPUtime=0 /proc/25978/stat : 25978 (oree) R 25976 25978 25635 0 -1 4194304 179 0 0 0 0 0 0 0 18 0 1 0 161009824 1503232 161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25978/statm: 367 161 126 317 0 46 0 [startup+0.0686969 s] /proc/loadavg: 0.91 0.95 0.97 2/77 25978 /proc/meminfo: memFree=1854224/2055920 swapFree=4153860/4192956 [pid=25978] ppid=25976 vsize=2816 CPUtime=0.06 /proc/25978/stat : 25978 (oree) R 25976 25978 25635 0 -1 4194304 487 0 0 0 6 0 0 0 18 0 1 0 161009824 2883584 469 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25978/statm: 704 469 131 317 0 383 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 2816 [startup+0.102699 s] /proc/loadavg: 0.91 0.95 0.97 2/77 25978 /proc/meminfo: memFree=1854224/2055920 swapFree=4153860/4192956 [pid=25978] ppid=25976 vsize=3476 CPUtime=0.09 /proc/25978/stat : 25978 (oree) R 25976 25978 25635 0 -1 4194304 655 0 0 0 9 0 0 0 18 0 1 0 161009824 3559424 637 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25978/statm: 869 637 131 317 0 548 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3476 [startup+0.301719 s] /proc/loadavg: 0.91 0.95 0.97 2/77 25978 /proc/meminfo: memFree=1854224/2055920 swapFree=4153860/4192956 [pid=25978] ppid=25976 vsize=7500 CPUtime=0.29 /proc/25978/stat : 25978 (oree) R 25976 25978 25635 0 -1 4194304 1582 0 0 0 29 0 0 0 19 0 1 0 161009824 7680000 1564 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25978/statm: 1875 1564 131 317 0 1554 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7500 [startup+0.702757 s] /proc/loadavg: 0.91 0.95 0.97 2/77 25978 /proc/meminfo: memFree=1854224/2055920 swapFree=4153860/4192956 [pid=25978] ppid=25976 vsize=16964 CPUtime=0.69 /proc/25978/stat : 25978 (oree) R 25976 25978 25635 0 -1 4194304 3785 0 0 0 68 1 0 0 23 0 1 0 161009824 17371136 3767 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25978/statm: 4241 3767 131 317 0 3920 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 16964 [startup+1.50183 s] /proc/loadavg: 0.91 0.95 0.97 2/78 25979 /proc/meminfo: memFree=1826696/2055920 swapFree=4153860/4192956 [pid=25978] ppid=25976 vsize=31788 CPUtime=1.49 /proc/25978/stat : 25978 (oree) R 25976 25978 25635 0 -1 4194304 7419 0 0 0 147 2 0 0 25 0 1 0 161009824 32550912 7401 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25978/statm: 7947 7401 138 317 0 7626 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 31788 [startup+3.10199 s] /proc/loadavg: 0.91 0.95 0.97 2/78 25979 /proc/meminfo: memFree=1824968/2055920 swapFree=4153860/4192956 [pid=25978] ppid=25976 vsize=31916 CPUtime=3.09 /proc/25978/stat : 25978 (oree) R 25976 25978 25635 0 -1 4194304 7448 0 0 0 307 2 0 0 25 0 1 0 161009824 32681984 7430 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606691 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25978/statm: 7979 7430 139 317 0 7658 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 31916 [startup+6.30129 s] /proc/loadavg: 0.92 0.95 0.97 2/78 25979 /proc/meminfo: memFree=1824456/2055920 swapFree=4153860/4192956 [pid=25978] ppid=25976 vsize=33360 CPUtime=6.29 /proc/25978/stat : 25978 (oree) R 25976 25978 25635 0 -1 4194304 7829 0 0 0 626 3 0 0 25 0 1 0 161009824 34160640 7811 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25978/statm: 8340 7811 139 317 0 8019 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 33360 [startup+12.7019 s] /proc/loadavg: 0.93 0.95 0.97 2/78 25979 /proc/meminfo: memFree=1819592/2055920 swapFree=4153860/4192956 [pid=25978] ppid=25976 vsize=37188 CPUtime=12.69 /proc/25978/stat : 25978 (oree) R 25976 25978 25635 0 -1 4194304 8801 0 0 0 1266 3 0 0 25 0 1 0 161009824 38080512 8783 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606845 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25978/statm: 9297 8783 170 317 0 8976 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 37188 [startup+25.5011 s] /proc/loadavg: 0.94 0.96 0.97 2/78 25979 /proc/meminfo: memFree=1817096/2055920 swapFree=4153860/4192956 [pid=25978] ppid=25976 vsize=39680 CPUtime=25.48 /proc/25978/stat : 25978 (oree) R 25976 25978 25635 0 -1 4194304 9434 0 0 0 2544 4 0 0 25 0 1 0 161009824 40632320 9416 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385270 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25978/statm: 9920 9416 170 317 0 9599 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 39680 [startup+51.1016 s] /proc/loadavg: 0.96 0.96 0.97 2/78 25979 /proc/meminfo: memFree=1811784/2055920 swapFree=4153860/4192956 [pid=25978] ppid=25976 vsize=44968 CPUtime=51.07 /proc/25978/stat : 25978 (oree) R 25976 25978 25635 0 -1 4194304 10759 0 0 0 5102 5 0 0 25 0 1 0 161009824 46047232 10741 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25978/statm: 11242 10741 170 317 0 10921 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 44968 [startup+102.305 s] /proc/loadavg: 0.98 0.96 0.97 2/78 25979 /proc/meminfo: memFree=1802376/2055920 swapFree=4153860/4192956 [pid=25978] ppid=25976 vsize=54300 CPUtime=102.27 /proc/25978/stat : 25978 (oree) R 25976 25978 25635 0 -1 4194304 13090 0 0 0 10219 8 0 0 25 0 1 0 161009824 55603200 13072 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384521 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25978/statm: 13575 13072 170 317 0 13254 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 54300 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 25979 /proc/meminfo: memFree=1795080/2055920 swapFree=4153860/4192956 [pid=25978] ppid=25976 vsize=61592 CPUtime=162.25 /proc/25978/stat : 25978 (oree) R 25976 25978 25635 0 -1 4194304 14939 0 0 0 16215 10 0 0 25 0 1 0 161009824 63070208 14878 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384579 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25978/statm: 15398 14878 170 317 0 15077 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 61592 [startup+222.302 s] /proc/loadavg: 1.04 0.99 0.97 2/78 25979 /proc/meminfo: memFree=1785544/2055920 swapFree=4153860/4192956 [pid=25978] ppid=25976 vsize=71232 CPUtime=222.23 /proc/25978/stat : 25978 (oree) R 25976 25978 25635 0 -1 4194304 17307 0 0 0 22211 12 0 0 25 0 1 0 161009824 72941568 17246 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25978/statm: 17808 17246 170 317 0 17487 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 71232 [startup+282.302 s] /proc/loadavg: 1.01 0.99 0.97 2/78 25979 /proc/meminfo: memFree=1777480/2055920 swapFree=4153860/4192956 [pid=25978] ppid=25976 vsize=79476 CPUtime=282.22 /proc/25978/stat : 25978 (oree) R 25976 25978 25635 0 -1 4194304 19317 0 0 0 28208 14 0 0 25 0 1 0 161009824 81383424 19256 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606864 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25978/statm: 19869 19256 170 317 0 19548 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 79476 [startup+342.301 s] /proc/loadavg: 1.00 0.99 0.97 2/78 25979 /proc/meminfo: memFree=1772552/2055920 swapFree=4153860/4192956 [pid=25978] ppid=25976 vsize=84856 CPUtime=342.21 /proc/25978/stat : 25978 (oree) R 25976 25978 25635 0 -1 4194304 20699 0 0 0 34205 16 0 0 25 0 1 0 161009824 86892544 20553 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712518 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25978/statm: 21214 20553 170 317 0 20893 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 84856 [startup+402.301 s] /proc/loadavg: 1.00 0.99 0.97 2/78 25979 /proc/meminfo: memFree=1765448/2055920 swapFree=4153860/4192956 [pid=25978] ppid=25976 vsize=91648 CPUtime=402.18 /proc/25978/stat : 25978 (oree) R 25976 25978 25635 0 -1 4194304 22399 0 0 0 40200 18 0 0 25 0 1 0 161009824 93847552 22253 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25978/statm: 22912 22253 170 317 0 22591 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 91648 [startup+462.302 s] /proc/loadavg: 1.00 0.99 0.97 2/78 25979 /proc/meminfo: memFree=1752456/2055920 swapFree=4153860/4192956 [pid=25978] ppid=25976 vsize=104804 CPUtime=462.17 /proc/25978/stat : 25978 (oree) R 25976 25978 25635 0 -1 4194304 25595 0 0 0 46196 21 0 0 25 0 1 0 161009824 107319296 25449 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385188 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25978/statm: 26201 25449 170 317 0 25880 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 104804 [startup+522.302 s] /proc/loadavg: 1.00 0.99 0.97 2/78 25979 /proc/meminfo: memFree=1744264/2055920 swapFree=4153860/4192956 [pid=25978] ppid=25976 vsize=113092 CPUtime=522.14 /proc/25978/stat : 25978 (oree) R 25976 25978 25635 0 -1 4194304 27634 0 0 0 52191 23 0 0 25 0 1 0 161009824 115806208 27488 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25978/statm: 28273 27488 170 317 0 27952 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 113092 [startup+582.302 s] /proc/loadavg: 1.00 0.99 0.97 2/78 25979 /proc/meminfo: memFree=1738120/2055920 swapFree=4153860/4192956 [pid=25978] ppid=25976 vsize=119256 CPUtime=582.14 /proc/25978/stat : 25978 (oree) R 25976 25978 25635 0 -1 4194304 29116 0 0 0 58188 26 0 0 25 0 1 0 161009824 122118144 28970 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25978/statm: 29814 28970 170 317 0 29493 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 119256 [startup+642.302 s] /proc/loadavg: 1.00 0.99 0.97 2/78 25979 /proc/meminfo: memFree=1733320/2055920 swapFree=4153860/4192956 [pid=25978] ppid=25976 vsize=123956 CPUtime=642.12 /proc/25978/stat : 25978 (oree) R 25976 25978 25635 0 -1 4194304 30281 0 0 0 64185 27 0 0 25 0 1 0 161009824 126930944 30135 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25978/statm: 30989 30135 170 317 0 30668 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 123956 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 1.00 0.99 0.97 2/78 25979 /proc/meminfo: memFree=1718664/2055920 swapFree=4153860/4192956 [pid=25978] ppid=25976 vsize=139780 CPUtime=822.07 /proc/25978/stat : 25978 (oree) R 25976 25978 25635 0 -1 4194304 33910 0 0 0 82175 32 0 0 25 0 1 0 161009824 143134720 33764 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135194613 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25978/statm: 34945 33764 170 317 0 34624 0 Current children cumulated CPU time (s) 822.07 Current children cumulated vsize (KiB) 139780 [startup+882.302 s] /proc/loadavg: 1.00 0.99 0.97 2/78 25979 /proc/meminfo: memFree=1710024/2055920 swapFree=4153860/4192956 [pid=25978] ppid=25976 vsize=148640 CPUtime=882.05 /proc/25978/stat : 25978 (oree) R 25976 25978 25635 0 -1 4194304 36015 0 0 0 88171 34 0 0 25 0 1 0 161009824 152207360 35869 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25978/statm: 37160 35869 170 317 0 36839 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 148640 [startup+942.302 s] /proc/loadavg: 1.00 0.99 0.97 2/78 25979 /proc/meminfo: memFree=1704456/2055920 swapFree=4153860/4192956 [pid=25978] ppid=25976 vsize=154912 CPUtime=942.04 /proc/25978/stat : 25978 (oree) R 25976 25978 25635 0 -1 4194304 37554 0 0 0 94168 36 0 0 25 0 1 0 161009824 158629888 37238 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385274 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25978/statm: 38728 37238 170 317 0 38407 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 154912 [startup+1002.3 s] /proc/loadavg: 1.00 0.99 0.97 2/78 25979 /proc/meminfo: memFree=1700808/2055920 swapFree=4153860/4192956 [pid=25978] ppid=25976 vsize=158792 CPUtime=1002.02 /proc/25978/stat : 25978 (oree) R 25976 25978 25635 0 -1 4194304 38460 0 0 0 100165 37 0 0 25 0 1 0 161009824 162603008 38144 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25978/statm: 39698 38144 170 317 0 39377 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 158792 [startup+1062.3 s] /proc/loadavg: 1.00 0.99 0.97 2/78 25979 /proc/meminfo: memFree=1697416/2055920 swapFree=4153860/4192956 [pid=25978] ppid=25976 vsize=162012 CPUtime=1062 /proc/25978/stat : 25978 (oree) R 25976 25978 25635 0 -1 4194304 39297 0 0 0 106162 38 0 0 25 0 1 0 161009824 165900288 38981 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25978/statm: 40503 38981 170 317 0 40182 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 162012 [startup+1122.3 s] /proc/loadavg: 1.00 0.99 0.97 2/78 25979 /proc/meminfo: memFree=1691208/2055920 swapFree=4153860/4192956 [pid=25978] ppid=25976 vsize=168436 CPUtime=1121.98 /proc/25978/stat : 25978 (oree) R 25976 25978 25635 0 -1 4194304 40829 0 0 0 112158 40 0 0 25 0 1 0 161009824 172478464 40513 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25978/statm: 42109 40513 170 317 0 41788 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 168436 [startup+1182.3 s] /proc/loadavg: 1.00 0.99 0.97 2/84 26149 /proc/meminfo: memFree=1683224/2055920 swapFree=4153860/4192956 [pid=25978] ppid=25976 vsize=175140 CPUtime=1181.88 /proc/25978/stat : 25978 (oree) R 25976 25978 25635 0 -1 4194304 42452 0 0 0 118146 42 0 0 25 0 1 0 161009824 179343360 42136 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25978/statm: 43785 42136 170 317 0 43464 0 Current children cumulated CPU time (s) 1181.88 Current children cumulated vsize (KiB) 175140 [startup+1242.3 s] /proc/loadavg: 1.00 0.99 0.97 2/78 26177 /proc/meminfo: memFree=1677896/2055920 swapFree=4153860/4192956 [pid=25978] ppid=25976 vsize=181892 CPUtime=1241.85 /proc/25978/stat : 25978 (oree) R 25976 25978 25635 0 -1 4194304 44028 0 0 0 124141 44 0 0 25 0 1 0 161009824 186257408 43712 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25978/statm: 45473 43712 170 317 0 45152 0 Current children cumulated CPU time (s) 1241.85 Current children cumulated vsize (KiB) 181892 [startup+1302.3 s] /proc/loadavg: 1.00 0.99 0.97 2/78 26177 /proc/meminfo: memFree=1672712/2055920 swapFree=4153860/4192956 [pid=25978] ppid=25976 vsize=187052 CPUtime=1301.84 /proc/25978/stat : 25978 (oree) R 25976 25978 25635 0 -1 4194304 45305 0 0 0 130138 46 0 0 25 0 1 0 161009824 191541248 44989 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135194613 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25978/statm: 46763 44989 170 317 0 46442 0 Current children cumulated CPU time (s) 1301.84 Current children cumulated vsize (KiB) 187052 [startup+1362.3 s] /proc/loadavg: 1.00 0.99 0.97 2/78 26177 /proc/meminfo: memFree=1669448/2055920 swapFree=4153860/4192956 [pid=25978] ppid=25976 vsize=190368 CPUtime=1361.82 /proc/25978/stat : 25978 (oree) R 25976 25978 25635 0 -1 4194304 46158 0 0 0 136135 47 0 0 25 0 1 0 161009824 194936832 45809 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25978/statm: 47592 45809 170 317 0 47271 0 Current children cumulated CPU time (s) 1361.82 Current children cumulated vsize (KiB) 190368 [startup+1422.31 s] /proc/loadavg: 1.00 0.99 0.97 2/78 26177 /proc/meminfo: memFree=1666632/2055920 swapFree=4153860/4192956 [pid=25978] ppid=25976 vsize=193332 CPUtime=1421.8 /proc/25978/stat : 25978 (oree) R 25976 25978 25635 0 -1 4194304 46845 0 0 0 142132 48 0 0 25 0 1 0 161009824 197971968 46496 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606670 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25978/statm: 48333 46496 170 317 0 48012 0 Current children cumulated CPU time (s) 1421.8 Current children cumulated vsize (KiB) 193332 [startup+1482.3 s] /proc/loadavg: 1.00 0.99 0.97 2/78 26177 /proc/meminfo: memFree=1663112/2055920 swapFree=4153860/4192956 [pid=25978] ppid=25976 vsize=197272 CPUtime=1481.78 /proc/25978/stat : 25978 (oree) R 25976 25978 25635 0 -1 4194304 47724 0 0 0 148129 49 0 0 25 0 1 0 161009824 202006528 47375 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385340 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25978/statm: 49318 47375 170 317 0 48997 0 Current children cumulated CPU time (s) 1481.78 Current children cumulated vsize (KiB) 197272 [startup+1542.3 s] /proc/loadavg: 1.00 0.99 0.97 2/78 26177 /proc/meminfo: memFree=1660296/2055920 swapFree=4153860/4192956 [pid=25978] ppid=25976 vsize=200320 CPUtime=1541.77 /proc/25978/stat : 25978 (oree) R 25976 25978 25635 0 -1 4194304 48411 0 0 0 154127 50 0 0 25 0 1 0 161009824 205127680 48062 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385189 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25978/statm: 50080 48062 170 317 0 49759 0 Current children cumulated CPU time (s) 1541.77 Current children cumulated vsize (KiB) 200320 [startup+1602.3 s] /proc/loadavg: 1.00 0.99 0.97 2/78 26177 /proc/meminfo: memFree=1657416/2055920 swapFree=4153860/4192956 [pid=25978] ppid=25976 vsize=202956 CPUtime=1601.75 /proc/25978/stat : 25978 (oree) R 25976 25978 25635 0 -1 4194304 49141 0 0 0 160124 51 0 0 25 0 1 0 161009824 207826944 48792 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25978/statm: 50739 48792 170 317 0 50418 0 Current children cumulated CPU time (s) 1601.75 Current children cumulated vsize (KiB) 202956 [startup+1662.3 s] /proc/loadavg: 1.00 0.99 0.97 2/78 26177 /proc/meminfo: memFree=1655048/2055920 swapFree=4153860/4192956 [pid=25978] ppid=25976 vsize=205048 CPUtime=1661.74 /proc/25978/stat : 25978 (oree) R 25976 25978 25635 0 -1 4194304 49702 0 0 0 166122 52 0 0 25 0 1 0 161009824 209969152 49353 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385221 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25978/statm: 51262 49353 170 317 0 50941 0 Current children cumulated CPU time (s) 1661.74 Current children cumulated vsize (KiB) 205048 [startup+1722.3 s] /proc/loadavg: 1.00 0.99 0.97 2/78 26177 /proc/meminfo: memFree=1652808/2055920 swapFree=4153860/4192956 [pid=25978] ppid=25976 vsize=207216 CPUtime=1721.72 /proc/25978/stat : 25978 (oree) R 25976 25978 25635 0 -1 4194304 50256 0 0 0 172119 53 0 0 25 0 1 0 161009824 212189184 49907 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25978/statm: 51804 49907 170 317 0 51483 0 Current children cumulated CPU time (s) 1721.72 Current children cumulated vsize (KiB) 207216 [startup+1782.3 s] /proc/loadavg: 1.00 0.99 0.97 2/78 26177 /proc/meminfo: memFree=1650376/2055920 swapFree=4153860/4192956 [pid=25978] ppid=25976 vsize=209508 CPUtime=1781.71 /proc/25978/stat : 25978 (oree) R 25976 25978 25635 0 -1 4194304 50835 0 0 0 178116 55 0 0 25 0 1 0 161009824 214536192 50486 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25978/statm: 52377 50486 170 317 0 52056 0 Current children cumulated CPU time (s) 1781.71 Current children cumulated vsize (KiB) 209508 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 0.99 0.97 2/78 26177 /proc/meminfo: memFree=1648520/2055920 swapFree=4153860/4192956 [pid=25978] ppid=25976 vsize=212304 CPUtime=1800 /proc/25978/stat : 25978 (oree) R 25976 25978 25635 0 -1 4194304 51295 0 0 0 179945 55 0 0 25 0 1 0 161009824 217399296 50946 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606848 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25978/statm: 53076 50946 170 317 0 52755 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 212304 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.67 CPU time (s): 1800.07 CPU user time (s): 1799.48 CPU system time (s): 0.592909 CPU usage (%): 99.967 Max. virtual memory (cumulated for all children) (KiB): 212304 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.48 system time used= 0.592909 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 51311 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= 16107 runsolver used 2.26865 second user time and 4.30434 second system time The end
Begin job on node4 on Tue Apr 17 22:42:01 UTC 2007 IDJOB= 356965 IDBENCH= 1698 IDSOLVER= 172 FILE ID= node4/356965-1176849720 PBS_JOBID= 4590189 Free space on /tmp= 66494 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-pilot.we.opb COMMAND LINE= oree /tmp/evaluation/356965-1176849720/instance-356965-1176849720.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node4/watcher-356965-1176849720 -o ROOT/results/node4/solver-356965-1176849720 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356965-1176849720/instance-356965-1176849720.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 6d89097601cc17df3da06374ded173c4 RANDOM SEED= 552198464 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node4.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.218 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 : 5931.00 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.218 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: 1854760 kB Buffers: 10608 kB Cached: 116560 kB SwapCached: 2236 kB Active: 43824 kB Inactive: 106724 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1854760 kB SwapTotal: 4192956 kB SwapFree: 4153860 kB Dirty: 3856 kB Writeback: 0 kB Mapped: 31024 kB Slab: 36076 kB Committed_AS: 5222872 kB PageTables: 1820 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= 66494 MiB End job on node4 on Tue Apr 17 23:12:04 UTC 2007