Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 cl | OPT | 3 | 78.606 | 78.6323 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=191-P1=151-P2=41-P3=257-P4=191-B.opb |
MD5SUM | e04f59e7146720276551350f74bab120 |
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 | 1.80073 |
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: 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-1877993-1245187404.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.003 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. 4.69/4.75 c 102 352 627 8301 13 2067 3244 102 6375 0.02 4.69/4.75 c 252 352 777 21228 27 2360 3569 252 7636 0.03 4.69/4.75 c 477 352 1002 36711 36 2760 3926 477 8084 0.06 4.69/4.75 c 816 352 1341 59343 44 3439 4319 816 8412 0.10 4.69/4.75 c 1325 352 1850 97876 52 4421 4751 1325 7485 0.18 4.69/4.75 c 2089 352 2614 145306 55 5977 5227 2089 7105 0.29 4.69/4.75 c 3236 352 3761 217065 57 8282 5750 3236 6140 0.53 4.69/4.75 c 4957 352 5482 327648 59 11732 6326 4957 5174 0.96 4.69/4.75 c 7542 352 4664 274237 58 10082 6959 4139 5155 1.46 4.69/4.75 c 11422 352 4774 298018 62 10327 7655 4249 4435 2.58 4.69/4.75 c 17244 352 6714 367501 54 14166 8421 6189 3702 4.66 4.69/4.75 o 3 78.57/78.63 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 78.57/78.63 c 17896 352 7367 412453 55 15528 2965 6842 3762 4.76 78.57/78.63 c 17997 343 2110 101143 47 5011 3262 1585 3741 4.81 78.57/78.63 c 18247 343 2360 115487 48 5486 3589 1835 3762 4.85 78.57/78.63 c 18722 343 2835 143350 50 6443 3948 2310 3792 4.94 78.57/78.63 c 19535 343 3648 194147 53 8073 4343 3123 3840 5.09 78.57/78.63 c 20857 343 2699 143181 53 6190 4778 2174 3787 5.51 78.57/78.63 c 22939 343 4781 279491 58 10342 5256 4256 3867 5.93 78.57/78.63 c 26163 343 5307 285781 53 11380 5782 4782 3852 6.79 78.57/78.63 c 31100 334 3975 214284 53 8691 6361 3450 3879 8.02 78.57/78.63 c 38606 334 4886 284736 58 10505 6998 4361 3515 10.98 78.57/78.63 c 49968 280 5295 290965 54 11372 7698 4770 3559 14.04 78.57/78.63 c 67112 280 6352 376861 59 13481 8468 5827 2845 23.59 78.57/78.63 c 92932 280 5531 293800 53 11755 9315 5006 2542 36.55 78.57/78.63 c 131764 279 5193 268542 51 11102 10247 4668 2425 54.33 78.57/78.63 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 78.57/78.63 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 78.57/78.63 c 25 169290 1888 178018 5995 322433 5470 2153 78.60 78.57/78.63 c Objective: 3 78.57/78.63 s OPTIMUM FOUND 78.57/78.63 c Total time: 78.603 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-1877993-1245187404/watcher-1877993-1245187404 -o /tmp/evaluation-result-1877993-1245187404/solver-1877993-1245187404 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1877993-1245187404.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 9183 /proc/meminfo: memFree=1844760/2055920 swapFree=4191900/4192956 [pid=9183] ppid=9181 vsize=10712 CPUtime=0 /proc/9183/stat : 9183 (bsolo) R 9181 9183 8666 0 -1 4194304 281 0 0 0 0 0 0 0 18 0 1 0 186337610 10969088 260 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9183/statm: 2678 260 188 640 0 2034 0 [startup+0.0609391 s] /proc/loadavg: 1.00 1.00 1.00 3/64 9183 /proc/meminfo: memFree=1844760/2055920 swapFree=4191900/4192956 [pid=9183] ppid=9181 vsize=11228 CPUtime=0.05 /proc/9183/stat : 9183 (bsolo) R 9181 9183 8666 0 -1 4194304 416 0 0 0 5 0 0 0 18 0 1 0 186337610 11497472 395 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9183/statm: 2807 396 196 640 0 2163 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 11228 [startup+0.101942 s] /proc/loadavg: 1.00 1.00 1.00 3/64 9183 /proc/meminfo: memFree=1844760/2055920 swapFree=4191900/4192956 [pid=9183] ppid=9181 vsize=11616 CPUtime=0.09 /proc/9183/stat : 9183 (bsolo) R 9181 9183 8666 0 -1 4194304 502 0 0 0 9 0 0 0 18 0 1 0 186337610 11894784 481 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9183/statm: 2904 481 196 640 0 2260 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11616 [startup+0.301963 s] /proc/loadavg: 1.00 1.00 1.00 3/64 9183 /proc/meminfo: memFree=1844760/2055920 swapFree=4191900/4192956 [pid=9183] ppid=9181 vsize=12892 CPUtime=0.29 /proc/9183/stat : 9183 (bsolo) R 9181 9183 8666 0 -1 4194304 814 0 0 0 29 0 0 0 19 0 1 0 186337610 13201408 793 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9183/statm: 3223 793 196 640 0 2579 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12892 [startup+0.702007 s] /proc/loadavg: 1.00 1.00 1.00 3/64 9183 /proc/meminfo: memFree=1844760/2055920 swapFree=4191900/4192956 [pid=9183] ppid=9181 vsize=14544 CPUtime=0.69 /proc/9183/stat : 9183 (bsolo) R 9181 9183 8666 0 -1 4194304 1234 0 0 0 69 0 0 0 23 0 1 0 186337610 14893056 1213 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9183/statm: 3636 1213 196 640 0 2992 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14544 [startup+1.50109 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9184 /proc/meminfo: memFree=1839568/2055920 swapFree=4191900/4192956 [pid=9183] ppid=9181 vsize=17092 CPUtime=1.49 /proc/9183/stat : 9183 (bsolo) R 9181 9183 8666 0 -1 4194304 1877 0 0 0 149 0 0 0 25 0 1 0 186337610 17502208 1856 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9183/statm: 4273 1856 196 640 0 3629 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 17092 [startup+3.10126 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9184 /proc/meminfo: memFree=1837840/2055920 swapFree=4191900/4192956 [pid=9183] ppid=9181 vsize=17864 CPUtime=3.09 /proc/9183/stat : 9183 (bsolo) R 9181 9183 8666 0 -1 4194304 2082 0 0 0 307 2 0 0 25 0 1 0 186337610 18292736 2061 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9183/statm: 4466 2061 196 640 0 3822 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17864 [startup+6.30161 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9184 /proc/meminfo: memFree=1837008/2055920 swapFree=4191900/4192956 [pid=9183] ppid=9181 vsize=17996 CPUtime=6.29 /proc/9183/stat : 9183 (bsolo) R 9181 9183 8666 0 -1 4194304 2119 0 0 0 626 3 0 0 25 0 1 0 186337610 18427904 2098 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9183/statm: 4499 2098 197 640 0 3855 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 17996 [startup+12.7013 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9184 /proc/meminfo: memFree=1836944/2055920 swapFree=4191900/4192956 [pid=9183] ppid=9181 vsize=17996 CPUtime=12.68 /proc/9183/stat : 9183 (bsolo) R 9181 9183 8666 0 -1 4194304 2119 0 0 0 1264 4 0 0 25 0 1 0 186337610 18427904 2098 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9183/statm: 4499 2098 197 640 0 3855 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 17996 [startup+25.5017 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9184 /proc/meminfo: memFree=1836112/2055920 swapFree=4191900/4192956 [pid=9183] ppid=9181 vsize=18876 CPUtime=25.48 /proc/9183/stat : 9183 (bsolo) R 9181 9183 8666 0 -1 4194304 2333 0 0 0 2541 7 0 0 25 0 1 0 186337610 19329024 2312 1992294400 134512640 137136520 4294956256 18446744073709551615 136503524 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9183/statm: 4719 2312 197 640 0 4075 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 18876 [startup+51.1015 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9184 /proc/meminfo: memFree=1835024/2055920 swapFree=4191900/4192956 [pid=9183] ppid=9181 vsize=19976 CPUtime=51.07 /proc/9183/stat : 9183 (bsolo) R 9181 9183 8666 0 -1 4194304 2596 0 0 0 5094 13 0 0 25 0 1 0 186337610 20455424 2575 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9183/statm: 4994 2575 197 640 0 4350 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 19976 Solver just ended. Dumping a history of the last processes samples [startup+63.9018 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9184 /proc/meminfo: memFree=1835024/2055920 swapFree=4191900/4192956 [pid=9183] ppid=9181 vsize=19980 CPUtime=63.87 /proc/9183/stat : 9183 (bsolo) R 9181 9183 8666 0 -1 4194304 2597 0 0 0 6372 15 0 0 25 0 1 0 186337610 20459520 2576 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9183/statm: 4995 2576 197 640 0 4351 0 Current children cumulated CPU time (s) 63.87 Current children cumulated vsize (KiB) 19980 [startup+70.3015 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9184 /proc/meminfo: memFree=1834448/2055920 swapFree=4191900/4192956 [pid=9183] ppid=9181 vsize=20480 CPUtime=70.27 /proc/9183/stat : 9183 (bsolo) R 9181 9183 8666 0 -1 4194304 2738 0 0 0 7010 17 0 0 25 0 1 0 186337610 20971520 2717 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9183/statm: 5120 2717 197 640 0 4476 0 Current children cumulated CPU time (s) 70.27 Current children cumulated vsize (KiB) 20480 [startup+73.5019 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9184 /proc/meminfo: memFree=1834448/2055920 swapFree=4191900/4192956 [pid=9183] ppid=9181 vsize=20480 CPUtime=73.46 /proc/9183/stat : 9183 (bsolo) R 9181 9183 8666 0 -1 4194304 2738 0 0 0 7329 17 0 0 25 0 1 0 186337610 20971520 2717 1992294400 134512640 137136520 4294956256 18446744073709551615 134544573 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9183/statm: 5120 2717 197 640 0 4476 0 Current children cumulated CPU time (s) 73.46 Current children cumulated vsize (KiB) 20480 [startup+76.7012 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9184 /proc/meminfo: memFree=1834448/2055920 swapFree=4191900/4192956 [pid=9183] ppid=9181 vsize=20480 CPUtime=76.66 /proc/9183/stat : 9183 (bsolo) R 9181 9183 8666 0 -1 4194304 2738 0 0 0 7648 18 0 0 25 0 1 0 186337610 20971520 2717 1992294400 134512640 137136520 4294956256 18446744073709551615 136503150 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9183/statm: 5120 2717 197 640 0 4476 0 Current children cumulated CPU time (s) 76.66 Current children cumulated vsize (KiB) 20480 [startup+77.5013 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9184 /proc/meminfo: memFree=1834448/2055920 swapFree=4191900/4192956 [pid=9183] ppid=9181 vsize=20480 CPUtime=77.46 /proc/9183/stat : 9183 (bsolo) R 9181 9183 8666 0 -1 4194304 2738 0 0 0 7728 18 0 0 25 0 1 0 186337610 20971520 2717 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9183/statm: 5120 2717 197 640 0 4476 0 Current children cumulated CPU time (s) 77.46 Current children cumulated vsize (KiB) 20480 [startup+78.3014 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9184 /proc/meminfo: memFree=1834448/2055920 swapFree=4191900/4192956 [pid=9183] ppid=9181 vsize=20480 CPUtime=78.26 /proc/9183/stat : 9183 (bsolo) R 9181 9183 8666 0 -1 4194304 2738 0 0 0 7808 18 0 0 25 0 1 0 186337610 20971520 2717 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9183/statm: 5120 2717 197 640 0 4476 0 Current children cumulated CPU time (s) 78.26 Current children cumulated vsize (KiB) 20480 [startup+78.5014 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9184 /proc/meminfo: memFree=1834448/2055920 swapFree=4191900/4192956 [pid=9183] ppid=9181 vsize=20480 CPUtime=78.46 /proc/9183/stat : 9183 (bsolo) R 9181 9183 8666 0 -1 4194304 2738 0 0 0 7828 18 0 0 25 0 1 0 186337610 20971520 2717 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9183/statm: 5120 2717 197 640 0 4476 0 Current children cumulated CPU time (s) 78.46 Current children cumulated vsize (KiB) 20480 [startup+78.6014 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9184 /proc/meminfo: memFree=1834448/2055920 swapFree=4191900/4192956 [pid=9183] ppid=9181 vsize=20480 CPUtime=78.57 /proc/9183/stat : 9183 (bsolo) R 9181 9183 8666 0 -1 4194304 2738 0 0 0 7838 19 0 0 25 0 1 0 186337610 20971520 2717 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9183/statm: 5120 2717 197 640 0 4476 0 Current children cumulated CPU time (s) 78.57 Current children cumulated vsize (KiB) 20480 Child status: 0 Real time (s): 78.6323 CPU time (s): 78.606 CPU user time (s): 78.4131 CPU system time (s): 0.19297 CPU usage (%): 99.9666 Max. virtual memory (cumulated for all children) (KiB): 20480 getrusage(RUSAGE_CHILDREN,...) data: user time used= 78.4131 system time used= 0.19297 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2740 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= 144 runsolver used 0.058991 second user time and 0.185971 second system time The end
Begin job on node37 at 2009-06-16 23:23:24 IDJOB=1877993 IDBENCH=47973 IDSOLVER=700 FILE ID=node37/1877993-1245187404 PBS_JOBID= 9363943 Free space on /tmp= 66168 MiB SOLVER NAME= bsolo 3.1 cl BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=191-P1=151-P2=41-P3=257-P4=191-B.opb COMMAND LINE= bsolo -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1877993-1245187404/watcher-1877993-1245187404 -o /tmp/evaluation-result-1877993-1245187404/solver-1877993-1245187404 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1877993-1245187404.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= e04f59e7146720276551350f74bab120 RANDOM SEED=1488382469 node37.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: 1845240 kB Buffers: 43128 kB Cached: 90436 kB SwapCached: 260 kB Active: 47060 kB Inactive: 99812 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1845240 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 4176 kB Writeback: 0 kB Mapped: 21812 kB Slab: 49908 kB Committed_AS: 169792 kB PageTables: 1384 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-1877993-1245187404.opb Free space on /tmp at the end= 66164 MiB End job on node37 at 2009-06-16 23:24:43