Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.13 | 1800.88 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-greenbea.opb |
MD5SUM | fed9726f7ff3b53e29a48b8849ad3d9b |
Bench Category | OPT-BIGINT (optimisation, big 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 | 155427 |
Total number of constraints | 2674 |
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 | 2674 |
Minimum length of a constraint | 11 |
Maximum length of a constraint | 7267 |
Number of terms in the objective function | 15205 |
Biggest coefficient in the objective function | 536870912000000 |
Number of bits for the biggest coefficient in the objective function | 49 |
Sum of the numbers in the objective function | 11303756896327816 |
Number of bits of the sum of numbers in the objective function | 54 |
Biggest number in a constraint | 536870912000000 |
Number of bits of the biggest number in a constraint | 49 |
Biggest sum of numbers in a constraint | 24454743822989865 |
Number of bits of the biggest sum of numbers | 55 |
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... 3.99/4.02 c ...done 3.99/4.02 c #vars=155427 #constraints=4867 hasObjective=yes 4.79/4.86 c res. mode=mod 4.79/4.86 c VSIDS like heuristics 4.79/4.86 c complete search running 34.68/34.74 c restart after 401 decisions 40.38/40.45 c nbDecision=500 #constraints=5319 63.67/63.80 c restart after 801 decisions 77.16/77.28 c nbDecision=1000 #constraints=5797 116.45/116.55 c nbDecision=1500 #constraints=6299 124.84/124.96 c restart after 1601 decisions 154.43/154.57 c nbDecision=2000 #constraints=6779 157.83/157.91 c nbDecision=2500 #constraints=6816 160.03/160.12 c nbDecision=3000 #constraints=6827 160.93/161.02 c restart after 3201 decisions 162.23/162.36 c nbDecision=3500 #constraints=6847 164.43/164.58 c nbDecision=4000 #constraints=6854 166.73/166.83 c nbDecision=4500 #constraints=6878 168.92/169.05 c nbDecision=5000 #constraints=6890 171.12/171.26 c nbDecision=5500 #constraints=6898 173.32/173.47 c nbDecision=6000 #constraints=6909 175.12/175.25 c restart after 6401 decisions 175.52/175.68 c nbDecision=6500 #constraints=6916 177.82/177.91 c nbDecision=7000 #constraints=6922 180.02/180.14 c nbDecision=7500 #constraints=6929 182.22/182.37 c nbDecision=8000 #constraints=6933 184.42/184.59 c nbDecision=8500 #constraints=6937 186.71/186.81 c nbDecision=9000 #constraints=6943 188.91/189.02 c nbDecision=9500 #constraints=6948 191.11/191.23 c nbDecision=10000 #constraints=6952 193.31/193.43 c nbDecision=10500 #constraints=6954 195.51/195.63 c nbDecision=11000 #constraints=6955 197.71/197.85 c nbDecision=11500 #constraints=6957 199.91/200.08 c nbDecision=12000 #constraints=6960 202.21/202.30 c nbDecision=12500 #constraints=6962 203.51/203.64 c restart after 12801 decisions 204.41/204.52 c nbDecision=13000 #constraints=6963 206.61/206.74 c nbDecision=13500 #constraints=6967 208.81/208.94 c nbDecision=14000 #constraints=6969 211.02/211.15 c nbDecision=14500 #constraints=6971 213.22/213.36 c nbDecision=15000 #constraints=6979 215.41/215.58 c nbDecision=15500 #constraints=6993 217.71/217.81 c nbDecision=16000 #constraints=6999 219.91/220.04 c nbDecision=16500 #constraints=7006 222.11/222.27 c nbDecision=17000 #constraints=7011 224.41/224.50 c nbDecision=17500 #constraints=7016 226.61/226.71 c nbDecision=18000 #constraints=7020 228.80/228.92 c nbDecision=18500 #constraints=7023 231.00/231.12 c nbDecision=19000 #constraints=7025 233.20/233.33 c nbDecision=19500 #constraints=7029 235.40/235.53 c nbDecision=20000 #constraints=7032 237.60/237.75 c nbDecision=20500 #constraints=7034 239.80/239.98 c nbDecision=21000 #constraints=7037 242.10/242.20 c nbDecision=21500 #constraints=7039 244.29/244.43 c nbDecision=22000 #constraints=7041 246.49/246.64 c nbDecision=22500 #constraints=7043 248.69/248.84 c nbDecision=23000 #constraints=7046 250.89/251.04 c nbDecision=23500 #constraints=7052 253.09/253.25 c nbDecision=24000 #constraints=7057 255.29/255.46 c nbDecision=24500 #constraints=7065 257.49/257.69 c nbDecision=25000 #constraints=7078 259.79/259.92 c nbDecision=25500 #constraints=7084 260.19/260.37 c restart after 25601 decisions 261.99/262.15 c nbDecision=26000 #constraints=7088 264.19/264.38 c nbDecision=26500 #constraints=7090 266.38/266.60 c nbDecision=27000 #constraints=7091 268.68/268.81 c nbDecision=27500 #constraints=7094 270.88/271.03 c nbDecision=28000 #constraints=7096 273.08/273.24 c nbDecision=28500 #constraints=7099 275.28/275.45 c nbDecision=29000 #constraints=7101 277.48/277.69 c nbDecision=29500 #constraints=7103 279.78/279.92 c nbDecision=30000 #constraints=7105 281.98/282.15 c nbDecision=30500 #constraints=7106 284.17/284.38 c nbDecision=31000 #constraints=7108 286.47/286.61 c nbDecision=31500 #constraints=7118 288.68/288.83 c nbDecision=32000 #constraints=7124 290.88/291.04 c nbDecision=32500 #constraints=7128 293.08/293.25 c nbDecision=33000 #constraints=7134 295.28/295.46 c nbDecision=33500 #constraints=7139 297.48/297.69 c nbDecision=34000 #constraints=7141 299.78/299.92 c nbDecision=34500 #constraints=7144 301.98/302.14 c nbDecision=35000 #constraints=7146 304.18/304.38 c nbDecision=35500 #constraints=7156 306.47/306.60 c nbDecision=36000 #constraints=7161 308.67/308.81 c nbDecision=36500 #constraints=7167 310.87/311.02 c nbDecision=37000 #constraints=7171 313.07/313.22 c nbDecision=37500 #constraints=7174 315.27/315.43 c nbDecision=38000 #constraints=7180 317.47/317.66 c nbDecision=38500 #constraints=7189 319.67/319.88 c nbDecision=39000 #constraints=7193 321.97/322.10 c nbDecision=39500 #constraints=7198 324.16/324.32 c nbDecision=40000 #constraints=7201 326.36/326.53 c nbDecision=40500 #constraints=7206 328.56/328.73 c nbDecision=41000 #constraints=7209 330.76/330.92 c nbDecision=41500 #constraints=7211 332.96/333.12 c nbDecision=42000 #constraints=7214 335.16/335.32 c nbDecision=42500 #constraints=7218 337.36/337.54 c nbDecision=43000 #constraints=7220 339.56/339.76 c nbDecision=43500 #constraints=7223 341.76/341.97 c nbDecision=44000 #constraints=7225 343.96/344.19 c nbDecision=44500 #constraints=7228 346.15/346.40 c nbDecision=45000 #constraints=7231 348.46/348.61 c nbDecision=45500 #constraints=7240 350.66/350.81 c nbDecision=46000 #constraints=7243 352.85/353.02 c nbDecision=46500 #constraints=7259 355.05/355.23 c nbDecision=47000 #constraints=7265 357.25/357.45 c nbDecision=47500 #constraints=7272 359.45/359.67 c nbDecision=48000 #constraints=7275 361.65/361.88 c nbDecision=48500 #constraints=7278 363.85/364.10 c nbDecision=49000 #constraints=7281 366.15/366.31 c nbDecision=49500 #constraints=7286 368.35/368.50 c nbDecision=50000 #constraints=7289 370.55/370.70 c nbDecision=50500 #constraints=7293 372.64/372.90 c nbDecision=51000 #constraints=7296 373.55/373.79 c restart after 51201 decisions 374.95/375.11 c nbDecision=51500 #constraints=7297 377.15/377.34 c nbDecision=52000 #constraints=7299 379.35/379.57 c nbDecision=52500 #constraints=7301 381.65/381.80 c nbDecision=53000 #constraints=7303 383.84/384.04 c nbDecision=53500 #constraints=7305 386.04/386.26 c nbDecision=54000 #constraints=7307 388.24/388.48 c nbDecision=54500 #constraints=7309 390.44/390.69 c nbDecision=55000 #constraints=7311 392.74/392.90 c nbDecision=55500 #constraints=7313 394.94/395.11 c nbDecision=56000 #constraints=7315 397.14/397.34 c nbDecision=56500 #constraints=7317 399.33/399.57 c nbDecision=57000 #constraints=7318 401.63/401.81 c nbDecision=57500 #constraints=7323 403.83/404.05 c nbDecision=58000 #constraints=7329 406.03/406.27 c nbDecision=58500 #constraints=7331 408.23/408.48 c nbDecision=59000 #constraints=7339 410.43/410.69 c nbDecision=59500 #constraints=7343 412.63/412.89 c nbDecision=60000 #constraints=7346 414.82/415.09 c nbDecision=60500 #constraints=7349 417.12/417.30 c nbDecision=61000 #constraints=7352 419.32/419.53 c nbDecision=61500 #constraints=7355 421.52/421.75 c nbDecision=62000 #constraints=7360 423.72/423.98 c nbDecision=62500 #constraints=7369 425.92/426.20 c nbDecision=63000 #constraints=7373 428.22/428.40 c nbDecision=63500 #constraints=7376 430.32/430.60 c nbDecision=64000 #constraints=7379 432.52/432.80 c nbDecision=64500 #constraints=7382 434.72/435.00 c nbDecision=65000 #constraints=7385 437.02/437.21 c nbDecision=65500 #constraints=7388 439.22/439.43 c nbDecision=66000 #constraints=7394 441.42/441.65 c nbDecision=66500 #constraints=7397 443.62/443.87 c nbDecision=67000 #constraints=7400 445.82/446.08 c nbDecision=67500 #constraints=7403 448.02/448.27 c nbDecision=68000 #constraints=7406 450.21/450.47 c nbDecision=68500 #constraints=7409 452.41/452.67 c nbDecision=69000 #constraints=7412 454.61/454.86 c nbDecision=69500 #constraints=7415 456.81/457.07 c nbDecision=70000 #constraints=7418 459.01/459.29 c nbDecision=70500 #constraints=7421 461.31/461.50 c nbDecision=71000 #constraints=7424 463.51/463.72 c nbDecision=71500 #constraints=7428 465.71/465.93 c nbDecision=72000 #constraints=7431 467.90/468.13 c nbDecision=72500 #constraints=7435 470.10/470.32 c nbDecision=73000 #constraints=7438 472.30/472.52 c nbDecision=73500 #constraints=7442 474.50/474.72 c nbDecision=74000 #constraints=7445 476.70/476.93 c nbDecision=74500 #constraints=7451 478.90/479.15 c nbDecision=75000 #constraints=7455 481.10/481.37 c nbDecision=75500 #constraints=7458 483.30/483.58 c nbDecision=76000 #constraints=7462 485.59/485.80 c nbDecision=76500 #constraints=7466 487.79/488.00 c nbDecision=77000 #constraints=7470 489.99/490.20 c nbDecision=77500 #constraints=7474 492.19/492.40 c nbDecision=78000 #constraints=7477 494.39/494.60 c nbDecision=78500 #constraints=7481 496.59/496.82 c nbDecision=79000 #constraints=7485 498.79/499.04 c nbDecision=79500 #constraints=7488 500.99/501.26 c nbDecision=80000 #constraints=7492 503.18/503.48 c nbDecision=80500 #constraints=7496 505.48/505.70 c nbDecision=81000 #constraints=7500 507.68/507.90 c nbDecision=81500 #constraints=7504 509.78/510.09 c nbDecision=82000 #constraints=7508 511.98/512.29 c nbDecision=82500 #constraints=7512 514.18/514.49 c nbDecision=83000 #constraints=7517 516.48/516.71 c nbDecision=83500 #constraints=7530 518.68/518.93 c nbDecision=84000 #constraints=7535 520.88/521.15 c nbDecision=84500 #constraints=7541 523.07/523.36 c nbDecision=85000 #constraints=7546 525.27/525.60 c nbDecision=85500 #constraints=7559 527.47/527.79 c nbDecision=86000 #constraints=7565 529.67/530.00 c nbDecision=86500 #constraints=7571 531.97/532.20 c nbDecision=87000 #constraints=7577 534.18/534.40 c nbDecision=87500 #constraints=7585 536.38/536.61 c nbDecision=88000 #constraints=7593 538.57/538.83 c nbDecision=88500 #constraints=7601 540.77/541.05 c nbDecision=89000 #constraints=7610 542.97/543.28 c nbDecision=89500 #constraints=7621 545.28/545.51 c nbDecision=90000 #constraints=7633 547.47/547.72 c nbDecision=90500 #constraints=7645 549.67/549.94 c nbDecision=91000 #constraints=7665 552.07/552.35 c nbDecision=91500 #constraints=7699 554.26/554.57 c nbDecision=92000 #constraints=7701 556.56/556.87 c nbDecision=92500 #constraints=7719 558.86/559.17 c nbDecision=93000 #constraints=7732 561.16/561.45 c nbDecision=93500 #constraints=7743 563.46/563.71 c nbDecision=94000 #constraints=7750 565.76/566.03 c nbDecision=94500 #constraints=7768 568.16/568.40 c nbDecision=95000 #constraints=7794 570.45/570.72 c nbDecision=95500 #constraints=7813 572.65/573.00 c nbDecision=96000 #constraints=7826 575.16/575.41 c nbDecision=96500 #constraints=7854 577.46/577.76 c nbDecision=97000 #constraints=7874 579.86/580.16 c nbDecision=97500 #constraints=7896 582.25/582.51 c nbDecision=98000 #constraints=7913 584.55/584.86 c nbDecision=98500 #constraints=7932 586.85/587.20 c nbDecision=99000 #constraints=7951 589.35/589.61 c nbDecision=99500 #constraints=7984 591.55/591.89 c nbDecision=100000 #constraints=7993 593.94/594.22 c nbDecision=100500 #constraints=8011 596.35/596.63 c nbDecision=101000 #constraints=8038 598.75/599.02 c nbDecision=101500 #constraints=8058 601.05/601.35 c nbDecision=102000 #constraints=8070 602.95/603.21 c restart after 102401 decisions 603.35/603.67 c nbDecision=102500 #constraints=8079 605.64/605.92 c nbDecision=103000 #constraints=8081 607.84/608.15 c nbDecision=103500 #constraints=8083 610.04/610.39 c nbDecision=104000 #constraints=8085 612.34/612.63 c nbDecision=104500 #constraints=8087 614.54/614.86 c nbDecision=105000 #constraints=8089 616.84/617.11 c nbDecision=105500 #constraints=8091 619.04/619.36 c nbDecision=106000 #constraints=8093 621.34/621.62 c nbDecision=106500 #constraints=8095 623.54/623.88 c nbDecision=107000 #constraints=8100 625.84/626.13 c nbDecision=107500 #constraints=8104 628.03/628.36 c nbDecision=108000 #constraints=8110 630.23/630.60 c nbDecision=108500 #constraints=8117 632.53/632.83 c nbDecision=109000 #constraints=8121 634.73/635.06 c nbDecision=109500 #constraints=8123 637.03/637.30 c nbDecision=110000 #constraints=8126 639.23/639.54 c nbDecision=110500 #constraints=8128 641.52/641.80 c nbDecision=111000 #constraints=8131 643.72/644.04 c nbDecision=111500 #constraints=8133 645.92/646.28 c nbDecision=112000 #constraints=8135 648.22/648.51 c nbDecision=112500 #constraints=8138 650.42/650.73 c nbDecision=113000 #constraints=8141 652.62/652.95 c nbDecision=113500 #constraints=8144 654.82/655.18 c nbDecision=114000 #constraints=8147 657.12/657.41 c nbDecision=114500 #constraints=8150 659.31/659.65 c nbDecision=115000 #constraints=8153 661.51/661.89 c nbDecision=115500 #constraints=8156 663.81/664.14 c nbDecision=116000 #constraints=8159 666.01/666.37 c nbDecision=116500 #constraints=8162 668.31/668.60 c nbDecision=117000 #constraints=8171 670.51/670.82 c nbDecision=117500 #constraints=8176 672.72/673.03 c nbDecision=118000 #constraints=8180 674.92/675.24 c nbDecision=118500 #constraints=8184 677.12/677.48 c nbDecision=119000 #constraints=8188 679.42/679.71 c nbDecision=119500 #constraints=8193 681.62/681.95 c nbDecision=120000 #constraints=8197 683.82/684.19 c nbDecision=120500 #constraints=8203 686.12/686.42 c nbDecision=121000 #constraints=8206 688.31/688.63 c nbDecision=121500 #constraints=8210 690.51/690.85 c nbDecision=122000 #constraints=8214 692.71/693.06 c nbDecision=122500 #constraints=8218 694.91/695.28 c nbDecision=123000 #constraints=8222 697.21/697.51 c nbDecision=123500 #constraints=8226 699.40/699.74 c nbDecision=124000 #constraints=8231 701.60/701.97 c nbDecision=124500 #constraints=8239 703.90/704.21 c nbDecision=125000 #constraints=8250 706.10/706.44 c nbDecision=125500 #constraints=8259 708.30/708.65 c nbDecision=126000 #constraints=8266 710.50/710.85 c nbDecision=126500 #constraints=8269 712.70/713.06 c nbDecision=127000 #constraints=8273 714.90/715.29 c nbDecision=127500 #constraints=8276 717.20/717.53 c nbDecision=128000 #constraints=8279 719.39/719.79 c nbDecision=128500 #constraints=8282 721.69/722.04 c nbDecision=129000 #constraints=8285 723.89/724.29 c nbDecision=129500 #constraints=8290 726.19/726.52 c nbDecision=130000 #constraints=8294 728.39/728.74 c nbDecision=130500 #constraints=8297 730.59/730.96 c nbDecision=131000 #constraints=8303 732.79/733.18 c nbDecision=131500 #constraints=8310 735.09/735.40 c nbDecision=132000 #constraints=8320 737.29/737.63 c nbDecision=132500 #constraints=8325 739.48/739.88 c nbDecision=133000 #constraints=8330 741.78/742.13 c nbDecision=133500 #constraints=8334 743.98/744.38 c nbDecision=134000 #constraints=8339 746.28/746.61 c nbDecision=134500 #constraints=8347 748.48/748.82 c nbDecision=135000 #constraints=8352 750.68/751.03 c nbDecision=135500 #constraints=8358 752.88/753.24 c nbDecision=136000 #constraints=8362 755.08/755.45 c nbDecision=136500 #constraints=8365 757.38/757.70 c nbDecision=137000 #constraints=8372 759.57/759.96 c nbDecision=137500 #constraints=8378 761.88/762.21 c nbDecision=138000 #constraints=8383 764.08/764.46 c nbDecision=138500 #constraints=8388 766.38/766.70 c nbDecision=139000 #constraints=8391 768.57/768.93 c nbDecision=139500 #constraints=8400 770.77/771.16 c nbDecision=140000 #constraints=8403 772.97/773.38 c nbDecision=140500 #constraints=8408 775.26/775.62 c nbDecision=141000 #constraints=8414 777.47/777.86 c nbDecision=141500 #constraints=8417 779.77/780.10 c nbDecision=142000 #constraints=8420 781.97/782.37 c nbDecision=142500 #constraints=8428 784.27/784.62 c nbDecision=143000 #constraints=8431 786.47/786.87 c nbDecision=143500 #constraints=8435 788.77/789.12 c nbDecision=144000 #constraints=8444 790.97/791.36 c nbDecision=144500 #constraints=8455 793.16/793.59 c nbDecision=145000 #constraints=8468 795.46/795.81 c nbDecision=145500 #constraints=8478 797.66/798.05 c nbDecision=146000 #constraints=8487 799.86/800.28 c nbDecision=146500 #constraints=8494 802.16/802.51 c nbDecision=147000 #constraints=8501 804.36/804.74 c nbDecision=147500 #constraints=8508 806.56/806.96 c nbDecision=148000 #constraints=8517 808.75/809.17 c nbDecision=148500 #constraints=8524 810.95/811.39 c nbDecision=149000 #constraints=8532 813.25/813.60 c nbDecision=149500 #constraints=8540 815.45/815.82 c nbDecision=150000 #constraints=8548 817.65/818.05 c nbDecision=150500 #constraints=8557 819.85/820.28 c nbDecision=151000 #constraints=8567 822.15/822.52 c nbDecision=151500 #constraints=8579 824.35/824.76 c nbDecision=152000 #constraints=8593 826.54/826.99 c nbDecision=152500 #constraints=8611 828.84/829.21 c nbDecision=153000 #constraints=8623 831.04/831.42 c nbDecision=153500 #constraints=8635 833.64/834.01 c nbDecision=154000 #constraints=8655 835.84/836.29 c nbDecision=154500 #constraints=8660 838.14/838.60 c nbDecision=155000 #constraints=8678 840.44/840.88 c nbDecision=155500 #constraints=8686 842.73/843.17 c nbDecision=156000 #constraints=8692 845.13/845.52 c nbDecision=156500 #constraints=8711 847.34/847.77 c nbDecision=157000 #constraints=8718 849.74/850.11 c nbDecision=157500 #constraints=8740 851.94/852.36 c nbDecision=158000 #constraints=8747 854.24/854.64 c nbDecision=158500 #constraints=8761 856.44/856.89 c nbDecision=159000 #constraints=8767 858.74/859.14 c nbDecision=159500 #constraints=8771 860.94/861.39 c nbDecision=160000 #constraints=8775 863.23/863.64 c nbDecision=160500 #constraints=8783 865.43/865.89 c nbDecision=161000 #constraints=8789 867.73/868.12 c nbDecision=161500 #constraints=8792 869.93/870.35 c nbDecision=162000 #constraints=8796 872.13/872.58 c nbDecision=162500 #constraints=8800 874.43/874.81 c nbDecision=163000 #constraints=8804 876.63/877.05 c nbDecision=163500 #constraints=8808 878.92/879.31 c nbDecision=164000 #constraints=8813 881.12/881.55 c nbDecision=164500 #constraints=8816 883.42/883.80 c nbDecision=165000 #constraints=8826 885.62/886.05 c nbDecision=165500 #constraints=8831 887.82/888.27 c nbDecision=166000 #constraints=8836 890.12/890.52 c nbDecision=166500 #constraints=8849 892.32/892.75 c nbDecision=167000 #constraints=8855 894.52/894.97 c nbDecision=167500 #constraints=8859 896.82/897.21 c nbDecision=168000 #constraints=8863 899.02/899.47 c nbDecision=168500 #constraints=8872 901.31/901.73 c nbDecision=169000 #constraints=8886 903.51/903.99 c nbDecision=169500 #constraints=8907 905.81/906.23 c nbDecision=170000 #constraints=8916 908.21/908.64 c nbDecision=170500 #constraints=8938 910.51/910.91 c nbDecision=171000 #constraints=8940 912.72/913.19 c nbDecision=171500 #constraints=8945 915.01/915.44 c nbDecision=172000 #constraints=8951 917.21/917.69 c nbDecision=172500 #constraints=8955 919.51/919.95 c nbDecision=173000 #constraints=8959 921.81/922.21 c nbDecision=173500 #constraints=8963 924.01/924.47 c nbDecision=174000 #constraints=8970 926.31/926.70 c nbDecision=174500 #constraints=8973 928.51/928.94 c nbDecision=175000 #constraints=8983 930.71/931.17 c nbDecision=175500 #constraints=8986 932.91/933.40 c nbDecision=176000 #constraints=8991 935.21/935.62 c nbDecision=176500 #constraints=8995 937.41/937.87 c nbDecision=177000 #constraints=8998 939.70/940.11 c nbDecision=177500 #constraints=9001 941.90/942.37 c nbDecision=178000 #constraints=9011 944.20/944.62 c nbDecision=178500 #constraints=9017 946.40/946.88 c nbDecision=179000 #constraints=9036 948.70/949.10 c nbDecision=179500 #constraints=9044 950.90/951.32 c nbDecision=180000 #constraints=9048 953.09/953.53 c nbDecision=180500 #constraints=9052 955.29/955.75 c nbDecision=181000 #constraints=9057 957.49/957.98 c nbDecision=181500 #constraints=9061 959.79/960.22 c nbDecision=182000 #constraints=9065 961.99/962.45 c nbDecision=182500 #constraints=9070 964.29/964.72 c nbDecision=183000 #constraints=9079 966.49/966.96 c nbDecision=183500 #constraints=9084 968.69/969.19 c nbDecision=184000 #constraints=9090 970.98/971.42 c nbDecision=184500 #constraints=9094 973.18/973.65 c nbDecision=185000 #constraints=9099 975.38/975.88 c nbDecision=185500 #constraints=9103 977.68/978.13 c nbDecision=186000 #constraints=9107 979.88/980.38 c nbDecision=186500 #constraints=9111 982.18/982.63 c nbDecision=187000 #constraints=9116 984.38/984.88 c nbDecision=187500 #constraints=9121 986.68/987.12 c nbDecision=188000 #constraints=9127 988.88/989.37 c nbDecision=188500 #constraints=9142 991.18/991.61 c nbDecision=189000 #constraints=9146 993.38/993.88 c nbDecision=189500 #constraints=9172 995.68/996.12 c nbDecision=190000 #constraints=9175 997.88/998.39 c nbDecision=190500 #constraints=9179 1000.17/1000.65 c nbDecision=191000 #constraints=9183 1002.47/1002.92 c nbDecision=191500 #constraints=9197 1004.77/1005.20 c nbDecision=192000 #constraints=9213 1006.97/1007.42 c nbDecision=192500 #constraints=9218 1009.17/1009.63 c nbDecision=193000 #constraints=9222 1011.37/1011.85 c nbDecision=193500 #constraints=9230 1013.97/1014.46 c nbDecision=194000 #constraints=9259 1016.27/1016.75 c nbDecision=194500 #constraints=9261 1018.57/1019.06 c nbDecision=195000 #constraints=9264 1021.06/1021.52 c nbDecision=195500 #constraints=9296 1023.36/1023.87 c nbDecision=196000 #constraints=9304 1025.77/1026.22 c nbDecision=196500 #constraints=9316 1028.06/1028.51 c nbDecision=197000 #constraints=9319 1030.36/1030.80 c nbDecision=197500 #constraints=9324 1032.56/1033.09 c nbDecision=198000 #constraints=9329 1035.06/1035.55 c nbDecision=198500 #constraints=9348 1037.36/1037.89 c nbDecision=199000 #constraints=9352 1039.75/1040.20 c nbDecision=199500 #constraints=9354 1042.05/1042.51 c nbDecision=200000 #constraints=9356 1044.35/1044.82 c nbDecision=200500 #constraints=9360 1046.66/1047.17 c nbDecision=201000 #constraints=9372 1048.95/1049.47 c nbDecision=201500 #constraints=9383 1051.26/1051.78 c nbDecision=202000 #constraints=9389 1053.56/1054.04 c nbDecision=202500 #constraints=9392 1055.96/1056.46 c nbDecision=203000 #constraints=9413 1058.25/1058.75 c nbDecision=203500 #constraints=9416 1060.55/1061.09 c nbDecision=204000 #constraints=9424 1062.95/1063.45 c nbDecision=204500 #constraints=9432 1064.36/1064.86 c restart after 204801 decisions 1065.36/1065.80 c nbDecision=205000 #constraints=9443 1067.55/1068.09 c nbDecision=205500 #constraints=9445 1070.05/1070.57 c nbDecision=206000 #constraints=9479 1072.45/1072.91 c nbDecision=206500 #constraints=9490 1074.74/1075.22 c nbDecision=207000 #constraints=9495 1077.04/1077.53 c nbDecision=207500 #constraints=9503 1079.34/1079.83 c nbDecision=208000 #constraints=9508 1081.64/1082.12 c nbDecision=208500 #constraints=9512 1083.94/1084.40 c nbDecision=209000 #constraints=9517 1086.24/1086.76 c nbDecision=209500 #constraints=9529 1088.54/1089.04 c nbDecision=210000 #constraints=9531 1090.84/1091.33 c nbDecision=210500 #constraints=9533 1093.14/1093.61 c nbDecision=211000 #constraints=9535 1095.53/1096.05 c nbDecision=211500 #constraints=9554 1097.83/1098.37 c nbDecision=212000 #constraints=9556 1100.13/1100.67 c nbDecision=212500 #constraints=9557 1102.43/1102.98 c nbDecision=213000 #constraints=9559 1104.83/1105.30 c nbDecision=213500 #constraints=9562 1107.13/1107.62 c nbDecision=214000 #constraints=9569 1109.43/1109.92 c nbDecision=214500 #constraints=9572 1111.83/1112.38 c nbDecision=215000 #constraints=9600 1114.12/1114.69 c nbDecision=215500 #constraints=9610 1116.52/1117.06 c nbDecision=216000 #constraints=9629 1118.82/1119.39 c nbDecision=216500 #constraints=9633 1121.22/1121.73 c nbDecision=217000 #constraints=9645 1123.62/1124.20 c nbDecision=217500 #constraints=9674 1126.23/1126.71 c nbDecision=218000 #constraints=9703 1128.42/1128.99 c nbDecision=218500 #constraints=9708 1130.72/1131.27 c nbDecision=219000 #constraints=9712 1133.12/1133.63 c nbDecision=219500 #constraints=9724 1135.42/1135.92 c nbDecision=220000 #constraints=9729 1137.82/1138.39 c nbDecision=220500 #constraints=9749 1140.12/1140.69 c nbDecision=221000 #constraints=9750 1142.52/1143.05 c nbDecision=221500 #constraints=9761 1144.82/1145.36 c nbDecision=222000 #constraints=9764 1147.41/1147.99 c nbDecision=222500 #constraints=9796 1149.71/1150.27 c nbDecision=223000 #constraints=9800 1152.01/1152.59 c nbDecision=223500 #constraints=9811 1154.31/1154.88 c nbDecision=224000 #constraints=9815 1156.61/1157.18 c nbDecision=224500 #constraints=9820 1158.91/1159.48 c nbDecision=225000 #constraints=9823 1161.20/1161.79 c nbDecision=225500 #constraints=9832 1163.60/1164.14 c nbDecision=226000 #constraints=9837 1165.90/1166.44 c nbDecision=226500 #constraints=9847 1168.20/1168.73 c nbDecision=227000 #constraints=9853 1170.51/1171.08 c nbDecision=227500 #constraints=9870 1172.80/1173.36 c nbDecision=228000 #constraints=9876 1175.10/1175.66 c nbDecision=228500 #constraints=9879 1177.40/1177.99 c nbDecision=229000 #constraints=9888 1179.70/1180.30 c nbDecision=229500 #constraints=9893 1182.10/1182.61 c nbDecision=230000 #constraints=9896 1184.40/1184.92 c nbDecision=230500 #constraints=9899 1186.70/1187.22 c nbDecision=231000 #constraints=9903 1189.00/1189.51 c nbDecision=231500 #constraints=9907 1191.20/1191.78 c nbDecision=232000 #constraints=9914 1193.69/1194.28 c nbDecision=232500 #constraints=9944 1196.39/1196.92 c nbDecision=233000 #constraints=9987 1198.89/1199.49 c nbDecision=233500 #constraints=10019 1201.49/1202.08 c nbDecision=234000 #constraints=10053 1204.18/1204.71 c nbDecision=234500 #constraints=10087 1206.78/1207.31 c nbDecision=235000 #constraints=10128 1209.18/1209.77 c nbDecision=235500 #constraints=10149 1211.89/1212.44 c nbDecision=236000 #constraints=10191 1214.49/1215.06 c nbDecision=236500 #constraints=10230 1216.99/1217.57 c nbDecision=237000 #constraints=10255 1219.48/1220.06 c nbDecision=237500 #constraints=10291 1221.78/1222.38 c nbDecision=238000 #constraints=10293 1224.18/1224.73 c nbDecision=238500 #constraints=10296 1226.48/1227.02 c nbDecision=239000 #constraints=10303 1228.68/1229.29 c nbDecision=239500 #constraints=10307 1231.08/1231.65 c nbDecision=240000 #constraints=10314 1233.38/1233.99 c nbDecision=240500 #constraints=10324 1235.88/1236.42 c nbDecision=241000 #constraints=10344 1238.27/1238.88 c nbDecision=241500 #constraints=10362 1240.67/1241.23 c nbDecision=242000 #constraints=10374 1242.97/1243.59 c nbDecision=242500 #constraints=10383 1245.37/1245.96 c nbDecision=243000 #constraints=10399 1247.67/1248.30 c nbDecision=243500 #constraints=10408 1250.27/1250.85 c nbDecision=244000 #constraints=10437 1252.77/1253.36 c nbDecision=244500 #constraints=10460 1255.17/1255.70 c nbDecision=245000 #constraints=10479 1257.46/1258.07 c nbDecision=245500 #constraints=10497 1259.86/1260.44 c nbDecision=246000 #constraints=10502 1262.26/1262.80 c nbDecision=246500 #constraints=10513 1264.56/1265.13 c nbDecision=247000 #constraints=10519 1267.06/1267.67 c nbDecision=247500 #constraints=10547 1269.57/1270.16 c nbDecision=248000 #constraints=10570 1272.07/1272.63 c nbDecision=248500 #constraints=10591 1274.56/1275.18 c nbDecision=249000 #constraints=10612 1277.16/1277.70 c nbDecision=249500 #constraints=10633 1279.55/1280.15 c nbDecision=250000 #constraints=10652 1282.15/1282.70 c nbDecision=250500 #constraints=10675 1284.45/1285.03 c nbDecision=251000 #constraints=10678 1286.75/1287.34 c nbDecision=251500 #constraints=10686 1289.05/1289.64 c nbDecision=252000 #constraints=10694 1291.35/1291.95 c nbDecision=252500 #constraints=10710 1293.65/1294.29 c nbDecision=253000 #constraints=10739 1296.05/1296.60 c nbDecision=253500 #constraints=10744 1298.34/1298.91 c nbDecision=254000 #constraints=10749 1300.65/1301.24 c nbDecision=254500 #constraints=10755 1302.95/1303.56 c nbDecision=255000 #constraints=10762 1305.34/1305.90 c nbDecision=255500 #constraints=10771 1307.64/1308.23 c nbDecision=256000 #constraints=10791 1309.94/1310.53 c nbDecision=256500 #constraints=10796 1312.24/1312.83 c nbDecision=257000 #constraints=10805 1314.53/1315.11 c nbDecision=257500 #constraints=10809 1316.84/1317.49 c nbDecision=258000 #constraints=10818 1319.24/1319.86 c nbDecision=258500 #constraints=10825 1321.64/1322.23 c nbDecision=259000 #constraints=10837 1323.94/1324.56 c nbDecision=259500 #constraints=10844 1326.34/1327.00 c nbDecision=260000 #constraints=10863 1328.74/1329.31 c nbDecision=260500 #constraints=10867 1331.23/1331.88 c nbDecision=261000 #constraints=10901 1333.64/1334.27 c nbDecision=261500 #constraints=10915 1336.93/1337.52 c nbDecision=262000 #constraints=10980 1339.23/1339.86 c nbDecision=262500 #constraints=10982 1341.53/1342.19 c nbDecision=263000 #constraints=10985 1344.33/1344.91 c nbDecision=263500 #constraints=11012 1346.73/1347.38 c nbDecision=264000 #constraints=11024 1349.52/1350.16 c nbDecision=264500 #constraints=11053 1351.82/1352.48 c nbDecision=265000 #constraints=11056 1354.52/1355.14 c nbDecision=265500 #constraints=11080 1356.92/1357.58 c nbDecision=266000 #constraints=11088 1359.62/1360.24 c nbDecision=266500 #constraints=11118 1362.02/1362.61 c nbDecision=267000 #constraints=11121 1364.31/1364.94 c nbDecision=267500 #constraints=11126 1366.62/1367.23 c nbDecision=268000 #constraints=11129 1368.92/1369.52 c nbDecision=268500 #constraints=11132 1371.22/1371.88 c nbDecision=269000 #constraints=11137 1373.52/1374.18 c nbDecision=269500 #constraints=11139 1375.92/1376.58 c nbDecision=270000 #constraints=11145 1378.32/1378.99 c nbDecision=270500 #constraints=11158 1380.72/1381.32 c nbDecision=271000 #constraints=11162 1383.01/1383.64 c nbDecision=271500 #constraints=11166 1385.32/1385.98 c nbDecision=272000 #constraints=11171 1387.62/1388.29 c nbDecision=272500 #constraints=11175 1390.01/1390.61 c nbDecision=273000 #constraints=11180 1392.31/1392.96 c nbDecision=273500 #constraints=11202 1394.61/1395.27 c nbDecision=274000 #constraints=11206 1396.91/1397.59 c nbDecision=274500 #constraints=11211 1399.30/1399.92 c nbDecision=275000 #constraints=11216 1401.60/1402.27 c nbDecision=275500 #constraints=11222 1404.01/1404.61 c nbDecision=276000 #constraints=11227 1406.31/1406.94 c nbDecision=276500 #constraints=11234 1408.60/1409.23 c nbDecision=277000 #constraints=11242 1411.40/1412.00 c nbDecision=277500 #constraints=11276 1413.70/1414.34 c nbDecision=278000 #constraints=11280 1416.20/1416.80 c nbDecision=278500 #constraints=11300 1418.50/1419.11 c nbDecision=279000 #constraints=11305 1421.29/1421.95 c nbDecision=279500 #constraints=11342 1423.59/1424.29 c nbDecision=280000 #constraints=11343 1425.99/1426.63 c nbDecision=280500 #constraints=11345 1428.30/1428.97 c nbDecision=281000 #constraints=11347 1430.69/1431.31 c nbDecision=281500 #constraints=11349 1433.10/1433.75 c nbDecision=282000 #constraints=11359 1435.49/1436.12 c nbDecision=282500 #constraints=11367 1437.79/1438.43 c nbDecision=283000 #constraints=11371 1440.29/1441.00 c nbDecision=283500 #constraints=11386 1442.89/1443.52 c nbDecision=284000 #constraints=11400 1445.29/1445.92 c nbDecision=284500 #constraints=11411 1447.59/1448.27 c nbDecision=285000 #constraints=11415 1450.08/1450.77 c nbDecision=285500 #constraints=11429 1452.49/1453.17 c nbDecision=286000 #constraints=11435 1455.38/1456.00 c nbDecision=286500 #constraints=11462 1457.78/1458.40 c nbDecision=287000 #constraints=11469 1460.08/1460.78 c nbDecision=287500 #constraints=11475 1462.78/1463.46 c nbDecision=288000 #constraints=11496 1465.18/1465.82 c nbDecision=288500 #constraints=11498 1467.57/1468.23 c nbDecision=289000 #constraints=11509 1470.08/1470.77 c nbDecision=289500 #constraints=11529 1472.57/1473.23 c nbDecision=290000 #constraints=11538 1475.27/1475.90 c nbDecision=290500 #constraints=11562 1477.67/1478.39 c nbDecision=291000 #constraints=11574 1480.16/1480.86 c nbDecision=291500 #constraints=11587 1482.66/1483.36 c nbDecision=292000 #constraints=11600 1485.47/1486.13 c nbDecision=292500 #constraints=11626 1487.76/1488.43 c nbDecision=293000 #constraints=11628 1490.07/1490.78 c nbDecision=293500 #constraints=11633 1492.47/1493.18 c nbDecision=294000 #constraints=11645 1494.77/1495.47 c nbDecision=294500 #constraints=11653 1497.06/1497.76 c nbDecision=295000 #constraints=11665 1499.46/1500.18 c nbDecision=295500 #constraints=11674 1501.76/1502.47 c nbDecision=296000 #constraints=11678 1504.17/1504.81 c nbDecision=296500 #constraints=11683 1506.46/1507.14 c nbDecision=297000 #constraints=11686 1508.76/1509.46 c nbDecision=297500 #constraints=11689 1511.06/1511.74 c nbDecision=298000 #constraints=11691 1513.36/1514.03 c nbDecision=298500 #constraints=11695 1515.66/1516.31 c nbDecision=299000 #constraints=11704 1517.95/1518.64 c nbDecision=299500 #constraints=11707 1520.25/1520.95 c nbDecision=300000 #constraints=11716 1522.55/1523.25 c nbDecision=300500 #constraints=11720 1524.85/1525.53 c nbDecision=301000 #constraints=11729 1527.05/1527.78 c nbDecision=301500 #constraints=11733 1529.35/1530.01 c nbDecision=302000 #constraints=11738 1531.55/1532.24 c nbDecision=302500 #constraints=11743 1533.75/1534.48 c nbDecision=303000 #constraints=11750 1536.05/1536.73 c nbDecision=303500 #constraints=11758 1538.54/1539.26 c nbDecision=304000 #constraints=11771 1540.84/1541.56 c nbDecision=304500 #constraints=11773 1543.14/1543.87 c nbDecision=305000 #constraints=11776 1545.44/1546.18 c nbDecision=305500 #constraints=11779 1547.74/1548.47 c nbDecision=306000 #constraints=11782 1550.04/1550.75 c nbDecision=306500 #constraints=11784 1552.34/1553.01 c nbDecision=307000 #constraints=11791 1554.53/1555.28 c nbDecision=307500 #constraints=11804 1557.13/1557.83 c nbDecision=308000 #constraints=11818 1559.43/1560.12 c nbDecision=308500 #constraints=11821 1561.73/1562.42 c nbDecision=309000 #constraints=11836 1564.93/1565.68 c nbDecision=309500 #constraints=11866 1568.03/1568.76 c nbDecision=310000 #constraints=11893 1570.43/1571.12 c nbDecision=310500 #constraints=11895 1573.13/1573.81 c nbDecision=311000 #constraints=11914 1575.73/1576.47 c nbDecision=311500 #constraints=11930 1578.43/1579.12 c nbDecision=312000 #constraints=11948 1581.03/1581.73 c nbDecision=312500 #constraints=11960 1583.33/1584.10 c nbDecision=313000 #constraints=11962 1586.13/1586.87 c nbDecision=313500 #constraints=11984 1589.03/1589.73 c nbDecision=314000 #constraints=12006 1591.52/1592.23 c nbDecision=314500 #constraints=12020 1593.82/1594.58 c nbDecision=315000 #constraints=12022 1596.72/1597.45 c nbDecision=315500 #constraints=12044 1599.02/1599.79 c nbDecision=316000 #constraints=12045 1601.42/1602.15 c nbDecision=316500 #constraints=12047 1603.81/1604.53 c nbDecision=317000 #constraints=12049 1606.11/1606.88 c nbDecision=317500 #constraints=12051 1608.52/1609.24 c nbDecision=318000 #constraints=12053 1610.82/1611.59 c nbDecision=318500 #constraints=12055 1613.61/1614.35 c nbDecision=319000 #constraints=12072 1616.02/1616.71 c nbDecision=319500 #constraints=12074 1618.42/1619.13 c nbDecision=320000 #constraints=12080 1621.01/1621.76 c nbDecision=320500 #constraints=12103 1623.51/1624.23 c nbDecision=321000 #constraints=12113 1626.01/1626.73 c nbDecision=321500 #constraints=12123 1628.91/1629.67 c nbDecision=322000 #constraints=12152 1631.31/1632.00 c nbDecision=322500 #constraints=12154 1633.60/1634.32 c nbDecision=323000 #constraints=12155 1636.01/1636.76 c nbDecision=323500 #constraints=12159 1638.71/1639.47 c nbDecision=324000 #constraints=12182 1641.21/1641.97 c nbDecision=324500 #constraints=12190 1644.21/1644.95 c nbDecision=325000 #constraints=12223 1646.51/1647.28 c nbDecision=325500 #constraints=12225 1649.10/1649.87 c nbDecision=326000 #constraints=12247 1651.80/1652.59 c nbDecision=326500 #constraints=12269 1654.20/1654.91 c nbDecision=327000 #constraints=12270 1657.20/1657.93 c nbDecision=327500 #constraints=12302 1659.60/1660.35 c nbDecision=328000 #constraints=12311 1662.10/1662.83 c nbDecision=328500 #constraints=12322 1664.50/1665.20 c nbDecision=329000 #constraints=12324 1666.90/1667.69 c nbDecision=329500 #constraints=12339 1669.69/1670.41 c nbDecision=330000 #constraints=12361 1672.59/1673.36 c nbDecision=330500 #constraints=12395 1675.39/1676.10 c nbDecision=331000 #constraints=12421 1678.08/1678.82 c nbDecision=331500 #constraints=12445 1680.68/1681.41 c nbDecision=332000 #constraints=12459 1683.30/1684.02 c nbDecision=332500 #constraints=12473 1686.09/1686.84 c nbDecision=333000 #constraints=12498 1688.49/1689.20 c nbDecision=333500 #constraints=12504 1690.88/1691.68 c nbDecision=334000 #constraints=12513 1693.98/1694.72 c nbDecision=334500 #constraints=12543 1696.38/1697.11 c nbDecision=335000 #constraints=12545 1698.88/1699.63 c nbDecision=335500 #constraints=12553 1701.48/1702.25 c nbDecision=336000 #constraints=12563 1703.88/1704.65 c nbDecision=336500 #constraints=12565 1706.18/1706.99 c nbDecision=337000 #constraints=12566 1709.47/1710.27 c nbDecision=337500 #constraints=12589 1711.77/1712.57 c nbDecision=338000 #constraints=12590 1714.57/1715.39 c nbDecision=338500 #constraints=12619 1717.18/1717.90 c nbDecision=339000 #constraints=12630 1719.97/1720.71 c nbDecision=339500 #constraints=12658 1722.77/1723.56 c nbDecision=340000 #constraints=12674 1725.37/1726.19 c nbDecision=340500 #constraints=12688 1727.77/1728.56 c nbDecision=341000 #constraints=12693 1730.57/1731.38 c nbDecision=341500 #constraints=12723 1733.17/1733.96 c nbDecision=342000 #constraints=12737 1735.87/1736.66 c nbDecision=342500 #constraints=12755 1738.56/1739.30 c nbDecision=343000 #constraints=12772 1741.06/1741.83 c nbDecision=343500 #constraints=12784 1743.56/1744.32 c nbDecision=344000 #constraints=12793 1745.86/1746.67 c nbDecision=344500 #constraints=12794 1748.26/1749.05 c nbDecision=345000 #constraints=12800 1751.06/1751.86 c nbDecision=345500 #constraints=12824 1753.46/1754.21 c nbDecision=346000 #constraints=12826 1755.75/1756.53 c nbDecision=346500 #constraints=12829 1758.16/1758.92 c nbDecision=347000 #constraints=12845 1760.45/1761.29 c nbDecision=347500 #constraints=12858 1762.85/1763.63 c nbDecision=348000 #constraints=12862 1765.15/1765.96 c nbDecision=348500 #constraints=12865 1767.45/1768.25 c nbDecision=349000 #constraints=12867 1769.75/1770.56 c nbDecision=349500 #constraints=12874 1772.04/1772.87 c nbDecision=350000 #constraints=12877 1774.34/1775.18 c nbDecision=350500 #constraints=12880 1776.75/1777.52 c nbDecision=351000 #constraints=12888 1779.54/1780.30 c nbDecision=351500 #constraints=12908 1781.85/1782.62 c nbDecision=352000 #constraints=12912 1784.15/1784.94 c nbDecision=352500 #constraints=12915 1786.45/1787.25 c nbDecision=353000 #constraints=12918 1788.74/1789.53 c nbDecision=353500 #constraints=12922 1792.34/1793.18 c nbDecision=354000 #constraints=12972 1795.44/1796.28 c nbDecision=354500 #constraints=12994 1798.13/1798.92 c nbDecision=355000 #constraints=13009 1800.04/1800.80 Received signal 15 1800.04/1800.81 1800.04/1800.81 s UNKNOWN 1800.04/1800.81 1800.04/1800.81 c user time= 1799.62 s 1800.04/1800.81 c system time= 0.436933 s 1800.04/1800.81 c wall clock time=1800.81
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node10/watcher-357343-1176995160 -o ROOT/results/node10/solver-357343-1176995160 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357343-1176995160/instance-357343-1176995160.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.92 0.98 0.98 3/77 30789 /proc/meminfo: memFree=1694152/2055920 swapFree=4152380/4192956 [pid=30789] ppid=30787 vsize=1468 CPUtime=0 /proc/30789/stat : 30789 (oree) R 30787 30789 30076 0 -1 4194304 178 0 0 0 0 0 0 0 18 0 1 0 175553584 1503232 160 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135270621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30789/statm: 367 161 127 317 0 46 0 [startup+0.0610499 s] /proc/loadavg: 0.92 0.98 0.98 3/77 30789 /proc/meminfo: memFree=1694152/2055920 swapFree=4152380/4192956 [pid=30789] ppid=30787 vsize=2052 CPUtime=0.05 /proc/30789/stat : 30789 (oree) R 30787 30789 30076 0 -1 4194304 333 0 0 0 5 0 0 0 18 0 1 0 175553584 2101248 282 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712576 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30789/statm: 513 282 128 317 0 192 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 2052 [startup+0.101059 s] /proc/loadavg: 0.92 0.98 0.98 3/77 30789 /proc/meminfo: memFree=1694152/2055920 swapFree=4152380/4192956 [pid=30789] ppid=30787 vsize=2580 CPUtime=0.09 /proc/30789/stat : 30789 (oree) R 30787 30789 30076 0 -1 4194304 500 0 0 0 9 0 0 0 18 0 1 0 175553584 2641920 449 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30789/statm: 645 449 131 317 0 324 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2580 [startup+0.301101 s] /proc/loadavg: 0.92 0.98 0.98 3/77 30789 /proc/meminfo: memFree=1694152/2055920 swapFree=4152380/4192956 [pid=30789] ppid=30787 vsize=6020 CPUtime=0.29 /proc/30789/stat : 30789 (oree) R 30787 30789 30076 0 -1 4194304 1357 0 0 0 29 0 0 0 19 0 1 0 175553584 6164480 1306 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30789/statm: 1505 1306 131 317 0 1184 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6020 [startup+0.701187 s] /proc/loadavg: 0.92 0.98 0.98 3/77 30789 /proc/meminfo: memFree=1694152/2055920 swapFree=4152380/4192956 [pid=30789] ppid=30787 vsize=12844 CPUtime=0.69 /proc/30789/stat : 30789 (oree) R 30787 30789 30076 0 -1 4194304 2990 0 0 0 68 1 0 0 23 0 1 0 175553584 13152256 2939 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30789/statm: 3211 2941 131 317 0 2890 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12844 [startup+1.50136 s] /proc/loadavg: 0.93 0.98 0.98 2/78 30790 /proc/meminfo: memFree=1678144/2055920 swapFree=4152380/4192956 [pid=30789] ppid=30787 vsize=25396 CPUtime=1.49 /proc/30789/stat : 30789 (oree) R 30787 30789 30076 0 -1 4194304 5896 0 0 0 145 4 0 0 25 0 1 0 175553584 26005504 5845 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134531149 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30789/statm: 6349 5845 131 317 0 6028 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 25396 [startup+3.1017 s] /proc/loadavg: 0.93 0.98 0.98 2/78 30790 /proc/meminfo: memFree=1662080/2055920 swapFree=4152380/4192956 [pid=30789] ppid=30787 vsize=50860 CPUtime=3.09 /proc/30789/stat : 30789 (oree) R 30787 30789 30076 0 -1 4194304 11930 0 0 0 301 8 0 0 25 0 1 0 175553584 52080640 11879 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30789/statm: 12715 11879 131 317 0 12394 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 50860 [startup+6.30239 s] /proc/loadavg: 0.93 0.98 0.98 2/78 30790 /proc/meminfo: memFree=1609408/2055920 swapFree=4152380/4192956 [pid=30789] ppid=30787 vsize=89228 CPUtime=6.29 /proc/30789/stat : 30789 (oree) R 30787 30789 30076 0 -1 4194304 21336 0 0 0 617 12 0 0 25 0 1 0 175553584 91369472 21251 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30789/statm: 22307 21251 139 317 0 21986 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 89228 [startup+12.7018 s] /proc/loadavg: 0.94 0.98 0.98 2/78 30790 /proc/meminfo: memFree=1609352/2055920 swapFree=4152380/4192956 [pid=30789] ppid=30787 vsize=89360 CPUtime=12.69 /proc/30789/stat : 30789 (oree) R 30787 30789 30076 0 -1 4194304 21351 0 0 0 1257 12 0 0 25 0 1 0 175553584 91504640 21266 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30789/statm: 22340 21266 139 317 0 22019 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 89360 [startup+25.5015 s] /proc/loadavg: 0.95 0.98 0.98 2/78 30790 /proc/meminfo: memFree=1609224/2055920 swapFree=4152380/4192956 [pid=30789] ppid=30787 vsize=89756 CPUtime=25.48 /proc/30789/stat : 30789 (oree) R 30787 30789 30076 0 -1 4194304 21455 0 0 0 2536 12 0 0 25 0 1 0 175553584 91910144 21370 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596306 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30789/statm: 22439 21370 139 317 0 22118 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 89756 [startup+51.101 s] /proc/loadavg: 0.96 0.98 0.98 2/78 30790 /proc/meminfo: memFree=1608456/2055920 swapFree=4152380/4192956 [pid=30789] ppid=30787 vsize=90552 CPUtime=51.07 /proc/30789/stat : 30789 (oree) R 30787 30789 30076 0 -1 4194304 21650 0 0 0 5094 13 0 0 25 0 1 0 175553584 92725248 21565 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30789/statm: 22638 21565 139 317 0 22317 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 90552 [startup+102.305 s] /proc/loadavg: 0.98 0.98 0.98 2/78 30790 /proc/meminfo: memFree=1607048/2055920 swapFree=4152380/4192956 [pid=30789] ppid=30787 vsize=92004 CPUtime=102.26 /proc/30789/stat : 30789 (oree) R 30787 30789 30076 0 -1 4194304 22017 0 0 0 10212 14 0 0 25 0 1 0 175553584 94212096 21932 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30789/statm: 23001 21932 139 317 0 22680 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 92004 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.98 2/78 30790 /proc/meminfo: memFree=1605448/2055920 swapFree=4152380/4192956 [pid=30789] ppid=30787 vsize=93572 CPUtime=162.23 /proc/30789/stat : 30789 (oree) R 30787 30789 30076 0 -1 4194304 22424 0 0 0 16208 15 0 0 25 0 1 0 175553584 95817728 22339 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30789/statm: 23393 22339 139 317 0 23072 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 93572 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.98 2/78 30790 /proc/meminfo: memFree=1604424/2055920 swapFree=4152380/4192956 [pid=30789] ppid=30787 vsize=94488 CPUtime=222.21 /proc/30789/stat : 30789 (oree) R 30787 30789 30076 0 -1 4194304 22647 0 0 0 22205 16 0 0 25 0 1 0 175553584 96755712 22562 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385260 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30789/statm: 23622 22562 139 317 0 23301 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 94488 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.98 2/78 30790 /proc/meminfo: memFree=1603592/2055920 swapFree=4152380/4192956 [pid=30789] ppid=30787 vsize=95284 CPUtime=282.18 /proc/30789/stat : 30789 (oree) R 30787 30789 30076 0 -1 4194304 22852 0 0 0 28202 16 0 0 25 0 1 0 175553584 97570816 22767 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30789/statm: 23821 22767 139 317 0 23500 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 95284 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.98 2/78 30790 /proc/meminfo: memFree=1603016/2055920 swapFree=4152380/4192956 [pid=30789] ppid=30787 vsize=95816 CPUtime=342.16 /proc/30789/stat : 30789 (oree) R 30787 30789 30076 0 -1 4194304 22990 0 0 0 34199 17 0 0 25 0 1 0 175553584 98115584 22905 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30789/statm: 23954 22905 139 317 0 23633 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 95816 [startup+402.302 s] /proc/loadavg: 1.06 1.00 0.99 2/78 30790 /proc/meminfo: memFree=1602440/2055920 swapFree=4152380/4192956 [pid=30789] ppid=30787 vsize=96344 CPUtime=402.13 /proc/30789/stat : 30789 (oree) R 30787 30789 30076 0 -1 4194304 23121 0 0 0 40195 18 0 0 25 0 1 0 175553584 98656256 23036 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30789/statm: 24086 23036 139 317 0 23765 0 Current children cumulated CPU time (s) 402.13 Current children cumulated vsize (KiB) 96344 [startup+462.302 s] /proc/loadavg: 1.08 1.01 1.00 2/78 30790 /proc/meminfo: memFree=1601928/2055920 swapFree=4152380/4192956 [pid=30789] ppid=30787 vsize=96868 CPUtime=462.11 /proc/30789/stat : 30789 (oree) R 30787 30789 30076 0 -1 4194304 23258 0 0 0 46192 19 0 0 25 0 1 0 175553584 99192832 23173 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606682 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30789/statm: 24217 23173 139 317 0 23896 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 96868 [startup+522.302 s] /proc/loadavg: 1.08 1.03 1.00 2/78 30790 /proc/meminfo: memFree=1600712/2055920 swapFree=4152380/4192956 [pid=30789] ppid=30787 vsize=98048 CPUtime=522.07 /proc/30789/stat : 30789 (oree) R 30787 30789 30076 0 -1 4194304 23558 0 0 0 52188 19 0 0 25 0 1 0 175553584 100401152 23473 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385262 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30789/statm: 24512 23473 139 317 0 24191 0 Current children cumulated CPU time (s) 522.07 Current children cumulated vsize (KiB) 98048 [startup+582.301 s] /proc/loadavg: 1.08 1.03 1.00 2/78 30790 /proc/meminfo: memFree=1593736/2055920 swapFree=4152380/4192956 [pid=30789] ppid=30787 vsize=105808 CPUtime=582.05 /proc/30789/stat : 30789 (oree) R 30787 30789 30076 0 -1 4194304 25343 0 0 0 58184 21 0 0 25 0 1 0 175553584 108347392 25258 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30789/statm: 26452 25258 170 317 0 26131 0 Current children cumulated CPU time (s) 582.05 Current children cumulated vsize (KiB) 105808 [startup+642.301 s] /proc/loadavg: 1.07 1.04 1.00 2/78 30790 /proc/meminfo: memFree=1588552/2055920 swapFree=4152380/4192956 [pid=30789] ppid=30787 vsize=111396 CPUtime=642.03 /proc/30789/stat : 30789 (oree) R 30787 30789 30076 0 -1 4194304 26614 0 0 0 64181 22 0 0 25 0 1 0 175553584 114069504 26529 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30789/statm: 27849 26529 170 317 0 27528 0 Current children cumulated CPU time (s) 642.03 Current children cumulated vsize (KiB) 111396 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.00 1.02 1.00 2/78 30790 /proc/meminfo: memFree=1586120/2055920 swapFree=4152380/4192956 [pid=30789] ppid=30787 vsize=113760 CPUtime=821.95 /proc/30789/stat : 30789 (oree) R 30787 30789 30076 0 -1 4194304 27219 0 0 0 82171 24 0 0 25 0 1 0 175553584 116490240 27134 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30789/statm: 28440 27134 170 317 0 28119 0 Current children cumulated CPU time (s) 821.95 Current children cumulated vsize (KiB) 113760 [startup+882.301 s] /proc/loadavg: 1.00 1.01 1.00 2/78 30790 /proc/meminfo: memFree=1583688/2055920 swapFree=4152380/4192956 [pid=30789] ppid=30787 vsize=116408 CPUtime=881.92 /proc/30789/stat : 30789 (oree) R 30787 30789 30076 0 -1 4194304 27808 0 0 0 88167 25 0 0 25 0 1 0 175553584 119201792 27723 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606869 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30789/statm: 29102 27723 170 317 0 28781 0 Current children cumulated CPU time (s) 881.92 Current children cumulated vsize (KiB) 116408 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 30790 /proc/meminfo: memFree=1582344/2055920 swapFree=4152380/4192956 [pid=30789] ppid=30787 vsize=117880 CPUtime=941.9 /proc/30789/stat : 30789 (oree) R 30787 30789 30076 0 -1 4194304 28168 0 0 0 94164 26 0 0 25 0 1 0 175553584 120709120 28083 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30789/statm: 29470 28083 170 317 0 29149 0 Current children cumulated CPU time (s) 941.9 Current children cumulated vsize (KiB) 117880 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 30790 /proc/meminfo: memFree=1580872/2055920 swapFree=4152380/4192956 [pid=30789] ppid=30787 vsize=119192 CPUtime=1001.87 /proc/30789/stat : 30789 (oree) R 30787 30789 30076 0 -1 4194304 28513 0 0 0 100160 27 0 0 25 0 1 0 175553584 122052608 28428 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30789/statm: 29798 28428 170 317 0 29477 0 Current children cumulated CPU time (s) 1001.87 Current children cumulated vsize (KiB) 119192 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 30790 /proc/meminfo: memFree=1575816/2055920 swapFree=4152380/4192956 [pid=30789] ppid=30787 vsize=124660 CPUtime=1061.85 /proc/30789/stat : 30789 (oree) R 30787 30789 30076 0 -1 4194304 29802 0 0 0 106157 28 0 0 25 0 1 0 175553584 127651840 29717 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384524 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30789/statm: 31165 29717 170 317 0 30844 0 Current children cumulated CPU time (s) 1061.85 Current children cumulated vsize (KiB) 124660 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 30790 /proc/meminfo: memFree=1572808/2055920 swapFree=4152380/4192956 [pid=30789] ppid=30787 vsize=127792 CPUtime=1121.82 /proc/30789/stat : 30789 (oree) R 30787 30789 30076 0 -1 4194304 30580 0 0 0 112154 28 0 0 25 0 1 0 175553584 130859008 30430 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30789/statm: 31948 30430 170 317 0 31627 0 Current children cumulated CPU time (s) 1121.82 Current children cumulated vsize (KiB) 127792 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 30790 /proc/meminfo: memFree=1569352/2055920 swapFree=4152380/4192956 [pid=30789] ppid=30787 vsize=131616 CPUtime=1181.8 /proc/30789/stat : 30789 (oree) R 30787 30789 30076 0 -1 4194304 31433 0 0 0 118150 30 0 0 25 0 1 0 175553584 134774784 31283 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385198 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30789/statm: 32904 31283 170 317 0 32583 0 Current children cumulated CPU time (s) 1181.8 Current children cumulated vsize (KiB) 131616 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 30790 /proc/meminfo: memFree=1557576/2055920 swapFree=4152380/4192956 [pid=30789] ppid=30787 vsize=144836 CPUtime=1241.77 /proc/30789/stat : 30789 (oree) R 30787 30789 30076 0 -1 4194304 34382 0 0 0 124146 31 0 0 25 0 1 0 175553584 148312064 34232 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30789/statm: 36209 34232 170 317 0 35888 0 Current children cumulated CPU time (s) 1241.77 Current children cumulated vsize (KiB) 144836 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 30790 /proc/meminfo: memFree=1552264/2055920 swapFree=4152380/4192956 [pid=30789] ppid=30787 vsize=150584 CPUtime=1301.75 /proc/30789/stat : 30789 (oree) R 30787 30789 30076 0 -1 4194304 35707 0 0 0 130143 32 0 0 25 0 1 0 175553584 154198016 35557 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606848 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30789/statm: 37646 35557 170 317 0 37325 0 Current children cumulated CPU time (s) 1301.75 Current children cumulated vsize (KiB) 150584 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 30790 /proc/meminfo: memFree=1546056/2055920 swapFree=4152380/4192956 [pid=30789] ppid=30787 vsize=156592 CPUtime=1361.72 /proc/30789/stat : 30789 (oree) R 30787 30789 30076 0 -1 4194304 37249 0 0 0 136139 33 0 0 25 0 1 0 175553584 160350208 37099 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385264 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30789/statm: 39148 37099 170 317 0 38827 0 Current children cumulated CPU time (s) 1361.72 Current children cumulated vsize (KiB) 156592 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 30790 /proc/meminfo: memFree=1542344/2055920 swapFree=4152380/4192956 [pid=30789] ppid=30787 vsize=161088 CPUtime=1421.69 /proc/30789/stat : 30789 (oree) R 30787 30789 30076 0 -1 4194304 38152 0 0 0 142135 34 0 0 25 0 1 0 175553584 164954112 38002 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30789/statm: 40272 38002 170 317 0 39951 0 Current children cumulated CPU time (s) 1421.69 Current children cumulated vsize (KiB) 161088 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 30790 /proc/meminfo: memFree=1537736/2055920 swapFree=4152380/4192956 [pid=30789] ppid=30787 vsize=165472 CPUtime=1481.66 /proc/30789/stat : 30789 (oree) R 30787 30789 30076 0 -1 4194304 39310 0 0 0 148131 35 0 0 25 0 1 0 175553584 169443328 39160 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30789/statm: 41368 39160 170 317 0 41047 0 Current children cumulated CPU time (s) 1481.66 Current children cumulated vsize (KiB) 165472 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 3/78 30790 /proc/meminfo: memFree=1535752/2055920 swapFree=4152380/4192956 [pid=30789] ppid=30787 vsize=167608 CPUtime=1541.64 /proc/30789/stat : 30789 (oree) R 30787 30789 30076 0 -1 4194304 39800 0 0 0 154128 36 0 0 25 0 1 0 175553584 171630592 39650 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384531 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30789/statm: 41902 39650 170 317 0 41581 0 Current children cumulated CPU time (s) 1541.64 Current children cumulated vsize (KiB) 167608 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 30790 /proc/meminfo: memFree=1527304/2055920 swapFree=4152380/4192956 [pid=30789] ppid=30787 vsize=178552 CPUtime=1601.61 /proc/30789/stat : 30789 (oree) R 30787 30789 30076 0 -1 4194304 41895 0 0 0 160123 38 0 0 25 0 1 0 175553584 182837248 41745 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385274 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30789/statm: 44638 41745 170 317 0 44317 0 Current children cumulated CPU time (s) 1601.61 Current children cumulated vsize (KiB) 178552 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 30792 /proc/meminfo: memFree=1521096/2055920 swapFree=4152380/4192956 [pid=30789] ppid=30787 vsize=184040 CPUtime=1661.6 /proc/30789/stat : 30789 (oree) R 30787 30789 30076 0 -1 4194304 43448 0 0 0 166120 40 0 0 25 0 1 0 175553584 188456960 43298 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385184 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30789/statm: 46010 43298 170 317 0 45689 0 Current children cumulated CPU time (s) 1661.6 Current children cumulated vsize (KiB) 184040 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 30792 /proc/meminfo: memFree=1514056/2055920 swapFree=4152380/4192956 [pid=30789] ppid=30787 vsize=191544 CPUtime=1721.57 /proc/30789/stat : 30789 (oree) R 30787 30789 30076 0 -1 4194304 45305 0 0 0 172115 42 0 0 25 0 1 0 175553584 196141056 45155 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30789/statm: 47886 45155 170 317 0 47565 0 Current children cumulated CPU time (s) 1721.57 Current children cumulated vsize (KiB) 191544 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 30792 /proc/meminfo: memFree=1509384/2055920 swapFree=4152380/4192956 [pid=30789] ppid=30787 vsize=195552 CPUtime=1781.55 /proc/30789/stat : 30789 (oree) R 30787 30789 30076 0 -1 4194304 46357 0 0 0 178112 43 0 0 25 0 1 0 175553584 200245248 46207 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30789/statm: 48888 46207 170 317 0 48567 0 Current children cumulated CPU time (s) 1781.55 Current children cumulated vsize (KiB) 195552 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 1.00 1.00 1.00 2/78 30792 /proc/meminfo: memFree=1507016/2055920 swapFree=4152380/4192956 [pid=30789] ppid=30787 vsize=198096 CPUtime=1800.04 /proc/30789/stat : 30789 (oree) R 30787 30789 30076 0 -1 4194304 46947 0 0 0 179961 43 0 0 25 0 1 0 175553584 202850304 46797 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385236 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30789/statm: 49524 46797 170 317 0 49203 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 198096 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.88 CPU time (s): 1800.13 CPU user time (s): 1799.66 CPU system time (s): 0.469928 CPU usage (%): 99.958 Max. virtual memory (cumulated for all children) (KiB): 198096 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.66 system time used= 0.469928 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 46963 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= 37336 runsolver used 2.04669 second user time and 4.53131 second system time The end
Begin job on node10 on Thu Apr 19 15:06:01 UTC 2007 IDJOB= 357343 IDBENCH= 2438 IDSOLVER= 172 FILE ID= node10/357343-1176995160 PBS_JOBID= 4630430 Free space on /tmp= 66256 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-greenbea.opb COMMAND LINE= oree /tmp/evaluation/357343-1176995160/instance-357343-1176995160.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node10/watcher-357343-1176995160 -o ROOT/results/node10/solver-357343-1176995160 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357343-1176995160/instance-357343-1176995160.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= fed9726f7ff3b53e29a48b8849ad3d9b RANDOM SEED= 607039096 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node10.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.259 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.259 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: 1694624 kB Buffers: 24916 kB Cached: 256408 kB SwapCached: 8560 kB Active: 77444 kB Inactive: 227876 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1694624 kB SwapTotal: 4192956 kB SwapFree: 4152380 kB Dirty: 15720 kB Writeback: 0 kB Mapped: 31248 kB Slab: 41592 kB Committed_AS: 3567760 kB PageTables: 1712 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= 66256 MiB End job on node10 on Thu Apr 19 15:36:04 UTC 2007