Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | SAT (TO) | 221 | 1800.18 | 1800.76 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_18.opb.PB06.opb |
MD5SUM | 7db364152f2aec17f16cb8adef9dc3c7 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 184 |
Best CPU time to get the best result obtained on this benchmark | 1800.03 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 184 |
Optimality of the best value was proved | NO |
Number of variables | 470 |
Total number of constraints | 469 |
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 | 469 |
Minimum length of a constraint | 3 |
Maximum length of a constraint | 18 |
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=470 hasObjective=yes 0.01/0.02 c res. mode=mod 0.01/0.02 c VSIDS like heuristics 0.01/0.02 c complete search running 0.01/0.02 c nbDecision=244 #constraints=470 0.01/0.02 c linear search for optimum 0.01/0.02 o 226 0.01/0.07 c restart after 401 decisions 0.01/0.07 c nbDecision=500 #constraints=497 0.09/0.13 c restart after 801 decisions 0.09/0.14 c nbDecision=1000 #constraints=531 0.29/0.30 c nbDecision=1500 #constraints=612 0.29/0.34 c restart after 1601 decisions 0.39/0.40 c nbDecision=1949 #constraints=650 0.39/0.40 o 223 0.39/0.42 c nbDecision=2000 #constraints=661 0.59/0.61 c nbDecision=2500 #constraints=754 0.79/0.85 c nbDecision=3000 #constraints=868 0.89/0.94 c restart after 3201 decisions 1.00/1.09 c nbDecision=3500 #constraints=948 1.39/1.46 c nbDecision=4000 #constraints=1088 1.79/1.88 c nbDecision=4500 #constraints=1225 2.29/2.35 c nbDecision=5000 #constraints=1363 2.69/2.74 c nbDecision=5500 #constraints=1462 3.20/3.27 c nbDecision=6000 #constraints=1594 3.60/3.67 c restart after 6401 decisions 3.79/3.82 c nbDecision=6500 #constraints=1687 4.30/4.36 c nbDecision=7000 #constraints=1792 4.99/5.03 c nbDecision=7500 #constraints=1918 5.79/5.81 c nbDecision=8000 #constraints=2045 6.69/6.72 c nbDecision=8500 #constraints=2176 7.69/7.74 c nbDecision=9000 #constraints=2321 8.88/8.95 c nbDecision=9500 #constraints=2458 10.09/10.17 c nbDecision=10000 #constraints=2600 11.69/11.78 c nbDecision=10500 #constraints=2770 12.59/12.69 c nbDecision=11000 #constraints=2886 13.48/13.58 c nbDecision=11500 #constraints=2995 14.78/14.85 c nbDecision=12000 #constraints=3134 15.89/15.95 c nbDecision=12500 #constraints=3256 16.79/16.81 c restart after 12801 decisions 17.39/17.48 c nbDecision=13000 #constraints=3343 18.78/18.86 c nbDecision=13500 #constraints=3473 20.08/20.17 c nbDecision=14000 #constraints=3587 21.59/21.62 c nbDecision=14500 #constraints=3711 22.89/22.99 c nbDecision=15000 #constraints=3830 24.68/24.70 c nbDecision=15500 #constraints=3966 26.28/26.36 c nbDecision=16000 #constraints=4088 28.19/28.23 c nbDecision=16500 #constraints=4210 30.58/30.67 c nbDecision=17000 #constraints=4351 32.98/33.05 c nbDecision=17500 #constraints=4499 35.48/35.58 c nbDecision=18000 #constraints=4621 38.58/38.67 c nbDecision=18500 #constraints=4786 41.79/41.83 c nbDecision=19000 #constraints=4944 42.58/42.65 c nbDecision=19167 #constraints=4991 42.58/42.65 o 222 44.58/44.60 c nbDecision=19500 #constraints=5106 47.88/47.98 c nbDecision=20000 #constraints=5278 51.18/51.27 c nbDecision=20500 #constraints=5468 54.88/54.95 c nbDecision=21000 #constraints=5654 58.28/58.32 c nbDecision=21427 #constraints=5802 58.28/58.32 o 221 58.58/58.65 c nbDecision=21500 #constraints=5822 62.28/62.31 c nbDecision=22000 #constraints=6008 65.88/65.90 c nbDecision=22500 #constraints=6189 69.67/69.76 c nbDecision=23000 #constraints=6381 74.17/74.22 c nbDecision=23500 #constraints=6578 79.77/79.85 c nbDecision=24000 #constraints=6781 85.37/85.46 c nbDecision=24500 #constraints=6972 91.46/91.54 c nbDecision=25000 #constraints=7182 96.86/96.99 c nbDecision=25500 #constraints=7392 98.46/98.52 c restart after 25601 decisions 102.17/102.21 c nbDecision=26000 #constraints=7493 107.26/107.34 c nbDecision=26500 #constraints=7684 112.36/112.43 c nbDecision=27000 #constraints=7873 117.36/117.42 c nbDecision=27500 #constraints=8055 122.46/122.56 c nbDecision=28000 #constraints=8237 127.56/127.67 c nbDecision=28500 #constraints=8430 132.96/133.02 c nbDecision=29000 #constraints=8625 139.85/139.95 c nbDecision=29500 #constraints=8829 146.96/147.07 c nbDecision=30000 #constraints=9020 154.35/154.41 c nbDecision=30500 #constraints=9207 161.75/161.89 c nbDecision=31000 #constraints=9422 169.15/169.20 c nbDecision=31500 #constraints=9605 174.85/174.91 c nbDecision=32000 #constraints=9799 180.34/180.41 c nbDecision=32500 #constraints=9968 189.65/189.74 c nbDecision=33000 #constraints=10215 200.74/200.86 c nbDecision=33500 #constraints=10460 206.83/206.96 c nbDecision=34000 #constraints=10648 212.94/213.02 c nbDecision=34500 #constraints=10816 222.43/222.56 c nbDecision=35000 #constraints=11052 235.03/235.19 c nbDecision=35500 #constraints=11306 241.93/242.04 c nbDecision=36000 #constraints=11481 249.63/249.72 c nbDecision=36500 #constraints=11672 256.72/256.82 c nbDecision=37000 #constraints=11853 264.32/264.47 c nbDecision=37500 #constraints=12040 271.22/271.31 c nbDecision=38000 #constraints=12205 279.02/279.13 c nbDecision=38500 #constraints=12387 286.11/286.27 c nbDecision=39000 #constraints=12578 293.62/293.77 c nbDecision=39500 #constraints=12773 301.81/301.96 c nbDecision=40000 #constraints=12960 314.10/314.22 c nbDecision=40500 #constraints=13177 324.91/325.01 c nbDecision=41000 #constraints=13368 336.70/336.82 c nbDecision=41500 #constraints=13573 346.10/346.25 c nbDecision=42000 #constraints=13783 357.80/357.97 c nbDecision=42500 #constraints=13986 366.10/366.23 c nbDecision=43000 #constraints=14158 375.49/375.61 c nbDecision=43500 #constraints=14349 384.09/384.26 c nbDecision=44000 #constraints=14530 393.59/393.71 c nbDecision=44500 #constraints=14713 401.69/401.87 c nbDecision=45000 #constraints=14878 411.19/411.39 c nbDecision=45500 #constraints=15062 419.88/420.09 c nbDecision=46000 #constraints=15256 428.68/428.86 c nbDecision=46500 #constraints=15447 438.58/438.70 c nbDecision=47000 #constraints=15633 453.47/453.65 c nbDecision=47500 #constraints=15852 466.96/467.16 c nbDecision=48000 #constraints=16048 480.76/480.99 c nbDecision=48500 #constraints=16248 492.37/492.52 c nbDecision=49000 #constraints=16457 505.86/506.06 c nbDecision=49500 #constraints=16650 521.75/521.93 c nbDecision=50000 #constraints=16901 543.72/543.91 c nbDecision=50500 #constraints=17174 561.09/561.39 c nbDecision=51000 #constraints=17423 570.76/571.03 c restart after 51201 decisions 578.65/578.90 c nbDecision=51500 #constraints=17565 591.44/591.80 c nbDecision=52000 #constraints=17773 603.43/603.74 c nbDecision=52500 #constraints=17960 615.83/616.12 c nbDecision=53000 #constraints=18170 629.22/629.57 c nbDecision=53500 #constraints=18383 650.02/650.39 c nbDecision=54000 #constraints=18631 667.11/667.47 c nbDecision=54500 #constraints=18853 682.21/682.59 c nbDecision=55000 #constraints=19059 695.10/695.49 c nbDecision=55500 #constraints=19247 708.00/708.31 c nbDecision=56000 #constraints=19450 719.89/720.28 c nbDecision=56500 #constraints=19648 743.20/743.57 c nbDecision=57000 #constraints=19904 761.89/762.29 c nbDecision=57500 #constraints=20131 780.78/781.19 c nbDecision=58000 #constraints=20363 805.47/805.88 c nbDecision=58500 #constraints=20632 828.27/828.69 c nbDecision=59000 #constraints=20895 854.56/854.96 c nbDecision=59500 #constraints=21166 873.66/874.02 c nbDecision=60000 #constraints=21389 887.35/887.78 c nbDecision=60500 #constraints=21578 901.85/902.26 c nbDecision=61000 #constraints=21773 916.24/916.68 c nbDecision=61500 #constraints=21985 933.04/933.41 c nbDecision=62000 #constraints=22205 958.73/959.15 c nbDecision=62500 #constraints=22458 981.23/981.62 c nbDecision=63000 #constraints=22703 1000.53/1000.99 c nbDecision=63500 #constraints=22914 1016.12/1016.53 c nbDecision=64000 #constraints=23115 1031.81/1032.23 c nbDecision=64500 #constraints=23308 1047.01/1047.48 c nbDecision=65000 #constraints=23518 1061.50/1061.91 c nbDecision=65500 #constraints=23715 1091.40/1091.81 c nbDecision=66000 #constraints=23987 1115.00/1115.49 c nbDecision=66500 #constraints=24220 1149.38/1149.86 c nbDecision=67000 #constraints=24478 1206.57/1207.07 c nbDecision=67500 #constraints=24802 1263.66/1264.15 c nbDecision=68000 #constraints=25126 1319.04/1319.59 c nbDecision=68500 #constraints=25442 1346.84/1347.40 c nbDecision=69000 #constraints=25666 1362.83/1363.38 c nbDecision=69500 #constraints=25853 1379.02/1379.53 c nbDecision=70000 #constraints=26022 1394.42/1394.98 c nbDecision=70500 #constraints=26176 1410.12/1410.68 c nbDecision=71000 #constraints=26342 1426.51/1427.09 c nbDecision=71500 #constraints=26508 1452.81/1453.38 c nbDecision=72000 #constraints=26754 1470.80/1471.39 c nbDecision=72500 #constraints=26938 1497.09/1497.69 c nbDecision=73000 #constraints=27157 1521.49/1522.01 c nbDecision=73500 #constraints=27376 1537.48/1538.05 c nbDecision=74000 #constraints=27561 1554.58/1555.12 c nbDecision=74500 #constraints=27733 1571.57/1572.18 c nbDecision=75000 #constraints=27897 1588.07/1588.69 c nbDecision=75500 #constraints=28059 1605.86/1606.45 c nbDecision=76000 #constraints=28230 1626.06/1626.68 c nbDecision=76500 #constraints=28420 1651.45/1652.04 c nbDecision=77000 #constraints=28646 1674.95/1675.52 c nbDecision=77500 #constraints=28844 1701.64/1702.25 c nbDecision=78000 #constraints=29067 1724.44/1725.08 c nbDecision=78500 #constraints=29274 1743.33/1743.97 c nbDecision=79000 #constraints=29462 1764.23/1764.88 c nbDecision=79500 #constraints=29649 1781.72/1782.36 c nbDecision=80000 #constraints=29824 1799.71/1800.32 c nbDecision=80500 #constraints=29990 1800.02/1800.60 Received signal 15 1800.02/1800.69 1800.02/1800.69 s SATISFIABLE 1800.02/1800.69 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.02/1800.69 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.02/1800.69 v x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 x77 -x78 -x79 -x80 1800.02/1800.69 v x81 -x82 -x83 -x84 -x85 -x86 -x87 x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 x100 x101 -x102 -x103 -x104 -x105 1800.02/1800.69 v -x106 -x107 -x108 -x109 -x110 -x111 -x112 x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 x121 -x122 -x123 -x124 -x125 -x126 1800.02/1800.69 v -x127 x128 -x129 -x130 x131 -x132 -x133 -x134 x135 -x136 x137 -x138 x139 -x140 -x141 -x142 -x143 x144 x145 -x146 x147 -x148 1800.02/1800.69 v x149 -x150 -x151 x152 -x153 -x154 -x155 x156 x157 x158 x159 x160 x161 -x162 -x163 -x164 -x165 -x166 -x167 x168 -x169 -x170 1800.02/1800.69 v x171 -x172 -x173 x174 -x175 -x176 -x177 -x178 x179 -x180 -x181 x182 x183 x184 x185 -x186 -x187 x188 -x189 -x190 x191 x192 x193 1800.02/1800.69 v -x194 x195 -x196 x197 -x198 x199 -x200 -x201 -x202 -x203 -x204 x205 -x206 x207 -x208 -x209 x210 -x211 x212 x213 -x214 -x215 1800.02/1800.69 v x216 x217 x218 x219 -x220 x221 x222 x223 x224 -x225 -x226 x227 -x228 -x229 -x230 -x231 x232 -x233 x234 x235 -x236 -x237 -x238 1800.02/1800.69 v x239 -x240 -x241 x242 x243 -x244 -x245 -x246 -x247 x248 -x249 -x250 x251 x252 -x253 x254 x255 x256 -x257 x258 x259 x260 -x261 1800.02/1800.69 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.02/1800.69 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.02/1800.69 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.02/1800.69 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.02/1800.69 v x358 x359 x360 x361 x362 x363 -x364 x365 -x366 x367 x368 x369 -x370 x371 x372 -x373 -x374 -x375 x376 x377 x378 x379 x380 x381 1800.02/1800.69 v x382 -x383 x384 x385 x386 x387 -x388 -x389 x390 -x391 x392 -x393 x394 -x395 x396 x397 -x398 x399 -x400 x401 x402 x403 x404 x405 1800.02/1800.69 v x406 x407 -x408 x409 x410 x411 x412 -x413 x414 x415 x416 x417 x418 -x419 -x420 -x421 -x422 x423 -x424 -x425 -x426 x427 x428 1800.02/1800.69 v -x429 x430 x431 x432 -x433 x434 x435 -x436 x437 x438 -x439 -x440 x441 x442 x443 x444 x445 x446 x447 x448 x449 x450 x451 x452 1800.02/1800.69 v x453 -x454 -x455 x456 x457 x458 x459 -x460 x461 x462 x463 -x464 x465 x466 x467 x468 x469 x470 1800.02/1800.69 1800.02/1800.69 c user time= 1799.49 s 1800.02/1800.69 c system time= 0.629904 s 1800.02/1800.69 c wall clock time=1800.69
OK 221
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node47/watcher-357073-1176853922 -o ROOT/results/node47/solver-357073-1176853922 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357073-1176853922/instance-357073-1176853922.opb mod Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.95 0.98 3/77 1253 /proc/meminfo: memFree=1829120/2055920 swapFree=4183732/4192956 [pid=1253] ppid=1251 vsize=1468 CPUtime=0 /proc/1253/stat : 1253 (oree) R 1251 1253 907 0 -1 4194304 182 0 0 0 0 0 0 0 18 0 1 0 40237552 1503232 164 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1253/statm: 367 164 131 317 0 46 0 [startup+0.019168 s] /proc/loadavg: 0.92 0.95 0.98 3/77 1253 /proc/meminfo: memFree=1829120/2055920 swapFree=4183732/4192956 [pid=1253] ppid=1251 vsize=1732 CPUtime=0.01 /proc/1253/stat : 1253 (oree) R 1251 1253 907 0 -1 4194304 250 0 0 0 1 0 0 0 18 0 1 0 40237552 1773568 232 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1253/statm: 433 232 137 317 0 112 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 1732 [startup+0.101177 s] /proc/loadavg: 0.92 0.95 0.98 3/77 1253 /proc/meminfo: memFree=1829120/2055920 swapFree=4183732/4192956 [pid=1253] ppid=1251 vsize=2268 CPUtime=0.09 /proc/1253/stat : 1253 (oree) R 1251 1253 907 0 -1 4194304 420 0 0 0 9 0 0 0 18 0 1 0 40237552 2322432 402 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1253/statm: 567 402 170 317 0 246 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2268 [startup+0.301198 s] /proc/loadavg: 0.92 0.95 0.98 3/77 1253 /proc/meminfo: memFree=1829120/2055920 swapFree=4183732/4192956 [pid=1253] ppid=1251 vsize=3444 CPUtime=0.29 /proc/1253/stat : 1253 (oree) R 1251 1253 907 0 -1 4194304 723 0 0 0 29 0 0 0 19 0 1 0 40237552 3526656 705 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1253/statm: 861 705 170 317 0 540 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3444 [startup+0.701242 s] /proc/loadavg: 0.92 0.95 0.98 3/77 1253 /proc/meminfo: memFree=1829120/2055920 swapFree=4183732/4192956 [pid=1253] ppid=1251 vsize=5668 CPUtime=0.69 /proc/1253/stat : 1253 (oree) R 1251 1253 907 0 -1 4194304 1269 0 0 0 69 0 0 0 22 0 1 0 40237552 5804032 1251 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1253/statm: 1417 1251 170 317 0 1096 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5668 [startup+1.50133 s] /proc/loadavg: 0.92 0.95 0.98 2/78 1254 /proc/meminfo: memFree=1823800/2055920 swapFree=4183732/4192956 [pid=1253] ppid=1251 vsize=9372 CPUtime=1.49 /proc/1253/stat : 1253 (oree) R 1251 1253 907 0 -1 4194304 2204 0 0 0 148 1 0 0 25 0 1 0 40237552 9596928 2186 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1253/statm: 2343 2186 170 317 0 2022 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9372 [startup+3.1025 s] /proc/loadavg: 0.93 0.96 0.98 2/78 1254 /proc/meminfo: memFree=1819000/2055920 swapFree=4183732/4192956 [pid=1253] ppid=1251 vsize=15388 CPUtime=3.1 /proc/1253/stat : 1253 (oree) R 1251 1253 907 0 -1 4194304 3589 0 0 0 308 2 0 0 25 0 1 0 40237552 15757312 3571 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562695 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1253/statm: 3847 3571 170 317 0 3526 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 15388 [startup+6.30185 s] /proc/loadavg: 0.93 0.96 0.98 2/78 1254 /proc/meminfo: memFree=1811000/2055920 swapFree=4183732/4192956 [pid=1253] ppid=1251 vsize=20768 CPUtime=6.29 /proc/1253/stat : 1253 (oree) R 1251 1253 907 0 -1 4194304 5025 0 0 0 626 3 0 0 25 0 1 0 40237552 21266432 5007 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1253/statm: 5192 5007 170 317 0 4871 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 20768 [startup+12.7015 s] /proc/loadavg: 0.94 0.96 0.98 3/78 1254 /proc/meminfo: memFree=1800696/2055920 swapFree=4183732/4192956 [pid=1253] ppid=1251 vsize=31604 CPUtime=12.68 /proc/1253/stat : 1253 (oree) R 1251 1253 907 0 -1 4194304 7432 0 0 0 1264 4 0 0 25 0 1 0 40237552 32362496 7414 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1253/statm: 7901 7414 170 317 0 7580 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 31604 [startup+25.5019 s] /proc/loadavg: 0.95 0.96 0.98 2/78 1254 /proc/meminfo: memFree=1788024/2055920 swapFree=4183732/4192956 [pid=1253] ppid=1251 vsize=42444 CPUtime=25.48 /proc/1253/stat : 1253 (oree) R 1251 1253 907 0 -1 4194304 10426 0 0 0 2542 6 0 0 25 0 1 0 40237552 43462656 10408 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1253/statm: 10611 10408 170 317 0 10290 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 42444 [startup+51.1017 s] /proc/loadavg: 0.96 0.96 0.98 2/78 1254 /proc/meminfo: memFree=1769720/2055920 swapFree=4183732/4192956 [pid=1253] ppid=1251 vsize=63280 CPUtime=51.08 /proc/1253/stat : 1253 (oree) R 1251 1253 907 0 -1 4194304 15015 0 0 0 5098 10 0 0 25 0 1 0 40237552 64798720 14997 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1253/statm: 15820 14997 170 317 0 15499 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 63280 [startup+102.305 s] /proc/loadavg: 0.98 0.97 0.98 2/78 1254 /proc/meminfo: memFree=1748024/2055920 swapFree=4183732/4192956 [pid=1253] ppid=1251 vsize=82892 CPUtime=102.27 /proc/1253/stat : 1253 (oree) R 1251 1253 907 0 -1 4194304 20345 0 0 0 10214 13 0 0 25 0 1 0 40237552 84881408 20327 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1253/statm: 20723 20327 170 317 0 20402 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 82892 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 1254 /proc/meminfo: memFree=1722232/2055920 swapFree=4183732/4192956 [pid=1253] ppid=1251 vsize=115144 CPUtime=162.24 /proc/1253/stat : 1253 (oree) R 1251 1253 907 0 -1 4194304 26882 0 0 0 16208 16 0 0 25 0 1 0 40237552 117907456 26806 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1253/statm: 28786 26806 170 317 0 28465 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 115144 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 1254 /proc/meminfo: memFree=1705528/2055920 swapFree=4183732/4192956 [pid=1253] ppid=1251 vsize=130672 CPUtime=222.23 /proc/1253/stat : 1253 (oree) R 1251 1253 907 0 -1 4194304 30993 0 0 0 22204 19 0 0 25 0 1 0 40237552 133808128 30917 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1253/statm: 32668 30917 170 317 0 32347 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 130672 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 1254 /proc/meminfo: memFree=1691064/2055920 swapFree=4183732/4192956 [pid=1253] ppid=1251 vsize=144220 CPUtime=282.22 /proc/1253/stat : 1253 (oree) R 1251 1253 907 0 -1 4194304 34639 0 0 0 28200 22 0 0 25 0 1 0 40237552 147681280 34563 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1253/statm: 36055 34563 170 317 0 35734 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 144220 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 1254 /proc/meminfo: memFree=1678520/2055920 swapFree=4183732/4192956 [pid=1253] ppid=1251 vsize=155600 CPUtime=342.2 /proc/1253/stat : 1253 (oree) R 1251 1253 907 0 -1 4194304 37740 0 0 0 34196 24 0 0 25 0 1 0 40237552 159334400 37664 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1253/statm: 38900 37664 170 317 0 38579 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 155600 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 1254 /proc/meminfo: memFree=1666296/2055920 swapFree=4183732/4192956 [pid=1253] ppid=1251 vsize=166576 CPUtime=402.19 /proc/1253/stat : 1253 (oree) R 1251 1253 907 0 -1 4194304 40809 0 0 0 40192 27 0 0 25 0 1 0 40237552 170573824 40733 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1253/statm: 41644 40733 170 317 0 41323 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 166576 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 1254 /proc/meminfo: memFree=1654968/2055920 swapFree=4183732/4192956 [pid=1253] ppid=1251 vsize=177008 CPUtime=462.17 /proc/1253/stat : 1253 (oree) R 1251 1253 907 0 -1 4194304 43590 0 0 0 46189 28 0 0 25 0 1 0 40237552 181256192 43514 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1253/statm: 44252 43514 170 317 0 43931 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 177008 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 1254 /proc/meminfo: memFree=1638968/2055920 swapFree=4183732/4192956 [pid=1253] ppid=1251 vsize=212504 CPUtime=522.15 /proc/1253/stat : 1253 (oree) R 1251 1253 907 0 -1 4194304 51122 0 0 0 52183 32 0 0 25 0 1 0 40237552 217604096 47467 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1253/statm: 53126 47467 170 317 0 52805 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 212504 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.98 2/84 1426 /proc/meminfo: memFree=1630712/2055920 swapFree=4183732/4192956 [pid=1253] ppid=1251 vsize=219368 CPUtime=582.04 /proc/1253/stat : 1253 (oree) R 1251 1253 907 0 -1 4194304 52906 0 0 0 58170 34 0 0 25 0 1 0 40237552 224632832 49251 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1253/statm: 54842 49251 170 317 0 54521 0 Current children cumulated CPU time (s) 582.04 Current children cumulated vsize (KiB) 219368 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 1452 /proc/meminfo: memFree=1621816/2055920 swapFree=4183732/4192956 [pid=1253] ppid=1251 vsize=228128 CPUtime=642.02 /proc/1253/stat : 1253 (oree) R 1251 1253 907 0 -1 4194304 55408 0 0 0 64167 35 0 0 25 0 1 0 40237552 233603072 51720 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1253/statm: 57032 51720 170 317 0 56711 0 Current children cumulated CPU time (s) 642.02 Current children cumulated vsize (KiB) 228128 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 1452 /proc/meminfo: memFree=1589688/2055920 swapFree=4183732/4192956 [pid=1253] ppid=1251 vsize=256544 CPUtime=881.95 /proc/1253/stat : 1253 (oree) R 1251 1253 907 0 -1 4194304 63482 0 0 0 88153 42 0 0 25 0 1 0 40237552 262701056 59728 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1253/statm: 64136 59728 170 317 0 63815 0 Current children cumulated CPU time (s) 881.95 Current children cumulated vsize (KiB) 256544 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 1454 /proc/meminfo: memFree=1582008/2055920 swapFree=4183732/4192956 [pid=1253] ppid=1251 vsize=263652 CPUtime=941.94 /proc/1253/stat : 1253 (oree) R 1251 1253 907 0 -1 4194304 65411 0 0 0 94150 44 0 0 25 0 1 0 40237552 269979648 61657 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1253/statm: 65913 61657 170 317 0 65592 0 Current children cumulated CPU time (s) 941.94 Current children cumulated vsize (KiB) 263652 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 1454 /proc/meminfo: memFree=1575416/2055920 swapFree=4183732/4192956 [pid=1253] ppid=1251 vsize=269692 CPUtime=1001.92 /proc/1253/stat : 1253 (oree) R 1251 1253 907 0 -1 4194304 67078 0 0 0 100146 46 0 0 25 0 1 0 40237552 276164608 63324 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1253/statm: 67423 63324 170 317 0 67102 0 Current children cumulated CPU time (s) 1001.92 Current children cumulated vsize (KiB) 269692 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 1454 /proc/meminfo: memFree=1566968/2055920 swapFree=4183732/4192956 [pid=1253] ppid=1251 vsize=276928 CPUtime=1061.9 /proc/1253/stat : 1253 (oree) R 1251 1253 907 0 -1 4194304 69187 0 0 0 106143 47 0 0 25 0 1 0 40237552 283574272 65433 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1253/statm: 69232 65433 170 317 0 68911 0 Current children cumulated CPU time (s) 1061.9 Current children cumulated vsize (KiB) 276928 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 1454 /proc/meminfo: memFree=1560824/2055920 swapFree=4183732/4192956 [pid=1253] ppid=1251 vsize=282412 CPUtime=1121.89 /proc/1253/stat : 1253 (oree) R 1251 1253 907 0 -1 4194304 70715 0 0 0 112140 49 0 0 25 0 1 0 40237552 289189888 66961 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1253/statm: 70603 66961 170 317 0 70282 0 Current children cumulated CPU time (s) 1121.89 Current children cumulated vsize (KiB) 282412 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 1454 /proc/meminfo: memFree=1555448/2055920 swapFree=4183732/4192956 [pid=1253] ppid=1251 vsize=287168 CPUtime=1181.87 /proc/1253/stat : 1253 (oree) R 1251 1253 907 0 -1 4194304 72050 0 0 0 118137 50 0 0 25 0 1 0 40237552 294060032 68296 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1253/statm: 71792 68296 170 317 0 71471 0 Current children cumulated CPU time (s) 1181.87 Current children cumulated vsize (KiB) 287168 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 1454 /proc/meminfo: memFree=1550968/2055920 swapFree=4183732/4192956 [pid=1253] ppid=1251 vsize=291724 CPUtime=1241.86 /proc/1253/stat : 1253 (oree) R 1251 1253 907 0 -1 4194304 73170 0 0 0 124135 51 0 0 25 0 1 0 40237552 298725376 69416 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1253/statm: 72931 69416 170 317 0 72610 0 Current children cumulated CPU time (s) 1241.86 Current children cumulated vsize (KiB) 291724 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 1454 /proc/meminfo: memFree=1545848/2055920 swapFree=4183732/4192956 [pid=1253] ppid=1251 vsize=296188 CPUtime=1301.85 /proc/1253/stat : 1253 (oree) R 1251 1253 907 0 -1 4194304 74449 0 0 0 130133 52 0 0 25 0 1 0 40237552 303296512 70662 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1253/statm: 74047 70662 170 317 0 73726 0 Current children cumulated CPU time (s) 1301.85 Current children cumulated vsize (KiB) 296188 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 1454 /proc/meminfo: memFree=1539768/2055920 swapFree=4183732/4192956 [pid=1253] ppid=1251 vsize=301760 CPUtime=1361.83 /proc/1253/stat : 1253 (oree) R 1251 1253 907 0 -1 4194304 75990 0 0 0 136130 53 0 0 25 0 1 0 40237552 309002240 72203 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715809 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1253/statm: 75440 72203 170 317 0 75119 0 Current children cumulated CPU time (s) 1361.83 Current children cumulated vsize (KiB) 301760 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.98 2/78 1454 /proc/meminfo: memFree=1532536/2055920 swapFree=4183732/4192956 [pid=1253] ppid=1251 vsize=308540 CPUtime=1421.82 /proc/1253/stat : 1253 (oree) R 1251 1253 907 0 -1 4194304 77777 0 0 0 142128 54 0 0 25 0 1 0 40237552 315944960 73990 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1253/statm: 77135 73990 170 317 0 76814 0 Current children cumulated CPU time (s) 1421.82 Current children cumulated vsize (KiB) 308540 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 1454 /proc/meminfo: memFree=1525880/2055920 swapFree=4183732/4192956 [pid=1253] ppid=1251 vsize=314864 CPUtime=1481.8 /proc/1253/stat : 1253 (oree) R 1251 1253 907 0 -1 4194304 79511 0 0 0 148124 56 0 0 25 0 1 0 40237552 322420736 75658 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1253/statm: 78716 75658 170 317 0 78395 0 Current children cumulated CPU time (s) 1481.8 Current children cumulated vsize (KiB) 314864 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 1454 /proc/meminfo: memFree=1519224/2055920 swapFree=4183732/4192956 [pid=1253] ppid=1251 vsize=320784 CPUtime=1541.78 /proc/1253/stat : 1253 (oree) R 1251 1253 907 0 -1 4194304 81165 0 0 0 154122 56 0 0 25 0 1 0 40237552 328482816 77312 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1253/statm: 80196 77312 170 317 0 79875 0 Current children cumulated CPU time (s) 1541.78 Current children cumulated vsize (KiB) 320784 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 1454 /proc/meminfo: memFree=1511864/2055920 swapFree=4183732/4192956 [pid=1253] ppid=1251 vsize=327460 CPUtime=1601.76 /proc/1253/stat : 1253 (oree) R 1251 1253 907 0 -1 4194304 83142 0 0 0 160118 58 0 0 25 0 1 0 40237552 335319040 79157 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1253/statm: 81865 79157 170 317 0 81544 0 Current children cumulated CPU time (s) 1601.76 Current children cumulated vsize (KiB) 327460 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 1454 /proc/meminfo: memFree=1505208/2055920 swapFree=4183732/4192956 [pid=1253] ppid=1251 vsize=333884 CPUtime=1661.75 /proc/1253/stat : 1253 (oree) R 1251 1253 907 0 -1 4194304 84835 0 0 0 166115 60 0 0 25 0 1 0 40237552 341897216 80817 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1253/statm: 83471 80817 170 317 0 83150 0 Current children cumulated CPU time (s) 1661.75 Current children cumulated vsize (KiB) 333884 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 1454 /proc/meminfo: memFree=1499448/2055920 swapFree=4183732/4192956 [pid=1253] ppid=1251 vsize=338868 CPUtime=1721.74 /proc/1253/stat : 1253 (oree) R 1251 1253 907 0 -1 4194304 86256 0 0 0 172113 61 0 0 25 0 1 0 40237552 347000832 82238 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1253/statm: 84717 82238 170 317 0 84396 0 Current children cumulated CPU time (s) 1721.74 Current children cumulated vsize (KiB) 338868 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 1454 /proc/meminfo: memFree=1492600/2055920 swapFree=4183732/4192956 [pid=1253] ppid=1251 vsize=345036 CPUtime=1781.72 /proc/1253/stat : 1253 (oree) R 1251 1253 907 0 -1 4194304 87970 0 0 0 178110 62 0 0 25 0 1 0 40237552 353316864 83952 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1253/statm: 86259 83952 170 317 0 85938 0 Current children cumulated CPU time (s) 1781.72 Current children cumulated vsize (KiB) 345036 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.97 0.98 2/78 1454 /proc/meminfo: memFree=1490680/2055920 swapFree=4183732/4192956 [pid=1253] ppid=1251 vsize=347132 CPUtime=1800.02 /proc/1253/stat : 1253 (oree) R 1251 1253 907 0 -1 4194304 88423 0 0 0 179940 62 0 0 25 0 1 0 40237552 355463168 84405 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1253/statm: 86783 84405 170 317 0 86462 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 347132 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 0.99 0.97 0.98 2/78 1454 /proc/meminfo: memFree=1490680/2055920 swapFree=4183732/4192956 [pid=1253] ppid=1251 vsize=295812 CPUtime=1800.12 /proc/1253/stat : 1253 (oree) R 1251 1253 907 0 -1 4194304 88448 0 0 0 179949 63 0 0 25 0 1 0 40237552 302911488 73552 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135339169 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1253/statm: 73855 73522 186 317 0 73534 0 Current children cumulated CPU time (s) 1800.12 Current children cumulated vsize (KiB) 295812 Child status: 0 Real time (s): 1800.76 CPU time (s): 1800.18 CPU user time (s): 1799.5 CPU system time (s): 0.683896 CPU usage (%): 99.9678 Max. virtual memory (cumulated for all children) (KiB): 347132 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.5 system time used= 0.683896 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 88448 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= 2116 runsolver used 1.9867 second user time and 4.5843 second system time The end
Begin job on node47 on Tue Apr 17 23:52:02 UTC 2007 IDJOB= 357073 IDBENCH= 1958 IDSOLVER= 172 FILE ID= node47/357073-1176853922 PBS_JOBID= 4590237 Free space on /tmp= 66525 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_18.opb.PB06.opb COMMAND LINE= oree /tmp/evaluation/357073-1176853922/instance-357073-1176853922.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node47/watcher-357073-1176853922 -o ROOT/results/node47/solver-357073-1176853922 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357073-1176853922/instance-357073-1176853922.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 7db364152f2aec17f16cb8adef9dc3c7 RANDOM SEED= 62004761 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node47.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.221 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.221 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: 1829592 kB Buffers: 33352 kB Cached: 100164 kB SwapCached: 2960 kB Active: 101788 kB Inactive: 80432 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1829592 kB SwapTotal: 4192956 kB SwapFree: 4183732 kB Dirty: 1360 kB Writeback: 0 kB Mapped: 63552 kB Slab: 29664 kB Committed_AS: 2547256 kB PageTables: 1776 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= 66525 MiB End job on node47 on Wed Apr 18 00:22:05 UTC 2007