Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 | OPT | 3 | 50.9842 | 51.0015 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=7-P0=89-P1=13-P2=37-P3=97-P4=101-P5=107-P6=37-P7=19-P8=47-P9=127-B.opb |
MD5SUM | b3aade8de77ac68c9aa967132edd1f5e |
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 | 4.5763 |
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 | 189 |
Total number of constraints | 19 |
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 | 19 |
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) | 441 |
Sum of products size (including duplicates) | 882 |
Number of different products | 441 |
Sum of products size | 882 |
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: Cardinality Constraint 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-1876484-1245185926.opb 0.00/0.00 c File size is 33211 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.004 s 0.00/0.00 c Var: 630 Constr: 910 441/0/469 Lit: 3836 Watch. Lit: 2369 0.00/0.00 c Obj. Vars: 7 (1.11111 % of total variables) 0.00/0.01 c Pre-processing Time: 0.01 s 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 630 910 3836 4 3289 5173 0 0 0.01 0.00/0.01 c Switching off lower bounding mode. 17.78/17.85 c 100 630 1066 9794 9 3543 5691 156 4166 0.02 17.78/17.85 c 250 630 1222 18990 15 3925 6261 312 5952 0.04 17.78/17.85 c 475 630 1477 33265 22 4465 6888 567 6785 0.07 17.78/17.85 c 814 630 1874 54464 29 5238 7577 964 7017 0.12 17.78/17.85 c 1322 630 2526 92394 36 6593 8335 1616 6676 0.20 17.78/17.85 c 2085 630 3299 132395 40 8124 9169 2389 6769 0.31 17.78/17.85 c 3232 622 4670 186685 39 11102 10086 3760 6374 0.51 17.78/17.85 c 4954 615 6696 280642 41 15570 11095 5786 6123 0.81 17.78/17.85 c 7540 615 9965 421768 42 22746 12205 9055 4781 1.58 17.78/17.85 c 11420 615 8181 327266 40 19136 13426 7271 4522 2.52 17.78/17.85 c 17242 615 7938 329435 41 18353 14769 7028 4451 3.87 17.78/17.85 c 25980 614 10896 484939 44 25068 16246 9986 3502 7.42 17.78/17.85 c 39090 598 10387 418559 40 23742 17871 9477 3145 12.43 17.78/17.85 o 9 38.08/38.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 38.08/38.18 c 51583 580 17522 682936 38 39456 5187 16612 2890 17.84 38.08/38.18 c 51685 572 4755 124025 26 11272 5706 3845 2873 17.99 38.08/38.18 c 51935 572 5045 138773 27 11885 6277 4135 2881 18.02 38.08/38.18 c 52411 572 5536 166239 30 12860 6905 4626 2896 18.10 38.08/38.18 c 53225 572 6491 213533 32 14935 7596 5581 2916 18.25 38.08/38.18 c 54545 572 5854 152136 25 13398 8356 4944 2912 18.73 38.08/38.18 c 56627 572 8293 260642 31 18589 9192 7383 2955 19.16 38.08/38.18 c 59850 572 7861 173748 22 17347 10112 6951 2863 20.90 38.08/38.18 c 64787 563 9238 264816 28 20548 11124 8328 2883 22.47 38.08/38.18 c 72293 553 10215 257521 25 22449 12237 9305 2916 24.79 38.08/38.18 c 83654 542 11212 316443 28 24547 13461 10302 2775 30.14 38.08/38.18 o 3 50.87/50.99 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 50.87/50.99 c 97154 505 10877 331546 30 23724 5181 9967 2541 38.22 50.87/50.99 c 97254 477 6740 128409 19 15023 5700 5830 2466 39.43 50.87/50.99 c 97504 477 6999 140020 20 15577 6271 6089 2451 39.78 50.87/50.99 c 97980 477 7334 150622 20 16316 6899 6424 2457 39.87 50.87/50.99 c 98795 477 7600 162977 21 16872 7589 6690 2466 40.06 50.87/50.99 c 100116 477 8229 183166 22 18268 8348 7319 2479 40.38 50.87/50.99 c 102198 477 8327 182877 21 18671 9183 7417 2493 40.98 50.87/50.99 c 105421 470 9289 238021 25 20606 10102 8379 2506 42.06 50.87/50.99 c 110358 469 9644 231748 24 21574 11113 8734 2506 44.03 50.87/50.99 c 117865 460 10213 213853 20 22569 12225 9303 2491 47.31 50.87/50.99 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 x57 -x58 x59 x60 -x61 -x62 -x63 x64 -x65 -x66 -x67 -x68 x69 -x70 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 x71 -x72 -x73 -x74 x75 x76 x77 -x127 x128 -x129 -x130 -x131 -x132 -x133 x239 -x240 -x241 -x242 x243 x244 x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 x267 -x268 -x269 -x270 x271 x272 x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 x78 -x79 -x80 -x81 -x82 -x83 -x84 x134 x135 x136 x137 -x138 -x139 -x140 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 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 x85 x86 -x87 -x88 -x89 -x90 -x91 -x141 -x142 -x143 -x144 -x145 -x146 -x147 x337 x338 -x339 -x340 -x341 -x342 -x343 x344 x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 x92 -x93 -x94 x95 -x96 -x97 -x98 -x148 -x149 -x150 -x151 -x152 -x153 -x154 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 x99 -x100 -x101 -x102 -x103 -x104 -x105 -x155 -x156 x157 -x158 -x159 -x160 -x161 x435 -x436 -x437 -x438 -x439 -x440 -x441 x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 x106 x107 -x108 -x109 -x110 -x111 -x112 -x162 -x163 -x164 -x165 -x166 -x167 -x168 x484 x485 -x486 -x487 -x488 -x489 -x490 x491 x492 -x493 -x494 -x495 -x496 -x497 x498 x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 x113 -x114 x115 -x116 x117 -x118 -x119 -x169 -x170 -x171 -x172 -x173 -x174 -x175 x533 -x534 x535 -x536 x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 x547 -x548 x549 -x550 x551 -x552 -x553 x554 -x555 x556 -x557 x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 x120 -x121 -x122 -x123 x124 -x125 -x126 -x176 x177 -x178 -x179 -x180 -x181 -x182 x582 -x583 -x584 -x585 x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 x617 -x618 -x619 -x620 x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x183 -x184 x185 -x186 -x187 -x188 -x189 50.87/50.99 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 50.87/50.99 c 34 124803 2461 140052 11238 224732 10328 2448 50.98 50.87/50.99 c Objective: 3 50.87/50.99 s OPTIMUM FOUND 50.87/50.99 c Total time: 50.98 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-1876484-1245185926/watcher-1876484-1245185926 -o /tmp/evaluation-result-1876484-1245185926/solver-1876484-1245185926 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1876484-1245185926.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: 1.00 1.00 1.00 3/64 32509 /proc/meminfo: memFree=1606920/2055920 swapFree=4181640/4192956 [pid=32509] ppid=32507 vsize=10744 CPUtime=0 /proc/32509/stat : 32509 (bsolo) R 32507 32509 31991 0 -1 4194304 257 0 0 0 0 0 0 0 20 0 1 0 186186874 11001856 241 1992294400 134512640 137136520 4294956256 18446744073709551615 136575102 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32509/statm: 2686 241 176 640 0 2033 0 [startup+0.030461 s] /proc/loadavg: 1.00 1.00 1.00 3/64 32509 /proc/meminfo: memFree=1606920/2055920 swapFree=4181640/4192956 [pid=32509] ppid=32507 vsize=10960 CPUtime=0.02 /proc/32509/stat : 32509 (bsolo) R 32507 32509 31991 0 -1 4194304 362 0 0 0 2 0 0 0 20 0 1 0 186186874 11223040 337 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32509/statm: 2740 337 198 640 0 2096 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 10960 [startup+0.101469 s] /proc/loadavg: 1.00 1.00 1.00 3/64 32509 /proc/meminfo: memFree=1606920/2055920 swapFree=4181640/4192956 [pid=32509] ppid=32507 vsize=11468 CPUtime=0.09 /proc/32509/stat : 32509 (bsolo) R 32507 32509 31991 0 -1 4194304 492 0 0 0 9 0 0 0 20 0 1 0 186186874 11743232 467 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32509/statm: 2867 467 198 640 0 2223 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11468 [startup+0.301493 s] /proc/loadavg: 1.00 1.00 1.00 3/64 32509 /proc/meminfo: memFree=1606920/2055920 swapFree=4181640/4192956 [pid=32509] ppid=32507 vsize=12724 CPUtime=0.29 /proc/32509/stat : 32509 (bsolo) R 32507 32509 31991 0 -1 4194304 796 0 0 0 29 0 0 0 22 0 1 0 186186874 13029376 771 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32509/statm: 3181 771 198 640 0 2537 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12724 [startup+0.701536 s] /proc/loadavg: 1.00 1.00 1.00 3/64 32509 /proc/meminfo: memFree=1606920/2055920 swapFree=4181640/4192956 [pid=32509] ppid=32507 vsize=14360 CPUtime=0.69 /proc/32509/stat : 32509 (bsolo) R 32507 32509 31991 0 -1 4194304 1211 0 0 0 68 1 0 0 25 0 1 0 186186874 14704640 1186 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32509/statm: 3590 1186 198 640 0 2946 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14360 [startup+1.50163 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32510 /proc/meminfo: memFree=1601536/2055920 swapFree=4181640/4192956 [pid=32509] ppid=32507 vsize=17016 CPUtime=1.49 /proc/32509/stat : 32509 (bsolo) R 32507 32509 31991 0 -1 4194304 1871 0 0 0 147 2 0 0 25 0 1 0 186186874 17424384 1846 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32509/statm: 4254 1846 198 640 0 3610 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 17016 [startup+3.10181 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32510 /proc/meminfo: memFree=1597952/2055920 swapFree=4181640/4192956 [pid=32509] ppid=32507 vsize=19924 CPUtime=3.09 /proc/32509/stat : 32509 (bsolo) R 32507 32509 31991 0 -1 4194304 2595 0 0 0 307 2 0 0 25 0 1 0 186186874 20402176 2570 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32509/statm: 4981 2570 198 640 0 4337 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 19924 [startup+6.30117 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32510 /proc/meminfo: memFree=1596224/2055920 swapFree=4181640/4192956 [pid=32509] ppid=32507 vsize=21956 CPUtime=6.29 /proc/32509/stat : 32509 (bsolo) R 32507 32509 31991 0 -1 4194304 3111 0 0 0 625 4 0 0 25 0 1 0 186186874 22482944 3086 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32509/statm: 5489 3086 198 640 0 4845 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 21956 [startup+12.7029 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32510 /proc/meminfo: memFree=1593856/2055920 swapFree=4181640/4192956 [pid=32509] ppid=32507 vsize=23220 CPUtime=12.68 /proc/32509/stat : 32509 (bsolo) R 32507 32509 31991 0 -1 4194304 3429 0 0 0 1263 5 0 0 25 0 1 0 186186874 23777280 3404 1992294400 134512640 137136520 4294956256 18446744073709551615 134544440 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32509/statm: 5805 3404 198 640 0 5161 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 23220 [startup+25.5014 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32510 /proc/meminfo: memFree=1593856/2055920 swapFree=4181640/4192956 [pid=32509] ppid=32507 vsize=23224 CPUtime=25.48 /proc/32509/stat : 32509 (bsolo) R 32507 32509 31991 0 -1 4194304 3431 0 0 0 2540 8 0 0 25 0 1 0 186186874 23781376 3406 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32509/statm: 5806 3406 198 640 0 5162 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 23224 Solver just ended. Dumping a history of the last processes samples [startup+38.3028 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32510 /proc/meminfo: memFree=1593792/2055920 swapFree=4181640/4192956 [pid=32509] ppid=32507 vsize=23224 CPUtime=38.28 /proc/32509/stat : 32509 (bsolo) R 32507 32509 31991 0 -1 4194304 3431 0 0 0 3817 11 0 0 25 0 1 0 186186874 23781376 3406 1992294400 134512640 137136520 4294956256 18446744073709551615 134555621 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32509/statm: 5806 3406 198 640 0 5162 0 Current children cumulated CPU time (s) 38.28 Current children cumulated vsize (KiB) 23224 [startup+44.7015 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32510 /proc/meminfo: memFree=1593856/2055920 swapFree=4181640/4192956 [pid=32509] ppid=32507 vsize=23224 CPUtime=44.68 /proc/32509/stat : 32509 (bsolo) R 32507 32509 31991 0 -1 4194304 3431 0 0 0 4455 13 0 0 25 0 1 0 186186874 23781376 3406 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32509/statm: 5806 3406 198 640 0 5162 0 Current children cumulated CPU time (s) 44.68 Current children cumulated vsize (KiB) 23224 [startup+47.9019 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32510 /proc/meminfo: memFree=1593856/2055920 swapFree=4181640/4192956 [pid=32509] ppid=32507 vsize=23224 CPUtime=47.87 /proc/32509/stat : 32509 (bsolo) R 32507 32509 31991 0 -1 4194304 3431 0 0 0 4774 13 0 0 25 0 1 0 186186874 23781376 3406 1992294400 134512640 137136520 4294956256 18446744073709551615 136500521 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32509/statm: 5806 3406 198 640 0 5162 0 Current children cumulated CPU time (s) 47.87 Current children cumulated vsize (KiB) 23224 [startup+49.5051 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32510 /proc/meminfo: memFree=1593856/2055920 swapFree=4181640/4192956 [pid=32509] ppid=32507 vsize=23224 CPUtime=49.47 /proc/32509/stat : 32509 (bsolo) R 32507 32509 31991 0 -1 4194304 3431 0 0 0 4934 13 0 0 25 0 1 0 186186874 23781376 3406 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32509/statm: 5806 3406 198 640 0 5162 0 Current children cumulated CPU time (s) 49.47 Current children cumulated vsize (KiB) 23224 [startup+50.3012 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32510 /proc/meminfo: memFree=1593856/2055920 swapFree=4181640/4192956 [pid=32509] ppid=32507 vsize=23224 CPUtime=50.27 /proc/32509/stat : 32509 (bsolo) R 32507 32509 31991 0 -1 4194304 3431 0 0 0 5014 13 0 0 25 0 1 0 186186874 23781376 3406 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32509/statm: 5806 3406 198 640 0 5162 0 Current children cumulated CPU time (s) 50.27 Current children cumulated vsize (KiB) 23224 [startup+50.7012 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32510 /proc/meminfo: memFree=1593856/2055920 swapFree=4181640/4192956 [pid=32509] ppid=32507 vsize=23224 CPUtime=50.67 /proc/32509/stat : 32509 (bsolo) R 32507 32509 31991 0 -1 4194304 3431 0 0 0 5054 13 0 0 25 0 1 0 186186874 23781376 3406 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32509/statm: 5806 3406 198 640 0 5162 0 Current children cumulated CPU time (s) 50.67 Current children cumulated vsize (KiB) 23224 [startup+50.9012 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32510 /proc/meminfo: memFree=1593856/2055920 swapFree=4181640/4192956 [pid=32509] ppid=32507 vsize=23224 CPUtime=50.87 /proc/32509/stat : 32509 (bsolo) R 32507 32509 31991 0 -1 4194304 3431 0 0 0 5074 13 0 0 25 0 1 0 186186874 23781376 3406 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32509/statm: 5806 3406 198 640 0 5162 0 Current children cumulated CPU time (s) 50.87 Current children cumulated vsize (KiB) 23224 [startup+51.0012 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32510 /proc/meminfo: memFree=1593856/2055920 swapFree=4181640/4192956 [pid=32509] ppid=32507 vsize=0 CPUtime=50.97 /proc/32509/stat : 32509 (bsolo) R 32507 32509 31991 0 -1 4194308 3433 0 0 0 5084 13 0 0 25 0 1 0 186186874 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32509/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 50.97 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 51.0015 CPU time (s): 50.9842 CPU user time (s): 50.8433 CPU system time (s): 0.140978 CPU usage (%): 99.9662 Max. virtual memory (cumulated for all children) (KiB): 23224 getrusage(RUSAGE_CHILDREN,...) data: user time used= 50.8433 system time used= 0.140978 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3433 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= 65 runsolver used 0.056991 second user time and 0.12598 second system time The end
Begin job on node63 at 2009-06-16 22:58:46 IDJOB=1876484 IDBENCH=47894 IDSOLVER=699 FILE ID=node63/1876484-1245185926 PBS_JOBID= 9368269 Free space on /tmp= 66468 MiB SOLVER NAME= bsolo 3.1 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=7-P0=89-P1=13-P2=37-P3=97-P4=101-P5=107-P6=37-P7=19-P8=47-P9=127-B.opb COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1876484-1245185926/watcher-1876484-1245185926 -o /tmp/evaluation-result-1876484-1245185926/solver-1876484-1245185926 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1876484-1245185926.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= b3aade8de77ac68c9aa967132edd1f5e RANDOM SEED=351563458 node63.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.240 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.240 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 : 5996.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1607400 kB Buffers: 52032 kB Cached: 315188 kB SwapCached: 5692 kB Active: 54184 kB Inactive: 322092 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1607400 kB SwapTotal: 4192956 kB SwapFree: 4181640 kB Dirty: 3956 kB Writeback: 0 kB Mapped: 13708 kB Slab: 58032 kB Committed_AS: 84864 kB PageTables: 1452 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1876484-1245185926.opb Free space on /tmp at the end= 66464 MiB End job on node63 at 2009-06-16 22:59:38