Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | OPT | 3 | 17.0494 | 17.0578 |
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.00 c wbo 1.4 beta - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2701948-1278546262.opb. 0.00/0.00 c Instance file HOME/instance-2701948-1278546262.opb 0.00/0.00 c File size is 25525 bytes. 0.00/0.00 c Highest Coefficient sum: 32512 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: 490 | 0.00/0.00 c | Number Clauses: 343 | 0.00/0.00 c | Number Cardinality: 0 | 0.00/0.00 c | Number PB Constraints: 365 | 0.00/0.00 c ============================[ Search Statistics ]============================== 0.00/0.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.00 c =============================================================================== 0.00/0.00 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.03 c | 478 | 490 708 2982 | 6655 478 45 | 0.000 % | 0.04/0.04 c | 815 | 490 708 2982 | 7320 815 43 | 0.000 % | 0.04/0.07 c | 1321 | 490 708 2982 | 8052 1321 44 | 0.000 % | 0.09/0.14 c | 2080 | 490 708 2982 | 8857 2080 44 | 0.000 % | 0.19/0.21 c | 3219 | 490 708 2982 | 9743 3219 41 | 0.000 % | 0.29/0.33 c | 4927 | 490 708 2982 | 10717 4927 41 | 0.000 % | 0.49/0.50 c | 7489 | 490 708 2982 | 11789 7489 38 | 0.000 % | 0.79/0.85 c | 11334 | 490 708 2982 | 12968 11334 40 | 0.000 % | 1.39/1.41 c | 17101 | 490 708 2982 | 14265 10528 38 | 0.000 % | 1.69/1.70 c =============================================================================== 1.69/1.70 c New solution: 81 1.69/1.70 o 81 1.69/1.70 c Elapsed CPU time: 1.65975 s Remaining CPU time: 178.34 s 1.69/1.70 c =============================================================================== 1.69/1.70 c | 21113 | 490 709 2989 | 5000 14540 37 | 0.000 % | 1.69/1.73 c | 21213 | 490 709 2989 | 5500 3735 33 | 0.000 % | 1.69/1.74 c | 21364 | 490 709 2989 | 6050 3886 34 | 0.003 % | 1.69/1.76 c | 21589 | 490 709 2989 | 6655 4111 35 | 0.003 % | 1.69/1.78 c | 21926 | 490 709 2989 | 7320 4448 36 | 0.000 % | 1.79/1.81 c | 22432 | 490 709 2989 | 8052 4954 35 | 0.000 % | 1.79/1.87 c | 23191 | 490 709 2989 | 8857 5713 35 | 0.003 % | 1.89/1.96 c | 24331 | 490 709 2989 | 9743 6853 37 | 0.000 % | 2.09/2.10 c | 26039 | 490 709 2989 | 10717 8561 36 | 0.003 % | 2.39/2.43 c | 28601 | 490 709 2989 | 11789 5624 37 | 0.000 % | 2.69/2.74 c | 32445 | 490 709 2989 | 12968 9468 37 | 0.000 % | 3.29/3.35 c | 38211 | 489 709 2989 | 14265 8352 37 | 0.208 % | 4.59/4.67 c | 46860 | 489 709 2989 | 15692 9749 39 | 0.204 % | 4.89/4.94 c =============================================================================== 4.89/4.94 c New solution: 5 4.89/4.94 o 5 4.89/4.94 c Elapsed CPU time: 4.83427 s Remaining CPU time: 175.166 s 4.89/4.94 c =============================================================================== 4.89/4.94 c | 49679 | 489 710 2996 | 5000 12568 38 | 0.204 % | 4.89/4.97 c | 49779 | 453 710 2996 | 5500 3242 33 | 7.555 % | 4.89/4.99 c | 49929 | 453 710 2996 | 6050 3392 34 | 7.554 % | 4.99/5.00 c | 50154 | 453 710 2996 | 6655 3617 34 | 7.551 % | 4.99/5.03 c | 50492 | 453 710 2996 | 7320 3955 33 | 7.551 % | 4.99/5.07 c | 51000 | 453 710 2996 | 8052 4463 34 | 7.551 % | 5.09/5.14 c | 51759 | 453 710 2996 | 8857 5222 37 | 7.551 % | 5.19/5.24 c | 52899 | 453 710 2996 | 9743 6362 38 | 7.554 % | 5.29/5.37 c | 54610 | 453 710 2996 | 10717 8073 38 | 7.554 % | 5.59/5.67 c | 57172 | 453 710 2996 | 11789 10635 38 | 7.551 % | 6.09/6.13 c | 61016 | 453 710 2996 | 12968 8541 34 | 7.558 % | 6.29/6.30 c =============================================================================== 6.29/6.30 c New solution: 3 6.29/6.30 o 3 6.29/6.30 c Elapsed CPU time: 6.14907 s Remaining CPU time: 173.851 s 6.29/6.30 c =============================================================================== 6.29/6.30 c | 63554 | 453 711 3003 | 5000 11079 35 | 7.558 % | 6.29/6.33 c | 63655 | 434 711 3003 | 5500 2871 37 | 11.432 % | 6.29/6.34 c | 63806 | 434 711 3003 | 6050 3022 37 | 11.429 % | 6.29/6.35 c | 64032 | 434 711 3003 | 6655 3242 38 | 11.432 % | 6.29/6.38 c | 64369 | 434 711 3003 | 7320 3579 39 | 11.429 % | 6.39/6.42 c | 64875 | 434 711 3003 | 8052 4085 41 | 11.429 % | 6.39/6.47 c | 65635 | 434 711 3003 | 8857 4845 41 | 11.432 % | 6.50/6.58 c | 66774 | 434 711 3003 | 9743 5984 42 | 11.429 % | 6.69/6.70 c | 68482 | 434 711 3003 | 10717 7692 40 | 11.429 % | 6.89/6.91 c | 71045 | 434 711 3003 | 11789 10255 36 | 11.430 % | 7.29/7.34 c | 74889 | 434 711 3003 | 12968 8044 33 | 11.429 % | 7.79/7.85 c | 80657 | 433 711 3003 | 14265 7095 34 | 11.633 % | 8.89/8.99 c | 89307 | 433 711 3003 | 15692 8485 37 | 11.633 % | 10.49/10.59 c | 102281 | 432 711 3003 | 17261 13476 32 | 11.837 % | 12.98/13.06 c | 121742 | 431 711 3003 | 18987 13870 31 | 12.041 % | 16.98/17.05 c =============================================================================== 16.98/17.05 c Best Solution: 3 16.98/17.05 s OPTIMUM FOUND 16.98/17.05 c Total CPU time: 16.6875 s 16.98/17.05 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-2701948-1278546262/watcher-2701948-1278546262 -o /tmp/evaluation-result-2701948-1278546262/solver-2701948-1278546262 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2701948-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.24 0.06 0.02 3/107 31074 /proc/meminfo: memFree=1626624/2059040 swapFree=4139464/4192956 [pid=31074] ppid=31072 vsize=2704 CPUtime=0 /proc/31074/stat : 31074 (wbo1.4b) R 31072 31074 30740 0 -1 4202496 329 0 0 0 0 0 0 0 20 0 1 0 22838002 2768896 241 1992294400 134512640 135751879 4293793008 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31074/statm: 676 241 146 303 0 371 0 [startup+0.046311 s] /proc/loadavg: 0.24 0.06 0.02 3/107 31074 /proc/meminfo: memFree=1626624/2059040 swapFree=4139464/4192956 [pid=31074] ppid=31072 vsize=2836 CPUtime=0.04 /proc/31074/stat : 31074 (wbo1.4b) R 31072 31074 30740 0 -1 4202496 370 0 0 0 4 0 0 0 20 0 1 0 22838002 2904064 282 1992294400 134512640 135751879 4293793008 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31074/statm: 709 282 147 303 0 404 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 2836 [startup+0.101315 s] /proc/loadavg: 0.24 0.06 0.02 3/107 31074 /proc/meminfo: memFree=1626624/2059040 swapFree=4139464/4192956 [pid=31074] ppid=31072 vsize=3092 CPUtime=0.09 /proc/31074/stat : 31074 (wbo1.4b) R 31072 31074 30740 0 -1 4202496 432 0 0 0 9 0 0 0 20 0 1 0 22838002 3166208 344 1992294400 134512640 135751879 4293793008 18446744073709551615 134616404 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31074/statm: 773 344 147 303 0 468 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3092 [startup+0.301331 s] /proc/loadavg: 0.24 0.06 0.02 3/107 31074 /proc/meminfo: memFree=1626624/2059040 swapFree=4139464/4192956 [pid=31074] ppid=31072 vsize=3888 CPUtime=0.29 /proc/31074/stat : 31074 (wbo1.4b) R 31072 31074 30740 0 -1 4202496 627 0 0 0 29 0 0 0 20 0 1 0 22838002 3981312 539 1992294400 134512640 135751879 4293793008 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31074/statm: 972 539 147 303 0 667 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3888 [startup+0.701362 s] /proc/loadavg: 0.24 0.06 0.02 3/107 31074 /proc/meminfo: memFree=1626624/2059040 swapFree=4139464/4192956 [pid=31074] ppid=31072 vsize=5300 CPUtime=0.69 /proc/31074/stat : 31074 (wbo1.4b) R 31072 31074 30740 0 -1 4202496 986 0 0 0 68 1 0 0 21 0 1 0 22838002 5427200 898 1992294400 134512640 135751879 4293793008 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31074/statm: 1325 898 147 303 0 1020 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5300 [startup+1.50043 s] /proc/loadavg: 0.24 0.06 0.02 2/108 31075 /proc/meminfo: memFree=1623268/2059040 swapFree=4139464/4192956 [pid=31074] ppid=31072 vsize=7528 CPUtime=1.49 /proc/31074/stat : 31074 (wbo1.4b) R 31072 31074 30740 0 -1 4202496 1525 0 0 0 146 3 0 0 22 0 1 0 22838002 7708672 1437 1992294400 134512640 135751879 4293793008 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31074/statm: 1882 1437 148 303 0 1577 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7528 [startup+3.10055 s] /proc/loadavg: 0.30 0.08 0.02 2/108 31075 /proc/meminfo: memFree=1619796/2059040 swapFree=4139464/4192956 [pid=31074] ppid=31072 vsize=11660 CPUtime=3.09 /proc/31074/stat : 31074 (wbo1.4b) R 31072 31074 30740 0 -1 4202496 2563 0 0 0 302 7 0 0 25 0 1 0 22838002 11939840 2475 1992294400 134512640 135751879 4293793008 18446744073709551615 134616534 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31074/statm: 2915 2475 148 303 0 2610 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 11660 [startup+6.30081 s] /proc/loadavg: 0.30 0.08 0.02 2/108 31075 /proc/meminfo: memFree=1612852/2059040 swapFree=4139464/4192956 [pid=31074] ppid=31072 vsize=17988 CPUtime=6.29 /proc/31074/stat : 31074 (wbo1.4b) R 31072 31074 30740 0 -1 4202496 4164 0 0 0 614 15 0 0 25 0 1 0 22838002 18419712 4076 1992294400 134512640 135751879 4293793008 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31074/statm: 4497 4076 148 303 0 4192 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 17988 [startup+12.7013 s] /proc/loadavg: 0.41 0.11 0.03 2/108 31075 /proc/meminfo: memFree=1600080/2059040 swapFree=4139464/4192956 [pid=31074] ppid=31072 vsize=30280 CPUtime=12.69 /proc/31074/stat : 31074 (wbo1.4b) R 31072 31074 30740 0 -1 4202496 7242 0 0 0 1240 29 0 0 25 0 1 0 22838002 31006720 7154 1992294400 134512640 135751879 4293793008 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31074/statm: 7570 7155 148 303 0 7265 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 30280 Solver just ended. Dumping a history of the last processes samples [startup+14.3084 s] /proc/loadavg: 0.41 0.11 0.03 2/108 31075 /proc/meminfo: memFree=1596360/2059040 swapFree=4139464/4192956 [pid=31074] ppid=31072 vsize=32900 CPUtime=14.29 /proc/31074/stat : 31074 (wbo1.4b) R 31072 31074 30740 0 -1 4202496 7861 0 0 0 1398 31 0 0 25 0 1 0 22838002 33689600 7773 1992294400 134512640 135751879 4293793008 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31074/statm: 8225 7773 148 303 0 7920 0 Current children cumulated CPU time (s) 14.29 Current children cumulated vsize (KiB) 32900 [startup+15.9016 s] /proc/loadavg: 0.41 0.11 0.03 2/108 31075 /proc/meminfo: memFree=1594872/2059040 swapFree=4139464/4192956 [pid=31074] ppid=31072 vsize=34848 CPUtime=15.88 /proc/31074/stat : 31074 (wbo1.4b) R 31072 31074 30740 0 -1 4202496 8357 0 0 0 1554 34 0 0 25 0 1 0 22838002 35684352 8269 1992294400 134512640 135751879 4293793008 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31074/statm: 8712 8269 148 303 0 8407 0 Current children cumulated CPU time (s) 15.88 Current children cumulated vsize (KiB) 34848 [startup+16.7016 s] /proc/loadavg: 0.41 0.11 0.03 2/108 31075 /proc/meminfo: memFree=1593880/2059040 swapFree=4139464/4192956 [pid=31074] ppid=31072 vsize=35504 CPUtime=16.68 /proc/31074/stat : 31074 (wbo1.4b) R 31072 31074 30740 0 -1 4202496 8521 0 0 0 1634 34 0 0 25 0 1 0 22838002 36356096 8433 1992294400 134512640 135751879 4293793008 18446744073709551615 134641938 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31074/statm: 8876 8433 148 303 0 8571 0 Current children cumulated CPU time (s) 16.68 Current children cumulated vsize (KiB) 35504 [startup+16.9017 s] /proc/loadavg: 0.41 0.11 0.03 2/108 31075 /proc/meminfo: memFree=1593880/2059040 swapFree=4139464/4192956 [pid=31074] ppid=31072 vsize=35632 CPUtime=16.88 /proc/31074/stat : 31074 (wbo1.4b) R 31072 31074 30740 0 -1 4202496 8553 0 0 0 1653 35 0 0 25 0 1 0 22838002 36487168 8465 1992294400 134512640 135751879 4293793008 18446744073709551615 134616444 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31074/statm: 8908 8465 148 303 0 8603 0 Current children cumulated CPU time (s) 16.88 Current children cumulated vsize (KiB) 35632 [startup+17.0017 s] /proc/loadavg: 0.41 0.11 0.03 2/108 31075 /proc/meminfo: memFree=1593880/2059040 swapFree=4139464/4192956 [pid=31074] ppid=31072 vsize=35632 CPUtime=16.98 /proc/31074/stat : 31074 (wbo1.4b) R 31072 31074 30740 0 -1 4202496 8568 0 0 0 1663 35 0 0 25 0 1 0 22838002 36487168 8480 1992294400 134512640 135751879 4293793008 18446744073709551615 134616350 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31074/statm: 8908 8480 148 303 0 8603 0 Current children cumulated CPU time (s) 16.98 Current children cumulated vsize (KiB) 35632 Child status: 0 Real time (s): 17.0578 CPU time (s): 17.0494 CPU user time (s): 16.6875 CPU system time (s): 0.361944 CPU usage (%): 99.951 Max. virtual memory (cumulated for all children) (KiB): 35632 getrusage(RUSAGE_CHILDREN,...) data: user time used= 16.6875 system time used= 0.361944 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 8578 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= 77 runsolver used 0.027995 second user time and 0.092985 second system time The end
Begin job on node026 at 2010-07-08 01:44:22 IDJOB=2701948 IDBENCH=47909 IDSOLVER=1161 FILE ID=node026/2701948-1278546262 PBS_JOBID= 11239511 Free space on /tmp= 62472 MiB SOLVER NAME= wbo 1.4b 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-2701948-1278546262/watcher-2701948-1278546262 -o /tmp/evaluation-result-2701948-1278546262/solver-2701948-1278546262 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2701948-1278546262.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= c07fae5b4c60769a268376cf318d4faa RANDOM SEED=912209922 node026.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.244 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.48 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.244 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1627648 kB Buffers: 51888 kB Cached: 273652 kB SwapCached: 10136 kB Active: 106132 kB Inactive: 236336 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1627648 kB SwapTotal: 4192956 kB SwapFree: 4139464 kB Dirty: 2860 kB Writeback: 0 kB AnonPages: 11508 kB Mapped: 11820 kB Slab: 67040 kB PageTables: 4256 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 179608 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-2701948-1278546262.opb Free space on /tmp at the end= 62468 MiB End job on node026 at 2010-07-08 01:44:40