Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 pb | SAT | 257 | 1798.01 | 1798.54 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=9-P0=211-P1=317-P2=331-P3=491-P4=101-P5=283-P6=487-P7=439-B.opb |
MD5SUM | 901fa4df755866cb23bdcc769669d554 |
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 | 11.6712 |
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 | 15 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 15 |
Minimum length of a constraint | 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) | 567 |
Sum of products size (including duplicates) | 1134 |
Number of different products | 567 |
Sum of products size | 1134 |
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-1879548-1245245317.opb 0.00/0.00 c File size is 42576 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.005 s 0.00/0.00 c Var: 756 Constr: 1156 567/0/589 Lit: 4842 Watch. Lit: 2963 0.00/0.00 c Obj. Vars: 9 (1.19048 % of total variables) 0.00/0.01 c Pre-processing Time: 0.013 s 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 756 1156 4842 4 4165 6471 0 0 0.01 0.00/0.01 c Switching off lower bounding mode. 1321.41/1321.81 c 100 756 1351 20357 15 9385 7119 195 2380 0.04 1321.41/1321.81 c 251 756 1648 57650 34 20564 7831 492 2008 0.12 1321.41/1321.81 c 476 756 2097 101369 48 25811 8615 941 1383 0.34 1321.41/1321.81 c 815 756 2760 162677 58 40494 9477 1604 1374 0.59 1321.41/1321.81 c 1325 756 3694 283619 76 46310 10425 2538 905 1.46 1321.41/1321.81 c 2088 756 5190 410852 79 76126 11468 4034 777 2.69 1321.41/1321.81 c 3236 756 7307 583022 79 79765 12615 6151 400 8.09 1321.41/1321.81 c 4958 756 10514 841954 80 123227 13877 9358 209 23.69 1321.41/1321.81 c 7543 756 8095 610899 75 116729 15265 6939 177 42.44 1321.41/1321.81 c 11423 756 15468 1228712 79 273052 16792 14312 161 70.91 1321.41/1321.81 c 17245 756 9553 704337 73 169343 18472 8397 77 222.33 1321.41/1321.81 c 25982 756 16877 1288585 76 256196 20320 15721 66 392.85 1321.41/1321.81 c 39094 756 19310 1637152 84 162729 22353 18154 74 521.80 1321.41/1321.81 c 58766 756 21138 1623155 76 295636 24589 19982 58 1009.15 1321.41/1321.81 o 257 1797.97/1798.52 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.97/1798.52 c 75760 756 14385 1175225 81 138222 6489 13229 57 1321.43 1797.97/1798.52 c 75861 756 4559 306737 67 53447 7138 3403 57 1325.23 1797.97/1798.52 c 76111 756 4890 337321 68 54128 7852 3734 57 1325.43 1797.97/1798.52 c 76586 756 5594 401537 71 58479 8638 4438 57 1325.87 1797.97/1798.52 c 77400 756 7128 543568 76 69850 9502 5972 58 1326.81 1797.97/1798.52 c 78720 756 9688 756756 78 138424 10453 8532 59 1329.48 1797.97/1798.52 c 80802 756 8367 604213 72 128784 11499 7211 59 1348.25 1797.97/1798.52 c 84026 756 8676 615888 70 142971 12649 7520 59 1406.48 1797.97/1798.52 c 88963 756 11651 846041 72 198735 13914 10495 58 1510.86 1797.97/1798.52 c 96470 756 10938 866087 79 155036 15306 9782 59 1632.05 1797.97/1798.52 c Resources Exceeded 1797.97/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 -x71 -x72 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 -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 x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 x127 -x128 -x129 -x130 -x131 -x132 -x133 x134 -x135 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 -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 x82 -x83 -x84 -x85 x86 -x87 -x88 -x89 -x90 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 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 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 x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x145 -x146 -x147 x148 -x149 -x150 -x151 -x152 -x153 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 x100 -x101 -x102 -x103 -x104 -x105 x106 -x107 -x108 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 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 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 x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 x163 -x164 -x165 x166 x167 x168 -x169 -x170 -x171 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 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 x118 x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 x676 x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 x685 x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 x730 x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 1797.97/1798.52 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.97/1798.52 c 24 106979 954 113391 14233 1078722 13077 59 1798.00 1797.97/1798.52 c Objective: 257 1797.97/1798.52 s SATISFIABLE 1797.97/1798.52 c Total time: 1798 s
OK 257
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1879548-1245245317/watcher-1879548-1245245317 -o /tmp/evaluation-result-1879548-1245245317/solver-1879548-1245245317 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879548-1245245317.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: 0.99 0.97 0.91 3/65 20090 /proc/meminfo: memFree=1745664/2055920 swapFree=4176004/4192956 [pid=20090] ppid=20088 vsize=10752 CPUtime=0 /proc/20090/stat : 20090 (bsolo) R 20088 20090 19570 0 -1 4194304 254 0 0 0 0 0 0 0 18 0 1 0 192131013 11010048 238 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20090/statm: 2688 238 175 640 0 2033 0 [startup+0.0840731 s] /proc/loadavg: 0.99 0.97 0.91 3/65 20090 /proc/meminfo: memFree=1745664/2055920 swapFree=4176004/4192956 [pid=20090] ppid=20088 vsize=11768 CPUtime=0.07 /proc/20090/stat : 20090 (bsolo) R 20088 20090 19570 0 -1 4194304 539 0 0 0 7 0 0 0 18 0 1 0 192131013 12050432 512 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20090/statm: 2942 512 198 640 0 2298 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 11768 [startup+0.101074 s] /proc/loadavg: 0.99 0.97 0.91 3/65 20090 /proc/meminfo: memFree=1745664/2055920 swapFree=4176004/4192956 [pid=20090] ppid=20088 vsize=11896 CPUtime=0.09 /proc/20090/stat : 20090 (bsolo) R 20088 20090 19570 0 -1 4194304 584 0 0 0 9 0 0 0 18 0 1 0 192131013 12181504 557 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20090/statm: 2974 557 198 640 0 2330 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11896 [startup+0.301097 s] /proc/loadavg: 0.99 0.97 0.91 3/65 20090 /proc/meminfo: memFree=1745664/2055920 swapFree=4176004/4192956 [pid=20090] ppid=20088 vsize=12540 CPUtime=0.29 /proc/20090/stat : 20090 (bsolo) R 20088 20090 19570 0 -1 4194304 735 0 0 0 29 0 0 0 19 0 1 0 192131013 12840960 708 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20090/statm: 3135 708 198 640 0 2491 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12540 [startup+0.701143 s] /proc/loadavg: 0.99 0.97 0.91 3/65 20090 /proc/meminfo: memFree=1745664/2055920 swapFree=4176004/4192956 [pid=20090] ppid=20088 vsize=14480 CPUtime=0.69 /proc/20090/stat : 20090 (bsolo) R 20088 20090 19570 0 -1 4194304 1218 0 0 0 69 0 0 0 22 0 1 0 192131013 14827520 1191 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20090/statm: 3620 1191 198 640 0 2976 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14480 [startup+1.50123 s] /proc/loadavg: 0.99 0.97 0.91 2/66 20091 /proc/meminfo: memFree=1741048/2055920 swapFree=4176004/4192956 [pid=20090] ppid=20088 vsize=16268 CPUtime=1.49 /proc/20090/stat : 20090 (bsolo) R 20088 20090 19570 0 -1 4194304 1683 0 0 0 149 0 0 0 25 0 1 0 192131013 16658432 1656 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20090/statm: 4067 1656 198 640 0 3423 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 16268 [startup+3.10142 s] /proc/loadavg: 0.99 0.97 0.91 2/66 20091 /proc/meminfo: memFree=1737784/2055920 swapFree=4176004/4192956 [pid=20090] ppid=20088 vsize=18612 CPUtime=3.09 /proc/20090/stat : 20090 (bsolo) R 20088 20090 19570 0 -1 4194304 2279 0 0 0 309 0 0 0 25 0 1 0 192131013 19058688 2252 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20090/statm: 4653 2252 198 640 0 4009 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 18612 [startup+6.30179 s] /proc/loadavg: 0.99 0.97 0.91 2/66 20091 /proc/meminfo: memFree=1735928/2055920 swapFree=4176004/4192956 [pid=20090] ppid=20088 vsize=20020 CPUtime=6.29 /proc/20090/stat : 20090 (bsolo) R 20088 20090 19570 0 -1 4194304 2621 0 0 0 628 1 0 0 25 0 1 0 192131013 20500480 2594 1992294400 134512640 137136520 4294956256 18446744073709551615 136295552 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20090/statm: 5005 2594 198 640 0 4361 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 20020 [startup+12.7015 s] /proc/loadavg: 0.99 0.97 0.91 2/66 20091 /proc/meminfo: memFree=1732984/2055920 swapFree=4176004/4192956 [pid=20090] ppid=20088 vsize=22764 CPUtime=12.68 /proc/20090/stat : 20090 (bsolo) R 20088 20090 19570 0 -1 4194304 3318 0 0 0 1267 1 0 0 25 0 1 0 192131013 23310336 3291 1992294400 134512640 137136520 4294956256 18446744073709551615 134544384 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20090/statm: 5691 3291 198 640 0 5047 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 22764 [startup+25.502 s] /proc/loadavg: 0.99 0.97 0.91 2/66 20091 /proc/meminfo: memFree=1729464/2055920 swapFree=4176004/4192956 [pid=20090] ppid=20088 vsize=26268 CPUtime=25.48 /proc/20090/stat : 20090 (bsolo) R 20088 20090 19570 0 -1 4194304 4325 0 0 0 2546 2 0 0 25 0 1 0 192131013 26898432 4150 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20090/statm: 6567 4150 198 640 0 5923 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 26268 [startup+51.102 s] /proc/loadavg: 0.99 0.97 0.91 2/66 20091 /proc/meminfo: memFree=1720888/2055920 swapFree=4176004/4192956 [pid=20090] ppid=20088 vsize=34816 CPUtime=51.08 /proc/20090/stat : 20090 (bsolo) R 20088 20090 19570 0 -1 4194304 6461 0 0 0 5103 5 0 0 25 0 1 0 192131013 35651584 6286 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20090/statm: 8704 6286 198 640 0 8060 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 34816 [startup+102.306 s] /proc/loadavg: 0.99 0.97 0.91 2/66 20091 /proc/meminfo: memFree=1714744/2055920 swapFree=4176004/4192956 [pid=20090] ppid=20088 vsize=40868 CPUtime=102.27 /proc/20090/stat : 20090 (bsolo) R 20088 20090 19570 0 -1 4194304 7990 0 0 0 10220 7 0 0 25 0 1 0 192131013 41848832 7815 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20090/statm: 10217 7815 198 640 0 9573 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 40868 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.91 2/66 20091 /proc/meminfo: memFree=1714744/2055920 swapFree=4176004/4192956 [pid=20090] ppid=20088 vsize=40868 CPUtime=162.25 /proc/20090/stat : 20090 (bsolo) R 20088 20090 19570 0 -1 4194304 7990 0 0 0 16217 8 0 0 25 0 1 0 192131013 41848832 7815 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20090/statm: 10217 7815 198 640 0 9573 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 40868 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.91 2/66 20091 /proc/meminfo: memFree=1714680/2055920 swapFree=4176004/4192956 [pid=20090] ppid=20088 vsize=40868 CPUtime=222.22 /proc/20090/stat : 20090 (bsolo) R 20088 20090 19570 0 -1 4194304 7990 0 0 0 22214 8 0 0 25 0 1 0 192131013 41848832 7815 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20090/statm: 10217 7815 198 640 0 9573 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 40868 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.91 2/66 20091 /proc/meminfo: memFree=1714616/2055920 swapFree=4176004/4192956 [pid=20090] ppid=20088 vsize=40868 CPUtime=282.21 /proc/20090/stat : 20090 (bsolo) R 20088 20090 19570 0 -1 4194304 7990 0 0 0 28212 9 0 0 25 0 1 0 192131013 41848832 7815 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20090/statm: 10217 7815 198 640 0 9573 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 40868 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.91 2/66 20091 /proc/meminfo: memFree=1713720/2055920 swapFree=4176004/4192956 [pid=20090] ppid=20088 vsize=41764 CPUtime=342.19 /proc/20090/stat : 20090 (bsolo) R 20088 20090 19570 0 -1 4194304 8203 0 0 0 34208 11 0 0 25 0 1 0 192131013 42766336 8028 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20090/statm: 10441 8028 198 640 0 9797 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 41764 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.91 2/66 20091 /proc/meminfo: memFree=1713656/2055920 swapFree=4176004/4192956 [pid=20090] ppid=20088 vsize=41764 CPUtime=402.17 /proc/20090/stat : 20090 (bsolo) R 20088 20090 19570 0 -1 4194304 8203 0 0 0 40205 12 0 0 25 0 1 0 192131013 42766336 8028 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20090/statm: 10441 8028 198 640 0 9797 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 41764 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.91 2/66 20091 /proc/meminfo: memFree=1708344/2055920 swapFree=4176004/4192956 [pid=20090] ppid=20088 vsize=47044 CPUtime=462.16 /proc/20090/stat : 20090 (bsolo) R 20088 20090 19570 0 -1 4194304 9534 0 0 0 46202 14 0 0 25 0 1 0 192131013 48173056 9359 1992294400 134512640 137136520 4294956256 18446744073709551615 134540856 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20090/statm: 11761 9359 198 640 0 11117 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 47044 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.91 2/66 20091 /proc/meminfo: memFree=1708344/2055920 swapFree=4176004/4192956 [pid=20090] ppid=20088 vsize=47044 CPUtime=522.13 /proc/20090/stat : 20090 (bsolo) R 20088 20090 19570 0 -1 4194304 9534 0 0 0 52197 16 0 0 25 0 1 0 192131013 48173056 9359 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20090/statm: 11761 9359 198 640 0 11117 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 47044 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.91 2/66 20091 /proc/meminfo: memFree=1708344/2055920 swapFree=4176004/4192956 [pid=20090] ppid=20088 vsize=47052 CPUtime=582.12 /proc/20090/stat : 20090 (bsolo) R 20088 20090 19570 0 -1 4194304 9538 0 0 0 58194 18 0 0 25 0 1 0 192131013 48181248 9363 1992294400 134512640 137136520 4294956256 18446744073709551615 134543787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20090/statm: 11763 9363 198 640 0 11119 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 47052 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.91 2/66 20091 /proc/meminfo: memFree=1708280/2055920 swapFree=4176004/4192956 [pid=20090] ppid=20088 vsize=47052 CPUtime=642.11 /proc/20090/stat : 20090 (bsolo) R 20088 20090 19570 0 -1 4194304 9538 0 0 0 64193 18 0 0 25 0 1 0 192131013 48181248 9363 1992294400 134512640 137136520 4294956256 18446744073709551615 134544393 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20090/statm: 11763 9363 198 640 0 11119 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 47052 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1705400/2055920 swapFree=4176004/4192956 [pid=20090] ppid=20088 vsize=49900 CPUtime=1061.98 /proc/20090/stat : 20090 (bsolo) R 20088 20090 19570 0 -1 4194304 10226 0 0 0 106175 23 0 0 25 0 1 0 192131013 51097600 10051 1992294400 134512640 137136520 4294956256 18446744073709551615 134544443 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20090/statm: 12475 10051 198 640 0 11831 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 49900 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.91 2/66 20091 /proc/meminfo: memFree=1701240/2055920 swapFree=4176004/4192956 [pid=20090] ppid=20088 vsize=53936 CPUtime=1121.96 /proc/20090/stat : 20090 (bsolo) R 20088 20090 19570 0 -1 4194304 11251 0 0 0 112172 24 0 0 25 0 1 0 192131013 55230464 11076 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20090/statm: 13484 11076 198 640 0 12840 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 53936 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.91 2/66 20091 /proc/meminfo: memFree=1701240/2055920 swapFree=4176004/4192956 [pid=20090] ppid=20088 vsize=53936 CPUtime=1181.94 /proc/20090/stat : 20090 (bsolo) R 20088 20090 19570 0 -1 4194304 11251 0 0 0 118170 24 0 0 25 0 1 0 192131013 55230464 11076 1992294400 134512640 137136520 4294956256 18446744073709551615 134544604 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20090/statm: 13484 11076 198 640 0 12840 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 53936 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.91 2/66 20091 /proc/meminfo: memFree=1699384/2055920 swapFree=4176004/4192956 [pid=20090] ppid=20088 vsize=55776 CPUtime=1241.93 /proc/20090/stat : 20090 (bsolo) R 20088 20090 19570 0 -1 4194304 11711 0 0 0 124167 26 0 0 25 0 1 0 192131013 57114624 11536 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20090/statm: 13944 11536 198 640 0 13300 0 Current children cumulated CPU time (s) 1241.93 Current children cumulated vsize (KiB) 55776 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.91 2/66 20091 /proc/meminfo: memFree=1698360/2055920 swapFree=4176004/4192956 [pid=20090] ppid=20088 vsize=56792 CPUtime=1301.91 /proc/20090/stat : 20090 (bsolo) R 20088 20090 19570 0 -1 4194304 11951 0 0 0 130164 27 0 0 25 0 1 0 192131013 58155008 11776 1992294400 134512640 137136520 4294956256 18446744073709551615 134544428 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20090/statm: 14198 11776 198 640 0 13554 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 56792 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.91 2/66 20091 /proc/meminfo: memFree=1697912/2055920 swapFree=4176004/4192956 [pid=20090] ppid=20088 vsize=57220 CPUtime=1361.89 /proc/20090/stat : 20090 (bsolo) R 20088 20090 19570 0 -1 4194304 12073 0 0 0 136160 29 0 0 25 0 1 0 192131013 58593280 11898 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20090/statm: 14305 11898 198 640 0 13661 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 57220 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.91 2/66 20091 /proc/meminfo: memFree=1697848/2055920 swapFree=4176004/4192956 [pid=20090] ppid=20088 vsize=57220 CPUtime=1421.88 /proc/20090/stat : 20090 (bsolo) R 20088 20090 19570 0 -1 4194304 12073 0 0 0 142158 30 0 0 25 0 1 0 192131013 58593280 11898 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20090/statm: 14305 11898 198 640 0 13661 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 57220 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.91 2/66 20093 /proc/meminfo: memFree=1697784/2055920 swapFree=4176004/4192956 [pid=20090] ppid=20088 vsize=57212 CPUtime=1481.86 /proc/20090/stat : 20090 (bsolo) R 20088 20090 19570 0 -1 4194304 12073 0 0 0 148155 31 0 0 25 0 1 0 192131013 58585088 11898 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20090/statm: 14303 11898 198 640 0 13659 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 57212 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.91 2/66 20093 /proc/meminfo: memFree=1697784/2055920 swapFree=4176004/4192956 [pid=20090] ppid=20088 vsize=57212 CPUtime=1541.84 /proc/20090/stat : 20090 (bsolo) R 20088 20090 19570 0 -1 4194304 12073 0 0 0 154152 32 0 0 25 0 1 0 192131013 58585088 11898 1992294400 134512640 137136520 4294956256 18446744073709551615 134573541 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20090/statm: 14303 11898 198 640 0 13659 0 Current children cumulated CPU time (s) 1541.84 Current children cumulated vsize (KiB) 57212 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.91 2/66 20093 /proc/meminfo: memFree=1697784/2055920 swapFree=4176004/4192956 [pid=20090] ppid=20088 vsize=57212 CPUtime=1601.82 /proc/20090/stat : 20090 (bsolo) R 20088 20090 19570 0 -1 4194304 12073 0 0 0 160149 33 0 0 25 0 1 0 192131013 58585088 11898 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20090/statm: 14303 11898 198 640 0 13659 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 57212 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.91 2/66 20093 /proc/meminfo: memFree=1697784/2055920 swapFree=4176004/4192956 [pid=20090] ppid=20088 vsize=57212 CPUtime=1661.81 /proc/20090/stat : 20090 (bsolo) R 20088 20090 19570 0 -1 4194304 12073 0 0 0 166146 35 0 0 25 0 1 0 192131013 58585088 11898 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20090/statm: 14303 11898 198 640 0 13659 0 Current children cumulated CPU time (s) 1661.81 Current children cumulated vsize (KiB) 57212 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.91 2/66 20093 /proc/meminfo: memFree=1697720/2055920 swapFree=4176004/4192956 [pid=20090] ppid=20088 vsize=57212 CPUtime=1721.78 /proc/20090/stat : 20090 (bsolo) R 20088 20090 19570 0 -1 4194304 12073 0 0 0 172143 35 0 0 25 0 1 0 192131013 58585088 11898 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20090/statm: 14303 11898 198 640 0 13659 0 Current children cumulated CPU time (s) 1721.78 Current children cumulated vsize (KiB) 57212 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.91 2/66 20093 /proc/meminfo: memFree=1697720/2055920 swapFree=4176004/4192956 [pid=20090] ppid=20088 vsize=57212 CPUtime=1781.77 /proc/20090/stat : 20090 (bsolo) R 20088 20090 19570 0 -1 4194304 12073 0 0 0 178141 36 0 0 25 0 1 0 192131013 58585088 11898 1992294400 134512640 137136520 4294956256 18446744073709551615 134544398 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20090/statm: 14303 11898 198 640 0 13659 0 Current children cumulated CPU time (s) 1781.77 Current children cumulated vsize (KiB) 57212 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 0.99 0.97 0.91 2/66 20093 /proc/meminfo: memFree=1697720/2055920 swapFree=4176004/4192956 [pid=20090] ppid=20088 vsize=57212 CPUtime=1791.37 /proc/20090/stat : 20090 (bsolo) R 20088 20090 19570 0 -1 4194304 12073 0 0 0 179101 36 0 0 25 0 1 0 192131013 58585088 11898 1992294400 134512640 137136520 4294956256 18446744073709551615 134544357 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20090/statm: 14303 11898 198 640 0 13659 0 Current children cumulated CPU time (s) 1791.37 Current children cumulated vsize (KiB) 57212 [startup+1795.1 s] /proc/loadavg: 0.99 0.97 0.91 2/66 20093 /proc/meminfo: memFree=1697720/2055920 swapFree=4176004/4192956 [pid=20090] ppid=20088 vsize=57212 CPUtime=1794.57 /proc/20090/stat : 20090 (bsolo) R 20088 20090 19570 0 -1 4194304 12073 0 0 0 179421 36 0 0 25 0 1 0 192131013 58585088 11898 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20090/statm: 14303 11898 198 640 0 13659 0 Current children cumulated CPU time (s) 1794.57 Current children cumulated vsize (KiB) 57212 [startup+1796.7 s] /proc/loadavg: 0.99 0.97 0.91 2/66 20093 /proc/meminfo: memFree=1697720/2055920 swapFree=4176004/4192956 [pid=20090] ppid=20088 vsize=57212 CPUtime=1796.16 /proc/20090/stat : 20090 (bsolo) R 20088 20090 19570 0 -1 4194304 12073 0 0 0 179580 36 0 0 25 0 1 0 192131013 58585088 11898 1992294400 134512640 137136520 4294956256 18446744073709551615 134544449 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20090/statm: 14303 11898 198 640 0 13659 0 Current children cumulated CPU time (s) 1796.16 Current children cumulated vsize (KiB) 57212 [startup+1797.5 s] /proc/loadavg: 0.99 0.97 0.91 2/66 20093 /proc/meminfo: memFree=1697720/2055920 swapFree=4176004/4192956 [pid=20090] ppid=20088 vsize=57212 CPUtime=1796.96 /proc/20090/stat : 20090 (bsolo) R 20088 20090 19570 0 -1 4194304 12073 0 0 0 179660 36 0 0 25 0 1 0 192131013 58585088 11898 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20090/statm: 14303 11898 198 640 0 13659 0 Current children cumulated CPU time (s) 1796.96 Current children cumulated vsize (KiB) 57212 [startup+1798.3 s] /proc/loadavg: 0.99 0.97 0.91 2/66 20093 /proc/meminfo: memFree=1697720/2055920 swapFree=4176004/4192956 [pid=20090] ppid=20088 vsize=57212 CPUtime=1797.76 /proc/20090/stat : 20090 (bsolo) R 20088 20090 19570 0 -1 4194304 12073 0 0 0 179740 36 0 0 25 0 1 0 192131013 58585088 11898 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20090/statm: 14303 11898 198 640 0 13659 0 Current children cumulated CPU time (s) 1797.76 Current children cumulated vsize (KiB) 57212 [startup+1798.51 s] /proc/loadavg: 0.99 0.97 0.91 2/66 20093 /proc/meminfo: memFree=1697720/2055920 swapFree=4176004/4192956 [pid=20090] ppid=20088 vsize=57212 CPUtime=1797.97 /proc/20090/stat : 20090 (bsolo) R 20088 20090 19570 0 -1 4194304 12073 0 0 0 179761 36 0 0 25 0 1 0 192131013 58585088 11898 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20090/statm: 14303 11898 198 640 0 13659 0 Current children cumulated CPU time (s) 1797.97 Current children cumulated vsize (KiB) 57212 Child status: 0 Real time (s): 1798.54 CPU time (s): 1798.01 CPU user time (s): 1797.64 CPU system time (s): 0.374943 CPU usage (%): 99.9707 Max. virtual memory (cumulated for all children) (KiB): 57224 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.64 system time used= 0.374943 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 12075 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= 2662 runsolver used 1.9797 second user time and 4.23336 second system time The end
Begin job on node74 at 2009-06-17 15:28:37 IDJOB=1879548 IDBENCH=48098 IDSOLVER=701 FILE ID=node74/1879548-1245245317 PBS_JOBID= 9372277 Free space on /tmp= 103016 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=211-P1=317-P2=331-P3=491-P4=101-P5=283-P6=487-P7=439-B.opb COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1879548-1245245317/watcher-1879548-1245245317 -o /tmp/evaluation-result-1879548-1245245317/solver-1879548-1245245317 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879548-1245245317.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 901fa4df755866cb23bdcc769669d554 RANDOM SEED=1730448949 node74.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.218 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.218 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: 1746080 kB Buffers: 36232 kB Cached: 208080 kB SwapCached: 10348 kB Active: 39520 kB Inactive: 218712 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1746080 kB SwapTotal: 4192956 kB SwapFree: 4176004 kB Dirty: 3948 kB Writeback: 0 kB Mapped: 14248 kB Slab: 37396 kB Committed_AS: 97912 kB PageTables: 1444 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-1879548-1245245317.opb Free space on /tmp at the end= 103016 MiB End job on node74 at 2009-06-17 15:58:36