Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 pb | SAT | 3 | 1798.01 | 1798.53 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=7-P0=97-P1=43-P2=127-P3=89-P4=59-P5=127-P6=43-P7=127-P8=67-P9=17-B.opb |
MD5SUM | bc362e080dfd9e6c883df7eeb6006e66 |
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.8871 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3 |
Optimality of the best value was proved | YES |
Number of variables | 189 |
Total number of constraints | 19 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 19 |
Minimum length of a constraint | 7 |
Maximum length of a constraint | 63 |
Number of terms in the objective function | 7 |
Biggest coefficient in the objective function | 64 |
Number of bits for the biggest coefficient in the objective function | 7 |
Sum of the numbers in the objective function | 127 |
Number of bits of the sum of numbers in the objective function | 7 |
Biggest number in a constraint | 8192 |
Number of bits of the biggest number in a constraint | 14 |
Biggest sum of numbers in a constraint | 32512 |
Number of bits of the biggest sum of numbers | 15 |
Number of products (including duplicates) | 441 |
Sum of products size (including duplicates) | 882 |
Number of different products | 441 |
Sum of products size | 882 |
0.00/0.00 c bsolo beta version 3.1 - 13/04/2009 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Learning Strategy: Generic Pseudo-Boolean 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-1879450-1245243859.opb 0.00/0.00 c File size is 33211 bytes. 0.00/0.00 c Highest Coefficient sum: 32512 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.005 s 0.00/0.00 c Var: 630 Constr: 910 441/0/469 Lit: 3836 Watch. Lit: 2369 0.00/0.00 c Obj. Vars: 7 (1.11111 % of total variables) 0.00/0.01 c Pre-processing Time: 0.01 s 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 630 910 3836 4 3289 5173 0 0 0.01 0.00/0.01 c Switching off lower bounding mode. 1162.66/1163.02 c 101 630 1111 13169 11 6410 5691 201 3258 0.03 1162.66/1163.02 c 251 630 1398 28955 20 9487 6261 488 2788 0.09 1162.66/1163.02 c 477 630 1830 51327 28 13953 6888 920 2497 0.19 1162.66/1163.02 c 816 630 2458 97854 39 21733 7577 1548 1536 0.53 1162.66/1163.02 c 1324 630 3419 154564 45 32222 8335 2509 1282 1.03 1162.66/1163.02 c 2088 630 4863 239528 49 44660 9169 3953 1053 1.98 1162.66/1163.02 c 3234 630 7008 366495 52 65112 10086 6098 1088 2.97 1162.66/1163.02 c 4955 630 9994 539590 53 91375 11095 9084 1204 4.11 1162.66/1163.02 c 7540 630 8962 473865 52 70330 12205 8052 1101 6.85 1162.66/1163.02 c 11419 630 9674 516127 53 69053 13426 8764 1025 11.13 1162.66/1163.02 c 17241 630 13513 679624 50 111544 14769 12603 536 32.11 1162.66/1163.02 c 25979 630 14500 709478 48 114745 16246 13590 415 62.50 1162.66/1163.02 c 39091 629 13507 700986 51 117182 17871 12597 340 114.92 1162.66/1163.02 c 58761 629 13509 769666 56 114916 19659 12599 184 319.22 1162.66/1163.02 c 88271 628 15266 785746 51 145854 21625 14356 130 677.61 1162.66/1163.02 c 132542 628 20866 1091373 52 183077 23788 19956 115 1142.75 1162.66/1163.02 o 57 1475.47/1475.91 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1475.47/1475.91 c 138035 628 18542 958494 51 172826 5187 17632 118 1162.70 1475.47/1475.91 c 138137 628 3700 154444 41 29362 5706 2790 118 1164.31 1475.47/1475.91 c 138387 628 4179 182093 43 33961 6277 3269 118 1164.41 1475.47/1475.91 c 138862 628 4987 228226 45 38891 6905 4077 119 1164.59 1475.47/1475.91 c 139676 628 6522 314570 48 47002 7596 5612 119 1164.97 1475.47/1475.91 c 140996 628 4714 218630 46 32428 8356 3804 120 1165.97 1475.47/1475.91 c 143079 628 8584 442710 51 65703 9192 7674 122 1169.00 1475.47/1475.91 c 146302 628 9442 498817 52 72443 10112 8532 124 1173.67 1475.47/1475.91 c 151238 628 8200 425717 51 65606 11124 7290 126 1195.93 1475.47/1475.91 c 158744 628 10182 528796 51 70300 12237 9272 128 1233.29 1475.47/1475.91 c 170106 618 11416 584763 51 70930 13461 10506 134 1268.84 1475.47/1475.91 c 187251 618 8816 417342 47 87022 14808 7906 130 1435.25 1475.47/1475.91 o 5 1532.76/1533.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1532.76/1533.22 c 195900 618 9043 435502 48 75061 5185 8133 132 1475.50 1532.76/1533.22 c 196000 618 3704 146391 39 26967 5704 2794 132 1475.95 1532.76/1533.22 c 196250 591 4185 172907 41 34422 6275 3275 132 1476.11 1532.76/1533.22 c 196725 591 5062 222439 43 44673 6903 4152 133 1476.34 1532.76/1533.22 c 197539 591 6626 310171 46 60266 7594 5716 133 1476.77 1532.76/1533.22 c 198860 591 4896 220927 45 45955 8354 3986 134 1478.59 1532.76/1533.22 c 200941 591 8886 434575 48 99181 9190 7976 135 1487.29 1532.76/1533.22 c 204165 591 5683 251612 44 49147 10110 4773 134 1520.05 1532.76/1533.22 o 3 1797.99/1798.52 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.99/1798.52 c 209088 591 9372 470808 50 72395 5179 8462 136 1532.79 1797.99/1798.52 c 209188 591 3675 155632 42 21285 5697 2765 136 1533.32 1797.99/1798.52 c 209439 591 3972 171945 43 20287 6267 3062 136 1533.61 1797.99/1798.52 c 209915 591 4909 225580 45 39557 6894 3999 136 1533.81 1797.99/1798.52 c 210729 591 6483 309493 47 53255 7584 5573 137 1535.24 1797.99/1798.52 c 212050 591 4715 208244 44 32550 8343 3805 137 1540.04 1797.99/1798.52 c 214132 591 8649 423209 48 81463 9178 7739 138 1544.10 1797.99/1798.52 c 217355 591 9247 465427 50 66458 10096 8337 140 1552.42 1797.99/1798.52 c 222292 591 8245 389629 47 91090 11106 7335 139 1596.60 1797.99/1798.52 c 229799 591 10736 565021 52 96479 12217 9826 139 1652.75 1797.99/1798.52 c 241161 570 7035 346981 49 58780 13439 6125 136 1761.93 1797.99/1798.52 c Resources Exceeded 1797.99/1798.52 v x1 x2 -x3 -x4 -x5 -x6 -x7 x8 x9 -x10 x11 -x12 x13 -x14 x15 x16 -x17 -x18 -x19 -x20 -x21 x22 x23 -x24 x25 -x26 x27 -x28 x29 x30 -x31 -x32 -x33 -x34 -x35 x36 x37 -x38 x39 -x40 x41 -x42 x43 -x44 -x45 -x46 x47 -x48 -x49 x50 -x51 -x52 -x53 x54 x55 x56 x57 x58 -x59 -x60 -x61 -x62 -x63 x64 -x65 x66 -x67 -x68 -x69 x70 x190 x191 -x192 -x193 -x194 -x195 -x196 x197 x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 x211 x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 x225 x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 x71 -x72 -x73 -x74 -x75 -x76 -x77 x127 -x128 -x129 -x130 -x131 -x132 -x133 x239 -x240 -x241 -x242 -x243 -x244 -x245 x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 x78 x79 -x80 -x81 -x82 -x83 -x84 -x134 -x135 -x136 -x137 -x138 -x139 -x140 x288 x289 -x290 -x291 -x292 -x293 -x294 x295 x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 x309 x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 x323 x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 x85 -x86 -x87 -x88 -x89 -x90 -x91 x141 -x142 -x143 -x144 -x145 -x146 -x147 x337 -x338 -x339 -x340 -x341 -x342 -x343 x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 x92 x93 -x94 -x95 -x96 -x97 -x98 -x148 -x149 -x150 -x151 -x152 -x153 -x154 x386 x387 -x388 -x389 -x390 -x391 -x392 x393 x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 x407 x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 x421 x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 x99 -x100 -x101 -x102 -x103 -x104 -x105 x155 -x156 -x157 -x158 -x159 -x160 -x161 x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 x106 -x107 -x108 -x109 x110 -x111 -x112 -x162 -x163 -x164 -x165 -x166 -x167 -x168 x484 -x485 -x486 -x487 x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 x512 -x513 -x514 -x515 x516 -x517 -x518 x519 -x520 -x521 -x522 x523 -x524 -x525 x526 -x527 -x528 -x529 x530 -x531 -x532 x113 -x114 -x115 -x116 -x117 -x118 -x119 x169 x170 x171 x172 -x173 -x174 -x175 x533 -x534 -x535 -x536 -x537 -x538 -x539 x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 x120 x121 -x122 -x123 -x124 -x125 -x126 -x176 -x177 -x178 -x179 -x180 -x181 -x182 x582 x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 x596 x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 x624 x625 -x626 -x627 -x628 -x629 -x630 x183 -x184 -x185 -x186 -x187 -x188 -x189 1797.99/1798.52 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.99/1798.52 c 47 247580 5458 270067 12009 628305 11099 137 1798.01 1797.99/1798.52 c Objective: 3 1797.99/1798.52 s SATISFIABLE 1797.99/1798.52 c Total time: 1798.01 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-1879450-1245243859/watcher-1879450-1245243859 -o /tmp/evaluation-result-1879450-1245243859/solver-1879450-1245243859 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879450-1245243859.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 0.98 3/66 17955 /proc/meminfo: memFree=1772536/2055920 swapFree=4186720/4192956 [pid=17955] ppid=17953 vsize=10744 CPUtime=0 /proc/17955/stat : 17955 (bsolo) R 17953 17955 17595 0 -1 4194304 255 0 0 0 0 0 0 0 18 0 1 0 77109340 11001856 239 1992294400 134512640 137136520 4294956256 18446744073709551615 134519766 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17955/statm: 2686 240 176 640 0 2033 0 [startup+0.064715 s] /proc/loadavg: 1.00 1.00 0.98 3/66 17955 /proc/meminfo: memFree=1772536/2055920 swapFree=4186720/4192956 [pid=17955] ppid=17953 vsize=11340 CPUtime=0.06 /proc/17955/stat : 17955 (bsolo) R 17953 17955 17595 0 -1 4194304 437 0 0 0 6 0 0 0 18 0 1 0 77109340 11612160 412 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17955/statm: 2835 412 198 640 0 2191 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 11340 [startup+0.101719 s] /proc/loadavg: 1.00 1.00 0.98 3/66 17955 /proc/meminfo: memFree=1772536/2055920 swapFree=4186720/4192956 [pid=17955] ppid=17953 vsize=11468 CPUtime=0.09 /proc/17955/stat : 17955 (bsolo) R 17953 17955 17595 0 -1 4194304 473 0 0 0 9 0 0 0 18 0 1 0 77109340 11743232 448 1992294400 134512640 137136520 4294956256 18446744073709551615 136509148 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17955/statm: 2867 448 198 640 0 2223 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11468 [startup+0.301745 s] /proc/loadavg: 1.00 1.00 0.98 3/66 17955 /proc/meminfo: memFree=1772536/2055920 swapFree=4186720/4192956 [pid=17955] ppid=17953 vsize=12252 CPUtime=0.29 /proc/17955/stat : 17955 (bsolo) R 17953 17955 17595 0 -1 4194304 677 0 0 0 29 0 0 0 19 0 1 0 77109340 12546048 652 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17955/statm: 3063 652 198 640 0 2419 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12252 [startup+0.701796 s] /proc/loadavg: 1.00 1.00 0.98 3/66 17955 /proc/meminfo: memFree=1772536/2055920 swapFree=4186720/4192956 [pid=17955] ppid=17953 vsize=13160 CPUtime=0.69 /proc/17955/stat : 17955 (bsolo) R 17953 17955 17595 0 -1 4194304 886 0 0 0 69 0 0 0 22 0 1 0 77109340 13475840 861 1992294400 134512640 137136520 4294956256 18446744073709551615 134543974 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17955/statm: 3290 861 198 640 0 2646 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13160 [startup+1.5019 s] /proc/loadavg: 1.00 1.00 0.98 2/67 17956 /proc/meminfo: memFree=1769136/2055920 swapFree=4186720/4192956 [pid=17955] ppid=17953 vsize=14704 CPUtime=1.49 /proc/17955/stat : 17955 (bsolo) R 17953 17955 17595 0 -1 4194304 1272 0 0 0 149 0 0 0 25 0 1 0 77109340 15056896 1247 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17955/statm: 3676 1247 198 640 0 3032 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14704 [startup+3.10111 s] /proc/loadavg: 1.00 1.00 0.98 2/67 17956 /proc/meminfo: memFree=1767280/2055920 swapFree=4186720/4192956 [pid=17955] ppid=17953 vsize=18068 CPUtime=3.09 /proc/17955/stat : 17955 (bsolo) R 17953 17955 17595 0 -1 4194304 2113 0 0 0 308 1 0 0 25 0 1 0 77109340 18501632 2088 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17955/statm: 4517 2088 198 640 0 3873 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 18068 [startup+6.30152 s] /proc/loadavg: 1.00 1.00 0.98 2/67 17956 /proc/meminfo: memFree=1759088/2055920 swapFree=4186720/4192956 [pid=17955] ppid=17953 vsize=23472 CPUtime=6.29 /proc/17955/stat : 17955 (bsolo) R 17953 17955 17595 0 -1 4194304 3472 0 0 0 627 2 0 0 25 0 1 0 77109340 24035328 3447 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17955/statm: 5868 3447 198 640 0 5224 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 23472 [startup+12.7013 s] /proc/loadavg: 1.00 1.00 0.98 2/67 17956 /proc/meminfo: memFree=1758072/2055920 swapFree=4186720/4192956 [pid=17955] ppid=17953 vsize=24504 CPUtime=12.68 /proc/17955/stat : 17955 (bsolo) R 17953 17955 17595 0 -1 4194304 3740 0 0 0 1266 2 0 0 25 0 1 0 77109340 25092096 3715 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17955/statm: 6126 3715 198 640 0 5482 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 24504 [startup+25.502 s] /proc/loadavg: 1.00 1.00 0.98 2/67 17956 /proc/meminfo: memFree=1757816/2055920 swapFree=4186720/4192956 [pid=17955] ppid=17953 vsize=24772 CPUtime=25.48 /proc/17955/stat : 17955 (bsolo) R 17953 17955 17595 0 -1 4194304 3817 0 0 0 2545 3 0 0 25 0 1 0 77109340 25366528 3792 1992294400 134512640 137136520 4294956256 18446744073709551615 134544393 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17955/statm: 6193 3792 198 640 0 5549 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 24772 [startup+51.1013 s] /proc/loadavg: 1.00 1.00 0.98 2/67 17956 /proc/meminfo: memFree=1757048/2055920 swapFree=4186720/4192956 [pid=17955] ppid=17953 vsize=25552 CPUtime=51.08 /proc/17955/stat : 17955 (bsolo) R 17953 17955 17595 0 -1 4194304 4012 0 0 0 5102 6 0 0 25 0 1 0 77109340 26165248 3987 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17955/statm: 6388 3987 198 640 0 5744 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 25552 [startup+102.307 s] /proc/loadavg: 1.00 1.00 0.98 2/67 17956 /proc/meminfo: memFree=1755384/2055920 swapFree=4186720/4192956 [pid=17955] ppid=17953 vsize=27248 CPUtime=102.26 /proc/17955/stat : 17955 (bsolo) R 17953 17955 17595 0 -1 4194304 4422 0 0 0 10218 8 0 0 25 0 1 0 77109340 27901952 4397 1992294400 134512640 137136520 4294956256 18446744073709551615 134544428 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17955/statm: 6812 4397 198 640 0 6168 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 27248 [startup+162.302 s] /proc/loadavg: 1.00 1.00 0.98 2/67 17956 /proc/meminfo: memFree=1752504/2055920 swapFree=4186720/4192956 [pid=17955] ppid=17953 vsize=30112 CPUtime=162.25 /proc/17955/stat : 17955 (bsolo) R 17953 17955 17595 0 -1 4194304 5147 0 0 0 16212 13 0 0 25 0 1 0 77109340 30834688 5122 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17955/statm: 7528 5122 198 640 0 6884 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 30112 [startup+222.301 s] /proc/loadavg: 1.00 1.00 0.98 2/67 17956 /proc/meminfo: memFree=1752504/2055920 swapFree=4186720/4192956 [pid=17955] ppid=17953 vsize=30112 CPUtime=222.23 /proc/17955/stat : 17955 (bsolo) R 17953 17955 17595 0 -1 4194304 5147 0 0 0 22208 15 0 0 25 0 1 0 77109340 30834688 5122 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17955/statm: 7528 5122 198 640 0 6884 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 30112 [startup+282.301 s] /proc/loadavg: 1.00 1.00 0.98 2/67 17956 /proc/meminfo: memFree=1752440/2055920 swapFree=4186720/4192956 [pid=17955] ppid=17953 vsize=30112 CPUtime=282.21 /proc/17955/stat : 17955 (bsolo) R 17953 17955 17595 0 -1 4194304 5147 0 0 0 28205 16 0 0 25 0 1 0 77109340 30834688 5122 1992294400 134512640 137136520 4294956256 18446744073709551615 134543933 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17955/statm: 7528 5122 198 640 0 6884 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 30112 [startup+342.302 s] /proc/loadavg: 1.00 1.00 0.98 2/67 17956 /proc/meminfo: memFree=1752384/2055920 swapFree=4186720/4192956 [pid=17955] ppid=17953 vsize=30112 CPUtime=342.19 /proc/17955/stat : 17955 (bsolo) R 17953 17955 17595 0 -1 4194304 5147 0 0 0 34201 18 0 0 25 0 1 0 77109340 30834688 5122 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17955/statm: 7528 5122 198 640 0 6884 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 30112 [startup+402.302 s] /proc/loadavg: 1.00 1.00 0.98 2/67 17956 /proc/meminfo: memFree=1750080/2055920 swapFree=4186720/4192956 [pid=17955] ppid=17953 vsize=32396 CPUtime=402.18 /proc/17955/stat : 17955 (bsolo) R 17953 17955 17595 0 -1 4194304 5712 0 0 0 40197 21 0 0 25 0 1 0 77109340 33173504 5687 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17955/statm: 8099 5687 198 640 0 7455 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 32396 [startup+462.301 s] /proc/loadavg: 1.00 1.00 0.98 2/67 17956 /proc/meminfo: memFree=1750016/2055920 swapFree=4186720/4192956 [pid=17955] ppid=17953 vsize=32396 CPUtime=462.16 /proc/17955/stat : 17955 (bsolo) R 17953 17955 17595 0 -1 4194304 5712 0 0 0 46194 22 0 0 25 0 1 0 77109340 33173504 5687 1992294400 134512640 137136520 4294956256 18446744073709551615 134573545 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17955/statm: 8099 5687 198 640 0 7455 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 32396 [startup+522.301 s] /proc/loadavg: 1.09 1.03 1.00 2/67 17975 /proc/meminfo: memFree=1749184/2055920 swapFree=4186724/4192956 [pid=17955] ppid=17953 vsize=32396 CPUtime=522.14 /proc/17955/stat : 17955 (bsolo) R 17953 17955 17595 0 -1 4194304 5712 0 0 0 52190 24 0 0 25 0 1 0 77109340 33173504 5687 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17955/statm: 8099 5687 198 640 0 7455 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 32396 [startup+582.302 s] /proc/loadavg: 1.03 1.02 1.00 2/67 17975 /proc/meminfo: memFree=1749248/2055920 swapFree=4186724/4192956 [pid=17955] ppid=17953 vsize=32392 CPUtime=582.12 /proc/17955/stat : 17955 (bsolo) R 17953 17955 17595 0 -1 4194304 5712 0 0 0 58188 24 0 0 25 0 1 0 77109340 33169408 5687 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17955/statm: 8098 5687 198 640 0 7454 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 32392 [startup+642.302 s] /proc/loadavg: 1.01 1.02 1.00 2/67 17975 /proc/meminfo: memFree=1749312/2055920 swapFree=4186724/4192956 [pid=17955] ppid=17953 vsize=32392 CPUtime=642.11 /proc/17955/stat : 17955 (bsolo) R 17953 17955 17595 0 -1 4194304 5712 0 0 0 64186 25 0 0 25 0 1 0 77109340 33169408 5687 1992294400 134512640 137136520 4294956256 18446744073709551615 134544434 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17955/statm: 8098 5687 198 640 0 7454 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 32392 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1744960/2055920 swapFree=4186724/4192956 [pid=17955] ppid=17953 vsize=36592 CPUtime=1061.99 /proc/17955/stat : 17955 (bsolo) R 17953 17955 17595 0 -1 4194304 6764 0 0 0 106161 38 0 0 25 0 1 0 77109340 37470208 6739 1992294400 134512640 137136520 4294956256 18446744073709551615 134544256 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17955/statm: 9148 6739 198 640 0 8504 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 36592 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 17975 /proc/meminfo: memFree=1744896/2055920 swapFree=4186724/4192956 [pid=17955] ppid=17953 vsize=36592 CPUtime=1121.97 /proc/17955/stat : 17955 (bsolo) R 17953 17955 17595 0 -1 4194304 6764 0 0 0 112157 40 0 0 25 0 1 0 77109340 37470208 6739 1992294400 134512640 137136520 4294956256 18446744073709551615 134543918 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17955/statm: 9148 6739 198 640 0 8504 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 36592 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 17975 /proc/meminfo: memFree=1744832/2055920 swapFree=4186724/4192956 [pid=17955] ppid=17953 vsize=36596 CPUtime=1181.96 /proc/17955/stat : 17955 (bsolo) R 17953 17955 17595 0 -1 4194304 6767 0 0 0 118153 43 0 0 25 0 1 0 77109340 37474304 6742 1992294400 134512640 137136520 4294956256 18446744073709551615 134543933 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17955/statm: 9149 6742 198 640 0 8505 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 36596 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 17975 /proc/meminfo: memFree=1744768/2055920 swapFree=4186724/4192956 [pid=17955] ppid=17953 vsize=36588 CPUtime=1241.94 /proc/17955/stat : 17955 (bsolo) R 17953 17955 17595 0 -1 4194304 6767 0 0 0 124148 46 0 0 25 0 1 0 77109340 37466112 6742 1992294400 134512640 137136520 4294956256 18446744073709551615 134616694 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17955/statm: 9147 6742 198 640 0 8503 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 36588 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 17975 /proc/meminfo: memFree=1744768/2055920 swapFree=4186724/4192956 [pid=17955] ppid=17953 vsize=36588 CPUtime=1301.92 /proc/17955/stat : 17955 (bsolo) R 17953 17955 17595 0 -1 4194304 6767 0 0 0 130143 49 0 0 25 0 1 0 77109340 37466112 6742 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17955/statm: 9147 6742 198 640 0 8503 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 36588 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 17975 /proc/meminfo: memFree=1744704/2055920 swapFree=4186724/4192956 [pid=17955] ppid=17953 vsize=36588 CPUtime=1361.9 /proc/17955/stat : 17955 (bsolo) R 17953 17955 17595 0 -1 4194304 6767 0 0 0 136139 51 0 0 25 0 1 0 77109340 37466112 6742 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17955/statm: 9147 6742 198 640 0 8503 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 36588 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/67 17975 /proc/meminfo: memFree=1744640/2055920 swapFree=4186724/4192956 [pid=17955] ppid=17953 vsize=36588 CPUtime=1421.89 /proc/17955/stat : 17955 (bsolo) R 17953 17955 17595 0 -1 4194304 6767 0 0 0 142136 53 0 0 25 0 1 0 77109340 37466112 6742 1992294400 134512640 137136520 4294956256 18446744073709551615 134544245 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17955/statm: 9147 6742 198 640 0 8503 0 Current children cumulated CPU time (s) 1421.89 Current children cumulated vsize (KiB) 36588 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 17975 /proc/meminfo: memFree=1744704/2055920 swapFree=4186724/4192956 [pid=17955] ppid=17953 vsize=36588 CPUtime=1481.87 /proc/17955/stat : 17955 (bsolo) R 17953 17955 17595 0 -1 4194304 6767 0 0 0 148132 55 0 0 25 0 1 0 77109340 37466112 6742 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17955/statm: 9147 6742 198 640 0 8503 0 Current children cumulated CPU time (s) 1481.87 Current children cumulated vsize (KiB) 36588 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 17975 /proc/meminfo: memFree=1744640/2055920 swapFree=4186724/4192956 [pid=17955] ppid=17953 vsize=36588 CPUtime=1541.86 /proc/17955/stat : 17955 (bsolo) R 17953 17955 17595 0 -1 4194304 6767 0 0 0 154127 59 0 0 25 0 1 0 77109340 37466112 6742 1992294400 134512640 137136520 4294956256 18446744073709551615 134543951 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17955/statm: 9147 6742 198 640 0 8503 0 Current children cumulated CPU time (s) 1541.86 Current children cumulated vsize (KiB) 36588 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 17975 /proc/meminfo: memFree=1744576/2055920 swapFree=4186724/4192956 [pid=17955] ppid=17953 vsize=36588 CPUtime=1601.83 /proc/17955/stat : 17955 (bsolo) R 17953 17955 17595 0 -1 4194304 6767 0 0 0 160122 61 0 0 25 0 1 0 77109340 37466112 6742 1992294400 134512640 137136520 4294956256 18446744073709551615 134544112 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17955/statm: 9147 6742 198 640 0 8503 0 Current children cumulated CPU time (s) 1601.83 Current children cumulated vsize (KiB) 36588 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 17975 /proc/meminfo: memFree=1744512/2055920 swapFree=4186724/4192956 [pid=17955] ppid=17953 vsize=36588 CPUtime=1661.82 /proc/17955/stat : 17955 (bsolo) R 17953 17955 17595 0 -1 4194304 6767 0 0 0 166119 63 0 0 25 0 1 0 77109340 37466112 6742 1992294400 134512640 137136520 4294956256 18446744073709551615 136502148 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17955/statm: 9147 6742 198 640 0 8503 0 Current children cumulated CPU time (s) 1661.82 Current children cumulated vsize (KiB) 36588 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 17975 /proc/meminfo: memFree=1744512/2055920 swapFree=4186724/4192956 [pid=17955] ppid=17953 vsize=36588 CPUtime=1721.8 /proc/17955/stat : 17955 (bsolo) R 17953 17955 17595 0 -1 4194304 6767 0 0 0 172116 64 0 0 25 0 1 0 77109340 37466112 6742 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17955/statm: 9147 6742 198 640 0 8503 0 Current children cumulated CPU time (s) 1721.8 Current children cumulated vsize (KiB) 36588 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 17975 /proc/meminfo: memFree=1744448/2055920 swapFree=4186724/4192956 [pid=17955] ppid=17953 vsize=36588 CPUtime=1781.78 /proc/17955/stat : 17955 (bsolo) R 17953 17955 17595 0 -1 4194304 6767 0 0 0 178111 67 0 0 25 0 1 0 77109340 37466112 6742 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17955/statm: 9147 6742 198 640 0 8503 0 Current children cumulated CPU time (s) 1781.78 Current children cumulated vsize (KiB) 36588 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/67 17975 /proc/meminfo: memFree=1744448/2055920 swapFree=4186724/4192956 [pid=17955] ppid=17953 vsize=36588 CPUtime=1791.39 /proc/17955/stat : 17955 (bsolo) R 17953 17955 17595 0 -1 4194304 6767 0 0 0 179071 68 0 0 25 0 1 0 77109340 37466112 6742 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17955/statm: 9147 6742 198 640 0 8503 0 Current children cumulated CPU time (s) 1791.39 Current children cumulated vsize (KiB) 36588 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/67 17975 /proc/meminfo: memFree=1744448/2055920 swapFree=4186724/4192956 [pid=17955] ppid=17953 vsize=36588 CPUtime=1794.59 /proc/17955/stat : 17955 (bsolo) R 17953 17955 17595 0 -1 4194304 6767 0 0 0 179391 68 0 0 25 0 1 0 77109340 37466112 6742 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17955/statm: 9147 6742 198 640 0 8503 0 Current children cumulated CPU time (s) 1794.59 Current children cumulated vsize (KiB) 36588 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/67 17975 /proc/meminfo: memFree=1744448/2055920 swapFree=4186724/4192956 [pid=17955] ppid=17953 vsize=36588 CPUtime=1796.18 /proc/17955/stat : 17955 (bsolo) R 17953 17955 17595 0 -1 4194304 6767 0 0 0 179550 68 0 0 25 0 1 0 77109340 37466112 6742 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17955/statm: 9147 6742 198 640 0 8503 0 Current children cumulated CPU time (s) 1796.18 Current children cumulated vsize (KiB) 36588 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/67 17975 /proc/meminfo: memFree=1744448/2055920 swapFree=4186724/4192956 [pid=17955] ppid=17953 vsize=36588 CPUtime=1796.98 /proc/17955/stat : 17955 (bsolo) R 17953 17955 17595 0 -1 4194304 6767 0 0 0 179630 68 0 0 25 0 1 0 77109340 37466112 6742 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17955/statm: 9147 6742 198 640 0 8503 0 Current children cumulated CPU time (s) 1796.98 Current children cumulated vsize (KiB) 36588 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 17975 /proc/meminfo: memFree=1744448/2055920 swapFree=4186724/4192956 [pid=17955] ppid=17953 vsize=36588 CPUtime=1797.78 /proc/17955/stat : 17955 (bsolo) R 17953 17955 17595 0 -1 4194304 6767 0 0 0 179710 68 0 0 25 0 1 0 77109340 37466112 6742 1992294400 134512640 137136520 4294956256 18446744073709551615 136518947 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17955/statm: 9147 6742 198 640 0 8503 0 Current children cumulated CPU time (s) 1797.78 Current children cumulated vsize (KiB) 36588 [startup+1798.51 s] /proc/loadavg: 1.00 1.00 1.00 2/67 17975 /proc/meminfo: memFree=1744448/2055920 swapFree=4186724/4192956 [pid=17955] ppid=17953 vsize=36588 CPUtime=1797.99 /proc/17955/stat : 17955 (bsolo) R 17953 17955 17595 0 -1 4194304 6767 0 0 0 179731 68 0 0 25 0 1 0 77109340 37466112 6742 1992294400 134512640 137136520 4294956256 18446744073709551615 134544434 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17955/statm: 9147 6742 198 640 0 8503 0 Current children cumulated CPU time (s) 1797.99 Current children cumulated vsize (KiB) 36588 Child status: 0 Real time (s): 1798.53 CPU time (s): 1798.01 CPU user time (s): 1797.33 CPU system time (s): 0.687895 CPU usage (%): 99.9716 Max. virtual memory (cumulated for all children) (KiB): 36600 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.33 system time used= 0.687895 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 6769 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= 2574 runsolver used 1.9957 second user time and 4.55231 second system time The end
Begin job on node40 at 2009-06-17 15:04:19 IDJOB=1879450 IDBENCH=48000 IDSOLVER=701 FILE ID=node40/1879450-1245243859 PBS_JOBID= 9372299 Free space on /tmp= 66536 MiB SOLVER NAME= bsolo 3.1 pb BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=7-P0=97-P1=43-P2=127-P3=89-P4=59-P5=127-P6=43-P7=127-P8=67-P9=17-B.opb COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1879450-1245243859/watcher-1879450-1245243859 -o /tmp/evaluation-result-1879450-1245243859/solver-1879450-1245243859 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879450-1245243859.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= bc362e080dfd9e6c883df7eeb6006e66 RANDOM SEED=1437181105 node40.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.216 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.216 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: 1773016 kB Buffers: 37300 kB Cached: 170956 kB SwapCached: 2884 kB Active: 85440 kB Inactive: 134252 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1773016 kB SwapTotal: 4192956 kB SwapFree: 4186720 kB Dirty: 3952 kB Writeback: 0 kB Mapped: 18444 kB Slab: 49080 kB Committed_AS: 77176 kB PageTables: 1472 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-1879450-1245243859.opb Free space on /tmp at the end= 66532 MiB End job on node40 at 2009-06-17 15:34:18