Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 cl | OPT | 3 | 75.3355 | 75.3637 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=7-P0=97-P1=11-P2=73-P3=43-P4=127-P5=127-P6=37-P7=127-P8=5-B.opb |
MD5SUM | 44a2a8c9706392fba8f7dee35869ba61 |
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 | 7.72083 |
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 | 168 |
Total number of constraints | 17 |
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 | 17 |
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) | 392 |
Sum of products size (including duplicates) | 784 |
Number of different products | 392 |
Sum of products size | 784 |
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-1877997-1245187476.opb 0.00/0.00 c File size is 29360 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: 560 Constr: 809 392/0/417 Lit: 3409 Watch. Lit: 2106 0.00/0.00 c Obj. Vars: 7 (1.25 % of total variables) 0.00/0.01 c Pre-processing Time: 0.008 s 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 560 809 3409 4 2923 4596 0 0 0.01 0.00/0.01 c Switching off lower bounding mode. 5.99/6.00 c 100 560 909 7805 8 3026 5056 100 5882 0.02 5.99/6.00 c 250 560 1059 16171 15 3321 5562 250 8333 0.03 5.99/6.00 c 475 560 1284 27963 21 3777 6119 475 9895 0.05 5.99/6.00 c 813 560 1622 43545 26 4442 6731 813 10291 0.08 5.99/6.00 c 1321 560 2130 66789 31 5473 7405 1321 10240 0.13 5.99/6.00 c 2085 560 2894 99678 34 6986 8146 2085 8797 0.24 5.99/6.00 c 3233 560 4042 157856 39 9306 8961 3233 8375 0.39 5.99/6.00 c 4955 560 5764 246532 42 12764 9858 4955 7588 0.65 5.99/6.00 c 7539 560 8348 382867 45 17892 10844 7539 6872 1.10 5.99/6.00 c 11418 560 6499 277265 42 14243 11929 5690 5127 2.23 5.99/6.00 c 17240 560 12321 582671 47 25819 13122 11512 5017 3.44 5.99/6.00 o 65 15.19/15.27 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 15.19/15.27 c 25757 560 7371 329726 44 15908 4610 6562 4251 6.06 15.19/15.27 c 25858 560 3216 127640 39 7655 5072 2407 4227 6.12 15.19/15.27 c 26109 560 3467 141721 40 8070 5580 2658 4243 6.15 15.19/15.27 c 26586 560 3944 166106 42 9093 6139 3135 4287 6.20 15.19/15.27 c 27399 560 4757 208129 43 10674 6753 3948 4346 6.30 15.19/15.27 c 28720 560 6078 269728 44 13309 7429 5269 4431 6.48 15.19/15.27 c 30802 560 8160 358972 43 17463 8172 7351 4424 6.96 15.19/15.27 c 34027 557 7255 286898 39 15650 8990 6446 4297 7.92 15.19/15.27 c 38964 557 7175 324731 45 15521 9890 6366 4281 9.10 15.19/15.27 c 46471 557 9660 442434 45 20482 10880 8851 3841 12.10 15.19/15.27 o 3 75.26/75.36 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 75.26/75.36 c 55959 557 7359 333665 45 15908 4610 6550 3665 15.27 75.26/75.36 c 56059 557 3217 122516 38 7673 5072 2408 3659 15.32 75.26/75.36 c 56310 557 3468 136083 39 8144 5580 2659 3670 15.34 75.26/75.36 c 56785 557 3943 160136 40 9086 6139 3134 3686 15.40 75.26/75.36 c 57599 557 4757 200311 42 10720 6753 3948 3708 15.53 75.26/75.36 c 58920 557 6078 266857 43 13353 7429 5269 3725 15.81 75.26/75.36 c 61001 557 8159 375718 46 17534 8172 7350 3738 16.32 75.26/75.36 c 64225 557 7193 323582 44 15585 8990 6384 3639 17.65 75.26/75.36 c 69162 538 7596 326032 42 16421 9890 6787 3449 20.05 75.26/75.36 c 76668 530 9745 471159 48 20751 10880 8936 3434 22.33 75.26/75.36 c 88032 529 10060 464098 46 21360 11969 9251 3348 26.29 75.26/75.36 c 105177 518 9042 405725 44 19260 13166 8233 3191 32.96 75.26/75.36 c 130996 496 7728 312643 40 16657 14483 6919 2674 48.98 75.26/75.36 c 169829 485 9660 369606 38 20543 15932 8851 2275 74.64 75.26/75.36 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 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 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 x64 -x65 -x66 x67 -x68 -x69 -x70 -x113 -x114 -x115 -x116 -x117 -x118 -x119 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 x71 x72 -x73 x74 x75 -x76 -x77 -x120 -x121 -x122 -x123 -x124 -x125 -x126 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 -x313 -x314 -x315 x78 -x79 -x80 -x81 -x82 x83 x84 -x127 x128 -x129 x130 -x131 -x132 -x133 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 x85 -x86 -x87 -x88 -x89 -x90 -x91 x134 -x135 -x136 x137 x138 -x139 -x140 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 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 x92 -x93 -x94 x95 -x96 -x97 -x98 -x141 -x142 -x143 -x144 -x145 -x146 -x147 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 x99 -x100 -x101 -x102 -x103 -x104 -x105 -x148 -x149 x150 -x151 -x152 -x153 -x154 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 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 x106 x107 -x108 -x109 -x110 -x111 -x112 -x155 -x156 -x157 -x158 -x159 -x160 -x161 x512 x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 x526 x527 -x528 -x529 -x530 -x531 -x532 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 x162 -x163 -x164 -x165 -x166 -x167 -x168 75.26/75.36 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 75.26/75.36 c 35 171134 2005 180657 10965 413769 10156 2271 75.33 75.26/75.36 c Objective: 3 75.26/75.36 s OPTIMUM FOUND 75.26/75.36 c Total time: 75.332 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-1877997-1245187476/watcher-1877997-1245187476 -o /tmp/evaluation-result-1877997-1245187476/solver-1877997-1245187476 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1877997-1245187476.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.12 1.02 1.00 3/65 4494 /proc/meminfo: memFree=1857512/2055920 swapFree=4169920/4192956 [pid=4494] ppid=4492 vsize=10740 CPUtime=0 /proc/4494/stat : 4494 (bsolo) R 4492 4494 3140 0 -1 4194304 257 0 0 0 0 0 0 0 18 0 1 0 186346219 10997760 241 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4494/statm: 2685 241 176 640 0 2033 0 [startup+0.0820669 s] /proc/loadavg: 1.12 1.02 1.00 3/65 4494 /proc/meminfo: memFree=1857512/2055920 swapFree=4169920/4192956 [pid=4494] ppid=4492 vsize=11476 CPUtime=0.07 /proc/4494/stat : 4494 (bsolo) R 4492 4494 3140 0 -1 4194304 470 0 0 0 7 0 0 0 18 0 1 0 186346219 11751424 446 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4494/statm: 2869 446 196 640 0 2225 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 11476 [startup+0.10107 s] /proc/loadavg: 1.12 1.02 1.00 3/65 4494 /proc/meminfo: memFree=1857512/2055920 swapFree=4169920/4192956 [pid=4494] ppid=4492 vsize=11604 CPUtime=0.09 /proc/4494/stat : 4494 (bsolo) R 4492 4494 3140 0 -1 4194304 500 0 0 0 9 0 0 0 18 0 1 0 186346219 11882496 476 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4494/statm: 2901 477 196 640 0 2257 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11604 [startup+0.301088 s] /proc/loadavg: 1.12 1.02 1.00 3/65 4494 /proc/meminfo: memFree=1857512/2055920 swapFree=4169920/4192956 [pid=4494] ppid=4492 vsize=12620 CPUtime=0.29 /proc/4494/stat : 4494 (bsolo) R 4492 4494 3140 0 -1 4194304 759 0 0 0 29 0 0 0 19 0 1 0 186346219 12922880 735 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4494/statm: 3155 735 196 640 0 2511 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12620 [startup+0.701129 s] /proc/loadavg: 1.12 1.02 1.00 3/65 4494 /proc/meminfo: memFree=1857512/2055920 swapFree=4169920/4192956 [pid=4494] ppid=4492 vsize=14632 CPUtime=0.69 /proc/4494/stat : 4494 (bsolo) R 4492 4494 3140 0 -1 4194304 1265 0 0 0 68 1 0 0 23 0 1 0 186346219 14983168 1241 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4494/statm: 3658 1241 196 640 0 3014 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14632 [startup+1.50121 s] /proc/loadavg: 1.12 1.02 1.00 2/66 4495 /proc/meminfo: memFree=1851744/2055920 swapFree=4169920/4192956 [pid=4494] ppid=4492 vsize=18020 CPUtime=1.49 /proc/4494/stat : 4494 (bsolo) R 4492 4494 3140 0 -1 4194304 2100 0 0 0 147 2 0 0 25 0 1 0 186346219 18452480 2076 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4494/statm: 4505 2076 196 640 0 3861 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 18020 [startup+3.10137 s] /proc/loadavg: 1.19 1.03 1.01 2/66 4495 /proc/meminfo: memFree=1848736/2055920 swapFree=4169920/4192956 [pid=4494] ppid=4492 vsize=19148 CPUtime=3.08 /proc/4494/stat : 4494 (bsolo) R 4492 4494 3140 0 -1 4194304 2390 0 0 0 306 2 0 0 25 0 1 0 186346219 19607552 2366 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4494/statm: 4787 2366 196 640 0 4143 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 19148 [startup+6.30169 s] /proc/loadavg: 1.19 1.03 1.01 2/66 4495 /proc/meminfo: memFree=1846688/2055920 swapFree=4169920/4192956 [pid=4494] ppid=4492 vsize=21112 CPUtime=6.29 /proc/4494/stat : 4494 (bsolo) R 4492 4494 3140 0 -1 4194304 2882 0 0 0 625 4 0 0 25 0 1 0 186346219 21618688 2858 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4494/statm: 5278 2858 197 640 0 4634 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 21112 [startup+12.7013 s] /proc/loadavg: 1.16 1.03 1.01 2/66 4495 /proc/meminfo: memFree=1846496/2055920 swapFree=4169920/4192956 [pid=4494] ppid=4492 vsize=21112 CPUtime=12.69 /proc/4494/stat : 4494 (bsolo) R 4492 4494 3140 0 -1 4194304 2882 0 0 0 1263 6 0 0 25 0 1 0 186346219 21618688 2858 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4494/statm: 5278 2858 197 640 0 4634 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 21112 [startup+25.5016 s] /proc/loadavg: 1.13 1.03 1.01 2/66 4495 /proc/meminfo: memFree=1846496/2055920 swapFree=4169920/4192956 [pid=4494] ppid=4492 vsize=21112 CPUtime=25.48 /proc/4494/stat : 4494 (bsolo) R 4492 4494 3140 0 -1 4194304 2882 0 0 0 2539 9 0 0 25 0 1 0 186346219 21618688 2858 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4494/statm: 5278 2858 197 640 0 4634 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 21112 [startup+51.1012 s] /proc/loadavg: 1.09 1.03 1.01 2/66 4495 /proc/meminfo: memFree=1846112/2055920 swapFree=4169920/4192956 [pid=4494] ppid=4492 vsize=21620 CPUtime=51.07 /proc/4494/stat : 4494 (bsolo) R 4492 4494 3140 0 -1 4194304 3025 0 0 0 5093 14 0 0 25 0 1 0 186346219 22138880 3001 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4494/statm: 5405 3001 197 640 0 4761 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 21620 Solver just ended. Dumping a history of the last processes samples [startup+63.9015 s] /proc/loadavg: 1.07 1.02 1.00 2/66 4495 /proc/meminfo: memFree=1845856/2055920 swapFree=4169920/4192956 [pid=4494] ppid=4492 vsize=21960 CPUtime=63.87 /proc/4494/stat : 4494 (bsolo) R 4492 4494 3140 0 -1 4194304 3096 0 0 0 6370 17 0 0 25 0 1 0 186346219 22487040 3072 1992294400 134512640 137136520 4294956256 18446744073709551615 134544440 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4494/statm: 5490 3072 197 640 0 4846 0 Current children cumulated CPU time (s) 63.87 Current children cumulated vsize (KiB) 21960 [startup+70.3012 s] /proc/loadavg: 1.06 1.02 1.00 2/66 4495 /proc/meminfo: memFree=1845856/2055920 swapFree=4169920/4192956 [pid=4494] ppid=4492 vsize=21960 CPUtime=70.27 /proc/4494/stat : 4494 (bsolo) R 4492 4494 3140 0 -1 4194304 3096 0 0 0 7009 18 0 0 25 0 1 0 186346219 22487040 3072 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4494/statm: 5490 3072 197 640 0 4846 0 Current children cumulated CPU time (s) 70.27 Current children cumulated vsize (KiB) 21960 [startup+73.5015 s] /proc/loadavg: 1.06 1.02 1.00 2/66 4495 /proc/meminfo: memFree=1845856/2055920 swapFree=4169920/4192956 [pid=4494] ppid=4492 vsize=21960 CPUtime=73.46 /proc/4494/stat : 4494 (bsolo) R 4492 4494 3140 0 -1 4194304 3096 0 0 0 7328 18 0 0 25 0 1 0 186346219 22487040 3072 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4494/statm: 5490 3072 197 640 0 4846 0 Current children cumulated CPU time (s) 73.46 Current children cumulated vsize (KiB) 21960 [startup+74.3016 s] /proc/loadavg: 1.06 1.02 1.00 2/66 4495 /proc/meminfo: memFree=1845856/2055920 swapFree=4169920/4192956 [pid=4494] ppid=4492 vsize=21960 CPUtime=74.27 /proc/4494/stat : 4494 (bsolo) R 4492 4494 3140 0 -1 4194304 3096 0 0 0 7408 19 0 0 25 0 1 0 186346219 22487040 3072 1992294400 134512640 137136520 4294956256 18446744073709551615 134544440 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4494/statm: 5490 3072 197 640 0 4846 0 Current children cumulated CPU time (s) 74.27 Current children cumulated vsize (KiB) 21960 [startup+75.1016 s] /proc/loadavg: 1.06 1.02 1.00 2/66 4495 /proc/meminfo: memFree=1845856/2055920 swapFree=4169920/4192956 [pid=4494] ppid=4492 vsize=21960 CPUtime=75.07 /proc/4494/stat : 4494 (bsolo) R 4492 4494 3140 0 -1 4194304 3096 0 0 0 7488 19 0 0 25 0 1 0 186346219 22487040 3072 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4494/statm: 5490 3072 197 640 0 4846 0 Current children cumulated CPU time (s) 75.07 Current children cumulated vsize (KiB) 21960 [startup+75.3017 s] /proc/loadavg: 1.06 1.02 1.00 2/66 4495 /proc/meminfo: memFree=1845856/2055920 swapFree=4169920/4192956 [pid=4494] ppid=4492 vsize=21960 CPUtime=75.26 /proc/4494/stat : 4494 (bsolo) R 4492 4494 3140 0 -1 4194304 3096 0 0 0 7507 19 0 0 25 0 1 0 186346219 22487040 3072 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4494/statm: 5490 3072 197 640 0 4846 0 Current children cumulated CPU time (s) 75.26 Current children cumulated vsize (KiB) 21960 Child status: 0 Real time (s): 75.3637 CPU time (s): 75.3355 CPU user time (s): 75.1396 CPU system time (s): 0.19597 CPU usage (%): 99.9626 Max. virtual memory (cumulated for all children) (KiB): 22020 getrusage(RUSAGE_CHILDREN,...) data: user time used= 75.1396 system time used= 0.19597 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3098 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= 284 runsolver used 0.099984 second user time and 0.169974 second system time The end
Begin job on node84 at 2009-06-16 23:24:36 IDJOB=1877997 IDBENCH=47977 IDSOLVER=700 FILE ID=node84/1877997-1245187476 PBS_JOBID= 9363945 Free space on /tmp= 66524 MiB SOLVER NAME= bsolo 3.1 cl BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=7-P0=97-P1=11-P2=73-P3=43-P4=127-P5=127-P6=37-P7=127-P8=5-B.opb COMMAND LINE= bsolo -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1877997-1245187476/watcher-1877997-1245187476 -o /tmp/evaluation-result-1877997-1245187476/solver-1877997-1245187476 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1877997-1245187476.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 44a2a8c9706392fba8f7dee35869ba61 RANDOM SEED=198919177 node84.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.222 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.222 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: 1857992 kB Buffers: 33404 kB Cached: 86520 kB SwapCached: 17164 kB Active: 46900 kB Inactive: 92612 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1857992 kB SwapTotal: 4192956 kB SwapFree: 4169920 kB Dirty: 4292 kB Writeback: 0 kB Mapped: 25284 kB Slab: 44284 kB Committed_AS: 96828 kB PageTables: 1404 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-1877997-1245187476.opb Free space on /tmp at the end= 66520 MiB End job on node84 at 2009-06-16 23:25:51