Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | OPT | 3 | 1452.39 | 1453.02 |
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 - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2702233-1278547073.opb. 0.00/0.01 c Instance file HOME/instance-2702233-1278547073.opb 0.00/0.01 c File size is 30042 bytes. 0.00/0.01 c Highest Coefficient sum: 523264 0.00/0.01 c ============================[ Problem Statistics ]============================= 0.00/0.01 c | | 0.00/0.01 c | Parsing time: 0.00 s | 0.00/0.01 c | Number Variables: 540 | 0.00/0.01 c | Number Clauses: 405 | 0.00/0.01 c | Number Cardinality: 0 | 0.00/0.01 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.06 c | 814 | 540 826 3456 | 7320 814 79 | 0.003 % | 0.09/0.11 c | 1320 | 540 826 3456 | 8052 1320 74 | 0.000 % | 0.09/0.17 c | 2079 | 540 826 3456 | 8857 2079 73 | 0.003 % | 0.29/0.32 c | 3218 | 540 826 3456 | 9743 3218 67 | 0.000 % | 0.49/0.50 c | 4926 | 540 826 3456 | 10717 4926 66 | 0.000 % | 0.79/0.83 c | 7488 | 540 826 3456 | 11789 7488 63 | 0.003 % | 1.10/1.19 c | 11333 | 540 826 3456 | 12968 11333 62 | 0.000 % | 1.99/2.02 c | 17099 | 540 826 3456 | 14265 10472 55 | 0.000 % | 3.09/3.11 c | 25751 | 540 826 3456 | 15692 11912 50 | 0.000 % | 4.99/5.03 c | 38725 | 540 826 3456 | 17261 9043 39 | 0.000 % | 8.89/8.97 c | 58186 | 540 826 3456 | 18987 10977 68 | 0.000 % | 14.08/14.14 c | 87378 | 540 826 3456 | 20886 11405 53 | 0.000 % | 23.59/23.66 c | 131167 | 540 826 3456 | 22974 13008 72 | 0.000 % | 39.49/39.56 c | 196852 | 540 826 3456 | 25272 16980 42 | 0.000 % | 50.58/50.63 c =============================================================================== 50.58/50.63 c New solution: 129 50.58/50.63 o 129 50.58/50.63 c Elapsed CPU time: 49.9134 s Remaining CPU time: 130.087 s 50.58/50.63 c =============================================================================== 50.58/50.63 c | 237122 | 540 827 3465 | 5000 14337 40 | 0.000 % | 50.67/50.74 c | 237222 | 529 827 3465 | 5500 3685 48 | 2.040 % | 50.67/50.75 c | 237373 | 529 827 3465 | 6050 3836 50 | 2.037 % | 50.67/50.77 c | 237599 | 529 827 3465 | 6655 4062 52 | 2.037 % | 50.77/50.81 c | 237944 | 529 827 3465 | 7320 4407 54 | 2.037 % | 50.77/50.85 c | 238450 | 529 827 3465 | 8052 4913 55 | 2.037 % | 50.87/50.92 c | 239209 | 529 827 3465 | 8857 5672 57 | 2.037 % | 50.97/51.04 c | 240349 | 529 827 3465 | 9743 6812 58 | 2.037 % | 51.17/51.23 c | 242058 | 529 827 3465 | 10717 8521 60 | 2.037 % | 51.58/51.63 c | 244620 | 529 827 3465 | 11789 5580 64 | 2.037 % | 52.07/52.17 c | 248464 | 529 827 3465 | 12968 9424 59 | 2.037 % | 53.07/53.19 c | 254230 | 529 827 3465 | 14265 8614 58 | 2.037 % | 54.07/54.15 c | 262879 | 529 827 3465 | 15692 9975 50 | 2.037 % | 56.17/56.24 c | 275853 | 529 827 3465 | 17261 14962 54 | 2.037 % | 58.87/58.97 c | 295314 | 529 827 3465 | 18987 16972 55 | 2.037 % | 63.47/63.52 c | 324506 | 529 827 3465 | 20886 17276 45 | 2.037 % | 72.06/72.16 c | 368295 | 529 827 3465 | 22974 18760 60 | 2.037 % | 86.06/86.12 c | 433979 | 529 827 3465 | 25272 22811 44 | 2.037 % | 110.75/110.86 c | 532505 | 529 827 3465 | 27799 20150 69 | 2.037 % | 149.93/150.02 c | 680295 | 529 827 3465 | 30579 16426 63 | 2.037 % | 182.31/182.46 c There are 12 assigned variables. 1 in cost function. 183.02/183.17 c core #1 183.02/183.17 c 183.02/183.17 c 183.02/183.17 c Core size: 9 Core Weight: 1 Total Weight: 1 183.02/183.17 c 183.02/183.17 c 183.02/183.17 c core #2 183.02/183.17 c 183.02/183.17 c 183.02/183.17 c Core size: 8 Core Weight: 1 Total Weight: 2 183.02/183.17 c 183.02/183.17 c 183.02/183.17 c ============================[ Search Statistics ]============================== 183.02/183.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.02/183.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.02/183.17 c =============================================================================== 183.02/183.17 c | 0 | 450 844 3218 | 5000 0 nan | 0.000 % | 183.02/183.18 c | 101 | 450 844 3218 | 5500 101 91 | 18.920 % | 183.02/183.19 c | 252 | 450 844 3218 | 6050 252 88 | 18.922 % | 183.11/183.21 c | 477 | 450 844 3218 | 6655 477 88 | 18.919 % | 183.11/183.24 c | 814 | 450 844 3218 | 7320 814 80 | 18.919 % | 183.11/183.28 c | 1321 | 450 844 3218 | 8052 1321 84 | 18.919 % | 183.21/183.38 c | 2080 | 450 844 3218 | 8857 2080 77 | 18.922 % | 183.41/183.51 c | 3219 | 450 844 3218 | 9743 3219 80 | 18.922 % | 183.62/183.71 c | 4928 | 450 844 3218 | 10717 4928 77 | 18.919 % | 184.22/184.31 c | 7490 | 450 844 3218 | 11789 7490 75 | 18.919 % | 185.12/185.25 c | 11335 | 450 844 3218 | 12968 11335 67 | 18.919 % | 186.41/186.56 c | 17103 | 450 844 3218 | 14265 10521 54 | 18.919 % | 188.70/188.88 c | 25752 | 450 844 3218 | 15692 11914 62 | 18.919 % | 193.00/193.17 c | 38726 | 450 844 3218 | 17261 9014 34 | 18.919 % | 197.19/197.35 c | 58188 | 450 844 3218 | 18987 10896 48 | 18.919 % | 204.29/204.46 c | 87380 | 450 844 3218 | 20886 10981 51 | 18.919 % | 216.79/216.91 c | 131172 | 450 844 3218 | 22974 12212 46 | 18.919 % | 237.49/237.67 c | 196861 | 450 844 3218 | 25272 17950 56 | 18.919 % | 268.27/268.45 c | 295387 | 450 844 3218 | 27799 13908 64 | 18.919 % | 312.75/312.90 c | 443177 | 450 844 3218 | 30579 23570 46 | 18.919 % | 418.01/418.29 c | 664861 | 450 844 3218 | 33637 14782 56 | 18.919 % | 547.05/547.32 c | 997387 | 450 844 3218 | 37001 28540 59 | 18.919 % | 786.36/786.74 c | 1496175 | 450 844 3218 | 40701 32905 44 | 18.919 % | 1143.31/1143.83 c | 2244357 | 439 844 3218 | 44771 14762 52 | 20.901 % | 1440.17/1440.87 c =============================================================================== 1442.37/1443.03 c core #3 1442.37/1443.03 c 1442.37/1443.03 c 1442.37/1443.03 c Core size: 157 Core Weight: 1 Total Weight: 3 1442.37/1443.03 c 1442.37/1443.03 c 1442.37/1443.03 c ============================[ Search Statistics ]============================== 1442.37/1443.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 1442.37/1443.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1442.37/1443.03 c =============================================================================== 1442.37/1443.03 c | 0 | 477 860 3248 | 5000 0 nan | 0.000 % | 1442.77/1443.49 c | 100 | 477 860 3248 | 5500 100 84 | 15.279 % | 1442.87/1443.50 c | 251 | 477 860 3248 | 6050 251 85 | 15.278 % | 1442.87/1443.52 c | 477 | 477 860 3248 | 6655 477 77 | 15.276 % | 1442.87/1443.55 c | 815 | 477 860 3248 | 7320 815 79 | 15.276 % | 1442.87/1443.59 c | 1322 | 477 860 3248 | 8052 1322 81 | 15.276 % | 1442.97/1443.68 c | 2081 | 477 860 3248 | 8857 2081 79 | 15.278 % | 1443.17/1443.85 c | 3221 | 477 860 3248 | 9743 3221 75 | 15.276 % | 1443.47/1444.19 c | 4929 | 477 860 3248 | 10717 4929 71 | 15.276 % | 1444.07/1444.77 c | 7491 | 477 860 3248 | 11789 7491 66 | 15.276 % | 1444.68/1445.31 c | 11335 | 477 860 3248 | 12968 11335 62 | 15.276 % | 1446.07/1446.78 c | 17102 | 477 860 3248 | 14265 10488 63 | 15.276 % | 1447.57/1448.20 c | 25752 | 477 860 3248 | 15692 11763 73 | 15.276 % | 1450.37/1451.02 c | 38727 | 477 860 3248 | 17261 8659 36 | 15.278 % | 1452.27/1452.93 c =============================================================================== 1452.27/1452.93 c #cores: 3 1452.27/1452.93 c Final Weight: 3 1452.27/1452.93 o 3 1452.27/1452.93 s OPTIMUM FOUND 1452.27/1452.93 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 1452.27/1452.93 c Total CPU time: 1440.26 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-2702233-1278547073/watcher-2702233-1278547073 -o /tmp/evaluation-result-2702233-1278547073/solver-2702233-1278547073 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702233-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: 0.91 0.90 0.55 3/106 26218 /proc/meminfo: memFree=1736580/2059040 swapFree=4139400/4192956 [pid=26218] ppid=26216 vsize=2708 CPUtime=0 /proc/26218/stat : 26218 (wbo1.4b) R 26216 26218 25098 0 -1 4202496 341 0 0 0 0 0 0 0 20 0 1 0 22919607 2772992 252 1992294400 134512640 135752675 4293778048 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26218/statm: 677 252 144 303 0 372 0 [startup+0.037999 s] /proc/loadavg: 0.91 0.90 0.55 3/106 26218 /proc/meminfo: memFree=1736580/2059040 swapFree=4139400/4192956 [pid=26218] ppid=26216 vsize=2836 CPUtime=0.03 /proc/26218/stat : 26218 (wbo1.4b) R 26216 26218 25098 0 -1 4202496 372 0 0 0 3 0 0 0 20 0 1 0 22919607 2904064 283 1992294400 134512640 135752675 4293778048 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26218/statm: 709 283 145 303 0 404 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 2836 [startup+0.101998 s] /proc/loadavg: 0.91 0.90 0.55 3/106 26218 /proc/meminfo: memFree=1736580/2059040 swapFree=4139400/4192956 [pid=26218] ppid=26216 vsize=3224 CPUtime=0.09 /proc/26218/stat : 26218 (wbo1.4b) R 26216 26218 25098 0 -1 4202496 450 0 0 0 9 0 0 0 20 0 1 0 22919607 3301376 361 1992294400 134512640 135752675 4293778048 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26218/statm: 806 361 145 303 0 501 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3224 [startup+0.300994 s] /proc/loadavg: 0.91 0.90 0.55 3/106 26218 /proc/meminfo: memFree=1736580/2059040 swapFree=4139400/4192956 [pid=26218] ppid=26216 vsize=4000 CPUtime=0.29 /proc/26218/stat : 26218 (wbo1.4b) R 26216 26218 25098 0 -1 4202496 647 0 0 0 29 0 0 0 20 0 1 0 22919607 4096000 558 1992294400 134512640 135752675 4293778048 18446744073709551615 134611978 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26218/statm: 1000 558 145 303 0 695 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4000 [startup+0.701985 s] /proc/loadavg: 0.91 0.90 0.55 3/106 26218 /proc/meminfo: memFree=1736580/2059040 swapFree=4139400/4192956 [pid=26218] ppid=26216 vsize=5156 CPUtime=0.69 /proc/26218/stat : 26218 (wbo1.4b) R 26216 26218 25098 0 -1 4202496 958 0 0 0 67 2 0 0 21 0 1 0 22919607 5279744 869 1992294400 134512640 135752675 4293778048 18446744073709551615 134612056 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26218/statm: 1289 869 145 303 0 984 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5156 [startup+1.50097 s] /proc/loadavg: 0.91 0.90 0.55 2/107 26219 /proc/meminfo: memFree=1732728/2059040 swapFree=4139400/4192956 [pid=26218] ppid=26216 vsize=7600 CPUtime=1.49 /proc/26218/stat : 26218 (wbo1.4b) R 26216 26218 25098 0 -1 4202496 1549 0 0 0 146 3 0 0 23 0 1 0 22919607 7782400 1460 1992294400 134512640 135752675 4293778048 18446744073709551615 134519021 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26218/statm: 1900 1460 145 303 0 1595 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7600 [startup+3.10093 s] /proc/loadavg: 0.91 0.90 0.55 2/107 26219 /proc/meminfo: memFree=1729876/2059040 swapFree=4139400/4192956 [pid=26218] ppid=26216 vsize=11216 CPUtime=3.09 /proc/26218/stat : 26218 (wbo1.4b) R 26216 26218 25098 0 -1 4202496 2468 0 0 0 303 6 0 0 25 0 1 0 22919607 11485184 2379 1992294400 134512640 135752675 4293778048 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26218/statm: 2804 2379 145 303 0 2499 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 11216 [startup+6.30087 s] /proc/loadavg: 0.92 0.90 0.56 2/107 26219 /proc/meminfo: memFree=1723304/2059040 swapFree=4139400/4192956 [pid=26218] ppid=26216 vsize=16264 CPUtime=6.29 /proc/26218/stat : 26218 (wbo1.4b) R 26216 26218 25098 0 -1 4202496 3706 0 0 0 618 11 0 0 25 0 1 0 22919607 16654336 3617 1992294400 134512640 135752675 4293778048 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26218/statm: 4066 3617 145 303 0 3761 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 16264 [startup+12.7007 s] /proc/loadavg: 0.92 0.90 0.56 2/107 26219 /proc/meminfo: memFree=1713260/2059040 swapFree=4139400/4192956 [pid=26218] ppid=26216 vsize=26240 CPUtime=12.69 /proc/26218/stat : 26218 (wbo1.4b) R 26216 26218 25098 0 -1 4202496 6201 0 0 0 1248 21 0 0 25 0 1 0 22919607 26869760 6112 1992294400 134512640 135752675 4293778048 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26218/statm: 6560 6112 145 303 0 6255 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 26240 [startup+25.5005 s] /proc/loadavg: 0.94 0.91 0.56 2/107 26219 /proc/meminfo: memFree=1691808/2059040 swapFree=4139400/4192956 [pid=26218] ppid=26216 vsize=47340 CPUtime=25.48 /proc/26218/stat : 26218 (wbo1.4b) R 26216 26218 25098 0 -1 4202496 11464 0 0 0 2508 40 0 0 25 0 1 0 22919607 48476160 11375 1992294400 134512640 135752675 4293778048 18446744073709551615 134611713 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26218/statm: 11835 11375 145 303 0 11530 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 47340 [startup+51.1009 s] /proc/loadavg: 0.96 0.91 0.57 2/107 26219 /proc/meminfo: memFree=1669860/2059040 swapFree=4139400/4192956 [pid=26218] ppid=26216 vsize=70616 CPUtime=51.06 /proc/26218/stat : 26218 (wbo1.4b) R 26216 26218 25098 0 -1 4202496 17276 0 0 0 5036 70 0 0 25 0 1 0 22919607 72310784 17187 1992294400 134512640 135752675 4293778048 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26218/statm: 17654 17187 145 303 0 17349 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 70616 [startup+102.309 s] /proc/loadavg: 0.98 0.92 0.59 2/107 26221 /proc/meminfo: memFree=1587896/2059040 swapFree=4139400/4192956 [pid=26218] ppid=26216 vsize=150708 CPUtime=102.26 /proc/26218/stat : 26218 (wbo1.4b) R 26216 26218 25098 0 -1 4202496 37282 0 0 0 10076 150 0 0 25 0 1 0 22919607 154324992 37193 1992294400 134512640 135752675 4293778048 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26218/statm: 37677 37193 145 303 0 37372 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 150708 [startup+162.301 s] /proc/loadavg: 0.99 0.93 0.62 2/107 26223 /proc/meminfo: memFree=1527756/2059040 swapFree=4139400/4192956 [pid=26218] ppid=26216 vsize=212812 CPUtime=162.23 /proc/26218/stat : 26218 (wbo1.4b) R 26216 26218 25098 0 -1 4202496 52792 0 0 0 16008 215 0 0 25 0 1 0 22919607 217919488 52703 1992294400 134512640 135752675 4293778048 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26218/statm: 53203 52703 145 303 0 52898 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 212812 [startup+222.3 s] /proc/loadavg: 0.99 0.94 0.64 2/107 26234 /proc/meminfo: memFree=1475800/2059040 swapFree=4139400/4192956 [pid=26218] ppid=26216 vsize=261936 CPUtime=222.19 /proc/26218/stat : 26218 (wbo1.4b) R 26216 26218 25098 0 -1 4202496 65139 0 0 0 21934 285 0 0 25 0 1 0 22919607 268222464 65019 1992294400 134512640 135752675 4293778048 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26218/statm: 65484 65019 146 303 0 65179 0 Current children cumulated CPU time (s) 222.19 Current children cumulated vsize (KiB) 261936 [startup+282.3 s] /proc/loadavg: 0.99 0.95 0.66 2/107 26234 /proc/meminfo: memFree=1425580/2059040 swapFree=4139400/4192956 [pid=26218] ppid=26216 vsize=313256 CPUtime=282.16 /proc/26218/stat : 26218 (wbo1.4b) R 26216 26218 25098 0 -1 4202496 77937 0 0 0 27871 345 0 0 25 0 1 0 22919607 320774144 77817 1992294400 134512640 135752675 4293778048 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26218/statm: 78314 77817 146 303 0 78009 0 Current children cumulated CPU time (s) 282.16 Current children cumulated vsize (KiB) 313256 [startup+342.301 s] /proc/loadavg: 0.99 0.96 0.67 2/107 26236 /proc/meminfo: memFree=1387140/2059040 swapFree=4139400/4192956 [pid=26218] ppid=26216 vsize=350952 CPUtime=342.14 /proc/26218/stat : 26218 (wbo1.4b) R 26216 26218 25098 0 -1 4202496 87367 0 0 0 33815 399 0 0 25 0 1 0 22919607 359374848 87247 1992294400 134512640 135752675 4293778048 18446744073709551615 134638128 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26218/statm: 87738 87247 146 303 0 87433 0 Current children cumulated CPU time (s) 342.14 Current children cumulated vsize (KiB) 350952 [startup+402.3 s] /proc/loadavg: 0.99 0.96 0.69 2/107 26238 /proc/meminfo: memFree=1355148/2059040 swapFree=4139400/4192956 [pid=26218] ppid=26216 vsize=383040 CPUtime=402.12 /proc/26218/stat : 26218 (wbo1.4b) R 26216 26218 25098 0 -1 4202496 95392 0 0 0 39769 443 0 0 25 0 1 0 22919607 392232960 95272 1992294400 134512640 135752675 4293778048 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26218/statm: 95760 95272 146 303 0 95455 0 Current children cumulated CPU time (s) 402.12 Current children cumulated vsize (KiB) 383040 [startup+462.3 s] /proc/loadavg: 0.99 0.97 0.71 2/107 26240 /proc/meminfo: memFree=1318692/2059040 swapFree=4139400/4192956 [pid=26218] ppid=26216 vsize=419324 CPUtime=462.09 /proc/26218/stat : 26218 (wbo1.4b) R 26216 26218 25098 0 -1 4202496 104416 0 0 0 45714 495 0 0 25 0 1 0 22919607 429387776 104296 1992294400 134512640 135752675 4293778048 18446744073709551615 134517425 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26218/statm: 104831 104296 146 303 0 104526 0 Current children cumulated CPU time (s) 462.09 Current children cumulated vsize (KiB) 419324 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.73 2/107 26242 /proc/meminfo: memFree=1281864/2059040 swapFree=4139400/4192956 [pid=26218] ppid=26216 vsize=456512 CPUtime=522.07 /proc/26218/stat : 26218 (wbo1.4b) R 26216 26218 25098 0 -1 4202496 113698 0 0 0 51664 543 0 0 25 0 1 0 22919607 467468288 113578 1992294400 134512640 135752675 4293778048 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26218/statm: 114128 113578 146 303 0 113823 0 Current children cumulated CPU time (s) 522.07 Current children cumulated vsize (KiB) 456512 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.74 2/107 26242 /proc/meminfo: memFree=1245904/2059040 swapFree=4139400/4192956 [pid=26218] ppid=26216 vsize=492144 CPUtime=582.05 /proc/26218/stat : 26218 (wbo1.4b) R 26216 26218 25098 0 -1 4202496 122565 0 0 0 57620 585 0 0 25 0 1 0 22919607 503955456 122445 1992294400 134512640 135752675 4293778048 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26218/statm: 123036 122445 146 303 0 122731 0 Current children cumulated CPU time (s) 582.05 Current children cumulated vsize (KiB) 492144 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.75 2/107 26244 /proc/meminfo: memFree=1209820/2059040 swapFree=4139400/4192956 [pid=26218] ppid=26216 vsize=528116 CPUtime=642.03 /proc/26218/stat : 26218 (wbo1.4b) R 26216 26218 25098 0 -1 4202496 131535 0 0 0 63574 629 0 0 25 0 1 0 22919607 540790784 131415 1992294400 134512640 135752675 4293778048 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26218/statm: 132029 131415 146 303 0 131724 0 Current children cumulated CPU time (s) 642.03 Current children cumulated vsize (KiB) 528116 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1114836/2059040 swapFree=4139400/4192956 [pid=26218] ppid=26216 vsize=623372 CPUtime=821.94 /proc/26218/stat : 26218 (wbo1.4b) R 26216 26218 25098 0 -1 4202496 155273 0 0 0 81435 759 0 0 25 0 1 0 22919607 638332928 155153 1992294400 134512640 135752675 4293778048 18446744073709551615 134611620 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26218/statm: 155843 155153 146 303 0 155538 0 Current children cumulated CPU time (s) 821.94 Current children cumulated vsize (KiB) 623372 [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.80 2/107 26250 /proc/meminfo: memFree=1078380/2059040 swapFree=4139400/4192956 [pid=26218] ppid=26216 vsize=659328 CPUtime=881.93 /proc/26218/stat : 26218 (wbo1.4b) R 26216 26218 25098 0 -1 4202496 164266 0 0 0 87393 800 0 0 25 0 1 0 22919607 675151872 164146 1992294400 134512640 135752675 4293778048 18446744073709551615 134611588 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26218/statm: 164832 164146 146 303 0 164527 0 Current children cumulated CPU time (s) 881.93 Current children cumulated vsize (KiB) 659328 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.81 2/107 26252 /proc/meminfo: memFree=1049240/2059040 swapFree=4139400/4192956 [pid=26218] ppid=26216 vsize=688700 CPUtime=941.91 /proc/26218/stat : 26218 (wbo1.4b) R 26216 26218 25098 0 -1 4202496 171599 0 0 0 93348 843 0 0 25 0 1 0 22919607 705228800 171479 1992294400 134512640 135752675 4293778048 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26218/statm: 172175 171479 146 303 0 171870 0 Current children cumulated CPU time (s) 941.91 Current children cumulated vsize (KiB) 688700 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.82 2/107 26254 /proc/meminfo: memFree=1017372/2059040 swapFree=4139400/4192956 [pid=26218] ppid=26216 vsize=720436 CPUtime=1001.88 /proc/26218/stat : 26218 (wbo1.4b) R 26216 26218 25098 0 -1 4202496 179506 0 0 0 99297 891 0 0 25 0 1 0 22919607 737726464 179386 1992294400 134512640 135752675 4293778048 18446744073709551615 134612140 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26218/statm: 180109 179386 146 303 0 179804 0 Current children cumulated CPU time (s) 1001.88 Current children cumulated vsize (KiB) 720436 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.83 2/107 26256 /proc/meminfo: memFree=982528/2059040 swapFree=4139400/4192956 [pid=26218] ppid=26216 vsize=755440 CPUtime=1061.85 /proc/26218/stat : 26218 (wbo1.4b) R 26216 26218 25098 0 -1 4202496 188260 0 0 0 105251 934 0 0 25 0 1 0 22919607 773570560 188140 1992294400 134512640 135752675 4293778048 18446744073709551615 134611612 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26218/statm: 188860 188140 146 303 0 188555 0 Current children cumulated CPU time (s) 1061.85 Current children cumulated vsize (KiB) 755440 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.83 2/107 26258 /proc/meminfo: memFree=949296/2059040 swapFree=4139400/4192956 [pid=26218] ppid=26216 vsize=788364 CPUtime=1121.82 /proc/26218/stat : 26218 (wbo1.4b) R 26216 26218 25098 0 -1 4202496 196483 0 0 0 111207 975 0 0 25 0 1 0 22919607 807284736 196363 1992294400 134512640 135752675 4293778048 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26218/statm: 197091 196363 146 303 0 196786 0 Current children cumulated CPU time (s) 1121.82 Current children cumulated vsize (KiB) 788364 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.84 2/107 26258 /proc/meminfo: memFree=914576/2059040 swapFree=4139400/4192956 [pid=26218] ppid=26216 vsize=823344 CPUtime=1181.79 /proc/26218/stat : 26218 (wbo1.4b) R 26216 26218 25098 0 -1 4202496 205197 0 0 0 117162 1017 0 0 25 0 1 0 22919607 843104256 205077 1992294400 134512640 135752675 4293778048 18446744073709551615 134604968 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26218/statm: 205836 205077 146 303 0 205531 0 Current children cumulated CPU time (s) 1181.79 Current children cumulated vsize (KiB) 823344 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.84 2/107 26260 /proc/meminfo: memFree=877376/2059040 swapFree=4139400/4192956 [pid=26218] ppid=26216 vsize=860112 CPUtime=1241.78 /proc/26218/stat : 26218 (wbo1.4b) R 26216 26218 25098 0 -1 4202496 214390 0 0 0 123118 1060 0 0 25 0 1 0 22919607 880754688 214270 1992294400 134512640 135752675 4293778048 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26218/statm: 215028 214270 146 303 0 214723 0 Current children cumulated CPU time (s) 1241.78 Current children cumulated vsize (KiB) 860112 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.85 2/107 26265 /proc/meminfo: memFree=847368/2059040 swapFree=4139400/4192956 [pid=26218] ppid=26216 vsize=889844 CPUtime=1301.73 /proc/26218/stat : 26218 (wbo1.4b) R 26216 26218 25098 0 -1 4202496 221787 0 0 0 129074 1099 0 0 25 0 1 0 22919607 911200256 221667 1992294400 134512640 135752675 4293778048 18446744073709551615 134611978 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26218/statm: 222461 221667 146 303 0 222156 0 Current children cumulated CPU time (s) 1301.73 Current children cumulated vsize (KiB) 889844 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.85 2/107 26267 /proc/meminfo: memFree=820088/2059040 swapFree=4139400/4192956 [pid=26218] ppid=26216 vsize=917264 CPUtime=1361.7 /proc/26218/stat : 26218 (wbo1.4b) R 26216 26218 25098 0 -1 4202496 228655 0 0 0 135033 1137 0 0 25 0 1 0 22919607 939278336 228535 1992294400 134512640 135752675 4293778048 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26218/statm: 229316 228535 146 303 0 229011 0 Current children cumulated CPU time (s) 1361.7 Current children cumulated vsize (KiB) 917264 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.86 2/107 26269 /proc/meminfo: memFree=798016/2059040 swapFree=4139400/4192956 [pid=26218] ppid=26216 vsize=939132 CPUtime=1421.69 /proc/26218/stat : 26218 (wbo1.4b) R 26216 26218 25098 0 -1 4202496 234113 0 0 0 140993 1176 0 0 25 0 1 0 22919607 961671168 233993 1992294400 134512640 135752675 4293778048 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26218/statm: 234783 233993 146 303 0 234478 0 Current children cumulated CPU time (s) 1421.69 Current children cumulated vsize (KiB) 939132 Solver just ended. Dumping a history of the last processes samples [startup+1433.5 s] /proc/loadavg: 0.99 0.97 0.86 2/107 26269 /proc/meminfo: memFree=793056/2059040 swapFree=4139400/4192956 [pid=26218] ppid=26216 vsize=944200 CPUtime=1432.88 /proc/26218/stat : 26218 (wbo1.4b) R 26216 26218 25098 0 -1 4202496 235382 0 0 0 142106 1182 0 0 25 0 1 0 22919607 966860800 235262 1992294400 134512640 135752675 4293778048 18446744073709551615 134605418 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26218/statm: 236050 235262 146 303 0 235745 0 Current children cumulated CPU time (s) 1432.88 Current children cumulated vsize (KiB) 944200 [startup+1446.3 s] /proc/loadavg: 0.99 0.97 0.86 2/107 26269 /proc/meminfo: memFree=785864/2059040 swapFree=4139400/4192956 [pid=26218] ppid=26216 vsize=950952 CPUtime=1445.67 /proc/26218/stat : 26218 (wbo1.4b) R 26216 26218 25098 0 -1 4202496 237151 0 0 0 143371 1196 0 0 25 0 1 0 22919607 973774848 236986 1992294400 134512640 135752675 4293778048 18446744073709551615 134607323 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26218/statm: 237738 236986 146 303 0 237433 0 Current children cumulated CPU time (s) 1445.67 Current children cumulated vsize (KiB) 950952 [startup+1449.5 s] /proc/loadavg: 0.99 0.97 0.86 2/107 26269 /proc/meminfo: memFree=785740/2059040 swapFree=4139400/4192956 [pid=26218] ppid=26216 vsize=950952 CPUtime=1448.87 /proc/26218/stat : 26218 (wbo1.4b) R 26216 26218 25098 0 -1 4202496 237249 0 0 0 143686 1201 0 0 25 0 1 0 22919607 973774848 237084 1992294400 134512640 135752675 4293778048 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26218/statm: 237738 237084 146 303 0 237433 0 Current children cumulated CPU time (s) 1448.87 Current children cumulated vsize (KiB) 950952 [startup+1451.1 s] /proc/loadavg: 0.99 0.97 0.86 2/107 26269 /proc/meminfo: memFree=785492/2059040 swapFree=4139400/4192956 [pid=26218] ppid=26216 vsize=950952 CPUtime=1450.47 /proc/26218/stat : 26218 (wbo1.4b) R 26216 26218 25098 0 -1 4202496 237286 0 0 0 143845 1202 0 0 25 0 1 0 22919607 973774848 237121 1992294400 134512640 135752675 4293778048 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26218/statm: 237738 237121 146 303 0 237433 0 Current children cumulated CPU time (s) 1450.47 Current children cumulated vsize (KiB) 950952 [startup+1451.9 s] /proc/loadavg: 0.99 0.97 0.86 2/107 26269 /proc/meminfo: memFree=785368/2059040 swapFree=4139400/4192956 [pid=26218] ppid=26216 vsize=950952 CPUtime=1451.27 /proc/26218/stat : 26218 (wbo1.4b) R 26216 26218 25098 0 -1 4202496 237310 0 0 0 143924 1203 0 0 25 0 1 0 22919607 973774848 237145 1992294400 134512640 135752675 4293778048 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26218/statm: 237738 237145 146 303 0 237433 0 Current children cumulated CPU time (s) 1451.27 Current children cumulated vsize (KiB) 950952 [startup+1452.7 s] /proc/loadavg: 0.99 0.97 0.86 2/107 26269 /proc/meminfo: memFree=785368/2059040 swapFree=4139400/4192956 [pid=26218] ppid=26216 vsize=950952 CPUtime=1452.07 /proc/26218/stat : 26218 (wbo1.4b) R 26216 26218 25098 0 -1 4202496 237367 0 0 0 144003 1204 0 0 25 0 1 0 22919607 973774848 237202 1992294400 134512640 135752675 4293778048 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26218/statm: 237738 237202 146 303 0 237433 0 Current children cumulated CPU time (s) 1452.07 Current children cumulated vsize (KiB) 950952 [startup+1452.9 s] /proc/loadavg: 0.99 0.97 0.86 2/107 26269 /proc/meminfo: memFree=785368/2059040 swapFree=4139400/4192956 [pid=26218] ppid=26216 vsize=950952 CPUtime=1452.27 /proc/26218/stat : 26218 (wbo1.4b) R 26216 26218 25098 0 -1 4202496 237373 0 0 0 144022 1205 0 0 25 0 1 0 22919607 973774848 237208 1992294400 134512640 135752675 4293778048 18446744073709551615 134638134 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26218/statm: 237738 237208 146 303 0 237433 0 Current children cumulated CPU time (s) 1452.27 Current children cumulated vsize (KiB) 950952 [startup+1453 s] /proc/loadavg: 0.99 0.97 0.86 2/107 26269 /proc/meminfo: memFree=1567312/2059040 swapFree=4139400/4192956 [pid=26218] ppid=26216 vsize=0 CPUtime=1452.37 /proc/26218/stat : 26218 (wbo1.4b) R 26216 26218 25098 0 -1 4202500 237374 0 0 0 144025 1212 0 0 25 0 1 0 22919607 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 0 0 0 0 /proc/26218/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1452.37 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1453.02 CPU time (s): 1452.39 CPU user time (s): 1440.26 CPU system time (s): 12.1342 CPU usage (%): 99.957 Max. virtual memory (cumulated for all children) (KiB): 951196 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1440.26 system time used= 12.1342 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 237374 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= 3 involuntary context switches= 14298 runsolver used 2.6466 second user time and 6.87395 second system time The end
Begin job on node018 at 2010-07-08 01:57:53 IDJOB=2702233 IDBENCH=48051 IDSOLVER=1190 FILE ID=node018/2702233-1278547073 PBS_JOBID= 11239514 Free space on /tmp= 62520 MiB SOLVER NAME= wbo 1.4b (fixed) 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-2702233-1278547073/watcher-2702233-1278547073 -o /tmp/evaluation-result-2702233-1278547073/solver-2702233-1278547073 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702233-1278547073.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 773aedb43187ca11a13e2d0d2a59ebe9 RANDOM SEED=1286157502 node018.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.248 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.49 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.248 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.53 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1737356 kB Buffers: 47280 kB Cached: 187624 kB SwapCached: 6924 kB Active: 137088 kB Inactive: 111492 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1737356 kB SwapTotal: 4192956 kB SwapFree: 4139400 kB Dirty: 2864 kB Writeback: 0 kB AnonPages: 11540 kB Mapped: 12032 kB Slab: 51208 kB PageTables: 4184 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180816 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-2702233-1278547073.opb Free space on /tmp at the end= 62516 MiB End job on node018 at 2010-07-08 02:22:07