Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.07 | 1800.54 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-reduced-mps-v2-20-10-blp-ic98.opb |
MD5SUM | cf56ee4a2e10a22486df8fb664e91027 |
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 | 15501 |
Total number of constraints | 763 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 627 |
Number of constraints which are nor clauses,nor cardinality constraints | 136 |
Minimum length of a constraint | 8 |
Maximum length of a constraint | 13581 |
Number of terms in the objective function | 31 |
Biggest coefficient in the objective function | 262145 |
Number of bits for the biggest coefficient in the objective function | 19 |
Sum of the numbers in the objective function | 524318 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262145 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 531126 |
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.69/0.79 c ...done 0.69/0.79 c #vars=15501 #constraints=854 hasObjective=yes 0.79/0.88 c res. mode=mod 0.79/0.88 c VSIDS like heuristics 0.79/0.88 c complete search running 3.99/4.08 c restart after 401 decisions 4.59/4.64 c nbDecision=500 #constraints=1178 7.09/7.15 c restart after 801 decisions 8.49/8.59 c nbDecision=1000 #constraints=1515 13.49/13.52 c nbDecision=1500 #constraints=1782 14.69/14.73 c restart after 1601 decisions 17.89/17.92 c nbDecision=2000 #constraints=2083 23.48/23.58 c nbDecision=2500 #constraints=2318 26.98/27.02 c nbDecision=3000 #constraints=2519 28.98/29.06 c restart after 3201 decisions 31.48/31.56 c nbDecision=3500 #constraints=2776 37.18/37.27 c nbDecision=4000 #constraints=3003 40.97/41.04 c nbDecision=4500 #constraints=3202 45.47/45.58 c nbDecision=5000 #constraints=3388 47.87/47.95 c nbDecision=5500 #constraints=3565 53.07/53.18 c nbDecision=6000 #constraints=3713 53.57/53.61 c restart after 6401 decisions 54.27/54.36 c nbDecision=6500 #constraints=3882 59.57/59.63 c nbDecision=7000 #constraints=4147 64.37/64.42 c nbDecision=7500 #constraints=4349 70.07/70.15 c nbDecision=8000 #constraints=4543 74.67/74.73 c nbDecision=8500 #constraints=4740 80.47/80.58 c nbDecision=9000 #constraints=4908 83.07/83.16 c nbDecision=9500 #constraints=5091 86.87/86.98 c nbDecision=10000 #constraints=5232 87.46/87.59 c nbDecision=10500 #constraints=5338 88.06/88.13 c nbDecision=11000 #constraints=5450 88.66/88.74 c nbDecision=11500 #constraints=5550 89.46/89.53 c nbDecision=12000 #constraints=5650 91.17/91.28 c nbDecision=12500 #constraints=5766 91.56/91.65 c restart after 12801 decisions 93.26/93.31 c nbDecision=13000 #constraints=5967 99.37/99.41 c nbDecision=13500 #constraints=6214 103.37/103.45 c nbDecision=14000 #constraints=6424 109.36/109.42 c nbDecision=14500 #constraints=6598 115.66/115.73 c nbDecision=15000 #constraints=6791 119.76/119.88 c nbDecision=15500 #constraints=6984 124.76/124.86 c nbDecision=16000 #constraints=7156 126.66/126.79 c nbDecision=16500 #constraints=7292 127.26/127.35 c nbDecision=17000 #constraints=7410 127.96/128.03 c nbDecision=17500 #constraints=7514 128.56/128.65 c nbDecision=18000 #constraints=7614 130.35/130.46 c nbDecision=18500 #constraints=7733 131.35/131.41 c nbDecision=19000 #constraints=7836 132.05/132.11 c nbDecision=19500 #constraints=7937 133.65/133.77 c nbDecision=20000 #constraints=8069 135.35/135.48 c nbDecision=20500 #constraints=8181 135.95/136.09 c nbDecision=21000 #constraints=8281 137.15/137.26 c nbDecision=21500 #constraints=8383 138.15/138.27 c nbDecision=22000 #constraints=8486 138.56/138.68 c nbDecision=22500 #constraints=8607 139.85/139.92 c nbDecision=23000 #constraints=8702 140.35/140.45 c nbDecision=23500 #constraints=8764 141.65/141.75 c nbDecision=24000 #constraints=8830 143.05/143.16 c nbDecision=24500 #constraints=8900 143.75/143.86 c nbDecision=25000 #constraints=8949 145.05/145.20 c nbDecision=25500 #constraints=9018 145.15/145.29 c restart after 25601 decisions 149.35/149.48 c nbDecision=26000 #constraints=9286 154.25/154.31 c nbDecision=26500 #constraints=9519 160.85/160.91 c nbDecision=27000 #constraints=9704 167.05/167.19 c nbDecision=27500 #constraints=9887 171.45/171.60 c nbDecision=28000 #constraints=10075 176.65/176.72 c nbDecision=28500 #constraints=10242 178.05/178.16 c nbDecision=29000 #constraints=10376 178.85/178.91 c nbDecision=29500 #constraints=10488 179.85/179.94 c nbDecision=30000 #constraints=10586 180.55/180.64 c nbDecision=30500 #constraints=10685 181.25/181.32 c nbDecision=31000 #constraints=10798 181.95/182.02 c nbDecision=31500 #constraints=10909 184.24/184.39 c nbDecision=32000 #constraints=11021 185.94/186.07 c nbDecision=32500 #constraints=11131 186.64/186.79 c nbDecision=33000 #constraints=11231 187.84/187.99 c nbDecision=33500 #constraints=11342 189.15/189.29 c nbDecision=34000 #constraints=11445 189.64/189.76 c nbDecision=34500 #constraints=11511 191.04/191.18 c nbDecision=35000 #constraints=11587 192.54/192.67 c nbDecision=35500 #constraints=11666 193.14/193.26 c nbDecision=36000 #constraints=11727 193.84/193.91 c nbDecision=36500 #constraints=11776 194.24/194.36 c nbDecision=37000 #constraints=11831 195.84/195.92 c nbDecision=37500 #constraints=11899 196.44/196.50 c nbDecision=38000 #constraints=11959 197.84/197.96 c nbDecision=38500 #constraints=12025 198.54/198.67 c nbDecision=39000 #constraints=12074 200.34/200.49 c nbDecision=39500 #constraints=12178 201.84/201.96 c nbDecision=40000 #constraints=12258 202.34/202.45 c nbDecision=40500 #constraints=12333 203.54/203.64 c nbDecision=41000 #constraints=12380 206.13/206.21 c nbDecision=41500 #constraints=12478 207.03/207.19 c nbDecision=42000 #constraints=12579 208.53/208.67 c nbDecision=42500 #constraints=12653 210.23/210.31 c nbDecision=43000 #constraints=12697 211.23/211.33 c nbDecision=43500 #constraints=12745 211.63/211.72 c nbDecision=44000 #constraints=12795 212.03/212.17 c nbDecision=44500 #constraints=12845 212.63/212.76 c nbDecision=45000 #constraints=12893 213.13/213.25 c nbDecision=45500 #constraints=12940 213.93/214.05 c nbDecision=46000 #constraints=12986 214.53/214.62 c nbDecision=46500 #constraints=13030 214.93/215.07 c nbDecision=47000 #constraints=13076 215.63/215.72 c nbDecision=47500 #constraints=13119 216.53/216.60 c nbDecision=48000 #constraints=13161 218.03/218.19 c nbDecision=48500 #constraints=13214 221.73/221.86 c nbDecision=49000 #constraints=13384 223.34/223.44 c nbDecision=49500 #constraints=13506 225.14/225.28 c nbDecision=50000 #constraints=13604 225.84/225.92 c nbDecision=50500 #constraints=13707 226.54/226.66 c nbDecision=51000 #constraints=13779 226.84/226.93 c restart after 51201 decisions 230.64/230.74 c nbDecision=51500 #constraints=13986 237.63/237.73 c nbDecision=52000 #constraints=14256 244.83/244.99 c nbDecision=52500 #constraints=14462 251.03/251.15 c nbDecision=53000 #constraints=14661 258.22/258.35 c nbDecision=53500 #constraints=14859 265.42/265.50 c nbDecision=54000 #constraints=15065 271.32/271.48 c nbDecision=54500 #constraints=15249 276.72/276.90 c nbDecision=55000 #constraints=15410 286.12/286.25 c nbDecision=55500 #constraints=15527 294.01/294.15 c nbDecision=56000 #constraints=15671 301.81/301.97 c nbDecision=56500 #constraints=15835 306.21/306.37 c nbDecision=57000 #constraints=15942 309.21/309.37 c nbDecision=57500 #constraints=16033 312.11/312.26 c nbDecision=58000 #constraints=16121 315.21/315.32 c nbDecision=58500 #constraints=16215 319.11/319.29 c nbDecision=59000 #constraints=16307 321.90/322.05 c nbDecision=59500 #constraints=16390 324.80/324.91 c nbDecision=60000 #constraints=16473 327.61/327.77 c nbDecision=60500 #constraints=16556 330.60/330.71 c nbDecision=61000 #constraints=16640 333.70/333.80 c nbDecision=61500 #constraints=16721 336.41/336.58 c nbDecision=62000 #constraints=16805 339.31/339.43 c nbDecision=62500 #constraints=16888 342.11/342.27 c nbDecision=63000 #constraints=16971 345.01/345.11 c nbDecision=63500 #constraints=17061 349.31/349.42 c nbDecision=64000 #constraints=17153 352.10/352.27 c nbDecision=64500 #constraints=17237 356.40/356.54 c nbDecision=65000 #constraints=17331 359.30/359.45 c nbDecision=65500 #constraints=17415 362.50/362.62 c nbDecision=66000 #constraints=17497 365.80/365.91 c nbDecision=66500 #constraints=17602 369.70/369.83 c nbDecision=67000 #constraints=17689 373.30/373.48 c nbDecision=67500 #constraints=17791 377.20/377.38 c nbDecision=68000 #constraints=17879 381.29/381.46 c nbDecision=68500 #constraints=17966 384.39/384.52 c nbDecision=69000 #constraints=18050 388.59/388.77 c nbDecision=69500 #constraints=18136 392.79/392.99 c nbDecision=70000 #constraints=18230 395.69/395.83 c nbDecision=70500 #constraints=18313 398.79/398.95 c nbDecision=71000 #constraints=18404 402.29/402.40 c nbDecision=71500 #constraints=18497 404.49/404.64 c nbDecision=72000 #constraints=18567 407.49/407.66 c nbDecision=72500 #constraints=18631 409.69/409.83 c nbDecision=73000 #constraints=18698 412.79/412.94 c nbDecision=73500 #constraints=18761 414.79/414.99 c nbDecision=74000 #constraints=18823 417.99/418.10 c nbDecision=74500 #constraints=18891 420.89/421.03 c nbDecision=75000 #constraints=18954 423.69/423.85 c nbDecision=75500 #constraints=19015 426.29/426.44 c nbDecision=76000 #constraints=19072 429.38/429.54 c nbDecision=76500 #constraints=19128 432.38/432.58 c nbDecision=77000 #constraints=19190 434.18/434.36 c nbDecision=77500 #constraints=19238 437.18/437.31 c nbDecision=78000 #constraints=19297 438.68/438.90 c nbDecision=78500 #constraints=19340 440.38/440.57 c nbDecision=79000 #constraints=19385 443.58/443.71 c nbDecision=79500 #constraints=19446 445.48/445.61 c nbDecision=80000 #constraints=19492 448.58/448.75 c nbDecision=80500 #constraints=19559 450.58/450.78 c nbDecision=81000 #constraints=19601 454.88/455.05 c nbDecision=81500 #constraints=19683 457.78/457.98 c nbDecision=82000 #constraints=19766 460.78/460.92 c nbDecision=82500 #constraints=19822 464.27/464.40 c nbDecision=83000 #constraints=19892 466.28/466.48 c nbDecision=83500 #constraints=19943 469.48/469.69 c nbDecision=84000 #constraints=20006 471.37/471.51 c nbDecision=84500 #constraints=20048 474.67/474.84 c nbDecision=85000 #constraints=20111 478.97/479.19 c nbDecision=85500 #constraints=20194 482.07/482.26 c nbDecision=86000 #constraints=20278 485.57/485.72 c nbDecision=86500 #constraints=20351 487.57/487.75 c nbDecision=87000 #constraints=20394 490.07/490.21 c nbDecision=87500 #constraints=20437 493.36/493.53 c nbDecision=88000 #constraints=20518 496.97/497.18 c nbDecision=88500 #constraints=20598 499.17/499.32 c nbDecision=89000 #constraints=20642 501.66/501.88 c nbDecision=89500 #constraints=20683 505.86/506.08 c nbDecision=90000 #constraints=20759 508.86/509.10 c nbDecision=90500 #constraints=20842 511.96/512.14 c nbDecision=91000 #constraints=20902 516.66/516.85 c nbDecision=91500 #constraints=20982 519.76/519.95 c nbDecision=92000 #constraints=21066 523.26/523.45 c nbDecision=92500 #constraints=21140 526.56/526.71 c nbDecision=93000 #constraints=21217 530.26/530.45 c nbDecision=93500 #constraints=21302 533.86/534.09 c nbDecision=94000 #constraints=21381 536.76/536.96 c nbDecision=94500 #constraints=21456 540.76/540.96 c nbDecision=95000 #constraints=21543 544.46/544.63 c nbDecision=95500 #constraints=21622 546.96/547.16 c nbDecision=96000 #constraints=21696 551.16/551.38 c nbDecision=96500 #constraints=21783 554.86/555.06 c nbDecision=97000 #constraints=21863 556.85/557.02 c nbDecision=97500 #constraints=21908 558.45/558.61 c nbDecision=98000 #constraints=21952 560.55/560.71 c nbDecision=98500 #constraints=22019 564.95/565.15 c nbDecision=99000 #constraints=22110 568.75/568.93 c nbDecision=99500 #constraints=22192 570.55/570.75 c nbDecision=100000 #constraints=22238 572.55/572.71 c nbDecision=100500 #constraints=22292 577.35/577.51 c nbDecision=101000 #constraints=22390 580.65/580.89 c nbDecision=101500 #constraints=22474 583.14/583.31 c nbDecision=102000 #constraints=22522 584.44/584.64 c restart after 102401 decisions 585.84/586.02 c nbDecision=102500 #constraints=22628 595.74/595.91 c nbDecision=103000 #constraints=22897 604.54/604.77 c nbDecision=103500 #constraints=23127 613.43/613.65 c nbDecision=104000 #constraints=23304 623.73/623.90 c nbDecision=104500 #constraints=23476 630.34/630.51 c nbDecision=105000 #constraints=23663 634.34/634.52 c nbDecision=105500 #constraints=23850 640.53/640.71 c nbDecision=106000 #constraints=23994 641.53/641.80 c nbDecision=106500 #constraints=24111 642.83/643.00 c nbDecision=107000 #constraints=24211 644.13/644.36 c nbDecision=107500 #constraints=24311 645.83/646.03 c nbDecision=108000 #constraints=24418 648.03/648.29 c nbDecision=108500 #constraints=24521 649.43/649.66 c nbDecision=109000 #constraints=24624 650.63/650.88 c nbDecision=109500 #constraints=24724 652.63/652.83 c nbDecision=110000 #constraints=24838 653.83/654.00 c nbDecision=110500 #constraints=24945 654.33/654.59 c nbDecision=111000 #constraints=25013 657.13/657.35 c nbDecision=111500 #constraints=25106 658.63/658.82 c nbDecision=112000 #constraints=25207 660.13/660.34 c nbDecision=112500 #constraints=25279 661.93/662.16 c nbDecision=113000 #constraints=25348 663.82/664.06 c nbDecision=113500 #constraints=25438 664.42/664.66 c nbDecision=114000 #constraints=25490 664.92/665.14 c nbDecision=114500 #constraints=25548 665.62/665.82 c nbDecision=115000 #constraints=25596 666.62/666.89 c nbDecision=115500 #constraints=25644 668.02/668.28 c nbDecision=116000 #constraints=25701 669.82/670.03 c nbDecision=116500 #constraints=25760 672.62/672.86 c nbDecision=117000 #constraints=25858 674.72/674.90 c nbDecision=117500 #constraints=25945 675.72/675.99 c nbDecision=118000 #constraints=25992 678.12/678.38 c nbDecision=118500 #constraints=26037 681.62/681.82 c nbDecision=119000 #constraints=26080 682.02/682.27 c nbDecision=119500 #constraints=26129 682.72/682.94 c nbDecision=120000 #constraints=26178 683.42/683.62 c nbDecision=120500 #constraints=26227 684.22/684.41 c nbDecision=121000 #constraints=26275 685.12/685.36 c nbDecision=121500 #constraints=26320 685.72/685.92 c nbDecision=122000 #constraints=26368 686.62/686.84 c nbDecision=122500 #constraints=26410 690.42/690.65 c nbDecision=123000 #constraints=26510 694.32/694.53 c nbDecision=123500 #constraints=26661 696.32/696.59 c nbDecision=124000 #constraints=26784 698.71/698.95 c nbDecision=124500 #constraints=26903 699.61/699.80 c nbDecision=125000 #constraints=26982 700.31/700.50 c nbDecision=125500 #constraints=27063 701.21/701.47 c nbDecision=126000 #constraints=27124 702.81/703.03 c nbDecision=126500 #constraints=27172 705.01/705.25 c nbDecision=127000 #constraints=27259 706.02/706.26 c nbDecision=127500 #constraints=27324 708.31/708.56 c nbDecision=128000 #constraints=27369 709.41/709.69 c nbDecision=128500 #constraints=27425 711.71/711.92 c nbDecision=129000 #constraints=27470 713.41/713.61 c nbDecision=129500 #constraints=27519 713.81/714.03 c nbDecision=130000 #constraints=27583 714.31/714.52 c nbDecision=130500 #constraints=27633 715.11/715.34 c nbDecision=131000 #constraints=27681 719.01/719.22 c nbDecision=131500 #constraints=27783 720.71/720.97 c nbDecision=132000 #constraints=27883 722.61/722.87 c nbDecision=132500 #constraints=27942 723.41/723.66 c nbDecision=133000 #constraints=27988 724.41/724.68 c nbDecision=133500 #constraints=28032 732.90/733.12 c nbDecision=134000 #constraints=28148 739.31/739.51 c nbDecision=134500 #constraints=28304 742.81/743.06 c nbDecision=135000 #constraints=28474 744.31/744.57 c nbDecision=135500 #constraints=28583 746.71/746.98 c nbDecision=136000 #constraints=28701 748.81/749.08 c nbDecision=136500 #constraints=28801 749.61/749.80 c nbDecision=137000 #constraints=28879 750.70/750.99 c nbDecision=137500 #constraints=28944 751.51/751.79 c nbDecision=138000 #constraints=28994 753.10/753.39 c nbDecision=138500 #constraints=29060 754.00/754.24 c nbDecision=139000 #constraints=29127 757.40/757.68 c nbDecision=139500 #constraints=29261 759.81/760.04 c nbDecision=140000 #constraints=29362 760.80/761.01 c nbDecision=140500 #constraints=29421 763.00/763.23 c nbDecision=141000 #constraints=29477 765.90/766.18 c nbDecision=141500 #constraints=29586 767.70/767.97 c nbDecision=142000 #constraints=29686 769.60/769.80 c nbDecision=142500 #constraints=29759 772.10/772.32 c nbDecision=143000 #constraints=29805 774.39/774.65 c nbDecision=143500 #constraints=29850 775.20/775.47 c nbDecision=144000 #constraints=29898 776.40/776.69 c nbDecision=144500 #constraints=29972 776.79/777.09 c nbDecision=145000 #constraints=30023 777.59/777.87 c nbDecision=145500 #constraints=30070 778.29/778.52 c nbDecision=146000 #constraints=30117 781.30/781.54 c nbDecision=146500 #constraints=30175 786.00/786.21 c nbDecision=147000 #constraints=30333 789.40/789.62 c nbDecision=147500 #constraints=30442 791.10/791.37 c nbDecision=148000 #constraints=30566 792.10/792.34 c nbDecision=148500 #constraints=30655 792.90/793.18 c nbDecision=149000 #constraints=30742 794.00/794.27 c nbDecision=149500 #constraints=30791 795.00/795.26 c nbDecision=150000 #constraints=30841 795.90/796.14 c nbDecision=150500 #constraints=30906 797.20/797.44 c nbDecision=151000 #constraints=30970 800.50/800.77 c nbDecision=151500 #constraints=31013 801.49/801.73 c nbDecision=152000 #constraints=31079 803.49/803.72 c nbDecision=152500 #constraints=31169 804.79/805.09 c nbDecision=153000 #constraints=31218 805.49/805.76 c nbDecision=153500 #constraints=31268 808.09/808.31 c nbDecision=154000 #constraints=31338 808.89/809.14 c nbDecision=154500 #constraints=31386 810.29/810.53 c nbDecision=155000 #constraints=31432 816.69/816.96 c nbDecision=155500 #constraints=31555 819.09/819.36 c nbDecision=156000 #constraints=31694 820.59/820.84 c nbDecision=156500 #constraints=31830 823.69/823.91 c nbDecision=157000 #constraints=31932 824.69/824.94 c nbDecision=157500 #constraints=32011 825.89/826.11 c nbDecision=158000 #constraints=32078 826.69/826.95 c nbDecision=158500 #constraints=32127 828.79/829.04 c nbDecision=159000 #constraints=32174 831.58/831.81 c nbDecision=159500 #constraints=32244 832.49/832.71 c nbDecision=160000 #constraints=32309 834.48/834.78 c nbDecision=160500 #constraints=32358 836.68/836.91 c nbDecision=161000 #constraints=32423 837.28/837.58 c nbDecision=161500 #constraints=32472 838.08/838.34 c nbDecision=162000 #constraints=32521 842.08/842.33 c nbDecision=162500 #constraints=32639 845.08/845.38 c nbDecision=163000 #constraints=32740 846.08/846.37 c nbDecision=163500 #constraints=32805 846.78/847.09 c nbDecision=164000 #constraints=32856 847.88/848.19 c nbDecision=164500 #constraints=32903 849.78/850.03 c nbDecision=165000 #constraints=32948 850.88/851.13 c nbDecision=165500 #constraints=32994 852.08/852.32 c nbDecision=166000 #constraints=33040 855.08/855.36 c nbDecision=166500 #constraints=33082 857.37/857.65 c nbDecision=167000 #constraints=33126 857.97/858.21 c nbDecision=167500 #constraints=33176 863.37/863.68 c nbDecision=168000 #constraints=33247 868.57/868.85 c nbDecision=168500 #constraints=33406 870.88/871.12 c nbDecision=169000 #constraints=33529 874.17/874.49 c nbDecision=169500 #constraints=33644 875.17/875.46 c nbDecision=170000 #constraints=33721 876.57/876.80 c nbDecision=170500 #constraints=33776 877.17/877.44 c nbDecision=171000 #constraints=33863 877.88/878.17 c nbDecision=171500 #constraints=33929 878.48/878.75 c nbDecision=172000 #constraints=33996 880.18/880.44 c nbDecision=172500 #constraints=34045 883.08/883.35 c nbDecision=173000 #constraints=34105 885.28/885.52 c nbDecision=173500 #constraints=34152 885.97/886.20 c nbDecision=174000 #constraints=34249 888.77/889.00 c nbDecision=174500 #constraints=34293 889.47/889.79 c nbDecision=175000 #constraints=34342 890.97/891.24 c nbDecision=175500 #constraints=34389 891.97/892.22 c nbDecision=176000 #constraints=34439 894.07/894.37 c nbDecision=176500 #constraints=34483 898.87/899.11 c nbDecision=177000 #constraints=34520 901.27/901.58 c nbDecision=177500 #constraints=34614 902.77/903.07 c nbDecision=178000 #constraints=34702 904.77/905.06 c nbDecision=178500 #constraints=34792 906.17/906.49 c nbDecision=179000 #constraints=34850 907.17/907.42 c nbDecision=179500 #constraints=34900 910.27/910.59 c nbDecision=180000 #constraints=34958 913.16/913.42 c nbDecision=180500 #constraints=35026 916.76/917.06 c nbDecision=181000 #constraints=35074 921.16/921.42 c nbDecision=181500 #constraints=35123 923.96/924.25 c nbDecision=182000 #constraints=35165 925.26/925.53 c nbDecision=182500 #constraints=35207 928.16/928.45 c nbDecision=183000 #constraints=35249 930.16/930.43 c nbDecision=183500 #constraints=35290 932.86/933.13 c nbDecision=184000 #constraints=35331 934.16/934.42 c nbDecision=184500 #constraints=35374 934.96/935.22 c nbDecision=185000 #constraints=35419 936.16/936.42 c nbDecision=185500 #constraints=35463 936.96/937.28 c nbDecision=186000 #constraints=35509 939.16/939.43 c nbDecision=186500 #constraints=35551 940.85/941.19 c nbDecision=187000 #constraints=35593 942.55/942.89 c nbDecision=187500 #constraints=35636 944.56/944.89 c nbDecision=188000 #constraints=35678 947.25/947.59 c nbDecision=188500 #constraints=35719 949.25/949.58 c nbDecision=189000 #constraints=35760 951.45/951.79 c nbDecision=189500 #constraints=35801 953.46/953.73 c nbDecision=190000 #constraints=35842 956.75/957.07 c nbDecision=190500 #constraints=35882 959.65/959.98 c nbDecision=191000 #constraints=35922 960.96/961.30 c nbDecision=191500 #constraints=35981 961.46/961.73 c nbDecision=192000 #constraints=36031 964.46/964.70 c nbDecision=192500 #constraints=36072 968.65/968.91 c nbDecision=193000 #constraints=36111 970.85/971.17 c nbDecision=193500 #constraints=36151 972.85/973.15 c nbDecision=194000 #constraints=36193 973.95/974.24 c nbDecision=194500 #constraints=36235 976.65/976.98 c nbDecision=195000 #constraints=36276 979.35/979.64 c nbDecision=195500 #constraints=36316 981.35/981.66 c nbDecision=196000 #constraints=36358 983.75/984.05 c nbDecision=196500 #constraints=36399 985.05/985.39 c nbDecision=197000 #constraints=36439 986.25/986.52 c nbDecision=197500 #constraints=36478 987.75/988.08 c nbDecision=198000 #constraints=36518 988.95/989.26 c nbDecision=198500 #constraints=36557 992.85/993.11 c nbDecision=199000 #constraints=36593 994.85/995.18 c nbDecision=199500 #constraints=36633 996.15/996.46 c nbDecision=200000 #constraints=36672 998.35/998.61 c nbDecision=200500 #constraints=36711 999.25/999.58 c nbDecision=201000 #constraints=36751 999.84/1000.13 c nbDecision=201500 #constraints=36791 1000.54/1000.88 c nbDecision=202000 #constraints=36830 1002.44/1002.73 c nbDecision=202500 #constraints=36867 1003.04/1003.30 c nbDecision=203000 #constraints=36905 1004.64/1004.97 c nbDecision=203500 #constraints=36944 1006.04/1006.40 c nbDecision=204000 #constraints=36980 1006.64/1006.96 c nbDecision=204500 #constraints=37019 1007.04/1007.39 c restart after 204801 decisions 1012.74/1013.10 c nbDecision=205000 #constraints=37121 1026.83/1027.18 c nbDecision=205500 #constraints=37320 1039.24/1039.55 c nbDecision=206000 #constraints=37481 1050.73/1051.04 c nbDecision=206500 #constraints=37649 1056.23/1056.50 c nbDecision=207000 #constraints=37818 1064.62/1064.99 c nbDecision=207500 #constraints=37971 1066.62/1066.93 c nbDecision=208000 #constraints=38092 1068.92/1069.24 c nbDecision=208500 #constraints=38192 1071.12/1071.46 c nbDecision=209000 #constraints=38292 1073.52/1073.80 c nbDecision=209500 #constraints=38391 1075.72/1076.09 c nbDecision=210000 #constraints=38510 1079.72/1080.06 c nbDecision=210500 #constraints=38638 1083.52/1083.83 c nbDecision=211000 #constraints=38752 1085.82/1086.19 c nbDecision=211500 #constraints=38852 1089.83/1090.19 c nbDecision=212000 #constraints=38958 1092.92/1093.29 c nbDecision=212500 #constraints=39057 1094.82/1095.10 c nbDecision=213000 #constraints=39172 1096.82/1097.10 c nbDecision=213500 #constraints=39270 1098.12/1098.41 c nbDecision=214000 #constraints=39336 1100.42/1100.71 c nbDecision=214500 #constraints=39426 1101.62/1101.90 c nbDecision=215000 #constraints=39484 1104.42/1104.78 c nbDecision=215500 #constraints=39554 1105.62/1105.99 c nbDecision=216000 #constraints=39629 1106.52/1106.90 c nbDecision=216500 #constraints=39679 1107.62/1107.99 c nbDecision=217000 #constraints=39729 1108.82/1109.14 c nbDecision=217500 #constraints=39777 1111.72/1112.08 c nbDecision=218000 #constraints=39846 1116.12/1116.43 c nbDecision=218500 #constraints=39970 1119.42/1119.71 c nbDecision=219000 #constraints=40070 1121.31/1121.69 c nbDecision=219500 #constraints=40120 1122.72/1123.03 c nbDecision=220000 #constraints=40169 1125.71/1126.04 c nbDecision=220500 #constraints=40239 1129.21/1129.57 c nbDecision=221000 #constraints=40282 1133.11/1133.46 c nbDecision=221500 #constraints=40348 1136.91/1137.24 c nbDecision=222000 #constraints=40416 1139.81/1140.17 c nbDecision=222500 #constraints=40516 1142.80/1143.11 c nbDecision=223000 #constraints=40588 1145.10/1145.46 c nbDecision=223500 #constraints=40634 1145.81/1146.19 c nbDecision=224000 #constraints=40683 1146.91/1147.26 c nbDecision=224500 #constraints=40730 1147.90/1148.21 c nbDecision=225000 #constraints=40778 1149.80/1150.15 c nbDecision=225500 #constraints=40821 1151.10/1151.44 c nbDecision=226000 #constraints=40865 1152.30/1152.67 c nbDecision=226500 #constraints=40910 1153.20/1153.59 c nbDecision=227000 #constraints=40958 1160.30/1160.68 c nbDecision=227500 #constraints=41105 1162.60/1163.00 c nbDecision=228000 #constraints=41230 1166.70/1167.03 c nbDecision=228500 #constraints=41350 1167.90/1168.28 c nbDecision=229000 #constraints=41436 1169.60/1169.93 c nbDecision=229500 #constraints=41496 1170.50/1170.85 c nbDecision=230000 #constraints=41553 1171.59/1171.98 c nbDecision=230500 #constraints=41610 1173.79/1174.15 c nbDecision=231000 #constraints=41672 1177.30/1177.63 c nbDecision=231500 #constraints=41717 1178.40/1178.77 c nbDecision=232000 #constraints=41783 1182.30/1182.67 c nbDecision=232500 #constraints=41826 1183.10/1183.46 c nbDecision=233000 #constraints=41875 1184.10/1184.46 c nbDecision=233500 #constraints=41970 1184.70/1185.04 c nbDecision=234000 #constraints=42019 1186.30/1186.66 c nbDecision=234500 #constraints=42066 1187.40/1187.79 c nbDecision=235000 #constraints=42111 1188.60/1188.94 c nbDecision=235500 #constraints=42158 1191.40/1191.70 c nbDecision=236000 #constraints=42202 1197.99/1198.39 c nbDecision=236500 #constraints=42369 1200.80/1201.15 c nbDecision=237000 #constraints=42496 1204.49/1204.87 c nbDecision=237500 #constraints=42612 1205.69/1206.08 c nbDecision=238000 #constraints=42693 1206.79/1207.15 c nbDecision=238500 #constraints=42774 1207.99/1208.34 c nbDecision=239000 #constraints=42840 1209.19/1209.55 c nbDecision=239500 #constraints=42888 1210.19/1210.58 c nbDecision=240000 #constraints=42965 1212.59/1212.93 c nbDecision=240500 #constraints=43011 1215.69/1216.08 c nbDecision=241000 #constraints=43056 1216.89/1217.26 c nbDecision=241500 #constraints=43121 1220.79/1221.14 c nbDecision=242000 #constraints=43165 1221.49/1221.82 c nbDecision=242500 #constraints=43214 1222.39/1222.71 c nbDecision=243000 #constraints=43263 1224.68/1225.00 c nbDecision=243500 #constraints=43308 1229.88/1230.20 c nbDecision=244000 #constraints=43467 1234.18/1234.54 c nbDecision=244500 #constraints=43681 1237.38/1237.70 c nbDecision=245000 #constraints=43864 1240.18/1240.55 c nbDecision=245500 #constraints=43987 1241.48/1241.89 c nbDecision=246000 #constraints=44120 1242.58/1242.90 c nbDecision=246500 #constraints=44262 1243.58/1243.97 c nbDecision=247000 #constraints=44412 1244.38/1244.78 c nbDecision=247500 #constraints=44524 1245.08/1245.50 c nbDecision=248000 #constraints=44617 1245.78/1246.20 c nbDecision=248500 #constraints=44709 1246.68/1247.02 c nbDecision=249000 #constraints=44797 1247.48/1247.82 c nbDecision=249500 #constraints=44885 1248.48/1248.83 c nbDecision=250000 #constraints=44966 1249.38/1249.70 c nbDecision=250500 #constraints=45052 1250.28/1250.69 c nbDecision=251000 #constraints=45157 1251.18/1251.56 c nbDecision=251500 #constraints=45246 1252.07/1252.42 c nbDecision=252000 #constraints=45354 1253.07/1253.41 c nbDecision=252500 #constraints=45437 1253.77/1254.17 c nbDecision=253000 #constraints=45524 1254.37/1254.77 c nbDecision=253500 #constraints=45595 1255.17/1255.59 c nbDecision=254000 #constraints=45682 1255.78/1256.15 c nbDecision=254500 #constraints=45752 1256.47/1256.84 c nbDecision=255000 #constraints=45842 1257.37/1257.77 c nbDecision=255500 #constraints=45905 1259.27/1259.61 c nbDecision=256000 #constraints=45951 1262.58/1262.91 c nbDecision=256500 #constraints=45991 1270.38/1270.79 c nbDecision=257000 #constraints=46125 1273.18/1273.55 c nbDecision=257500 #constraints=46243 1277.38/1277.73 c nbDecision=258000 #constraints=46347 1278.27/1278.64 c nbDecision=258500 #constraints=46427 1279.87/1280.24 c nbDecision=259000 #constraints=46551 1282.67/1283.03 c nbDecision=259500 #constraints=46644 1284.48/1284.89 c nbDecision=260000 #constraints=46696 1285.87/1286.27 c nbDecision=260500 #constraints=46744 1288.07/1288.41 c nbDecision=261000 #constraints=46791 1289.47/1289.88 c nbDecision=261500 #constraints=46855 1292.47/1292.81 c nbDecision=262000 #constraints=46902 1293.57/1293.97 c nbDecision=262500 #constraints=47013 1296.67/1297.06 c nbDecision=263000 #constraints=47060 1299.07/1299.40 c nbDecision=263500 #constraints=47106 1299.77/1300.11 c nbDecision=264000 #constraints=47155 1301.37/1301.78 c nbDecision=264500 #constraints=47243 1303.17/1303.57 c nbDecision=265000 #constraints=47328 1304.27/1304.68 c nbDecision=265500 #constraints=47385 1305.56/1305.94 c nbDecision=266000 #constraints=47430 1307.96/1308.33 c nbDecision=266500 #constraints=47474 1309.06/1309.42 c nbDecision=267000 #constraints=47531 1310.66/1311.10 c nbDecision=267500 #constraints=47577 1317.76/1318.13 c nbDecision=268000 #constraints=47671 1323.36/1323.79 c nbDecision=268500 #constraints=47793 1327.36/1327.71 c nbDecision=269000 #constraints=47916 1329.26/1329.64 c nbDecision=269500 #constraints=48014 1331.46/1331.81 c nbDecision=270000 #constraints=48064 1332.36/1332.76 c nbDecision=270500 #constraints=48129 1333.36/1333.73 c nbDecision=271000 #constraints=48218 1334.86/1335.22 c nbDecision=271500 #constraints=48282 1337.45/1337.85 c nbDecision=272000 #constraints=48330 1340.75/1341.13 c nbDecision=272500 #constraints=48414 1342.66/1343.01 c nbDecision=273000 #constraints=48466 1345.96/1346.33 c nbDecision=273500 #constraints=48515 1346.75/1347.16 c nbDecision=274000 #constraints=48564 1347.55/1347.94 c nbDecision=274500 #constraints=48642 1348.25/1348.67 c nbDecision=275000 #constraints=48691 1349.25/1349.62 c nbDecision=275500 #constraints=48740 1352.15/1352.54 c nbDecision=276000 #constraints=48783 1356.66/1357.03 c nbDecision=276500 #constraints=48948 1358.56/1358.97 c nbDecision=277000 #constraints=49054 1359.96/1360.37 c nbDecision=277500 #constraints=49212 1361.16/1361.52 c nbDecision=278000 #constraints=49348 1362.25/1362.60 c nbDecision=278500 #constraints=49481 1363.05/1363.41 c nbDecision=279000 #constraints=49572 1363.95/1364.34 c nbDecision=279500 #constraints=49680 1364.85/1365.21 c nbDecision=280000 #constraints=49780 1365.65/1366.08 c nbDecision=280500 #constraints=49869 1366.65/1367.05 c nbDecision=281000 #constraints=49956 1367.75/1368.13 c nbDecision=281500 #constraints=50065 1368.75/1369.14 c nbDecision=282000 #constraints=50161 1369.65/1370.07 c nbDecision=282500 #constraints=50266 1371.25/1371.60 c nbDecision=283000 #constraints=50339 1371.95/1372.39 c nbDecision=283500 #constraints=50432 1373.15/1373.55 c nbDecision=284000 #constraints=50516 1373.85/1374.29 c nbDecision=284500 #constraints=50582 1374.55/1374.99 c nbDecision=285000 #constraints=50650 1375.35/1375.71 c nbDecision=285500 #constraints=50716 1375.95/1376.37 c nbDecision=286000 #constraints=50780 1376.75/1377.14 c nbDecision=286500 #constraints=50867 1377.45/1377.88 c nbDecision=287000 #constraints=50956 1378.15/1378.52 c nbDecision=287500 #constraints=51022 1392.25/1392.65 c nbDecision=288000 #constraints=51165 1398.74/1399.18 c nbDecision=288500 #constraints=51307 1403.34/1403.70 c nbDecision=289000 #constraints=51421 1408.04/1408.50 c nbDecision=289500 #constraints=51566 1411.74/1412.12 c nbDecision=290000 #constraints=51666 1413.34/1413.77 c nbDecision=290500 #constraints=51741 1414.54/1414.90 c nbDecision=291000 #constraints=51824 1415.64/1416.04 c nbDecision=291500 #constraints=51911 1416.53/1416.99 c nbDecision=292000 #constraints=51962 1417.73/1418.18 c nbDecision=292500 #constraints=52027 1419.74/1420.12 c nbDecision=293000 #constraints=52075 1422.03/1422.49 c nbDecision=293500 #constraints=52158 1423.73/1424.18 c nbDecision=294000 #constraints=52235 1428.23/1428.60 c nbDecision=294500 #constraints=52300 1431.53/1431.99 c nbDecision=295000 #constraints=52350 1435.53/1435.95 c nbDecision=295500 #constraints=52394 1436.53/1436.93 c nbDecision=296000 #constraints=52443 1437.73/1438.16 c nbDecision=296500 #constraints=52491 1440.04/1440.48 c nbDecision=297000 #constraints=52536 1443.03/1443.49 c nbDecision=297500 #constraints=52581 1457.93/1458.38 c nbDecision=298000 #constraints=52739 1464.63/1465.00 c nbDecision=298500 #constraints=52882 1466.83/1467.29 c nbDecision=299000 #constraints=53007 1471.23/1471.60 c nbDecision=299500 #constraints=53112 1472.43/1472.84 c nbDecision=300000 #constraints=53190 1474.13/1474.55 c nbDecision=300500 #constraints=53255 1475.42/1475.80 c nbDecision=301000 #constraints=53304 1478.12/1478.54 c nbDecision=301500 #constraints=53359 1479.82/1480.22 c nbDecision=302000 #constraints=53416 1481.82/1482.27 c nbDecision=302500 #constraints=53491 1485.22/1485.63 c nbDecision=303000 #constraints=53550 1489.02/1489.41 c nbDecision=303500 #constraints=53594 1490.02/1490.41 c nbDecision=304000 #constraints=53643 1491.52/1491.92 c nbDecision=304500 #constraints=53691 1493.72/1494.17 c nbDecision=305000 #constraints=53741 1497.61/1498.05 c nbDecision=305500 #constraints=53835 1499.71/1500.18 c nbDecision=306000 #constraints=53918 1500.61/1501.07 c nbDecision=306500 #constraints=54013 1501.21/1501.60 c nbDecision=307000 #constraints=54063 1503.71/1504.12 c nbDecision=307500 #constraints=54155 1506.21/1506.69 c nbDecision=308000 #constraints=54226 1509.51/1509.95 c nbDecision=308500 #constraints=54279 1513.91/1514.33 c nbDecision=309000 #constraints=54323 1518.31/1518.79 c nbDecision=309500 #constraints=54371 1519.41/1519.80 c nbDecision=310000 #constraints=54441 1520.11/1520.54 c nbDecision=310500 #constraints=54490 1522.31/1522.72 c nbDecision=311000 #constraints=54540 1525.21/1525.69 c nbDecision=311500 #constraints=54584 1529.71/1530.17 c nbDecision=312000 #constraints=54625 1535.11/1535.59 c nbDecision=312500 #constraints=54663 1540.80/1541.26 c nbDecision=313000 #constraints=54701 1545.20/1545.64 c nbDecision=313500 #constraints=54741 1546.90/1547.37 c nbDecision=314000 #constraints=54784 1549.60/1550.04 c nbDecision=314500 #constraints=54826 1552.50/1552.98 c nbDecision=315000 #constraints=54868 1555.30/1555.73 c nbDecision=315500 #constraints=54911 1556.89/1557.30 c nbDecision=316000 #constraints=54957 1558.09/1558.58 c nbDecision=316500 #constraints=55002 1560.49/1560.97 c nbDecision=317000 #constraints=55044 1563.69/1564.13 c nbDecision=317500 #constraints=55086 1566.89/1567.31 c nbDecision=318000 #constraints=55128 1569.69/1570.13 c nbDecision=318500 #constraints=55170 1572.89/1573.31 c nbDecision=319000 #constraints=55212 1576.69/1577.16 c nbDecision=319500 #constraints=55253 1579.19/1579.61 c nbDecision=320000 #constraints=55295 1583.18/1583.67 c nbDecision=320500 #constraints=55336 1587.08/1587.50 c nbDecision=321000 #constraints=55376 1590.19/1590.66 c nbDecision=321500 #constraints=55442 1590.98/1591.41 c nbDecision=322000 #constraints=55514 1595.18/1595.69 c nbDecision=322500 #constraints=55555 1598.79/1599.27 c nbDecision=323000 #constraints=55596 1604.09/1604.59 c nbDecision=323500 #constraints=55634 1606.69/1607.15 c nbDecision=324000 #constraints=55710 1607.79/1608.28 c nbDecision=324500 #constraints=55772 1611.78/1612.28 c nbDecision=325000 #constraints=55812 1614.48/1614.98 c nbDecision=325500 #constraints=55857 1618.48/1618.96 c nbDecision=326000 #constraints=55898 1619.88/1620.34 c nbDecision=326500 #constraints=55938 1621.38/1621.81 c nbDecision=327000 #constraints=55978 1623.28/1623.73 c nbDecision=327500 #constraints=56018 1625.18/1625.67 c nbDecision=328000 #constraints=56057 1628.38/1628.82 c nbDecision=328500 #constraints=56097 1631.08/1631.59 c nbDecision=329000 #constraints=56139 1634.18/1634.62 c nbDecision=329500 #constraints=56183 1635.77/1636.28 c nbDecision=330000 #constraints=56223 1640.07/1640.50 c nbDecision=330500 #constraints=56259 1644.47/1644.94 c nbDecision=331000 #constraints=56296 1647.67/1648.10 c nbDecision=331500 #constraints=56336 1648.57/1649.08 c nbDecision=332000 #constraints=56377 1649.57/1650.01 c nbDecision=332500 #constraints=56417 1650.77/1651.22 c nbDecision=333000 #constraints=56456 1652.27/1652.75 c nbDecision=333500 #constraints=56495 1653.57/1654.00 c nbDecision=334000 #constraints=56533 1654.87/1655.30 c nbDecision=334500 #constraints=56601 1655.37/1655.85 c nbDecision=335000 #constraints=56669 1655.97/1656.41 c nbDecision=335500 #constraints=56719 1657.37/1657.87 c nbDecision=336000 #constraints=56756 1660.16/1660.60 c nbDecision=336500 #constraints=56793 1660.66/1661.14 c nbDecision=337000 #constraints=56832 1662.46/1662.95 c nbDecision=337500 #constraints=56868 1664.66/1665.10 c nbDecision=338000 #constraints=56901 1665.56/1666.06 c nbDecision=338500 #constraints=56938 1667.86/1668.34 c nbDecision=339000 #constraints=56971 1670.96/1671.42 c nbDecision=339500 #constraints=57005 1673.36/1673.89 c nbDecision=340000 #constraints=57048 1678.36/1678.89 c nbDecision=340500 #constraints=57128 1685.66/1686.11 c nbDecision=341000 #constraints=57234 1690.35/1690.85 c nbDecision=341500 #constraints=57323 1692.85/1693.31 c nbDecision=342000 #constraints=57377 1695.15/1695.63 c nbDecision=342500 #constraints=57424 1697.96/1698.42 c nbDecision=343000 #constraints=57465 1701.26/1701.73 c nbDecision=343500 #constraints=57507 1705.86/1706.39 c nbDecision=344000 #constraints=57547 1711.56/1712.00 c nbDecision=344500 #constraints=57585 1717.25/1717.72 c nbDecision=345000 #constraints=57624 1722.55/1723.02 c nbDecision=345500 #constraints=57662 1728.15/1728.66 c nbDecision=346000 #constraints=57701 1729.15/1729.61 c nbDecision=346500 #constraints=57742 1730.25/1730.70 c nbDecision=347000 #constraints=57783 1733.55/1734.00 c nbDecision=347500 #constraints=57822 1736.15/1736.62 c nbDecision=348000 #constraints=57860 1740.65/1741.12 c nbDecision=348500 #constraints=57897 1744.44/1744.95 c nbDecision=349000 #constraints=57935 1745.44/1745.91 c nbDecision=349500 #constraints=57974 1746.14/1746.61 c nbDecision=350000 #constraints=58014 1748.14/1748.67 c nbDecision=350500 #constraints=58050 1749.04/1749.50 c nbDecision=351000 #constraints=58089 1749.65/1750.18 c nbDecision=351500 #constraints=58128 1751.64/1752.11 c nbDecision=352000 #constraints=58165 1752.04/1752.52 c nbDecision=352500 #constraints=58206 1753.74/1754.21 c nbDecision=353000 #constraints=58243 1756.64/1757.15 c nbDecision=353500 #constraints=58276 1759.04/1759.57 c nbDecision=354000 #constraints=58311 1761.94/1762.42 c nbDecision=354500 #constraints=58352 1765.24/1765.74 c nbDecision=355000 #constraints=58393 1770.64/1771.12 c nbDecision=355500 #constraints=58432 1775.74/1776.26 c nbDecision=356000 #constraints=58472 1783.23/1783.73 c nbDecision=356500 #constraints=58548 1788.53/1789.00 c nbDecision=357000 #constraints=58660 1793.33/1793.85 c nbDecision=357500 #constraints=58729 1795.93/1796.43 c nbDecision=358000 #constraints=58772 1798.43/1798.94 c nbDecision=358500 #constraints=58814 1800.03/1800.50 Received signal 15 1800.03/1800.51 1800.03/1800.51 s UNKNOWN 1800.03/1800.51 1800.03/1800.51 c user time= 1799.83 s 1800.03/1800.51 c system time= 0.217966 s 1800.03/1800.51 c wall clock time=1800.51
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node14/watcher-356901-1176847497 -o ROOT/results/node14/solver-356901-1176847497 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356901-1176847497/instance-356901-1176847497.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.78 0.95 0.98 3/77 1678 /proc/meminfo: memFree=1834952/2055920 swapFree=4145412/4192956 [pid=1678] ppid=1676 vsize=1468 CPUtime=0 /proc/1678/stat : 1678 (oree) R 1676 1678 1621 0 -1 4194304 182 0 0 0 0 0 0 0 18 0 1 0 132667436 1503232 164 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1678/statm: 367 164 131 317 0 46 0 [startup+0.0657561 s] /proc/loadavg: 0.78 0.95 0.98 3/77 1678 /proc/meminfo: memFree=1834952/2055920 swapFree=4145412/4192956 [pid=1678] ppid=1676 vsize=2792 CPUtime=0.06 /proc/1678/stat : 1678 (oree) R 1676 1678 1621 0 -1 4194304 462 0 0 0 6 0 0 0 18 0 1 0 132667436 2859008 444 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1678/statm: 698 444 131 317 0 377 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 2792 [startup+0.101759 s] /proc/loadavg: 0.78 0.95 0.98 3/77 1678 /proc/meminfo: memFree=1834952/2055920 swapFree=4145412/4192956 [pid=1678] ppid=1676 vsize=3524 CPUtime=0.09 /proc/1678/stat : 1678 (oree) R 1676 1678 1621 0 -1 4194304 627 0 0 0 9 0 0 0 18 0 1 0 132667436 3608576 609 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1678/statm: 881 609 131 317 0 560 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3524 [startup+0.301777 s] /proc/loadavg: 0.78 0.95 0.98 3/77 1678 /proc/meminfo: memFree=1834952/2055920 swapFree=4145412/4192956 [pid=1678] ppid=1676 vsize=7400 CPUtime=0.29 /proc/1678/stat : 1678 (oree) R 1676 1678 1621 0 -1 4194304 1485 0 0 0 29 0 0 0 19 0 1 0 132667436 7577600 1467 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1678/statm: 1850 1467 131 317 0 1529 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7400 [startup+0.701816 s] /proc/loadavg: 0.78 0.95 0.98 3/77 1678 /proc/meminfo: memFree=1834952/2055920 swapFree=4145412/4192956 [pid=1678] ppid=1676 vsize=15288 CPUtime=0.69 /proc/1678/stat : 1678 (oree) R 1676 1678 1621 0 -1 4194304 3309 0 0 0 68 1 0 0 23 0 1 0 132667436 15654912 3225 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278904 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1678/statm: 3822 3225 131 317 0 3501 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 15288 [startup+1.50189 s] /proc/loadavg: 0.80 0.95 0.98 2/78 1679 /proc/meminfo: memFree=1815360/2055920 swapFree=4145412/4192956 [pid=1678] ppid=1676 vsize=22772 CPUtime=1.49 /proc/1678/stat : 1678 (oree) R 1676 1678 1621 0 -1 4194304 5115 0 0 0 147 2 0 0 25 0 1 0 132667436 23318528 5031 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563668 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1678/statm: 5693 5031 139 317 0 5372 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 22772 [startup+3.10104 s] /proc/loadavg: 0.80 0.95 0.98 2/78 1679 /proc/meminfo: memFree=1815168/2055920 swapFree=4145412/4192956 [pid=1678] ppid=1676 vsize=22772 CPUtime=3.09 /proc/1678/stat : 1678 (oree) R 1676 1678 1621 0 -1 4194304 5127 0 0 0 307 2 0 0 25 0 1 0 132667436 23318528 5043 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1678/statm: 5693 5043 139 317 0 5372 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 22772 [startup+6.30134 s] /proc/loadavg: 0.80 0.95 0.98 2/78 1679 /proc/meminfo: memFree=1814912/2055920 swapFree=4145412/4192956 [pid=1678] ppid=1676 vsize=22900 CPUtime=6.29 /proc/1678/stat : 1678 (oree) R 1676 1678 1621 0 -1 4194304 5160 0 0 0 627 2 0 0 25 0 1 0 132667436 23449600 5076 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1678/statm: 5725 5076 139 317 0 5404 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 22900 [startup+12.7019 s] /proc/loadavg: 0.83 0.95 0.98 2/78 1679 /proc/meminfo: memFree=1814656/2055920 swapFree=4145412/4192956 [pid=1678] ppid=1676 vsize=23296 CPUtime=12.69 /proc/1678/stat : 1678 (oree) R 1676 1678 1621 0 -1 4194304 5231 0 0 0 1267 2 0 0 25 0 1 0 132667436 23855104 5147 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1678/statm: 5824 5147 139 317 0 5503 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 23296 [startup+25.5012 s] /proc/loadavg: 0.85 0.95 0.98 2/78 1679 /proc/meminfo: memFree=1814400/2055920 swapFree=4145412/4192956 [pid=1678] ppid=1676 vsize=23556 CPUtime=25.48 /proc/1678/stat : 1678 (oree) R 1676 1678 1621 0 -1 4194304 5322 0 0 0 2546 2 0 0 25 0 1 0 132667436 24121344 5238 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1678/statm: 5889 5238 139 317 0 5568 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 23556 [startup+51.1016 s] /proc/loadavg: 0.90 0.96 0.98 2/78 1679 /proc/meminfo: memFree=1813760/2055920 swapFree=4145412/4192956 [pid=1678] ppid=1676 vsize=24384 CPUtime=51.07 /proc/1678/stat : 1678 (oree) R 1676 1678 1621 0 -1 4194304 5488 0 0 0 5105 2 0 0 25 0 1 0 132667436 24969216 5404 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1678/statm: 6096 5404 139 317 0 5775 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 24384 [startup+102.305 s] /proc/loadavg: 0.96 0.96 0.98 2/78 1679 /proc/meminfo: memFree=1811840/2055920 swapFree=4145412/4192956 [pid=1678] ppid=1676 vsize=26088 CPUtime=102.27 /proc/1678/stat : 1678 (oree) R 1676 1678 1621 0 -1 4194304 5951 0 0 0 10223 4 0 0 25 0 1 0 132667436 26714112 5824 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715638 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1678/statm: 6522 5824 139 317 0 6201 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 26088 [startup+162.301 s] /proc/loadavg: 0.98 0.97 0.98 2/78 1679 /proc/meminfo: memFree=1810304/2055920 swapFree=4145412/4192956 [pid=1678] ppid=1676 vsize=27804 CPUtime=162.25 /proc/1678/stat : 1678 (oree) R 1676 1678 1621 0 -1 4194304 6395 0 0 0 16220 5 0 0 25 0 1 0 132667436 28471296 6268 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1678/statm: 6951 6268 139 317 0 6630 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 27804 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 1679 /proc/meminfo: memFree=1808256/2055920 swapFree=4145412/4192956 [pid=1678] ppid=1676 vsize=30164 CPUtime=222.23 /proc/1678/stat : 1678 (oree) R 1676 1678 1621 0 -1 4194304 6997 0 0 0 22218 5 0 0 25 0 1 0 132667436 30887936 6785 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1678/statm: 7541 6785 139 317 0 7220 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 30164 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 1679 /proc/meminfo: memFree=1806912/2055920 swapFree=4145412/4192956 [pid=1678] ppid=1676 vsize=31464 CPUtime=282.22 /proc/1678/stat : 1678 (oree) R 1676 1678 1621 0 -1 4194304 7324 0 0 0 28216 6 0 0 25 0 1 0 132667436 32219136 7112 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1678/statm: 7866 7112 139 317 0 7545 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 31464 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 1679 /proc/meminfo: memFree=1806080/2055920 swapFree=4145412/4192956 [pid=1678] ppid=1676 vsize=32324 CPUtime=342.21 /proc/1678/stat : 1678 (oree) R 1676 1678 1621 0 -1 4194304 7532 0 0 0 34214 7 0 0 25 0 1 0 132667436 33099776 7320 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1678/statm: 8081 7320 139 317 0 7760 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 32324 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 1679 /proc/meminfo: memFree=1805184/2055920 swapFree=4145412/4192956 [pid=1678] ppid=1676 vsize=33152 CPUtime=402.19 /proc/1678/stat : 1678 (oree) R 1676 1678 1621 0 -1 4194304 7755 0 0 0 40211 8 0 0 25 0 1 0 132667436 33947648 7543 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1678/statm: 8288 7543 139 317 0 7967 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 33152 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 1679 /proc/meminfo: memFree=1804416/2055920 swapFree=4145412/4192956 [pid=1678] ppid=1676 vsize=33920 CPUtime=462.17 /proc/1678/stat : 1678 (oree) R 1676 1678 1621 0 -1 4194304 7948 0 0 0 46209 8 0 0 25 0 1 0 132667436 34734080 7736 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1678/statm: 8480 7736 139 317 0 8159 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 33920 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 1679 /proc/meminfo: memFree=1803648/2055920 swapFree=4145412/4192956 [pid=1678] ppid=1676 vsize=34696 CPUtime=522.16 /proc/1678/stat : 1678 (oree) R 1676 1678 1621 0 -1 4194304 8135 0 0 0 52208 8 0 0 25 0 1 0 132667436 35528704 7923 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1678/statm: 8674 7923 139 317 0 8353 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 34696 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 1679 /proc/meminfo: memFree=1802752/2055920 swapFree=4145412/4192956 [pid=1678] ppid=1676 vsize=35600 CPUtime=582.15 /proc/1678/stat : 1678 (oree) R 1676 1678 1621 0 -1 4194304 8350 0 0 0 58206 9 0 0 25 0 1 0 132667436 36454400 8138 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1678/statm: 8900 8138 139 317 0 8579 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 35600 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 1679 /proc/meminfo: memFree=1801856/2055920 swapFree=4145412/4192956 [pid=1678] ppid=1676 vsize=36424 CPUtime=642.14 /proc/1678/stat : 1678 (oree) R 1676 1678 1621 0 -1 4194304 8578 0 0 0 64204 10 0 0 25 0 1 0 132667436 37298176 8366 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1678/statm: 9106 8366 139 317 0 8785 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 36424 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 1679 /proc/meminfo: memFree=1796352/2055920 swapFree=4145412/4192956 [pid=1678] ppid=1676 vsize=42692 CPUtime=882.08 /proc/1678/stat : 1678 (oree) R 1676 1678 1621 0 -1 4194304 10162 0 0 0 88195 13 0 0 25 0 1 0 132667436 43716608 9780 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712585 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1678/statm: 10673 9780 139 317 0 10352 0 Current children cumulated CPU time (s) 882.08 Current children cumulated vsize (KiB) 42692 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 1679 /proc/meminfo: memFree=1795520/2055920 swapFree=4145412/4192956 [pid=1678] ppid=1676 vsize=43596 CPUtime=942.05 /proc/1678/stat : 1678 (oree) R 1676 1678 1621 0 -1 4194304 10408 0 0 0 94192 13 0 0 25 0 1 0 132667436 44642304 9993 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1678/statm: 10899 9993 139 317 0 10578 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 43596 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 1679 /proc/meminfo: memFree=1794880/2055920 swapFree=4145412/4192956 [pid=1678] ppid=1676 vsize=44236 CPUtime=1002.04 /proc/1678/stat : 1678 (oree) R 1676 1678 1621 0 -1 4194304 10581 0 0 0 100190 14 0 0 25 0 1 0 132667436 45297664 10166 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711091 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1678/statm: 11059 10166 139 317 0 10738 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 44236 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 1679 /proc/meminfo: memFree=1794176/2055920 swapFree=4145412/4192956 [pid=1678] ppid=1676 vsize=44772 CPUtime=1062.02 /proc/1678/stat : 1678 (oree) R 1676 1678 1621 0 -1 4194304 10726 0 0 0 106188 14 0 0 25 0 1 0 132667436 45846528 10311 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563625 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1678/statm: 11193 10311 139 317 0 10872 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 44772 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 1679 /proc/meminfo: memFree=1792896/2055920 swapFree=4145412/4192956 [pid=1678] ppid=1676 vsize=45952 CPUtime=1122.01 /proc/1678/stat : 1678 (oree) R 1676 1678 1621 0 -1 4194304 11034 0 0 0 112186 15 0 0 25 0 1 0 132667436 47054848 10619 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1678/statm: 11488 10619 139 317 0 11167 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 45952 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 1679 /proc/meminfo: memFree=1792000/2055920 swapFree=4145412/4192956 [pid=1678] ppid=1676 vsize=47016 CPUtime=1182 /proc/1678/stat : 1678 (oree) R 1676 1678 1621 0 -1 4194304 11265 0 0 0 118184 16 0 0 25 0 1 0 132667436 48144384 10850 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718662 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1678/statm: 11754 10850 139 317 0 11433 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 47016 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 1679 /proc/meminfo: memFree=1790656/2055920 swapFree=4145412/4192956 [pid=1678] ppid=1676 vsize=48220 CPUtime=1241.98 /proc/1678/stat : 1678 (oree) R 1676 1678 1621 0 -1 4194304 11601 0 0 0 124182 16 0 0 25 0 1 0 132667436 49377280 11186 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1678/statm: 12055 11186 139 317 0 11734 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 48220 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 1679 /proc/meminfo: memFree=1788800/2055920 swapFree=4145412/4192956 [pid=1678] ppid=1676 vsize=50044 CPUtime=1301.97 /proc/1678/stat : 1678 (oree) R 1676 1678 1621 0 -1 4194304 12058 0 0 0 130180 17 0 0 25 0 1 0 132667436 51245056 11643 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1678/statm: 12511 11643 139 317 0 12190 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 50044 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 1679 /proc/meminfo: memFree=1787648/2055920 swapFree=4145412/4192956 [pid=1678] ppid=1676 vsize=54148 CPUtime=1361.95 /proc/1678/stat : 1678 (oree) R 1676 1678 1621 0 -1 4194304 13090 0 0 0 136177 18 0 0 25 0 1 0 132667436 55447552 12337 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1678/statm: 13537 12337 139 317 0 13216 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 54148 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.98 2/78 1679 /proc/meminfo: memFree=1785856/2055920 swapFree=4145412/4192956 [pid=1678] ppid=1676 vsize=54148 CPUtime=1421.94 /proc/1678/stat : 1678 (oree) R 1676 1678 1621 0 -1 4194304 13126 0 0 0 142176 18 0 0 25 0 1 0 132667436 55447552 12373 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606843 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1678/statm: 13537 12373 139 317 0 13216 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 54148 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 1679 /proc/meminfo: memFree=1785152/2055920 swapFree=4145412/4192956 [pid=1678] ppid=1676 vsize=54808 CPUtime=1481.92 /proc/1678/stat : 1678 (oree) R 1676 1678 1621 0 -1 4194304 13309 0 0 0 148173 19 0 0 25 0 1 0 132667436 56123392 12556 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562651 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1678/statm: 13702 12556 139 317 0 13381 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 54808 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 1679 /proc/meminfo: memFree=1784384/2055920 swapFree=4145412/4192956 [pid=1678] ppid=1676 vsize=55576 CPUtime=1541.9 /proc/1678/stat : 1678 (oree) R 1676 1678 1621 0 -1 4194304 13512 0 0 0 154171 19 0 0 25 0 1 0 132667436 56909824 12726 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1678/statm: 13894 12726 139 317 0 13573 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 55576 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 1679 /proc/meminfo: memFree=1783936/2055920 swapFree=4145412/4192956 [pid=1678] ppid=1676 vsize=56092 CPUtime=1601.89 /proc/1678/stat : 1678 (oree) R 1676 1678 1621 0 -1 4194304 13635 0 0 0 160169 20 0 0 25 0 1 0 132667436 57438208 12849 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1678/statm: 14023 12849 139 317 0 13702 0 Current children cumulated CPU time (s) 1601.89 Current children cumulated vsize (KiB) 56092 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 1679 /proc/meminfo: memFree=1783232/2055920 swapFree=4145412/4192956 [pid=1678] ppid=1676 vsize=56612 CPUtime=1661.86 /proc/1678/stat : 1678 (oree) R 1676 1678 1621 0 -1 4194304 13807 0 0 0 166166 20 0 0 25 0 1 0 132667436 57970688 13021 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1678/statm: 14153 13021 139 317 0 13832 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 56612 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 1679 /proc/meminfo: memFree=1782784/2055920 swapFree=4145412/4192956 [pid=1678] ppid=1676 vsize=57124 CPUtime=1721.85 /proc/1678/stat : 1678 (oree) R 1676 1678 1621 0 -1 4194304 13923 0 0 0 172164 21 0 0 25 0 1 0 132667436 58494976 13137 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1678/statm: 14281 13137 139 317 0 13960 0 Current children cumulated CPU time (s) 1721.85 Current children cumulated vsize (KiB) 57124 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 1679 /proc/meminfo: memFree=1782272/2055920 swapFree=4145412/4192956 [pid=1678] ppid=1676 vsize=57504 CPUtime=1781.83 /proc/1678/stat : 1678 (oree) R 1676 1678 1621 0 -1 4194304 14044 0 0 0 178162 21 0 0 25 0 1 0 132667436 58884096 13258 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1678/statm: 14376 13258 139 317 0 14055 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 57504 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 0.99 0.97 0.98 2/78 1679 /proc/meminfo: memFree=1782144/2055920 swapFree=4145412/4192956 [pid=1678] ppid=1676 vsize=57760 CPUtime=1800.03 /proc/1678/stat : 1678 (oree) R 1676 1678 1621 0 -1 4194304 14084 0 0 0 179982 21 0 0 25 0 1 0 132667436 59146240 13298 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1678/statm: 14440 13298 139 317 0 14119 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 57760 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 0.99 0.97 0.98 2/78 1679 /proc/meminfo: memFree=1782144/2055920 swapFree=4145412/4192956 [pid=1678] ppid=1676 vsize=57760 CPUtime=1800.03 /proc/1678/stat : 1678 (oree) R 1676 1678 1621 0 -1 4194304 14084 0 0 0 179982 21 0 0 25 0 1 0 132667436 59146240 13298 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1678/statm: 14440 13298 139 317 0 14119 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 57760 Child status: 0 Real time (s): 1800.54 CPU time (s): 1800.07 CPU user time (s): 1799.84 CPU system time (s): 0.228965 CPU usage (%): 99.9742 Max. virtual memory (cumulated for all children) (KiB): 57760 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.84 system time used= 0.228965 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 14100 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= 37428 runsolver used 2.14867 second user time and 4.33234 second system time The end
Begin job on node14 on Tue Apr 17 22:04:57 UTC 2007 IDJOB= 356901 IDBENCH= 1613 IDSOLVER= 172 FILE ID= node14/356901-1176847497 PBS_JOBID= 4590212 Free space on /tmp= 66296 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-blp-ic98.opb COMMAND LINE= oree /tmp/evaluation/356901-1176847497/instance-356901-1176847497.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node14/watcher-356901-1176847497 -o ROOT/results/node14/solver-356901-1176847497 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356901-1176847497/instance-356901-1176847497.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= cf56ee4a2e10a22486df8fb664e91027 RANDOM SEED= 256929131 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node14.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.227 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.227 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: 1835424 kB Buffers: 32612 kB Cached: 120492 kB SwapCached: 14788 kB Active: 68076 kB Inactive: 111060 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1835424 kB SwapTotal: 4192956 kB SwapFree: 4145412 kB Dirty: 3444 kB Writeback: 0 kB Mapped: 29556 kB Slab: 26860 kB Committed_AS: 6573920 kB PageTables: 1784 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= 66296 MiB End job on node14 on Tue Apr 17 22:34:59 UTC 2007