Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | SAT (TO) | 226 | 1800.27 | 1800.9 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_12.opb.PB06.opb |
MD5SUM | 008a49e8cb0d34e0becb5a5e15efaa2a |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 177 |
Best CPU time to get the best result obtained on this benchmark | 1800.07 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 177 |
Optimality of the best value was proved | NO |
Number of variables | 465 |
Total number of constraints | 465 |
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 | 465 |
Minimum length of a constraint | 3 |
Maximum length of a constraint | 20 |
Number of terms in the objective function | 465 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 465 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 30 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 465 |
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.01 c ...done 0.00/0.01 c #vars=465 #constraints=466 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.02 c nbDecision=236 #constraints=466 0.00/0.02 c linear search for optimum 0.00/0.02 o 229 0.00/0.08 c nbDecision=385 #constraints=499 0.00/0.08 o 228 0.00/0.09 c restart after 401 decisions 0.00/0.09 c nbDecision=500 #constraints=504 0.09/0.16 c restart after 801 decisions 0.09/0.17 c nbDecision=1000 #constraints=544 0.29/0.37 c nbDecision=1500 #constraints=657 0.39/0.41 c restart after 1601 decisions 0.49/0.52 c nbDecision=2000 #constraints=721 0.69/0.76 c nbDecision=2500 #constraints=832 0.99/1.02 c nbDecision=3000 #constraints=938 1.09/1.11 c restart after 3201 decisions 1.19/1.21 c nbDecision=3500 #constraints=982 1.39/1.46 c nbDecision=4000 #constraints=1071 1.68/1.73 c nbDecision=4500 #constraints=1159 1.98/2.02 c nbDecision=5000 #constraints=1246 2.28/2.34 c nbDecision=5500 #constraints=1336 2.59/2.68 c nbDecision=6000 #constraints=1422 2.89/2.96 c restart after 6401 decisions 2.99/3.07 c nbDecision=6500 #constraints=1489 3.39/3.41 c nbDecision=7000 #constraints=1552 3.99/4.01 c nbDecision=7500 #constraints=1670 4.59/4.65 c nbDecision=8000 #constraints=1786 5.29/5.33 c nbDecision=8500 #constraints=1900 5.89/5.99 c nbDecision=9000 #constraints=2006 6.50/6.53 c nbDecision=9500 #constraints=2092 6.99/7.09 c nbDecision=10000 #constraints=2178 7.69/7.71 c nbDecision=10500 #constraints=2265 8.28/8.34 c nbDecision=11000 #constraints=2351 8.98/9.00 c nbDecision=11500 #constraints=2437 9.58/9.68 c nbDecision=12000 #constraints=2523 10.29/10.39 c nbDecision=12500 #constraints=2609 10.89/10.93 c restart after 12801 decisions 11.29/11.39 c nbDecision=13000 #constraints=2667 12.39/12.45 c nbDecision=13500 #constraints=2778 13.59/13.63 c nbDecision=14000 #constraints=2896 14.79/14.85 c nbDecision=14500 #constraints=3012 15.78/15.81 c nbDecision=15000 #constraints=3104 16.69/16.74 c nbDecision=15500 #constraints=3190 17.59/17.68 c nbDecision=16000 #constraints=3275 18.69/18.71 c nbDecision=16500 #constraints=3364 19.69/19.71 c nbDecision=17000 #constraints=3448 20.68/20.78 c nbDecision=17500 #constraints=3535 21.78/21.87 c nbDecision=18000 #constraints=3623 23.08/23.12 c nbDecision=18500 #constraints=3716 24.69/24.71 c nbDecision=19000 #constraints=3829 26.29/26.40 c nbDecision=19500 #constraints=3943 28.08/28.10 c nbDecision=20000 #constraints=4057 29.59/29.67 c nbDecision=20500 #constraints=4160 30.88/30.98 c nbDecision=21000 #constraints=4247 32.28/32.33 c nbDecision=21500 #constraints=4333 33.58/33.68 c nbDecision=22000 #constraints=4419 34.98/35.07 c nbDecision=22500 #constraints=4505 36.38/36.49 c nbDecision=23000 #constraints=4591 37.88/37.92 c nbDecision=23500 #constraints=4675 39.38/39.43 c nbDecision=24000 #constraints=4761 41.68/41.77 c nbDecision=24500 #constraints=4902 43.67/43.78 c nbDecision=25000 #constraints=5013 45.67/45.79 c nbDecision=25500 #constraints=5117 46.08/46.11 c restart after 25601 decisions 47.97/48.06 c nbDecision=26000 #constraints=5172 49.87/49.96 c nbDecision=26500 #constraints=5269 52.58/52.62 c nbDecision=27000 #constraints=5412 54.77/54.81 c nbDecision=27500 #constraints=5518 56.87/56.98 c nbDecision=28000 #constraints=5619 58.97/59.07 c nbDecision=28500 #constraints=5716 61.48/61.58 c nbDecision=29000 #constraints=5830 64.37/64.48 c nbDecision=29500 #constraints=5963 66.87/66.93 c nbDecision=30000 #constraints=6067 69.17/69.23 c nbDecision=30500 #constraints=6166 71.48/71.53 c nbDecision=31000 #constraints=6261 74.77/74.84 c nbDecision=31500 #constraints=6404 77.37/77.48 c nbDecision=32000 #constraints=6508 80.06/80.15 c nbDecision=32500 #constraints=6611 82.56/82.66 c nbDecision=33000 #constraints=6708 85.26/85.37 c nbDecision=33500 #constraints=6807 88.47/88.50 c nbDecision=34000 #constraints=6918 91.17/91.26 c nbDecision=34500 #constraints=7021 93.47/93.51 c nbDecision=35000 #constraints=7107 95.67/95.78 c nbDecision=35500 #constraints=7191 98.06/98.15 c nbDecision=36000 #constraints=7279 101.26/101.31 c nbDecision=36500 #constraints=7384 104.65/104.70 c nbDecision=37000 #constraints=7496 107.16/107.25 c nbDecision=37500 #constraints=7584 109.66/109.71 c nbDecision=38000 #constraints=7668 112.06/112.19 c nbDecision=38500 #constraints=7753 114.66/114.78 c nbDecision=39000 #constraints=7838 118.55/118.62 c nbDecision=39500 #constraints=7958 121.85/121.96 c nbDecision=40000 #constraints=8062 124.55/124.64 c nbDecision=40500 #constraints=8151 127.25/127.39 c nbDecision=41000 #constraints=8238 129.96/130.09 c nbDecision=41500 #constraints=8324 132.96/133.09 c nbDecision=42000 #constraints=8413 136.95/137.02 c nbDecision=42500 #constraints=8526 140.45/140.50 c nbDecision=43000 #constraints=8628 143.25/143.33 c nbDecision=43500 #constraints=8714 146.05/146.18 c nbDecision=44000 #constraints=8799 148.94/149.03 c nbDecision=44500 #constraints=8883 153.14/153.23 c nbDecision=45000 #constraints=9000 156.54/156.66 c nbDecision=45500 #constraints=9096 160.54/160.64 c nbDecision=46000 #constraints=9204 164.55/164.61 c nbDecision=46500 #constraints=9311 168.15/168.29 c nbDecision=47000 #constraints=9406 172.94/173.09 c nbDecision=47500 #constraints=9535 176.64/176.74 c nbDecision=48000 #constraints=9631 181.34/181.43 c nbDecision=48500 #constraints=9751 185.04/185.12 c nbDecision=49000 #constraints=9844 188.83/188.97 c nbDecision=49488 #constraints=9930 188.83/188.97 o 227 188.93/189.06 c nbDecision=49500 #constraints=9934 193.23/193.33 c nbDecision=50000 #constraints=10036 197.54/197.64 c nbDecision=50500 #constraints=10139 201.93/202.07 c nbDecision=51000 #constraints=10243 203.53/203.67 c restart after 51201 decisions 207.03/207.19 c nbDecision=51500 #constraints=10299 210.73/210.84 c nbDecision=52000 #constraints=10382 214.13/214.27 c nbDecision=52500 #constraints=10460 217.53/217.61 c nbDecision=53000 #constraints=10535 220.93/221.09 c nbDecision=53500 #constraints=10613 224.52/224.63 c nbDecision=54000 #constraints=10691 228.02/228.15 c nbDecision=54500 #constraints=10769 231.42/231.52 c nbDecision=55000 #constraints=10842 234.93/235.06 c nbDecision=55500 #constraints=10918 239.63/239.71 c nbDecision=56000 #constraints=11023 245.92/246.02 c nbDecision=56500 #constraints=11165 250.73/250.83 c nbDecision=57000 #constraints=11267 255.62/255.70 c nbDecision=57500 #constraints=11370 260.52/260.66 c nbDecision=58000 #constraints=11472 264.61/264.73 c nbDecision=58500 #constraints=11555 268.41/268.54 c nbDecision=59000 #constraints=11633 272.21/272.31 c nbDecision=59500 #constraints=11710 276.01/276.13 c nbDecision=60000 #constraints=11788 279.81/279.95 c nbDecision=60500 #constraints=11864 283.72/283.87 c nbDecision=61000 #constraints=11942 287.51/287.66 c nbDecision=61500 #constraints=12017 291.31/291.48 c nbDecision=62000 #constraints=12091 296.50/296.68 c nbDecision=62500 #constraints=12198 303.80/303.99 c nbDecision=63000 #constraints=12357 309.21/309.31 c nbDecision=63500 #constraints=12467 314.30/314.44 c nbDecision=64000 #constraints=12563 319.10/319.25 c nbDecision=64500 #constraints=12650 324.00/324.11 c nbDecision=65000 #constraints=12737 329.89/330.00 c nbDecision=65500 #constraints=12846 335.70/335.85 c nbDecision=66000 #constraints=12964 340.59/340.79 c nbDecision=66500 #constraints=13051 345.69/345.85 c nbDecision=67000 #constraints=13139 350.69/350.82 c nbDecision=67500 #constraints=13226 356.48/356.67 c nbDecision=68000 #constraints=13320 362.29/362.48 c nbDecision=68500 #constraints=13422 367.69/367.84 c nbDecision=69000 #constraints=13518 371.88/372.04 c nbDecision=69500 #constraints=13593 376.28/376.40 c nbDecision=70000 #constraints=13667 380.48/380.65 c nbDecision=70500 #constraints=13741 384.88/385.04 c nbDecision=71000 #constraints=13815 392.48/392.68 c nbDecision=71500 #constraints=13948 398.58/398.74 c nbDecision=72000 #constraints=14050 403.48/403.66 c nbDecision=72500 #constraints=14133 407.98/408.18 c nbDecision=73000 #constraints=14210 412.47/412.65 c nbDecision=73500 #constraints=14285 417.07/417.25 c nbDecision=74000 #constraints=14363 423.46/423.69 c nbDecision=74500 #constraints=14463 429.97/430.13 c nbDecision=75000 #constraints=14576 435.47/435.65 c nbDecision=75500 #constraints=14663 442.07/442.28 c nbDecision=76000 #constraints=14765 448.26/448.47 c nbDecision=76500 #constraints=14865 453.86/454.01 c nbDecision=77000 #constraints=14950 459.66/459.86 c nbDecision=77500 #constraints=15053 465.26/465.40 c nbDecision=78000 #constraints=15164 470.75/470.94 c nbDecision=78500 #constraints=15272 476.26/476.48 c nbDecision=79000 #constraints=15382 481.74/481.90 c nbDecision=79500 #constraints=15466 486.83/487.08 c nbDecision=80000 #constraints=15546 492.02/492.28 c nbDecision=80500 #constraints=15628 497.40/497.61 c nbDecision=81000 #constraints=15710 502.59/502.84 c nbDecision=81500 #constraints=15790 507.98/508.21 c nbDecision=82000 #constraints=15872 513.17/513.43 c nbDecision=82500 #constraints=15952 518.66/518.91 c nbDecision=83000 #constraints=16034 524.56/524.88 c nbDecision=83500 #constraints=16138 530.55/530.88 c nbDecision=84000 #constraints=16248 536.74/537.10 c nbDecision=84500 #constraints=16359 542.94/543.30 c nbDecision=85000 #constraints=16467 548.44/548.79 c nbDecision=85500 #constraints=16548 554.04/554.33 c nbDecision=86000 #constraints=16628 559.54/559.89 c nbDecision=86500 #constraints=16710 565.23/565.59 c nbDecision=87000 #constraints=16791 570.83/571.10 c nbDecision=87500 #constraints=16873 576.33/576.61 c nbDecision=88000 #constraints=16953 581.92/582.26 c nbDecision=88500 #constraints=17035 587.72/588.09 c nbDecision=89000 #constraints=17116 593.92/594.29 c nbDecision=89500 #constraints=17221 600.62/600.97 c nbDecision=90000 #constraints=17335 607.32/607.63 c nbDecision=90500 #constraints=17451 613.72/614.03 c nbDecision=91000 #constraints=17552 619.42/619.78 c nbDecision=91500 #constraints=17633 625.41/625.70 c nbDecision=92000 #constraints=17715 631.01/631.38 c nbDecision=92500 #constraints=17795 637.01/637.37 c nbDecision=93000 #constraints=17876 642.91/643.29 c nbDecision=93500 #constraints=17958 648.91/649.26 c nbDecision=94000 #constraints=18038 654.80/655.13 c nbDecision=94500 #constraints=18118 661.10/661.42 c nbDecision=95000 #constraints=18201 668.11/668.40 c nbDecision=95500 #constraints=18315 675.01/675.35 c nbDecision=96000 #constraints=18425 682.10/682.41 c nbDecision=96500 #constraints=18536 689.10/689.42 c nbDecision=97000 #constraints=18639 694.99/695.40 c nbDecision=97500 #constraints=18719 701.29/701.67 c nbDecision=98000 #constraints=18801 707.49/707.86 c nbDecision=98500 #constraints=18882 713.69/714.05 c nbDecision=99000 #constraints=18960 719.99/720.32 c nbDecision=99500 #constraints=19042 726.28/726.61 c nbDecision=100000 #constraints=19122 732.48/732.90 c nbDecision=100500 #constraints=19203 739.08/739.42 c nbDecision=101000 #constraints=19283 747.69/748.05 c nbDecision=101500 #constraints=19434 754.58/754.97 c nbDecision=102000 #constraints=19526 760.57/760.91 c restart after 102401 decisions 764.08/764.47 c nbDecision=102500 #constraints=19605 770.87/771.21 c nbDecision=103000 #constraints=19673 778.27/778.64 c nbDecision=103500 #constraints=19769 786.76/787.16 c nbDecision=104000 #constraints=19917 794.47/794.86 c nbDecision=104500 #constraints=20017 801.77/802.17 c nbDecision=105000 #constraints=20111 809.06/809.45 c nbDecision=105500 #constraints=20204 816.96/817.38 c nbDecision=106000 #constraints=20315 825.56/825.99 c nbDecision=106500 #constraints=20447 833.06/833.41 c nbDecision=107000 #constraints=20541 840.95/841.39 c nbDecision=107500 #constraints=20641 848.65/849.03 c nbDecision=108000 #constraints=20735 857.05/857.48 c nbDecision=108500 #constraints=20865 865.64/866.04 c nbDecision=109000 #constraints=20979 873.24/873.63 c nbDecision=109500 #constraints=21072 881.54/881.94 c nbDecision=110000 #constraints=21173 888.93/889.33 c nbDecision=110500 #constraints=21259 897.33/897.74 c nbDecision=111000 #constraints=21371 905.43/905.87 c nbDecision=111500 #constraints=21472 912.43/912.80 c nbDecision=112000 #constraints=21553 919.43/919.86 c nbDecision=112500 #constraints=21633 926.53/926.91 c nbDecision=113000 #constraints=21714 933.82/934.20 c nbDecision=113500 #constraints=21793 942.52/942.99 c nbDecision=114000 #constraints=21907 950.81/951.23 c nbDecision=114500 #constraints=22007 958.01/958.40 c nbDecision=115000 #constraints=22089 965.21/965.64 c nbDecision=115500 #constraints=22168 972.31/972.79 c nbDecision=116000 #constraints=22248 979.91/980.30 c nbDecision=116500 #constraints=22327 988.80/989.22 c nbDecision=117000 #constraints=22439 997.31/997.76 c nbDecision=117500 #constraints=22541 1004.60/1005.08 c nbDecision=118000 #constraints=22622 1012.00/1012.47 c nbDecision=118500 #constraints=22700 1019.30/1019.76 c nbDecision=119000 #constraints=22780 1027.00/1027.45 c nbDecision=119500 #constraints=22859 1036.19/1036.65 c nbDecision=120000 #constraints=22973 1045.09/1045.57 c nbDecision=120500 #constraints=23076 1052.48/1052.96 c nbDecision=121000 #constraints=23156 1060.08/1060.51 c nbDecision=121500 #constraints=23234 1067.59/1068.09 c nbDecision=122000 #constraints=23315 1075.08/1075.51 c nbDecision=122500 #constraints=23389 1084.97/1085.45 c nbDecision=123000 #constraints=23511 1094.27/1094.78 c nbDecision=123500 #constraints=23610 1104.26/1104.77 c nbDecision=124000 #constraints=23729 1112.87/1113.30 c nbDecision=124500 #constraints=23820 1121.76/1122.22 c nbDecision=125000 #constraints=23917 1131.66/1132.19 c nbDecision=125500 #constraints=24032 1140.56/1141.02 c nbDecision=126000 #constraints=24123 1150.75/1151.23 c nbDecision=126500 #constraints=24242 1159.45/1159.93 c nbDecision=127000 #constraints=24332 1168.55/1169.04 c nbDecision=127495 #constraints=24415 1168.55/1169.04 o 226 1168.65/1169.14 c nbDecision=127500 #constraints=24417 1178.05/1178.59 c nbDecision=128000 #constraints=24518 1187.55/1188.08 c nbDecision=128500 #constraints=24614 1196.84/1197.37 c nbDecision=129000 #constraints=24708 1206.63/1207.15 c nbDecision=129500 #constraints=24810 1214.53/1215.08 c nbDecision=130000 #constraints=24883 1222.53/1223.09 c nbDecision=130500 #constraints=24957 1230.54/1231.04 c nbDecision=131000 #constraints=25030 1238.43/1238.98 c nbDecision=131500 #constraints=25102 1246.63/1247.16 c nbDecision=132000 #constraints=25176 1254.63/1255.14 c nbDecision=132500 #constraints=25249 1262.62/1263.16 c nbDecision=133000 #constraints=25318 1270.61/1271.15 c nbDecision=133500 #constraints=25387 1278.82/1279.38 c nbDecision=134000 #constraints=25461 1294.01/1294.52 c nbDecision=134500 #constraints=25618 1303.71/1304.26 c nbDecision=135000 #constraints=25716 1313.91/1314.49 c nbDecision=135500 #constraints=25817 1324.01/1324.57 c nbDecision=136000 #constraints=25917 1333.71/1334.27 c nbDecision=136500 #constraints=26010 1342.00/1342.50 c nbDecision=137000 #constraints=26081 1350.20/1350.72 c nbDecision=137500 #constraints=26149 1358.49/1359.02 c nbDecision=138000 #constraints=26224 1366.80/1367.33 c nbDecision=138500 #constraints=26296 1375.19/1375.79 c nbDecision=139000 #constraints=26370 1383.69/1384.22 c nbDecision=139500 #constraints=26443 1392.08/1392.68 c nbDecision=140000 #constraints=26517 1400.68/1401.22 c nbDecision=140500 #constraints=26591 1412.88/1413.50 c nbDecision=141000 #constraints=26705 1426.37/1426.97 c nbDecision=141500 #constraints=26850 1437.77/1438.37 c nbDecision=142000 #constraints=26964 1447.76/1448.35 c nbDecision=142500 #constraints=27048 1457.76/1458.35 c nbDecision=143000 #constraints=27132 1467.96/1468.56 c nbDecision=143500 #constraints=27217 1479.26/1479.85 c nbDecision=144000 #constraints=27315 1491.35/1491.93 c nbDecision=144500 #constraints=27442 1501.55/1502.12 c nbDecision=145000 #constraints=27527 1511.74/1512.32 c nbDecision=145500 #constraints=27611 1521.84/1522.49 c nbDecision=146000 #constraints=27695 1533.04/1533.66 c nbDecision=146500 #constraints=27776 1543.64/1544.29 c nbDecision=147000 #constraints=27870 1554.64/1555.21 c nbDecision=147500 #constraints=27971 1563.43/1564.00 c nbDecision=148000 #constraints=28043 1572.33/1572.94 c nbDecision=148500 #constraints=28117 1581.33/1581.93 c nbDecision=149000 #constraints=28191 1590.22/1590.84 c nbDecision=149500 #constraints=28263 1603.02/1603.65 c nbDecision=150000 #constraints=28365 1613.81/1614.47 c nbDecision=150500 #constraints=28459 1625.01/1625.67 c nbDecision=151000 #constraints=28560 1633.92/1634.58 c nbDecision=151500 #constraints=28632 1643.11/1643.72 c nbDecision=152000 #constraints=28706 1652.21/1652.85 c nbDecision=152500 #constraints=28780 1661.30/1661.93 c nbDecision=153000 #constraints=28852 1673.80/1674.45 c nbDecision=153500 #constraints=28946 1685.70/1686.32 c nbDecision=154000 #constraints=29057 1696.39/1697.03 c nbDecision=154500 #constraints=29141 1708.59/1709.24 c nbDecision=155000 #constraints=29234 1720.79/1721.41 c nbDecision=155500 #constraints=29340 1731.68/1732.32 c nbDecision=156000 #constraints=29424 1747.98/1748.66 c nbDecision=156500 #constraints=29558 1766.97/1767.64 c nbDecision=157000 #constraints=29742 1783.07/1783.79 c nbDecision=157500 #constraints=29900 1800.07/1800.70 Received signal 15 1800.17/1800.83 1800.17/1800.83 s SATISFIABLE 1800.17/1800.83 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.83 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.83 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 1800.17/1800.83 v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 x104 x105 1800.17/1800.83 v -x106 -x107 -x108 -x109 x110 x111 -x112 -x113 -x114 -x115 x116 -x117 x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 x126 -x127 1800.17/1800.83 v x128 -x129 x130 x131 -x132 -x133 -x134 x135 x136 -x137 x138 -x139 x140 -x141 x142 -x143 -x144 -x145 -x146 x147 -x148 -x149 1800.17/1800.83 v -x150 -x151 x152 -x153 -x154 -x155 -x156 -x157 -x158 x159 x160 x161 -x162 -x163 x164 -x165 x166 x167 -x168 -x169 x170 x171 1800.17/1800.83 v -x172 -x173 x174 x175 x176 -x177 -x178 -x179 x180 -x181 x182 x183 -x184 -x185 x186 x187 -x188 x189 -x190 x191 -x192 -x193 -x194 1800.17/1800.83 v -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.83 v x217 -x218 x219 x220 x221 -x222 -x223 x224 x225 x226 x227 x228 -x229 x230 x231 -x232 x233 -x234 x235 x236 x237 -x238 x239 x240 1800.17/1800.83 v x241 x242 -x243 -x244 -x245 -x246 x247 x248 x249 -x250 -x251 x252 x253 x254 x255 -x256 x257 -x258 -x259 x260 x261 x262 -x263 1800.17/1800.83 v -x264 -x265 -x266 x267 x268 x269 -x270 x271 -x272 x273 x274 x275 x276 x277 x278 x279 -x280 x281 x282 x283 x284 x285 x286 x287 1800.17/1800.83 v x288 -x289 -x290 x291 x292 x293 -x294 x295 x296 -x297 -x298 -x299 x300 -x301 -x302 x303 x304 x305 x306 x307 x308 x309 x310 -x311 1800.17/1800.83 v x312 x313 x314 x315 x316 x317 -x318 x319 x320 -x321 x322 x323 x324 x325 x326 -x327 x328 x329 -x330 -x331 x332 x333 x334 x335 1800.17/1800.83 v x336 x337 -x338 x339 x340 -x341 -x342 x343 x344 x345 x346 x347 x348 x349 -x350 x351 -x352 -x353 x354 x355 x356 x357 x358 x359 1800.17/1800.83 v x360 -x361 x362 -x363 -x364 x365 x366 -x367 x368 x369 x370 x371 -x372 -x373 -x374 -x375 x376 -x377 x378 x379 -x380 x381 x382 1800.17/1800.83 v -x383 x384 x385 x386 -x387 -x388 x389 -x390 -x391 x392 x393 -x394 x395 x396 -x397 x398 -x399 -x400 x401 x402 x403 x404 x405 1800.17/1800.83 v x406 x407 -x408 x409 -x410 x411 x412 x413 x414 x415 x416 x417 -x418 x419 x420 x421 x422 -x423 x424 -x425 x426 x427 x428 x429 1800.17/1800.83 v x430 x431 x432 x433 -x434 x435 x436 x437 x438 x439 -x440 x441 x442 x443 x444 -x445 x446 x447 x448 x449 x450 x451 x452 x453 x454 1800.17/1800.83 v x455 x456 x457 x458 x459 x460 x461 x462 x463 x464 x465 1800.17/1800.83 1800.17/1800.83 c user time= 1799.67 s 1800.17/1800.83 c system time= 0.534918 s 1800.17/1800.83 c wall clock time=1800.83
OK 226
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node71/watcher-357075-1176853979 -o ROOT/results/node71/solver-357075-1176853979 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357075-1176853979/instance-357075-1176853979.opb mod Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.97 0.96 3/64 18480 /proc/meminfo: memFree=1796536/2055920 swapFree=4184232/4192956 [pid=18480] ppid=18478 vsize=1468 CPUtime=0 /proc/18480/stat : 18480 (oree) R 18478 18480 18378 0 -1 4194304 180 0 0 0 0 0 0 0 18 0 1 0 161387238 1503232 162 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18480/statm: 367 162 131 317 0 46 0 [startup+0.0998299 s] /proc/loadavg: 0.92 0.97 0.96 3/64 18480 /proc/meminfo: memFree=1796536/2055920 swapFree=4184232/4192956 [pid=18480] ppid=18478 vsize=2260 CPUtime=0.09 /proc/18480/stat : 18480 (oree) R 18478 18480 18378 0 -1 4194304 417 0 0 0 9 0 0 0 18 0 1 0 161387238 2314240 399 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596223 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18480/statm: 565 399 170 317 0 244 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2260 [startup+0.101829 s] /proc/loadavg: 0.92 0.97 0.96 3/64 18480 /proc/meminfo: memFree=1796536/2055920 swapFree=4184232/4192956 [pid=18480] ppid=18478 vsize=2260 CPUtime=0.09 /proc/18480/stat : 18480 (oree) R 18478 18480 18378 0 -1 4194304 421 0 0 0 9 0 0 0 18 0 1 0 161387238 2314240 403 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134717158 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18480/statm: 565 403 170 317 0 244 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2260 [startup+0.301856 s] /proc/loadavg: 0.92 0.97 0.96 3/64 18480 /proc/meminfo: memFree=1796536/2055920 swapFree=4184232/4192956 [pid=18480] ppid=18478 vsize=3568 CPUtime=0.29 /proc/18480/stat : 18480 (oree) R 18478 18480 18378 0 -1 4194304 747 0 0 0 29 0 0 0 19 0 1 0 161387238 3653632 729 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18480/statm: 892 729 170 317 0 571 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3568 [startup+0.701909 s] /proc/loadavg: 0.92 0.97 0.96 3/64 18480 /proc/meminfo: memFree=1796536/2055920 swapFree=4184232/4192956 [pid=18480] ppid=18478 vsize=5664 CPUtime=0.69 /proc/18480/stat : 18480 (oree) R 18478 18480 18378 0 -1 4194304 1271 0 0 0 69 0 0 0 23 0 1 0 161387238 5799936 1253 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272553 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18480/statm: 1416 1253 170 317 0 1095 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5664 [startup+1.50202 s] /proc/loadavg: 0.92 0.97 0.96 2/65 18481 /proc/meminfo: memFree=1791024/2055920 swapFree=4184232/4192956 [pid=18480] ppid=18478 vsize=9100 CPUtime=1.49 /proc/18480/stat : 18480 (oree) R 18478 18480 18378 0 -1 4194304 2126 0 0 0 149 0 0 0 25 0 1 0 161387238 9318400 2108 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18480/statm: 2275 2108 170 317 0 1954 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9100 [startup+3.10124 s] /proc/loadavg: 0.92 0.97 0.96 2/65 18481 /proc/meminfo: memFree=1786928/2055920 swapFree=4184232/4192956 [pid=18480] ppid=18478 vsize=12728 CPUtime=3.09 /proc/18480/stat : 18480 (oree) R 18478 18480 18378 0 -1 4194304 3036 0 0 0 308 1 0 0 25 0 1 0 161387238 13033472 3018 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18480/statm: 3182 3018 170 317 0 2861 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 12728 [startup+6.30267 s] /proc/loadavg: 0.93 0.97 0.96 2/65 18481 /proc/meminfo: memFree=1779376/2055920 swapFree=4184232/4192956 [pid=18480] ppid=18478 vsize=19596 CPUtime=6.29 /proc/18480/stat : 18480 (oree) R 18478 18480 18378 0 -1 4194304 4736 0 0 0 627 2 0 0 25 0 1 0 161387238 20066304 4718 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18480/statm: 4899 4718 170 317 0 4578 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 19596 [startup+12.7015 s] /proc/loadavg: 0.93 0.97 0.96 2/65 18481 /proc/meminfo: memFree=1769664/2055920 swapFree=4184232/4192956 [pid=18480] ppid=18478 vsize=29868 CPUtime=12.69 /proc/18480/stat : 18480 (oree) R 18478 18480 18378 0 -1 4194304 6996 0 0 0 1266 3 0 0 25 0 1 0 161387238 30584832 6978 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18480/statm: 7467 6978 170 317 0 7146 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 29868 [startup+25.5013 s] /proc/loadavg: 0.95 0.97 0.96 2/65 18481 /proc/meminfo: memFree=1758592/2055920 swapFree=4184232/4192956 [pid=18480] ppid=18478 vsize=39496 CPUtime=25.48 /proc/18480/stat : 18480 (oree) R 18478 18480 18378 0 -1 4194304 9633 0 0 0 2543 5 0 0 25 0 1 0 161387238 40443904 9615 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18480/statm: 9874 9615 170 317 0 9553 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 39496 [startup+51.1018 s] /proc/loadavg: 0.96 0.97 0.96 2/65 18481 /proc/meminfo: memFree=1741184/2055920 swapFree=4184232/4192956 [pid=18480] ppid=18478 vsize=59564 CPUtime=51.08 /proc/18480/stat : 18480 (oree) R 18478 18480 18378 0 -1 4194304 13990 0 0 0 5101 7 0 0 25 0 1 0 161387238 60993536 13972 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18480/statm: 14891 13972 170 317 0 14570 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 59564 [startup+102.306 s] /proc/loadavg: 0.98 0.97 0.96 2/65 18481 /proc/meminfo: memFree=1720448/2055920 swapFree=4184232/4192956 [pid=18480] ppid=18478 vsize=78240 CPUtime=102.26 /proc/18480/stat : 18480 (oree) R 18478 18480 18378 0 -1 4194304 19099 0 0 0 10216 10 0 0 25 0 1 0 161387238 80117760 19081 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18480/statm: 19560 19081 170 317 0 19239 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 78240 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.96 2/65 18481 /proc/meminfo: memFree=1695616/2055920 swapFree=4184232/4192956 [pid=18480] ppid=18478 vsize=109200 CPUtime=162.24 /proc/18480/stat : 18480 (oree) R 18478 18480 18378 0 -1 4194304 25367 0 0 0 16211 13 0 0 25 0 1 0 161387238 111820800 25291 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604263 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18480/statm: 27300 25291 170 317 0 26979 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 109200 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.96 2/65 18481 /proc/meminfo: memFree=1682176/2055920 swapFree=4184232/4192956 [pid=18480] ppid=18478 vsize=121612 CPUtime=222.22 /proc/18480/stat : 18480 (oree) R 18478 18480 18378 0 -1 4194304 28690 0 0 0 22206 16 0 0 25 0 1 0 161387238 124530688 28614 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18480/statm: 30403 28614 170 317 0 30082 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 121612 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.96 2/65 18481 /proc/meminfo: memFree=1669568/2055920 swapFree=4184232/4192956 [pid=18480] ppid=18478 vsize=133080 CPUtime=282.2 /proc/18480/stat : 18480 (oree) R 18478 18480 18378 0 -1 4194304 31852 0 0 0 28202 18 0 0 25 0 1 0 161387238 136273920 31776 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18480/statm: 33270 31776 170 317 0 32949 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 133080 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.96 2/65 18481 /proc/meminfo: memFree=1658048/2055920 swapFree=4184232/4192956 [pid=18480] ppid=18478 vsize=143536 CPUtime=342.19 /proc/18480/stat : 18480 (oree) R 18478 18480 18378 0 -1 4194304 34699 0 0 0 34198 21 0 0 25 0 1 0 161387238 146980864 34623 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18480/statm: 35884 34623 170 317 0 35563 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 143536 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.96 2/65 18481 /proc/meminfo: memFree=1647936/2055920 swapFree=4184232/4192956 [pid=18480] ppid=18478 vsize=153172 CPUtime=402.17 /proc/18480/stat : 18480 (oree) R 18478 18480 18378 0 -1 4194304 37238 0 0 0 40194 23 0 0 25 0 1 0 161387238 156848128 37162 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18480/statm: 38293 37162 170 317 0 37972 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 153172 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.96 2/65 18481 /proc/meminfo: memFree=1637952/2055920 swapFree=4184232/4192956 [pid=18480] ppid=18478 vsize=161988 CPUtime=462.16 /proc/18480/stat : 18480 (oree) R 18478 18480 18378 0 -1 4194304 39693 0 0 0 46191 25 0 0 25 0 1 0 161387238 165875712 39617 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18480/statm: 40497 39617 170 317 0 40176 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 161988 [startup+522.302 s] /proc/loadavg: 1.08 1.00 0.97 2/71 18651 /proc/meminfo: memFree=1627016/2055920 swapFree=4184232/4192956 [pid=18480] ppid=18478 vsize=170760 CPUtime=522.06 /proc/18480/stat : 18480 (oree) R 18478 18480 18378 0 -1 4194304 42114 0 0 0 52178 28 0 0 25 0 1 0 161387238 174858240 42038 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18480/statm: 42690 42038 170 317 0 42369 0 Current children cumulated CPU time (s) 522.06 Current children cumulated vsize (KiB) 170760 [startup+582.301 s] /proc/loadavg: 1.03 1.00 0.97 2/65 18679 /proc/meminfo: memFree=1612224/2055920 swapFree=4184232/4192956 [pid=18480] ppid=18478 vsize=206704 CPUtime=582.02 /proc/18480/stat : 18480 (oree) R 18478 18480 18378 0 -1 4194304 49739 0 0 0 58171 31 0 0 25 0 1 0 161387238 211664896 45985 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18480/statm: 51676 45985 170 317 0 51355 0 Current children cumulated CPU time (s) 582.02 Current children cumulated vsize (KiB) 206704 [startup+642.301 s] /proc/loadavg: 1.01 1.00 0.97 2/65 18679 /proc/meminfo: memFree=1602816/2055920 swapFree=4184232/4192956 [pid=18480] ppid=18478 vsize=215400 CPUtime=642.02 /proc/18480/stat : 18480 (oree) R 18478 18480 18378 0 -1 4194304 52089 0 0 0 64169 33 0 0 25 0 1 0 161387238 220569600 48335 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18480/statm: 53850 48335 170 317 0 53529 0 Current children cumulated CPU time (s) 642.02 Current children cumulated vsize (KiB) 215400 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 0.97 2/65 18679 /proc/meminfo: memFree=1569984/2055920 swapFree=4184232/4192956 [pid=18480] ppid=18478 vsize=244068 CPUtime=881.94 /proc/18480/stat : 18480 (oree) R 18478 18480 18378 0 -1 4194304 60280 0 0 0 88156 38 0 0 25 0 1 0 161387238 249925632 56526 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18480/statm: 61017 56526 170 317 0 60696 0 Current children cumulated CPU time (s) 881.94 Current children cumulated vsize (KiB) 244068 [startup+942.301 s] /proc/loadavg: 1.00 1.00 0.97 2/65 18679 /proc/meminfo: memFree=1563008/2055920 swapFree=4184232/4192956 [pid=18480] ppid=18478 vsize=250644 CPUtime=941.92 /proc/18480/stat : 18480 (oree) R 18478 18480 18378 0 -1 4194304 62082 0 0 0 94153 39 0 0 25 0 1 0 161387238 256659456 58295 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18480/statm: 62661 58295 170 317 0 62340 0 Current children cumulated CPU time (s) 941.92 Current children cumulated vsize (KiB) 250644 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.97 2/65 18679 /proc/meminfo: memFree=1555392/2055920 swapFree=4184232/4192956 [pid=18480] ppid=18478 vsize=257204 CPUtime=1001.9 /proc/18480/stat : 18480 (oree) R 18478 18480 18378 0 -1 4194304 64059 0 0 0 100150 40 0 0 25 0 1 0 161387238 263376896 60173 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711091 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18480/statm: 64301 60173 170 317 0 63980 0 Current children cumulated CPU time (s) 1001.9 Current children cumulated vsize (KiB) 257204 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.97 2/65 18679 /proc/meminfo: memFree=1548800/2055920 swapFree=4184232/4192956 [pid=18480] ppid=18478 vsize=263128 CPUtime=1061.88 /proc/18480/stat : 18480 (oree) R 18478 18480 18378 0 -1 4194304 65707 0 0 0 106147 41 0 0 25 0 1 0 161387238 269443072 61821 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18480/statm: 65782 61821 170 317 0 65461 0 Current children cumulated CPU time (s) 1061.88 Current children cumulated vsize (KiB) 263128 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.97 2/65 18679 /proc/meminfo: memFree=1542272/2055920 swapFree=4184232/4192956 [pid=18480] ppid=18478 vsize=269032 CPUtime=1121.86 /proc/18480/stat : 18480 (oree) R 18478 18480 18378 0 -1 4194304 67345 0 0 0 112143 43 0 0 25 0 1 0 161387238 275488768 63459 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18480/statm: 67258 63459 170 317 0 66937 0 Current children cumulated CPU time (s) 1121.86 Current children cumulated vsize (KiB) 269032 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.97 2/65 18679 /proc/meminfo: memFree=1535360/2055920 swapFree=4184232/4192956 [pid=18480] ppid=18478 vsize=274540 CPUtime=1181.85 /proc/18480/stat : 18480 (oree) R 18478 18480 18378 0 -1 4194304 69079 0 0 0 118141 44 0 0 25 0 1 0 161387238 281128960 65193 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18480/statm: 68635 65193 170 317 0 68314 0 Current children cumulated CPU time (s) 1181.85 Current children cumulated vsize (KiB) 274540 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.97 2/65 18679 /proc/meminfo: memFree=1529600/2055920 swapFree=4184232/4192956 [pid=18480] ppid=18478 vsize=279644 CPUtime=1241.83 /proc/18480/stat : 18480 (oree) R 18478 18480 18378 0 -1 4194304 70521 0 0 0 124138 45 0 0 25 0 1 0 161387238 286355456 66635 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18480/statm: 69911 66635 170 317 0 69590 0 Current children cumulated CPU time (s) 1241.83 Current children cumulated vsize (KiB) 279644 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.97 2/65 18679 /proc/meminfo: memFree=1523712/2055920 swapFree=4184232/4192956 [pid=18480] ppid=18478 vsize=284912 CPUtime=1301.82 /proc/18480/stat : 18480 (oree) R 18478 18480 18378 0 -1 4194304 72007 0 0 0 130136 46 0 0 25 0 1 0 161387238 291749888 68088 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18480/statm: 71228 68088 170 317 0 70907 0 Current children cumulated CPU time (s) 1301.82 Current children cumulated vsize (KiB) 284912 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.97 2/65 18679 /proc/meminfo: memFree=1518080/2055920 swapFree=4184232/4192956 [pid=18480] ppid=18478 vsize=290084 CPUtime=1361.79 /proc/18480/stat : 18480 (oree) R 18478 18480 18378 0 -1 4194304 73416 0 0 0 136132 47 0 0 25 0 1 0 161387238 297046016 69497 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18480/statm: 72521 69497 170 317 0 72200 0 Current children cumulated CPU time (s) 1361.79 Current children cumulated vsize (KiB) 290084 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.97 2/65 18679 /proc/meminfo: memFree=1512512/2055920 swapFree=4184232/4192956 [pid=18480] ppid=18478 vsize=294836 CPUtime=1421.78 /proc/18480/stat : 18480 (oree) R 18478 18480 18378 0 -1 4194304 74787 0 0 0 142130 48 0 0 25 0 1 0 161387238 301912064 70868 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18480/statm: 73709 70868 170 317 0 73388 0 Current children cumulated CPU time (s) 1421.78 Current children cumulated vsize (KiB) 294836 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.97 2/65 18679 /proc/meminfo: memFree=1506944/2055920 swapFree=4184232/4192956 [pid=18480] ppid=18478 vsize=300184 CPUtime=1481.76 /proc/18480/stat : 18480 (oree) R 18478 18480 18378 0 -1 4194304 76295 0 0 0 148127 49 0 0 25 0 1 0 161387238 307388416 72244 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18480/statm: 75046 72244 170 317 0 74725 0 Current children cumulated CPU time (s) 1481.76 Current children cumulated vsize (KiB) 300184 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.97 2/65 18679 /proc/meminfo: memFree=1501696/2055920 swapFree=4184232/4192956 [pid=18480] ppid=18478 vsize=304912 CPUtime=1541.74 /proc/18480/stat : 18480 (oree) R 18478 18480 18378 0 -1 4194304 77616 0 0 0 154124 50 0 0 25 0 1 0 161387238 312229888 73565 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18480/statm: 76228 73565 170 317 0 75907 0 Current children cumulated CPU time (s) 1541.74 Current children cumulated vsize (KiB) 304912 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.97 2/65 18679 /proc/meminfo: memFree=1496576/2055920 swapFree=4184232/4192956 [pid=18480] ppid=18478 vsize=309368 CPUtime=1601.72 /proc/18480/stat : 18480 (oree) R 18478 18480 18378 0 -1 4194304 78888 0 0 0 160122 50 0 0 25 0 1 0 161387238 316792832 74837 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18480/statm: 77342 74837 170 317 0 77021 0 Current children cumulated CPU time (s) 1601.72 Current children cumulated vsize (KiB) 309368 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.97 2/65 18679 /proc/meminfo: memFree=1491456/2055920 swapFree=4184232/4192956 [pid=18480] ppid=18478 vsize=313712 CPUtime=1661.7 /proc/18480/stat : 18480 (oree) R 18478 18480 18378 0 -1 4194304 80174 0 0 0 166119 51 0 0 25 0 1 0 161387238 321241088 76123 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18480/statm: 78428 76123 170 317 0 78107 0 Current children cumulated CPU time (s) 1661.7 Current children cumulated vsize (KiB) 313712 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.97 2/65 18679 /proc/meminfo: memFree=1486400/2055920 swapFree=4184232/4192956 [pid=18480] ppid=18478 vsize=318044 CPUtime=1721.69 /proc/18480/stat : 18480 (oree) R 18478 18480 18378 0 -1 4194304 81438 0 0 0 172117 52 0 0 25 0 1 0 161387238 325677056 77387 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18480/statm: 79511 77387 170 317 0 79190 0 Current children cumulated CPU time (s) 1721.69 Current children cumulated vsize (KiB) 318044 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.97 2/65 18679 /proc/meminfo: memFree=1480896/2055920 swapFree=4184232/4192956 [pid=18480] ppid=18478 vsize=322760 CPUtime=1781.67 /proc/18480/stat : 18480 (oree) R 18478 18480 18378 0 -1 4194304 82799 0 0 0 178114 53 0 0 25 0 1 0 161387238 330506240 78748 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564083 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18480/statm: 80690 78748 170 317 0 80369 0 Current children cumulated CPU time (s) 1781.67 Current children cumulated vsize (KiB) 322760 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 0.97 2/65 18679 /proc/meminfo: memFree=1479232/2055920 swapFree=4184232/4192956 [pid=18480] ppid=18478 vsize=324328 CPUtime=1800.07 /proc/18480/stat : 18480 (oree) R 18478 18480 18378 0 -1 4194304 83202 0 0 0 179954 53 0 0 25 0 1 0 161387238 332111872 79151 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18480/statm: 81082 79151 170 317 0 80761 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 324328 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.81 s] /proc/loadavg: 1.00 1.00 0.97 2/65 18679 /proc/meminfo: memFree=1479232/2055920 swapFree=4184232/4192956 [pid=18480] ppid=18478 vsize=324328 CPUtime=1800.17 /proc/18480/stat : 18480 (oree) R 18478 18480 18378 0 -1 4194304 83205 0 0 0 179964 53 0 0 25 0 1 0 161387238 332111872 79154 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18480/statm: 81082 79154 170 317 0 80761 0 Current children cumulated CPU time (s) 1800.17 Current children cumulated vsize (KiB) 324328 Child status: 0 Real time (s): 1800.9 CPU time (s): 1800.27 CPU user time (s): 1799.68 CPU system time (s): 0.58891 CPU usage (%): 99.965 Max. virtual memory (cumulated for all children) (KiB): 324328 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.68 system time used= 0.58891 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 83221 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= 3042 runsolver used 1.23181 second user time and 3.76443 second system time The end
Begin job on node71 on Tue Apr 17 23:52:59 UTC 2007 IDJOB= 357075 IDBENCH= 1960 IDSOLVER= 172 FILE ID= node71/357075-1176853979 PBS_JOBID= 4590239 Free space on /tmp= 66502 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_12.opb.PB06.opb COMMAND LINE= oree /tmp/evaluation/357075-1176853979/instance-357075-1176853979.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node71/watcher-357075-1176853979 -o ROOT/results/node71/solver-357075-1176853979 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357075-1176853979/instance-357075-1176853979.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 008a49e8cb0d34e0becb5a5e15efaa2a RANDOM SEED= 54781367 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node71.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.234 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.234 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: 1797008 kB Buffers: 20836 kB Cached: 174544 kB SwapCached: 2772 kB Active: 55760 kB Inactive: 149284 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1797008 kB SwapTotal: 4192956 kB SwapFree: 4184232 kB Dirty: 1340 kB Writeback: 0 kB Mapped: 15728 kB Slab: 39916 kB Committed_AS: 2502388 kB PageTables: 1448 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= 66502 MiB End job on node71 on Wed Apr 18 00:23:02 UTC 2007