Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | OPT | 14 | 178.86 | 178.93 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-bk4x3.opb |
MD5SUM | ad6a54c52a655cd32798948a75156c0a |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 14 |
Best CPU time to get the best result obtained on this benchmark | 16.2895 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 14 |
Optimality of the best value was proved | YES |
Number of variables | 372 |
Total number of constraints | 19 |
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 | 19 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 120 |
Number of terms in the objective function | 372 |
Biggest coefficient in the objective function | 38551 |
Number of bits for the biggest coefficient in the objective function | 16 |
Sum of the numbers in the objective function | 524556 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262142 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 524556 |
Number of bits of the biggest sum of numbers | 20 |
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.0.17 - 27/04/2007 : 1600 GMT 0.00/0.00 c Developed by Vasco Manquinho 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 Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/432561-1177945390/instance-432561-1177945390.opb 0.00/0.00 c File size is 13390 bytes. 0.00/0.00 c Highest Coefficient sum: 524556 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: 372 Constr: 26 0/0/26 Lit: 1812 Watch. Lit: 1106 0.00/0.00 c Obj. Vars: 372 (100 % of total variables) 0.00/0.01 c Pre-processing Time: 0.008 s 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 0 190 26 1812 69 1127 3624 0 0 0.01 0.00/0.02 c Initial Lower Bound: 13 0.00/0.02 c Initial Path Cost: 0 0.38/0.46 c 100 190 126 5914 46 1336 3987 100 5263 0.02 0.38/0.46 c 251 190 277 12479 45 1654 4386 251 8964 0.03 0.38/0.46 c 477 190 503 22236 44 2107 4825 477 11634 0.04 0.38/0.46 c 820 190 846 45288 53 2790 5308 820 10379 0.08 0.38/0.46 c 1328 190 1354 73028 53 3806 5839 1328 10796 0.12 0.38/0.46 c 2091 190 2117 108005 51 5333 6423 2091 11616 0.18 0.38/0.46 c 3243 190 3269 158681 48 7639 7066 3243 10738 0.30 0.38/0.46 o 18 0.452 3.48/3.57 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.48/3.57 c 4587 190 4614 216465 46 10499 4004 4588 10148 0.45 3.48/3.57 c 4687 190 2129 91473 42 5529 4405 2103 7233 0.65 3.48/3.57 c 4940 190 2382 103123 43 6034 4846 2356 5189 0.95 3.48/3.57 c 5416 190 2858 127892 44 6985 5331 2832 3852 1.41 3.48/3.57 c 6230 190 3672 169593 46 8615 5865 3646 2901 2.15 3.48/3.57 o 17 3.563 * 3.59/3.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.59/3.60 c 6861 190 4304 199754 46 10049 4004 4278 1925 3.56 3.59/3.60 o 16 3.593 * 3.59/3.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.59/3.60 c 6862 190 2031 102388 50 5500 4004 2005 1909 3.59 3.59/3.60 o 15 3.6 * 3.79/3.83 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.79/3.83 c 6862 190 2032 102578 50 5679 4004 2006 1906 3.60 3.79/3.83 c 6962 190 2138 107487 50 5898 4405 2112 1826 3.81 3.79/3.83 o 14 3.827 * 178.82/178.92 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 178.82/178.92 c 6966 190 2147 107894 50 6092 4004 2121 1820 3.83 178.82/178.92 c 7066 122 2261 110275 48 6310 4405 2235 1691 4.18 178.82/178.92 c 7321 122 2516 116554 46 6824 4846 2490 1669 4.38 178.82/178.92 c 7797 121 2992 129086 43 7771 5331 2966 1377 5.66 178.82/178.92 c 8610 121 3805 164189 43 9396 5865 3779 1294 6.65 178.82/178.92 c 9931 121 5126 211865 41 12044 6452 5100 1026 9.67 178.82/178.92 c 12012 121 3702 92891 25 8670 7098 3676 632 18.98 178.82/178.92 c 15236 121 6926 205887 29 15118 7808 6900 650 23.43 178.82/178.92 c 20172 121 7686 230454 29 16638 8589 7660 604 33.36 178.82/178.92 c 27678 121 6038 187772 31 13339 9448 6012 620 44.59 178.82/178.92 c 39039 121 7365 243159 33 15992 10393 7339 637 61.27 178.82/178.92 c 56184 120 8010 292035 36 17280 11433 7984 628 89.44 178.82/178.92 c 82003 119 9750 325279 33 20765 12577 9724 614 133.35 178.82/178.92 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 178.82/178.92 v -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 178.82/178.92 v -x55 -x56 -x57 -x58 -x59 -x60 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 178.82/178.92 v -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 178.82/178.92 v -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 178.82/178.92 v -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 178.82/178.92 v -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 x211 x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 178.82/178.92 v -x221 -x222 -x223 -x224 x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 178.82/178.92 v -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 178.82/178.92 v -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 178.82/178.92 v -x284 -x285 x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 178.82/178.92 v -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 178.82/178.92 v -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 x343 -x344 x345 -x346 178.82/178.92 v -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 178.82/178.92 v -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 178.82/178.92 v -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 178.82/178.92 v -x117 -x118 -x119 -x120 -x361 x362 -x365 -x366 -x367 x368 -x369 x370 -x371 x372 -x363 -x364 178.82/178.92 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 178.82/178.92 c 29 119136 22698 198296 7367 101915 7341 666 178.85 178.82/178.92 c Objective: 14 178.82/178.92 s OPTIMUM FOUND 178.82/178.92 c Total time: 178.855 s
OK 14
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node42/watcher-432561-1177945390 -o ROOT/results/node42/solver-432561-1177945390 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432561-1177945390/instance-432561-1177945390.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): 3600 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 Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.23 1.10 0.94 2/77 13874 /proc/meminfo: memFree=1863176/2055920 swapFree=4147488/4192956 [pid=13874] ppid=13872 vsize=11752 CPUtime=0 /proc/13874/stat : 13874 (bsolo3.0.17) R 13872 13874 13465 0 -1 4194304 361 0 0 0 0 0 0 0 18 0 1 0 242450898 12034048 331 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13874/statm: 2938 331 279 324 0 2004 0 [startup+0.0345099 s] /proc/loadavg: 1.23 1.10 0.94 2/77 13874 /proc/meminfo: memFree=1863176/2055920 swapFree=4147488/4192956 [pid=13874] ppid=13872 vsize=4496 CPUtime=0.02 /proc/13874/stat : 13874 (bsolo3.0.17) R 13872 13874 13465 0 -1 4194304 650 0 2 0 2 0 0 0 18 0 1 0 242450898 4603904 593 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12842619 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13874/statm: 1124 593 393 324 0 194 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 4496 [startup+0.101519 s] /proc/loadavg: 1.23 1.10 0.94 2/77 13874 /proc/meminfo: memFree=1863176/2055920 swapFree=4147488/4192956 [pid=13874] ppid=13872 vsize=5140 CPUtime=0.09 /proc/13874/stat : 13874 (bsolo3.0.17) R 13872 13874 13465 0 -1 4194304 811 0 2 0 9 0 0 0 18 0 1 0 242450898 5263360 754 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12842619 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13874/statm: 1285 754 393 324 0 355 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5140 [startup+0.301557 s] /proc/loadavg: 1.23 1.10 0.94 2/77 13874 /proc/meminfo: memFree=1863176/2055920 swapFree=4147488/4192956 [pid=13874] ppid=13872 vsize=6696 CPUtime=0.28 /proc/13874/stat : 13874 (bsolo3.0.17) R 13872 13874 13465 0 -1 4194304 1192 0 2 0 28 0 0 0 19 0 1 0 242450898 6856704 1135 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550782 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13874/statm: 1674 1135 393 324 0 744 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 6696 [startup+0.701633 s] /proc/loadavg: 1.23 1.10 0.94 2/77 13874 /proc/meminfo: memFree=1863176/2055920 swapFree=4147488/4192956 [pid=13874] ppid=13872 vsize=8236 CPUtime=0.69 /proc/13874/stat : 13874 (bsolo3.0.17) R 13872 13874 13465 0 -1 4194304 3240 0 2 0 67 2 0 0 22 0 1 0 242450898 8433664 1382 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12842565 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13874/statm: 1999 1381 393 324 0 1069 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8236 [startup+1.50279 s] /proc/loadavg: 1.21 1.10 0.94 2/78 13875 /proc/meminfo: memFree=1858624/2055920 swapFree=4147488/4192956 [pid=13874] ppid=13872 vsize=8036 CPUtime=1.49 /proc/13874/stat : 13874 (bsolo3.0.17) R 13872 13874 13465 0 -1 4194304 10028 0 2 0 143 6 0 0 25 0 1 0 242450898 8228864 1382 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13874/statm: 2059 1383 394 324 0 1129 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8036 [startup+3.10109 s] /proc/loadavg: 1.21 1.10 0.94 2/78 13875 /proc/meminfo: memFree=1858432/2055920 swapFree=4147488/4192956 [pid=13874] ppid=13872 vsize=8236 CPUtime=3.09 /proc/13874/stat : 13874 (bsolo3.0.17) R 13872 13874 13465 0 -1 4194304 21856 0 2 0 296 13 0 0 25 0 1 0 242450898 8433664 1383 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12842565 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13874/statm: 2059 1383 394 324 0 1129 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8236 [startup+6.3017 s] /proc/loadavg: 1.20 1.10 0.94 2/78 13875 /proc/meminfo: memFree=1858240/2055920 swapFree=4147488/4192956 [pid=13874] ppid=13872 vsize=7716 CPUtime=6.28 /proc/13874/stat : 13874 (bsolo3.0.17) R 13872 13874 13465 0 -1 4194304 48920 0 2 0 599 29 0 0 25 0 1 0 242450898 7901184 1378 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13874/statm: 1929 1378 394 324 0 999 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 7716 [startup+12.7019 s] /proc/loadavg: 1.18 1.09 0.94 2/78 13875 /proc/meminfo: memFree=1857832/2055920 swapFree=4147488/4192956 [pid=13874] ppid=13872 vsize=8212 CPUtime=12.68 /proc/13874/stat : 13874 (bsolo3.0.17) R 13872 13874 13465 0 -1 4194304 100769 0 2 0 1211 57 0 0 25 0 1 0 242450898 8409088 1526 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134765647 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13874/statm: 2053 1526 394 324 0 1123 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 8212 [startup+25.5013 s] /proc/loadavg: 1.15 1.09 0.94 2/78 13875 /proc/meminfo: memFree=1857896/2055920 swapFree=4147488/4192956 [pid=13874] ppid=13872 vsize=8796 CPUtime=25.48 /proc/13874/stat : 13874 (bsolo3.0.17) R 13872 13874 13465 0 -1 4194304 220535 0 2 0 2432 116 0 0 25 0 1 0 242450898 9007104 1538 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12842565 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13874/statm: 2199 1538 394 324 0 1269 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 8796 [startup+51.1012 s] /proc/loadavg: 1.09 1.08 0.94 2/78 13875 /proc/meminfo: memFree=1856424/2055920 swapFree=4147488/4192956 [pid=13874] ppid=13872 vsize=9892 CPUtime=51.07 /proc/13874/stat : 13874 (bsolo3.0.17) R 13872 13874 13465 0 -1 4194304 328072 0 2 0 4936 171 0 0 25 0 1 0 242450898 10129408 1938 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13874/statm: 2473 1938 395 324 0 1543 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 9892 [startup+102.306 s] /proc/loadavg: 1.04 1.07 0.94 2/78 13875 /proc/meminfo: memFree=1854888/2055920 swapFree=4147488/4192956 [pid=13874] ppid=13872 vsize=11704 CPUtime=102.26 /proc/13874/stat : 13874 (bsolo3.0.17) R 13872 13874 13465 0 -1 4194304 542104 0 2 0 9923 303 0 0 25 0 1 0 242450898 11984896 2328 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134820081 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13874/statm: 2926 2328 395 324 0 1996 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 11704 [startup+162.301 s] /proc/loadavg: 1.01 1.05 0.94 2/78 13875 /proc/meminfo: memFree=1854760/2055920 swapFree=4147488/4192956 [pid=13874] ppid=13872 vsize=11708 CPUtime=162.23 /proc/13874/stat : 13874 (bsolo3.0.17) R 13872 13874 13465 0 -1 4194304 542124 0 2 0 15920 303 0 0 25 0 1 0 242450898 11988992 2348 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134765637 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13874/statm: 2927 2348 395 324 0 1997 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 11708 Solver just ended. Dumping a history of the last processes samples [startup+166.301 s] /proc/loadavg: 1.01 1.05 0.94 2/78 13875 /proc/meminfo: memFree=1854760/2055920 swapFree=4147488/4192956 [pid=13874] ppid=13872 vsize=11708 CPUtime=166.22 /proc/13874/stat : 13874 (bsolo3.0.17) R 13872 13874 13465 0 -1 4194304 542124 0 2 0 16319 303 0 0 25 0 1 0 242450898 11988992 2348 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134783167 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13874/statm: 2927 2348 395 324 0 1997 0 Current children cumulated CPU time (s) 166.22 Current children cumulated vsize (KiB) 11708 [startup+172.705 s] /proc/loadavg: 1.01 1.05 0.94 2/78 13875 /proc/meminfo: memFree=1854760/2055920 swapFree=4147488/4192956 [pid=13874] ppid=13872 vsize=11708 CPUtime=172.63 /proc/13874/stat : 13874 (bsolo3.0.17) R 13872 13874 13465 0 -1 4194304 542124 0 2 0 16960 303 0 0 25 0 1 0 242450898 11988992 2348 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12841084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13874/statm: 2927 2348 395 324 0 1997 0 Current children cumulated CPU time (s) 172.63 Current children cumulated vsize (KiB) 11708 [startup+175.902 s] /proc/loadavg: 1.01 1.05 0.94 2/78 13875 /proc/meminfo: memFree=1854760/2055920 swapFree=4147488/4192956 [pid=13874] ppid=13872 vsize=11708 CPUtime=175.83 /proc/13874/stat : 13874 (bsolo3.0.17) R 13872 13874 13465 0 -1 4194304 542124 0 2 0 17280 303 0 0 25 0 1 0 242450898 11988992 2348 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13874/statm: 2927 2348 395 324 0 1997 0 Current children cumulated CPU time (s) 175.83 Current children cumulated vsize (KiB) 11708 [startup+177.501 s] /proc/loadavg: 1.01 1.05 0.94 2/78 13875 /proc/meminfo: memFree=1854760/2055920 swapFree=4147488/4192956 [pid=13874] ppid=13872 vsize=11708 CPUtime=177.42 /proc/13874/stat : 13874 (bsolo3.0.17) R 13872 13874 13465 0 -1 4194304 542124 0 2 0 17439 303 0 0 25 0 1 0 242450898 11988992 2348 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134709796 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13874/statm: 2927 2348 395 324 0 1997 0 Current children cumulated CPU time (s) 177.42 Current children cumulated vsize (KiB) 11708 [startup+178.301 s] /proc/loadavg: 1.01 1.05 0.94 2/78 13875 /proc/meminfo: memFree=1854760/2055920 swapFree=4147488/4192956 [pid=13874] ppid=13872 vsize=11708 CPUtime=178.22 /proc/13874/stat : 13874 (bsolo3.0.17) R 13872 13874 13465 0 -1 4194304 542124 0 2 0 17519 303 0 0 25 0 1 0 242450898 11988992 2348 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135314033 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13874/statm: 2927 2348 395 324 0 1997 0 Current children cumulated CPU time (s) 178.22 Current children cumulated vsize (KiB) 11708 [startup+178.701 s] /proc/loadavg: 1.01 1.05 0.94 2/78 13875 /proc/meminfo: memFree=1854760/2055920 swapFree=4147488/4192956 [pid=13874] ppid=13872 vsize=11708 CPUtime=178.62 /proc/13874/stat : 13874 (bsolo3.0.17) R 13872 13874 13465 0 -1 4194304 542124 0 2 0 17559 303 0 0 25 0 1 0 242450898 11988992 2348 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12840652 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13874/statm: 2927 2348 395 324 0 1997 0 Current children cumulated CPU time (s) 178.62 Current children cumulated vsize (KiB) 11708 [startup+178.901 s] /proc/loadavg: 1.01 1.05 0.94 2/78 13875 /proc/meminfo: memFree=1854760/2055920 swapFree=4147488/4192956 [pid=13874] ppid=13872 vsize=11708 CPUtime=178.82 /proc/13874/stat : 13874 (bsolo3.0.17) R 13872 13874 13465 0 -1 4194304 542124 0 2 0 17579 303 0 0 25 0 1 0 242450898 11988992 2348 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135188678 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13874/statm: 2927 2348 395 324 0 1997 0 Current children cumulated CPU time (s) 178.82 Current children cumulated vsize (KiB) 11708 Child status: 0 Real time (s): 178.93 CPU time (s): 178.86 CPU user time (s): 175.821 CPU system time (s): 3.03854 CPU usage (%): 99.9607 Max. virtual memory (cumulated for all children) (KiB): 11716 getrusage(RUSAGE_CHILDREN,...) data: user time used= 175.821 system time used= 3.03854 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 542127 page faults= 2 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 13 involuntary context switches= 300 runsolver used 0.134979 second user time and 0.407937 second system time The end
Begin job on node42 on Mon Apr 30 15:03:10 UTC 2007 IDJOB= 432561 IDBENCH= 1558 IDSOLVER= 199 FILE ID= node42/432561-1177945390 PBS_JOBID= 4727674 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-bk4x3.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/432561-1177945390/instance-432561-1177945390.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node42/watcher-432561-1177945390 -o ROOT/results/node42/solver-432561-1177945390 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432561-1177945390/instance-432561-1177945390.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= ad6a54c52a655cd32798948a75156c0a RANDOM SEED= 37838727 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node42.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /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.277 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.277 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: 1863648 kB Buffers: 29932 kB Cached: 69740 kB SwapCached: 14500 kB Active: 50956 kB Inactive: 72232 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1863648 kB SwapTotal: 4192956 kB SwapFree: 4147488 kB Dirty: 6608 kB Writeback: 0 kB Mapped: 30656 kB Slab: 54504 kB Committed_AS: 3715736 kB PageTables: 1912 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66558 MiB End job on node42 on Mon Apr 30 15:06:09 UTC 2007