Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 cl | SAT | 66 | 1798.12 | 1798.58 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/ttp/normalized-circ6_3.opb |
MD5SUM | ff9be653d1d3ea3b1a82846016e94df6 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 66 |
Best CPU time to get the best result obtained on this benchmark | 1798.12 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 64 |
Optimality of the best value was proved | NO |
Number of variables | 540 |
Total number of constraints | 4476 |
Number of constraints which are clauses | 2532 |
Number of constraints which are cardinality constraints (but not clauses) | 264 |
Number of constraints which are nor clauses,nor cardinality constraints | 1680 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 20 |
Number of terms in the objective function | 180 |
Biggest coefficient in the objective function | 3 |
Number of bits for the biggest coefficient in the objective function | 2 |
Sum of the numbers in the objective function | 324 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 16 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 324 |
Number of bits of the biggest sum of numbers | 9 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
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-1878537-1245146553.opb 0.00/0.00 c File size is 202558 bytes. 0.02/0.02 c Highest Coefficient sum: 324 0.02/0.02 c Parsing was ok!! 0.02/0.02 c Total parsing time: 0.029 s 0.02/0.03 c Var: 540 Constr: 4626 2682/264/1680 Lit: 21888 Watch. Lit: 10776 0.02/0.03 c Obj. Vars: 180 (33.3333 % of total variables) 0.02/0.07 c Pre-processing Time: 0.07 s 0.02/0.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.02/0.07 c 0 540 4626 21888 4 14136 31514 0 0 0.07 0.02/0.07 c Switching off lower bounding mode. 0.09/0.19 c 102 540 4728 24341 5 15402 34666 102 1324 0.08 0.09/0.19 c 252 540 4878 30893 6 15068 38133 252 2545 0.10 0.09/0.19 c 480 540 5106 44282 8 15284 41947 480 3356 0.14 0.09/0.19 o 84 0.09/0.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.19 c 646 540 5273 60607 11 15570 31874 647 3312 0.20 0.09/0.19 o 82 0.19/0.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.20 c 647 540 5275 60866 11 15691 31874 649 3301 0.20 0.19/0.20 o 80 0.19/0.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.23 c 671 540 5300 62768 11 15953 31874 674 3338 0.20 0.19/0.23 c 771 540 5400 67222 12 16342 35062 774 3426 0.23 0.19/0.23 o 78 0.29/0.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.31 c 802 540 5432 69145 12 16356 31874 806 3398 0.24 0.29/0.31 c 902 540 5532 74805 13 16544 35062 906 3403 0.27 0.29/0.31 o 74 5.49/5.53 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.49/5.53 c 1064 540 5695 86904 15 17085 31874 1069 3345 0.32 5.49/5.53 c 1164 540 5795 93735 16 17276 35062 1169 3354 0.35 5.49/5.53 c 1415 540 6046 112839 18 18259 38569 1420 3306 0.43 5.49/5.53 c 1891 540 6522 147124 22 19058 42426 1896 3282 0.58 5.49/5.53 c 2706 540 7337 216907 29 20285 46669 2711 2912 0.93 5.49/5.53 c 4026 540 8657 334486 38 23659 51336 4031 2419 1.66 5.49/5.53 c 6108 540 10739 485749 45 27722 56470 6113 2046 2.98 5.49/5.53 o 72 335.50/335.62 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 335.50/335.62 c 8345 540 12977 684158 52 32657 31874 8351 1507 5.54 335.50/335.62 c 8446 540 13078 690029 52 32526 35062 8452 1490 5.67 335.50/335.62 c 8696 540 13328 702865 52 32917 38569 8702 1460 5.96 335.50/335.62 c 9171 540 13803 737678 53 33823 42426 9177 1419 6.46 335.50/335.62 c 9987 540 14619 819055 56 34827 46669 9993 1314 7.60 335.50/335.62 c 11307 540 15939 912762 57 37918 51336 11313 1182 9.56 335.50/335.62 c 13388 540 18020 1133639 62 42009 56470 13394 941 14.22 335.50/335.62 c 16612 540 21244 1422269 66 48727 62118 16618 725 22.90 335.50/335.62 c 21548 540 26180 1937870 74 58696 68330 21554 527 40.85 335.50/335.62 c 29054 540 33686 2737934 81 74071 75164 29060 393 73.90 335.50/335.62 c 40415 540 45047 4131623 91 96382 82681 40421 298 135.31 335.50/335.62 c 57559 540 62191 5986847 96 130214 90950 57565 175 327.21 335.50/335.62 o 70 349.30/349.41 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 349.30/349.41 c 58320 540 62953 6057422 96 132451 31874 58327 173 335.54 349.30/349.41 c 58420 540 19889 1377002 69 45547 35062 15263 173 337.47 349.30/349.41 c 58670 540 20139 1397477 69 45514 38569 15513 173 338.24 349.30/349.41 c 59145 540 20614 1439727 69 46089 42426 15988 174 339.48 349.30/349.41 c 59960 540 21429 1506681 70 47746 46669 16803 175 342.16 349.30/349.41 c 61283 540 22752 1633844 71 50583 51336 18126 176 346.80 349.30/349.41 o 68 349.30/349.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 349.30/349.47 c 61922 540 23392 1700866 72 51854 31874 18766 177 349.33 349.30/349.47 o 66 1798.04/1798.55 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1798.04/1798.55 c 61937 540 23408 1702649 72 52027 31874 18782 177 349.38 1798.04/1798.55 c 62037 540 23508 1715831 72 52376 35062 18882 177 349.80 1798.04/1798.55 c 62287 540 23758 1737570 73 53146 38569 19132 177 350.66 1798.04/1798.55 c 62762 540 24233 1782968 73 54323 42426 19607 178 352.32 1798.04/1798.55 c 63576 540 25047 1862362 74 55695 46669 20421 178 355.43 1798.04/1798.55 c 64896 540 26367 1965313 74 58493 51336 21741 179 361.20 1798.04/1798.55 c 66977 540 28448 2143719 75 62382 56470 23822 180 370.06 1798.04/1798.55 c 70201 540 31672 2492711 78 68531 62118 27046 182 385.01 1798.04/1798.55 c 75139 540 36610 3026903 82 78799 68330 31984 182 411.89 1798.04/1798.55 c 82645 540 44116 3902662 88 94120 75164 39490 182 453.23 1798.04/1798.55 c 94006 540 55477 5145054 92 116615 82681 50851 173 542.12 1798.04/1798.55 c 111150 540 72621 7196861 99 151018 90950 67995 152 728.22 1798.04/1798.55 c 136976 540 25087 1837739 73 55909 100046 20461 118 1152.15 1798.04/1798.55 c 175809 540 63920 6365513 99 133186 110051 59294 116 1510.39 1798.04/1798.55 c Resources Exceeded 1798.04/1798.55 v -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 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 -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 -x2 -x38 -x74 -x110 -x146 -x182 -x218 -x254 -x290 x326 -x3 -x39 -x75 -x111 -x147 -x183 -x219 -x255 x291 -x327 -x4 -x40 -x76 -x112 x148 -x184 -x220 -x256 -x292 -x328 -x5 -x41 -x77 x113 -x149 -x185 -x221 -x257 -x293 -x329 -x6 -x42 x78 -x114 -x150 -x186 -x222 -x258 -x294 -x330 -x7 x43 -x79 -x115 -x151 -x187 -x223 -x259 -x295 -x331 -x9 -x45 x81 -x117 -x153 -x189 -x225 -x261 -x297 -x333 -x10 -x46 -x82 x118 -x154 -x190 -x226 -x262 -x298 -x334 -x11 -x47 -x83 -x119 -x155 -x191 -x227 -x263 x299 -x335 -x12 -x48 -x84 -x120 -x156 -x192 -x228 x264 -x300 -x336 -x13 -x49 -x85 -x121 -x157 x193 -x229 -x265 -x301 -x337 x14 -x50 -x86 -x122 -x158 -x194 -x230 -x266 -x302 -x338 -x16 x52 -x88 -x124 -x160 -x196 -x232 -x268 -x304 -x340 -x17 -x53 -x89 -x125 -x161 -x197 -x233 x269 -x305 -x341 -x18 -x54 -x90 -x126 -x162 -x198 x234 -x270 -x306 -x342 -x19 -x55 -x91 -x127 -x163 -x199 -x235 x271 -x307 -x343 -x20 -x56 -x92 -x128 -x164 -x200 x236 -x272 -x308 -x344 -x21 -x57 -x93 -x129 -x165 -x201 -x237 -x273 -x309 x345 -x23 -x59 x95 -x131 -x167 -x203 -x239 -x275 -x311 -x347 -x24 -x60 -x96 -x132 -x168 x204 -x240 -x276 -x312 -x348 -x25 -x61 -x97 -x133 -x169 -x205 x241 -x277 -x313 -x349 -x26 -x62 -x98 -x134 -x170 x206 -x242 -x278 -x314 -x350 -x27 -x63 -x99 -x135 x171 -x207 -x243 -x279 -x315 -x351 x28 -x64 -x100 -x136 -x172 -x208 -x244 -x280 -x316 -x352 -x30 x66 -x102 -x138 -x174 -x210 -x246 -x282 -x318 -x354 x31 -x67 -x103 -x139 -x175 -x211 -x247 -x283 -x319 -x355 -x32 -x68 -x104 -x140 x176 -x212 -x248 -x284 -x320 -x356 -x33 -x69 -x105 x141 -x177 -x213 -x249 -x285 -x321 -x357 -x34 -x70 -x106 -x142 -x178 -x214 -x250 -x286 x322 -x358 -x35 -x71 -x107 -x143 -x179 -x215 -x251 -x287 -x323 x359 x8 -x44 -x80 -x116 x152 x188 x224 -x260 -x296 x332 -x15 -x51 x87 x123 x159 -x195 -x231 -x267 x303 x339 x22 x58 -x94 x130 x166 -x202 -x238 -x274 x310 -x346 -x29 -x65 x101 x137 -x173 -x209 -x245 x281 x317 x353 -x36 x72 x108 -x144 -x180 x216 x252 x288 -x324 -x360 x1 x37 -x73 -x109 -x145 x181 x217 x253 -x289 -x325 1798.04/1798.55 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1798.04/1798.55 c 49 196250 48672 351852 84361 8959875 79735 109 1798.10 1798.04/1798.55 c Objective: 66 1798.04/1798.55 s SATISFIABLE 1798.04/1798.55 c Total time: 1798.1 s
OK 66
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1878537-1245146553/watcher-1878537-1245146553 -o /tmp/evaluation-result-1878537-1245146553/solver-1878537-1245146553 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878537-1245146553.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 864 /proc/meminfo: memFree=1867816/2055920 swapFree=4182564/4192956 [pid=864] ppid=862 vsize=10908 CPUtime=0 /proc/864/stat : 864 (bsolo) R 862 864 741 0 -1 4194304 252 0 0 0 0 0 0 0 18 0 1 0 182255602 11169792 236 1992294400 134512640 137136520 4294956256 18446744073709551615 136575102 0 0 4096 16384 0 0 0 17 1 0 0 /proc/864/statm: 2727 236 175 640 0 2033 0 [startup+0.029482 s] /proc/loadavg: 1.00 1.00 1.00 3/64 864 /proc/meminfo: memFree=1867816/2055920 swapFree=4182564/4192956 [pid=864] ppid=862 vsize=11452 CPUtime=0.02 /proc/864/stat : 864 (bsolo) R 862 864 741 0 -1 4194304 427 0 0 0 2 0 0 0 18 0 1 0 182255602 11726848 411 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/864/statm: 2863 412 219 640 0 2169 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 11452 [startup+0.101488 s] /proc/loadavg: 1.00 1.00 1.00 3/64 864 /proc/meminfo: memFree=1867816/2055920 swapFree=4182564/4192956 [pid=864] ppid=862 vsize=11800 CPUtime=0.09 /proc/864/stat : 864 (bsolo) R 862 864 741 0 -1 4194304 641 0 0 0 9 0 0 0 18 0 1 0 182255602 12083200 548 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/864/statm: 2950 548 196 640 0 2306 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11800 [startup+0.301508 s] /proc/loadavg: 1.00 1.00 1.00 3/64 864 /proc/meminfo: memFree=1867816/2055920 swapFree=4182564/4192956 [pid=864] ppid=862 vsize=12556 CPUtime=0.29 /proc/864/stat : 864 (bsolo) R 862 864 741 0 -1 4194304 809 0 0 0 28 1 0 0 19 0 1 0 182255602 12857344 716 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/864/statm: 3139 716 197 640 0 2495 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12556 [startup+0.701548 s] /proc/loadavg: 1.00 1.00 1.00 3/64 864 /proc/meminfo: memFree=1867816/2055920 swapFree=4182564/4192956 [pid=864] ppid=862 vsize=13820 CPUtime=0.69 /proc/864/stat : 864 (bsolo) R 862 864 741 0 -1 4194304 1125 0 0 0 68 1 0 0 22 0 1 0 182255602 14151680 1032 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/864/statm: 3455 1032 197 640 0 2811 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13820 [startup+1.50163 s] /proc/loadavg: 1.00 1.00 1.00 2/65 865 /proc/meminfo: memFree=1863648/2055920 swapFree=4182564/4192956 [pid=864] ppid=862 vsize=15744 CPUtime=1.49 /proc/864/stat : 864 (bsolo) R 862 864 741 0 -1 4194304 1610 0 0 0 148 1 0 0 25 0 1 0 182255602 16121856 1517 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/864/statm: 3936 1517 197 640 0 3292 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15744 [startup+3.10179 s] /proc/loadavg: 1.00 1.00 1.00 2/65 865 /proc/meminfo: memFree=1861344/2055920 swapFree=4182564/4192956 [pid=864] ppid=862 vsize=18416 CPUtime=3.09 /proc/864/stat : 864 (bsolo) R 862 864 741 0 -1 4194304 2271 0 0 0 306 3 0 0 25 0 1 0 182255602 18857984 2178 1992294400 134512640 137136520 4294956256 18446744073709551615 134573838 0 0 4096 16384 0 0 0 17 1 0 0 /proc/864/statm: 4604 2178 197 640 0 3960 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 18416 [startup+6.30212 s] /proc/loadavg: 1.08 1.02 1.01 2/65 865 /proc/meminfo: memFree=1857000/2055920 swapFree=4182564/4192956 [pid=864] ppid=862 vsize=21696 CPUtime=6.29 /proc/864/stat : 864 (bsolo) R 862 864 741 0 -1 4194304 3096 0 0 0 625 4 0 0 25 0 1 0 182255602 22216704 3003 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/864/statm: 5424 3003 197 640 0 4780 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 21696 [startup+12.7018 s] /proc/loadavg: 1.07 1.02 1.00 2/65 865 /proc/meminfo: memFree=1852016/2055920 swapFree=4182564/4192956 [pid=864] ppid=862 vsize=26268 CPUtime=12.69 /proc/864/stat : 864 (bsolo) R 862 864 741 0 -1 4194304 4244 0 0 0 1263 6 0 0 25 0 1 0 182255602 26898432 4151 1992294400 134512640 137136520 4294956256 18446744073709551615 134544345 0 0 4096 16384 0 0 0 17 1 0 0 /proc/864/statm: 6567 4151 197 640 0 5923 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 26268 [startup+25.5011 s] /proc/loadavg: 1.06 1.01 1.00 2/65 865 /proc/meminfo: memFree=1845552/2055920 swapFree=4182564/4192956 [pid=864] ppid=862 vsize=32512 CPUtime=25.48 /proc/864/stat : 864 (bsolo) R 862 864 741 0 -1 4194304 5814 0 0 0 2538 10 0 0 25 0 1 0 182255602 33292288 5721 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/864/statm: 8128 5721 197 640 0 7484 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 32512 [startup+51.1017 s] /proc/loadavg: 1.04 1.01 1.00 2/65 865 /proc/meminfo: memFree=1836080/2055920 swapFree=4182564/4192956 [pid=864] ppid=862 vsize=42040 CPUtime=51.08 /proc/864/stat : 864 (bsolo) R 862 864 741 0 -1 4194304 8173 0 0 0 5093 15 0 0 25 0 1 0 182255602 43048960 8080 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/864/statm: 10510 8080 197 640 0 9866 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 42040 [startup+102.306 s] /proc/loadavg: 1.01 1.01 1.00 2/65 865 /proc/meminfo: memFree=1819056/2055920 swapFree=4182564/4192956 [pid=864] ppid=862 vsize=58848 CPUtime=102.27 /proc/864/stat : 864 (bsolo) R 862 864 741 0 -1 4194304 12376 0 0 0 10204 23 0 0 25 0 1 0 182255602 60260352 12283 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/864/statm: 14712 12283 197 640 0 14068 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 58848 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 865 /proc/meminfo: memFree=1805104/2055920 swapFree=4182564/4192956 [pid=864] ppid=862 vsize=72648 CPUtime=162.25 /proc/864/stat : 864 (bsolo) R 862 864 741 0 -1 4194304 15850 0 0 0 16196 29 0 0 25 0 1 0 182255602 74391552 15757 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/864/statm: 18162 15757 197 640 0 17518 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 72648 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 865 /proc/meminfo: memFree=1796144/2055920 swapFree=4182564/4192956 [pid=864] ppid=862 vsize=81644 CPUtime=222.24 /proc/864/stat : 864 (bsolo) R 862 864 741 0 -1 4194304 18085 0 0 0 22189 35 0 0 25 0 1 0 182255602 83603456 17992 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/864/statm: 20411 17992 197 640 0 19767 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 81644 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 865 /proc/meminfo: memFree=1788720/2055920 swapFree=4182564/4192956 [pid=864] ppid=862 vsize=89020 CPUtime=282.22 /proc/864/stat : 864 (bsolo) R 862 864 741 0 -1 4194304 19933 0 0 0 28183 39 0 0 25 0 1 0 182255602 91156480 19840 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/864/statm: 22255 19840 197 640 0 21611 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 89020 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 865 /proc/meminfo: memFree=1782320/2055920 swapFree=4182564/4192956 [pid=864] ppid=862 vsize=95112 CPUtime=342.21 /proc/864/stat : 864 (bsolo) R 862 864 741 0 -1 4194304 21511 0 0 0 34178 43 0 0 25 0 1 0 182255602 97394688 21361 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/864/statm: 23778 21361 197 640 0 23134 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 95112 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 865 /proc/meminfo: memFree=1782320/2055920 swapFree=4182564/4192956 [pid=864] ppid=862 vsize=95112 CPUtime=402.19 /proc/864/stat : 864 (bsolo) R 862 864 741 0 -1 4194304 21511 0 0 0 40172 47 0 0 25 0 1 0 182255602 97394688 21361 1992294400 134512640 137136520 4294956256 18446744073709551615 134544125 0 0 4096 16384 0 0 0 17 1 0 0 /proc/864/statm: 23778 21361 197 640 0 23134 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 95112 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 865 /proc/meminfo: memFree=1782320/2055920 swapFree=4182564/4192956 [pid=864] ppid=862 vsize=95112 CPUtime=462.17 /proc/864/stat : 864 (bsolo) R 862 864 741 0 -1 4194304 21511 0 0 0 46167 50 0 0 25 0 1 0 182255602 97394688 21361 1992294400 134512640 137136520 4294956256 18446744073709551615 134544437 0 0 4096 16384 0 0 0 17 1 0 0 /proc/864/statm: 23778 21361 197 640 0 23134 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 95112 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 865 /proc/meminfo: memFree=1782384/2055920 swapFree=4182564/4192956 [pid=864] ppid=862 vsize=95112 CPUtime=522.16 /proc/864/stat : 864 (bsolo) R 862 864 741 0 -1 4194304 21511 0 0 0 52163 53 0 0 25 0 1 0 182255602 97394688 21361 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/864/statm: 23778 21361 197 640 0 23134 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 95112 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 865 /proc/meminfo: memFree=1782384/2055920 swapFree=4182564/4192956 [pid=864] ppid=862 vsize=95112 CPUtime=582.14 /proc/864/stat : 864 (bsolo) R 862 864 741 0 -1 4194304 21511 0 0 0 58159 55 0 0 25 0 1 0 182255602 97394688 21361 1992294400 134512640 137136520 4294956256 18446744073709551615 136518894 0 0 4096 16384 0 0 0 17 1 0 0 /proc/864/statm: 23778 21361 197 640 0 23134 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 95112 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 865 /proc/meminfo: memFree=1778928/2055920 swapFree=4182564/4192956 [pid=864] ppid=862 vsize=98552 CPUtime=642.13 /proc/864/stat : 864 (bsolo) R 862 864 741 0 -1 4194304 22364 0 0 0 64155 58 0 0 25 0 1 0 182255602 100917248 22214 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/864/statm: 24638 22214 197 640 0 23994 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 98552 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1736112/2055920 swapFree=4182564/4192956 [pid=864] ppid=862 vsize=141168 CPUtime=1062.03 /proc/864/stat : 864 (bsolo) R 862 864 741 0 -1 4194304 33017 0 0 0 106124 79 0 0 25 0 1 0 182255602 144556032 32867 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/864/statm: 35292 32867 197 640 0 34648 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 141168 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 865 /proc/meminfo: memFree=1731632/2055920 swapFree=4182564/4192956 [pid=864] ppid=862 vsize=145536 CPUtime=1122 /proc/864/stat : 864 (bsolo) R 862 864 741 0 -1 4194304 34114 0 0 0 112119 81 0 0 25 0 1 0 182255602 149028864 33964 1992294400 134512640 137136520 4294956256 18446744073709551615 135982528 0 0 4096 16384 0 0 0 17 1 0 0 /proc/864/statm: 36384 33964 197 640 0 35740 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 145536 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 865 /proc/meminfo: memFree=1730608/2055920 swapFree=4182564/4192956 [pid=864] ppid=862 vsize=146328 CPUtime=1181.99 /proc/864/stat : 864 (bsolo) R 862 864 741 0 -1 4194304 34407 0 0 0 118114 85 0 0 25 0 1 0 182255602 149839872 34168 1992294400 134512640 137136520 4294956256 18446744073709551615 134543855 0 0 4096 16384 0 0 0 17 1 0 0 /proc/864/statm: 36582 34168 197 640 0 35938 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 146328 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 865 /proc/meminfo: memFree=1730608/2055920 swapFree=4182564/4192956 [pid=864] ppid=862 vsize=146328 CPUtime=1241.98 /proc/864/stat : 864 (bsolo) R 862 864 741 0 -1 4194304 34407 0 0 0 124110 88 0 0 25 0 1 0 182255602 149839872 34168 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/864/statm: 36582 34168 197 640 0 35938 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 146328 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 865 /proc/meminfo: memFree=1730608/2055920 swapFree=4182564/4192956 [pid=864] ppid=862 vsize=146328 CPUtime=1301.97 /proc/864/stat : 864 (bsolo) R 862 864 741 0 -1 4194304 34407 0 0 0 130107 90 0 0 25 0 1 0 182255602 149839872 34168 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/864/statm: 36582 34168 197 640 0 35938 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 146328 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 865 /proc/meminfo: memFree=1730608/2055920 swapFree=4182564/4192956 [pid=864] ppid=862 vsize=146328 CPUtime=1361.94 /proc/864/stat : 864 (bsolo) R 862 864 741 0 -1 4194304 34407 0 0 0 136102 92 0 0 25 0 1 0 182255602 149839872 34168 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/864/statm: 36582 34168 197 640 0 35938 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 146328 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 865 /proc/meminfo: memFree=1730608/2055920 swapFree=4182564/4192956 [pid=864] ppid=862 vsize=146328 CPUtime=1421.93 /proc/864/stat : 864 (bsolo) R 862 864 741 0 -1 4194304 34407 0 0 0 142099 94 0 0 25 0 1 0 182255602 149839872 34168 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/864/statm: 36582 34168 197 640 0 35938 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 146328 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 865 /proc/meminfo: memFree=1730608/2055920 swapFree=4182564/4192956 [pid=864] ppid=862 vsize=146328 CPUtime=1481.92 /proc/864/stat : 864 (bsolo) R 862 864 741 0 -1 4194304 34407 0 0 0 148096 96 0 0 25 0 1 0 182255602 149839872 34168 1992294400 134512640 137136520 4294956256 18446744073709551615 134543869 0 0 4096 16384 0 0 0 17 1 0 0 /proc/864/statm: 36582 34168 197 640 0 35938 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 146328 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 865 /proc/meminfo: memFree=1730544/2055920 swapFree=4182564/4192956 [pid=864] ppid=862 vsize=146328 CPUtime=1541.9 /proc/864/stat : 864 (bsolo) R 862 864 741 0 -1 4194304 34407 0 0 0 154092 98 0 0 25 0 1 0 182255602 149839872 34168 1992294400 134512640 137136520 4294956256 18446744073709551615 135982525 0 0 4096 16384 0 0 0 17 1 0 0 /proc/864/statm: 36582 34168 197 640 0 35938 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 146328 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 865 /proc/meminfo: memFree=1730544/2055920 swapFree=4182564/4192956 [pid=864] ppid=862 vsize=146328 CPUtime=1601.89 /proc/864/stat : 864 (bsolo) R 862 864 741 0 -1 4194304 34407 0 0 0 160089 100 0 0 25 0 1 0 182255602 149839872 34168 1992294400 134512640 137136520 4294956256 18446744073709551615 134544434 0 0 4096 16384 0 0 0 17 1 0 0 /proc/864/statm: 36582 34168 197 640 0 35938 0 Current children cumulated CPU time (s) 1601.89 Current children cumulated vsize (KiB) 146328 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 865 /proc/meminfo: memFree=1730480/2055920 swapFree=4182564/4192956 [pid=864] ppid=862 vsize=146328 CPUtime=1661.86 /proc/864/stat : 864 (bsolo) R 862 864 741 0 -1 4194304 34407 0 0 0 166085 101 0 0 25 0 1 0 182255602 149839872 34168 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/864/statm: 36582 34168 197 640 0 35938 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 146328 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 865 /proc/meminfo: memFree=1730480/2055920 swapFree=4182564/4192956 [pid=864] ppid=862 vsize=146328 CPUtime=1721.85 /proc/864/stat : 864 (bsolo) R 862 864 741 0 -1 4194304 34407 0 0 0 172082 103 0 0 25 0 1 0 182255602 149839872 34168 1992294400 134512640 137136520 4294956256 18446744073709551615 134544411 0 0 4096 16384 0 0 0 17 1 0 0 /proc/864/statm: 36582 34168 197 640 0 35938 0 Current children cumulated CPU time (s) 1721.85 Current children cumulated vsize (KiB) 146328 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 865 /proc/meminfo: memFree=1730416/2055920 swapFree=4182564/4192956 [pid=864] ppid=862 vsize=146328 CPUtime=1781.84 /proc/864/stat : 864 (bsolo) R 862 864 741 0 -1 4194304 34407 0 0 0 178079 105 0 0 25 0 1 0 182255602 149839872 34168 1992294400 134512640 137136520 4294956256 18446744073709551615 134544411 0 0 4096 16384 0 0 0 17 1 0 0 /proc/864/statm: 36582 34168 197 640 0 35938 0 Current children cumulated CPU time (s) 1781.84 Current children cumulated vsize (KiB) 146328 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/65 865 /proc/meminfo: memFree=1730416/2055920 swapFree=4182564/4192956 [pid=864] ppid=862 vsize=146328 CPUtime=1791.44 /proc/864/stat : 864 (bsolo) R 862 864 741 0 -1 4194304 34407 0 0 0 179039 105 0 0 25 0 1 0 182255602 149839872 34168 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/864/statm: 36582 34168 197 640 0 35938 0 Current children cumulated CPU time (s) 1791.44 Current children cumulated vsize (KiB) 146328 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/65 865 /proc/meminfo: memFree=1730416/2055920 swapFree=4182564/4192956 [pid=864] ppid=862 vsize=146328 CPUtime=1794.64 /proc/864/stat : 864 (bsolo) R 862 864 741 0 -1 4194304 34407 0 0 0 179359 105 0 0 25 0 1 0 182255602 149839872 34168 1992294400 134512640 137136520 4294956256 18446744073709551615 135982480 0 0 4096 16384 0 0 0 17 1 0 0 /proc/864/statm: 36582 34168 197 640 0 35938 0 Current children cumulated CPU time (s) 1794.64 Current children cumulated vsize (KiB) 146328 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/65 865 /proc/meminfo: memFree=1730416/2055920 swapFree=4182564/4192956 [pid=864] ppid=862 vsize=146328 CPUtime=1796.24 /proc/864/stat : 864 (bsolo) R 862 864 741 0 -1 4194304 34407 0 0 0 179519 105 0 0 25 0 1 0 182255602 149839872 34168 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/864/statm: 36582 34168 197 640 0 35938 0 Current children cumulated CPU time (s) 1796.24 Current children cumulated vsize (KiB) 146328 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 865 /proc/meminfo: memFree=1730416/2055920 swapFree=4182564/4192956 [pid=864] ppid=862 vsize=146328 CPUtime=1797.04 /proc/864/stat : 864 (bsolo) R 862 864 741 0 -1 4194304 34407 0 0 0 179599 105 0 0 25 0 1 0 182255602 149839872 34168 1992294400 134512640 137136520 4294956256 18446744073709551615 135982528 0 0 4096 16384 0 0 0 17 1 0 0 /proc/864/statm: 36582 34168 197 640 0 35938 0 Current children cumulated CPU time (s) 1797.04 Current children cumulated vsize (KiB) 146328 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 865 /proc/meminfo: memFree=1730416/2055920 swapFree=4182564/4192956 [pid=864] ppid=862 vsize=146328 CPUtime=1797.84 /proc/864/stat : 864 (bsolo) R 862 864 741 0 -1 4194304 34407 0 0 0 179679 105 0 0 25 0 1 0 182255602 149839872 34168 1992294400 134512640 137136520 4294956256 18446744073709551615 134544384 0 0 4096 16384 0 0 0 17 1 0 0 /proc/864/statm: 36582 34168 197 640 0 35938 0 Current children cumulated CPU time (s) 1797.84 Current children cumulated vsize (KiB) 146328 [startup+1798.51 s] /proc/loadavg: 1.00 1.00 1.00 2/65 865 /proc/meminfo: memFree=1730416/2055920 swapFree=4182564/4192956 [pid=864] ppid=862 vsize=146328 CPUtime=1798.04 /proc/864/stat : 864 (bsolo) R 862 864 741 0 -1 4194304 34407 0 0 0 179699 105 0 0 25 0 1 0 182255602 149839872 34168 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 1 0 0 /proc/864/statm: 36582 34168 197 640 0 35938 0 Current children cumulated CPU time (s) 1798.04 Current children cumulated vsize (KiB) 146328 Child status: 0 Real time (s): 1798.58 CPU time (s): 1798.12 CPU user time (s): 1797.05 CPU system time (s): 1.07684 CPU usage (%): 99.9746 Max. virtual memory (cumulated for all children) (KiB): 146684 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.05 system time used= 1.07684 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 34409 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= 2801 runsolver used 1.25281 second user time and 3.77443 second system time The end
Begin job on node17 at 2009-06-16 12:02:33 IDJOB=1878537 IDBENCH=2007 IDSOLVER=700 FILE ID=node17/1878537-1245146553 PBS_JOBID= 9363740 Free space on /tmp= 66356 MiB SOLVER NAME= bsolo 3.1 cl BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-circ6_3.opb COMMAND LINE= bsolo -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1878537-1245146553/watcher-1878537-1245146553 -o /tmp/evaluation-result-1878537-1245146553/solver-1878537-1245146553 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878537-1245146553.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= ff9be653d1d3ea3b1a82846016e94df6 RANDOM SEED=1441460119 node17.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.214 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.214 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: 1868296 kB Buffers: 25688 kB Cached: 93916 kB SwapCached: 4224 kB Active: 18208 kB Inactive: 109236 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1868296 kB SwapTotal: 4192956 kB SwapFree: 4182564 kB Dirty: 4140 kB Writeback: 0 kB Mapped: 13700 kB Slab: 46212 kB Committed_AS: 160580 kB PageTables: 1456 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-1878537-1245146553.opb Free space on /tmp at the end= 66352 MiB End job on node17 at 2009-06-16 12:32:32