Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT (TO) | -25 | 1800.04 | 1800.51 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-3.opb |
MD5SUM | 8e251d4e151b2868eb3a52cf845e4cf8 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | -30 |
Best CPU time to get the best result obtained on this benchmark | 127.537 |
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 | 17809 |
Number of constraints which are clauses | 17809 |
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.01 c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT 0.00/0.01 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.01 c type "bsolo -h" for help 0.00/0.01 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.01 c Time Limit set to 1800 0.00/0.01 c Memory Limit set to 1800 MB 0.00/0.01 c Instance file /tmp/evaluation/353397-1176664729/instance-353397-1176664729.opb 0.00/0.01 c File size is 422772 bytes. 0.02/0.08 c Highest Coefficient sum: 450 0.02/0.08 c Parsing was ok!! 0.02/0.08 c Total parsing time: 0.07 s 0.02/0.08 c Var: 450 Constr: 17809 17809/0/0 Lit: 35618 Watch. Lit: 35618 0.02/0.08 c Obj. Vars: 450 (100 % of total variables) 0.19/0.23 c Pre-processing Time: 0.229 s 0.19/0.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.24 c 0 450 17809 35618 2 35618 5936 0 0 0.23 0.19/0.24 c Switching off LPR mode. 0.19/0.24 o -23 0.232 0.28/0.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.28/0.37 c 0 450 17810 36068 2 35643 6936 1 0 0.23 0.28/0.37 c 101 450 17911 78781 4 35845 7630 102 392 0.26 0.28/0.37 c 351 450 18161 184680 10 36345 8394 352 1063 0.33 0.28/0.37 o -24 0.368 0.48/0.58 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.48/0.58 c 505 450 18316 250405 13 36679 6936 507 1368 0.37 0.48/0.58 c 605 450 18416 292633 15 36879 7630 607 1527 0.40 0.48/0.58 c 855 450 18666 398100 21 37379 8394 857 1830 0.47 0.48/0.58 o -25 0.574 1799.92/1800.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.92/1800.47 c 1195 450 19007 542198 28 38086 6936 1198 2078 0.57 1799.92/1800.47 c 1295 450 19107 584211 30 38286 7630 1298 2140 0.60 1799.92/1800.47 c 1545 450 19357 689426 35 38786 8394 1548 2139 0.72 1799.92/1800.47 c 2021 450 19833 889736 44 39738 9234 2024 2288 0.88 1799.92/1800.47 c 2834 450 20646 1231341 59 41364 10158 2837 2254 1.26 1799.92/1800.47 c 4154 450 21966 1787148 81 44004 11174 4157 2190 1.90 1799.92/1800.47 c 6235 450 24047 2662697 110 48166 12292 6238 1854 3.36 1799.92/1800.47 c 9458 450 27270 4019853 147 54612 13522 9461 1417 6.67 1799.92/1800.47 c 14394 450 25012 3065663 122 50049 14875 7203 775 18.55 1799.92/1800.47 c 21900 450 32518 6228045 191 65061 16363 14709 676 32.38 1799.92/1800.47 c 33261 450 26656 3758358 140 53337 18000 8847 585 56.85 1799.92/1800.47 c 50405 450 34376 7002691 203 68777 19801 16567 371 135.73 1799.92/1800.47 c 76224 450 29212 4834310 165 58449 21782 11403 311 244.73 1799.92/1800.47 c 115056 450 33984 6839721 201 67993 23961 16175 264 434.21 1799.92/1800.47 c 173409 450 38901 8901808 228 77827 26358 21092 218 795.19 1799.92/1800.47 c 261041 450 33525 6645751 198 67075 28994 15716 188 1381.86 1799.92/1800.47 c Resources Exceeded 1799.92/1800.47 v -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 1799.92/1800.47 v -x429 -x428 -x427 -x426 -x425 -x424 x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 1799.92/1800.47 v -x408 -x407 -x406 -x405 -x404 x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 1799.92/1800.47 v -x387 -x386 -x385 -x384 -x383 x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 1799.92/1800.47 v -x366 -x365 -x364 x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 1799.92/1800.47 v -x345 x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 x326 -x325 1799.92/1800.47 v -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 x306 -x305 -x304 1799.92/1800.47 v -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 1799.92/1800.47 v -x282 -x281 -x280 -x279 x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 1799.92/1800.47 v -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 x246 -x245 -x244 -x243 -x242 -x241 1799.92/1800.47 v -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 x229 -x228 -x227 -x226 -x225 x224 -x223 -x222 -x221 -x220 1799.92/1800.47 v -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 x200 -x199 1799.92/1800.47 v -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 1799.92/1800.47 v -x177 -x176 -x175 -x174 -x173 -x172 x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 1799.92/1800.47 v -x156 -x155 -x154 x153 -x152 -x151 -x150 x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 1799.92/1800.47 v -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 1799.92/1800.47 v -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 x97 -x96 -x95 -x94 -x93 1799.92/1800.47 v -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 1799.92/1800.47 v -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 1799.92/1800.47 v -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 1799.92/1800.47 v -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 1799.92/1800.47 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.92/1800.47 c 22 318633 24226 347144 36461 7879092 18652 177 1800.01 1799.92/1800.47 c Objective: -25 1799.92/1800.47 s SATISFIABLE 1799.92/1800.47 c Total time: 1800.01 s
OK -25
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node44/watcher-353397-1176664729 -o ROOT/results/node44/solver-353397-1176664729 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353397-1176664729/instance-353397-1176664729.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: 0.97 0.97 0.98 3/64 4860 /proc/meminfo: memFree=1823024/2055920 swapFree=4184880/4192956 [pid=4860] ppid=4858 vsize=3780 CPUtime=0 /proc/4860/stat : 4860 (bsolo3.0.16) D 4858 4860 4752 0 -1 4194304 185 0 2 0 0 0 0 0 18 0 1 0 114384628 3870720 155 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4160395582 0 0 4096 0 18446744071563479169 0 0 17 1 0 0 /proc/4860/statm: 945 155 129 324 0 14 0 [startup+0.0344561 s] /proc/loadavg: 0.97 0.97 0.98 3/64 4860 /proc/meminfo: memFree=1823024/2055920 swapFree=4184880/4192956 [pid=4860] ppid=4858 vsize=5024 CPUtime=0.02 /proc/4860/stat : 4860 (bsolo3.0.16) R 4858 4860 4752 0 -1 4194304 549 0 3 0 2 0 0 0 18 0 1 0 114384628 5144576 520 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4860/statm: 1256 521 316 324 0 221 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 5024 [startup+0.101463 s] /proc/loadavg: 0.97 0.97 0.98 3/64 4860 /proc/meminfo: memFree=1823024/2055920 swapFree=4184880/4192956 [pid=4860] ppid=4858 vsize=6636 CPUtime=0.09 /proc/4860/stat : 4860 (bsolo3.0.16) R 4858 4860 4752 0 -1 4194304 1148 0 3 0 9 0 0 0 18 0 1 0 114384628 6795264 1015 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4860/statm: 1659 1015 304 324 0 728 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6636 [startup+0.301483 s] /proc/loadavg: 0.97 0.97 0.98 3/64 4860 /proc/meminfo: memFree=1823024/2055920 swapFree=4184880/4192956 [pid=4860] ppid=4858 vsize=7932 CPUtime=0.28 /proc/4860/stat : 4860 (bsolo3.0.16) R 4858 4860 4752 0 -1 4194304 1592 0 3 0 27 1 0 0 19 0 1 0 114384628 8122368 1352 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 11716219 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4860/statm: 1983 1353 312 324 0 1052 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 7932 [startup+0.701523 s] /proc/loadavg: 0.97 0.97 0.98 3/64 4860 /proc/meminfo: memFree=1823024/2055920 swapFree=4184880/4192956 [pid=4860] ppid=4858 vsize=14840 CPUtime=0.68 /proc/4860/stat : 4860 (bsolo3.0.16) R 4858 4860 4752 0 -1 4194304 3321 0 3 0 67 1 0 0 22 0 1 0 114384628 15196160 3080 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 11716219 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4860/statm: 3710 3080 312 324 0 2779 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 14840 [startup+1.50161 s] /proc/loadavg: 0.97 0.97 0.98 2/65 4861 /proc/meminfo: memFree=1806760/2055920 swapFree=4184880/4192956 [pid=4860] ppid=4858 vsize=25356 CPUtime=1.48 /proc/4860/stat : 4860 (bsolo3.0.16) R 4858 4860 4752 0 -1 4194304 5953 0 3 0 146 2 0 0 25 0 1 0 114384628 25964544 5712 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4860/statm: 6339 5713 312 324 0 5408 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 25356 [startup+3.10177 s] /proc/loadavg: 0.97 0.97 0.98 2/65 4861 /proc/meminfo: memFree=1793896/2055920 swapFree=4184880/4192956 [pid=4860] ppid=4858 vsize=38860 CPUtime=3.08 /proc/4860/stat : 4860 (bsolo3.0.16) R 4858 4860 4752 0 -1 4194304 9332 0 3 0 304 4 0 0 25 0 1 0 114384628 39792640 9091 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 11716219 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4860/statm: 9715 9091 312 324 0 8784 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 38860 [startup+6.3011 s] /proc/loadavg: 0.97 0.97 0.98 2/65 4861 /proc/meminfo: memFree=1771560/2055920 swapFree=4184880/4192956 [pid=4860] ppid=4858 vsize=57080 CPUtime=6.28 /proc/4860/stat : 4860 (bsolo3.0.16) R 4858 4860 4752 0 -1 4194304 13893 0 3 0 621 7 0 0 25 0 1 0 114384628 58449920 13652 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4860/statm: 14270 13654 312 324 0 13339 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 57080 [startup+12.7018 s] /proc/loadavg: 0.98 0.97 0.98 2/65 4861 /proc/meminfo: memFree=1751720/2055920 swapFree=4184880/4192956 [pid=4860] ppid=4858 vsize=75828 CPUtime=12.68 /proc/4860/stat : 4860 (bsolo3.0.16) R 4858 4860 4752 0 -1 4194304 18589 0 3 0 1258 10 0 0 25 0 1 0 114384628 77647872 18348 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4860/statm: 18957 18348 312 324 0 18026 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 75828 [startup+25.5011 s] /proc/loadavg: 0.98 0.97 0.98 2/65 4861 /proc/meminfo: memFree=1742952/2055920 swapFree=4184880/4192956 [pid=4860] ppid=4858 vsize=82848 CPUtime=25.48 /proc/4860/stat : 4860 (bsolo3.0.16) R 4858 4860 4752 0 -1 4194304 20329 0 3 0 2536 12 0 0 25 0 1 0 114384628 84836352 20088 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4860/statm: 20712 20088 312 324 0 19781 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 82848 [startup+51.1017 s] /proc/loadavg: 0.99 0.97 0.98 2/65 4861 /proc/meminfo: memFree=1727464/2055920 swapFree=4184880/4192956 [pid=4860] ppid=4858 vsize=98356 CPUtime=51.07 /proc/4860/stat : 4860 (bsolo3.0.16) R 4858 4860 4752 0 -1 4194304 24209 0 3 0 5091 16 0 0 25 0 1 0 114384628 100716544 23968 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4860/statm: 24589 23968 312 324 0 23658 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 98356 [startup+102.306 s] /proc/loadavg: 0.99 0.97 0.98 2/65 4861 /proc/meminfo: memFree=1718632/2055920 swapFree=4184880/4192956 [pid=4860] ppid=4858 vsize=107192 CPUtime=102.26 /proc/4860/stat : 4860 (bsolo3.0.16) R 4858 4860 4752 0 -1 4194304 26420 0 3 0 10205 21 0 0 25 0 1 0 114384628 109764608 26179 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4860/statm: 26798 26179 312 324 0 25867 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 107192 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 4861 /proc/meminfo: memFree=1708712/2055920 swapFree=4184880/4192956 [pid=4860] ppid=4858 vsize=117024 CPUtime=162.23 /proc/4860/stat : 4860 (bsolo3.0.16) R 4858 4860 4752 0 -1 4194304 28879 0 3 0 16198 25 0 0 25 0 1 0 114384628 119832576 28638 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4860/statm: 29256 28638 312 324 0 28325 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 117024 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 4861 /proc/meminfo: memFree=1708520/2055920 swapFree=4184880/4192956 [pid=4860] ppid=4858 vsize=117208 CPUtime=222.22 /proc/4860/stat : 4860 (bsolo3.0.16) R 4858 4860 4752 0 -1 4194304 28925 0 3 0 22194 28 0 0 25 0 1 0 114384628 120020992 28684 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4860/statm: 29302 28684 312 324 0 28371 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 117208 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 4861 /proc/meminfo: memFree=1697640/2055920 swapFree=4184880/4192956 [pid=4860] ppid=4858 vsize=128068 CPUtime=282.21 /proc/4860/stat : 4860 (bsolo3.0.16) R 4858 4860 4752 0 -1 4194304 31642 0 3 0 28188 33 0 0 25 0 1 0 114384628 131141632 31401 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4860/statm: 32017 31401 312 324 0 31086 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 128068 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 4861 /proc/meminfo: memFree=1697576/2055920 swapFree=4184880/4192956 [pid=4860] ppid=4858 vsize=128068 CPUtime=342.2 /proc/4860/stat : 4860 (bsolo3.0.16) R 4858 4860 4752 0 -1 4194304 31642 0 3 0 34184 36 0 0 25 0 1 0 114384628 131141632 31401 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4860/statm: 32017 31401 312 324 0 31086 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 128068 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 4861 /proc/meminfo: memFree=1697576/2055920 swapFree=4184880/4192956 [pid=4860] ppid=4858 vsize=128068 CPUtime=402.18 /proc/4860/stat : 4860 (bsolo3.0.16) R 4858 4860 4752 0 -1 4194304 31642 0 3 0 40181 37 0 0 25 0 1 0 114384628 131141632 31401 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4860/statm: 32017 31401 312 324 0 31086 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 128068 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 4861 /proc/meminfo: memFree=1685864/2055920 swapFree=4184880/4192956 [pid=4860] ppid=4858 vsize=139804 CPUtime=462.16 /proc/4860/stat : 4860 (bsolo3.0.16) R 4858 4860 4752 0 -1 4194304 34578 0 3 0 46174 42 0 0 25 0 1 0 114384628 143159296 34337 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4860/statm: 34951 34337 312 324 0 34020 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 139804 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 4861 /proc/meminfo: memFree=1685800/2055920 swapFree=4184880/4192956 [pid=4860] ppid=4858 vsize=139804 CPUtime=522.15 /proc/4860/stat : 4860 (bsolo3.0.16) R 4858 4860 4752 0 -1 4194304 34578 0 3 0 52170 45 0 0 25 0 1 0 114384628 143159296 34337 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4860/statm: 34951 34337 312 324 0 34020 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 139804 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 4861 /proc/meminfo: memFree=1687464/2055920 swapFree=4184880/4192956 [pid=4860] ppid=4858 vsize=137956 CPUtime=582.14 /proc/4860/stat : 4860 (bsolo3.0.16) R 4858 4860 4752 0 -1 4194304 34578 0 3 0 58166 48 0 0 25 0 1 0 114384628 141266944 33883 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4860/statm: 34489 33883 312 324 0 33558 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 137956 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 4861 /proc/meminfo: memFree=1685736/2055920 swapFree=4184880/4192956 [pid=4860] ppid=4858 vsize=139808 CPUtime=642.12 /proc/4860/stat : 4860 (bsolo3.0.16) R 4858 4860 4752 0 -1 4194304 35033 0 3 0 64163 49 0 0 25 0 1 0 114384628 143163392 34338 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4860/statm: 34952 34338 312 324 0 34021 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 139808 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 4861 /proc/meminfo: memFree=1672744/2055920 swapFree=4184880/4192956 [pid=4860] ppid=4858 vsize=152784 CPUtime=882.05 /proc/4860/stat : 4860 (bsolo3.0.16) R 4858 4860 4752 0 -1 4194304 38734 0 3 0 88143 62 0 0 25 0 1 0 114384628 156450816 37584 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4860/statm: 38196 37584 312 324 0 37265 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 152784 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 4861 /proc/meminfo: memFree=1672616/2055920 swapFree=4184880/4192956 [pid=4860] ppid=4858 vsize=152880 CPUtime=942.04 /proc/4860/stat : 4860 (bsolo3.0.16) R 4858 4860 4752 0 -1 4194304 38758 0 3 0 94139 65 0 0 25 0 1 0 114384628 156549120 37608 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4860/statm: 38220 37608 312 324 0 37289 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 152880 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 4861 /proc/meminfo: memFree=1672680/2055920 swapFree=4184880/4192956 [pid=4860] ppid=4858 vsize=152880 CPUtime=1002.02 /proc/4860/stat : 4860 (bsolo3.0.16) R 4858 4860 4752 0 -1 4194304 38758 0 3 0 100136 66 0 0 25 0 1 0 114384628 156549120 37608 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 11712341 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4860/statm: 38220 37608 312 324 0 37289 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 152880 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 4861 /proc/meminfo: memFree=1672616/2055920 swapFree=4184880/4192956 [pid=4860] ppid=4858 vsize=152880 CPUtime=1062.01 /proc/4860/stat : 4860 (bsolo3.0.16) R 4858 4860 4752 0 -1 4194304 38761 0 3 0 106133 68 0 0 25 0 1 0 114384628 156549120 37611 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134572575 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4860/statm: 38220 37611 312 324 0 37289 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 152880 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 4861 /proc/meminfo: memFree=1672680/2055920 swapFree=4184880/4192956 [pid=4860] ppid=4858 vsize=152880 CPUtime=1122 /proc/4860/stat : 4860 (bsolo3.0.16) R 4858 4860 4752 0 -1 4194304 38761 0 3 0 112130 70 0 0 25 0 1 0 114384628 156549120 37611 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551296 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4860/statm: 38220 37611 312 324 0 37289 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 152880 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 4863 /proc/meminfo: memFree=1672616/2055920 swapFree=4184880/4192956 [pid=4860] ppid=4858 vsize=152880 CPUtime=1181.98 /proc/4860/stat : 4860 (bsolo3.0.16) R 4858 4860 4752 0 -1 4194304 38761 0 3 0 118125 73 0 0 25 0 1 0 114384628 156549120 37611 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4860/statm: 38220 37611 312 324 0 37289 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 152880 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 4863 /proc/meminfo: memFree=1672616/2055920 swapFree=4184880/4192956 [pid=4860] ppid=4858 vsize=152880 CPUtime=1241.96 /proc/4860/stat : 4860 (bsolo3.0.16) R 4858 4860 4752 0 -1 4194304 38761 0 3 0 124122 74 0 0 25 0 1 0 114384628 156549120 37611 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551296 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4860/statm: 38220 37611 312 324 0 37289 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 152880 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 4863 /proc/meminfo: memFree=1672616/2055920 swapFree=4184880/4192956 [pid=4860] ppid=4858 vsize=152880 CPUtime=1301.95 /proc/4860/stat : 4860 (bsolo3.0.16) R 4858 4860 4752 0 -1 4194304 38761 0 3 0 130119 76 0 0 25 0 1 0 114384628 156549120 37611 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4860/statm: 38220 37611 312 324 0 37289 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 152880 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 4863 /proc/meminfo: memFree=1672488/2055920 swapFree=4184880/4192956 [pid=4860] ppid=4858 vsize=152984 CPUtime=1361.93 /proc/4860/stat : 4860 (bsolo3.0.16) R 4858 4860 4752 0 -1 4194304 38784 0 3 0 136116 77 0 0 25 0 1 0 114384628 156655616 37634 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4860/statm: 38246 37634 312 324 0 37315 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 152984 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.98 2/65 4863 /proc/meminfo: memFree=1669736/2055920 swapFree=4184880/4192956 [pid=4860] ppid=4858 vsize=155812 CPUtime=1421.92 /proc/4860/stat : 4860 (bsolo3.0.16) R 4858 4860 4752 0 -1 4194304 39484 0 3 0 142111 81 0 0 25 0 1 0 114384628 159551488 38334 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 11716219 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4860/statm: 38953 38334 312 324 0 38022 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 155812 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 4863 /proc/meminfo: memFree=1658152/2055920 swapFree=4184880/4192956 [pid=4860] ppid=4858 vsize=167272 CPUtime=1481.91 /proc/4860/stat : 4860 (bsolo3.0.16) R 4858 4860 4752 0 -1 4194304 42359 0 3 0 148105 86 0 0 25 0 1 0 114384628 171286528 41209 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4860/statm: 41818 41209 312 324 0 40887 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 167272 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 4863 /proc/meminfo: memFree=1658152/2055920 swapFree=4184880/4192956 [pid=4860] ppid=4858 vsize=167272 CPUtime=1541.89 /proc/4860/stat : 4860 (bsolo3.0.16) R 4858 4860 4752 0 -1 4194304 42359 0 3 0 154101 88 0 0 25 0 1 0 114384628 171286528 41209 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4860/statm: 41818 41209 312 324 0 40887 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 167272 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 4863 /proc/meminfo: memFree=1658152/2055920 swapFree=4184880/4192956 [pid=4860] ppid=4858 vsize=167320 CPUtime=1601.87 /proc/4860/stat : 4860 (bsolo3.0.16) R 4858 4860 4752 0 -1 4194304 42371 0 3 0 160098 89 0 0 25 0 1 0 114384628 171335680 41221 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4860/statm: 41830 41221 312 324 0 40899 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 167320 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 4863 /proc/meminfo: memFree=1658088/2055920 swapFree=4184880/4192956 [pid=4860] ppid=4858 vsize=167320 CPUtime=1661.86 /proc/4860/stat : 4860 (bsolo3.0.16) R 4858 4860 4752 0 -1 4194304 42371 0 3 0 166095 91 0 0 25 0 1 0 114384628 171335680 41221 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 11712350 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4860/statm: 41830 41221 312 324 0 40899 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 167320 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 4863 /proc/meminfo: memFree=1658088/2055920 swapFree=4184880/4192956 [pid=4860] ppid=4858 vsize=167320 CPUtime=1721.84 /proc/4860/stat : 4860 (bsolo3.0.16) R 4858 4860 4752 0 -1 4194304 42371 0 3 0 172092 92 0 0 25 0 1 0 114384628 171335680 41221 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4860/statm: 41830 41221 312 324 0 40899 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 167320 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 4863 /proc/meminfo: memFree=1657960/2055920 swapFree=4184880/4192956 [pid=4860] ppid=4858 vsize=167404 CPUtime=1781.82 /proc/4860/stat : 4860 (bsolo3.0.16) R 4858 4860 4752 0 -1 4194304 42392 0 3 0 178089 93 0 0 25 0 1 0 114384628 171421696 41242 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4860/statm: 41851 41242 312 324 0 40920 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 167404 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 0.99 0.97 0.98 2/65 4863 /proc/meminfo: memFree=1796840/2055920 swapFree=4184880/4192956 [pid=4860] ppid=4858 vsize=0 CPUtime=1800.03 /proc/4860/stat : 4860 (bsolo3.0.16) R 4858 4860 4752 0 -1 4194308 42393 0 3 0 179906 97 0 0 25 0 1 0 114384628 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4860/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 0 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 0.99 0.97 0.98 2/65 4863 /proc/meminfo: memFree=1796840/2055920 swapFree=4184880/4192956 [pid=4860] ppid=4858 vsize=0 CPUtime=1800.03 /proc/4860/stat : 4860 (bsolo3.0.16) R 4858 4860 4752 0 -1 4194308 42393 0 3 0 179906 97 0 0 25 0 1 0 114384628 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4860/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.51 CPU time (s): 1800.04 CPU user time (s): 1799.06 CPU system time (s): 0.974851 CPU usage (%): 99.9739 Max. virtual memory (cumulated for all children) (KiB): 167404 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.06 system time used= 0.974851 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 42393 page faults= 3 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 15 involuntary context switches= 3536 runsolver used 1.13983 second user time and 3.79642 second system time The end
Begin job on node44 on Sun Apr 15 19:18:49 UTC 2007 IDJOB= 353397 IDBENCH= 2239 IDSOLVER= 163 FILE ID= node44/353397-1176664729 PBS_JOBID= 4559928 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-3.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353397-1176664729/instance-353397-1176664729.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node44/watcher-353397-1176664729 -o ROOT/results/node44/solver-353397-1176664729 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353397-1176664729/instance-353397-1176664729.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 8e251d4e151b2868eb3a52cf845e4cf8 RANDOM SEED= 14436246 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node44.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.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 : 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.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: 1823496 kB Buffers: 19924 kB Cached: 123472 kB SwapCached: 2124 kB Active: 62688 kB Inactive: 90476 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1823496 kB SwapTotal: 4192956 kB SwapFree: 4184880 kB Dirty: 4808 kB Writeback: 0 kB Mapped: 16780 kB Slab: 65296 kB Committed_AS: 257980 kB PageTables: 1396 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 node44 on Sun Apr 15 19:48:52 UTC 2007