Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | OPT | 3 | 16.0266 | 16.032 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=7-P0=107-P1=13-P2=17-P3=127-P4=13-P5=53-P6=73-P7=59-B.opb |
MD5SUM | c07fae5b4c60769a268376cf318d4faa |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 3 |
Best CPU time to get the best result obtained on this benchmark | 0.725888 |
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 | 147 |
Total number of constraints | 15 |
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 | 15 |
Minimum length of a constraint | 7 |
Maximum length of a constraint | 63 |
Number of terms in the objective function | 7 |
Biggest coefficient in the objective function | 64 |
Number of bits for the biggest coefficient in the objective function | 7 |
Sum of the numbers in the objective function | 127 |
Number of bits of the sum of numbers in the objective function | 7 |
Biggest number in a constraint | 8192 |
Number of bits of the biggest number in a constraint | 14 |
Biggest sum of numbers in a constraint | 32512 |
Number of bits of the biggest sum of numbers | 15 |
Number of products (including duplicates) | 343 |
Sum of products size (including duplicates) | 686 |
Number of different products | 343 |
Sum of products size | 686 |
0.00/0.01 c wbo 1.4 beta - 20100610 0.00/0.01 c Parsing opb file format. File HOME/instance-2701949-1278546262.opb. 0.00/0.01 c Instance file HOME/instance-2701949-1278546262.opb 0.00/0.01 c File size is 25525 bytes. 0.00/0.01 c Highest Coefficient sum: 32512 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: 490 | 0.00/0.01 c | Number Clauses: 343 | 0.00/0.01 c | Number Cardinality: 0 | 0.00/0.01 c | Number PB Constraints: 365 | 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 | 490 708 2982 | 5000 0 nan | 0.000 % | 0.00/0.01 c | 100 | 490 708 2982 | 5500 100 44 | 0.003 % | 0.00/0.01 c | 250 | 490 708 2982 | 6050 250 46 | 0.000 % | 0.00/0.02 c | 478 | 490 708 2982 | 6655 478 45 | 0.000 % | 0.00/0.04 c | 815 | 490 708 2982 | 7320 815 43 | 0.000 % | 0.06/0.07 c | 1321 | 490 708 2982 | 8052 1321 44 | 0.000 % | 0.09/0.13 c | 2080 | 490 708 2982 | 8857 2080 44 | 0.000 % | 0.19/0.20 c | 3219 | 490 708 2982 | 9743 3219 41 | 0.000 % | 0.29/0.31 c | 4927 | 490 708 2982 | 10717 4927 41 | 0.000 % | 0.39/0.47 c | 7489 | 490 708 2982 | 11789 7489 38 | 0.000 % | 0.79/0.80 c | 11334 | 490 708 2982 | 12968 11334 40 | 0.000 % | 1.29/1.32 c | 17101 | 490 708 2982 | 14265 10528 38 | 0.000 % | 1.49/1.59 c =============================================================================== 1.49/1.59 c New solution: 81 1.49/1.59 o 81 1.49/1.59 c Elapsed CPU time: 1.53677 s Remaining CPU time: 178.463 s 1.49/1.59 c =============================================================================== 1.49/1.59 c | 21113 | 490 709 2989 | 5000 14540 37 | 0.000 % | 1.59/1.62 c | 21213 | 490 709 2989 | 5500 3735 33 | 0.000 % | 1.59/1.63 c | 21364 | 490 709 2989 | 6050 3886 34 | 0.003 % | 1.59/1.65 c | 21589 | 490 709 2989 | 6655 4111 35 | 0.003 % | 1.59/1.66 c | 21926 | 490 709 2989 | 7320 4448 36 | 0.000 % | 1.59/1.69 c | 22432 | 490 709 2989 | 8052 4954 35 | 0.000 % | 1.69/1.75 c | 23191 | 490 709 2989 | 8857 5713 35 | 0.003 % | 1.79/1.83 c | 24331 | 490 709 2989 | 9743 6853 37 | 0.000 % | 1.89/1.97 c | 26039 | 490 709 2989 | 10717 8561 36 | 0.003 % | 2.19/2.27 c | 28601 | 490 709 2989 | 11789 5624 37 | 0.000 % | 2.49/2.56 c | 32445 | 490 709 2989 | 12968 9468 37 | 0.000 % | 3.09/3.13 c | 38211 | 489 709 2989 | 14265 8352 37 | 0.208 % | 4.29/4.37 c | 46860 | 489 709 2989 | 15692 9749 39 | 0.204 % | 4.59/4.63 c =============================================================================== 4.59/4.63 c New solution: 5 4.59/4.63 o 5 4.59/4.63 c Elapsed CPU time: 4.48732 s Remaining CPU time: 175.513 s 4.59/4.63 c =============================================================================== 4.59/4.63 c | 49679 | 489 710 2996 | 5000 12568 38 | 0.204 % | 4.59/4.65 c | 49779 | 453 710 2996 | 5500 3242 33 | 7.555 % | 4.59/4.67 c | 49929 | 453 710 2996 | 6050 3392 34 | 7.554 % | 4.59/4.68 c | 50154 | 453 710 2996 | 6655 3617 34 | 7.551 % | 4.69/4.71 c | 50492 | 453 710 2996 | 7320 3955 33 | 7.551 % | 4.69/4.74 c | 51000 | 453 710 2996 | 8052 4463 34 | 7.551 % | 4.79/4.81 c | 51759 | 453 710 2996 | 8857 5222 37 | 7.551 % | 4.89/4.91 c | 52899 | 453 710 2996 | 9743 6362 38 | 7.554 % | 4.99/5.02 c | 54610 | 453 710 2996 | 10717 8073 38 | 7.554 % | 5.28/5.30 c | 57172 | 453 710 2996 | 11789 10635 38 | 7.551 % | 5.69/5.74 c | 61016 | 453 710 2996 | 12968 8541 34 | 7.558 % | 5.89/5.90 c =============================================================================== 5.89/5.90 c New solution: 3 5.89/5.90 o 3 5.89/5.90 c Elapsed CPU time: 5.72713 s Remaining CPU time: 174.273 s 5.89/5.90 c =============================================================================== 5.89/5.90 c | 63554 | 453 711 3003 | 5000 11079 35 | 7.558 % | 5.89/5.92 c | 63655 | 434 711 3003 | 5500 2871 37 | 11.432 % | 5.89/5.93 c | 63806 | 434 711 3003 | 6050 3022 37 | 11.429 % | 5.89/5.94 c | 64032 | 434 711 3003 | 6655 3242 38 | 11.432 % | 5.89/5.97 c | 64369 | 434 711 3003 | 7320 3579 39 | 11.429 % | 5.98/6.00 c | 64875 | 434 711 3003 | 8052 4085 41 | 11.429 % | 5.98/6.05 c | 65635 | 434 711 3003 | 8857 4845 41 | 11.432 % | 6.08/6.15 c | 66774 | 434 711 3003 | 9743 5984 42 | 11.429 % | 6.19/6.26 c | 68482 | 434 711 3003 | 10717 7692 40 | 11.429 % | 6.39/6.46 c | 71045 | 434 711 3003 | 11789 10255 36 | 11.430 % | 6.79/6.86 c | 74889 | 434 711 3003 | 12968 8044 33 | 11.429 % | 7.29/7.34 c | 80657 | 433 711 3003 | 14265 7095 34 | 11.633 % | 8.39/8.41 c | 89307 | 433 711 3003 | 15692 8485 37 | 11.633 % | 9.90/9.93 c | 102281 | 432 711 3003 | 17261 13476 32 | 11.837 % | 12.19/12.26 c | 121742 | 431 711 3003 | 18987 13870 31 | 12.041 % | 15.99/16.02 c =============================================================================== 15.99/16.02 c Best Solution: 3 15.99/16.02 s OPTIMUM FOUND 15.99/16.02 c Total CPU time: 15.6316 s 15.99/16.02 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 -x55 -x56 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 x57 -x58 -x59 -x60 -x61 -x62 -x63 x99 -x100 -x101 -x102 -x103 -x104 -x105 x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -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 x64 -x65 -x66 -x67 x68 -x69 -x70 -x106 -x107 -x108 -x109 -x110 -x111 -x112 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 x71 -x72 -x73 -x74 -x75 x76 -x77 -x113 x114 -x115 -x116 -x117 -x118 -x119 x295 -x296 -x297 -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 x78 -x79 -x80 -x81 -x82 x83 x84 -x120 -x121 -x122 -x123 x124 -x125 -x126 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 x379 -x380 -x381 -x382 -x383 x384 x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 x85 -x86 -x87 -x88 -x89 -x90 -x91 x127 -x128 -x129 x130 x131 -x132 -x133 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 x92 -x93 -x94 -x95 x96 -x97 -x98 -x134 -x135 -x136 -x137 -x138 -x139 -x140 x442 -x443 -x444 -x445 x446 -x447 -x448 x449 -x450 -x451 -x452 x453 -x454 -x455 -x456 -x457 -x458 -x459 -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 -x141 x142 -x143 -x144 -x145 -x146 -x147
OK 3
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2701949-1278546262/watcher-2701949-1278546262 -o /tmp/evaluation-result-2701949-1278546262/solver-2701949-1278546262 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2701949-1278546262.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.07 0.02 0.00 3/106 27308 /proc/meminfo: memFree=1699472/2059040 swapFree=4165016/4192956 [pid=27308] ppid=27306 vsize=2708 CPUtime=0 /proc/27308/stat : 27308 (wbo1.4b) R 27306 27308 26988 0 -1 4202496 328 0 0 0 0 0 0 0 18 0 1 0 22833401 2772992 239 1992294400 134512640 135752675 4287186512 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/27308/statm: 677 239 144 303 0 372 0 [startup+0.0670001 s] /proc/loadavg: 0.07 0.02 0.00 3/106 27308 /proc/meminfo: memFree=1699472/2059040 swapFree=4165016/4192956 [pid=27308] ppid=27306 vsize=2968 CPUtime=0.06 /proc/27308/stat : 27308 (wbo1.4b) R 27306 27308 26988 0 -1 4202496 399 0 0 0 6 0 0 0 20 0 1 0 22833401 3039232 310 1992294400 134512640 135752675 4287186512 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/27308/statm: 742 310 145 303 0 437 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 2968 [startup+0.100999 s] /proc/loadavg: 0.07 0.02 0.00 3/106 27308 /proc/meminfo: memFree=1699472/2059040 swapFree=4165016/4192956 [pid=27308] ppid=27306 vsize=3096 CPUtime=0.09 /proc/27308/stat : 27308 (wbo1.4b) R 27306 27308 26988 0 -1 4202496 438 0 0 0 9 0 0 0 20 0 1 0 22833401 3170304 349 1992294400 134512640 135752675 4287186512 18446744073709551615 134605373 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/27308/statm: 774 349 145 303 0 469 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3096 [startup+0.300997 s] /proc/loadavg: 0.07 0.02 0.00 3/106 27308 /proc/meminfo: memFree=1699472/2059040 swapFree=4165016/4192956 [pid=27308] ppid=27306 vsize=4020 CPUtime=0.29 /proc/27308/stat : 27308 (wbo1.4b) R 27306 27308 26988 0 -1 4202496 650 0 0 0 28 1 0 0 20 0 1 0 22833401 4116480 561 1992294400 134512640 135752675 4287186512 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/27308/statm: 1005 561 145 303 0 700 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4020 [startup+0.700993 s] /proc/loadavg: 0.07 0.02 0.00 3/106 27308 /proc/meminfo: memFree=1699472/2059040 swapFree=4165016/4192956 [pid=27308] ppid=27306 vsize=5436 CPUtime=0.69 /proc/27308/stat : 27308 (wbo1.4b) R 27306 27308 26988 0 -1 4202496 1023 0 0 0 67 2 0 0 21 0 1 0 22833401 5566464 934 1992294400 134512640 135752675 4287186512 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/27308/statm: 1359 934 145 303 0 1054 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5436 [startup+1.50198 s] /proc/loadavg: 0.07 0.02 0.00 2/107 27309 /proc/meminfo: memFree=1695868/2059040 swapFree=4165016/4192956 [pid=27308] ppid=27306 vsize=7792 CPUtime=1.49 /proc/27308/stat : 27308 (wbo1.4b) R 27306 27308 26988 0 -1 4202496 1610 0 0 0 144 5 0 0 23 0 1 0 22833401 7979008 1521 1992294400 134512640 135752675 4287186512 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/27308/statm: 1948 1521 145 303 0 1643 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7792 [startup+3.10097 s] /proc/loadavg: 0.07 0.02 0.00 2/107 27309 /proc/meminfo: memFree=1692272/2059040 swapFree=4165016/4192956 [pid=27308] ppid=27306 vsize=12052 CPUtime=3.09 /proc/27308/stat : 27308 (wbo1.4b) R 27306 27308 26988 0 -1 4202496 2676 0 0 0 299 10 0 0 25 0 1 0 22833401 12341248 2587 1992294400 134512640 135752675 4287186512 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/27308/statm: 3013 2587 145 303 0 2708 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 12052 [startup+6.30093 s] /proc/loadavg: 0.15 0.03 0.01 2/107 27309 /proc/meminfo: memFree=1685080/2059040 swapFree=4165016/4192956 [pid=27308] ppid=27306 vsize=19276 CPUtime=6.29 /proc/27308/stat : 27308 (wbo1.4b) R 27306 27308 26988 0 -1 4202496 4484 0 0 0 610 19 0 0 25 0 1 0 22833401 19738624 4395 1992294400 134512640 135752675 4287186512 18446744073709551615 134638055 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/27308/statm: 4819 4395 145 303 0 4514 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 19276 [startup+12.7009 s] /proc/loadavg: 0.21 0.05 0.01 2/107 27309 /proc/meminfo: memFree=1671440/2059040 swapFree=4165016/4192956 [pid=27308] ppid=27306 vsize=31820 CPUtime=12.68 /proc/27308/stat : 27308 (wbo1.4b) R 27306 27308 26988 0 -1 4202496 7617 0 0 0 1235 33 0 0 25 0 1 0 22833401 32583680 7528 1992294400 134512640 135752675 4287186512 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/27308/statm: 7955 7528 145 303 0 7650 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 31820 Solver just ended. Dumping a history of the last processes samples [startup+14.3089 s] /proc/loadavg: 0.28 0.06 0.02 2/107 27309 /proc/meminfo: memFree=1667968/2059040 swapFree=4165016/4192956 [pid=27308] ppid=27306 vsize=34076 CPUtime=14.3 /proc/27308/stat : 27308 (wbo1.4b) R 27306 27308 26988 0 -1 4202496 8178 0 0 0 1393 37 0 0 25 0 1 0 22833401 34893824 8089 1992294400 134512640 135752675 4287186512 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/27308/statm: 8519 8089 145 303 0 8214 0 Current children cumulated CPU time (s) 14.3 Current children cumulated vsize (KiB) 34076 [startup+15.1008 s] /proc/loadavg: 0.28 0.06 0.02 2/107 27309 /proc/meminfo: memFree=1667968/2059040 swapFree=4165016/4192956 [pid=27308] ppid=27306 vsize=34980 CPUtime=15.09 /proc/27308/stat : 27308 (wbo1.4b) R 27306 27308 26988 0 -1 4202496 8391 0 0 0 1471 38 0 0 25 0 1 0 22833401 35819520 8302 1992294400 134512640 135752675 4287186512 18446744073709551615 134612042 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/27308/statm: 8745 8302 145 303 0 8440 0 Current children cumulated CPU time (s) 15.09 Current children cumulated vsize (KiB) 34980 [startup+15.5008 s] /proc/loadavg: 0.28 0.06 0.02 2/107 27309 /proc/meminfo: memFree=1666728/2059040 swapFree=4165016/4192956 [pid=27308] ppid=27306 vsize=35380 CPUtime=15.49 /proc/27308/stat : 27308 (wbo1.4b) R 27306 27308 26988 0 -1 4202496 8483 0 0 0 1511 38 0 0 25 0 1 0 22833401 36229120 8394 1992294400 134512640 135752675 4287186512 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/27308/statm: 8845 8394 145 303 0 8540 0 Current children cumulated CPU time (s) 15.49 Current children cumulated vsize (KiB) 35380 [startup+15.9008 s] /proc/loadavg: 0.28 0.06 0.02 2/107 27309 /proc/meminfo: memFree=1666728/2059040 swapFree=4165016/4192956 [pid=27308] ppid=27306 vsize=35636 CPUtime=15.88 /proc/27308/stat : 27308 (wbo1.4b) R 27306 27308 26988 0 -1 4202496 8552 0 0 0 1550 38 0 0 25 0 1 0 22833401 36491264 8463 1992294400 134512640 135752675 4287186512 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/27308/statm: 8909 8463 145 303 0 8604 0 Current children cumulated CPU time (s) 15.88 Current children cumulated vsize (KiB) 35636 [startup+16.0008 s] /proc/loadavg: 0.28 0.06 0.02 2/107 27309 /proc/meminfo: memFree=1666728/2059040 swapFree=4165016/4192956 [pid=27308] ppid=27306 vsize=35636 CPUtime=15.99 /proc/27308/stat : 27308 (wbo1.4b) R 27306 27308 26988 0 -1 4202496 8568 0 0 0 1560 39 0 0 25 0 1 0 22833401 36491264 8479 1992294400 134512640 135752675 4287186512 18446744073709551615 134611645 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/27308/statm: 8909 8479 145 303 0 8604 0 Current children cumulated CPU time (s) 15.99 Current children cumulated vsize (KiB) 35636 Child status: 0 Real time (s): 16.032 CPU time (s): 16.0266 CPU user time (s): 15.6316 CPU system time (s): 0.394939 CPU usage (%): 99.9661 Max. virtual memory (cumulated for all children) (KiB): 35636 getrusage(RUSAGE_CHILDREN,...) data: user time used= 15.6316 system time used= 0.394939 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 8575 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1 involuntary context switches= 82 runsolver used 0.040993 second user time and 0.083987 second system time The end
Begin job on node047 at 2010-07-08 01:44:22 IDJOB=2701949 IDBENCH=47909 IDSOLVER=1190 FILE ID=node047/2701949-1278546262 PBS_JOBID= 11239494 Free space on /tmp= 62476 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=7-P0=107-P1=13-P2=17-P3=127-P4=13-P5=53-P6=73-P7=59-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-2701949-1278546262/watcher-2701949-1278546262 -o /tmp/evaluation-result-2701949-1278546262/solver-2701949-1278546262 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2701949-1278546262.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= c07fae5b4c60769a268376cf318d4faa RANDOM SEED=1801330230 node047.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: 1700496 kB Buffers: 59328 kB Cached: 190768 kB SwapCached: 1388 kB Active: 138444 kB Inactive: 144956 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1700496 kB SwapTotal: 4192956 kB SwapFree: 4165016 kB Dirty: 2872 kB Writeback: 0 kB AnonPages: 31980 kB Mapped: 13320 kB Slab: 53320 kB PageTables: 4236 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180020 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-2701949-1278546262.opb Free space on /tmp at the end= 62476 MiB End job on node047 at 2010-07-08 01:44:39