Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | OPT | -30 | 120.993 | 121.043 |
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 | 120.993 |
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 c Parsing PB file... 0.44 c Converting 17809 PB-constraints to clauses... 0.44 c -- Unit propagations: (none) 0.44 c -- Detecting intervals from adjacent constraints: (none) 0.44 c -- Clauses(.)/Splits(s): ................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................. 0.48 c ==================================[MINISAT+]================================== 0.48 c | Conflicts | Original | Learnt | Progress | 0.48 c | | Clauses Literals | Max Clauses Literals LPC | | 0.48 c ============================================================================== 0.48 c | 0 | 17809 35618 | 5936 0 0 nan | 0.000 % | 0.48 c ============================================================================== 0.48 c [1mFound solution: -23[0m 0.48 o -23 0.49 c ---[ 0]---> Sorter-cost:16912 Base: 0.52 c ==================================[MINISAT+]================================== 0.52 c | Conflicts | Original | Learnt | Progress | 0.52 c | | Clauses Literals | Max Clauses Literals LPC | | 0.52 c ============================================================================== 0.52 c | 0 | 34945 75925 | 11648 0 0 nan | 0.000 % | 0.56 c | 100 | 34686 75382 | 12812 81 587 7.2 | 1.212 % | 0.61 c | 250 | 34298 74556 | 14094 210 2260 10.8 | 3.068 % | 0.68 c | 475 | 33580 72970 | 15503 382 5255 13.8 | 6.746 % | 0.82 c | 812 | 31975 69415 | 17053 610 7998 13.1 | 14.972 % | 1.00 c | 1319 | 30152 65298 | 18759 1021 16288 16.0 | 24.513 % | 1.21 c | 2078 | 28075 60589 | 20635 1573 23472 14.9 | 35.597 % | 1.52 c | 3217 | 25146 53754 | 22698 2404 37071 15.4 | 51.695 % | 1.58 c ============================================================================== 1.58 c [1mFound solution: -25[0m 1.58 o -25 1.59 c ---[ 0]---> Sorter-cost: 0 Base: 1.61 c ==================================[MINISAT+]================================== 1.61 c | Conflicts | Original | Learnt | Progress | 1.61 c | | Clauses Literals | Max Clauses Literals LPC | | 1.61 c ============================================================================== 1.61 c | 3516 | 24764 52883 | 8254 2653 42621 16.1 | 51.695 % | 1.63 c | 3616 | 24590 52455 | 9079 2720 42978 15.8 | 55.009 % | 1.67 c | 3766 | 24244 51644 | 9987 2800 44593 15.9 | 56.971 % | 1.70 c | 3991 | 24244 51644 | 10986 3025 56267 18.6 | 56.970 % | 1.77 c | 4328 | 23873 50771 | 12084 3263 61685 18.9 | 59.076 % | 1.84 c | 4834 | 23642 50216 | 13293 3747 73161 19.5 | 60.412 % | 1.95 c | 5593 | 23288 49382 | 14622 4408 94160 21.4 | 62.381 % | 2.18 c ============================================================================== 2.18 c [1mFound solution: -26[0m 2.18 o -26 2.19 c ---[ 0]---> Sorter-cost: 0 Base: 2.21 c ==================================[MINISAT+]================================== 2.21 c | Conflicts | Original | Learnt | Progress | 2.21 c | | Clauses Literals | Max Clauses Literals LPC | | 2.21 c ============================================================================== 2.21 c | 6635 | 22426 47258 | 7475 5103 117100 22.9 | 62.381 % | 2.22 c | 6737 | 22426 47258 | 8222 5205 119222 22.9 | 67.442 % | 2.24 c | 6888 | 22363 47107 | 9044 5334 122397 22.9 | 67.805 % | 2.27 c | 7114 | 22363 47107 | 9949 5560 128925 23.2 | 67.805 % | 2.32 c | 7453 | 22363 47107 | 10944 5899 139999 23.7 | 67.806 % | 2.42 c | 7959 | 22203 46716 | 12038 6339 153553 24.2 | 68.743 % | 2.54 c | 8720 | 22159 46614 | 13242 7087 182969 25.8 | 68.989 % | 2.74 c | 9860 | 22011 46266 | 14566 8185 235058 28.7 | 69.800 % | 3.11 c | 11568 | 21906 46017 | 16023 9787 350600 35.8 | 70.400 % | 3.72 c | 14130 | 21612 45312 | 17625 12183 485871 39.9 | 72.116 % | 4.73 c | 17974 | 21596 45276 | 19388 16001 751666 47.0 | 72.200 % | 5.69 c ============================================================================== 5.69 c [1mFound solution: -27[0m 5.69 o -27 5.69 c ---[ 0]---> Sorter-cost: 0 Base: 5.73 c ==================================[MINISAT+]================================== 5.73 c | Conflicts | Original | Learnt | Progress | 5.73 c | | Clauses Literals | Max Clauses Literals LPC | | 5.73 c ============================================================================== 5.73 c | 21057 | 21436 44925 | 7145 18807 991348 52.7 | 72.200 % | 5.80 c | 21157 | 21309 44624 | 7859 9442 500619 53.0 | 74.031 % | 5.85 c | 21307 | 21210 44381 | 8645 9581 505875 52.8 | 74.627 % | 5.91 c | 21532 | 21169 44284 | 9509 9799 519872 53.1 | 74.862 % | 6.01 c | 21869 | 21169 44284 | 10460 10136 542053 53.5 | 74.862 % | 6.12 c | 22375 | 21169 44284 | 11507 10642 564085 53.0 | 74.862 % | 6.31 c | 23134 | 21138 44210 | 12657 11358 610750 53.8 | 75.038 % | 6.60 c | 24273 | 21106 44130 | 13923 12491 674708 54.0 | 75.240 % | 7.07 c | 25982 | 21106 44130 | 15315 14200 805148 56.7 | 75.239 % | 7.88 c | 28544 | 20999 43874 | 16847 16715 948699 56.8 | 75.860 % | 9.23 c | 32388 | 20982 43829 | 18532 20558 1252071 60.9 | 75.961 % | 11.72 c | 38154 | 20982 43829 | 20385 26324 1559268 59.2 | 75.961 % | 14.11 c ============================================================================== 14.11 c [1mFound solution: -28[0m 14.11 o -28 14.12 c ---[ 0]---> Sorter-cost: 0 Base: 14.15 c ==================================[MINISAT+]================================== 14.15 c | Conflicts | Original | Learnt | Progress | 14.15 c | | Clauses Literals | Max Clauses Literals LPC | | 14.15 c ============================================================================== 14.15 c | 43205 | 20974 43791 | 6991 15660 659680 42.1 | 75.961 % | 14.18 c | 43305 | 20974 43791 | 7690 15760 664270 42.1 | 76.024 % | 14.24 c | 43455 | 20960 43759 | 8459 15906 671806 42.2 | 76.099 % | 14.31 c | 43680 | 20960 43759 | 9305 16131 684803 42.5 | 76.099 % | 14.42 c | 44017 | 20923 43667 | 10235 16452 698383 42.4 | 76.326 % | 14.55 c | 44523 | 20923 43667 | 11259 16958 736383 43.4 | 76.326 % | 14.79 c | 45283 | 20919 43657 | 12384 17717 773855 43.7 | 76.351 % | 15.17 c | 46424 | 20882 43566 | 13623 18850 842668 44.7 | 76.577 % | 15.78 c | 48132 | 20777 43319 | 14985 20543 929244 45.2 | 77.173 % | 16.70 c | 50694 | 20755 43267 | 16484 23074 1030570 44.7 | 77.299 % | 18.13 c ============================================================================== 18.13 c [1mFound solution: -29[0m 18.13 o -29 18.14 c ---[ 0]---> Sorter-cost: 0 Base: 18.17 c ==================================[MINISAT+]================================== 18.17 c | Conflicts | Original | Learnt | Progress | 18.17 c | | Clauses Literals | Max Clauses Literals LPC | | 18.17 c ============================================================================== 18.17 c | 54518 | 20763 43292 | 6921 13708 453511 33.1 | 77.299 % | 18.20 c | 54619 | 20763 43292 | 7613 13809 456724 33.1 | 77.316 % | 18.24 c | 54769 | 20763 43292 | 8374 13959 462007 33.1 | 77.316 % | 18.30 c | 54994 | 20763 43292 | 9211 14184 475103 33.5 | 77.316 % | 18.40 c | 55333 | 20758 43279 | 10133 14518 492921 34.0 | 77.350 % | 18.54 c | 55840 | 20758 43279 | 11146 15025 519892 34.6 | 77.350 % | 18.74 c | 56599 | 20758 43279 | 12260 15784 569769 36.1 | 77.350 % | 19.11 c | 57738 | 20740 43233 | 13487 16919 632115 37.4 | 77.468 % | 19.64 c | 59446 | 20700 43143 | 14835 18615 712515 38.3 | 77.668 % | 20.49 c | 62008 | 20621 42951 | 16319 21156 818588 38.7 | 78.128 % | 21.90 c | 65853 | 20485 42627 | 17951 24883 931071 37.4 | 78.915 % | 23.85 c | 71619 | 20485 42627 | 19746 16589 464007 28.0 | 78.915 % | 26.48 c | 80268 | 20482 42620 | 21721 25237 770091 30.5 | 78.932 % | 30.79 c | 93243 | 20478 42610 | 23893 22222 530654 23.9 | 78.957 % | 37.08 c | 112705 | 20333 42297 | 26282 29500 937310 31.8 | 79.300 % | 47.44 c | 141897 | 19931 41415 | 28910 31969 811053 25.4 | 80.422 % | 61.68 c | 185686 | 19512 40498 | 31801 36554 1034981 28.3 | 81.426 % | 83.60 c | 251370 | 19441 40327 | 34981 34604 907181 26.2 | 81.811 % | 87.45 c ============================================================================== 87.45 c [1mFound solution: -30[0m 87.45 o -30 87.45 c ---[ 0]---> Sorter-cost:16370 Base: 87.51 c ==================================[MINISAT+]================================== 87.51 c | Conflicts | Original | Learnt | Progress | 87.51 c | | Clauses Literals | Max Clauses Literals LPC | | 87.51 c ============================================================================== 87.51 c | 261075 | 33283 72703 | 11094 44307 1160555 26.2 | 81.811 % | 87.68 c | 261175 | 33283 72703 | 12203 20005 412162 20.6 | 50.007 % | 87.75 c | 261325 | 33283 72703 | 13423 20155 415769 20.6 | 50.007 % | 87.87 c | 261550 | 33283 72703 | 14766 20380 423082 20.8 | 50.007 % | 88.03 c | 261887 | 33283 72703 | 16242 20717 431519 20.8 | 50.007 % | 88.26 c | 262393 | 33283 72703 | 17866 21223 449380 21.2 | 50.007 % | 88.56 c | 263152 | 33242 72586 | 19653 21979 474310 21.6 | 50.133 % | 89.06 c | 264291 | 33242 72586 | 21619 23118 514348 22.2 | 50.133 % | 89.84 c | 265999 | 33087 72266 | 23780 23869 537426 22.5 | 50.272 % | 90.92 c | 268561 | 33087 72266 | 26159 26431 614149 23.2 | 50.272 % | 92.72 c | 272405 | 32999 72084 | 28774 30262 733586 24.2 | 50.499 % | 95.80 c | 278172 | 32936 71957 | 31652 36020 896938 24.9 | 50.682 % | 100.97 c | 286821 | 32736 71552 | 34817 41595 1048937 25.2 | 50.970 % | 108.75 c | 299795 | 32371 70810 | 38299 25447 536284 21.1 | 51.370 % | 120.84 c | 319256 | 32363 70790 | 42129 41925 989350 23.6 | 51.396 % | 121.03 c ============================================================================== 121.03 c [1mOptimal solution: -30[0m 121.03 s OPTIMUM FOUND 121.03 v x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 121.03 v -x429 -x428 -x427 -x426 -x425 -x424 -x423 x422 -x421 -x420 -x419 -x418 -x417 x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 121.03 v -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 x388 121.03 v -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 121.03 v -x366 -x365 -x364 x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 x346 121.03 v -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 121.03 v -x324 -x323 -x322 x321 -x320 -x319 -x318 -x317 -x316 -x315 x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 121.03 v -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 121.03 v -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 x271 -x270 -x269 -x268 -x267 x266 -x265 -x264 -x263 -x262 121.03 v -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 121.03 v -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 121.03 v -x219 x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 121.03 v -x198 x197 -x196 -x195 -x194 -x193 -x192 x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 x178 121.03 v -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 x163 -x162 -x161 -x160 -x159 -x158 -x157 121.03 v -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 121.03 v -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 121.03 v -x114 -x113 -x112 -x111 x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 x96 -x95 -x94 -x93 121.03 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 121.03 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 121.03 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 121.03 v -x14 -x13 x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 121.03 c _______________________________________________________________________________ 121.03 c 121.03 c restarts : 82 121.03 c conflicts : 319338 (2640 /sec) 121.03 c decisions : 406207 (3359 /sec) 121.03 c propagations : 0 (0 /sec) 121.03 c inspects : 0 (0 /sec) 121.03 c CPU time : 120.944 s 121.03 c _______________________________________________________________________________
OK -30
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node75/watcher-35607-1149292886 -o ROOT/results/node75/solver-35607-1149292886 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node75/35607-1149292886/instance-35607-1149292886.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.84 0.94 0.90 3/64 20880 /proc/meminfo: memFree=1779680/2055920 swapFree=4182500/4192956 [pid=20880] ppid=20878 vsize=1048 CPUtime=0 /proc/20880/stat : 20880 (minisat+) R 20878 20880 20834 0 -1 4194304 125 0 0 0 0 0 0 0 19 0 1 0 194952004 1073152 110 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618819 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20880/statm: 262 110 74 215 0 44 0 [startup+10.0027 s] /proc/loadavg: 0.87 0.94 0.90 2/64 20880 /proc/meminfo: memFree=1768008/2055920 swapFree=4182500/4192956 [pid=20880] ppid=20878 vsize=12756 CPUtime=9.99 /proc/20880/stat : 20880 (minisat+) R 20878 20880 20834 0 -1 4194304 3059 0 0 0 996 3 0 0 25 0 1 0 194952004 13062144 3021 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20880/statm: 3189 3021 110 215 0 2971 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 12756 [startup+20.0097 s] /proc/loadavg: 0.89 0.94 0.90 2/64 20880 /proc/meminfo: memFree=1766152/2055920 swapFree=4182500/4192956 [pid=20880] ppid=20878 vsize=14740 CPUtime=19.99 /proc/20880/stat : 20880 (minisat+) R 20878 20880 20834 0 -1 4194304 3542 0 0 0 1996 3 0 0 25 0 1 0 194952004 15093760 3504 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20880/statm: 3685 3504 110 215 0 3467 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 14740 [startup+30.0177 s] /proc/loadavg: 0.90 0.94 0.90 2/64 20880 /proc/meminfo: memFree=1766216/2055920 swapFree=4182500/4192956 [pid=20880] ppid=20878 vsize=14740 CPUtime=30 /proc/20880/stat : 20880 (minisat+) R 20878 20880 20834 0 -1 4194304 3543 0 0 0 2996 4 0 0 25 0 1 0 194952004 15093760 3505 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580973 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20880/statm: 3685 3505 110 215 0 3467 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 14740 [startup+40.0237 s] /proc/loadavg: 0.92 0.94 0.90 2/64 20880 /proc/meminfo: memFree=1766152/2055920 swapFree=4182500/4192956 [pid=20880] ppid=20878 vsize=14740 CPUtime=40 /proc/20880/stat : 20880 (minisat+) R 20878 20880 20834 0 -1 4194304 3546 0 0 0 3996 4 0 0 25 0 1 0 194952004 15093760 3508 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580314 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20880/statm: 3685 3508 110 215 0 3467 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 14740 [startup+50.0307 s] /proc/loadavg: 0.93 0.94 0.90 2/64 20880 /proc/meminfo: memFree=1766216/2055920 swapFree=4182500/4192956 [pid=20880] ppid=20878 vsize=14740 CPUtime=50 /proc/20880/stat : 20880 (minisat+) R 20878 20880 20834 0 -1 4194304 3549 0 0 0 4996 4 0 0 25 0 1 0 194952004 15093760 3511 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20880/statm: 3685 3511 110 215 0 3467 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 14740 [startup+60.0367 s] /proc/loadavg: 0.94 0.95 0.90 2/64 20880 /proc/meminfo: memFree=1766216/2055920 swapFree=4182500/4192956 [pid=20880] ppid=20878 vsize=14740 CPUtime=60.01 /proc/20880/stat : 20880 (minisat+) R 20878 20880 20834 0 -1 4194304 3550 0 0 0 5997 4 0 0 25 0 1 0 194952004 15093760 3512 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580262 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20880/statm: 3685 3512 110 215 0 3467 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 14740 [startup+70.0427 s] /proc/loadavg: 0.95 0.95 0.91 2/64 20880 /proc/meminfo: memFree=1766152/2055920 swapFree=4182500/4192956 [pid=20880] ppid=20878 vsize=14820 CPUtime=70.01 /proc/20880/stat : 20880 (minisat+) R 20878 20880 20834 0 -1 4194304 3553 0 0 0 6997 4 0 0 25 0 1 0 194952004 15175680 3515 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580856 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20880/statm: 3705 3515 110 215 0 3487 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 14820 [startup+80.0497 s] /proc/loadavg: 0.96 0.95 0.91 2/64 20880 /proc/meminfo: memFree=1766152/2055920 swapFree=4182500/4192956 [pid=20880] ppid=20878 vsize=14820 CPUtime=80.01 /proc/20880/stat : 20880 (minisat+) R 20878 20880 20834 0 -1 4194304 3553 0 0 0 7997 4 0 0 25 0 1 0 194952004 15175680 3515 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580965 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20880/statm: 3705 3515 110 215 0 3487 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 14820 [startup+90.0557 s] /proc/loadavg: 0.96 0.95 0.91 2/64 20880 /proc/meminfo: memFree=1764744/2055920 swapFree=4182500/4192956 [pid=20880] ppid=20878 vsize=16476 CPUtime=90.01 /proc/20880/stat : 20880 (minisat+) R 20878 20880 20834 0 -1 4194304 3953 0 0 0 8997 4 0 0 25 0 1 0 194952004 16871424 3866 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581216 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20880/statm: 4119 3866 110 215 0 3901 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 16476 [startup+100.062 s] /proc/loadavg: 0.97 0.95 0.91 2/64 20880 /proc/meminfo: memFree=1764744/2055920 swapFree=4182500/4192956 [pid=20880] ppid=20878 vsize=16476 CPUtime=100.02 /proc/20880/stat : 20880 (minisat+) R 20878 20880 20834 0 -1 4194304 3953 0 0 0 9998 4 0 0 25 0 1 0 194952004 16871424 3866 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580916 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20880/statm: 4119 3866 110 215 0 3901 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 16476 [startup+110.068 s] /proc/loadavg: 0.97 0.95 0.91 2/64 20880 /proc/meminfo: memFree=1764680/2055920 swapFree=4182500/4192956 [pid=20880] ppid=20878 vsize=16476 CPUtime=110.02 /proc/20880/stat : 20880 (minisat+) R 20878 20880 20834 0 -1 4194304 3960 0 0 0 10998 4 0 0 25 0 1 0 194952004 16871424 3873 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20880/statm: 4119 3873 110 215 0 3901 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 16476 [startup+120.074 s] /proc/loadavg: 0.98 0.95 0.91 2/64 20880 /proc/meminfo: memFree=1764616/2055920 swapFree=4182500/4192956 [pid=20880] ppid=20878 vsize=16616 CPUtime=120.02 /proc/20880/stat : 20880 (minisat+) R 20878 20880 20834 0 -1 4194304 3974 0 0 0 11998 4 0 0 25 0 1 0 194952004 17014784 3887 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20880/statm: 4154 3887 110 215 0 3936 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 16616 Child status: 30 Real time (s): 121.043 CPU time (s): 120.993 CPU user time (s): 120.946 CPU system time (s): 0.046992 CPU usage (%): 99.9587 Max. virtual memory (cumulated for all children) (Kb): 16616
Begin job on node75 on Sat Jun 3 00:01:26 UTC 2006 FILE ID= 35607-1149292886 PBS_JOBID= 306946 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= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node75/35607-1149292886/instance-35607-1149292886.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node75/watcher-35607-1149292886 -o ROOT/results/node75/solver-35607-1149292886 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node75/35607-1149292886/instance-35607-1149292886.opb MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db MD5SUM BENCH= 8e251d4e151b2868eb3a52cf845e4cf8 RANDOM SEED= 453944401 /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.259 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.259 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 : 5996.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1779888 kB Buffers: 25960 kB Cached: 186100 kB SwapCached: 2072 kB Active: 46684 kB Inactive: 173980 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1779888 kB SwapTotal: 4192956 kB SwapFree: 4182500 kB Dirty: 192 kB Writeback: 0 kB Mapped: 16032 kB Slab: 41256 kB Committed_AS: 315184 kB PageTables: 1448 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node75 on Sat Jun 3 00:03:27 UTC 2006