Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 | OPT | 3 | 47.3608 | 47.3813 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=173-P1=191-P2=127-P3=113-P4=97-P5=167-B.opb |
MD5SUM | 88214650523f8a2de77e1fd9d134abd8 |
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.55576 |
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 | 120 |
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 | 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) | 320 |
Sum of products size (including duplicates) | 640 |
Number of different products | 320 |
Sum of products size | 640 |
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: Cardinality Constraint 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-1876596-1245187939.opb 0.00/0.00 c File size is 23752 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: 440 Constr: 656 320/0/336 Lit: 2752 Watch. Lit: 1692 0.00/0.00 c Obj. Vars: 8 (1.81818 % of total variables) 0.00/0.00 c Pre-processing Time: 0.007 s 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 0 440 656 2752 4 2364 3690 0 0 0.01 0.00/0.00 c Switching off lower bounding mode. 37.88/37.98 c 102 440 828 9924 11 2779 4060 172 4080 0.03 37.88/37.98 c 253 440 1055 19761 18 3338 4467 399 5382 0.05 37.88/37.98 c 478 440 1325 35862 27 3880 4914 669 6050 0.08 37.88/37.98 c 817 440 1737 61269 35 4824 5406 1081 5920 0.14 37.88/37.98 c 1326 440 2356 98510 41 6201 5947 1700 5790 0.23 37.88/37.98 c 2089 440 3252 157703 48 8175 6542 2596 5107 0.41 37.88/37.98 c 3236 440 4608 241993 52 11135 7197 3952 5032 0.64 37.88/37.98 c 4957 440 6590 360449 54 15433 7917 5934 4066 1.22 37.88/37.98 c 7541 440 5390 284560 52 12551 8709 4734 3810 1.98 37.88/37.98 c 11420 431 5066 269639 53 11676 9580 4410 3500 3.26 37.88/37.98 c 17243 422 7328 308056 42 16883 10539 6672 2705 6.37 37.88/37.98 c 25980 413 10897 661851 60 23349 11593 10241 2678 9.70 37.88/37.98 c 39091 411 8275 459170 55 19350 12753 7619 2121 18.43 37.88/37.98 c 58762 367 11388 735138 64 24835 14029 10732 1693 34.70 37.88/37.98 o 129 38.28/38.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 38.28/38.30 c 64211 367 11988 653066 54 27651 3706 11332 1691 37.96 38.28/38.30 c 64311 367 2689 120075 44 6743 4077 2033 1689 38.07 38.28/38.30 c 64562 367 2991 138810 46 7338 4485 2335 1693 38.12 38.28/38.30 c 65037 367 3501 161029 45 8404 4934 2845 1702 38.20 38.28/38.30 o 17 38.57/38.64 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 38.57/38.64 c 65406 367 3951 184497 46 9391 3706 3295 1708 38.28 38.57/38.64 c 65507 337 4081 189080 46 9691 4077 3425 1709 38.31 38.57/38.64 c 65757 337 4373 201482 46 10320 4485 3717 1713 38.37 38.57/38.64 c 66233 337 4920 225469 45 11494 4934 4264 1721 38.47 38.57/38.64 o 9 38.97/39.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 38.97/39.05 c 66936 336 3143 107609 34 7579 3700 2487 1732 38.63 38.97/39.05 c 67036 336 3245 112972 34 7815 4071 2589 1734 38.66 38.97/39.05 c 67287 336 3543 128219 36 8454 4479 2887 1738 38.70 38.97/39.05 c 67763 336 4115 155403 37 9743 4927 3459 1746 38.81 38.97/39.05 c 68577 326 5058 199829 39 11806 5420 4402 1757 39.02 38.97/39.05 o 3 47.27/47.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 47.27/47.37 c 68615 326 5103 201482 39 11923 3698 4447 1757 39.04 47.27/47.37 c 68715 317 2640 99362 37 6423 4068 1984 1758 39.07 47.27/47.37 c 68966 317 2959 118021 39 7135 4475 2303 1762 39.13 47.27/47.37 c 69442 295 3549 147393 41 8413 4923 2893 1768 39.26 47.27/47.37 c 70255 295 4388 188789 43 10128 5416 3732 1778 39.50 47.27/47.37 c 71576 295 5886 261753 44 13347 5958 5230 1788 40.02 47.27/47.37 c 73659 295 5106 221453 43 11868 6554 4450 1803 40.84 47.27/47.37 c 76883 286 5081 248158 48 11347 7210 4425 1831 41.97 47.27/47.37 c 81820 277 6695 279598 41 14945 7932 6039 1852 44.16 47.27/47.37 v x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 x9 x10 x11 -x12 x13 -x14 x15 -x16 x17 -x18 x19 x20 -x21 -x22 x23 x24 x25 x26 -x27 -x28 -x29 -x30 -x31 -x32 x33 x34 -x35 -x36 -x37 -x38 -x39 -x40 x41 x42 -x43 -x44 x45 x46 x47 -x48 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 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 x169 x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 x49 -x50 x51 -x52 -x53 -x54 -x55 -x56 x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 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 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 x233 -x234 x235 -x236 -x237 -x238 -x239 -x240 x241 -x242 x243 -x244 -x245 -x246 -x247 -x248 x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x89 -x90 x91 -x92 -x93 -x94 -x95 -x96 x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 x65 x66 -x67 -x68 -x69 -x70 -x71 -x72 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 x313 x314 -x315 -x316 -x317 -x318 -x319 -x320 x321 x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 x73 -x74 -x75 x76 -x77 -x78 -x79 -x80 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 x377 -x378 -x379 x380 -x381 -x382 -x383 -x384 x385 -x386 -x387 x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 x409 -x410 -x411 x412 -x413 -x414 -x415 -x416 x417 -x418 -x419 x420 -x421 -x422 -x423 -x424 x425 -x426 -x427 x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x113 -x114 x115 -x116 -x117 -x118 -x119 -x120 47.27/47.37 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 47.27/47.37 c 36 88858 1700 99693 5841 217953 5185 1876 47.36 47.27/47.37 c Objective: 3 47.27/47.37 s OPTIMUM FOUND 47.27/47.37 c Total time: 47.356 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-1876596-1245187939/watcher-1876596-1245187939 -o /tmp/evaluation-result-1876596-1245187939/solver-1876596-1245187939 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1876596-1245187939.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 4559 /proc/meminfo: memFree=1899632/2055920 swapFree=4192956/4192956 [pid=4559] ppid=4557 vsize=10732 CPUtime=0 /proc/4559/stat : 4559 (bsolo) R 4557 4559 3836 0 -1 4194304 251 0 0 0 0 0 0 0 18 0 1 0 3123391 10989568 235 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4559/statm: 2677 240 180 640 0 2033 0 [startup+0.0779329 s] /proc/loadavg: 1.00 1.00 1.00 3/64 4559 /proc/meminfo: memFree=1899632/2055920 swapFree=4192956/4192956 [pid=4559] ppid=4557 vsize=11232 CPUtime=0.07 /proc/4559/stat : 4559 (bsolo) R 4557 4559 3836 0 -1 4194304 428 0 0 0 7 0 0 0 18 0 1 0 3123391 11501568 406 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4559/statm: 2808 406 198 640 0 2164 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 11232 [startup+0.101934 s] /proc/loadavg: 1.00 1.00 1.00 3/64 4559 /proc/meminfo: memFree=1899632/2055920 swapFree=4192956/4192956 [pid=4559] ppid=4557 vsize=11488 CPUtime=0.09 /proc/4559/stat : 4559 (bsolo) R 4557 4559 3836 0 -1 4194304 473 0 0 0 9 0 0 0 18 0 1 0 3123391 11763712 451 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4559/statm: 2872 451 198 640 0 2228 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11488 [startup+0.301964 s] /proc/loadavg: 1.00 1.00 1.00 3/64 4559 /proc/meminfo: memFree=1899632/2055920 swapFree=4192956/4192956 [pid=4559] ppid=4557 vsize=12644 CPUtime=0.29 /proc/4559/stat : 4559 (bsolo) R 4557 4559 3836 0 -1 4194304 754 0 0 0 29 0 0 0 19 0 1 0 3123391 12947456 732 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4559/statm: 3161 732 198 640 0 2517 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12644 [startup+0.70202 s] /proc/loadavg: 1.00 1.00 1.00 3/64 4559 /proc/meminfo: memFree=1899632/2055920 swapFree=4192956/4192956 [pid=4559] ppid=4557 vsize=14560 CPUtime=0.69 /proc/4559/stat : 4559 (bsolo) R 4557 4559 3836 0 -1 4194304 1252 0 0 0 68 1 0 0 22 0 1 0 3123391 14909440 1230 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4559/statm: 3640 1230 198 640 0 2996 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14560 [startup+1.50113 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4560 /proc/meminfo: memFree=1894568/2055920 swapFree=4192956/4192956 [pid=4559] ppid=4557 vsize=16992 CPUtime=1.49 /proc/4559/stat : 4559 (bsolo) R 4557 4559 3836 0 -1 4194304 1850 0 0 0 148 1 0 0 25 0 1 0 3123391 17399808 1828 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4559/statm: 4248 1828 198 640 0 3604 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 16992 [startup+3.10138 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4560 /proc/meminfo: memFree=1891688/2055920 swapFree=4192956/4192956 [pid=4559] ppid=4557 vsize=18276 CPUtime=3.09 /proc/4559/stat : 4559 (bsolo) R 4557 4559 3836 0 -1 4194304 2170 0 0 0 307 2 0 0 25 0 1 0 3123391 18714624 2148 1992294400 134512640 137136520 4294956256 18446744073709551615 136498219 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4559/statm: 4569 2148 198 640 0 3925 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 18276 [startup+6.30183 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4560 /proc/meminfo: memFree=1890856/2055920 swapFree=4192956/4192956 [pid=4559] ppid=4557 vsize=18912 CPUtime=6.28 /proc/4559/stat : 4559 (bsolo) R 4557 4559 3836 0 -1 4194304 2337 0 0 0 625 3 0 0 25 0 1 0 3123391 19365888 2315 1992294400 134512640 137136520 4294956256 18446744073709551615 134544101 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4559/statm: 4728 2315 198 640 0 4084 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 18912 [startup+12.7017 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4560 /proc/meminfo: memFree=1887984/2055920 swapFree=4192956/4192956 [pid=4559] ppid=4557 vsize=22172 CPUtime=12.68 /proc/4559/stat : 4559 (bsolo) R 4557 4559 3836 0 -1 4194304 3157 0 0 0 1263 5 0 0 25 0 1 0 3123391 22704128 3135 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4559/statm: 5543 3135 198 640 0 4899 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 22172 [startup+25.5016 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4560 /proc/meminfo: memFree=1887536/2055920 swapFree=4192956/4192956 [pid=4559] ppid=4557 vsize=22176 CPUtime=25.48 /proc/4559/stat : 4559 (bsolo) R 4557 4559 3836 0 -1 4194304 3158 0 0 0 2541 7 0 0 25 0 1 0 3123391 22708224 3136 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4559/statm: 5544 3136 198 640 0 4900 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 22176 Solver just ended. Dumping a history of the last processes samples [startup+38.3014 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4560 /proc/meminfo: memFree=1885808/2055920 swapFree=4192956/4192956 [pid=4559] ppid=4557 vsize=23948 CPUtime=38.28 /proc/4559/stat : 4559 (bsolo) R 4557 4559 3836 0 -1 4194304 3591 0 0 0 3819 9 0 0 25 0 1 0 3123391 24522752 3569 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4559/statm: 5987 3569 198 640 0 5343 0 Current children cumulated CPU time (s) 38.28 Current children cumulated vsize (KiB) 23948 [startup+41.5019 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4560 /proc/meminfo: memFree=1885808/2055920 swapFree=4192956/4192956 [pid=4559] ppid=4557 vsize=23944 CPUtime=41.47 /proc/4559/stat : 4559 (bsolo) R 4557 4559 3836 0 -1 4194304 3591 0 0 0 4137 10 0 0 25 0 1 0 3123391 24518656 3569 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4559/statm: 5986 3569 198 640 0 5342 0 Current children cumulated CPU time (s) 41.47 Current children cumulated vsize (KiB) 23944 [startup+44.7013 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4560 /proc/meminfo: memFree=1885808/2055920 swapFree=4192956/4192956 [pid=4559] ppid=4557 vsize=23944 CPUtime=44.67 /proc/4559/stat : 4559 (bsolo) R 4557 4559 3836 0 -1 4194304 3591 0 0 0 4456 11 0 0 25 0 1 0 3123391 24518656 3569 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4559/statm: 5986 3569 198 640 0 5342 0 Current children cumulated CPU time (s) 44.67 Current children cumulated vsize (KiB) 23944 [startup+46.3016 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4560 /proc/meminfo: memFree=1885808/2055920 swapFree=4192956/4192956 [pid=4559] ppid=4557 vsize=23944 CPUtime=46.27 /proc/4559/stat : 4559 (bsolo) R 4557 4559 3836 0 -1 4194304 3591 0 0 0 4616 11 0 0 25 0 1 0 3123391 24518656 3569 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4559/statm: 5986 3569 198 640 0 5342 0 Current children cumulated CPU time (s) 46.27 Current children cumulated vsize (KiB) 23944 [startup+47.1017 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4560 /proc/meminfo: memFree=1885808/2055920 swapFree=4192956/4192956 [pid=4559] ppid=4557 vsize=23944 CPUtime=47.07 /proc/4559/stat : 4559 (bsolo) R 4557 4559 3836 0 -1 4194304 3591 0 0 0 4696 11 0 0 25 0 1 0 3123391 24518656 3569 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4559/statm: 5986 3569 198 640 0 5342 0 Current children cumulated CPU time (s) 47.07 Current children cumulated vsize (KiB) 23944 [startup+47.3057 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4560 /proc/meminfo: memFree=1885808/2055920 swapFree=4192956/4192956 [pid=4559] ppid=4557 vsize=23944 CPUtime=47.27 /proc/4559/stat : 4559 (bsolo) R 4557 4559 3836 0 -1 4194304 3591 0 0 0 4716 11 0 0 25 0 1 0 3123391 24518656 3569 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4559/statm: 5986 3569 198 640 0 5342 0 Current children cumulated CPU time (s) 47.27 Current children cumulated vsize (KiB) 23944 Child status: 0 Real time (s): 47.3813 CPU time (s): 47.3608 CPU user time (s): 47.2398 CPU system time (s): 0.120981 CPU usage (%): 99.9568 Max. virtual memory (cumulated for all children) (KiB): 23948 getrusage(RUSAGE_CHILDREN,...) data: user time used= 47.2398 system time used= 0.120981 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3593 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= 62 runsolver used 0.039993 second user time and 0.105983 second system time The end
Begin job on node30 at 2009-06-16 23:32:19 IDJOB=1876596 IDBENCH=48006 IDSOLVER=699 FILE ID=node30/1876596-1245187939 PBS_JOBID= 9363935 Free space on /tmp= 66220 MiB SOLVER NAME= bsolo 3.1 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=173-P1=191-P2=127-P3=113-P4=97-P5=167-B.opb COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1876596-1245187939/watcher-1876596-1245187939 -o /tmp/evaluation-result-1876596-1245187939/solver-1876596-1245187939 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1876596-1245187939.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 88214650523f8a2de77e1fd9d134abd8 RANDOM SEED=1936763439 node30.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.273 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.273 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: 1900120 kB Buffers: 31040 kB Cached: 81840 kB SwapCached: 0 kB Active: 75400 kB Inactive: 50332 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1900120 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3952 kB Writeback: 0 kB Mapped: 22616 kB Slab: 16136 kB Committed_AS: 63924 kB PageTables: 1360 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-1876596-1245187939.opb Free space on /tmp at the end= 66216 MiB End job on node30 at 2009-06-16 23:33:07