Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT | 54 | 1800.01 | 1800.46 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-e64.b.opb |
MD5SUM | 4a444f89cff56050e88660d23e3d8694 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 47 |
Best CPU time to get the best result obtained on this benchmark | 1800.06 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 47 |
Optimality of the best value was proved | NO |
Number of variables | 607 |
Total number of constraints | 1022 |
Number of constraints which are clauses | 1022 |
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 | 32 |
Number of terms in the objective function | 607 |
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 | 607 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 607 |
Number of bits of the biggest sum of numbers | 10 |
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 bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT 0.00/0.00 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/352825-1176642593/instance-352825-1176642593.opb 0.00/0.00 c File size is 75788 bytes. 0.00/0.01 c Highest Coefficient sum: 607 0.00/0.01 c Parsing was ok!! 0.00/0.01 c Total parsing time: 0.014 s 0.00/0.01 c Var: 607 Constr: 1022 1022/0/0 Lit: 8200 Watch. Lit: 2044 0.00/0.01 c Obj. Vars: 607 (100 % of total variables) 0.00/0.03 c Formula reductions applied at preprocessing 0.00/0.03 c Pre-processing Time: 0.029 s 0.08/0.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.08/0.10 c 0 571 922 7143 7 1844 307 0 0 0.03 0.08/0.10 c Initial Lower Bound: 37 0.08/0.10 c Initial Path Cost: 0 0.08/0.11 o 84 0.102 0.78/0.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.78/0.80 c 1 571 924 7730 8 2335 1307 2 9 0.10 0.78/0.80 o 58 0.793 * 2.58/2.63 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.58/2.63 c 3 571 927 8323 8 2854 1307 5 3 0.79 2.58/2.63 c 103 571 1126 35996 31 3252 1438 204 53 1.92 2.58/2.63 o 57 2.625 * 18.58/18.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 18.58/18.70 c 106 571 1132 37170 32 3778 1307 210 40 2.62 18.58/18.70 c 206 571 1330 59736 44 4174 1438 408 57 3.61 18.58/18.70 c 456 571 1830 117375 64 5174 1582 908 88 5.16 18.58/18.70 c 931 571 1828 101316 55 4170 1741 906 121 7.64 18.58/18.70 c 1744 571 2399 154877 64 5312 1916 1477 151 11.47 18.58/18.70 c 3064 571 2746 202128 73 6006 2108 1824 169 18.07 18.58/18.70 o 56 18.692 * 26.78/26.82 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 26.78/26.82 c 3081 571 2781 206145 74 6591 1307 1859 164 18.69 26.78/26.82 c 3181 571 1777 97759 55 4069 1438 855 160 19.78 26.78/26.82 c 3431 571 2277 159789 70 5069 1582 1355 160 21.37 26.78/26.82 c 3906 571 2274 144616 63 5063 1741 1352 163 23.94 26.78/26.82 o 55 26.807 * 88.86/88.90 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 88.86/88.90 c 4483 571 2377 166655 70 5785 1307 1455 167 26.81 88.86/88.90 c 4583 571 1775 101198 57 4066 1438 853 164 27.87 88.86/88.90 c 4833 571 2275 150097 65 5066 1582 1353 164 29.39 88.86/88.90 c 5308 571 2275 146488 64 5066 1741 1353 166 31.91 88.86/88.90 c 6121 571 1839 99729 54 4194 1916 917 169 36.02 88.86/88.90 c 7441 571 2255 130989 58 5026 2108 1333 173 42.97 88.86/88.90 c 9522 571 2810 192098 68 6136 2319 1888 179 52.96 88.86/88.90 c 12745 571 2543 186893 73 5602 2551 1621 191 66.46 88.86/88.90 c 17681 571 2524 152615 60 5564 2807 1602 200 88.10 88.86/88.90 o 54 88.874 * 1799.94/1800.45 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.94/1800.45 c 17729 571 2621 163451 62 6275 1307 1699 199 88.87 1799.94/1800.45 c 17829 571 1777 88265 49 4071 1438 855 198 89.77 1799.94/1800.45 c 18079 571 2277 128381 56 5071 1582 1355 198 91.29 1799.94/1800.45 c 18554 571 2249 134540 59 5015 1741 1327 197 94.08 1799.94/1800.45 c 19367 571 1819 90253 49 4155 1916 897 197 98.28 1799.94/1800.45 c 20687 571 2263 136203 60 5043 2108 1341 198 104.40 1799.94/1800.45 c 22768 571 2782 192799 69 6081 2319 1860 199 113.85 1799.94/1800.45 c 25991 571 2696 176734 65 5909 2551 1774 202 128.35 1799.94/1800.45 c 30927 571 2483 175084 70 5483 2807 1561 205 150.19 1799.94/1800.45 c 38433 571 3568 252263 70 7653 3088 2646 211 181.89 1799.94/1800.45 c 49794 571 2798 160828 57 6113 3397 1876 214 231.65 1799.94/1800.45 c 66938 571 3653 278753 76 7823 3737 2731 217 308.13 1799.94/1800.45 c 92757 571 2792 163397 58 6101 4111 1870 222 416.82 1799.94/1800.45 c 131589 571 3825 247982 64 8167 4523 2903 225 584.58 1799.94/1800.45 c 189941 571 3365 271204 80 7247 4976 2443 227 835.55 1799.94/1800.45 c 277573 571 4473 349815 78 9463 5474 3551 223 1239.66 1799.94/1800.45 c Resources Exceeded 1799.94/1800.45 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 -x29 1799.94/1800.45 v -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 1799.94/1800.45 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 1799.94/1800.45 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 1799.94/1800.45 v -x107 -x108 -x109 x110 -x111 -x112 -x113 -x114 x115 -x116 -x117 x118 -x119 -x120 x121 -x122 -x123 -x124 -x125 -x126 -x127 1799.94/1800.45 v -x128 -x129 x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 x145 -x146 -x147 -x148 1799.94/1800.45 v -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 x168 -x169 1799.94/1800.45 v -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 1799.94/1800.45 v x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 1799.94/1800.45 v -x212 -x213 -x214 -x215 x216 -x217 -x218 x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 x228 -x229 -x230 x231 -x232 1799.94/1800.45 v -x233 -x234 -x235 -x236 -x237 -x238 -x239 x240 -x241 -x242 -x243 -x244 -x245 x246 -x247 -x248 x249 -x250 -x251 -x252 -x253 1799.94/1800.45 v -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 x268 -x269 -x270 -x271 -x272 -x273 -x274 1799.94/1800.45 v -x275 x276 -x277 -x278 -x279 x280 -x281 -x282 -x283 -x284 x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 1799.94/1800.45 v -x296 -x297 -x298 -x299 -x300 x301 -x302 x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 x313 -x314 -x315 -x316 1799.94/1800.45 v -x317 -x318 -x319 -x320 -x321 -x322 x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 x337 1799.94/1800.45 v -x338 -x339 -x340 -x341 -x342 -x343 -x344 x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 1799.94/1800.45 v -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 1799.94/1800.45 v -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 x389 x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 1799.94/1800.45 v -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 1799.94/1800.45 v x422 -x423 -x424 -x425 -x426 -x427 x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 1799.94/1800.45 v -x443 -x444 x445 -x446 -x447 -x448 -x449 -x450 -x451 x452 -x453 -x454 -x455 x456 -x457 -x458 -x459 -x460 -x461 x462 -x463 1799.94/1800.45 v -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 1799.94/1800.45 v -x485 -x486 x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 1799.94/1800.45 v -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 x517 -x518 -x519 -x520 -x521 -x522 x523 -x524 -x525 -x526 1799.94/1800.45 v -x527 -x528 -x529 -x530 -x531 -x532 x533 -x534 x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 1799.94/1800.45 v -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 1799.94/1800.45 v -x569 -x570 -x571 x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 1799.94/1800.45 v -x590 -x591 -x592 -x593 -x594 x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 1799.94/1800.45 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.94/1800.45 c 38 395023 582 433701 5559 556639 4637 219 1800.00 1799.94/1800.45 c Objective: 54 1799.94/1800.45 s SATISFIABLE 1799.94/1800.45 c Total time: 1800 s
OK 54
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node55/watcher-352825-1176642593 -o ROOT/results/node55/solver-352825-1176642593 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/352825-1176642593/instance-352825-1176642593.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.91 0.95 0.98 3/64 7336 /proc/meminfo: memFree=1872372/2055920 swapFree=4184748/4192956 [pid=7336] ppid=7334 vsize=11812 CPUtime=0 /proc/7336/stat : 7336 (bsolo3.0.16) R 7334 7336 6515 0 -1 4194304 367 0 0 0 0 0 0 0 18 0 1 0 112169320 12095488 335 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7336/statm: 2953 335 281 324 0 2003 0 [startup+0.0551891 s] /proc/loadavg: 0.91 0.95 0.98 3/64 7336 /proc/meminfo: memFree=1872372/2055920 swapFree=4184748/4192956 [pid=7336] ppid=7334 vsize=4916 CPUtime=0.04 /proc/7336/stat : 7336 (bsolo3.0.16) R 7334 7336 6515 0 -1 4194304 660 0 2 0 4 0 0 0 18 0 1 0 112169320 5033984 610 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135468242 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7336/statm: 1229 610 332 324 0 298 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 4916 [startup+0.101193 s] /proc/loadavg: 0.91 0.95 0.98 3/64 7336 /proc/meminfo: memFree=1872372/2055920 swapFree=4184748/4192956 [pid=7336] ppid=7334 vsize=6412 CPUtime=0.08 /proc/7336/stat : 7336 (bsolo3.0.16) R 7334 7336 6515 0 -1 4194304 963 0 2 0 8 0 0 0 18 0 1 0 112169320 6565888 872 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135315846 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7336/statm: 1603 872 390 324 0 672 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 6412 [startup+0.301212 s] /proc/loadavg: 0.91 0.95 0.98 3/64 7336 /proc/meminfo: memFree=1872372/2055920 swapFree=4184748/4192956 [pid=7336] ppid=7334 vsize=6440 CPUtime=0.28 /proc/7336/stat : 7336 (bsolo3.0.16) R 7334 7336 6515 0 -1 4194304 5411 0 2 0 26 2 0 0 19 0 1 0 112169320 6594560 798 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 7284347 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7336/statm: 1610 798 394 324 0 679 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 6440 [startup+0.70125 s] /proc/loadavg: 0.91 0.95 0.98 3/64 7336 /proc/meminfo: memFree=1872372/2055920 swapFree=4184748/4192956 [pid=7336] ppid=7334 vsize=6356 CPUtime=0.68 /proc/7336/stat : 7336 (bsolo3.0.16) R 7334 7336 6515 0 -1 4194304 15974 0 2 0 62 6 0 0 22 0 1 0 112169320 6508544 754 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 7284293 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7336/statm: 1589 754 394 324 0 658 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 6356 [startup+1.50133 s] /proc/loadavg: 0.91 0.95 0.98 2/65 7337 /proc/meminfo: memFree=1870188/2055920 swapFree=4184748/4192956 [pid=7336] ppid=7334 vsize=4952 CPUtime=1.49 /proc/7336/stat : 7336 (bsolo3.0.16) R 7334 7336 6515 0 -1 4194304 32871 0 2 0 138 11 0 0 25 0 1 0 112169320 5070848 713 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7336/statm: 1238 713 394 324 0 307 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 4952 [startup+3.10148 s] /proc/loadavg: 0.91 0.95 0.98 2/65 7337 /proc/meminfo: memFree=1869612/2055920 swapFree=4184748/4192956 [pid=7336] ppid=7334 vsize=6896 CPUtime=3.09 /proc/7336/stat : 7336 (bsolo3.0.16) R 7334 7336 6515 0 -1 4194304 63369 0 2 0 287 22 0 0 25 0 1 0 112169320 7061504 883 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135349858 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7336/statm: 1724 889 394 324 0 793 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 6896 [startup+6.30178 s] /proc/loadavg: 0.92 0.95 0.98 2/65 7337 /proc/meminfo: memFree=1868140/2055920 swapFree=4184748/4192956 [pid=7336] ppid=7334 vsize=8408 CPUtime=6.28 /proc/7336/stat : 7336 (bsolo3.0.16) R 7334 7336 6515 0 -1 4194304 99053 0 2 0 590 38 0 0 25 0 1 0 112169320 8609792 1310 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134792594 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7336/statm: 2102 1310 394 324 0 1171 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 8408 [startup+12.7014 s] /proc/loadavg: 0.93 0.95 0.98 2/65 7337 /proc/meminfo: memFree=1866996/2055920 swapFree=4184748/4192956 [pid=7336] ppid=7334 vsize=8684 CPUtime=12.68 /proc/7336/stat : 7336 (bsolo3.0.16) R 7334 7336 6515 0 -1 4194304 156984 0 2 0 1200 68 0 0 25 0 1 0 112169320 8892416 1535 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 7285838 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7336/statm: 2247 1540 394 324 0 1316 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 8684 [startup+25.5016 s] /proc/loadavg: 0.94 0.96 0.98 2/65 7337 /proc/meminfo: memFree=1866932/2055920 swapFree=4184748/4192956 [pid=7336] ppid=7334 vsize=8384 CPUtime=25.48 /proc/7336/stat : 7336 (bsolo3.0.16) R 7334 7336 6515 0 -1 4194304 275868 0 2 0 2419 129 0 0 25 0 1 0 112169320 8585216 1570 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7336/statm: 2096 1570 394 324 0 1165 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 8384 [startup+51.101 s] /proc/loadavg: 0.96 0.96 0.98 2/65 7337 /proc/meminfo: memFree=1866740/2055920 swapFree=4184748/4192956 [pid=7336] ppid=7334 vsize=9608 CPUtime=51.07 /proc/7336/stat : 7336 (bsolo3.0.16) R 7334 7336 6515 0 -1 4194304 504479 0 2 0 4859 248 0 0 25 0 1 0 112169320 9838592 1652 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 7285838 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7336/statm: 2402 1653 394 324 0 1471 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 9608 [startup+102.306 s] /proc/loadavg: 0.98 0.96 0.98 2/65 7337 /proc/meminfo: memFree=1865524/2055920 swapFree=4184748/4192956 [pid=7336] ppid=7334 vsize=9732 CPUtime=102.27 /proc/7336/stat : 7336 (bsolo3.0.16) R 7334 7336 6515 0 -1 4194304 943482 0 2 0 9754 473 0 0 25 0 1 0 112169320 9965568 1909 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7336/statm: 2433 1909 394 324 0 1502 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 9732 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7337 /proc/meminfo: memFree=1865524/2055920 swapFree=4184748/4192956 [pid=7336] ppid=7334 vsize=10896 CPUtime=162.25 /proc/7336/stat : 7336 (bsolo3.0.16) R 7334 7336 6515 0 -1 4194304 1474601 0 2 0 15475 750 0 0 25 0 1 0 112169320 11157504 1925 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135313633 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7336/statm: 2608 1918 394 324 0 1677 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 10896 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7337 /proc/meminfo: memFree=1865524/2055920 swapFree=4184748/4192956 [pid=7336] ppid=7334 vsize=10928 CPUtime=222.23 /proc/7336/stat : 7336 (bsolo3.0.16) R 7334 7336 6515 0 -1 4194304 2023831 0 2 0 21182 1041 0 0 25 0 1 0 112169320 11190272 1929 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135306705 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7336/statm: 2732 1929 394 324 0 1801 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 10928 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7337 /proc/meminfo: memFree=1863988/2055920 swapFree=4184748/4192956 [pid=7336] ppid=7334 vsize=12284 CPUtime=282.22 /proc/7336/stat : 7336 (bsolo3.0.16) R 7334 7336 6515 0 -1 4194304 2483597 0 2 0 26931 1291 0 0 25 0 1 0 112169320 12578816 2305 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 7285838 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7336/statm: 3071 2305 394 324 0 2140 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 12284 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7337 /proc/meminfo: memFree=1864052/2055920 swapFree=4184748/4192956 [pid=7336] ppid=7334 vsize=12240 CPUtime=342.2 /proc/7336/stat : 7336 (bsolo3.0.16) R 7334 7336 6515 0 -1 4194304 3006342 0 2 0 32650 1570 0 0 25 0 1 0 112169320 12533760 2292 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135308435 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7336/statm: 3060 2292 394 324 0 2129 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 12240 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7337 /proc/meminfo: memFree=1864052/2055920 swapFree=4184748/4192956 [pid=7336] ppid=7334 vsize=12264 CPUtime=402.18 /proc/7336/stat : 7336 (bsolo3.0.16) R 7334 7336 6515 0 -1 4194304 3556128 0 2 0 38363 1855 0 0 25 0 1 0 112169320 12558336 2292 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 7285838 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7336/statm: 3066 2292 394 324 0 2135 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 12264 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7337 /proc/meminfo: memFree=1863988/2055920 swapFree=4184748/4192956 [pid=7336] ppid=7334 vsize=12216 CPUtime=462.17 /proc/7336/stat : 7336 (bsolo3.0.16) R 7334 7336 6515 0 -1 4194304 4114460 0 2 0 44073 2144 0 0 25 0 1 0 112169320 12509184 2288 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135336554 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7336/statm: 3054 2288 394 324 0 2123 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 12216 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7337 /proc/meminfo: memFree=1863988/2055920 swapFree=4184748/4192956 [pid=7336] ppid=7334 vsize=12272 CPUtime=522.16 /proc/7336/stat : 7336 (bsolo3.0.16) R 7334 7336 6515 0 -1 4194304 4661334 0 2 0 49784 2432 0 0 25 0 1 0 112169320 12566528 2293 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135189338 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7336/statm: 3068 2293 394 324 0 2137 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 12272 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7337 /proc/meminfo: memFree=1863988/2055920 swapFree=4184748/4192956 [pid=7336] ppid=7334 vsize=12244 CPUtime=582.14 /proc/7336/stat : 7336 (bsolo3.0.16) R 7334 7336 6515 0 -1 4194304 5201880 0 2 0 55487 2727 0 0 25 0 1 0 112169320 12537856 2292 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134792594 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7336/statm: 3061 2292 394 324 0 2130 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 12244 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7337 /proc/meminfo: memFree=1862196/2055920 swapFree=4184748/4192956 [pid=7336] ppid=7334 vsize=13712 CPUtime=642.13 /proc/7336/stat : 7336 (bsolo3.0.16) R 7334 7336 6515 0 -1 4194304 5730400 0 2 0 61203 3010 0 0 25 0 1 0 112169320 14041088 2730 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135245837 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7336/statm: 3428 2730 394 324 0 2497 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 13712 ################ # More data... # ################ /proc/meminfo: memFree=1861428/2055920 swapFree=4184748/4192956 [pid=7336] ppid=7334 vsize=13628 CPUtime=1122.01 /proc/7336/stat : 7336 (bsolo3.0.16) R 7334 7336 6515 0 -1 4194304 9902831 0 2 0 106986 5215 0 0 25 0 1 0 112169320 13955072 2879 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7336/statm: 3407 2879 394 324 0 2476 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 13628 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7337 /proc/meminfo: memFree=1861428/2055920 swapFree=4184748/4192956 [pid=7336] ppid=7334 vsize=14712 CPUtime=1181.99 /proc/7336/stat : 7336 (bsolo3.0.16) R 7334 7336 6515 0 -1 4194304 10404131 0 2 0 112730 5469 0 0 25 0 1 0 112169320 15065088 2894 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134694901 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7336/statm: 3678 2894 394 324 0 2747 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 14712 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7337 /proc/meminfo: memFree=1861364/2055920 swapFree=4184748/4192956 [pid=7336] ppid=7334 vsize=14380 CPUtime=1241.98 /proc/7336/stat : 7336 (bsolo3.0.16) R 7334 7336 6515 0 -1 4194304 10890432 0 2 0 118481 5717 0 0 25 0 1 0 112169320 14725120 2888 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134690293 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7336/statm: 3595 2888 394 324 0 2664 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 14380 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7337 /proc/meminfo: memFree=1859252/2055920 swapFree=4184748/4192956 [pid=7336] ppid=7334 vsize=15640 CPUtime=1301.97 /proc/7336/stat : 7336 (bsolo3.0.16) R 7334 7336 6515 0 -1 4194304 11360341 0 2 0 124243 5954 0 0 25 0 1 0 112169320 16015360 3386 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7336/statm: 3910 3386 394 324 0 2979 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 15640 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7337 /proc/meminfo: memFree=1859252/2055920 swapFree=4184748/4192956 [pid=7336] ppid=7334 vsize=16696 CPUtime=1361.95 /proc/7336/stat : 7336 (bsolo3.0.16) R 7334 7336 6515 0 -1 4194304 11825788 0 2 0 129997 6198 0 0 25 0 1 0 112169320 17096704 3407 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134941452 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7336/statm: 4174 3407 394 324 0 3243 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 16696 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7337 /proc/meminfo: memFree=1859252/2055920 swapFree=4184748/4192956 [pid=7336] ppid=7334 vsize=16080 CPUtime=1421.93 /proc/7336/stat : 7336 (bsolo3.0.16) R 7334 7336 6515 0 -1 4194304 12329326 0 2 0 135734 6459 0 0 25 0 1 0 112169320 16465920 3385 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 7285838 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7336/statm: 4096 3387 394 324 0 3165 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 16080 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7337 /proc/meminfo: memFree=1859188/2055920 swapFree=4184748/4192956 [pid=7336] ppid=7334 vsize=16836 CPUtime=1481.92 /proc/7336/stat : 7336 (bsolo3.0.16) R 7334 7336 6515 0 -1 4194304 12806840 0 2 0 141490 6702 0 0 25 0 1 0 112169320 17240064 3419 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135313596 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7336/statm: 4019 3405 394 324 0 3088 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 16836 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7337 /proc/meminfo: memFree=1859060/2055920 swapFree=4184748/4192956 [pid=7336] ppid=7334 vsize=16560 CPUtime=1541.9 /proc/7336/stat : 7336 (bsolo3.0.16) R 7334 7336 6515 0 -1 4194304 13298907 0 2 0 147234 6956 0 0 25 0 1 0 112169320 16957440 3428 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134690293 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7336/statm: 4140 3428 394 324 0 3209 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 16560 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7337 /proc/meminfo: memFree=1859060/2055920 swapFree=4184748/4192956 [pid=7336] ppid=7334 vsize=15764 CPUtime=1601.89 /proc/7336/stat : 7336 (bsolo3.0.16) R 7334 7336 6515 0 -1 4194304 13773638 0 2 0 152992 7197 0 0 25 0 1 0 112169320 16142336 3417 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7336/statm: 3941 3417 394 324 0 3010 0 Current children cumulated CPU time (s) 1601.89 Current children cumulated vsize (KiB) 15764 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7337 /proc/meminfo: memFree=1859060/2055920 swapFree=4184748/4192956 [pid=7336] ppid=7334 vsize=16544 CPUtime=1661.87 /proc/7336/stat : 7336 (bsolo3.0.16) R 7334 7336 6515 0 -1 4194304 14264889 0 2 0 158729 7458 0 0 25 0 1 0 112169320 16941056 3427 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134690293 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7336/statm: 4136 3427 394 324 0 3205 0 Current children cumulated CPU time (s) 1661.87 Current children cumulated vsize (KiB) 16544 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7339 /proc/meminfo: memFree=1858484/2055920 swapFree=4184748/4192956 [pid=7336] ppid=7334 vsize=17004 CPUtime=1721.86 /proc/7336/stat : 7336 (bsolo3.0.16) R 7334 7336 6515 0 -1 4194304 14734782 0 2 0 164480 7706 0 0 25 0 1 0 112169320 17412096 3536 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 7285838 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7336/statm: 4251 3539 394 324 0 3320 0 Current children cumulated CPU time (s) 1721.86 Current children cumulated vsize (KiB) 17004 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7339 /proc/meminfo: memFree=1858548/2055920 swapFree=4184748/4192956 [pid=7336] ppid=7334 vsize=17184 CPUtime=1781.84 /proc/7336/stat : 7336 (bsolo3.0.16) R 7334 7336 6515 0 -1 4194304 15193142 0 2 0 170236 7948 0 0 25 0 1 0 112169320 17596416 3538 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135306705 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7336/statm: 4296 3538 394 324 0 3365 0 Current children cumulated CPU time (s) 1781.84 Current children cumulated vsize (KiB) 17184 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7339 /proc/meminfo: memFree=1858548/2055920 swapFree=4184748/4192956 [pid=7336] ppid=7334 vsize=16176 CPUtime=1791.44 /proc/7336/stat : 7336 (bsolo3.0.16) R 7334 7336 6515 0 -1 4194304 15264134 0 2 0 171160 7984 0 0 25 0 1 0 112169320 16564224 3520 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7336/statm: 4044 3520 394 324 0 3113 0 Current children cumulated CPU time (s) 1791.44 Current children cumulated vsize (KiB) 16176 [startup+1795.1 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7339 /proc/meminfo: memFree=1858548/2055920 swapFree=4184748/4192956 [pid=7336] ppid=7334 vsize=17264 CPUtime=1794.65 /proc/7336/stat : 7336 (bsolo3.0.16) R 7334 7336 6515 0 -1 4194304 15288359 0 2 0 171471 7994 0 0 25 0 1 0 112169320 17678336 3536 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134802391 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7336/statm: 4316 3536 394 324 0 3385 0 Current children cumulated CPU time (s) 1794.65 Current children cumulated vsize (KiB) 17264 [startup+1798.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7339 /proc/meminfo: memFree=1858548/2055920 swapFree=4184748/4192956 [pid=7336] ppid=7334 vsize=17240 CPUtime=1797.84 /proc/7336/stat : 7336 (bsolo3.0.16) R 7334 7336 6515 0 -1 4194304 15312618 0 2 0 171777 8007 0 0 25 0 1 0 112169320 17653760 3539 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135313633 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7336/statm: 4310 3539 394 324 0 3379 0 Current children cumulated CPU time (s) 1797.84 Current children cumulated vsize (KiB) 17240 [startup+1799.1 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7339 /proc/meminfo: memFree=1858548/2055920 swapFree=4184748/4192956 [pid=7336] ppid=7334 vsize=17240 CPUtime=1798.64 /proc/7336/stat : 7336 (bsolo3.0.16) R 7334 7336 6515 0 -1 4194304 15318819 0 2 0 171852 8012 0 0 25 0 1 0 112169320 17653760 3538 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135226146 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7336/statm: 4310 3538 394 324 0 3379 0 Current children cumulated CPU time (s) 1798.64 Current children cumulated vsize (KiB) 17240 [startup+1799.9 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7339 /proc/meminfo: memFree=1858548/2055920 swapFree=4184748/4192956 [pid=7336] ppid=7334 vsize=16176 CPUtime=1799.44 /proc/7336/stat : 7336 (bsolo3.0.16) R 7334 7336 6515 0 -1 4194304 15325031 0 2 0 171929 8015 0 0 25 0 1 0 112169320 16564224 3520 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7336/statm: 4044 3520 394 324 0 3113 0 Current children cumulated CPU time (s) 1799.44 Current children cumulated vsize (KiB) 16176 [startup+1800.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7339 /proc/meminfo: memFree=1858548/2055920 swapFree=4184748/4192956 [pid=7336] ppid=7334 vsize=16932 CPUtime=1799.84 /proc/7336/stat : 7336 (bsolo3.0.16) R 7334 7336 6515 0 -1 4194304 15328046 0 2 0 171968 8016 0 0 25 0 1 0 112169320 17338368 3531 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135304977 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7336/statm: 4233 3532 394 324 0 3302 0 Current children cumulated CPU time (s) 1799.84 Current children cumulated vsize (KiB) 16932 [startup+1800.4 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7339 /proc/meminfo: memFree=1858548/2055920 swapFree=4184748/4192956 [pid=7336] ppid=7334 vsize=17108 CPUtime=1799.94 /proc/7336/stat : 7336 (bsolo3.0.16) R 7334 7336 6515 0 -1 4194304 15328788 0 2 0 171977 8017 0 0 25 0 1 0 112169320 17518592 3535 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135267606 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7336/statm: 4316 3536 394 324 0 3385 0 Current children cumulated CPU time (s) 1799.94 Current children cumulated vsize (KiB) 17108 Child status: 0 Real time (s): 1800.46 CPU time (s): 1800.01 CPU user time (s): 1719.83 CPU system time (s): 80.1778 CPU usage (%): 99.9748 Max. virtual memory (cumulated for all children) (KiB): 17464 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1719.83 system time used= 80.1778 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 15329229 page faults= 2 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 14 involuntary context switches= 1728 runsolver used 1.20782 second user time and 3.71743 second system time The end
Begin job on node55 on Sun Apr 15 13:09:53 UTC 2007 IDJOB= 352825 IDBENCH= 2053 IDSOLVER= 163 FILE ID= node55/352825-1176642593 PBS_JOBID= 4559850 Free space on /tmp= 66560 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-e64.b.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/352825-1176642593/instance-352825-1176642593.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node55/watcher-352825-1176642593 -o ROOT/results/node55/solver-352825-1176642593 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/352825-1176642593/instance-352825-1176642593.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 4a444f89cff56050e88660d23e3d8694 RANDOM SEED= 219957920 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node55.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.216 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.216 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: 1872780 kB Buffers: 5288 kB Cached: 96556 kB SwapCached: 2060 kB Active: 36484 kB Inactive: 76012 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1872780 kB SwapTotal: 4192956 kB SwapFree: 4184748 kB Dirty: 4452 kB Writeback: 0 kB Mapped: 17700 kB Slab: 56712 kB Committed_AS: 1002164 kB PageTables: 1384 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= 66560 MiB End job on node55 on Sun Apr 15 13:39:53 UTC 2007