Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 pb | OPT | 3 | 174.064 | 174.164 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=6-P0=41-P1=53-P2=67-P3=59-P4=53-P5=61-P6=29-P7=29-P8=17-B.opb |
MD5SUM | f3f9a9130af59a7746b19fdd52967c7b |
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 | 6.64199 |
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 | 144 |
Total number of constraints | 17 |
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 | 17 |
Minimum length of a constraint | 6 |
Maximum length of a constraint | 48 |
Number of terms in the objective function | 6 |
Biggest coefficient in the objective function | 32 |
Number of bits for the biggest coefficient in the objective function | 6 |
Sum of the numbers in the objective function | 63 |
Number of bits of the sum of numbers in the objective function | 6 |
Biggest number in a constraint | 2048 |
Number of bits of the biggest number in a constraint | 12 |
Biggest sum of numbers in a constraint | 8064 |
Number of bits of the biggest sum of numbers | 13 |
Number of products (including duplicates) | 288 |
Sum of products size (including duplicates) | 576 |
Number of different products | 288 |
Sum of products size | 576 |
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-1879368-1245243538.opb 0.00/0.00 c File size is 21533 bytes. 0.00/0.00 c Highest Coefficient sum: 8064 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: 432 Constr: 601 288/0/313 Lit: 2538 Watch. Lit: 1586 0.00/0.00 c Obj. Vars: 6 (1.38889 % 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 432 601 2538 4 2172 3443 0 0 0.01 0.00/0.00 c Switching off lower bounding mode. 2.58/2.62 c 101 432 785 9117 11 3700 3788 184 5050 0.02 2.58/2.62 c 252 432 1055 26353 24 5466 4167 454 3150 0.08 2.58/2.62 c 477 432 1495 43121 28 9214 4584 894 3481 0.14 2.58/2.62 c 816 432 2114 68770 32 14162 5043 1513 3290 0.25 2.58/2.62 c 1326 432 3083 102598 33 20956 5548 2482 2630 0.50 2.58/2.62 c 2092 432 4518 187923 41 32681 6103 3917 2143 0.98 2.58/2.62 c 3240 431 6537 271574 41 42834 6714 5936 1665 1.95 2.58/2.62 o 43 16.68/16.78 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 16.68/16.78 c 4296 431 5098 201219 39 34500 3455 4497 1639 2.62 16.68/16.78 c 4396 431 2519 82359 32 15119 3801 1918 1645 2.67 16.68/16.78 c 4646 431 3003 112997 37 20335 4182 2402 1675 2.77 16.68/16.78 c 5122 431 3894 156369 40 26281 4601 3293 1636 3.13 16.68/16.78 c 5936 431 2905 118291 40 14847 5062 2304 1541 3.85 16.68/16.78 c 7257 431 5364 212982 39 28916 5569 4763 1387 5.23 16.68/16.78 c 9338 431 5946 228194 38 28545 6126 5345 1424 6.55 16.68/16.78 c 12561 431 5441 224314 41 42793 6739 4840 1182 10.62 16.68/16.78 c 17497 431 7105 321985 45 35550 7413 6504 1091 16.03 16.68/16.78 o 13 22.68/22.78 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 22.68/22.78 c 18193 430 4311 181797 42 20757 3455 3710 1079 16.86 22.68/22.78 c 18293 414 2513 87656 34 13919 3801 1912 1081 16.91 22.68/22.78 c 18543 414 2935 103497 35 15756 4182 2334 1092 16.98 22.68/22.78 c 19019 414 3743 136221 36 20987 4601 3142 1109 17.15 22.68/22.78 c 19833 414 2909 106537 36 14372 5062 2308 1125 17.62 22.68/22.78 c 21153 414 5372 213892 39 33611 5569 4771 1137 18.59 22.68/22.78 c 23235 414 3440 116423 33 24692 6126 2839 1051 22.10 22.68/22.78 o 11 28.78/28.82 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 28.78/28.82 c 24238 414 5332 190826 35 35584 3451 4731 1064 22.77 28.78/28.82 c 24339 414 2502 75711 30 13512 3797 1901 1063 22.88 28.78/28.82 c 24589 414 2913 92289 31 16420 4177 2312 1068 23.01 28.78/28.82 c 25064 414 3810 130693 34 22845 4595 3209 1080 23.20 28.78/28.82 c 25877 414 2906 95711 32 16393 5055 2305 1092 23.68 28.78/28.82 c 27198 414 5207 188726 36 31167 5561 4606 1117 24.34 28.78/28.82 c 29279 414 6080 228444 37 39871 6118 5479 1088 26.90 28.78/28.82 o 3 173.99/174.16 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 173.99/174.16 c 31454 414 3667 123024 33 21734 3451 3066 1089 28.87 173.99/174.16 c 31555 389 3861 130757 33 23565 3797 3260 1090 28.93 173.99/174.16 c 31806 388 4334 150963 34 26714 4177 3733 1095 29.03 173.99/174.16 c 32281 388 3062 99006 32 20384 4595 2461 1099 29.36 173.99/174.16 c 33094 388 4503 155194 34 28609 5055 3902 1093 30.26 173.99/174.16 c 34414 388 4278 143765 33 25038 5561 3677 1065 32.30 173.99/174.16 c 36495 388 4948 194437 39 25010 6118 4347 1070 34.10 173.99/174.16 c 39718 388 4500 150944 33 31222 6730 3899 1050 37.80 173.99/174.16 c 44654 388 6783 294537 43 50420 7404 6182 871 51.22 173.99/174.16 c 52160 387 4675 164928 35 28125 8145 4074 823 63.31 173.99/174.16 c 63523 382 8504 319159 37 63700 8960 7903 776 81.83 173.99/174.16 c 80667 382 5729 197590 34 32680 9857 5128 636 126.77 173.99/174.16 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 x49 -x50 x51 -x52 -x53 -x54 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 x55 -x56 -x57 -x58 -x59 -x60 -x97 x98 -x99 -x100 -x101 -x102 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 x61 -x62 x63 -x64 -x65 -x66 -x103 -x104 -x105 -x106 -x107 -x108 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 x67 -x68 -x69 -x70 -x71 -x72 x109 -x110 -x111 -x112 -x113 -x114 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 x73 x74 -x75 -x76 -x77 -x78 -x115 -x116 -x117 -x118 -x119 -x120 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 x79 x80 -x81 x82 x83 -x84 -x121 -x122 -x123 -x124 -x125 -x126 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 x85 -x86 x87 -x88 -x89 -x90 x127 -x128 x129 x130 -x131 -x132 x361 -x362 x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 x373 -x374 x375 -x376 -x377 -x378 x379 -x380 x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 x91 -x92 -x93 -x94 -x95 -x96 x133 -x134 -x135 -x136 -x137 -x138 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 -x139 -x140 -x141 -x142 -x143 -x144 173.99/174.16 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 173.99/174.16 c 42 98780 2900 113211 7250 244825 6649 567 174.06 173.99/174.16 c Objective: 3 173.99/174.16 s OPTIMUM FOUND 173.99/174.16 c Total time: 174.061 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-1879368-1245243538/watcher-1879368-1245243538 -o /tmp/evaluation-result-1879368-1245243538/solver-1879368-1245243538 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879368-1245243538.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: 0.92 0.98 0.99 3/65 7550 /proc/meminfo: memFree=1732528/2055920 swapFree=4169972/4192956 [pid=7550] ppid=7548 vsize=10712 CPUtime=0 /proc/7550/stat : 7550 (bsolo) R 7548 7550 7286 0 -1 4194304 290 0 0 0 0 0 0 0 18 0 1 0 191952454 10969088 268 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7550/statm: 2711 269 188 640 0 2067 0 [startup+0.030105 s] /proc/loadavg: 0.92 0.98 0.99 3/65 7550 /proc/meminfo: memFree=1732528/2055920 swapFree=4169972/4192956 [pid=7550] ppid=7548 vsize=10972 CPUtime=0.02 /proc/7550/stat : 7550 (bsolo) R 7548 7550 7286 0 -1 4194304 348 0 0 0 2 0 0 0 18 0 1 0 191952454 11235328 326 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7550/statm: 2743 326 198 640 0 2099 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 10972 [startup+0.101111 s] /proc/loadavg: 0.92 0.98 0.99 3/65 7550 /proc/meminfo: memFree=1732528/2055920 swapFree=4169972/4192956 [pid=7550] ppid=7548 vsize=11364 CPUtime=0.09 /proc/7550/stat : 7550 (bsolo) R 7548 7550 7286 0 -1 4194304 445 0 0 0 9 0 0 0 18 0 1 0 191952454 11636736 423 1992294400 134512640 137136520 4294956256 18446744073709551615 134573409 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7550/statm: 2841 423 198 640 0 2197 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11364 [startup+0.301131 s] /proc/loadavg: 0.92 0.98 0.99 3/65 7550 /proc/meminfo: memFree=1732528/2055920 swapFree=4169972/4192956 [pid=7550] ppid=7548 vsize=12268 CPUtime=0.29 /proc/7550/stat : 7550 (bsolo) R 7548 7550 7286 0 -1 4194304 667 0 0 0 29 0 0 0 19 0 1 0 191952454 12562432 645 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7550/statm: 3067 645 198 640 0 2423 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12268 [startup+0.701171 s] /proc/loadavg: 0.92 0.98 0.99 3/65 7550 /proc/meminfo: memFree=1732528/2055920 swapFree=4169972/4192956 [pid=7550] ppid=7548 vsize=13300 CPUtime=0.69 /proc/7550/stat : 7550 (bsolo) R 7548 7550 7286 0 -1 4194304 941 0 0 0 69 0 0 0 23 0 1 0 191952454 13619200 919 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7550/statm: 3325 919 198 640 0 2681 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13300 [startup+1.50125 s] /proc/loadavg: 0.92 0.98 0.99 2/66 7551 /proc/meminfo: memFree=1728488/2055920 swapFree=4169972/4192956 [pid=7550] ppid=7548 vsize=15132 CPUtime=1.49 /proc/7550/stat : 7550 (bsolo) R 7548 7550 7286 0 -1 4194304 1382 0 0 0 149 0 0 0 25 0 1 0 191952454 15495168 1360 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7550/statm: 3783 1360 198 640 0 3139 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15132 [startup+3.10141 s] /proc/loadavg: 0.92 0.98 0.99 2/66 7551 /proc/meminfo: memFree=1726696/2055920 swapFree=4169972/4192956 [pid=7550] ppid=7548 vsize=16444 CPUtime=3.09 /proc/7550/stat : 7550 (bsolo) R 7548 7550 7286 0 -1 4194304 1717 0 0 0 308 1 0 0 25 0 1 0 191952454 16838656 1695 1992294400 134512640 137136520 4294956256 18446744073709551615 134543933 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7550/statm: 4111 1695 198 640 0 3467 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16444 [startup+6.30174 s] /proc/loadavg: 0.93 0.98 0.99 2/66 7551 /proc/meminfo: memFree=1726248/2055920 swapFree=4169972/4192956 [pid=7550] ppid=7548 vsize=16444 CPUtime=6.29 /proc/7550/stat : 7550 (bsolo) R 7548 7550 7286 0 -1 4194304 1717 0 0 0 628 1 0 0 25 0 1 0 191952454 16838656 1695 1992294400 134512640 137136520 4294956256 18446744073709551615 134572131 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7550/statm: 4111 1695 198 640 0 3467 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 16444 [startup+12.7024 s] /proc/loadavg: 0.93 0.98 0.99 2/66 7551 /proc/meminfo: memFree=1725928/2055920 swapFree=4169972/4192956 [pid=7550] ppid=7548 vsize=16960 CPUtime=12.69 /proc/7550/stat : 7550 (bsolo) R 7548 7550 7286 0 -1 4194304 1842 0 0 0 1267 2 0 0 25 0 1 0 191952454 17367040 1820 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7550/statm: 4240 1820 198 640 0 3596 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 16960 [startup+25.5017 s] /proc/loadavg: 0.95 0.98 0.99 2/66 7551 /proc/meminfo: memFree=1725496/2055920 swapFree=4169972/4192956 [pid=7550] ppid=7548 vsize=17220 CPUtime=25.48 /proc/7550/stat : 7550 (bsolo) R 7548 7550 7286 0 -1 4194304 1915 0 0 0 2544 4 0 0 25 0 1 0 191952454 17633280 1893 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7550/statm: 4305 1893 198 640 0 3661 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 17220 [startup+51.1013 s] /proc/loadavg: 0.96 0.98 0.99 2/66 7551 /proc/meminfo: memFree=1725240/2055920 swapFree=4169972/4192956 [pid=7550] ppid=7548 vsize=17604 CPUtime=51.04 /proc/7550/stat : 7550 (bsolo) R 7548 7550 7286 0 -1 4194304 1999 0 0 0 5098 6 0 0 25 0 1 0 191952454 18026496 1977 1992294400 134512640 137136520 4294956256 18446744073709551615 134543881 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7550/statm: 4401 1977 198 640 0 3757 0 Current children cumulated CPU time (s) 51.04 Current children cumulated vsize (KiB) 17604 [startup+102.305 s] /proc/loadavg: 0.98 0.98 0.99 2/66 7551 /proc/meminfo: memFree=1724344/2055920 swapFree=4169972/4192956 [pid=7550] ppid=7548 vsize=18360 CPUtime=102.23 /proc/7550/stat : 7550 (bsolo) R 7548 7550 7286 0 -1 4194304 2190 0 0 0 10213 10 0 0 25 0 1 0 191952454 18800640 2168 1992294400 134512640 137136520 4294956256 18446744073709551615 134544129 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7550/statm: 4590 2168 198 640 0 3946 0 Current children cumulated CPU time (s) 102.23 Current children cumulated vsize (KiB) 18360 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/66 7557 /proc/meminfo: memFree=1723704/2055920 swapFree=4169972/4192956 [pid=7550] ppid=7548 vsize=18756 CPUtime=162.2 /proc/7550/stat : 7550 (bsolo) R 7548 7550 7286 0 -1 4194304 2302 0 0 0 16207 13 0 0 25 0 1 0 191952454 19206144 2280 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7550/statm: 4689 2280 198 640 0 4045 0 Current children cumulated CPU time (s) 162.2 Current children cumulated vsize (KiB) 18756 Solver just ended. Dumping a history of the last processes samples [startup+166.303 s] /proc/loadavg: 0.99 0.98 0.99 2/66 7557 /proc/meminfo: memFree=1723704/2055920 swapFree=4169972/4192956 [pid=7550] ppid=7548 vsize=18756 CPUtime=166.19 /proc/7550/stat : 7550 (bsolo) R 7548 7550 7286 0 -1 4194304 2302 0 0 0 16606 13 0 0 25 0 1 0 191952454 19206144 2280 1992294400 134512640 137136520 4294956256 18446744073709551615 134544140 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7550/statm: 4689 2280 198 640 0 4045 0 Current children cumulated CPU time (s) 166.19 Current children cumulated vsize (KiB) 18756 [startup+169.501 s] /proc/loadavg: 0.99 0.98 0.99 2/66 7557 /proc/meminfo: memFree=1723704/2055920 swapFree=4169972/4192956 [pid=7550] ppid=7548 vsize=18756 CPUtime=169.39 /proc/7550/stat : 7550 (bsolo) R 7548 7550 7286 0 -1 4194304 2302 0 0 0 16926 13 0 0 25 0 1 0 191952454 19206144 2280 1992294400 134512640 137136520 4294956256 18446744073709551615 134575569 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7550/statm: 4689 2280 198 640 0 4045 0 Current children cumulated CPU time (s) 169.39 Current children cumulated vsize (KiB) 18756 [startup+172.706 s] /proc/loadavg: 0.99 0.98 0.99 2/66 7557 /proc/meminfo: memFree=1723704/2055920 swapFree=4169972/4192956 [pid=7550] ppid=7548 vsize=18756 CPUtime=172.6 /proc/7550/stat : 7550 (bsolo) R 7548 7550 7286 0 -1 4194304 2302 0 0 0 17246 14 0 0 25 0 1 0 191952454 19206144 2280 1992294400 134512640 137136520 4294956256 18446744073709551615 134544140 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7550/statm: 4689 2280 198 640 0 4045 0 Current children cumulated CPU time (s) 172.6 Current children cumulated vsize (KiB) 18756 [startup+173.502 s] /proc/loadavg: 0.99 0.98 0.99 2/66 7557 /proc/meminfo: memFree=1723704/2055920 swapFree=4169972/4192956 [pid=7550] ppid=7548 vsize=18756 CPUtime=173.39 /proc/7550/stat : 7550 (bsolo) R 7548 7550 7286 0 -1 4194304 2302 0 0 0 17325 14 0 0 25 0 1 0 191952454 19206144 2280 1992294400 134512640 137136520 4294956256 18446744073709551615 134544437 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7550/statm: 4689 2280 198 640 0 4045 0 Current children cumulated CPU time (s) 173.39 Current children cumulated vsize (KiB) 18756 [startup+173.902 s] /proc/loadavg: 0.99 0.98 0.99 2/66 7557 /proc/meminfo: memFree=1723704/2055920 swapFree=4169972/4192956 [pid=7550] ppid=7548 vsize=18756 CPUtime=173.79 /proc/7550/stat : 7550 (bsolo) R 7548 7550 7286 0 -1 4194304 2302 0 0 0 17365 14 0 0 25 0 1 0 191952454 19206144 2280 1992294400 134512640 137136520 4294956256 18446744073709551615 134544122 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7550/statm: 4689 2280 198 640 0 4045 0 Current children cumulated CPU time (s) 173.79 Current children cumulated vsize (KiB) 18756 [startup+174.102 s] /proc/loadavg: 0.99 0.98 0.99 2/66 7557 /proc/meminfo: memFree=1723704/2055920 swapFree=4169972/4192956 [pid=7550] ppid=7548 vsize=18756 CPUtime=173.99 /proc/7550/stat : 7550 (bsolo) R 7548 7550 7286 0 -1 4194304 2302 0 0 0 17385 14 0 0 25 0 1 0 191952454 19206144 2280 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7550/statm: 4689 2280 198 640 0 4045 0 Current children cumulated CPU time (s) 173.99 Current children cumulated vsize (KiB) 18756 Child status: 0 Real time (s): 174.164 CPU time (s): 174.064 CPU user time (s): 173.92 CPU system time (s): 0.143978 CPU usage (%): 99.9421 Max. virtual memory (cumulated for all children) (KiB): 18756 getrusage(RUSAGE_CHILDREN,...) data: user time used= 173.92 system time used= 0.143978 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2304 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= 717 runsolver used 0.197969 second user time and 0.403938 second system time The end
Begin job on node84 at 2009-06-17 14:58:58 IDJOB=1879368 IDBENCH=47918 IDSOLVER=701 FILE ID=node84/1879368-1245243538 PBS_JOBID= 9372267 Free space on /tmp= 66520 MiB SOLVER NAME= bsolo 3.1 pb BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=6-P0=41-P1=53-P2=67-P3=59-P4=53-P5=61-P6=29-P7=29-P8=17-B.opb COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1879368-1245243538/watcher-1879368-1245243538 -o /tmp/evaluation-result-1879368-1245243538/solver-1879368-1245243538 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879368-1245243538.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= f3f9a9130af59a7746b19fdd52967c7b RANDOM SEED=363797513 node84.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.222 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.222 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 : 5996.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1733008 kB Buffers: 31280 kB Cached: 210384 kB SwapCached: 16872 kB Active: 52624 kB Inactive: 208240 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1733008 kB SwapTotal: 4192956 kB SwapFree: 4169972 kB Dirty: 3948 kB Writeback: 0 kB Mapped: 24924 kB Slab: 48000 kB Committed_AS: 122596 kB PageTables: 1396 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-1879368-1245243538.opb Free space on /tmp at the end= 66516 MiB End job on node84 at 2009-06-17 15:01:53