Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.11 | 1800.58 |
Name | normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/golomb-rulers/normalized-OGR_7.opb |
MD5SUM | a28f5b3e9b4b12f9ccee04abccbf9327 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 25 |
Best CPU time to get the best result obtained on this benchmark | 1.05084 |
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 | YES |
Number of variables | 238 |
Total number of constraints | 398 |
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 | 398 |
Minimum length of a constraint | 12 |
Maximum length of a constraint | 25 |
Number of terms in the objective function | 6 |
Biggest coefficient in the objective function | 32 |
Number of bits for the biggest coefficient in the objective function | 6 |
Sum of the numbers in the objective function | 63 |
Number of bits of the sum of numbers in the objective function | 6 |
Biggest number in a constraint | 64 |
Number of bits of the biggest number in a constraint | 7 |
Biggest sum of numbers in a constraint | 349 |
Number of bits of the biggest sum of numbers | 9 |
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.00/0.02 c ...done 0.00/0.02 c #vars=238 #constraints=399 hasObjective=yes 0.00/0.02 c res. mode=mod 0.00/0.02 c VSIDS like heuristics 0.00/0.02 c complete search running 0.00/0.03 c restart after 401 decisions 0.00/0.03 c nbDecision=500 #constraints=415 0.04/0.04 c restart after 801 decisions 0.04/0.05 c nbDecision=1000 #constraints=439 0.04/0.07 c nbDecision=1500 #constraints=483 0.04/0.07 c restart after 1601 decisions 0.04/0.09 c nbDecision=2000 #constraints=518 0.09/0.12 c nbDecision=2500 #constraints=565 0.09/0.14 c nbDecision=3000 #constraints=606 0.09/0.14 c restart after 3201 decisions 0.09/0.16 c nbDecision=3500 #constraints=637 0.09/0.18 c nbDecision=4000 #constraints=683 0.19/0.21 c nbDecision=4500 #constraints=734 0.19/0.25 c nbDecision=5000 #constraints=797 0.19/0.28 c nbDecision=5500 #constraints=851 0.29/0.32 c nbDecision=6000 #constraints=902 0.29/0.35 c restart after 6401 decisions 0.29/0.35 c nbDecision=6500 #constraints=944 0.29/0.39 c nbDecision=7000 #constraints=1004 0.39/0.43 c nbDecision=7500 #constraints=1064 0.39/0.48 c nbDecision=8000 #constraints=1126 0.49/0.53 c nbDecision=8500 #constraints=1204 0.59/0.60 c nbDecision=9000 #constraints=1284 0.59/0.64 c nbDecision=9500 #constraints=1331 0.59/0.69 c nbDecision=10000 #constraints=1362 0.69/0.72 c nbDecision=10500 #constraints=1399 0.69/0.78 c nbDecision=11000 #constraints=1443 0.79/0.81 c nbDecision=11500 #constraints=1483 0.79/0.85 c nbDecision=12000 #constraints=1515 0.89/0.90 c nbDecision=12500 #constraints=1553 0.89/0.93 c restart after 12801 decisions 0.89/0.95 c nbDecision=13000 #constraints=1586 0.89/0.98 c nbDecision=13500 #constraints=1614 0.99/1.05 c nbDecision=14000 #constraints=1672 1.09/1.12 c nbDecision=14500 #constraints=1732 1.19/1.21 c nbDecision=15000 #constraints=1815 1.29/1.31 c nbDecision=15500 #constraints=1895 1.39/1.41 c nbDecision=16000 #constraints=1971 1.49/1.53 c nbDecision=16500 #constraints=2022 1.69/1.77 c nbDecision=17000 #constraints=2087 1.89/1.96 c nbDecision=17500 #constraints=2138 2.19/2.29 c nbDecision=18000 #constraints=2209 2.49/2.53 c nbDecision=18500 #constraints=2263 2.89/2.90 c nbDecision=19000 #constraints=2342 3.09/3.20 c nbDecision=19500 #constraints=2426 3.49/3.53 c nbDecision=20000 #constraints=2500 3.79/3.81 c nbDecision=20500 #constraints=2560 3.99/4.09 c nbDecision=21000 #constraints=2611 4.49/4.56 c nbDecision=21500 #constraints=2702 4.89/4.99 c nbDecision=22000 #constraints=2775 5.28/5.36 c nbDecision=22500 #constraints=2842 5.69/5.75 c nbDecision=23000 #constraints=2911 6.09/6.17 c nbDecision=23500 #constraints=2982 6.69/6.70 c nbDecision=24000 #constraints=3070 7.39/7.41 c nbDecision=24500 #constraints=3199 7.99/8.07 c nbDecision=25000 #constraints=3303 8.69/8.73 c nbDecision=25500 #constraints=3401 8.79/8.88 c restart after 25601 decisions 9.39/9.45 c nbDecision=26000 #constraints=3494 9.99/10.08 c nbDecision=26500 #constraints=3576 10.59/10.69 c nbDecision=27000 #constraints=3658 11.19/11.28 c nbDecision=27500 #constraints=3742 11.99/12.05 c nbDecision=28000 #constraints=3845 12.89/12.91 c nbDecision=28500 #constraints=3960 13.58/13.65 c nbDecision=29000 #constraints=4049 14.78/14.85 c nbDecision=29500 #constraints=4196 15.58/15.69 c nbDecision=30000 #constraints=4295 16.58/16.64 c nbDecision=30500 #constraints=4405 17.79/17.84 c nbDecision=31000 #constraints=4543 18.99/19.09 c nbDecision=31500 #constraints=4681 20.49/20.58 c nbDecision=32000 #constraints=4842 21.89/21.99 c nbDecision=32500 #constraints=4999 23.19/23.29 c nbDecision=33000 #constraints=5138 24.49/24.57 c nbDecision=33500 #constraints=5269 26.09/26.10 c nbDecision=34000 #constraints=5402 27.09/27.16 c nbDecision=34500 #constraints=5498 27.59/27.64 c nbDecision=35000 #constraints=5539 28.39/28.47 c nbDecision=35500 #constraints=5612 29.39/29.44 c nbDecision=36000 #constraints=5712 30.08/30.17 c nbDecision=36500 #constraints=5776 30.88/30.95 c nbDecision=37000 #constraints=5847 31.89/31.95 c nbDecision=37500 #constraints=5935 32.99/33.02 c nbDecision=38000 #constraints=6038 33.78/33.89 c nbDecision=38500 #constraints=6108 34.68/34.79 c nbDecision=39000 #constraints=6193 35.58/35.62 c nbDecision=39500 #constraints=6256 36.38/36.43 c nbDecision=40000 #constraints=6322 37.48/37.56 c nbDecision=40500 #constraints=6420 38.78/38.84 c nbDecision=41000 #constraints=6526 39.68/39.79 c nbDecision=41500 #constraints=6586 40.58/40.69 c nbDecision=42000 #constraints=6646 41.78/41.80 c nbDecision=42500 #constraints=6713 42.68/42.79 c nbDecision=43000 #constraints=6785 43.58/43.68 c nbDecision=43500 #constraints=6841 44.88/44.90 c nbDecision=44000 #constraints=6915 45.87/45.90 c nbDecision=44500 #constraints=6983 47.18/47.24 c nbDecision=45000 #constraints=7065 48.28/48.33 c nbDecision=45500 #constraints=7144 49.48/49.54 c nbDecision=46000 #constraints=7226 50.78/50.86 c nbDecision=46500 #constraints=7316 52.28/52.39 c nbDecision=47000 #constraints=7432 53.88/53.95 c nbDecision=47500 #constraints=7549 55.58/55.60 c nbDecision=48000 #constraints=7662 56.88/56.99 c nbDecision=48500 #constraints=7744 58.38/58.42 c nbDecision=49000 #constraints=7838 59.98/60.00 c nbDecision=49500 #constraints=7946 61.68/61.75 c nbDecision=50000 #constraints=8057 62.88/62.97 c nbDecision=50500 #constraints=8134 64.08/64.11 c nbDecision=51000 #constraints=8219 64.58/64.60 c restart after 51201 decisions 65.38/65.41 c nbDecision=51500 #constraints=8283 67.27/67.37 c nbDecision=52000 #constraints=8399 68.97/69.02 c nbDecision=52500 #constraints=8500 70.28/70.35 c nbDecision=53000 #constraints=8596 71.48/71.57 c nbDecision=53500 #constraints=8680 72.87/72.95 c nbDecision=54000 #constraints=8778 74.17/74.22 c nbDecision=54500 #constraints=8862 75.47/75.51 c nbDecision=55000 #constraints=8961 76.57/76.67 c nbDecision=55500 #constraints=9049 77.87/77.91 c nbDecision=56000 #constraints=9130 79.27/79.37 c nbDecision=56500 #constraints=9234 81.17/81.25 c nbDecision=57000 #constraints=9320 83.67/83.76 c nbDecision=57500 #constraints=9432 86.57/86.64 c nbDecision=58000 #constraints=9537 88.47/88.56 c nbDecision=58500 #constraints=9627 90.27/90.33 c nbDecision=59000 #constraints=9707 93.06/93.10 c nbDecision=59500 #constraints=9810 94.57/94.64 c nbDecision=60000 #constraints=9870 96.67/96.78 c nbDecision=60500 #constraints=9955 98.37/98.49 c nbDecision=61000 #constraints=10032 100.67/100.70 c nbDecision=61500 #constraints=10122 102.87/102.94 c nbDecision=62000 #constraints=10209 105.17/105.26 c nbDecision=62500 #constraints=10311 107.06/107.14 c nbDecision=63000 #constraints=10405 108.46/108.59 c nbDecision=63500 #constraints=10491 110.06/110.11 c nbDecision=64000 #constraints=10590 111.46/111.54 c nbDecision=64500 #constraints=10669 113.36/113.45 c nbDecision=65000 #constraints=10778 116.46/116.52 c nbDecision=65500 #constraints=10913 120.26/120.32 c nbDecision=66000 #constraints=11069 123.46/123.59 c nbDecision=66500 #constraints=11194 127.16/127.23 c nbDecision=67000 #constraints=11355 129.77/129.81 c nbDecision=67500 #constraints=11454 132.66/132.72 c nbDecision=68000 #constraints=11566 136.06/136.11 c nbDecision=68500 #constraints=11700 139.06/139.15 c nbDecision=69000 #constraints=11823 141.96/142.06 c nbDecision=69500 #constraints=11936 145.06/145.16 c nbDecision=70000 #constraints=12038 149.05/149.12 c nbDecision=70500 #constraints=12177 153.35/153.42 c nbDecision=71000 #constraints=12335 157.25/157.33 c nbDecision=71500 #constraints=12482 161.25/161.30 c nbDecision=72000 #constraints=12621 166.15/166.25 c nbDecision=72500 #constraints=12805 169.94/170.03 c nbDecision=73000 #constraints=12946 174.55/174.60 c nbDecision=73500 #constraints=13107 177.65/177.78 c nbDecision=74000 #constraints=13186 180.15/180.25 c nbDecision=74500 #constraints=13250 182.15/182.24 c nbDecision=75000 #constraints=13312 184.45/184.57 c nbDecision=75500 #constraints=13384 187.24/187.36 c nbDecision=76000 #constraints=13462 190.44/190.57 c nbDecision=76500 #constraints=13559 194.34/194.48 c nbDecision=77000 #constraints=13684 197.94/198.06 c nbDecision=77500 #constraints=13812 201.34/201.47 c nbDecision=78000 #constraints=13923 205.64/205.80 c nbDecision=78500 #constraints=14031 208.34/208.47 c nbDecision=79000 #constraints=14106 211.43/211.50 c nbDecision=79500 #constraints=14183 214.03/214.16 c nbDecision=80000 #constraints=14274 216.13/216.29 c nbDecision=80500 #constraints=14367 218.64/218.71 c nbDecision=81000 #constraints=14451 221.24/221.35 c nbDecision=81500 #constraints=14533 224.34/224.44 c nbDecision=82000 #constraints=14623 227.64/227.77 c nbDecision=82500 #constraints=14728 232.23/232.30 c nbDecision=83000 #constraints=14839 234.83/234.94 c nbDecision=83500 #constraints=14913 238.13/238.23 c nbDecision=84000 #constraints=15002 241.33/241.42 c nbDecision=84500 #constraints=15083 245.33/245.41 c nbDecision=85000 #constraints=15196 249.83/249.99 c nbDecision=85500 #constraints=15309 254.23/254.39 c nbDecision=86000 #constraints=15427 259.13/259.22 c nbDecision=86500 #constraints=15579 262.62/262.77 c nbDecision=87000 #constraints=15681 266.42/266.53 c nbDecision=87500 #constraints=15786 269.92/270.00 c nbDecision=88000 #constraints=15888 273.32/273.44 c nbDecision=88500 #constraints=15981 276.32/276.43 c nbDecision=89000 #constraints=16066 279.42/279.57 c nbDecision=89500 #constraints=16159 283.31/283.47 c nbDecision=90000 #constraints=16255 287.71/287.83 c nbDecision=90500 #constraints=16369 290.91/291.04 c nbDecision=91000 #constraints=16444 294.22/294.36 c nbDecision=91500 #constraints=16528 297.92/298.09 c nbDecision=92000 #constraints=16615 301.92/302.07 c nbDecision=92500 #constraints=16700 306.02/306.17 c nbDecision=93000 #constraints=16802 310.32/310.42 c nbDecision=93500 #constraints=16900 314.81/314.91 c nbDecision=94000 #constraints=17000 318.82/318.94 c nbDecision=94500 #constraints=17107 324.01/324.18 c nbDecision=95000 #constraints=17228 327.21/327.37 c nbDecision=95500 #constraints=17299 330.61/330.78 c nbDecision=96000 #constraints=17389 335.41/335.58 c nbDecision=96500 #constraints=17502 341.91/342.09 c nbDecision=97000 #constraints=17639 346.30/346.43 c nbDecision=97500 #constraints=17735 352.40/352.59 c nbDecision=98000 #constraints=17861 357.10/357.24 c nbDecision=98500 #constraints=17972 361.81/361.94 c nbDecision=99000 #constraints=18088 365.40/365.54 c nbDecision=99500 #constraints=18180 370.10/370.21 c nbDecision=100000 #constraints=18281 376.50/376.65 c nbDecision=100500 #constraints=18413 380.60/380.72 c nbDecision=101000 #constraints=18511 384.80/384.92 c nbDecision=101500 #constraints=18635 389.39/389.57 c nbDecision=102000 #constraints=18757 392.19/392.34 c restart after 102401 decisions 392.69/392.82 c nbDecision=102500 #constraints=18836 396.89/397.02 c nbDecision=103000 #constraints=18915 401.99/402.16 c nbDecision=103500 #constraints=19018 407.28/407.41 c nbDecision=104000 #constraints=19131 412.48/412.65 c nbDecision=104500 #constraints=19260 418.08/418.26 c nbDecision=105000 #constraints=19378 422.78/422.99 c nbDecision=105500 #constraints=19485 426.79/426.96 c nbDecision=106000 #constraints=19571 431.39/431.51 c nbDecision=106500 #constraints=19670 434.98/435.15 c nbDecision=107000 #constraints=19750 438.79/438.94 c nbDecision=107500 #constraints=19834 444.78/444.92 c nbDecision=108000 #constraints=19970 448.18/448.31 c nbDecision=108500 #constraints=20062 451.78/451.93 c nbDecision=109000 #constraints=20168 456.47/456.66 c nbDecision=109500 #constraints=20263 460.78/460.94 c nbDecision=110000 #constraints=20358 466.77/466.98 c nbDecision=110500 #constraints=20488 471.57/471.70 c nbDecision=111000 #constraints=20591 477.07/477.21 c nbDecision=111500 #constraints=20722 482.17/482.33 c nbDecision=112000 #constraints=20826 487.66/487.89 c nbDecision=112500 #constraints=20954 491.47/491.60 c nbDecision=113000 #constraints=21039 495.76/496.00 c nbDecision=113500 #constraints=21126 500.56/500.77 c nbDecision=114000 #constraints=21215 507.26/507.43 c nbDecision=114500 #constraints=21327 512.06/512.21 c nbDecision=115000 #constraints=21419 515.36/515.56 c nbDecision=115500 #constraints=21500 519.36/519.51 c nbDecision=116000 #constraints=21588 526.67/526.86 c nbDecision=116500 #constraints=21718 532.46/532.69 c nbDecision=117000 #constraints=21827 537.66/537.82 c nbDecision=117500 #constraints=21943 542.76/542.90 c nbDecision=118000 #constraints=22043 547.95/548.10 c nbDecision=118500 #constraints=22153 553.95/554.17 c nbDecision=119000 #constraints=22291 561.75/561.92 c nbDecision=119500 #constraints=22428 569.45/569.69 c nbDecision=120000 #constraints=22561 578.24/578.50 c nbDecision=120500 #constraints=22705 586.14/586.31 c nbDecision=121000 #constraints=22854 595.04/595.20 c nbDecision=121500 #constraints=23002 602.34/602.53 c nbDecision=122000 #constraints=23117 608.24/608.41 c nbDecision=122500 #constraints=23210 615.64/615.89 c nbDecision=123000 #constraints=23334 627.93/628.16 c nbDecision=123500 #constraints=23525 633.83/634.02 c nbDecision=124000 #constraints=23631 639.83/640.03 c nbDecision=124500 #constraints=23734 646.32/646.59 c nbDecision=125000 #constraints=23849 652.72/652.92 c nbDecision=125500 #constraints=23972 659.62/659.85 c nbDecision=126000 #constraints=24101 669.11/669.35 c nbDecision=126500 #constraints=24262 678.31/678.52 c nbDecision=127000 #constraints=24401 685.81/686.04 c nbDecision=127500 #constraints=24516 694.32/694.51 c nbDecision=128000 #constraints=24644 702.81/703.01 c nbDecision=128500 #constraints=24799 710.51/710.74 c nbDecision=129000 #constraints=24923 718.31/718.55 c nbDecision=129500 #constraints=25066 725.81/726.08 c nbDecision=130000 #constraints=25195 733.60/733.80 c nbDecision=130500 #constraints=25330 741.00/741.21 c nbDecision=131000 #constraints=25444 746.90/747.19 c nbDecision=131500 #constraints=25539 752.20/752.48 c nbDecision=132000 #constraints=25624 760.79/761.01 c nbDecision=132500 #constraints=25756 765.49/765.73 c nbDecision=133000 #constraints=25848 772.99/773.27 c nbDecision=133500 #constraints=25970 779.48/779.79 c nbDecision=134000 #constraints=26085 785.89/786.11 c nbDecision=134500 #constraints=26182 794.89/795.17 c nbDecision=135000 #constraints=26313 801.79/802.02 c nbDecision=135500 #constraints=26422 811.98/812.29 c nbDecision=136000 #constraints=26570 822.18/822.47 c nbDecision=136500 #constraints=26710 830.37/830.66 c nbDecision=137000 #constraints=26845 839.47/839.74 c nbDecision=137500 #constraints=26979 850.47/850.75 c nbDecision=138000 #constraints=27154 858.77/859.05 c nbDecision=138500 #constraints=27278 867.06/867.33 c nbDecision=139000 #constraints=27405 874.86/875.15 c nbDecision=139500 #constraints=27530 881.47/881.73 c nbDecision=140000 #constraints=27650 889.27/889.58 c nbDecision=140500 #constraints=27772 899.16/899.41 c nbDecision=141000 #constraints=27911 906.96/907.25 c nbDecision=141500 #constraints=28042 912.66/912.91 c nbDecision=142000 #constraints=28127 917.36/917.61 c nbDecision=142500 #constraints=28213 924.65/924.92 c nbDecision=143000 #constraints=28333 931.55/931.87 c nbDecision=143500 #constraints=28459 939.85/940.14 c nbDecision=144000 #constraints=28598 948.05/948.37 c nbDecision=144500 #constraints=28745 956.75/957.02 c nbDecision=145000 #constraints=28892 966.14/966.48 c nbDecision=145500 #constraints=29023 974.64/974.95 c nbDecision=146000 #constraints=29150 983.73/984.02 c nbDecision=146500 #constraints=29286 993.83/994.18 c nbDecision=147000 #constraints=29446 1003.34/1003.63 c nbDecision=147500 #constraints=29592 1012.84/1013.14 c nbDecision=148000 #constraints=29746 1020.73/1021.00 c nbDecision=148500 #constraints=29853 1032.13/1032.42 c nbDecision=149000 #constraints=30010 1041.02/1041.34 c nbDecision=149500 #constraints=30145 1050.12/1050.46 c nbDecision=150000 #constraints=30276 1062.02/1062.37 c nbDecision=150500 #constraints=30433 1070.81/1071.18 c nbDecision=151000 #constraints=30578 1080.41/1080.79 c nbDecision=151500 #constraints=30724 1093.02/1093.35 c nbDecision=152000 #constraints=30877 1103.61/1103.98 c nbDecision=152500 #constraints=31042 1114.01/1114.31 c nbDecision=153000 #constraints=31199 1124.41/1124.76 c nbDecision=153500 #constraints=31361 1135.40/1135.71 c nbDecision=154000 #constraints=31523 1144.90/1145.23 c nbDecision=154500 #constraints=31656 1155.09/1155.41 c nbDecision=155000 #constraints=31807 1167.69/1168.02 c nbDecision=155500 #constraints=32009 1179.19/1179.52 c nbDecision=156000 #constraints=32184 1192.29/1192.60 c nbDecision=156500 #constraints=32363 1200.69/1201.10 c nbDecision=157000 #constraints=32480 1212.18/1212.56 c nbDecision=157500 #constraints=32641 1223.18/1223.56 c nbDecision=158000 #constraints=32788 1232.47/1232.89 c nbDecision=158500 #constraints=32908 1242.87/1243.28 c nbDecision=159000 #constraints=33048 1252.57/1252.95 c nbDecision=159500 #constraints=33187 1262.36/1262.73 c nbDecision=160000 #constraints=33325 1271.36/1271.71 c nbDecision=160500 #constraints=33458 1282.27/1282.62 c nbDecision=161000 #constraints=33614 1294.46/1294.86 c nbDecision=161500 #constraints=33796 1304.45/1304.87 c nbDecision=162000 #constraints=33954 1314.85/1315.23 c nbDecision=162500 #constraints=34112 1324.15/1324.52 c nbDecision=163000 #constraints=34259 1334.95/1335.37 c nbDecision=163500 #constraints=34427 1347.84/1348.27 c nbDecision=164000 #constraints=34632 1359.74/1360.18 c nbDecision=164500 #constraints=34826 1371.34/1371.71 c nbDecision=165000 #constraints=34996 1377.93/1378.36 c nbDecision=165500 #constraints=35073 1390.83/1391.23 c nbDecision=166000 #constraints=35212 1397.64/1398.00 c nbDecision=166500 #constraints=35297 1403.73/1404.14 c nbDecision=167000 #constraints=35386 1409.53/1409.98 c nbDecision=167500 #constraints=35479 1414.83/1415.29 c nbDecision=168000 #constraints=35552 1420.02/1420.44 c nbDecision=168500 #constraints=35633 1425.52/1425.91 c nbDecision=169000 #constraints=35725 1435.92/1436.34 c nbDecision=169500 #constraints=35876 1442.62/1443.04 c nbDecision=170000 #constraints=35970 1450.71/1451.14 c nbDecision=170500 #constraints=36069 1457.02/1457.44 c nbDecision=171000 #constraints=36153 1463.41/1463.82 c nbDecision=171500 #constraints=36248 1468.71/1469.20 c nbDecision=172000 #constraints=36344 1483.30/1483.72 c nbDecision=172500 #constraints=36504 1504.20/1504.70 c nbDecision=173000 #constraints=36707 1516.41/1516.82 c nbDecision=173500 #constraints=36841 1522.80/1523.28 c nbDecision=174000 #constraints=36923 1529.40/1529.84 c nbDecision=174500 #constraints=37025 1540.70/1541.16 c nbDecision=175000 #constraints=37162 1554.09/1554.55 c nbDecision=175500 #constraints=37311 1572.49/1572.99 c nbDecision=176000 #constraints=37511 1584.18/1584.60 c nbDecision=176500 #constraints=37628 1591.78/1592.28 c nbDecision=177000 #constraints=37728 1598.98/1599.40 c nbDecision=177500 #constraints=37835 1608.88/1609.31 c nbDecision=178000 #constraints=37973 1623.27/1623.73 c nbDecision=178500 #constraints=38143 1639.16/1639.69 c nbDecision=179000 #constraints=38311 1652.66/1653.11 c nbDecision=179500 #constraints=38452 1663.56/1664.01 c nbDecision=180000 #constraints=38564 1675.16/1675.69 c nbDecision=180500 #constraints=38713 1686.86/1687.32 c nbDecision=181000 #constraints=38848 1697.65/1698.11 c nbDecision=181500 #constraints=39005 1708.35/1708.81 c nbDecision=182000 #constraints=39150 1719.44/1719.96 c nbDecision=182500 #constraints=39263 1731.74/1732.28 c nbDecision=183000 #constraints=39411 1745.54/1746.06 c nbDecision=183500 #constraints=39564 1760.34/1760.83 c nbDecision=184000 #constraints=39724 1767.94/1768.42 c nbDecision=184500 #constraints=39819 1776.63/1777.19 c nbDecision=185000 #constraints=39913 1785.13/1785.63 c nbDecision=185500 #constraints=40018 1791.53/1792.01 c nbDecision=186000 #constraints=40104 1798.13/1798.64 c nbDecision=186500 #constraints=40189 1800.03/1800.50 Received signal 15 1800.03/1800.55 1800.03/1800.55 s UNKNOWN 1800.03/1800.55 1800.03/1800.55 c user time= 1799.85 s 1800.03/1800.55 c system time= 0.242963 s 1800.03/1800.55 c wall clock time=1800.56
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node60/watcher-366124-1176998883 -o ROOT/results/node60/solver-366124-1176998883 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/366124-1176998883/instance-366124-1176998883.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: 1.00 0.99 0.92 3/64 13040 /proc/meminfo: memFree=1409872/2055920 swapFree=4181684/4192956 [pid=13040] ppid=13038 vsize=1468 CPUtime=0 /proc/13040/stat : 13040 (oree) R 13038 13040 12041 0 -1 4194304 181 0 0 0 0 0 0 0 18 0 1 0 147798262 1503232 163 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135288044 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13040/statm: 367 163 131 317 0 46 0 [startup+0.0445269 s] /proc/loadavg: 1.00 0.99 0.92 3/64 13040 /proc/meminfo: memFree=1409872/2055920 swapFree=4181684/4192956 [pid=13040] ppid=13038 vsize=2016 CPUtime=0.04 /proc/13040/stat : 13040 (oree) R 13038 13040 12041 0 -1 4194304 347 0 0 0 4 0 0 0 18 0 1 0 147798262 2064384 329 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715624 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13040/statm: 504 329 170 317 0 183 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 2016 [startup+0.101531 s] /proc/loadavg: 1.00 0.99 0.92 3/64 13040 /proc/meminfo: memFree=1409872/2055920 swapFree=4181684/4192956 [pid=13040] ppid=13038 vsize=2148 CPUtime=0.09 /proc/13040/stat : 13040 (oree) R 13038 13040 12041 0 -1 4194304 384 0 0 0 9 0 0 0 18 0 1 0 147798262 2199552 366 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13040/statm: 537 366 170 317 0 216 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2148 [startup+0.301552 s] /proc/loadavg: 1.00 0.99 0.92 3/64 13040 /proc/meminfo: memFree=1409872/2055920 swapFree=4181684/4192956 [pid=13040] ppid=13038 vsize=2680 CPUtime=0.29 /proc/13040/stat : 13040 (oree) R 13038 13040 12041 0 -1 4194304 512 0 0 0 29 0 0 0 19 0 1 0 147798262 2744320 494 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604370 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13040/statm: 670 494 170 317 0 349 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2680 [startup+0.70159 s] /proc/loadavg: 1.00 0.99 0.92 3/64 13040 /proc/meminfo: memFree=1409872/2055920 swapFree=4181684/4192956 [pid=13040] ppid=13038 vsize=3336 CPUtime=0.69 /proc/13040/stat : 13040 (oree) R 13038 13040 12041 0 -1 4194304 682 0 0 0 69 0 0 0 23 0 1 0 147798262 3416064 664 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13040/statm: 834 664 170 317 0 513 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3336 [startup+1.50167 s] /proc/loadavg: 1.00 0.99 0.92 2/65 13041 /proc/meminfo: memFree=1407432/2055920 swapFree=4181684/4192956 [pid=13040] ppid=13038 vsize=4276 CPUtime=1.49 /proc/13040/stat : 13040 (oree) R 13038 13040 12041 0 -1 4194304 924 0 0 0 149 0 0 0 25 0 1 0 147798262 4378624 906 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13040/statm: 1069 906 170 317 0 748 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 4276 [startup+3.10183 s] /proc/loadavg: 1.00 0.99 0.92 2/65 13041 /proc/meminfo: memFree=1406408/2055920 swapFree=4181684/4192956 [pid=13040] ppid=13038 vsize=5128 CPUtime=3.09 /proc/13040/stat : 13040 (oree) R 13038 13040 12041 0 -1 4194304 1109 0 0 0 309 0 0 0 25 0 1 0 147798262 5251072 1091 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134544489 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13040/statm: 1282 1091 170 317 0 961 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 5128 [startup+6.30114 s] /proc/loadavg: 1.00 0.99 0.92 2/65 13041 /proc/meminfo: memFree=1404936/2055920 swapFree=4181684/4192956 [pid=13040] ppid=13038 vsize=6480 CPUtime=6.29 /proc/13040/stat : 13040 (oree) R 13038 13040 12041 0 -1 4194304 1455 0 0 0 628 1 0 0 25 0 1 0 147798262 6635520 1437 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13040/statm: 1620 1437 170 317 0 1299 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 6480 [startup+12.7018 s] /proc/loadavg: 1.00 0.99 0.92 2/65 13041 /proc/meminfo: memFree=1402704/2055920 swapFree=4181684/4192956 [pid=13040] ppid=13038 vsize=8620 CPUtime=12.69 /proc/13040/stat : 13040 (oree) R 13038 13040 12041 0 -1 4194304 1972 0 0 0 1268 1 0 0 25 0 1 0 147798262 8826880 1954 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13040/statm: 2155 1954 170 317 0 1834 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 8620 [startup+25.502 s] /proc/loadavg: 1.00 0.99 0.92 2/65 13041 /proc/meminfo: memFree=1399312/2055920 swapFree=4181684/4192956 [pid=13040] ppid=13038 vsize=12092 CPUtime=25.49 /proc/13040/stat : 13040 (oree) R 13038 13040 12041 0 -1 4194304 2779 0 0 0 2547 2 0 0 25 0 1 0 147798262 12382208 2761 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278973 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13040/statm: 3023 2761 170 317 0 2702 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 12092 [startup+51.1016 s] /proc/loadavg: 1.00 0.99 0.92 2/65 13041 /proc/meminfo: memFree=1395152/2055920 swapFree=4181684/4192956 [pid=13040] ppid=13038 vsize=16444 CPUtime=51.08 /proc/13040/stat : 13040 (oree) R 13038 13040 12041 0 -1 4194304 3811 0 0 0 5105 3 0 0 25 0 1 0 147798262 16838656 3793 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13040/statm: 4111 3793 170 317 0 3790 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 16444 [startup+102.306 s] /proc/loadavg: 1.00 0.99 0.92 2/65 13041 /proc/meminfo: memFree=1389072/2055920 swapFree=4181684/4192956 [pid=13040] ppid=13038 vsize=23064 CPUtime=102.27 /proc/13040/stat : 13040 (oree) R 13038 13040 12041 0 -1 4194304 5363 0 0 0 10223 4 0 0 25 0 1 0 147798262 23617536 5287 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13040/statm: 5766 5287 170 317 0 5445 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 23064 [startup+162.301 s] /proc/loadavg: 1.00 0.99 0.92 2/65 13041 /proc/meminfo: memFree=1384016/2055920 swapFree=4181684/4192956 [pid=13040] ppid=13038 vsize=28264 CPUtime=162.25 /proc/13040/stat : 13040 (oree) R 13038 13040 12041 0 -1 4194304 6624 0 0 0 16220 5 0 0 25 0 1 0 147798262 28942336 6548 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13040/statm: 7066 6548 170 317 0 6745 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 28264 [startup+222.301 s] /proc/loadavg: 1.00 0.99 0.92 2/65 13041 /proc/meminfo: memFree=1380112/2055920 swapFree=4181684/4192956 [pid=13040] ppid=13038 vsize=32036 CPUtime=222.24 /proc/13040/stat : 13040 (oree) R 13038 13040 12041 0 -1 4194304 7592 0 0 0 22217 7 0 0 25 0 1 0 147798262 32804864 7516 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711484 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13040/statm: 8009 7516 170 317 0 7688 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 32036 [startup+282.301 s] /proc/loadavg: 1.00 0.99 0.92 2/65 13041 /proc/meminfo: memFree=1376592/2055920 swapFree=4181684/4192956 [pid=13040] ppid=13038 vsize=35596 CPUtime=282.22 /proc/13040/stat : 13040 (oree) R 13038 13040 12041 0 -1 4194304 8473 0 0 0 28215 7 0 0 25 0 1 0 147798262 36450304 8397 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13040/statm: 8899 8397 170 317 0 8578 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 35596 [startup+342.301 s] /proc/loadavg: 1.00 0.99 0.92 2/65 13041 /proc/meminfo: memFree=1373520/2055920 swapFree=4181684/4192956 [pid=13040] ppid=13038 vsize=39976 CPUtime=342.2 /proc/13040/stat : 13040 (oree) R 13038 13040 12041 0 -1 4194304 9621 0 0 0 34212 8 0 0 25 0 1 0 147798262 40935424 9134 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13040/statm: 9994 9134 170 317 0 9673 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 39976 [startup+402.302 s] /proc/loadavg: 1.00 0.99 0.92 2/65 13041 /proc/meminfo: memFree=1370512/2055920 swapFree=4181684/4192956 [pid=13040] ppid=13038 vsize=43108 CPUtime=402.19 /proc/13040/stat : 13040 (oree) R 13038 13040 12041 0 -1 4194304 10464 0 0 0 40210 9 0 0 25 0 1 0 147798262 44142592 9878 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13040/statm: 10777 9878 170 317 0 10456 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 43108 [startup+462.302 s] /proc/loadavg: 1.00 0.99 0.92 2/65 13041 /proc/meminfo: memFree=1367632/2055920 swapFree=4181684/4192956 [pid=13040] ppid=13038 vsize=46640 CPUtime=462.17 /proc/13040/stat : 13040 (oree) R 13038 13040 12041 0 -1 4194304 11380 0 0 0 46207 10 0 0 25 0 1 0 147798262 47759360 10629 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563665 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13040/statm: 11660 10629 170 317 0 11339 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 46640 [startup+522.302 s] /proc/loadavg: 1.00 0.99 0.92 2/65 13041 /proc/meminfo: memFree=1364880/2055920 swapFree=4181684/4192956 [pid=13040] ppid=13038 vsize=49336 CPUtime=522.16 /proc/13040/stat : 13040 (oree) R 13038 13040 12041 0 -1 4194304 12105 0 0 0 52205 11 0 0 25 0 1 0 147798262 50520064 11288 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13040/statm: 12334 11288 170 317 0 12013 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 49336 [startup+582.302 s] /proc/loadavg: 1.00 0.99 0.92 2/65 13041 /proc/meminfo: memFree=1362256/2055920 swapFree=4181684/4192956 [pid=13040] ppid=13038 vsize=51756 CPUtime=582.14 /proc/13040/stat : 13040 (oree) R 13038 13040 12041 0 -1 4194304 12797 0 0 0 58203 11 0 0 25 0 1 0 147798262 52998144 11947 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13040/statm: 12939 11947 170 317 0 12618 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 51756 [startup+642.302 s] /proc/loadavg: 1.00 0.99 0.92 2/65 13041 /proc/meminfo: memFree=1360016/2055920 swapFree=4181684/4192956 [pid=13040] ppid=13038 vsize=53856 CPUtime=642.13 /proc/13040/stat : 13040 (oree) R 13038 13040 12041 0 -1 4194304 13382 0 0 0 64201 12 0 0 25 0 1 0 147798262 55148544 12499 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13040/statm: 13464 12499 170 317 0 13143 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 53856 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 0.99 0.92 2/65 13041 /proc/meminfo: memFree=1351376/2055920 swapFree=4181684/4192956 [pid=13040] ppid=13038 vsize=62300 CPUtime=882.07 /proc/13040/stat : 13040 (oree) R 13038 13040 12041 0 -1 4194304 15702 0 0 0 88192 15 0 0 25 0 1 0 147798262 63795200 14654 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13040/statm: 15575 14654 170 317 0 15254 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 62300 [startup+942.302 s] /proc/loadavg: 1.00 0.99 0.92 2/65 13041 /proc/meminfo: memFree=1349264/2055920 swapFree=4181684/4192956 [pid=13040] ppid=13038 vsize=64256 CPUtime=942.05 /proc/13040/stat : 13040 (oree) R 13038 13040 12041 0 -1 4194304 16255 0 0 0 94189 16 0 0 25 0 1 0 147798262 65798144 15174 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13040/statm: 16064 15174 170 317 0 15743 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 64256 [startup+1002.3 s] /proc/loadavg: 1.00 0.99 0.92 2/65 13041 /proc/meminfo: memFree=1347216/2055920 swapFree=4181684/4192956 [pid=13040] ppid=13038 vsize=66232 CPUtime=1002.04 /proc/13040/stat : 13040 (oree) R 13038 13040 12041 0 -1 4194304 16794 0 0 0 100187 17 0 0 25 0 1 0 147798262 67821568 15680 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13040/statm: 16558 15680 170 317 0 16237 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 66232 [startup+1062.3 s] /proc/loadavg: 1.00 0.99 0.92 2/65 13041 /proc/meminfo: memFree=1345232/2055920 swapFree=4181684/4192956 [pid=13040] ppid=13038 vsize=67932 CPUtime=1062.02 /proc/13040/stat : 13040 (oree) R 13038 13040 12041 0 -1 4194304 17282 0 0 0 106185 17 0 0 25 0 1 0 147798262 69562368 16168 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13040/statm: 16983 16168 170 317 0 16662 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 67932 [startup+1122.3 s] /proc/loadavg: 1.00 0.99 0.92 2/65 13041 /proc/meminfo: memFree=1343120/2055920 swapFree=4181684/4192956 [pid=13040] ppid=13038 vsize=69880 CPUtime=1122.01 /proc/13040/stat : 13040 (oree) R 13038 13040 12041 0 -1 4194304 17815 0 0 0 112183 18 0 0 25 0 1 0 147798262 71557120 16668 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13040/statm: 17470 16668 170 317 0 17149 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 69880 [startup+1182.3 s] /proc/loadavg: 1.00 0.99 0.92 2/65 13041 /proc/meminfo: memFree=1341264/2055920 swapFree=4181684/4192956 [pid=13040] ppid=13038 vsize=72028 CPUtime=1181.99 /proc/13040/stat : 13040 (oree) R 13038 13040 12041 0 -1 4194304 18336 0 0 0 118180 19 0 0 25 0 1 0 147798262 73756672 17156 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13040/statm: 18007 17156 170 317 0 17686 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 72028 [startup+1242.3 s] /proc/loadavg: 1.00 0.99 0.92 2/65 13041 /proc/meminfo: memFree=1339408/2055920 swapFree=4181684/4192956 [pid=13040] ppid=13038 vsize=73764 CPUtime=1241.97 /proc/13040/stat : 13040 (oree) R 13038 13040 12041 0 -1 4194304 18829 0 0 0 124178 19 0 0 25 0 1 0 147798262 75534336 17616 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13040/statm: 18441 17616 170 317 0 18120 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 73764 [startup+1302.3 s] /proc/loadavg: 1.00 0.99 0.92 2/65 13041 /proc/meminfo: memFree=1337232/2055920 swapFree=4181684/4192956 [pid=13040] ppid=13038 vsize=79192 CPUtime=1301.96 /proc/13040/stat : 13040 (oree) R 13038 13040 12041 0 -1 4194304 20280 0 0 0 130176 20 0 0 25 0 1 0 147798262 81092608 18158 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13040/statm: 19798 18158 170 317 0 19477 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 79192 [startup+1362.3 s] /proc/loadavg: 1.00 0.99 0.92 2/65 13041 /proc/meminfo: memFree=1335056/2055920 swapFree=4181684/4192956 [pid=13040] ppid=13038 vsize=81560 CPUtime=1361.93 /proc/13040/stat : 13040 (oree) R 13038 13040 12041 0 -1 4194304 20939 0 0 0 136173 20 0 0 25 0 1 0 147798262 83517440 18687 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13040/statm: 20390 18687 170 317 0 20069 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 81560 [startup+1422.31 s] /proc/loadavg: 1.00 0.99 0.92 2/65 13041 /proc/meminfo: memFree=1333328/2055920 swapFree=4181684/4192956 [pid=13040] ppid=13038 vsize=83256 CPUtime=1421.93 /proc/13040/stat : 13040 (oree) R 13038 13040 12041 0 -1 4194304 21428 0 0 0 142172 21 0 0 25 0 1 0 147798262 85254144 19111 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13040/statm: 20814 19111 170 317 0 20493 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 83256 [startup+1482.3 s] /proc/loadavg: 1.00 0.99 0.92 2/65 13041 /proc/meminfo: memFree=1331600/2055920 swapFree=4181684/4192956 [pid=13040] ppid=13038 vsize=84980 CPUtime=1481.9 /proc/13040/stat : 13040 (oree) R 13038 13040 12041 0 -1 4194304 21899 0 0 0 148169 21 0 0 25 0 1 0 147798262 87019520 19549 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13040/statm: 21245 19549 170 317 0 20924 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 84980 [startup+1542.3 s] /proc/loadavg: 1.00 0.99 0.92 2/65 13041 /proc/meminfo: memFree=1330128/2055920 swapFree=4181684/4192956 [pid=13040] ppid=13038 vsize=86576 CPUtime=1541.89 /proc/13040/stat : 13040 (oree) R 13038 13040 12041 0 -1 4194304 22329 0 0 0 154167 22 0 0 25 0 1 0 147798262 88653824 19914 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13040/statm: 21644 19914 170 317 0 21323 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 86576 [startup+1602.3 s] /proc/loadavg: 1.00 0.99 0.92 2/65 13041 /proc/meminfo: memFree=1328656/2055920 swapFree=4181684/4192956 [pid=13040] ppid=13038 vsize=88148 CPUtime=1601.87 /proc/13040/stat : 13040 (oree) R 13038 13040 12041 0 -1 4194304 22759 0 0 0 160165 22 0 0 25 0 1 0 147798262 90263552 20279 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13040/statm: 22037 20279 170 317 0 21716 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 88148 [startup+1662.3 s] /proc/loadavg: 1.00 0.99 0.92 2/65 13041 /proc/meminfo: memFree=1327312/2055920 swapFree=4181684/4192956 [pid=13040] ppid=13038 vsize=89708 CPUtime=1661.86 /proc/13040/stat : 13040 (oree) R 13038 13040 12041 0 -1 4194304 23230 0 0 0 166163 23 0 0 25 0 1 0 147798262 91860992 20620 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13040/statm: 22427 20620 170 317 0 22106 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 89708 [startup+1722.3 s] /proc/loadavg: 1.00 0.99 0.92 2/65 13041 /proc/meminfo: memFree=1325776/2055920 swapFree=4181684/4192956 [pid=13040] ppid=13038 vsize=91448 CPUtime=1721.84 /proc/13040/stat : 13040 (oree) R 13038 13040 12041 0 -1 4194304 23678 0 0 0 172161 23 0 0 25 0 1 0 147798262 93642752 21003 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564083 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13040/statm: 22862 21003 170 317 0 22541 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 91448 [startup+1782.3 s] /proc/loadavg: 1.00 0.99 0.92 2/65 13041 /proc/meminfo: memFree=1324240/2055920 swapFree=4181684/4192956 [pid=13040] ppid=13038 vsize=93008 CPUtime=1781.83 /proc/13040/stat : 13040 (oree) R 13038 13040 12041 0 -1 4194304 24113 0 0 0 178159 24 0 0 25 0 1 0 147798262 95240192 21373 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13040/statm: 23252 21373 170 317 0 22931 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 93008 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 0.99 0.92 2/65 13041 /proc/meminfo: memFree=1323728/2055920 swapFree=4181684/4192956 [pid=13040] ppid=13038 vsize=93532 CPUtime=1800.03 /proc/13040/stat : 13040 (oree) R 13038 13040 12041 0 -1 4194304 24231 0 0 0 179979 24 0 0 25 0 1 0 147798262 95776768 21491 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13040/statm: 23383 21491 170 317 0 23062 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 93532 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 0.99 0.92 2/65 13041 /proc/meminfo: memFree=1323728/2055920 swapFree=4181684/4192956 [pid=13040] ppid=13038 vsize=93532 CPUtime=1800.03 /proc/13040/stat : 13040 (oree) R 13038 13040 12041 0 -1 4194304 24231 0 0 0 179979 24 0 0 25 0 1 0 147798262 95776768 21491 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13040/statm: 23383 21491 170 317 0 23062 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 93532 Child status: 0 Real time (s): 1800.58 CPU time (s): 1800.11 CPU user time (s): 1799.85 CPU system time (s): 0.25896 CPU usage (%): 99.9741 Max. virtual memory (cumulated for all children) (KiB): 93532 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.85 system time used= 0.25896 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 24247 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= 2478 runsolver used 1.42678 second user time and 3.53246 second system time The end
Begin job on node60 on Thu Apr 19 16:08:03 UTC 2007 IDJOB= 366124 IDBENCH= 2632 IDSOLVER= 172 FILE ID= node60/366124-1176998883 PBS_JOBID= 4630431 Free space on /tmp= 66416 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_7.opb COMMAND LINE= oree /tmp/evaluation/366124-1176998883/instance-366124-1176998883.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node60/watcher-366124-1176998883 -o ROOT/results/node60/solver-366124-1176998883 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/366124-1176998883/instance-366124-1176998883.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= a28f5b3e9b4b12f9ccee04abccbf9327 RANDOM SEED= 627456025 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node60.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.214 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.214 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: 1410344 kB Buffers: 27664 kB Cached: 544288 kB SwapCached: 5028 kB Active: 74620 kB Inactive: 508412 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1410344 kB SwapTotal: 4192956 kB SwapFree: 4181684 kB Dirty: 1364 kB Writeback: 0 kB Mapped: 15560 kB Slab: 48568 kB Committed_AS: 1584448 kB PageTables: 1464 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= 66416 MiB End job on node60 on Thu Apr 19 16:38:05 UTC 2007