Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (TO) | 54 | 1800.06 | 1800.82 |
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.17 - 27/04/2007 : 1600 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 Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/432931-1177952363/instance-432931-1177952363.opb 0.00/0.00 c File size is 75788 bytes. 0.00/0.02 c Highest Coefficient sum: 607 0.00/0.02 c Parsing was ok!! 0.00/0.02 c Total parsing time: 0.014 s 0.00/0.02 c Var: 607 Constr: 1022 1022/0/0 Lit: 8200 Watch. Lit: 2044 0.00/0.02 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.09/0.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.10 c 0 571 922 7143 7 1844 307 0 0 0.03 0.09/0.10 c Initial Lower Bound: 37 0.09/0.10 c Initial Path Cost: 0 0.09/0.10 o 84 0.102 0.68/0.79 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.68/0.79 c 1 571 924 7730 8 2335 1307 2 9 0.10 0.68/0.79 o 58 0.793 * 9.38/9.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.38/9.47 c 3 571 927 8323 8 2854 1307 5 3 0.79 9.38/9.47 c 104 571 1129 35648 31 3258 1438 207 44 2.33 9.38/9.47 c 358 571 1636 98422 60 4272 1582 714 74 4.79 9.38/9.47 c 836 571 1714 102176 59 3941 1741 792 95 8.78 9.38/9.47 o 57 9.461 * 24.78/24.90 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 24.78/24.90 c 838 571 1718 103056 59 4463 1307 796 88 9.46 24.78/24.90 c 938 571 1918 123910 64 4863 1438 996 86 10.79 24.78/24.90 c 1188 571 1642 90384 55 3798 1582 720 90 13.13 24.78/24.90 c 1664 571 1714 88468 51 3942 1741 792 97 17.09 24.78/24.90 c 2477 571 2269 148393 65 5052 1916 1347 102 24.25 24.78/24.90 o 56 24.888 * 36.37/36.42 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 36.37/36.42 c 2480 571 2276 149671 65 5581 1307 1354 99 24.89 36.37/36.42 c 2582 571 1781 98759 55 4077 1438 859 98 26.10 36.37/36.42 c 2834 571 2285 159240 69 5085 1582 1363 99 28.55 36.37/36.42 c 3310 571 2294 156187 68 5103 1741 1372 101 32.58 36.37/36.42 o 55 36.404 * 1054.22/1054.72 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1054.22/1054.72 c 3760 571 2185 129480 59 5401 1307 1263 103 36.40 1054.22/1054.72 c 3861 571 1600 67488 42 3716 1438 678 102 37.74 1054.22/1054.72 c 4112 571 2101 115829 55 4718 1582 1179 102 40.22 1054.22/1054.72 c 4588 571 2119 111338 52 4754 1741 1197 103 44.22 1054.22/1054.72 c 5403 571 1794 90668 50 4104 1916 872 105 51.09 1054.22/1054.72 c 6724 571 2233 124591 55 4982 2108 1311 108 62.07 1054.22/1054.72 c 8806 571 2736 194314 71 5988 2319 1814 112 78.51 1054.22/1054.72 c 12031 571 2539 183415 72 5594 2551 1617 116 103.54 1054.22/1054.72 c 16969 571 2450 133301 54 5416 2807 1528 118 143.76 1054.22/1054.72 c 24476 571 3492 263349 75 7500 3088 2570 117 208.23 1054.22/1054.72 c 35840 571 2687 152742 56 5890 3397 1765 118 301.41 1054.22/1054.72 c 52986 571 3435 282690 82 7386 3737 2513 116 456.08 1054.22/1054.72 c 78808 571 3408 196034 57 7332 4111 2486 114 690.28 1054.22/1054.72 c 117644 571 4156 306522 73 8828 4523 3234 114 1030.86 1054.22/1054.72 o 54 1054.24 * 1800.05/1800.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.05/1800.80 c 120465 571 4978 417380 83 10989 1307 4056 114 1054.24 1800.05/1800.80 c 120566 571 1779 96301 54 4075 1438 857 114 1055.62 1800.05/1800.80 c 120820 571 2284 139004 60 5085 1582 1362 114 1058.51 1800.05/1800.80 c 121295 571 2279 145261 63 5075 1741 1357 114 1063.17 1800.05/1800.80 c 122109 571 1902 95752 50 4321 1916 980 114 1070.38 1800.05/1800.80 c 123429 571 2285 152088 66 5087 2108 1363 114 1080.55 1800.05/1800.80 c 125515 571 2906 165337 56 6329 2319 1984 114 1099.68 1800.05/1800.80 c 128740 571 2840 157645 55 6197 2551 1918 114 1128.59 1800.05/1800.80 c 133678 571 2971 157754 53 6459 2807 2049 113 1173.18 1800.05/1800.80 c 141185 571 2552 155166 60 5621 3088 1630 114 1230.96 1800.05/1800.80 c 152546 571 2920 193628 66 6357 3397 1998 115 1321.75 1800.05/1800.80 c 169690 571 4271 262698 61 9059 3737 3349 116 1454.94 1800.05/1800.80 c 195511 571 3967 237051 59 8451 4111 3045 117 1657.41 1800.05/1800.80 c Caught signal: 15 1800.05/1800.80 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 1800.05/1800.80 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 1800.05/1800.80 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.05/1800.80 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.05/1800.80 v -x107 -x108 x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 1800.05/1800.80 v -x128 -x129 x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 x139 -x140 -x141 -x142 -x143 x144 -x145 -x146 x147 -x148 1800.05/1800.80 v -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 x168 -x169 1800.05/1800.80 v -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 x181 -x182 -x183 -x184 x185 -x186 -x187 -x188 -x189 -x190 1800.05/1800.80 v x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 x200 -x201 -x202 -x203 -x204 -x205 x206 -x207 -x208 -x209 -x210 -x211 1800.05/1800.80 v -x212 -x213 x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 x228 -x229 -x230 -x231 -x232 1800.05/1800.80 v -x233 -x234 -x235 -x236 -x237 -x238 x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 1800.05/1800.80 v -x254 -x255 -x256 -x257 -x258 x259 -x260 x261 -x262 -x263 -x264 -x265 -x266 -x267 x268 -x269 -x270 -x271 -x272 -x273 -x274 1800.05/1800.80 v -x275 -x276 -x277 -x278 x279 x280 -x281 -x282 -x283 -x284 -x285 -x286 x287 -x288 -x289 -x290 -x291 -x292 x293 -x294 -x295 1800.05/1800.80 v -x296 -x297 -x298 -x299 x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 x313 -x314 -x315 -x316 1800.05/1800.80 v -x317 -x318 -x319 -x320 -x321 -x322 x323 -x324 -x325 -x326 -x327 -x328 x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 1800.05/1800.80 v -x338 -x339 -x340 -x341 -x342 -x343 -x344 x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 1800.05/1800.80 v -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 x379 1800.05/1800.80 v -x380 -x381 -x382 -x383 -x384 -x385 -x386 x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 1800.05/1800.80 v -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 x409 -x410 x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 x421 1800.05/1800.80 v -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 x442 1800.05/1800.80 v -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 1800.05/1800.80 v -x464 -x465 -x466 -x467 -x468 -x469 x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 1800.05/1800.80 v -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 1800.05/1800.80 v -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 1800.05/1800.80 v -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 1800.05/1800.80 v -x548 -x549 x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 1800.05/1800.80 v -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 x584 -x585 -x586 -x587 -x588 -x589 1800.05/1800.80 v -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 x604 -x605 -x606 -x607 1800.05/1800.80 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.05/1800.80 c 41 211875 3076 221214 3110 240382 2188 117 1800.06 1800.05/1800.80 c Objective: 54 1800.05/1800.80 s SATISFIABLE 1800.05/1800.80 c Total time: 1800.06 s
OK 54
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node46/watcher-432931-1177952363 -o ROOT/results/node46/solver-432931-1177952363 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432931-1177952363/instance-432931-1177952363.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.94 0.98 0.99 3/78 16504 /proc/meminfo: memFree=1740080/2055920 swapFree=4159800/4192956 [pid=16504] ppid=16502 vsize=3828 CPUtime=0 /proc/16504/stat : 16504 (bsolo3.0.17) R 16502 16504 15411 0 -1 4194304 163 0 0 0 0 0 0 0 18 0 1 0 149919270 3919872 143 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7799996 0 0 4096 0 0 0 0 17 1 0 0 /proc/16504/statm: 945 136 112 324 0 15 0 [startup+0.0151221 s] /proc/loadavg: 0.94 0.98 0.99 3/78 16504 /proc/meminfo: memFree=1740080/2055920 swapFree=4159800/4192956 [pid=16504] ppid=16502 vsize=4136 CPUtime=0 /proc/16504/stat : 16504 (bsolo3.0.17) R 16502 16504 15411 0 -1 4194304 411 0 0 0 0 0 0 0 18 0 1 0 149919270 4235264 381 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8230523 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16504/statm: 1034 381 293 324 0 85 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 4136 [startup+0.102137 s] /proc/loadavg: 0.94 0.98 0.99 3/78 16504 /proc/meminfo: memFree=1740080/2055920 swapFree=4159800/4192956 [pid=16504] ppid=16502 vsize=6412 CPUtime=0.09 /proc/16504/stat : 16504 (bsolo3.0.17) R 16502 16504 15411 0 -1 4194304 968 0 0 0 9 0 0 0 18 0 1 0 149919270 6565888 877 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135313110 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16504/statm: 1603 877 390 324 0 673 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6412 [startup+0.301174 s] /proc/loadavg: 0.94 0.98 0.99 3/78 16504 /proc/meminfo: memFree=1740080/2055920 swapFree=4159800/4192956 [pid=16504] ppid=16502 vsize=5964 CPUtime=0.29 /proc/16504/stat : 16504 (bsolo3.0.17) R 16502 16504 15411 0 -1 4194304 5446 0 0 0 27 2 0 0 19 0 1 0 149919270 6107136 743 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135259740 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16504/statm: 1491 746 395 324 0 561 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5964 [startup+0.701249 s] /proc/loadavg: 0.94 0.98 0.99 3/78 16504 /proc/meminfo: memFree=1740080/2055920 swapFree=4159800/4192956 [pid=16504] ppid=16502 vsize=4952 CPUtime=0.68 /proc/16504/stat : 16504 (bsolo3.0.17) R 16502 16504 15411 0 -1 4194304 16034 0 0 0 63 5 0 0 23 0 1 0 149919270 5070848 711 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16504/statm: 1238 711 395 324 0 308 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 4952 [startup+1.5014 s] /proc/loadavg: 0.94 0.98 0.99 2/79 16505 /proc/meminfo: memFree=1738600/2055920 swapFree=4159800/4192956 [pid=16504] ppid=16502 vsize=6140 CPUtime=1.49 /proc/16504/stat : 16504 (bsolo3.0.17) R 16502 16504 15411 0 -1 4194304 32055 0 0 0 137 12 0 0 25 0 1 0 149919270 6287360 826 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134690021 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16504/statm: 1535 827 395 324 0 605 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6140 [startup+3.10169 s] /proc/loadavg: 0.94 0.98 0.99 2/79 16505 /proc/meminfo: memFree=1737896/2055920 swapFree=4159800/4192956 [pid=16504] ppid=16502 vsize=5588 CPUtime=3.08 /proc/16504/stat : 16504 (bsolo3.0.17) R 16502 16504 15411 0 -1 4194304 53534 0 0 0 287 21 0 0 25 0 1 0 149919270 5722112 874 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16504/statm: 1397 874 395 324 0 467 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 5588 [startup+6.30128 s] /proc/loadavg: 0.94 0.98 0.99 2/79 16505 /proc/meminfo: memFree=1736616/2055920 swapFree=4159800/4192956 [pid=16504] ppid=16502 vsize=8056 CPUtime=6.28 /proc/16504/stat : 16504 (bsolo3.0.17) R 16502 16504 15411 0 -1 4194304 88739 0 0 0 593 35 0 0 25 0 1 0 149919270 8249344 1250 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8230523 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16504/statm: 2014 1250 395 324 0 1084 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 8056 [startup+12.7015 s] /proc/loadavg: 0.95 0.98 0.99 2/79 16505 /proc/meminfo: memFree=1735152/2055920 swapFree=4159800/4192956 [pid=16504] ppid=16502 vsize=9024 CPUtime=12.68 /proc/16504/stat : 16504 (bsolo3.0.17) R 16502 16504 15411 0 -1 4194304 160071 0 0 0 1199 69 0 0 25 0 1 0 149919270 9240576 1518 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134687798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16504/statm: 2256 1518 395 324 0 1326 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 9024 [startup+25.5028 s] /proc/loadavg: 0.96 0.98 0.99 2/79 16505 /proc/meminfo: memFree=1734896/2055920 swapFree=4159800/4192956 [pid=16504] ppid=16502 vsize=9324 CPUtime=25.48 /proc/16504/stat : 16504 (bsolo3.0.17) R 16502 16504 15411 0 -1 4194304 277740 0 0 0 2423 125 0 0 25 0 1 0 149919270 9547776 1584 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135306433 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16504/statm: 2331 1584 395 324 0 1401 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 9324 [startup+51.1016 s] /proc/loadavg: 0.97 0.98 0.99 2/79 16505 /proc/meminfo: memFree=1734960/2055920 swapFree=4159800/4192956 [pid=16504] ppid=16502 vsize=8468 CPUtime=51.06 /proc/16504/stat : 16504 (bsolo3.0.17) R 16502 16504 15411 0 -1 4194304 488427 0 0 0 4866 240 0 0 25 0 1 0 149919270 8671232 1587 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8226641 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16504/statm: 2117 1587 395 324 0 1187 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 8468 [startup+102.305 s] /proc/loadavg: 0.99 0.98 0.99 2/85 16571 /proc/meminfo: memFree=1732864/2055920 swapFree=4159800/4192956 [pid=16504] ppid=16502 vsize=9372 CPUtime=102.24 /proc/16504/stat : 16504 (bsolo3.0.17) R 16502 16504 15411 0 -1 4194304 944454 0 0 0 9750 474 0 0 25 0 1 0 149919270 9596928 1805 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16504/statm: 2343 1805 395 324 0 1413 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 9372 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 3/79 16703 /proc/meminfo: memFree=1733608/2055920 swapFree=4159800/4192956 [pid=16504] ppid=16502 vsize=10752 CPUtime=162.14 /proc/16504/stat : 16504 (bsolo3.0.17) R 16502 16504 15411 0 -1 4194304 1497966 0 0 0 15458 756 0 0 25 0 1 0 149919270 11010048 1878 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8232014 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16504/statm: 2525 1865 398 324 0 1595 0 Current children cumulated CPU time (s) 162.14 Current children cumulated vsize (KiB) 10752 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/79 16703 /proc/meminfo: memFree=1733552/2055920 swapFree=4159800/4192956 [pid=16504] ppid=16502 vsize=10800 CPUtime=222.11 /proc/16504/stat : 16504 (bsolo3.0.17) R 16502 16504 15411 0 -1 4194304 2084388 0 0 0 21177 1034 0 0 25 0 1 0 149919270 11059200 1904 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8232014 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16504/statm: 2700 1904 395 324 0 1770 0 Current children cumulated CPU time (s) 222.11 Current children cumulated vsize (KiB) 10800 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/79 16703 /proc/meminfo: memFree=1733616/2055920 swapFree=4159800/4192956 [pid=16504] ppid=16502 vsize=10752 CPUtime=282.1 /proc/16504/stat : 16504 (bsolo3.0.17) R 16502 16504 15411 0 -1 4194304 2619589 0 0 0 26909 1301 0 0 25 0 1 0 149919270 11010048 1906 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8232014 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16504/statm: 2688 1906 395 324 0 1758 0 Current children cumulated CPU time (s) 282.1 Current children cumulated vsize (KiB) 10752 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/79 16703 /proc/meminfo: memFree=1731760/2055920 swapFree=4159800/4192956 [pid=16504] ppid=16502 vsize=12672 CPUtime=342.08 /proc/16504/stat : 16504 (bsolo3.0.17) R 16502 16504 15411 0 -1 4194304 3183577 0 0 0 32633 1575 0 0 25 0 1 0 149919270 12976128 2370 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8232014 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16504/statm: 3048 2362 395 324 0 2118 0 Current children cumulated CPU time (s) 342.08 Current children cumulated vsize (KiB) 12672 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/79 16703 /proc/meminfo: memFree=1731760/2055920 swapFree=4159800/4192956 [pid=16504] ppid=16502 vsize=11552 CPUtime=402.05 /proc/16504/stat : 16504 (bsolo3.0.17) R 16502 16504 15411 0 -1 4194304 3701302 0 0 0 38375 1830 0 0 25 0 1 0 149919270 11829248 2354 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16504/statm: 2888 2354 395 324 0 1958 0 Current children cumulated CPU time (s) 402.05 Current children cumulated vsize (KiB) 11552 [startup+462.303 s] /proc/loadavg: 0.99 0.98 0.99 2/79 16703 /proc/meminfo: memFree=1731696/2055920 swapFree=4159800/4192956 [pid=16504] ppid=16502 vsize=11552 CPUtime=462.03 /proc/16504/stat : 16504 (bsolo3.0.17) R 16502 16504 15411 0 -1 4194304 4134792 0 0 0 44152 2051 0 0 25 0 1 0 149919270 11829248 2354 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16504/statm: 2888 2354 395 324 0 1958 0 Current children cumulated CPU time (s) 462.03 Current children cumulated vsize (KiB) 11552 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/79 16703 /proc/meminfo: memFree=1731952/2055920 swapFree=4159800/4192956 [pid=16504] ppid=16502 vsize=11240 CPUtime=522.01 /proc/16504/stat : 16504 (bsolo3.0.17) R 16502 16504 15411 0 -1 4194304 4667350 0 0 0 49894 2307 0 0 25 0 1 0 149919270 11509760 2287 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16504/statm: 2810 2287 395 324 0 1880 0 Current children cumulated CPU time (s) 522.01 Current children cumulated vsize (KiB) 11240 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/79 16703 /proc/meminfo: memFree=1732016/2055920 swapFree=4159800/4192956 [pid=16504] ppid=16502 vsize=12060 CPUtime=581.99 /proc/16504/stat : 16504 (bsolo3.0.17) R 16502 16504 15411 0 -1 4194304 5225274 0 0 0 55629 2570 0 0 25 0 1 0 149919270 12349440 2302 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135265573 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16504/statm: 3015 2302 395 324 0 2085 0 Current children cumulated CPU time (s) 581.99 Current children cumulated vsize (KiB) 12060 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.99 2/79 16703 /proc/meminfo: memFree=1732080/2055920 swapFree=4159800/4192956 [pid=16504] ppid=16502 vsize=12416 CPUtime=641.97 /proc/16504/stat : 16504 (bsolo3.0.17) R 16502 16504 15411 0 -1 4194304 5767295 0 0 0 61366 2831 0 0 25 0 1 0 149919270 12713984 2310 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135313324 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16504/statm: 3104 2310 395 324 0 2174 0 Current children cumulated CPU time (s) 641.97 Current children cumulated vsize (KiB) 12416 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 0.99 0.98 0.99 2/79 16703 /proc/meminfo: memFree=1732144/2055920 swapFree=4159800/4192956 [pid=16504] ppid=16502 vsize=12364 CPUtime=821.9 /proc/16504/stat : 16504 (bsolo3.0.17) R 16502 16504 15411 0 -1 4194304 7464450 0 0 0 78541 3649 0 0 25 0 1 0 149919270 12660736 2304 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8232014 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16504/statm: 3091 2304 395 324 0 2161 0 Current children cumulated CPU time (s) 821.9 Current children cumulated vsize (KiB) 12364 [startup+882.301 s] /proc/loadavg: 0.99 0.98 0.99 2/79 16703 /proc/meminfo: memFree=1732080/2055920 swapFree=4159800/4192956 [pid=16504] ppid=16502 vsize=11244 CPUtime=881.88 /proc/16504/stat : 16504 (bsolo3.0.17) R 16502 16504 15411 0 -1 4194304 8030202 0 0 0 84256 3932 0 0 25 0 1 0 149919270 11513856 2288 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16504/statm: 2811 2288 395 324 0 1881 0 Current children cumulated CPU time (s) 881.88 Current children cumulated vsize (KiB) 11244 [startup+942.302 s] /proc/loadavg: 0.99 0.98 0.99 2/79 16703 /proc/meminfo: memFree=1732080/2055920 swapFree=4159800/4192956 [pid=16504] ppid=16502 vsize=11244 CPUtime=941.86 /proc/16504/stat : 16504 (bsolo3.0.17) R 16502 16504 15411 0 -1 4194304 8605612 0 0 0 89965 4221 0 0 25 0 1 0 149919270 11513856 2288 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16504/statm: 2811 2288 395 324 0 1881 0 Current children cumulated CPU time (s) 941.86 Current children cumulated vsize (KiB) 11244 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/79 16703 /proc/meminfo: memFree=1731568/2055920 swapFree=4159800/4192956 [pid=16504] ppid=16502 vsize=12676 CPUtime=1001.83 /proc/16504/stat : 16504 (bsolo3.0.17) R 16502 16504 15411 0 -1 4194304 9140257 0 0 0 95694 4489 0 0 25 0 1 0 149919270 12980224 2425 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8232014 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16504/statm: 3169 2425 395 324 0 2239 0 Current children cumulated CPU time (s) 1001.83 Current children cumulated vsize (KiB) 12676 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/79 16703 /proc/meminfo: memFree=1731120/2055920 swapFree=4159800/4192956 [pid=16504] ppid=16502 vsize=13124 CPUtime=1061.81 /proc/16504/stat : 16504 (bsolo3.0.17) R 16502 16504 15411 0 -1 4194304 9696830 0 0 0 101411 4770 0 0 25 0 1 0 149919270 13438976 2528 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135306433 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16504/statm: 3281 2528 395 324 0 2351 0 Current children cumulated CPU time (s) 1061.81 Current children cumulated vsize (KiB) 13124 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/79 16703 /proc/meminfo: memFree=1731184/2055920 swapFree=4159800/4192956 [pid=16504] ppid=16502 vsize=12136 CPUtime=1121.8 /proc/16504/stat : 16504 (bsolo3.0.17) R 16502 16504 15411 0 -1 4194304 10155388 0 0 0 107170 5010 0 0 25 0 1 0 149919270 12427264 2511 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16504/statm: 3197 2515 395 324 0 2267 0 Current children cumulated CPU time (s) 1121.8 Current children cumulated vsize (KiB) 12136 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/79 16703 /proc/meminfo: memFree=1731184/2055920 swapFree=4159800/4192956 [pid=16504] ppid=16502 vsize=13072 CPUtime=1181.77 /proc/16504/stat : 16504 (bsolo3.0.17) R 16502 16504 15411 0 -1 4194304 10616307 0 0 0 112928 5249 0 0 25 0 1 0 149919270 13385728 2522 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8232014 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16504/statm: 3268 2522 395 324 0 2338 0 Current children cumulated CPU time (s) 1181.77 Current children cumulated vsize (KiB) 13072 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/79 16703 /proc/meminfo: memFree=1731120/2055920 swapFree=4159800/4192956 [pid=16504] ppid=16502 vsize=12132 CPUtime=1241.75 /proc/16504/stat : 16504 (bsolo3.0.17) R 16502 16504 15411 0 -1 4194304 11103365 0 0 0 118670 5505 0 0 25 0 1 0 149919270 12423168 2510 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16504/statm: 3033 2510 395 324 0 2103 0 Current children cumulated CPU time (s) 1241.75 Current children cumulated vsize (KiB) 12132 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/79 16703 /proc/meminfo: memFree=1731184/2055920 swapFree=4159800/4192956 [pid=16504] ppid=16502 vsize=12768 CPUtime=1301.73 /proc/16504/stat : 16504 (bsolo3.0.17) R 16502 16504 15411 0 -1 4194304 11597386 0 0 0 124412 5761 0 0 25 0 1 0 149919270 13074432 2517 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134690021 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16504/statm: 3192 2517 395 324 0 2262 0 Current children cumulated CPU time (s) 1301.73 Current children cumulated vsize (KiB) 12768 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/79 16703 /proc/meminfo: memFree=1731184/2055920 swapFree=4159800/4192956 [pid=16504] ppid=16502 vsize=12908 CPUtime=1361.71 /proc/16504/stat : 16504 (bsolo3.0.17) R 16502 16504 15411 0 -1 4194304 12079017 0 0 0 130164 6007 0 0 25 0 1 0 149919270 13217792 2520 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8232014 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16504/statm: 3227 2520 395 324 0 2297 0 Current children cumulated CPU time (s) 1361.71 Current children cumulated vsize (KiB) 12908 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/79 16703 /proc/meminfo: memFree=1731248/2055920 swapFree=4159800/4192956 [pid=16504] ppid=16502 vsize=13088 CPUtime=1421.69 /proc/16504/stat : 16504 (bsolo3.0.17) R 16502 16504 15411 0 -1 4194304 12558975 0 0 0 135913 6256 0 0 25 0 1 0 149919270 13402112 2525 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135306433 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16504/statm: 3272 2525 395 324 0 2342 0 Current children cumulated CPU time (s) 1421.69 Current children cumulated vsize (KiB) 13088 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/79 16703 /proc/meminfo: memFree=1731248/2055920 swapFree=4159800/4192956 [pid=16504] ppid=16502 vsize=12132 CPUtime=1481.66 /proc/16504/stat : 16504 (bsolo3.0.17) R 16502 16504 15411 0 -1 4194304 13037378 0 0 0 141672 6494 0 0 25 0 1 0 149919270 12423168 2510 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8226826 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16504/statm: 3033 2510 395 324 0 2103 0 Current children cumulated CPU time (s) 1481.66 Current children cumulated vsize (KiB) 12132 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/79 16703 /proc/meminfo: memFree=1731248/2055920 swapFree=4159800/4192956 [pid=16504] ppid=16502 vsize=13068 CPUtime=1541.64 /proc/16504/stat : 16504 (bsolo3.0.17) R 16502 16504 15411 0 -1 4194304 13487904 0 0 0 147440 6724 0 0 25 0 1 0 149919270 13381632 2523 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8232014 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16504/statm: 3267 2523 395 324 0 2337 0 Current children cumulated CPU time (s) 1541.64 Current children cumulated vsize (KiB) 13068 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/79 16703 /proc/meminfo: memFree=1731312/2055920 swapFree=4159800/4192956 [pid=16504] ppid=16502 vsize=12768 CPUtime=1601.62 /proc/16504/stat : 16504 (bsolo3.0.17) R 16502 16504 15411 0 -1 4194304 13953657 0 0 0 153182 6980 0 0 25 0 1 0 149919270 13074432 2519 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135245565 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16504/statm: 3192 2520 395 324 0 2262 0 Current children cumulated CPU time (s) 1601.62 Current children cumulated vsize (KiB) 12768 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/79 16703 /proc/meminfo: memFree=1731184/2055920 swapFree=4159800/4192956 [pid=16504] ppid=16502 vsize=12596 CPUtime=1661.59 /proc/16504/stat : 16504 (bsolo3.0.17) R 16502 16504 15411 0 -1 4194304 14420718 0 0 0 158931 7228 0 0 25 0 1 0 149919270 12898304 2517 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135254637 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16504/statm: 3149 2517 395 324 0 2219 0 Current children cumulated CPU time (s) 1661.59 Current children cumulated vsize (KiB) 12596 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/79 16703 /proc/meminfo: memFree=1731184/2055920 swapFree=4159800/4192956 [pid=16504] ppid=16502 vsize=12288 CPUtime=1721.57 /proc/16504/stat : 16504 (bsolo3.0.17) R 16502 16504 15411 0 -1 4194304 14916632 0 0 0 164677 7480 0 0 25 0 1 0 149919270 12582912 2539 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16504/statm: 3072 2539 395 324 0 2142 0 Current children cumulated CPU time (s) 1721.57 Current children cumulated vsize (KiB) 12288 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/79 16703 /proc/meminfo: memFree=1731184/2055920 swapFree=4159800/4192956 [pid=16504] ppid=16502 vsize=12288 CPUtime=1781.55 /proc/16504/stat : 16504 (bsolo3.0.17) R 16502 16504 15411 0 -1 4194304 15456340 0 0 0 170393 7762 0 0 25 0 1 0 149919270 12582912 2540 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16504/statm: 3072 2540 395 324 0 2142 0 Current children cumulated CPU time (s) 1781.55 Current children cumulated vsize (KiB) 12288 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 0.99 0.98 0.99 2/79 16703 /proc/meminfo: memFree=1731184/2055920 swapFree=4159800/4192956 [pid=16504] ppid=16502 vsize=12288 CPUtime=1800.05 /proc/16504/stat : 16504 (bsolo3.0.17) R 16502 16504 15411 0 -1 4194304 15623011 0 0 0 172157 7848 0 0 25 0 1 0 149919270 12582912 2540 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134596383 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16504/statm: 3072 2540 395 324 0 2142 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 12288 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 15 Real time (s): 1800.82 CPU time (s): 1800.06 CPU user time (s): 1721.57 CPU system time (s): 78.4871 CPU usage (%): 99.9579 Max. virtual memory (cumulated for all children) (KiB): 13592 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1721.57 system time used= 78.4871 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 15623014 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= 13 involuntary context switches= 37711 runsolver used 1.85372 second user time and 3.9464 second system time The end
Begin job on node46 on Mon Apr 30 16:59:23 UTC 2007 IDJOB= 432931 IDBENCH= 2053 IDSOLVER= 199 FILE ID= node46/432931-1177952363 PBS_JOBID= 4727814 Free space on /tmp= 66214 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-e64.b.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/432931-1177952363/instance-432931-1177952363.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node46/watcher-432931-1177952363 -o ROOT/results/node46/solver-432931-1177952363 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432931-1177952363/instance-432931-1177952363.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 4a444f89cff56050e88660d23e3d8694 RANDOM SEED= 824278360 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node46.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.268 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5931.00 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.268 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1740552 kB Buffers: 40596 kB Cached: 180152 kB SwapCached: 2972 kB Active: 125156 kB Inactive: 119944 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1740552 kB SwapTotal: 4192956 kB SwapFree: 4159800 kB Dirty: 6828 kB Writeback: 0 kB Mapped: 31992 kB Slab: 55652 kB Committed_AS: 3558392 kB PageTables: 1996 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= 66214 MiB End job on node46 on Mon Apr 30 17:29:26 UTC 2007