Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 pb | SAT | 3 | 1798.01 | 1798.86 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=149-P1=13-P2=53-P3=149-P4=137-B.opb |
MD5SUM | 154cbb2910332fd7a04bd3cd62f6a12f |
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 | 3.70844 |
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 | 96 |
Total number of constraints | 9 |
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 | 9 |
Minimum length of a constraint | 8 |
Maximum length of a constraint | 80 |
Number of terms in the objective function | 8 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 255 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 32768 |
Number of bits of the biggest number in a constraint | 16 |
Biggest sum of numbers in a constraint | 130560 |
Number of bits of the biggest sum of numbers | 17 |
Number of products (including duplicates) | 256 |
Sum of products size (including duplicates) | 512 |
Number of different products | 256 |
Sum of products size | 512 |
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-1879517-1245244676.opb 0.00/0.00 c File size is 18984 bytes. 0.00/0.00 c Highest Coefficient sum: 130560 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: 352 Constr: 525 256/0/269 Lit: 2200 Watch. Lit: 1354 0.00/0.00 c Obj. Vars: 8 (2.27273 % 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 352 525 2200 4 1890 2949 0 0 0.01 0.00/0.00 c Switching off lower bounding mode. 39.97/40.06 c 101 352 682 12706 18 4169 3244 157 4391 0.02 39.97/40.06 c 251 352 914 28279 30 4738 3569 389 3984 0.06 39.97/40.06 c 476 352 1338 57667 43 8502 3926 813 3328 0.14 39.97/40.06 c 815 352 1997 100909 50 19525 4319 1472 2302 0.35 39.97/40.06 c 1323 352 2976 163777 55 32204 4751 2451 1378 0.96 39.97/40.06 c 2086 352 4425 265652 60 54624 5227 3900 1236 1.69 39.97/40.06 c 3232 352 3801 222085 58 40581 5750 3276 736 4.39 39.97/40.06 c 4953 352 4165 233212 55 47357 6326 3640 480 10.31 39.97/40.06 c 7538 352 5807 349888 60 63132 6959 5282 373 20.16 39.97/40.06 c 11418 352 5560 321751 57 39567 7655 5035 328 34.72 39.97/40.06 o 145 65.06/65.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 65.06/65.11 c 14388 352 6762 422175 62 68062 2965 6237 359 40.04 65.06/65.11 c 14489 352 2210 117763 53 13001 3262 1685 359 40.26 65.06/65.11 c 14739 352 2689 148340 55 20674 3589 2164 364 40.46 65.06/65.11 c 15214 352 3614 208508 57 30868 3948 3089 370 41.10 65.06/65.11 c 16028 352 3077 167437 54 31960 4343 2552 374 42.79 65.06/65.11 c 17348 352 3210 176383 54 31123 4778 2685 380 45.55 65.06/65.11 c 19430 352 4546 261349 57 55249 5256 4021 373 52.06 65.06/65.11 c 22654 352 4848 300164 61 50786 5782 4323 361 62.63 65.06/65.11 o 17 75.05/75.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 75.05/75.15 c 24416 352 5030 311753 61 60850 2965 4505 375 65.08 75.05/75.15 c 24518 322 2194 116072 52 21634 3262 1669 375 65.29 75.05/75.15 c 24769 322 2668 145785 54 27746 3589 2143 377 65.53 75.05/75.15 c 25245 322 3555 201771 56 40289 3948 3030 381 66.23 75.05/75.15 c 26059 322 3023 159725 52 31859 4343 2498 383 67.96 75.05/75.15 c 27380 322 3150 172501 54 39227 4778 2625 396 69.06 75.05/75.15 c 29463 322 4589 259737 56 57746 5256 4064 396 74.28 75.05/75.15 o 13 138.33/138.48 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 138.33/138.48 c 29881 322 5410 310592 57 78483 2959 4885 397 75.12 138.33/138.48 c 29981 322 2198 106274 48 24493 3255 1673 396 75.67 138.33/138.48 c 30231 322 2688 140991 52 29611 3581 2163 398 75.82 138.33/138.48 c 30707 322 3595 199210 55 45892 3940 3070 400 76.64 138.33/138.48 c 31522 322 3054 163215 53 29567 4335 2529 400 78.63 138.33/138.48 c 32842 322 3284 176771 53 35064 4769 2759 398 82.36 138.33/138.48 c 34923 322 4691 292745 62 65348 5246 4166 403 86.49 138.33/138.48 c 38146 322 5058 304090 60 62288 5771 4533 401 94.96 138.33/138.48 c 43082 312 4358 268423 61 49488 6349 3833 399 107.73 138.33/138.48 c 50588 312 5311 305444 57 64173 6984 4786 367 137.84 138.33/138.48 o 7 142.53/142.62 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 142.53/142.62 c 51251 312 6596 389030 58 90455 2957 6071 370 138.42 142.53/142.62 c 51351 302 2202 106528 48 21799 3253 1677 368 139.27 142.53/142.62 c 51601 302 2685 139721 52 31224 3579 2160 369 139.47 142.53/142.62 c 52077 302 3613 203306 56 46551 3937 3088 371 140.00 142.53/142.62 c 52891 302 2955 170115 57 32192 4331 2430 374 141.21 142.53/142.62 o 5 145.13/145.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 145.13/145.24 c 53888 302 4828 293377 60 69913 2955 4303 378 142.56 145.13/145.24 c 53988 302 2199 118385 53 28377 3251 1674 377 142.87 145.13/145.24 c 54239 302 2676 151585 56 37480 3577 2151 378 143.28 145.13/145.24 c 54714 302 3569 206635 57 46720 3935 3044 380 143.96 145.13/145.24 o 3 1797.93/1798.85 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.93/1798.85 c 55332 302 2498 124815 49 26611 2955 1973 380 145.27 1797.93/1798.85 c 55433 281 2685 138251 51 23855 3251 2160 381 145.43 1797.93/1798.85 c 55683 281 3161 168522 53 33294 3577 2636 381 145.88 1797.93/1798.85 c 56158 281 4059 225577 55 42611 3935 3534 381 147.04 1797.93/1798.85 c 56971 281 3411 196315 57 32142 4329 2886 385 147.62 1797.93/1798.85 c 58291 281 3436 188504 54 36715 4762 2911 388 150.13 1797.93/1798.85 c 60372 281 4846 272008 56 55984 5239 4321 385 156.78 1797.93/1798.85 c 63595 281 5082 315008 61 54965 5763 4557 388 163.90 1797.93/1798.85 c 68532 281 4693 280301 59 43987 6340 4168 379 180.44 1797.93/1798.85 c 76038 281 5306 338651 63 64915 6975 4781 351 216.15 1797.93/1798.85 c 87399 281 5158 291801 56 52436 7673 4633 310 281.35 1797.93/1798.85 c 104543 281 7548 476251 63 102087 8441 7023 260 401.99 1797.93/1798.85 c 130362 281 6857 429838 62 92353 9286 6332 225 578.83 1797.93/1798.85 c 169194 281 8154 526356 64 115963 10215 7629 167 1010.12 1797.93/1798.85 c 227548 281 10081 634851 62 139927 11237 9556 156 1454.37 1797.93/1798.85 c Resources Exceeded 1797.93/1798.85 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 x97 x98 -x99 -x100 -x101 -x102 -x103 -x104 x105 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 -x155 -x156 -x157 -x158 -x159 -x160 x41 -x42 -x43 x44 -x45 -x46 -x47 -x48 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 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 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x73 x74 -x75 -x76 -x77 -x78 -x79 -x80 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 x57 -x58 -x59 x60 -x61 -x62 -x63 -x64 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 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 -x352 x89 x90 -x91 -x92 -x93 -x94 -x95 -x96 1797.93/1798.85 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.93/1798.85 c 59 267867 3517 280950 7302 438149 6777 148 1798.00 1797.93/1798.85 c Objective: 3 1797.93/1798.85 s SATISFIABLE 1797.93/1798.85 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-1879517-1245244676/watcher-1879517-1245244676 -o /tmp/evaluation-result-1879517-1245244676/solver-1879517-1245244676 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879517-1245244676.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 0.94 3/64 9074 /proc/meminfo: memFree=1713248/2055920 swapFree=4181384/4192956 [pid=9074] ppid=9072 vsize=10712 CPUtime=0 /proc/9074/stat : 9074 (bsolo) R 9072 9074 8499 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 192060519 10969088 264 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9074/statm: 2678 264 189 640 0 2034 0 [startup+0.088727 s] /proc/loadavg: 1.00 1.00 0.94 3/64 9074 /proc/meminfo: memFree=1713248/2055920 swapFree=4181384/4192956 [pid=9074] ppid=9072 vsize=11364 CPUtime=0.08 /proc/9074/stat : 9074 (bsolo) R 9072 9074 8499 0 -1 4194304 437 0 0 0 8 0 0 0 18 0 1 0 192060519 11636736 416 1992294400 134512640 137136520 4294956256 18446744073709551615 134605458 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9074/statm: 2841 417 198 640 0 2197 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 11364 [startup+0.10173 s] /proc/loadavg: 1.00 1.00 0.94 3/64 9074 /proc/meminfo: memFree=1713248/2055920 swapFree=4181384/4192956 [pid=9074] ppid=9072 vsize=11364 CPUtime=0.09 /proc/9074/stat : 9074 (bsolo) R 9072 9074 8499 0 -1 4194304 455 0 0 0 9 0 0 0 18 0 1 0 192060519 11636736 434 1992294400 134512640 137136520 4294956256 18446744073709551615 134544122 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9074/statm: 2841 434 198 640 0 2197 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11364 [startup+0.301757 s] /proc/loadavg: 1.00 1.00 0.94 3/64 9074 /proc/meminfo: memFree=1713248/2055920 swapFree=4181384/4192956 [pid=9074] ppid=9072 vsize=12396 CPUtime=0.29 /proc/9074/stat : 9074 (bsolo) R 9072 9074 8499 0 -1 4194304 714 0 0 0 29 0 0 0 19 0 1 0 192060519 12693504 693 1992294400 134512640 137136520 4294956256 18446744073709551615 134544440 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9074/statm: 3099 693 198 640 0 2455 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12396 [startup+0.701814 s] /proc/loadavg: 1.00 1.00 0.94 3/64 9074 /proc/meminfo: memFree=1713248/2055920 swapFree=4181384/4192956 [pid=9074] ppid=9072 vsize=13428 CPUtime=0.69 /proc/9074/stat : 9074 (bsolo) R 9072 9074 8499 0 -1 4194304 974 0 0 0 69 0 0 0 23 0 1 0 192060519 13750272 953 1992294400 134512640 137136520 4294956256 18446744073709551615 134544489 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9074/statm: 3357 953 198 640 0 2713 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13428 [startup+1.50193 s] /proc/loadavg: 1.00 1.00 0.94 2/65 9075 /proc/meminfo: memFree=1709592/2055920 swapFree=4181384/4192956 [pid=9074] ppid=9072 vsize=15636 CPUtime=1.49 /proc/9074/stat : 9074 (bsolo) R 9072 9074 8499 0 -1 4194304 1500 0 0 0 148 1 0 0 25 0 1 0 192060519 16011264 1479 1992294400 134512640 137136520 4294956256 18446744073709551615 134574384 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9074/statm: 3909 1479 198 640 0 3265 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15636 [startup+3.10116 s] /proc/loadavg: 1.00 1.00 0.94 2/65 9075 /proc/meminfo: memFree=1706904/2055920 swapFree=4181384/4192956 [pid=9074] ppid=9072 vsize=17720 CPUtime=3.09 /proc/9074/stat : 9074 (bsolo) R 9072 9074 8499 0 -1 4194304 2043 0 0 0 308 1 0 0 25 0 1 0 192060519 18145280 2022 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9074/statm: 4430 2022 198 640 0 3786 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17720 [startup+6.30161 s] /proc/loadavg: 1.00 1.00 0.94 2/65 9075 /proc/meminfo: memFree=1705440/2055920 swapFree=4181384/4192956 [pid=9074] ppid=9072 vsize=18108 CPUtime=6.29 /proc/9074/stat : 9074 (bsolo) R 9072 9074 8499 0 -1 4194304 2121 0 0 0 627 2 0 0 25 0 1 0 192060519 18542592 2100 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9074/statm: 4527 2100 198 640 0 3883 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 18108 [startup+12.7015 s] /proc/loadavg: 1.00 1.00 0.94 2/65 9075 /proc/meminfo: memFree=1705184/2055920 swapFree=4181384/4192956 [pid=9074] ppid=9072 vsize=18244 CPUtime=12.69 /proc/9074/stat : 9074 (bsolo) R 9072 9074 8499 0 -1 4194304 2175 0 0 0 1267 2 0 0 25 0 1 0 192060519 18681856 2154 1992294400 134512640 137136520 4294956256 18446744073709551615 134544186 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9074/statm: 4561 2154 198 640 0 3917 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 18244 [startup+25.5013 s] /proc/loadavg: 1.00 1.00 0.94 2/65 9075 /proc/meminfo: memFree=1703904/2055920 swapFree=4181384/4192956 [pid=9074] ppid=9072 vsize=19668 CPUtime=25.48 /proc/9074/stat : 9074 (bsolo) R 9072 9074 8499 0 -1 4194304 2518 0 0 0 2545 3 0 0 25 0 1 0 192060519 20140032 2497 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9074/statm: 4917 2497 198 640 0 4273 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 19668 [startup+51.102 s] /proc/loadavg: 1.00 1.00 0.94 2/65 9075 /proc/meminfo: memFree=1703328/2055920 swapFree=4181384/4192956 [pid=9074] ppid=9072 vsize=20196 CPUtime=51.06 /proc/9074/stat : 9074 (bsolo) R 9072 9074 8499 0 -1 4194304 2654 0 0 0 5101 5 0 0 25 0 1 0 192060519 20680704 2633 1992294400 134512640 137136520 4294956256 18446744073709551615 134544162 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9074/statm: 5049 2633 198 640 0 4405 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 20196 [startup+102.305 s] /proc/loadavg: 1.00 1.00 0.94 2/65 9075 /proc/meminfo: memFree=1703200/2055920 swapFree=4181384/4192956 [pid=9074] ppid=9072 vsize=20196 CPUtime=102.25 /proc/9074/stat : 9074 (bsolo) R 9072 9074 8499 0 -1 4194304 2654 0 0 0 10217 8 0 0 25 0 1 0 192060519 20680704 2633 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9074/statm: 5049 2633 198 640 0 4405 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 20196 [startup+162.302 s] /proc/loadavg: 1.00 1.00 0.94 2/65 9075 /proc/meminfo: memFree=1703136/2055920 swapFree=4181384/4192956 [pid=9074] ppid=9072 vsize=20196 CPUtime=162.21 /proc/9074/stat : 9074 (bsolo) R 9072 9074 8499 0 -1 4194304 2654 0 0 0 16209 12 0 0 25 0 1 0 192060519 20680704 2633 1992294400 134512640 137136520 4294956256 18446744073709551615 134543965 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9074/statm: 5049 2633 198 640 0 4405 0 Current children cumulated CPU time (s) 162.21 Current children cumulated vsize (KiB) 20196 [startup+222.301 s] /proc/loadavg: 1.00 1.00 0.94 2/65 9075 /proc/meminfo: memFree=1703072/2055920 swapFree=4181384/4192956 [pid=9074] ppid=9072 vsize=20448 CPUtime=222.19 /proc/9074/stat : 9074 (bsolo) R 9072 9074 8499 0 -1 4194304 2708 0 0 0 22204 15 0 0 25 0 1 0 192060519 20938752 2687 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9074/statm: 5112 2687 198 640 0 4468 0 Current children cumulated CPU time (s) 222.19 Current children cumulated vsize (KiB) 20448 [startup+282.302 s] /proc/loadavg: 1.00 1.00 0.94 2/65 9075 /proc/meminfo: memFree=1703072/2055920 swapFree=4181384/4192956 [pid=9074] ppid=9072 vsize=20444 CPUtime=282.17 /proc/9074/stat : 9074 (bsolo) R 9072 9074 8499 0 -1 4194304 2708 0 0 0 28200 17 0 0 25 0 1 0 192060519 20934656 2687 1992294400 134512640 137136520 4294956256 18446744073709551615 134544425 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9074/statm: 5111 2687 198 640 0 4467 0 Current children cumulated CPU time (s) 282.17 Current children cumulated vsize (KiB) 20444 [startup+342.301 s] /proc/loadavg: 1.00 1.00 0.94 2/65 9075 /proc/meminfo: memFree=1702176/2055920 swapFree=4181384/4192956 [pid=9074] ppid=9072 vsize=21344 CPUtime=342.14 /proc/9074/stat : 9074 (bsolo) R 9072 9074 8499 0 -1 4194304 2937 0 0 0 34195 19 0 0 25 0 1 0 192060519 21856256 2916 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9074/statm: 5336 2916 198 640 0 4692 0 Current children cumulated CPU time (s) 342.14 Current children cumulated vsize (KiB) 21344 [startup+402.302 s] /proc/loadavg: 1.00 1.00 0.94 2/65 9075 /proc/meminfo: memFree=1701792/2055920 swapFree=4181384/4192956 [pid=9074] ppid=9072 vsize=21724 CPUtime=402.11 /proc/9074/stat : 9074 (bsolo) R 9072 9074 8499 0 -1 4194304 3028 0 0 0 40191 20 0 0 25 0 1 0 192060519 22245376 3007 1992294400 134512640 137136520 4294956256 18446744073709551615 134544425 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9074/statm: 5431 3007 198 640 0 4787 0 Current children cumulated CPU time (s) 402.11 Current children cumulated vsize (KiB) 21724 [startup+462.301 s] /proc/loadavg: 1.00 1.00 0.94 2/65 9075 /proc/meminfo: memFree=1700512/2055920 swapFree=4181384/4192956 [pid=9074] ppid=9072 vsize=23032 CPUtime=462.07 /proc/9074/stat : 9074 (bsolo) R 9072 9074 8499 0 -1 4194304 3359 0 0 0 46184 23 0 0 25 0 1 0 192060519 23584768 3338 1992294400 134512640 137136520 4294956256 18446744073709551615 134544256 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9074/statm: 5758 3338 198 640 0 5114 0 Current children cumulated CPU time (s) 462.07 Current children cumulated vsize (KiB) 23032 [startup+522.302 s] /proc/loadavg: 1.00 1.00 0.94 2/65 9075 /proc/meminfo: memFree=1700448/2055920 swapFree=4181384/4192956 [pid=9074] ppid=9072 vsize=23032 CPUtime=522.04 /proc/9074/stat : 9074 (bsolo) R 9072 9074 8499 0 -1 4194304 3359 0 0 0 52179 25 0 0 25 0 1 0 192060519 23584768 3338 1992294400 134512640 137136520 4294956256 18446744073709551615 134544425 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9074/statm: 5758 3338 198 640 0 5114 0 Current children cumulated CPU time (s) 522.04 Current children cumulated vsize (KiB) 23032 [startup+582.301 s] /proc/loadavg: 1.00 1.00 0.94 2/65 9075 /proc/meminfo: memFree=1700192/2055920 swapFree=4181384/4192956 [pid=9074] ppid=9072 vsize=23424 CPUtime=582.02 /proc/9074/stat : 9074 (bsolo) R 9072 9074 8499 0 -1 4194304 3458 0 0 0 58174 28 0 0 25 0 1 0 192060519 23986176 3437 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9074/statm: 5856 3437 198 640 0 5212 0 Current children cumulated CPU time (s) 582.02 Current children cumulated vsize (KiB) 23424 [startup+642.302 s] /proc/loadavg: 1.00 1.00 0.94 2/65 9075 /proc/meminfo: memFree=1700064/2055920 swapFree=4181384/4192956 [pid=9074] ppid=9072 vsize=23424 CPUtime=642 /proc/9074/stat : 9074 (bsolo) R 9072 9074 8499 0 -1 4194304 3458 0 0 0 64170 30 0 0 25 0 1 0 192060519 23986176 3437 1992294400 134512640 137136520 4294956256 18446744073709551615 134544437 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9074/statm: 5856 3437 198 640 0 5212 0 Current children cumulated CPU time (s) 642 Current children cumulated vsize (KiB) 23424 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1697568/2055920 swapFree=4181384/4192956 [pid=9074] ppid=9072 vsize=25928 CPUtime=1121.76 /proc/9074/stat : 9074 (bsolo) R 9072 9074 8499 0 -1 4194304 4098 0 0 0 112131 45 0 0 25 0 1 0 192060519 26550272 4077 1992294400 134512640 137136520 4294956256 18446744073709551615 134544440 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9074/statm: 6482 4077 198 640 0 5838 0 Current children cumulated CPU time (s) 1121.76 Current children cumulated vsize (KiB) 25928 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.94 2/65 9075 /proc/meminfo: memFree=1697568/2055920 swapFree=4181384/4192956 [pid=9074] ppid=9072 vsize=25928 CPUtime=1181.73 /proc/9074/stat : 9074 (bsolo) R 9072 9074 8499 0 -1 4194304 4098 0 0 0 118127 46 0 0 25 0 1 0 192060519 26550272 4077 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9074/statm: 6482 4077 198 640 0 5838 0 Current children cumulated CPU time (s) 1181.73 Current children cumulated vsize (KiB) 25928 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.94 2/65 9075 /proc/meminfo: memFree=1697376/2055920 swapFree=4181384/4192956 [pid=9074] ppid=9072 vsize=25928 CPUtime=1241.7 /proc/9074/stat : 9074 (bsolo) R 9072 9074 8499 0 -1 4194304 4098 0 0 0 124121 49 0 0 25 0 1 0 192060519 26550272 4077 1992294400 134512640 137136520 4294956256 18446744073709551615 136498202 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9074/statm: 6482 4077 198 640 0 5838 0 Current children cumulated CPU time (s) 1241.7 Current children cumulated vsize (KiB) 25928 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.94 2/65 9075 /proc/meminfo: memFree=1697312/2055920 swapFree=4181384/4192956 [pid=9074] ppid=9072 vsize=25928 CPUtime=1301.67 /proc/9074/stat : 9074 (bsolo) R 9072 9074 8499 0 -1 4194304 4098 0 0 0 130116 51 0 0 25 0 1 0 192060519 26550272 4077 1992294400 134512640 137136520 4294956256 18446744073709551615 134544112 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9074/statm: 6482 4077 198 640 0 5838 0 Current children cumulated CPU time (s) 1301.67 Current children cumulated vsize (KiB) 25928 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.94 2/65 9075 /proc/meminfo: memFree=1697312/2055920 swapFree=4181384/4192956 [pid=9074] ppid=9072 vsize=25928 CPUtime=1361.64 /proc/9074/stat : 9074 (bsolo) R 9072 9074 8499 0 -1 4194304 4098 0 0 0 136111 53 0 0 25 0 1 0 192060519 26550272 4077 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9074/statm: 6482 4077 198 640 0 5838 0 Current children cumulated CPU time (s) 1361.64 Current children cumulated vsize (KiB) 25928 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.94 2/65 9075 /proc/meminfo: memFree=1697312/2055920 swapFree=4181384/4192956 [pid=9074] ppid=9072 vsize=25928 CPUtime=1421.61 /proc/9074/stat : 9074 (bsolo) R 9072 9074 8499 0 -1 4194304 4098 0 0 0 142106 55 0 0 25 0 1 0 192060519 26550272 4077 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9074/statm: 6482 4077 198 640 0 5838 0 Current children cumulated CPU time (s) 1421.61 Current children cumulated vsize (KiB) 25928 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.94 2/65 9075 /proc/meminfo: memFree=1696288/2055920 swapFree=4181384/4192956 [pid=9074] ppid=9072 vsize=27108 CPUtime=1481.59 /proc/9074/stat : 9074 (bsolo) R 9072 9074 8499 0 -1 4194304 4383 0 0 0 148100 59 0 0 25 0 1 0 192060519 27758592 4362 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9074/statm: 6777 4362 198 640 0 6133 0 Current children cumulated CPU time (s) 1481.59 Current children cumulated vsize (KiB) 27108 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.94 2/65 9075 /proc/meminfo: memFree=1696288/2055920 swapFree=4181384/4192956 [pid=9074] ppid=9072 vsize=27108 CPUtime=1541.56 /proc/9074/stat : 9074 (bsolo) R 9072 9074 8499 0 -1 4194304 4383 0 0 0 154095 61 0 0 25 0 1 0 192060519 27758592 4362 1992294400 134512640 137136520 4294956256 18446744073709551615 134544428 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9074/statm: 6777 4362 198 640 0 6133 0 Current children cumulated CPU time (s) 1541.56 Current children cumulated vsize (KiB) 27108 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.94 2/65 9075 /proc/meminfo: memFree=1696288/2055920 swapFree=4181384/4192956 [pid=9074] ppid=9072 vsize=27108 CPUtime=1601.53 /proc/9074/stat : 9074 (bsolo) R 9072 9074 8499 0 -1 4194304 4383 0 0 0 160089 64 0 0 25 0 1 0 192060519 27758592 4362 1992294400 134512640 137136520 4294956256 18446744073709551615 136504213 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9074/statm: 6777 4362 198 640 0 6133 0 Current children cumulated CPU time (s) 1601.53 Current children cumulated vsize (KiB) 27108 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.94 2/65 9075 /proc/meminfo: memFree=1696288/2055920 swapFree=4181384/4192956 [pid=9074] ppid=9072 vsize=27108 CPUtime=1661.51 /proc/9074/stat : 9074 (bsolo) R 9072 9074 8499 0 -1 4194304 4383 0 0 0 166085 66 0 0 25 0 1 0 192060519 27758592 4362 1992294400 134512640 137136520 4294956256 18446744073709551615 134540856 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9074/statm: 6777 4362 198 640 0 6133 0 Current children cumulated CPU time (s) 1661.51 Current children cumulated vsize (KiB) 27108 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.94 2/65 9075 /proc/meminfo: memFree=1696224/2055920 swapFree=4181384/4192956 [pid=9074] ppid=9072 vsize=27108 CPUtime=1721.48 /proc/9074/stat : 9074 (bsolo) R 9072 9074 8499 0 -1 4194304 4383 0 0 0 172080 68 0 0 25 0 1 0 192060519 27758592 4362 1992294400 134512640 137136520 4294956256 18446744073709551615 134544387 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9074/statm: 6777 4362 198 640 0 6133 0 Current children cumulated CPU time (s) 1721.48 Current children cumulated vsize (KiB) 27108 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.94 2/65 9075 /proc/meminfo: memFree=1696096/2055920 swapFree=4181384/4192956 [pid=9074] ppid=9072 vsize=27108 CPUtime=1781.44 /proc/9074/stat : 9074 (bsolo) R 9072 9074 8499 0 -1 4194304 4383 0 0 0 178074 70 0 0 25 0 1 0 192060519 27758592 4362 1992294400 134512640 137136520 4294956256 18446744073709551615 134544449 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9074/statm: 6777 4362 198 640 0 6133 0 Current children cumulated CPU time (s) 1781.44 Current children cumulated vsize (KiB) 27108 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 0.94 2/65 9075 /proc/meminfo: memFree=1696096/2055920 swapFree=4181384/4192956 [pid=9074] ppid=9072 vsize=27108 CPUtime=1791.04 /proc/9074/stat : 9074 (bsolo) R 9072 9074 8499 0 -1 4194304 4383 0 0 0 179034 70 0 0 25 0 1 0 192060519 27758592 4362 1992294400 134512640 137136520 4294956256 18446744073709551615 136500577 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9074/statm: 6777 4362 198 640 0 6133 0 Current children cumulated CPU time (s) 1791.04 Current children cumulated vsize (KiB) 27108 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 0.94 2/65 9075 /proc/meminfo: memFree=1696096/2055920 swapFree=4181384/4192956 [pid=9074] ppid=9072 vsize=27108 CPUtime=1794.24 /proc/9074/stat : 9074 (bsolo) R 9072 9074 8499 0 -1 4194304 4383 0 0 0 179354 70 0 0 25 0 1 0 192060519 27758592 4362 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9074/statm: 6777 4362 198 640 0 6133 0 Current children cumulated CPU time (s) 1794.24 Current children cumulated vsize (KiB) 27108 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 0.94 2/65 9075 /proc/meminfo: memFree=1696096/2055920 swapFree=4181384/4192956 [pid=9074] ppid=9072 vsize=27108 CPUtime=1795.83 /proc/9074/stat : 9074 (bsolo) R 9072 9074 8499 0 -1 4194304 4383 0 0 0 179513 70 0 0 25 0 1 0 192060519 27758592 4362 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9074/statm: 6777 4362 198 640 0 6133 0 Current children cumulated CPU time (s) 1795.83 Current children cumulated vsize (KiB) 27108 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 0.94 2/65 9075 /proc/meminfo: memFree=1696096/2055920 swapFree=4181384/4192956 [pid=9074] ppid=9072 vsize=27108 CPUtime=1796.63 /proc/9074/stat : 9074 (bsolo) R 9072 9074 8499 0 -1 4194304 4383 0 0 0 179593 70 0 0 25 0 1 0 192060519 27758592 4362 1992294400 134512640 137136520 4294956256 18446744073709551615 134573541 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9074/statm: 6777 4362 198 640 0 6133 0 Current children cumulated CPU time (s) 1796.63 Current children cumulated vsize (KiB) 27108 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 0.94 2/65 9075 /proc/meminfo: memFree=1696096/2055920 swapFree=4181384/4192956 [pid=9074] ppid=9072 vsize=27108 CPUtime=1797.43 /proc/9074/stat : 9074 (bsolo) R 9072 9074 8499 0 -1 4194304 4383 0 0 0 179673 70 0 0 25 0 1 0 192060519 27758592 4362 1992294400 134512640 137136520 4294956256 18446744073709551615 134573386 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9074/statm: 6777 4362 198 640 0 6133 0 Current children cumulated CPU time (s) 1797.43 Current children cumulated vsize (KiB) 27108 [startup+1798.7 s] /proc/loadavg: 1.00 1.00 0.94 2/65 9075 /proc/meminfo: memFree=1696096/2055920 swapFree=4181384/4192956 [pid=9074] ppid=9072 vsize=27108 CPUtime=1797.83 /proc/9074/stat : 9074 (bsolo) R 9072 9074 8499 0 -1 4194304 4383 0 0 0 179713 70 0 0 25 0 1 0 192060519 27758592 4362 1992294400 134512640 137136520 4294956256 18446744073709551615 134544140 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9074/statm: 6777 4362 198 640 0 6133 0 Current children cumulated CPU time (s) 1797.83 Current children cumulated vsize (KiB) 27108 [startup+1798.8 s] /proc/loadavg: 1.00 1.00 0.94 2/65 9075 /proc/meminfo: memFree=1696096/2055920 swapFree=4181384/4192956 [pid=9074] ppid=9072 vsize=27108 CPUtime=1797.93 /proc/9074/stat : 9074 (bsolo) R 9072 9074 8499 0 -1 4194304 4383 0 0 0 179723 70 0 0 25 0 1 0 192060519 27758592 4362 1992294400 134512640 137136520 4294956256 18446744073709551615 134544164 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9074/statm: 6777 4362 198 640 0 6133 0 Current children cumulated CPU time (s) 1797.93 Current children cumulated vsize (KiB) 27108 Child status: 0 Real time (s): 1798.86 CPU time (s): 1798.01 CPU user time (s): 1797.29 CPU system time (s): 0.712891 CPU usage (%): 99.9525 Max. virtual memory (cumulated for all children) (KiB): 27108 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.29 system time used= 0.712891 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4385 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= 7658 runsolver used 1.57376 second user time and 4.97624 second system time The end
Begin job on node49 at 2009-06-17 15:17:56 IDJOB=1879517 IDBENCH=48067 IDSOLVER=701 FILE ID=node49/1879517-1245244676 PBS_JOBID= 9372291 Free space on /tmp= 66028 MiB SOLVER NAME= bsolo 3.1 pb BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=149-P1=13-P2=53-P3=149-P4=137-B.opb COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1879517-1245244676/watcher-1879517-1245244676 -o /tmp/evaluation-result-1879517-1245244676/solver-1879517-1245244676 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879517-1245244676.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 154cbb2910332fd7a04bd3cd62f6a12f RANDOM SEED=695750921 node49.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.232 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.232 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: 1713728 kB Buffers: 65468 kB Cached: 205080 kB SwapCached: 4580 kB Active: 89784 kB Inactive: 188864 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1713728 kB SwapTotal: 4192956 kB SwapFree: 4181384 kB Dirty: 3944 kB Writeback: 0 kB Mapped: 13852 kB Slab: 49308 kB Committed_AS: 195944 kB PageTables: 1388 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-1879517-1245244676.opb Free space on /tmp at the end= 66024 MiB End job on node49 at 2009-06-17 15:47:55