Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 pb | SAT (TO) | 3 | 1800.07 | 1800.92 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=9-P0=487-P1=127-P2=347-P3=419-P4=367-P5=149-P6=419-B.opb |
MD5SUM | 79cf27053836a1888aee43ca3805fcdd |
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 | 19.1851 |
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 | 162 |
Total number of constraints | 13 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 13 |
Minimum length of a constraint | 9 |
Maximum length of a constraint | 99 |
Number of terms in the objective function | 9 |
Biggest coefficient in the objective function | 256 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 511 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 131072 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 523264 |
Number of bits of the biggest sum of numbers | 19 |
Number of products (including duplicates) | 486 |
Sum of products size (including duplicates) | 972 |
Number of different products | 486 |
Sum of products size | 972 |
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-1879453-1245243860.opb 0.00/0.00 c File size is 36227 bytes. 0.00/0.00 c Highest Coefficient sum: 523264 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: 648 Constr: 991 486/0/505 Lit: 4149 Watch. Lit: 2540 0.00/0.00 c Obj. Vars: 9 (1.38889 % of total variables) 0.00/0.01 c Pre-processing Time: 0.011 s 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 648 991 4149 4 3569 5544 0 0 0.01 0.00/0.01 c Switching off lower bounding mode. 63.95/64.03 c 101 648 1192 21226 17 7988 6099 201 2657 0.04 63.95/64.03 c 252 648 1480 45515 30 11088 6709 489 2709 0.09 63.95/64.03 c 477 648 1919 81722 42 18522 7380 928 2012 0.24 63.95/64.03 c 817 648 2556 133972 52 27277 8119 1565 1137 0.72 63.95/64.03 c 1325 648 3511 215538 61 38816 8931 2520 894 1.48 63.95/64.03 c 2089 648 4981 334308 67 73627 9825 3990 604 3.46 63.95/64.03 c 3235 648 7198 506958 70 128707 10808 6207 289 11.16 63.95/64.03 c 4958 648 10334 781827 75 187937 11889 9343 268 18.44 63.95/64.03 c 7542 648 9230 685185 74 150010 13078 8239 157 47.95 63.95/64.03 o 19 1411.24/1411.96 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1411.24/1411.96 c 10654 648 7946 603099 75 110048 5562 6955 166 64.00 1411.24/1411.96 c 10755 604 3952 268593 67 53666 6119 2961 166 64.49 1411.24/1411.96 c 11005 604 4431 313928 70 59213 6731 3440 169 64.80 1411.24/1411.96 c 11480 604 5343 395163 73 77878 7405 4352 175 65.31 1411.24/1411.96 c 12293 604 6925 542730 78 93051 8146 5934 181 67.80 1411.24/1411.96 c 13613 604 5224 366245 70 65390 8961 4233 176 76.99 1411.24/1411.96 c 15695 604 9176 686553 74 117918 9858 8185 163 95.74 1411.24/1411.96 c 18919 604 10030 779501 77 161989 10844 9039 166 113.88 1411.24/1411.96 c 23857 604 7660 626678 81 64023 11929 6669 187 127.52 1411.24/1411.96 c 31363 604 9665 699187 72 163537 13122 8674 144 217.39 1411.24/1411.96 c 42724 604 11024 805286 73 219048 14435 10033 85 498.18 1411.24/1411.96 c 59868 604 12246 1121713 91 138273 15879 11255 79 755.80 1411.24/1411.96 c 85688 604 11428 828486 72 201213 17467 10437 66 1293.60 1411.24/1411.96 o 5 1529.37/1530.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1529.37/1530.12 c 98203 604 16187 1386067 85 206042 5554 15196 69 1411.33 1529.37/1530.12 c 98304 582 3970 275696 69 23969 6110 2979 69 1419.21 1529.37/1530.12 c 98554 582 4335 307051 70 28564 6722 3344 69 1419.41 1529.37/1530.12 c 99029 582 5253 382351 72 40917 7395 4262 69 1419.92 1529.37/1530.12 c 99844 582 6803 509442 74 62102 8135 5812 70 1421.89 1529.37/1530.12 c 101164 582 5068 331745 65 39917 8949 4077 70 1432.77 1529.37/1530.12 c 103245 582 8996 648683 72 95509 9844 8005 71 1450.19 1529.37/1530.12 c 106468 582 9881 771691 78 123715 10829 8890 72 1469.62 1529.37/1530.12 c 111404 582 8204 579593 70 146375 11912 7213 73 1515.12 1529.37/1530.12 o 3 1800.05/1800.90 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.05/1800.90 c 112224 582 9752 703881 72 206318 5550 8761 73 1529.41 1800.05/1800.90 c 112325 559 3973 244385 61 45237 6106 2982 73 1536.31 1800.05/1800.90 c 112576 559 4463 288247 64 75413 6717 3472 73 1536.58 1800.05/1800.90 c 113051 559 5378 373615 69 90209 7389 4387 73 1537.12 1800.05/1800.90 c 113864 559 6983 524275 75 115009 8128 5992 73 1539.30 1800.05/1800.90 c 115185 559 5144 356425 69 72631 8941 4153 74 1548.81 1800.05/1800.90 c 117266 559 9133 723146 79 157168 9836 8142 75 1555.10 1800.05/1800.90 c 120490 559 9668 727675 75 178791 10820 8677 76 1581.48 1800.05/1800.90 c 125427 559 7221 553566 76 114675 11903 6230 76 1639.32 1800.05/1800.90 c 132934 559 9198 660201 71 137651 13094 8207 76 1739.01 1800.05/1800.90 c Caught signal: 15 1800.05/1800.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 x163 x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 x172 x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 x190 x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 x208 x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 x226 x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 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 -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 x73 -x74 x75 -x76 -x77 -x78 -x79 -x80 -x81 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 x325 -x326 x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 x343 -x344 x345 -x346 -x347 -x348 -x349 -x350 -x351 x352 -x353 x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -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 x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x127 x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 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 x91 -x92 -x93 x94 x95 x96 -x97 -x98 -x99 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 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 -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 x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 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 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 1800.05/1800.90 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.05/1800.90 c 41 135617 1738 145958 7770 545155 6779 75 1800.06 1800.05/1800.90 c Objective: 3 1800.05/1800.90 s SATISFIABLE 1800.05/1800.90 c Total time: 1800.06 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-1879453-1245243860/watcher-1879453-1245243860 -o /tmp/evaluation-result-1879453-1245243860/solver-1879453-1245243860 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879453-1245243860.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.94 3/64 12337 /proc/meminfo: memFree=1840144/2055920 swapFree=4181856/4192956 [pid=12337] ppid=12335 vsize=10740 CPUtime=0 /proc/12337/stat : 12337 (bsolo) R 12335 12337 11968 0 -1 4194304 261 0 0 0 0 0 0 0 18 0 1 0 191982741 10997760 245 1992294400 134512640 137136520 4294956256 18446744073709551615 136575102 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12337/statm: 2685 246 177 640 0 2032 0 [startup+0.0246979 s] /proc/loadavg: 1.00 1.00 0.94 3/64 12337 /proc/meminfo: memFree=1840144/2055920 swapFree=4181856/4192956 [pid=12337] ppid=12335 vsize=10988 CPUtime=0.02 /proc/12337/stat : 12337 (bsolo) R 12335 12337 11968 0 -1 4194304 371 0 0 0 2 0 0 0 18 0 1 0 191982741 11251712 346 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12337/statm: 2747 346 197 640 0 2103 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 10988 [startup+0.101711 s] /proc/loadavg: 1.00 1.00 0.94 3/64 12337 /proc/meminfo: memFree=1840144/2055920 swapFree=4181856/4192956 [pid=12337] ppid=12335 vsize=11752 CPUtime=0.09 /proc/12337/stat : 12337 (bsolo) R 12335 12337 11968 0 -1 4194304 543 0 0 0 9 0 0 0 18 0 1 0 191982741 12034048 518 1992294400 134512640 137136520 4294956256 18446744073709551615 134575005 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12337/statm: 2938 518 198 640 0 2294 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11752 [startup+0.301747 s] /proc/loadavg: 1.00 1.00 0.94 3/64 12337 /proc/meminfo: memFree=1840144/2055920 swapFree=4181856/4192956 [pid=12337] ppid=12335 vsize=12648 CPUtime=0.29 /proc/12337/stat : 12337 (bsolo) R 12335 12337 11968 0 -1 4194304 756 0 0 0 29 0 0 0 19 0 1 0 191982741 12951552 731 1992294400 134512640 137136520 4294956256 18446744073709551615 134544437 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12337/statm: 3162 731 198 640 0 2518 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12648 [startup+0.701821 s] /proc/loadavg: 1.00 1.00 0.94 3/64 12337 /proc/meminfo: memFree=1840144/2055920 swapFree=4181856/4192956 [pid=12337] ppid=12335 vsize=13416 CPUtime=0.69 /proc/12337/stat : 12337 (bsolo) R 12335 12337 11968 0 -1 4194304 976 0 0 0 69 0 0 0 23 0 1 0 191982741 13737984 951 1992294400 134512640 137136520 4294956256 18446744073709551615 134617392 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12337/statm: 3354 951 198 640 0 2710 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13416 [startup+1.50197 s] /proc/loadavg: 1.00 1.00 0.94 2/65 12338 /proc/meminfo: memFree=1836680/2055920 swapFree=4181856/4192956 [pid=12337] ppid=12335 vsize=14904 CPUtime=1.49 /proc/12337/stat : 12337 (bsolo) R 12335 12337 11968 0 -1 4194304 1338 0 0 0 149 0 0 0 25 0 1 0 191982741 15261696 1313 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12337/statm: 3726 1314 198 640 0 3082 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14904 [startup+3.10126 s] /proc/loadavg: 1.00 1.00 0.94 2/65 12338 /proc/meminfo: memFree=1834312/2055920 swapFree=4181856/4192956 [pid=12337] ppid=12335 vsize=16976 CPUtime=3.09 /proc/12337/stat : 12337 (bsolo) R 12335 12337 11968 0 -1 4194304 1865 0 0 0 309 0 0 0 25 0 1 0 191982741 17383424 1840 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12337/statm: 4244 1840 198 640 0 3600 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16976 [startup+6.30184 s] /proc/loadavg: 1.00 1.00 0.94 2/65 12338 /proc/meminfo: memFree=1831496/2055920 swapFree=4181856/4192956 [pid=12337] ppid=12335 vsize=19300 CPUtime=6.29 /proc/12337/stat : 12337 (bsolo) R 12335 12337 11968 0 -1 4194304 2438 0 0 0 628 1 0 0 25 0 1 0 191982741 19763200 2413 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12337/statm: 4825 2413 198 640 0 4181 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 19300 [startup+12.702 s] /proc/loadavg: 1.00 1.00 0.94 2/65 12338 /proc/meminfo: memFree=1827680/2055920 swapFree=4181856/4192956 [pid=12337] ppid=12335 vsize=23460 CPUtime=12.69 /proc/12337/stat : 12337 (bsolo) R 12335 12337 11968 0 -1 4194304 3476 0 0 0 1267 2 0 0 25 0 1 0 191982741 24023040 3451 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12337/statm: 5865 3451 198 640 0 5221 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 23460 [startup+25.5013 s] /proc/loadavg: 1.00 1.00 0.94 2/65 12338 /proc/meminfo: memFree=1821936/2055920 swapFree=4181856/4192956 [pid=12337] ppid=12335 vsize=28552 CPUtime=25.47 /proc/12337/stat : 12337 (bsolo) R 12335 12337 11968 0 -1 4194304 4737 0 0 0 2544 3 0 0 25 0 1 0 191982741 29237248 4712 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12337/statm: 7138 4712 198 640 0 6494 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 28552 [startup+51.102 s] /proc/loadavg: 1.00 1.00 0.94 2/65 12338 /proc/meminfo: memFree=1819440/2055920 swapFree=4181856/4192956 [pid=12337] ppid=12335 vsize=31020 CPUtime=51.06 /proc/12337/stat : 12337 (bsolo) R 12335 12337 11968 0 -1 4194304 5360 0 0 0 5101 5 0 0 25 0 1 0 191982741 31764480 5335 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12337/statm: 7755 5335 198 640 0 7111 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 31020 [startup+102.305 s] /proc/loadavg: 1.00 1.00 0.94 2/65 12338 /proc/meminfo: memFree=1816496/2055920 swapFree=4181856/4192956 [pid=12337] ppid=12335 vsize=33868 CPUtime=102.25 /proc/12337/stat : 12337 (bsolo) R 12335 12337 11968 0 -1 4194304 6082 0 0 0 10218 7 0 0 25 0 1 0 191982741 34680832 6057 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12337/statm: 8467 6057 198 640 0 7823 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 33868 [startup+162.301 s] /proc/loadavg: 1.00 1.00 0.94 2/65 12338 /proc/meminfo: memFree=1816432/2055920 swapFree=4181856/4192956 [pid=12337] ppid=12335 vsize=33868 CPUtime=162.21 /proc/12337/stat : 12337 (bsolo) R 12335 12337 11968 0 -1 4194304 6082 0 0 0 16212 9 0 0 25 0 1 0 191982741 34680832 6057 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12337/statm: 8467 6057 198 640 0 7823 0 Current children cumulated CPU time (s) 162.21 Current children cumulated vsize (KiB) 33868 [startup+222.301 s] /proc/loadavg: 1.00 1.00 0.94 2/65 12338 /proc/meminfo: memFree=1816368/2055920 swapFree=4181856/4192956 [pid=12337] ppid=12335 vsize=33868 CPUtime=222.18 /proc/12337/stat : 12337 (bsolo) R 12335 12337 11968 0 -1 4194304 6082 0 0 0 22207 11 0 0 25 0 1 0 191982741 34680832 6057 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12337/statm: 8467 6057 198 640 0 7823 0 Current children cumulated CPU time (s) 222.18 Current children cumulated vsize (KiB) 33868 [startup+282.301 s] /proc/loadavg: 1.00 1.00 0.94 2/65 12338 /proc/meminfo: memFree=1816368/2055920 swapFree=4181856/4192956 [pid=12337] ppid=12335 vsize=33868 CPUtime=282.16 /proc/12337/stat : 12337 (bsolo) R 12335 12337 11968 0 -1 4194304 6082 0 0 0 28204 12 0 0 25 0 1 0 191982741 34680832 6057 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12337/statm: 8467 6057 198 640 0 7823 0 Current children cumulated CPU time (s) 282.16 Current children cumulated vsize (KiB) 33868 [startup+342.301 s] /proc/loadavg: 1.00 1.00 0.94 2/65 12338 /proc/meminfo: memFree=1816304/2055920 swapFree=4181856/4192956 [pid=12337] ppid=12335 vsize=33868 CPUtime=342.13 /proc/12337/stat : 12337 (bsolo) R 12335 12337 11968 0 -1 4194304 6082 0 0 0 34201 12 0 0 25 0 1 0 191982741 34680832 6057 1992294400 134512640 137136520 4294956256 18446744073709551615 134544256 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12337/statm: 8467 6057 198 640 0 7823 0 Current children cumulated CPU time (s) 342.13 Current children cumulated vsize (KiB) 33868 [startup+402.301 s] /proc/loadavg: 1.00 1.00 0.94 2/65 12338 /proc/meminfo: memFree=1816048/2055920 swapFree=4181856/4192956 [pid=12337] ppid=12335 vsize=34260 CPUtime=402.11 /proc/12337/stat : 12337 (bsolo) R 12335 12337 11968 0 -1 4194304 6174 0 0 0 40198 13 0 0 25 0 1 0 191982741 35082240 6149 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12337/statm: 8565 6149 198 640 0 7921 0 Current children cumulated CPU time (s) 402.11 Current children cumulated vsize (KiB) 34260 [startup+462.301 s] /proc/loadavg: 1.00 1.00 0.94 2/65 12338 /proc/meminfo: memFree=1815792/2055920 swapFree=4181856/4192956 [pid=12337] ppid=12335 vsize=34504 CPUtime=462.07 /proc/12337/stat : 12337 (bsolo) R 12335 12337 11968 0 -1 4194304 6232 0 0 0 46194 13 0 0 25 0 1 0 191982741 35332096 6207 1992294400 134512640 137136520 4294956256 18446744073709551615 134540969 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12337/statm: 8626 6207 198 640 0 7982 0 Current children cumulated CPU time (s) 462.07 Current children cumulated vsize (KiB) 34504 [startup+522.303 s] /proc/loadavg: 1.00 1.00 0.94 2/65 12338 /proc/meminfo: memFree=1815728/2055920 swapFree=4181856/4192956 [pid=12337] ppid=12335 vsize=34504 CPUtime=522.04 /proc/12337/stat : 12337 (bsolo) R 12335 12337 11968 0 -1 4194304 6232 0 0 0 52190 14 0 0 25 0 1 0 191982741 35332096 6207 1992294400 134512640 137136520 4294956256 18446744073709551615 134544125 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12337/statm: 8626 6207 198 640 0 7982 0 Current children cumulated CPU time (s) 522.04 Current children cumulated vsize (KiB) 34504 [startup+582.302 s] /proc/loadavg: 1.00 1.00 0.94 2/65 12338 /proc/meminfo: memFree=1813936/2055920 swapFree=4181856/4192956 [pid=12337] ppid=12335 vsize=36304 CPUtime=582.02 /proc/12337/stat : 12337 (bsolo) R 12335 12337 11968 0 -1 4194304 6684 0 0 0 58186 16 0 0 25 0 1 0 191982741 37175296 6659 1992294400 134512640 137136520 4294956256 18446744073709551615 134544122 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12337/statm: 9076 6659 198 640 0 8432 0 Current children cumulated CPU time (s) 582.02 Current children cumulated vsize (KiB) 36304 [startup+642.302 s] /proc/loadavg: 1.00 1.00 0.94 2/65 12338 /proc/meminfo: memFree=1813872/2055920 swapFree=4181856/4192956 [pid=12337] ppid=12335 vsize=36304 CPUtime=641.99 /proc/12337/stat : 12337 (bsolo) R 12335 12337 11968 0 -1 4194304 6684 0 0 0 64182 17 0 0 25 0 1 0 191982741 37175296 6659 1992294400 134512640 137136520 4294956256 18446744073709551615 134544179 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12337/statm: 9076 6659 198 640 0 8432 0 Current children cumulated CPU time (s) 641.99 Current children cumulated vsize (KiB) 36304 [startup+702.302 s] ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 0.94 2/65 12338 /proc/meminfo: memFree=1812208/2055920 swapFree=4181856/4192956 [pid=12337] ppid=12335 vsize=37856 CPUtime=881.88 /proc/12337/stat : 12337 (bsolo) R 12335 12337 11968 0 -1 4194304 7077 0 0 0 88165 23 0 0 25 0 1 0 191982741 38764544 7052 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12337/statm: 9464 7052 198 640 0 8820 0 Current children cumulated CPU time (s) 881.88 Current children cumulated vsize (KiB) 37856 [startup+942.302 s] /proc/loadavg: 1.00 1.00 0.94 2/65 12338 /proc/meminfo: memFree=1812144/2055920 swapFree=4181856/4192956 [pid=12337] ppid=12335 vsize=37856 CPUtime=941.84 /proc/12337/stat : 12337 (bsolo) R 12335 12337 11968 0 -1 4194304 7077 0 0 0 94161 23 0 0 25 0 1 0 191982741 38764544 7052 1992294400 134512640 137136520 4294956256 18446744073709551615 134543921 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12337/statm: 9464 7052 198 640 0 8820 0 Current children cumulated CPU time (s) 941.84 Current children cumulated vsize (KiB) 37856 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.94 2/65 12338 /proc/meminfo: memFree=1812144/2055920 swapFree=4181856/4192956 [pid=12337] ppid=12335 vsize=37856 CPUtime=1001.82 /proc/12337/stat : 12337 (bsolo) R 12335 12337 11968 0 -1 4194304 7077 0 0 0 100158 24 0 0 25 0 1 0 191982741 38764544 7052 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12337/statm: 9464 7052 198 640 0 8820 0 Current children cumulated CPU time (s) 1001.82 Current children cumulated vsize (KiB) 37856 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.94 2/65 12338 /proc/meminfo: memFree=1812080/2055920 swapFree=4181856/4192956 [pid=12337] ppid=12335 vsize=37856 CPUtime=1061.79 /proc/12337/stat : 12337 (bsolo) R 12335 12337 11968 0 -1 4194304 7077 0 0 0 106154 25 0 0 25 0 1 0 191982741 38764544 7052 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12337/statm: 9464 7052 198 640 0 8820 0 Current children cumulated CPU time (s) 1061.79 Current children cumulated vsize (KiB) 37856 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.94 2/65 12338 /proc/meminfo: memFree=1812016/2055920 swapFree=4181856/4192956 [pid=12337] ppid=12335 vsize=37856 CPUtime=1121.76 /proc/12337/stat : 12337 (bsolo) R 12335 12337 11968 0 -1 4194304 7077 0 0 0 112151 25 0 0 25 0 1 0 191982741 38764544 7052 1992294400 134512640 137136520 4294956256 18446744073709551615 134544125 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12337/statm: 9464 7052 198 640 0 8820 0 Current children cumulated CPU time (s) 1121.76 Current children cumulated vsize (KiB) 37856 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.94 2/65 12338 /proc/meminfo: memFree=1812016/2055920 swapFree=4181856/4192956 [pid=12337] ppid=12335 vsize=37856 CPUtime=1181.74 /proc/12337/stat : 12337 (bsolo) R 12335 12337 11968 0 -1 4194304 7077 0 0 0 118148 26 0 0 25 0 1 0 191982741 38764544 7052 1992294400 134512640 137136520 4294956256 18446744073709551615 134573541 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12337/statm: 9464 7052 198 640 0 8820 0 Current children cumulated CPU time (s) 1181.74 Current children cumulated vsize (KiB) 37856 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.94 2/65 12338 /proc/meminfo: memFree=1811952/2055920 swapFree=4181856/4192956 [pid=12337] ppid=12335 vsize=37856 CPUtime=1241.71 /proc/12337/stat : 12337 (bsolo) R 12335 12337 11968 0 -1 4194304 7077 0 0 0 124144 27 0 0 25 0 1 0 191982741 38764544 7052 1992294400 134512640 137136520 4294956256 18446744073709551615 134544461 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12337/statm: 9464 7052 198 640 0 8820 0 Current children cumulated CPU time (s) 1241.71 Current children cumulated vsize (KiB) 37856 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.94 2/65 12338 /proc/meminfo: memFree=1811888/2055920 swapFree=4181856/4192956 [pid=12337] ppid=12335 vsize=38052 CPUtime=1301.69 /proc/12337/stat : 12337 (bsolo) R 12335 12337 11968 0 -1 4194304 7122 0 0 0 130142 27 0 0 25 0 1 0 191982741 38965248 7097 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12337/statm: 9513 7097 198 640 0 8869 0 Current children cumulated CPU time (s) 1301.69 Current children cumulated vsize (KiB) 38052 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.94 2/65 12338 /proc/meminfo: memFree=1807728/2055920 swapFree=4181856/4192956 [pid=12337] ppid=12335 vsize=42260 CPUtime=1361.66 /proc/12337/stat : 12337 (bsolo) R 12335 12337 11968 0 -1 4194304 8175 0 0 0 136137 29 0 0 25 0 1 0 191982741 43274240 8150 1992294400 134512640 137136520 4294956256 18446744073709551615 134544440 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12337/statm: 10565 8150 198 640 0 9921 0 Current children cumulated CPU time (s) 1361.66 Current children cumulated vsize (KiB) 42260 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.94 2/65 12338 /proc/meminfo: memFree=1807600/2055920 swapFree=4181856/4192956 [pid=12337] ppid=12335 vsize=42256 CPUtime=1421.62 /proc/12337/stat : 12337 (bsolo) R 12335 12337 11968 0 -1 4194304 8175 0 0 0 142132 30 0 0 25 0 1 0 191982741 43270144 8150 1992294400 134512640 137136520 4294956256 18446744073709551615 136502193 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12337/statm: 10564 8150 198 640 0 9920 0 Current children cumulated CPU time (s) 1421.62 Current children cumulated vsize (KiB) 42256 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.94 2/65 12338 /proc/meminfo: memFree=1807600/2055920 swapFree=4181856/4192956 [pid=12337] ppid=12335 vsize=42216 CPUtime=1481.58 /proc/12337/stat : 12337 (bsolo) R 12335 12337 11968 0 -1 4194304 8175 0 0 0 148127 31 0 0 25 0 1 0 191982741 43229184 8150 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12337/statm: 10554 8150 198 640 0 9910 0 Current children cumulated CPU time (s) 1481.58 Current children cumulated vsize (KiB) 42216 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.94 2/65 12338 /proc/meminfo: memFree=1807536/2055920 swapFree=4181856/4192956 [pid=12337] ppid=12335 vsize=42216 CPUtime=1541.56 /proc/12337/stat : 12337 (bsolo) R 12335 12337 11968 0 -1 4194304 8175 0 0 0 154123 33 0 0 25 0 1 0 191982741 43229184 8150 1992294400 134512640 137136520 4294956256 18446744073709551615 134544428 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12337/statm: 10554 8150 198 640 0 9910 0 Current children cumulated CPU time (s) 1541.56 Current children cumulated vsize (KiB) 42216 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.94 2/65 12338 /proc/meminfo: memFree=1807472/2055920 swapFree=4181856/4192956 [pid=12337] ppid=12335 vsize=42132 CPUtime=1601.53 /proc/12337/stat : 12337 (bsolo) R 12335 12337 11968 0 -1 4194304 8175 0 0 0 160118 35 0 0 25 0 1 0 191982741 43143168 8133 1992294400 134512640 137136520 4294956256 18446744073709551615 134543878 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12337/statm: 10533 8133 198 640 0 9889 0 Current children cumulated CPU time (s) 1601.53 Current children cumulated vsize (KiB) 42132 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.94 2/65 12338 /proc/meminfo: memFree=1807472/2055920 swapFree=4181856/4192956 [pid=12337] ppid=12335 vsize=42132 CPUtime=1661.51 /proc/12337/stat : 12337 (bsolo) R 12335 12337 11968 0 -1 4194304 8175 0 0 0 166114 37 0 0 25 0 1 0 191982741 43143168 8133 1992294400 134512640 137136520 4294956256 18446744073709551615 134544345 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12337/statm: 10533 8133 198 640 0 9889 0 Current children cumulated CPU time (s) 1661.51 Current children cumulated vsize (KiB) 42132 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.94 2/65 12338 /proc/meminfo: memFree=1807408/2055920 swapFree=4181856/4192956 [pid=12337] ppid=12335 vsize=42132 CPUtime=1721.48 /proc/12337/stat : 12337 (bsolo) R 12335 12337 11968 0 -1 4194304 8175 0 0 0 172109 39 0 0 25 0 1 0 191982741 43143168 8133 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12337/statm: 10533 8133 198 640 0 9889 0 Current children cumulated CPU time (s) 1721.48 Current children cumulated vsize (KiB) 42132 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.94 2/65 12338 /proc/meminfo: memFree=1807408/2055920 swapFree=4181856/4192956 [pid=12337] ppid=12335 vsize=42132 CPUtime=1781.45 /proc/12337/stat : 12337 (bsolo) R 12335 12337 11968 0 -1 4194304 8175 0 0 0 178105 40 0 0 25 0 1 0 191982741 43143168 8133 1992294400 134512640 137136520 4294956256 18446744073709551615 134544179 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12337/statm: 10533 8133 198 640 0 9889 0 Current children cumulated CPU time (s) 1781.45 Current children cumulated vsize (KiB) 42132 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.9 s] /proc/loadavg: 1.00 1.00 0.94 2/65 12338 /proc/meminfo: memFree=1807408/2055920 swapFree=4181856/4192956 [pid=12337] ppid=12335 vsize=42128 CPUtime=1800.05 /proc/12337/stat : 12337 (bsolo) R 12335 12337 11968 0 -1 4194304 8175 0 0 0 179965 40 0 0 25 0 1 0 191982741 43139072 8132 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12337/statm: 10532 8132 198 640 0 9888 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 42128 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.9 s] /proc/loadavg: 1.00 1.00 0.94 2/65 12338 /proc/meminfo: memFree=1807408/2055920 swapFree=4181856/4192956 [pid=12337] ppid=12335 vsize=42128 CPUtime=1800.05 /proc/12337/stat : 12337 (bsolo) R 12335 12337 11968 0 -1 4194304 8175 0 0 0 179965 40 0 0 25 0 1 0 191982741 43139072 8132 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12337/statm: 10532 8132 198 640 0 9888 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 42128 Child status: 15 Real time (s): 1800.92 CPU time (s): 1800.07 CPU user time (s): 1799.66 CPU system time (s): 0.409937 CPU usage (%): 99.9528 Max. virtual memory (cumulated for all children) (KiB): 42260 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.66 system time used= 0.409937 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 8177 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= 7114 runsolver used 1.77073 second user time and 4.79227 second system time The end
Begin job on node44 at 2009-06-17 15:04:20 IDJOB=1879453 IDBENCH=48003 IDSOLVER=701 FILE ID=node44/1879453-1245243860 PBS_JOBID= 9372295 Free space on /tmp= 65924 MiB SOLVER NAME= bsolo 3.1 pb BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=487-P1=127-P2=347-P3=419-P4=367-P5=149-P6=419-B.opb COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1879453-1245243860/watcher-1879453-1245243860 -o /tmp/evaluation-result-1879453-1245243860/solver-1879453-1245243860 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879453-1245243860.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 79cf27053836a1888aee43ca3805fcdd RANDOM SEED=90608273 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: 1840696 kB Buffers: 23124 kB Cached: 106684 kB SwapCached: 5172 kB Active: 22296 kB Inactive: 115704 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1840696 kB SwapTotal: 4192956 kB SwapFree: 4181856 kB Dirty: 3948 kB Writeback: 0 kB Mapped: 14012 kB Slab: 63200 kB Committed_AS: 201052 kB PageTables: 1384 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-1879453-1245243860.opb Free space on /tmp at the end= 65920 MiB End job on node44 at 2009-06-17 15:34:23