Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | SAT (TO) | 220 | 1800.29 | 1801.03 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_22.opb.PB06.opb |
MD5SUM | a65a3b6248e07fcc15fb8d2bec9ac9bd |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 182 |
Best CPU time to get the best result obtained on this benchmark | 1800.08 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 182 |
Optimality of the best value was proved | NO |
Number of variables | 470 |
Total number of constraints | 470 |
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 | 470 |
Minimum length of a constraint | 4 |
Maximum length of a constraint | 20 |
Number of terms in the objective function | 470 |
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 | 470 |
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 | 470 |
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=470 #constraints=471 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=246 #constraints=471 0.00/0.02 c linear search for optimum 0.00/0.02 o 224 0.03/0.07 c restart after 401 decisions 0.03/0.08 c nbDecision=500 #constraints=505 0.10/0.14 c restart after 801 decisions 0.10/0.15 c nbDecision=1000 #constraints=541 0.19/0.27 c nbDecision=1318 #constraints=605 0.19/0.27 o 223 0.19/0.27 c nbDecision=1346 #constraints=610 0.19/0.27 o 222 0.29/0.33 c nbDecision=1500 #constraints=643 0.29/0.37 c restart after 1601 decisions 0.39/0.46 c nbDecision=2000 #constraints=698 0.69/0.73 c nbDecision=2500 #constraints=822 0.89/0.96 c nbDecision=3000 #constraints=913 0.99/1.07 c restart after 3201 decisions 1.09/1.17 c nbDecision=3500 #constraints=961 1.49/1.54 c nbDecision=4000 #constraints=1078 1.89/1.90 c nbDecision=4500 #constraints=1178 2.38/2.46 c nbDecision=5000 #constraints=1349 2.89/2.96 c nbDecision=5500 #constraints=1509 2.89/3.00 c nbDecision=5548 #constraints=1513 2.89/3.00 o 221 3.39/3.46 c nbDecision=6000 #constraints=1601 3.79/3.87 c restart after 6401 decisions 3.99/4.01 c nbDecision=6500 #constraints=1702 4.39/4.46 c nbDecision=7000 #constraints=1764 4.99/5.02 c nbDecision=7500 #constraints=1849 5.59/5.64 c nbDecision=8000 #constraints=1958 6.19/6.29 c nbDecision=8500 #constraints=2053 6.99/7.08 c nbDecision=9000 #constraints=2200 7.99/8.05 c nbDecision=9500 #constraints=2370 9.09/9.10 c nbDecision=10000 #constraints=2514 10.08/10.17 c nbDecision=10500 #constraints=2645 11.38/11.49 c nbDecision=11000 #constraints=2823 12.59/12.60 c nbDecision=11500 #constraints=2944 13.68/13.77 c nbDecision=12000 #constraints=3065 14.78/14.81 c nbDecision=12500 #constraints=3153 15.39/15.45 c restart after 12801 decisions 15.98/16.05 c nbDecision=13000 #constraints=3203 17.09/17.14 c nbDecision=13500 #constraints=3286 18.28/18.39 c nbDecision=14000 #constraints=3398 19.69/19.74 c nbDecision=14500 #constraints=3519 21.58/21.61 c nbDecision=15000 #constraints=3701 23.48/23.57 c nbDecision=15500 #constraints=3857 24.99/25.09 c nbDecision=16000 #constraints=3960 27.18/27.25 c nbDecision=16500 #constraints=4129 29.38/29.43 c nbDecision=17000 #constraints=4291 31.17/31.23 c nbDecision=17500 #constraints=4391 32.89/32.95 c nbDecision=18000 #constraints=4503 34.48/34.51 c nbDecision=18500 #constraints=4584 36.07/36.18 c nbDecision=19000 #constraints=4675 37.97/38.09 c nbDecision=19500 #constraints=4788 40.18/40.26 c nbDecision=20000 #constraints=4923 42.78/42.88 c nbDecision=20500 #constraints=5087 45.67/45.79 c nbDecision=21000 #constraints=5249 48.17/48.28 c nbDecision=21500 #constraints=5375 51.17/51.21 c nbDecision=22000 #constraints=5538 53.87/53.99 c nbDecision=22500 #constraints=5679 56.26/56.40 c nbDecision=23000 #constraints=5782 58.67/58.74 c nbDecision=23500 #constraints=5888 60.87/60.92 c nbDecision=24000 #constraints=5974 63.07/63.16 c nbDecision=24500 #constraints=6067 65.56/65.69 c nbDecision=25000 #constraints=6175 68.66/68.78 c nbDecision=25500 #constraints=6318 69.27/69.37 c restart after 25601 decisions 72.16/72.21 c nbDecision=26000 #constraints=6408 75.26/75.37 c nbDecision=26500 #constraints=6554 77.97/78.05 c nbDecision=27000 #constraints=6678 80.76/80.89 c nbDecision=27500 #constraints=6809 84.06/84.13 c nbDecision=28000 #constraints=6952 86.87/86.98 c nbDecision=28500 #constraints=7074 89.86/89.95 c nbDecision=29000 #constraints=7201 94.46/94.59 c nbDecision=29500 #constraints=7368 97.65/97.73 c nbDecision=30000 #constraints=7476 101.75/101.81 c nbDecision=30500 #constraints=7625 106.45/106.52 c nbDecision=31000 #constraints=7809 109.96/110.07 c nbDecision=31500 #constraints=7907 113.25/113.34 c nbDecision=32000 #constraints=8020 116.25/116.34 c nbDecision=32500 #constraints=8107 119.45/119.58 c nbDecision=33000 #constraints=8194 122.84/122.98 c nbDecision=33500 #constraints=8306 126.14/126.28 c nbDecision=34000 #constraints=8407 131.44/131.55 c nbDecision=34500 #constraints=8598 136.64/136.73 c nbDecision=35000 #constraints=8765 140.23/140.33 c nbDecision=35500 #constraints=8867 145.23/145.40 c nbDecision=36000 #constraints=9030 150.54/150.68 c nbDecision=36500 #constraints=9199 154.63/154.72 c nbDecision=37000 #constraints=9295 158.43/158.58 c nbDecision=37500 #constraints=9409 161.93/162.00 c nbDecision=38000 #constraints=9492 165.63/165.79 c nbDecision=38500 #constraints=9583 169.63/169.76 c nbDecision=39000 #constraints=9693 174.13/174.28 c nbDecision=39500 #constraints=9824 179.92/180.07 c nbDecision=40000 #constraints=9997 185.72/185.84 c nbDecision=40500 #constraints=10152 190.42/190.57 c nbDecision=41000 #constraints=10267 196.32/196.45 c nbDecision=41500 #constraints=10434 201.92/202.09 c nbDecision=42000 #constraints=10584 206.81/206.97 c nbDecision=42500 #constraints=10690 211.31/211.42 c nbDecision=43000 #constraints=10798 215.32/215.50 c nbDecision=43500 #constraints=10884 219.51/219.62 c nbDecision=44000 #constraints=10974 224.10/224.24 c nbDecision=44500 #constraints=11083 229.71/229.85 c nbDecision=45000 #constraints=11226 236.01/236.19 c nbDecision=45500 #constraints=11388 242.60/242.74 c nbDecision=46000 #constraints=11544 248.50/248.69 c nbDecision=46500 #constraints=11674 255.19/255.31 c nbDecision=47000 #constraints=11839 261.20/261.37 c nbDecision=47500 #constraints=11974 266.59/266.70 c nbDecision=48000 #constraints=12079 271.69/271.80 c nbDecision=48500 #constraints=12184 276.29/276.41 c nbDecision=49000 #constraints=12269 281.18/281.35 c nbDecision=49500 #constraints=12370 286.19/286.30 c nbDecision=50000 #constraints=12470 292.68/292.85 c nbDecision=50500 #constraints=12618 299.58/299.76 c nbDecision=51000 #constraints=12772 302.07/302.26 c restart after 51201 decisions 306.47/306.61 c nbDecision=51500 #constraints=12856 311.87/312.06 c nbDecision=52000 #constraints=12979 317.48/317.62 c nbDecision=52500 #constraints=13106 323.87/324.03 c nbDecision=53000 #constraints=13246 329.56/329.77 c nbDecision=53500 #constraints=13372 335.37/335.58 c nbDecision=54000 #constraints=13500 342.97/343.16 c nbDecision=54500 #constraints=13636 349.66/349.82 c nbDecision=55000 #constraints=13762 355.26/355.40 c nbDecision=55500 #constraints=13860 361.95/362.14 c nbDecision=56000 #constraints=14000 370.95/371.10 c nbDecision=56500 #constraints=14181 376.85/377.09 c nbDecision=57000 #constraints=14299 382.14/382.39 c nbDecision=57500 #constraints=14384 388.15/388.30 c nbDecision=58000 #constraints=14483 393.55/393.79 c nbDecision=58500 #constraints=14579 398.44/398.67 c nbDecision=59000 #constraints=14650 403.74/403.90 c nbDecision=59500 #constraints=14721 409.24/409.46 c nbDecision=60000 #constraints=14815 414.24/414.41 c nbDecision=60500 #constraints=14903 420.54/420.71 c nbDecision=61000 #constraints=15012 428.83/429.02 c nbDecision=61500 #constraints=15171 438.03/438.25 c nbDecision=62000 #constraints=15343 445.93/446.10 c nbDecision=62500 #constraints=15474 451.93/452.13 c nbDecision=63000 #constraints=15570 458.82/459.02 c nbDecision=63500 #constraints=15689 469.52/469.79 c nbDecision=64000 #constraints=15887 476.61/476.81 c nbDecision=64500 #constraints=16011 482.51/482.79 c nbDecision=65000 #constraints=16098 489.11/489.38 c nbDecision=65500 #constraints=16184 495.51/495.77 c nbDecision=66000 #constraints=16294 500.80/501.02 c nbDecision=66500 #constraints=16366 506.60/506.84 c nbDecision=67000 #constraints=16438 512.50/512.74 c nbDecision=67500 #constraints=16523 518.50/518.74 c nbDecision=68000 #constraints=16617 524.41/524.68 c nbDecision=68500 #constraints=16708 533.49/533.76 c nbDecision=69000 #constraints=16861 544.49/544.79 c nbDecision=69500 #constraints=17050 551.69/551.93 c nbDecision=70000 #constraints=17154 559.19/559.42 c nbDecision=70500 #constraints=17272 567.58/567.89 c nbDecision=71000 #constraints=17396 577.88/578.12 c nbDecision=71500 #constraints=17570 586.97/587.29 c nbDecision=72000 #constraints=17722 593.47/593.73 c nbDecision=72500 #constraints=17808 600.28/600.55 c nbDecision=73000 #constraints=17894 607.77/608.08 c nbDecision=73500 #constraints=18008 613.47/613.75 c nbDecision=74000 #constraints=18080 619.66/619.99 c nbDecision=74500 #constraints=18154 626.06/626.39 c nbDecision=75000 #constraints=18233 632.76/633.06 c nbDecision=75500 #constraints=18327 638.45/638.74 c nbDecision=76000 #constraints=18411 648.15/648.47 c nbDecision=76500 #constraints=18555 659.65/659.96 c nbDecision=77000 #constraints=18737 668.15/668.41 c nbDecision=77500 #constraints=18856 677.34/677.66 c nbDecision=78000 #constraints=18982 685.14/685.46 c nbDecision=78500 #constraints=19083 696.04/696.30 c nbDecision=79000 #constraints=19243 707.03/707.38 c nbDecision=79500 #constraints=19408 715.23/715.52 c nbDecision=80000 #constraints=19520 722.32/722.63 c nbDecision=80500 #constraints=19604 730.43/730.76 c nbDecision=81000 #constraints=19711 737.42/737.77 c nbDecision=81500 #constraints=19795 743.72/744.02 c nbDecision=82000 #constraints=19865 750.81/751.12 c nbDecision=82500 #constraints=19940 758.11/758.46 c nbDecision=83000 #constraints=20036 764.61/764.95 c nbDecision=83500 #constraints=20123 773.51/773.82 c nbDecision=84000 #constraints=20237 785.30/785.65 c nbDecision=84500 #constraints=20406 796.39/796.73 c nbDecision=85000 #constraints=20558 804.50/804.86 c nbDecision=85500 #constraints=20669 813.99/814.32 c nbDecision=86000 #constraints=20798 822.49/822.81 c nbDecision=86500 #constraints=20916 832.08/832.45 c nbDecision=87000 #constraints=21043 840.68/841.06 c nbDecision=87500 #constraints=21160 850.28/850.68 c nbDecision=88000 #constraints=21287 859.18/859.54 c nbDecision=88500 #constraints=21404 870.97/871.38 c nbDecision=89000 #constraints=21542 880.27/880.68 c nbDecision=89500 #constraints=21649 889.96/890.30 c nbDecision=90000 #constraints=21766 900.16/900.54 c nbDecision=90500 #constraints=21887 913.85/914.30 c nbDecision=91000 #constraints=22070 924.85/925.27 c nbDecision=91500 #constraints=22213 933.05/933.46 c nbDecision=92000 #constraints=22301 941.63/942.07 c nbDecision=92500 #constraints=22388 950.72/951.14 c nbDecision=93000 #constraints=22497 957.90/958.37 c nbDecision=93500 #constraints=22571 965.58/966.01 c nbDecision=94000 #constraints=22643 973.47/973.98 c nbDecision=94500 #constraints=22724 981.66/982.18 c nbDecision=95000 #constraints=22818 989.16/989.68 c nbDecision=95500 #constraints=22906 1001.54/1002.00 c nbDecision=96000 #constraints=23056 1015.33/1015.86 c nbDecision=96500 #constraints=23227 1026.23/1026.76 c nbDecision=97000 #constraints=23351 1037.32/1037.82 c nbDecision=97500 #constraints=23473 1047.33/1047.82 c nbDecision=98000 #constraints=23578 1061.52/1062.08 c nbDecision=98500 #constraints=23749 1074.31/1074.89 c nbDecision=99000 #constraints=23903 1084.21/1084.75 c nbDecision=99500 #constraints=24010 1093.21/1093.76 c nbDecision=100000 #constraints=24097 1103.90/1104.49 c nbDecision=100500 #constraints=24214 1111.50/1112.07 c nbDecision=101000 #constraints=24286 1119.50/1120.05 c nbDecision=101500 #constraints=24359 1128.10/1128.65 c nbDecision=102000 #constraints=24436 1135.19/1135.78 c restart after 102401 decisions 1139.59/1140.15 c nbDecision=102500 #constraints=24511 1147.69/1148.22 c nbDecision=103000 #constraints=24578 1156.28/1156.81 c nbDecision=103500 #constraints=24667 1170.18/1170.75 c nbDecision=104000 #constraints=24826 1186.47/1187.09 c nbDecision=104500 #constraints=25012 1197.27/1197.90 c nbDecision=105000 #constraints=25119 1208.36/1208.96 c nbDecision=105500 #constraints=25233 1220.56/1221.17 c nbDecision=106000 #constraints=25357 1236.76/1237.33 c nbDecision=106500 #constraints=25540 1249.55/1250.15 c nbDecision=107000 #constraints=25683 1258.95/1259.55 c nbDecision=107500 #constraints=25771 1268.95/1269.51 c nbDecision=108000 #constraints=25858 1279.34/1279.99 c nbDecision=108500 #constraints=25967 1287.74/1288.34 c nbDecision=109000 #constraints=26041 1296.43/1297.08 c nbDecision=109500 #constraints=26113 1305.63/1306.25 c nbDecision=110000 #constraints=26194 1315.03/1315.69 c nbDecision=110500 #constraints=26288 1323.62/1324.28 c nbDecision=111000 #constraints=26376 1337.92/1338.56 c nbDecision=111500 #constraints=26526 1354.01/1354.69 c nbDecision=112000 #constraints=26697 1366.30/1366.90 c nbDecision=112500 #constraints=26817 1379.40/1380.08 c nbDecision=113000 #constraints=26943 1391.00/1391.64 c nbDecision=113500 #constraints=27048 1407.39/1408.02 c nbDecision=114000 #constraints=27217 1421.99/1422.69 c nbDecision=114500 #constraints=27369 1433.69/1434.31 c nbDecision=115000 #constraints=27480 1443.68/1444.35 c nbDecision=115500 #constraints=27565 1456.17/1456.84 c nbDecision=116000 #constraints=27683 1464.87/1465.53 c nbDecision=116500 #constraints=27756 1473.97/1474.65 c nbDecision=117000 #constraints=27829 1483.57/1484.26 c nbDecision=117500 #constraints=27904 1493.76/1494.48 c nbDecision=118000 #constraints=27999 1502.55/1503.23 c nbDecision=118500 #constraints=28084 1515.36/1516.07 c nbDecision=119000 #constraints=28202 1533.05/1533.79 c nbDecision=119500 #constraints=28381 1547.54/1548.29 c nbDecision=120000 #constraints=28521 1558.64/1559.37 c nbDecision=120500 #constraints=28632 1572.23/1572.91 c nbDecision=121000 #constraints=28765 1583.72/1584.41 c nbDecision=121500 #constraints=28878 1597.12/1597.80 c nbDecision=122000 #constraints=29005 1609.02/1609.78 c nbDecision=122500 #constraints=29125 1622.31/1623.09 c nbDecision=123000 #constraints=29252 1634.31/1635.09 c nbDecision=123500 #constraints=29367 1650.80/1651.56 c nbDecision=124000 #constraints=29496 1670.39/1671.12 c nbDecision=124500 #constraints=29656 1684.40/1685.19 c nbDecision=125000 #constraints=29764 1706.18/1706.97 c nbDecision=125500 #constraints=29955 1724.47/1725.27 c nbDecision=126000 #constraints=30129 1737.28/1738.04 c nbDecision=126335 #constraints=30247 1737.28/1738.04 o 220 1743.07/1743.89 c nbDecision=126500 #constraints=30288 1762.57/1763.37 c nbDecision=127000 #constraints=30445 1775.76/1776.58 c nbDecision=127500 #constraints=30542 1796.25/1797.01 c nbDecision=128000 #constraints=30733 1800.05/1800.80 Received signal 15 1800.15/1800.96 1800.15/1800.96 s SATISFIABLE 1800.15/1800.96 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.15/1800.96 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.15/1800.96 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.15/1800.96 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 1800.15/1800.96 v -x106 -x107 x108 x109 -x110 x111 -x112 -x113 -x114 x115 x116 -x117 x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 x126 -x127 1800.15/1800.96 v -x128 x129 x130 -x131 -x132 x133 x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 x142 -x143 -x144 -x145 x146 -x147 x148 -x149 1800.15/1800.96 v -x150 -x151 x152 x153 -x154 -x155 x156 x157 -x158 x159 -x160 -x161 -x162 x163 -x164 -x165 -x166 x167 x168 -x169 -x170 -x171 1800.15/1800.96 v -x172 -x173 -x174 -x175 -x176 x177 -x178 x179 x180 -x181 -x182 -x183 x184 -x185 -x186 x187 x188 -x189 x190 x191 -x192 -x193 1800.15/1800.96 v -x194 -x195 -x196 -x197 -x198 -x199 x200 -x201 -x202 x203 -x204 x205 -x206 x207 -x208 x209 x210 -x211 x212 -x213 -x214 -x215 1800.15/1800.96 v -x216 -x217 -x218 x219 x220 -x221 x222 -x223 x224 x225 -x226 -x227 -x228 -x229 x230 -x231 x232 -x233 -x234 x235 -x236 x237 1800.15/1800.96 v -x238 -x239 x240 -x241 x242 x243 x244 x245 -x246 x247 x248 -x249 x250 x251 x252 x253 x254 -x255 x256 x257 x258 -x259 x260 -x261 1800.15/1800.96 v x262 -x263 -x264 x265 -x266 x267 -x268 -x269 x270 -x271 x272 -x273 x274 x275 -x276 x277 -x278 x279 x280 x281 x282 -x283 -x284 1800.15/1800.96 v x285 -x286 x287 x288 -x289 -x290 x291 x292 -x293 x294 x295 -x296 x297 x298 -x299 x300 x301 x302 x303 -x304 -x305 x306 x307 x308 1800.15/1800.96 v x309 x310 x311 -x312 x313 x314 x315 x316 -x317 x318 x319 -x320 x321 x322 x323 x324 -x325 x326 x327 -x328 x329 x330 x331 x332 1800.15/1800.96 v x333 x334 x335 x336 x337 -x338 x339 x340 -x341 -x342 x343 x344 -x345 x346 x347 x348 x349 x350 x351 x352 x353 x354 x355 x356 x357 1800.15/1800.96 v -x358 -x359 -x360 -x361 x362 -x363 x364 x365 x366 x367 -x368 -x369 x370 -x371 -x372 x373 x374 x375 x376 x377 x378 x379 -x380 1800.15/1800.96 v x381 x382 x383 x384 x385 x386 -x387 -x388 x389 x390 x391 x392 x393 x394 x395 x396 x397 x398 -x399 -x400 x401 -x402 x403 x404 1800.15/1800.96 v x405 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.15/1800.96 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 1800.15/1800.96 v x454 x455 x456 x457 -x458 x459 -x460 x461 x462 -x463 x464 x465 x466 x467 x468 x469 x470 1800.15/1800.96 1800.15/1800.96 c user time= 1799.69 s 1800.15/1800.96 c system time= 0.535918 s 1800.15/1800.96 c wall clock time=1800.96
OK 220
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node59/watcher-357063-1176853523 -o ROOT/results/node59/solver-357063-1176853523 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357063-1176853523/instance-357063-1176853523.opb mod Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.91 0.95 0.91 3/64 30767 /proc/meminfo: memFree=1831424/2055920 swapFree=4184740/4192956 [pid=30767] ppid=30765 vsize=1468 CPUtime=0 /proc/30767/stat : 30767 (oree) R 30765 30767 30425 0 -1 4194304 181 0 0 0 0 0 0 0 18 0 1 0 133261919 1503232 163 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30767/statm: 367 163 131 317 0 46 0 [startup+0.0316841 s] /proc/loadavg: 0.91 0.95 0.91 3/64 30767 /proc/meminfo: memFree=1831424/2055920 swapFree=4184740/4192956 [pid=30767] ppid=30765 vsize=1884 CPUtime=0.03 /proc/30767/stat : 30767 (oree) R 30765 30767 30425 0 -1 4194304 311 0 0 0 3 0 0 0 18 0 1 0 133261919 1929216 293 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30767/statm: 471 293 170 317 0 150 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 1884 [startup+0.101683 s] /proc/loadavg: 0.91 0.95 0.91 3/64 30767 /proc/meminfo: memFree=1831424/2055920 swapFree=4184740/4192956 [pid=30767] ppid=30765 vsize=2276 CPUtime=0.1 /proc/30767/stat : 30767 (oree) R 30765 30767 30425 0 -1 4194304 427 0 0 0 10 0 0 0 18 0 1 0 133261919 2330624 409 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30767/statm: 569 409 170 317 0 248 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 2276 [startup+0.301721 s] /proc/loadavg: 0.91 0.95 0.91 3/64 30767 /proc/meminfo: memFree=1831424/2055920 swapFree=4184740/4192956 [pid=30767] ppid=30765 vsize=3592 CPUtime=0.29 /proc/30767/stat : 30767 (oree) R 30765 30767 30425 0 -1 4194304 748 0 0 0 29 0 0 0 19 0 1 0 133261919 3678208 730 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30767/statm: 898 730 170 317 0 577 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3592 [startup+0.701796 s] /proc/loadavg: 0.91 0.95 0.91 3/64 30767 /proc/meminfo: memFree=1831424/2055920 swapFree=4184740/4192956 [pid=30767] ppid=30765 vsize=5724 CPUtime=0.69 /proc/30767/stat : 30767 (oree) R 30765 30767 30425 0 -1 4194304 1264 0 0 0 69 0 0 0 22 0 1 0 133261919 5861376 1246 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30767/statm: 1431 1246 170 317 0 1110 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5724 [startup+1.50195 s] /proc/loadavg: 0.91 0.95 0.91 2/65 30768 /proc/meminfo: memFree=1826040/2055920 swapFree=4184740/4192956 [pid=30767] ppid=30765 vsize=8780 CPUtime=1.49 /proc/30767/stat : 30767 (oree) R 30765 30767 30425 0 -1 4194304 2050 0 0 0 149 0 0 0 25 0 1 0 133261919 8990720 2032 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30767/statm: 2195 2032 170 317 0 1874 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8780 [startup+3.10125 s] /proc/loadavg: 0.91 0.95 0.91 2/65 30768 /proc/meminfo: memFree=1822264/2055920 swapFree=4184740/4192956 [pid=30767] ppid=30765 vsize=14712 CPUtime=3.09 /proc/30767/stat : 30767 (oree) R 30765 30767 30425 0 -1 4194304 3436 0 0 0 308 1 0 0 25 0 1 0 133261919 15065088 3418 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30767/statm: 3678 3418 170 317 0 3357 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14712 [startup+6.30186 s] /proc/loadavg: 0.92 0.95 0.91 2/65 30768 /proc/meminfo: memFree=1814456/2055920 swapFree=4184740/4192956 [pid=30767] ppid=30765 vsize=19300 CPUtime=6.29 /proc/30767/stat : 30767 (oree) R 30765 30767 30425 0 -1 4194304 4666 0 0 0 628 1 0 0 25 0 1 0 133261919 19763200 4648 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711047 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30767/statm: 4825 4648 170 317 0 4504 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 19300 [startup+12.7011 s] /proc/loadavg: 0.93 0.95 0.91 2/65 30768 /proc/meminfo: memFree=1803384/2055920 swapFree=4184740/4192956 [pid=30767] ppid=30765 vsize=30716 CPUtime=12.69 /proc/30767/stat : 30767 (oree) R 30765 30767 30425 0 -1 4194304 7296 0 0 0 1266 3 0 0 25 0 1 0 133261919 31453184 7278 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30767/statm: 7679 7278 170 317 0 7358 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 30716 [startup+25.5015 s] /proc/loadavg: 0.94 0.96 0.91 2/65 30768 /proc/meminfo: memFree=1792760/2055920 swapFree=4184740/4192956 [pid=30767] ppid=30765 vsize=39940 CPUtime=25.49 /proc/30767/stat : 30767 (oree) R 30765 30767 30425 0 -1 4194304 9822 0 0 0 2544 5 0 0 25 0 1 0 133261919 40898560 9804 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564062 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30767/statm: 9985 9804 170 317 0 9664 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 39940 [startup+51.1014 s] /proc/loadavg: 0.96 0.96 0.91 2/65 30768 /proc/meminfo: memFree=1774456/2055920 swapFree=4184740/4192956 [pid=30767] ppid=30765 vsize=60512 CPUtime=51.07 /proc/30767/stat : 30767 (oree) R 30765 30767 30425 0 -1 4194304 14395 0 0 0 5100 7 0 0 25 0 1 0 133261919 61964288 14377 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30767/statm: 15128 14377 170 317 0 14807 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 60512 [startup+102.305 s] /proc/loadavg: 0.98 0.96 0.91 2/65 30768 /proc/meminfo: memFree=1753464/2055920 swapFree=4184740/4192956 [pid=30767] ppid=30765 vsize=79620 CPUtime=102.25 /proc/30767/stat : 30767 (oree) R 30765 30767 30425 0 -1 4194304 19565 0 0 0 10215 10 0 0 25 0 1 0 133261919 81530880 19547 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30767/statm: 19905 19547 170 317 0 19584 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 79620 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 30768 /proc/meminfo: memFree=1729464/2055920 swapFree=4184740/4192956 [pid=30767] ppid=30765 vsize=110056 CPUtime=162.23 /proc/30767/stat : 30767 (oree) R 30765 30767 30425 0 -1 4194304 25622 0 0 0 16210 13 0 0 25 0 1 0 133261919 112697344 25546 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30767/statm: 27514 25546 170 317 0 27193 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 110056 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 30768 /proc/meminfo: memFree=1714232/2055920 swapFree=4184740/4192956 [pid=30767] ppid=30765 vsize=123796 CPUtime=222.21 /proc/30767/stat : 30767 (oree) R 30765 30767 30425 0 -1 4194304 29384 0 0 0 22205 16 0 0 25 0 1 0 133261919 126767104 29308 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563665 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30767/statm: 30949 29308 170 317 0 30628 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 123796 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 30768 /proc/meminfo: memFree=1700920/2055920 swapFree=4184740/4192956 [pid=30767] ppid=30765 vsize=135928 CPUtime=282.18 /proc/30767/stat : 30767 (oree) R 30765 30767 30425 0 -1 4194304 32719 0 0 0 28200 18 0 0 25 0 1 0 133261919 139190272 32643 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30767/statm: 33982 32643 170 317 0 33661 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 135928 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 30768 /proc/meminfo: memFree=1688824/2055920 swapFree=4184740/4192956 [pid=30767] ppid=30765 vsize=147084 CPUtime=342.17 /proc/30767/stat : 30767 (oree) R 30765 30767 30425 0 -1 4194304 35705 0 0 0 34196 21 0 0 25 0 1 0 133261919 150614016 35629 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30767/statm: 36771 35629 170 317 0 36450 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 147084 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 30768 /proc/meminfo: memFree=1678264/2055920 swapFree=4184740/4192956 [pid=30767] ppid=30765 vsize=156952 CPUtime=402.14 /proc/30767/stat : 30767 (oree) R 30765 30767 30425 0 -1 4194304 38338 0 0 0 40191 23 0 0 25 0 1 0 133261919 160718848 38262 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30767/statm: 39238 38262 170 317 0 38917 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 156952 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 30768 /proc/meminfo: memFree=1668088/2055920 swapFree=4184740/4192956 [pid=30767] ppid=30765 vsize=166288 CPUtime=462.12 /proc/30767/stat : 30767 (oree) R 30765 30767 30425 0 -1 4194304 40868 0 0 0 46187 25 0 0 25 0 1 0 133261919 170278912 40792 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30767/statm: 41572 40792 170 317 0 41251 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 166288 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 30768 /proc/meminfo: memFree=1659128/2055920 swapFree=4184740/4192956 [pid=30767] ppid=30765 vsize=175548 CPUtime=522.1 /proc/30767/stat : 30767 (oree) R 30765 30767 30425 0 -1 4194304 43365 0 0 0 52183 27 0 0 25 0 1 0 133261919 179761152 43175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30767/statm: 43887 43175 170 317 0 43566 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 175548 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 30768 /proc/meminfo: memFree=1643256/2055920 swapFree=4184740/4192956 [pid=30767] ppid=30765 vsize=210144 CPUtime=582.07 /proc/30767/stat : 30767 (oree) R 30765 30767 30425 0 -1 4194304 50637 0 0 0 58178 29 0 0 25 0 1 0 133261919 215187456 46982 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30767/statm: 52536 46982 170 317 0 52215 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 210144 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 30768 /proc/meminfo: memFree=1634616/2055920 swapFree=4184740/4192956 [pid=30767] ppid=30765 vsize=217632 CPUtime=642.06 /proc/30767/stat : 30767 (oree) R 30765 30767 30425 0 -1 4194304 52811 0 0 0 64176 30 0 0 25 0 1 0 133261919 222855168 49123 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30767/statm: 54408 49123 170 317 0 54087 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 217632 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 30768 /proc/meminfo: memFree=1601976/2055920 swapFree=4184740/4192956 [pid=30767] ppid=30765 vsize=246332 CPUtime=881.97 /proc/30767/stat : 30767 (oree) R 30765 30767 30425 0 -1 4194304 60957 0 0 0 88161 36 0 0 25 0 1 0 133261919 252243968 57269 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30767/statm: 61583 57269 170 317 0 61262 0 Current children cumulated CPU time (s) 881.97 Current children cumulated vsize (KiB) 246332 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.91 2/71 30834 /proc/meminfo: memFree=1593672/2055920 swapFree=4184740/4192956 [pid=30767] ppid=30765 vsize=252732 CPUtime=941.93 /proc/30767/stat : 30767 (oree) R 30765 30767 30425 0 -1 4194304 62718 0 0 0 94154 39 0 0 25 0 1 0 133261919 258797568 59030 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563628 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30767/statm: 63183 59030 170 317 0 62862 0 Current children cumulated CPU time (s) 941.93 Current children cumulated vsize (KiB) 252732 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.91 3/65 30966 /proc/meminfo: memFree=1587448/2055920 swapFree=4184740/4192956 [pid=30767] ppid=30765 vsize=258780 CPUtime=1001.84 /proc/30767/stat : 30767 (oree) R 30765 30767 30425 0 -1 4194304 64552 0 0 0 100144 40 0 0 25 0 1 0 133261919 264990720 60831 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30767/statm: 64695 60831 170 317 0 64374 0 Current children cumulated CPU time (s) 1001.84 Current children cumulated vsize (KiB) 258780 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 30966 /proc/meminfo: memFree=1580600/2055920 swapFree=4184740/4192956 [pid=30767] ppid=30765 vsize=265192 CPUtime=1061.82 /proc/30767/stat : 30767 (oree) R 30765 30767 30425 0 -1 4194304 66259 0 0 0 106141 41 0 0 25 0 1 0 133261919 271556608 62538 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30767/statm: 66298 62538 170 317 0 65977 0 Current children cumulated CPU time (s) 1061.82 Current children cumulated vsize (KiB) 265192 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 30966 /proc/meminfo: memFree=1574328/2055920 swapFree=4184740/4192956 [pid=30767] ppid=30765 vsize=270636 CPUtime=1121.8 /proc/30767/stat : 30767 (oree) R 30765 30767 30425 0 -1 4194304 67813 0 0 0 112138 42 0 0 25 0 1 0 133261919 277131264 64092 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30767/statm: 67659 64092 170 317 0 67338 0 Current children cumulated CPU time (s) 1121.8 Current children cumulated vsize (KiB) 270636 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 30966 /proc/meminfo: memFree=1568504/2055920 swapFree=4184740/4192956 [pid=30767] ppid=30765 vsize=275876 CPUtime=1181.77 /proc/30767/stat : 30767 (oree) R 30765 30767 30425 0 -1 4194304 69268 0 0 0 118135 42 0 0 25 0 1 0 133261919 282497024 65547 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30767/statm: 68969 65547 170 317 0 68648 0 Current children cumulated CPU time (s) 1181.77 Current children cumulated vsize (KiB) 275876 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 30966 /proc/meminfo: memFree=1561528/2055920 swapFree=4184740/4192956 [pid=30767] ppid=30765 vsize=281648 CPUtime=1241.75 /proc/30767/stat : 30767 (oree) R 30765 30767 30425 0 -1 4194304 71034 0 0 0 124132 43 0 0 25 0 1 0 133261919 288407552 67280 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30767/statm: 70412 67280 170 317 0 70091 0 Current children cumulated CPU time (s) 1241.75 Current children cumulated vsize (KiB) 281648 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 30966 /proc/meminfo: memFree=1555832/2055920 swapFree=4184740/4192956 [pid=30767] ppid=30765 vsize=286560 CPUtime=1301.73 /proc/30767/stat : 30767 (oree) R 30765 30767 30425 0 -1 4194304 72440 0 0 0 130129 44 0 0 25 0 1 0 133261919 293437440 68686 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30767/statm: 71640 68686 170 317 0 71319 0 Current children cumulated CPU time (s) 1301.73 Current children cumulated vsize (KiB) 286560 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 30966 /proc/meminfo: memFree=1549688/2055920 swapFree=4184740/4192956 [pid=30767] ppid=30765 vsize=291944 CPUtime=1361.71 /proc/30767/stat : 30767 (oree) R 30765 30767 30425 0 -1 4194304 73984 0 0 0 136126 45 0 0 25 0 1 0 133261919 298950656 70230 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30767/statm: 72986 70230 170 317 0 72665 0 Current children cumulated CPU time (s) 1361.71 Current children cumulated vsize (KiB) 291944 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.91 2/65 30966 /proc/meminfo: memFree=1543736/2055920 swapFree=4184740/4192956 [pid=30767] ppid=30765 vsize=297480 CPUtime=1421.69 /proc/30767/stat : 30767 (oree) R 30765 30767 30425 0 -1 4194304 75496 0 0 0 142122 47 0 0 25 0 1 0 133261919 304619520 71709 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30767/statm: 74370 71709 170 317 0 74049 0 Current children cumulated CPU time (s) 1421.69 Current children cumulated vsize (KiB) 297480 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 30966 /proc/meminfo: memFree=1538552/2055920 swapFree=4184740/4192956 [pid=30767] ppid=30765 vsize=302340 CPUtime=1481.67 /proc/30767/stat : 30767 (oree) R 30765 30767 30425 0 -1 4194304 76853 0 0 0 148119 48 0 0 25 0 1 0 133261919 309596160 73033 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563625 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30767/statm: 75585 73033 170 317 0 75264 0 Current children cumulated CPU time (s) 1481.67 Current children cumulated vsize (KiB) 302340 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 30966 /proc/meminfo: memFree=1532792/2055920 swapFree=4184740/4192956 [pid=30767] ppid=30765 vsize=307452 CPUtime=1541.64 /proc/30767/stat : 30767 (oree) R 30765 30767 30425 0 -1 4194304 78323 0 0 0 154115 49 0 0 25 0 1 0 133261919 314830848 74470 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30767/statm: 76863 74470 170 317 0 76542 0 Current children cumulated CPU time (s) 1541.64 Current children cumulated vsize (KiB) 307452 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 30966 /proc/meminfo: memFree=1526904/2055920 swapFree=4184740/4192956 [pid=30767] ppid=30765 vsize=312736 CPUtime=1601.62 /proc/30767/stat : 30767 (oree) R 30765 30767 30425 0 -1 4194304 79829 0 0 0 160112 50 0 0 25 0 1 0 133261919 320241664 75943 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30767/statm: 78184 75943 170 317 0 77863 0 Current children cumulated CPU time (s) 1601.62 Current children cumulated vsize (KiB) 312736 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 30966 /proc/meminfo: memFree=1521400/2055920 swapFree=4184740/4192956 [pid=30767] ppid=30765 vsize=317484 CPUtime=1661.59 /proc/30767/stat : 30767 (oree) R 30765 30767 30425 0 -1 4194304 81192 0 0 0 166108 51 0 0 25 0 1 0 133261919 325103616 77306 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278973 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30767/statm: 79371 77306 170 317 0 79050 0 Current children cumulated CPU time (s) 1661.59 Current children cumulated vsize (KiB) 317484 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 30966 /proc/meminfo: memFree=1516024/2055920 swapFree=4184740/4192956 [pid=30767] ppid=30765 vsize=322320 CPUtime=1721.57 /proc/30767/stat : 30767 (oree) R 30765 30767 30425 0 -1 4194304 82548 0 0 0 172105 52 0 0 25 0 1 0 133261919 330055680 78629 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30767/statm: 80580 78629 170 317 0 80259 0 Current children cumulated CPU time (s) 1721.57 Current children cumulated vsize (KiB) 322320 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 30966 /proc/meminfo: memFree=1510968/2055920 swapFree=4184740/4192956 [pid=30767] ppid=30765 vsize=326480 CPUtime=1781.55 /proc/30767/stat : 30767 (oree) R 30765 30767 30425 0 -1 4194304 83805 0 0 0 178102 53 0 0 25 0 1 0 133261919 334315520 79886 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712556 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30767/statm: 81620 79886 170 317 0 81299 0 Current children cumulated CPU time (s) 1781.55 Current children cumulated vsize (KiB) 326480 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 0.99 0.97 0.91 2/65 30966 /proc/meminfo: memFree=1508728/2055920 swapFree=4184740/4192956 [pid=30767] ppid=30765 vsize=328064 CPUtime=1800.05 /proc/30767/stat : 30767 (oree) R 30765 30767 30425 0 -1 4194304 84356 0 0 0 179952 53 0 0 25 0 1 0 133261919 335937536 80437 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718455 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30767/statm: 82016 80437 170 317 0 81695 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 328064 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: 0.99 0.97 0.91 2/65 30966 /proc/meminfo: memFree=1508728/2055920 swapFree=4184740/4192956 [pid=30767] ppid=30765 vsize=0 CPUtime=1800.25 /proc/30767/stat : 30767 (oree) R 30765 30767 30425 0 -1 4194308 84372 0 0 0 179969 56 0 0 25 0 1 0 133261919 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30767/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.25 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1801.03 CPU time (s): 1800.29 CPU user time (s): 1799.7 CPU system time (s): 0.58891 CPU usage (%): 99.9586 Max. virtual memory (cumulated for all children) (KiB): 328064 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.7 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= 84372 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= 3531 runsolver used 1.18782 second user time and 3.79642 second system time The end
Begin job on node59 on Tue Apr 17 23:45:23 UTC 2007 IDJOB= 357063 IDBENCH= 1948 IDSOLVER= 172 FILE ID= node59/357063-1176853523 PBS_JOBID= 4590238 Free space on /tmp= 66343 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_22.opb.PB06.opb COMMAND LINE= oree /tmp/evaluation/357063-1176853523/instance-357063-1176853523.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node59/watcher-357063-1176853523 -o ROOT/results/node59/solver-357063-1176853523 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357063-1176853523/instance-357063-1176853523.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= a65a3b6248e07fcc15fb8d2bec9ac9bd RANDOM SEED= 17220440 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node59.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.268 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.268 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: 1831896 kB Buffers: 16608 kB Cached: 148080 kB SwapCached: 2252 kB Active: 34804 kB Inactive: 139612 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1831896 kB SwapTotal: 4192956 kB SwapFree: 4184740 kB Dirty: 1344 kB Writeback: 0 kB Mapped: 16712 kB Slab: 35632 kB Committed_AS: 1578776 kB PageTables: 1472 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= 66343 MiB End job on node59 on Wed Apr 18 00:15:26 UTC 2007