Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 | SAT | -25 | 1798.03 | 1798.54 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-5.opb |
MD5SUM | 2e8a2f5e2511f10f037e700bd45c84a1 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -28 |
Best CPU time to get the best result obtained on this benchmark | 1796.11 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -30 |
Optimality of the best value was proved | YES |
Number of variables | 450 |
Total number of constraints | 17794 |
Number of constraints which are clauses | 17794 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2 |
Number of terms in the objective function | 450 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 450 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 450 |
Number of bits of the biggest sum of numbers | 9 |
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.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: Cardinality Constraint 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-1877689-1245163673.opb 0.00/0.00 c File size is 421987 bytes. 0.04/0.05 c Highest Coefficient sum: 450 0.04/0.05 c Parsing was ok!! 0.04/0.05 c Total parsing time: 0.055 s 0.04/0.06 c Var: 450 Constr: 17794 17794/0/0 Lit: 35588 Watch. Lit: 35588 0.04/0.06 c Obj. Vars: 450 (100 % of total variables) 0.19/0.21 c Pre-processing Time: 0.214 s 0.19/0.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.21 c 0 450 17794 35588 2 35588 5931 0 0 0.21 0.19/0.21 c Switching off lower bounding mode. 0.19/0.21 o -22 0.19/0.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.23 c 0 450 17795 36038 2 35612 6931 1 0 0.22 0.19/0.23 o -23 0.79/0.87 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.87 c 27 450 17829 50454 2 35703 6931 35 114 0.24 0.79/0.87 c 127 450 17947 100304 5 35939 7625 153 424 0.30 0.79/0.87 c 378 450 18232 220691 12 36509 8388 438 784 0.48 0.79/0.87 c 853 450 18759 443601 23 37563 9227 965 993 0.86 0.79/0.87 o -24 21.48/21.53 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 21.48/21.53 c 866 450 18775 450398 23 37619 6931 981 995 0.87 21.48/21.53 c 967 450 18890 498858 26 37849 7625 1096 1021 0.95 21.48/21.53 c 1217 450 19185 623011 32 38439 8388 1391 1066 1.14 21.48/21.53 c 1692 450 19733 853307 43 39535 9227 1939 1100 1.54 21.48/21.53 c 2505 450 20668 1247005 60 41405 10150 2874 1116 2.24 21.48/21.53 c 3825 450 22203 1892569 85 44475 11166 4409 1037 3.69 21.48/21.53 c 5906 450 24614 2906385 118 49318 12283 6820 959 6.15 21.48/21.53 c 9130 450 28357 4480383 157 56825 13512 10563 824 11.07 21.48/21.53 c 14066 450 26969 3894330 144 53962 14864 9175 666 21.10 21.48/21.53 o -25 1797.98/1798.51 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.98/1798.51 c 14447 450 27406 4078287 148 54861 6931 9612 671 21.53 1797.98/1798.51 c 14547 450 21372 1540880 72 42769 7625 3578 667 21.78 1797.98/1798.51 c 14797 450 21652 1658608 76 43329 8388 3858 671 22.03 1797.98/1798.51 c 15272 450 22195 1886546 84 44415 9227 4401 677 22.53 1797.98/1798.51 c 16086 450 23115 2273576 98 46255 10150 5321 688 23.37 1797.98/1798.51 c 17407 450 24636 2912321 118 49297 11166 6842 696 25.00 1797.98/1798.51 c 19489 450 27083 3937666 145 54191 12283 9289 698 27.90 1797.98/1798.51 c 22712 450 24244 2740906 113 48513 13512 6450 700 32.42 1797.98/1798.51 c 27648 450 29993 5149091 171 60011 14864 12199 687 40.22 1797.98/1798.51 c 35154 450 30999 5565781 179 62067 16351 13205 649 54.10 1797.98/1798.51 c 46516 450 27081 3932088 145 54187 17987 9287 594 78.26 1797.98/1798.51 c 63660 450 28286 4438093 156 56621 19786 10492 505 125.96 1797.98/1798.51 c 89479 450 27688 4181394 151 55445 21765 9894 428 209.01 1797.98/1798.51 c 128312 450 39063 8937818 228 78248 23942 21269 368 347.94 1797.98/1798.51 c 186664 450 33036 6393794 193 66176 26337 15242 314 593.90 1797.98/1798.51 c 274296 450 37260 8197882 220 74545 28971 19466 284 965.10 1797.98/1798.51 c 405848 450 42995 10601270 246 86082 31869 25201 253 1599.55 1797.98/1798.51 c Resources Exceeded 1797.98/1798.51 v -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 x437 -x436 -x435 -x434 -x433 -x432 x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 x406 -x405 -x404 -x403 -x402 -x401 x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -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 -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 -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 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 1797.98/1798.51 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.98/1798.51 c 31 453025 32590 491695 40139 9391787 22345 251 1798.00 1797.98/1798.51 c Objective: -25 1797.98/1798.51 s SATISFIABLE 1797.98/1798.51 c Total time: 1798 s
OK -25
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1877689-1245163673/watcher-1877689-1245163673 -o /tmp/evaluation-result-1877689-1245163673/solver-1877689-1245163673 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1877689-1245163673.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.00 1.00 3/64 4885 /proc/meminfo: memFree=1545080/2055920 swapFree=4192812/4192956 [pid=4885] ppid=4883 vsize=11132 CPUtime=0 /proc/4885/stat : 4885 (bsolo) R 4883 4885 4628 0 -1 4194304 260 0 0 0 0 0 0 0 20 0 1 0 183966948 11399168 244 1992294400 134512640 137136520 4294956256 18446744073709551615 136575102 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4885/statm: 2783 244 175 640 0 2035 0 [startup+0.0464791 s] /proc/loadavg: 1.00 1.00 1.00 3/64 4885 /proc/meminfo: memFree=1545080/2055920 swapFree=4192812/4192956 [pid=4885] ppid=4883 vsize=12504 CPUtime=0.04 /proc/4885/stat : 4885 (bsolo) R 4883 4885 4628 0 -1 4194304 662 0 0 0 4 0 0 0 20 0 1 0 183966948 12804096 646 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4885/statm: 3126 647 252 640 0 2378 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 12504 [startup+0.101484 s] /proc/loadavg: 1.00 1.00 1.00 3/64 4885 /proc/meminfo: memFree=1545080/2055920 swapFree=4192812/4192956 [pid=4885] ppid=4883 vsize=13816 CPUtime=0.09 /proc/4885/stat : 4885 (bsolo) R 4883 4885 4628 0 -1 4194304 1149 0 0 0 9 0 0 0 20 0 1 0 183966948 14147584 1029 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4885/statm: 3454 1029 190 640 0 2810 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13816 [startup+0.301504 s] /proc/loadavg: 1.00 1.00 1.00 3/64 4885 /proc/meminfo: memFree=1545080/2055920 swapFree=4192812/4192956 [pid=4885] ppid=4883 vsize=14168 CPUtime=0.29 /proc/4885/stat : 4885 (bsolo) R 4883 4885 4628 0 -1 4194304 1340 0 0 0 28 1 0 0 22 0 1 0 183966948 14508032 1112 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4885/statm: 3542 1112 196 640 0 2898 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 14168 [startup+0.701544 s] /proc/loadavg: 1.00 1.00 1.00 3/64 4885 /proc/meminfo: memFree=1545080/2055920 swapFree=4192812/4192956 [pid=4885] ppid=4883 vsize=17424 CPUtime=0.69 /proc/4885/stat : 4885 (bsolo) R 4883 4885 4628 0 -1 4194304 2166 0 0 0 68 1 0 0 25 0 1 0 183966948 17842176 1938 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4885/statm: 4356 1938 196 640 0 3712 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 17424 [startup+1.50162 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4886 /proc/meminfo: memFree=1535728/2055920 swapFree=4192812/4192956 [pid=4885] ppid=4883 vsize=23588 CPUtime=1.49 /proc/4885/stat : 4885 (bsolo) R 4883 4885 4628 0 -1 4194304 3715 0 0 0 147 2 0 0 25 0 1 0 183966948 24154112 3487 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4885/statm: 5897 3487 197 640 0 5253 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 23588 [startup+3.10179 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4886 /proc/meminfo: memFree=1527344/2055920 swapFree=4192812/4192956 [pid=4885] ppid=4883 vsize=34244 CPUtime=3.09 /proc/4885/stat : 4885 (bsolo) R 4883 4885 4628 0 -1 4194304 6364 0 0 0 306 3 0 0 25 0 1 0 183966948 35065856 6136 1992294400 134512640 137136520 4294956256 18446744073709551615 134542190 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4885/statm: 8561 6136 197 640 0 7917 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 34244 [startup+6.30111 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4886 /proc/meminfo: memFree=1507760/2055920 swapFree=4192812/4192956 [pid=4885] ppid=4883 vsize=51356 CPUtime=6.29 /proc/4885/stat : 4885 (bsolo) R 4883 4885 4628 0 -1 4194304 10649 0 0 0 624 5 0 0 25 0 1 0 183966948 52588544 10421 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4885/statm: 12839 10421 197 640 0 12195 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 51356 [startup+12.7018 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4886 /proc/meminfo: memFree=1480760/2055920 swapFree=4192812/4192956 [pid=4885] ppid=4883 vsize=76560 CPUtime=12.69 /proc/4885/stat : 4885 (bsolo) R 4883 4885 4628 0 -1 4194304 16952 0 0 0 1260 9 0 0 25 0 1 0 183966948 78397440 16724 1992294400 134512640 137136520 4294956256 18446744073709551615 135982528 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4885/statm: 19140 16724 197 640 0 18496 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 76560 [startup+25.5011 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4886 /proc/meminfo: memFree=1465592/2055920 swapFree=4192812/4192956 [pid=4885] ppid=4883 vsize=89416 CPUtime=25.49 /proc/4885/stat : 4885 (bsolo) R 4883 4885 4628 0 -1 4194304 20177 0 0 0 2537 12 0 0 25 0 1 0 183966948 91561984 19949 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4885/statm: 22354 19949 197 640 0 21710 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 89416 [startup+51.1017 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4886 /proc/meminfo: memFree=1458424/2055920 swapFree=4192812/4192956 [pid=4885] ppid=4883 vsize=96576 CPUtime=51.07 /proc/4885/stat : 4885 (bsolo) R 4883 4885 4628 0 -1 4194304 21960 0 0 0 5092 15 0 0 25 0 1 0 183966948 98893824 21732 1992294400 134512640 137136520 4294956256 18446744073709551615 136509084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4885/statm: 24144 21732 197 640 0 23500 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 96576 [startup+102.306 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4886 /proc/meminfo: memFree=1440888/2055920 swapFree=4192812/4192956 [pid=4885] ppid=4883 vsize=114160 CPUtime=102.26 /proc/4885/stat : 4885 (bsolo) R 4883 4885 4628 0 -1 4194304 26353 0 0 0 10204 22 0 0 25 0 1 0 183966948 116899840 26125 1992294400 134512640 137136520 4294956256 18446744073709551615 136502161 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4885/statm: 28540 26125 197 640 0 27896 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 114160 [startup+162.302 s] /proc/loadavg: 1.05 1.01 1.00 2/65 4886 /proc/meminfo: memFree=1431032/2055920 swapFree=4192812/4192956 [pid=4885] ppid=4883 vsize=123924 CPUtime=162.24 /proc/4885/stat : 4885 (bsolo) R 4883 4885 4628 0 -1 4194304 28804 0 0 0 16195 29 0 0 25 0 1 0 183966948 126898176 28576 1992294400 134512640 137136520 4294956256 18446744073709551615 134543881 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4885/statm: 30981 28576 197 640 0 30337 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 123924 [startup+222.301 s] /proc/loadavg: 1.07 1.02 1.00 2/65 4886 /proc/meminfo: memFree=1430968/2055920 swapFree=4192812/4192956 [pid=4885] ppid=4883 vsize=123924 CPUtime=222.22 /proc/4885/stat : 4885 (bsolo) R 4883 4885 4628 0 -1 4194304 28804 0 0 0 22188 34 0 0 25 0 1 0 183966948 126898176 28576 1992294400 134512640 137136520 4294956256 18446744073709551615 134543951 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4885/statm: 30981 28576 197 640 0 30337 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 123924 [startup+282.301 s] /proc/loadavg: 1.07 1.03 1.00 2/65 4888 /proc/meminfo: memFree=1419832/2055920 swapFree=4192812/4192956 [pid=4885] ppid=4883 vsize=134984 CPUtime=282.2 /proc/4885/stat : 4885 (bsolo) R 4883 4885 4628 0 -1 4194304 31565 0 0 0 28180 40 0 0 25 0 1 0 183966948 138223616 31337 1992294400 134512640 137136520 4294956256 18446744073709551615 134544004 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4885/statm: 33746 31337 197 640 0 33102 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 134984 [startup+342.301 s] /proc/loadavg: 1.06 1.04 1.00 2/65 4888 /proc/meminfo: memFree=1419832/2055920 swapFree=4192812/4192956 [pid=4885] ppid=4883 vsize=134984 CPUtime=342.19 /proc/4885/stat : 4885 (bsolo) R 4883 4885 4628 0 -1 4194304 31565 0 0 0 34176 43 0 0 25 0 1 0 183966948 138223616 31337 1992294400 134512640 137136520 4294956256 18446744073709551615 134544384 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4885/statm: 33746 31337 197 640 0 33102 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 134984 [startup+402.301 s] /proc/loadavg: 1.06 1.04 1.00 2/65 4888 /proc/meminfo: memFree=1408120/2055920 swapFree=4192812/4192956 [pid=4885] ppid=4883 vsize=146632 CPUtime=402.17 /proc/4885/stat : 4885 (bsolo) R 4883 4885 4628 0 -1 4194304 34477 0 0 0 40167 50 0 0 25 0 1 0 183966948 150151168 34249 1992294400 134512640 137136520 4294956256 18446744073709551615 134543921 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4885/statm: 36658 34249 197 640 0 36014 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 146632 [startup+462.301 s] /proc/loadavg: 1.02 1.03 1.00 2/65 4888 /proc/meminfo: memFree=1407864/2055920 swapFree=4192812/4192956 [pid=4885] ppid=4883 vsize=146848 CPUtime=462.16 /proc/4885/stat : 4885 (bsolo) R 4883 4885 4628 0 -1 4194304 34539 0 0 0 46162 54 0 0 25 0 1 0 183966948 150372352 34311 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4885/statm: 36712 34311 197 640 0 36068 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 146848 [startup+522.302 s] /proc/loadavg: 1.01 1.02 1.00 2/65 4888 /proc/meminfo: memFree=1407864/2055920 swapFree=4192812/4192956 [pid=4885] ppid=4883 vsize=146848 CPUtime=522.14 /proc/4885/stat : 4885 (bsolo) R 4883 4885 4628 0 -1 4194304 34539 0 0 0 52157 57 0 0 25 0 1 0 183966948 150372352 34311 1992294400 134512640 137136520 4294956256 18446744073709551615 135982528 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4885/statm: 36712 34311 197 640 0 36068 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 146848 [startup+582.302 s] /proc/loadavg: 1.00 1.02 1.00 2/65 4888 /proc/meminfo: memFree=1407864/2055920 swapFree=4192812/4192956 [pid=4885] ppid=4883 vsize=146848 CPUtime=582.13 /proc/4885/stat : 4885 (bsolo) R 4883 4885 4628 0 -1 4194304 34539 0 0 0 58152 61 0 0 25 0 1 0 183966948 150372352 34311 1992294400 134512640 137136520 4294956256 18446744073709551615 134606731 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4885/statm: 36712 34311 197 640 0 36068 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 146848 [startup+642.302 s] /proc/loadavg: 1.00 1.01 1.00 2/65 4888 /proc/meminfo: memFree=1395064/2055920 swapFree=4192812/4192956 [pid=4885] ppid=4883 vsize=159604 CPUtime=642.11 /proc/4885/stat : 4885 (bsolo) R 4883 4885 4628 0 -1 4194304 37723 0 0 0 64144 67 0 0 25 0 1 0 183966948 163434496 37495 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4885/statm: 39901 37495 197 640 0 39257 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 159604 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1380344/2055920 swapFree=4192812/4192956 [pid=4885] ppid=4883 vsize=174212 CPUtime=1061.98 /proc/4885/stat : 4885 (bsolo) R 4883 4885 4628 0 -1 4194304 41376 0 0 0 106107 91 0 0 25 0 1 0 183966948 178393088 41148 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4885/statm: 43553 41148 197 640 0 42909 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 174212 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4894 /proc/meminfo: memFree=1380280/2055920 swapFree=4192812/4192956 [pid=4885] ppid=4883 vsize=174208 CPUtime=1121.96 /proc/4885/stat : 4885 (bsolo) R 4883 4885 4628 0 -1 4194304 41376 0 0 0 112101 95 0 0 25 0 1 0 183966948 178388992 41148 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4885/statm: 43552 41148 197 640 0 42908 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 174208 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4894 /proc/meminfo: memFree=1380280/2055920 swapFree=4192812/4192956 [pid=4885] ppid=4883 vsize=174204 CPUtime=1181.95 /proc/4885/stat : 4885 (bsolo) R 4883 4885 4628 0 -1 4194304 41376 0 0 0 118096 99 0 0 25 0 1 0 183966948 178384896 41148 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4885/statm: 43551 41148 197 640 0 42907 0 Current children cumulated CPU time (s) 1181.95 Current children cumulated vsize (KiB) 174204 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4894 /proc/meminfo: memFree=1380280/2055920 swapFree=4192812/4192956 [pid=4885] ppid=4883 vsize=174204 CPUtime=1241.93 /proc/4885/stat : 4885 (bsolo) R 4883 4885 4628 0 -1 4194304 41376 0 0 0 124092 101 0 0 25 0 1 0 183966948 178384896 41148 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4885/statm: 43551 41148 197 640 0 42907 0 Current children cumulated CPU time (s) 1241.93 Current children cumulated vsize (KiB) 174204 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4894 /proc/meminfo: memFree=1380216/2055920 swapFree=4192812/4192956 [pid=4885] ppid=4883 vsize=174204 CPUtime=1301.92 /proc/4885/stat : 4885 (bsolo) R 4883 4885 4628 0 -1 4194304 41376 0 0 0 130087 105 0 0 25 0 1 0 183966948 178384896 41148 1992294400 134512640 137136520 4294956256 18446744073709551615 134599913 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4885/statm: 43551 41148 197 640 0 42907 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 174204 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4894 /proc/meminfo: memFree=1380152/2055920 swapFree=4192812/4192956 [pid=4885] ppid=4883 vsize=174192 CPUtime=1361.9 /proc/4885/stat : 4885 (bsolo) R 4883 4885 4628 0 -1 4194304 41376 0 0 0 136081 109 0 0 25 0 1 0 183966948 178372608 41147 1992294400 134512640 137136520 4294956256 18446744073709551615 134607171 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4885/statm: 43548 41147 197 640 0 42904 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 174192 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4894 /proc/meminfo: memFree=1380152/2055920 swapFree=4192812/4192956 [pid=4885] ppid=4883 vsize=174192 CPUtime=1421.88 /proc/4885/stat : 4885 (bsolo) R 4883 4885 4628 0 -1 4194304 41376 0 0 0 142076 112 0 0 25 0 1 0 183966948 178372608 41147 1992294400 134512640 137136520 4294956256 18446744073709551615 134543933 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4885/statm: 43548 41147 197 640 0 42904 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 174192 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4894 /proc/meminfo: memFree=1380152/2055920 swapFree=4192812/4192956 [pid=4885] ppid=4883 vsize=174192 CPUtime=1481.86 /proc/4885/stat : 4885 (bsolo) R 4883 4885 4628 0 -1 4194304 41376 0 0 0 148071 115 0 0 25 0 1 0 183966948 178372608 41147 1992294400 134512640 137136520 4294956256 18446744073709551615 134544402 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4885/statm: 43548 41147 197 640 0 42904 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 174192 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4894 /proc/meminfo: memFree=1380152/2055920 swapFree=4192812/4192956 [pid=4885] ppid=4883 vsize=174188 CPUtime=1541.85 /proc/4885/stat : 4885 (bsolo) R 4883 4885 4628 0 -1 4194304 41376 0 0 0 154066 119 0 0 25 0 1 0 183966948 178368512 41146 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4885/statm: 43547 41146 197 640 0 42903 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 174188 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4894 /proc/meminfo: memFree=1380152/2055920 swapFree=4192812/4192956 [pid=4885] ppid=4883 vsize=174188 CPUtime=1601.83 /proc/4885/stat : 4885 (bsolo) R 4883 4885 4628 0 -1 4194304 41376 0 0 0 160060 123 0 0 25 0 1 0 183966948 178368512 41146 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4885/statm: 43547 41146 197 640 0 42903 0 Current children cumulated CPU time (s) 1601.83 Current children cumulated vsize (KiB) 174188 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4894 /proc/meminfo: memFree=1364536/2055920 swapFree=4192812/4192956 [pid=4885] ppid=4883 vsize=189732 CPUtime=1661.82 /proc/4885/stat : 4885 (bsolo) R 4883 4885 4628 0 -1 4194304 45262 0 0 0 166051 131 0 0 25 0 1 0 183966948 194285568 45032 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4885/statm: 47433 45032 197 640 0 46789 0 Current children cumulated CPU time (s) 1661.82 Current children cumulated vsize (KiB) 189732 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4894 /proc/meminfo: memFree=1364536/2055920 swapFree=4192812/4192956 [pid=4885] ppid=4883 vsize=189728 CPUtime=1721.8 /proc/4885/stat : 4885 (bsolo) R 4883 4885 4628 0 -1 4194304 45262 0 0 0 172045 135 0 0 25 0 1 0 183966948 194281472 45031 1992294400 134512640 137136520 4294956256 18446744073709551615 136498227 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4885/statm: 47432 45031 197 640 0 46788 0 Current children cumulated CPU time (s) 1721.8 Current children cumulated vsize (KiB) 189728 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4894 /proc/meminfo: memFree=1364472/2055920 swapFree=4192812/4192956 [pid=4885] ppid=4883 vsize=189728 CPUtime=1781.78 /proc/4885/stat : 4885 (bsolo) R 4883 4885 4628 0 -1 4194304 45262 0 0 0 178040 138 0 0 25 0 1 0 183966948 194281472 45031 1992294400 134512640 137136520 4294956256 18446744073709551615 134544140 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4885/statm: 47432 45031 197 640 0 46788 0 Current children cumulated CPU time (s) 1781.78 Current children cumulated vsize (KiB) 189728 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4894 /proc/meminfo: memFree=1364472/2055920 swapFree=4192812/4192956 [pid=4885] ppid=4883 vsize=189728 CPUtime=1791.38 /proc/4885/stat : 4885 (bsolo) R 4883 4885 4628 0 -1 4194304 45262 0 0 0 178999 139 0 0 25 0 1 0 183966948 194281472 45031 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4885/statm: 47432 45031 197 640 0 46788 0 Current children cumulated CPU time (s) 1791.38 Current children cumulated vsize (KiB) 189728 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4894 /proc/meminfo: memFree=1364472/2055920 swapFree=4192812/4192956 [pid=4885] ppid=4883 vsize=189728 CPUtime=1794.58 /proc/4885/stat : 4885 (bsolo) R 4883 4885 4628 0 -1 4194304 45262 0 0 0 179319 139 0 0 25 0 1 0 183966948 194281472 45031 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4885/statm: 47432 45031 197 640 0 46788 0 Current children cumulated CPU time (s) 1794.58 Current children cumulated vsize (KiB) 189728 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4894 /proc/meminfo: memFree=1364472/2055920 swapFree=4192812/4192956 [pid=4885] ppid=4883 vsize=189728 CPUtime=1796.18 /proc/4885/stat : 4885 (bsolo) R 4883 4885 4628 0 -1 4194304 45262 0 0 0 179479 139 0 0 25 0 1 0 183966948 194281472 45031 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4885/statm: 47432 45031 197 640 0 46788 0 Current children cumulated CPU time (s) 1796.18 Current children cumulated vsize (KiB) 189728 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4894 /proc/meminfo: memFree=1364472/2055920 swapFree=4192812/4192956 [pid=4885] ppid=4883 vsize=189728 CPUtime=1796.98 /proc/4885/stat : 4885 (bsolo) R 4883 4885 4628 0 -1 4194304 45262 0 0 0 179559 139 0 0 25 0 1 0 183966948 194281472 45031 1992294400 134512640 137136520 4294956256 18446744073709551615 134543921 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4885/statm: 47432 45031 197 640 0 46788 0 Current children cumulated CPU time (s) 1796.98 Current children cumulated vsize (KiB) 189728 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4894 /proc/meminfo: memFree=1364472/2055920 swapFree=4192812/4192956 [pid=4885] ppid=4883 vsize=189728 CPUtime=1797.78 /proc/4885/stat : 4885 (bsolo) R 4883 4885 4628 0 -1 4194304 45262 0 0 0 179639 139 0 0 25 0 1 0 183966948 194281472 45031 1992294400 134512640 137136520 4294956256 18446744073709551615 134573386 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4885/statm: 47432 45031 197 640 0 46788 0 Current children cumulated CPU time (s) 1797.78 Current children cumulated vsize (KiB) 189728 [startup+1798.51 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4894 /proc/meminfo: memFree=1364472/2055920 swapFree=4192812/4192956 [pid=4885] ppid=4883 vsize=189728 CPUtime=1797.98 /proc/4885/stat : 4885 (bsolo) R 4883 4885 4628 0 -1 4194304 45262 0 0 0 179659 139 0 0 25 0 1 0 183966948 194281472 45031 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4885/statm: 47432 45031 197 640 0 46788 0 Current children cumulated CPU time (s) 1797.98 Current children cumulated vsize (KiB) 189728 Child status: 0 Real time (s): 1798.54 CPU time (s): 1798.03 CPU user time (s): 1796.6 CPU system time (s): 1.42778 CPU usage (%): 99.9715 Max. virtual memory (cumulated for all children) (KiB): 189732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.6 system time used= 1.42778 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 45264 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= 2227 runsolver used 1.44678 second user time and 5.10222 second system time The end
Begin job on node27 at 2009-06-16 16:47:53 IDJOB=1877689 IDBENCH=2235 IDSOLVER=699 FILE ID=node27/1877689-1245163673 PBS_JOBID= 9363812 Free space on /tmp= 66288 MiB SOLVER NAME= bsolo 3.1 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-5.opb COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1877689-1245163673/watcher-1877689-1245163673 -o /tmp/evaluation-result-1877689-1245163673/solver-1877689-1245163673 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1877689-1245163673.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 2e8a2f5e2511f10f037e700bd45c84a1 RANDOM SEED=1735860195 node27.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 : 2800.234 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 : 5521.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 : 2800.234 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: 1545560 kB Buffers: 53924 kB Cached: 377536 kB SwapCached: 0 kB Active: 64444 kB Inactive: 381444 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1545560 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 4352 kB Writeback: 0 kB Mapped: 24208 kB Slab: 50344 kB Committed_AS: 155212 kB PageTables: 1376 kB VmallocTotal: 536870911 kB VmallocUsed: 264948 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1877689-1245163673.opb Free space on /tmp at the end= 66284 MiB End job on node27 at 2009-06-16 17:17:51