Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Card | SAT | -26 | 1798.02 | 1798.51 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-4.opb |
MD5SUM | 7bb05c60facd55e51c4cfcaa0e217e6e |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -29 |
Best CPU time to get the best result obtained on this benchmark | 1789.61 |
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 | 17831 |
Number of constraints which are clauses | 17831 |
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.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-2656519-1276488296.opb 0.00/0.00 c File size is 422586 bytes. 0.04/0.06 c Highest Coefficient sum: 450 0.04/0.06 c Parsing was ok!! 0.04/0.06 c Total parsing time: 0.067 s 0.04/0.07 c Var: 450 Constr: 17831 17831/0/0 Lit: 35662 Watch. Lit: 35662 0.04/0.07 c Obj. Vars: 450 (100 % of total variables) 0.19/0.22 c Pre-processing Time: 0.221 s 0.19/0.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.22 c 0 450 17831 35662 2 35662 5943 0 0 0.22 0.19/0.22 c Switching off lower bounding mode. 0.19/0.22 o -22 0.19/0.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.22 c 0 450 17832 36112 2 35686 6943 1 0 0.23 0.19/0.22 o -23 0.89/0.98 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.98 c 1 450 17834 36988 2 35713 6943 3 4 0.23 0.89/0.98 c 101 450 17949 85570 4 35943 7638 118 336 0.30 0.89/0.98 c 352 450 18243 209669 11 36531 8402 412 688 0.51 0.89/0.98 c 830 450 18802 445256 23 37649 9243 971 870 0.95 0.89/0.98 o -24 1.69/1.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.69/1.80 c 858 450 18835 459250 24 37739 6943 1004 875 0.98 1.69/1.80 c 958 450 18951 508113 26 37971 7638 1120 894 1.07 1.69/1.80 c 1208 450 19237 628713 32 38543 8402 1406 924 1.31 1.69/1.80 c 1683 450 19793 862532 43 39655 9243 1962 939 1.79 1.69/1.80 o -25 201.93/202.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 201.93/202.09 c 1689 450 19800 865521 43 39694 6943 1969 938 1.80 201.93/202.09 c 1789 450 19912 912527 45 39918 7638 2081 940 1.90 201.93/202.09 c 2039 450 20197 1032377 51 40488 8402 2366 947 2.15 201.93/202.09 c 2516 450 20744 1262152 60 41582 9243 2913 950 2.65 201.93/202.09 c 3329 450 21668 1650589 76 43430 10168 3837 946 3.52 201.93/202.09 c 4650 450 23177 2284371 98 46448 11185 5346 879 5.29 201.93/202.09 c 6731 450 25549 3280652 128 51192 12304 7718 808 8.32 201.93/202.09 c 9954 450 29260 4838459 165 58614 13535 11429 732 13.60 201.93/202.09 c 14890 450 27647 4159673 150 55319 14889 9816 639 23.28 201.93/202.09 c 22397 450 28492 4512209 158 57009 16378 10661 532 42.08 201.93/202.09 c 33758 450 33098 6444713 194 66221 18016 15267 465 72.58 201.93/202.09 c 50902 450 34043 6835125 200 68111 19818 16212 402 126.48 201.93/202.09 o -26 1797.91/1798.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.91/1798.49 c 74464 450 30322 5277872 174 60695 6943 12491 368 202.03 1797.91/1798.49 c 74564 450 21420 1542771 72 42866 7638 3589 368 202.43 1797.91/1798.49 c 74814 450 21706 1662450 76 43438 8402 3875 369 202.74 1797.91/1798.49 c 75290 450 22245 1888378 84 44516 9243 4414 370 203.32 1797.91/1798.49 c 76104 450 23149 2268007 97 46324 10168 5318 372 204.45 1797.91/1798.49 c 77424 450 24708 2920120 118 49442 11185 6877 375 206.45 1797.91/1798.49 c 79505 450 27107 3922720 144 54240 12304 9276 379 209.66 1797.91/1798.49 c 82729 450 24294 2737937 112 48638 13535 6463 381 216.64 1797.91/1798.49 c 87666 450 29983 5119087 170 60016 14889 12152 387 226.34 1797.91/1798.49 c 95172 450 30708 5428626 176 61442 16378 12877 389 244.25 1797.91/1798.49 c 106533 450 26578 3699677 139 53182 18016 8747 387 275.03 1797.91/1798.49 c 123677 450 27724 4170706 150 55497 19818 9893 376 328.42 1797.91/1798.49 c 149498 450 37239 8149372 218 74551 21800 19408 372 400.92 1797.91/1798.49 c 188330 450 37188 8135571 218 74426 23981 19357 358 524.84 1797.91/1798.49 c 246682 450 30808 5450793 176 61663 26380 12977 338 728.58 1797.91/1798.49 c 334315 450 32590 6207345 190 65225 29019 14759 282 1182.24 1797.91/1798.49 c 465867 450 36868 7986364 216 73762 31921 19037 266 1751.12 1797.91/1798.49 c Resources Exceeded 1797.91/1798.49 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.91/1798.49 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.91/1798.49 c 38 479516 27337 511163 33242 6485278 15411 266 1798.00 1797.91/1798.49 c Objective: -26 1797.91/1798.49 s SATISFIABLE 1797.91/1798.49 c Total time: 1798 s
OK -26
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2656519-1276488296/watcher-2656519-1276488296 -o /tmp/evaluation-result-2656519-1276488296/solver-2656519-1276488296 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656519-1276488296.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 0.98 0.99 3/106 28790 /proc/meminfo: memFree=1821184/2059040 swapFree=4140108/4192956 [pid=28790] ppid=28788 vsize=11344 CPUtime=0 /proc/28790/stat : 28790 (bsolo_pb10) R 28788 28790 27567 0 -1 4202496 346 0 0 0 0 0 0 0 17 0 1 0 24433316 11616256 265 1992294400 134512640 137138936 4289354224 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28790/statm: 2836 265 176 642 0 2088 0 [startup+0.043535 s] /proc/loadavg: 0.99 0.98 0.99 3/106 28790 /proc/meminfo: memFree=1821184/2059040 swapFree=4140108/4192956 [pid=28790] ppid=28788 vsize=12176 CPUtime=0.04 /proc/28790/stat : 28790 (bsolo_pb10) R 28788 28790 27567 0 -1 4202496 632 0 0 0 4 0 0 0 17 0 1 0 24433316 12468224 551 1992294400 134512640 137138936 4289354224 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28790/statm: 3044 551 230 642 0 2296 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 12176 [startup+0.101541 s] /proc/loadavg: 0.99 0.98 0.99 3/106 28790 /proc/meminfo: memFree=1821184/2059040 swapFree=4140108/4192956 [pid=28790] ppid=28788 vsize=13896 CPUtime=0.09 /proc/28790/stat : 28790 (bsolo_pb10) R 28788 28790 27567 0 -1 4202496 1212 0 0 0 9 0 0 0 17 0 1 0 24433316 14229504 1027 1992294400 134512640 137138936 4289354224 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28790/statm: 3474 1027 185 642 0 2830 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13896 [startup+0.301563 s] /proc/loadavg: 0.99 0.98 0.99 3/106 28790 /proc/meminfo: memFree=1821184/2059040 swapFree=4140108/4192956 [pid=28790] ppid=28788 vsize=14052 CPUtime=0.29 /proc/28790/stat : 28790 (bsolo_pb10) R 28788 28790 27567 0 -1 4202496 1356 0 0 0 27 2 0 0 17 0 1 0 24433316 14389248 1063 1992294400 134512640 137138936 4289354224 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28790/statm: 3513 1063 192 642 0 2869 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 14052 [startup+0.70161 s] /proc/loadavg: 0.99 0.98 0.99 3/106 28790 /proc/meminfo: memFree=1821184/2059040 swapFree=4140108/4192956 [pid=28790] ppid=28788 vsize=17064 CPUtime=0.69 /proc/28790/stat : 28790 (bsolo_pb10) R 28788 28790 27567 0 -1 4202496 2110 0 0 0 67 2 0 0 17 0 1 0 24433316 17473536 1817 1992294400 134512640 137138936 4289354224 18446744073709551615 134606691 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28790/statm: 4266 1817 192 642 0 3622 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 17064 [startup+1.5017 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28791 /proc/meminfo: memFree=1812496/2059040 swapFree=4140108/4192956 [pid=28790] ppid=28788 vsize=22316 CPUtime=1.49 /proc/28790/stat : 28790 (bsolo_pb10) R 28788 28790 27567 0 -1 4202496 3440 0 0 0 147 2 0 0 18 0 1 0 24433316 22851584 3147 1992294400 134512640 137138936 4289354224 18446744073709551615 134542761 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28790/statm: 5579 3147 192 642 0 4935 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 22316 [startup+3.10189 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28791 /proc/meminfo: memFree=1805428/2059040 swapFree=4140108/4192956 [pid=28790] ppid=28788 vsize=31944 CPUtime=3.09 /proc/28790/stat : 28790 (bsolo_pb10) R 28788 28790 27567 0 -1 4202496 5842 0 0 0 306 3 0 0 21 0 1 0 24433316 32710656 5549 1992294400 134512640 137138936 4289354224 18446744073709551615 134618549 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28790/statm: 7986 5549 192 642 0 7342 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 31944 [startup+6.30126 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28791 /proc/meminfo: memFree=1788192/2059040 swapFree=4140108/4192956 [pid=28790] ppid=28788 vsize=47280 CPUtime=6.29 /proc/28790/stat : 28790 (bsolo_pb10) R 28788 28790 27567 0 -1 4202496 9679 0 0 0 623 6 0 0 25 0 1 0 24433316 48414720 9386 1992294400 134512640 137138936 4289354224 18446744073709551615 136504268 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28790/statm: 11820 9386 192 642 0 11176 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 47280 [startup+12.702 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28791 /proc/meminfo: memFree=1760788/2059040 swapFree=4140108/4192956 [pid=28790] ppid=28788 vsize=72768 CPUtime=12.69 /proc/28790/stat : 28790 (bsolo_pb10) R 28788 28790 27567 0 -1 4202496 16057 0 0 0 1259 10 0 0 25 0 1 0 24433316 74514432 15764 1992294400 134512640 137138936 4289354224 18446744073709551615 136504016 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28790/statm: 18192 15764 192 642 0 17548 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 72768 [startup+25.5015 s] /proc/loadavg: 1.07 1.00 1.00 2/107 28791 /proc/meminfo: memFree=1741444/2059040 swapFree=4140108/4192956 [pid=28790] ppid=28788 vsize=89536 CPUtime=25.49 /proc/28790/stat : 28790 (bsolo_pb10) R 28788 28790 27567 0 -1 4202496 20250 0 0 0 2534 15 0 0 25 0 1 0 24433316 91684864 19957 1992294400 134512640 137138936 4289354224 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28790/statm: 22384 19957 192 642 0 21740 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 89536 [startup+51.1014 s] /proc/loadavg: 1.04 1.00 1.00 2/107 28791 /proc/meminfo: memFree=1733384/2059040 swapFree=4140108/4192956 [pid=28790] ppid=28788 vsize=99176 CPUtime=51.07 /proc/28790/stat : 28790 (bsolo_pb10) R 28788 28790 27567 0 -1 4202496 22663 0 0 0 5088 19 0 0 25 0 1 0 24433316 101556224 22370 1992294400 134512640 137138936 4289354224 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28790/statm: 24794 22370 192 642 0 24150 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 99176 [startup+102.308 s] /proc/loadavg: 1.06 1.01 1.00 2/107 28793 /proc/meminfo: memFree=1716768/2059040 swapFree=4140108/4192956 [pid=28790] ppid=28788 vsize=114076 CPUtime=102.27 /proc/28790/stat : 28790 (bsolo_pb10) R 28788 28790 27567 0 -1 4202496 26383 0 0 0 10198 29 0 0 25 0 1 0 24433316 116813824 26090 1992294400 134512640 137138936 4289354224 18446744073709551615 136504091 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28790/statm: 28519 26090 192 642 0 27875 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 114076 [startup+162.301 s] /proc/loadavg: 1.07 1.02 1.00 2/107 28795 /proc/meminfo: memFree=1706476/2059040 swapFree=4140108/4192956 [pid=28790] ppid=28788 vsize=124216 CPUtime=162.24 /proc/28790/stat : 28790 (bsolo_pb10) R 28788 28790 27567 0 -1 4202496 28911 0 0 0 16187 37 0 0 25 0 1 0 24433316 127197184 28618 1992294400 134512640 137138936 4289354224 18446744073709551615 136504512 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28790/statm: 31054 28618 192 642 0 30410 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 124216 [startup+222.301 s] /proc/loadavg: 1.06 1.03 1.00 2/107 28797 /proc/meminfo: memFree=1706352/2059040 swapFree=4140108/4192956 [pid=28790] ppid=28788 vsize=124332 CPUtime=222.23 /proc/28790/stat : 28790 (bsolo_pb10) R 28788 28790 27567 0 -1 4202496 28951 0 0 0 22177 46 0 0 25 0 1 0 24433316 127315968 28658 1992294400 134512640 137138936 4289354224 18446744073709551615 136297622 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28790/statm: 31083 28658 192 642 0 30439 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 124332 [startup+282.301 s] /proc/loadavg: 1.06 1.04 1.00 2/107 28799 /proc/meminfo: memFree=1706228/2059040 swapFree=4140108/4192956 [pid=28790] ppid=28788 vsize=124332 CPUtime=282.21 /proc/28790/stat : 28790 (bsolo_pb10) R 28788 28790 27567 0 -1 4202496 28951 0 0 0 28167 54 0 0 25 0 1 0 24433316 127315968 28658 1992294400 134512640 137138936 4289354224 18446744073709551615 134551360 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28790/statm: 31083 28658 192 642 0 30439 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 124332 [startup+342.301 s] /proc/loadavg: 1.06 1.04 1.00 2/107 28799 /proc/meminfo: memFree=1706228/2059040 swapFree=4140108/4192956 [pid=28790] ppid=28788 vsize=124332 CPUtime=342.2 /proc/28790/stat : 28790 (bsolo_pb10) R 28788 28790 27567 0 -1 4202496 28951 0 0 0 34157 63 0 0 25 0 1 0 24433316 127315968 28658 1992294400 134512640 137138936 4289354224 18446744073709551615 136502600 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28790/statm: 31083 28658 192 642 0 30439 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 124332 [startup+402.301 s] /proc/loadavg: 1.06 1.05 1.00 2/107 28801 /proc/meminfo: memFree=1706104/2059040 swapFree=4140108/4192956 [pid=28790] ppid=28788 vsize=124328 CPUtime=402.18 /proc/28790/stat : 28790 (bsolo_pb10) R 28788 28790 27567 0 -1 4202496 28951 0 0 0 40147 71 0 0 25 0 1 0 24433316 127311872 28658 1992294400 134512640 137138936 4289354224 18446744073709551615 134574740 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28790/statm: 31082 28658 192 642 0 30438 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 124328 [startup+462.301 s] /proc/loadavg: 1.12 1.07 1.00 2/107 28803 /proc/meminfo: memFree=1695812/2059040 swapFree=4140108/4192956 [pid=28790] ppid=28788 vsize=134668 CPUtime=462.17 /proc/28790/stat : 28790 (bsolo_pb10) R 28788 28790 27567 0 -1 4202496 31535 0 0 0 46136 81 0 0 25 0 1 0 24433316 137900032 31242 1992294400 134512640 137138936 4289354224 18446744073709551615 134542202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28790/statm: 33667 31242 192 642 0 33023 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 134668 [startup+522.301 s] /proc/loadavg: 1.12 1.07 1.00 2/107 28806 /proc/meminfo: memFree=1694944/2059040 swapFree=4140108/4192956 [pid=28790] ppid=28788 vsize=135096 CPUtime=522.14 /proc/28790/stat : 28790 (bsolo_pb10) R 28788 28790 27567 0 -1 4202496 31633 0 0 0 52125 89 0 0 25 0 1 0 24433316 138338304 31340 1992294400 134512640 137138936 4289354224 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28790/statm: 33774 31340 192 642 0 33130 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 135096 [startup+582.301 s] /proc/loadavg: 1.10 1.07 1.00 2/107 28810 /proc/meminfo: memFree=1682916/2059040 swapFree=4140108/4192956 [pid=28790] ppid=28788 vsize=146856 CPUtime=582.12 /proc/28790/stat : 28790 (bsolo_pb10) R 28788 28790 27567 0 -1 4202496 34576 0 0 0 58115 97 0 0 25 0 1 0 24433316 150380544 34283 1992294400 134512640 137138936 4289354224 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28790/statm: 36714 34283 192 642 0 36070 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 146856 [startup+642.301 s] /proc/loadavg: 1.09 1.07 1.00 2/107 28810 /proc/meminfo: memFree=1682916/2059040 swapFree=4140108/4192956 [pid=28790] ppid=28788 vsize=146856 CPUtime=642.12 /proc/28790/stat : 28790 (bsolo_pb10) R 28788 28790 27567 0 -1 4202496 34576 0 0 0 64108 104 0 0 25 0 1 0 24433316 150380544 34283 1992294400 134512640 137138936 4289354224 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28790/statm: 36714 34283 192 642 0 36070 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 146856 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1670144/2059040 swapFree=4140108/4192956 [pid=28790] ppid=28788 vsize=159940 CPUtime=1062 /proc/28790/stat : 28790 (bsolo_pb10) R 28788 28790 27567 0 -1 4202496 37848 0 0 0 106054 146 0 0 25 0 1 0 24433316 163778560 37555 1992294400 134512640 137138936 4289354224 18446744073709551615 136511176 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28790/statm: 39985 37555 192 642 0 39341 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 159940 [startup+1122.3 s] /proc/loadavg: 1.12 1.08 1.00 2/107 28824 /proc/meminfo: memFree=1670144/2059040 swapFree=4140108/4192956 [pid=28790] ppid=28788 vsize=160032 CPUtime=1121.99 /proc/28790/stat : 28790 (bsolo_pb10) R 28788 28790 27567 0 -1 4202496 37871 0 0 0 112047 152 0 0 25 0 1 0 24433316 163872768 37578 1992294400 134512640 137138936 4289354224 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28790/statm: 40008 37578 192 642 0 39364 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 160032 [startup+1182.3 s] /proc/loadavg: 1.12 1.08 1.00 2/107 28826 /proc/meminfo: memFree=1670020/2059040 swapFree=4140108/4192956 [pid=28790] ppid=28788 vsize=160028 CPUtime=1181.96 /proc/28790/stat : 28790 (bsolo_pb10) R 28788 28790 27567 0 -1 4202496 37871 0 0 0 118040 156 0 0 25 0 1 0 24433316 163868672 37578 1992294400 134512640 137138936 4289354224 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28790/statm: 40007 37578 192 642 0 39363 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 160028 [startup+1242.3 s] /proc/loadavg: 1.10 1.07 1.00 2/107 28826 /proc/meminfo: memFree=1655512/2059040 swapFree=4140108/4192956 [pid=28790] ppid=28788 vsize=174320 CPUtime=1241.95 /proc/28790/stat : 28790 (bsolo_pb10) R 28788 28790 27567 0 -1 4202496 41446 0 0 0 124030 165 0 0 25 0 1 0 24433316 178503680 41153 1992294400 134512640 137138936 4289354224 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28790/statm: 43580 41153 192 642 0 42936 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 174320 [startup+1302.3 s] /proc/loadavg: 1.09 1.07 1.00 2/107 28828 /proc/meminfo: memFree=1655388/2059040 swapFree=4140108/4192956 [pid=28790] ppid=28788 vsize=174316 CPUtime=1301.94 /proc/28790/stat : 28790 (bsolo_pb10) R 28788 28790 27567 0 -1 4202496 41446 0 0 0 130024 170 0 0 25 0 1 0 24433316 178499584 41153 1992294400 134512640 137138936 4289354224 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28790/statm: 43579 41153 192 642 0 42935 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 174316 [startup+1362.3 s] /proc/loadavg: 1.08 1.07 1.00 2/107 28830 /proc/meminfo: memFree=1655388/2059040 swapFree=4140108/4192956 [pid=28790] ppid=28788 vsize=174316 CPUtime=1361.92 /proc/28790/stat : 28790 (bsolo_pb10) R 28788 28790 27567 0 -1 4202496 41446 0 0 0 136014 178 0 0 25 0 1 0 24433316 178499584 41153 1992294400 134512640 137138936 4289354224 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28790/statm: 43579 41153 192 642 0 42935 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 174316 [startup+1422.31 s] /proc/loadavg: 1.08 1.07 1.00 2/107 28832 /proc/meminfo: memFree=1655388/2059040 swapFree=4140108/4192956 [pid=28790] ppid=28788 vsize=174316 CPUtime=1421.91 /proc/28790/stat : 28790 (bsolo_pb10) R 28788 28790 27567 0 -1 4202496 41446 0 0 0 142005 186 0 0 25 0 1 0 24433316 178499584 41153 1992294400 134512640 137138936 4289354224 18446744073709551615 134542497 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28790/statm: 43579 41153 192 642 0 42935 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 174316 [startup+1482.3 s] /proc/loadavg: 1.07 1.07 1.00 2/107 28834 /proc/meminfo: memFree=1655264/2059040 swapFree=4140108/4192956 [pid=28790] ppid=28788 vsize=174316 CPUtime=1481.89 /proc/28790/stat : 28790 (bsolo_pb10) R 28788 28790 27567 0 -1 4202496 41446 0 0 0 147996 193 0 0 25 0 1 0 24433316 178499584 41153 1992294400 134512640 137138936 4289354224 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28790/statm: 43579 41153 192 642 0 42935 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 174316 [startup+1542.3 s] /proc/loadavg: 1.07 1.07 1.00 2/107 28834 /proc/meminfo: memFree=1655264/2059040 swapFree=4140108/4192956 [pid=28790] ppid=28788 vsize=174316 CPUtime=1541.87 /proc/28790/stat : 28790 (bsolo_pb10) R 28788 28790 27567 0 -1 4202496 41446 0 0 0 153989 198 0 0 25 0 1 0 24433316 178499584 41153 1992294400 134512640 137138936 4289354224 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28790/statm: 43579 41153 192 642 0 42935 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 174316 [startup+1602.3 s] /proc/loadavg: 1.06 1.07 1.00 2/107 28836 /proc/meminfo: memFree=1655140/2059040 swapFree=4140108/4192956 [pid=28790] ppid=28788 vsize=174316 CPUtime=1601.86 /proc/28790/stat : 28790 (bsolo_pb10) R 28788 28790 27567 0 -1 4202496 41446 0 0 0 159980 206 0 0 25 0 1 0 24433316 178499584 41153 1992294400 134512640 137138936 4289354224 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28790/statm: 43579 41153 192 642 0 42935 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 174316 [startup+1662.3 s] /proc/loadavg: 1.06 1.07 1.00 2/107 28838 /proc/meminfo: memFree=1655016/2059040 swapFree=4140108/4192956 [pid=28790] ppid=28788 vsize=174316 CPUtime=1661.84 /proc/28790/stat : 28790 (bsolo_pb10) R 28788 28790 27567 0 -1 4202496 41446 0 0 0 165971 213 0 0 25 0 1 0 24433316 178499584 41153 1992294400 134512640 137138936 4289354224 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28790/statm: 43579 41153 192 642 0 42935 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 174316 [startup+1722.3 s] /proc/loadavg: 1.06 1.07 1.00 2/107 28840 /proc/meminfo: memFree=1655016/2059040 swapFree=4140108/4192956 [pid=28790] ppid=28788 vsize=174316 CPUtime=1721.82 /proc/28790/stat : 28790 (bsolo_pb10) R 28788 28790 27567 0 -1 4202496 41446 0 0 0 171965 217 0 0 25 0 1 0 24433316 178499584 41153 1992294400 134512640 137138936 4289354224 18446744073709551615 134606964 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28790/statm: 43579 41153 192 642 0 42935 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 174316 [startup+1782.3 s] /proc/loadavg: 1.12 1.08 1.00 2/107 28842 /proc/meminfo: memFree=1649560/2059040 swapFree=4140108/4192956 [pid=28790] ppid=28788 vsize=180344 CPUtime=1781.8 /proc/28790/stat : 28790 (bsolo_pb10) R 28788 28790 27567 0 -1 4202496 42940 0 0 0 177956 224 0 0 25 0 1 0 24433316 184672256 42647 1992294400 134512640 137138936 4289354224 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28790/statm: 45086 42647 192 642 0 44442 0 Current children cumulated CPU time (s) 1781.8 Current children cumulated vsize (KiB) 180344 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.10 1.08 1.00 2/107 28842 /proc/meminfo: memFree=1639392/2059040 swapFree=4140108/4192956 [pid=28790] ppid=28788 vsize=189888 CPUtime=1791.41 /proc/28790/stat : 28790 (bsolo_pb10) R 28788 28790 27567 0 -1 4202496 45340 0 0 0 178913 228 0 0 25 0 1 0 24433316 194445312 45047 1992294400 134512640 137138936 4289354224 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28790/statm: 47472 45047 192 642 0 46828 0 Current children cumulated CPU time (s) 1791.41 Current children cumulated vsize (KiB) 189888 [startup+1795.1 s] /proc/loadavg: 1.10 1.08 1.00 2/107 28842 /proc/meminfo: memFree=1639392/2059040 swapFree=4140108/4192956 [pid=28790] ppid=28788 vsize=189888 CPUtime=1794.61 /proc/28790/stat : 28790 (bsolo_pb10) R 28788 28790 27567 0 -1 4202496 45340 0 0 0 179232 229 0 0 25 0 1 0 24433316 194445312 45047 1992294400 134512640 137138936 4289354224 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28790/statm: 47472 45047 192 642 0 46828 0 Current children cumulated CPU time (s) 1794.61 Current children cumulated vsize (KiB) 189888 [startup+1796.7 s] /proc/loadavg: 1.10 1.08 1.00 2/107 28842 /proc/meminfo: memFree=1639392/2059040 swapFree=4140108/4192956 [pid=28790] ppid=28788 vsize=189888 CPUtime=1796.21 /proc/28790/stat : 28790 (bsolo_pb10) R 28788 28790 27567 0 -1 4202496 45340 0 0 0 179392 229 0 0 25 0 1 0 24433316 194445312 45047 1992294400 134512640 137138936 4289354224 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28790/statm: 47472 45047 192 642 0 46828 0 Current children cumulated CPU time (s) 1796.21 Current children cumulated vsize (KiB) 189888 [startup+1797.5 s] /proc/loadavg: 1.09 1.08 1.00 2/107 28842 /proc/meminfo: memFree=1639392/2059040 swapFree=4140108/4192956 [pid=28790] ppid=28788 vsize=189888 CPUtime=1797.01 /proc/28790/stat : 28790 (bsolo_pb10) R 28788 28790 27567 0 -1 4202496 45340 0 0 0 179472 229 0 0 25 0 1 0 24433316 194445312 45047 1992294400 134512640 137138936 4289354224 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28790/statm: 47472 45047 192 642 0 46828 0 Current children cumulated CPU time (s) 1797.01 Current children cumulated vsize (KiB) 189888 [startup+1798.3 s] /proc/loadavg: 1.09 1.08 1.00 2/107 28842 /proc/meminfo: memFree=1639392/2059040 swapFree=4140108/4192956 [pid=28790] ppid=28788 vsize=189888 CPUtime=1797.81 /proc/28790/stat : 28790 (bsolo_pb10) R 28788 28790 27567 0 -1 4202496 45340 0 0 0 179552 229 0 0 25 0 1 0 24433316 194445312 45047 1992294400 134512640 137138936 4289354224 18446744073709551615 134552293 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28790/statm: 47472 45047 192 642 0 46828 0 Current children cumulated CPU time (s) 1797.81 Current children cumulated vsize (KiB) 189888 [startup+1798.51 s] /proc/loadavg: 1.09 1.08 1.00 2/107 28842 /proc/meminfo: memFree=1639392/2059040 swapFree=4140108/4192956 [pid=28790] ppid=28788 vsize=0 CPUtime=1798.02 /proc/28790/stat : 28790 (bsolo_pb10) R 28788 28790 27567 0 -1 4202500 45341 0 0 0 179571 231 0 0 25 0 1 0 24433316 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0 /proc/28790/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1798.02 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1798.51 CPU time (s): 1798.02 CPU user time (s): 1795.71 CPU system time (s): 2.31465 CPU usage (%): 99.9729 Max. virtual memory (cumulated for all children) (KiB): 190012 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.71 system time used= 2.31465 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 45341 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= 4740 runsolver used 2.84457 second user time and 8.61769 second system time The end
Begin job on node006 at 2010-06-14 06:04:56 IDJOB=2656519 IDBENCH=2238 IDSOLVER=1162 FILE ID=node006/2656519-1276488296 PBS_JOBID= 11173379 Free space on /tmp= 62472 MiB SOLVER NAME= bsolo 3.2 Card BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-4.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656519-1276488296/watcher-2656519-1276488296 -o /tmp/evaluation-result-2656519-1276488296/solver-2656519-1276488296 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656519-1276488296.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 7bb05c60facd55e51c4cfcaa0e217e6e RANDOM SEED=65757465 node006.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.204 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.204 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.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1821712 kB Buffers: 56072 kB Cached: 100968 kB SwapCached: 6484 kB Active: 97416 kB Inactive: 73280 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1821712 kB SwapTotal: 4192956 kB SwapFree: 4140108 kB Dirty: 4436 kB Writeback: 0 kB AnonPages: 11868 kB Mapped: 12920 kB Slab: 44924 kB PageTables: 3968 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182816 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= 62468 MiB End job on node006 at 2010-06-14 06:34:55