Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 pb | OPT | 3 | 416.417 | 416.565 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=7-P0=107-P1=79-P2=47-P3=23-P4=59-P5=43-B.opb |
MD5SUM | f01cd5833b9818ac5549df08f5d7cfc0 |
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 | 5.38818 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3 |
Optimality of the best value was proved | YES |
Number of variables | 105 |
Total number of constraints | 11 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 11 |
Minimum length of a constraint | 7 |
Maximum length of a constraint | 63 |
Number of terms in the objective function | 7 |
Biggest coefficient in the objective function | 64 |
Number of bits for the biggest coefficient in the objective function | 7 |
Sum of the numbers in the objective function | 127 |
Number of bits of the sum of numbers in the objective function | 7 |
Biggest number in a constraint | 8192 |
Number of bits of the biggest number in a constraint | 14 |
Biggest sum of numbers in a constraint | 32512 |
Number of bits of the biggest sum of numbers | 15 |
Number of products (including duplicates) | 245 |
Sum of products size (including duplicates) | 490 |
Number of different products | 245 |
Sum of products size | 490 |
0.00/0.00 c bsolo beta version 3.1 - 13/04/2009 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Learning Strategy: Generic Pseudo-Boolean Learning 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file HOME/instance-1879332-1245243346.opb 0.00/0.00 c File size is 18218 bytes. 0.00/0.00 c Highest Coefficient sum: 32512 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.002 s 0.00/0.00 c Var: 350 Constr: 506 245/0/261 Lit: 2128 Watch. Lit: 1317 0.00/0.00 c Obj. Vars: 7 (2 % of total variables) 0.00/0.00 c Pre-processing Time: 0.006 s 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 0 350 506 2128 4 1825 2867 0 0 0.01 0.00/0.00 c Switching off lower bounding mode. 16.18/16.27 c 102 350 683 10834 15 3638 3154 177 3923 0.03 16.18/16.27 c 253 350 943 23410 24 6400 3470 437 3162 0.08 16.18/16.27 c 479 350 1299 40530 31 8853 3818 793 3601 0.13 16.18/16.27 c 817 350 1896 69290 36 13383 4200 1390 2498 0.33 16.18/16.27 c 1325 350 2841 128368 45 20455 4621 2335 2193 0.60 16.18/16.27 c 2088 350 4180 199928 47 29784 5084 3674 1917 1.09 16.18/16.27 c 3238 350 3534 165820 46 27348 5593 3028 1287 2.52 16.18/16.27 c 4959 350 3764 178823 47 25023 6153 3258 954 5.20 16.18/16.27 c 7544 349 5471 235988 43 41907 6769 4965 659 11.44 16.18/16.27 o 43 31.27/31.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 31.27/31.38 c 9527 349 5588 264366 47 45105 2881 5082 585 16.26 31.27/31.38 c 9627 349 2148 94627 44 20465 3170 1642 586 16.43 31.27/31.38 c 9877 349 2642 124434 47 27033 3488 2136 598 16.51 31.27/31.38 c 10352 349 3558 178669 50 41829 3837 3052 605 17.09 31.27/31.38 c 11166 340 2959 142990 48 25915 4221 2453 619 18.02 31.27/31.38 c 12486 340 3114 142662 45 21652 4644 2608 644 19.37 31.27/31.38 c 14567 340 4567 217546 47 42440 5109 4061 592 24.57 31.27/31.38 c 17790 340 4825 246403 51 33613 5620 4319 603 29.48 31.27/31.38 o 3 416.34/416.56 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 416.34/416.56 c 19564 340 5323 264736 49 52001 2879 4817 623 31.37 416.34/416.56 c 19664 294 2125 90780 42 16298 3167 1619 623 31.55 416.34/416.56 c 19915 294 2619 117895 45 25399 3484 2113 628 31.70 416.34/416.56 c 20390 294 3548 164143 46 39830 3833 3042 634 32.14 416.34/416.56 c 21203 294 2963 128415 43 26508 4217 2457 627 33.77 416.34/416.56 c 22523 294 3276 146534 44 33933 4639 2770 586 38.39 416.34/416.56 c 24605 294 4539 216809 47 32662 5103 4033 603 40.78 416.34/416.56 c 27830 294 5210 253465 48 46177 5614 4704 537 51.80 416.34/416.56 c 32766 294 5164 250006 48 45705 6176 4658 501 65.28 416.34/416.56 c 40273 294 6129 295903 48 59638 6794 5623 392 102.66 416.34/416.56 c 51634 294 5036 245838 48 45103 7474 4530 355 145.10 416.34/416.56 c 68779 293 5101 246213 48 42195 8222 4595 329 208.64 416.34/416.56 c 94600 284 4839 220004 45 51371 9045 4333 279 338.39 416.34/416.56 v x1 x2 -x3 -x4 -x5 -x6 -x7 x8 x9 -x10 x11 -x12 x13 -x14 x15 -x16 x17 x18 -x19 -x20 x21 x22 -x23 x24 -x25 -x26 -x27 -x28 x29 -x30 -x31 -x32 -x33 -x34 x35 x36 -x37 x38 -x39 -x40 x41 -x42 x106 x107 -x108 -x109 -x110 -x111 -x112 x113 x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 x127 x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 x141 x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 x43 -x44 -x45 -x46 -x47 -x48 -x49 x71 -x72 -x73 -x74 -x75 -x76 -x77 x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 x169 -x170 -x171 -x172 -x173 -x174 -x175 x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 x197 -x198 -x199 -x200 -x201 -x202 -x203 x50 -x51 x52 x53 -x54 -x55 x56 -x78 -x79 -x80 -x81 -x82 -x83 -x84 x204 -x205 x206 x207 -x208 -x209 x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 x218 -x219 x220 x221 -x222 -x223 x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 x57 -x58 -x59 -x60 -x61 -x62 -x63 x85 x86 -x87 -x88 -x89 -x90 -x91 x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 x295 -x296 -x297 -x298 -x299 -x300 -x301 x64 -x65 -x66 -x67 -x68 -x69 x70 -x92 -x93 -x94 -x95 -x96 -x97 -x98 x302 -x303 -x304 -x305 -x306 -x307 x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 x316 -x317 -x318 -x319 -x320 -x321 x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 x337 -x338 -x339 -x340 -x341 -x342 x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x99 x100 -x101 -x102 x103 -x104 -x105 416.34/416.56 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 416.34/416.56 c 30 102844 1400 110170 5988 264663 5482 246 416.41 416.34/416.56 c Objective: 3 416.34/416.56 s OPTIMUM FOUND 416.34/416.56 c Total time: 416.413 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-1879332-1245243346/watcher-1879332-1245243346 -o /tmp/evaluation-result-1879332-1245243346/solver-1879332-1245243346 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879332-1245243346.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.02 0.95 3/64 21107 /proc/meminfo: memFree=1294176/2055920 swapFree=4191900/4192956 [pid=21107] ppid=21105 vsize=10712 CPUtime=0 /proc/21107/stat : 21107 (bsolo) R 21105 21107 20896 0 -1 4194304 284 0 0 0 0 0 0 0 18 0 1 0 191935525 10969088 263 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21107/statm: 2678 263 189 640 0 2034 0 [startup+0.0836781 s] /proc/loadavg: 1.00 1.02 0.95 3/64 21107 /proc/meminfo: memFree=1294176/2055920 swapFree=4191900/4192956 [pid=21107] ppid=21105 vsize=11228 CPUtime=0.08 /proc/21107/stat : 21107 (bsolo) R 21105 21107 20896 0 -1 4194304 407 0 0 0 8 0 0 0 18 0 1 0 191935525 11497472 386 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21107/statm: 2807 386 198 640 0 2163 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 11228 [startup+0.101681 s] /proc/loadavg: 1.00 1.02 0.95 3/64 21107 /proc/meminfo: memFree=1294176/2055920 swapFree=4191900/4192956 [pid=21107] ppid=21105 vsize=11360 CPUtime=0.09 /proc/21107/stat : 21107 (bsolo) R 21105 21107 20896 0 -1 4194304 430 0 0 0 9 0 0 0 18 0 1 0 191935525 11632640 409 1992294400 134512640 137136520 4294956256 18446744073709551615 136698750 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21107/statm: 2840 409 198 640 0 2196 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11360 [startup+0.301715 s] /proc/loadavg: 1.00 1.02 0.95 3/64 21107 /proc/meminfo: memFree=1294176/2055920 swapFree=4191900/4192956 [pid=21107] ppid=21105 vsize=12004 CPUtime=0.29 /proc/21107/stat : 21107 (bsolo) R 21105 21107 20896 0 -1 4194304 609 0 0 0 29 0 0 0 19 0 1 0 191935525 12292096 588 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21107/statm: 3001 588 198 640 0 2357 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12004 [startup+0.701787 s] /proc/loadavg: 1.00 1.02 0.95 3/64 21107 /proc/meminfo: memFree=1294176/2055920 swapFree=4191900/4192956 [pid=21107] ppid=21105 vsize=13304 CPUtime=0.69 /proc/21107/stat : 21107 (bsolo) R 21105 21107 20896 0 -1 4194304 946 0 0 0 69 0 0 0 22 0 1 0 191935525 13623296 925 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21107/statm: 3326 926 198 640 0 2682 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13304 [startup+1.50193 s] /proc/loadavg: 1.00 1.02 0.95 2/65 21108 /proc/meminfo: memFree=1290328/2055920 swapFree=4191900/4192956 [pid=21107] ppid=21105 vsize=15256 CPUtime=1.49 /proc/21107/stat : 21107 (bsolo) R 21105 21107 20896 0 -1 4194304 1413 0 0 0 149 0 0 0 25 0 1 0 191935525 15622144 1392 1992294400 134512640 137136520 4294956256 18446744073709551615 134544425 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21107/statm: 3814 1392 198 640 0 3170 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15256 [startup+3.10121 s] /proc/loadavg: 1.00 1.02 0.95 2/65 21108 /proc/meminfo: memFree=1288216/2055920 swapFree=4191900/4192956 [pid=21107] ppid=21105 vsize=16168 CPUtime=3.09 /proc/21107/stat : 21107 (bsolo) R 21105 21107 20896 0 -1 4194304 1657 0 0 0 308 1 0 0 25 0 1 0 191935525 16556032 1636 1992294400 134512640 137136520 4294956256 18446744073709551615 134544431 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21107/statm: 4042 1636 198 640 0 3398 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16168 [startup+6.30177 s] /proc/loadavg: 1.00 1.02 0.95 2/65 21108 /proc/meminfo: memFree=1287832/2055920 swapFree=4191900/4192956 [pid=21107] ppid=21105 vsize=16300 CPUtime=6.28 /proc/21107/stat : 21107 (bsolo) R 21105 21107 20896 0 -1 4194304 1693 0 0 0 627 1 0 0 25 0 1 0 191935525 16691200 1672 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21107/statm: 4075 1672 198 640 0 3431 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 16300 [startup+12.7019 s] /proc/loadavg: 1.00 1.02 0.95 2/65 21108 /proc/meminfo: memFree=1287640/2055920 swapFree=4191900/4192956 [pid=21107] ppid=21105 vsize=16560 CPUtime=12.69 /proc/21107/stat : 21107 (bsolo) R 21105 21107 20896 0 -1 4194304 1739 0 0 0 1267 2 0 0 25 0 1 0 191935525 16957440 1718 1992294400 134512640 137136520 4294956256 18446744073709551615 134559005 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21107/statm: 4140 1718 198 640 0 3496 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 16560 [startup+25.5011 s] /proc/loadavg: 1.00 1.02 0.95 2/65 21108 /proc/meminfo: memFree=1287064/2055920 swapFree=4191900/4192956 [pid=21107] ppid=21105 vsize=17084 CPUtime=25.48 /proc/21107/stat : 21107 (bsolo) R 21105 21107 20896 0 -1 4194304 1867 0 0 0 2545 3 0 0 25 0 1 0 191935525 17494016 1846 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21107/statm: 4271 1846 198 640 0 3627 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 17084 [startup+51.1016 s] /proc/loadavg: 1.00 1.01 0.95 2/65 21108 /proc/meminfo: memFree=1287128/2055920 swapFree=4191900/4192956 [pid=21107] ppid=21105 vsize=17084 CPUtime=51.07 /proc/21107/stat : 21107 (bsolo) R 21105 21107 20896 0 -1 4194304 1867 0 0 0 5102 5 0 0 25 0 1 0 191935525 17494016 1846 1992294400 134512640 137136520 4294956256 18446744073709551615 134544256 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21107/statm: 4271 1846 198 640 0 3627 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 17084 [startup+102.306 s] /proc/loadavg: 1.00 1.01 0.95 2/65 21108 /proc/meminfo: memFree=1285976/2055920 swapFree=4191900/4192956 [pid=21107] ppid=21105 vsize=18228 CPUtime=102.25 /proc/21107/stat : 21107 (bsolo) R 21105 21107 20896 0 -1 4194304 2152 0 0 0 10218 7 0 0 25 0 1 0 191935525 18665472 2131 1992294400 134512640 137136520 4294956256 18446744073709551615 134544101 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21107/statm: 4557 2131 198 640 0 3913 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 18228 [startup+162.301 s] /proc/loadavg: 1.00 1.00 0.95 2/65 21108 /proc/meminfo: memFree=1284248/2055920 swapFree=4191900/4192956 [pid=21107] ppid=21105 vsize=19928 CPUtime=162.23 /proc/21107/stat : 21107 (bsolo) R 21105 21107 20896 0 -1 4194304 2580 0 0 0 16212 11 0 0 25 0 1 0 191935525 20406272 2559 1992294400 134512640 137136520 4294956256 18446744073709551615 135982505 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21107/statm: 4982 2559 198 640 0 4338 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 19928 [startup+222.302 s] /proc/loadavg: 1.00 1.00 0.95 2/65 21108 /proc/meminfo: memFree=1284248/2055920 swapFree=4191900/4192956 [pid=21107] ppid=21105 vsize=19928 CPUtime=222.21 /proc/21107/stat : 21107 (bsolo) R 21105 21107 20896 0 -1 4194304 2580 0 0 0 22207 14 0 0 25 0 1 0 191935525 20406272 2559 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21107/statm: 4982 2559 198 640 0 4338 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 19928 [startup+282.301 s] /proc/loadavg: 1.00 1.00 0.95 2/65 21108 /proc/meminfo: memFree=1284312/2055920 swapFree=4191900/4192956 [pid=21107] ppid=21105 vsize=19928 CPUtime=282.2 /proc/21107/stat : 21107 (bsolo) R 21105 21107 20896 0 -1 4194304 2580 0 0 0 28202 18 0 0 25 0 1 0 191935525 20406272 2559 1992294400 134512640 137136520 4294956256 18446744073709551615 136518953 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21107/statm: 4982 2559 198 640 0 4338 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 19928 [startup+342.303 s] /proc/loadavg: 1.00 1.00 0.95 2/65 21114 /proc/meminfo: memFree=1284248/2055920 swapFree=4191900/4192956 [pid=21107] ppid=21105 vsize=19928 CPUtime=342.16 /proc/21107/stat : 21107 (bsolo) R 21105 21107 20896 0 -1 4194304 2580 0 0 0 34197 19 0 0 25 0 1 0 191935525 20406272 2559 1992294400 134512640 137136520 4294956256 18446744073709551615 134543881 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21107/statm: 4982 2559 198 640 0 4338 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 19928 [startup+402.301 s] /proc/loadavg: 1.00 1.00 0.95 2/65 21114 /proc/meminfo: memFree=1282648/2055920 swapFree=4191900/4192956 [pid=21107] ppid=21105 vsize=21492 CPUtime=402.15 /proc/21107/stat : 21107 (bsolo) R 21105 21107 20896 0 -1 4194304 2986 0 0 0 40193 22 0 0 25 0 1 0 191935525 22007808 2965 1992294400 134512640 137136520 4294956256 18446744073709551615 134544425 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21107/statm: 5373 2965 198 640 0 4729 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 21492 Solver just ended. Dumping a history of the last processes samples [startup+409.501 s] /proc/loadavg: 1.00 1.00 0.95 2/65 21114 /proc/meminfo: memFree=1282648/2055920 swapFree=4191900/4192956 [pid=21107] ppid=21105 vsize=21492 CPUtime=409.35 /proc/21107/stat : 21107 (bsolo) R 21105 21107 20896 0 -1 4194304 2986 0 0 0 40913 22 0 0 25 0 1 0 191935525 22007808 2965 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21107/statm: 5373 2965 198 640 0 4729 0 Current children cumulated CPU time (s) 409.35 Current children cumulated vsize (KiB) 21492 [startup+412.702 s] /proc/loadavg: 1.00 1.00 0.95 2/65 21114 /proc/meminfo: memFree=1282648/2055920 swapFree=4191900/4192956 [pid=21107] ppid=21105 vsize=21492 CPUtime=412.55 /proc/21107/stat : 21107 (bsolo) R 21105 21107 20896 0 -1 4194304 2986 0 0 0 41233 22 0 0 25 0 1 0 191935525 22007808 2965 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21107/statm: 5373 2965 198 640 0 4729 0 Current children cumulated CPU time (s) 412.55 Current children cumulated vsize (KiB) 21492 [startup+414.301 s] /proc/loadavg: 1.00 1.00 0.95 2/65 21114 /proc/meminfo: memFree=1282648/2055920 swapFree=4191900/4192956 [pid=21107] ppid=21105 vsize=21492 CPUtime=414.14 /proc/21107/stat : 21107 (bsolo) R 21105 21107 20896 0 -1 4194304 2986 0 0 0 41392 22 0 0 25 0 1 0 191935525 22007808 2965 1992294400 134512640 137136520 4294956256 18446744073709551615 134544122 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21107/statm: 5373 2965 198 640 0 4729 0 Current children cumulated CPU time (s) 414.14 Current children cumulated vsize (KiB) 21492 [startup+415.902 s] /proc/loadavg: 1.00 1.00 0.95 2/65 21114 /proc/meminfo: memFree=1282648/2055920 swapFree=4191900/4192956 [pid=21107] ppid=21105 vsize=21492 CPUtime=415.74 /proc/21107/stat : 21107 (bsolo) R 21105 21107 20896 0 -1 4194304 2986 0 0 0 41552 22 0 0 25 0 1 0 191935525 22007808 2965 1992294400 134512640 137136520 4294956256 18446744073709551615 134543881 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21107/statm: 5373 2965 198 640 0 4729 0 Current children cumulated CPU time (s) 415.74 Current children cumulated vsize (KiB) 21492 [startup+416.302 s] /proc/loadavg: 1.00 1.00 0.95 2/65 21114 /proc/meminfo: memFree=1282648/2055920 swapFree=4191900/4192956 [pid=21107] ppid=21105 vsize=21492 CPUtime=416.14 /proc/21107/stat : 21107 (bsolo) R 21105 21107 20896 0 -1 4194304 2986 0 0 0 41592 22 0 0 25 0 1 0 191935525 22007808 2965 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21107/statm: 5373 2965 198 640 0 4729 0 Current children cumulated CPU time (s) 416.14 Current children cumulated vsize (KiB) 21492 [startup+416.502 s] /proc/loadavg: 1.00 1.00 0.95 2/65 21114 /proc/meminfo: memFree=1282648/2055920 swapFree=4191900/4192956 [pid=21107] ppid=21105 vsize=21492 CPUtime=416.34 /proc/21107/stat : 21107 (bsolo) R 21105 21107 20896 0 -1 4194304 2986 0 0 0 41612 22 0 0 25 0 1 0 191935525 22007808 2965 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21107/statm: 5373 2965 198 640 0 4729 0 Current children cumulated CPU time (s) 416.34 Current children cumulated vsize (KiB) 21492 Child status: 0 Real time (s): 416.565 CPU time (s): 416.417 CPU user time (s): 416.187 CPU system time (s): 0.229965 CPU usage (%): 99.9644 Max. virtual memory (cumulated for all children) (KiB): 21492 getrusage(RUSAGE_CHILDREN,...) data: user time used= 416.187 system time used= 0.229965 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2988 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= 680 runsolver used 0.38994 second user time and 0.765883 second system time The end
Begin job on node4 at 2009-06-17 14:55:46 IDJOB=1879332 IDBENCH=47882 IDSOLVER=701 FILE ID=node4/1879332-1245243346 PBS_JOBID= 9372332 Free space on /tmp= 66408 MiB SOLVER NAME= bsolo 3.1 pb BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=7-P0=107-P1=79-P2=47-P3=23-P4=59-P5=43-B.opb COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1879332-1245243346/watcher-1879332-1245243346 -o /tmp/evaluation-result-1879332-1245243346/solver-1879332-1245243346 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879332-1245243346.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= f01cd5833b9818ac5549df08f5d7cfc0 RANDOM SEED=1521044102 node4.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.259 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.259 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: 1294592 kB Buffers: 74020 kB Cached: 588856 kB SwapCached: 260 kB Active: 103128 kB Inactive: 573080 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1294592 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 3948 kB Writeback: 0 kB Mapped: 21804 kB Slab: 71100 kB Committed_AS: 162216 kB PageTables: 1472 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-1879332-1245243346.opb Free space on /tmp at the end= 66404 MiB End job on node4 at 2009-06-17 15:02:43