Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT (TO) | 68 | 1800.08 | 1800.52 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/ttp/normalized-circ6_3.opb |
MD5SUM | ff9be653d1d3ea3b1a82846016e94df6 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 64 |
Best CPU time to get the best result obtained on this benchmark | 1800.1 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 64 |
Optimality of the best value was proved | NO |
Number of variables | 540 |
Total number of constraints | 4476 |
Number of constraints which are clauses | 2532 |
Number of constraints which are cardinality constraints (but not clauses) | 264 |
Number of constraints which are nor clauses,nor cardinality constraints | 1680 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 20 |
Number of terms in the objective function | 180 |
Biggest coefficient in the objective function | 3 |
Number of bits for the biggest coefficient in the objective function | 2 |
Sum of the numbers in the objective function | 324 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 16 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 324 |
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 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/352682-1176638827/instance-352682-1176638827.opb 0.00/0.00 c File size is 202558 bytes. 0.00/0.04 c Highest Coefficient sum: 324 0.00/0.04 c Parsing was ok!! 0.00/0.04 c Total parsing time: 0.037 s 0.00/0.04 c Var: 540 Constr: 4626 2682/264/1680 Lit: 21888 Watch. Lit: 10776 0.00/0.04 c Obj. Vars: 180 (33.3333 % of total variables) 0.07/0.08 c Pre-processing Time: 0.078 s 0.07/0.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.07/0.08 c 0 540 4626 21888 4 14136 31514 0 0 0.08 0.07/0.08 c Switching off LPR mode. 0.09/0.10 c 100 540 4726 24556 5 15712 34666 100 1162 0.09 0.09/0.10 o 88 0.1 0.09/0.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.10 c 220 540 4847 29463 6 15589 31874 221 2178 0.10 0.09/0.10 o 86 0.106 0.09/0.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.19 c 249 540 4877 30970 6 15406 31874 251 2349 0.11 0.09/0.19 c 350 540 4978 37023 7 15871 35062 352 2800 0.12 0.09/0.19 c 601 540 5229 55801 10 16001 38569 603 3395 0.18 0.09/0.19 o 84 0.19 0.19/0.28 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.28 c 668 540 5297 59404 11 16298 31874 671 3497 0.19 0.19/0.28 c 768 540 5397 64714 11 16382 35062 771 3674 0.21 0.19/0.28 c 1018 540 5647 77634 13 16834 38569 1021 3992 0.26 0.19/0.28 o 82 0.279 0.29/0.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.30 c 1130 540 5760 84888 14 17160 31874 1134 4050 0.28 0.29/0.30 o 80 0.298 0.29/0.35 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.35 c 1208 540 5839 90383 15 17778 31874 1213 4053 0.30 0.29/0.35 c 1310 540 5941 95051 15 18002 35062 1315 4132 0.32 0.29/0.35 c 1562 540 6193 100892 16 18520 38569 1567 4553 0.34 0.29/0.35 o 78 0.353 1.39/1.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.50 c 1608 540 6240 103199 16 18727 31874 1614 4555 0.35 1.39/1.50 c 1712 540 6344 109057 17 18493 35062 1718 4458 0.38 1.39/1.50 c 1962 540 6594 126955 19 19439 38569 1968 4321 0.45 1.39/1.50 c 2438 540 7070 161028 22 20569 42426 2444 4118 0.59 1.39/1.50 c 3252 540 7884 228249 28 21868 46669 3258 3750 0.87 1.39/1.50 o 76 1.496 2.69/2.78 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.69/2.78 c 4445 540 9078 347428 38 25023 31874 4452 2969 1.50 2.69/2.78 c 4549 540 9182 356560 38 24860 35062 4556 2919 1.56 2.69/2.78 c 4799 540 9432 378075 40 25367 38569 4806 2836 1.69 2.69/2.78 c 5274 540 9907 416835 42 26172 42426 5281 2688 1.96 2.69/2.78 c 6087 540 10720 464942 43 27408 46669 6094 2498 2.44 2.69/2.78 o 74 2.778 55.18/55.27 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 55.18/55.27 c 6599 540 11233 509886 45 28320 31874 6607 2374 2.78 55.18/55.27 c 6699 540 11333 518432 45 28653 35062 6707 2355 2.84 55.18/55.27 c 6954 540 11588 545790 47 28773 38569 6962 2275 3.06 55.18/55.27 c 7429 540 12063 583331 48 30305 42426 7437 2163 3.43 55.18/55.27 c 8243 540 12877 657635 51 32184 46669 8251 1995 4.13 55.18/55.27 c 9565 540 14199 782185 55 35192 51336 9573 1736 5.51 55.18/55.27 c 11646 540 16280 976382 59 38680 56470 11654 1395 8.35 55.18/55.27 c 14869 540 19503 1311547 67 45326 62118 14877 1018 14.60 55.18/55.27 c 19807 540 24441 1880617 76 55442 68330 19815 741 26.71 55.18/55.27 c 27313 540 31947 2777439 86 69955 75164 27321 579 47.10 55.18/55.27 o 72 55.263 103.77/103.83 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 103.77/103.83 c 29276 540 33911 2969443 87 73884 31874 29285 529 55.26 103.77/103.83 c 29376 540 34011 2974621 87 74121 35062 29385 528 55.56 103.77/103.83 c 29626 540 34261 2994667 87 75388 38569 29635 525 56.38 103.77/103.83 c 30101 540 34736 3033604 87 76489 42426 30110 516 58.32 103.77/103.83 c 30917 540 35552 3103153 87 77601 46669 30926 507 60.93 103.77/103.83 c 32237 540 36872 3222685 87 80379 51336 32246 494 65.23 103.77/103.83 c 34319 540 38954 3442044 88 84571 56470 34328 470 72.97 103.77/103.83 c 37542 540 42177 3732805 88 90522 62118 37551 414 90.63 103.77/103.83 o 70 103.802 791.50/791.79 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 791.50/791.79 c 39683 540 44319 3959280 89 95610 31874 39693 382 103.80 791.50/791.79 c 39783 540 18179 1145896 63 42196 35062 13553 380 104.42 791.50/791.79 c 40035 540 18431 1168261 63 42122 38569 13805 382 104.75 791.50/791.79 c 40512 540 18908 1213140 64 43058 42426 14282 382 105.87 791.50/791.79 c 41328 540 19724 1306001 66 44679 46669 15098 384 107.41 791.50/791.79 c 42648 540 21044 1440001 68 47969 51336 16418 388 109.89 791.50/791.79 c 44732 540 23128 1674678 72 52307 56470 18502 388 115.16 791.50/791.79 c 47956 540 26352 2106292 79 58234 62118 21726 389 123.08 791.50/791.79 c 52892 540 31288 2709903 86 68057 68330 26662 388 136.31 791.50/791.79 c 60399 540 38795 3676997 94 82998 75164 34169 368 163.94 791.50/791.79 c 71760 540 50156 5123251 102 105288 82681 45530 316 226.83 791.50/791.79 c 88904 540 67300 7359288 109 140253 90950 62674 254 349.34 791.50/791.79 c 114724 540 93120 11009450 118 191649 100046 88494 190 600.71 791.50/791.79 o 68 791.599 1799.96/1800.48 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.96/1800.48 c 144094 540 39344 4137702 105 84531 31874 34718 182 791.60 1799.96/1800.48 c 144196 540 20056 1623547 80 45404 35062 15430 181 792.36 1799.96/1800.48 c 144447 540 20307 1647923 81 46496 38569 15681 182 793.19 1799.96/1800.48 c 144922 540 20782 1697598 81 47421 42426 16156 182 794.58 1799.96/1800.48 c 145736 540 21596 1777383 82 48487 46669 16970 183 796.01 1799.96/1800.48 c 147062 540 22922 1894229 82 50709 51336 18296 183 799.84 1799.96/1800.48 c 149144 540 25004 2201647 88 55901 56470 20378 184 806.77 1799.96/1800.48 c 152368 540 28228 2638317 93 62045 62118 23602 186 818.74 1799.96/1800.48 c 157309 540 33169 3279948 98 71512 68330 28543 187 838.47 1799.96/1800.48 c 164815 540 40675 4093923 100 86801 75164 36049 185 887.71 1799.96/1800.48 c 176177 540 52037 5682254 109 109428 82681 47411 182 966.87 1799.96/1800.48 c 193321 540 69181 8073406 116 144344 90950 64555 175 1098.53 1799.96/1800.48 c 219140 540 95000 11922442 125 195588 100046 90374 160 1363.24 1799.96/1800.48 c 257973 540 51140 7022372 137 107976 110051 46514 154 1671.01 1799.96/1800.48 c Resources Exceeded 1799.96/1800.48 v x361 -x362 -x363 -x364 x365 -x366 x367 -x368 -x369 -x370 x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 x379 -x380 x381 -x382 1799.96/1800.48 v -x383 -x384 -x385 -x386 -x387 -x388 x389 -x390 -x391 -x392 -x393 -x394 x395 -x396 -x397 x398 x399 -x400 -x401 x402 -x403 -x404 1799.96/1800.48 v -x405 -x406 -x407 x408 -x409 -x410 x411 -x412 -x413 -x414 -x415 -x416 x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 x425 1799.96/1800.48 v -x426 -x427 x428 -x429 -x430 x431 x432 -x433 -x434 -x435 -x436 -x437 -x438 x439 -x440 -x441 -x442 x443 -x444 -x445 -x446 -x447 1799.96/1800.48 v x448 -x449 -x450 -x451 -x452 -x453 -x454 x455 -x456 -x457 x458 -x459 -x460 x461 -x462 -x463 -x464 -x465 -x466 x467 x468 x469 1799.96/1800.48 v -x470 -x471 -x472 -x473 x474 -x475 -x476 -x477 -x478 x479 -x480 x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 x489 -x490 1799.96/1800.48 v x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 x499 -x500 -x501 -x502 x503 -x504 x505 -x506 -x507 -x508 x509 -x510 -x511 -x512 1799.96/1800.48 v -x513 -x514 x515 -x516 x517 -x518 -x519 -x520 x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 x529 -x530 -x531 -x532 -x533 1799.96/1800.48 v -x534 x535 -x536 x537 -x538 x539 -x540 -x2 x38 -x74 -x110 -x146 -x182 -x218 -x254 -x290 -x326 -x3 -x39 x75 -x111 -x147 -x183 1799.96/1800.48 v -x219 -x255 -x291 -x327 -x4 -x40 -x76 -x112 -x148 -x184 -x220 x256 -x292 -x328 -x5 -x41 -x77 -x113 -x149 -x185 -x221 -x257 1799.96/1800.48 v x293 -x329 -x6 -x42 -x78 -x114 -x150 -x186 x222 -x258 -x294 -x330 -x7 -x43 -x79 x115 -x151 -x187 -x223 -x259 -x295 -x331 -x9 1799.96/1800.48 v -x45 -x81 -x117 -x153 -x189 -x225 -x261 -x297 x333 -x10 -x46 -x82 -x118 -x154 -x190 -x226 -x262 x298 -x334 -x11 -x47 x83 -x119 1799.96/1800.48 v -x155 -x191 -x227 -x263 -x299 -x335 -x12 -x48 -x84 -x120 x156 -x192 -x228 -x264 -x300 -x336 x13 -x49 -x85 -x121 -x157 -x193 1799.96/1800.48 v -x229 -x265 -x301 -x337 -x14 -x50 -x86 -x122 -x158 x194 -x230 -x266 -x302 -x338 -x16 -x52 -x88 -x124 -x160 -x196 x232 -x268 1799.96/1800.48 v -x304 -x340 -x17 -x53 -x89 -x125 -x161 -x197 -x233 x269 -x305 -x341 -x18 x54 -x90 -x126 -x162 -x198 -x234 -x270 -x306 -x342 1799.96/1800.48 v -x19 -x55 -x91 -x127 x163 -x199 -x235 -x271 -x307 -x343 x20 -x56 -x92 -x128 -x164 -x200 -x236 -x272 -x308 -x344 -x21 -x57 -x93 1799.96/1800.48 v x129 -x165 -x201 -x237 -x273 -x309 -x345 -x23 -x59 -x95 -x131 -x167 -x203 -x239 -x275 -x311 x347 -x24 -x60 -x96 -x132 -x168 1799.96/1800.48 v x204 -x240 -x276 -x312 -x348 -x25 -x61 -x97 -x133 -x169 x205 -x241 -x277 -x313 -x349 -x26 -x62 -x98 -x134 -x170 -x206 x242 1799.96/1800.48 v -x278 -x314 -x350 -x27 -x63 -x99 -x135 x171 -x207 -x243 -x279 -x315 -x351 -x28 x64 -x100 -x136 -x172 -x208 -x244 -x280 -x316 1799.96/1800.48 v -x352 x30 -x66 -x102 -x138 -x174 -x210 -x246 -x282 -x318 -x354 -x31 -x67 -x103 -x139 -x175 -x211 -x247 -x283 -x319 x355 -x32 1799.96/1800.48 v -x68 -x104 -x140 -x176 -x212 -x248 x284 -x320 -x356 -x33 -x69 -x105 -x141 -x177 -x213 -x249 -x285 x321 -x357 -x34 -x70 x106 1799.96/1800.48 v -x142 -x178 -x214 -x250 -x286 -x322 -x358 -x35 -x71 -x107 x143 -x179 -x215 -x251 -x287 -x323 -x359 x8 x44 -x80 -x116 -x152 1799.96/1800.48 v x188 x224 x260 -x296 -x332 -x15 -x51 x87 x123 x159 -x195 -x231 -x267 x303 x339 -x22 x58 x94 -x130 -x166 -x202 x238 x274 x310 1799.96/1800.48 v -x346 -x29 -x65 x101 x137 -x173 -x209 -x245 x281 x317 x353 x36 x72 -x108 -x144 x180 x216 x252 -x288 -x324 -x360 x1 -x37 -x73 1799.96/1800.48 v x109 x145 x181 -x217 -x253 -x289 x325 1799.96/1800.48 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.96/1800.48 c 67 272411 54033 431662 65578 8960876 60952 151 1800.05 1799.96/1800.48 c Objective: 68 1799.96/1800.48 s SATISFIABLE 1799.96/1800.48 c Total time: 1800.05 s
OK 68
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node50/watcher-352682-1176638827 -o ROOT/results/node50/solver-352682-1176638827 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/352682-1176638827/instance-352682-1176638827.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: 1.08 1.03 1.01 3/64 13740 /proc/meminfo: memFree=1848896/2055920 swapFree=4183712/4192956 [pid=13740] ppid=13738 vsize=11936 CPUtime=0 /proc/13740/stat : 13740 (bsolo3.0.16) R 13738 13740 13276 0 -1 4194304 369 0 0 0 0 0 0 0 18 0 1 0 18727916 12222464 337 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8353403 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13740/statm: 2984 337 282 324 0 2003 0 [startup+0.0782541 s] /proc/loadavg: 1.08 1.03 1.01 3/64 13740 /proc/meminfo: memFree=1848896/2055920 swapFree=4183712/4192956 [pid=13740] ppid=13738 vsize=5264 CPUtime=0.07 /proc/13740/stat : 13740 (bsolo3.0.16) R 13738 13740 13276 0 -1 4194304 787 0 0 0 7 0 0 0 18 0 1 0 18727916 5390336 705 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8347637 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13740/statm: 1316 705 307 324 0 385 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 5264 [startup+0.101255 s] /proc/loadavg: 1.08 1.03 1.01 3/64 13740 /proc/meminfo: memFree=1848896/2055920 swapFree=4183712/4192956 [pid=13740] ppid=13738 vsize=5160 CPUtime=0.09 /proc/13740/stat : 13740 (bsolo3.0.16) R 13738 13740 13276 0 -1 4194304 792 0 0 0 9 0 0 0 18 0 1 0 18727916 5283840 684 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13740/statm: 1290 684 312 324 0 359 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5160 [startup+0.301273 s] /proc/loadavg: 1.08 1.03 1.01 3/64 13740 /proc/meminfo: memFree=1848896/2055920 swapFree=4183712/4192956 [pid=13740] ppid=13738 vsize=5940 CPUtime=0.29 /proc/13740/stat : 13740 (bsolo3.0.16) R 13738 13740 13276 0 -1 4194304 987 0 0 0 29 0 0 0 19 0 1 0 18727916 6082560 879 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8353403 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13740/statm: 1485 879 313 324 0 554 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5940 [startup+0.701307 s] /proc/loadavg: 1.08 1.03 1.01 3/64 13740 /proc/meminfo: memFree=1848896/2055920 swapFree=4183712/4192956 [pid=13740] ppid=13738 vsize=7372 CPUtime=0.69 /proc/13740/stat : 13740 (bsolo3.0.16) R 13738 13740 13276 0 -1 4194304 1325 0 0 0 68 1 0 0 23 0 1 0 18727916 7548928 1217 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13740/statm: 1843 1217 313 324 0 912 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7372 [startup+1.50138 s] /proc/loadavg: 1.07 1.03 1.00 2/65 13741 /proc/meminfo: memFree=1844216/2055920 swapFree=4183712/4192956 [pid=13740] ppid=13738 vsize=9700 CPUtime=1.49 /proc/13740/stat : 13740 (bsolo3.0.16) R 13738 13740 13276 0 -1 4194304 1902 0 0 0 148 1 0 0 25 0 1 0 18727916 9932800 1794 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13740/statm: 2425 1794 313 324 0 1494 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9700 [startup+3.10152 s] /proc/loadavg: 1.07 1.03 1.00 2/65 13743 /proc/meminfo: memFree=1841208/2055920 swapFree=4183712/4192956 [pid=13740] ppid=13738 vsize=12436 CPUtime=3.1 /proc/13740/stat : 13740 (bsolo3.0.16) R 13738 13740 13276 0 -1 4194304 2610 0 0 0 307 3 0 0 25 0 1 0 18727916 12734464 2502 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551257 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13740/statm: 3109 2502 313 324 0 2178 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 12436 [startup+6.3018 s] /proc/loadavg: 1.07 1.03 1.00 2/65 13743 /proc/meminfo: memFree=1836536/2055920 swapFree=4183712/4192956 [pid=13740] ppid=13738 vsize=16592 CPUtime=6.29 /proc/13740/stat : 13740 (bsolo3.0.16) R 13738 13740 13276 0 -1 4194304 3642 0 0 0 625 4 0 0 25 0 1 0 18727916 16990208 3534 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551079 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13740/statm: 4148 3534 313 324 0 3217 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 16592 [startup+12.7024 s] /proc/loadavg: 1.06 1.03 1.00 2/65 13743 /proc/meminfo: memFree=1831160/2055920 swapFree=4183712/4192956 [pid=13740] ppid=13738 vsize=21628 CPUtime=12.69 /proc/13740/stat : 13740 (bsolo3.0.16) R 13738 13740 13276 0 -1 4194304 4895 0 0 0 1262 7 0 0 25 0 1 0 18727916 22147072 4787 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13740/statm: 5407 4787 313 324 0 4476 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 21628 [startup+25.5015 s] /proc/loadavg: 1.05 1.03 1.00 2/65 13743 /proc/meminfo: memFree=1822392/2055920 swapFree=4183712/4192956 [pid=13740] ppid=13738 vsize=30032 CPUtime=25.49 /proc/13740/stat : 13740 (bsolo3.0.16) R 13738 13740 13276 0 -1 4194304 7004 0 0 0 2539 10 0 0 25 0 1 0 18727916 30752768 6896 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13740/statm: 7508 6896 313 324 0 6577 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 30032 [startup+51.1017 s] /proc/loadavg: 1.03 1.03 1.00 2/65 13743 /proc/meminfo: memFree=1807992/2055920 swapFree=4183712/4192956 [pid=13740] ppid=13738 vsize=44528 CPUtime=51.08 /proc/13740/stat : 13740 (bsolo3.0.16) R 13738 13740 13276 0 -1 4194304 10617 0 0 0 5093 15 0 0 25 0 1 0 18727916 45596672 10509 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13740/statm: 11132 10509 313 324 0 10201 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 44528 [startup+102.305 s] /proc/loadavg: 1.01 1.02 1.00 2/65 13743 /proc/meminfo: memFree=1793080/2055920 swapFree=4183712/4192956 [pid=13740] ppid=13738 vsize=59292 CPUtime=102.27 /proc/13740/stat : 13740 (bsolo3.0.16) R 13738 13740 13276 0 -1 4194304 14303 0 0 0 10205 22 0 0 25 0 1 0 18727916 60715008 14195 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13740/statm: 14823 14195 313 324 0 13892 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 59292 [startup+162.302 s] /proc/loadavg: 1.00 1.01 1.00 2/65 13743 /proc/meminfo: memFree=1792568/2055920 swapFree=4183712/4192956 [pid=13740] ppid=13738 vsize=59556 CPUtime=162.25 /proc/13740/stat : 13740 (bsolo3.0.16) R 13738 13740 13276 0 -1 4194304 14420 0 0 0 16197 28 0 0 25 0 1 0 18727916 60985344 14273 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13740/statm: 14889 14273 313 324 0 13958 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 59556 [startup+222.302 s] /proc/loadavg: 1.00 1.01 1.00 2/65 13743 /proc/meminfo: memFree=1778680/2055920 swapFree=4183712/4192956 [pid=13740] ppid=13738 vsize=73796 CPUtime=222.24 /proc/13740/stat : 13740 (bsolo3.0.16) R 13738 13740 13276 0 -1 4194304 17971 0 0 0 22189 35 0 0 25 0 1 0 18727916 75567104 17824 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551836 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13740/statm: 18449 17824 313 324 0 17518 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 73796 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13743 /proc/meminfo: memFree=1761848/2055920 swapFree=4183712/4192956 [pid=13740] ppid=13738 vsize=90748 CPUtime=282.23 /proc/13740/stat : 13740 (bsolo3.0.16) R 13738 13740 13276 0 -1 4194304 22216 0 0 0 28180 43 0 0 25 0 1 0 18727916 92925952 22069 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13740/statm: 22687 22069 313 324 0 21756 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 90748 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13743 /proc/meminfo: memFree=1748472/2055920 swapFree=4183712/4192956 [pid=13740] ppid=13738 vsize=103816 CPUtime=342.21 /proc/13740/stat : 13740 (bsolo3.0.16) R 13738 13740 13276 0 -1 4194304 25494 0 0 0 34173 48 0 0 25 0 1 0 18727916 106307584 25347 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13740/statm: 25954 25347 313 324 0 25023 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 103816 [startup+402.302 s] /proc/loadavg: 1.07 1.02 1.00 2/65 13743 /proc/meminfo: memFree=1734904/2055920 swapFree=4183712/4192956 [pid=13740] ppid=13738 vsize=117532 CPUtime=402.19 /proc/13740/stat : 13740 (bsolo3.0.16) R 13738 13740 13276 0 -1 4194304 28912 0 0 0 40166 53 0 0 25 0 1 0 18727916 120352768 28765 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13740/statm: 29383 28765 313 324 0 28452 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 117532 [startup+462.302 s] /proc/loadavg: 1.14 1.04 1.01 2/65 13743 /proc/meminfo: memFree=1722488/2055920 swapFree=4183712/4192956 [pid=13740] ppid=13738 vsize=129828 CPUtime=462.18 /proc/13740/stat : 13740 (bsolo3.0.16) R 13738 13740 13276 0 -1 4194304 31980 0 0 0 46160 58 0 0 25 0 1 0 18727916 132943872 31833 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8353403 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13740/statm: 32457 31833 313 324 0 31526 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 129828 [startup+522.301 s] /proc/loadavg: 1.05 1.03 1.00 2/65 13743 /proc/meminfo: memFree=1710648/2055920 swapFree=4183712/4192956 [pid=13740] ppid=13738 vsize=141724 CPUtime=522.16 /proc/13740/stat : 13740 (bsolo3.0.16) R 13738 13740 13276 0 -1 4194304 34964 0 0 0 52154 62 0 0 25 0 1 0 18727916 145125376 34817 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8349586 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13740/statm: 35431 34817 313 324 0 34500 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 141724 [startup+582.302 s] /proc/loadavg: 1.02 1.02 1.00 2/65 13743 /proc/meminfo: memFree=1700216/2055920 swapFree=4183712/4192956 [pid=13740] ppid=13738 vsize=152072 CPUtime=582.15 /proc/13740/stat : 13740 (bsolo3.0.16) R 13738 13740 13276 0 -1 4194304 37535 0 0 0 58149 66 0 0 25 0 1 0 18727916 155721728 37388 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13740/statm: 38018 37388 313 324 0 37087 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 152072 [startup+642.302 s] /proc/loadavg: 1.00 1.02 1.00 2/65 13743 /proc/meminfo: memFree=1690552/2055920 swapFree=4183712/4192956 [pid=13740] ppid=13738 vsize=161636 CPUtime=642.14 /proc/13740/stat : 13740 (bsolo3.0.16) R 13738 13740 13276 0 -1 4194304 39939 0 0 0 64142 72 0 0 25 0 1 0 18727916 165515264 39792 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13740/statm: 40409 39792 313 324 0 39478 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 161636 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13743 /proc/meminfo: memFree=1675576/2055920 swapFree=4183712/4192956 [pid=13740] ppid=13738 vsize=176268 CPUtime=882.08 /proc/13740/stat : 13740 (bsolo3.0.16) R 13738 13740 13276 0 -1 4194304 43683 0 0 0 88123 85 0 0 25 0 1 0 18727916 180498432 43437 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13740/statm: 44067 43437 313 324 0 43136 0 Current children cumulated CPU time (s) 882.08 Current children cumulated vsize (KiB) 176268 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13743 /proc/meminfo: memFree=1675576/2055920 swapFree=4183712/4192956 [pid=13740] ppid=13738 vsize=176268 CPUtime=942.07 /proc/13740/stat : 13740 (bsolo3.0.16) R 13738 13740 13276 0 -1 4194304 43683 0 0 0 94119 88 0 0 25 0 1 0 18727916 180498432 43437 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13740/statm: 44067 43437 313 324 0 43136 0 Current children cumulated CPU time (s) 942.07 Current children cumulated vsize (KiB) 176268 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13743 /proc/meminfo: memFree=1675576/2055920 swapFree=4183712/4192956 [pid=13740] ppid=13738 vsize=176268 CPUtime=1002.05 /proc/13740/stat : 13740 (bsolo3.0.16) R 13738 13740 13276 0 -1 4194304 43683 0 0 0 100115 90 0 0 25 0 1 0 18727916 180498432 43437 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13740/statm: 44067 43437 313 324 0 43136 0 Current children cumulated CPU time (s) 1002.05 Current children cumulated vsize (KiB) 176268 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13743 /proc/meminfo: memFree=1675576/2055920 swapFree=4183712/4192956 [pid=13740] ppid=13738 vsize=176268 CPUtime=1062.04 /proc/13740/stat : 13740 (bsolo3.0.16) R 13738 13740 13276 0 -1 4194304 43683 0 0 0 106112 92 0 0 25 0 1 0 18727916 180498432 43437 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551635 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13740/statm: 44067 43437 313 324 0 43136 0 Current children cumulated CPU time (s) 1062.04 Current children cumulated vsize (KiB) 176268 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13743 /proc/meminfo: memFree=1675576/2055920 swapFree=4183712/4192956 [pid=13740] ppid=13738 vsize=176268 CPUtime=1122.03 /proc/13740/stat : 13740 (bsolo3.0.16) R 13738 13740 13276 0 -1 4194304 43683 0 0 0 112109 94 0 0 25 0 1 0 18727916 180498432 43437 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4160051253 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13740/statm: 44067 43437 313 324 0 43136 0 Current children cumulated CPU time (s) 1122.03 Current children cumulated vsize (KiB) 176268 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13743 /proc/meminfo: memFree=1675576/2055920 swapFree=4183712/4192956 [pid=13740] ppid=13738 vsize=176268 CPUtime=1182.01 /proc/13740/stat : 13740 (bsolo3.0.16) R 13738 13740 13276 0 -1 4194304 43683 0 0 0 118105 96 0 0 25 0 1 0 18727916 180498432 43437 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13740/statm: 44067 43437 313 324 0 43136 0 Current children cumulated CPU time (s) 1182.01 Current children cumulated vsize (KiB) 176268 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13743 /proc/meminfo: memFree=1675448/2055920 swapFree=4183712/4192956 [pid=13740] ppid=13738 vsize=176268 CPUtime=1242 /proc/13740/stat : 13740 (bsolo3.0.16) R 13738 13740 13276 0 -1 4194304 43683 0 0 0 124102 98 0 0 25 0 1 0 18727916 180498432 43437 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13740/statm: 44067 43437 313 324 0 43136 0 Current children cumulated CPU time (s) 1242 Current children cumulated vsize (KiB) 176268 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13743 /proc/meminfo: memFree=1675448/2055920 swapFree=4183712/4192956 [pid=13740] ppid=13738 vsize=176268 CPUtime=1301.99 /proc/13740/stat : 13740 (bsolo3.0.16) R 13738 13740 13276 0 -1 4194304 43683 0 0 0 130099 100 0 0 25 0 1 0 18727916 180498432 43437 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13740/statm: 44067 43437 313 324 0 43136 0 Current children cumulated CPU time (s) 1301.99 Current children cumulated vsize (KiB) 176268 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13743 /proc/meminfo: memFree=1675448/2055920 swapFree=4183712/4192956 [pid=13740] ppid=13738 vsize=176268 CPUtime=1361.97 /proc/13740/stat : 13740 (bsolo3.0.16) R 13738 13740 13276 0 -1 4194304 43683 0 0 0 136096 101 0 0 25 0 1 0 18727916 180498432 43437 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13740/statm: 44067 43437 313 324 0 43136 0 Current children cumulated CPU time (s) 1361.97 Current children cumulated vsize (KiB) 176268 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13743 /proc/meminfo: memFree=1675384/2055920 swapFree=4183712/4192956 [pid=13740] ppid=13738 vsize=176524 CPUtime=1421.95 /proc/13740/stat : 13740 (bsolo3.0.16) R 13738 13740 13276 0 -1 4194304 43747 0 0 0 142093 102 0 0 25 0 1 0 18727916 180760576 43501 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13740/statm: 44131 43501 313 324 0 43200 0 Current children cumulated CPU time (s) 1421.95 Current children cumulated vsize (KiB) 176524 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13743 /proc/meminfo: memFree=1665464/2055920 swapFree=4183712/4192956 [pid=13740] ppid=13738 vsize=186448 CPUtime=1481.94 /proc/13740/stat : 13740 (bsolo3.0.16) R 13738 13740 13276 0 -1 4194304 46232 0 0 0 148089 105 0 0 25 0 1 0 18727916 190922752 45986 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13740/statm: 46612 45986 313 324 0 45681 0 Current children cumulated CPU time (s) 1481.94 Current children cumulated vsize (KiB) 186448 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13743 /proc/meminfo: memFree=1663032/2055920 swapFree=4183712/4192956 [pid=13740] ppid=13738 vsize=188636 CPUtime=1541.92 /proc/13740/stat : 13740 (bsolo3.0.16) R 13738 13740 13276 0 -1 4194304 46877 0 0 0 154083 109 0 0 25 0 1 0 18727916 193163264 46532 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8359687 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13740/statm: 47159 46532 313 324 0 46228 0 Current children cumulated CPU time (s) 1541.92 Current children cumulated vsize (KiB) 188636 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13743 /proc/meminfo: memFree=1663032/2055920 swapFree=4183712/4192956 [pid=13740] ppid=13738 vsize=188636 CPUtime=1601.9 /proc/13740/stat : 13740 (bsolo3.0.16) R 13738 13740 13276 0 -1 4194304 46877 0 0 0 160080 110 0 0 25 0 1 0 18727916 193163264 46532 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13740/statm: 47159 46532 313 324 0 46228 0 Current children cumulated CPU time (s) 1601.9 Current children cumulated vsize (KiB) 188636 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13743 /proc/meminfo: memFree=1663032/2055920 swapFree=4183712/4192956 [pid=13740] ppid=13738 vsize=188636 CPUtime=1661.89 /proc/13740/stat : 13740 (bsolo3.0.16) R 13738 13740 13276 0 -1 4194304 46877 0 0 0 166077 112 0 0 25 0 1 0 18727916 193163264 46532 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13740/statm: 47159 46532 313 324 0 46228 0 Current children cumulated CPU time (s) 1661.89 Current children cumulated vsize (KiB) 188636 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13743 /proc/meminfo: memFree=1663032/2055920 swapFree=4183712/4192956 [pid=13740] ppid=13738 vsize=188636 CPUtime=1721.88 /proc/13740/stat : 13740 (bsolo3.0.16) R 13738 13740 13276 0 -1 4194304 46877 0 0 0 172074 114 0 0 25 0 1 0 18727916 193163264 46532 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134521208 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13740/statm: 47159 46532 313 324 0 46228 0 Current children cumulated CPU time (s) 1721.88 Current children cumulated vsize (KiB) 188636 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13743 /proc/meminfo: memFree=1662904/2055920 swapFree=4183712/4192956 [pid=13740] ppid=13738 vsize=188636 CPUtime=1781.86 /proc/13740/stat : 13740 (bsolo3.0.16) R 13738 13740 13276 0 -1 4194304 46877 0 0 0 178070 116 0 0 25 0 1 0 18727916 193163264 46532 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13740/statm: 47159 46532 313 324 0 46228 0 Current children cumulated CPU time (s) 1781.86 Current children cumulated vsize (KiB) 188636 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13743 /proc/meminfo: memFree=1762680/2055920 swapFree=4183712/4192956 [pid=13740] ppid=13738 vsize=0 CPUtime=1800.07 /proc/13740/stat : 13740 (bsolo3.0.16) R 13738 13740 13276 0 -1 4194308 46878 0 0 0 179888 119 0 0 25 0 1 0 18727916 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13740/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 0 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13743 /proc/meminfo: memFree=1762680/2055920 swapFree=4183712/4192956 [pid=13740] ppid=13738 vsize=0 CPUtime=1800.07 /proc/13740/stat : 13740 (bsolo3.0.16) R 13738 13740 13276 0 -1 4194308 46878 0 0 0 179888 119 0 0 25 0 1 0 18727916 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13740/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.52 CPU time (s): 1800.08 CPU user time (s): 1798.88 CPU system time (s): 1.20282 CPU usage (%): 99.976 Max. virtual memory (cumulated for all children) (KiB): 189032 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.88 system time used= 1.20282 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 46878 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= 12 involuntary context switches= 3174 runsolver used 1.26781 second user time and 3.66144 second system time The end
Begin job on node50 on Sun Apr 15 12:07:07 UTC 2007 IDJOB= 352682 IDBENCH= 2007 IDSOLVER= 163 FILE ID= node50/352682-1176638827 PBS_JOBID= 4559812 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/ttp/normalized-circ6_3.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/352682-1176638827/instance-352682-1176638827.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node50/watcher-352682-1176638827 -o ROOT/results/node50/solver-352682-1176638827 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/352682-1176638827/instance-352682-1176638827.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= ff9be653d1d3ea3b1a82846016e94df6 RANDOM SEED= 331220590 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node50.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.232 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.232 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: 1849240 kB Buffers: 11036 kB Cached: 145052 kB SwapCached: 4324 kB Active: 38492 kB Inactive: 129116 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1849240 kB SwapTotal: 4192956 kB SwapFree: 4183712 kB Dirty: 4588 kB Writeback: 0 kB Mapped: 16044 kB Slab: 25020 kB Committed_AS: 356268 kB PageTables: 1460 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 node50 on Sun Apr 15 12:37:10 UTC 2007