Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | SAT (TO) | -26 | 1800.33 | 1801.06 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/ MIPLIB/miplib2003/normalized-mps-v2-20-10-noswot.opb |
MD5SUM | bea15b769c4cc5d5ccef31ae4b368d84 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | -41 |
Best CPU time to get the best result obtained on this benchmark | 67.1448 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -41 |
Optimality of the best value was proved | YES |
Number of variables | 1340 |
Total number of constraints | 207 |
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 | 207 |
Minimum length of a constraint | 17 |
Maximum length of a constraint | 425 |
Number of terms in the objective function | 425 |
Biggest coefficient in the objective function | 65536 |
Number of bits for the biggest coefficient in the objective function | 17 |
Sum of the numbers in the objective function | 3276775 |
Number of bits of the sum of numbers in the objective function | 22 |
Biggest number in a constraint | 41943040000000 |
Number of bits of the biggest number in a constraint | 46 |
Biggest sum of numbers in a constraint | 204183950227182 |
Number of bits of the biggest sum of numbers | 48 |
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.02/0.04 c ...done 0.02/0.04 c #vars=1340 #constraints=210 hasObjective=yes 0.02/0.05 c res. mode=mod 0.02/0.05 c VSIDS like heuristics 0.02/0.05 c complete search running 0.09/0.10 c restart after 401 decisions 0.09/0.11 c nbDecision=500 #constraints=273 0.09/0.17 c restart after 801 decisions 0.09/0.18 c nbDecision=1000 #constraints=323 0.19/0.23 c nbDecision=1500 #constraints=364 0.19/0.29 c restart after 1601 decisions 0.29/0.37 c nbDecision=2000 #constraints=452 0.49/0.53 c nbDecision=2500 #constraints=577 0.60/0.69 c nbDecision=3000 #constraints=683 0.70/0.74 c restart after 3201 decisions 0.79/0.81 c nbDecision=3500 #constraints=747 0.79/0.89 c nbDecision=4000 #constraints=804 0.89/0.95 c nbDecision=4500 #constraints=853 1.00/1.03 c nbDecision=5000 #constraints=913 1.10/1.19 c nbDecision=5500 #constraints=976 1.29/1.36 c nbDecision=6000 #constraints=1083 1.49/1.57 c restart after 6401 decisions 1.49/1.59 c nbDecision=6500 #constraints=1199 1.79/1.82 c nbDecision=7000 #constraints=1306 2.20/2.27 c nbDecision=7500 #constraints=1422 2.59/2.61 c nbDecision=8000 #constraints=1530 2.89/2.91 c nbDecision=8500 #constraints=1605 2.89/2.93 c nbDecision=9000 #constraints=1621 2.99/3.01 c nbDecision=9500 #constraints=1655 2.99/3.09 c nbDecision=10000 #constraints=1697 3.09/3.19 c nbDecision=10500 #constraints=1732 3.20/3.27 c nbDecision=11000 #constraints=1767 3.49/3.55 c nbDecision=11500 #constraints=1846 3.59/3.64 c nbDecision=12000 #constraints=1879 3.59/3.69 c nbDecision=12500 #constraints=1902 3.79/3.87 c restart after 12801 decisions 3.99/4.04 c nbDecision=13000 #constraints=1996 4.39/4.48 c nbDecision=13500 #constraints=2102 4.59/4.64 c nbDecision=14000 #constraints=2175 4.69/4.76 c nbDecision=14500 #constraints=2216 4.99/5.03 c nbDecision=15000 #constraints=2281 5.59/5.66 c nbDecision=15500 #constraints=2390 6.39/6.41 c nbDecision=16000 #constraints=2487 6.49/6.58 c nbDecision=16500 #constraints=2526 6.69/6.76 c nbDecision=17000 #constraints=2571 6.79/6.85 c nbDecision=17500 #constraints=2606 6.88/6.93 c nbDecision=18000 #constraints=2658 6.98/7.02 c nbDecision=18500 #constraints=2690 7.48/7.53 c nbDecision=19000 #constraints=2782 8.38/8.41 c nbDecision=19500 #constraints=2903 9.29/9.33 c nbDecision=20000 #constraints=3015 10.29/10.39 c nbDecision=20500 #constraints=3121 11.49/11.50 c nbDecision=21000 #constraints=3229 11.89/11.98 c nbDecision=21500 #constraints=3295 12.18/12.22 c nbDecision=22000 #constraints=3340 12.79/12.84 c nbDecision=22500 #constraints=3410 13.69/13.75 c nbDecision=23000 #constraints=3507 14.58/14.60 c nbDecision=23500 #constraints=3616 15.68/15.75 c nbDecision=24000 #constraints=3727 16.39/16.43 c nbDecision=24500 #constraints=3815 17.49/17.55 c nbDecision=25000 #constraints=3913 18.89/18.93 c nbDecision=25500 #constraints=4038 19.19/19.21 c restart after 25601 decisions 19.59/19.64 c nbDecision=26000 #constraints=4097 19.79/19.82 c nbDecision=26500 #constraints=4127 19.98/20.01 c nbDecision=27000 #constraints=4155 20.08/20.18 c nbDecision=27500 #constraints=4174 20.68/20.73 c nbDecision=28000 #constraints=4233 20.98/21.00 c nbDecision=28500 #constraints=4271 21.89/21.99 c nbDecision=29000 #constraints=4341 23.89/23.96 c nbDecision=29500 #constraints=4451 24.19/24.24 c nbDecision=30000 #constraints=4489 24.39/24.46 c nbDecision=30500 #constraints=4519 24.79/24.86 c nbDecision=31000 #constraints=4554 25.09/25.11 c nbDecision=31500 #constraints=4594 25.38/25.49 c nbDecision=32000 #constraints=4628 25.68/25.79 c nbDecision=32500 #constraints=4683 26.08/26.11 c nbDecision=33000 #constraints=4731 26.48/26.59 c nbDecision=33500 #constraints=4782 26.88/26.96 c nbDecision=34000 #constraints=4819 27.68/27.78 c nbDecision=34500 #constraints=4893 28.38/28.43 c nbDecision=35000 #constraints=4950 29.28/29.33 c nbDecision=35500 #constraints=4993 30.18/30.23 c nbDecision=36000 #constraints=5081 31.08/31.17 c nbDecision=36500 #constraints=5171 31.78/31.82 c nbDecision=37000 #constraints=5235 32.58/32.61 c nbDecision=37500 #constraints=5270 32.88/32.99 c nbDecision=38000 #constraints=5321 33.68/33.72 c nbDecision=38500 #constraints=5376 35.48/35.54 c nbDecision=39000 #constraints=5467 36.68/36.78 c nbDecision=39500 #constraints=5549 37.38/37.48 c nbDecision=40000 #constraints=5602 37.88/37.97 c nbDecision=40500 #constraints=5656 38.18/38.23 c nbDecision=41000 #constraints=5696 38.38/38.45 c nbDecision=41500 #constraints=5738 38.88/38.93 c nbDecision=42000 #constraints=5783 39.18/39.23 c nbDecision=42500 #constraints=5824 39.67/39.74 c nbDecision=43000 #constraints=5867 40.07/40.12 c nbDecision=43500 #constraints=5911 40.27/40.39 c nbDecision=44000 #constraints=5942 40.88/40.98 c nbDecision=44500 #constraints=5996 41.58/41.68 c nbDecision=45000 #constraints=6055 42.18/42.25 c nbDecision=45500 #constraints=6112 42.78/42.81 c nbDecision=46000 #constraints=6173 43.08/43.14 c nbDecision=46500 #constraints=6215 43.68/43.75 c nbDecision=47000 #constraints=6265 44.28/44.31 c nbDecision=47500 #constraints=6316 44.68/44.70 c nbDecision=48000 #constraints=6359 45.28/45.37 c nbDecision=48500 #constraints=6411 45.78/45.84 c nbDecision=49000 #constraints=6459 46.88/46.96 c nbDecision=49500 #constraints=6539 47.58/47.63 c nbDecision=50000 #constraints=6594 48.08/48.13 c nbDecision=50500 #constraints=6641 49.48/49.55 c nbDecision=51000 #constraints=6749 49.87/49.97 c restart after 51201 decisions 51.17/51.20 c nbDecision=51500 #constraints=6811 51.87/51.96 c nbDecision=52000 #constraints=6864 52.67/52.71 c nbDecision=52500 #constraints=6929 53.17/53.25 c nbDecision=53000 #constraints=7002 53.57/53.68 c nbDecision=53500 #constraints=7057 54.08/54.12 c nbDecision=54000 #constraints=7118 54.58/54.67 c nbDecision=54500 #constraints=7188 56.38/56.40 c nbDecision=55000 #constraints=7283 59.47/59.54 c nbDecision=55500 #constraints=7431 62.47/62.57 c nbDecision=56000 #constraints=7555 63.77/63.84 c nbDecision=56500 #constraints=7636 65.27/65.37 c nbDecision=57000 #constraints=7715 67.07/67.13 c nbDecision=57500 #constraints=7798 68.47/68.50 c nbDecision=58000 #constraints=7877 70.97/71.05 c nbDecision=58500 #constraints=7963 75.07/75.17 c nbDecision=59000 #constraints=8055 77.77/77.80 c nbDecision=59500 #constraints=8118 79.17/79.29 c nbDecision=60000 #constraints=8181 79.86/79.93 c nbDecision=60500 #constraints=8215 80.76/80.83 c nbDecision=61000 #constraints=8263 81.36/81.47 c nbDecision=61500 #constraints=8301 81.76/81.81 c nbDecision=62000 #constraints=8344 82.66/82.75 c nbDecision=62500 #constraints=8395 85.77/85.86 c nbDecision=63000 #constraints=8488 89.16/89.24 c nbDecision=63500 #constraints=8606 90.26/90.40 c nbDecision=64000 #constraints=8672 91.17/91.23 c nbDecision=64500 #constraints=8727 94.66/94.75 c nbDecision=65000 #constraints=8841 95.86/95.96 c nbDecision=65500 #constraints=8887 99.36/99.43 c nbDecision=66000 #constraints=8973 105.46/105.58 c nbDecision=66500 #constraints=9112 110.35/110.44 c nbDecision=67000 #constraints=9222 114.85/114.92 c nbDecision=67500 #constraints=9317 120.35/120.46 c nbDecision=68000 #constraints=9439 123.15/123.26 c nbDecision=68500 #constraints=9520 126.75/126.88 c nbDecision=69000 #constraints=9600 129.65/129.74 c nbDecision=69500 #constraints=9689 132.34/132.43 c nbDecision=70000 #constraints=9790 134.54/134.62 c nbDecision=70500 #constraints=9886 136.64/136.78 c nbDecision=71000 #constraints=9980 140.05/140.14 c nbDecision=71500 #constraints=10077 143.95/144.09 c nbDecision=72000 #constraints=10188 148.35/148.45 c nbDecision=72500 #constraints=10303 150.24/150.36 c nbDecision=73000 #constraints=10361 152.14/152.24 c nbDecision=73500 #constraints=10425 158.54/158.65 c nbDecision=74000 #constraints=10548 162.83/162.96 c nbDecision=74500 #constraints=10664 167.23/167.36 c nbDecision=75000 #constraints=10799 171.03/171.17 c nbDecision=75500 #constraints=10909 174.54/174.67 c nbDecision=76000 #constraints=11011 177.04/177.19 c nbDecision=76500 #constraints=11066 179.43/179.57 c nbDecision=77000 #constraints=11139 180.53/180.69 c nbDecision=77500 #constraints=11236 182.43/182.56 c nbDecision=78000 #constraints=11324 184.63/184.79 c nbDecision=78500 #constraints=11394 188.33/188.43 c nbDecision=79000 #constraints=11492 192.92/193.04 c nbDecision=79500 #constraints=11611 197.03/197.13 c nbDecision=80000 #constraints=11690 200.92/201.03 c nbDecision=80500 #constraints=11764 204.02/204.17 c nbDecision=81000 #constraints=11833 207.32/207.41 c nbDecision=81500 #constraints=11913 210.02/210.11 c nbDecision=82000 #constraints=12009 214.02/214.18 c nbDecision=82500 #constraints=12096 217.62/217.80 c nbDecision=83000 #constraints=12182 222.51/222.62 c nbDecision=83500 #constraints=12294 226.02/226.11 c nbDecision=84000 #constraints=12394 233.61/233.73 c nbDecision=84500 #constraints=12507 240.51/240.62 c nbDecision=85000 #constraints=12617 246.31/246.48 c nbDecision=85500 #constraints=12712 251.80/251.91 c nbDecision=86000 #constraints=12833 255.30/255.45 c nbDecision=86500 #constraints=12929 260.21/260.32 c nbDecision=87000 #constraints=13038 266.11/266.23 c nbDecision=87500 #constraints=13141 271.50/271.61 c nbDecision=88000 #constraints=13234 276.30/276.41 c nbDecision=88500 #constraints=13323 278.20/278.36 c nbDecision=89000 #constraints=13387 281.89/282.02 c nbDecision=89500 #constraints=13452 283.89/284.01 c nbDecision=90000 #constraints=13490 284.89/285.08 c nbDecision=90500 #constraints=13545 285.29/285.46 c nbDecision=91000 #constraints=13579 285.50/285.69 c nbDecision=91500 #constraints=13629 288.70/288.84 c nbDecision=92000 #constraints=13683 290.99/291.15 c nbDecision=92500 #constraints=13741 295.89/296.09 c nbDecision=93000 #constraints=13854 300.99/301.16 c nbDecision=93500 #constraints=13969 305.38/305.52 c nbDecision=94000 #constraints=14044 310.49/310.64 c nbDecision=94500 #constraints=14122 312.29/312.46 c nbDecision=95000 #constraints=14179 315.68/315.84 c nbDecision=95500 #constraints=14250 318.38/318.53 c nbDecision=96000 #constraints=14337 321.29/321.50 c nbDecision=96500 #constraints=14426 324.08/324.20 c nbDecision=97000 #constraints=14522 331.48/331.68 c nbDecision=97500 #constraints=14702 334.28/334.43 c nbDecision=98000 #constraints=14751 339.87/340.02 c nbDecision=98500 #constraints=14847 340.57/340.76 c nbDecision=98823 #constraints=14854 340.57/340.76 c linear search for optimum 340.57/340.76 o -12 340.57/340.76 c nbDecision=98827 #constraints=14855 340.57/340.76 o -13 340.57/340.77 c nbDecision=98837 #constraints=14856 340.57/340.77 o -14 340.57/340.77 c nbDecision=98861 #constraints=14857 340.57/340.77 o -15 340.67/340.80 c nbDecision=98961 #constraints=14867 340.67/340.80 o -16 340.67/340.85 c nbDecision=98989 #constraints=14878 340.67/340.85 o -17 340.67/340.87 c nbDecision=99000 #constraints=14883 340.67/340.87 c nbDecision=99002 #constraints=14885 340.67/340.87 o -18 340.77/341.00 c nbDecision=99051 #constraints=14910 340.77/341.00 o -19 341.98/342.12 c nbDecision=99500 #constraints=15097 343.48/343.65 c nbDecision=100000 #constraints=15300 345.08/345.25 c nbDecision=100500 #constraints=15488 346.07/346.21 c nbDecision=101000 #constraints=15588 347.47/347.62 c nbDecision=101500 #constraints=15724 348.77/348.98 c nbDecision=102000 #constraints=15858 349.67/349.80 c restart after 102401 decisions 350.37/350.53 c nbDecision=102500 #constraints=15928 351.47/351.63 c nbDecision=103000 #constraints=16004 353.17/353.32 c nbDecision=103500 #constraints=16147 353.97/354.10 c nbDecision=103761 #constraints=16180 353.97/354.10 o -20 355.66/355.81 c nbDecision=103921 #constraints=16269 355.66/355.81 o -21 355.86/356.01 c nbDecision=104000 #constraints=16289 361.87/362.09 c nbDecision=104454 #constraints=16586 361.87/362.09 o -22 362.26/362.40 c nbDecision=104500 #constraints=16614 367.67/367.83 c nbDecision=104885 #constraints=16842 367.67/367.83 o -23 368.66/368.87 c nbDecision=105000 #constraints=16922 373.77/373.91 c nbDecision=105500 #constraints=17207 379.86/380.04 c nbDecision=105890 #constraints=17424 379.86/380.04 o -24 380.96/381.13 c nbDecision=106000 #constraints=17487 386.35/386.55 c nbDecision=106500 #constraints=17741 390.66/390.81 c nbDecision=106715 #constraints=17879 390.66/390.81 o -25 394.25/394.43 c nbDecision=107000 #constraints=18075 400.05/400.21 c nbDecision=107500 #constraints=18339 405.95/406.17 c nbDecision=107798 #constraints=18515 405.95/406.17 o -26 409.15/409.38 c nbDecision=108000 #constraints=18651 415.35/415.57 c nbDecision=108500 #constraints=18905 425.44/425.63 c nbDecision=109000 #constraints=19255 435.14/435.33 c nbDecision=109500 #constraints=19574 445.44/445.64 c nbDecision=110000 #constraints=19855 450.74/450.99 c nbDecision=110500 #constraints=20042 456.44/456.67 c nbDecision=111000 #constraints=20255 462.33/462.54 c nbDecision=111500 #constraints=20467 467.83/468.06 c nbDecision=112000 #constraints=20648 473.72/473.97 c nbDecision=112500 #constraints=20837 480.03/480.27 c nbDecision=113000 #constraints=21054 486.62/486.83 c nbDecision=113500 #constraints=21253 493.23/493.46 c nbDecision=114000 #constraints=21459 500.91/501.11 c nbDecision=114500 #constraints=21695 508.21/508.49 c nbDecision=115000 #constraints=21910 515.51/515.75 c nbDecision=115500 #constraints=22099 522.61/522.86 c nbDecision=116000 #constraints=22286 530.41/530.64 c nbDecision=116500 #constraints=22487 538.21/538.44 c nbDecision=117000 #constraints=22692 546.90/547.11 c nbDecision=117500 #constraints=22912 553.90/554.16 c nbDecision=118000 #constraints=23086 562.30/562.54 c nbDecision=118500 #constraints=23291 571.99/572.22 c nbDecision=119000 #constraints=23518 580.69/581.00 c nbDecision=119500 #constraints=23718 589.89/590.16 c nbDecision=120000 #constraints=23930 597.89/598.12 c nbDecision=120500 #constraints=24092 605.98/606.27 c nbDecision=121000 #constraints=24246 615.07/615.33 c nbDecision=121500 #constraints=24408 625.07/625.36 c nbDecision=122000 #constraints=24579 636.27/636.54 c nbDecision=122500 #constraints=24752 649.87/650.13 c nbDecision=123000 #constraints=24941 663.27/663.55 c nbDecision=123500 #constraints=25123 676.86/677.17 c nbDecision=124000 #constraints=25304 691.55/691.81 c nbDecision=124500 #constraints=25513 705.05/705.38 c nbDecision=125000 #constraints=25702 719.24/719.55 c nbDecision=125500 #constraints=25898 734.24/734.54 c nbDecision=126000 #constraints=26091 750.13/750.43 c nbDecision=126500 #constraints=26310 767.33/767.64 c nbDecision=127000 #constraints=26545 783.42/783.72 c nbDecision=127500 #constraints=26783 798.11/798.48 c nbDecision=128000 #constraints=27009 811.31/811.65 c nbDecision=128500 #constraints=27172 833.50/833.88 c nbDecision=129000 #constraints=27417 844.00/844.33 c nbDecision=129500 #constraints=27566 857.79/858.12 c nbDecision=130000 #constraints=27773 872.29/872.65 c nbDecision=130500 #constraints=27984 884.38/884.76 c nbDecision=131000 #constraints=28158 896.59/896.96 c nbDecision=131500 #constraints=28333 906.18/906.54 c nbDecision=132000 #constraints=28463 919.88/920.28 c nbDecision=132500 #constraints=28663 933.16/933.56 c nbDecision=133000 #constraints=28845 946.27/946.61 c nbDecision=133500 #constraints=29027 960.26/960.62 c nbDecision=134000 #constraints=29224 973.76/974.15 c nbDecision=134500 #constraints=29393 989.05/989.44 c nbDecision=135000 #constraints=29577 1005.44/1005.86 c nbDecision=135500 #constraints=29773 1018.74/1019.10 c nbDecision=136000 #constraints=29910 1034.64/1035.00 c nbDecision=136500 #constraints=30097 1054.03/1054.49 c nbDecision=137000 #constraints=30318 1071.12/1071.54 c nbDecision=137500 #constraints=30513 1087.61/1088.02 c nbDecision=138000 #constraints=30694 1104.11/1104.51 c nbDecision=138500 #constraints=30871 1122.31/1122.73 c nbDecision=139000 #constraints=31069 1141.30/1141.76 c nbDecision=139500 #constraints=31266 1161.79/1162.24 c nbDecision=140000 #constraints=31484 1182.18/1182.69 c nbDecision=140500 #constraints=31677 1221.17/1221.60 c nbDecision=141000 #constraints=31906 1269.85/1270.31 c nbDecision=141500 #constraints=32234 1327.03/1327.52 c nbDecision=142000 #constraints=32579 1376.03/1376.70 c nbDecision=142500 #constraints=32902 1417.89/1418.53 c nbDecision=143000 #constraints=33149 1471.58/1472.27 c nbDecision=143500 #constraints=33473 1526.26/1526.99 c nbDecision=144000 #constraints=33774 1586.73/1587.48 c nbDecision=144500 #constraints=34092 1640.62/1641.34 c nbDecision=145000 #constraints=34398 1701.30/1702.04 c nbDecision=145500 #constraints=34731 1759.08/1759.84 c nbDecision=146000 #constraints=35043 1800.07/1800.80 Received signal 15 1800.17/1800.95 1800.17/1800.95 s SATISFIABLE 1800.17/1800.95 v x1 -x2 x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 1800.17/1800.95 v -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 x50 x51 -x52 -x53 x54 1800.17/1800.95 v -x55 -x56 x57 -x58 x59 x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 x80 x81 1800.17/1800.95 v x82 x83 x84 x85 -x86 x87 -x88 x89 x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 1800.17/1800.95 v -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 1800.17/1800.95 v -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 x140 x141 x142 x143 x144 x145 x146 -x147 x148 x149 -x150 1800.17/1800.95 v -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 x170 x171 1800.17/1800.95 v x172 x173 x174 x175 x176 x177 x178 x179 -x180 -x181 x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 1800.17/1800.95 v -x194 -x195 -x196 -x197 -x198 -x199 x200 x201 x202 x203 x204 x205 -x206 -x207 x208 x209 -x210 -x211 x212 x213 -x214 -x215 -x216 1800.17/1800.95 v -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 x230 x231 x232 -x233 -x234 -x235 -x236 x237 1800.17/1800.95 v x238 x239 -x240 -x241 x242 x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 1800.17/1800.95 v -x259 x260 x261 x262 -x263 -x264 x265 x266 -x267 x268 x269 x270 -x271 x272 x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 1800.17/1800.95 v -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 x290 x291 x292 x293 x294 x295 -x296 x297 -x298 x299 x300 x301 -x302 x303 -x304 1800.17/1800.95 v -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 1800.17/1800.95 v -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 1800.17/1800.95 v -x347 -x348 -x349 -x350 x351 x352 x353 x354 x355 x356 x357 x358 x359 -x360 -x361 -x362 -x363 -x364 x365 -x366 -x367 -x368 -x369 1800.17/1800.95 v -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 x381 x382 -x383 x384 x385 -x386 -x387 -x388 -x389 x390 -x391 1800.17/1800.95 v -x392 -x393 -x394 x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 1800.17/1800.95 v -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 1800.17/1800.95 v -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 1800.17/1800.95 v -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 1800.17/1800.95 v -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 1800.17/1800.95 v -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 1800.17/1800.95 v -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 1800.17/1800.95 v -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 1800.17/1800.95 v -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 1800.17/1800.95 v -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 x592 x593 x594 x595 x596 x597 x598 x599 x600 -x601 x602 -x603 1800.17/1800.95 v -x604 x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 1800.17/1800.95 v -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 1800.17/1800.95 v -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 1800.17/1800.95 v -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 1800.17/1800.95 v -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 1800.17/1800.95 v -x709 -x710 -x711 x712 x713 x714 x715 x716 x717 x718 x719 x720 -x721 x722 -x723 -x724 -x725 x726 -x727 -x728 -x729 -x730 -x731 1800.17/1800.95 v -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 x742 x743 x744 x745 x746 x747 x748 x749 x750 x751 x752 x753 -x754 1800.17/1800.95 v x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 1800.17/1800.95 v -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 1800.17/1800.95 v -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 1800.17/1800.95 v -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 1800.17/1800.95 v -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 1800.17/1800.95 v -x860 -x861 -x862 x863 x864 x865 -x866 -x867 x868 x869 x870 -x871 x872 x873 -x874 -x875 -x876 -x877 -x878 -x879 x880 x881 -x882 1800.17/1800.95 v -x883 -x884 x885 x886 x887 -x888 -x889 x890 x891 x892 x893 -x894 -x895 x896 x897 x898 x899 x900 x901 x902 x903 -x904 -x905 -x906 1800.17/1800.95 v -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 x922 x923 -x924 x925 -x926 -x927 1800.17/1800.95 v -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 x940 x941 -x942 x943 -x944 -x945 -x946 -x947 -x948 1800.17/1800.95 v -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 1800.17/1800.95 v -x970 -x971 -x972 -x973 -x974 -x975 x976 x977 -x978 x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 1800.17/1800.95 v -x991 -x992 -x993 -x994 x995 x996 -x997 x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 1800.17/1800.95 v -x1010 -x1011 -x1012 x1013 x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 1800.17/1800.95 v -x1028 -x1029 -x1030 x1031 x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 1800.17/1800.95 v -x1046 -x1047 -x1048 x1049 x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 1800.17/1800.95 v -x1064 -x1065 -x1066 x1067 x1068 x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 1800.17/1800.95 v -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 1800.17/1800.95 v -x1099 -x1100 -x1101 -x1102 -x1103 x1104 x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 1800.17/1800.95 v -x1117 -x1118 -x1119 -x1120 -x1121 x1122 x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 1800.17/1800.95 v -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 1800.17/1800.95 v -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 1800.17/1800.95 v -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 1800.17/1800.95 v -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 1800.17/1800.95 v -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 1800.17/1800.95 v -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 1800.17/1800.95 v -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 x1249 x1250 x1251 -x1252 -x1253 -x1254 1800.17/1800.95 v -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 1800.17/1800.95 v -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 1800.17/1800.95 v -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 1800.17/1800.95 v -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 x1322 1800.17/1800.95 v x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 1800.17/1800.95 v x1340 1800.17/1800.95 1800.17/1800.95 c user time= 1799.29 s 1800.17/1800.95 c system time= 0.936857 s 1800.17/1800.95 c wall clock time=1800.96
OK -26
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node23/watcher-357408-1176997133 -o ROOT/results/node23/solver-357408-1176997133 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357408-1176997133/instance-357408-1176997133.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 1.00 1.00 3/77 13991 /proc/meminfo: memFree=1795080/2055920 swapFree=4169120/4192956 [pid=13991] ppid=13989 vsize=1468 CPUtime=0 /proc/13991/stat : 13991 (oree) R 13989 13991 13149 0 -1 4194304 179 0 0 0 0 0 0 0 18 0 1 0 147630453 1503232 161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134828720 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13991/statm: 367 161 131 317 0 46 0 [startup+0.0263659 s] /proc/loadavg: 1.00 1.00 1.00 3/77 13991 /proc/meminfo: memFree=1795080/2055920 swapFree=4169120/4192956 [pid=13991] ppid=13989 vsize=1732 CPUtime=0.02 /proc/13991/stat : 13991 (oree) R 13989 13991 13149 0 -1 4194304 247 0 0 0 2 0 0 0 18 0 1 0 147630453 1773568 229 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13991/statm: 433 229 131 317 0 112 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 1732 [startup+0.10138 s] /proc/loadavg: 1.00 1.00 1.00 3/77 13991 /proc/meminfo: memFree=1795080/2055920 swapFree=4169120/4192956 [pid=13991] ppid=13989 vsize=2516 CPUtime=0.09 /proc/13991/stat : 13991 (oree) R 13989 13991 13149 0 -1 4194304 474 0 0 0 9 0 0 0 18 0 1 0 147630453 2576384 456 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13991/statm: 629 456 170 317 0 308 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2516 [startup+0.301419 s] /proc/loadavg: 1.00 1.00 1.00 3/77 13991 /proc/meminfo: memFree=1795080/2055920 swapFree=4169120/4192956 [pid=13991] ppid=13989 vsize=3424 CPUtime=0.29 /proc/13991/stat : 13991 (oree) R 13989 13991 13149 0 -1 4194304 709 0 0 0 29 0 0 0 19 0 1 0 147630453 3506176 691 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13991/statm: 856 691 170 317 0 535 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3424 [startup+0.701496 s] /proc/loadavg: 1.00 1.00 1.00 3/77 13991 /proc/meminfo: memFree=1795080/2055920 swapFree=4169120/4192956 [pid=13991] ppid=13989 vsize=5128 CPUtime=0.7 /proc/13991/stat : 13991 (oree) R 13989 13991 13149 0 -1 4194304 1127 0 0 0 69 1 0 0 23 0 1 0 147630453 5251072 1109 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606721 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13991/statm: 1282 1109 170 317 0 961 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 5128 [startup+1.50265 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13992 /proc/meminfo: memFree=1789696/2055920 swapFree=4169120/4192956 [pid=13991] ppid=13989 vsize=8568 CPUtime=1.49 /proc/13991/stat : 13991 (oree) R 13989 13991 13149 0 -1 4194304 1998 0 0 0 148 1 0 0 25 0 1 0 147630453 8773632 1980 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13991/statm: 2142 1980 170 317 0 1821 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8568 [startup+3.10196 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13992 /proc/meminfo: memFree=1786048/2055920 swapFree=4169120/4192956 [pid=13991] ppid=13989 vsize=12536 CPUtime=3.09 /proc/13991/stat : 13991 (oree) R 13989 13991 13149 0 -1 4194304 2931 0 0 0 308 1 0 0 25 0 1 0 147630453 12836864 2913 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13991/statm: 3134 2913 170 317 0 2813 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 12536 [startup+6.30158 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13992 /proc/meminfo: memFree=1779136/2055920 swapFree=4169120/4192956 [pid=13991] ppid=13989 vsize=18040 CPUtime=6.29 /proc/13991/stat : 13991 (oree) R 13989 13991 13149 0 -1 4194304 4303 0 0 0 627 2 0 0 25 0 1 0 147630453 18472960 4285 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718926 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13991/statm: 4510 4285 170 317 0 4189 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 18040 [startup+12.7018 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13992 /proc/meminfo: memFree=1771976/2055920 swapFree=4169120/4192956 [pid=13991] ppid=13989 vsize=25344 CPUtime=12.69 /proc/13991/stat : 13991 (oree) R 13989 13991 13149 0 -1 4194304 6030 0 0 0 1265 4 0 0 25 0 1 0 147630453 25952256 6012 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13991/statm: 6336 6012 170 317 0 6015 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 25344 [startup+25.5013 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13992 /proc/meminfo: memFree=1762248/2055920 swapFree=4169120/4192956 [pid=13991] ppid=13989 vsize=34188 CPUtime=25.48 /proc/13991/stat : 13991 (oree) R 13989 13991 13149 0 -1 4194304 8344 0 0 0 2542 6 0 0 25 0 1 0 147630453 35008512 8326 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13991/statm: 8547 8326 170 317 0 8226 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 34188 [startup+51.1012 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13992 /proc/meminfo: memFree=1745032/2055920 swapFree=4169120/4192956 [pid=13991] ppid=13989 vsize=52308 CPUtime=51.07 /proc/13991/stat : 13991 (oree) R 13989 13991 13149 0 -1 4194304 12636 0 0 0 5099 8 0 0 25 0 1 0 147630453 53563392 12618 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13991/statm: 13077 12618 170 317 0 12756 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 52308 [startup+102.305 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13992 /proc/meminfo: memFree=1729096/2055920 swapFree=4169120/4192956 [pid=13991] ppid=13989 vsize=69000 CPUtime=102.26 /proc/13991/stat : 13991 (oree) R 13989 13991 13149 0 -1 4194304 16619 0 0 0 10215 11 0 0 25 0 1 0 147630453 70656000 16543 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13991/statm: 17250 16543 170 317 0 16929 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 69000 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13992 /proc/meminfo: memFree=1715848/2055920 swapFree=4169120/4192956 [pid=13991] ppid=13989 vsize=83216 CPUtime=162.23 /proc/13991/stat : 13991 (oree) R 13989 13991 13149 0 -1 4194304 19939 0 0 0 16209 14 0 0 25 0 1 0 147630453 85213184 19863 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13991/statm: 20804 19863 170 317 0 20483 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 83216 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13992 /proc/meminfo: memFree=1703816/2055920 swapFree=4169120/4192956 [pid=13991] ppid=13989 vsize=96044 CPUtime=222.21 /proc/13991/stat : 13991 (oree) R 13989 13991 13149 0 -1 4194304 22898 0 0 0 22205 16 0 0 25 0 1 0 147630453 98349056 22822 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13991/statm: 24011 22822 170 317 0 23690 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 96044 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13992 /proc/meminfo: memFree=1695624/2055920 swapFree=4169120/4192956 [pid=13991] ppid=13989 vsize=103708 CPUtime=282.19 /proc/13991/stat : 13991 (oree) R 13989 13991 13149 0 -1 4194304 24941 0 0 0 28201 18 0 0 25 0 1 0 147630453 106196992 24865 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13991/statm: 25927 24865 170 317 0 25606 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 103708 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13992 /proc/meminfo: memFree=1681160/2055920 swapFree=4169120/4192956 [pid=13991] ppid=13989 vsize=120172 CPUtime=342.17 /proc/13991/stat : 13991 (oree) R 13989 13991 13149 0 -1 4194304 28888 0 0 0 34195 22 0 0 25 0 1 0 147630453 123056128 28812 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13991/statm: 30043 28812 170 317 0 29722 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 120172 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13992 /proc/meminfo: memFree=1609160/2055920 swapFree=4169120/4192956 [pid=13991] ppid=13989 vsize=193096 CPUtime=402.15 /proc/13991/stat : 13991 (oree) R 13989 13991 13149 0 -1 4194304 46993 0 0 0 40184 31 0 0 25 0 1 0 147630453 197730304 46539 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540728 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13991/statm: 48274 46539 170 317 0 47953 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 193096 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13992 /proc/meminfo: memFree=1560776/2055920 swapFree=4169120/4192956 [pid=13991] ppid=13989 vsize=247080 CPUtime=462.13 /proc/13991/stat : 13991 (oree) R 13989 13991 13149 0 -1 4194304 59503 0 0 0 46176 37 0 0 25 0 1 0 147630453 253009920 58521 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711017 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13991/statm: 61770 58521 170 317 0 61449 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 247080 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13992 /proc/meminfo: memFree=1523976/2055920 swapFree=4169120/4192956 [pid=13991] ppid=13989 vsize=282160 CPUtime=522.11 /proc/13991/stat : 13991 (oree) R 13989 13991 13149 0 -1 4194304 69058 0 0 0 52170 41 0 0 25 0 1 0 147630453 288931840 67779 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13991/statm: 70540 67779 170 317 0 70219 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 282160 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13992 /proc/meminfo: memFree=1485576/2055920 swapFree=4169120/4192956 [pid=13991] ppid=13989 vsize=331540 CPUtime=582.09 /proc/13991/stat : 13991 (oree) R 13989 13991 13149 0 -1 4194304 79123 0 0 0 58162 47 0 0 25 0 1 0 147630453 339496960 77250 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13991/statm: 82885 77250 170 317 0 82564 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 331540 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13992 /proc/meminfo: memFree=1462472/2055920 swapFree=4169120/4192956 [pid=13991] ppid=13989 vsize=354104 CPUtime=642.07 /proc/13991/stat : 13991 (oree) R 13989 13991 13149 0 -1 4194304 84805 0 0 0 64157 50 0 0 25 0 1 0 147630453 362602496 82932 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563957 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13991/statm: 88526 82932 170 317 0 88205 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 354104 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13992 /proc/meminfo: memFree=1395400/2055920 swapFree=4169120/4192956 [pid=13991] ppid=13989 vsize=417288 CPUtime=881.98 /proc/13991/stat : 13991 (oree) R 13989 13991 13149 0 -1 4194304 102079 0 0 0 88136 62 0 0 25 0 1 0 147630453 427302912 99645 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13991/statm: 104322 99645 170 317 0 104001 0 Current children cumulated CPU time (s) 881.98 Current children cumulated vsize (KiB) 417288 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13992 /proc/meminfo: memFree=1378248/2055920 swapFree=4169120/4192956 [pid=13991] ppid=13989 vsize=432240 CPUtime=941.97 /proc/13991/stat : 13991 (oree) R 13989 13991 13149 0 -1 4194304 106382 0 0 0 94132 65 0 0 25 0 1 0 147630453 442613760 103948 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13991/statm: 108060 103948 170 317 0 107739 0 Current children cumulated CPU time (s) 941.97 Current children cumulated vsize (KiB) 432240 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13992 /proc/meminfo: memFree=1363016/2055920 swapFree=4169120/4192956 [pid=13991] ppid=13989 vsize=445740 CPUtime=1001.94 /proc/13991/stat : 13991 (oree) R 13989 13991 13149 0 -1 4194304 110171 0 0 0 100126 68 0 0 25 0 1 0 147630453 456437760 107704 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13991/statm: 111435 107704 170 317 0 111114 0 Current children cumulated CPU time (s) 1001.94 Current children cumulated vsize (KiB) 445740 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13992 /proc/meminfo: memFree=1349576/2055920 swapFree=4169120/4192956 [pid=13991] ppid=13989 vsize=457988 CPUtime=1061.92 /proc/13991/stat : 13991 (oree) R 13989 13991 13149 0 -1 4194304 113543 0 0 0 106123 69 0 0 25 0 1 0 147630453 468979712 111076 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564062 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13991/statm: 114497 111076 170 317 0 114176 0 Current children cumulated CPU time (s) 1061.92 Current children cumulated vsize (KiB) 457988 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13992 /proc/meminfo: memFree=1335432/2055920 swapFree=4169120/4192956 [pid=13991] ppid=13989 vsize=471916 CPUtime=1121.91 /proc/13991/stat : 13991 (oree) R 13989 13991 13149 0 -1 4194304 117055 0 0 0 112119 72 0 0 25 0 1 0 147630453 483241984 114588 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563639 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13991/statm: 117979 114588 170 317 0 117658 0 Current children cumulated CPU time (s) 1121.91 Current children cumulated vsize (KiB) 471916 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13992 /proc/meminfo: memFree=1315784/2055920 swapFree=4169120/4192956 [pid=13991] ppid=13989 vsize=520380 CPUtime=1181.88 /proc/13991/stat : 13991 (oree) R 13989 13991 13149 0 -1 4194304 127215 0 0 0 118112 76 0 0 25 0 1 0 147630453 532869120 119468 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13991/statm: 130095 119468 170 317 0 129774 0 Current children cumulated CPU time (s) 1181.88 Current children cumulated vsize (KiB) 520380 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13992 /proc/meminfo: memFree=1305480/2055920 swapFree=4169120/4192956 [pid=13991] ppid=13989 vsize=530212 CPUtime=1241.86 /proc/13991/stat : 13991 (oree) R 13989 13991 13149 0 -1 4194304 129773 0 0 0 124109 77 0 0 25 0 1 0 147630453 542937088 121993 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564083 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13991/statm: 132553 121993 170 317 0 132232 0 Current children cumulated CPU time (s) 1241.86 Current children cumulated vsize (KiB) 530212 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13992 /proc/meminfo: memFree=1293960/2055920 swapFree=4169120/4192956 [pid=13991] ppid=13989 vsize=541744 CPUtime=1301.85 /proc/13991/stat : 13991 (oree) R 13989 13991 13149 0 -1 4194304 132739 0 0 0 130106 79 0 0 25 0 1 0 147630453 554745856 124827 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564046 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13991/statm: 135436 124827 170 317 0 135115 0 Current children cumulated CPU time (s) 1301.85 Current children cumulated vsize (KiB) 541744 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/84 14158 /proc/meminfo: memFree=1280960/2055920 swapFree=4169120/4192956 [pid=13991] ppid=13989 vsize=555004 CPUtime=1361.74 /proc/13991/stat : 13991 (oree) R 13989 13991 13149 0 -1 4194304 135984 0 0 0 136093 81 0 0 25 0 1 0 147630453 568324096 127709 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13991/statm: 138751 127709 170 317 0 138430 0 Current children cumulated CPU time (s) 1361.74 Current children cumulated vsize (KiB) 555004 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14190 /proc/meminfo: memFree=1272136/2055920 swapFree=4169120/4192956 [pid=13991] ppid=13989 vsize=566700 CPUtime=1421.7 /proc/13991/stat : 13991 (oree) R 13989 13991 13149 0 -1 4194304 138735 0 0 0 142087 83 0 0 25 0 1 0 147630453 580300800 130200 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13991/statm: 141675 130200 170 317 0 141354 0 Current children cumulated CPU time (s) 1421.7 Current children cumulated vsize (KiB) 566700 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14190 /proc/meminfo: memFree=1261768/2055920 swapFree=4169120/4192956 [pid=13991] ppid=13989 vsize=576596 CPUtime=1481.67 /proc/13991/stat : 13991 (oree) R 13989 13991 13149 0 -1 4194304 141349 0 0 0 148083 84 0 0 25 0 1 0 147630453 590434304 132814 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13991/statm: 144149 132814 170 317 0 143828 0 Current children cumulated CPU time (s) 1481.67 Current children cumulated vsize (KiB) 576596 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14190 /proc/meminfo: memFree=1251784/2055920 swapFree=4169120/4192956 [pid=13991] ppid=13989 vsize=590056 CPUtime=1541.66 /proc/13991/stat : 13991 (oree) R 13989 13991 13149 0 -1 4194304 144601 0 0 0 154080 86 0 0 25 0 1 0 147630453 604217344 135286 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13991/statm: 147514 135286 170 317 0 147193 0 Current children cumulated CPU time (s) 1541.66 Current children cumulated vsize (KiB) 590056 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14190 /proc/meminfo: memFree=1243400/2055920 swapFree=4169120/4192956 [pid=13991] ppid=13989 vsize=598828 CPUtime=1601.63 /proc/13991/stat : 13991 (oree) R 13989 13991 13149 0 -1 4194304 146722 0 0 0 160075 88 0 0 25 0 1 0 147630453 613199872 137407 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13991/statm: 149707 137407 170 317 0 149386 0 Current children cumulated CPU time (s) 1601.63 Current children cumulated vsize (KiB) 598828 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14190 /proc/meminfo: memFree=1233352/2055920 swapFree=4169120/4192956 [pid=13991] ppid=13989 vsize=608552 CPUtime=1661.61 /proc/13991/stat : 13991 (oree) R 13989 13991 13149 0 -1 4194304 149188 0 0 0 166072 89 0 0 25 0 1 0 147630453 623157248 139873 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13991/statm: 152138 139873 170 317 0 151817 0 Current children cumulated CPU time (s) 1661.61 Current children cumulated vsize (KiB) 608552 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14190 /proc/meminfo: memFree=1224648/2055920 swapFree=4169120/4192956 [pid=13991] ppid=13989 vsize=617572 CPUtime=1721.59 /proc/13991/stat : 13991 (oree) R 13989 13991 13149 0 -1 4194304 151385 0 0 0 172068 91 0 0 25 0 1 0 147630453 632393728 142070 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13991/statm: 154393 142070 170 317 0 154072 0 Current children cumulated CPU time (s) 1721.59 Current children cumulated vsize (KiB) 617572 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14190 /proc/meminfo: memFree=1214856/2055920 swapFree=4169120/4192956 [pid=13991] ppid=13989 vsize=630588 CPUtime=1781.57 /proc/13991/stat : 13991 (oree) R 13989 13991 13149 0 -1 4194304 154661 0 0 0 178064 93 0 0 25 0 1 0 147630453 645722112 144501 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13991/statm: 157647 144501 170 317 0 157326 0 Current children cumulated CPU time (s) 1781.57 Current children cumulated vsize (KiB) 630588 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14190 /proc/meminfo: memFree=1212040/2055920 swapFree=4169120/4192956 [pid=13991] ppid=13989 vsize=633392 CPUtime=1800.07 /proc/13991/stat : 13991 (oree) R 13989 13991 13149 0 -1 4194304 155355 0 0 0 179914 93 0 0 25 0 1 0 147630453 648593408 145195 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564046 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13991/statm: 158348 145195 170 317 0 158027 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 633392 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14190 /proc/meminfo: memFree=1212040/2055920 swapFree=4169120/4192956 [pid=13991] ppid=13989 vsize=0 CPUtime=1800.27 /proc/13991/stat : 13991 (oree) R 13989 13991 13149 0 -1 4194308 155379 0 0 0 179930 97 0 0 25 0 1 0 147630453 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13991/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.27 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1801.06 CPU time (s): 1800.33 CPU user time (s): 1799.3 CPU system time (s): 1.03084 CPU usage (%): 99.9596 Max. virtual memory (cumulated for all children) (KiB): 633392 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.3 system time used= 1.03084 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 155379 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= 1666 runsolver used 2.09868 second user time and 4.45832 second system time The end
Begin job on node23 on Thu Apr 19 15:38:53 UTC 2007 IDJOB= 357408 IDBENCH= 2533 IDSOLVER= 172 FILE ID= node23/357408-1176997133 PBS_JOBID= 4630438 Free space on /tmp= 66454 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-noswot.opb COMMAND LINE= oree /tmp/evaluation/357408-1176997133/instance-357408-1176997133.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node23/watcher-357408-1176997133 -o ROOT/results/node23/solver-357408-1176997133 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357408-1176997133/instance-357408-1176997133.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= bea15b769c4cc5d5ccef31ae4b368d84 RANDOM SEED= 827843702 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node23.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.276 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.276 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: 1795488 kB Buffers: 23492 kB Cached: 148844 kB SwapCached: 2288 kB Active: 75400 kB Inactive: 119820 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1795488 kB SwapTotal: 4192956 kB SwapFree: 4169120 kB Dirty: 1504 kB Writeback: 0 kB Mapped: 30352 kB Slab: 50700 kB Committed_AS: 2459368 kB PageTables: 1796 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= 66454 MiB End job on node23 on Thu Apr 19 16:08:56 UTC 2007