Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 cl | SAT | 3 | 1798.01 | 1798.54 |
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 | 2.93455 |
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.1 - 13/04/2009 : 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 Learning Strategy: Clause Learning 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 HOME/instance-1877969-1245187108.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.003 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. 316.10/316.21 c 102 540 928 10383 11 3113 5078 102 4636 0.02 316.10/316.21 c 252 540 1078 21626 20 3403 5586 252 6000 0.04 316.10/316.21 c 477 540 1303 38501 29 3853 6145 477 6625 0.07 316.10/316.21 c 817 540 1643 65229 39 4536 6760 817 6433 0.13 316.10/316.21 c 1325 540 2151 110046 51 5532 7437 1325 6279 0.21 316.10/316.21 c 2088 540 2914 175895 60 7037 8181 2088 6105 0.34 316.10/316.21 c 3235 540 4061 276985 68 9304 9000 3235 5606 0.58 316.10/316.21 c 4957 540 5783 417427 72 12790 9901 4957 4845 1.02 316.10/316.21 c 7542 540 8368 627406 74 17952 10892 7542 4601 1.64 316.10/316.21 c 11422 540 6288 496957 79 13824 11982 5462 3709 3.08 316.10/316.21 c 17245 540 12111 916960 75 25407 13181 11285 3158 5.46 316.10/316.21 c 25982 540 7418 594024 80 16014 14500 6592 2849 9.12 316.10/316.21 c 39092 540 12927 873138 67 27085 15951 12101 2314 16.89 316.10/316.21 c 58765 540 16486 1167779 70 34165 17547 15660 1504 39.05 316.10/316.21 c 88276 540 9601 763441 79 20331 19302 8775 1452 60.78 316.10/316.21 c 132547 540 13632 970892 71 28447 21233 12806 1315 100.77 316.10/316.21 c 198958 540 13860 1160486 83 28855 23357 13034 1126 176.66 316.10/316.21 c 298579 539 23785 1685262 70 48691 25693 22959 957 311.82 316.10/316.21 o 15 617.21/617.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 617.21/617.40 c 308814 539 19030 1487425 78 39225 4634 18204 976 316.12 617.21/617.40 c 308914 539 3245 205716 63 7778 5098 2419 976 316.32 617.21/617.40 c 309164 539 3495 227893 65 8239 5608 2669 977 316.36 617.21/617.40 c 309640 539 3971 269476 67 9189 6169 3145 978 316.46 617.21/617.40 c 310453 539 4784 340457 71 10850 6786 3958 980 316.65 617.21/617.40 c 311773 539 6104 453829 74 13508 7465 5278 983 317.04 617.21/617.40 c 313854 539 8185 630527 77 17669 8212 7359 986 318.12 617.21/617.40 c 317077 539 7205 546195 75 15707 9034 6379 989 320.31 617.21/617.40 c 322014 539 7535 569768 75 16369 9938 6709 993 324.00 617.21/617.40 c 329520 539 9975 768808 77 21235 10932 9149 995 330.89 617.21/617.40 c 340881 539 10218 795130 77 21712 12026 9392 1002 340.10 617.21/617.40 c 358025 539 8408 613075 72 18001 13229 7582 1016 352.38 617.21/617.40 c 383844 539 13512 1043215 77 28233 14552 12686 1017 377.23 617.21/617.40 c 422677 539 8198 595625 72 17552 16008 7372 991 426.46 617.21/617.40 c 481029 529 16749 1364880 81 34667 17609 15923 1006 477.94 617.21/617.40 c 568663 484 12774 1077798 84 26780 19370 11948 985 577.10 617.21/617.40 o 11 850.74/851.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 850.74/851.03 c 602161 484 16681 1270050 76 34560 4624 15855 975 617.22 850.74/851.03 c 602262 484 3246 188350 58 7718 5087 2420 975 617.46 850.74/851.03 c 602512 484 3496 211664 60 8161 5596 2670 975 617.50 850.74/851.03 c 602987 484 3971 253100 63 9194 6156 3145 976 617.59 850.74/851.03 c 603801 484 4785 326771 68 10799 6772 3959 977 617.81 850.74/851.03 c 605123 484 6107 445165 72 13421 7450 5281 978 618.34 850.74/851.03 c 607204 484 8188 625842 76 17598 8196 7362 980 619.55 850.74/851.03 c 610428 484 7161 556795 77 15567 9016 6335 981 621.75 850.74/851.03 c 615364 484 7464 564709 75 16115 9918 6638 982 626.57 850.74/851.03 c 622870 484 9872 755778 76 20910 10910 9046 984 632.41 850.74/851.03 c 634233 484 10048 769765 76 21294 12002 9222 988 641.60 850.74/851.03 c 651378 484 7934 595928 75 17067 13203 7108 999 651.99 850.74/851.03 c 677198 484 12788 1003055 78 26768 14524 11962 1009 671.06 850.74/851.03 c 716031 484 14629 1119560 76 30467 15977 13803 1004 712.64 850.74/851.03 c 774385 484 13997 1152158 82 29221 17575 13171 1009 766.90 850.74/851.03 o 3 1797.97/1798.53 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.97/1798.53 c 859967 484 16968 1156653 68 35132 4624 16142 1010 850.78 1797.97/1798.53 c 860067 484 3245 104011 32 7708 5087 2419 1010 850.99 1797.97/1798.53 c 860318 484 3496 124193 35 8238 5596 2670 1010 851.03 1797.97/1798.53 c 860794 484 3972 163249 41 9166 6156 3146 1011 851.11 1797.97/1798.53 c 861608 484 4786 238596 49 10742 6772 3960 1012 851.26 1797.97/1798.53 c 862928 473 6106 356954 58 13429 7450 5280 1013 851.56 1797.97/1798.53 c 865009 450 8187 542362 66 17647 8196 7361 1014 852.57 1797.97/1798.53 c 868233 450 7140 550860 77 15536 9016 6314 1015 855.36 1797.97/1798.53 c 873170 450 7393 552888 74 15984 9918 6567 1016 859.05 1797.97/1798.53 c 880676 450 9763 748785 76 20707 10910 8937 1018 864.73 1797.97/1798.53 c 892037 450 9292 717004 77 19734 12002 8466 1025 869.97 1797.97/1798.53 c 909182 450 7779 581965 74 16786 13203 6953 1028 884.15 1797.97/1798.53 c 935003 450 12497 964706 77 26232 14524 11671 1040 898.92 1797.97/1798.53 c 973836 450 12878 1017177 78 26970 15977 12052 1028 946.61 1797.97/1798.53 c 1032189 450 12287 901504 73 25831 17575 11461 1019 1012.25 1797.97/1798.53 c 1119821 448 16625 1338147 80 34392 19333 15799 1026 1090.98 1797.97/1798.53 c 1251373 448 16759 1249703 74 34664 21267 15933 1009 1239.24 1797.97/1798.53 c 1448805 448 16434 1255309 76 34098 23394 15608 946 1531.06 1797.97/1798.53 c Resources Exceeded 1797.97/1798.53 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.97/1798.53 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.97/1798.53 c 67 1638494 10128 1672413 24131 1958157 23305 911 1798.00 1797.97/1798.53 c Objective: 3 1797.97/1798.53 s SATISFIABLE 1797.97/1798.53 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-1877969-1245187108/watcher-1877969-1245187108 -o /tmp/evaluation-result-1877969-1245187108/solver-1877969-1245187108 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1877969-1245187108.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: 0.93 0.98 0.99 3/64 5343 /proc/meminfo: memFree=1855344/2055920 swapFree=4182572/4192956 [pid=5343] ppid=5341 vsize=10740 CPUtime=0 /proc/5343/stat : 5343 (bsolo) R 5341 5343 5260 0 -1 4194304 254 0 0 0 0 0 0 0 18 0 1 0 186307870 10997760 238 1992294400 134512640 137136520 4294956256 18446744073709551615 136295552 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5343/statm: 2685 238 176 640 0 2033 0 [startup+0.034488 s] /proc/loadavg: 0.93 0.98 0.99 3/64 5343 /proc/meminfo: memFree=1855344/2055920 swapFree=4182572/4192956 [pid=5343] ppid=5341 vsize=10976 CPUtime=0.02 /proc/5343/stat : 5343 (bsolo) R 5341 5343 5260 0 -1 4194304 365 0 0 0 2 0 0 0 18 0 1 0 186307870 11239424 341 1992294400 134512640 137136520 4294956256 18446744073709551615 136575102 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5343/statm: 2744 341 196 640 0 2100 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 10976 [startup+0.101497 s] /proc/loadavg: 0.93 0.98 0.99 3/64 5343 /proc/meminfo: memFree=1855344/2055920 swapFree=4182572/4192956 [pid=5343] ppid=5341 vsize=11596 CPUtime=0.09 /proc/5343/stat : 5343 (bsolo) R 5341 5343 5260 0 -1 4194304 500 0 0 0 9 0 0 0 18 0 1 0 186307870 11874304 476 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5343/statm: 2899 476 196 640 0 2255 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11596 [startup+0.301526 s] /proc/loadavg: 0.93 0.98 0.99 3/64 5343 /proc/meminfo: memFree=1855344/2055920 swapFree=4182572/4192956 [pid=5343] ppid=5341 vsize=12964 CPUtime=0.29 /proc/5343/stat : 5343 (bsolo) R 5341 5343 5260 0 -1 4194304 861 0 0 0 29 0 0 0 19 0 1 0 186307870 13275136 837 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5343/statm: 3241 837 196 640 0 2597 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12964 [startup+0.701584 s] /proc/loadavg: 0.93 0.98 0.99 3/64 5343 /proc/meminfo: memFree=1855344/2055920 swapFree=4182572/4192956 [pid=5343] ppid=5341 vsize=15344 CPUtime=0.69 /proc/5343/stat : 5343 (bsolo) R 5341 5343 5260 0 -1 4194304 1435 0 0 0 68 1 0 0 22 0 1 0 186307870 15712256 1411 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5343/statm: 3836 1411 196 640 0 3192 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 15344 [startup+1.5017 s] /proc/loadavg: 0.94 0.98 0.99 2/65 5344 /proc/meminfo: memFree=1849000/2055920 swapFree=4182572/4192956 [pid=5343] ppid=5341 vsize=19000 CPUtime=1.49 /proc/5343/stat : 5343 (bsolo) R 5341 5343 5260 0 -1 4194304 2357 0 0 0 148 1 0 0 25 0 1 0 186307870 19456000 2333 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5343/statm: 4750 2333 196 640 0 4106 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 19000 [startup+3.10193 s] /proc/loadavg: 0.94 0.98 0.99 2/65 5344 /proc/meminfo: memFree=1843880/2055920 swapFree=4182572/4192956 [pid=5343] ppid=5341 vsize=24756 CPUtime=3.09 /proc/5343/stat : 5343 (bsolo) R 5341 5343 5260 0 -1 4194304 3790 0 0 0 307 2 0 0 25 0 1 0 186307870 25350144 3766 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5343/statm: 6189 3766 196 640 0 5545 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 24756 [startup+6.30138 s] /proc/loadavg: 0.94 0.98 0.99 2/65 5344 /proc/meminfo: memFree=1840808/2055920 swapFree=4182572/4192956 [pid=5343] ppid=5341 vsize=25760 CPUtime=6.28 /proc/5343/stat : 5343 (bsolo) R 5341 5343 5260 0 -1 4194304 4036 0 0 0 625 3 0 0 25 0 1 0 186307870 26378240 4012 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5343/statm: 6440 4012 196 640 0 5796 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 25760 [startup+12.7013 s] /proc/loadavg: 0.95 0.98 0.99 2/65 5344 /proc/meminfo: memFree=1838440/2055920 swapFree=4182572/4192956 [pid=5343] ppid=5341 vsize=27892 CPUtime=12.68 /proc/5343/stat : 5343 (bsolo) R 5341 5343 5260 0 -1 4194304 4578 0 0 0 1262 6 0 0 25 0 1 0 186307870 28561408 4554 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5343/statm: 6973 4554 196 640 0 6329 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 27892 [startup+25.5011 s] /proc/loadavg: 0.95 0.98 0.99 2/65 5344 /proc/meminfo: memFree=1837608/2055920 swapFree=4182572/4192956 [pid=5343] ppid=5341 vsize=27896 CPUtime=25.49 /proc/5343/stat : 5343 (bsolo) R 5341 5343 5260 0 -1 4194304 4580 0 0 0 2540 9 0 0 25 0 1 0 186307870 28565504 4556 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5343/statm: 6974 4556 196 640 0 6330 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 27896 [startup+51.1018 s] /proc/loadavg: 0.97 0.98 0.99 2/65 5344 /proc/meminfo: memFree=1834728/2055920 swapFree=4182572/4192956 [pid=5343] ppid=5341 vsize=30764 CPUtime=51.07 /proc/5343/stat : 5343 (bsolo) R 5341 5343 5260 0 -1 4194304 5301 0 0 0 5093 14 0 0 25 0 1 0 186307870 31502336 5277 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5343/statm: 7691 5277 196 640 0 7047 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 30764 [startup+102.305 s] /proc/loadavg: 0.99 0.98 0.99 2/65 5344 /proc/meminfo: memFree=1830824/2055920 swapFree=4182572/4192956 [pid=5343] ppid=5341 vsize=34752 CPUtime=102.27 /proc/5343/stat : 5343 (bsolo) R 5341 5343 5260 0 -1 4194304 6299 0 0 0 10204 23 0 0 25 0 1 0 186307870 35586048 6275 1992294400 134512640 137136520 4294956256 18446744073709551615 134544004 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5343/statm: 8688 6275 196 640 0 8044 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 34752 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 5344 /proc/meminfo: memFree=1826536/2055920 swapFree=4182572/4192956 [pid=5343] ppid=5341 vsize=38988 CPUtime=162.24 /proc/5343/stat : 5343 (bsolo) R 5341 5343 5260 0 -1 4194304 7359 0 0 0 16190 34 0 0 25 0 1 0 186307870 39923712 7335 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5343/statm: 9747 7335 196 640 0 9103 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 38988 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 5344 /proc/meminfo: memFree=1826536/2055920 swapFree=4182572/4192956 [pid=5343] ppid=5341 vsize=38980 CPUtime=222.22 /proc/5343/stat : 5343 (bsolo) R 5341 5343 5260 0 -1 4194304 7361 0 0 0 22181 41 0 0 25 0 1 0 186307870 39915520 7337 1992294400 134512640 137136520 4294956256 18446744073709551615 134543837 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5343/statm: 9745 7337 196 640 0 9101 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 38980 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 5344 /proc/meminfo: memFree=1826536/2055920 swapFree=4182572/4192956 [pid=5343] ppid=5341 vsize=38980 CPUtime=282.21 /proc/5343/stat : 5343 (bsolo) R 5341 5343 5260 0 -1 4194304 7361 0 0 0 28171 50 0 0 25 0 1 0 186307870 39915520 7337 1992294400 134512640 137136520 4294956256 18446744073709551615 136498219 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5343/statm: 9745 7337 196 640 0 9101 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 38980 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 5344 /proc/meminfo: memFree=1826536/2055920 swapFree=4182572/4192956 [pid=5343] ppid=5341 vsize=38984 CPUtime=342.19 /proc/5343/stat : 5343 (bsolo) R 5341 5343 5260 0 -1 4194304 7365 0 0 0 34157 62 0 0 25 0 1 0 186307870 39919616 7341 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5343/statm: 9746 7341 197 640 0 9102 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 38984 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 5344 /proc/meminfo: memFree=1826536/2055920 swapFree=4182572/4192956 [pid=5343] ppid=5341 vsize=38984 CPUtime=402.17 /proc/5343/stat : 5343 (bsolo) R 5341 5343 5260 0 -1 4194304 7365 0 0 0 40144 73 0 0 25 0 1 0 186307870 39919616 7341 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5343/statm: 9746 7341 197 640 0 9102 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 38984 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 5344 /proc/meminfo: memFree=1826536/2055920 swapFree=4182572/4192956 [pid=5343] ppid=5341 vsize=38984 CPUtime=462.15 /proc/5343/stat : 5343 (bsolo) R 5341 5343 5260 0 -1 4194304 7365 0 0 0 46133 82 0 0 25 0 1 0 186307870 39919616 7341 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5343/statm: 9746 7341 197 640 0 9102 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 38984 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 5344 /proc/meminfo: memFree=1826472/2055920 swapFree=4182572/4192956 [pid=5343] ppid=5341 vsize=38984 CPUtime=522.13 /proc/5343/stat : 5343 (bsolo) R 5341 5343 5260 0 -1 4194304 7365 0 0 0 52120 93 0 0 25 0 1 0 186307870 39919616 7341 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5343/statm: 9746 7341 197 640 0 9102 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 38984 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 5344 /proc/meminfo: memFree=1826472/2055920 swapFree=4182572/4192956 [pid=5343] ppid=5341 vsize=38984 CPUtime=582.12 /proc/5343/stat : 5343 (bsolo) R 5341 5343 5260 0 -1 4194304 7365 0 0 0 58112 100 0 0 25 0 1 0 186307870 39919616 7341 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5343/statm: 9746 7341 197 640 0 9102 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 38984 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 5344 /proc/meminfo: memFree=1826472/2055920 swapFree=4182572/4192956 [pid=5343] ppid=5341 vsize=38984 CPUtime=642.11 /proc/5343/stat : 5343 (bsolo) R 5341 5343 5260 0 -1 4194304 7365 0 0 0 64101 110 0 0 25 0 1 0 186307870 39919616 7341 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5343/statm: 9746 7341 197 640 0 9102 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 38984 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1826344/2055920 swapFree=4182572/4192956 [pid=5343] ppid=5341 vsize=38884 CPUtime=1061.97 /proc/5343/stat : 5343 (bsolo) R 5341 5343 5260 0 -1 4194304 7365 0 0 0 106020 177 0 0 25 0 1 0 186307870 39817216 7320 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5343/statm: 9721 7320 197 640 0 9077 0 Current children cumulated CPU time (s) 1061.97 Current children cumulated vsize (KiB) 38884 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 5344 /proc/meminfo: memFree=1826344/2055920 swapFree=4182572/4192956 [pid=5343] ppid=5341 vsize=38884 CPUtime=1121.96 /proc/5343/stat : 5343 (bsolo) R 5341 5343 5260 0 -1 4194304 7365 0 0 0 112011 185 0 0 25 0 1 0 186307870 39817216 7320 1992294400 134512640 137136520 4294956256 18446744073709551615 134544533 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5343/statm: 9721 7320 197 640 0 9077 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 38884 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 5344 /proc/meminfo: memFree=1826344/2055920 swapFree=4182572/4192956 [pid=5343] ppid=5341 vsize=38884 CPUtime=1181.94 /proc/5343/stat : 5343 (bsolo) R 5341 5343 5260 0 -1 4194304 7365 0 0 0 118000 194 0 0 25 0 1 0 186307870 39817216 7320 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5343/statm: 9721 7320 197 640 0 9077 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 38884 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 5344 /proc/meminfo: memFree=1826280/2055920 swapFree=4182572/4192956 [pid=5343] ppid=5341 vsize=38884 CPUtime=1241.92 /proc/5343/stat : 5343 (bsolo) R 5341 5343 5260 0 -1 4194304 7365 0 0 0 123990 202 0 0 25 0 1 0 186307870 39817216 7320 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5343/statm: 9721 7320 197 640 0 9077 0 Current children cumulated CPU time (s) 1241.92 Current children cumulated vsize (KiB) 38884 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 5344 /proc/meminfo: memFree=1826280/2055920 swapFree=4182572/4192956 [pid=5343] ppid=5341 vsize=38884 CPUtime=1301.91 /proc/5343/stat : 5343 (bsolo) R 5341 5343 5260 0 -1 4194304 7365 0 0 0 129983 208 0 0 25 0 1 0 186307870 39817216 7320 1992294400 134512640 137136520 4294956256 18446744073709551615 134542122 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5343/statm: 9721 7320 197 640 0 9077 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 38884 [startup+1362.3 s] /proc/loadavg: 1.06 1.00 1.00 2/65 5344 /proc/meminfo: memFree=1826280/2055920 swapFree=4182572/4192956 [pid=5343] ppid=5341 vsize=38884 CPUtime=1361.89 /proc/5343/stat : 5343 (bsolo) R 5341 5343 5260 0 -1 4194304 7365 0 0 0 135974 215 0 0 25 0 1 0 186307870 39817216 7320 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5343/statm: 9721 7320 197 640 0 9077 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 38884 [startup+1422.31 s] /proc/loadavg: 1.02 1.00 1.00 2/65 5344 /proc/meminfo: memFree=1826280/2055920 swapFree=4182572/4192956 [pid=5343] ppid=5341 vsize=38884 CPUtime=1421.87 /proc/5343/stat : 5343 (bsolo) R 5341 5343 5260 0 -1 4194304 7365 0 0 0 141967 220 0 0 25 0 1 0 186307870 39817216 7320 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5343/statm: 9721 7320 197 640 0 9077 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 38884 [startup+1482.3 s] /proc/loadavg: 1.01 1.00 1.00 2/65 5344 /proc/meminfo: memFree=1826280/2055920 swapFree=4182572/4192956 [pid=5343] ppid=5341 vsize=38884 CPUtime=1481.85 /proc/5343/stat : 5343 (bsolo) R 5341 5343 5260 0 -1 4194304 7365 0 0 0 147957 228 0 0 25 0 1 0 186307870 39817216 7320 1992294400 134512640 137136520 4294956256 18446744073709551615 136503535 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5343/statm: 9721 7320 197 640 0 9077 0 Current children cumulated CPU time (s) 1481.85 Current children cumulated vsize (KiB) 38884 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5344 /proc/meminfo: memFree=1826280/2055920 swapFree=4182572/4192956 [pid=5343] ppid=5341 vsize=38884 CPUtime=1541.84 /proc/5343/stat : 5343 (bsolo) R 5341 5343 5260 0 -1 4194304 7365 0 0 0 153949 235 0 0 25 0 1 0 186307870 39817216 7320 1992294400 134512640 137136520 4294956256 18446744073709551615 134544455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5343/statm: 9721 7320 197 640 0 9077 0 Current children cumulated CPU time (s) 1541.84 Current children cumulated vsize (KiB) 38884 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5344 /proc/meminfo: memFree=1826280/2055920 swapFree=4182572/4192956 [pid=5343] ppid=5341 vsize=38884 CPUtime=1601.82 /proc/5343/stat : 5343 (bsolo) R 5341 5343 5260 0 -1 4194304 7365 0 0 0 159941 241 0 0 25 0 1 0 186307870 39817216 7320 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5343/statm: 9721 7320 197 640 0 9077 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 38884 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5344 /proc/meminfo: memFree=1825448/2055920 swapFree=4182572/4192956 [pid=5343] ppid=5341 vsize=39784 CPUtime=1661.8 /proc/5343/stat : 5343 (bsolo) R 5341 5343 5260 0 -1 4194304 7581 0 0 0 165930 250 0 0 25 0 1 0 186307870 40738816 7536 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5343/statm: 9946 7536 197 640 0 9302 0 Current children cumulated CPU time (s) 1661.8 Current children cumulated vsize (KiB) 39784 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5344 /proc/meminfo: memFree=1823912/2055920 swapFree=4182572/4192956 [pid=5343] ppid=5341 vsize=41312 CPUtime=1721.78 /proc/5343/stat : 5343 (bsolo) R 5341 5343 5260 0 -1 4194304 7964 0 0 0 171919 259 0 0 25 0 1 0 186307870 42303488 7919 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5343/statm: 10328 7919 197 640 0 9684 0 Current children cumulated CPU time (s) 1721.78 Current children cumulated vsize (KiB) 41312 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5344 /proc/meminfo: memFree=1823848/2055920 swapFree=4182572/4192956 [pid=5343] ppid=5341 vsize=41308 CPUtime=1781.77 /proc/5343/stat : 5343 (bsolo) R 5341 5343 5260 0 -1 4194304 7964 0 0 0 177910 267 0 0 25 0 1 0 186307870 42299392 7919 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5343/statm: 10327 7919 197 640 0 9683 0 Current children cumulated CPU time (s) 1781.77 Current children cumulated vsize (KiB) 41308 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5344 /proc/meminfo: memFree=1823848/2055920 swapFree=4182572/4192956 [pid=5343] ppid=5341 vsize=41308 CPUtime=1791.37 /proc/5343/stat : 5343 (bsolo) R 5341 5343 5260 0 -1 4194304 7964 0 0 0 178869 268 0 0 25 0 1 0 186307870 42299392 7919 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5343/statm: 10327 7919 197 640 0 9683 0 Current children cumulated CPU time (s) 1791.37 Current children cumulated vsize (KiB) 41308 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5344 /proc/meminfo: memFree=1823848/2055920 swapFree=4182572/4192956 [pid=5343] ppid=5341 vsize=41308 CPUtime=1794.56 /proc/5343/stat : 5343 (bsolo) R 5341 5343 5260 0 -1 4194304 7964 0 0 0 179188 268 0 0 25 0 1 0 186307870 42299392 7919 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5343/statm: 10327 7919 197 640 0 9683 0 Current children cumulated CPU time (s) 1794.56 Current children cumulated vsize (KiB) 41308 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5344 /proc/meminfo: memFree=1823848/2055920 swapFree=4182572/4192956 [pid=5343] ppid=5341 vsize=41308 CPUtime=1796.16 /proc/5343/stat : 5343 (bsolo) R 5341 5343 5260 0 -1 4194304 7964 0 0 0 179348 268 0 0 25 0 1 0 186307870 42299392 7919 1992294400 134512640 137136520 4294956256 18446744073709551615 136295685 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5343/statm: 10327 7919 197 640 0 9683 0 Current children cumulated CPU time (s) 1796.16 Current children cumulated vsize (KiB) 41308 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5344 /proc/meminfo: memFree=1823848/2055920 swapFree=4182572/4192956 [pid=5343] ppid=5341 vsize=41308 CPUtime=1796.97 /proc/5343/stat : 5343 (bsolo) R 5341 5343 5260 0 -1 4194304 7964 0 0 0 179428 269 0 0 25 0 1 0 186307870 42299392 7919 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5343/statm: 10327 7919 197 640 0 9683 0 Current children cumulated CPU time (s) 1796.97 Current children cumulated vsize (KiB) 41308 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5344 /proc/meminfo: memFree=1823848/2055920 swapFree=4182572/4192956 [pid=5343] ppid=5341 vsize=41308 CPUtime=1797.76 /proc/5343/stat : 5343 (bsolo) R 5341 5343 5260 0 -1 4194304 7964 0 0 0 179507 269 0 0 25 0 1 0 186307870 42299392 7919 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5343/statm: 10327 7919 197 640 0 9683 0 Current children cumulated CPU time (s) 1797.76 Current children cumulated vsize (KiB) 41308 [startup+1798.51 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5344 /proc/meminfo: memFree=1823848/2055920 swapFree=4182572/4192956 [pid=5343] ppid=5341 vsize=41308 CPUtime=1797.97 /proc/5343/stat : 5343 (bsolo) R 5341 5343 5260 0 -1 4194304 7964 0 0 0 179528 269 0 0 25 0 1 0 186307870 42299392 7919 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5343/statm: 10327 7919 197 640 0 9683 0 Current children cumulated CPU time (s) 1797.97 Current children cumulated vsize (KiB) 41308 Child status: 0 Real time (s): 1798.54 CPU time (s): 1798.01 CPU user time (s): 1795.31 CPU system time (s): 2.69759 CPU usage (%): 99.9705 Max. virtual memory (cumulated for all children) (KiB): 41408 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.31 system time used= 2.69759 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 7966 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= 2 involuntary context switches= 2319 runsolver used 1.24881 second user time and 3.73443 second system time The end
Begin job on node39 at 2009-06-16 23:18:28 IDJOB=1877969 IDBENCH=47949 IDSOLVER=700 FILE ID=node39/1877969-1245187108 PBS_JOBID= 9368293 Free space on /tmp= 66128 MiB SOLVER NAME= bsolo 3.1 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 -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1877969-1245187108/watcher-1877969-1245187108 -o /tmp/evaluation-result-1877969-1245187108/solver-1877969-1245187108 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1877969-1245187108.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 6d677c4de75200a225209ed048e7b96e RANDOM SEED=1056668053 node39.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /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.263 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.263 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: 1855768 kB Buffers: 51868 kB Cached: 80256 kB SwapCached: 4216 kB Active: 43336 kB Inactive: 96684 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1855768 kB SwapTotal: 4192956 kB SwapFree: 4182572 kB Dirty: 4256 kB Writeback: 0 kB Mapped: 13552 kB Slab: 46100 kB Committed_AS: 141948 kB PageTables: 1384 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1877969-1245187108.opb Free space on /tmp at the end= 66128 MiB End job on node39 at 2009-06-16 23:48:27