Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 cl | OPT | 3 | 757.67 | 757.878 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=223-P1=29-P2=7-P3=83-P4=113-P5=223-P6=229-B.opb |
MD5SUM | 6355c589dda3f12b095277ae4637ab26 |
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 | 5.15022 |
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 | 144 |
Total number of constraints | 13 |
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 | 13 |
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) | 384 |
Sum of products size (including duplicates) | 768 |
Number of different products | 384 |
Sum of products size | 768 |
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: Clause 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-1877910-1245185863.opb 0.00/0.00 c File size is 28516 bytes. 0.00/0.00 c Highest Coefficient sum: 130560 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: 528 Constr: 787 384/0/403 Lit: 3304 Watch. Lit: 2030 0.00/0.00 c Obj. Vars: 8 (1.51515 % of total variables) 0.00/0.01 c Pre-processing Time: 0.009 s 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 528 787 3304 4 2838 4431 0 0 0.01 0.00/0.01 c Switching off lower bounding mode. 80.67/80.78 c 104 528 891 9385 10 2993 4875 104 5473 0.02 80.67/80.78 c 254 528 1041 20380 19 3198 5363 254 4535 0.06 80.67/80.78 c 479 528 1266 35348 27 3677 5900 479 5771 0.08 80.67/80.78 c 818 528 1605 61402 38 4320 6491 818 5177 0.16 80.67/80.78 c 1327 528 2114 99071 46 5381 7141 1327 5695 0.23 80.67/80.78 c 2091 528 2878 150763 52 6920 7856 2091 6096 0.34 80.67/80.78 c 3239 528 4026 220626 54 9228 8642 3239 5623 0.58 80.67/80.78 c 4960 528 5747 325759 56 12610 9507 4960 4737 1.05 80.67/80.78 c 7544 528 8331 484934 58 17788 10458 7544 3594 2.10 80.67/80.78 c 11423 528 6843 361974 52 14804 11504 6056 3487 3.27 80.67/80.78 c 17246 528 6755 379725 56 14608 12655 5968 3177 5.43 80.67/80.78 c 25983 528 9007 514355 57 19122 13921 8220 2971 8.74 80.67/80.78 c 39093 527 8089 431473 53 17276 15314 7302 2375 16.45 80.67/80.78 c 58764 527 11990 749689 62 25091 16846 11203 2381 24.67 80.67/80.78 c 88274 527 15537 951873 61 32257 18531 14750 1574 56.05 80.67/80.78 o 109 101.27/101.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 101.27/101.37 c 114135 527 13226 815367 61 27648 4447 12439 1413 80.76 101.27/101.37 c 114236 527 3115 155653 49 7481 4892 2328 1411 80.93 101.27/101.37 c 114486 527 3365 173423 51 7969 5382 2578 1413 80.97 101.27/101.37 c 114962 517 3841 206742 53 8891 5921 3054 1418 81.05 101.27/101.37 c 115776 517 4655 261827 56 10463 6514 3868 1425 81.22 101.27/101.37 c 117097 517 5976 356147 59 13147 7166 5189 1436 81.53 101.27/101.37 c 119179 517 4374 254201 58 9963 7883 3587 1452 82.07 101.27/101.37 c 122402 517 7597 480495 63 16420 8672 6810 1473 83.08 101.27/101.37 c 127339 517 7975 500485 62 17152 9540 7188 1502 84.74 101.27/101.37 c 134845 517 5561 319360 57 12288 10495 4774 1530 88.11 101.27/101.37 c 146206 517 6218 356671 57 13593 11545 5431 1504 97.18 101.27/101.37 o 3 757.58/757.87 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 757.58/757.87 c 156797 517 10606 649589 61 22374 4445 9819 1547 101.35 757.58/757.87 c 156897 456 3114 151135 48 7433 4890 2327 1547 101.42 757.58/757.87 c 157147 456 3364 168020 49 7849 5380 2577 1549 101.45 757.58/757.87 c 157623 456 3840 200555 52 8824 5919 3053 1552 101.52 757.58/757.87 c 158437 456 4654 256412 55 10442 6511 3867 1557 101.72 757.58/757.87 c 159757 456 5974 346400 57 13090 7163 5187 1562 102.24 757.58/757.87 c 161839 456 4379 245308 56 9906 7880 3592 1565 103.38 757.58/757.87 c 165063 456 7603 458541 60 16335 8669 6816 1581 104.35 757.58/757.87 c 170001 456 7848 505497 64 16855 9536 7061 1601 106.17 757.58/757.87 c 177508 456 10384 654936 63 21937 10490 9597 1619 109.60 757.58/757.87 c 188869 456 10990 662488 60 23176 11540 10203 1618 116.72 757.58/757.87 c 206013 456 9483 563458 59 20107 12695 8696 1588 129.65 757.58/757.87 c 231834 456 8213 495884 60 17584 13965 7426 1602 144.63 757.58/757.87 c 270666 456 10131 641596 63 21450 15362 9344 1523 177.62 757.58/757.87 c 329020 453 13161 885533 67 27481 16899 12374 1459 225.43 757.58/757.87 c 416653 453 12336 749781 60 25872 18589 11549 1387 300.24 757.58/757.87 c 548205 452 10094 589315 58 21373 20448 9307 1175 466.34 757.58/757.87 c 745637 442 19675 1055282 53 40550 22493 18888 1068 698.10 757.58/757.87 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 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 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 x57 -x58 -x59 x60 -x61 -x62 -x63 -x64 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 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 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 x257 -x258 -x259 x260 -x261 -x262 -x263 -x264 x265 -x266 -x267 x268 -x269 -x270 -x271 -x272 x65 -x66 -x67 -x68 x69 -x70 -x71 -x72 x105 x106 x107 -x108 -x109 -x110 -x111 -x112 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 x313 -x314 -x315 -x316 x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 x329 -x330 -x331 -x332 x333 -x334 -x335 -x336 x73 -x74 -x75 x76 x77 x78 -x79 -x80 x113 x114 -x115 x116 -x117 -x118 -x119 -x120 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 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x121 x122 -x123 -x124 -x125 -x126 -x127 -x128 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 -x442 -x443 -x444 -x445 -x446 -x447 -x448 x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 x89 -x90 -x91 -x92 -x93 -x94 x95 -x96 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 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 -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 x137 -x138 -x139 x140 -x141 -x142 -x143 -x144 757.58/757.87 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 757.58/757.87 c 44 780393 5844 801878 19319 1008847 18532 1029 757.66 757.58/757.87 c Objective: 3 757.58/757.87 s OPTIMUM FOUND 757.58/757.87 c Total time: 757.665 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-1877910-1245185863/watcher-1877910-1245185863 -o /tmp/evaluation-result-1877910-1245185863/solver-1877910-1245185863 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1877910-1245185863.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.98 0.99 3/65 6659 /proc/meminfo: memFree=1842344/2055920 swapFree=4191900/4192956 [pid=6659] ppid=6657 vsize=10736 CPUtime=0 /proc/6659/stat : 6659 (bsolo) R 6657 6659 6311 0 -1 4194304 254 0 0 0 0 0 0 0 18 0 1 0 186185760 10993664 238 1992294400 134512640 137136520 4294956256 18446744073709551615 134519766 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6659/statm: 2684 238 176 640 0 2033 0 [startup+0.03962 s] /proc/loadavg: 0.92 0.98 0.99 3/65 6659 /proc/meminfo: memFree=1842344/2055920 swapFree=4191900/4192956 [pid=6659] ppid=6657 vsize=10968 CPUtime=0.03 /proc/6659/stat : 6659 (bsolo) R 6657 6659 6311 0 -1 4194304 354 0 0 0 3 0 0 0 18 0 1 0 186185760 11231232 331 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6659/statm: 2742 331 196 640 0 2098 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 10968 [startup+0.101626 s] /proc/loadavg: 0.92 0.98 0.99 3/65 6659 /proc/meminfo: memFree=1842344/2055920 swapFree=4191900/4192956 [pid=6659] ppid=6657 vsize=11480 CPUtime=0.09 /proc/6659/stat : 6659 (bsolo) R 6657 6659 6311 0 -1 4194304 468 0 0 0 9 0 0 0 18 0 1 0 186185760 11755520 445 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6659/statm: 2870 445 196 640 0 2226 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11480 [startup+0.301649 s] /proc/loadavg: 0.92 0.98 0.99 3/65 6659 /proc/meminfo: memFree=1842344/2055920 swapFree=4191900/4192956 [pid=6659] ppid=6657 vsize=12620 CPUtime=0.29 /proc/6659/stat : 6659 (bsolo) R 6657 6659 6311 0 -1 4194304 775 0 0 0 29 0 0 0 19 0 1 0 186185760 12922880 752 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6659/statm: 3155 752 196 640 0 2511 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12620 [startup+0.701695 s] /proc/loadavg: 0.92 0.98 0.99 3/65 6659 /proc/meminfo: memFree=1842344/2055920 swapFree=4191900/4192956 [pid=6659] ppid=6657 vsize=14512 CPUtime=0.69 /proc/6659/stat : 6659 (bsolo) R 6657 6659 6311 0 -1 4194304 1223 0 0 0 69 0 0 0 22 0 1 0 186185760 14860288 1200 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6659/statm: 3628 1200 196 640 0 2984 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14512 [startup+1.50178 s] /proc/loadavg: 0.92 0.98 0.99 2/66 6660 /proc/meminfo: memFree=1837472/2055920 swapFree=4191900/4192956 [pid=6659] ppid=6657 vsize=16768 CPUtime=1.49 /proc/6659/stat : 6659 (bsolo) R 6657 6659 6311 0 -1 4194304 1785 0 0 0 148 1 0 0 25 0 1 0 186185760 17170432 1762 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6659/statm: 4192 1762 196 640 0 3548 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 16768 [startup+3.10197 s] /proc/loadavg: 0.92 0.98 0.99 2/66 6660 /proc/meminfo: memFree=1834784/2055920 swapFree=4191900/4192956 [pid=6659] ppid=6657 vsize=20528 CPUtime=3.09 /proc/6659/stat : 6659 (bsolo) R 6657 6659 6311 0 -1 4194304 2731 0 0 0 307 2 0 0 25 0 1 0 186185760 21020672 2708 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6659/statm: 5132 2708 196 640 0 4488 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 20528 [startup+6.30133 s] /proc/loadavg: 0.93 0.98 0.99 2/66 6660 /proc/meminfo: memFree=1831136/2055920 swapFree=4191900/4192956 [pid=6659] ppid=6657 vsize=21372 CPUtime=6.28 /proc/6659/stat : 6659 (bsolo) R 6657 6659 6311 0 -1 4194304 2944 0 0 0 625 3 0 0 25 0 1 0 186185760 21884928 2921 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6659/statm: 5343 2921 196 640 0 4699 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 21372 [startup+12.7011 s] /proc/loadavg: 0.93 0.98 0.99 2/66 6660 /proc/meminfo: memFree=1829216/2055920 swapFree=4191900/4192956 [pid=6659] ppid=6657 vsize=23260 CPUtime=12.69 /proc/6659/stat : 6659 (bsolo) R 6657 6659 6311 0 -1 4194304 3427 0 0 0 1264 5 0 0 25 0 1 0 186185760 23818240 3404 1992294400 134512640 137136520 4294956256 18446744073709551615 136503733 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6659/statm: 5815 3404 196 640 0 5171 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 23260 [startup+25.5015 s] /proc/loadavg: 0.95 0.98 0.99 2/66 6660 /proc/meminfo: memFree=1827232/2055920 swapFree=4191900/4192956 [pid=6659] ppid=6657 vsize=25360 CPUtime=25.48 /proc/6659/stat : 6659 (bsolo) R 6657 6659 6311 0 -1 4194304 3946 0 0 0 2539 9 0 0 25 0 1 0 186185760 25968640 3923 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6659/statm: 6340 3923 196 640 0 5696 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 25360 [startup+51.1014 s] /proc/loadavg: 0.96 0.98 0.99 2/66 6660 /proc/meminfo: memFree=1825184/2055920 swapFree=4191900/4192956 [pid=6659] ppid=6657 vsize=27356 CPUtime=51.08 /proc/6659/stat : 6659 (bsolo) R 6657 6659 6311 0 -1 4194304 4452 0 0 0 5096 12 0 0 25 0 1 0 186185760 28012544 4429 1992294400 134512640 137136520 4294956256 18446744073709551615 134544140 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6659/statm: 6839 4429 196 640 0 6195 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 27356 [startup+102.304 s] /proc/loadavg: 0.98 0.98 0.99 2/66 6660 /proc/meminfo: memFree=1823968/2055920 swapFree=4191900/4192956 [pid=6659] ppid=6657 vsize=28580 CPUtime=102.26 /proc/6659/stat : 6659 (bsolo) R 6657 6659 6311 0 -1 4194304 4780 0 0 0 10204 22 0 0 25 0 1 0 186185760 29265920 4744 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6659/statm: 7145 4744 197 640 0 6501 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 28580 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6660 /proc/meminfo: memFree=1823968/2055920 swapFree=4191900/4192956 [pid=6659] ppid=6657 vsize=28580 CPUtime=162.24 /proc/6659/stat : 6659 (bsolo) R 6657 6659 6311 0 -1 4194304 4780 0 0 0 16189 35 0 0 25 0 1 0 186185760 29265920 4744 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6659/statm: 7145 4744 197 640 0 6501 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 28580 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6666 /proc/meminfo: memFree=1824032/2055920 swapFree=4191900/4192956 [pid=6659] ppid=6657 vsize=28344 CPUtime=222.22 /proc/6659/stat : 6659 (bsolo) R 6657 6659 6311 0 -1 4194304 4780 0 0 0 22177 45 0 0 25 0 1 0 186185760 29024256 4685 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6659/statm: 7086 4685 197 640 0 6442 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 28344 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6666 /proc/meminfo: memFree=1824032/2055920 swapFree=4191900/4192956 [pid=6659] ppid=6657 vsize=28344 CPUtime=282.21 /proc/6659/stat : 6659 (bsolo) R 6657 6659 6311 0 -1 4194304 4780 0 0 0 28166 55 0 0 25 0 1 0 186185760 29024256 4685 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6659/statm: 7086 4685 197 640 0 6442 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 28344 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6666 /proc/meminfo: memFree=1822944/2055920 swapFree=4191900/4192956 [pid=6659] ppid=6657 vsize=29600 CPUtime=342.19 /proc/6659/stat : 6659 (bsolo) R 6657 6659 6311 0 -1 4194304 5089 0 0 0 34155 64 0 0 25 0 1 0 186185760 30310400 4994 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6659/statm: 7400 4994 197 640 0 6756 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 29600 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6666 /proc/meminfo: memFree=1822944/2055920 swapFree=4191900/4192956 [pid=6659] ppid=6657 vsize=29600 CPUtime=402.17 /proc/6659/stat : 6659 (bsolo) R 6657 6659 6311 0 -1 4194304 5089 0 0 0 40145 72 0 0 25 0 1 0 186185760 30310400 4994 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6659/statm: 7400 4994 197 640 0 6756 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 29600 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6666 /proc/meminfo: memFree=1822944/2055920 swapFree=4191900/4192956 [pid=6659] ppid=6657 vsize=29600 CPUtime=462.16 /proc/6659/stat : 6659 (bsolo) R 6657 6659 6311 0 -1 4194304 5089 0 0 0 46137 79 0 0 25 0 1 0 186185760 30310400 4994 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6659/statm: 7400 4994 197 640 0 6756 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 29600 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6666 /proc/meminfo: memFree=1822312/2055920 swapFree=4191900/4192956 [pid=6659] ppid=6657 vsize=30308 CPUtime=522.14 /proc/6659/stat : 6659 (bsolo) R 6657 6659 6311 0 -1 4194304 5260 0 0 0 52125 89 0 0 25 0 1 0 186185760 31035392 5165 1992294400 134512640 137136520 4294956256 18446744073709551615 136500542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6659/statm: 7577 5165 197 640 0 6933 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 30308 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6666 /proc/meminfo: memFree=1822312/2055920 swapFree=4191900/4192956 [pid=6659] ppid=6657 vsize=30308 CPUtime=582.13 /proc/6659/stat : 6659 (bsolo) R 6657 6659 6311 0 -1 4194304 5261 0 0 0 58113 100 0 0 25 0 1 0 186185760 31035392 5166 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6659/statm: 7577 5166 197 640 0 6933 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 30308 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6666 /proc/meminfo: memFree=1822312/2055920 swapFree=4191900/4192956 [pid=6659] ppid=6657 vsize=30300 CPUtime=642.12 /proc/6659/stat : 6659 (bsolo) R 6657 6659 6311 0 -1 4194304 5261 0 0 0 64104 108 0 0 25 0 1 0 186185760 31027200 5166 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6659/statm: 7575 5166 197 640 0 6931 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 30300 [startup+702.301 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6666 /proc/meminfo: memFree=1822312/2055920 swapFree=4191900/4192956 [pid=6659] ppid=6657 vsize=30300 CPUtime=702.09 /proc/6659/stat : 6659 (bsolo) R 6657 6659 6311 0 -1 4194304 5262 0 0 0 70095 114 0 0 25 0 1 0 186185760 31027200 5167 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6659/statm: 7575 5167 197 640 0 6931 0 Current children cumulated CPU time (s) 702.09 Current children cumulated vsize (KiB) 30300 Solver just ended. Dumping a history of the last processes samples [startup+716.702 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6666 /proc/meminfo: memFree=1822248/2055920 swapFree=4191900/4192956 [pid=6659] ppid=6657 vsize=30300 CPUtime=716.5 /proc/6659/stat : 6659 (bsolo) R 6657 6659 6311 0 -1 4194304 5262 0 0 0 71534 116 0 0 25 0 1 0 186185760 31027200 5167 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6659/statm: 7575 5167 197 640 0 6931 0 Current children cumulated CPU time (s) 716.5 Current children cumulated vsize (KiB) 30300 [startup+742.302 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6666 /proc/meminfo: memFree=1822248/2055920 swapFree=4191900/4192956 [pid=6659] ppid=6657 vsize=30296 CPUtime=742.09 /proc/6659/stat : 6659 (bsolo) R 6657 6659 6311 0 -1 4194304 5262 0 0 0 74089 120 0 0 25 0 1 0 186185760 31023104 5167 1992294400 134512640 137136520 4294956256 18446744073709551615 134544259 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6659/statm: 7574 5167 197 640 0 6930 0 Current children cumulated CPU time (s) 742.09 Current children cumulated vsize (KiB) 30296 [startup+748.701 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6666 /proc/meminfo: memFree=1822248/2055920 swapFree=4191900/4192956 [pid=6659] ppid=6657 vsize=30296 CPUtime=748.49 /proc/6659/stat : 6659 (bsolo) R 6657 6659 6311 0 -1 4194304 5262 0 0 0 74729 120 0 0 25 0 1 0 186185760 31023104 5167 1992294400 134512640 137136520 4294956256 18446744073709551615 134540852 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6659/statm: 7574 5167 197 640 0 6930 0 Current children cumulated CPU time (s) 748.49 Current children cumulated vsize (KiB) 30296 [startup+751.903 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6666 /proc/meminfo: memFree=1822248/2055920 swapFree=4191900/4192956 [pid=6659] ppid=6657 vsize=30296 CPUtime=751.68 /proc/6659/stat : 6659 (bsolo) R 6657 6659 6311 0 -1 4194304 5262 0 0 0 75048 120 0 0 25 0 1 0 186185760 31023104 5167 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6659/statm: 7574 5167 197 640 0 6930 0 Current children cumulated CPU time (s) 751.68 Current children cumulated vsize (KiB) 30296 [startup+755.101 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6666 /proc/meminfo: memFree=1822248/2055920 swapFree=4191900/4192956 [pid=6659] ppid=6657 vsize=30296 CPUtime=754.88 /proc/6659/stat : 6659 (bsolo) R 6657 6659 6311 0 -1 4194304 5262 0 0 0 75367 121 0 0 25 0 1 0 186185760 31023104 5167 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6659/statm: 7574 5167 197 640 0 6930 0 Current children cumulated CPU time (s) 754.88 Current children cumulated vsize (KiB) 30296 [startup+756.701 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6666 /proc/meminfo: memFree=1822248/2055920 swapFree=4191900/4192956 [pid=6659] ppid=6657 vsize=30296 CPUtime=756.49 /proc/6659/stat : 6659 (bsolo) R 6657 6659 6311 0 -1 4194304 5262 0 0 0 75528 121 0 0 25 0 1 0 186185760 31023104 5167 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6659/statm: 7574 5167 197 640 0 6930 0 Current children cumulated CPU time (s) 756.49 Current children cumulated vsize (KiB) 30296 [startup+757.501 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6666 /proc/meminfo: memFree=1822248/2055920 swapFree=4191900/4192956 [pid=6659] ppid=6657 vsize=30296 CPUtime=757.28 /proc/6659/stat : 6659 (bsolo) R 6657 6659 6311 0 -1 4194304 5262 0 0 0 75607 121 0 0 25 0 1 0 186185760 31023104 5167 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6659/statm: 7574 5167 197 640 0 6930 0 Current children cumulated CPU time (s) 757.28 Current children cumulated vsize (KiB) 30296 [startup+757.701 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6666 /proc/meminfo: memFree=1822248/2055920 swapFree=4191900/4192956 [pid=6659] ppid=6657 vsize=30296 CPUtime=757.48 /proc/6659/stat : 6659 (bsolo) R 6657 6659 6311 0 -1 4194304 5262 0 0 0 75627 121 0 0 25 0 1 0 186185760 31023104 5167 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6659/statm: 7574 5167 197 640 0 6930 0 Current children cumulated CPU time (s) 757.48 Current children cumulated vsize (KiB) 30296 [startup+757.801 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6666 /proc/meminfo: memFree=1822248/2055920 swapFree=4191900/4192956 [pid=6659] ppid=6657 vsize=30296 CPUtime=757.58 /proc/6659/stat : 6659 (bsolo) R 6657 6659 6311 0 -1 4194304 5262 0 0 0 75637 121 0 0 25 0 1 0 186185760 31023104 5167 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6659/statm: 7574 5167 197 640 0 6930 0 Current children cumulated CPU time (s) 757.58 Current children cumulated vsize (KiB) 30296 Child status: 0 Real time (s): 757.878 CPU time (s): 757.67 CPU user time (s): 756.445 CPU system time (s): 1.22481 CPU usage (%): 99.9725 Max. virtual memory (cumulated for all children) (KiB): 30312 getrusage(RUSAGE_CHILDREN,...) data: user time used= 756.445 system time used= 1.22481 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 5264 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= 831 runsolver used 0.830873 second user time and 1.50077 second system time The end
Begin job on node32 at 2009-06-16 22:57:43 IDJOB=1877910 IDBENCH=47890 IDSOLVER=700 FILE ID=node32/1877910-1245185863 PBS_JOBID= 9363932 Free space on /tmp= 66344 MiB SOLVER NAME= bsolo 3.1 cl BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=223-P1=29-P2=7-P3=83-P4=113-P5=223-P6=229-B.opb COMMAND LINE= bsolo -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1877910-1245185863/watcher-1877910-1245185863 -o /tmp/evaluation-result-1877910-1245185863/solver-1877910-1245185863 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1877910-1245185863.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 6355c589dda3f12b095277ae4637ab26 RANDOM SEED=496786855 node32.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.234 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.234 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: 1844424 kB Buffers: 51036 kB Cached: 84568 kB SwapCached: 260 kB Active: 49296 kB Inactive: 100648 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1844424 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 3996 kB Writeback: 0 kB Mapped: 23780 kB Slab: 47280 kB Committed_AS: 167156 kB PageTables: 1492 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-1877910-1245185863.opb Free space on /tmp at the end= 66340 MiB End job on node32 at 2009-06-16 23:10:21