Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 pb | OPT | 3 | 954.847 | 955.272 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=7-P0=59-P1=103-P2=101-P3=43-P4=37-P5=37-P6=17-P7=23-B.opb |
MD5SUM | a9881f8d96a669a457a765316e0eed8c |
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 | 6.37803 |
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 bsolo beta version 3.1 - 13/04/2009 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Learning Strategy: Generic Pseudo-Boolean Learning 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file HOME/instance-1879484-1245244242.opb 0.00/0.00 c File size is 25526 bytes. 0.00/0.00 c Highest Coefficient sum: 32512 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.003 s 0.00/0.00 c Var: 490 Constr: 708 343/0/365 Lit: 2982 Watch. Lit: 1843 0.00/0.00 c Obj. Vars: 7 (1.42857 % of total variables) 0.00/0.00 c Pre-processing Time: 0.008 s 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 0 490 708 2982 4 2557 4020 0 0 0.01 0.00/0.00 c Switching off lower bounding mode. 131.23/131.31 c 100 490 905 13077 14 4967 4423 197 3703 0.03 131.23/131.31 c 252 490 1174 29007 24 6179 4866 466 4344 0.06 131.23/131.31 c 477 490 1584 50578 31 9498 5353 876 3481 0.14 131.23/131.31 c 816 490 2175 84285 38 13053 5889 1467 3626 0.23 131.23/131.31 c 1326 490 2974 129172 43 17477 6478 2266 2419 0.55 131.23/131.31 c 2089 490 4361 204770 46 28305 7126 3653 2014 1.04 131.23/131.31 c 3235 490 6492 322416 49 49178 7839 5784 1607 2.01 131.23/131.31 c 4957 490 5390 243326 45 33332 8623 4682 981 5.05 131.23/131.31 c 7541 490 5455 253567 46 32695 9486 4747 796 9.47 131.23/131.31 c 11421 490 7406 399480 53 61016 10435 6698 797 14.31 131.23/131.31 c 17243 490 6947 325913 46 53207 11479 6239 568 30.32 131.23/131.31 c 25980 490 11170 625636 56 120726 12627 10462 377 68.80 131.23/131.31 c 39090 490 7605 421196 55 55716 13890 6897 300 129.94 131.23/131.31 o 9 427.31/427.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 427.31/427.50 c 40819 490 10626 581702 54 80949 4034 9918 310 131.26 427.31/427.50 c 40919 463 2915 116878 40 22437 4438 2207 310 131.72 427.31/427.50 c 41169 463 3346 153612 45 26308 4882 2638 312 131.84 427.31/427.50 c 41644 463 4288 208648 48 35308 5371 3580 315 132.01 427.31/427.50 c 42458 463 5853 297268 50 51134 5909 5145 319 132.81 427.31/427.50 c 43779 463 4863 291290 59 40928 6500 4155 324 134.73 427.31/427.50 c 45861 463 5187 396172 76 55056 7151 4479 332 137.83 427.31/427.50 c 49084 463 7249 476346 65 55300 7867 6541 341 143.94 427.31/427.50 c 54020 463 7742 378314 48 55531 8654 7034 349 154.58 427.31/427.50 c 61526 462 8168 434981 53 68716 9520 7460 336 183.05 427.31/427.50 c 72887 461 5473 256444 46 57209 10473 4765 260 279.50 427.31/427.50 c 90032 461 8767 470474 53 72608 11521 8059 274 327.76 427.31/427.50 o 7 465.89/466.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 465.89/466.10 c 109849 460 8929 445713 49 77843 4028 8221 257 427.32 465.89/466.10 c 109951 451 2915 117560 40 27157 4431 2207 256 427.98 465.89/466.10 c 110201 451 3407 145093 42 36117 4875 2699 257 428.19 465.89/466.10 c 110677 451 4344 197469 45 54227 5363 3636 258 428.84 465.89/466.10 c 111491 451 5911 284414 48 66286 5900 5203 257 432.74 465.89/466.10 c 112812 451 5399 261232 48 62728 6491 4691 256 440.62 465.89/466.10 c 114893 451 6015 289969 48 65050 7141 5307 252 455.42 465.89/466.10 o 3 954.77/955.26 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 954.77/955.26 c 116620 451 5614 264337 47 51029 4026 4906 250 465.90 954.77/955.26 c 116720 432 2911 118897 40 24677 4429 2203 250 466.25 954.77/955.26 c 116970 432 3174 133077 41 24986 4872 2466 250 466.50 954.77/955.26 c 117447 432 4011 180664 45 32697 5360 3303 251 466.72 954.77/955.26 c 118261 432 5326 254483 47 36562 5897 4618 252 468.66 954.77/955.26 c 119581 432 4701 221053 47 41850 6487 3993 252 472.79 954.77/955.26 c 121662 432 4847 223637 46 39209 7136 4139 256 475.22 954.77/955.26 c 124885 432 7013 356069 50 59454 7850 6305 259 480.60 954.77/955.26 c 129822 432 8186 398538 48 81870 8636 7478 252 513.79 954.77/955.26 c 137328 432 8433 411522 48 80762 9500 7725 249 550.75 954.77/955.26 c 148689 432 5568 262310 47 54827 10451 4860 236 629.91 954.77/955.26 c 165835 431 9828 497878 50 94742 11497 9120 228 726.43 954.77/955.26 c 191655 426 11555 568851 49 114646 12647 10847 215 888.20 954.77/955.26 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 954.77/955.26 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 954.77/955.26 c 45 197383 3520 212181 8991 421268 8283 206 954.84 954.77/955.26 c Objective: 3 954.77/955.26 s OPTIMUM FOUND 954.77/955.26 c Total time: 954.842 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-1879484-1245244242/watcher-1879484-1245244242 -o /tmp/evaluation-result-1879484-1245244242/solver-1879484-1245244242 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879484-1245244242.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.92 0.97 0.91 3/64 9454 /proc/meminfo: memFree=1839480/2055920 swapFree=4181900/4192956 [pid=9454] ppid=9452 vsize=10844 CPUtime=0 /proc/9454/stat : 9454 (bsolo) R 9452 9454 9144 0 -1 4194304 296 0 0 0 0 0 0 0 18 0 1 0 192018366 11104256 273 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9454/statm: 2711 274 188 640 0 2067 0 [startup+0.086699 s] /proc/loadavg: 0.92 0.97 0.91 3/64 9454 /proc/meminfo: memFree=1839480/2055920 swapFree=4181900/4192956 [pid=9454] ppid=9452 vsize=11496 CPUtime=0.08 /proc/9454/stat : 9454 (bsolo) R 9452 9454 9144 0 -1 4194304 480 0 0 0 8 0 0 0 18 0 1 0 192018366 11771904 457 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9454/statm: 2874 457 198 640 0 2230 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 11496 [startup+0.102701 s] /proc/loadavg: 0.92 0.97 0.91 3/64 9454 /proc/meminfo: memFree=1839480/2055920 swapFree=4181900/4192956 [pid=9454] ppid=9452 vsize=11624 CPUtime=0.09 /proc/9454/stat : 9454 (bsolo) R 9452 9454 9144 0 -1 4194304 499 0 0 0 9 0 0 0 18 0 1 0 192018366 11902976 476 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9454/statm: 2906 476 198 640 0 2262 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11624 [startup+0.301738 s] /proc/loadavg: 0.92 0.97 0.91 3/64 9454 /proc/meminfo: memFree=1839480/2055920 swapFree=4181900/4192956 [pid=9454] ppid=9452 vsize=12404 CPUtime=0.29 /proc/9454/stat : 9454 (bsolo) R 9452 9454 9144 0 -1 4194304 714 0 0 0 29 0 0 0 19 0 1 0 192018366 12701696 691 1992294400 134512640 137136520 4294956256 18446744073709551615 134544151 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9454/statm: 3101 691 198 640 0 2457 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12404 [startup+0.701811 s] /proc/loadavg: 0.92 0.97 0.91 3/64 9454 /proc/meminfo: memFree=1839480/2055920 swapFree=4181900/4192956 [pid=9454] ppid=9452 vsize=13436 CPUtime=0.69 /proc/9454/stat : 9454 (bsolo) R 9452 9454 9144 0 -1 4194304 957 0 0 0 69 0 0 0 23 0 1 0 192018366 13758464 934 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9454/statm: 3359 934 198 640 0 2715 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13436 [startup+1.50196 s] /proc/loadavg: 0.92 0.97 0.91 2/65 9455 /proc/meminfo: memFree=1835696/2055920 swapFree=4181900/4192956 [pid=9454] ppid=9452 vsize=15136 CPUtime=1.49 /proc/9454/stat : 9454 (bsolo) R 9452 9454 9144 0 -1 4194304 1380 0 0 0 148 1 0 0 25 0 1 0 192018366 15499264 1357 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9454/statm: 3784 1357 198 640 0 3140 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15136 [startup+3.10124 s] /proc/loadavg: 0.92 0.97 0.91 2/65 9455 /proc/meminfo: memFree=1833072/2055920 swapFree=4181900/4192956 [pid=9454] ppid=9452 vsize=17612 CPUtime=3.09 /proc/9454/stat : 9454 (bsolo) R 9452 9454 9144 0 -1 4194304 2023 0 0 0 308 1 0 0 25 0 1 0 192018366 18034688 2000 1992294400 134512640 137136520 4294956256 18446744073709551615 134544162 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9454/statm: 4403 2000 198 640 0 3759 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17612 [startup+6.30183 s] /proc/loadavg: 0.93 0.97 0.91 2/65 9455 /proc/meminfo: memFree=1831096/2055920 swapFree=4181900/4192956 [pid=9454] ppid=9452 vsize=18528 CPUtime=6.29 /proc/9454/stat : 9454 (bsolo) R 9452 9454 9144 0 -1 4194304 2231 0 0 0 627 2 0 0 25 0 1 0 192018366 18972672 2208 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9454/statm: 4632 2208 198 640 0 3988 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 18528 [startup+12.702 s] /proc/loadavg: 0.93 0.97 0.91 2/65 9455 /proc/meminfo: memFree=1830840/2055920 swapFree=4181900/4192956 [pid=9454] ppid=9452 vsize=20088 CPUtime=12.69 /proc/9454/stat : 9454 (bsolo) R 9452 9454 9144 0 -1 4194304 2637 0 0 0 1266 3 0 0 25 0 1 0 192018366 20570112 2614 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9454/statm: 5022 2614 198 640 0 4378 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 20088 [startup+25.5013 s] /proc/loadavg: 0.95 0.97 0.91 2/65 9455 /proc/meminfo: memFree=1827704/2055920 swapFree=4181900/4192956 [pid=9454] ppid=9452 vsize=22024 CPUtime=25.48 /proc/9454/stat : 9454 (bsolo) R 9452 9454 9144 0 -1 4194304 3126 0 0 0 2544 4 0 0 25 0 1 0 192018366 22552576 3103 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9454/statm: 5506 3103 198 640 0 4862 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 22024 [startup+51.103 s] /proc/loadavg: 0.96 0.97 0.91 2/65 9455 /proc/meminfo: memFree=1826616/2055920 swapFree=4181900/4192956 [pid=9454] ppid=9452 vsize=23196 CPUtime=51.06 /proc/9454/stat : 9454 (bsolo) R 9452 9454 9144 0 -1 4194304 3407 0 0 0 5101 5 0 0 25 0 1 0 192018366 23752704 3384 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9454/statm: 5799 3384 198 640 0 5155 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 23196 [startup+102.305 s] /proc/loadavg: 0.98 0.97 0.91 2/65 9455 /proc/meminfo: memFree=1824504/2055920 swapFree=4181900/4192956 [pid=9454] ppid=9452 vsize=25256 CPUtime=102.24 /proc/9454/stat : 9454 (bsolo) R 9452 9454 9144 0 -1 4194304 3920 0 0 0 10216 8 0 0 25 0 1 0 192018366 25862144 3897 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9454/statm: 6314 3897 198 640 0 5670 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 25256 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 9455 /proc/meminfo: memFree=1824440/2055920 swapFree=4181900/4192956 [pid=9454] ppid=9452 vsize=25188 CPUtime=162.21 /proc/9454/stat : 9454 (bsolo) R 9452 9454 9144 0 -1 4194304 3920 0 0 0 16210 11 0 0 25 0 1 0 192018366 25792512 3897 1992294400 134512640 137136520 4294956256 18446744073709551615 134544249 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9454/statm: 6297 3897 198 640 0 5653 0 Current children cumulated CPU time (s) 162.21 Current children cumulated vsize (KiB) 25188 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 9455 /proc/meminfo: memFree=1824440/2055920 swapFree=4181900/4192956 [pid=9454] ppid=9452 vsize=25188 CPUtime=222.2 /proc/9454/stat : 9454 (bsolo) R 9452 9454 9144 0 -1 4194304 3920 0 0 0 22205 15 0 0 25 0 1 0 192018366 25792512 3897 1992294400 134512640 137136520 4294956256 18446744073709551615 134544297 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9454/statm: 6297 3897 198 640 0 5653 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 25188 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 9455 /proc/meminfo: memFree=1824376/2055920 swapFree=4181900/4192956 [pid=9454] ppid=9452 vsize=25188 CPUtime=282.16 /proc/9454/stat : 9454 (bsolo) R 9452 9454 9144 0 -1 4194304 3920 0 0 0 28200 16 0 0 25 0 1 0 192018366 25792512 3897 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9454/statm: 6297 3897 198 640 0 5653 0 Current children cumulated CPU time (s) 282.16 Current children cumulated vsize (KiB) 25188 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 9455 /proc/meminfo: memFree=1824312/2055920 swapFree=4181900/4192956 [pid=9454] ppid=9452 vsize=25184 CPUtime=342.14 /proc/9454/stat : 9454 (bsolo) R 9452 9454 9144 0 -1 4194304 3920 0 0 0 34194 20 0 0 25 0 1 0 192018366 25788416 3896 1992294400 134512640 137136520 4294956256 18446744073709551615 136503190 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9454/statm: 6296 3896 198 640 0 5652 0 Current children cumulated CPU time (s) 342.14 Current children cumulated vsize (KiB) 25184 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 9455 /proc/meminfo: memFree=1824248/2055920 swapFree=4181900/4192956 [pid=9454] ppid=9452 vsize=25184 CPUtime=402.12 /proc/9454/stat : 9454 (bsolo) R 9452 9454 9144 0 -1 4194304 3920 0 0 0 40190 22 0 0 25 0 1 0 192018366 25788416 3896 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9454/statm: 6296 3896 198 640 0 5652 0 Current children cumulated CPU time (s) 402.12 Current children cumulated vsize (KiB) 25184 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 9455 /proc/meminfo: memFree=1824184/2055920 swapFree=4181900/4192956 [pid=9454] ppid=9452 vsize=25184 CPUtime=462.09 /proc/9454/stat : 9454 (bsolo) R 9452 9454 9144 0 -1 4194304 3920 0 0 0 46185 24 0 0 25 0 1 0 192018366 25788416 3896 1992294400 134512640 137136520 4294956256 18446744073709551615 134544393 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9454/statm: 6296 3896 198 640 0 5652 0 Current children cumulated CPU time (s) 462.09 Current children cumulated vsize (KiB) 25184 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 9455 /proc/meminfo: memFree=1824120/2055920 swapFree=4181900/4192956 [pid=9454] ppid=9452 vsize=25180 CPUtime=522.06 /proc/9454/stat : 9454 (bsolo) R 9452 9454 9144 0 -1 4194304 3920 0 0 0 52178 28 0 0 25 0 1 0 192018366 25784320 3895 1992294400 134512640 137136520 4294956256 18446744073709551615 134544402 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9454/statm: 6295 3895 198 640 0 5651 0 Current children cumulated CPU time (s) 522.06 Current children cumulated vsize (KiB) 25180 [startup+582.301 s] /proc/loadavg: 1.06 0.99 0.91 2/65 9455 /proc/meminfo: memFree=1824120/2055920 swapFree=4181900/4192956 [pid=9454] ppid=9452 vsize=25180 CPUtime=582.03 /proc/9454/stat : 9454 (bsolo) R 9452 9454 9144 0 -1 4194304 3920 0 0 0 58172 31 0 0 25 0 1 0 192018366 25784320 3895 1992294400 134512640 137136520 4294956256 18446744073709551615 134544443 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9454/statm: 6295 3895 198 640 0 5651 0 Current children cumulated CPU time (s) 582.03 Current children cumulated vsize (KiB) 25180 [startup+642.301 s] /proc/loadavg: 1.08 1.00 0.92 2/65 9455 /proc/meminfo: memFree=1824056/2055920 swapFree=4181900/4192956 [pid=9454] ppid=9452 vsize=25176 CPUtime=642.01 /proc/9454/stat : 9454 (bsolo) R 9452 9454 9144 0 -1 4194304 3920 0 0 0 64168 33 0 0 25 0 1 0 192018366 25780224 3894 1992294400 134512640 137136520 4294956256 18446744073709551615 136502448 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9454/statm: 6294 3894 198 640 0 5650 0 Current children cumulated CPU time (s) 642.01 Current children cumulated vsize (KiB) 25176 [startup+702.301 s] /proc/loadavg: 1.09 1.01 0.93 2/65 9455 /proc/meminfo: memFree=1824056/2055920 swapFree=4181900/4192956 [pid=9454] ppid=9452 vsize=25176 CPUtime=701.98 /proc/9454/stat : 9454 (bsolo) R 9452 9454 9144 0 -1 4194304 3920 0 0 0 70161 37 0 0 25 0 1 0 192018366 25780224 3894 1992294400 134512640 137136520 4294956256 18446744073709551615 134544249 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9454/statm: 6294 3894 198 640 0 5650 0 Current children cumulated CPU time (s) 701.98 Current children cumulated vsize (KiB) 25176 [startup+762.307 s] /proc/loadavg: 1.08 1.03 0.93 2/65 9455 /proc/meminfo: memFree=1823992/2055920 swapFree=4181900/4192956 [pid=9454] ppid=9452 vsize=25176 CPUtime=761.97 /proc/9454/stat : 9454 (bsolo) R 9452 9454 9144 0 -1 4194304 3920 0 0 0 76156 41 0 0 25 0 1 0 192018366 25780224 3894 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9454/statm: 6294 3894 198 640 0 5650 0 Current children cumulated CPU time (s) 761.97 Current children cumulated vsize (KiB) 25176 [startup+822.302 s] /proc/loadavg: 1.03 1.02 0.93 2/65 9455 /proc/meminfo: memFree=1824056/2055920 swapFree=4181900/4192956 [pid=9454] ppid=9452 vsize=25176 CPUtime=821.93 /proc/9454/stat : 9454 (bsolo) R 9452 9454 9144 0 -1 4194304 3920 0 0 0 82150 43 0 0 25 0 1 0 192018366 25780224 3894 1992294400 134512640 137136520 4294956256 18446744073709551615 134543881 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9454/statm: 6294 3894 198 640 0 5650 0 Current children cumulated CPU time (s) 821.93 Current children cumulated vsize (KiB) 25176 [startup+882.302 s] /proc/loadavg: 1.01 1.01 0.93 2/65 9455 /proc/meminfo: memFree=1823992/2055920 swapFree=4181900/4192956 [pid=9454] ppid=9452 vsize=25176 CPUtime=881.91 /proc/9454/stat : 9454 (bsolo) R 9452 9454 9144 0 -1 4194304 3920 0 0 0 88146 45 0 0 25 0 1 0 192018366 25780224 3894 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9454/statm: 6294 3894 198 640 0 5650 0 Current children cumulated CPU time (s) 881.91 Current children cumulated vsize (KiB) 25176 [startup+942.302 s] /proc/loadavg: 1.00 1.01 0.93 2/65 9455 /proc/meminfo: memFree=1823928/2055920 swapFree=4181900/4192956 [pid=9454] ppid=9452 vsize=25176 CPUtime=941.87 /proc/9454/stat : 9454 (bsolo) R 9452 9454 9144 0 -1 4194304 3920 0 0 0 94141 46 0 0 25 0 1 0 192018366 25780224 3894 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9454/statm: 6294 3894 198 640 0 5650 0 Current children cumulated CPU time (s) 941.87 Current children cumulated vsize (KiB) 25176 Solver just ended. Dumping a history of the last processes samples [startup+947.105 s] /proc/loadavg: 1.00 1.01 0.93 2/65 9455 /proc/meminfo: memFree=1823928/2055920 swapFree=4181900/4192956 [pid=9454] ppid=9452 vsize=25176 CPUtime=946.68 /proc/9454/stat : 9454 (bsolo) R 9452 9454 9144 0 -1 4194304 3920 0 0 0 94622 46 0 0 25 0 1 0 192018366 25780224 3894 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9454/statm: 6294 3894 198 640 0 5650 0 Current children cumulated CPU time (s) 946.68 Current children cumulated vsize (KiB) 25176 [startup+950.302 s] /proc/loadavg: 1.00 1.01 0.93 2/65 9455 /proc/meminfo: memFree=1823928/2055920 swapFree=4181900/4192956 [pid=9454] ppid=9452 vsize=25176 CPUtime=949.88 /proc/9454/stat : 9454 (bsolo) R 9452 9454 9144 0 -1 4194304 3920 0 0 0 94942 46 0 0 25 0 1 0 192018366 25780224 3894 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9454/statm: 6294 3894 198 640 0 5650 0 Current children cumulated CPU time (s) 949.88 Current children cumulated vsize (KiB) 25176 [startup+953.502 s] /proc/loadavg: 1.00 1.01 0.93 2/65 9455 /proc/meminfo: memFree=1823928/2055920 swapFree=4181900/4192956 [pid=9454] ppid=9452 vsize=25176 CPUtime=953.07 /proc/9454/stat : 9454 (bsolo) R 9452 9454 9144 0 -1 4194304 3920 0 0 0 95261 46 0 0 25 0 1 0 192018366 25780224 3894 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9454/statm: 6294 3894 198 640 0 5650 0 Current children cumulated CPU time (s) 953.07 Current children cumulated vsize (KiB) 25176 [startup+954.302 s] /proc/loadavg: 1.00 1.01 0.93 2/65 9455 /proc/meminfo: memFree=1823928/2055920 swapFree=4181900/4192956 [pid=9454] ppid=9452 vsize=25176 CPUtime=953.87 /proc/9454/stat : 9454 (bsolo) R 9452 9454 9144 0 -1 4194304 3920 0 0 0 95341 46 0 0 25 0 1 0 192018366 25780224 3894 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9454/statm: 6294 3894 198 640 0 5650 0 Current children cumulated CPU time (s) 953.87 Current children cumulated vsize (KiB) 25176 [startup+954.702 s] /proc/loadavg: 1.00 1.01 0.93 2/65 9455 /proc/meminfo: memFree=1823928/2055920 swapFree=4181900/4192956 [pid=9454] ppid=9452 vsize=25176 CPUtime=954.27 /proc/9454/stat : 9454 (bsolo) R 9452 9454 9144 0 -1 4194304 3920 0 0 0 95381 46 0 0 25 0 1 0 192018366 25780224 3894 1992294400 134512640 137136520 4294956256 18446744073709551615 134544455 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9454/statm: 6294 3894 198 640 0 5650 0 Current children cumulated CPU time (s) 954.27 Current children cumulated vsize (KiB) 25176 [startup+955.102 s] /proc/loadavg: 1.00 1.01 0.93 2/65 9455 /proc/meminfo: memFree=1823928/2055920 swapFree=4181900/4192956 [pid=9454] ppid=9452 vsize=25176 CPUtime=954.67 /proc/9454/stat : 9454 (bsolo) R 9452 9454 9144 0 -1 4194304 3920 0 0 0 95421 46 0 0 25 0 1 0 192018366 25780224 3894 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9454/statm: 6294 3894 198 640 0 5650 0 Current children cumulated CPU time (s) 954.67 Current children cumulated vsize (KiB) 25176 [startup+955.202 s] /proc/loadavg: 1.00 1.01 0.93 2/65 9455 /proc/meminfo: memFree=1823928/2055920 swapFree=4181900/4192956 [pid=9454] ppid=9452 vsize=25176 CPUtime=954.77 /proc/9454/stat : 9454 (bsolo) R 9452 9454 9144 0 -1 4194304 3920 0 0 0 95431 46 0 0 25 0 1 0 192018366 25780224 3894 1992294400 134512640 137136520 4294956256 18446744073709551615 136504213 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9454/statm: 6294 3894 198 640 0 5650 0 Current children cumulated CPU time (s) 954.77 Current children cumulated vsize (KiB) 25176 Child status: 0 Real time (s): 955.272 CPU time (s): 954.847 CPU user time (s): 954.38 CPU system time (s): 0.466929 CPU usage (%): 99.9554 Max. virtual memory (cumulated for all children) (KiB): 25264 getrusage(RUSAGE_CHILDREN,...) data: user time used= 954.38 system time used= 0.466929 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3922 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= 2 involuntary context switches= 3106 runsolver used 0.988849 second user time and 2.49062 second system time The end
Begin job on node67 at 2009-06-17 15:10:42 IDJOB=1879484 IDBENCH=48034 IDSOLVER=701 FILE ID=node67/1879484-1245244242 PBS_JOBID= 9372282 Free space on /tmp= 66400 MiB SOLVER NAME= bsolo 3.1 pb BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=7-P0=59-P1=103-P2=101-P3=43-P4=37-P5=37-P6=17-P7=23-B.opb COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1879484-1245244242/watcher-1879484-1245244242 -o /tmp/evaluation-result-1879484-1245244242/solver-1879484-1245244242 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879484-1245244242.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a9881f8d96a669a457a765316e0eed8c RANDOM SEED=1339841834 node67.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /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.272 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 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.272 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1840152 kB Buffers: 16372 kB Cached: 129792 kB SwapCached: 4864 kB Active: 36660 kB Inactive: 116804 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1840152 kB SwapTotal: 4192956 kB SwapFree: 4181900 kB Dirty: 3944 kB Writeback: 0 kB Mapped: 13100 kB Slab: 48244 kB Committed_AS: 120552 kB PageTables: 1440 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1879484-1245244242.opb Free space on /tmp at the end= 66400 MiB End job on node67 at 2009-06-17 15:26:37