Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Card | OPT | 34 | 37.2673 | 37.2887 |
Name | normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/golomb-rulers/normalized-OGR_8.opb |
MD5SUM | 6d3802f2f17c83a21ccf6c0752b41678 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 34 |
Best CPU time to get the best result obtained on this benchmark | 28.0457 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 34 |
Optimality of the best value was proved | YES |
Number of variables | 392 |
Total number of constraints | 679 |
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 | 679 |
Minimum length of a constraint | 14 |
Maximum length of a constraint | 29 |
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 | 128 |
Number of bits of the biggest number in a constraint | 8 |
Biggest sum of numbers in a constraint | 635 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
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-2657155-1276588807.opb 0.00/0.00 c File size is 126647 bytes. 0.00/0.02 c Highest Coefficient sum: 635 0.00/0.02 c Parsing was ok!! 0.00/0.02 c Total parsing time: 0.022 s 0.00/0.02 c Var: 392 Constr: 679 0/0/679 Lit: 16450 Watch. Lit: 3248 0.00/0.02 c Obj. Vars: 7 (1.78571 % of total variables) 0.03/0.04 c Pre-processing Time: 0.043 s 0.03/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.03/0.04 c 0 391 679 16450 24 8654 32900 0 0 0.04 0.03/0.04 c Switching off lower bounding mode. 0.19/0.20 c 100 391 861 19840 23 11811 36191 182 980 0.10 0.19/0.20 c 251 391 1152 26388 22 11778 39811 473 1364 0.18 0.19/0.20 o 80 0.19/0.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.25 c 300 391 1247 28444 22 11729 32918 568 1456 0.21 0.19/0.25 c 403 391 1449 32861 22 11220 36210 770 1638 0.25 0.19/0.25 o 52 0.19/0.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.25 c 416 391 1476 33530 22 11919 32918 797 1644 0.25 0.19/0.25 o 47 0.19/0.28 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.28 c 422 391 1487 33792 22 11980 32918 808 1648 0.26 0.19/0.28 o 45 0.19/0.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.29 c 493 391 1624 37630 23 12279 32918 945 1767 0.28 0.19/0.29 o 44 0.29/0.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.31 c 519 391 1676 39212 23 12358 32918 997 1795 0.29 0.29/0.31 o 42 0.29/0.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.37 c 598 391 1833 44138 24 13129 32918 1154 1880 0.32 0.29/0.37 c 699 384 1998 47144 23 13357 36210 1319 1947 0.36 0.29/0.37 o 41 0.39/0.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.43 c 725 384 2042 48188 23 13420 32916 1363 1954 0.37 0.39/0.43 c 825 384 2209 51040 23 13366 36208 1530 1992 0.41 0.39/0.43 o 40 0.49/0.55 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.55 c 884 384 2313 53283 23 14464 32916 1634 2032 0.43 0.49/0.55 c 984 384 2479 56829 22 14737 36208 1800 2071 0.47 0.49/0.55 o 39 0.59/0.63 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.63 c 1188 384 2813 64592 22 15276 32916 2134 2160 0.55 0.59/0.63 c 1289 384 2978 68225 22 15899 36208 2299 2188 0.59 0.59/0.63 o 37 0.89/0.90 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.90 c 1418 384 3197 73645 23 16177 32916 2518 2229 0.64 0.89/0.90 c 1519 384 3366 76980 22 16860 36208 2687 2247 0.68 0.89/0.90 c 1771 384 3786 85850 22 17790 39829 3107 2194 0.81 0.89/0.90 o 36 4.40/4.41 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.40/4.41 c 1966 384 4101 92885 22 18733 32916 3422 2182 0.90 4.40/4.41 c 2066 384 4265 96424 22 18874 36208 3586 2154 0.96 4.40/4.41 c 2316 384 4671 105985 22 19927 39829 3992 2120 1.09 4.40/4.41 c 2791 384 5423 121878 22 21578 43812 4744 2029 1.38 4.40/4.41 c 3605 384 6727 151517 22 24806 48194 6048 1848 1.95 4.40/4.41 c 4926 384 8911 200347 22 30205 53014 8232 1732 2.84 4.40/4.41 o 35 9.79/9.84 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.79/9.84 c 6585 377 11471 252509 22 36798 32916 10792 1493 4.41 9.79/9.84 c 6687 377 11617 255257 21 36919 36208 10938 1482 4.51 9.79/9.84 c 6938 377 12015 262318 21 37865 39829 11336 1415 4.90 9.79/9.84 c 7413 377 12702 274617 21 39585 43812 12023 1383 5.36 9.79/9.84 c 8226 377 13890 296677 21 42092 48194 13211 1266 6.50 9.79/9.84 c 9548 377 15806 332518 21 47138 53014 15127 1138 8.38 9.79/9.84 o 34 37.17/37.28 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 37.17/37.28 c 10584 377 17294 360308 20 50405 32916 16615 1075 9.84 37.17/37.28 c 10686 377 17452 363008 20 50701 36208 16773 1064 10.04 37.17/37.28 c 10937 377 17816 369637 20 51938 39829 17137 1051 10.40 37.17/37.28 c 11413 377 18520 382738 20 53605 43812 17841 1027 11.11 37.17/37.28 c 12226 375 19675 403815 20 56005 48194 18996 951 12.85 37.17/37.28 c 13546 375 21619 439446 20 60644 53014 20940 897 15.10 37.17/37.28 c 15627 375 24722 493464 19 68786 58316 24043 817 19.11 37.17/37.28 c 18851 375 29480 579087 19 80062 64148 28801 740 25.47 37.17/37.28 v -x1 x2 -x3 -x4 -x5 x6 -x7 -x43 x44 x45 -x46 x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 x55 -x56 -x392 x36 x37 x38 x39 -x40 -x41 -x42 -x391 -x390 -x389 x388 x387 x29 -x30 -x31 x32 -x33 -x34 -x35 -x386 -x385 -x384 -x383 -x382 -x381 x380 x379 -x378 x377 x376 x375 x374 x373 -x22 -x23 x24 -x25 -x26 -x27 -x28 -x372 -x371 -x370 -x369 -x368 -x367 -x366 x365 -x364 x363 x362 -x361 x360 -x359 x358 x357 -x356 x355 x354 x353 -x352 x351 x350 x349 x348 x347 x346 x345 x344 x343 x8 -x9 -x10 -x11 -x12 -x13 -x14 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 x332 x331 x330 x329 -x328 -x327 -x326 x325 x324 -x323 x322 x321 -x320 x319 x318 x317 -x316 x315 x314 x313 x312 -x311 x310 x309 x308 -x307 x306 x305 x304 x303 -x302 x301 x300 x299 x298 x297 x296 x295 x294 x293 x292 x291 x290 x289 x288 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x287 -x286 -x285 -x284 -x283 x282 -x281 -x280 -x279 -x278 -x277 x276 x275 x274 x273 x272 x271 -x270 -x269 -x268 x267 x266 -x265 x264 x263 -x262 x261 x260 x259 x258 x257 x256 -x255 x254 x253 x252 x251 -x250 x249 x248 x247 -x246 x245 x244 x243 x242 x241 x240 x239 x238 -x237 x236 x235 x234 x233 x232 x231 x230 x229 x228 x227 x226 x225 x224 x223 x222 x221 x220 x219 x218 x217 x216 x215 x214 x213 x212 x211 x210 x209 x208 x207 x206 x205 x204 x203 x202 x201 x200 x199 x198 x197 -x196 -x195 -x194 -x193 -x192 x191 x190 -x189 -x188 -x187 -x186 -x185 x184 x183 x182 x181 x180 x179 x178 x177 -x176 -x175 -x174 x173 x172 -x171 x170 x169 -x168 x167 x166 x165 x164 x163 x162 x161 x160 x159 -x158 x157 x156 x155 x154 -x153 x152 x151 x150 -x149 x148 x147 x146 x145 x144 x143 x142 x141 x140 x139 x138 x137 -x136 x135 x134 x133 x132 x131 x130 x129 x128 x127 x126 x125 x124 x123 x122 x121 x120 x119 x118 x117 x116 x115 x114 x113 x112 x111 x110 x109 x108 x107 x106 x105 x104 x103 x102 x101 x100 x99 x98 x97 x96 x95 x94 x93 x92 x91 x90 x89 x88 x87 x86 x85 x84 x83 x82 x81 x80 x79 x78 x77 x76 x75 x74 x73 x72 x71 x70 x69 x68 x67 x66 x65 x64 x63 x62 x61 x60 x59 x58 x57 37.17/37.28 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 37.17/37.28 c 39 22432 2134 25898 34418 667481 33739 601 37.26 37.17/37.28 c Objective: 34 37.17/37.28 s OPTIMUM FOUND 37.17/37.28 c Total time: 37.264 s
OK 34
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2657155-1276588807/watcher-2657155-1276588807 -o /tmp/evaluation-result-2657155-1276588807/solver-2657155-1276588807 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2657155-1276588807.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.70 1.66 1.31 3/106 4357 /proc/meminfo: memFree=1833700/2059040 swapFree=4136456/4192956 [pid=4357] ppid=4355 vsize=10912 CPUtime=0 /proc/4357/stat : 4357 (bsolo_pb10) R 4355 4357 3446 0 -1 4202496 312 0 0 0 0 0 0 0 20 0 1 0 34484776 11173888 231 1992294400 134512640 137138936 4290799840 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4357/statm: 2728 232 174 642 0 2053 0 [startup+0.0407341 s] /proc/loadavg: 1.70 1.66 1.31 3/106 4357 /proc/meminfo: memFree=1833700/2059040 swapFree=4136456/4192956 [pid=4357] ppid=4355 vsize=11444 CPUtime=0.03 /proc/4357/stat : 4357 (bsolo_pb10) R 4355 4357 3446 0 -1 4202496 528 0 0 0 3 0 0 0 20 0 1 0 34484776 11718656 416 1992294400 134512640 137138936 4290799840 18446744073709551615 136520986 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4357/statm: 2861 416 185 642 0 2217 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 11444 [startup+0.100741 s] /proc/loadavg: 1.70 1.66 1.31 3/106 4357 /proc/meminfo: memFree=1833700/2059040 swapFree=4136456/4192956 [pid=4357] ppid=4355 vsize=11444 CPUtime=0.09 /proc/4357/stat : 4357 (bsolo_pb10) R 4355 4357 3446 0 -1 4202496 535 0 0 0 9 0 0 0 20 0 1 0 34484776 11718656 423 1992294400 134512640 137138936 4290799840 18446744073709551615 134552089 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4357/statm: 2861 423 192 642 0 2217 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11444 [startup+0.300764 s] /proc/loadavg: 1.70 1.66 1.31 3/106 4357 /proc/meminfo: memFree=1833700/2059040 swapFree=4136456/4192956 [pid=4357] ppid=4355 vsize=11704 CPUtime=0.29 /proc/4357/stat : 4357 (bsolo_pb10) R 4355 4357 3446 0 -1 4202496 596 0 0 0 29 0 0 0 20 0 1 0 34484776 11984896 484 1992294400 134512640 137138936 4290799840 18446744073709551615 136520958 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4357/statm: 2926 484 192 642 0 2282 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 11704 [startup+0.700811 s] /proc/loadavg: 1.70 1.66 1.31 3/106 4357 /proc/meminfo: memFree=1833700/2059040 swapFree=4136456/4192956 [pid=4357] ppid=4355 vsize=12360 CPUtime=0.69 /proc/4357/stat : 4357 (bsolo_pb10) R 4355 4357 3446 0 -1 4202496 769 0 0 0 69 0 0 0 20 0 1 0 34484776 12656640 657 1992294400 134512640 137138936 4290799840 18446744073709551615 134542793 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4357/statm: 3090 657 192 642 0 2446 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12360 [startup+1.50091 s] /proc/loadavg: 1.70 1.66 1.31 2/107 4358 /proc/meminfo: memFree=1831336/2059040 swapFree=4136456/4192956 [pid=4357] ppid=4355 vsize=13264 CPUtime=1.49 /proc/4357/stat : 4357 (bsolo_pb10) R 4355 4357 3446 0 -1 4202496 998 0 0 0 148 1 0 0 23 0 1 0 34484776 13582336 886 1992294400 134512640 137138936 4290799840 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4357/statm: 3316 886 192 642 0 2672 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13264 [startup+3.10109 s] /proc/loadavg: 1.70 1.66 1.31 2/107 4358 /proc/meminfo: memFree=1829972/2059040 swapFree=4136456/4192956 [pid=4357] ppid=4355 vsize=14952 CPUtime=3.09 /proc/4357/stat : 4357 (bsolo_pb10) R 4355 4357 3446 0 -1 4202496 1395 0 0 0 308 1 0 0 25 0 1 0 34484776 15310848 1283 1992294400 134512640 137138936 4290799840 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4357/statm: 3738 1283 192 642 0 3094 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14952 [startup+6.30147 s] /proc/loadavg: 1.64 1.65 1.31 2/107 4358 /proc/meminfo: memFree=1827740/2059040 swapFree=4136456/4192956 [pid=4357] ppid=4355 vsize=16384 CPUtime=6.29 /proc/4357/stat : 4357 (bsolo_pb10) R 4355 4357 3446 0 -1 4202496 1775 0 0 0 627 2 0 0 25 0 1 0 34484776 16777216 1663 1992294400 134512640 137138936 4290799840 18446744073709551615 136504449 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4357/statm: 4096 1663 192 642 0 3452 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 16384 [startup+12.7012 s] /proc/loadavg: 1.59 1.64 1.31 2/107 4358 /proc/meminfo: memFree=1825260/2059040 swapFree=4136456/4192956 [pid=4357] ppid=4355 vsize=18464 CPUtime=12.69 /proc/4357/stat : 4357 (bsolo_pb10) R 4355 4357 3446 0 -1 4202496 2303 0 0 0 1265 4 0 0 25 0 1 0 34484776 18907136 2191 1992294400 134512640 137138936 4290799840 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4357/statm: 4616 2191 192 642 0 3972 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 18464 [startup+25.5007 s] /proc/loadavg: 1.46 1.61 1.30 2/107 4360 /proc/meminfo: memFree=1821788/2059040 swapFree=4136456/4192956 [pid=4357] ppid=4355 vsize=21964 CPUtime=25.48 /proc/4357/stat : 4357 (bsolo_pb10) R 4355 4357 3446 0 -1 4202496 3179 0 0 0 2541 7 0 0 25 0 1 0 34484776 22491136 3067 1992294400 134512640 137138936 4290799840 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4357/statm: 5491 3067 192 642 0 4847 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 21964 Solver just ended. Dumping a history of the last processes samples [startup+31.9085 s] /proc/loadavg: 1.50 1.62 1.31 2/107 4360 /proc/meminfo: memFree=1820796/2059040 swapFree=4136456/4192956 [pid=4357] ppid=4355 vsize=22996 CPUtime=31.88 /proc/4357/stat : 4357 (bsolo_pb10) R 4355 4357 3446 0 -1 4202496 3410 0 0 0 3180 8 0 0 25 0 1 0 34484776 23547904 3298 1992294400 134512640 137138936 4290799840 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4357/statm: 5749 3298 192 642 0 5105 0 Current children cumulated CPU time (s) 31.88 Current children cumulated vsize (KiB) 22996 [startup+35.1009 s] /proc/loadavg: 1.46 1.61 1.30 2/107 4360 /proc/meminfo: memFree=1820300/2059040 swapFree=4136456/4192956 [pid=4357] ppid=4355 vsize=23392 CPUtime=35.08 /proc/4357/stat : 4357 (bsolo_pb10) R 4355 4357 3446 0 -1 4202496 3525 0 0 0 3499 9 0 0 25 0 1 0 34484776 23953408 3413 1992294400 134512640 137138936 4290799840 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4357/statm: 5848 3413 192 642 0 5204 0 Current children cumulated CPU time (s) 35.08 Current children cumulated vsize (KiB) 23392 [startup+35.9009 s] /proc/loadavg: 1.46 1.61 1.30 2/107 4360 /proc/meminfo: memFree=1820300/2059040 swapFree=4136456/4192956 [pid=4357] ppid=4355 vsize=23524 CPUtime=35.87 /proc/4357/stat : 4357 (bsolo_pb10) R 4355 4357 3446 0 -1 4202496 3560 0 0 0 3578 9 0 0 25 0 1 0 34484776 24088576 3448 1992294400 134512640 137138936 4290799840 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4357/statm: 5881 3448 192 642 0 5237 0 Current children cumulated CPU time (s) 35.87 Current children cumulated vsize (KiB) 23524 [startup+36.701 s] /proc/loadavg: 1.46 1.61 1.30 2/107 4360 /proc/meminfo: memFree=1820176/2059040 swapFree=4136456/4192956 [pid=4357] ppid=4355 vsize=23652 CPUtime=36.67 /proc/4357/stat : 4357 (bsolo_pb10) R 4355 4357 3446 0 -1 4202496 3592 0 0 0 3657 10 0 0 25 0 1 0 34484776 24219648 3480 1992294400 134512640 137138936 4290799840 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4357/statm: 5913 3480 192 642 0 5269 0 Current children cumulated CPU time (s) 36.67 Current children cumulated vsize (KiB) 23652 [startup+37.1011 s] /proc/loadavg: 1.46 1.61 1.30 2/107 4360 /proc/meminfo: memFree=1820176/2059040 swapFree=4136456/4192956 [pid=4357] ppid=4355 vsize=23780 CPUtime=37.07 /proc/4357/stat : 4357 (bsolo_pb10) R 4355 4357 3446 0 -1 4202496 3605 0 0 0 3697 10 0 0 25 0 1 0 34484776 24350720 3493 1992294400 134512640 137138936 4290799840 18446744073709551615 136296993 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4357/statm: 5945 3493 192 642 0 5301 0 Current children cumulated CPU time (s) 37.07 Current children cumulated vsize (KiB) 23780 [startup+37.2011 s] /proc/loadavg: 1.46 1.61 1.30 2/107 4360 /proc/meminfo: memFree=1820176/2059040 swapFree=4136456/4192956 [pid=4357] ppid=4355 vsize=23780 CPUtime=37.17 /proc/4357/stat : 4357 (bsolo_pb10) R 4355 4357 3446 0 -1 4202496 3609 0 0 0 3707 10 0 0 25 0 1 0 34484776 24350720 3497 1992294400 134512640 137138936 4290799840 18446744073709551615 134575240 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4357/statm: 5945 3497 192 642 0 5301 0 Current children cumulated CPU time (s) 37.17 Current children cumulated vsize (KiB) 23780 Child status: 0 Real time (s): 37.2887 CPU time (s): 37.2673 CPU user time (s): 37.1634 CPU system time (s): 0.103984 CPU usage (%): 99.9427 Max. virtual memory (cumulated for all children) (KiB): 23780 getrusage(RUSAGE_CHILDREN,...) data: user time used= 37.1634 system time used= 0.103984 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3611 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= 463 runsolver used 0.06299 second user time and 0.19097 second system time The end
Begin job on node001 at 2010-06-15 10:00:07 IDJOB=2657155 IDBENCH=2642 IDSOLVER=1162 FILE ID=node001/2657155-1276588807 PBS_JOBID= 11173529 Free space on /tmp= 62516 MiB SOLVER NAME= bsolo 3.2 Card BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_8.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2657155-1276588807/watcher-2657155-1276588807 -o /tmp/evaluation-result-2657155-1276588807/solver-2657155-1276588807 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2657155-1276588807.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 6d3802f2f17c83a21ccf6c0752b41678 RANDOM SEED=1062103145 node001.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.202 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.40 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.202 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: 1834228 kB Buffers: 23344 kB Cached: 112528 kB SwapCached: 9532 kB Active: 82784 kB Inactive: 66040 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1834228 kB SwapTotal: 4192956 kB SwapFree: 4136456 kB Dirty: 4244 kB Writeback: 0 kB AnonPages: 11632 kB Mapped: 9332 kB Slab: 54268 kB PageTables: 3944 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182208 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62512 MiB End job on node001 at 2010-06-15 10:00:45