Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 pb | SAT | 3 | 1798.01 | 1798.53 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=149-P1=19-P2=137-P3=191-P4=223-B.opb |
MD5SUM | 9b762ab9d310cdc754a8481e0a3342a1 |
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.45732 |
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-1879474-1245244067.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. 16.79/16.80 c 100 352 721 14379 19 5180 3244 196 3225 0.03 16.79/16.80 c 250 352 1018 34340 33 11815 3569 493 2551 0.10 16.79/16.80 c 476 352 1450 63695 43 19015 3926 925 2245 0.21 16.79/16.80 c 814 352 2111 106323 50 25299 4319 1586 1541 0.53 16.79/16.80 c 1323 352 3082 168102 54 38790 4751 2557 911 1.45 16.79/16.80 c 2086 352 4514 263496 58 61615 5227 3989 750 2.78 16.79/16.80 c 3232 352 3712 238345 64 39399 5750 3187 467 6.91 16.79/16.80 c 4953 352 3967 214286 54 35819 6326 3442 410 12.06 16.79/16.80 o 3 1797.97/1798.52 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.97/1798.52 c 6167 352 6265 362025 57 75737 2965 5740 367 16.80 1797.97/1798.52 c 6268 281 2202 111563 50 21730 3262 1677 356 17.58 1797.97/1798.52 c 6520 281 2692 142879 53 29456 3589 2167 364 17.91 1797.97/1798.52 c 6996 281 3604 198610 55 46546 3948 3079 366 19.10 1797.97/1798.52 c 7811 281 3052 158343 51 32628 4343 2527 360 21.66 1797.97/1798.52 c 9132 281 2701 154875 57 14935 4778 2176 399 22.83 1797.97/1798.52 c 11213 281 3758 210349 55 39149 5256 3233 398 28.11 1797.97/1798.52 c 14436 281 3656 219073 59 28126 5782 3131 407 35.39 1797.97/1798.52 c 19373 281 6348 398116 62 58457 6361 5823 379 51.01 1797.97/1798.52 c 26880 281 6730 421690 62 84548 6998 6205 343 78.14 1797.97/1798.52 c 38242 281 5699 356266 62 77949 7698 5174 258 148.17 1797.97/1798.52 c 55387 281 8194 523418 63 108701 8468 7669 198 278.41 1797.97/1798.52 c 81206 281 7686 469427 61 113578 9315 7161 172 470.98 1797.97/1798.52 c 120039 281 8919 586794 65 102736 10247 8394 154 779.15 1797.97/1798.52 c 178391 281 10051 661428 65 147503 11272 9526 123 1439.14 1797.97/1798.52 c Resources Exceeded 1797.97/1798.52 v x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 x9 x10 -x11 -x12 -x13 -x14 -x15 -x16 x17 -x18 -x19 x20 x21 -x22 x23 -x24 x25 -x26 -x27 -x28 -x29 x30 x31 x32 x33 x34 x35 -x36 -x37 x38 -x39 x40 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.97/1798.52 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.97/1798.52 c 23 208580 2332 215946 12087 814876 11562 116 1798.00 1797.97/1798.52 c Objective: 3 1797.97/1798.52 s SATISFIABLE 1797.97/1798.52 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-1879474-1245244067/watcher-1879474-1245244067 -o /tmp/evaluation-result-1879474-1245244067/solver-1879474-1245244067 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879474-1245244067.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 1.00 3/64 14230 /proc/meminfo: memFree=1852904/2055920 swapFree=4181976/4192956 [pid=14230] ppid=14228 vsize=10712 CPUtime=0 /proc/14230/stat : 14230 (bsolo) R 14228 14230 13655 0 -1 4194304 281 0 0 0 0 0 0 0 18 0 1 0 192003848 10969088 260 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14230/statm: 2678 262 188 640 0 2034 0 [startup+0.0247939 s] /proc/loadavg: 1.00 1.00 1.00 3/64 14230 /proc/meminfo: memFree=1852904/2055920 swapFree=4181976/4192956 [pid=14230] ppid=14228 vsize=10976 CPUtime=0.02 /proc/14230/stat : 14230 (bsolo) R 14228 14230 13655 0 -1 4194304 337 0 0 0 2 0 0 0 18 0 1 0 192003848 11239424 316 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14230/statm: 2744 316 197 640 0 2100 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 10976 [startup+0.101803 s] /proc/loadavg: 1.00 1.00 1.00 3/64 14230 /proc/meminfo: memFree=1852904/2055920 swapFree=4181976/4192956 [pid=14230] ppid=14228 vsize=11500 CPUtime=0.09 /proc/14230/stat : 14230 (bsolo) R 14228 14230 13655 0 -1 4194304 474 0 0 0 9 0 0 0 18 0 1 0 192003848 11776000 453 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14230/statm: 2875 453 198 640 0 2231 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11500 [startup+0.301825 s] /proc/loadavg: 1.00 1.00 1.00 3/64 14230 /proc/meminfo: memFree=1852904/2055920 swapFree=4181976/4192956 [pid=14230] ppid=14228 vsize=12404 CPUtime=0.29 /proc/14230/stat : 14230 (bsolo) R 14228 14230 13655 0 -1 4194304 694 0 0 0 29 0 0 0 19 0 1 0 192003848 12701696 673 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14230/statm: 3101 674 198 640 0 2457 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12404 [startup+0.701869 s] /proc/loadavg: 1.00 1.00 1.00 3/64 14230 /proc/meminfo: memFree=1852904/2055920 swapFree=4181976/4192956 [pid=14230] ppid=14228 vsize=13184 CPUtime=0.69 /proc/14230/stat : 14230 (bsolo) R 14228 14230 13655 0 -1 4194304 904 0 0 0 69 0 0 0 22 0 1 0 192003848 13500416 883 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14230/statm: 3296 883 198 640 0 2652 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13184 [startup+1.50196 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14231 /proc/meminfo: memFree=1849760/2055920 swapFree=4181976/4192956 [pid=14230] ppid=14228 vsize=14320 CPUtime=1.49 /proc/14230/stat : 14230 (bsolo) R 14228 14230 13655 0 -1 4194304 1173 0 0 0 149 0 0 0 25 0 1 0 192003848 14663680 1152 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14230/statm: 3580 1152 198 640 0 2936 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14320 [startup+3.10113 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14231 /proc/meminfo: memFree=1848352/2055920 swapFree=4181976/4192956 [pid=14230] ppid=14228 vsize=16672 CPUtime=3.09 /proc/14230/stat : 14230 (bsolo) R 14228 14230 13655 0 -1 4194304 1774 0 0 0 308 1 0 0 25 0 1 0 192003848 17072128 1753 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14230/statm: 4168 1753 198 640 0 3524 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16672 [startup+6.30149 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14231 /proc/meminfo: memFree=1844896/2055920 swapFree=4181976/4192956 [pid=14230] ppid=14228 vsize=18372 CPUtime=6.29 /proc/14230/stat : 14230 (bsolo) R 14228 14230 13655 0 -1 4194304 2195 0 0 0 628 1 0 0 25 0 1 0 192003848 18812928 2174 1992294400 134512640 137136520 4294956256 18446744073709551615 136501956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14230/statm: 4593 2174 198 640 0 3949 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 18372 [startup+12.7012 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14231 /proc/meminfo: memFree=1844584/2055920 swapFree=4181976/4192956 [pid=14230] ppid=14228 vsize=18376 CPUtime=12.68 /proc/14230/stat : 14230 (bsolo) R 14228 14230 13655 0 -1 4194304 2209 0 0 0 1267 1 0 0 25 0 1 0 192003848 18817024 2188 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14230/statm: 4594 2188 198 640 0 3950 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 18376 [startup+25.5016 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14231 /proc/meminfo: memFree=1844584/2055920 swapFree=4181976/4192956 [pid=14230] ppid=14228 vsize=18376 CPUtime=25.48 /proc/14230/stat : 14230 (bsolo) R 14228 14230 13655 0 -1 4194304 2209 0 0 0 2546 2 0 0 25 0 1 0 192003848 18817024 2188 1992294400 134512640 137136520 4294956256 18446744073709551615 134544304 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14230/statm: 4594 2188 198 640 0 3950 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 18376 [startup+51.1015 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14231 /proc/meminfo: memFree=1844520/2055920 swapFree=4181976/4192956 [pid=14230] ppid=14228 vsize=18376 CPUtime=51.08 /proc/14230/stat : 14230 (bsolo) R 14228 14230 13655 0 -1 4194304 2209 0 0 0 5104 4 0 0 25 0 1 0 192003848 18817024 2188 1992294400 134512640 137136520 4294956256 18446744073709551615 134616499 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14230/statm: 4594 2188 198 640 0 3950 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 18376 [startup+102.305 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14231 /proc/meminfo: memFree=1841704/2055920 swapFree=4181976/4192956 [pid=14230] ppid=14228 vsize=21220 CPUtime=102.26 /proc/14230/stat : 14230 (bsolo) R 14228 14230 13655 0 -1 4194304 2919 0 0 0 10220 6 0 0 25 0 1 0 192003848 21729280 2898 1992294400 134512640 137136520 4294956256 18446744073709551615 134544249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14230/statm: 5305 2898 198 640 0 4661 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 21220 [startup+162.302 s] /proc/loadavg: 1.05 1.01 1.00 2/65 14231 /proc/meminfo: memFree=1840872/2055920 swapFree=4181976/4192956 [pid=14230] ppid=14228 vsize=22112 CPUtime=162.24 /proc/14230/stat : 14230 (bsolo) R 14228 14230 13655 0 -1 4194304 3125 0 0 0 16215 9 0 0 25 0 1 0 192003848 22642688 3104 1992294400 134512640 137136520 4294956256 18446744073709551615 134544604 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14230/statm: 5528 3104 198 640 0 4884 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 22112 [startup+222.301 s] /proc/loadavg: 1.02 1.01 1.00 2/65 14231 /proc/meminfo: memFree=1840808/2055920 swapFree=4181976/4192956 [pid=14230] ppid=14228 vsize=22112 CPUtime=222.23 /proc/14230/stat : 14230 (bsolo) R 14228 14230 13655 0 -1 4194304 3125 0 0 0 22212 11 0 0 25 0 1 0 192003848 22642688 3104 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14230/statm: 5528 3104 198 640 0 4884 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 22112 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14231 /proc/meminfo: memFree=1840040/2055920 swapFree=4181976/4192956 [pid=14230] ppid=14228 vsize=22892 CPUtime=282.21 /proc/14230/stat : 14230 (bsolo) R 14228 14230 13655 0 -1 4194304 3324 0 0 0 28207 14 0 0 25 0 1 0 192003848 23441408 3303 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14230/statm: 5723 3303 198 640 0 5079 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 22892 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14231 /proc/meminfo: memFree=1839592/2055920 swapFree=4181976/4192956 [pid=14230] ppid=14228 vsize=23284 CPUtime=342.19 /proc/14230/stat : 14230 (bsolo) R 14228 14230 13655 0 -1 4194304 3423 0 0 0 34202 17 0 0 25 0 1 0 192003848 23842816 3402 1992294400 134512640 137136520 4294956256 18446744073709551615 134543834 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14230/statm: 5821 3402 198 640 0 5177 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 23284 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14231 /proc/meminfo: memFree=1839592/2055920 swapFree=4181976/4192956 [pid=14230] ppid=14228 vsize=23284 CPUtime=402.16 /proc/14230/stat : 14230 (bsolo) R 14228 14230 13655 0 -1 4194304 3423 0 0 0 40198 18 0 0 25 0 1 0 192003848 23842816 3402 1992294400 134512640 137136520 4294956256 18446744073709551615 136498241 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14230/statm: 5821 3402 198 640 0 5177 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 23284 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14231 /proc/meminfo: memFree=1839528/2055920 swapFree=4181976/4192956 [pid=14230] ppid=14228 vsize=23264 CPUtime=462.15 /proc/14230/stat : 14230 (bsolo) R 14228 14230 13655 0 -1 4194304 3423 0 0 0 46195 20 0 0 25 0 1 0 192003848 23822336 3402 1992294400 134512640 137136520 4294956256 18446744073709551615 134543933 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14230/statm: 5816 3402 198 640 0 5172 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 23264 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14231 /proc/meminfo: memFree=1838568/2055920 swapFree=4181976/4192956 [pid=14230] ppid=14228 vsize=24168 CPUtime=522.13 /proc/14230/stat : 14230 (bsolo) R 14228 14230 13655 0 -1 4194304 3657 0 0 0 52190 23 0 0 25 0 1 0 192003848 24748032 3636 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14230/statm: 6042 3636 198 640 0 5398 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 24168 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14231 /proc/meminfo: memFree=1838504/2055920 swapFree=4181976/4192956 [pid=14230] ppid=14228 vsize=24168 CPUtime=582.12 /proc/14230/stat : 14230 (bsolo) R 14228 14230 13655 0 -1 4194304 3657 0 0 0 58187 25 0 0 25 0 1 0 192003848 24748032 3636 1992294400 134512640 137136520 4294956256 18446744073709551615 134544489 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14230/statm: 6042 3636 198 640 0 5398 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 24168 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14231 /proc/meminfo: memFree=1838568/2055920 swapFree=4181976/4192956 [pid=14230] ppid=14228 vsize=24168 CPUtime=642.1 /proc/14230/stat : 14230 (bsolo) R 14228 14230 13655 0 -1 4194304 3657 0 0 0 64182 28 0 0 25 0 1 0 192003848 24748032 3636 1992294400 134512640 137136520 4294956256 18446744073709551615 134543887 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14230/statm: 6042 3636 198 640 0 5398 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 24168 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1836904/2055920 swapFree=4181976/4192956 [pid=14230] ppid=14228 vsize=25708 CPUtime=1061.98 /proc/14230/stat : 14230 (bsolo) R 14228 14230 13655 0 -1 4194304 4028 0 0 0 106157 41 0 0 25 0 1 0 192003848 26324992 4007 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14230/statm: 6427 4007 198 640 0 5783 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 25708 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14231 /proc/meminfo: memFree=1836904/2055920 swapFree=4181976/4192956 [pid=14230] ppid=14228 vsize=25708 CPUtime=1121.96 /proc/14230/stat : 14230 (bsolo) R 14228 14230 13655 0 -1 4194304 4028 0 0 0 112153 43 0 0 25 0 1 0 192003848 26324992 4007 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14230/statm: 6427 4007 198 640 0 5783 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 25708 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14231 /proc/meminfo: memFree=1836776/2055920 swapFree=4181976/4192956 [pid=14230] ppid=14228 vsize=25796 CPUtime=1181.95 /proc/14230/stat : 14230 (bsolo) R 14228 14230 13655 0 -1 4194304 4049 0 0 0 118150 45 0 0 25 0 1 0 192003848 26415104 4028 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14230/statm: 6449 4028 198 640 0 5805 0 Current children cumulated CPU time (s) 1181.95 Current children cumulated vsize (KiB) 25796 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14231 /proc/meminfo: memFree=1836328/2055920 swapFree=4181976/4192956 [pid=14230] ppid=14228 vsize=26176 CPUtime=1241.93 /proc/14230/stat : 14230 (bsolo) R 14228 14230 13655 0 -1 4194304 4144 0 0 0 124146 47 0 0 25 0 1 0 192003848 26804224 4123 1992294400 134512640 137136520 4294956256 18446744073709551615 134544179 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14230/statm: 6544 4123 198 640 0 5900 0 Current children cumulated CPU time (s) 1241.93 Current children cumulated vsize (KiB) 26176 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14231 /proc/meminfo: memFree=1836328/2055920 swapFree=4181976/4192956 [pid=14230] ppid=14228 vsize=26176 CPUtime=1301.92 /proc/14230/stat : 14230 (bsolo) R 14228 14230 13655 0 -1 4194304 4144 0 0 0 130143 49 0 0 25 0 1 0 192003848 26804224 4123 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14230/statm: 6544 4123 198 640 0 5900 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 26176 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14231 /proc/meminfo: memFree=1836328/2055920 swapFree=4181976/4192956 [pid=14230] ppid=14228 vsize=26176 CPUtime=1361.9 /proc/14230/stat : 14230 (bsolo) R 14228 14230 13655 0 -1 4194304 4144 0 0 0 136140 50 0 0 25 0 1 0 192003848 26804224 4123 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14230/statm: 6544 4123 198 640 0 5900 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 26176 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14231 /proc/meminfo: memFree=1836328/2055920 swapFree=4181976/4192956 [pid=14230] ppid=14228 vsize=26168 CPUtime=1421.88 /proc/14230/stat : 14230 (bsolo) R 14228 14230 13655 0 -1 4194304 4144 0 0 0 142136 52 0 0 25 0 1 0 192003848 26796032 4123 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14230/statm: 6542 4123 198 640 0 5898 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 26168 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14231 /proc/meminfo: memFree=1835112/2055920 swapFree=4181976/4192956 [pid=14230] ppid=14228 vsize=27332 CPUtime=1481.86 /proc/14230/stat : 14230 (bsolo) R 14228 14230 13655 0 -1 4194304 4442 0 0 0 148132 54 0 0 25 0 1 0 192003848 27987968 4421 1992294400 134512640 137136520 4294956256 18446744073709551615 134544425 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14230/statm: 6833 4421 198 640 0 6189 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 27332 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14231 /proc/meminfo: memFree=1835048/2055920 swapFree=4181976/4192956 [pid=14230] ppid=14228 vsize=27332 CPUtime=1541.84 /proc/14230/stat : 14230 (bsolo) R 14228 14230 13655 0 -1 4194304 4442 0 0 0 154128 56 0 0 25 0 1 0 192003848 27987968 4421 1992294400 134512640 137136520 4294956256 18446744073709551615 134544437 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14230/statm: 6833 4421 198 640 0 6189 0 Current children cumulated CPU time (s) 1541.84 Current children cumulated vsize (KiB) 27332 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14231 /proc/meminfo: memFree=1834984/2055920 swapFree=4181976/4192956 [pid=14230] ppid=14228 vsize=27332 CPUtime=1601.82 /proc/14230/stat : 14230 (bsolo) R 14228 14230 13655 0 -1 4194304 4442 0 0 0 160125 57 0 0 25 0 1 0 192003848 27987968 4421 1992294400 134512640 137136520 4294956256 18446744073709551615 134544604 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14230/statm: 6833 4421 198 640 0 6189 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 27332 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14231 /proc/meminfo: memFree=1835048/2055920 swapFree=4181976/4192956 [pid=14230] ppid=14228 vsize=27332 CPUtime=1661.8 /proc/14230/stat : 14230 (bsolo) R 14228 14230 13655 0 -1 4194304 4442 0 0 0 166122 58 0 0 25 0 1 0 192003848 27987968 4421 1992294400 134512640 137136520 4294956256 18446744073709551615 134544425 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14230/statm: 6833 4421 198 640 0 6189 0 Current children cumulated CPU time (s) 1661.8 Current children cumulated vsize (KiB) 27332 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14231 /proc/meminfo: memFree=1834984/2055920 swapFree=4181976/4192956 [pid=14230] ppid=14228 vsize=27332 CPUtime=1721.79 /proc/14230/stat : 14230 (bsolo) R 14228 14230 13655 0 -1 4194304 4442 0 0 0 172119 60 0 0 25 0 1 0 192003848 27987968 4421 1992294400 134512640 137136520 4294956256 18446744073709551615 134544129 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14230/statm: 6833 4421 198 640 0 6189 0 Current children cumulated CPU time (s) 1721.79 Current children cumulated vsize (KiB) 27332 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14231 /proc/meminfo: memFree=1834984/2055920 swapFree=4181976/4192956 [pid=14230] ppid=14228 vsize=27332 CPUtime=1781.77 /proc/14230/stat : 14230 (bsolo) R 14228 14230 13655 0 -1 4194304 4442 0 0 0 178115 62 0 0 25 0 1 0 192003848 27987968 4421 1992294400 134512640 137136520 4294956256 18446744073709551615 134544393 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14230/statm: 6833 4421 198 640 0 6189 0 Current children cumulated CPU time (s) 1781.77 Current children cumulated vsize (KiB) 27332 Solver just ended. Dumping a history of the last processes samples [startup+1791.9 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14231 /proc/meminfo: memFree=1834984/2055920 swapFree=4181976/4192956 [pid=14230] ppid=14228 vsize=27332 CPUtime=1791.37 /proc/14230/stat : 14230 (bsolo) R 14228 14230 13655 0 -1 4194304 4442 0 0 0 179075 62 0 0 25 0 1 0 192003848 27987968 4421 1992294400 134512640 137136520 4294956256 18446744073709551615 136502850 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14230/statm: 6833 4421 198 640 0 6189 0 Current children cumulated CPU time (s) 1791.37 Current children cumulated vsize (KiB) 27332 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14231 /proc/meminfo: memFree=1834984/2055920 swapFree=4181976/4192956 [pid=14230] ppid=14228 vsize=27332 CPUtime=1794.57 /proc/14230/stat : 14230 (bsolo) R 14228 14230 13655 0 -1 4194304 4442 0 0 0 179395 62 0 0 25 0 1 0 192003848 27987968 4421 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14230/statm: 6833 4421 198 640 0 6189 0 Current children cumulated CPU time (s) 1794.57 Current children cumulated vsize (KiB) 27332 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14231 /proc/meminfo: memFree=1834984/2055920 swapFree=4181976/4192956 [pid=14230] ppid=14228 vsize=27332 CPUtime=1796.16 /proc/14230/stat : 14230 (bsolo) R 14228 14230 13655 0 -1 4194304 4442 0 0 0 179554 62 0 0 25 0 1 0 192003848 27987968 4421 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14230/statm: 6833 4421 198 640 0 6189 0 Current children cumulated CPU time (s) 1796.16 Current children cumulated vsize (KiB) 27332 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14231 /proc/meminfo: memFree=1834984/2055920 swapFree=4181976/4192956 [pid=14230] ppid=14228 vsize=27332 CPUtime=1796.96 /proc/14230/stat : 14230 (bsolo) R 14228 14230 13655 0 -1 4194304 4442 0 0 0 179634 62 0 0 25 0 1 0 192003848 27987968 4421 1992294400 134512640 137136520 4294956256 18446744073709551615 134544434 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14230/statm: 6833 4421 198 640 0 6189 0 Current children cumulated CPU time (s) 1796.96 Current children cumulated vsize (KiB) 27332 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14231 /proc/meminfo: memFree=1834984/2055920 swapFree=4181976/4192956 [pid=14230] ppid=14228 vsize=27332 CPUtime=1797.76 /proc/14230/stat : 14230 (bsolo) R 14228 14230 13655 0 -1 4194304 4442 0 0 0 179714 62 0 0 25 0 1 0 192003848 27987968 4421 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14230/statm: 6833 4421 198 640 0 6189 0 Current children cumulated CPU time (s) 1797.76 Current children cumulated vsize (KiB) 27332 [startup+1798.51 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14231 /proc/meminfo: memFree=1834984/2055920 swapFree=4181976/4192956 [pid=14230] ppid=14228 vsize=27332 CPUtime=1797.97 /proc/14230/stat : 14230 (bsolo) R 14228 14230 13655 0 -1 4194304 4442 0 0 0 179735 62 0 0 25 0 1 0 192003848 27987968 4421 1992294400 134512640 137136520 4294956256 18446744073709551615 134544384 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14230/statm: 6833 4421 198 640 0 6189 0 Current children cumulated CPU time (s) 1797.97 Current children cumulated vsize (KiB) 27332 Child status: 0 Real time (s): 1798.53 CPU time (s): 1798.01 CPU user time (s): 1797.37 CPU system time (s): 0.632903 CPU usage (%): 99.9708 Max. virtual memory (cumulated for all children) (KiB): 27332 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.37 system time used= 0.632903 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4444 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= 3074 runsolver used 1.20982 second user time and 3.87241 second system time The end
Begin job on node38 at 2009-06-17 15:07:47 IDJOB=1879474 IDBENCH=48024 IDSOLVER=701 FILE ID=node38/1879474-1245244067 PBS_JOBID= 9372301 Free space on /tmp= 66232 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=19-P2=137-P3=191-P4=223-B.opb COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1879474-1245244067/watcher-1879474-1245244067 -o /tmp/evaluation-result-1879474-1245244067/solver-1879474-1245244067 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879474-1245244067.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 9b762ab9d310cdc754a8481e0a3342a1 RANDOM SEED=261263517 node38.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: 1853384 kB Buffers: 17468 kB Cached: 111840 kB SwapCached: 4992 kB Active: 28712 kB Inactive: 108712 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1853384 kB SwapTotal: 4192956 kB SwapFree: 4181976 kB Dirty: 3944 kB Writeback: 0 kB Mapped: 14396 kB Slab: 51052 kB Committed_AS: 180200 kB PageTables: 1456 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-1879474-1245244067.opb Free space on /tmp at the end= 66228 MiB End job on node38 at 2009-06-17 15:37:45