Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Card | OPT | 3 | 91.759 | 91.7896 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/ factor-mod-B/factor-mod-size=7-P0=37-P1=47-P2=17-P3=127-P4=31-P5=127-P6=17-B.opb |
MD5SUM | 844fbce0d49bf88665e134a5a6d0ad31 |
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 | 0.625904 |
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 | 126 |
Total number of constraints | 13 |
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 | 13 |
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) | 294 |
Sum of products size (including duplicates) | 588 |
Number of different products | 294 |
Sum of products size | 588 |
0.00/0.00 c bsolo beta version 3.2 - 23/05/2010 : 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 Time Limit set to 1800 0.00/0.00 c Learning Strategy: Cardinality Constraint Learning 0.00/0.00 c Instance file HOME/instance-2670729-1276705812.opb 0.00/0.00 c File size is 21871 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.003 s 0.00/0.00 c Var: 420 Constr: 607 294/0/313 Lit: 2555 Watch. Lit: 1580 0.00/0.00 c Obj. Vars: 7 (1.66667 % of total variables) 0.00/0.00 c Pre-processing Time: 0.008 s 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 0 420 607 2555 4 2191 3443 0 0 0.01 0.00/0.00 c Switching off lower bounding mode. 7.89/7.96 c 100 420 797 9609 12 2663 3788 190 3846 0.03 7.89/7.96 c 251 420 1072 21589 20 3277 4167 465 4327 0.06 7.89/7.96 c 477 420 1505 39809 26 4357 4584 898 4542 0.10 7.89/7.96 c 815 420 2145 70254 32 5864 5043 1538 4201 0.19 7.89/7.96 c 1323 420 3109 108028 34 8123 5548 2502 4009 0.33 7.89/7.96 c 2086 420 4581 171953 37 11814 6103 3974 3834 0.54 7.89/7.96 c 3232 420 3659 139021 37 9028 6714 3052 3287 0.98 7.89/7.96 c 4954 420 6951 281580 40 16868 7386 6344 3059 1.62 7.89/7.96 c 7538 420 4300 158494 36 10660 8125 3693 2657 2.84 7.89/7.96 c 11417 420 7136 306808 42 16720 8938 6529 2389 4.78 7.89/7.96 c 17239 420 8934 362580 40 21945 9832 8327 2321 7.42 7.89/7.96 o 27 47.18/47.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 47.18/47.30 c 18561 419 6105 233011 38 15276 3458 5498 2332 7.96 47.18/47.30 c 18662 419 2500 94279 37 6290 3804 1893 2317 8.05 47.18/47.30 c 18913 419 2982 112922 37 7661 4185 2375 2328 8.12 47.18/47.30 c 19389 419 3857 149253 38 9909 4604 3250 2332 8.31 47.18/47.30 c 20203 419 2912 116821 40 7172 5065 2305 2360 8.56 47.18/47.30 c 21523 419 5348 237090 44 13242 5572 4741 2372 9.07 47.18/47.30 c 23605 411 6181 281561 45 14995 6130 5574 2388 9.88 47.18/47.30 c 26829 411 5214 217658 41 12687 6744 4607 2387 11.24 47.18/47.30 c 31765 411 3983 156824 39 9938 7419 3376 2317 13.71 47.18/47.30 c 39271 411 5435 214146 39 13980 8161 4828 2085 18.83 47.18/47.30 c 50633 411 5041 205874 40 12341 8978 4434 1878 26.96 47.18/47.30 c 67778 400 7444 326696 43 17827 9876 6837 1722 39.36 47.18/47.30 o 3 91.66/91.78 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 91.66/91.78 c 79951 400 6806 251593 36 16449 3453 6199 1690 47.29 91.66/91.78 c 80052 363 2503 82373 32 6333 3799 1896 1690 47.34 91.66/91.78 c 80303 363 2959 104481 35 7422 4179 2352 1693 47.41 91.66/91.78 c 80778 363 3820 144799 37 9490 4597 3213 1699 47.54 91.66/91.78 c 81591 363 2941 108558 36 7778 5057 2334 1703 47.89 91.66/91.78 c 82911 363 5275 197103 37 13636 5563 4668 1715 48.33 91.66/91.78 c 84993 363 6101 225010 36 16265 6120 5494 1719 49.44 91.66/91.78 c 88217 363 5580 212346 38 14207 6733 4973 1711 51.55 91.66/91.78 c 93154 363 7094 278918 39 17678 7407 6487 1699 54.80 91.66/91.78 c 100661 360 5026 191182 38 12166 8148 4419 1685 59.73 91.66/91.78 c 112023 360 5179 207178 40 13299 8963 4572 1659 67.50 91.66/91.78 c 129168 359 6601 260932 39 15891 9860 5994 1604 80.51 91.66/91.78 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 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 x50 -x51 -x52 x53 -x54 -x55 -x56 -x85 -x86 -x87 -x88 -x89 -x90 -x91 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 x57 x58 -x59 x60 -x61 x62 -x63 x92 -x93 -x94 -x95 -x96 -x97 -x98 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 x64 -x65 -x66 -x67 -x68 -x69 -x70 x99 -x100 -x101 -x102 -x103 -x104 -x105 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 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 x71 -x72 x73 -x74 -x75 -x76 -x77 -x106 -x107 -x108 -x109 -x110 -x111 -x112 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 x78 -x79 -x80 -x81 -x82 -x83 -x84 x113 x114 -x115 -x116 -x117 -x118 -x119 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 -x397 -x398 -x399 x400 -x401 -x402 -x403 -x404 -x405 -x406 x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x120 -x121 -x122 -x123 -x124 -x125 -x126 91.66/91.78 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 91.66/91.78 c 35 139632 1759 148375 8510 286128 7903 1521 91.76 91.66/91.78 c Objective: 3 91.66/91.78 s OPTIMUM FOUND 91.66/91.78 c Total time: 91.756 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-2670729-1276705812/watcher-2670729-1276705812 -o /tmp/evaluation-result-2670729-1276705812/solver-2670729-1276705812 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2670729-1276705812.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 1.00 0.99 2/106 18132 /proc/meminfo: memFree=1698060/2059040 swapFree=4192956/4192956 [pid=18132] ppid=18130 vsize=10924 CPUtime=0 /proc/18132/stat : 18132 (bsolo_pb10) R 18130 18132 17561 0 -1 4202496 367 0 0 0 0 0 0 0 20 0 1 0 11873492 11186176 279 1992294400 134512640 137138936 4293983728 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18132/statm: 2731 279 185 642 0 2087 0 [startup+0.0824591 s] /proc/loadavg: 0.92 1.00 0.99 2/106 18132 /proc/meminfo: memFree=1698060/2059040 swapFree=4192956/4192956 [pid=18132] ppid=18130 vsize=11316 CPUtime=0.07 /proc/18132/stat : 18132 (bsolo_pb10) R 18130 18132 17561 0 -1 4202496 475 0 0 0 7 0 0 0 20 0 1 0 11873492 11587584 387 1992294400 134512640 137138936 4293983728 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18132/statm: 2829 387 192 642 0 2185 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 11316 [startup+0.101462 s] /proc/loadavg: 0.92 1.00 0.99 2/106 18132 /proc/meminfo: memFree=1698060/2059040 swapFree=4192956/4192956 [pid=18132] ppid=18130 vsize=11444 CPUtime=0.09 /proc/18132/stat : 18132 (bsolo_pb10) R 18130 18132 17561 0 -1 4202496 506 0 0 0 9 0 0 0 20 0 1 0 11873492 11718656 418 1992294400 134512640 137138936 4293983728 18446744073709551615 134599241 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18132/statm: 2861 418 192 642 0 2217 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11444 [startup+0.301499 s] /proc/loadavg: 0.92 1.00 0.99 2/106 18132 /proc/meminfo: memFree=1698060/2059040 swapFree=4192956/4192956 [pid=18132] ppid=18130 vsize=12468 CPUtime=0.29 /proc/18132/stat : 18132 (bsolo_pb10) R 18130 18132 17561 0 -1 4202496 750 0 0 0 29 0 0 0 20 0 1 0 11873492 12767232 662 1992294400 134512640 137138936 4293983728 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18132/statm: 3117 662 192 642 0 2473 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12468 [startup+0.701571 s] /proc/loadavg: 0.92 1.00 0.99 2/106 18132 /proc/meminfo: memFree=1698060/2059040 swapFree=4192956/4192956 [pid=18132] ppid=18130 vsize=14144 CPUtime=0.69 /proc/18132/stat : 18132 (bsolo_pb10) R 18130 18132 17561 0 -1 4202496 1171 0 0 0 68 1 0 0 21 0 1 0 11873492 14483456 1083 1992294400 134512640 137138936 4293983728 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18132/statm: 3536 1083 192 642 0 2892 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14144 [startup+1.50172 s] /proc/loadavg: 0.92 1.00 0.99 2/107 18133 /proc/meminfo: memFree=1693836/2059040 swapFree=4192956/4192956 [pid=18132] ppid=18130 vsize=15040 CPUtime=1.5 /proc/18132/stat : 18132 (bsolo_pb10) R 18130 18132 17561 0 -1 4202496 1399 0 0 0 148 2 0 0 23 0 1 0 11873492 15400960 1311 1992294400 134512640 137138936 4293983728 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18132/statm: 3760 1311 192 642 0 3116 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 15040 [startup+3.10101 s] /proc/loadavg: 0.92 1.00 0.99 2/107 18133 /proc/meminfo: memFree=1692472/2059040 swapFree=4192956/4192956 [pid=18132] ppid=18130 vsize=16076 CPUtime=3.09 /proc/18132/stat : 18132 (bsolo_pb10) R 18130 18132 17561 0 -1 4202496 1673 0 0 0 307 2 0 0 25 0 1 0 11873492 16461824 1585 1992294400 134512640 137138936 4293983728 18446744073709551615 136521017 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18132/statm: 4019 1585 192 642 0 3375 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16076 [startup+6.30159 s] /proc/loadavg: 0.93 1.00 0.99 2/107 18133 /proc/meminfo: memFree=1690984/2059040 swapFree=4192956/4192956 [pid=18132] ppid=18130 vsize=17500 CPUtime=6.29 /proc/18132/stat : 18132 (bsolo_pb10) R 18130 18132 17561 0 -1 4202496 2008 0 0 0 626 3 0 0 25 0 1 0 11873492 17920000 1920 1992294400 134512640 137138936 4293983728 18446744073709551615 136500283 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18132/statm: 4375 1920 192 642 0 3731 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 17500 [startup+12.7017 s] /proc/loadavg: 0.93 1.00 0.99 2/107 18133 /proc/meminfo: memFree=1690488/2059040 swapFree=4192956/4192956 [pid=18132] ppid=18130 vsize=17888 CPUtime=12.69 /proc/18132/stat : 18132 (bsolo_pb10) R 18130 18132 17561 0 -1 4202496 2119 0 0 0 1263 6 0 0 25 0 1 0 11873492 18317312 2031 1992294400 134512640 137138936 4293983728 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18132/statm: 4472 2031 192 642 0 3828 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 17888 [startup+25.5011 s] /proc/loadavg: 0.95 1.00 0.99 2/107 18133 /proc/meminfo: memFree=1690488/2059040 swapFree=4192956/4192956 [pid=18132] ppid=18130 vsize=17888 CPUtime=25.48 /proc/18132/stat : 18132 (bsolo_pb10) R 18130 18132 17561 0 -1 4202496 2119 0 0 0 2540 8 0 0 25 0 1 0 11873492 18317312 2031 1992294400 134512640 137138936 4293983728 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18132/statm: 4472 2031 192 642 0 3828 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 17888 [startup+51.1007 s] /proc/loadavg: 0.96 1.00 0.99 2/107 18135 /proc/meminfo: memFree=1690364/2059040 swapFree=4192956/4192956 [pid=18132] ppid=18130 vsize=18016 CPUtime=51.08 /proc/18132/stat : 18132 (bsolo_pb10) R 18130 18132 17561 0 -1 4202496 2150 0 0 0 5093 15 0 0 25 0 1 0 11873492 18448384 2062 1992294400 134512640 137138936 4293983728 18446744073709551615 136511128 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18132/statm: 4504 2062 192 642 0 3860 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 18016 Solver just ended. Dumping a history of the last processes samples [startup+76.7014 s] /proc/loadavg: 0.97 1.00 0.99 2/107 18135 /proc/meminfo: memFree=1690364/2059040 swapFree=4192956/4192956 [pid=18132] ppid=18130 vsize=18016 CPUtime=76.66 /proc/18132/stat : 18132 (bsolo_pb10) R 18130 18132 17561 0 -1 4202496 2150 0 0 0 7644 22 0 0 25 0 1 0 11873492 18448384 2062 1992294400 134512640 137138936 4293983728 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18132/statm: 4504 2062 192 642 0 3860 0 Current children cumulated CPU time (s) 76.66 Current children cumulated vsize (KiB) 18016 [startup+83.1015 s] /proc/loadavg: 0.98 1.00 0.99 2/107 18135 /proc/meminfo: memFree=1690240/2059040 swapFree=4192956/4192956 [pid=18132] ppid=18130 vsize=18016 CPUtime=83.07 /proc/18132/stat : 18132 (bsolo_pb10) R 18130 18132 17561 0 -1 4202496 2150 0 0 0 8283 24 0 0 25 0 1 0 11873492 18448384 2062 1992294400 134512640 137138936 4293983728 18446744073709551615 136521035 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18132/statm: 4504 2062 192 642 0 3860 0 Current children cumulated CPU time (s) 83.07 Current children cumulated vsize (KiB) 18016 [startup+86.3011 s] /proc/loadavg: 0.98 1.00 0.99 2/107 18135 /proc/meminfo: memFree=1690240/2059040 swapFree=4192956/4192956 [pid=18132] ppid=18130 vsize=18016 CPUtime=86.26 /proc/18132/stat : 18132 (bsolo_pb10) R 18130 18132 17561 0 -1 4202496 2150 0 0 0 8602 24 0 0 25 0 1 0 11873492 18448384 2062 1992294400 134512640 137138936 4293983728 18446744073709551615 136521049 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18132/statm: 4504 2062 192 642 0 3860 0 Current children cumulated CPU time (s) 86.26 Current children cumulated vsize (KiB) 18016 [startup+89.5007 s] /proc/loadavg: 0.98 1.00 0.99 2/107 18135 /proc/meminfo: memFree=1690240/2059040 swapFree=4192956/4192956 [pid=18132] ppid=18130 vsize=18016 CPUtime=89.46 /proc/18132/stat : 18132 (bsolo_pb10) R 18130 18132 17561 0 -1 4202496 2150 0 0 0 8921 25 0 0 25 0 1 0 11873492 18448384 2062 1992294400 134512640 137138936 4293983728 18446744073709551615 134575052 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18132/statm: 4504 2062 192 642 0 3860 0 Current children cumulated CPU time (s) 89.46 Current children cumulated vsize (KiB) 18016 [startup+91.101 s] /proc/loadavg: 0.98 1.00 0.99 2/107 18135 /proc/meminfo: memFree=1690240/2059040 swapFree=4192956/4192956 [pid=18132] ppid=18130 vsize=18016 CPUtime=91.06 /proc/18132/stat : 18132 (bsolo_pb10) R 18130 18132 17561 0 -1 4202496 2150 0 0 0 9081 25 0 0 25 0 1 0 11873492 18448384 2062 1992294400 134512640 137138936 4293983728 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18132/statm: 4504 2062 192 642 0 3860 0 Current children cumulated CPU time (s) 91.06 Current children cumulated vsize (KiB) 18016 [startup+91.5011 s] /proc/loadavg: 0.98 1.00 0.99 2/107 18135 /proc/meminfo: memFree=1690240/2059040 swapFree=4192956/4192956 [pid=18132] ppid=18130 vsize=18016 CPUtime=91.46 /proc/18132/stat : 18132 (bsolo_pb10) R 18130 18132 17561 0 -1 4202496 2150 0 0 0 9121 25 0 0 25 0 1 0 11873492 18448384 2062 1992294400 134512640 137138936 4293983728 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18132/statm: 4504 2062 192 642 0 3860 0 Current children cumulated CPU time (s) 91.46 Current children cumulated vsize (KiB) 18016 [startup+91.7011 s] /proc/loadavg: 0.98 1.00 0.99 2/107 18135 /proc/meminfo: memFree=1690240/2059040 swapFree=4192956/4192956 [pid=18132] ppid=18130 vsize=18016 CPUtime=91.66 /proc/18132/stat : 18132 (bsolo_pb10) R 18130 18132 17561 0 -1 4202496 2150 0 0 0 9141 25 0 0 25 0 1 0 11873492 18448384 2062 1992294400 134512640 137138936 4293983728 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18132/statm: 4504 2062 192 642 0 3860 0 Current children cumulated CPU time (s) 91.66 Current children cumulated vsize (KiB) 18016 Child status: 0 Real time (s): 91.7896 CPU time (s): 91.759 CPU user time (s): 91.4971 CPU system time (s): 0.26196 CPU usage (%): 99.9667 Max. virtual memory (cumulated for all children) (KiB): 18016 getrusage(RUSAGE_CHILDREN,...) data: user time used= 91.4971 system time used= 0.26196 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2151 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= 1 involuntary context switches= 277 runsolver used 0.159975 second user time and 0.435933 second system time The end
Begin job on node044 at 2010-06-16 18:30:12 IDJOB=2670729 IDBENCH=48081 IDSOLVER=1162 FILE ID=node044/2670729-1276705812 PBS_JOBID= 11174099 Free space on /tmp= 62588 MiB SOLVER NAME= bsolo 3.2 Card BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=7-P0=37-P1=47-P2=17-P3=127-P4=31-P5=127-P6=17-B.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2670729-1276705812/watcher-2670729-1276705812 -o /tmp/evaluation-result-2670729-1276705812/solver-2670729-1276705812 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2670729-1276705812.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 844fbce0d49bf88665e134a5a6d0ad31 RANDOM SEED=1385474976 node044.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.266 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.53 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.266 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1698960 kB Buffers: 83084 kB Cached: 148864 kB SwapCached: 0 kB Active: 128016 kB Inactive: 163340 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1698960 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3884 kB Writeback: 0 kB AnonPages: 59312 kB Mapped: 15448 kB Slab: 46908 kB PageTables: 3984 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181416 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2670729-1276705812.opb Free space on /tmp at the end= 62584 MiB End job on node044 at 2010-06-16 18:31:44