Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | OPT | 3 | 144.995 | 145.037 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=71-P1=29-P2=241-P3=127-P4=67-P5=23-B.opb |
MD5SUM | 2f50a7c4db6c104684b2cc399418ffd9 |
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.568912 |
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 | 120 |
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 | 8 |
Maximum length of a constraint | 80 |
Number of terms in the objective function | 8 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 255 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 32768 |
Number of bits of the biggest number in a constraint | 16 |
Biggest sum of numbers in a constraint | 130560 |
Number of bits of the biggest sum of numbers | 17 |
Number of products (including duplicates) | 320 |
Sum of products size (including duplicates) | 640 |
Number of different products | 320 |
Sum of products size | 640 |
0.00/0.00 c wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2702307-1278547986.opb. 0.00/0.00 c Instance file HOME/instance-2702307-1278547986.opb 0.00/0.00 c File size is 23753 bytes. 0.00/0.00 c Highest Coefficient sum: 130560 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: 440 | 0.00/0.00 c | Number Clauses: 320 | 0.00/0.00 c | Number Cardinality: 0 | 0.00/0.00 c | Number PB Constraints: 336 | 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 | 440 656 2752 | 5000 0 nan | 0.000 % | 0.00/0.01 c | 101 | 440 656 2752 | 5500 101 59 | 0.005 % | 0.00/0.02 c | 252 | 440 656 2752 | 6050 252 62 | 0.005 % | 0.00/0.03 c | 478 | 440 656 2752 | 6655 478 60 | 0.005 % | 0.04/0.05 c | 816 | 440 656 2752 | 7320 816 52 | 0.001 % | 0.04/0.09 c | 1322 | 440 656 2752 | 8052 1322 55 | 0.001 % | 0.09/0.15 c | 2081 | 440 656 2752 | 8857 2081 53 | 0.005 % | 0.19/0.24 c | 3221 | 440 656 2752 | 9743 3221 53 | 0.001 % | 0.39/0.40 c | 4930 | 440 656 2752 | 10717 4930 51 | 0.005 % | 0.69/0.71 c | 7493 | 440 656 2752 | 11789 7493 48 | 0.001 % | 1.19/1.28 c | 11337 | 440 656 2752 | 12968 11337 45 | 0.001 % | 1.79/1.84 c | 17103 | 440 656 2752 | 14265 10542 44 | 0.001 % | 3.20/3.24 c | 25752 | 440 656 2752 | 15692 11893 59 | 0.001 % | 5.09/5.18 c | 38726 | 440 656 2752 | 17261 8950 46 | 0.001 % | 7.60/7.60 c | 58189 | 440 656 2752 | 18987 10818 40 | 0.005 % | 12.59/12.65 c | 87382 | 440 656 2752 | 20886 11201 56 | 0.005 % | 15.78/15.89 c =============================================================================== 15.78/15.89 c New solution: 13 15.78/15.89 o 13 15.78/15.89 c Elapsed CPU time: 15.6326 s Remaining CPU time: 164.367 s 15.78/15.89 c =============================================================================== 15.78/15.89 c | 110556 | 440 657 2760 | 5000 13271 43 | 0.005 % | 15.88/15.94 c | 110656 | 400 657 2760 | 5500 3360 44 | 9.091 % | 15.88/15.95 c | 110807 | 400 657 2760 | 6050 3511 45 | 9.091 % | 15.88/15.96 c | 111032 | 400 657 2760 | 6655 3736 46 | 9.091 % | 15.88/15.99 c | 111371 | 400 657 2760 | 7320 4075 47 | 9.096 % | 15.99/16.03 c | 111877 | 400 657 2760 | 8052 4581 50 | 9.091 % | 16.09/16.10 c | 112637 | 400 657 2760 | 8857 5341 50 | 9.091 % | 16.18/16.21 c | 113778 | 400 657 2760 | 9743 6482 52 | 9.091 % | 16.28/16.38 c | 115486 | 400 657 2760 | 10717 8190 54 | 9.091 % | 16.59/16.67 c | 118049 | 400 657 2760 | 11789 10753 56 | 9.091 % | 17.08/17.14 c | 121893 | 400 657 2760 | 12968 8610 51 | 9.091 % | 17.28/17.34 c =============================================================================== 17.28/17.34 c New solution: 3 17.28/17.34 o 3 17.28/17.34 c Elapsed CPU time: 17.0594 s Remaining CPU time: 162.941 s 17.28/17.34 c =============================================================================== 17.28/17.34 c | 123569 | 400 658 2768 | 5000 10286 50 | 9.091 % | 17.28/17.37 c | 123669 | 400 658 2768 | 5500 2672 46 | 16.141 % | 17.28/17.39 c | 123819 | 400 658 2768 | 6050 2822 46 | 16.141 % | 17.39/17.41 c | 124044 | 369 658 2768 | 6655 3047 47 | 16.137 % | 17.39/17.44 c | 124382 | 369 658 2768 | 7320 3385 48 | 16.137 % | 17.39/17.48 c | 124889 | 369 658 2768 | 8052 3892 51 | 16.137 % | 17.50/17.54 c | 125649 | 369 658 2768 | 8857 4652 51 | 16.137 % | 17.59/17.64 c | 126788 | 369 658 2768 | 9743 5791 50 | 16.137 % | 17.79/17.81 c | 128499 | 369 658 2768 | 10717 7502 51 | 16.137 % | 17.99/18.05 c | 131062 | 369 658 2768 | 11789 10065 49 | 16.137 % | 18.49/18.57 c | 134908 | 369 658 2768 | 12968 7832 44 | 16.137 % | 19.09/19.10 c | 140674 | 369 658 2768 | 14265 6959 46 | 16.137 % | 20.09/20.18 c | 149323 | 369 658 2768 | 15692 8347 46 | 16.137 % | 22.08/22.13 c | 162298 | 369 658 2768 | 17261 13282 49 | 16.137 % | 25.39/25.46 c | 181759 | 369 658 2768 | 18987 15107 36 | 16.137 % | 31.38/31.49 c | 210952 | 369 658 2768 | 20886 15271 36 | 16.137 % | 37.18/37.25 c | 254741 | 366 658 2768 | 22974 15222 47 | 16.819 % | 51.28/51.37 c | 320425 | 366 658 2768 | 25272 18550 42 | 16.819 % | 75.88/75.93 c | 418952 | 365 658 2768 | 27799 15180 44 | 17.052 % | 126.36/126.42 c | 566741 | 353 658 2768 | 30579 12514 36 | 19.773 % | 144.95/145.02 c =============================================================================== 144.95/145.02 c Best Solution: 3 144.95/145.02 s OPTIMUM FOUND 144.95/145.02 c Total CPU time: 143.354 s 144.95/145.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 x121 x122 -x123 -x124 -x125 -x126 -x127 -x128 x129 x130 -x131 -x132 -x133 -x134 -x135 -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 x49 -x50 -x51 -x52 -x53 -x54 -x55 x56 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 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 -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 x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 x89 -x90 -x91 -x92 -x93 -x94 x95 -x96 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 -x298 -x299 -x300 -x301 -x302 -x303 -x304 x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 x65 x66 x67 x68 -x69 x70 -x71 x72 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 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 x73 -x74 x75 x76 -x77 -x78 -x79 -x80 -x105 x106 -x107 -x108 -x109 -x110 -x111 -x112 x377 -x378 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 -x113 -x114 x115 -x116 -x117 -x118 -x119 -x120
OK 3
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2702307-1278547986/watcher-2702307-1278547986 -o /tmp/evaluation-result-2702307-1278547986/solver-2702307-1278547986 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702307-1278547986.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.95 0.80 3/106 27667 /proc/meminfo: memFree=1697056/2059040 swapFree=4165016/4192956 [pid=27667] ppid=27665 vsize=2700 CPUtime=0 /proc/27667/stat : 27667 (wbo1.4b) R 27665 27667 26988 0 -1 4202496 319 0 0 0 0 0 0 0 20 0 1 0 23005809 2764800 232 1992294400 134512640 135752675 4288033232 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27667/statm: 675 232 144 303 0 370 0 [startup+0.0543971 s] /proc/loadavg: 0.91 0.95 0.80 3/106 27667 /proc/meminfo: memFree=1697056/2059040 swapFree=4165016/4192956 [pid=27667] ppid=27665 vsize=2828 CPUtime=0.04 /proc/27667/stat : 27667 (wbo1.4b) R 27665 27667 26988 0 -1 4202496 367 0 0 0 4 0 0 0 20 0 1 0 23005809 2895872 280 1992294400 134512640 135752675 4288033232 18446744073709551615 134605360 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27667/statm: 707 280 145 303 0 402 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 2828 [startup+0.101402 s] /proc/loadavg: 0.91 0.95 0.80 3/106 27667 /proc/meminfo: memFree=1697056/2059040 swapFree=4165016/4192956 [pid=27667] ppid=27665 vsize=3088 CPUtime=0.09 /proc/27667/stat : 27667 (wbo1.4b) R 27665 27667 26988 0 -1 4202496 426 0 0 0 9 0 0 0 20 0 1 0 23005809 3162112 339 1992294400 134512640 135752675 4288033232 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27667/statm: 772 339 145 303 0 467 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3088 [startup+0.301424 s] /proc/loadavg: 0.91 0.95 0.80 3/106 27667 /proc/meminfo: memFree=1697056/2059040 swapFree=4165016/4192956 [pid=27667] ppid=27665 vsize=3864 CPUtime=0.3 /proc/27667/stat : 27667 (wbo1.4b) R 27665 27667 26988 0 -1 4202496 627 0 0 0 29 1 0 0 20 0 1 0 23005809 3956736 540 1992294400 134512640 135752675 4288033232 18446744073709551615 134611804 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27667/statm: 966 540 145 303 0 661 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 3864 [startup+0.701466 s] /proc/loadavg: 0.91 0.95 0.80 3/106 27667 /proc/meminfo: memFree=1697056/2059040 swapFree=4165016/4192956 [pid=27667] ppid=27665 vsize=4900 CPUtime=0.69 /proc/27667/stat : 27667 (wbo1.4b) R 27665 27667 26988 0 -1 4202496 891 0 0 0 68 1 0 0 21 0 1 0 23005809 5017600 804 1992294400 134512640 135752675 4288033232 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27667/statm: 1225 804 145 303 0 920 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4900 [startup+1.50155 s] /proc/loadavg: 0.91 0.95 0.80 2/107 27668 /proc/meminfo: memFree=1694196/2059040 swapFree=4165016/4192956 [pid=27667] ppid=27665 vsize=6520 CPUtime=1.49 /proc/27667/stat : 27667 (wbo1.4b) R 27665 27667 26988 0 -1 4202496 1272 0 0 0 146 3 0 0 23 0 1 0 23005809 6676480 1185 1992294400 134512640 135752675 4288033232 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27667/statm: 1630 1185 145 303 0 1325 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6520 [startup+3.10172 s] /proc/loadavg: 0.91 0.95 0.80 2/107 27668 /proc/meminfo: memFree=1691344/2059040 swapFree=4165016/4192956 [pid=27667] ppid=27665 vsize=10528 CPUtime=3.09 /proc/27667/stat : 27667 (wbo1.4b) R 27665 27667 26988 0 -1 4202496 2272 0 0 0 303 6 0 0 25 0 1 0 23005809 10780672 2185 1992294400 134512640 135752675 4288033232 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27667/statm: 2632 2185 145 303 0 2327 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10528 [startup+6.30106 s] /proc/loadavg: 1.08 0.99 0.81 2/107 27668 /proc/meminfo: memFree=1684524/2059040 swapFree=4165016/4192956 [pid=27667] ppid=27665 vsize=17240 CPUtime=6.29 /proc/27667/stat : 27667 (wbo1.4b) R 27665 27667 26988 0 -1 4202496 3962 0 0 0 618 11 0 0 25 0 1 0 23005809 17653760 3875 1992294400 134512640 135752675 4288033232 18446744073709551615 134611718 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27667/statm: 4310 3875 145 303 0 4005 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 17240 [startup+12.7017 s] /proc/loadavg: 1.07 0.99 0.81 2/107 27668 /proc/meminfo: memFree=1671256/2059040 swapFree=4165016/4192956 [pid=27667] ppid=27665 vsize=29008 CPUtime=12.69 /proc/27667/stat : 27667 (wbo1.4b) R 27665 27667 26988 0 -1 4202496 6894 0 0 0 1249 20 0 0 25 0 1 0 23005809 29704192 6807 1992294400 134512640 135752675 4288033232 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27667/statm: 7252 6807 145 303 0 6947 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 29008 [startup+25.5011 s] /proc/loadavg: 1.06 0.99 0.82 2/107 27668 /proc/meminfo: memFree=1646456/2059040 swapFree=4165016/4192956 [pid=27667] ppid=27665 vsize=53216 CPUtime=25.49 /proc/27667/stat : 27667 (wbo1.4b) R 27665 27667 26988 0 -1 4202496 12938 0 0 0 2506 43 0 0 25 0 1 0 23005809 54493184 12851 1992294400 134512640 135752675 4288033232 18446744073709551615 134611798 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27667/statm: 13304 12851 145 303 0 12999 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 53216 [startup+51.1008 s] /proc/loadavg: 1.04 0.99 0.82 2/107 27669 /proc/meminfo: memFree=1614092/2059040 swapFree=4165016/4192956 [pid=27667] ppid=27665 vsize=86476 CPUtime=51.08 /proc/27667/stat : 27667 (wbo1.4b) R 27665 27667 26988 0 -1 4202496 21236 0 0 0 5030 78 0 0 25 0 1 0 23005809 88551424 21149 1992294400 134512640 135752675 4288033232 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27667/statm: 21619 21149 145 303 0 21314 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 86476 [startup+102.308 s] /proc/loadavg: 1.01 0.99 0.82 2/107 27670 /proc/meminfo: memFree=1569452/2059040 swapFree=4165016/4192956 [pid=27667] ppid=27665 vsize=129780 CPUtime=102.27 /proc/27667/stat : 27667 (wbo1.4b) R 27665 27667 26988 0 -1 4202496 32010 0 0 0 10096 131 0 0 25 0 1 0 23005809 132894720 31923 1992294400 134512640 135752675 4288033232 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27667/statm: 32445 31923 145 303 0 32140 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 129780 Solver just ended. Dumping a history of the last processes samples [startup+127.901 s] /proc/loadavg: 1.01 0.99 0.83 2/107 27671 /proc/meminfo: memFree=1554696/2059040 swapFree=4165016/4192956 [pid=27667] ppid=27665 vsize=144808 CPUtime=127.86 /proc/27667/stat : 27667 (wbo1.4b) R 27665 27667 26988 0 -1 4202496 35778 0 0 0 12635 151 0 0 25 0 1 0 23005809 148283392 35691 1992294400 134512640 135752675 4288033232 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27667/statm: 36202 35691 145 303 0 35897 0 Current children cumulated CPU time (s) 127.86 Current children cumulated vsize (KiB) 144808 [startup+134.302 s] /proc/loadavg: 1.01 0.99 0.83 2/107 27671 /proc/meminfo: memFree=1551596/2059040 swapFree=4165016/4192956 [pid=27667] ppid=27665 vsize=147548 CPUtime=134.26 /proc/27667/stat : 27667 (wbo1.4b) R 27665 27667 26988 0 -1 4202496 36461 0 0 0 13271 155 0 0 25 0 1 0 23005809 151089152 36374 1992294400 134512640 135752675 4288033232 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27667/statm: 36887 36374 145 303 0 36582 0 Current children cumulated CPU time (s) 134.26 Current children cumulated vsize (KiB) 147548 [startup+140.701 s] /proc/loadavg: 1.01 0.99 0.83 2/107 27671 /proc/meminfo: memFree=1548620/2059040 swapFree=4165016/4192956 [pid=27667] ppid=27665 vsize=150536 CPUtime=140.65 /proc/27667/stat : 27667 (wbo1.4b) R 27665 27667 26988 0 -1 4202496 37201 0 0 0 13906 159 0 0 25 0 1 0 23005809 154148864 37114 1992294400 134512640 135752675 4288033232 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27667/statm: 37634 37114 145 303 0 37329 0 Current children cumulated CPU time (s) 140.65 Current children cumulated vsize (KiB) 150536 [startup+142.302 s] /proc/loadavg: 1.01 0.99 0.83 2/107 27672 /proc/meminfo: memFree=1548248/2059040 swapFree=4165016/4192956 [pid=27667] ppid=27665 vsize=151048 CPUtime=142.25 /proc/27667/stat : 27667 (wbo1.4b) R 27665 27667 26988 0 -1 4202496 37332 0 0 0 14065 160 0 0 25 0 1 0 23005809 154673152 37245 1992294400 134512640 135752675 4288033232 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27667/statm: 37762 37245 145 303 0 37457 0 Current children cumulated CPU time (s) 142.25 Current children cumulated vsize (KiB) 151048 [startup+143.901 s] /proc/loadavg: 1.01 0.99 0.83 2/107 27672 /proc/meminfo: memFree=1547876/2059040 swapFree=4165016/4192956 [pid=27667] ppid=27665 vsize=151564 CPUtime=143.85 /proc/27667/stat : 27667 (wbo1.4b) R 27665 27667 26988 0 -1 4202496 37457 0 0 0 14225 160 0 0 25 0 1 0 23005809 155201536 37370 1992294400 134512640 135752675 4288033232 18446744073709551615 134638083 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27667/statm: 37891 37370 145 303 0 37586 0 Current children cumulated CPU time (s) 143.85 Current children cumulated vsize (KiB) 151564 [startup+144.701 s] /proc/loadavg: 1.01 0.99 0.83 2/107 27672 /proc/meminfo: memFree=1547380/2059040 swapFree=4165016/4192956 [pid=27667] ppid=27665 vsize=152588 CPUtime=144.65 /proc/27667/stat : 27667 (wbo1.4b) R 27665 27667 26988 0 -1 4202496 37715 0 0 0 14303 162 0 0 25 0 1 0 23005809 156250112 37628 1992294400 134512640 135752675 4288033232 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27667/statm: 38147 37628 145 303 0 37842 0 Current children cumulated CPU time (s) 144.65 Current children cumulated vsize (KiB) 152588 [startup+144.901 s] /proc/loadavg: 1.01 0.99 0.83 2/107 27672 /proc/meminfo: memFree=1547380/2059040 swapFree=4165016/4192956 [pid=27667] ppid=27665 vsize=152844 CPUtime=144.85 /proc/27667/stat : 27667 (wbo1.4b) R 27665 27667 26988 0 -1 4202496 37784 0 0 0 14323 162 0 0 25 0 1 0 23005809 156512256 37697 1992294400 134512640 135752675 4288033232 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27667/statm: 38211 37697 145 303 0 37906 0 Current children cumulated CPU time (s) 144.85 Current children cumulated vsize (KiB) 152844 [startup+145.001 s] /proc/loadavg: 1.01 0.99 0.83 2/107 27672 /proc/meminfo: memFree=1547380/2059040 swapFree=4165016/4192956 [pid=27667] ppid=27665 vsize=152972 CPUtime=144.95 /proc/27667/stat : 27667 (wbo1.4b) R 27665 27667 26988 0 -1 4202496 37814 0 0 0 14333 162 0 0 25 0 1 0 23005809 156643328 37727 1992294400 134512640 135752675 4288033232 18446744073709551615 134638095 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27667/statm: 38243 37727 145 303 0 37938 0 Current children cumulated CPU time (s) 144.95 Current children cumulated vsize (KiB) 152972 Child status: 0 Real time (s): 145.037 CPU time (s): 144.995 CPU user time (s): 143.354 CPU system time (s): 1.64075 CPU usage (%): 99.9713 Max. virtual memory (cumulated for all children) (KiB): 152972 getrusage(RUSAGE_CHILDREN,...) data: user time used= 143.354 system time used= 1.64075 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 37823 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= 105 runsolver used 0.240963 second user time and 0.699893 second system time The end
Begin job on node047 at 2010-07-08 02:13:07 IDJOB=2702307 IDBENCH=48088 IDSOLVER=1190 FILE ID=node047/2702307-1278547986 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=8-P0=71-P1=29-P2=241-P3=127-P4=67-P5=23-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-2702307-1278547986/watcher-2702307-1278547986 -o /tmp/evaluation-result-2702307-1278547986/solver-2702307-1278547986 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702307-1278547986.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 2f50a7c4db6c104684b2cc399418ffd9 RANDOM SEED=1442701028 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: 1697956 kB Buffers: 61588 kB Cached: 190988 kB SwapCached: 1388 kB Active: 141592 kB Inactive: 144268 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1697956 kB SwapTotal: 4192956 kB SwapFree: 4165016 kB Dirty: 2636 kB Writeback: 0 kB AnonPages: 31900 kB Mapped: 13364 kB Slab: 53236 kB PageTables: 4232 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-2702307-1278547986.opb Free space on /tmp at the end= 62476 MiB End job on node047 at 2010-07-08 02:15:32