Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 | OPT | 3 | 67.8767 | 67.9102 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=89-P1=127-P2=191-P3=17-P4=97-P5=227-P6=191-P7=41-B.opb |
MD5SUM | 3f50fdda997abfe5e5c5cddf7b7c1313 |
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 | 9.1926 |
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 | 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 | 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) | 448 |
Sum of products size (including duplicates) | 896 |
Number of different products | 448 |
Sum of products size | 896 |
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-1876498-1245186278.opb 0.00/0.00 c File size is 33486 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.004 s 0.00/0.00 c Var: 616 Constr: 918 448/0/470 Lit: 3856 Watch. Lit: 2368 0.00/0.00 c Obj. Vars: 8 (1.2987 % 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 616 918 3856 4 3312 5173 0 0 0.01 0.00/0.01 c Switching off lower bounding mode. 45.67/45.78 c 101 616 1088 10890 10 3698 5691 170 3740 0.03 45.67/45.78 c 251 616 1339 27908 20 4344 6261 421 3691 0.07 45.67/45.78 c 476 616 1667 43727 26 5181 6888 749 4490 0.11 45.67/45.78 c 815 616 2049 67115 32 6033 7577 1131 5191 0.16 45.67/45.78 c 1324 616 2603 103031 39 7160 8335 1685 5192 0.26 45.67/45.78 c 2087 616 3500 152236 43 9118 9169 2582 4831 0.43 45.67/45.78 c 3234 616 4881 225446 46 12115 10086 3963 4194 0.77 45.67/45.78 c 4955 598 6806 324449 47 16242 11095 5888 3391 1.46 45.67/45.78 c 7540 596 9681 464879 48 22289 12205 8763 2980 2.53 45.67/45.78 c 11419 586 7271 394024 54 16237 13426 6353 3272 3.49 45.67/45.78 c 17242 557 13955 767858 55 30659 14769 13037 3277 5.26 45.67/45.78 c 25979 548 8606 479332 55 19885 16246 7688 2275 11.42 45.67/45.78 c 39090 538 14159 772070 54 30657 17871 13241 1437 27.20 45.67/45.78 c 58761 511 17184 898578 52 37405 19659 16266 1448 40.58 45.67/45.79 o 67 48.57/48.63 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 48.57/48.63 c 64703 511 13498 648863 48 29424 5187 12580 1413 45.77 48.57/48.63 c 64804 511 3659 148138 40 8857 5706 2741 1411 45.91 48.57/48.63 c 65054 511 3917 163083 41 9400 6277 2999 1415 45.95 48.57/48.63 c 65529 501 4404 190345 43 10396 6905 3486 1423 46.02 48.57/48.63 c 66342 500 5312 226270 42 12282 7596 4394 1436 46.17 48.57/48.63 c 67662 499 6905 297696 43 15797 8356 5987 1452 46.59 48.57/48.63 c 69744 490 9269 415181 44 20998 9192 8351 1475 47.28 48.57/48.63 c 72967 489 7948 358040 45 18086 10112 7030 1507 48.40 48.57/48.63 o 5 63.05/63.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 63.05/63.12 c 73732 489 8911 399096 44 20306 5185 7993 1516 48.61 63.05/63.12 c 73832 480 3655 144813 39 9115 5704 2737 1517 48.65 63.05/63.12 c 74082 480 3906 160268 41 9583 6275 2988 1521 48.69 63.05/63.12 c 74557 480 4389 189781 43 10579 6903 3471 1528 48.79 63.05/63.12 c 75371 480 5257 238746 45 12357 7594 4339 1536 49.04 63.05/63.12 c 76691 472 6876 318445 46 16013 8354 5958 1552 49.41 63.05/63.12 c 78772 472 9238 445668 48 21167 9190 8320 1559 50.52 63.05/63.12 c 81996 472 7971 374841 47 18200 10110 7053 1558 52.60 63.05/63.12 c 86932 471 8109 370151 45 18182 11122 7191 1561 55.68 63.05/63.12 c 94439 471 11163 511899 45 25657 12235 10245 1554 60.76 63.05/63.12 o 3 67.86/67.90 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 67.86/67.90 c 99933 442 11357 489326 43 25848 5179 10439 1583 63.09 67.86/67.90 c 100034 421 3689 128252 34 9086 5697 2771 1583 63.17 67.86/67.90 c 100284 421 3987 140378 35 9733 6267 3069 1586 63.22 67.86/67.90 c 100759 421 4576 165975 36 11048 6894 3658 1591 63.30 67.86/67.90 c 101572 421 5603 206722 36 13367 7584 4685 1598 63.52 67.86/67.90 c 102892 421 7520 278385 37 17790 8343 6602 1607 64.01 67.86/67.90 c 104974 403 5625 186195 33 13404 9178 4707 1620 64.79 67.86/67.90 c 108197 387 9483 319828 33 21761 10096 8565 1640 65.93 67.86/67.90 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 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 -x218 -x219 -x220 -x221 -x222 -x223 -x224 x225 x226 -x227 -x228 -x229 -x230 -x231 -x232 x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x113 x114 -x115 -x116 -x117 -x118 -x119 -x120 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 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 x73 x74 -x75 -x76 -x77 -x78 -x79 -x80 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 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 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 x81 -x82 -x83 x84 -x85 -x86 -x87 -x88 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 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 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 x89 x90 -x91 x92 -x93 x94 -x95 x96 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 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 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 x97 x98 -x99 -x100 -x101 -x102 -x103 -x104 -x145 x146 x147 -x148 -x149 -x150 -x151 -x152 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 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 x105 x106 -x107 x108 -x109 -x110 x111 -x112 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 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 -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 -x161 x162 -x163 -x164 -x165 -x166 -x167 -x168 67.86/67.90 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 67.86/67.90 c 40 112110 1668 124115 9458 247897 8540 1651 67.87 67.86/67.90 c Objective: 3 67.86/67.90 s OPTIMUM FOUND 67.86/67.90 c Total time: 67.872 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-1876498-1245186278/watcher-1876498-1245186278 -o /tmp/evaluation-result-1876498-1245186278/solver-1876498-1245186278 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1876498-1245186278.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 5185 /proc/meminfo: memFree=1925544/2055920 swapFree=4181856/4192956 [pid=5185] ppid=5183 vsize=10744 CPUtime=0 /proc/5185/stat : 5185 (bsolo) R 5183 5185 4663 0 -1 4194304 260 0 0 0 0 0 0 0 18 0 1 0 186224479 11001856 244 1992294400 134512640 137136520 4294956256 18446744073709551615 136575102 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5185/statm: 2686 245 177 640 0 2033 0 [startup+0.101665 s] /proc/loadavg: 1.00 1.00 1.00 3/64 5185 /proc/meminfo: memFree=1925544/2055920 swapFree=4181856/4192956 [pid=5185] ppid=5183 vsize=11488 CPUtime=0.09 /proc/5185/stat : 5185 (bsolo) R 5183 5185 4663 0 -1 4194304 474 0 0 0 9 0 0 0 18 0 1 0 186224479 11763712 449 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5185/statm: 2872 449 198 640 0 2228 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11488 [startup+0.201684 s] /proc/loadavg: 1.00 1.00 1.00 3/64 5185 /proc/meminfo: memFree=1925544/2055920 swapFree=4181856/4192956 [pid=5185] ppid=5183 vsize=12128 CPUtime=0.19 /proc/5185/stat : 5185 (bsolo) R 5183 5185 4663 0 -1 4194304 630 0 0 0 19 0 0 0 18 0 1 0 186224479 12419072 605 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5185/statm: 3032 605 198 640 0 2388 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 12128 [startup+0.301702 s] /proc/loadavg: 1.00 1.00 1.00 3/64 5185 /proc/meminfo: memFree=1925544/2055920 swapFree=4181856/4192956 [pid=5185] ppid=5183 vsize=12504 CPUtime=0.29 /proc/5185/stat : 5185 (bsolo) R 5183 5185 4663 0 -1 4194304 740 0 0 0 29 0 0 0 19 0 1 0 186224479 12804096 715 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5185/statm: 3126 715 198 640 0 2482 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12504 [startup+0.701775 s] /proc/loadavg: 1.00 1.00 1.00 3/64 5185 /proc/meminfo: memFree=1925544/2055920 swapFree=4181856/4192956 [pid=5185] ppid=5183 vsize=14008 CPUtime=0.69 /proc/5185/stat : 5185 (bsolo) R 5183 5185 4663 0 -1 4194304 1115 0 0 0 68 1 0 0 23 0 1 0 186224479 14344192 1090 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5185/statm: 3502 1090 198 640 0 2858 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14008 [startup+1.50192 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5186 /proc/meminfo: memFree=1920928/2055920 swapFree=4181856/4192956 [pid=5185] ppid=5183 vsize=15784 CPUtime=1.49 /proc/5185/stat : 5185 (bsolo) R 5183 5185 4663 0 -1 4194304 1542 0 0 0 148 1 0 0 25 0 1 0 186224479 16162816 1517 1992294400 134512640 137136520 4294956256 18446744073709551615 136502148 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5185/statm: 3946 1517 198 640 0 3302 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15784 [startup+3.10121 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5186 /proc/meminfo: memFree=1919136/2055920 swapFree=4181856/4192956 [pid=5185] ppid=5183 vsize=19944 CPUtime=3.09 /proc/5185/stat : 5185 (bsolo) R 5183 5185 4663 0 -1 4194304 2596 0 0 0 307 2 0 0 25 0 1 0 186224479 20422656 2571 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5185/statm: 4986 2571 198 640 0 4342 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 19944 [startup+6.3018 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5186 /proc/meminfo: memFree=1912928/2055920 swapFree=4181856/4192956 [pid=5185] ppid=5183 vsize=23968 CPUtime=6.28 /proc/5185/stat : 5185 (bsolo) R 5183 5185 4663 0 -1 4194304 3599 0 0 0 625 3 0 0 25 0 1 0 186224479 24543232 3574 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5185/statm: 5992 3574 198 640 0 5348 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 23968 [startup+12.702 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5186 /proc/meminfo: memFree=1911520/2055920 swapFree=4181856/4192956 [pid=5185] ppid=5183 vsize=24216 CPUtime=12.68 /proc/5185/stat : 5185 (bsolo) R 5183 5185 4663 0 -1 4194304 3672 0 0 0 1263 5 0 0 25 0 1 0 186224479 24797184 3647 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5185/statm: 6054 3647 198 640 0 5410 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 24216 [startup+25.5013 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5186 /proc/meminfo: memFree=1910048/2055920 swapFree=4181856/4192956 [pid=5185] ppid=5183 vsize=25824 CPUtime=25.48 /proc/5185/stat : 5185 (bsolo) R 5183 5185 4663 0 -1 4194304 4065 0 0 0 2540 8 0 0 25 0 1 0 186224479 26443776 4040 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5185/statm: 6456 4040 198 640 0 5812 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 25824 [startup+51.102 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5186 /proc/meminfo: memFree=1908960/2055920 swapFree=4181856/4192956 [pid=5185] ppid=5183 vsize=26920 CPUtime=51.07 /proc/5185/stat : 5185 (bsolo) R 5183 5185 4663 0 -1 4194304 4352 0 0 0 5093 14 0 0 25 0 1 0 186224479 27566080 4327 1992294400 134512640 137136520 4294956256 18446744073709551615 134544419 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5185/statm: 6730 4327 198 640 0 6086 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 26920 Solver just ended. Dumping a history of the last processes samples [startup+51.202 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5186 /proc/meminfo: memFree=1908960/2055920 swapFree=4181856/4192956 [pid=5185] ppid=5183 vsize=26920 CPUtime=51.17 /proc/5185/stat : 5185 (bsolo) R 5183 5185 4663 0 -1 4194304 4352 0 0 0 5103 14 0 0 25 0 1 0 186224479 27566080 4327 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5185/statm: 6730 4327 198 640 0 6086 0 Current children cumulated CPU time (s) 51.17 Current children cumulated vsize (KiB) 26920 [startup+57.6012 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5186 /proc/meminfo: memFree=1908960/2055920 swapFree=4181856/4192956 [pid=5185] ppid=5183 vsize=26916 CPUtime=57.57 /proc/5185/stat : 5185 (bsolo) R 5183 5185 4663 0 -1 4194304 4352 0 0 0 5742 15 0 0 25 0 1 0 186224479 27561984 4327 1992294400 134512640 137136520 4294956256 18446744073709551615 134544437 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5185/statm: 6729 4327 198 640 0 6085 0 Current children cumulated CPU time (s) 57.57 Current children cumulated vsize (KiB) 26916 [startup+64.0013 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5186 /proc/meminfo: memFree=1908960/2055920 swapFree=4181856/4192956 [pid=5185] ppid=5183 vsize=26916 CPUtime=63.96 /proc/5185/stat : 5185 (bsolo) R 5183 5185 4663 0 -1 4194304 4352 0 0 0 6380 16 0 0 25 0 1 0 186224479 27561984 4327 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5185/statm: 6729 4327 198 640 0 6085 0 Current children cumulated CPU time (s) 63.96 Current children cumulated vsize (KiB) 26916 [startup+65.6016 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5186 /proc/meminfo: memFree=1908960/2055920 swapFree=4181856/4192956 [pid=5185] ppid=5183 vsize=26916 CPUtime=65.56 /proc/5185/stat : 5185 (bsolo) R 5183 5185 4663 0 -1 4194304 4352 0 0 0 6540 16 0 0 25 0 1 0 186224479 27561984 4327 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5185/statm: 6729 4327 198 640 0 6085 0 Current children cumulated CPU time (s) 65.56 Current children cumulated vsize (KiB) 26916 [startup+67.2059 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5186 /proc/meminfo: memFree=1908960/2055920 swapFree=4181856/4192956 [pid=5185] ppid=5183 vsize=26916 CPUtime=67.17 /proc/5185/stat : 5185 (bsolo) R 5183 5185 4663 0 -1 4194304 4352 0 0 0 6700 17 0 0 25 0 1 0 186224479 27561984 4327 1992294400 134512640 137136520 4294956256 18446744073709551615 136499666 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5185/statm: 6729 4327 198 640 0 6085 0 Current children cumulated CPU time (s) 67.17 Current children cumulated vsize (KiB) 26916 [startup+67.602 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5186 /proc/meminfo: memFree=1908960/2055920 swapFree=4181856/4192956 [pid=5185] ppid=5183 vsize=26916 CPUtime=67.56 /proc/5185/stat : 5185 (bsolo) R 5183 5185 4663 0 -1 4194304 4352 0 0 0 6739 17 0 0 25 0 1 0 186224479 27561984 4327 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5185/statm: 6729 4327 198 640 0 6085 0 Current children cumulated CPU time (s) 67.56 Current children cumulated vsize (KiB) 26916 [startup+67.802 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5186 /proc/meminfo: memFree=1908960/2055920 swapFree=4181856/4192956 [pid=5185] ppid=5183 vsize=26916 CPUtime=67.76 /proc/5185/stat : 5185 (bsolo) R 5183 5185 4663 0 -1 4194304 4352 0 0 0 6759 17 0 0 25 0 1 0 186224479 27561984 4327 1992294400 134512640 137136520 4294956256 18446744073709551615 136502391 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5185/statm: 6729 4327 198 640 0 6085 0 Current children cumulated CPU time (s) 67.76 Current children cumulated vsize (KiB) 26916 [startup+67.901 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5186 /proc/meminfo: memFree=1908960/2055920 swapFree=4181856/4192956 [pid=5185] ppid=5183 vsize=26916 CPUtime=67.86 /proc/5185/stat : 5185 (bsolo) R 5183 5185 4663 0 -1 4194304 4352 0 0 0 6769 17 0 0 25 0 1 0 186224479 27561984 4327 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5185/statm: 6729 4327 198 640 0 6085 0 Current children cumulated CPU time (s) 67.86 Current children cumulated vsize (KiB) 26916 Child status: 0 Real time (s): 67.9102 CPU time (s): 67.8767 CPU user time (s): 67.7007 CPU system time (s): 0.175973 CPU usage (%): 99.9507 Max. virtual memory (cumulated for all children) (KiB): 26928 getrusage(RUSAGE_CHILDREN,...) data: user time used= 67.7007 system time used= 0.175973 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4354 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= 222 runsolver used 0.057991 second user time and 0.19497 second system time The end
Begin job on node44 at 2009-06-16 23:04:38 IDJOB=1876498 IDBENCH=47908 IDSOLVER=699 FILE ID=node44/1876498-1245186278 PBS_JOBID= 9363905 Free space on /tmp= 65924 MiB SOLVER NAME= bsolo 3.1 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=89-P1=127-P2=191-P3=17-P4=97-P5=227-P6=191-P7=41-B.opb COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1876498-1245186278/watcher-1876498-1245186278 -o /tmp/evaluation-result-1876498-1245186278/solver-1876498-1245186278 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1876498-1245186278.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 3f50fdda997abfe5e5c5cddf7b7c1313 RANDOM SEED=2006549305 node44.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.263 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.263 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: 1927560 kB Buffers: 8856 kB Cached: 52556 kB SwapCached: 5024 kB Active: 33840 kB Inactive: 35544 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1927560 kB SwapTotal: 4192956 kB SwapFree: 4181856 kB Dirty: 3976 kB Writeback: 0 kB Mapped: 13868 kB Slab: 44892 kB Committed_AS: 170384 kB PageTables: 1388 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-1876498-1245186278.opb Free space on /tmp at the end= 65920 MiB End job on node44 at 2009-06-16 23:05:46