Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 pb | OPT | 3 | 425.205 | 425.328 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=7-P0=53-P1=37-P2=29-P3=83-P4=23-P5=67-B.opb |
MD5SUM | feb866c77c1922bd09324402c14b21f3 |
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 | 8.35173 |
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 | 105 |
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 | 7 |
Maximum length of a constraint | 63 |
Number of terms in the objective function | 7 |
Biggest coefficient in the objective function | 64 |
Number of bits for the biggest coefficient in the objective function | 7 |
Sum of the numbers in the objective function | 127 |
Number of bits of the sum of numbers in the objective function | 7 |
Biggest number in a constraint | 8192 |
Number of bits of the biggest number in a constraint | 14 |
Biggest sum of numbers in a constraint | 32512 |
Number of bits of the biggest sum of numbers | 15 |
Number of products (including duplicates) | 245 |
Sum of products size (including duplicates) | 490 |
Number of different products | 245 |
Sum of products size | 490 |
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-1879523-1245244875.opb 0.00/0.00 c File size is 18218 bytes. 0.00/0.00 c Highest Coefficient sum: 32512 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.002 s 0.00/0.00 c Var: 350 Constr: 506 245/0/261 Lit: 2128 Watch. Lit: 1317 0.00/0.00 c Obj. Vars: 7 (2 % of total variables) 0.00/0.00 c Pre-processing Time: 0.006 s 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 0 350 506 2128 4 1825 2867 0 0 0.01 0.00/0.00 c Switching off lower bounding mode. 2.19/2.29 c 100 350 700 10848 15 4193 3154 194 3846 0.03 2.19/2.29 c 252 350 1000 26122 26 7380 3470 494 3705 0.07 2.19/2.29 c 478 350 1404 50327 35 11314 3818 898 3144 0.15 2.19/2.29 c 816 350 2045 89057 43 17016 4200 1539 2211 0.37 2.19/2.29 c 1325 350 3026 142350 47 29457 4621 2520 2007 0.66 2.19/2.29 c 2088 350 4474 216828 48 43176 5084 3968 1163 1.79 2.19/2.29 o 65 4.49/4.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.49/4.54 c 2793 350 3049 143211 46 20990 2881 2543 1191 2.34 4.49/4.54 c 2894 350 3228 153344 47 21431 3170 2722 1194 2.42 4.49/4.54 c 3144 350 3671 173757 47 24822 3488 3165 1201 2.62 4.49/4.54 c 3620 350 2533 114616 45 19087 3837 2027 1188 3.04 4.49/4.54 c 4433 350 4029 187624 46 33318 4221 3523 1134 3.91 4.49/4.54 o 33 52.57/52.67 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 52.57/52.67 c 5300 350 3335 165804 49 31368 2881 2829 1167 4.54 52.57/52.67 c 5401 350 1948 92236 47 13123 3170 1442 1144 4.72 52.57/52.67 c 5651 350 2426 121637 50 17477 3488 1920 1148 4.92 52.57/52.67 c 6126 350 3300 170306 51 25736 3837 2794 1174 5.21 52.57/52.67 c 6940 350 2557 123295 48 17946 4221 2051 1194 5.81 52.57/52.67 c 8260 341 2620 125588 47 14672 4644 2114 1195 6.91 52.57/52.67 c 10342 341 3531 198310 56 20530 5109 3025 1162 8.89 52.57/52.67 c 13565 341 3761 160428 42 20777 5620 3255 896 15.12 52.57/52.67 c 18501 341 3572 168874 47 23271 6183 3066 778 23.77 52.57/52.67 c 26007 340 4064 192710 47 28427 6802 3558 618 42.05 52.57/52.67 o 25 59.47/59.59 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 59.47/59.59 c 30852 340 5817 292790 50 42368 2879 5311 585 52.66 59.47/59.59 c 30953 340 2142 91144 42 15931 3167 1636 586 52.79 59.47/59.59 c 31204 340 2606 116579 44 20206 3484 2100 589 52.97 59.47/59.59 c 31679 340 3507 165850 47 30871 3833 3001 592 53.49 59.47/59.59 c 32492 340 3081 140321 45 21916 4217 2575 587 55.27 59.47/59.59 c 33812 340 3392 154552 45 24728 4639 2886 568 59.46 59.47/59.59 o 3 425.17/425.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 425.17/425.32 c 34077 340 3906 179341 45 31779 2879 3400 571 59.58 425.17/425.32 c 34178 340 2142 83345 38 15869 3167 1636 572 59.66 425.17/425.32 c 34430 294 2610 115177 44 20836 3484 2104 575 59.83 425.17/425.32 c 34906 294 3360 157014 46 27901 3833 2854 581 60.06 425.17/425.32 c 35719 294 2888 134977 46 31916 4217 2382 581 61.47 425.17/425.32 c 37040 294 3201 144138 45 18089 4639 2695 544 68.06 425.17/425.32 c 39121 294 4423 212233 47 32522 5103 3917 553 70.68 425.17/425.32 c 42344 294 5014 239636 47 44383 5614 4508 521 81.24 425.17/425.32 c 47281 294 4909 237367 48 36590 6176 4403 524 90.11 425.17/425.32 c 54788 294 5725 270385 47 43182 6794 5219 483 113.26 425.17/425.32 c 66150 294 4645 224090 48 37853 7474 4139 422 156.62 425.17/425.32 c 83295 294 5157 253209 49 34188 8222 4651 379 219.26 425.17/425.32 c 109114 291 5496 267147 48 64359 9045 4990 317 343.19 425.17/425.32 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 x106 x107 -x108 -x109 -x110 -x111 -x112 x113 x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 x127 x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 x141 x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 x43 -x44 -x45 -x46 -x47 -x48 -x49 x71 -x72 -x73 -x74 -x75 -x76 -x77 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 x50 x51 -x52 -x53 -x54 -x55 -x56 -x78 -x79 -x80 -x81 -x82 -x83 -x84 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 x57 -x58 -x59 -x60 -x61 -x62 -x63 x85 -x86 -x87 -x88 -x89 -x90 -x91 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 x64 -x65 -x66 -x67 x68 -x69 -x70 -x92 -x93 -x94 -x95 -x96 -x97 -x98 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 x99 -x100 -x101 x102 -x103 -x104 -x105 425.17/425.32 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 425.17/425.32 c 40 117430 1810 126995 7053 313929 6547 276 425.20 425.17/425.32 c Objective: 3 425.17/425.32 s OPTIMUM FOUND 425.17/425.32 c Total time: 425.202 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-1879523-1245244875/watcher-1879523-1245244875 -o /tmp/evaluation-result-1879523-1245244875/solver-1879523-1245244875 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879523-1245244875.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 0.99 0.91 3/64 16436 /proc/meminfo: memFree=1854896/2055920 swapFree=4181940/4192956 [pid=16436] ppid=16434 vsize=10712 CPUtime=0 /proc/16436/stat : 16436 (bsolo) R 16434 16436 15972 0 -1 4194304 284 0 0 0 0 0 0 0 18 0 1 0 192084507 10969088 263 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16436/statm: 2678 263 189 640 0 2034 0 [startup+0.053684 s] /proc/loadavg: 1.00 0.99 0.91 3/64 16436 /proc/meminfo: memFree=1854896/2055920 swapFree=4181940/4192956 [pid=16436] ppid=16434 vsize=11100 CPUtime=0.05 /proc/16436/stat : 16436 (bsolo) R 16434 16436 15972 0 -1 4194304 392 0 0 0 5 0 0 0 18 0 1 0 192084507 11366400 371 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16436/statm: 2775 371 197 640 0 2131 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 11100 [startup+0.101688 s] /proc/loadavg: 1.00 0.99 0.91 3/64 16436 /proc/meminfo: memFree=1854896/2055920 swapFree=4181940/4192956 [pid=16436] ppid=16434 vsize=11364 CPUtime=0.09 /proc/16436/stat : 16436 (bsolo) R 16434 16436 15972 0 -1 4194304 448 0 0 0 9 0 0 0 18 0 1 0 192084507 11636736 427 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16436/statm: 2841 427 197 640 0 2197 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11364 [startup+0.301708 s] /proc/loadavg: 1.00 0.99 0.91 3/64 16436 /proc/meminfo: memFree=1854896/2055920 swapFree=4181940/4192956 [pid=16436] ppid=16434 vsize=12268 CPUtime=0.29 /proc/16436/stat : 16436 (bsolo) R 16434 16436 15972 0 -1 4194304 663 0 0 0 29 0 0 0 19 0 1 0 192084507 12562432 642 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16436/statm: 3067 642 198 640 0 2423 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12268 [startup+0.701748 s] /proc/loadavg: 1.00 0.99 0.91 3/64 16436 /proc/meminfo: memFree=1854896/2055920 swapFree=4181940/4192956 [pid=16436] ppid=16434 vsize=13708 CPUtime=0.69 /proc/16436/stat : 16436 (bsolo) R 16434 16436 15972 0 -1 4194304 1028 0 0 0 69 0 0 0 22 0 1 0 192084507 14036992 1007 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16436/statm: 3427 1007 198 640 0 2783 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13708 [startup+1.50183 s] /proc/loadavg: 1.00 0.99 0.91 2/65 16437 /proc/meminfo: memFree=1851112/2055920 swapFree=4181940/4192956 [pid=16436] ppid=16434 vsize=14876 CPUtime=1.49 /proc/16436/stat : 16436 (bsolo) R 16434 16436 15972 0 -1 4194304 1310 0 0 0 149 0 0 0 25 0 1 0 192084507 15233024 1289 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16436/statm: 3719 1289 198 640 0 3075 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14876 [startup+3.10199 s] /proc/loadavg: 1.00 0.99 0.91 2/65 16437 /proc/meminfo: memFree=1849576/2055920 swapFree=4181940/4192956 [pid=16436] ppid=16434 vsize=16308 CPUtime=3.09 /proc/16436/stat : 16436 (bsolo) R 16434 16436 15972 0 -1 4194304 1690 0 0 0 309 0 0 0 25 0 1 0 192084507 16699392 1669 1992294400 134512640 137136520 4294956256 18446744073709551615 135982528 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16436/statm: 4077 1669 198 640 0 3433 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16308 [startup+6.30132 s] /proc/loadavg: 1.00 0.99 0.91 2/65 16437 /proc/meminfo: memFree=1848744/2055920 swapFree=4181940/4192956 [pid=16436] ppid=16434 vsize=16308 CPUtime=6.29 /proc/16436/stat : 16436 (bsolo) R 16434 16436 15972 0 -1 4194304 1690 0 0 0 629 0 0 0 25 0 1 0 192084507 16699392 1669 1992294400 134512640 137136520 4294956256 18446744073709551615 134544256 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16436/statm: 4077 1669 198 640 0 3433 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 16308 [startup+12.702 s] /proc/loadavg: 1.00 0.99 0.91 2/65 16437 /proc/meminfo: memFree=1848632/2055920 swapFree=4181940/4192956 [pid=16436] ppid=16434 vsize=16436 CPUtime=12.68 /proc/16436/stat : 16436 (bsolo) R 16434 16436 15972 0 -1 4194304 1724 0 0 0 1267 1 0 0 25 0 1 0 192084507 16830464 1703 1992294400 134512640 137136520 4294956256 18446744073709551615 136518971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16436/statm: 4109 1703 198 640 0 3465 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 16436 [startup+25.5013 s] /proc/loadavg: 1.00 0.99 0.91 2/65 16437 /proc/meminfo: memFree=1848568/2055920 swapFree=4181940/4192956 [pid=16436] ppid=16434 vsize=16440 CPUtime=25.48 /proc/16436/stat : 16436 (bsolo) R 16434 16436 15972 0 -1 4194304 1725 0 0 0 2546 2 0 0 25 0 1 0 192084507 16834560 1704 1992294400 134512640 137136520 4294956256 18446744073709551615 134544140 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16436/statm: 4110 1704 198 640 0 3466 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 16440 [startup+51.1019 s] /proc/loadavg: 1.00 0.99 0.91 2/65 16437 /proc/meminfo: memFree=1847032/2055920 swapFree=4181940/4192956 [pid=16436] ppid=16434 vsize=18136 CPUtime=51.07 /proc/16436/stat : 16436 (bsolo) R 16434 16436 15972 0 -1 4194304 2138 0 0 0 5102 5 0 0 25 0 1 0 192084507 18571264 2117 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16436/statm: 4534 2117 198 640 0 3890 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 18136 [startup+102.305 s] /proc/loadavg: 1.00 0.99 0.91 2/65 16437 /proc/meminfo: memFree=1846968/2055920 swapFree=4181940/4192956 [pid=16436] ppid=16434 vsize=18168 CPUtime=102.26 /proc/16436/stat : 16436 (bsolo) R 16434 16436 15972 0 -1 4194304 2156 0 0 0 10217 9 0 0 25 0 1 0 192084507 18604032 2135 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16436/statm: 4542 2135 198 640 0 3898 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 18168 [startup+162.301 s] /proc/loadavg: 1.00 0.99 0.91 2/65 16437 /proc/meminfo: memFree=1846136/2055920 swapFree=4181940/4192956 [pid=16436] ppid=16434 vsize=18948 CPUtime=162.24 /proc/16436/stat : 16436 (bsolo) R 16434 16436 15972 0 -1 4194304 2349 0 0 0 16213 11 0 0 25 0 1 0 192084507 19402752 2328 1992294400 134512640 137136520 4294956256 18446744073709551615 134544176 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16436/statm: 4737 2328 198 640 0 4093 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 18948 [startup+222.301 s] /proc/loadavg: 1.00 0.99 0.91 2/65 16437 /proc/meminfo: memFree=1846136/2055920 swapFree=4181940/4192956 [pid=16436] ppid=16434 vsize=18948 CPUtime=222.23 /proc/16436/stat : 16436 (bsolo) R 16434 16436 15972 0 -1 4194304 2349 0 0 0 22208 15 0 0 25 0 1 0 192084507 19402752 2328 1992294400 134512640 137136520 4294956256 18446744073709551615 134544402 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16436/statm: 4737 2328 198 640 0 4093 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 18948 [startup+282.301 s] /proc/loadavg: 1.00 0.99 0.91 2/65 16437 /proc/meminfo: memFree=1844792/2055920 swapFree=4181940/4192956 [pid=16436] ppid=16434 vsize=20216 CPUtime=282.21 /proc/16436/stat : 16436 (bsolo) R 16434 16436 15972 0 -1 4194304 2673 0 0 0 28202 19 0 0 25 0 1 0 192084507 20701184 2652 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16436/statm: 5054 2652 198 640 0 4410 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 20216 [startup+342.302 s] /proc/loadavg: 1.00 0.99 0.91 2/65 16437 /proc/meminfo: memFree=1844728/2055920 swapFree=4181940/4192956 [pid=16436] ppid=16434 vsize=20216 CPUtime=342.19 /proc/16436/stat : 16436 (bsolo) R 16434 16436 15972 0 -1 4194304 2673 0 0 0 34198 21 0 0 25 0 1 0 192084507 20701184 2652 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16436/statm: 5054 2652 198 640 0 4410 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 20216 [startup+402.302 s] /proc/loadavg: 1.00 0.99 0.91 2/65 16437 /proc/meminfo: memFree=1843064/2055920 swapFree=4181940/4192956 [pid=16436] ppid=16434 vsize=21932 CPUtime=402.18 /proc/16436/stat : 16436 (bsolo) R 16434 16436 15972 0 -1 4194304 3092 0 0 0 40194 24 0 0 25 0 1 0 192084507 22458368 3071 1992294400 134512640 137136520 4294956256 18446744073709551615 134543921 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16436/statm: 5483 3071 198 640 0 4839 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 21932 Solver just ended. Dumping a history of the last processes samples [startup+409.501 s] /proc/loadavg: 1.00 0.99 0.91 2/65 16437 /proc/meminfo: memFree=1843000/2055920 swapFree=4181940/4192956 [pid=16436] ppid=16434 vsize=21932 CPUtime=409.37 /proc/16436/stat : 16436 (bsolo) R 16434 16436 15972 0 -1 4194304 3092 0 0 0 40913 24 0 0 25 0 1 0 192084507 22458368 3071 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16436/statm: 5483 3071 198 640 0 4839 0 Current children cumulated CPU time (s) 409.37 Current children cumulated vsize (KiB) 21932 [startup+415.901 s] /proc/loadavg: 1.00 0.99 0.91 2/65 16437 /proc/meminfo: memFree=1843000/2055920 swapFree=4181940/4192956 [pid=16436] ppid=16434 vsize=21932 CPUtime=415.77 /proc/16436/stat : 16436 (bsolo) R 16434 16436 15972 0 -1 4194304 3092 0 0 0 41553 24 0 0 25 0 1 0 192084507 22458368 3071 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16436/statm: 5483 3071 198 640 0 4839 0 Current children cumulated CPU time (s) 415.77 Current children cumulated vsize (KiB) 21932 [startup+422.302 s] /proc/loadavg: 1.00 0.99 0.91 2/65 16437 /proc/meminfo: memFree=1843000/2055920 swapFree=4181940/4192956 [pid=16436] ppid=16434 vsize=21932 CPUtime=422.17 /proc/16436/stat : 16436 (bsolo) R 16434 16436 15972 0 -1 4194304 3092 0 0 0 42193 24 0 0 25 0 1 0 192084507 22458368 3071 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16436/statm: 5483 3071 198 640 0 4839 0 Current children cumulated CPU time (s) 422.17 Current children cumulated vsize (KiB) 21932 [startup+423.902 s] /proc/loadavg: 1.00 0.99 0.91 2/65 16437 /proc/meminfo: memFree=1843000/2055920 swapFree=4181940/4192956 [pid=16436] ppid=16434 vsize=21932 CPUtime=423.77 /proc/16436/stat : 16436 (bsolo) R 16434 16436 15972 0 -1 4194304 3092 0 0 0 42353 24 0 0 25 0 1 0 192084507 22458368 3071 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16436/statm: 5483 3071 198 640 0 4839 0 Current children cumulated CPU time (s) 423.77 Current children cumulated vsize (KiB) 21932 [startup+424.703 s] /proc/loadavg: 1.00 0.99 0.91 2/65 16437 /proc/meminfo: memFree=1843000/2055920 swapFree=4181940/4192956 [pid=16436] ppid=16434 vsize=21932 CPUtime=424.57 /proc/16436/stat : 16436 (bsolo) R 16434 16436 15972 0 -1 4194304 3092 0 0 0 42433 24 0 0 25 0 1 0 192084507 22458368 3071 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16436/statm: 5483 3071 198 640 0 4839 0 Current children cumulated CPU time (s) 424.57 Current children cumulated vsize (KiB) 21932 [startup+425.103 s] /proc/loadavg: 1.00 0.99 0.91 2/65 16437 /proc/meminfo: memFree=1843000/2055920 swapFree=4181940/4192956 [pid=16436] ppid=16434 vsize=21932 CPUtime=424.97 /proc/16436/stat : 16436 (bsolo) R 16434 16436 15972 0 -1 4194304 3092 0 0 0 42473 24 0 0 25 0 1 0 192084507 22458368 3071 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16436/statm: 5483 3071 198 640 0 4839 0 Current children cumulated CPU time (s) 424.97 Current children cumulated vsize (KiB) 21932 [startup+425.302 s] /proc/loadavg: 1.00 0.99 0.91 2/65 16437 /proc/meminfo: memFree=1843000/2055920 swapFree=4181940/4192956 [pid=16436] ppid=16434 vsize=21932 CPUtime=425.17 /proc/16436/stat : 16436 (bsolo) R 16434 16436 15972 0 -1 4194304 3092 0 0 0 42493 24 0 0 25 0 1 0 192084507 22458368 3071 1992294400 134512640 137136520 4294956256 18446744073709551615 134544461 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16436/statm: 5483 3071 198 640 0 4839 0 Current children cumulated CPU time (s) 425.17 Current children cumulated vsize (KiB) 21932 Child status: 0 Real time (s): 425.328 CPU time (s): 425.205 CPU user time (s): 424.957 CPU system time (s): 0.247962 CPU usage (%): 99.9713 Max. virtual memory (cumulated for all children) (KiB): 21932 getrusage(RUSAGE_CHILDREN,...) data: user time used= 424.957 system time used= 0.247962 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3094 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= 494 runsolver used 0.285956 second user time and 0.938857 second system time The end
Begin job on node45 at 2009-06-17 15:21:15 IDJOB=1879523 IDBENCH=48073 IDSOLVER=701 FILE ID=node45/1879523-1245244875 PBS_JOBID= 9372294 Free space on /tmp= 66172 MiB SOLVER NAME= bsolo 3.1 pb BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=7-P0=53-P1=37-P2=29-P3=83-P4=23-P5=67-B.opb COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1879523-1245244875/watcher-1879523-1245244875 -o /tmp/evaluation-result-1879523-1245244875/solver-1879523-1245244875 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879523-1245244875.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= feb866c77c1922bd09324402c14b21f3 RANDOM SEED=1460448396 node45.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.240 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.240 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: 1855440 kB Buffers: 23632 kB Cached: 92284 kB SwapCached: 5260 kB Active: 23988 kB Inactive: 100232 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1855440 kB SwapTotal: 4192956 kB SwapFree: 4181940 kB Dirty: 3944 kB Writeback: 0 kB Mapped: 14556 kB Slab: 62292 kB Committed_AS: 194632 kB PageTables: 1380 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-1879523-1245244875.opb Free space on /tmp at the end= 66168 MiB End job on node45 at 2009-06-17 15:28:21