Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | OPT | 3 | 1514.63 | 1514.98 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=9-P0=103-P1=127-P2=263-P3=461-P4=191-P5=277-B.opb |
MD5SUM | 773aedb43187ca11a13e2d0d2a59ebe9 |
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 | 5.44217 |
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 wbo 1.4 beta - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2702232-1278547073.opb. 0.00/0.00 c Instance file HOME/instance-2702232-1278547073.opb 0.00/0.00 c File size is 30042 bytes. 0.00/0.00 c Highest Coefficient sum: 523264 0.00/0.00 c ============================[ Problem Statistics ]============================= 0.00/0.00 c | | 0.00/0.00 c | Parsing time: 0.00 s | 0.00/0.00 c | Number Variables: 540 | 0.00/0.00 c | Number Clauses: 405 | 0.00/0.00 c | Number Cardinality: 0 | 0.00/0.00 c | Number PB Constraints: 421 | 0.00/0.01 c ============================[ Search Statistics ]============================== 0.00/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 540 826 3456 | 5000 0 nan | 0.000 % | 0.00/0.01 c | 100 | 540 826 3456 | 5500 100 87 | 0.003 % | 0.00/0.02 c | 251 | 540 826 3456 | 6050 251 80 | 0.004 % | 0.03/0.04 c | 476 | 540 826 3456 | 6655 476 77 | 0.000 % | 0.03/0.07 c | 814 | 540 826 3456 | 7320 814 79 | 0.003 % | 0.09/0.12 c | 1320 | 540 826 3456 | 8052 1320 74 | 0.000 % | 0.09/0.19 c | 2079 | 540 826 3456 | 8857 2079 73 | 0.003 % | 0.28/0.34 c | 3218 | 540 826 3456 | 9743 3218 67 | 0.000 % | 0.48/0.53 c | 4926 | 540 826 3456 | 10717 4926 66 | 0.000 % | 0.79/0.88 c | 7488 | 540 826 3456 | 11789 7488 63 | 0.003 % | 1.19/1.27 c | 11333 | 540 826 3456 | 12968 11333 62 | 0.000 % | 2.09/2.15 c | 17099 | 540 826 3456 | 14265 10472 55 | 0.000 % | 3.29/3.31 c | 25751 | 540 826 3456 | 15692 11912 50 | 0.000 % | 5.29/5.38 c | 38725 | 540 826 3456 | 17261 9043 39 | 0.000 % | 9.59/9.62 c | 58186 | 540 826 3456 | 18987 10977 68 | 0.000 % | 14.99/15.02 c | 87378 | 540 826 3456 | 20886 11405 53 | 0.000 % | 25.19/25.21 c | 131167 | 540 826 3456 | 22974 13008 72 | 0.000 % | 41.78/41.88 c | 196852 | 540 826 3456 | 25272 16980 42 | 0.000 % | 53.57/53.66 c =============================================================================== 53.57/53.66 c New solution: 129 53.57/53.66 o 129 53.57/53.66 c Elapsed CPU time: 52.9559 s Remaining CPU time: 127.044 s 53.57/53.66 c =============================================================================== 53.57/53.66 c | 237122 | 540 827 3465 | 5000 14337 40 | 0.000 % | 53.78/53.83 c | 237222 | 529 827 3465 | 5500 3685 48 | 2.040 % | 53.78/53.85 c | 237373 | 529 827 3465 | 6050 3836 50 | 2.037 % | 53.78/53.86 c | 237599 | 529 827 3465 | 6655 4062 52 | 2.037 % | 53.88/53.91 c | 237944 | 529 827 3465 | 7320 4407 54 | 2.037 % | 53.88/53.96 c | 238450 | 529 827 3465 | 8052 4913 55 | 2.037 % | 53.97/54.02 c | 239209 | 529 827 3465 | 8857 5672 57 | 2.037 % | 54.07/54.16 c | 240349 | 529 827 3465 | 9743 6812 58 | 2.037 % | 54.27/54.35 c | 242058 | 529 827 3465 | 10717 8521 60 | 2.037 % | 54.67/54.78 c | 244620 | 529 827 3465 | 11789 5580 64 | 2.037 % | 55.28/55.36 c | 248464 | 529 827 3465 | 12968 9424 59 | 2.037 % | 56.38/56.43 c | 254230 | 529 827 3465 | 14265 8614 58 | 2.037 % | 57.37/57.46 c | 262879 | 529 827 3465 | 15692 9975 50 | 2.037 % | 59.57/59.64 c | 275853 | 529 827 3465 | 17261 14962 54 | 2.037 % | 62.47/62.59 c | 295314 | 529 827 3465 | 18987 16972 55 | 2.037 % | 67.37/67.45 c | 324506 | 529 827 3465 | 20886 17276 45 | 2.037 % | 76.67/76.74 c | 368295 | 529 827 3465 | 22974 18760 60 | 2.037 % | 91.37/91.49 c | 433979 | 529 827 3465 | 25272 22811 44 | 2.037 % | 117.46/117.55 c | 532505 | 529 827 3465 | 27799 20150 69 | 2.037 % | 157.85/157.98 c | 680295 | 529 827 3465 | 30579 16426 63 | 2.037 % | 182.24/182.30 c There are 12 assigned variables. 1 in cost function. 182.84/182.99 c core #1 182.84/182.99 c core #2 182.84/182.99 c ============================[ Search Statistics ]============================== 182.84/182.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.84/182.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.84/182.99 c =============================================================================== 182.84/182.99 c | 0 | 450 845 3218 | 5000 0 nan | 0.000 % | 182.94/183.00 c | 101 | 450 845 3218 | 5500 101 91 | 18.920 % | 182.94/183.01 c | 252 | 450 845 3218 | 6050 252 88 | 18.922 % | 182.94/183.04 c | 477 | 450 845 3218 | 6655 477 88 | 18.919 % | 182.94/183.07 c | 814 | 450 845 3218 | 7320 814 80 | 18.919 % | 183.04/183.11 c | 1321 | 450 845 3218 | 8052 1321 84 | 18.919 % | 183.14/183.22 c | 2080 | 450 845 3218 | 8857 2080 77 | 18.922 % | 183.24/183.35 c | 3219 | 450 845 3218 | 9743 3219 80 | 18.922 % | 183.44/183.56 c | 4928 | 450 845 3218 | 10717 4928 77 | 18.919 % | 184.04/184.19 c | 7490 | 450 845 3218 | 11789 7490 75 | 18.919 % | 185.04/185.17 c | 11335 | 450 845 3218 | 12968 11335 67 | 18.919 % | 186.45/186.54 c | 17103 | 450 845 3218 | 14265 10521 54 | 18.919 % | 188.84/188.93 c | 25752 | 450 845 3218 | 15692 11914 62 | 18.919 % | 193.23/193.37 c | 38726 | 450 845 3218 | 17261 9014 34 | 18.919 % | 197.63/197.70 c | 58188 | 450 845 3218 | 18987 10896 48 | 18.919 % | 205.12/205.29 c | 87380 | 450 845 3218 | 20886 10981 51 | 18.919 % | 218.33/218.43 c | 131172 | 450 845 3218 | 22974 12212 46 | 18.919 % | 240.42/240.51 c | 196861 | 450 845 3218 | 25272 17950 56 | 18.919 % | 272.51/272.66 c | 295387 | 450 845 3218 | 27799 13908 64 | 18.919 % | 319.40/319.53 c | 443177 | 450 845 3218 | 30579 23570 46 | 18.919 % | 429.68/429.89 c | 664861 | 450 845 3218 | 33637 14782 56 | 18.919 % | 566.65/566.87 c | 997387 | 450 845 3218 | 37001 28540 59 | 18.919 % | 817.00/817.27 c | 1496175 | 450 845 3218 | 40701 32905 44 | 18.919 % | 1192.41/1192.77 c | 2244357 | 439 845 3218 | 44771 14762 52 | 20.901 % | 1501.74/1502.13 c =============================================================================== 1503.94/1504.32 c core #3 1503.94/1504.32 c ============================[ Search Statistics ]============================== 1503.94/1504.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 1503.94/1504.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1503.94/1504.32 c =============================================================================== 1503.94/1504.32 c | 0 | 477 861 3248 | 5000 0 nan | 0.000 % | 1504.35/1504.78 c | 100 | 477 861 3248 | 5500 100 84 | 15.279 % | 1504.35/1504.79 c | 251 | 477 861 3248 | 6050 251 85 | 15.278 % | 1504.45/1504.81 c | 477 | 477 861 3248 | 6655 477 77 | 15.276 % | 1504.45/1504.84 c | 815 | 477 861 3248 | 7320 815 79 | 15.276 % | 1504.45/1504.89 c | 1322 | 477 861 3248 | 8052 1322 81 | 15.276 % | 1504.54/1504.98 c | 2081 | 477 861 3248 | 8857 2081 79 | 15.278 % | 1504.74/1505.17 c | 3221 | 477 861 3248 | 9743 3221 75 | 15.276 % | 1505.14/1505.52 c | 4929 | 477 861 3248 | 10717 4929 71 | 15.276 % | 1505.74/1506.14 c | 7491 | 477 861 3248 | 11789 7491 66 | 15.276 % | 1506.34/1506.71 c | 11335 | 477 861 3248 | 12968 11335 62 | 15.276 % | 1507.93/1508.30 c | 17102 | 477 861 3248 | 14265 10488 63 | 15.276 % | 1509.43/1509.82 c | 25752 | 477 861 3248 | 15692 11763 73 | 15.276 % | 1512.43/1512.83 c | 38727 | 477 861 3248 | 17261 8659 36 | 15.278 % | 1514.43/1514.89 c =============================================================================== 1514.43/1514.89 c #cores: 3 1514.43/1514.89 c Final Weight: 3 1514.43/1514.89 o 3 1514.43/1514.89 s OPTIMUM FOUND 1514.43/1514.89 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 1514.43/1514.89 c Total CPU time: 1502.78 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-2702232-1278547073/watcher-2702232-1278547073 -o /tmp/evaluation-result-2702232-1278547073/solver-2702232-1278547073 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702232-1278547073.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.03 0.75 3/106 26207 /proc/meminfo: memFree=1956708/2059040 swapFree=4121480/4192956 [pid=26207] ppid=26205 vsize=2608 CPUtime=0 /proc/26207/stat : 26207 (wbo1.4b) R 26205 26207 25688 0 -1 4202496 298 0 0 0 0 0 0 0 19 0 1 0 22913941 2670592 217 1992294400 134512640 135751879 4290300320 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26207/statm: 652 218 141 303 0 339 0 [startup+0.041296 s] /proc/loadavg: 1.00 1.03 0.75 3/106 26207 /proc/meminfo: memFree=1956708/2059040 swapFree=4121480/4192956 [pid=26207] ppid=26205 vsize=2836 CPUtime=0.03 /proc/26207/stat : 26207 (wbo1.4b) R 26205 26207 25688 0 -1 4202496 369 0 0 0 3 0 0 0 20 0 1 0 22913941 2904064 280 1992294400 134512640 135751879 4290300320 18446744073709551615 134610370 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26207/statm: 709 280 147 303 0 404 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 2836 [startup+0.100299 s] /proc/loadavg: 1.00 1.03 0.75 3/106 26207 /proc/meminfo: memFree=1956708/2059040 swapFree=4121480/4192956 [pid=26207] ppid=26205 vsize=3096 CPUtime=0.09 /proc/26207/stat : 26207 (wbo1.4b) R 26205 26207 25688 0 -1 4202496 437 0 0 0 9 0 0 0 20 0 1 0 22913941 3170304 348 1992294400 134512640 135751879 4290300320 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26207/statm: 774 348 147 303 0 469 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3096 [startup+0.300313 s] /proc/loadavg: 1.00 1.03 0.75 3/106 26207 /proc/meminfo: memFree=1956708/2059040 swapFree=4121480/4192956 [pid=26207] ppid=26205 vsize=3868 CPUtime=0.28 /proc/26207/stat : 26207 (wbo1.4b) R 26205 26207 25688 0 -1 4202496 637 0 0 0 28 0 0 0 20 0 1 0 22913941 3960832 548 1992294400 134512640 135751879 4290300320 18446744073709551615 134616353 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26207/statm: 967 548 147 303 0 662 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 3868 [startup+0.700338 s] /proc/loadavg: 1.00 1.03 0.75 3/106 26207 /proc/meminfo: memFree=1956708/2059040 swapFree=4121480/4192956 [pid=26207] ppid=26205 vsize=5152 CPUtime=0.69 /proc/26207/stat : 26207 (wbo1.4b) R 26205 26207 25688 0 -1 4202496 931 0 0 0 68 1 0 0 21 0 1 0 22913941 5275648 842 1992294400 134512640 135751879 4290300320 18446744073709551615 134616326 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26207/statm: 1288 842 147 303 0 983 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5152 [startup+1.50039 s] /proc/loadavg: 1.00 1.03 0.75 2/107 26208 /proc/meminfo: memFree=1953228/2059040 swapFree=4121480/4192956 [pid=26207] ppid=26205 vsize=7472 CPUtime=1.48 /proc/26207/stat : 26207 (wbo1.4b) R 26205 26207 25688 0 -1 4202496 1508 0 0 0 146 2 0 0 23 0 1 0 22913941 7651328 1419 1992294400 134512640 135751879 4290300320 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26207/statm: 1868 1419 147 303 0 1563 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 7472 [startup+3.1005 s] /proc/loadavg: 1.00 1.03 0.75 2/107 26208 /proc/meminfo: memFree=1950500/2059040 swapFree=4121480/4192956 [pid=26207] ppid=26205 vsize=10848 CPUtime=3.09 /proc/26207/stat : 26207 (wbo1.4b) R 26205 26207 25688 0 -1 4202496 2350 0 0 0 303 6 0 0 25 0 1 0 22913941 11108352 2261 1992294400 134512640 135751879 4290300320 18446744073709551615 134606629 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26207/statm: 2712 2261 148 303 0 2407 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10848 [startup+6.30171 s] /proc/loadavg: 1.00 1.03 0.75 2/107 26208 /proc/meminfo: memFree=1944300/2059040 swapFree=4121480/4192956 [pid=26207] ppid=26205 vsize=15876 CPUtime=6.29 /proc/26207/stat : 26207 (wbo1.4b) R 26205 26207 25688 0 -1 4202496 3636 0 0 0 618 11 0 0 25 0 1 0 22913941 16257024 3547 1992294400 134512640 135751879 4290300320 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26207/statm: 3969 3547 148 303 0 3664 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 15876 [startup+12.7011 s] /proc/loadavg: 1.00 1.02 0.75 2/107 26210 /proc/meminfo: memFree=1934272/2059040 swapFree=4121480/4192956 [pid=26207] ppid=26205 vsize=25344 CPUtime=12.69 /proc/26207/stat : 26207 (wbo1.4b) R 26205 26207 25688 0 -1 4202496 5974 0 0 0 1251 18 0 0 25 0 1 0 22913941 25952256 5885 1992294400 134512640 135751879 4290300320 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26207/statm: 6336 5885 148 303 0 6031 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 25344 [startup+25.501 s] /proc/loadavg: 1.00 1.02 0.75 2/107 26210 /proc/meminfo: memFree=1915796/2059040 swapFree=4121480/4192956 [pid=26207] ppid=26205 vsize=44240 CPUtime=25.48 /proc/26207/stat : 26207 (wbo1.4b) R 26205 26207 25688 0 -1 4202496 10708 0 0 0 2511 37 0 0 25 0 1 0 22913941 45301760 10619 1992294400 134512640 135751879 4290300320 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26207/statm: 11060 10619 148 303 0 10755 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 44240 [startup+51.1007 s] /proc/loadavg: 1.00 1.02 0.76 2/107 26210 /proc/meminfo: memFree=1891864/2059040 swapFree=4121480/4192956 [pid=26207] ppid=26205 vsize=67540 CPUtime=51.08 /proc/26207/stat : 26207 (wbo1.4b) R 26205 26207 25688 0 -1 4202496 16518 0 0 0 5042 66 0 0 25 0 1 0 22913941 69160960 16429 1992294400 134512640 135751879 4290300320 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26207/statm: 16885 16429 148 303 0 16580 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 67540 [startup+102.309 s] /proc/loadavg: 1.00 1.02 0.77 2/107 26212 /proc/meminfo: memFree=1815728/2059040 swapFree=4121480/4192956 [pid=26207] ppid=26205 vsize=143336 CPUtime=102.27 /proc/26207/stat : 26207 (wbo1.4b) R 26205 26207 25688 0 -1 4202496 35419 0 0 0 10090 137 0 0 25 0 1 0 22913941 146776064 35330 1992294400 134512640 135751879 4290300320 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26207/statm: 35834 35330 148 303 0 35529 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 143336 [startup+162.301 s] /proc/loadavg: 1.00 1.01 0.78 2/107 26213 /proc/meminfo: memFree=1752612/2059040 swapFree=4121480/4192956 [pid=26207] ppid=26205 vsize=206516 CPUtime=162.25 /proc/26207/stat : 26207 (wbo1.4b) R 26205 26207 25688 0 -1 4202496 51190 0 0 0 16021 204 0 0 25 0 1 0 22913941 211472384 51101 1992294400 134512640 135751879 4290300320 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26207/statm: 51629 51101 148 303 0 51324 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 206516 [startup+222.301 s] /proc/loadavg: 1.00 1.00 0.79 2/107 26223 /proc/meminfo: memFree=1710240/2059040 swapFree=4121512/4192956 [pid=26207] ppid=26205 vsize=245932 CPUtime=222.23 /proc/26207/stat : 26207 (wbo1.4b) R 26205 26207 25688 0 -1 4202496 61160 0 0 0 21956 267 0 0 25 0 1 0 22913941 251834368 61040 1992294400 134512640 135751879 4290300320 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26207/statm: 61483 61040 151 303 0 61178 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 245932 [startup+282.301 s] /proc/loadavg: 1.06 1.02 0.81 2/107 26225 /proc/meminfo: memFree=1661756/2059040 swapFree=4121512/4192956 [pid=26207] ppid=26205 vsize=295140 CPUtime=282.21 /proc/26207/stat : 26207 (wbo1.4b) R 26205 26207 25688 0 -1 4202496 73418 0 0 0 27895 326 0 0 25 0 1 0 22913941 302223360 73298 1992294400 134512640 135751879 4290300320 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26207/statm: 73785 73298 151 303 0 73480 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 295140 [startup+342.301 s] /proc/loadavg: 1.08 1.03 0.83 2/107 26227 /proc/meminfo: memFree=1623068/2059040 swapFree=4121512/4192956 [pid=26207] ppid=26205 vsize=333256 CPUtime=342.2 /proc/26207/stat : 26207 (wbo1.4b) R 26205 26207 25688 0 -1 4202496 82953 0 0 0 33839 381 0 0 25 0 1 0 22913941 341254144 82833 1992294400 134512640 135751879 4290300320 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26207/statm: 83314 82833 151 303 0 83009 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 333256 [startup+402.301 s] /proc/loadavg: 1.12 1.05 0.84 2/107 26229 /proc/meminfo: memFree=1593556/2059040 swapFree=4121512/4192956 [pid=26207] ppid=26205 vsize=362968 CPUtime=402.18 /proc/26207/stat : 26207 (wbo1.4b) R 26205 26207 25688 0 -1 4202496 90363 0 0 0 39796 422 0 0 25 0 1 0 22913941 371679232 90243 1992294400 134512640 135751879 4290300320 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26207/statm: 90742 90243 151 303 0 90437 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 362968 [startup+462.301 s] /proc/loadavg: 1.04 1.04 0.85 2/107 26231 /proc/meminfo: memFree=1561440/2059040 swapFree=4121512/4192956 [pid=26207] ppid=26205 vsize=394760 CPUtime=462.17 /proc/26207/stat : 26207 (wbo1.4b) R 26205 26207 25688 0 -1 4202496 98300 0 0 0 45750 467 0 0 25 0 1 0 22913941 404234240 98180 1992294400 134512640 135751879 4290300320 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26207/statm: 98690 98180 151 303 0 98385 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 394760 [startup+522.301 s] /proc/loadavg: 1.01 1.03 0.85 2/107 26231 /proc/meminfo: memFree=1523496/2059040 swapFree=4121512/4192956 [pid=26207] ppid=26205 vsize=433080 CPUtime=522.15 /proc/26207/stat : 26207 (wbo1.4b) R 26205 26207 25688 0 -1 4202496 107857 0 0 0 51704 511 0 0 25 0 1 0 22913941 443473920 107737 1992294400 134512640 135751879 4290300320 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26207/statm: 108270 107737 151 303 0 107965 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 433080 [startup+582.301 s] /proc/loadavg: 1.00 1.02 0.86 2/107 26233 /proc/meminfo: memFree=1485676/2059040 swapFree=4121512/4192956 [pid=26207] ppid=26205 vsize=470528 CPUtime=582.14 /proc/26207/stat : 26207 (wbo1.4b) R 26205 26207 25688 0 -1 4202496 117208 0 0 0 57660 554 0 0 25 0 1 0 22913941 481820672 117088 1992294400 134512640 135751879 4290300320 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26207/statm: 117632 117088 151 303 0 117327 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 470528 [startup+642.301 s] /proc/loadavg: 1.00 1.02 0.87 2/107 26235 /proc/meminfo: memFree=1452072/2059040 swapFree=4121512/4192956 [pid=26207] ppid=26205 vsize=504152 CPUtime=642.13 /proc/26207/stat : 26207 (wbo1.4b) R 26205 26207 25688 0 -1 4202496 125574 0 0 0 63618 595 0 0 25 0 1 0 22913941 516251648 125454 1992294400 134512640 135751879 4290300320 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26207/statm: 126038 125454 151 303 0 125733 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 504152 [startup+702.3 s] ################ # More data... # ################ /proc/meminfo: memFree=1331420/2059040 swapFree=4121512/4192956 [pid=26207] ppid=26205 vsize=625024 CPUtime=882.08 /proc/26207/stat : 26207 (wbo1.4b) R 26205 26207 25688 0 -1 4202496 155682 0 0 0 87452 756 0 0 25 0 1 0 22913941 640024576 155562 1992294400 134512640 135751879 4290300320 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26207/statm: 156256 155562 151 303 0 155951 0 Current children cumulated CPU time (s) 882.08 Current children cumulated vsize (KiB) 625024 [startup+942.3 s] /proc/loadavg: 1.00 1.00 0.89 2/107 26243 /proc/meminfo: memFree=1298560/2059040 swapFree=4121512/4192956 [pid=26207] ppid=26205 vsize=658012 CPUtime=942.06 /proc/26207/stat : 26207 (wbo1.4b) R 26205 26207 25688 0 -1 4202496 163950 0 0 0 93411 795 0 0 25 0 1 0 22913941 673804288 163830 1992294400 134512640 135751879 4290300320 18446744073709551615 134616532 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26207/statm: 164503 163830 151 303 0 164198 0 Current children cumulated CPU time (s) 942.06 Current children cumulated vsize (KiB) 658012 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.90 2/107 26245 /proc/meminfo: memFree=1271900/2059040 swapFree=4121512/4192956 [pid=26207] ppid=26205 vsize=684508 CPUtime=1002.05 /proc/26207/stat : 26207 (wbo1.4b) R 26205 26207 25688 0 -1 4202496 170543 0 0 0 99373 832 0 0 25 0 1 0 22913941 700936192 170423 1992294400 134512640 135751879 4290300320 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26207/statm: 171127 170423 151 303 0 170822 0 Current children cumulated CPU time (s) 1002.05 Current children cumulated vsize (KiB) 684508 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 26246 /proc/meminfo: memFree=1239164/2059040 swapFree=4121512/4192956 [pid=26207] ppid=26205 vsize=717528 CPUtime=1062.04 /proc/26207/stat : 26207 (wbo1.4b) R 26205 26207 25688 0 -1 4202496 178799 0 0 0 105330 874 0 0 25 0 1 0 22913941 734748672 178679 1992294400 134512640 135751879 4290300320 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26207/statm: 179382 178679 151 303 0 179077 0 Current children cumulated CPU time (s) 1062.04 Current children cumulated vsize (KiB) 717528 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 26247 /proc/meminfo: memFree=1205560/2059040 swapFree=4121512/4192956 [pid=26207] ppid=26205 vsize=750668 CPUtime=1122.03 /proc/26207/stat : 26207 (wbo1.4b) R 26205 26207 25688 0 -1 4202496 187084 0 0 0 111290 913 0 0 25 0 1 0 22913941 768684032 186964 1992294400 134512640 135751879 4290300320 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26207/statm: 187667 186964 151 303 0 187362 0 Current children cumulated CPU time (s) 1122.03 Current children cumulated vsize (KiB) 750668 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 26249 /proc/meminfo: memFree=1175552/2059040 swapFree=4121512/4192956 [pid=26207] ppid=26205 vsize=780996 CPUtime=1182.01 /proc/26207/stat : 26207 (wbo1.4b) R 26205 26207 25688 0 -1 4202496 194650 0 0 0 117247 954 0 0 25 0 1 0 22913941 799739904 194530 1992294400 134512640 135751879 4290300320 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26207/statm: 195249 194530 151 303 0 194944 0 Current children cumulated CPU time (s) 1182.01 Current children cumulated vsize (KiB) 780996 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 26251 /proc/meminfo: memFree=1139468/2059040 swapFree=4121512/4192956 [pid=26207] ppid=26205 vsize=816376 CPUtime=1242 /proc/26207/stat : 26207 (wbo1.4b) R 26205 26207 25688 0 -1 4202496 203479 0 0 0 123205 995 0 0 25 0 1 0 22913941 835969024 203359 1992294400 134512640 135751879 4290300320 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26207/statm: 204094 203359 151 303 0 203789 0 Current children cumulated CPU time (s) 1242 Current children cumulated vsize (KiB) 816376 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 26253 /proc/meminfo: memFree=1105616/2059040 swapFree=4121512/4192956 [pid=26207] ppid=26205 vsize=850060 CPUtime=1301.99 /proc/26207/stat : 26207 (wbo1.4b) R 26205 26207 25688 0 -1 4202496 211880 0 0 0 129164 1035 0 0 25 0 1 0 22913941 870461440 211760 1992294400 134512640 135751879 4290300320 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26207/statm: 212515 211760 151 303 0 212210 0 Current children cumulated CPU time (s) 1301.99 Current children cumulated vsize (KiB) 850060 [startup+1362.3 s] /proc/loadavg: 1.05 1.01 0.91 2/107 26257 /proc/meminfo: memFree=1022288/2059040 swapFree=4121688/4192956 [pid=26207] ppid=26205 vsize=877768 CPUtime=1361.96 /proc/26207/stat : 26207 (wbo1.4b) R 26205 26207 25688 0 -1 4202496 218803 0 0 0 135123 1073 0 0 25 0 1 0 22913941 898834432 218683 1992294400 134512640 135751879 4290300320 18446744073709551615 134519021 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26207/statm: 219442 218683 151 303 0 219137 0 Current children cumulated CPU time (s) 1361.96 Current children cumulated vsize (KiB) 877768 [startup+1422.31 s] /proc/loadavg: 1.02 1.01 0.91 2/107 26258 /proc/meminfo: memFree=995628/2059040 swapFree=4121688/4192956 [pid=26207] ppid=26205 vsize=904440 CPUtime=1421.97 /proc/26207/stat : 26207 (wbo1.4b) R 26205 26207 25688 0 -1 4202496 225443 0 0 0 141088 1109 0 0 25 0 1 0 22913941 926146560 225323 1992294400 134512640 135751879 4290300320 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26207/statm: 226110 225323 151 303 0 225805 0 Current children cumulated CPU time (s) 1421.97 Current children cumulated vsize (KiB) 904440 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 26260 /proc/meminfo: memFree=974176/2059040 swapFree=4121688/4192956 [pid=26207] ppid=26205 vsize=925776 CPUtime=1481.95 /proc/26207/stat : 26207 (wbo1.4b) R 26205 26207 25688 0 -1 4202496 230774 0 0 0 147049 1146 0 0 25 0 1 0 22913941 947994624 230654 1992294400 134512640 135751879 4290300320 18446744073709551615 134602695 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26207/statm: 231444 230654 151 303 0 231139 0 Current children cumulated CPU time (s) 1481.95 Current children cumulated vsize (KiB) 925776 Solver just ended. Dumping a history of the last processes samples [startup+1484.7 s] /proc/loadavg: 1.00 1.00 0.91 2/107 26260 /proc/meminfo: memFree=973184/2059040 swapFree=4121688/4192956 [pid=26207] ppid=26205 vsize=927360 CPUtime=1484.34 /proc/26207/stat : 26207 (wbo1.4b) R 26205 26207 25688 0 -1 4202496 231188 0 0 0 147286 1148 0 0 25 0 1 0 22913941 949616640 231068 1992294400 134512640 135751879 4290300320 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26207/statm: 231840 231068 151 303 0 231535 0 Current children cumulated CPU time (s) 1484.34 Current children cumulated vsize (KiB) 927360 [startup+1497.5 s] /proc/loadavg: 1.00 1.00 0.91 2/107 26260 /proc/meminfo: memFree=966860/2059040 swapFree=4121688/4192956 [pid=26207] ppid=26205 vsize=933356 CPUtime=1497.14 /proc/26207/stat : 26207 (wbo1.4b) R 26205 26207 25688 0 -1 4202496 232694 0 0 0 148556 1158 0 0 25 0 1 0 22913941 955756544 232574 1992294400 134512640 135751879 4290300320 18446744073709551615 134518470 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26207/statm: 233339 232574 151 303 0 233034 0 Current children cumulated CPU time (s) 1497.14 Current children cumulated vsize (KiB) 933356 [startup+1503.9 s] /proc/loadavg: 1.00 1.00 0.91 2/107 26260 /proc/meminfo: memFree=962148/2059040 swapFree=4121688/4192956 [pid=26207] ppid=26205 vsize=937844 CPUtime=1503.54 /proc/26207/stat : 26207 (wbo1.4b) R 26205 26207 25688 0 -1 4202496 233796 0 0 0 149191 1163 0 0 25 0 1 0 22913941 960352256 233676 1992294400 134512640 135751879 4290300320 18446744073709551615 135200099 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26207/statm: 234461 233676 151 303 0 234156 0 Current children cumulated CPU time (s) 1503.54 Current children cumulated vsize (KiB) 937844 [startup+1510.31 s] /proc/loadavg: 1.00 1.00 0.91 2/107 26261 /proc/meminfo: memFree=961776/2059040 swapFree=4121688/4192956 [pid=26207] ppid=26205 vsize=937600 CPUtime=1509.95 /proc/26207/stat : 26207 (wbo1.4b) R 26205 26207 25688 0 -1 4202496 233915 0 0 0 149824 1171 0 0 25 0 1 0 22913941 960102400 233750 1992294400 134512640 135751879 4290300320 18446744073709551615 134616876 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26207/statm: 234400 233750 151 303 0 234095 0 Current children cumulated CPU time (s) 1509.95 Current children cumulated vsize (KiB) 937600 [startup+1513.5 s] /proc/loadavg: 1.00 1.00 0.91 2/107 26262 /proc/meminfo: memFree=961528/2059040 swapFree=4121688/4192956 [pid=26207] ppid=26205 vsize=937600 CPUtime=1513.14 /proc/26207/stat : 26207 (wbo1.4b) R 26205 26207 25688 0 -1 4202496 233982 0 0 0 150140 1174 0 0 25 0 1 0 22913941 960102400 233817 1992294400 134512640 135751879 4290300320 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26207/statm: 234400 233817 151 303 0 234095 0 Current children cumulated CPU time (s) 1513.14 Current children cumulated vsize (KiB) 937600 [startup+1514.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 26262 /proc/meminfo: memFree=961528/2059040 swapFree=4121688/4192956 [pid=26207] ppid=26205 vsize=937600 CPUtime=1513.94 /proc/26207/stat : 26207 (wbo1.4b) R 26205 26207 25688 0 -1 4202496 234036 0 0 0 150219 1175 0 0 25 0 1 0 22913941 960102400 233871 1992294400 134512640 135751879 4290300320 18446744073709551615 135205955 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26207/statm: 234400 233871 151 303 0 234095 0 Current children cumulated CPU time (s) 1513.94 Current children cumulated vsize (KiB) 937600 [startup+1514.71 s] /proc/loadavg: 1.00 1.00 0.91 2/107 26262 /proc/meminfo: memFree=961280/2059040 swapFree=4121688/4192956 [pid=26207] ppid=26205 vsize=937600 CPUtime=1514.34 /proc/26207/stat : 26207 (wbo1.4b) R 26205 26207 25688 0 -1 4202496 234050 0 0 0 150259 1175 0 0 25 0 1 0 22913941 960102400 233885 1992294400 134512640 135751879 4290300320 18446744073709551615 134518721 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26207/statm: 234400 233885 151 303 0 234095 0 Current children cumulated CPU time (s) 1514.34 Current children cumulated vsize (KiB) 937600 [startup+1514.9 s] /proc/loadavg: 1.00 1.00 0.91 2/107 26262 /proc/meminfo: memFree=961280/2059040 swapFree=4121688/4192956 [pid=26207] ppid=26205 vsize=0 CPUtime=1514.54 /proc/26207/stat : 26207 (wbo1.4b) R 26205 26207 25688 0 -1 4202500 234053 0 0 0 150278 1176 0 0 25 0 1 0 22913941 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/26207/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1514.54 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1514.98 CPU time (s): 1514.63 CPU user time (s): 1502.78 CPU system time (s): 11.8482 CPU usage (%): 99.9766 Max. virtual memory (cumulated for all children) (KiB): 937844 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1502.78 system time used= 11.8482 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 234053 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= 5 involuntary context switches= 4790 runsolver used 2.6486 second user time and 7.00793 second system time The end
Begin job on node052 at 2010-07-08 01:57:53 IDJOB=2702232 IDBENCH=48051 IDSOLVER=1161 FILE ID=node052/2702232-1278547073 PBS_JOBID= 11239489 Free space on /tmp= 62496 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=103-P1=127-P2=263-P3=461-P4=191-P5=277-B.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2702232-1278547073/watcher-2702232-1278547073 -o /tmp/evaluation-result-2702232-1278547073/solver-2702232-1278547073 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702232-1278547073.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 773aedb43187ca11a13e2d0d2a59ebe9 RANDOM SEED=1172407403 node052.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.213 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.42 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.213 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 : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1957608 kB Buffers: 3972 kB Cached: 21996 kB SwapCached: 20172 kB Active: 19232 kB Inactive: 27932 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1957608 kB SwapTotal: 4192956 kB SwapFree: 4121480 kB Dirty: 2684 kB Writeback: 0 kB AnonPages: 8084 kB Mapped: 6120 kB Slab: 32356 kB PageTables: 4100 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180768 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-2702232-1278547073.opb Free space on /tmp at the end= 62492 MiB End job on node052 at 2010-07-08 02:23:08