Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.23 | 1800.93 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_1.opb |
MD5SUM | a7af672db5daf9bd21f1768f531add6b |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 25 |
Best CPU time to get the best result obtained on this benchmark | 1800.12 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 25 |
Optimality of the best value was proved | NO |
Number of variables | 21320 |
Total number of constraints | 79746 |
Number of constraints which are clauses | 79734 |
Number of constraints which are cardinality constraints (but not clauses) | 1 |
Number of constraints which are nor clauses,nor cardinality constraints | 11 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 1407 |
Number of terms in the objective function | 1407 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 1407 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 35 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 1442 |
Number of bits of the biggest sum of numbers | 11 |
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.59/0.66 c ...done 0.59/0.66 c #vars=21320 #constraints=79747 hasObjective=yes 1.19/1.20 c res. mode=mod 1.19/1.20 c VSIDS like heuristics 1.19/1.20 c complete search running 6.68/6.74 c restart after 401 decisions 9.79/9.85 c nbDecision=500 #constraints=79845 12.78/12.82 c restart after 801 decisions 16.88/16.99 c nbDecision=1000 #constraints=79924 20.78/20.80 c nbDecision=1500 #constraints=79968 20.98/21.03 c restart after 1601 decisions 26.58/26.60 c nbDecision=2000 #constraints=80031 29.28/29.38 c nbDecision=2500 #constraints=80064 30.48/30.52 c nbDecision=3000 #constraints=80074 30.88/30.98 c restart after 3201 decisions 31.59/31.66 c nbDecision=3500 #constraints=80083 32.68/32.73 c nbDecision=4000 #constraints=80092 34.28/34.36 c nbDecision=4500 #constraints=80108 36.08/36.13 c nbDecision=5000 #constraints=80126 37.58/37.65 c nbDecision=5500 #constraints=80141 40.58/40.68 c nbDecision=6000 #constraints=80175 41.88/41.98 c restart after 6401 decisions 44.98/45.01 c nbDecision=6500 #constraints=80224 48.78/48.88 c nbDecision=7000 #constraints=80266 50.78/50.84 c nbDecision=7500 #constraints=80286 52.08/52.15 c nbDecision=8000 #constraints=80298 53.78/53.86 c nbDecision=8500 #constraints=80315 55.57/55.63 c nbDecision=9000 #constraints=80333 57.97/58.02 c nbDecision=9500 #constraints=80359 60.67/60.70 c nbDecision=10000 #constraints=80389 61.67/61.79 c nbDecision=10500 #constraints=80399 62.87/62.96 c nbDecision=11000 #constraints=80410 64.17/64.29 c nbDecision=11500 #constraints=80423 65.77/65.83 c nbDecision=12000 #constraints=80452 79.96/80.06 c nbDecision=12500 #constraints=80475 81.27/81.40 c restart after 12801 decisions 85.56/85.67 c nbDecision=13000 #constraints=80536 89.16/89.20 c nbDecision=13500 #constraints=80583 90.06/90.11 c nbDecision=14000 #constraints=80590 91.26/91.33 c nbDecision=14500 #constraints=80601 92.76/92.88 c nbDecision=15000 #constraints=80616 95.36/95.47 c nbDecision=15500 #constraints=80644 98.86/98.92 c nbDecision=16000 #constraints=80683 100.15/100.26 c nbDecision=16500 #constraints=80696 118.65/118.75 c nbDecision=17000 #constraints=80759 122.55/122.62 c nbDecision=17500 #constraints=80804 124.45/124.54 c nbDecision=18000 #constraints=80830 125.45/125.53 c nbDecision=18500 #constraints=80838 126.94/127.09 c nbDecision=19000 #constraints=80853 129.14/129.21 c nbDecision=19500 #constraints=80875 131.85/131.97 c nbDecision=20000 #constraints=80905 133.85/133.97 c nbDecision=20500 #constraints=80931 134.75/134.84 c nbDecision=21000 #constraints=80952 153.74/153.82 c nbDecision=21500 #constraints=81026 156.54/156.65 c nbDecision=22000 #constraints=81065 157.44/157.55 c nbDecision=22500 #constraints=81072 158.54/158.61 c nbDecision=23000 #constraints=81081 160.24/160.32 c nbDecision=23500 #constraints=81098 163.04/163.15 c nbDecision=24000 #constraints=81129 166.23/166.37 c nbDecision=24500 #constraints=81165 168.14/168.30 c nbDecision=25000 #constraints=81185 187.93/188.02 c nbDecision=25500 #constraints=81261 188.93/189.00 c restart after 25601 decisions 189.43/189.56 c nbDecision=26000 #constraints=81277 190.03/190.17 c nbDecision=26500 #constraints=81288 190.73/190.84 c nbDecision=27000 #constraints=81301 191.52/191.63 c nbDecision=27500 #constraints=81321 210.71/210.88 c nbDecision=28000 #constraints=81401 213.42/213.57 c nbDecision=28500 #constraints=81432 214.62/214.72 c nbDecision=29000 #constraints=81442 216.12/216.20 c nbDecision=29500 #constraints=81456 218.12/218.23 c nbDecision=30000 #constraints=81477 219.82/219.94 c nbDecision=30500 #constraints=81494 222.82/222.99 c nbDecision=31000 #constraints=81528 224.32/224.49 c nbDecision=31500 #constraints=81543 225.52/225.68 c nbDecision=32000 #constraints=81554 226.62/226.70 c nbDecision=32500 #constraints=81563 227.92/228.04 c nbDecision=33000 #constraints=81576 229.52/229.70 c nbDecision=33500 #constraints=81593 252.11/252.20 c nbDecision=34000 #constraints=81696 253.31/253.44 c nbDecision=34500 #constraints=81706 254.71/254.85 c nbDecision=35000 #constraints=81718 256.60/256.78 c nbDecision=35500 #constraints=81736 258.20/258.35 c nbDecision=36000 #constraints=81750 260.30/260.45 c nbDecision=36500 #constraints=81770 264.00/264.12 c nbDecision=37000 #constraints=81808 264.50/264.65 c nbDecision=37500 #constraints=81816 265.10/265.25 c nbDecision=38000 #constraints=81826 265.80/265.93 c nbDecision=38500 #constraints=81839 266.50/266.62 c nbDecision=39000 #constraints=81853 281.50/281.67 c nbDecision=39500 #constraints=81897 287.49/287.67 c nbDecision=40000 #constraints=81959 289.29/289.44 c nbDecision=40500 #constraints=81979 290.59/290.70 c nbDecision=41000 #constraints=81990 292.40/292.54 c nbDecision=41500 #constraints=82008 294.20/294.38 c nbDecision=42000 #constraints=82026 296.49/296.68 c nbDecision=42500 #constraints=82050 299.29/299.49 c nbDecision=43000 #constraints=82082 299.89/300.07 c nbDecision=43500 #constraints=82091 300.49/300.67 c nbDecision=44000 #constraints=82101 301.19/301.32 c nbDecision=44500 #constraints=82113 301.89/302.01 c nbDecision=45000 #constraints=82127 320.08/320.21 c nbDecision=45500 #constraints=82199 323.88/324.04 c nbDecision=46000 #constraints=82244 324.98/325.14 c nbDecision=46500 #constraints=82253 326.28/326.41 c nbDecision=47000 #constraints=82264 327.98/328.18 c nbDecision=47500 #constraints=82281 329.68/329.87 c nbDecision=48000 #constraints=82297 331.38/331.54 c nbDecision=48500 #constraints=82313 334.88/335.02 c nbDecision=49000 #constraints=82351 335.78/335.91 c nbDecision=49500 #constraints=82362 336.38/336.54 c nbDecision=50000 #constraints=82373 336.98/337.16 c nbDecision=50500 #constraints=82384 337.68/337.86 c nbDecision=51000 #constraints=82398 337.98/338.20 c restart after 51201 decisions 344.08/344.22 c nbDecision=51500 #constraints=82459 347.38/347.57 c nbDecision=52000 #constraints=82495 348.67/348.85 c nbDecision=52500 #constraints=82506 350.17/350.38 c nbDecision=53000 #constraints=82520 351.97/352.16 c nbDecision=53500 #constraints=82537 353.97/354.10 c nbDecision=54000 #constraints=82556 356.47/356.68 c nbDecision=54500 #constraints=82583 358.87/359.06 c nbDecision=55000 #constraints=82608 360.07/360.26 c nbDecision=55500 #constraints=82619 361.16/361.38 c nbDecision=56000 #constraints=82629 362.46/362.67 c nbDecision=56500 #constraints=82641 364.07/364.26 c nbDecision=57000 #constraints=82657 395.66/395.86 c nbDecision=57500 #constraints=82735 399.46/399.65 c nbDecision=58000 #constraints=82773 401.26/401.45 c nbDecision=58500 #constraints=82790 402.56/402.73 c nbDecision=59000 #constraints=82801 404.36/404.59 c nbDecision=59500 #constraints=82819 406.16/406.38 c nbDecision=60000 #constraints=82836 408.36/408.50 c nbDecision=60500 #constraints=82857 411.55/411.76 c nbDecision=61000 #constraints=82893 412.15/412.35 c nbDecision=61500 #constraints=82902 412.75/412.94 c nbDecision=62000 #constraints=82911 413.46/413.62 c nbDecision=62500 #constraints=82923 414.15/414.36 c nbDecision=63000 #constraints=82938 433.15/433.34 c nbDecision=63500 #constraints=83012 436.64/436.86 c nbDecision=64000 #constraints=83047 437.84/438.07 c nbDecision=64500 #constraints=83057 439.44/439.70 c nbDecision=65000 #constraints=83072 441.24/441.40 c nbDecision=65500 #constraints=83088 443.04/443.27 c nbDecision=66000 #constraints=83106 445.64/445.82 c nbDecision=66500 #constraints=83132 448.24/448.42 c nbDecision=67000 #constraints=83159 449.24/449.49 c nbDecision=67500 #constraints=83168 450.64/450.80 c nbDecision=68000 #constraints=83180 451.94/452.11 c nbDecision=68500 #constraints=83192 453.64/453.88 c nbDecision=69000 #constraints=83215 473.83/474.06 c nbDecision=69500 #constraints=83292 476.43/476.65 c nbDecision=70000 #constraints=83317 477.63/477.85 c nbDecision=70500 #constraints=83327 479.23/479.49 c nbDecision=71000 #constraints=83342 481.33/481.55 c nbDecision=71500 #constraints=83362 482.93/483.17 c nbDecision=72000 #constraints=83377 486.63/486.84 c nbDecision=72500 #constraints=83416 487.93/488.17 c nbDecision=73000 #constraints=83428 489.23/489.40 c nbDecision=73500 #constraints=83439 490.53/490.72 c nbDecision=74000 #constraints=83451 491.53/491.79 c nbDecision=74500 #constraints=83464 509.92/510.16 c nbDecision=75000 #constraints=83530 514.42/514.64 c nbDecision=75500 #constraints=83568 516.52/516.75 c nbDecision=76000 #constraints=83587 518.02/518.21 c nbDecision=76500 #constraints=83598 519.72/519.96 c nbDecision=77000 #constraints=83612 521.92/522.11 c nbDecision=77500 #constraints=83630 523.52/523.75 c nbDecision=78000 #constraints=83643 526.81/527.01 c nbDecision=78500 #constraints=83672 529.41/529.62 c nbDecision=79000 #constraints=83698 530.01/530.25 c nbDecision=79500 #constraints=83707 530.71/530.94 c nbDecision=80000 #constraints=83718 531.41/531.69 c nbDecision=80500 #constraints=83731 532.41/532.60 c nbDecision=81000 #constraints=83750 552.60/552.89 c nbDecision=81500 #constraints=83825 555.31/555.53 c nbDecision=82000 #constraints=83854 556.50/556.75 c nbDecision=82500 #constraints=83864 558.20/558.41 c nbDecision=83000 #constraints=83879 560.30/560.51 c nbDecision=83500 #constraints=83899 562.00/562.24 c nbDecision=84000 #constraints=83915 565.20/565.43 c nbDecision=84500 #constraints=83948 567.00/567.21 c nbDecision=85000 #constraints=83965 568.20/568.46 c nbDecision=85500 #constraints=83976 569.50/569.70 c nbDecision=86000 #constraints=83987 570.90/571.11 c nbDecision=86500 #constraints=84000 590.19/590.48 c nbDecision=87000 #constraints=84068 595.09/595.35 c nbDecision=87500 #constraints=84115 596.39/596.67 c nbDecision=88000 #constraints=84126 597.99/598.26 c nbDecision=88500 #constraints=84140 599.39/599.66 c nbDecision=89000 #constraints=84152 601.19/601.42 c nbDecision=89500 #constraints=84168 603.19/603.43 c nbDecision=90000 #constraints=84187 606.69/606.91 c nbDecision=90500 #constraints=84223 607.39/607.68 c nbDecision=91000 #constraints=84232 608.09/608.36 c nbDecision=91500 #constraints=84243 608.79/609.00 c nbDecision=92000 #constraints=84253 609.59/609.83 c nbDecision=92500 #constraints=84269 623.98/624.27 c nbDecision=93000 #constraints=84304 633.48/633.78 c nbDecision=93500 #constraints=84378 634.88/635.19 c nbDecision=94000 #constraints=84388 636.58/636.81 c nbDecision=94500 #constraints=84400 638.88/639.16 c nbDecision=95000 #constraints=84419 640.57/640.87 c nbDecision=95500 #constraints=84432 642.77/643.01 c nbDecision=96000 #constraints=84449 646.97/647.25 c nbDecision=96500 #constraints=84486 648.07/648.32 c nbDecision=97000 #constraints=84498 648.77/649.01 c nbDecision=97500 #constraints=84509 649.47/649.70 c nbDecision=98000 #constraints=84520 650.17/650.48 c nbDecision=98500 #constraints=84534 666.86/667.11 c nbDecision=99000 #constraints=84586 672.66/672.93 c nbDecision=99500 #constraints=84641 674.26/674.57 c nbDecision=100000 #constraints=84655 675.76/676.09 c nbDecision=100500 #constraints=84668 677.56/677.88 c nbDecision=101000 #constraints=84684 679.46/679.75 c nbDecision=101500 #constraints=84701 681.66/681.96 c nbDecision=102000 #constraints=84722 684.86/685.13 c restart after 102401 decisions 689.55/689.81 c nbDecision=102500 #constraints=84785 695.45/695.71 c nbDecision=103000 #constraints=84844 696.66/696.97 c nbDecision=103500 #constraints=84854 698.06/698.39 c nbDecision=104000 #constraints=84866 700.06/700.36 c nbDecision=104500 #constraints=84884 702.16/702.40 c nbDecision=105000 #constraints=84903 704.96/705.24 c nbDecision=105500 #constraints=84931 707.56/707.86 c nbDecision=106000 #constraints=84957 708.86/709.14 c nbDecision=106500 #constraints=84968 710.05/710.32 c nbDecision=107000 #constraints=84978 711.55/711.84 c nbDecision=107500 #constraints=84992 713.35/713.63 c nbDecision=108000 #constraints=85018 736.24/736.51 c nbDecision=108500 #constraints=85110 737.44/737.77 c nbDecision=109000 #constraints=85120 738.85/739.13 c nbDecision=109500 #constraints=85131 740.54/740.84 c nbDecision=110000 #constraints=85146 742.34/742.63 c nbDecision=110500 #constraints=85162 744.54/744.87 c nbDecision=111000 #constraints=85183 748.34/748.65 c nbDecision=111500 #constraints=85221 748.94/749.24 c nbDecision=112000 #constraints=85229 749.54/749.83 c nbDecision=112500 #constraints=85237 750.24/750.52 c nbDecision=113000 #constraints=85248 750.94/751.29 c nbDecision=113500 #constraints=85261 751.94/752.21 c nbDecision=114000 #constraints=85280 772.73/773.08 c nbDecision=114500 #constraints=85356 775.73/776.06 c nbDecision=115000 #constraints=85387 777.03/777.33 c nbDecision=115500 #constraints=85397 778.73/779.04 c nbDecision=116000 #constraints=85412 780.92/781.22 c nbDecision=116500 #constraints=85432 783.02/783.38 c nbDecision=117000 #constraints=85452 786.92/787.22 c nbDecision=117500 #constraints=85491 787.92/788.23 c nbDecision=118000 #constraints=85499 789.12/789.43 c nbDecision=118500 #constraints=85509 790.42/790.79 c nbDecision=119000 #constraints=85521 791.92/792.24 c nbDecision=119500 #constraints=85534 811.91/812.20 c nbDecision=120000 #constraints=85601 816.82/817.11 c nbDecision=120500 #constraints=85651 818.02/818.38 c nbDecision=121000 #constraints=85661 819.72/820.02 c nbDecision=121500 #constraints=85675 821.62/821.93 c nbDecision=122000 #constraints=85692 823.62/823.91 c nbDecision=122500 #constraints=85710 826.62/826.91 c nbDecision=123000 #constraints=85739 829.02/829.40 c nbDecision=123500 #constraints=85763 830.31/830.60 c nbDecision=124000 #constraints=85773 831.41/831.80 c nbDecision=124500 #constraints=85783 832.91/833.25 c nbDecision=125000 #constraints=85796 834.01/834.31 c nbDecision=125500 #constraints=85820 856.90/857.22 c nbDecision=126000 #constraints=85917 858.20/858.51 c nbDecision=126500 #constraints=85927 859.81/860.16 c nbDecision=127000 #constraints=85941 861.40/861.72 c nbDecision=127500 #constraints=85954 863.20/863.55 c nbDecision=128000 #constraints=85970 865.50/865.84 c nbDecision=128500 #constraints=85991 869.30/869.60 c nbDecision=129000 #constraints=86029 869.89/870.20 c nbDecision=129500 #constraints=86037 870.49/870.87 c nbDecision=130000 #constraints=86047 871.19/871.58 c nbDecision=130500 #constraints=86058 872.00/872.39 c nbDecision=131000 #constraints=86072 885.80/886.15 c nbDecision=131500 #constraints=86103 902.49/902.83 c nbDecision=132000 #constraints=86216 913.49/913.86 c nbDecision=132500 #constraints=86303 925.58/925.95 c nbDecision=133000 #constraints=86402 939.27/939.66 c nbDecision=133500 #constraints=86510 949.37/949.74 c nbDecision=134000 #constraints=86595 960.46/960.82 c nbDecision=134500 #constraints=86688 972.76/973.19 c nbDecision=135000 #constraints=86783 983.16/983.50 c nbDecision=135500 #constraints=86869 994.65/995.01 c nbDecision=136000 #constraints=86958 1008.06/1008.45 c nbDecision=136500 #constraints=87077 1019.26/1019.67 c nbDecision=137000 #constraints=87177 1031.95/1032.36 c nbDecision=137500 #constraints=87292 1044.54/1044.91 c nbDecision=138000 #constraints=87400 1056.64/1057.08 c nbDecision=138500 #constraints=87509 1066.73/1067.10 c nbDecision=139000 #constraints=87598 1076.73/1077.11 c nbDecision=139500 #constraints=87688 1090.62/1091.06 c nbDecision=140000 #constraints=87813 1101.02/1101.49 c nbDecision=140500 #constraints=87911 1112.61/1113.07 c nbDecision=141000 #constraints=88020 1128.82/1129.24 c nbDecision=141500 #constraints=88173 1154.31/1154.74 c nbDecision=142000 #constraints=88416 1174.10/1174.51 c nbDecision=142500 #constraints=88606 1191.69/1192.15 c nbDecision=143000 #constraints=88776 1205.29/1205.78 c nbDecision=143500 #constraints=88936 1215.69/1216.19 c nbDecision=144000 #constraints=89071 1223.08/1223.50 c nbDecision=144500 #constraints=89153 1224.18/1224.66 c nbDecision=145000 #constraints=89162 1230.38/1230.88 c nbDecision=145500 #constraints=89207 1237.88/1238.32 c nbDecision=146000 #constraints=89290 1239.07/1239.56 c nbDecision=146500 #constraints=89300 1244.27/1244.70 c nbDecision=147000 #constraints=89345 1245.47/1245.95 c nbDecision=147500 #constraints=89355 1247.27/1247.74 c nbDecision=148000 #constraints=89376 1248.67/1249.18 c nbDecision=148500 #constraints=89388 1250.77/1251.25 c nbDecision=149000 #constraints=89405 1252.67/1253.12 c nbDecision=149500 #constraints=89422 1255.07/1255.51 c nbDecision=150000 #constraints=89445 1258.47/1258.95 c nbDecision=150500 #constraints=89481 1259.37/1259.89 c nbDecision=151000 #constraints=89491 1260.07/1260.55 c nbDecision=151500 #constraints=89502 1260.77/1261.29 c nbDecision=152000 #constraints=89516 1261.76/1262.21 c nbDecision=152500 #constraints=89538 1274.76/1275.23 c nbDecision=153000 #constraints=89569 1276.96/1277.48 c nbDecision=153500 #constraints=89587 1279.06/1279.52 c nbDecision=154000 #constraints=89604 1281.16/1281.66 c nbDecision=154500 #constraints=89624 1284.36/1284.83 c nbDecision=155000 #constraints=89656 1286.46/1286.98 c nbDecision=155500 #constraints=89677 1287.76/1288.23 c nbDecision=156000 #constraints=89688 1288.76/1289.24 c nbDecision=156500 #constraints=89700 1289.56/1290.02 c nbDecision=157000 #constraints=89715 1300.76/1301.28 c nbDecision=157500 #constraints=89752 1303.55/1304.01 c nbDecision=158000 #constraints=89777 1305.85/1306.37 c nbDecision=158500 #constraints=89799 1309.95/1310.47 c nbDecision=159000 #constraints=89840 1311.35/1311.87 c nbDecision=159500 #constraints=89852 1312.65/1313.16 c nbDecision=160000 #constraints=89863 1313.55/1314.09 c nbDecision=160500 #constraints=89875 1314.55/1315.02 c nbDecision=161000 #constraints=89891 1324.95/1325.42 c nbDecision=161500 #constraints=89940 1326.64/1327.20 c nbDecision=162000 #constraints=89955 1330.24/1330.77 c nbDecision=162500 #constraints=89990 1332.34/1332.87 c nbDecision=163000 #constraints=90010 1333.64/1334.13 c nbDecision=163500 #constraints=90021 1334.84/1335.30 c nbDecision=164000 #constraints=90031 1336.33/1336.86 c nbDecision=164500 #constraints=90046 1350.70/1351.24 c nbDecision=165000 #constraints=90083 1352.09/1352.61 c nbDecision=165500 #constraints=90094 1353.49/1354.01 c nbDecision=166000 #constraints=90105 1355.29/1355.87 c nbDecision=166500 #constraints=90121 1357.28/1357.81 c nbDecision=167000 #constraints=90138 1359.48/1360.09 c nbDecision=167500 #constraints=90159 1362.86/1363.49 c nbDecision=168000 #constraints=90194 1363.56/1364.12 c nbDecision=168500 #constraints=90203 1364.16/1364.72 c nbDecision=169000 #constraints=90211 1364.96/1365.58 c nbDecision=169500 #constraints=90226 1365.76/1366.32 c nbDecision=170000 #constraints=90238 1379.94/1380.55 c nbDecision=170500 #constraints=90272 1381.63/1382.29 c nbDecision=171000 #constraints=90282 1383.53/1384.17 c nbDecision=171500 #constraints=90293 1386.03/1386.62 c nbDecision=172000 #constraints=90308 1388.83/1389.49 c nbDecision=172500 #constraints=90326 1392.02/1392.65 c nbDecision=173000 #constraints=90346 1397.22/1397.82 c nbDecision=173500 #constraints=90382 1397.82/1398.44 c nbDecision=174000 #constraints=90390 1398.42/1399.02 c nbDecision=174500 #constraints=90397 1399.22/1399.88 c nbDecision=175000 #constraints=90411 1400.02/1400.69 c nbDecision=175500 #constraints=90424 1401.11/1401.76 c nbDecision=176000 #constraints=90446 1415.21/1415.83 c nbDecision=176500 #constraints=90465 1416.71/1417.35 c nbDecision=177000 #constraints=90477 1418.61/1419.23 c nbDecision=177500 #constraints=90493 1420.71/1421.31 c nbDecision=178000 #constraints=90511 1423.51/1424.12 c nbDecision=178500 #constraints=90537 1426.61/1427.21 c nbDecision=179000 #constraints=90567 1427.51/1428.15 c nbDecision=179500 #constraints=90574 1428.71/1429.35 c nbDecision=180000 #constraints=90584 1430.21/1430.82 c nbDecision=180500 #constraints=90597 1431.41/1432.01 c nbDecision=181000 #constraints=90607 1433.61/1434.20 c nbDecision=181500 #constraints=90629 1448.40/1449.08 c nbDecision=182000 #constraints=90653 1450.00/1450.60 c nbDecision=182500 #constraints=90663 1451.80/1452.46 c nbDecision=183000 #constraints=90676 1454.10/1454.77 c nbDecision=183500 #constraints=90693 1456.10/1456.73 c nbDecision=184000 #constraints=90707 1459.50/1460.17 c nbDecision=184500 #constraints=90734 1462.50/1463.18 c nbDecision=185000 #constraints=90760 1463.20/1463.85 c nbDecision=185500 #constraints=90769 1463.80/1464.47 c nbDecision=186000 #constraints=90777 1464.80/1465.43 c nbDecision=186500 #constraints=90793 1465.60/1466.28 c nbDecision=187000 #constraints=90807 1479.69/1480.36 c nbDecision=187500 #constraints=90837 1481.19/1481.82 c nbDecision=188000 #constraints=90848 1482.69/1483.37 c nbDecision=188500 #constraints=90860 1484.29/1484.91 c nbDecision=189000 #constraints=90872 1486.19/1486.86 c nbDecision=189500 #constraints=90888 1487.79/1488.49 c nbDecision=190000 #constraints=90901 1491.19/1491.87 c nbDecision=190500 #constraints=90932 1493.29/1493.94 c nbDecision=191000 #constraints=90953 1493.99/1494.61 c nbDecision=191500 #constraints=90962 1494.59/1495.29 c nbDecision=192000 #constraints=90971 1495.39/1496.04 c nbDecision=192500 #constraints=90982 1496.09/1496.75 c nbDecision=193000 #constraints=90992 1497.29/1497.95 c nbDecision=193500 #constraints=91017 1511.28/1511.91 c nbDecision=194000 #constraints=91039 1512.78/1513.41 c nbDecision=194500 #constraints=91050 1514.78/1515.40 c nbDecision=195000 #constraints=91066 1516.38/1517.05 c nbDecision=195500 #constraints=91079 1518.08/1518.71 c nbDecision=196000 #constraints=91092 1520.68/1521.35 c nbDecision=196500 #constraints=91115 1523.98/1524.62 c nbDecision=197000 #constraints=91147 1524.57/1525.21 c nbDecision=197500 #constraints=91154 1525.17/1525.85 c nbDecision=198000 #constraints=91162 1525.97/1526.66 c nbDecision=198500 #constraints=91174 1526.87/1527.52 c nbDecision=199000 #constraints=91187 1527.68/1528.40 c nbDecision=199500 #constraints=91202 1541.37/1542.06 c nbDecision=200000 #constraints=91230 1542.77/1543.42 c nbDecision=200500 #constraints=91240 1544.57/1545.30 c nbDecision=201000 #constraints=91255 1546.87/1547.57 c nbDecision=201500 #constraints=91274 1549.27/1549.94 c nbDecision=202000 #constraints=91294 1553.37/1554.09 c nbDecision=202500 #constraints=91333 1554.07/1554.74 c nbDecision=203000 #constraints=91341 1554.67/1555.34 c nbDecision=203500 #constraints=91348 1555.47/1556.20 c nbDecision=204000 #constraints=91361 1556.37/1557.00 c nbDecision=204500 #constraints=91373 1556.87/1557.50 c restart after 204801 decisions 1558.87/1559.60 c nbDecision=205000 #constraints=91386 1562.47/1563.16 c nbDecision=205500 #constraints=91405 1569.36/1570.04 c nbDecision=206000 #constraints=91444 1570.96/1571.66 c nbDecision=206500 #constraints=91452 1572.96/1573.61 c nbDecision=207000 #constraints=91462 1575.16/1575.87 c nbDecision=207500 #constraints=91474 1577.56/1578.26 c nbDecision=208000 #constraints=91487 1602.35/1603.00 c nbDecision=208500 #constraints=91549 1607.74/1608.46 c nbDecision=209000 #constraints=91589 1610.24/1610.99 c nbDecision=209500 #constraints=91609 1612.04/1612.78 c nbDecision=210000 #constraints=91623 1614.34/1615.08 c nbDecision=210500 #constraints=91642 1616.94/1617.65 c nbDecision=211000 #constraints=91664 1620.24/1620.96 c nbDecision=211500 #constraints=91694 1622.34/1623.09 c nbDecision=212000 #constraints=91713 1623.64/1624.33 c nbDecision=212500 #constraints=91723 1624.94/1625.66 c nbDecision=213000 #constraints=91734 1626.25/1626.98 c nbDecision=213500 #constraints=91745 1628.35/1629.06 c nbDecision=214000 #constraints=91765 1653.93/1654.61 c nbDecision=214500 #constraints=91844 1657.13/1657.88 c nbDecision=215000 #constraints=91870 1658.63/1659.35 c nbDecision=215500 #constraints=91881 1660.83/1661.53 c nbDecision=216000 #constraints=91899 1663.43/1664.10 c nbDecision=216500 #constraints=91921 1666.43/1667.16 c nbDecision=217000 #constraints=91948 1669.33/1670.10 c nbDecision=217500 #constraints=91975 1670.52/1671.25 c nbDecision=218000 #constraints=91984 1671.82/1672.58 c nbDecision=218500 #constraints=91995 1673.22/1673.90 c nbDecision=219000 #constraints=92006 1674.92/1675.65 c nbDecision=219500 #constraints=92022 1699.92/1700.60 c nbDecision=220000 #constraints=92097 1704.51/1705.27 c nbDecision=220500 #constraints=92135 1706.02/1706.76 c nbDecision=221000 #constraints=92146 1707.92/1708.65 c nbDecision=221500 #constraints=92161 1710.52/1711.26 c nbDecision=222000 #constraints=92183 1713.22/1713.95 c nbDecision=222500 #constraints=92206 1716.91/1717.63 c nbDecision=223000 #constraints=92240 1717.91/1718.68 c nbDecision=223500 #constraints=92248 1719.21/1719.91 c nbDecision=224000 #constraints=92258 1720.61/1721.32 c nbDecision=224500 #constraints=92270 1722.11/1722.81 c nbDecision=225000 #constraints=92283 1743.80/1744.52 c nbDecision=225500 #constraints=92344 1749.90/1750.62 c nbDecision=226000 #constraints=92387 1752.70/1753.45 c nbDecision=226500 #constraints=92414 1754.50/1755.25 c nbDecision=227000 #constraints=92428 1756.80/1757.55 c nbDecision=227500 #constraints=92447 1759.31/1760.04 c nbDecision=228000 #constraints=92468 1763.10/1763.85 c nbDecision=228500 #constraints=92503 1764.80/1765.59 c nbDecision=229000 #constraints=92518 1766.10/1766.84 c nbDecision=229500 #constraints=92528 1767.50/1768.27 c nbDecision=230000 #constraints=92540 1768.80/1769.59 c nbDecision=230500 #constraints=92551 1770.70/1771.50 c nbDecision=231000 #constraints=92569 1797.59/1798.36 c nbDecision=231500 #constraints=92660 1799.89/1800.65 c nbDecision=232000 #constraints=92678 1800.09/1800.80 Received signal 15 1800.09/1800.88 1800.09/1800.88 s UNKNOWN 1800.09/1800.88 1800.09/1800.88 c user time= 1799.94 s 1800.09/1800.88 c system time= 0.243962 s 1800.09/1800.88 c wall clock time=1800.89
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node67/watcher-373105-1177166325 -o ROOT/results/node67/solver-373105-1177166325 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/373105-1177166325/instance-373105-1177166325.opb mod Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.91 0.97 0.99 3/64 16411 /proc/meminfo: memFree=1689960/2055920 swapFree=4180708/4192956 [pid=16411] ppid=16409 vsize=1468 CPUtime=0 /proc/16411/stat : 16411 (oree) R 16409 16411 15627 0 -1 4194304 182 0 0 0 0 0 0 0 18 0 1 0 192622020 1503232 164 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134718304 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16411/statm: 367 164 130 317 0 46 0 [startup+0.0910469 s] /proc/loadavg: 0.91 0.97 0.99 3/64 16411 /proc/meminfo: memFree=1689960/2055920 swapFree=4180708/4192956 [pid=16411] ppid=16409 vsize=3316 CPUtime=0.08 /proc/16411/stat : 16411 (oree) R 16409 16411 15627 0 -1 4194304 638 0 0 0 8 0 0 0 18 0 1 0 192622020 3395584 620 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16411/statm: 829 620 130 317 0 508 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 3316 [startup+0.101048 s] /proc/loadavg: 0.91 0.97 0.99 3/64 16411 /proc/meminfo: memFree=1689960/2055920 swapFree=4180708/4192956 [pid=16411] ppid=16409 vsize=3580 CPUtime=0.09 /proc/16411/stat : 16411 (oree) R 16409 16411 15627 0 -1 4194304 690 0 0 0 9 0 0 0 18 0 1 0 192622020 3665920 672 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16411/statm: 895 672 130 317 0 574 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3580 [startup+0.301084 s] /proc/loadavg: 0.91 0.97 0.99 3/64 16411 /proc/meminfo: memFree=1689960/2055920 swapFree=4180708/4192956 [pid=16411] ppid=16409 vsize=7800 CPUtime=0.29 /proc/16411/stat : 16411 (oree) R 16409 16411 15627 0 -1 4194304 1774 0 0 0 28 1 0 0 19 0 1 0 192622020 7987200 1723 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16411/statm: 1950 1724 130 317 0 1629 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7800 [startup+0.701158 s] /proc/loadavg: 0.91 0.97 0.99 3/64 16411 /proc/meminfo: memFree=1689960/2055920 swapFree=4180708/4192956 [pid=16411] ppid=16409 vsize=22312 CPUtime=0.69 /proc/16411/stat : 16411 (oree) R 16409 16411 15627 0 -1 4194304 5425 0 0 0 67 2 0 0 22 0 1 0 192622020 22847488 5309 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16411/statm: 5578 5309 137 317 0 5257 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 22312 [startup+1.50131 s] /proc/loadavg: 0.91 0.97 0.99 2/65 16412 /proc/meminfo: memFree=1668448/2055920 swapFree=4180708/4192956 [pid=16411] ppid=16409 vsize=28584 CPUtime=1.49 /proc/16411/stat : 16411 (oree) R 16409 16411 15627 0 -1 4194304 7025 0 0 0 146 3 0 0 25 0 1 0 192622020 29270016 6363 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134714119 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16411/statm: 7146 6363 139 317 0 6825 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 28584 [startup+3.1016 s] /proc/loadavg: 0.91 0.97 0.99 2/65 16412 /proc/meminfo: memFree=1664672/2055920 swapFree=4180708/4192956 [pid=16411] ppid=16409 vsize=28584 CPUtime=3.09 /proc/16411/stat : 16411 (oree) R 16409 16411 15627 0 -1 4194304 7025 0 0 0 306 3 0 0 25 0 1 0 192622020 29270016 6363 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134593512 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16411/statm: 7146 6363 139 317 0 6825 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 28584 [startup+6.30218 s] /proc/loadavg: 0.92 0.97 0.99 2/65 16412 /proc/meminfo: memFree=1664544/2055920 swapFree=4180708/4192956 [pid=16411] ppid=16409 vsize=28584 CPUtime=6.28 /proc/16411/stat : 16411 (oree) R 16409 16411 15627 0 -1 4194304 7025 0 0 0 625 3 0 0 25 0 1 0 192622020 29270016 6363 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134715645 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16411/statm: 7146 6363 139 317 0 6825 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 28584 [startup+12.7014 s] /proc/loadavg: 0.93 0.97 0.99 2/65 16412 /proc/meminfo: memFree=1664480/2055920 swapFree=4180708/4192956 [pid=16411] ppid=16409 vsize=28584 CPUtime=12.68 /proc/16411/stat : 16411 (oree) R 16409 16411 15627 0 -1 4194304 7026 0 0 0 1265 3 0 0 25 0 1 0 192622020 29270016 6364 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134714061 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16411/statm: 7146 6364 139 317 0 6825 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 28584 [startup+25.5017 s] /proc/loadavg: 0.94 0.97 0.99 2/65 16412 /proc/meminfo: memFree=1664544/2055920 swapFree=4180708/4192956 [pid=16411] ppid=16409 vsize=28584 CPUtime=25.48 /proc/16411/stat : 16411 (oree) R 16409 16411 15627 0 -1 4194304 7028 0 0 0 2545 3 0 0 25 0 1 0 192622020 29270016 6366 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563150 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16411/statm: 7146 6366 139 317 0 6825 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 28584 [startup+51.1014 s] /proc/loadavg: 0.96 0.97 0.99 2/65 16412 /proc/meminfo: memFree=1664032/2055920 swapFree=4180708/4192956 [pid=16411] ppid=16409 vsize=29368 CPUtime=51.08 /proc/16411/stat : 16411 (oree) R 16409 16411 15627 0 -1 4194304 7201 0 0 0 5104 4 0 0 25 0 1 0 192622020 30072832 6539 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563893 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16411/statm: 7342 6539 139 317 0 7021 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 29368 [startup+102.306 s] /proc/loadavg: 0.98 0.97 0.99 2/65 16412 /proc/meminfo: memFree=1661152/2055920 swapFree=4180708/4192956 [pid=16411] ppid=16409 vsize=32296 CPUtime=102.26 /proc/16411/stat : 16411 (oree) R 16409 16411 15627 0 -1 4194304 7932 0 0 0 10222 4 0 0 25 0 1 0 192622020 33071104 7250 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135270621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16411/statm: 8074 7250 139 317 0 7753 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 32296 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 16414 /proc/meminfo: memFree=1658016/2055920 swapFree=4180708/4192956 [pid=16411] ppid=16409 vsize=35376 CPUtime=162.24 /proc/16411/stat : 16411 (oree) R 16409 16411 15627 0 -1 4194304 8741 0 0 0 16219 5 0 0 25 0 1 0 192622020 36225024 8019 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134604205 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16411/statm: 8844 8019 139 317 0 8523 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 35376 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 16414 /proc/meminfo: memFree=1654624/2055920 swapFree=4180708/4192956 [pid=16411] ppid=16409 vsize=38752 CPUtime=222.22 /proc/16411/stat : 16411 (oree) R 16409 16411 15627 0 -1 4194304 9605 0 0 0 22216 6 0 0 25 0 1 0 192622020 39682048 8842 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16411/statm: 9688 8842 139 317 0 9367 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 38752 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 16414 /proc/meminfo: memFree=1651168/2055920 swapFree=4180708/4192956 [pid=16411] ppid=16409 vsize=42448 CPUtime=282.2 /proc/16411/stat : 16411 (oree) R 16409 16411 15627 0 -1 4194304 10469 0 0 0 28214 6 0 0 25 0 1 0 192622020 43466752 9686 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135272945 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16411/statm: 10612 9686 139 317 0 10291 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 42448 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 16414 /proc/meminfo: memFree=1646880/2055920 swapFree=4180708/4192956 [pid=16411] ppid=16409 vsize=46872 CPUtime=342.17 /proc/16411/stat : 16411 (oree) R 16409 16411 15627 0 -1 4194304 11585 0 0 0 34210 7 0 0 25 0 1 0 192622020 47996928 10782 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134713748 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16411/statm: 11718 10782 139 317 0 11397 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 46872 [startup+402.303 s] /proc/loadavg: 0.99 0.97 0.99 2/65 16414 /proc/meminfo: memFree=1644384/2055920 swapFree=4180708/4192956 [pid=16411] ppid=16409 vsize=49460 CPUtime=402.16 /proc/16411/stat : 16411 (oree) R 16409 16411 15627 0 -1 4194304 12267 0 0 0 40208 8 0 0 25 0 1 0 192622020 50647040 11423 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16411/statm: 12365 11423 139 317 0 12044 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 49460 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 16414 /proc/meminfo: memFree=1640544/2055920 swapFree=4180708/4192956 [pid=16411] ppid=16409 vsize=53324 CPUtime=462.13 /proc/16411/stat : 16411 (oree) R 16409 16411 15627 0 -1 4194304 13229 0 0 0 46205 8 0 0 25 0 1 0 192622020 54603776 12365 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135271349 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16411/statm: 13331 12365 139 317 0 13010 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 53324 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 16414 /proc/meminfo: memFree=1638176/2055920 swapFree=4180708/4192956 [pid=16411] ppid=16409 vsize=55800 CPUtime=522.12 /proc/16411/stat : 16411 (oree) R 16409 16411 15627 0 -1 4194304 13867 0 0 0 52203 9 0 0 25 0 1 0 192622020 57139200 12963 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135284202 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16411/statm: 13950 12963 139 317 0 13629 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 55800 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 16414 /proc/meminfo: memFree=1633504/2055920 swapFree=4180708/4192956 [pid=16411] ppid=16409 vsize=61152 CPUtime=582.09 /proc/16411/stat : 16411 (oree) R 16409 16411 15627 0 -1 4194304 15046 0 0 0 58200 9 0 0 25 0 1 0 192622020 62619648 14122 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134530455 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16411/statm: 15288 14122 139 317 0 14967 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 61152 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 16414 /proc/meminfo: memFree=1630752/2055920 swapFree=4180708/4192956 [pid=16411] ppid=16409 vsize=63784 CPUtime=642.08 /proc/16411/stat : 16411 (oree) R 16409 16411 15627 0 -1 4194304 15777 0 0 0 64198 10 0 0 25 0 1 0 192622020 65314816 14813 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16411/statm: 15946 14813 139 317 0 15625 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 63784 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 16414 /proc/meminfo: memFree=1617824/2055920 swapFree=4180708/4192956 [pid=16411] ppid=16409 vsize=76848 CPUtime=882 /proc/16411/stat : 16411 (oree) R 16409 16411 15627 0 -1 4194304 19091 0 0 0 88187 13 0 0 25 0 1 0 192622020 78692352 18027 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135270595 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16411/statm: 19212 18027 139 317 0 18891 0 Current children cumulated CPU time (s) 882 Current children cumulated vsize (KiB) 76848 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 16414 /proc/meminfo: memFree=1615776/2055920 swapFree=4180708/4192956 [pid=16411] ppid=16409 vsize=78896 CPUtime=941.97 /proc/16411/stat : 16411 (oree) R 16409 16411 15627 0 -1 4194304 19646 0 0 0 94184 13 0 0 25 0 1 0 192622020 80789504 18562 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16411/statm: 19724 18562 139 317 0 19403 0 Current children cumulated CPU time (s) 941.97 Current children cumulated vsize (KiB) 78896 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 16414 /proc/meminfo: memFree=1613024/2055920 swapFree=4180708/4192956 [pid=16411] ppid=16409 vsize=81504 CPUtime=1001.95 /proc/16411/stat : 16411 (oree) R 16409 16411 15627 0 -1 4194304 20321 0 0 0 100182 13 0 0 25 0 1 0 192622020 83460096 19237 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16411/statm: 20376 19237 139 317 0 20055 0 Current children cumulated CPU time (s) 1001.95 Current children cumulated vsize (KiB) 81504 [startup+1062.3 s] /proc/loadavg: 1.03 0.99 0.99 2/65 16414 /proc/meminfo: memFree=1610144/2055920 swapFree=4180708/4192956 [pid=16411] ppid=16409 vsize=84360 CPUtime=1061.93 /proc/16411/stat : 16411 (oree) R 16409 16411 15627 0 -1 4194304 21041 0 0 0 106179 14 0 0 25 0 1 0 192622020 86384640 19957 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134593645 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16411/statm: 21090 19957 139 317 0 20769 0 Current children cumulated CPU time (s) 1061.93 Current children cumulated vsize (KiB) 84360 [startup+1122.3 s] /proc/loadavg: 1.01 0.99 0.99 2/65 16414 /proc/meminfo: memFree=1606624/2055920 swapFree=4180708/4192956 [pid=16411] ppid=16409 vsize=88956 CPUtime=1121.92 /proc/16411/stat : 16411 (oree) R 16409 16411 15627 0 -1 4194304 21912 0 0 0 112177 15 0 0 25 0 1 0 192622020 91090944 20828 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712495 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16411/statm: 22239 20828 139 317 0 21918 0 Current children cumulated CPU time (s) 1121.92 Current children cumulated vsize (KiB) 88956 [startup+1182.3 s] /proc/loadavg: 1.00 0.99 0.99 2/65 16414 /proc/meminfo: memFree=1603488/2055920 swapFree=4180708/4192956 [pid=16411] ppid=16409 vsize=92184 CPUtime=1181.89 /proc/16411/stat : 16411 (oree) R 16409 16411 15627 0 -1 4194304 22708 0 0 0 118174 15 0 0 25 0 1 0 192622020 94396416 21624 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16411/statm: 23046 21624 139 317 0 22725 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 92184 [startup+1242.3 s] /proc/loadavg: 1.00 0.99 0.99 2/65 16414 /proc/meminfo: memFree=1600288/2055920 swapFree=4180708/4192956 [pid=16411] ppid=16409 vsize=95120 CPUtime=1241.87 /proc/16411/stat : 16411 (oree) R 16409 16411 15627 0 -1 4194304 23494 0 0 0 124171 16 0 0 25 0 1 0 192622020 97402880 22410 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134710946 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16411/statm: 23780 22410 139 317 0 23459 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 95120 [startup+1302.3 s] /proc/loadavg: 1.06 1.00 1.00 2/65 16414 /proc/meminfo: memFree=1594848/2055920 swapFree=4180708/4192956 [pid=16411] ppid=16409 vsize=101192 CPUtime=1301.86 /proc/16411/stat : 16411 (oree) R 16409 16411 15627 0 -1 4194304 24873 0 0 0 130169 17 0 0 25 0 1 0 192622020 103620608 23749 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135278987 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16411/statm: 25298 23749 139 317 0 24977 0 Current children cumulated CPU time (s) 1301.86 Current children cumulated vsize (KiB) 101192 [startup+1362.3 s] /proc/loadavg: 1.02 1.00 1.00 2/71 16552 /proc/meminfo: memFree=1590128/2055920 swapFree=4180708/4192956 [pid=16411] ppid=16409 vsize=105068 CPUtime=1361.77 /proc/16411/stat : 16411 (oree) R 16409 16411 15627 0 -1 4194304 25812 0 0 0 136159 18 0 0 25 0 1 0 192622020 107589632 24649 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134714454 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16411/statm: 26267 24649 139 317 0 25946 0 Current children cumulated CPU time (s) 1361.77 Current children cumulated vsize (KiB) 105068 [startup+1422.31 s] /proc/loadavg: 1.04 1.01 1.00 2/65 16612 /proc/meminfo: memFree=1587616/2055920 swapFree=4180708/4192956 [pid=16411] ppid=16409 vsize=108588 CPUtime=1421.71 /proc/16411/stat : 16411 (oree) R 16409 16411 15627 0 -1 4194304 26775 0 0 0 142153 18 0 0 25 0 1 0 192622020 111194112 25572 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135272594 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16411/statm: 27147 25572 139 317 0 26826 0 Current children cumulated CPU time (s) 1421.71 Current children cumulated vsize (KiB) 108588 [startup+1482.3 s] /proc/loadavg: 1.01 1.01 1.00 2/65 16612 /proc/meminfo: memFree=1584544/2055920 swapFree=4180708/4192956 [pid=16411] ppid=16409 vsize=111548 CPUtime=1481.69 /proc/16411/stat : 16411 (oree) R 16409 16411 15627 0 -1 4194304 27548 0 0 0 148150 19 0 0 25 0 1 0 192622020 114225152 26305 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16411/statm: 27887 26305 139 317 0 27566 0 Current children cumulated CPU time (s) 1481.69 Current children cumulated vsize (KiB) 111548 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16612 /proc/meminfo: memFree=1580704/2055920 swapFree=4180708/4192956 [pid=16411] ppid=16409 vsize=115536 CPUtime=1541.67 /proc/16411/stat : 16411 (oree) R 16409 16411 15627 0 -1 4194304 28556 0 0 0 154146 21 0 0 25 0 1 0 192622020 118308864 27273 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135277199 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16411/statm: 28884 27273 139 317 0 28563 0 Current children cumulated CPU time (s) 1541.67 Current children cumulated vsize (KiB) 115536 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16612 /proc/meminfo: memFree=1578336/2055920 swapFree=4180708/4192956 [pid=16411] ppid=16409 vsize=118300 CPUtime=1601.65 /proc/16411/stat : 16411 (oree) R 16409 16411 15627 0 -1 4194304 29180 0 0 0 160144 21 0 0 25 0 1 0 192622020 121139200 27877 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134711091 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16411/statm: 29575 27877 139 317 0 29254 0 Current children cumulated CPU time (s) 1601.65 Current children cumulated vsize (KiB) 118300 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16612 /proc/meminfo: memFree=1576224/2055920 swapFree=4180708/4192956 [pid=16411] ppid=16409 vsize=120284 CPUtime=1661.63 /proc/16411/stat : 16411 (oree) R 16409 16411 15627 0 -1 4194304 29735 0 0 0 166141 22 0 0 25 0 1 0 192622020 123170816 28412 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135278973 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16411/statm: 30071 28412 139 317 0 29750 0 Current children cumulated CPU time (s) 1661.63 Current children cumulated vsize (KiB) 120284 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16612 /proc/meminfo: memFree=1573920/2055920 swapFree=4180708/4192956 [pid=16411] ppid=16409 vsize=122524 CPUtime=1721.61 /proc/16411/stat : 16411 (oree) R 16409 16411 15627 0 -1 4194304 30336 0 0 0 172138 23 0 0 25 0 1 0 192622020 125464576 28993 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134593537 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16411/statm: 30631 28993 139 317 0 30310 0 Current children cumulated CPU time (s) 1721.61 Current children cumulated vsize (KiB) 122524 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16612 /proc/meminfo: memFree=1571296/2055920 swapFree=4180708/4192956 [pid=16411] ppid=16409 vsize=125112 CPUtime=1781.59 /proc/16411/stat : 16411 (oree) R 16409 16411 15627 0 -1 4194304 30991 0 0 0 178135 24 0 0 25 0 1 0 192622020 128114688 29628 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135270568 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16411/statm: 31278 29628 139 317 0 30957 0 Current children cumulated CPU time (s) 1781.59 Current children cumulated vsize (KiB) 125112 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16612 /proc/meminfo: memFree=1571104/2055920 swapFree=4180708/4192956 [pid=16411] ppid=16409 vsize=125240 CPUtime=1800.09 /proc/16411/stat : 16411 (oree) R 16409 16411 15627 0 -1 4194304 31058 0 0 0 179985 24 0 0 25 0 1 0 192622020 128245760 29675 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16411/statm: 31310 29675 139 317 0 30989 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 125240 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.91 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16612 /proc/meminfo: memFree=1571104/2055920 swapFree=4180708/4192956 [pid=16411] ppid=16409 vsize=120576 CPUtime=1800.19 /proc/16411/stat : 16411 (oree) R 16409 16411 15627 0 -1 4194304 31074 0 0 0 179995 24 0 0 25 0 1 0 192622020 123469824 28964 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135339169 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16411/statm: 30078 28938 155 317 0 29757 0 Current children cumulated CPU time (s) 1800.19 Current children cumulated vsize (KiB) 120576 Child status: 0 Real time (s): 1800.93 CPU time (s): 1800.23 CPU user time (s): 1799.96 CPU system time (s): 0.26296 CPU usage (%): 99.9607 Max. virtual memory (cumulated for all children) (KiB): 125240 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.96 system time used= 0.26296 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 31074 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= 2513 runsolver used 1.20882 second user time and 3.77743 second system time The end
Begin job on node67 on Sat Apr 21 14:38:45 UTC 2007 IDJOB= 373105 IDBENCH= 25019 IDSOLVER= 172 FILE ID= node67/373105-1177166325 PBS_JOBID= 4648925 Free space on /tmp= 66453 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_1.opb COMMAND LINE= oree /tmp/evaluation/373105-1177166325/instance-373105-1177166325.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node67/watcher-373105-1177166325 -o ROOT/results/node67/solver-373105-1177166325 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/373105-1177166325/instance-373105-1177166325.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= a7af672db5daf9bd21f1768f531add6b RANDOM SEED= 201629298 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node67.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.263 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.263 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: 1690368 kB Buffers: 52412 kB Cached: 259580 kB SwapCached: 5976 kB Active: 158092 kB Inactive: 165972 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1690368 kB SwapTotal: 4192956 kB SwapFree: 4180708 kB Dirty: 3656 kB Writeback: 0 kB Mapped: 15596 kB Slab: 27408 kB Committed_AS: 1119560 kB PageTables: 1452 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= 66453 MiB End job on node67 on Sat Apr 21 15:08:48 UTC 2007