Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 cl | SAT | 3 | 1798.01 | 1798.68 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=9-P0=103-P1=127-P2=263-P3=461-P4=191-P5=277-B.opb |
MD5SUM | 773aedb43187ca11a13e2d0d2a59ebe9 |
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 | 4.89525 |
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 | 135 |
Total number of constraints | 11 |
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 | 11 |
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) | 405 |
Sum of products size (including duplicates) | 810 |
Number of different products | 405 |
Sum of products size | 810 |
0.00/0.00 c bsolo beta version 3.1 - 13/04/2009 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Learning Strategy: Clause Learning 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file HOME/instance-1878071-1245188950.opb 0.00/0.00 c File size is 30042 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: 540 Constr: 826 405/0/421 Lit: 3456 Watch. Lit: 2117 0.00/0.00 c Obj. Vars: 9 (1.66667 % 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 540 826 3456 4 2973 4616 0 0 0.01 0.00/0.01 c Switching off lower bounding mode. 429.83/430.03 c 104 540 930 13349 14 3115 5078 104 4521 0.02 429.83/430.03 c 256 540 1082 27730 25 3312 5586 256 4654 0.06 429.83/430.03 c 481 540 1307 47155 36 3932 6145 481 5528 0.09 429.83/430.03 c 820 540 1646 79222 48 4539 6760 820 5774 0.14 429.83/430.03 c 1328 540 2154 120391 55 5540 7437 1328 6091 0.22 429.83/430.03 c 2092 540 2918 188425 64 7027 8181 2092 5608 0.37 429.83/430.03 c 3238 540 4064 280345 68 9326 9000 3238 5405 0.60 429.83/430.03 c 4959 540 5785 422521 73 12700 9901 4959 5075 0.98 429.83/430.03 c 7543 540 8369 646927 77 17933 10892 7543 3485 2.16 429.83/430.03 c 11423 540 6610 502460 76 14362 11982 5784 3099 3.69 429.83/430.03 c 17246 540 12433 917724 73 26031 13181 11607 2716 6.35 429.83/430.03 c 25985 540 7826 525105 67 16816 14500 7000 1854 14.02 429.83/430.03 c 39095 540 13616 955600 70 28381 15951 12790 1520 25.72 429.83/430.03 c 58765 540 16755 1395660 83 34679 17547 15929 1421 41.34 429.83/430.03 c 88277 540 10048 761525 75 21240 19302 9222 1265 69.77 429.83/430.03 c 132548 540 14560 1087626 74 30278 21233 13734 1167 113.53 429.83/430.03 c 198959 540 16853 1184432 70 34862 23357 16027 990 200.88 429.83/430.03 c 298580 540 17882 1760095 98 36916 25693 17056 887 336.53 429.83/430.03 o 5 1146.35/1146.89 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1146.35/1146.89 c 373743 539 17744 1297176 73 36660 4634 16918 869 429.87 1146.35/1146.89 c 373844 509 3246 211493 65 7692 5098 2420 869 430.09 1146.35/1146.89 c 374094 509 3496 232857 66 8234 5608 2670 869 430.14 1146.35/1146.89 c 374569 509 3971 273431 68 9127 6169 3145 870 430.27 1146.35/1146.89 c 375383 484 4785 354007 73 10737 6786 3959 872 430.47 1146.35/1146.89 c 376703 484 6105 473498 77 13424 7465 5279 874 430.89 1146.35/1146.89 c 378784 484 8186 650690 79 17534 8212 7360 876 432.39 1146.35/1146.89 c 382008 473 7164 543120 75 15591 9034 6338 879 434.11 1146.35/1146.89 c 386944 473 7433 557125 74 16102 9938 6607 883 438.18 1146.35/1146.89 c 394451 473 9846 760945 77 20927 10932 9020 887 444.27 1146.35/1146.89 c 405812 473 9613 767438 79 20444 12026 8787 900 450.68 1146.35/1146.89 c 422956 473 8053 599087 74 17304 13229 7227 910 464.75 1146.35/1146.89 c 448777 473 13328 1073638 80 27848 14552 12502 918 488.84 1146.35/1146.89 c 487609 473 14888 1136065 76 30941 16008 14062 910 535.59 1146.35/1146.89 c 545961 473 14678 1186213 80 30532 17609 13852 922 591.59 1146.35/1146.89 c 633593 473 11167 831654 74 23539 19370 10341 916 691.23 1146.35/1146.89 c 765145 473 11501 918952 79 24142 21308 10675 882 867.41 1146.35/1146.89 o 3 1797.91/1798.67 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.91/1798.67 c 956552 472 17164 1390123 80 35522 4622 16338 834 1146.46 1797.91/1798.67 c 956653 472 3250 207802 63 7710 5085 2424 834 1146.75 1797.91/1798.67 c 956903 472 3500 228628 65 8231 5594 2674 834 1146.79 1797.91/1798.67 c 957378 472 3975 270120 67 9148 6154 3149 834 1146.88 1797.91/1798.67 c 958192 472 4789 344883 72 10811 6770 3963 835 1147.08 1797.91/1798.67 c 959513 449 6110 456792 74 13431 7448 5284 836 1147.56 1797.91/1798.67 c 961594 449 8191 624871 76 17641 8193 7365 837 1148.65 1797.91/1798.67 c 964817 449 7084 521261 73 15401 9013 6258 838 1150.16 1797.91/1798.67 c 969753 449 7337 559054 76 15909 9915 6511 840 1153.28 1797.91/1798.67 c 977259 449 9722 759473 78 20641 10907 8896 843 1158.87 1797.91/1798.67 c 988620 449 9691 738994 76 20581 11998 8865 845 1168.79 1797.91/1798.67 c 1005764 449 7760 590383 76 16754 13198 6934 853 1177.96 1797.91/1798.67 c 1031584 449 13066 1015776 77 27341 14518 12240 856 1204.66 1797.91/1798.67 c 1070416 449 13791 1061463 76 28821 15970 12965 862 1240.38 1797.91/1798.67 c 1128768 449 14851 1126136 75 30917 17568 14025 852 1323.82 1797.91/1798.67 c 1216400 449 10702 792950 74 22601 19325 9876 864 1406.88 1797.91/1798.67 c 1347952 449 14169 1035638 73 29512 21258 13343 829 1625.56 1797.91/1798.67 c Resources Exceeded 1797.91/1798.67 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 x136 x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 x145 x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 x154 x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 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 x55 -x56 x57 x58 -x59 -x60 x61 x62 -x63 x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 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 -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 x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x100 x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 x73 -x74 -x75 x76 -x77 -x78 -x79 -x80 -x81 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 x379 -x380 -x381 x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 x406 -x407 -x408 x409 -x410 -x411 -x412 -x413 -x414 x415 -x416 -x417 x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 x433 -x434 -x435 x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 x451 -x452 -x453 x454 -x455 -x456 -x457 -x458 -x459 x82 -x83 -x84 -x85 -x86 x87 -x88 -x89 -x90 -x118 x119 x120 -x121 -x122 -x123 -x124 -x125 -x126 x460 -x461 -x462 -x463 -x464 x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 x514 -x515 -x516 -x517 -x518 x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x127 -x128 x129 -x130 -x131 -x132 -x133 -x134 -x135 1797.91/1798.67 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.91/1798.67 c 52 1478806 9755 1512126 13090 929406 12264 822 1798.00 1797.91/1798.67 c Objective: 3 1797.91/1798.67 s SATISFIABLE 1797.91/1798.67 c Total time: 1798 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-1878071-1245188950/watcher-1878071-1245188950 -o /tmp/evaluation-result-1878071-1245188950/solver-1878071-1245188950 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878071-1245188950.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.92 1.01 0.99 3/64 5731 /proc/meminfo: memFree=1701256/2055920 swapFree=4192812/4192956 [pid=5731] ppid=5729 vsize=10740 CPUtime=0 /proc/5731/stat : 5731 (bsolo) R 5729 5731 5603 0 -1 4194304 257 0 0 0 0 0 0 0 18 0 1 0 186494730 10997760 241 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5731/statm: 2685 241 176 640 0 2033 0 [startup+0.068634 s] /proc/loadavg: 0.92 1.01 0.99 3/64 5731 /proc/meminfo: memFree=1701256/2055920 swapFree=4192812/4192956 [pid=5731] ppid=5729 vsize=11356 CPUtime=0.06 /proc/5731/stat : 5731 (bsolo) R 5729 5731 5603 0 -1 4194304 433 0 0 0 6 0 0 0 18 0 1 0 186494730 11628544 409 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5731/statm: 2839 409 196 640 0 2195 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 11356 [startup+0.102638 s] /proc/loadavg: 0.92 1.01 0.99 3/64 5731 /proc/meminfo: memFree=1701256/2055920 swapFree=4192812/4192956 [pid=5731] ppid=5729 vsize=11604 CPUtime=0.09 /proc/5731/stat : 5731 (bsolo) R 5729 5731 5603 0 -1 4194304 502 0 0 0 9 0 0 0 18 0 1 0 186494730 11882496 478 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5731/statm: 2901 478 196 640 0 2257 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11604 [startup+0.302657 s] /proc/loadavg: 0.92 1.01 0.99 3/64 5731 /proc/meminfo: memFree=1701256/2055920 swapFree=4192812/4192956 [pid=5731] ppid=5729 vsize=13108 CPUtime=0.29 /proc/5731/stat : 5731 (bsolo) R 5729 5731 5603 0 -1 4194304 869 0 0 0 29 0 0 0 19 0 1 0 186494730 13422592 845 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5731/statm: 3277 845 196 640 0 2633 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13108 [startup+0.702703 s] /proc/loadavg: 0.92 1.01 0.99 3/64 5731 /proc/meminfo: memFree=1701256/2055920 swapFree=4192812/4192956 [pid=5731] ppid=5729 vsize=15116 CPUtime=0.69 /proc/5731/stat : 5731 (bsolo) R 5729 5731 5603 0 -1 4194304 1401 0 0 0 68 1 0 0 23 0 1 0 186494730 15478784 1377 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5731/statm: 3779 1377 196 640 0 3135 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 15116 [startup+1.50178 s] /proc/loadavg: 0.92 1.01 0.99 2/65 5732 /proc/meminfo: memFree=1694784/2055920 swapFree=4192812/4192956 [pid=5731] ppid=5729 vsize=18364 CPUtime=1.49 /proc/5731/stat : 5731 (bsolo) R 5729 5731 5603 0 -1 4194304 2203 0 0 0 147 2 0 0 25 0 1 0 186494730 18804736 2179 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5731/statm: 4591 2179 196 640 0 3947 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 18364 [startup+3.10194 s] /proc/loadavg: 0.92 1.01 0.99 2/65 5732 /proc/meminfo: memFree=1691712/2055920 swapFree=4192812/4192956 [pid=5731] ppid=5729 vsize=23144 CPUtime=3.09 /proc/5731/stat : 5731 (bsolo) R 5729 5731 5603 0 -1 4194304 3384 0 0 0 306 3 0 0 25 0 1 0 186494730 23699456 3360 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5731/statm: 5786 3360 196 640 0 5142 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 23144 [startup+6.30126 s] /proc/loadavg: 0.93 1.01 0.99 2/65 5732 /proc/meminfo: memFree=1687104/2055920 swapFree=4192812/4192956 [pid=5731] ppid=5729 vsize=24280 CPUtime=6.29 /proc/5731/stat : 5731 (bsolo) R 5729 5731 5603 0 -1 4194304 3677 0 0 0 625 4 0 0 25 0 1 0 186494730 24862720 3653 1992294400 134512640 137136520 4294956256 18446744073709551615 134544597 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5731/statm: 6070 3653 196 640 0 5426 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 24280 [startup+12.7019 s] /proc/loadavg: 0.94 1.01 0.99 2/65 5732 /proc/meminfo: memFree=1685696/2055920 swapFree=4192812/4192956 [pid=5731] ppid=5729 vsize=25612 CPUtime=12.69 /proc/5731/stat : 5731 (bsolo) R 5729 5731 5603 0 -1 4194304 4006 0 0 0 1264 5 0 0 25 0 1 0 186494730 26226688 3982 1992294400 134512640 137136520 4294956256 18446744073709551615 134544092 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5731/statm: 6403 3982 196 640 0 5759 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 25612 [startup+25.5012 s] /proc/loadavg: 0.95 1.01 0.99 2/65 5732 /proc/meminfo: memFree=1684992/2055920 swapFree=4192812/4192956 [pid=5731] ppid=5729 vsize=26480 CPUtime=25.48 /proc/5731/stat : 5731 (bsolo) R 5729 5731 5603 0 -1 4194304 4224 0 0 0 2541 7 0 0 25 0 1 0 186494730 27115520 4200 1992294400 134512640 137136520 4294956256 18446744073709551615 136518911 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5731/statm: 6620 4200 196 640 0 5976 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 26480 [startup+51.1018 s] /proc/loadavg: 0.97 1.01 0.99 2/65 5732 /proc/meminfo: memFree=1678656/2055920 swapFree=4192812/4192956 [pid=5731] ppid=5729 vsize=32784 CPUtime=51.07 /proc/5731/stat : 5731 (bsolo) R 5729 5731 5603 0 -1 4194304 5814 0 0 0 5094 13 0 0 25 0 1 0 186494730 33570816 5790 1992294400 134512640 137136520 4294956256 18446744073709551615 134542215 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5731/statm: 8196 5790 196 640 0 7552 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 32784 [startup+102.307 s] /proc/loadavg: 0.98 1.00 0.99 2/65 5732 /proc/meminfo: memFree=1678464/2055920 swapFree=4192812/4192956 [pid=5731] ppid=5729 vsize=32920 CPUtime=102.26 /proc/5731/stat : 5731 (bsolo) R 5729 5731 5603 0 -1 4194304 5840 0 0 0 10206 20 0 0 25 0 1 0 186494730 33710080 5816 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5731/statm: 8230 5816 196 640 0 7586 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 32920 [startup+162.301 s] /proc/loadavg: 0.99 1.00 0.99 2/65 5732 /proc/meminfo: memFree=1677120/2055920 swapFree=4192812/4192956 [pid=5731] ppid=5729 vsize=34240 CPUtime=162.23 /proc/5731/stat : 5731 (bsolo) R 5729 5731 5603 0 -1 4194304 6185 0 0 0 16194 29 0 0 25 0 1 0 186494730 35061760 6158 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5731/statm: 8560 6158 196 640 0 7916 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 34240 [startup+222.301 s] /proc/loadavg: 0.99 1.00 0.99 2/65 5734 /proc/meminfo: memFree=1671680/2055920 swapFree=4192812/4192956 [pid=5731] ppid=5729 vsize=39720 CPUtime=222.2 /proc/5731/stat : 5731 (bsolo) R 5729 5731 5603 0 -1 4194304 7547 0 0 0 22181 39 0 0 25 0 1 0 186494730 40673280 7520 1992294400 134512640 137136520 4294956256 18446744073709551615 134543951 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5731/statm: 9930 7520 196 640 0 9286 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 39720 [startup+282.301 s] /proc/loadavg: 0.99 1.00 0.99 2/65 5734 /proc/meminfo: memFree=1669056/2055920 swapFree=4192812/4192956 [pid=5731] ppid=5729 vsize=42280 CPUtime=282.18 /proc/5731/stat : 5731 (bsolo) R 5729 5731 5603 0 -1 4194304 8192 0 0 0 28171 47 0 0 25 0 1 0 186494730 43294720 8165 1992294400 134512640 137136520 4294956256 18446744073709551615 135982505 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5731/statm: 10570 8165 196 640 0 9926 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 42280 [startup+342.301 s] /proc/loadavg: 0.99 1.00 0.99 2/65 5734 /proc/meminfo: memFree=1666304/2055920 swapFree=4192812/4192956 [pid=5731] ppid=5729 vsize=45056 CPUtime=342.16 /proc/5731/stat : 5731 (bsolo) R 5729 5731 5603 0 -1 4194304 8883 0 0 0 34161 55 0 0 25 0 1 0 186494730 46137344 8856 1992294400 134512640 137136520 4294956256 18446744073709551615 135982505 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5731/statm: 11264 8856 196 640 0 10620 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 45056 [startup+402.301 s] /proc/loadavg: 0.99 1.00 0.99 2/65 5734 /proc/meminfo: memFree=1666304/2055920 swapFree=4192812/4192956 [pid=5731] ppid=5729 vsize=45048 CPUtime=402.14 /proc/5731/stat : 5731 (bsolo) R 5729 5731 5603 0 -1 4194304 8883 0 0 0 40152 62 0 0 25 0 1 0 186494730 46129152 8856 1992294400 134512640 137136520 4294956256 18446744073709551615 136498324 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5731/statm: 11262 8856 196 640 0 10618 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 45048 [startup+462.302 s] /proc/loadavg: 0.99 1.00 0.99 2/65 5734 /proc/meminfo: memFree=1666240/2055920 swapFree=4192812/4192956 [pid=5731] ppid=5729 vsize=44996 CPUtime=462.11 /proc/5731/stat : 5731 (bsolo) R 5729 5731 5603 0 -1 4194304 8884 0 0 0 46139 72 0 0 25 0 1 0 186494730 46075904 8848 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5731/statm: 11249 8848 197 640 0 10605 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 44996 [startup+522.303 s] /proc/loadavg: 0.99 1.00 0.99 2/65 5734 /proc/meminfo: memFree=1666240/2055920 swapFree=4192812/4192956 [pid=5731] ppid=5729 vsize=44988 CPUtime=522.09 /proc/5731/stat : 5731 (bsolo) R 5729 5731 5603 0 -1 4194304 8884 0 0 0 52129 80 0 0 25 0 1 0 186494730 46067712 8846 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5731/statm: 11247 8846 197 640 0 10603 0 Current children cumulated CPU time (s) 522.09 Current children cumulated vsize (KiB) 44988 [startup+582.303 s] /proc/loadavg: 0.99 1.00 0.99 2/65 5734 /proc/meminfo: memFree=1666240/2055920 swapFree=4192812/4192956 [pid=5731] ppid=5729 vsize=44984 CPUtime=582.07 /proc/5731/stat : 5731 (bsolo) R 5729 5731 5603 0 -1 4194304 8884 0 0 0 58115 92 0 0 25 0 1 0 186494730 46063616 8845 1992294400 134512640 137136520 4294956256 18446744073709551615 134544503 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5731/statm: 11246 8845 197 640 0 10602 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 44984 [startup+642.303 s] /proc/loadavg: 0.99 1.00 0.99 2/65 5734 /proc/meminfo: memFree=1666176/2055920 swapFree=4192812/4192956 [pid=5731] ppid=5729 vsize=44984 CPUtime=642.05 /proc/5731/stat : 5731 (bsolo) R 5729 5731 5603 0 -1 4194304 8884 0 0 0 64105 100 0 0 25 0 1 0 186494730 46063616 8845 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5731/statm: 11246 8845 197 640 0 10602 0 Current children cumulated CPU time (s) 642.05 Current children cumulated vsize (KiB) 44984 [startup+702.303 s] ################ # More data... # ################ /proc/meminfo: memFree=1666048/2055920 swapFree=4192812/4192956 [pid=5731] ppid=5729 vsize=44976 CPUtime=1121.86 /proc/5731/stat : 5731 (bsolo) R 5729 5731 5603 0 -1 4194304 8884 0 0 0 112025 161 0 0 25 0 1 0 186494730 46055424 8843 1992294400 134512640 137136520 4294956256 18446744073709551615 134607171 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5731/statm: 11244 8843 197 640 0 10600 0 Current children cumulated CPU time (s) 1121.86 Current children cumulated vsize (KiB) 44976 [startup+1182.3 s] /proc/loadavg: 0.99 1.00 0.99 2/65 5740 /proc/meminfo: memFree=1666304/2055920 swapFree=4192812/4192956 [pid=5731] ppid=5729 vsize=44648 CPUtime=1181.84 /proc/5731/stat : 5731 (bsolo) R 5729 5731 5603 0 -1 4194304 8884 0 0 0 118013 171 0 0 25 0 1 0 186494730 45719552 8761 1992294400 134512640 137136520 4294956256 18446744073709551615 134543918 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5731/statm: 11162 8761 197 640 0 10518 0 Current children cumulated CPU time (s) 1181.84 Current children cumulated vsize (KiB) 44648 [startup+1242.3 s] /proc/loadavg: 0.99 1.00 0.99 2/65 5740 /proc/meminfo: memFree=1666304/2055920 swapFree=4192812/4192956 [pid=5731] ppid=5729 vsize=44648 CPUtime=1241.82 /proc/5731/stat : 5731 (bsolo) R 5729 5731 5603 0 -1 4194304 8884 0 0 0 124001 181 0 0 25 0 1 0 186494730 45719552 8761 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5731/statm: 11162 8761 197 640 0 10518 0 Current children cumulated CPU time (s) 1241.82 Current children cumulated vsize (KiB) 44648 [startup+1302.3 s] /proc/loadavg: 0.99 1.00 0.99 2/65 5740 /proc/meminfo: memFree=1666240/2055920 swapFree=4192812/4192956 [pid=5731] ppid=5729 vsize=44648 CPUtime=1301.8 /proc/5731/stat : 5731 (bsolo) R 5729 5731 5603 0 -1 4194304 8884 0 0 0 129992 188 0 0 25 0 1 0 186494730 45719552 8761 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5731/statm: 11162 8761 197 640 0 10518 0 Current children cumulated CPU time (s) 1301.8 Current children cumulated vsize (KiB) 44648 [startup+1362.3 s] /proc/loadavg: 0.99 1.00 0.99 2/65 5740 /proc/meminfo: memFree=1666240/2055920 swapFree=4192812/4192956 [pid=5731] ppid=5729 vsize=44648 CPUtime=1361.77 /proc/5731/stat : 5731 (bsolo) R 5729 5731 5603 0 -1 4194304 8884 0 0 0 135979 198 0 0 25 0 1 0 186494730 45719552 8761 1992294400 134512640 137136520 4294956256 18446744073709551615 135982528 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5731/statm: 11162 8761 197 640 0 10518 0 Current children cumulated CPU time (s) 1361.77 Current children cumulated vsize (KiB) 44648 [startup+1422.31 s] /proc/loadavg: 0.99 1.00 0.99 2/65 5740 /proc/meminfo: memFree=1666304/2055920 swapFree=4192812/4192956 [pid=5731] ppid=5729 vsize=44648 CPUtime=1421.76 /proc/5731/stat : 5731 (bsolo) R 5729 5731 5603 0 -1 4194304 8884 0 0 0 141970 206 0 0 25 0 1 0 186494730 45719552 8761 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5731/statm: 11162 8761 197 640 0 10518 0 Current children cumulated CPU time (s) 1421.76 Current children cumulated vsize (KiB) 44648 [startup+1482.3 s] /proc/loadavg: 0.99 1.00 0.99 2/65 5740 /proc/meminfo: memFree=1666240/2055920 swapFree=4192812/4192956 [pid=5731] ppid=5729 vsize=44648 CPUtime=1481.73 /proc/5731/stat : 5731 (bsolo) R 5729 5731 5603 0 -1 4194304 8884 0 0 0 147960 213 0 0 25 0 1 0 186494730 45719552 8761 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5731/statm: 11162 8761 197 640 0 10518 0 Current children cumulated CPU time (s) 1481.73 Current children cumulated vsize (KiB) 44648 [startup+1542.3 s] /proc/loadavg: 0.99 1.00 0.99 2/65 5740 /proc/meminfo: memFree=1666240/2055920 swapFree=4192812/4192956 [pid=5731] ppid=5729 vsize=44648 CPUtime=1541.71 /proc/5731/stat : 5731 (bsolo) R 5729 5731 5603 0 -1 4194304 8884 0 0 0 153951 220 0 0 25 0 1 0 186494730 45719552 8761 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5731/statm: 11162 8761 197 640 0 10518 0 Current children cumulated CPU time (s) 1541.71 Current children cumulated vsize (KiB) 44648 [startup+1602.3 s] /proc/loadavg: 0.99 1.00 0.99 2/65 5740 /proc/meminfo: memFree=1666304/2055920 swapFree=4192812/4192956 [pid=5731] ppid=5729 vsize=44648 CPUtime=1601.68 /proc/5731/stat : 5731 (bsolo) R 5729 5731 5603 0 -1 4194304 8884 0 0 0 159942 226 0 0 25 0 1 0 186494730 45719552 8761 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5731/statm: 11162 8761 197 640 0 10518 0 Current children cumulated CPU time (s) 1601.68 Current children cumulated vsize (KiB) 44648 [startup+1662.3 s] /proc/loadavg: 0.99 1.00 0.99 2/65 5740 /proc/meminfo: memFree=1666240/2055920 swapFree=4192812/4192956 [pid=5731] ppid=5729 vsize=44648 CPUtime=1661.66 /proc/5731/stat : 5731 (bsolo) R 5729 5731 5603 0 -1 4194304 8884 0 0 0 165931 235 0 0 25 0 1 0 186494730 45719552 8761 1992294400 134512640 137136520 4294956256 18446744073709551615 134542151 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5731/statm: 11162 8761 197 640 0 10518 0 Current children cumulated CPU time (s) 1661.66 Current children cumulated vsize (KiB) 44648 [startup+1722.3 s] /proc/loadavg: 0.99 1.00 0.99 2/65 5740 /proc/meminfo: memFree=1666240/2055920 swapFree=4192812/4192956 [pid=5731] ppid=5729 vsize=44648 CPUtime=1721.64 /proc/5731/stat : 5731 (bsolo) R 5729 5731 5603 0 -1 4194304 8884 0 0 0 171922 242 0 0 25 0 1 0 186494730 45719552 8761 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5731/statm: 11162 8761 197 640 0 10518 0 Current children cumulated CPU time (s) 1721.64 Current children cumulated vsize (KiB) 44648 [startup+1782.3 s] /proc/loadavg: 0.99 1.00 0.99 2/65 5740 /proc/meminfo: memFree=1666176/2055920 swapFree=4192812/4192956 [pid=5731] ppid=5729 vsize=44648 CPUtime=1781.62 /proc/5731/stat : 5731 (bsolo) R 5729 5731 5603 0 -1 4194304 8884 0 0 0 177912 250 0 0 25 0 1 0 186494730 45719552 8761 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5731/statm: 11162 8761 197 640 0 10518 0 Current children cumulated CPU time (s) 1781.62 Current children cumulated vsize (KiB) 44648 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 0.99 1.00 0.99 2/65 5740 /proc/meminfo: memFree=1666176/2055920 swapFree=4192812/4192956 [pid=5731] ppid=5729 vsize=44648 CPUtime=1791.22 /proc/5731/stat : 5731 (bsolo) R 5729 5731 5603 0 -1 4194304 8884 0 0 0 178871 251 0 0 25 0 1 0 186494730 45719552 8761 1992294400 134512640 137136520 4294956256 18446744073709551615 134544019 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5731/statm: 11162 8761 197 640 0 10518 0 Current children cumulated CPU time (s) 1791.22 Current children cumulated vsize (KiB) 44648 [startup+1795.1 s] /proc/loadavg: 0.99 1.00 0.99 2/65 5740 /proc/meminfo: memFree=1666176/2055920 swapFree=4192812/4192956 [pid=5731] ppid=5729 vsize=44648 CPUtime=1794.42 /proc/5731/stat : 5731 (bsolo) R 5729 5731 5603 0 -1 4194304 8884 0 0 0 179190 252 0 0 25 0 1 0 186494730 45719552 8761 1992294400 134512640 137136520 4294956256 18446744073709551615 134571834 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5731/statm: 11162 8761 197 640 0 10518 0 Current children cumulated CPU time (s) 1794.42 Current children cumulated vsize (KiB) 44648 [startup+1796.7 s] /proc/loadavg: 0.99 1.00 0.99 2/65 5740 /proc/meminfo: memFree=1666176/2055920 swapFree=4192812/4192956 [pid=5731] ppid=5729 vsize=44648 CPUtime=1796.02 /proc/5731/stat : 5731 (bsolo) R 5729 5731 5603 0 -1 4194304 8884 0 0 0 179350 252 0 0 25 0 1 0 186494730 45719552 8761 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5731/statm: 11162 8761 197 640 0 10518 0 Current children cumulated CPU time (s) 1796.02 Current children cumulated vsize (KiB) 44648 [startup+1797.5 s] /proc/loadavg: 0.99 1.00 0.99 2/65 5740 /proc/meminfo: memFree=1666176/2055920 swapFree=4192812/4192956 [pid=5731] ppid=5729 vsize=44648 CPUtime=1796.82 /proc/5731/stat : 5731 (bsolo) R 5729 5731 5603 0 -1 4194304 8884 0 0 0 179430 252 0 0 25 0 1 0 186494730 45719552 8761 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5731/statm: 11162 8761 197 640 0 10518 0 Current children cumulated CPU time (s) 1796.82 Current children cumulated vsize (KiB) 44648 [startup+1798.3 s] /proc/loadavg: 0.99 1.00 0.99 2/65 5740 /proc/meminfo: memFree=1666176/2055920 swapFree=4192812/4192956 [pid=5731] ppid=5729 vsize=44648 CPUtime=1797.61 /proc/5731/stat : 5731 (bsolo) R 5729 5731 5603 0 -1 4194304 8884 0 0 0 179509 252 0 0 25 0 1 0 186494730 45719552 8761 1992294400 134512640 137136520 4294956256 18446744073709551615 136503609 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5731/statm: 11162 8761 197 640 0 10518 0 Current children cumulated CPU time (s) 1797.61 Current children cumulated vsize (KiB) 44648 [startup+1798.51 s] /proc/loadavg: 0.99 1.00 0.99 2/65 5740 /proc/meminfo: memFree=1666176/2055920 swapFree=4192812/4192956 [pid=5731] ppid=5729 vsize=44648 CPUtime=1797.82 /proc/5731/stat : 5731 (bsolo) R 5729 5731 5603 0 -1 4194304 8884 0 0 0 179530 252 0 0 25 0 1 0 186494730 45719552 8761 1992294400 134512640 137136520 4294956256 18446744073709551615 136502468 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5731/statm: 11162 8761 197 640 0 10518 0 Current children cumulated CPU time (s) 1797.82 Current children cumulated vsize (KiB) 44648 [startup+1798.6 s] /proc/loadavg: 0.99 1.00 0.99 2/65 5740 /proc/meminfo: memFree=1666176/2055920 swapFree=4192812/4192956 [pid=5731] ppid=5729 vsize=44648 CPUtime=1797.91 /proc/5731/stat : 5731 (bsolo) R 5729 5731 5603 0 -1 4194304 8884 0 0 0 179539 252 0 0 25 0 1 0 186494730 45719552 8761 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5731/statm: 11162 8761 197 640 0 10518 0 Current children cumulated CPU time (s) 1797.91 Current children cumulated vsize (KiB) 44648 Child status: 0 Real time (s): 1798.68 CPU time (s): 1798.01 CPU user time (s): 1795.47 CPU system time (s): 2.53361 CPU usage (%): 99.9623 Max. virtual memory (cumulated for all children) (KiB): 45056 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.47 system time used= 2.53361 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 8886 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= 6691 runsolver used 1.85072 second user time and 4.69829 second system time The end
Begin job on node27 at 2009-06-16 23:49:11 IDJOB=1878071 IDBENCH=48051 IDSOLVER=700 FILE ID=node27/1878071-1245188950 PBS_JOBID= 9368287 Free space on /tmp= 66288 MiB SOLVER NAME= bsolo 3.1 cl BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=103-P1=127-P2=263-P3=461-P4=191-P5=277-B.opb COMMAND LINE= bsolo -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1878071-1245188950/watcher-1878071-1245188950 -o /tmp/evaluation-result-1878071-1245188950/solver-1878071-1245188950 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878071-1245188950.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 773aedb43187ca11a13e2d0d2a59ebe9 RANDOM SEED=1348723030 node27.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 : 2800.234 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 : 5521.40 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 : 2800.234 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: 1701736 kB Buffers: 58956 kB Cached: 220660 kB SwapCached: 0 kB Active: 62792 kB Inactive: 231144 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1701736 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 3948 kB Writeback: 0 kB Mapped: 24168 kB Slab: 46160 kB Committed_AS: 161076 kB PageTables: 1376 kB VmallocTotal: 536870911 kB VmallocUsed: 264948 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1878071-1245188950.opb Free space on /tmp at the end= 66284 MiB End job on node27 at 2009-06-17 00:19:09