Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.15 | 1800.75 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib/normalized-reduced-mps-v2-20-10-set1al.opb |
MD5SUM | 8707b70244b4b6d1505bb830d4ab8529 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 42048 |
Best CPU time to get the best result obtained on this benchmark | 1802.02 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 42048 |
Optimality of the best value was proved | NO |
Number of variables | 14400 |
Total number of constraints | 492 |
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 | 492 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 630 |
Number of terms in the objective function | 7200 |
Biggest coefficient in the objective function | 3484 |
Number of bits for the biggest coefficient in the objective function | 12 |
Sum of the numbers in the objective function | 530256 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262141 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 530256 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c This is oree version 0.1.2 alpha 0.00/0.00 c (c) roussel@cril.univ-artois.fr 0.00/0.00 c using __gmp_expr<__gmpz_value, __gmpz_value> 0.00/0.00 c parsing... 0.09/0.12 c ...done 0.09/0.12 c #vars=14400 #constraints=733 hasObjective=yes 0.09/0.17 c res. mode=mod 0.09/0.17 c VSIDS like heuristics 0.09/0.17 c complete search running 0.19/0.24 c restart after 401 decisions 0.19/0.25 c nbDecision=500 #constraints=733 0.29/0.30 c restart after 801 decisions 0.29/0.33 c nbDecision=1000 #constraints=733 0.29/0.39 c nbDecision=1500 #constraints=733 0.39/0.41 c restart after 1601 decisions 0.39/0.47 c nbDecision=2000 #constraints=733 0.49/0.54 c nbDecision=2500 #constraints=733 0.59/0.61 c nbDecision=3000 #constraints=733 0.59/0.64 c restart after 3201 decisions 0.59/0.68 c nbDecision=3500 #constraints=733 0.69/0.76 c nbDecision=4000 #constraints=733 0.79/0.83 c nbDecision=4500 #constraints=733 0.79/0.89 c nbDecision=5000 #constraints=733 0.89/0.96 c nbDecision=5500 #constraints=733 0.99/1.02 c nbDecision=6000 #constraints=733 0.99/1.06 c restart after 6401 decisions 0.99/1.08 c nbDecision=6500 #constraints=733 1.09/1.16 c nbDecision=7000 #constraints=733 1.19/1.23 c nbDecision=7500 #constraints=733 1.19/1.30 c nbDecision=8000 #constraints=733 1.29/1.36 c nbDecision=8500 #constraints=733 1.39/1.42 c nbDecision=9000 #constraints=733 1.39/1.48 c nbDecision=9500 #constraints=733 1.49/1.54 c nbDecision=10000 #constraints=733 1.49/1.59 c nbDecision=10500 #constraints=733 1.59/1.64 c nbDecision=11000 #constraints=733 2.19/2.26 c nbDecision=11500 #constraints=1023 2.89/2.92 c nbDecision=12000 #constraints=1292 6.29/6.34 c nbDecision=12500 #constraints=1664 6.69/6.75 c restart after 12801 decisions 6.79/6.80 c nbDecision=13000 #constraints=1876 6.79/6.88 c nbDecision=13500 #constraints=1876 6.89/6.95 c nbDecision=14000 #constraints=1876 6.99/7.02 c nbDecision=14500 #constraints=1876 6.99/7.09 c nbDecision=15000 #constraints=1876 7.09/7.15 c nbDecision=15500 #constraints=1876 7.19/7.21 c nbDecision=16000 #constraints=1876 7.19/7.27 c nbDecision=16500 #constraints=1876 7.29/7.32 c nbDecision=17000 #constraints=1876 7.29/7.38 c nbDecision=17500 #constraints=1876 7.78/7.85 c nbDecision=18000 #constraints=2124 8.19/8.27 c nbDecision=18500 #constraints=2296 8.79/8.87 c nbDecision=19000 #constraints=2551 9.38/9.44 c nbDecision=19500 #constraints=2753 9.79/9.85 c nbDecision=20000 #constraints=2878 10.58/10.62 c nbDecision=20500 #constraints=3126 11.29/11.32 c nbDecision=21000 #constraints=3323 11.79/11.81 c nbDecision=21500 #constraints=3440 12.58/12.67 c nbDecision=22000 #constraints=3671 13.38/13.50 c nbDecision=22500 #constraints=3874 14.39/14.49 c nbDecision=23000 #constraints=4113 15.39/15.45 c nbDecision=23500 #constraints=4321 16.49/16.51 c nbDecision=24000 #constraints=4539 17.68/17.75 c nbDecision=24500 #constraints=4792 18.79/18.87 c nbDecision=25000 #constraints=4994 20.08/20.19 c nbDecision=25500 #constraints=5233 20.48/20.53 c restart after 25601 decisions 20.78/20.81 c nbDecision=26000 #constraints=5291 20.78/20.88 c nbDecision=26500 #constraints=5291 20.88/20.95 c nbDecision=27000 #constraints=5291 20.97/21.05 c nbDecision=27500 #constraints=5291 21.07/21.12 c nbDecision=28000 #constraints=5291 21.17/21.21 c nbDecision=28500 #constraints=5291 21.17/21.27 c nbDecision=29000 #constraints=5291 21.27/21.33 c nbDecision=29500 #constraints=5291 21.27/21.38 c nbDecision=30000 #constraints=5291 22.07/22.11 c nbDecision=30500 #constraints=5406 23.47/23.55 c nbDecision=31000 #constraints=5729 24.57/24.61 c nbDecision=31500 #constraints=5970 24.77/24.87 c nbDecision=32000 #constraints=5987 24.97/25.06 c nbDecision=32500 #constraints=5999 25.17/25.25 c nbDecision=33000 #constraints=6011 25.37/25.46 c nbDecision=33500 #constraints=6023 25.57/25.66 c nbDecision=34000 #constraints=6036 25.77/25.88 c nbDecision=34500 #constraints=6050 25.97/26.08 c nbDecision=35000 #constraints=6063 26.17/26.29 c nbDecision=35500 #constraints=6076 26.37/26.49 c nbDecision=36000 #constraints=6088 26.66/26.70 c nbDecision=36500 #constraints=6101 26.86/26.91 c nbDecision=37000 #constraints=6114 27.06/27.12 c nbDecision=37500 #constraints=6128 27.26/27.32 c nbDecision=38000 #constraints=6139 27.46/27.52 c nbDecision=38500 #constraints=6152 27.66/27.73 c nbDecision=39000 #constraints=6165 27.86/27.93 c nbDecision=39500 #constraints=6177 28.06/28.13 c nbDecision=40000 #constraints=6189 28.26/28.34 c nbDecision=40500 #constraints=6202 28.46/28.55 c nbDecision=41000 #constraints=6216 28.66/28.76 c nbDecision=41500 #constraints=6228 28.86/28.96 c nbDecision=42000 #constraints=6240 29.06/29.15 c nbDecision=42500 #constraints=6252 29.26/29.37 c nbDecision=43000 #constraints=6266 29.46/29.58 c nbDecision=43500 #constraints=6278 29.66/29.78 c nbDecision=44000 #constraints=6291 29.86/29.99 c nbDecision=44500 #constraints=6303 30.16/30.20 c nbDecision=45000 #constraints=6317 30.36/30.40 c nbDecision=45500 #constraints=6329 30.56/30.60 c nbDecision=46000 #constraints=6341 30.76/30.82 c nbDecision=46500 #constraints=6355 30.96/31.02 c nbDecision=47000 #constraints=6366 31.16/31.21 c nbDecision=47500 #constraints=6378 31.36/31.43 c nbDecision=48000 #constraints=6391 31.56/31.64 c nbDecision=48500 #constraints=6404 31.76/31.85 c nbDecision=49000 #constraints=6417 31.96/32.05 c nbDecision=49500 #constraints=6429 32.16/32.25 c nbDecision=50000 #constraints=6441 32.35/32.47 c nbDecision=50500 #constraints=6454 32.55/32.68 c nbDecision=51000 #constraints=6467 32.65/32.77 c restart after 51201 decisions 32.96/33.05 c nbDecision=51500 #constraints=6473 33.15/33.20 c nbDecision=52000 #constraints=6473 33.15/33.27 c nbDecision=52500 #constraints=6473 33.35/33.40 c nbDecision=53000 #constraints=6473 33.35/33.46 c nbDecision=53500 #constraints=6473 33.45/33.57 c nbDecision=54000 #constraints=6473 33.55/33.63 c nbDecision=54500 #constraints=6473 33.55/33.69 c nbDecision=55000 #constraints=6473 33.65/33.74 c nbDecision=55500 #constraints=6473 34.06/34.17 c nbDecision=56000 #constraints=6540 36.64/36.79 c nbDecision=56500 #constraints=7011 39.63/39.78 c nbDecision=57000 #constraints=7432 40.93/41.02 c nbDecision=57500 #constraints=7536 41.63/41.74 c nbDecision=58000 #constraints=7564 42.33/42.43 c nbDecision=58500 #constraints=7586 43.13/43.26 c nbDecision=59000 #constraints=7630 44.32/44.48 c nbDecision=59500 #constraints=7841 44.93/45.10 c nbDecision=60000 #constraints=7861 45.62/45.77 c nbDecision=60500 #constraints=7879 46.32/46.47 c nbDecision=61000 #constraints=7905 47.51/47.60 c nbDecision=61500 #constraints=8044 48.11/48.29 c nbDecision=62000 #constraints=8063 48.81/48.96 c nbDecision=62500 #constraints=8081 49.41/49.57 c nbDecision=63000 #constraints=8097 50.11/50.20 c nbDecision=63500 #constraints=8115 50.70/50.87 c nbDecision=64000 #constraints=8134 51.40/51.53 c nbDecision=64500 #constraints=8151 52.00/52.18 c nbDecision=65000 #constraints=8170 52.61/52.80 c nbDecision=65500 #constraints=8187 53.40/53.50 c nbDecision=66000 #constraints=8208 54.00/54.12 c nbDecision=66500 #constraints=8225 54.60/54.78 c nbDecision=67000 #constraints=8243 55.30/55.41 c nbDecision=67500 #constraints=8260 56.00/56.11 c nbDecision=68000 #constraints=8281 56.60/56.77 c nbDecision=68500 #constraints=8299 57.31/57.43 c nbDecision=69000 #constraints=8317 57.91/58.08 c nbDecision=69500 #constraints=8361 58.70/58.82 c nbDecision=70000 #constraints=8428 59.40/59.52 c nbDecision=70500 #constraints=8493 60.20/60.32 c nbDecision=71000 #constraints=8556 60.90/61.05 c nbDecision=71500 #constraints=8622 63.10/63.25 c nbDecision=72000 #constraints=8944 65.00/65.18 c nbDecision=72500 #constraints=9144 67.30/67.40 c nbDecision=73000 #constraints=9385 69.60/69.76 c nbDecision=73500 #constraints=9632 71.59/71.74 c nbDecision=74000 #constraints=9824 74.48/74.69 c nbDecision=74500 #constraints=10020 76.68/76.87 c nbDecision=75000 #constraints=10222 79.08/79.23 c nbDecision=75500 #constraints=10450 81.68/81.82 c nbDecision=76000 #constraints=10671 84.58/84.72 c nbDecision=76500 #constraints=10925 86.87/87.07 c nbDecision=77000 #constraints=11121 89.78/89.96 c nbDecision=77500 #constraints=11359 92.37/92.50 c nbDecision=78000 #constraints=11566 95.48/95.60 c nbDecision=78500 #constraints=11812 98.17/98.30 c nbDecision=79000 #constraints=12020 101.48/101.62 c nbDecision=79500 #constraints=12274 104.58/104.74 c nbDecision=80000 #constraints=12502 107.47/107.68 c nbDecision=80500 #constraints=12704 110.78/110.91 c nbDecision=81000 #constraints=12931 113.57/113.79 c nbDecision=81500 #constraints=13124 117.48/117.61 c nbDecision=82000 #constraints=13390 120.87/121.06 c nbDecision=82500 #constraints=13622 124.27/124.42 c nbDecision=83000 #constraints=13829 128.07/128.26 c nbDecision=83500 #constraints=14079 131.37/131.51 c nbDecision=84000 #constraints=14274 135.26/135.43 c nbDecision=84500 #constraints=14525 139.07/139.29 c nbDecision=85000 #constraints=14760 142.46/142.65 c nbDecision=85500 #constraints=14951 145.76/145.95 c nbDecision=86000 #constraints=15131 149.56/149.78 c nbDecision=86500 #constraints=15359 153.16/153.31 c nbDecision=87000 #constraints=15548 157.36/157.59 c nbDecision=87500 #constraints=15791 161.47/161.66 c nbDecision=88000 #constraints=16003 165.76/165.98 c nbDecision=88500 #constraints=16238 170.36/170.55 c nbDecision=89000 #constraints=16485 174.76/174.98 c nbDecision=89500 #constraints=16714 178.85/179.00 c nbDecision=90000 #constraints=16915 183.85/184.06 c nbDecision=90500 #constraints=17171 188.35/188.54 c nbDecision=91000 #constraints=17383 192.65/192.86 c nbDecision=91500 #constraints=17600 197.55/197.76 c nbDecision=92000 #constraints=17845 202.45/202.63 c nbDecision=92500 #constraints=18067 207.65/207.83 c nbDecision=93000 #constraints=18313 212.45/212.61 c nbDecision=93500 #constraints=18538 216.95/217.18 c nbDecision=94000 #constraints=18738 222.54/222.73 c nbDecision=94500 #constraints=19000 228.04/228.26 c nbDecision=95000 #constraints=19216 233.34/233.58 c nbDecision=95500 #constraints=19465 238.94/239.15 c nbDecision=96000 #constraints=19706 243.64/243.89 c nbDecision=96500 #constraints=19898 245.54/245.77 c nbDecision=97000 #constraints=19964 247.64/247.89 c nbDecision=97500 #constraints=20040 249.93/250.17 c nbDecision=98000 #constraints=20122 251.93/252.18 c nbDecision=98500 #constraints=20194 254.13/254.36 c nbDecision=99000 #constraints=20273 256.14/256.37 c nbDecision=99500 #constraints=20342 258.34/258.56 c nbDecision=100000 #constraints=20417 260.73/260.95 c nbDecision=100500 #constraints=20502 262.94/263.15 c nbDecision=101000 #constraints=20577 265.03/265.28 c nbDecision=101500 #constraints=20650 269.83/270.01 c nbDecision=102000 #constraints=20800 271.63/271.82 c restart after 102401 decisions 272.53/272.74 c nbDecision=102500 #constraints=20862 272.93/273.14 c nbDecision=103000 #constraints=20862 273.03/273.21 c nbDecision=103500 #constraints=20862 273.23/273.40 c nbDecision=104000 #constraints=20862 273.33/273.57 c nbDecision=104500 #constraints=20862 273.63/273.81 c nbDecision=105000 #constraints=20862 273.63/273.87 c nbDecision=105500 #constraints=20862 273.73/273.94 c nbDecision=106000 #constraints=20862 273.83/274.03 c nbDecision=106500 #constraints=20862 273.93/274.13 c nbDecision=107000 #constraints=20862 276.53/276.76 c nbDecision=107500 #constraints=20989 279.53/279.80 c nbDecision=108000 #constraints=21170 281.43/281.67 c nbDecision=108500 #constraints=21242 284.12/284.33 c nbDecision=109000 #constraints=21376 286.13/286.30 c nbDecision=109500 #constraints=21463 288.93/289.17 c nbDecision=110000 #constraints=21629 291.62/291.85 c nbDecision=110500 #constraints=21760 294.13/294.33 c nbDecision=111000 #constraints=21884 296.92/297.18 c nbDecision=111500 #constraints=22032 299.72/300.00 c nbDecision=112000 #constraints=22172 302.72/302.94 c nbDecision=112500 #constraints=22305 305.21/305.44 c nbDecision=113000 #constraints=22422 308.22/308.40 c nbDecision=113500 #constraints=22578 310.82/311.09 c nbDecision=114000 #constraints=22690 313.51/313.78 c nbDecision=114500 #constraints=22808 316.72/316.94 c nbDecision=115000 #constraints=22967 320.12/320.38 c nbDecision=115500 #constraints=23137 322.62/322.87 c nbDecision=116000 #constraints=23244 324.92/325.19 c nbDecision=116500 #constraints=23347 328.51/328.76 c nbDecision=117000 #constraints=23499 332.22/332.41 c nbDecision=117500 #constraints=23648 335.32/335.57 c nbDecision=118000 #constraints=23786 338.21/338.40 c nbDecision=118500 #constraints=23908 341.11/341.32 c nbDecision=119000 #constraints=24028 343.51/343.75 c nbDecision=119500 #constraints=24133 347.00/347.23 c nbDecision=120000 #constraints=24298 350.41/350.64 c nbDecision=120500 #constraints=24453 356.21/356.49 c nbDecision=121000 #constraints=24650 369.50/369.73 c nbDecision=121500 #constraints=25092 382.90/383.18 c nbDecision=122000 #constraints=25520 388.40/388.64 c nbDecision=122500 #constraints=25743 391.70/391.98 c nbDecision=123000 #constraints=25887 393.60/393.86 c nbDecision=123500 #constraints=25944 401.99/402.26 c nbDecision=124000 #constraints=26362 406.99/407.28 c nbDecision=124500 #constraints=26565 410.69/410.93 c nbDecision=125000 #constraints=26703 413.69/413.94 c nbDecision=125500 #constraints=26826 417.79/418.08 c nbDecision=126000 #constraints=26998 420.39/420.62 c nbDecision=126500 #constraints=27088 424.78/425.04 c nbDecision=127000 #constraints=27273 427.78/428.06 c nbDecision=127500 #constraints=27386 431.38/431.65 c nbDecision=128000 #constraints=27523 433.98/434.27 c nbDecision=128500 #constraints=27615 438.08/438.31 c nbDecision=129000 #constraints=27776 439.28/439.59 c nbDecision=129500 #constraints=27807 444.59/444.89 c nbDecision=130000 #constraints=28033 447.49/447.79 c nbDecision=130500 #constraints=28136 450.58/450.89 c nbDecision=131000 #constraints=28248 453.78/454.06 c nbDecision=131500 #constraints=28368 458.08/458.38 c nbDecision=132000 #constraints=28523 462.17/462.42 c nbDecision=132500 #constraints=28671 464.87/465.11 c nbDecision=133000 #constraints=28758 469.28/469.59 c nbDecision=133500 #constraints=28936 481.87/482.10 c nbDecision=134000 #constraints=29341 496.67/496.93 c nbDecision=134500 #constraints=29779 501.67/501.94 c nbDecision=135000 #constraints=29944 505.17/505.45 c nbDecision=135500 #constraints=30064 509.77/510.09 c nbDecision=136000 #constraints=30240 512.67/512.98 c nbDecision=136500 #constraints=30334 517.26/517.55 c nbDecision=137000 #constraints=30498 521.17/521.42 c nbDecision=137500 #constraints=30632 525.06/525.32 c nbDecision=138000 #constraints=30773 528.46/528.76 c nbDecision=138500 #constraints=30884 531.46/531.75 c nbDecision=139000 #constraints=30975 536.47/536.73 c nbDecision=139500 #constraints=31161 540.16/540.40 c nbDecision=140000 #constraints=31280 544.26/544.56 c nbDecision=140500 #constraints=31424 547.05/547.30 c nbDecision=141000 #constraints=31499 551.96/552.24 c nbDecision=141500 #constraints=31664 556.26/556.54 c nbDecision=142000 #constraints=31812 558.56/558.89 c nbDecision=142500 #constraints=31879 563.25/563.54 c nbDecision=143000 #constraints=32040 567.54/567.82 c nbDecision=143500 #constraints=32178 570.44/570.73 c nbDecision=144000 #constraints=32265 575.35/575.63 c nbDecision=144500 #constraints=32436 580.05/580.31 c nbDecision=145000 #constraints=32594 583.75/584.06 c nbDecision=145500 #constraints=32712 587.54/587.84 c nbDecision=146000 #constraints=32816 593.34/593.65 c nbDecision=146500 #constraints=33005 598.04/598.39 c nbDecision=147000 #constraints=33157 602.54/602.81 c nbDecision=147500 #constraints=33293 605.54/605.82 c nbDecision=148000 #constraints=33385 609.04/609.35 c nbDecision=148500 #constraints=33496 612.94/613.24 c nbDecision=149000 #constraints=33626 618.43/618.79 c nbDecision=149500 #constraints=33842 622.34/622.61 c nbDecision=150000 #constraints=33960 627.43/627.73 c nbDecision=150500 #constraints=34119 631.23/631.52 c nbDecision=151000 #constraints=34232 636.43/636.71 c nbDecision=151500 #constraints=34393 640.03/640.36 c nbDecision=152000 #constraints=34499 643.73/644.06 c nbDecision=152500 #constraints=34612 649.03/649.38 c nbDecision=153000 #constraints=34770 650.83/651.12 c nbDecision=153500 #constraints=34812 655.82/656.17 c nbDecision=154000 #constraints=34967 659.92/660.25 c nbDecision=154500 #constraints=35093 663.53/663.87 c nbDecision=155000 #constraints=35192 669.13/669.46 c nbDecision=155500 #constraints=35362 673.93/674.21 c nbDecision=156000 #constraints=35506 677.92/678.23 c nbDecision=156500 #constraints=35612 680.42/680.80 c nbDecision=157000 #constraints=35682 684.12/684.47 c nbDecision=157500 #constraints=35787 690.01/690.32 c nbDecision=158000 #constraints=35952 695.11/695.43 c nbDecision=158500 #constraints=36101 699.52/699.80 c nbDecision=159000 #constraints=36218 704.21/704.59 c nbDecision=159500 #constraints=36346 709.81/710.16 c nbDecision=160000 #constraints=36512 714.81/715.13 c nbDecision=160500 #constraints=36656 717.91/718.20 c nbDecision=161000 #constraints=36740 723.60/723.92 c nbDecision=161500 #constraints=36898 730.51/730.85 c nbDecision=162000 #constraints=37110 736.71/737.01 c nbDecision=162500 #constraints=37273 742.01/742.38 c nbDecision=163000 #constraints=37428 747.90/748.25 c nbDecision=163500 #constraints=37581 751.30/751.68 c nbDecision=164000 #constraints=37671 765.40/765.72 c nbDecision=164500 #constraints=38074 771.60/771.92 c nbDecision=165000 #constraints=38236 776.99/777.35 c nbDecision=165500 #constraints=38386 782.09/782.49 c nbDecision=166000 #constraints=38515 786.39/786.75 c nbDecision=166500 #constraints=38620 791.89/792.21 c nbDecision=167000 #constraints=38775 796.49/796.83 c nbDecision=167500 #constraints=38898 802.99/803.38 c nbDecision=168000 #constraints=39067 807.38/807.74 c nbDecision=168500 #constraints=39180 811.29/811.60 c nbDecision=169000 #constraints=39269 816.09/816.42 c nbDecision=169500 #constraints=39394 819.98/820.36 c nbDecision=170000 #constraints=39497 826.48/826.86 c nbDecision=170500 #constraints=39666 830.38/830.73 c nbDecision=171000 #constraints=39760 835.58/835.99 c nbDecision=171500 #constraints=39894 838.88/839.22 c nbDecision=172000 #constraints=39962 843.28/843.70 c nbDecision=172500 #constraints=40077 848.88/849.29 c nbDecision=173000 #constraints=40228 858.47/858.89 c nbDecision=173500 #constraints=40490 868.27/868.63 c nbDecision=174000 #constraints=40773 876.47/876.81 c nbDecision=174500 #constraints=41025 883.86/884.27 c nbDecision=175000 #constraints=41203 890.36/890.76 c nbDecision=175500 #constraints=41369 895.96/896.32 c nbDecision=176000 #constraints=41496 900.26/900.64 c nbDecision=176500 #constraints=41600 906.96/907.38 c nbDecision=177000 #constraints=41759 913.85/914.23 c nbDecision=177500 #constraints=41929 918.16/918.54 c nbDecision=178000 #constraints=42028 923.35/923.72 c nbDecision=178500 #constraints=42152 930.05/930.41 c nbDecision=179000 #constraints=42304 935.05/935.48 c nbDecision=179500 #constraints=42426 939.65/940.01 c nbDecision=180000 #constraints=42528 945.95/946.30 c nbDecision=180500 #constraints=42678 953.15/953.57 c nbDecision=181000 #constraints=42846 955.74/956.16 c nbDecision=181500 #constraints=42905 957.44/957.88 c nbDecision=182000 #constraints=42936 963.04/963.42 c nbDecision=182500 #constraints=43067 967.94/968.32 c nbDecision=183000 #constraints=43177 975.04/975.43 c nbDecision=183500 #constraints=43340 980.44/980.81 c nbDecision=184000 #constraints=43462 987.73/988.16 c nbDecision=184500 #constraints=43628 992.13/992.53 c nbDecision=185000 #constraints=43724 997.63/998.07 c nbDecision=185500 #constraints=43858 1003.44/1003.86 c nbDecision=186000 #constraints=43990 1010.73/1011.16 c nbDecision=186500 #constraints=44155 1015.23/1015.69 c nbDecision=187000 #constraints=44262 1021.43/1021.87 c nbDecision=187500 #constraints=44407 1026.33/1026.73 c nbDecision=188000 #constraints=44511 1032.33/1032.71 c nbDecision=188500 #constraints=44640 1039.62/1040.07 c nbDecision=189000 #constraints=44808 1046.53/1046.93 c nbDecision=189500 #constraints=44967 1049.62/1050.09 c nbDecision=190000 #constraints=45033 1058.52/1058.99 c nbDecision=190500 #constraints=45229 1064.42/1064.86 c nbDecision=191000 #constraints=45362 1071.62/1072.08 c nbDecision=191500 #constraints=45526 1075.32/1075.73 c nbDecision=192000 #constraints=45607 1082.41/1082.81 c nbDecision=192500 #constraints=45767 1088.61/1089.06 c nbDecision=193000 #constraints=45904 1094.41/1094.89 c nbDecision=193500 #constraints=46020 1100.61/1101.06 c nbDecision=194000 #constraints=46157 1107.50/1107.99 c nbDecision=194500 #constraints=46312 1113.50/1113.96 c nbDecision=195000 #constraints=46442 1119.00/1119.45 c nbDecision=195500 #constraints=46545 1126.60/1127.00 c nbDecision=196000 #constraints=46717 1132.29/1132.70 c nbDecision=196500 #constraints=46837 1140.39/1140.81 c nbDecision=197000 #constraints=47013 1145.00/1145.41 c nbDecision=197500 #constraints=47107 1150.59/1151.09 c nbDecision=198000 #constraints=47234 1158.49/1158.97 c nbDecision=198500 #constraints=47393 1164.39/1164.89 c nbDecision=199000 #constraints=47517 1168.49/1168.94 c nbDecision=199500 #constraints=47596 1176.69/1177.17 c nbDecision=200000 #constraints=47756 1181.89/1182.40 c nbDecision=200500 #constraints=47867 1189.18/1189.61 c nbDecision=201000 #constraints=48022 1195.88/1196.31 c nbDecision=201500 #constraints=48197 1213.38/1213.86 c nbDecision=202000 #constraints=48605 1222.88/1223.38 c nbDecision=202500 #constraints=48789 1228.77/1229.28 c nbDecision=203000 #constraints=48916 1235.57/1236.01 c nbDecision=203500 #constraints=49064 1241.27/1241.71 c nbDecision=204000 #constraints=49174 1249.26/1249.71 c nbDecision=204500 #constraints=49336 1254.67/1255.13 c restart after 204801 decisions 1256.97/1257.43 c nbDecision=205000 #constraints=49442 1257.76/1258.28 c nbDecision=205500 #constraints=49442 1257.87/1258.35 c nbDecision=206000 #constraints=49442 1258.46/1258.98 c nbDecision=206500 #constraints=49442 1258.56/1259.04 c nbDecision=207000 #constraints=49442 1259.07/1259.54 c nbDecision=207500 #constraints=49442 1259.16/1259.60 c nbDecision=208000 #constraints=49442 1259.16/1259.66 c nbDecision=208500 #constraints=49442 1259.36/1259.83 c nbDecision=209000 #constraints=49442 1259.86/1260.39 c nbDecision=209500 #constraints=49442 1261.46/1261.97 c nbDecision=210000 #constraints=49807 1271.26/1271.72 c nbDecision=210500 #constraints=50269 1283.26/1283.75 c nbDecision=211000 #constraints=50749 1285.15/1285.63 c nbDecision=211500 #constraints=51145 1286.66/1287.15 c nbDecision=212000 #constraints=51497 1291.55/1292.02 c nbDecision=212500 #constraints=51866 1293.45/1293.98 c nbDecision=213000 #constraints=52305 1296.15/1296.64 c nbDecision=213500 #constraints=52670 1298.75/1299.23 c nbDecision=214000 #constraints=53099 1301.55/1302.03 c nbDecision=214500 #constraints=53487 1304.65/1305.19 c nbDecision=215000 #constraints=53864 1305.94/1306.48 c nbDecision=215500 #constraints=54139 1308.34/1308.86 c nbDecision=216000 #constraints=54331 1310.35/1310.84 c nbDecision=216500 #constraints=54524 1311.95/1312.42 c nbDecision=217000 #constraints=54722 1313.95/1314.46 c nbDecision=217500 #constraints=55058 1315.05/1315.54 c nbDecision=218000 #constraints=55160 1316.35/1316.87 c nbDecision=218500 #constraints=55302 1317.44/1317.90 c nbDecision=219000 #constraints=55430 1318.44/1318.92 c nbDecision=219500 #constraints=55572 1320.15/1320.65 c nbDecision=220000 #constraints=55776 1321.84/1322.36 c nbDecision=220500 #constraints=55983 1323.34/1323.82 c nbDecision=221000 #constraints=56124 1324.34/1324.83 c nbDecision=221500 #constraints=56215 1325.34/1325.87 c nbDecision=222000 #constraints=56314 1326.64/1327.14 c nbDecision=222500 #constraints=56453 1327.84/1328.33 c nbDecision=223000 #constraints=56564 1328.94/1329.44 c nbDecision=223500 #constraints=56660 1330.04/1330.52 c nbDecision=224000 #constraints=56753 1331.23/1331.70 c nbDecision=224500 #constraints=56872 1332.44/1332.94 c nbDecision=225000 #constraints=56990 1333.54/1334.07 c nbDecision=225500 #constraints=57084 1334.74/1335.20 c nbDecision=226000 #constraints=57184 1336.34/1336.89 c nbDecision=226500 #constraints=57362 1338.44/1338.99 c nbDecision=227000 #constraints=57610 1340.23/1340.77 c nbDecision=227500 #constraints=57775 1341.44/1341.96 c nbDecision=228000 #constraints=57859 1342.64/1343.19 c nbDecision=228500 #constraints=57954 1345.64/1346.16 c nbDecision=229000 #constraints=58247 1347.04/1347.50 c nbDecision=229500 #constraints=58353 1348.33/1348.87 c nbDecision=230000 #constraints=58453 1350.13/1350.61 c nbDecision=230500 #constraints=58613 1351.34/1351.82 c nbDecision=231000 #constraints=58697 1352.53/1353.09 c nbDecision=231500 #constraints=58782 1353.83/1354.36 c nbDecision=232000 #constraints=58866 1355.04/1355.55 c nbDecision=232500 #constraints=58944 1356.24/1356.77 c nbDecision=233000 #constraints=59022 1357.53/1358.05 c nbDecision=233500 #constraints=59110 1358.83/1359.33 c nbDecision=234000 #constraints=59205 1360.23/1360.73 c nbDecision=234500 #constraints=59305 1361.43/1361.99 c nbDecision=235000 #constraints=59390 1363.33/1363.85 c nbDecision=235500 #constraints=59533 1364.73/1365.27 c nbDecision=236000 #constraints=59614 1366.13/1366.61 c nbDecision=236500 #constraints=59681 1367.53/1368.04 c nbDecision=237000 #constraints=59771 1369.03/1369.58 c nbDecision=237500 #constraints=59879 1370.52/1371.07 c nbDecision=238000 #constraints=59984 1372.53/1373.03 c nbDecision=238500 #constraints=60202 1374.02/1374.52 c nbDecision=239000 #constraints=60371 1375.32/1375.88 c nbDecision=239500 #constraints=60488 1376.73/1377.24 c nbDecision=240000 #constraints=60588 1378.22/1378.73 c nbDecision=240500 #constraints=60699 1379.52/1380.10 c nbDecision=241000 #constraints=60804 1380.93/1381.46 c nbDecision=241500 #constraints=60898 1382.32/1382.85 c nbDecision=242000 #constraints=61001 1384.02/1384.58 c nbDecision=242500 #constraints=61130 1385.32/1385.87 c nbDecision=243000 #constraints=61164 1387.12/1387.64 c nbDecision=243500 #constraints=61252 1388.32/1388.89 c nbDecision=244000 #constraints=61276 1389.52/1390.09 c nbDecision=244500 #constraints=61294 1390.72/1391.27 c nbDecision=245000 #constraints=61328 1392.12/1392.61 c nbDecision=245500 #constraints=61348 1393.42/1393.97 c nbDecision=246000 #constraints=61378 1394.71/1395.25 c nbDecision=246500 #constraints=61396 1396.02/1396.59 c nbDecision=247000 #constraints=61422 1397.32/1397.84 c nbDecision=247500 #constraints=61440 1398.42/1398.97 c nbDecision=248000 #constraints=61460 1399.83/1400.33 c nbDecision=248500 #constraints=61508 1401.82/1402.33 c nbDecision=249000 #constraints=61612 1403.32/1403.86 c nbDecision=249500 #constraints=61681 1404.72/1405.26 c nbDecision=250000 #constraints=61701 1406.52/1407.05 c nbDecision=250500 #constraints=61773 1407.72/1408.27 c nbDecision=251000 #constraints=61790 1409.12/1409.64 c nbDecision=251500 #constraints=61809 1410.41/1410.99 c nbDecision=252000 #constraints=61829 1411.71/1412.29 c nbDecision=252500 #constraints=61852 1413.61/1414.14 c nbDecision=253000 #constraints=61937 1415.01/1415.51 c nbDecision=253500 #constraints=61966 1416.41/1416.91 c nbDecision=254000 #constraints=61998 1417.71/1418.26 c nbDecision=254500 #constraints=62018 1419.21/1419.71 c nbDecision=255000 #constraints=62043 1420.51/1421.07 c nbDecision=255500 #constraints=62063 1421.61/1422.20 c nbDecision=256000 #constraints=62082 1423.01/1423.57 c nbDecision=256500 #constraints=62101 1424.60/1425.15 c nbDecision=257000 #constraints=62148 1426.01/1426.56 c nbDecision=257500 #constraints=62168 1427.41/1427.94 c nbDecision=258000 #constraints=62208 1428.91/1429.41 c nbDecision=258500 #constraints=62227 1430.31/1430.82 c nbDecision=259000 #constraints=62246 1432.21/1432.75 c nbDecision=259500 #constraints=62334 1434.01/1434.55 c nbDecision=260000 #constraints=62411 1435.41/1435.97 c nbDecision=260500 #constraints=62430 1436.81/1437.31 c nbDecision=261000 #constraints=62448 1438.70/1439.29 c nbDecision=261500 #constraints=62535 1440.20/1440.74 c nbDecision=262000 #constraints=62555 1441.90/1442.46 c nbDecision=262500 #constraints=62612 1443.40/1443.91 c nbDecision=263000 #constraints=62637 1444.80/1445.37 c nbDecision=263500 #constraints=62660 1446.30/1446.82 c nbDecision=264000 #constraints=62681 1447.60/1448.19 c nbDecision=264500 #constraints=62700 1448.99/1449.57 c nbDecision=265000 #constraints=62723 1450.49/1451.01 c nbDecision=265500 #constraints=62742 1451.89/1452.40 c nbDecision=266000 #constraints=62760 1453.09/1453.67 c nbDecision=266500 #constraints=62784 1454.71/1455.24 c nbDecision=267000 #constraints=62814 1456.20/1456.71 c nbDecision=267500 #constraints=62834 1457.40/1457.94 c nbDecision=268000 #constraints=62854 1458.60/1459.18 c nbDecision=268500 #constraints=62872 1460.10/1460.66 c nbDecision=269000 #constraints=62892 1461.50/1462.04 c nbDecision=269500 #constraints=62910 1462.80/1463.37 c nbDecision=270000 #constraints=62931 1464.40/1464.95 c nbDecision=270500 #constraints=62973 1466.00/1466.50 c nbDecision=271000 #constraints=63001 1467.39/1467.94 c nbDecision=271500 #constraints=63019 1468.79/1469.37 c nbDecision=272000 #constraints=63038 1470.69/1471.24 c nbDecision=272500 #constraints=63105 1472.30/1472.82 c nbDecision=273000 #constraints=63135 1473.69/1474.28 c nbDecision=273500 #constraints=63154 1475.19/1475.74 c nbDecision=274000 #constraints=63173 1476.79/1477.32 c nbDecision=274500 #constraints=63205 1478.39/1478.90 c nbDecision=275000 #constraints=63225 1479.79/1480.32 c nbDecision=275500 #constraints=63243 1481.29/1481.84 c nbDecision=276000 #constraints=63262 1482.79/1483.35 c nbDecision=276500 #constraints=63281 1484.29/1484.89 c nbDecision=277000 #constraints=63306 1485.68/1486.24 c nbDecision=277500 #constraints=63327 1487.18/1487.72 c nbDecision=278000 #constraints=63345 1488.58/1489.19 c nbDecision=278500 #constraints=63366 1490.08/1490.68 c nbDecision=279000 #constraints=63385 1491.48/1492.09 c nbDecision=279500 #constraints=63402 1492.98/1493.52 c nbDecision=280000 #constraints=63420 1494.48/1495.01 c nbDecision=280500 #constraints=63439 1495.78/1496.40 c nbDecision=281000 #constraints=63457 1497.28/1497.87 c nbDecision=281500 #constraints=63476 1498.69/1499.26 c nbDecision=282000 #constraints=63494 1500.19/1500.70 c nbDecision=282500 #constraints=63521 1501.69/1502.26 c nbDecision=283000 #constraints=63548 1503.29/1503.88 c nbDecision=283500 #constraints=63604 1504.99/1505.51 c nbDecision=284000 #constraints=63630 1506.68/1507.21 c nbDecision=284500 #constraints=63656 1508.08/1508.65 c nbDecision=285000 #constraints=63673 1509.58/1510.16 c nbDecision=285500 #constraints=63692 1511.18/1511.70 c nbDecision=286000 #constraints=63711 1512.58/1513.13 c nbDecision=286500 #constraints=63734 1514.18/1514.77 c nbDecision=287000 #constraints=63763 1515.68/1516.22 c nbDecision=287500 #constraints=63781 1517.18/1517.70 c nbDecision=288000 #constraints=63799 1518.68/1519.29 c nbDecision=288500 #constraints=63825 1520.28/1520.82 c nbDecision=289000 #constraints=63844 1521.78/1522.31 c nbDecision=289500 #constraints=63861 1522.98/1523.59 c nbDecision=290000 #constraints=63881 1524.58/1525.15 c nbDecision=290500 #constraints=63900 1526.08/1526.63 c nbDecision=291000 #constraints=63919 1527.47/1528.00 c nbDecision=291500 #constraints=63939 1528.87/1529.47 c nbDecision=292000 #constraints=63958 1530.37/1530.96 c nbDecision=292500 #constraints=63981 1531.87/1532.42 c nbDecision=293000 #constraints=63998 1533.37/1533.93 c nbDecision=293500 #constraints=64017 1534.87/1535.44 c nbDecision=294000 #constraints=64036 1536.47/1537.09 c nbDecision=294500 #constraints=64080 1538.28/1538.84 c nbDecision=295000 #constraints=64130 1539.67/1540.25 c nbDecision=295500 #constraints=64147 1541.17/1541.79 c nbDecision=296000 #constraints=64166 1542.77/1543.32 c nbDecision=296500 #constraints=64185 1544.27/1544.89 c nbDecision=297000 #constraints=64222 1545.77/1546.35 c nbDecision=297500 #constraints=64240 1547.37/1547.92 c nbDecision=298000 #constraints=64260 1548.87/1549.42 c nbDecision=298500 #constraints=64278 1550.26/1550.87 c nbDecision=299000 #constraints=64300 1551.86/1552.48 c nbDecision=299500 #constraints=64320 1553.36/1553.97 c nbDecision=300000 #constraints=64339 1555.06/1555.62 c nbDecision=300500 #constraints=64360 1556.56/1557.16 c nbDecision=301000 #constraints=64379 1557.96/1558.59 c nbDecision=301500 #constraints=64396 1559.67/1560.23 c nbDecision=302000 #constraints=64417 1561.07/1561.64 c nbDecision=302500 #constraints=64437 1562.67/1563.25 c nbDecision=303000 #constraints=64457 1564.27/1564.88 c nbDecision=303500 #constraints=64486 1565.77/1566.35 c nbDecision=304000 #constraints=64504 1567.37/1567.99 c nbDecision=304500 #constraints=64524 1568.96/1569.54 c nbDecision=305000 #constraints=64542 1570.17/1570.80 c nbDecision=305500 #constraints=64561 1571.77/1572.38 c nbDecision=306000 #constraints=64581 1573.16/1573.70 c nbDecision=306500 #constraints=64599 1574.67/1575.21 c nbDecision=307000 #constraints=64618 1576.16/1576.71 c nbDecision=307500 #constraints=64637 1577.66/1578.25 c nbDecision=308000 #constraints=64659 1579.26/1579.80 c nbDecision=308500 #constraints=64678 1580.76/1581.33 c nbDecision=309000 #constraints=64707 1582.56/1583.11 c nbDecision=309500 #constraints=64806 1584.26/1584.87 c nbDecision=310000 #constraints=64894 1586.05/1586.68 c nbDecision=310500 #constraints=65004 1587.87/1588.45 c nbDecision=311000 #constraints=65098 1589.66/1590.27 c nbDecision=311500 #constraints=65196 1591.46/1592.00 c nbDecision=312000 #constraints=65290 1593.06/1593.63 c nbDecision=312500 #constraints=65385 1594.96/1595.52 c nbDecision=313000 #constraints=65490 1596.66/1597.23 c nbDecision=313500 #constraints=65578 1598.35/1598.98 c nbDecision=314000 #constraints=65664 1600.25/1600.84 c nbDecision=314500 #constraints=65767 1602.06/1602.70 c nbDecision=315000 #constraints=65859 1604.06/1604.66 c nbDecision=315500 #constraints=65960 1605.95/1606.54 c nbDecision=316000 #constraints=66057 1607.95/1608.52 c nbDecision=316500 #constraints=66155 1609.86/1610.43 c nbDecision=317000 #constraints=66256 1611.65/1612.28 c nbDecision=317500 #constraints=66349 1613.55/1614.19 c nbDecision=318000 #constraints=66447 1615.75/1616.30 c nbDecision=318500 #constraints=66572 1617.75/1618.31 c nbDecision=319000 #constraints=66670 1619.44/1620.09 c nbDecision=319500 #constraints=66776 1621.54/1622.11 c nbDecision=320000 #constraints=66866 1623.54/1624.16 c nbDecision=320500 #constraints=66976 1625.64/1626.22 c nbDecision=321000 #constraints=67066 1627.64/1628.30 c nbDecision=321500 #constraints=67170 1629.55/1630.13 c nbDecision=322000 #constraints=67270 1631.65/1632.25 c nbDecision=322500 #constraints=67374 1633.65/1634.23 c nbDecision=323000 #constraints=67470 1635.75/1636.31 c nbDecision=323500 #constraints=67569 1637.74/1638.36 c nbDecision=324000 #constraints=67669 1639.84/1640.41 c nbDecision=324500 #constraints=67759 1641.94/1642.54 c nbDecision=325000 #constraints=67869 1643.84/1644.49 c nbDecision=325500 #constraints=67963 1646.05/1646.67 c nbDecision=326000 #constraints=68068 1648.14/1648.75 c nbDecision=326500 #constraints=68163 1650.14/1650.74 c nbDecision=327000 #constraints=68251 1652.24/1652.89 c nbDecision=327500 #constraints=68352 1654.34/1654.94 c nbDecision=328000 #constraints=68443 1656.54/1657.19 c nbDecision=328500 #constraints=68546 1658.74/1659.30 c nbDecision=329000 #constraints=68642 1660.74/1661.35 c nbDecision=329500 #constraints=68727 1663.23/1663.88 c nbDecision=330000 #constraints=68849 1665.53/1666.12 c nbDecision=330500 #constraints=68945 1667.53/1668.15 c nbDecision=331000 #constraints=69045 1669.83/1670.48 c nbDecision=331500 #constraints=69147 1672.13/1672.72 c nbDecision=332000 #constraints=69240 1674.13/1674.70 c nbDecision=332500 #constraints=69305 1675.73/1676.31 c nbDecision=333000 #constraints=69324 1677.23/1677.88 c nbDecision=333500 #constraints=69342 1678.83/1679.44 c nbDecision=334000 #constraints=69360 1680.43/1681.05 c nbDecision=334500 #constraints=69389 1681.83/1682.46 c nbDecision=335000 #constraints=69407 1683.53/1684.16 c nbDecision=335500 #constraints=69427 1685.12/1685.76 c nbDecision=336000 #constraints=69445 1687.02/1687.65 c nbDecision=336500 #constraints=69484 1688.82/1689.42 c nbDecision=337000 #constraints=69505 1690.42/1691.08 c nbDecision=337500 #constraints=69524 1692.12/1692.76 c nbDecision=338000 #constraints=69551 1693.72/1694.32 c nbDecision=338500 #constraints=69569 1695.42/1696.04 c nbDecision=339000 #constraints=69589 1697.02/1697.64 c nbDecision=339500 #constraints=69607 1698.72/1699.32 c nbDecision=340000 #constraints=69626 1700.22/1700.89 c nbDecision=340500 #constraints=69644 1701.93/1702.54 c nbDecision=341000 #constraints=69662 1703.63/1704.20 c nbDecision=341500 #constraints=69681 1705.53/1706.16 c nbDecision=342000 #constraints=69722 1707.13/1707.71 c nbDecision=342500 #constraints=69740 1708.73/1709.40 c nbDecision=343000 #constraints=69759 1710.42/1711.08 c nbDecision=343500 #constraints=69778 1712.13/1712.79 c nbDecision=344000 #constraints=69798 1713.72/1714.31 c nbDecision=344500 #constraints=69825 1715.33/1715.94 c nbDecision=345000 #constraints=69845 1717.02/1717.67 c nbDecision=345500 #constraints=69865 1718.52/1719.20 c nbDecision=346000 #constraints=69881 1720.62/1721.23 c nbDecision=346500 #constraints=69932 1722.32/1722.94 c nbDecision=347000 #constraints=69953 1723.92/1724.53 c nbDecision=347500 #constraints=69970 1725.52/1726.16 c nbDecision=348000 #constraints=69989 1727.32/1727.90 c nbDecision=348500 #constraints=70008 1728.81/1729.49 c nbDecision=349000 #constraints=70025 1730.51/1731.14 c nbDecision=349500 #constraints=70044 1732.11/1732.73 c nbDecision=350000 #constraints=70061 1733.81/1734.47 c nbDecision=350500 #constraints=70086 1735.51/1736.14 c nbDecision=351000 #constraints=70106 1737.11/1737.73 c nbDecision=351500 #constraints=70123 1738.61/1739.22 c nbDecision=352000 #constraints=70145 1740.31/1740.98 c nbDecision=352500 #constraints=70165 1742.01/1742.66 c nbDecision=353000 #constraints=70189 1743.71/1744.33 c nbDecision=353500 #constraints=70207 1745.40/1746.02 c nbDecision=354000 #constraints=70226 1747.10/1747.73 c nbDecision=354500 #constraints=70246 1748.81/1749.43 c nbDecision=355000 #constraints=70264 1750.52/1751.19 c nbDecision=355500 #constraints=70284 1752.21/1752.86 c nbDecision=356000 #constraints=70303 1753.91/1754.51 c nbDecision=356500 #constraints=70322 1755.51/1756.19 c nbDecision=357000 #constraints=70340 1757.31/1757.92 c nbDecision=357500 #constraints=70359 1758.91/1759.59 c nbDecision=358000 #constraints=70379 1760.61/1761.27 c nbDecision=358500 #constraints=70398 1762.41/1763.09 c nbDecision=359000 #constraints=70418 1764.20/1764.80 c nbDecision=359500 #constraints=70437 1765.80/1766.43 c nbDecision=360000 #constraints=70455 1767.50/1768.19 c nbDecision=360500 #constraints=70474 1769.21/1769.88 c nbDecision=361000 #constraints=70493 1770.90/1771.57 c nbDecision=361500 #constraints=70512 1772.51/1773.14 c nbDecision=362000 #constraints=70532 1774.20/1774.82 c nbDecision=362500 #constraints=70551 1775.80/1776.44 c nbDecision=363000 #constraints=70570 1777.50/1778.14 c nbDecision=363500 #constraints=70588 1779.10/1779.72 c nbDecision=364000 #constraints=70606 1780.80/1781.42 c nbDecision=364500 #constraints=70625 1782.40/1783.08 c nbDecision=365000 #constraints=70643 1784.09/1784.73 c nbDecision=365500 #constraints=70661 1785.80/1786.47 c nbDecision=366000 #constraints=70687 1787.50/1788.16 c nbDecision=366500 #constraints=70707 1789.30/1789.91 c nbDecision=367000 #constraints=70726 1790.90/1791.59 c nbDecision=367500 #constraints=70745 1792.60/1793.28 c nbDecision=368000 #constraints=70763 1794.40/1795.09 c nbDecision=368500 #constraints=70787 1796.10/1796.74 c nbDecision=369000 #constraints=70806 1797.80/1798.47 c nbDecision=369500 #constraints=70829 1799.40/1800.02 c nbDecision=370000 #constraints=70846 1800.00/1800.60 Received signal 15 1800.00/1800.64 1800.00/1800.64 s UNKNOWN 1800.00/1800.64 1800.00/1800.64 c user time= 1798.97 s 1800.00/1800.64 c system time= 1.07384 s 1800.00/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/node51/watcher-356992-1176850841 -o ROOT/results/node51/solver-356992-1176850841 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356992-1176850841/instance-356992-1176850841.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 3/64 3255 /proc/meminfo: memFree=1865336/2055920 swapFree=4178808/4192956 [pid=3255] ppid=3253 vsize=1620 CPUtime=0 /proc/3255/stat : 3255 (oree) R 3253 3255 2912 0 -1 4194304 184 0 0 0 0 0 0 0 18 0 1 0 39929240 1658880 166 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3255/statm: 405 168 126 317 0 84 0 [startup+0.0677761 s] /proc/loadavg: 0.91 0.95 0.97 3/64 3255 /proc/meminfo: memFree=1865336/2055920 swapFree=4178808/4192956 [pid=3255] ppid=3253 vsize=2808 CPUtime=0.06 /proc/3255/stat : 3255 (oree) R 3253 3255 2912 0 -1 4194304 502 0 0 0 6 0 0 0 18 0 1 0 39929240 2875392 484 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3255/statm: 702 484 131 317 0 381 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 2808 [startup+0.101778 s] /proc/loadavg: 0.91 0.95 0.97 3/64 3255 /proc/meminfo: memFree=1865336/2055920 swapFree=4178808/4192956 [pid=3255] ppid=3253 vsize=3600 CPUtime=0.09 /proc/3255/stat : 3255 (oree) R 3253 3255 2912 0 -1 4194304 714 0 0 0 9 0 0 0 18 0 1 0 39929240 3686400 696 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3255/statm: 900 697 131 317 0 579 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3600 [startup+0.301795 s] /proc/loadavg: 0.91 0.95 0.97 3/64 3255 /proc/meminfo: memFree=1865336/2055920 swapFree=4178808/4192956 [pid=3255] ppid=3253 vsize=5992 CPUtime=0.29 /proc/3255/stat : 3255 (oree) R 3253 3255 2912 0 -1 4194304 1297 0 0 0 29 0 0 0 19 0 1 0 39929240 6135808 1279 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3255/statm: 1498 1279 138 317 0 1177 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5992 [startup+0.701831 s] /proc/loadavg: 0.91 0.95 0.97 3/64 3255 /proc/meminfo: memFree=1865336/2055920 swapFree=4178808/4192956 [pid=3255] ppid=3253 vsize=5992 CPUtime=0.69 /proc/3255/stat : 3255 (oree) R 3253 3255 2912 0 -1 4194304 1298 0 0 0 69 0 0 0 23 0 1 0 39929240 6135808 1280 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606732 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3255/statm: 1498 1280 138 317 0 1177 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5992 [startup+1.5019 s] /proc/loadavg: 0.91 0.95 0.97 2/65 3256 /proc/meminfo: memFree=1860656/2055920 swapFree=4178808/4192956 [pid=3255] ppid=3253 vsize=5992 CPUtime=1.49 /proc/3255/stat : 3255 (oree) R 3253 3255 2912 0 -1 4194304 1300 0 0 0 149 0 0 0 25 0 1 0 39929240 6135808 1282 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606698 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3255/statm: 1498 1282 138 317 0 1177 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5992 [startup+3.10105 s] /proc/loadavg: 0.92 0.95 0.97 2/65 3256 /proc/meminfo: memFree=1859376/2055920 swapFree=4178808/4192956 [pid=3255] ppid=3253 vsize=10460 CPUtime=3.09 /proc/3255/stat : 3255 (oree) R 3253 3255 2912 0 -1 4194304 2404 0 0 0 309 0 0 0 25 0 1 0 39929240 10711040 2386 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278973 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3255/statm: 2615 2386 139 317 0 2294 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10460 [startup+6.30133 s] /proc/loadavg: 0.92 0.95 0.97 2/65 3256 /proc/meminfo: memFree=1854768/2055920 swapFree=4178808/4192956 [pid=3255] ppid=3253 vsize=11772 CPUtime=6.29 /proc/3255/stat : 3255 (oree) R 3253 3255 2912 0 -1 4194304 2760 0 0 0 628 1 0 0 25 0 1 0 39929240 12054528 2742 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385221 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3255/statm: 2943 2742 139 317 0 2622 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 11772 [startup+12.7019 s] /proc/loadavg: 0.93 0.96 0.97 2/65 3256 /proc/meminfo: memFree=1838576/2055920 swapFree=4178808/4192956 [pid=3255] ppid=3253 vsize=29500 CPUtime=12.68 /proc/3255/stat : 3255 (oree) R 3253 3255 2912 0 -1 4194304 7159 0 0 0 1265 3 0 0 25 0 1 0 39929240 30208000 7141 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3255/statm: 7375 7141 139 317 0 7054 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 29500 [startup+25.5011 s] /proc/loadavg: 0.94 0.96 0.97 2/71 3322 /proc/meminfo: memFree=1814712/2055920 swapFree=4178808/4192956 [pid=3255] ppid=3253 vsize=52188 CPUtime=25.47 /proc/3255/stat : 3255 (oree) R 3253 3255 2912 0 -1 4194304 12452 0 0 0 2540 7 0 0 25 0 1 0 39929240 53440512 12434 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3255/statm: 13047 12434 139 317 0 12726 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 52188 [startup+51.1014 s] /proc/loadavg: 0.96 0.96 0.97 2/71 3420 /proc/meminfo: memFree=1798184/2055920 swapFree=4178808/4192956 [pid=3255] ppid=3253 vsize=67700 CPUtime=51 /proc/3255/stat : 3255 (oree) R 3253 3255 2912 0 -1 4194304 16500 0 0 0 5090 10 0 0 25 0 1 0 39929240 69324800 16482 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3255/statm: 16925 16482 139 317 0 16604 0 Current children cumulated CPU time (s) 51 Current children cumulated vsize (KiB) 67700 [startup+102.306 s] /proc/loadavg: 0.98 0.96 0.97 2/65 3454 /proc/meminfo: memFree=1764784/2055920 swapFree=4178808/4192956 [pid=3255] ppid=3253 vsize=105156 CPUtime=102.18 /proc/3255/stat : 3255 (oree) R 3253 3255 2912 0 -1 4194304 25173 0 0 0 10200 18 0 0 25 0 1 0 39929240 107679744 25097 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716120 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3255/statm: 26289 25097 139 317 0 25968 0 Current children cumulated CPU time (s) 102.18 Current children cumulated vsize (KiB) 105156 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.97 2/65 3454 /proc/meminfo: memFree=1734128/2055920 swapFree=4178808/4192956 [pid=3255] ppid=3253 vsize=135924 CPUtime=162.16 /proc/3255/stat : 3255 (oree) R 3253 3255 2912 0 -1 4194304 32904 0 0 0 16192 24 0 0 25 0 1 0 39929240 139186176 32828 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3255/statm: 33981 32828 139 317 0 33660 0 Current children cumulated CPU time (s) 162.16 Current children cumulated vsize (KiB) 135924 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.97 2/65 3454 /proc/meminfo: memFree=1709616/2055920 swapFree=4178808/4192956 [pid=3255] ppid=3253 vsize=160316 CPUtime=222.14 /proc/3255/stat : 3255 (oree) R 3253 3255 2912 0 -1 4194304 39053 0 0 0 22185 29 0 0 25 0 1 0 39929240 164163584 38863 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3255/statm: 40079 38863 139 317 0 39758 0 Current children cumulated CPU time (s) 222.14 Current children cumulated vsize (KiB) 160316 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.97 2/65 3454 /proc/meminfo: memFree=1689904/2055920 swapFree=4178808/4192956 [pid=3255] ppid=3253 vsize=186836 CPUtime=282.12 /proc/3255/stat : 3255 (oree) R 3253 3255 2912 0 -1 4194304 45502 0 0 0 28180 32 0 0 25 0 1 0 39929240 191320064 43860 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3255/statm: 46709 43860 139 317 0 46388 0 Current children cumulated CPU time (s) 282.12 Current children cumulated vsize (KiB) 186836 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.97 2/65 3454 /proc/meminfo: memFree=1666800/2055920 swapFree=4178808/4192956 [pid=3255] ppid=3253 vsize=207876 CPUtime=342.11 /proc/3255/stat : 3255 (oree) R 3253 3255 2912 0 -1 4194304 51235 0 0 0 34174 37 0 0 25 0 1 0 39929240 212865024 49527 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3255/statm: 51969 49527 139 317 0 51648 0 Current children cumulated CPU time (s) 342.11 Current children cumulated vsize (KiB) 207876 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.97 2/65 3454 /proc/meminfo: memFree=1652016/2055920 swapFree=4178808/4192956 [pid=3255] ppid=3253 vsize=222108 CPUtime=402.09 /proc/3255/stat : 3255 (oree) R 3253 3255 2912 0 -1 4194304 54982 0 0 0 40169 40 0 0 25 0 1 0 39929240 227438592 53274 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3255/statm: 55527 53274 139 317 0 55206 0 Current children cumulated CPU time (s) 402.09 Current children cumulated vsize (KiB) 222108 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.97 2/65 3456 /proc/meminfo: memFree=1633072/2055920 swapFree=4178808/4192956 [pid=3255] ppid=3253 vsize=238768 CPUtime=462.07 /proc/3255/stat : 3255 (oree) R 3253 3255 2912 0 -1 4194304 59655 0 0 0 46164 43 0 0 25 0 1 0 39929240 244498432 57947 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3255/statm: 59692 57947 139 317 0 59371 0 Current children cumulated CPU time (s) 462.07 Current children cumulated vsize (KiB) 238768 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.97 2/65 3456 /proc/meminfo: memFree=1617968/2055920 swapFree=4178808/4192956 [pid=3255] ppid=3253 vsize=258632 CPUtime=522.06 /proc/3255/stat : 3255 (oree) R 3253 3255 2912 0 -1 4194304 64298 0 0 0 52159 47 0 0 25 0 1 0 39929240 264839168 61732 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563634 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3255/statm: 64658 61732 139 317 0 64337 0 Current children cumulated CPU time (s) 522.06 Current children cumulated vsize (KiB) 258632 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.97 2/65 3456 /proc/meminfo: memFree=1601264/2055920 swapFree=4178808/4192956 [pid=3255] ppid=3253 vsize=274028 CPUtime=582.05 /proc/3255/stat : 3255 (oree) R 3253 3255 2912 0 -1 4194304 68455 0 0 0 58155 50 0 0 25 0 1 0 39929240 280604672 65889 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3255/statm: 68507 65889 139 317 0 68186 0 Current children cumulated CPU time (s) 582.05 Current children cumulated vsize (KiB) 274028 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.97 2/65 3456 /proc/meminfo: memFree=1584944/2055920 swapFree=4178808/4192956 [pid=3255] ppid=3253 vsize=294256 CPUtime=642.04 /proc/3255/stat : 3255 (oree) R 3253 3255 2912 0 -1 4194304 73543 0 0 0 64151 53 0 0 25 0 1 0 39929240 301318144 69925 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3255/statm: 73564 69925 139 317 0 73243 0 Current children cumulated CPU time (s) 642.04 Current children cumulated vsize (KiB) 294256 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.97 0.97 2/65 3456 /proc/meminfo: memFree=1532144/2055920 swapFree=4178808/4192956 [pid=3255] ppid=3253 vsize=360864 CPUtime=881.96 /proc/3255/stat : 3255 (oree) R 3253 3255 2912 0 -1 4194304 90966 0 0 0 88134 62 0 0 25 0 1 0 39929240 369524736 83088 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3255/statm: 90216 83088 139 317 0 89895 0 Current children cumulated CPU time (s) 881.96 Current children cumulated vsize (KiB) 360864 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.97 2/65 3456 /proc/meminfo: memFree=1519728/2055920 swapFree=4178808/4192956 [pid=3255] ppid=3253 vsize=372860 CPUtime=941.95 /proc/3255/stat : 3255 (oree) R 3253 3255 2912 0 -1 4194304 94179 0 0 0 94130 65 0 0 25 0 1 0 39929240 381808640 86236 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3255/statm: 93215 86236 139 317 0 92894 0 Current children cumulated CPU time (s) 941.95 Current children cumulated vsize (KiB) 372860 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 3456 /proc/meminfo: memFree=1508528/2055920 swapFree=4178808/4192956 [pid=3255] ppid=3253 vsize=382668 CPUtime=1001.94 /proc/3255/stat : 3255 (oree) R 3253 3255 2912 0 -1 4194304 96958 0 0 0 100127 67 0 0 25 0 1 0 39929240 391852032 89015 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602694 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3255/statm: 95667 89015 139 317 0 95346 0 Current children cumulated CPU time (s) 1001.94 Current children cumulated vsize (KiB) 382668 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 3456 /proc/meminfo: memFree=1497136/2055920 swapFree=4178808/4192956 [pid=3255] ppid=3253 vsize=392476 CPUtime=1061.92 /proc/3255/stat : 3255 (oree) R 3253 3255 2912 0 -1 4194304 99824 0 0 0 106123 69 0 0 25 0 1 0 39929240 401895424 91881 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3255/statm: 98119 91881 139 317 0 97798 0 Current children cumulated CPU time (s) 1061.92 Current children cumulated vsize (KiB) 392476 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 3456 /proc/meminfo: memFree=1486384/2055920 swapFree=4178808/4192956 [pid=3255] ppid=3253 vsize=401908 CPUtime=1121.9 /proc/3255/stat : 3255 (oree) R 3253 3255 2912 0 -1 4194304 102570 0 0 0 112118 72 0 0 25 0 1 0 39929240 411553792 94627 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3255/statm: 100477 94627 139 317 0 100156 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 401908 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 3456 /proc/meminfo: memFree=1475824/2055920 swapFree=4178808/4192956 [pid=3255] ppid=3253 vsize=411120 CPUtime=1181.89 /proc/3255/stat : 3255 (oree) R 3253 3255 2912 0 -1 4194304 105142 0 0 0 118114 75 0 0 25 0 1 0 39929240 420986880 97199 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3255/statm: 102780 97199 139 317 0 102459 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 411120 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 3456 /proc/meminfo: memFree=1464944/2055920 swapFree=4178808/4192956 [pid=3255] ppid=3253 vsize=420536 CPUtime=1241.87 /proc/3255/stat : 3255 (oree) R 3253 3255 2912 0 -1 4194304 107835 0 0 0 124110 77 0 0 25 0 1 0 39929240 430628864 99892 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716161 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3255/statm: 105134 99892 139 317 0 104813 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 420536 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 3456 /proc/meminfo: memFree=1433264/2055920 swapFree=4178808/4192956 [pid=3255] ppid=3253 vsize=450560 CPUtime=1301.86 /proc/3255/stat : 3255 (oree) R 3253 3255 2912 0 -1 4194304 115750 0 0 0 130102 84 0 0 25 0 1 0 39929240 461373440 107774 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712548 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3255/statm: 112640 107774 139 317 0 112319 0 Current children cumulated CPU time (s) 1301.86 Current children cumulated vsize (KiB) 450560 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 3456 /proc/meminfo: memFree=1388528/2055920 swapFree=4178808/4192956 [pid=3255] ppid=3253 vsize=493636 CPUtime=1361.82 /proc/3255/stat : 3255 (oree) R 3253 3255 2912 0 -1 4194304 127078 0 0 0 136091 91 0 0 25 0 1 0 39929240 505483264 119037 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3255/statm: 123409 119037 139 317 0 123088 0 Current children cumulated CPU time (s) 1361.82 Current children cumulated vsize (KiB) 493636 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.97 2/65 3456 /proc/meminfo: memFree=1367536/2055920 swapFree=4178808/4192956 [pid=3255] ppid=3253 vsize=514112 CPUtime=1421.81 /proc/3255/stat : 3255 (oree) R 3253 3255 2912 0 -1 4194304 132220 0 0 0 142086 95 0 0 25 0 1 0 39929240 526450688 124179 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3255/statm: 128528 124179 139 317 0 128207 0 Current children cumulated CPU time (s) 1421.81 Current children cumulated vsize (KiB) 514112 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 3456 /proc/meminfo: memFree=1359280/2055920 swapFree=4178808/4192956 [pid=3255] ppid=3253 vsize=521872 CPUtime=1481.79 /proc/3255/stat : 3255 (oree) R 3253 3255 2912 0 -1 4194304 134283 0 0 0 148082 97 0 0 25 0 1 0 39929240 534396928 126242 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3255/statm: 130468 126242 139 317 0 130147 0 Current children cumulated CPU time (s) 1481.79 Current children cumulated vsize (KiB) 521872 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 3456 /proc/meminfo: memFree=1352688/2055920 swapFree=4178808/4192956 [pid=3255] ppid=3253 vsize=528048 CPUtime=1541.77 /proc/3255/stat : 3255 (oree) R 3253 3255 2912 0 -1 4194304 135918 0 0 0 154079 98 0 0 25 0 1 0 39929240 540721152 127877 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718324 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3255/statm: 132012 127877 139 317 0 131691 0 Current children cumulated CPU time (s) 1541.77 Current children cumulated vsize (KiB) 528048 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 3456 /proc/meminfo: memFree=1338352/2055920 swapFree=4178808/4192956 [pid=3255] ppid=3253 vsize=544216 CPUtime=1601.75 /proc/3255/stat : 3255 (oree) R 3253 3255 2912 0 -1 4194304 139628 0 0 0 160075 100 0 0 25 0 1 0 39929240 557277184 131522 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3255/statm: 136054 131522 139 317 0 135733 0 Current children cumulated CPU time (s) 1601.75 Current children cumulated vsize (KiB) 544216 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 3456 /proc/meminfo: memFree=1311920/2055920 swapFree=4178808/4192956 [pid=3255] ppid=3253 vsize=575144 CPUtime=1661.74 /proc/3255/stat : 3255 (oree) R 3253 3255 2912 0 -1 4194304 146630 0 0 0 166070 104 0 0 25 0 1 0 39929240 588947456 138072 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564062 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3255/statm: 143786 138072 139 317 0 143465 0 Current children cumulated CPU time (s) 1661.74 Current children cumulated vsize (KiB) 575144 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 3456 /proc/meminfo: memFree=1303216/2055920 swapFree=4178808/4192956 [pid=3255] ppid=3253 vsize=583284 CPUtime=1721.72 /proc/3255/stat : 3255 (oree) R 3253 3255 2912 0 -1 4194304 148800 0 0 0 172067 105 0 0 25 0 1 0 39929240 597282816 140242 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3255/statm: 145821 140242 139 317 0 145500 0 Current children cumulated CPU time (s) 1721.72 Current children cumulated vsize (KiB) 583284 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 3456 /proc/meminfo: memFree=1298032/2055920 swapFree=4178808/4192956 [pid=3255] ppid=3253 vsize=588000 CPUtime=1781.7 /proc/3255/stat : 3255 (oree) R 3253 3255 2912 0 -1 4194304 150057 0 0 0 178064 106 0 0 25 0 1 0 39929240 602112000 141499 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718926 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3255/statm: 147000 141499 139 317 0 146679 0 Current children cumulated CPU time (s) 1781.7 Current children cumulated vsize (KiB) 588000 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.97 0.97 2/65 3456 /proc/meminfo: memFree=1296176/2055920 swapFree=4178808/4192956 [pid=3255] ppid=3253 vsize=589568 CPUtime=1800 /proc/3255/stat : 3255 (oree) R 3253 3255 2912 0 -1 4194304 150513 0 0 0 179893 107 0 0 25 0 1 0 39929240 603717632 141955 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3255/statm: 147392 141955 139 317 0 147071 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 589568 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.97 2/65 3456 /proc/meminfo: memFree=1296176/2055920 swapFree=4178808/4192956 [pid=3255] ppid=3253 vsize=0 CPUtime=1800.1 /proc/3255/stat : 3255 (oree) R 3253 3255 2912 0 -1 4194308 150531 0 0 0 179898 112 0 0 25 0 1 0 39929240 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3255/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.75 CPU time (s): 1800.15 CPU user time (s): 1798.98 CPU system time (s): 1.16282 CPU usage (%): 99.9667 Max. virtual memory (cumulated for all children) (KiB): 589568 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.98 system time used= 1.16282 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 150531 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= 3336 runsolver used 1.15282 second user time and 3.86941 second system time The end
Begin job on node51 on Tue Apr 17 23:00:41 UTC 2007 IDJOB= 356992 IDBENCH= 1743 IDSOLVER= 172 FILE ID= node51/356992-1176850841 PBS_JOBID= 4590204 Free space on /tmp= 66474 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-set1al.opb COMMAND LINE= oree /tmp/evaluation/356992-1176850841/instance-356992-1176850841.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node51/watcher-356992-1176850841 -o ROOT/results/node51/solver-356992-1176850841 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356992-1176850841/instance-356992-1176850841.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 8707b70244b4b6d1505bb830d4ab8529 RANDOM SEED= 109556803 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node51.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.223 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.223 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: 1865680 kB Buffers: 18044 kB Cached: 125908 kB SwapCached: 8368 kB Active: 87836 kB Inactive: 71784 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1865680 kB SwapTotal: 4192956 kB SwapFree: 4178808 kB Dirty: 1736 kB Writeback: 0 kB Mapped: 16672 kB Slab: 16704 kB Committed_AS: 2542292 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= 66474 MiB End job on node51 on Tue Apr 17 23:30:44 UTC 2007