Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | SAT (TO) | 202 | 1800.41 | 1800.99 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-test1.r.opb |
MD5SUM | 8e6ac0bad8d074da12c63269189a8260 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 110 |
Best CPU time to get the best result obtained on this benchmark | 0.25796 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 110 |
Optimality of the best value was proved | YES |
Number of variables | 2091 |
Total number of constraints | 362 |
Number of constraints which are clauses | 362 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 3 |
Maximum length of a constraint | 48 |
Number of terms in the objective function | 2091 |
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 | 2091 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 2091 |
Number of bits of the biggest sum of numbers | 12 |
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=2091 #constraints=363 hasObjective=yes 0.00/0.03 c res. mode=mod 0.00/0.03 c VSIDS like heuristics 0.00/0.03 c complete search running 0.00/0.03 c restart after 401 decisions 0.00/0.04 c nbDecision=500 #constraints=363 0.00/0.04 c restart after 801 decisions 0.00/0.05 c nbDecision=1000 #constraints=363 0.00/0.05 c nbDecision=1500 #constraints=363 0.00/0.06 c restart after 1601 decisions 0.00/0.06 c nbDecision=2000 #constraints=363 0.00/0.07 c nbDecision=2500 #constraints=363 0.00/0.08 c nbDecision=3000 #constraints=363 0.00/0.08 c restart after 3201 decisions 0.08/0.08 c nbDecision=3500 #constraints=363 0.08/0.09 c nbDecision=4000 #constraints=363 0.09/0.10 c nbDecision=4500 #constraints=363 0.09/0.10 c nbDecision=5000 #constraints=363 0.09/0.10 c nbDecision=5088 #constraints=363 0.09/0.10 c linear search for optimum 0.09/0.10 o 204 0.29/0.32 c nbDecision=5280 #constraints=448 0.29/0.32 o 203 0.59/0.60 c nbDecision=5500 #constraints=551 0.89/0.94 c nbDecision=5800 #constraints=668 0.89/0.94 o 202 1.19/1.22 c nbDecision=6000 #constraints=772 1.78/1.81 c restart after 6401 decisions 1.78/1.84 c nbDecision=6500 #constraints=969 1.78/1.85 c nbDecision=7000 #constraints=969 1.78/1.87 c nbDecision=7500 #constraints=969 1.78/1.88 c nbDecision=8000 #constraints=969 2.19/2.23 c nbDecision=8500 #constraints=1077 2.99/3.07 c nbDecision=9000 #constraints=1320 3.89/3.92 c nbDecision=9500 #constraints=1536 4.89/4.95 c nbDecision=10000 #constraints=1783 5.99/6.02 c nbDecision=10500 #constraints=2010 7.09/7.18 c nbDecision=11000 #constraints=2239 8.49/8.51 c nbDecision=11500 #constraints=2476 9.98/10.02 c nbDecision=12000 #constraints=2730 11.29/11.37 c nbDecision=12500 #constraints=2934 12.39/12.40 c restart after 12801 decisions 12.59/12.69 c nbDecision=13000 #constraints=3085 12.69/12.76 c nbDecision=13500 #constraints=3085 12.79/12.86 c nbDecision=14000 #constraints=3085 12.89/12.94 c nbDecision=14500 #constraints=3085 13.99/14.04 c nbDecision=15000 #constraints=3230 15.88/15.99 c nbDecision=15500 #constraints=3489 17.59/17.69 c nbDecision=16000 #constraints=3695 19.79/19.84 c nbDecision=16500 #constraints=3945 21.89/21.92 c nbDecision=17000 #constraints=4172 23.89/23.90 c nbDecision=17500 #constraints=4374 26.28/26.40 c nbDecision=18000 #constraints=4629 28.69/28.79 c nbDecision=18500 #constraints=4858 31.18/31.29 c nbDecision=19000 #constraints=5087 33.29/33.33 c nbDecision=19500 #constraints=5269 35.58/35.64 c nbDecision=20000 #constraints=5465 38.08/38.11 c nbDecision=20500 #constraints=5668 40.58/40.63 c nbDecision=21000 #constraints=5864 43.28/43.30 c nbDecision=21500 #constraints=6067 45.97/46.03 c nbDecision=22000 #constraints=6263 48.68/48.73 c nbDecision=22500 #constraints=6452 51.68/51.73 c nbDecision=23000 #constraints=6655 54.77/54.85 c nbDecision=23500 #constraints=6858 57.78/57.87 c nbDecision=24000 #constraints=7044 61.07/61.15 c nbDecision=24500 #constraints=7243 64.47/64.56 c nbDecision=25000 #constraints=7443 67.87/67.94 c nbDecision=25500 #constraints=7635 68.77/68.80 c restart after 25601 decisions 69.77/69.83 c nbDecision=26000 #constraints=7684 69.97/70.09 c nbDecision=26500 #constraints=7684 70.27/70.37 c nbDecision=27000 #constraints=7684 70.97/71.00 c nbDecision=27500 #constraints=7705 74.47/74.52 c nbDecision=28000 #constraints=7894 78.27/78.30 c nbDecision=28500 #constraints=8094 81.86/81.98 c nbDecision=29000 #constraints=8280 85.77/85.86 c nbDecision=29500 #constraints=8473 90.07/90.11 c nbDecision=30000 #constraints=8681 94.26/94.33 c nbDecision=30500 #constraints=8882 98.37/98.46 c nbDecision=31000 #constraints=9071 102.76/102.84 c nbDecision=31500 #constraints=9271 107.16/107.27 c nbDecision=32000 #constraints=9470 111.77/111.81 c nbDecision=32500 #constraints=9666 116.56/116.61 c nbDecision=33000 #constraints=9869 121.26/121.39 c nbDecision=33500 #constraints=10065 125.96/126.07 c nbDecision=34000 #constraints=10254 131.16/131.29 c nbDecision=34500 #constraints=10464 136.05/136.19 c nbDecision=35000 #constraints=10653 141.35/141.43 c nbDecision=35500 #constraints=10852 146.76/146.82 c nbDecision=36000 #constraints=11052 151.35/151.47 c nbDecision=36500 #constraints=11246 156.35/156.47 c nbDecision=37000 #constraints=11492 161.25/161.35 c nbDecision=37500 #constraints=11724 165.85/165.98 c nbDecision=38000 #constraints=11942 171.14/171.23 c nbDecision=38500 #constraints=12189 176.55/176.66 c nbDecision=39000 #constraints=12432 181.74/181.81 c nbDecision=39500 #constraints=12659 187.14/187.25 c nbDecision=40000 #constraints=12891 192.74/192.81 c nbDecision=40500 #constraints=13126 198.54/198.65 c nbDecision=41000 #constraints=13365 204.03/204.17 c nbDecision=41500 #constraints=13584 209.83/210.00 c nbDecision=42000 #constraints=13815 216.24/216.36 c nbDecision=42500 #constraints=14069 221.84/221.90 c nbDecision=43000 #constraints=14271 228.43/228.56 c nbDecision=43500 #constraints=14521 234.73/234.86 c nbDecision=44000 #constraints=14755 240.63/240.74 c nbDecision=44500 #constraints=14963 247.33/247.45 c nbDecision=45000 #constraints=15200 254.03/254.20 c nbDecision=45500 #constraints=15440 260.42/260.58 c nbDecision=46000 #constraints=15661 267.22/267.33 c nbDecision=46500 #constraints=15838 274.82/274.96 c nbDecision=47000 #constraints=16041 282.81/282.97 c nbDecision=47500 #constraints=16251 290.51/290.61 c nbDecision=48000 #constraints=16447 298.31/298.44 c nbDecision=48500 #constraints=16646 305.90/306.03 c nbDecision=49000 #constraints=16835 313.70/313.83 c nbDecision=49500 #constraints=17028 322.21/322.34 c nbDecision=50000 #constraints=17238 330.30/330.49 c nbDecision=50500 #constraints=17434 338.40/338.59 c nbDecision=51000 #constraints=17627 341.10/341.24 c restart after 51201 decisions 343.49/343.60 c nbDecision=51500 #constraints=17686 343.89/344.08 c nbDecision=52000 #constraints=17686 344.59/344.78 c nbDecision=52500 #constraints=17686 345.30/345.43 c nbDecision=53000 #constraints=17686 352.99/353.14 c nbDecision=53500 #constraints=17868 361.99/362.10 c nbDecision=54000 #constraints=18078 370.59/370.71 c nbDecision=54500 #constraints=18274 379.69/379.85 c nbDecision=55000 #constraints=18484 388.19/388.33 c nbDecision=55500 #constraints=18673 396.48/396.64 c nbDecision=56000 #constraints=18856 405.57/405.76 c nbDecision=56500 #constraints=19056 415.07/415.23 c nbDecision=57000 #constraints=19262 424.18/424.35 c nbDecision=57500 #constraints=19458 433.37/433.59 c nbDecision=58000 #constraints=19654 442.77/442.91 c nbDecision=58500 #constraints=19850 451.87/452.09 c nbDecision=59000 #constraints=20039 461.96/462.19 c nbDecision=59500 #constraints=20249 471.96/472.17 c nbDecision=60000 #constraints=20452 481.46/481.66 c nbDecision=60500 #constraints=20641 491.25/491.49 c nbDecision=61000 #constraints=20837 501.56/501.73 c nbDecision=61500 #constraints=21040 511.26/511.50 c nbDecision=62000 #constraints=21229 521.84/522.06 c nbDecision=62500 #constraints=21435 532.04/532.30 c nbDecision=63000 #constraints=21628 540.74/540.93 c nbDecision=63500 #constraints=21816 550.34/550.52 c nbDecision=64000 #constraints=22075 559.03/559.23 c nbDecision=64500 #constraints=22302 567.63/567.83 c nbDecision=65000 #constraints=22524 577.04/577.25 c nbDecision=65500 #constraints=22765 586.63/586.87 c nbDecision=66000 #constraints=23008 595.22/595.42 c nbDecision=66500 #constraints=23221 605.33/605.58 c nbDecision=67000 #constraints=23471 614.82/615.06 c nbDecision=67500 #constraints=23698 624.92/625.11 c nbDecision=68000 #constraints=23941 634.12/634.32 c nbDecision=68500 #constraints=24161 644.32/644.57 c nbDecision=69000 #constraints=24397 654.41/654.69 c nbDecision=69500 #constraints=24634 664.11/664.34 c nbDecision=70000 #constraints=24854 674.81/675.00 c nbDecision=70500 #constraints=25101 685.40/685.63 c nbDecision=71000 #constraints=25337 694.70/694.94 c nbDecision=71500 #constraints=25539 705.60/705.86 c nbDecision=72000 #constraints=25780 716.70/716.91 c nbDecision=72500 #constraints=26023 726.19/726.42 c nbDecision=73000 #constraints=26229 737.98/738.23 c nbDecision=73500 #constraints=26414 750.99/751.29 c nbDecision=74000 #constraints=26624 763.58/763.86 c nbDecision=74500 #constraints=26820 776.48/776.76 c nbDecision=75000 #constraints=27023 789.18/789.45 c nbDecision=75500 #constraints=27219 801.17/801.41 c nbDecision=76000 #constraints=27401 814.47/814.74 c nbDecision=76500 #constraints=27607 827.97/828.30 c nbDecision=77000 #constraints=27811 841.26/841.59 c nbDecision=77500 #constraints=28010 854.46/854.79 c nbDecision=78000 #constraints=28206 867.35/867.67 c nbDecision=78500 #constraints=28395 880.45/880.74 c nbDecision=79000 #constraints=28584 894.65/894.95 c nbDecision=79500 #constraints=28794 908.64/909.00 c nbDecision=80000 #constraints=28997 921.94/922.27 c nbDecision=80500 #constraints=29186 935.34/935.66 c nbDecision=81000 #constraints=29376 949.33/949.69 c nbDecision=81500 #constraints=29574 963.03/963.32 c nbDecision=82000 #constraints=29763 977.82/978.11 c nbDecision=82500 #constraints=29971 992.33/992.69 c nbDecision=83000 #constraints=30174 1005.62/1005.99 c nbDecision=83500 #constraints=30353 1021.01/1021.32 c nbDecision=84000 #constraints=30566 1035.41/1035.73 c nbDecision=84500 #constraints=30762 1049.70/1050.08 c nbDecision=85000 #constraints=30951 1064.81/1065.15 c nbDecision=85500 #constraints=31154 1079.10/1079.48 c nbDecision=86000 #constraints=31343 1094.50/1094.88 c nbDecision=86500 #constraints=31546 1110.39/1110.73 c nbDecision=87000 #constraints=31756 1125.08/1125.44 c nbDecision=87500 #constraints=31945 1139.88/1140.26 c nbDecision=88000 #constraints=32134 1153.77/1154.10 c nbDecision=88500 #constraints=32323 1167.08/1167.45 c nbDecision=89000 #constraints=32564 1180.57/1180.99 c nbDecision=89500 #constraints=32811 1192.96/1193.33 c nbDecision=90000 #constraints=33031 1206.96/1207.35 c nbDecision=90500 #constraints=33274 1219.96/1220.36 c nbDecision=91000 #constraints=33501 1233.86/1234.27 c nbDecision=91500 #constraints=33744 1246.75/1247.10 c nbDecision=92000 #constraints=33968 1260.65/1261.02 c nbDecision=92500 #constraints=34203 1274.74/1275.18 c nbDecision=93000 #constraints=34444 1287.54/1287.95 c nbDecision=93500 #constraints=34657 1302.13/1302.57 c nbDecision=94000 #constraints=34908 1316.63/1317.01 c nbDecision=94500 #constraints=35147 1329.53/1329.98 c nbDecision=95000 #constraints=35356 1344.12/1344.56 c nbDecision=95500 #constraints=35597 1358.82/1359.28 c nbDecision=96000 #constraints=35836 1371.91/1372.36 c nbDecision=96500 #constraints=36042 1387.12/1387.51 c nbDecision=97000 #constraints=36289 1401.41/1401.84 c nbDecision=97500 #constraints=36512 1416.31/1416.79 c nbDecision=98000 #constraints=36752 1431.60/1432.05 c nbDecision=98500 #constraints=36934 1448.69/1449.14 c nbDecision=99000 #constraints=37130 1466.40/1466.88 c nbDecision=99500 #constraints=37333 1484.29/1484.78 c nbDecision=100000 #constraints=37536 1501.08/1501.58 c nbDecision=100500 #constraints=37722 1518.87/1519.32 c nbDecision=101000 #constraints=37921 1536.78/1537.21 c nbDecision=101500 #constraints=38121 1554.17/1554.62 c nbDecision=102000 #constraints=38313 1568.86/1569.33 c restart after 102401 decisions 1573.56/1574.02 c nbDecision=102500 #constraints=38474 1574.56/1575.02 c nbDecision=103000 #constraints=38474 1575.96/1576.47 c nbDecision=103500 #constraints=38474 1577.26/1577.78 c nbDecision=104000 #constraints=38474 1587.87/1588.34 c nbDecision=104500 #constraints=38581 1606.15/1606.64 c nbDecision=105000 #constraints=38782 1623.35/1623.80 c nbDecision=105500 #constraints=38967 1641.34/1641.86 c nbDecision=106000 #constraints=39160 1660.74/1661.21 c nbDecision=106500 #constraints=39370 1679.24/1679.73 c nbDecision=107000 #constraints=39566 1697.43/1697.98 c nbDecision=107500 #constraints=39759 1716.13/1716.60 c nbDecision=108000 #constraints=39955 1734.50/1735.07 c nbDecision=108500 #constraints=40148 1753.57/1754.19 c nbDecision=109000 #constraints=40346 1773.54/1774.11 c nbDecision=109500 #constraints=40554 1792.03/1792.62 c nbDecision=110000 #constraints=40743 1800.03/1800.60 Received signal 15 1800.32/1800.90 1800.32/1800.90 s SATISFIABLE 1800.32/1800.90 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.32/1800.90 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 -x55 1800.32/1800.90 v -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.32/1800.90 v -x82 -x83 -x84 x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 x106 1800.32/1800.90 v -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 1800.32/1800.90 v -x128 -x129 -x130 -x131 -x132 x133 -x134 -x135 -x136 -x137 -x138 x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 x147 -x148 1800.32/1800.90 v -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 x168 -x169 1800.32/1800.90 v -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 1800.32/1800.90 v -x191 -x192 -x193 -x194 x195 -x196 -x197 x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 1800.32/1800.90 v -x212 -x213 -x214 -x215 -x216 -x217 x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 x226 -x227 -x228 -x229 -x230 -x231 -x232 1800.32/1800.90 v -x233 -x234 -x235 -x236 -x237 -x238 -x239 x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 x248 -x249 -x250 -x251 -x252 -x253 1800.32/1800.90 v x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 1800.32/1800.90 v -x275 -x276 -x277 x278 -x279 -x280 -x281 -x282 -x283 x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 x292 -x293 -x294 -x295 1800.32/1800.90 v -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 1800.32/1800.90 v x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 x332 -x333 -x334 -x335 -x336 -x337 1800.32/1800.90 v -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 1800.32/1800.90 v -x359 -x360 -x361 -x362 -x363 x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 1800.32/1800.90 v -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 1800.32/1800.90 v -x401 -x402 -x403 -x404 x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 x418 -x419 -x420 -x421 1800.32/1800.90 v -x422 -x423 -x424 -x425 -x426 -x427 x428 -x429 -x430 -x431 -x432 -x433 -x434 x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 1800.32/1800.90 v -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 1800.32/1800.90 v -x464 -x465 x466 -x467 -x468 -x469 -x470 x471 -x472 -x473 -x474 -x475 -x476 x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 1800.32/1800.90 v -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 x500 -x501 -x502 -x503 -x504 -x505 1800.32/1800.90 v -x506 -x507 -x508 -x509 x510 -x511 -x512 -x513 -x514 x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 1800.32/1800.90 v x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 x546 -x547 1800.32/1800.90 v -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 1800.32/1800.90 v -x569 -x570 x571 -x572 x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 1800.32/1800.90 v -x590 x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 x602 -x603 -x604 -x605 -x606 -x607 x608 -x609 -x610 1800.32/1800.90 v -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 1800.32/1800.90 v -x632 -x633 -x634 -x635 -x636 -x637 -x638 x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 1800.32/1800.90 v -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 x662 -x663 -x664 x665 -x666 -x667 x668 -x669 -x670 -x671 -x672 -x673 1800.32/1800.90 v -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 x694 1800.32/1800.90 v x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 x708 -x709 x710 -x711 -x712 -x713 -x714 -x715 1800.32/1800.90 v -x716 -x717 -x718 -x719 -x720 -x721 x722 -x723 -x724 -x725 -x726 -x727 -x728 x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 1800.32/1800.90 v x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 x751 -x752 -x753 -x754 -x755 -x756 -x757 1800.32/1800.90 v -x758 -x759 -x760 x761 x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 1800.32/1800.90 v -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 1800.32/1800.90 v -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 x814 -x815 -x816 -x817 -x818 -x819 -x820 1800.32/1800.90 v -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 x829 -x830 -x831 -x832 x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 1800.32/1800.90 v -x842 -x843 -x844 x845 -x846 -x847 -x848 -x849 x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 1800.32/1800.90 v -x863 x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 x877 -x878 -x879 -x880 -x881 -x882 -x883 1800.32/1800.90 v -x884 -x885 -x886 -x887 -x888 -x889 -x890 x891 -x892 -x893 -x894 -x895 -x896 -x897 x898 -x899 -x900 -x901 x902 x903 -x904 1800.32/1800.90 v -x905 -x906 -x907 -x908 x909 -x910 -x911 -x912 x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 x924 -x925 1800.32/1800.90 v -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 1800.32/1800.90 v -x947 -x948 -x949 -x950 -x951 x952 -x953 -x954 -x955 -x956 -x957 -x958 x959 -x960 -x961 -x962 -x963 x964 -x965 -x966 -x967 1800.32/1800.90 v x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 1800.32/1800.90 v -x989 -x990 -x991 -x992 x993 x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 1800.32/1800.90 v x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 x1021 x1022 x1023 -x1024 -x1025 1800.32/1800.90 v -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 1800.32/1800.90 v -x1043 -x1044 -x1045 -x1046 x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 1800.32/1800.90 v -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 1800.32/1800.90 v -x1077 -x1078 x1079 x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 x1089 -x1090 -x1091 -x1092 -x1093 -x1094 1800.32/1800.90 v -x1095 -x1096 -x1097 x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 1800.32/1800.90 v -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 x1118 -x1119 x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 1800.32/1800.90 v -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 x1141 -x1142 -x1143 -x1144 -x1145 -x1146 1800.32/1800.90 v -x1147 -x1148 -x1149 -x1150 x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 1800.32/1800.90 v -x1164 -x1165 -x1166 -x1167 x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 1800.32/1800.90 v -x1181 -x1182 -x1183 -x1184 -x1185 x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 x1193 -x1194 -x1195 -x1196 -x1197 -x1198 1800.32/1800.90 v -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 x1205 -x1206 -x1207 x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 x1216 1800.32/1800.90 v -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 1800.32/1800.90 v -x1234 x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 x1248 -x1249 -x1250 -x1251 1800.32/1800.90 v x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 1800.32/1800.90 v -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 x1281 -x1282 -x1283 -x1284 -x1285 -x1286 1800.32/1800.90 v -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 x1295 -x1296 -x1297 x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 1800.32/1800.90 v -x1305 -x1306 x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 1800.32/1800.90 v x1322 -x1323 -x1324 -x1325 -x1326 x1327 -x1328 -x1329 -x1330 -x1331 -x1332 x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 1800.32/1800.90 v -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 x1348 -x1349 x1350 -x1351 -x1352 -x1353 -x1354 x1355 -x1356 -x1357 1800.32/1800.90 v -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 1800.32/1800.90 v -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 x1386 x1387 -x1388 -x1389 -x1390 -x1391 -x1392 1800.32/1800.90 v -x1393 -x1394 -x1395 -x1396 x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 1800.32/1800.90 v x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 1800.32/1800.90 v -x1427 -x1428 -x1429 x1430 -x1431 -x1432 x1433 x1434 -x1435 -x1436 -x1437 -x1438 x1439 -x1440 -x1441 -x1442 -x1443 -x1444 1800.32/1800.90 v -x1445 x1446 -x1447 -x1448 x1449 -x1450 -x1451 -x1452 -x1453 -x1454 x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 1800.32/1800.90 v -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 x1469 -x1470 -x1471 x1472 -x1473 -x1474 -x1475 -x1476 x1477 -x1478 -x1479 -x1480 1800.32/1800.90 v -x1481 x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 1800.32/1800.90 v -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 x1509 -x1510 x1511 -x1512 -x1513 -x1514 -x1515 1800.32/1800.90 v -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 1800.32/1800.90 v -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 x1541 -x1542 -x1543 -x1544 -x1545 -x1546 x1547 -x1548 -x1549 -x1550 1800.32/1800.90 v -x1551 -x1552 -x1553 -x1554 -x1555 x1556 x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 1800.32/1800.90 v -x1569 -x1570 -x1571 -x1572 -x1573 x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 1800.32/1800.90 v -x1586 x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 x1601 -x1602 -x1603 1800.32/1800.90 v -x1604 -x1605 x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 x1620 -x1621 1800.32/1800.90 v -x1622 -x1623 x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 1800.32/1800.90 v -x1639 -x1640 -x1641 -x1642 -x1643 x1644 -x1645 -x1646 -x1647 x1648 -x1649 -x1650 -x1651 -x1652 -x1653 x1654 -x1655 -x1656 1800.32/1800.90 v -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 x1673 -x1674 1800.32/1800.90 v -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 1800.32/1800.90 v -x1692 -x1693 x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 x1702 -x1703 x1704 -x1705 -x1706 -x1707 -x1708 x1709 1800.32/1800.90 v -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 1800.32/1800.90 v -x1727 -x1728 -x1729 -x1730 x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 1800.32/1800.90 v -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 x1759 -x1760 -x1761 1800.32/1800.90 v -x1762 -x1763 -x1764 -x1765 -x1766 x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 x1778 -x1779 1800.32/1800.90 v -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 1800.32/1800.90 v -x1797 x1798 -x1799 -x1800 -x1801 x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 x1813 -x1814 1800.32/1800.90 v -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 x1824 -x1825 -x1826 -x1827 -x1828 -x1829 x1830 -x1831 -x1832 1800.32/1800.90 v x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 1800.32/1800.90 v -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 1800.32/1800.90 v -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 x1876 -x1877 -x1878 -x1879 -x1880 x1881 -x1882 -x1883 -x1884 1800.32/1800.90 v x1885 -x1886 -x1887 -x1888 -x1889 -x1890 x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 x1902 1800.32/1800.90 v -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 x1909 -x1910 -x1911 -x1912 x1913 -x1914 x1915 -x1916 -x1917 -x1918 -x1919 -x1920 1800.32/1800.90 v x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 x1933 -x1934 -x1935 x1936 -x1937 -x1938 1800.32/1800.90 v x1939 -x1940 -x1941 -x1942 x1943 -x1944 -x1945 x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 1800.32/1800.90 v x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 x1968 x1969 -x1970 -x1971 -x1972 -x1973 x1974 1800.32/1800.90 v -x1975 -x1976 x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 1800.32/1800.90 v x1993 -x1994 -x1995 -x1996 -x1997 x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 1800.32/1800.90 v -x2011 -x2012 x2013 -x2014 -x2015 x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 1800.32/1800.90 v -x2029 x2030 -x2031 -x2032 -x2033 x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 x2046 1800.32/1800.90 v -x2047 x2048 -x2049 -x2050 -x2051 x2052 x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 1800.32/1800.90 v -x2065 -x2066 -x2067 -x2068 -x2069 x2070 -x2071 -x2072 x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 1800.32/1800.90 v -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 x2090 x2091 1800.32/1800.90 1800.32/1800.90 c user time= 1799.56 s 1800.32/1800.90 c system time= 0.773882 s 1800.32/1800.90 c wall clock time=1800.91
OK 202
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node57/watcher-366740-1177000326 -o ROOT/results/node57/solver-366740-1177000326 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/366740-1177000326/instance-366740-1177000326.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.99 0.97 0.96 3/64 20913 /proc/meminfo: memFree=1610832/2055920 swapFree=4183112/4192956 [pid=20913] ppid=20911 vsize=1620 CPUtime=0 /proc/20913/stat : 20913 (oree) R 20911 20913 20811 0 -1 4194304 194 0 0 0 0 0 0 0 18 0 1 0 141168593 1658880 176 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134591248 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20913/statm: 405 176 127 317 0 84 0 [startup+0.0860971 s] /proc/loadavg: 0.99 0.97 0.96 3/64 20913 /proc/meminfo: memFree=1610832/2055920 swapFree=4183112/4192956 [pid=20913] ppid=20911 vsize=2036 CPUtime=0.08 /proc/20913/stat : 20913 (oree) R 20911 20913 20811 0 -1 4194304 318 0 0 0 8 0 0 0 18 0 1 0 141168593 2084864 300 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20913/statm: 509 300 138 317 0 188 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 2036 [startup+0.101098 s] /proc/loadavg: 0.99 0.97 0.96 3/64 20913 /proc/meminfo: memFree=1610832/2055920 swapFree=4183112/4192956 [pid=20913] ppid=20911 vsize=2036 CPUtime=0.09 /proc/20913/stat : 20913 (oree) R 20911 20913 20811 0 -1 4194304 318 0 0 0 9 0 0 0 18 0 1 0 141168593 2084864 300 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606848 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20913/statm: 509 300 138 317 0 188 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2036 [startup+0.301115 s] /proc/loadavg: 0.99 0.97 0.96 3/64 20913 /proc/meminfo: memFree=1610832/2055920 swapFree=4183112/4192956 [pid=20913] ppid=20911 vsize=2952 CPUtime=0.29 /proc/20913/stat : 20913 (oree) R 20911 20913 20811 0 -1 4194304 571 0 0 0 29 0 0 0 19 0 1 0 141168593 3022848 553 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135279015 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20913/statm: 738 553 170 317 0 417 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2952 [startup+0.701149 s] /proc/loadavg: 0.99 0.97 0.96 3/64 20913 /proc/meminfo: memFree=1610832/2055920 swapFree=4183112/4192956 [pid=20913] ppid=20911 vsize=4388 CPUtime=0.69 /proc/20913/stat : 20913 (oree) R 20911 20913 20811 0 -1 4194304 935 0 0 0 69 0 0 0 22 0 1 0 141168593 4493312 917 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20913/statm: 1097 917 170 317 0 776 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4388 [startup+1.50122 s] /proc/loadavg: 0.99 0.97 0.96 2/65 20914 /proc/meminfo: memFree=1606600/2055920 swapFree=4183112/4192956 [pid=20913] ppid=20911 vsize=7124 CPUtime=1.49 /proc/20913/stat : 20913 (oree) R 20911 20913 20811 0 -1 4194304 1631 0 0 0 149 0 0 0 25 0 1 0 141168593 7294976 1613 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20913/statm: 1781 1613 170 317 0 1460 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7124 [startup+3.10136 s] /proc/loadavg: 0.99 0.97 0.96 2/65 20914 /proc/meminfo: memFree=1602696/2055920 swapFree=4183112/4192956 [pid=20913] ppid=20911 vsize=11856 CPUtime=3.09 /proc/20913/stat : 20913 (oree) R 20911 20913 20811 0 -1 4194304 2818 0 0 0 308 1 0 0 25 0 1 0 141168593 12140544 2800 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20913/statm: 2964 2800 170 317 0 2643 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 11856 [startup+6.30164 s] /proc/loadavg: 0.99 0.97 0.96 2/65 20914 /proc/meminfo: memFree=1593672/2055920 swapFree=4183112/4192956 [pid=20913] ppid=20911 vsize=19840 CPUtime=6.29 /proc/20913/stat : 20913 (oree) R 20911 20913 20811 0 -1 4194304 4799 0 0 0 627 2 0 0 25 0 1 0 141168593 20316160 4781 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20913/statm: 4960 4781 170 317 0 4639 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 19840 [startup+12.7012 s] /proc/loadavg: 0.99 0.97 0.96 2/65 20914 /proc/meminfo: memFree=1581512/2055920 swapFree=4183112/4192956 [pid=20913] ppid=20911 vsize=31616 CPUtime=12.69 /proc/20913/stat : 20913 (oree) R 20911 20913 20811 0 -1 4194304 7555 0 0 0 1265 4 0 0 25 0 1 0 141168593 32374784 7537 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20913/statm: 7904 7537 170 317 0 7583 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 31616 [startup+25.5013 s] /proc/loadavg: 0.99 0.97 0.96 3/65 20914 /proc/meminfo: memFree=1564552/2055920 swapFree=4183112/4192956 [pid=20913] ppid=20911 vsize=50560 CPUtime=25.48 /proc/20913/stat : 20913 (oree) R 20911 20913 20811 0 -1 4194304 11715 0 0 0 2542 6 0 0 25 0 1 0 141168593 51773440 11697 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20913/statm: 12640 11697 170 317 0 12319 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 50560 [startup+51.1015 s] /proc/loadavg: 1.06 0.99 0.97 2/65 20914 /proc/meminfo: memFree=1545224/2055920 swapFree=4183112/4192956 [pid=20913] ppid=20911 vsize=68200 CPUtime=51.08 /proc/20913/stat : 20913 (oree) R 20911 20913 20811 0 -1 4194304 16555 0 0 0 5098 10 0 0 25 0 1 0 141168593 69836800 16537 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20913/statm: 17050 16537 170 317 0 16729 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 68200 [startup+102.306 s] /proc/loadavg: 1.02 0.99 0.97 2/65 20914 /proc/meminfo: memFree=1514120/2055920 swapFree=4183112/4192956 [pid=20913] ppid=20911 vsize=104240 CPUtime=102.27 /proc/20913/stat : 20913 (oree) R 20911 20913 20811 0 -1 4194304 24301 0 0 0 10212 15 0 0 25 0 1 0 141168593 106741760 24226 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20913/statm: 26060 24226 170 317 0 25739 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 104240 [startup+162.301 s] /proc/loadavg: 1.01 0.99 0.97 2/65 20914 /proc/meminfo: memFree=1490696/2055920 swapFree=4183112/4192956 [pid=20913] ppid=20911 vsize=125832 CPUtime=162.25 /proc/20913/stat : 20913 (oree) R 20911 20913 20811 0 -1 4194304 30204 0 0 0 16206 19 0 0 25 0 1 0 141168593 128851968 30129 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20913/statm: 31458 30129 170 317 0 31137 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 125832 [startup+222.301 s] /proc/loadavg: 1.00 0.99 0.97 2/65 20914 /proc/meminfo: memFree=1467080/2055920 swapFree=4183112/4192956 [pid=20913] ppid=20911 vsize=147148 CPUtime=222.23 /proc/20913/stat : 20913 (oree) R 20911 20913 20811 0 -1 4194304 36023 0 0 0 22199 24 0 0 25 0 1 0 141168593 150679552 35948 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20913/statm: 36787 35948 170 317 0 36466 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 147148 [startup+282.302 s] /proc/loadavg: 1.00 0.99 0.97 2/65 20914 /proc/meminfo: memFree=1449352/2055920 swapFree=4183112/4192956 [pid=20913] ppid=20911 vsize=163952 CPUtime=282.21 /proc/20913/stat : 20913 (oree) R 20911 20913 20811 0 -1 4194304 40583 0 0 0 28195 26 0 0 25 0 1 0 141168593 167886848 40508 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20913/statm: 40988 40508 170 317 0 40667 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 163952 [startup+342.302 s] /proc/loadavg: 1.00 0.99 0.97 2/65 20914 /proc/meminfo: memFree=1428936/2055920 swapFree=4183112/4192956 [pid=20913] ppid=20911 vsize=202384 CPUtime=342.2 /proc/20913/stat : 20913 (oree) R 20911 20913 20811 0 -1 4194304 48947 0 0 0 34189 31 0 0 25 0 1 0 141168593 207241216 45425 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20913/statm: 50596 45425 170 317 0 50275 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 202384 [startup+402.302 s] /proc/loadavg: 1.00 0.99 0.97 2/65 20914 /proc/meminfo: memFree=1416136/2055920 swapFree=4183112/4192956 [pid=20913] ppid=20911 vsize=213576 CPUtime=402.18 /proc/20913/stat : 20913 (oree) R 20911 20913 20811 0 -1 4194304 52170 0 0 0 40185 33 0 0 25 0 1 0 141168593 218701824 48648 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712556 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20913/statm: 53394 48648 170 317 0 53073 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 213576 [startup+462.301 s] /proc/loadavg: 1.00 0.99 0.97 2/65 20914 /proc/meminfo: memFree=1404040/2055920 swapFree=4183112/4192956 [pid=20913] ppid=20911 vsize=224492 CPUtime=462.16 /proc/20913/stat : 20913 (oree) R 20911 20913 20811 0 -1 4194304 55180 0 0 0 46182 34 0 0 25 0 1 0 141168593 229879808 51658 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272635 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20913/statm: 56123 51658 170 317 0 55802 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 224492 [startup+522.301 s] /proc/loadavg: 1.00 0.99 0.97 2/65 20914 /proc/meminfo: memFree=1392072/2055920 swapFree=4183112/4192956 [pid=20913] ppid=20911 vsize=234720 CPUtime=522.14 /proc/20913/stat : 20913 (oree) R 20911 20913 20811 0 -1 4194304 58177 0 0 0 52178 36 0 0 25 0 1 0 141168593 240353280 54655 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20913/statm: 58680 54655 170 317 0 58359 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 234720 [startup+582.302 s] /proc/loadavg: 1.00 0.99 0.97 2/65 20914 /proc/meminfo: memFree=1378440/2055920 swapFree=4183112/4192956 [pid=20913] ppid=20911 vsize=246988 CPUtime=582.13 /proc/20913/stat : 20913 (oree) R 20911 20913 20811 0 -1 4194304 61714 0 0 0 58173 40 0 0 25 0 1 0 141168593 252915712 58192 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20913/statm: 61747 58192 170 317 0 61426 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 246988 [startup+642.302 s] /proc/loadavg: 1.07 1.00 0.97 2/65 20914 /proc/meminfo: memFree=1364168/2055920 swapFree=4183112/4192956 [pid=20913] ppid=20911 vsize=259248 CPUtime=642.11 /proc/20913/stat : 20913 (oree) R 20911 20913 20811 0 -1 4194304 65090 0 0 0 64169 42 0 0 25 0 1 0 141168593 265469952 61568 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20913/statm: 64812 61568 170 317 0 64491 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 259248 ################ # More data... # ################ [startup+942.302 s] /proc/loadavg: 1.00 1.00 0.97 2/65 20914 /proc/meminfo: memFree=1314504/2055920 swapFree=4183112/4192956 [pid=20913] ppid=20911 vsize=302788 CPUtime=942.04 /proc/20913/stat : 20913 (oree) R 20911 20913 20811 0 -1 4194304 77495 0 0 0 94153 51 0 0 25 0 1 0 141168593 310054912 73973 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718554 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20913/statm: 75697 73973 170 317 0 75376 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 302788 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.97 2/65 20914 /proc/meminfo: memFree=1306120/2055920 swapFree=4183112/4192956 [pid=20913] ppid=20911 vsize=310004 CPUtime=1002.02 /proc/20913/stat : 20913 (oree) R 20911 20913 20811 0 -1 4194304 79575 0 0 0 100150 52 0 0 25 0 1 0 141168593 317444096 76053 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20913/statm: 77501 76053 170 317 0 77180 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 310004 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.97 2/65 20914 /proc/meminfo: memFree=1297992/2055920 swapFree=4183112/4192956 [pid=20913] ppid=20911 vsize=316828 CPUtime=1062 /proc/20913/stat : 20913 (oree) R 20911 20913 20811 0 -1 4194304 81606 0 0 0 106147 53 0 0 25 0 1 0 141168593 324431872 78084 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20913/statm: 79207 78084 170 317 0 78886 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 316828 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.97 2/65 20914 /proc/meminfo: memFree=1290632/2055920 swapFree=4183112/4192956 [pid=20913] ppid=20911 vsize=323536 CPUtime=1121.98 /proc/20913/stat : 20913 (oree) R 20911 20913 20811 0 -1 4194304 83437 0 0 0 112143 55 0 0 25 0 1 0 141168593 331300864 79915 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20913/statm: 80884 79915 170 317 0 80563 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 323536 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.97 2/65 20914 /proc/meminfo: memFree=1281544/2055920 swapFree=4183112/4192956 [pid=20913] ppid=20911 vsize=332140 CPUtime=1181.97 /proc/20913/stat : 20913 (oree) R 20911 20913 20811 0 -1 4194304 85894 0 0 0 118140 57 0 0 25 0 1 0 141168593 340111360 82207 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563935 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20913/statm: 83035 82207 170 317 0 82714 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 332140 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.97 2/65 20914 /proc/meminfo: memFree=1265288/2055920 swapFree=4183112/4192956 [pid=20913] ppid=20911 vsize=392456 CPUtime=1241.95 /proc/20913/stat : 20913 (oree) R 20911 20913 20811 0 -1 4194304 99782 0 0 0 124133 62 0 0 25 0 1 0 141168593 401874944 86184 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604374 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20913/statm: 98114 86184 170 317 0 97793 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 392456 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.97 2/65 20914 /proc/meminfo: memFree=1254984/2055920 swapFree=4183112/4192956 [pid=20913] ppid=20911 vsize=401352 CPUtime=1301.94 /proc/20913/stat : 20913 (oree) R 20911 20913 20811 0 -1 4194304 102363 0 0 0 130130 64 0 0 25 0 1 0 141168593 410984448 88699 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563625 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20913/statm: 100338 88699 170 317 0 100017 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 401352 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.97 2/65 20914 /proc/meminfo: memFree=1245384/2055920 swapFree=4183112/4192956 [pid=20913] ppid=20911 vsize=409808 CPUtime=1361.92 /proc/20913/stat : 20913 (oree) R 20911 20913 20811 0 -1 4194304 104806 0 0 0 136126 66 0 0 25 0 1 0 141168593 419643392 91142 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563383 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20913/statm: 102452 91142 170 317 0 102131 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 409808 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.97 2/65 20914 /proc/meminfo: memFree=1236040/2055920 swapFree=4183112/4192956 [pid=20913] ppid=20911 vsize=417728 CPUtime=1421.91 /proc/20913/stat : 20913 (oree) R 20911 20913 20811 0 -1 4194304 107162 0 0 0 142123 68 0 0 25 0 1 0 141168593 427753472 93465 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20913/statm: 104432 93465 170 317 0 104111 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 417728 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.97 2/65 20914 /proc/meminfo: memFree=1229384/2055920 swapFree=4183112/4192956 [pid=20913] ppid=20911 vsize=423772 CPUtime=1481.89 /proc/20913/stat : 20913 (oree) R 20911 20913 20811 0 -1 4194304 108826 0 0 0 148120 69 0 0 25 0 1 0 141168593 433942528 95129 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712556 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20913/statm: 105943 95129 170 317 0 105622 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 423772 [startup+1542.3 s] /proc/loadavg: 1.05 1.01 0.98 2/65 20914 /proc/meminfo: memFree=1222920/2055920 swapFree=4183112/4192956 [pid=20913] ppid=20911 vsize=429668 CPUtime=1541.87 /proc/20913/stat : 20913 (oree) R 20911 20913 20811 0 -1 4194304 110493 0 0 0 154116 71 0 0 25 0 1 0 141168593 439980032 96730 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20913/statm: 107417 96730 170 317 0 107096 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 429668 [startup+1602.3 s] /proc/loadavg: 1.15 1.04 0.99 2/65 20914 /proc/meminfo: memFree=1217480/2055920 swapFree=4183112/4192956 [pid=20913] ppid=20911 vsize=434248 CPUtime=1601.85 /proc/20913/stat : 20913 (oree) R 20911 20913 20811 0 -1 4194304 111856 0 0 0 160112 73 0 0 25 0 1 0 141168593 444669952 98093 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20913/statm: 108562 98093 170 317 0 108241 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 434248 [startup+1662.3 s] /proc/loadavg: 1.09 1.05 0.99 2/65 20914 /proc/meminfo: memFree=1210440/2055920 swapFree=4183112/4192956 [pid=20913] ppid=20911 vsize=439884 CPUtime=1661.84 /proc/20913/stat : 20913 (oree) R 20911 20913 20811 0 -1 4194304 113589 0 0 0 166110 74 0 0 25 0 1 0 141168593 450441216 99826 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20913/statm: 109971 99826 170 317 0 109650 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 439884 [startup+1722.3 s] /proc/loadavg: 1.04 1.04 0.99 2/65 20914 /proc/meminfo: memFree=1204424/2055920 swapFree=4183112/4192956 [pid=20913] ppid=20911 vsize=445104 CPUtime=1721.83 /proc/20913/stat : 20913 (oree) R 20911 20913 20811 0 -1 4194304 115118 0 0 0 172108 75 0 0 25 0 1 0 141168593 455786496 101355 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20913/statm: 111276 101355 170 317 0 110955 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 445104 [startup+1782.3 s] /proc/loadavg: 1.01 1.03 0.99 2/71 21088 /proc/meminfo: memFree=1196816/2055920 swapFree=4183112/4192956 [pid=20913] ppid=20911 vsize=450460 CPUtime=1781.73 /proc/20913/stat : 20913 (oree) R 20911 20913 20811 0 -1 4194304 116616 0 0 0 178097 76 0 0 25 0 1 0 141168593 461271040 102853 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20913/statm: 112615 102853 170 317 0 112294 0 Current children cumulated CPU time (s) 1781.73 Current children cumulated vsize (KiB) 450460 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.01 1.02 0.99 2/65 21112 /proc/meminfo: memFree=1195656/2055920 swapFree=4183112/4192956 [pid=20913] ppid=20911 vsize=452028 CPUtime=1800.03 /proc/20913/stat : 20913 (oree) R 20911 20913 20811 0 -1 4194304 117197 0 0 0 179926 77 0 0 25 0 1 0 141168593 462876672 103434 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20913/statm: 113007 103434 170 317 0 112686 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 452028 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.8 s] /proc/loadavg: 1.01 1.02 0.99 2/65 21112 /proc/meminfo: memFree=1195656/2055920 swapFree=4183112/4192956 [pid=20913] ppid=20911 vsize=452028 CPUtime=1800.22 /proc/20913/stat : 20913 (oree) R 20911 20913 20811 0 -1 4194304 117199 0 0 0 179945 77 0 0 25 0 1 0 141168593 462876672 103436 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20913/statm: 113007 103436 170 317 0 112686 0 Current children cumulated CPU time (s) 1800.22 Current children cumulated vsize (KiB) 452028 [startup+1800.9 s] /proc/loadavg: 1.01 1.02 0.99 2/65 21112 /proc/meminfo: memFree=1195656/2055920 swapFree=4183112/4192956 [pid=20913] ppid=20911 vsize=452028 CPUtime=1800.32 /proc/20913/stat : 20913 (oree) R 20911 20913 20811 0 -1 4194304 117199 0 0 0 179955 77 0 0 25 0 1 0 141168593 462876672 103436 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20913/statm: 113007 103436 170 317 0 112686 0 Current children cumulated CPU time (s) 1800.32 Current children cumulated vsize (KiB) 452028 Child status: 0 Real time (s): 1800.99 CPU time (s): 1800.41 CPU user time (s): 1799.57 CPU system time (s): 0.839872 CPU usage (%): 99.9681 Max. virtual memory (cumulated for all children) (KiB): 452028 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.57 system time used= 0.839872 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 117215 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= 2036 runsolver used 1.42878 second user time and 3.58645 second system time The end
Begin job on node57 on Thu Apr 19 16:32:06 UTC 2007 IDJOB= 366740 IDBENCH= 2886 IDSOLVER= 172 FILE ID= node57/366740-1177000326 PBS_JOBID= 4630489 Free space on /tmp= 66455 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-test1.r.opb COMMAND LINE= oree /tmp/evaluation/366740-1177000326/instance-366740-1177000326.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node57/watcher-366740-1177000326 -o ROOT/results/node57/solver-366740-1177000326 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/366740-1177000326/instance-366740-1177000326.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 8e6ac0bad8d074da12c63269189a8260 RANDOM SEED= 533417160 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node57.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.239 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.239 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: 1611304 kB Buffers: 12136 kB Cached: 385452 kB SwapCached: 3544 kB Active: 142008 kB Inactive: 264852 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1611304 kB SwapTotal: 4192956 kB SwapFree: 4183112 kB Dirty: 1364 kB Writeback: 0 kB Mapped: 15328 kB Slab: 23864 kB Committed_AS: 913884 kB PageTables: 1408 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= 66455 MiB End job on node57 on Thu Apr 19 17:02:09 UTC 2007