Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Cl | SAT | 3 | 1798 | 1798.48 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=9-P0=397-P1=307-P2=37-P3=127-P4=401-P5=331-B.opb |
MD5SUM | 6d677c4de75200a225209ed048e7b96e |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 3 |
Best CPU time to get the best result obtained on this benchmark | 0.575911 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3 |
Optimality of the best value was proved | YES |
Number of variables | 135 |
Total number of constraints | 11 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 11 |
Minimum length of a constraint | 9 |
Maximum length of a constraint | 99 |
Number of terms in the objective function | 9 |
Biggest coefficient in the objective function | 256 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 511 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 131072 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 523264 |
Number of bits of the biggest sum of numbers | 19 |
Number of products (including duplicates) | 405 |
Sum of products size (including duplicates) | 810 |
Number of different products | 405 |
Sum of products size | 810 |
0.00/0.00 c bsolo beta version 3.2 - 23/05/2010 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos 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 Learning Strategy: Clause Learning 0.00/0.00 c Instance file HOME/instance-2670466-1276702242.opb 0.00/0.00 c File size is 30043 bytes. 0.00/0.00 c Highest Coefficient sum: 523264 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.004 s 0.00/0.00 c Var: 540 Constr: 826 405/0/421 Lit: 3456 Watch. Lit: 2117 0.00/0.00 c Obj. Vars: 9 (1.66667 % of total variables) 0.00/0.01 c Pre-processing Time: 0.01 s 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 540 826 3456 4 2973 4616 0 0 0.01 0.00/0.01 c Switching off lower bounding mode. 304.21/304.38 c 102 540 928 10383 11 3113 5078 102 4857 0.02 304.21/304.38 c 252 540 1078 21626 20 3403 5586 252 6300 0.04 304.21/304.38 c 477 540 1303 38501 29 3853 6145 477 7014 0.07 304.21/304.38 c 817 540 1643 65229 39 4536 6760 817 6865 0.12 304.21/304.38 c 1325 540 2151 110046 51 5532 7437 1325 6725 0.20 304.21/304.38 c 2088 540 2914 175895 60 7037 8181 2088 6545 0.32 304.21/304.38 c 3235 540 4061 276985 68 9304 9000 3235 6024 0.54 304.21/304.38 c 4957 540 5783 417427 72 12790 9901 4957 5234 0.95 304.21/304.38 c 7542 540 8368 627406 74 17952 10892 7542 4965 1.52 304.21/304.38 c 11422 540 6288 496957 79 13824 11982 5462 3995 2.86 304.21/304.38 c 17245 540 12111 916960 75 25407 13181 11285 3385 5.09 304.21/304.38 c 25982 540 7418 594024 80 16014 14500 6592 3043 8.54 304.21/304.38 c 39092 540 12927 873138 67 27085 15951 12101 2444 15.99 304.21/304.38 c 58765 540 16486 1167779 70 34165 17547 15660 1571 37.41 304.21/304.38 c 88276 540 9601 763441 79 20331 19302 8775 1515 58.23 304.21/304.38 c 132547 540 13632 970892 71 28447 21233 12806 1369 96.78 304.21/304.38 c 198958 540 13860 1160486 83 28855 23357 13034 1170 169.93 304.21/304.38 c 298579 539 23785 1685262 70 48691 25693 22959 994 300.24 304.21/304.38 o 15 593.74/593.91 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 593.74/593.91 c 308814 539 19030 1487425 78 39225 4634 18204 1014 304.31 593.74/593.91 c 308914 539 3245 205716 63 7778 5098 2419 1014 304.50 593.74/593.91 c 309164 539 3495 227893 65 8239 5608 2669 1015 304.53 593.74/593.91 c 309640 539 3971 269476 67 9189 6169 3145 1016 304.63 593.74/593.91 c 310453 539 4784 340457 71 10850 6786 3958 1018 304.81 593.74/593.91 c 311773 539 6104 453829 74 13508 7465 5278 1021 305.17 593.74/593.91 c 313854 539 8185 630527 77 17669 8212 7359 1025 306.19 593.74/593.91 c 317077 539 7205 546195 75 15707 9034 6379 1028 308.26 593.74/593.91 c 322014 539 7535 569768 75 16369 9938 6709 1032 311.76 593.74/593.91 c 329520 539 9975 768808 77 21235 10932 9149 1035 318.35 593.74/593.91 c 340881 539 10218 795130 77 21712 12026 9392 1041 327.19 593.74/593.91 c 358025 539 8408 613075 72 18001 13229 7582 1056 338.86 593.74/593.91 c 383844 539 13512 1043215 77 28233 14552 12686 1058 362.73 593.74/593.91 c 422677 539 8198 595625 72 17552 16008 7372 1030 410.24 593.74/593.91 c 481029 529 16749 1364880 81 34667 17609 15923 1046 459.69 593.74/593.91 c 568663 484 12774 1077798 84 26780 19370 11948 1024 555.12 593.74/593.91 o 11 817.97/818.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 817.97/818.23 c 602161 484 16681 1270050 76 34560 4624 15855 1014 593.75 817.97/818.23 c 602262 484 3246 188350 58 7718 5087 2420 1013 593.97 817.97/818.23 c 602512 484 3496 211664 60 8161 5596 2670 1014 594.01 817.97/818.23 c 602987 484 3971 253100 63 9194 6156 3145 1014 594.09 817.97/818.23 c 603801 484 4785 326771 68 10799 6772 3959 1015 594.30 817.97/818.23 c 605123 484 6107 445165 72 13421 7450 5281 1017 594.80 817.97/818.23 c 607204 484 8188 625842 76 17598 8196 7362 1018 595.96 817.97/818.23 c 610428 484 7161 556795 77 15567 9016 6335 1020 598.04 817.97/818.23 c 615364 484 7464 564709 75 16115 9918 6638 1021 602.64 817.97/818.23 c 622870 484 9872 755778 76 20910 10910 9046 1024 608.25 817.97/818.23 c 634233 484 10048 769765 76 21294 12002 9222 1027 617.13 817.97/818.23 c 651378 484 7934 595928 75 17067 13203 7108 1038 627.01 817.97/818.23 c 677198 484 12788 1003055 78 26768 14524 11962 1049 645.21 817.97/818.23 c 716031 484 14629 1119560 76 30467 15977 13803 1044 685.29 817.97/818.23 c 774385 484 13997 1152158 82 29221 17575 13171 1050 737.34 817.97/818.23 o 3 1797.92/1798.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.92/1798.47 c 859967 484 16968 1156653 68 35132 4624 16142 1051 818.02 1797.92/1798.47 c 860067 484 3245 104011 32 7708 5087 2419 1051 818.22 1797.92/1798.47 c 860318 484 3496 124193 35 8238 5596 2670 1051 818.25 1797.92/1798.47 c 860794 484 3972 163249 41 9166 6156 3146 1051 818.32 1797.92/1798.47 c 861608 484 4786 238596 49 10742 6772 3960 1052 818.47 1797.92/1798.47 c 862928 473 6106 356954 58 13429 7450 5280 1053 818.75 1797.92/1798.47 c 865009 450 8187 542362 66 17647 8196 7361 1055 819.71 1797.92/1798.47 c 868233 450 7140 550860 77 15536 9016 6314 1055 822.40 1797.92/1798.47 c 873170 450 7393 552888 74 15984 9918 6567 1057 825.95 1797.92/1798.47 c 880676 450 9763 748785 76 20707 10910 8937 1059 831.36 1797.92/1798.47 c 892037 450 9292 717004 77 19734 12002 8466 1066 836.31 1797.92/1798.47 c 909182 450 7779 581965 74 16786 13203 6953 1069 849.86 1797.92/1798.47 c 935003 450 12497 964706 77 26232 14524 11671 1082 863.93 1797.92/1798.47 c 973836 450 12878 1017177 78 26970 15977 12052 1070 909.72 1797.92/1798.47 c 1032189 450 12287 901504 73 25831 17575 11461 1061 972.82 1797.92/1798.47 c 1119821 448 16625 1338147 80 34392 19333 15799 1067 1048.53 1797.92/1798.47 c 1251373 448 16759 1249703 74 34664 21267 15933 1050 1191.29 1797.92/1798.47 c 1448805 448 16434 1255309 76 34098 23394 15608 983 1472.46 1797.92/1798.47 c Resources Exceeded 1797.92/1798.47 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 -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 x136 x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 x145 x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 x55 -x56 -x57 x58 -x59 -x60 -x61 -x62 -x63 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 x217 -x218 -x219 x220 -x221 -x222 -x223 -x224 -x225 x226 -x227 -x228 x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 x253 -x254 -x255 x256 -x257 -x258 -x259 -x260 -x261 x262 -x263 -x264 x265 -x266 -x267 -x268 -x269 -x270 x271 -x272 -x273 x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 x64 x65 -x66 x67 -x68 -x69 -x70 -x71 -x72 -x100 x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 x298 x299 -x300 x301 -x302 -x303 -x304 -x305 -x306 x307 x308 -x309 x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 x73 -x74 -x75 -x76 -x77 x78 -x79 -x80 -x81 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 x379 -x380 -x381 -x382 -x383 x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 x406 -x407 -x408 -x409 -x410 x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 x82 -x83 -x84 x85 -x86 x87 -x88 -x89 x90 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 x460 -x461 -x462 x463 -x464 x465 -x466 -x467 x468 x469 -x470 -x471 x472 -x473 x474 -x475 -x476 x477 x478 -x479 -x480 x481 -x482 x483 -x484 -x485 x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 x523 -x524 -x525 x526 -x527 x528 -x529 -x530 x531 x532 -x533 -x534 x535 -x536 x537 -x538 -x539 x540 -x127 x128 -x129 -x130 -x131 x132 x133 x134 -x135 1797.92/1798.47 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.92/1798.47 c 67 1697248 10385 1731611 17749 1448051 16923 943 1798.00 1797.92/1798.47 c Objective: 3 1797.92/1798.47 s SATISFIABLE 1797.92/1798.47 c Total time: 1798 s
OK 3
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2670466-1276702242/watcher-2670466-1276702242 -o /tmp/evaluation-result-2670466-1276702242/solver-2670466-1276702242 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2670466-1276702242.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): 2000 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 Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.04 1.00 2/105 18611 /proc/meminfo: memFree=1893776/2059040 swapFree=4136376/4192956 [pid=18611] ppid=18609 vsize=10924 CPUtime=0 /proc/18611/stat : 18611 (bsolo_pb10) R 18609 18611 18230 0 -1 4202496 372 0 0 0 0 0 0 0 25 0 1 0 11517956 11186176 283 1992294400 134512640 137138936 4291547632 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18611/statm: 2731 283 184 642 0 2087 0 [startup+0.0736031 s] /proc/loadavg: 1.00 1.04 1.00 2/105 18611 /proc/meminfo: memFree=1893776/2059040 swapFree=4136376/4192956 [pid=18611] ppid=18609 vsize=11428 CPUtime=0.07 /proc/18611/stat : 18611 (bsolo_pb10) R 18609 18611 18230 0 -1 4202496 513 0 0 0 7 0 0 0 25 0 1 0 11517956 11702272 424 1992294400 134512640 137138936 4291547632 18446744073709551615 134617536 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18611/statm: 2857 424 190 642 0 2213 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 11428 [startup+0.101606 s] /proc/loadavg: 1.00 1.04 1.00 2/105 18611 /proc/meminfo: memFree=1893776/2059040 swapFree=4136376/4192956 [pid=18611] ppid=18609 vsize=11676 CPUtime=0.09 /proc/18611/stat : 18611 (bsolo_pb10) R 18609 18611 18230 0 -1 4202496 572 0 0 0 9 0 0 0 25 0 1 0 11517956 11956224 483 1992294400 134512640 137138936 4291547632 18446744073709551615 134575459 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18611/statm: 2919 483 190 642 0 2275 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11676 [startup+0.301629 s] /proc/loadavg: 1.00 1.04 1.00 2/105 18611 /proc/meminfo: memFree=1893776/2059040 swapFree=4136376/4192956 [pid=18611] ppid=18609 vsize=13292 CPUtime=0.29 /proc/18611/stat : 18611 (bsolo_pb10) R 18609 18611 18230 0 -1 4202496 957 0 0 0 29 0 0 0 25 0 1 0 11517956 13611008 868 1992294400 134512640 137138936 4291547632 18446744073709551615 136504091 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18611/statm: 3323 868 190 642 0 2679 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13292 [startup+0.701672 s] /proc/loadavg: 1.00 1.04 1.00 2/105 18611 /proc/meminfo: memFree=1893776/2059040 swapFree=4136376/4192956 [pid=18611] ppid=18609 vsize=15676 CPUtime=0.69 /proc/18611/stat : 18611 (bsolo_pb10) R 18609 18611 18230 0 -1 4202496 1564 0 0 0 68 1 0 0 25 0 1 0 11517956 16052224 1475 1992294400 134512640 137138936 4291547632 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18611/statm: 3919 1475 190 642 0 3275 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 15676 [startup+1.50176 s] /proc/loadavg: 1.00 1.04 1.00 2/106 18612 /proc/meminfo: memFree=1887692/2059040 swapFree=4136376/4192956 [pid=18611] ppid=18609 vsize=19708 CPUtime=1.49 /proc/18611/stat : 18611 (bsolo_pb10) R 18609 18611 18230 0 -1 4202496 2566 0 0 0 147 2 0 0 25 0 1 0 11517956 20180992 2477 1992294400 134512640 137138936 4291547632 18446744073709551615 134542528 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18611/statm: 4927 2477 190 642 0 4283 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 19708 [startup+3.10094 s] /proc/loadavg: 1.00 1.04 1.00 2/106 18612 /proc/meminfo: memFree=1882236/2059040 swapFree=4136376/4192956 [pid=18611] ppid=18609 vsize=24836 CPUtime=3.09 /proc/18611/stat : 18611 (bsolo_pb10) R 18609 18611 18230 0 -1 4202496 3851 0 0 0 305 4 0 0 25 0 1 0 11517956 25432064 3762 1992294400 134512640 137138936 4291547632 18446744073709551615 134542354 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18611/statm: 6209 3762 190 642 0 5565 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 24836 [startup+6.30129 s] /proc/loadavg: 1.00 1.04 1.00 2/106 18612 /proc/meminfo: memFree=1879508/2059040 swapFree=4136376/4192956 [pid=18611] ppid=18609 vsize=26340 CPUtime=6.29 /proc/18611/stat : 18611 (bsolo_pb10) R 18609 18611 18230 0 -1 4202496 4241 0 0 0 624 5 0 0 25 0 1 0 11517956 26972160 4152 1992294400 134512640 137138936 4291547632 18446744073709551615 136504096 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18611/statm: 6585 4152 190 642 0 5941 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 26340 [startup+12.701 s] /proc/loadavg: 1.00 1.04 1.00 2/106 18612 /proc/meminfo: memFree=1876284/2059040 swapFree=4136376/4192956 [pid=18611] ppid=18609 vsize=27972 CPUtime=12.69 /proc/18611/stat : 18611 (bsolo_pb10) R 18609 18611 18230 0 -1 4202496 4639 0 0 0 1261 8 0 0 25 0 1 0 11517956 28643328 4550 1992294400 134512640 137138936 4291547632 18446744073709551615 134603122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18611/statm: 6993 4550 190 642 0 6349 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 27972 [startup+25.5014 s] /proc/loadavg: 1.00 1.03 1.00 2/106 18612 /proc/meminfo: memFree=1876284/2059040 swapFree=4136376/4192956 [pid=18611] ppid=18609 vsize=27976 CPUtime=25.49 /proc/18611/stat : 18611 (bsolo_pb10) R 18609 18611 18230 0 -1 4202496 4641 0 0 0 2539 10 0 0 25 0 1 0 11517956 28647424 4552 1992294400 134512640 137138936 4291547632 18446744073709551615 134542174 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18611/statm: 6994 4552 190 642 0 6350 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 27976 [startup+51.1012 s] /proc/loadavg: 1.00 1.03 1.00 2/106 18612 /proc/meminfo: memFree=1872192/2059040 swapFree=4136376/4192956 [pid=18611] ppid=18609 vsize=32220 CPUtime=51.08 /proc/18611/stat : 18611 (bsolo_pb10) R 18609 18611 18230 0 -1 4202496 5709 0 0 0 5089 19 0 0 25 0 1 0 11517956 32993280 5620 1992294400 134512640 137138936 4291547632 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18611/statm: 8055 5620 190 642 0 7411 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 32220 [startup+102.309 s] /proc/loadavg: 1.00 1.02 1.00 2/106 18617 /proc/meminfo: memFree=1868968/2059040 swapFree=4136376/4192956 [pid=18611] ppid=18609 vsize=34832 CPUtime=102.27 /proc/18611/stat : 18611 (bsolo_pb10) R 18609 18611 18230 0 -1 4202496 6360 0 0 0 10194 33 0 0 25 0 1 0 11517956 35667968 6271 1992294400 134512640 137138936 4291547632 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18611/statm: 8708 6271 190 642 0 8064 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 34832 [startup+162.301 s] /proc/loadavg: 1.00 1.02 1.00 2/106 18619 /proc/meminfo: memFree=1864752/2059040 swapFree=4136376/4192956 [pid=18611] ppid=18609 vsize=39068 CPUtime=162.25 /proc/18611/stat : 18611 (bsolo_pb10) R 18609 18611 18230 0 -1 4202496 7420 0 0 0 16177 48 0 0 25 0 1 0 11517956 40005632 7331 1992294400 134512640 137138936 4291547632 18446744073709551615 136296993 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18611/statm: 9767 7331 190 642 0 9123 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 39068 [startup+222.301 s] /proc/loadavg: 1.00 1.01 1.00 2/106 18621 /proc/meminfo: memFree=1864752/2059040 swapFree=4136376/4192956 [pid=18611] ppid=18609 vsize=39060 CPUtime=222.23 /proc/18611/stat : 18611 (bsolo_pb10) R 18609 18611 18230 0 -1 4202496 7422 0 0 0 22162 61 0 0 25 0 1 0 11517956 39997440 7333 1992294400 134512640 137138936 4291547632 18446744073709551615 134575844 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18611/statm: 9765 7333 190 642 0 9121 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 39060 [startup+282.302 s] /proc/loadavg: 1.00 1.01 1.00 2/106 18623 /proc/meminfo: memFree=1864752/2059040 swapFree=4136376/4192956 [pid=18611] ppid=18609 vsize=39060 CPUtime=282.21 /proc/18611/stat : 18611 (bsolo_pb10) R 18609 18611 18230 0 -1 4202496 7422 0 0 0 28146 75 0 0 25 0 1 0 11517956 39997440 7333 1992294400 134512640 137138936 4291547632 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18611/statm: 9765 7333 190 642 0 9121 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 39060 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 18623 /proc/meminfo: memFree=1864752/2059040 swapFree=4136376/4192956 [pid=18611] ppid=18609 vsize=39064 CPUtime=342.2 /proc/18611/stat : 18611 (bsolo_pb10) R 18609 18611 18230 0 -1 4202496 7426 0 0 0 34128 92 0 0 25 0 1 0 11517956 40001536 7337 1992294400 134512640 137138936 4291547632 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18611/statm: 9766 7337 191 642 0 9122 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 39064 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 18625 /proc/meminfo: memFree=1864752/2059040 swapFree=4136376/4192956 [pid=18611] ppid=18609 vsize=39064 CPUtime=402.19 /proc/18611/stat : 18611 (bsolo_pb10) R 18609 18611 18230 0 -1 4202496 7426 0 0 0 40114 105 0 0 25 0 1 0 11517956 40001536 7337 1992294400 134512640 137138936 4291547632 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18611/statm: 9766 7337 191 642 0 9122 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 39064 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/106 18627 /proc/meminfo: memFree=1864752/2059040 swapFree=4136376/4192956 [pid=18611] ppid=18609 vsize=39064 CPUtime=462.17 /proc/18611/stat : 18611 (bsolo_pb10) R 18609 18611 18230 0 -1 4202496 7426 0 0 0 46097 120 0 0 25 0 1 0 11517956 40001536 7337 1992294400 134512640 137138936 4291547632 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18611/statm: 9766 7337 191 642 0 9122 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 39064 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 18629 /proc/meminfo: memFree=1864752/2059040 swapFree=4136376/4192956 [pid=18611] ppid=18609 vsize=39064 CPUtime=522.15 /proc/18611/stat : 18611 (bsolo_pb10) R 18609 18611 18230 0 -1 4202496 7426 0 0 0 52080 135 0 0 25 0 1 0 11517956 40001536 7337 1992294400 134512640 137138936 4291547632 18446744073709551615 134542310 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18611/statm: 9766 7337 191 642 0 9122 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 39064 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/106 18631 /proc/meminfo: memFree=1864752/2059040 swapFree=4136376/4192956 [pid=18611] ppid=18609 vsize=39064 CPUtime=582.14 /proc/18611/stat : 18611 (bsolo_pb10) R 18609 18611 18230 0 -1 4202496 7426 0 0 0 58066 148 0 0 25 0 1 0 11517956 40001536 7337 1992294400 134512640 137138936 4291547632 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18611/statm: 9766 7337 191 642 0 9122 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 39064 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 18631 /proc/meminfo: memFree=1864752/2059040 swapFree=4136376/4192956 [pid=18611] ppid=18609 vsize=39064 CPUtime=642.13 /proc/18611/stat : 18611 (bsolo_pb10) R 18609 18611 18230 0 -1 4202496 7426 0 0 0 64047 166 0 0 25 0 1 0 11517956 40001536 7337 1992294400 134512640 137138936 4291547632 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18611/statm: 9766 7337 191 642 0 9122 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 39064 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1864380/2059040 swapFree=4136376/4192956 [pid=18611] ppid=18609 vsize=38964 CPUtime=1122 /proc/18611/stat : 18611 (bsolo_pb10) R 18609 18611 18230 0 -1 4202496 7426 0 0 0 111914 286 0 0 25 0 1 0 11517956 39899136 7316 1992294400 134512640 137138936 4291547632 18446744073709551615 135984589 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18611/statm: 9741 7316 191 642 0 9097 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 38964 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 18647 /proc/meminfo: memFree=1864256/2059040 swapFree=4136376/4192956 [pid=18611] ppid=18609 vsize=38964 CPUtime=1181.98 /proc/18611/stat : 18611 (bsolo_pb10) R 18609 18611 18230 0 -1 4202496 7426 0 0 0 117898 300 0 0 25 0 1 0 11517956 39899136 7316 1992294400 134512640 137138936 4291547632 18446744073709551615 134542202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18611/statm: 9741 7316 191 642 0 9097 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 38964 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 18647 /proc/meminfo: memFree=1864008/2059040 swapFree=4136376/4192956 [pid=18611] ppid=18609 vsize=38964 CPUtime=1241.97 /proc/18611/stat : 18611 (bsolo_pb10) R 18609 18611 18230 0 -1 4202496 7426 0 0 0 123885 312 0 0 25 0 1 0 11517956 39899136 7316 1992294400 134512640 137138936 4291547632 18446744073709551615 134542617 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18611/statm: 9741 7316 191 642 0 9097 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 38964 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 18649 /proc/meminfo: memFree=1863884/2059040 swapFree=4136376/4192956 [pid=18611] ppid=18609 vsize=38964 CPUtime=1301.95 /proc/18611/stat : 18611 (bsolo_pb10) R 18609 18611 18230 0 -1 4202496 7426 0 0 0 129872 323 0 0 25 0 1 0 11517956 39899136 7316 1992294400 134512640 137138936 4291547632 18446744073709551615 134542375 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18611/statm: 9741 7316 191 642 0 9097 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 38964 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 18651 /proc/meminfo: memFree=1863884/2059040 swapFree=4136376/4192956 [pid=18611] ppid=18609 vsize=38964 CPUtime=1361.93 /proc/18611/stat : 18611 (bsolo_pb10) R 18609 18611 18230 0 -1 4202496 7426 0 0 0 135857 336 0 0 25 0 1 0 11517956 39899136 7316 1992294400 134512640 137138936 4291547632 18446744073709551615 134542532 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18611/statm: 9741 7316 191 642 0 9097 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 38964 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/106 18653 /proc/meminfo: memFree=1863884/2059040 swapFree=4136376/4192956 [pid=18611] ppid=18609 vsize=38964 CPUtime=1421.92 /proc/18611/stat : 18611 (bsolo_pb10) R 18609 18611 18230 0 -1 4202496 7426 0 0 0 141843 349 0 0 25 0 1 0 11517956 39899136 7316 1992294400 134512640 137138936 4291547632 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18611/statm: 9741 7316 191 642 0 9097 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 38964 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 18655 /proc/meminfo: memFree=1863884/2059040 swapFree=4136376/4192956 [pid=18611] ppid=18609 vsize=38964 CPUtime=1481.9 /proc/18611/stat : 18611 (bsolo_pb10) R 18609 18611 18230 0 -1 4202496 7426 0 0 0 147828 362 0 0 25 0 1 0 11517956 39899136 7316 1992294400 134512640 137138936 4291547632 18446744073709551615 134542528 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18611/statm: 9741 7316 191 642 0 9097 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 38964 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 18655 /proc/meminfo: memFree=1863884/2059040 swapFree=4136376/4192956 [pid=18611] ppid=18609 vsize=38964 CPUtime=1541.89 /proc/18611/stat : 18611 (bsolo_pb10) R 18609 18611 18230 0 -1 4202496 7426 0 0 0 153817 372 0 0 25 0 1 0 11517956 39899136 7316 1992294400 134512640 137138936 4291547632 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18611/statm: 9741 7316 191 642 0 9097 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 38964 [startup+1602.3 s] /proc/loadavg: 1.04 1.01 1.00 2/106 18657 /proc/meminfo: memFree=1863512/2059040 swapFree=4136376/4192956 [pid=18611] ppid=18609 vsize=39864 CPUtime=1601.87 /proc/18611/stat : 18611 (bsolo_pb10) R 18609 18611 18230 0 -1 4202496 7642 0 0 0 159802 385 0 0 25 0 1 0 11517956 40820736 7532 1992294400 134512640 137138936 4291547632 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18611/statm: 9966 7532 191 642 0 9322 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 39864 [startup+1662.3 s] /proc/loadavg: 1.01 1.01 1.00 2/106 18659 /proc/meminfo: memFree=1862024/2059040 swapFree=4136376/4192956 [pid=18611] ppid=18609 vsize=41392 CPUtime=1661.85 /proc/18611/stat : 18611 (bsolo_pb10) R 18609 18611 18230 0 -1 4202496 8025 0 0 0 165786 399 0 0 25 0 1 0 11517956 42385408 7915 1992294400 134512640 137138936 4291547632 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18611/statm: 10348 7915 191 642 0 9704 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 41392 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 18661 /proc/meminfo: memFree=1861900/2059040 swapFree=4136376/4192956 [pid=18611] ppid=18609 vsize=41388 CPUtime=1721.84 /proc/18611/stat : 18611 (bsolo_pb10) R 18609 18611 18230 0 -1 4202496 8025 0 0 0 171769 415 0 0 25 0 1 0 11517956 42381312 7915 1992294400 134512640 137138936 4291547632 18446744073709551615 134576955 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18611/statm: 10347 7915 191 642 0 9703 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 41388 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 18663 /proc/meminfo: memFree=1861652/2059040 swapFree=4136376/4192956 [pid=18611] ppid=18609 vsize=41104 CPUtime=1781.82 /proc/18611/stat : 18611 (bsolo_pb10) R 18609 18611 18230 0 -1 4202496 8025 0 0 0 177755 427 0 0 25 0 1 0 11517956 42090496 7851 1992294400 134512640 137138936 4291547632 18446744073709551615 134542266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18611/statm: 10276 7851 191 642 0 9632 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 41104 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/106 18663 /proc/meminfo: memFree=1861652/2059040 swapFree=4136376/4192956 [pid=18611] ppid=18609 vsize=41104 CPUtime=1791.42 /proc/18611/stat : 18611 (bsolo_pb10) R 18609 18611 18230 0 -1 4202496 8025 0 0 0 178713 429 0 0 25 0 1 0 11517956 42090496 7851 1992294400 134512640 137138936 4291547632 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18611/statm: 10276 7851 191 642 0 9632 0 Current children cumulated CPU time (s) 1791.42 Current children cumulated vsize (KiB) 41104 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/106 18663 /proc/meminfo: memFree=1861652/2059040 swapFree=4136376/4192956 [pid=18611] ppid=18609 vsize=41104 CPUtime=1794.62 /proc/18611/stat : 18611 (bsolo_pb10) R 18609 18611 18230 0 -1 4202496 8025 0 0 0 179032 430 0 0 25 0 1 0 11517956 42090496 7851 1992294400 134512640 137138936 4291547632 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18611/statm: 10276 7851 191 642 0 9632 0 Current children cumulated CPU time (s) 1794.62 Current children cumulated vsize (KiB) 41104 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/106 18663 /proc/meminfo: memFree=1861652/2059040 swapFree=4136376/4192956 [pid=18611] ppid=18609 vsize=41104 CPUtime=1796.21 /proc/18611/stat : 18611 (bsolo_pb10) R 18609 18611 18230 0 -1 4202496 8025 0 0 0 179191 430 0 0 25 0 1 0 11517956 42090496 7851 1992294400 134512640 137138936 4291547632 18446744073709551615 136504093 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18611/statm: 10276 7851 191 642 0 9632 0 Current children cumulated CPU time (s) 1796.21 Current children cumulated vsize (KiB) 41104 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/106 18663 /proc/meminfo: memFree=1861652/2059040 swapFree=4136376/4192956 [pid=18611] ppid=18609 vsize=41104 CPUtime=1797.02 /proc/18611/stat : 18611 (bsolo_pb10) R 18609 18611 18230 0 -1 4202496 8025 0 0 0 179271 431 0 0 25 0 1 0 11517956 42090496 7851 1992294400 134512640 137138936 4291547632 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18611/statm: 10276 7851 191 642 0 9632 0 Current children cumulated CPU time (s) 1797.02 Current children cumulated vsize (KiB) 41104 [startup+1797.9 s] /proc/loadavg: 1.00 1.00 1.00 2/106 18663 /proc/meminfo: memFree=1861652/2059040 swapFree=4136376/4192956 [pid=18611] ppid=18609 vsize=41104 CPUtime=1797.42 /proc/18611/stat : 18611 (bsolo_pb10) R 18609 18611 18230 0 -1 4202496 8025 0 0 0 179311 431 0 0 25 0 1 0 11517956 42090496 7851 1992294400 134512640 137138936 4291547632 18446744073709551615 136295502 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18611/statm: 10276 7851 191 642 0 9632 0 Current children cumulated CPU time (s) 1797.42 Current children cumulated vsize (KiB) 41104 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 18663 /proc/meminfo: memFree=1861652/2059040 swapFree=4136376/4192956 [pid=18611] ppid=18609 vsize=41104 CPUtime=1797.81 /proc/18611/stat : 18611 (bsolo_pb10) R 18609 18611 18230 0 -1 4202496 8025 0 0 0 179350 431 0 0 25 0 1 0 11517956 42090496 7851 1992294400 134512640 137138936 4291547632 18446744073709551615 136297748 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18611/statm: 10276 7851 191 642 0 9632 0 Current children cumulated CPU time (s) 1797.81 Current children cumulated vsize (KiB) 41104 [startup+1798.4 s] /proc/loadavg: 1.00 1.00 1.00 2/106 18663 /proc/meminfo: memFree=1861652/2059040 swapFree=4136376/4192956 [pid=18611] ppid=18609 vsize=41104 CPUtime=1797.92 /proc/18611/stat : 18611 (bsolo_pb10) R 18609 18611 18230 0 -1 4202496 8025 0 0 0 179361 431 0 0 25 0 1 0 11517956 42090496 7851 1992294400 134512640 137138936 4291547632 18446744073709551615 134542237 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18611/statm: 10276 7851 191 642 0 9632 0 Current children cumulated CPU time (s) 1797.92 Current children cumulated vsize (KiB) 41104 Child status: 0 Real time (s): 1798.48 CPU time (s): 1798 CPU user time (s): 1793.68 CPU system time (s): 4.32034 CPU usage (%): 99.9735 Max. virtual memory (cumulated for all children) (KiB): 41396 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.68 system time used= 4.32034 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 8026 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= 1 involuntary context switches= 26846 runsolver used 2.83757 second user time and 8.62169 second system time The end
Begin job on node086 at 2010-06-16 17:30:42 IDJOB=2670466 IDBENCH=47949 IDSOLVER=1163 FILE ID=node086/2670466-1276702242 PBS_JOBID= 11174080 Free space on /tmp= 62576 MiB SOLVER NAME= bsolo 3.2 Cl BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=397-P1=307-P2=37-P3=127-P4=401-P5=331-B.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2670466-1276702242/watcher-2670466-1276702242 -o /tmp/evaluation-result-2670466-1276702242/solver-2670466-1276702242 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2670466-1276702242.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 6d677c4de75200a225209ed048e7b96e RANDOM SEED=137856446 node086.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.244 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.48 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.244 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5999.40 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1894800 kB Buffers: 9528 kB Cached: 89804 kB SwapCached: 10456 kB Active: 85332 kB Inactive: 27300 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1894800 kB SwapTotal: 4192956 kB SwapFree: 4136376 kB Dirty: 4076 kB Writeback: 0 kB AnonPages: 10644 kB Mapped: 9088 kB Slab: 30004 kB PageTables: 3960 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182392 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2670466-1276702242.opb Free space on /tmp at the end= 62572 MiB End job on node086 at 2010-06-16 18:00:41