Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (TO) | 68 | 1800.05 | 1800.64 |
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.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/432892-1177951917/instance-432892-1177951917.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.038 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.08 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 1136 0.09 0.09/0.10 o 88 0.102 0.09/0.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.11 c 220 540 4847 29463 6 15589 31874 221 2156 0.10 0.09/0.11 o 86 0.108 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 2305 0.11 0.09/0.19 c 350 540 4978 37023 7 15871 35062 352 2755 0.13 0.09/0.19 c 601 540 5229 55801 10 16001 38569 603 3357 0.18 0.09/0.19 o 84 0.192 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 3461 0.19 0.19/0.28 c 768 540 5397 64714 11 16382 35062 771 3639 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.28 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 4035 0.28 0.29/0.30 o 80 0.299 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 4026 0.30 0.29/0.35 c 1310 540 5941 95051 15 18002 35062 1315 4119 0.32 0.29/0.35 c 1562 540 6193 100892 16 18520 38569 1567 4527 0.34 0.29/0.35 o 78 0.355 1.49/1.51 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.49/1.51 c 1608 540 6240 103199 16 18727 31874 1614 4529 0.35 1.49/1.51 c 1712 540 6344 109057 17 18493 35062 1718 4423 0.39 1.49/1.51 c 1962 540 6594 126955 19 19439 38569 1968 4274 0.46 1.49/1.51 c 2438 540 7070 161028 22 20569 42426 2444 4063 0.60 1.49/1.51 c 3252 540 7884 228249 28 21868 46669 3258 3699 0.88 1.49/1.51 o 76 1.509 2.79/2.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.79/2.80 c 4445 540 9078 347428 38 25023 31874 4452 2943 1.51 2.79/2.80 c 4549 540 9182 356560 38 24860 35062 4556 2893 1.57 2.79/2.80 c 4799 540 9432 378075 40 25367 38569 4806 2811 1.71 2.79/2.80 c 5274 540 9907 416835 42 26172 42426 5281 2664 1.98 2.79/2.80 c 6087 540 10720 464942 43 27408 46669 6094 2476 2.46 2.79/2.80 o 74 2.805 55.56/55.62 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 55.56/55.62 c 6599 540 11233 509886 45 28320 31874 6607 2352 2.81 55.56/55.62 c 6699 540 11333 518432 45 28653 35062 6707 2333 2.87 55.56/55.62 c 6954 540 11588 545790 47 28773 38569 6962 2254 3.08 55.56/55.62 c 7429 540 12063 583331 48 30305 42426 7437 2143 3.47 55.56/55.62 c 8243 540 12877 657635 51 32184 46669 8251 1978 4.17 55.56/55.62 c 9565 540 14199 782185 55 35192 51336 9573 1725 5.54 55.56/55.62 c 11646 540 16280 976382 59 38680 56470 11654 1390 8.37 55.56/55.62 c 14869 540 19503 1311547 67 45326 62118 14877 1019 14.58 55.56/55.62 c 19807 540 24441 1880617 76 55442 68330 19815 740 26.76 55.56/55.62 c 27313 540 31947 2777439 86 69955 75164 27321 577 47.30 55.56/55.62 o 72 55.596 105.75/105.84 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 105.75/105.84 c 29276 540 33911 2969443 87 73884 31874 29285 526 55.60 105.75/105.84 c 29376 540 34011 2974621 87 74121 35062 29385 525 55.91 105.75/105.84 c 29626 540 34261 2994667 87 75388 38569 29635 522 56.74 105.75/105.84 c 30101 540 34736 3033604 87 76489 42426 30110 512 58.73 105.75/105.84 c 30917 540 35552 3103153 87 77601 46669 30926 503 61.43 105.75/105.84 c 32237 540 36872 3222685 87 80379 51336 32246 489 65.87 105.75/105.84 c 34319 540 38954 3442044 88 84571 56470 34328 465 73.79 105.75/105.84 c 37542 540 42177 3732805 88 90522 62118 37551 407 92.11 105.75/105.84 o 70 105.802 836.56/836.95 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 836.56/836.95 c 39683 540 44319 3959280 89 95610 31874 39693 375 105.80 836.56/836.95 c 39783 540 18179 1145896 63 42196 35062 13553 373 106.49 836.56/836.95 c 40035 540 18431 1168261 63 42122 38569 13805 374 106.84 836.56/836.95 c 40512 540 18908 1213140 64 43058 42426 14282 375 108.00 836.56/836.95 c 41328 540 19724 1306001 66 44679 46669 15098 377 109.61 836.56/836.95 c 42648 540 21044 1440001 68 47969 51336 16418 380 112.19 836.56/836.95 c 44732 540 23128 1674678 72 52307 56470 18502 380 117.70 836.56/836.95 c 47956 540 26352 2106292 79 58234 62118 21726 380 126.03 836.56/836.95 c 52892 540 31288 2709903 86 68057 68330 26662 378 139.92 836.56/836.95 c 60399 540 38795 3676997 94 82998 75164 34169 357 168.92 836.56/836.95 c 71760 540 50156 5123251 102 105288 82681 45530 305 235.12 836.56/836.95 c 88904 540 67300 7359288 109 140253 90950 62674 243 364.92 836.56/836.95 c 114724 540 93120 11009450 118 191649 100046 88494 181 631.33 836.56/836.95 o 68 836.625 1800.01/1800.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.01/1800.60 c 144094 540 39344 4137702 105 84531 31874 34718 172 836.63 1800.01/1800.60 c 144196 540 20056 1623547 80 45404 35062 15430 172 837.55 1800.01/1800.60 c 144447 540 20307 1647923 81 46496 38569 15681 172 838.47 1800.01/1800.60 c 144922 540 20782 1697598 81 47421 42426 16156 172 840.01 1800.01/1800.60 c 145736 540 21596 1777383 82 48487 46669 16970 173 841.60 1800.01/1800.60 c 147062 540 22922 1894229 82 50709 51336 18296 173 845.83 1800.01/1800.60 c 149144 540 25004 2201647 88 55901 56470 20378 174 853.48 1800.01/1800.60 c 152368 540 28228 2638317 93 62045 62118 23602 175 866.68 1800.01/1800.60 c 157309 540 33169 3279948 98 71512 68330 28543 177 888.34 1800.01/1800.60 c 164815 540 40675 4093923 100 86801 75164 36049 174 942.50 1800.01/1800.60 c 176177 540 52037 5682254 109 109428 82681 47411 171 1029.06 1800.01/1800.60 c 193321 540 69181 8073406 116 144344 90950 64555 164 1172.52 1800.01/1800.61 c 219140 540 95000 11922442 125 195588 100046 90374 150 1459.63 1800.01/1800.61 c 257973 540 51140 7022372 137 107976 110051 46514 143 1793.88 1800.01/1800.61 c Caught signal: 15 1800.01/1800.61 v x361 -x362 -x363 -x364 x365 -x366 x367 -x368 -x369 -x370 x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 x379 -x380 x381 -x382 1800.01/1800.61 v -x383 -x384 -x385 -x386 -x387 -x388 x389 -x390 -x391 -x392 -x393 -x394 x395 -x396 -x397 x398 x399 -x400 -x401 x402 -x403 -x404 1800.01/1800.61 v -x405 -x406 -x407 x408 -x409 -x410 x411 -x412 -x413 -x414 -x415 -x416 x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 x425 1800.01/1800.61 v -x426 -x427 x428 -x429 -x430 x431 x432 -x433 -x434 -x435 -x436 -x437 -x438 x439 -x440 -x441 -x442 x443 -x444 -x445 -x446 -x447 1800.01/1800.61 v x448 -x449 -x450 -x451 -x452 -x453 -x454 x455 -x456 -x457 x458 -x459 -x460 x461 -x462 -x463 -x464 -x465 -x466 x467 x468 x469 1800.01/1800.61 v -x470 -x471 -x472 -x473 x474 -x475 -x476 -x477 -x478 x479 -x480 x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 x489 -x490 1800.01/1800.61 v x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 x499 -x500 -x501 -x502 x503 -x504 x505 -x506 -x507 -x508 x509 -x510 -x511 -x512 1800.01/1800.61 v -x513 -x514 x515 -x516 x517 -x518 -x519 -x520 x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 x529 -x530 -x531 -x532 -x533 1800.01/1800.61 v -x534 x535 -x536 x537 -x538 x539 -x540 -x2 x38 -x74 -x110 -x146 -x182 -x218 -x254 -x290 -x326 -x3 -x39 x75 -x111 -x147 -x183 1800.01/1800.61 v -x219 -x255 -x291 -x327 -x4 -x40 -x76 -x112 -x148 -x184 -x220 x256 -x292 -x328 -x5 -x41 -x77 -x113 -x149 -x185 -x221 -x257 1800.01/1800.61 v x293 -x329 -x6 -x42 -x78 -x114 -x150 -x186 x222 -x258 -x294 -x330 -x7 -x43 -x79 x115 -x151 -x187 -x223 -x259 -x295 -x331 -x9 1800.01/1800.61 v -x45 -x81 -x117 -x153 -x189 -x225 -x261 -x297 x333 -x10 -x46 -x82 -x118 -x154 -x190 -x226 -x262 x298 -x334 -x11 -x47 x83 -x119 1800.01/1800.61 v -x155 -x191 -x227 -x263 -x299 -x335 -x12 -x48 -x84 -x120 x156 -x192 -x228 -x264 -x300 -x336 x13 -x49 -x85 -x121 -x157 -x193 1800.01/1800.61 v -x229 -x265 -x301 -x337 -x14 -x50 -x86 -x122 -x158 x194 -x230 -x266 -x302 -x338 -x16 -x52 -x88 -x124 -x160 -x196 x232 -x268 1800.01/1800.61 v -x304 -x340 -x17 -x53 -x89 -x125 -x161 -x197 -x233 x269 -x305 -x341 -x18 x54 -x90 -x126 -x162 -x198 -x234 -x270 -x306 -x342 1800.01/1800.61 v -x19 -x55 -x91 -x127 x163 -x199 -x235 -x271 -x307 -x343 x20 -x56 -x92 -x128 -x164 -x200 -x236 -x272 -x308 -x344 -x21 -x57 -x93 1800.01/1800.61 v x129 -x165 -x201 -x237 -x273 -x309 -x345 -x23 -x59 -x95 -x131 -x167 -x203 -x239 -x275 -x311 x347 -x24 -x60 -x96 -x132 -x168 1800.01/1800.61 v x204 -x240 -x276 -x312 -x348 -x25 -x61 -x97 -x133 -x169 x205 -x241 -x277 -x313 -x349 -x26 -x62 -x98 -x134 -x170 -x206 x242 1800.01/1800.61 v -x278 -x314 -x350 -x27 -x63 -x99 -x135 x171 -x207 -x243 -x279 -x315 -x351 -x28 x64 -x100 -x136 -x172 -x208 -x244 -x280 -x316 1800.01/1800.61 v -x352 x30 -x66 -x102 -x138 -x174 -x210 -x246 -x282 -x318 -x354 -x31 -x67 -x103 -x139 -x175 -x211 -x247 -x283 -x319 x355 -x32 1800.01/1800.61 v -x68 -x104 -x140 -x176 -x212 -x248 x284 -x320 -x356 -x33 -x69 -x105 -x141 -x177 -x213 -x249 -x285 x321 -x357 -x34 -x70 x106 1800.01/1800.61 v -x142 -x178 -x214 -x250 -x286 -x322 -x358 -x35 -x71 -x107 x143 -x179 -x215 -x251 -x287 -x323 -x359 x8 x44 -x80 -x116 -x152 1800.01/1800.61 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 1800.01/1800.61 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 1800.01/1800.61 v x109 x145 x181 -x217 -x253 -x289 x325 1800.01/1800.61 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.01/1800.61 c 67 258646 51073 409921 51813 7097379 47187 143 1800.02 1800.01/1800.61 c Objective: 68 1800.01/1800.61 s SATISFIABLE 1800.01/1800.61 c Total time: 1800.02 s
OK 68
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node35/watcher-432892-1177951917 -o ROOT/results/node35/solver-432892-1177951917 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432892-1177951917/instance-432892-1177951917.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.99 0.98 0.93 3/77 27580 /proc/meminfo: memFree=1824888/2055920 swapFree=4151240/4192956 [pid=27580] ppid=27578 vsize=11936 CPUtime=0 /proc/27580/stat : 27580 (bsolo3.0.17) R 27578 27580 26773 0 -1 4194304 364 0 0 0 0 0 0 0 18 0 1 0 243107152 12222464 334 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27580/statm: 2984 335 280 324 0 2004 0 [startup+0.0773089 s] /proc/loadavg: 0.99 0.98 0.93 3/77 27580 /proc/meminfo: memFree=1824888/2055920 swapFree=4151240/4192956 [pid=27580] ppid=27578 vsize=5264 CPUtime=0.07 /proc/27580/stat : 27580 (bsolo3.0.17) R 27578 27580 26773 0 -1 4194304 783 0 0 0 7 0 0 0 18 0 1 0 243107152 5390336 703 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27580/statm: 1316 703 305 324 0 386 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 5264 [startup+0.101311 s] /proc/loadavg: 0.99 0.98 0.93 3/77 27580 /proc/meminfo: memFree=1824888/2055920 swapFree=4151240/4192956 [pid=27580] ppid=27578 vsize=5160 CPUtime=0.09 /proc/27580/stat : 27580 (bsolo3.0.17) R 27578 27580 26773 0 -1 4194304 787 0 0 0 9 0 0 0 18 0 1 0 243107152 5283840 681 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27580/statm: 1290 681 309 324 0 360 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5160 [startup+0.301336 s] /proc/loadavg: 0.99 0.98 0.93 3/77 27580 /proc/meminfo: memFree=1824888/2055920 swapFree=4151240/4192956 [pid=27580] ppid=27578 vsize=5940 CPUtime=0.29 /proc/27580/stat : 27580 (bsolo3.0.17) R 27578 27580 26773 0 -1 4194304 980 0 0 0 29 0 0 0 19 0 1 0 243107152 6082560 874 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551365 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27580/statm: 1485 874 311 324 0 555 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5940 [startup+0.701384 s] /proc/loadavg: 0.99 0.98 0.93 3/77 27580 /proc/meminfo: memFree=1824888/2055920 swapFree=4151240/4192956 [pid=27580] ppid=27578 vsize=7372 CPUtime=0.69 /proc/27580/stat : 27580 (bsolo3.0.17) R 27578 27580 26773 0 -1 4194304 1311 0 0 0 68 1 0 0 23 0 1 0 243107152 7548928 1205 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551048 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27580/statm: 1843 1205 311 324 0 913 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7372 [startup+1.50148 s] /proc/loadavg: 0.99 0.98 0.93 2/78 27581 /proc/meminfo: memFree=1820336/2055920 swapFree=4151240/4192956 [pid=27580] ppid=27578 vsize=9572 CPUtime=1.49 /proc/27580/stat : 27580 (bsolo3.0.17) R 27578 27580 26773 0 -1 4194304 1890 0 0 0 148 1 0 0 25 0 1 0 243107152 9801728 1784 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27580/statm: 2393 1784 311 324 0 1463 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9572 [startup+3.10167 s] /proc/loadavg: 0.99 0.98 0.93 2/78 27581 /proc/meminfo: memFree=1817648/2055920 swapFree=4151240/4192956 [pid=27580] ppid=27578 vsize=12436 CPUtime=3.09 /proc/27580/stat : 27580 (bsolo3.0.17) R 27578 27580 26773 0 -1 4194304 2594 0 0 0 308 1 0 0 25 0 1 0 243107152 12734464 2488 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27580/statm: 3109 2488 311 324 0 2179 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 12436 [startup+6.30105 s] /proc/loadavg: 0.99 0.98 0.93 2/78 27581 /proc/meminfo: memFree=1812656/2055920 swapFree=4151240/4192956 [pid=27580] ppid=27578 vsize=16592 CPUtime=6.29 /proc/27580/stat : 27580 (bsolo3.0.17) R 27578 27580 26773 0 -1 4194304 3629 0 0 0 627 2 0 0 25 0 1 0 243107152 16990208 3523 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551241 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27580/statm: 4148 3523 311 324 0 3218 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 16592 [startup+12.7018 s] /proc/loadavg: 0.99 0.98 0.93 2/78 27581 /proc/meminfo: memFree=1807224/2055920 swapFree=4151240/4192956 [pid=27580] ppid=27578 vsize=21628 CPUtime=12.69 /proc/27580/stat : 27580 (bsolo3.0.17) R 27578 27580 26773 0 -1 4194304 4895 0 0 0 1265 4 0 0 25 0 1 0 243107152 22147072 4789 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551321 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27580/statm: 5407 4789 311 324 0 4477 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 21628 [startup+25.5013 s] /proc/loadavg: 0.99 0.98 0.93 2/78 27581 /proc/meminfo: memFree=1798520/2055920 swapFree=4151240/4192956 [pid=27580] ppid=27578 vsize=30032 CPUtime=25.48 /proc/27580/stat : 27580 (bsolo3.0.17) R 27578 27580 26773 0 -1 4194304 6990 0 0 0 2542 6 0 0 25 0 1 0 243107152 30752768 6884 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551356 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27580/statm: 7508 6884 311 324 0 6578 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 30032 [startup+51.1014 s] /proc/loadavg: 0.99 0.98 0.93 2/78 27581 /proc/meminfo: memFree=1784120/2055920 swapFree=4151240/4192956 [pid=27580] ppid=27578 vsize=44396 CPUtime=51.07 /proc/27580/stat : 27580 (bsolo3.0.17) R 27578 27580 26773 0 -1 4194304 10590 0 0 0 5096 11 0 0 25 0 1 0 243107152 45461504 10484 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550887 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27580/statm: 11099 10484 311 324 0 10169 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 44396 [startup+102.305 s] /proc/loadavg: 0.99 0.98 0.93 2/78 27581 /proc/meminfo: memFree=1769656/2055920 swapFree=4151240/4192956 [pid=27580] ppid=27578 vsize=58640 CPUtime=102.26 /proc/27580/stat : 27580 (bsolo3.0.17) R 27578 27580 26773 0 -1 4194304 14157 0 0 0 10210 16 0 0 25 0 1 0 243107152 60047360 14051 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 1904357 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27580/statm: 14660 14051 311 324 0 13730 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 58640 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.93 2/78 27581 /proc/meminfo: memFree=1768632/2055920 swapFree=4151240/4192956 [pid=27580] ppid=27578 vsize=59556 CPUtime=162.24 /proc/27580/stat : 27580 (bsolo3.0.17) R 27578 27580 26773 0 -1 4194304 14416 0 0 0 16208 16 0 0 25 0 1 0 243107152 60985344 14271 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27580/statm: 14889 14271 311 324 0 13959 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 59556 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.93 2/78 27581 /proc/meminfo: memFree=1756792/2055920 swapFree=4151240/4192956 [pid=27580] ppid=27578 vsize=71584 CPUtime=222.23 /proc/27580/stat : 27580 (bsolo3.0.17) R 27578 27580 26773 0 -1 4194304 17407 0 0 0 22203 20 0 0 25 0 1 0 243107152 73302016 17262 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27580/statm: 17896 17262 311 324 0 16966 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 71584 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.93 2/78 27581 /proc/meminfo: memFree=1740472/2055920 swapFree=4151240/4192956 [pid=27580] ppid=27578 vsize=87904 CPUtime=282.21 /proc/27580/stat : 27580 (bsolo3.0.17) R 27578 27580 26773 0 -1 4194304 21506 0 0 0 28196 25 0 0 25 0 1 0 243107152 90013696 21361 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091726 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27580/statm: 21976 21361 311 324 0 21046 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 87904 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.93 2/78 27581 /proc/meminfo: memFree=1727160/2055920 swapFree=4151240/4192956 [pid=27580] ppid=27578 vsize=101092 CPUtime=342.19 /proc/27580/stat : 27580 (bsolo3.0.17) R 27578 27580 26773 0 -1 4194304 24803 0 0 0 34191 28 0 0 25 0 1 0 243107152 103518208 24658 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27580/statm: 25273 24658 311 324 0 24343 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 101092 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.93 2/78 27581 /proc/meminfo: memFree=1714680/2055920 swapFree=4151240/4192956 [pid=27580] ppid=27578 vsize=113652 CPUtime=402.17 /proc/27580/stat : 27580 (bsolo3.0.17) R 27578 27580 26773 0 -1 4194304 27936 0 0 0 40185 32 0 0 25 0 1 0 243107152 116379648 27791 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27580/statm: 28413 27791 311 324 0 27483 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 113652 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.93 2/78 27581 /proc/meminfo: memFree=1702072/2055920 swapFree=4151240/4192956 [pid=27580] ppid=27578 vsize=126208 CPUtime=462.16 /proc/27580/stat : 27580 (bsolo3.0.17) R 27578 27580 26773 0 -1 4194304 31064 0 0 0 46181 35 0 0 25 0 1 0 243107152 129236992 30919 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27580/statm: 31552 30919 311 324 0 30622 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 126208 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.93 2/78 27581 /proc/meminfo: memFree=1691896/2055920 swapFree=4151240/4192956 [pid=27580] ppid=27578 vsize=136404 CPUtime=522.14 /proc/27580/stat : 27580 (bsolo3.0.17) R 27578 27580 26773 0 -1 4194304 33636 0 0 0 52176 38 0 0 25 0 1 0 243107152 139677696 33491 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27580/statm: 34101 33491 311 324 0 33171 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 136404 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.93 2/84 27749 /proc/meminfo: memFree=1679608/2055920 swapFree=4151240/4192956 [pid=27580] ppid=27578 vsize=147412 CPUtime=582.05 /proc/27580/stat : 27580 (bsolo3.0.17) R 27578 27580 26773 0 -1 4194304 36365 0 0 0 58162 43 0 0 25 0 1 0 243107152 150949888 36220 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550924 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27580/statm: 36853 36220 311 324 0 35923 0 Current children cumulated CPU time (s) 582.05 Current children cumulated vsize (KiB) 147412 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.93 2/78 27779 /proc/meminfo: memFree=1671864/2055920 swapFree=4151240/4192956 [pid=27580] ppid=27578 vsize=156080 CPUtime=642.02 /proc/27580/stat : 27580 (bsolo3.0.17) R 27578 27580 26773 0 -1 4194304 38545 0 0 0 64157 45 0 0 25 0 1 0 243107152 159825920 38400 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27580/statm: 39020 38400 311 324 0 38090 0 Current children cumulated CPU time (s) 642.02 Current children cumulated vsize (KiB) 156080 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 0.99 0.98 0.93 2/78 27779 /proc/meminfo: memFree=1651640/2055920 swapFree=4151240/4192956 [pid=27580] ppid=27578 vsize=176268 CPUtime=821.97 /proc/27580/stat : 27580 (bsolo3.0.17) R 27578 27580 26773 0 -1 4194304 43679 0 0 0 82145 52 0 0 25 0 1 0 243107152 180498432 43435 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551482 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27580/statm: 44067 43435 311 324 0 43137 0 Current children cumulated CPU time (s) 821.97 Current children cumulated vsize (KiB) 176268 [startup+882.301 s] /proc/loadavg: 0.99 0.98 0.93 2/78 27779 /proc/meminfo: memFree=1651704/2055920 swapFree=4151240/4192956 [pid=27580] ppid=27578 vsize=176268 CPUtime=881.95 /proc/27580/stat : 27580 (bsolo3.0.17) R 27578 27580 26773 0 -1 4194304 43679 0 0 0 88143 52 0 0 25 0 1 0 243107152 180498432 43435 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091726 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27580/statm: 44067 43435 311 324 0 43137 0 Current children cumulated CPU time (s) 881.95 Current children cumulated vsize (KiB) 176268 [startup+942.301 s] /proc/loadavg: 0.99 0.98 0.93 3/78 27779 /proc/meminfo: memFree=1651768/2055920 swapFree=4151240/4192956 [pid=27580] ppid=27578 vsize=176268 CPUtime=941.93 /proc/27580/stat : 27580 (bsolo3.0.17) R 27578 27580 26773 0 -1 4194304 43679 0 0 0 94141 52 0 0 25 0 1 0 243107152 180498432 43435 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27580/statm: 44067 43435 311 324 0 43137 0 Current children cumulated CPU time (s) 941.93 Current children cumulated vsize (KiB) 176268 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.93 2/78 27779 /proc/meminfo: memFree=1651768/2055920 swapFree=4151240/4192956 [pid=27580] ppid=27578 vsize=176268 CPUtime=1001.92 /proc/27580/stat : 27580 (bsolo3.0.17) R 27578 27580 26773 0 -1 4194304 43679 0 0 0 100139 53 0 0 25 0 1 0 243107152 180498432 43435 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27580/statm: 44067 43435 311 324 0 43137 0 Current children cumulated CPU time (s) 1001.92 Current children cumulated vsize (KiB) 176268 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.93 3/78 27779 /proc/meminfo: memFree=1651832/2055920 swapFree=4151240/4192956 [pid=27580] ppid=27578 vsize=176268 CPUtime=1061.9 /proc/27580/stat : 27580 (bsolo3.0.17) R 27578 27580 26773 0 -1 4194304 43679 0 0 0 106137 53 0 0 25 0 1 0 243107152 180498432 43435 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27580/statm: 44067 43435 311 324 0 43137 0 Current children cumulated CPU time (s) 1061.9 Current children cumulated vsize (KiB) 176268 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.93 2/78 27779 /proc/meminfo: memFree=1651832/2055920 swapFree=4151240/4192956 [pid=27580] ppid=27578 vsize=176268 CPUtime=1121.89 /proc/27580/stat : 27580 (bsolo3.0.17) R 27578 27580 26773 0 -1 4194304 43679 0 0 0 112135 54 0 0 25 0 1 0 243107152 180498432 43435 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27580/statm: 44067 43435 311 324 0 43137 0 Current children cumulated CPU time (s) 1121.89 Current children cumulated vsize (KiB) 176268 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.93 2/78 27779 /proc/meminfo: memFree=1651832/2055920 swapFree=4151240/4192956 [pid=27580] ppid=27578 vsize=176268 CPUtime=1181.87 /proc/27580/stat : 27580 (bsolo3.0.17) R 27578 27580 26773 0 -1 4194304 43679 0 0 0 118133 54 0 0 25 0 1 0 243107152 180498432 43435 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27580/statm: 44067 43435 311 324 0 43137 0 Current children cumulated CPU time (s) 1181.87 Current children cumulated vsize (KiB) 176268 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.93 3/78 27779 /proc/meminfo: memFree=1651768/2055920 swapFree=4151240/4192956 [pid=27580] ppid=27578 vsize=176268 CPUtime=1241.86 /proc/27580/stat : 27580 (bsolo3.0.17) R 27578 27580 26773 0 -1 4194304 43679 0 0 0 124131 55 0 0 25 0 1 0 243107152 180498432 43435 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091726 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27580/statm: 44067 43435 311 324 0 43137 0 Current children cumulated CPU time (s) 1241.86 Current children cumulated vsize (KiB) 176268 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.93 2/78 27779 /proc/meminfo: memFree=1651768/2055920 swapFree=4151240/4192956 [pid=27580] ppid=27578 vsize=176268 CPUtime=1301.84 /proc/27580/stat : 27580 (bsolo3.0.17) R 27578 27580 26773 0 -1 4194304 43679 0 0 0 130129 55 0 0 25 0 1 0 243107152 180498432 43435 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550782 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27580/statm: 44067 43435 311 324 0 43137 0 Current children cumulated CPU time (s) 1301.84 Current children cumulated vsize (KiB) 176268 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.93 2/78 27779 /proc/meminfo: memFree=1651896/2055920 swapFree=4151240/4192956 [pid=27580] ppid=27578 vsize=176268 CPUtime=1361.82 /proc/27580/stat : 27580 (bsolo3.0.17) R 27578 27580 26773 0 -1 4194304 43679 0 0 0 136127 55 0 0 25 0 1 0 243107152 180498432 43435 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27580/statm: 44067 43435 311 324 0 43137 0 Current children cumulated CPU time (s) 1361.82 Current children cumulated vsize (KiB) 176268 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.93 2/78 27779 /proc/meminfo: memFree=1651896/2055920 swapFree=4151240/4192956 [pid=27580] ppid=27578 vsize=176268 CPUtime=1421.81 /proc/27580/stat : 27580 (bsolo3.0.17) R 27578 27580 26773 0 -1 4194304 43679 0 0 0 142125 56 0 0 25 0 1 0 243107152 180498432 43435 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27580/statm: 44067 43435 311 324 0 43137 0 Current children cumulated CPU time (s) 1421.81 Current children cumulated vsize (KiB) 176268 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.93 2/78 27779 /proc/meminfo: memFree=1651960/2055920 swapFree=4151240/4192956 [pid=27580] ppid=27578 vsize=176268 CPUtime=1481.79 /proc/27580/stat : 27580 (bsolo3.0.17) R 27578 27580 26773 0 -1 4194304 43679 0 0 0 148123 56 0 0 25 0 1 0 243107152 180498432 43435 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27580/statm: 44067 43435 311 324 0 43137 0 Current children cumulated CPU time (s) 1481.79 Current children cumulated vsize (KiB) 176268 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.93 2/78 27779 /proc/meminfo: memFree=1648888/2055920 swapFree=4151240/4192956 [pid=27580] ppid=27578 vsize=179356 CPUtime=1541.77 /proc/27580/stat : 27580 (bsolo3.0.17) R 27578 27580 26773 0 -1 4194304 44452 0 0 0 154119 58 0 0 25 0 1 0 243107152 183660544 44208 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27580/statm: 44839 44208 311 324 0 43909 0 Current children cumulated CPU time (s) 1541.77 Current children cumulated vsize (KiB) 179356 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.93 2/78 27779 /proc/meminfo: memFree=1639864/2055920 swapFree=4151240/4192956 [pid=27580] ppid=27578 vsize=188380 CPUtime=1601.76 /proc/27580/stat : 27580 (bsolo3.0.17) R 27578 27580 26773 0 -1 4194304 46711 0 0 0 160115 61 0 0 25 0 1 0 243107152 192901120 46467 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27580/statm: 47095 46467 311 324 0 46165 0 Current children cumulated CPU time (s) 1601.76 Current children cumulated vsize (KiB) 188380 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.93 2/78 27779 /proc/meminfo: memFree=1639288/2055920 swapFree=4151240/4192956 [pid=27580] ppid=27578 vsize=188636 CPUtime=1661.74 /proc/27580/stat : 27580 (bsolo3.0.17) R 27578 27580 26773 0 -1 4194304 46873 0 0 0 166113 61 0 0 25 0 1 0 243107152 193163264 46530 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550791 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27580/statm: 47159 46530 311 324 0 46229 0 Current children cumulated CPU time (s) 1661.74 Current children cumulated vsize (KiB) 188636 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.93 2/78 27779 /proc/meminfo: memFree=1639288/2055920 swapFree=4151240/4192956 [pid=27580] ppid=27578 vsize=188636 CPUtime=1721.73 /proc/27580/stat : 27580 (bsolo3.0.17) R 27578 27580 26773 0 -1 4194304 46873 0 0 0 172111 62 0 0 25 0 1 0 243107152 193163264 46530 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27580/statm: 47159 46530 311 324 0 46229 0 Current children cumulated CPU time (s) 1721.73 Current children cumulated vsize (KiB) 188636 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.93 2/78 27779 /proc/meminfo: memFree=1639352/2055920 swapFree=4151240/4192956 [pid=27580] ppid=27578 vsize=188636 CPUtime=1781.71 /proc/27580/stat : 27580 (bsolo3.0.17) R 27578 27580 26773 0 -1 4194304 46873 0 0 0 178109 62 0 0 25 0 1 0 243107152 193163264 46530 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27580/statm: 47159 46530 311 324 0 46229 0 Current children cumulated CPU time (s) 1781.71 Current children cumulated vsize (KiB) 188636 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.98 0.93 2/78 27779 /proc/meminfo: memFree=1639352/2055920 swapFree=4151240/4192956 [pid=27580] ppid=27578 vsize=188636 CPUtime=1800.01 /proc/27580/stat : 27580 (bsolo3.0.17) R 27578 27580 26773 0 -1 4194304 46873 0 0 0 179939 62 0 0 25 0 1 0 243107152 193163264 46530 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551353 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27580/statm: 47159 46530 311 324 0 46229 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 188636 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.64 CPU time (s): 1800.05 CPU user time (s): 1799.39 CPU system time (s): 0.659899 CPU usage (%): 99.9672 Max. virtual memory (cumulated for all children) (KiB): 189032 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.39 system time used= 0.659899 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 46877 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= 3551 runsolver used 1.38979 second user time and 3.89541 second system time The end
Begin job on node35 on Mon Apr 30 16:51:57 UTC 2007 IDJOB= 432892 IDBENCH= 2007 IDSOLVER= 199 FILE ID= node35/432892-1177951917 PBS_JOBID= 4727669 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-circ6_3.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/432892-1177951917/instance-432892-1177951917.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node35/watcher-432892-1177951917 -o ROOT/results/node35/solver-432892-1177951917 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432892-1177951917/instance-432892-1177951917.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= ff9be653d1d3ea3b1a82846016e94df6 RANDOM SEED= 405525765 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node35.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: 1825360 kB Buffers: 35812 kB Cached: 104128 kB SwapCached: 8980 kB Active: 57400 kB Inactive: 107680 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1825360 kB SwapTotal: 4192956 kB SwapFree: 4151240 kB Dirty: 6884 kB Writeback: 0 kB Mapped: 32088 kB Slab: 50844 kB Committed_AS: 2723584 kB PageTables: 2000 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= 66558 MiB End job on node35 on Mon Apr 30 17:22:00 UTC 2007