Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | OPTIMUM | 41.2657 | 41.2675 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111213868--soft-66-100-0.wbo |
MD5SUM | f6f5996763a3538cd959432d54a4a5d7 |
Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 14 |
Best CPU time to get the best result obtained on this benchmark | 0.25696 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 169 |
Total number of constraints | 101 |
Number of soft constraints | 42 |
Number of constraints which are clauses | 30 |
Number of constraints which are cardinality constraints (but not clauses) | 70 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 169 |
Top cost | 1838 |
Min constraint cost | 1 |
Max constraint cost | 97 |
Sum of constraints costs | 1837 |
Biggest number in a constraint | 38 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 1199 |
Number of bits of the biggest sum of numbers | 11 |
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 wbo 1.4 beta - 20100517 0.00/0.00 c Parsing wbo file format. File HOME/instance-2689975-1277900029.wbo. 0.00/0.00 c Instance file HOME/instance-2689975-1277900029.wbo 0.00/0.00 c File size is 10167 bytes. 0.00/0.00 c Highest Coefficient sum: 1199 0.00/0.00 c ============================[ Problem Statistics ]============================= 0.00/0.00 c | | 0.00/0.00 c | Parsing time: 0.00 s | 0.00/0.00 c | Number Variables: 169 | 0.00/0.00 c | Number Clauses: 30 | 0.00/0.00 c | Number Cardinality: 70 | 0.00/0.00 c | Number PB Constraints: 1 | 0.00/0.00 c ============================[ Search Statistics ]============================== 0.00/0.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 169 101 1205 | 5000 0 nan | 0.000 % | 0.00/0.00 c | 102 | 169 101 1205 | 5500 102 22 | 0.004 % | 0.00/0.00 c | 252 | 169 101 1205 | 6050 252 30 | 0.004 % | 0.00/0.01 c | 480 | 169 101 1205 | 6655 480 34 | 0.004 % | 0.00/0.02 c | 818 | 169 101 1205 | 7320 818 35 | 0.004 % | 0.02/0.03 c | 1324 | 169 101 1205 | 8052 1324 35 | 0.004 % | 0.02/0.05 c | 2083 | 169 101 1205 | 8857 2083 36 | 0.004 % | 0.09/0.10 c | 3222 | 169 101 1205 | 9743 3222 37 | 0.004 % | 0.09/0.17 c | 4931 | 169 101 1205 | 10717 4931 39 | 0.004 % | 0.19/0.29 c | 7493 | 169 101 1205 | 11789 7493 39 | 0.004 % | 0.49/0.50 c | 11338 | 169 101 1205 | 12968 11338 40 | 0.004 % | 0.79/0.87 c | 17105 | 169 101 1205 | 14265 10565 42 | 0.004 % | 1.39/1.47 c | 25758 | 169 101 1205 | 15692 12033 45 | 0.004 % | 2.39/2.41 c | 38732 | 169 101 1205 | 17261 9207 45 | 0.004 % | 3.79/3.85 c | 58193 | 124 101 1205 | 18987 1586 41 | 26.631 % | 3.98/4.05 c =============================================================================== 4.19/4.27 c core #1 4.19/4.27 c ============================[ Search Statistics ]============================== 4.19/4.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.19/4.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.19/4.27 c =============================================================================== 4.19/4.27 c | 0 | 210 142 1713 | 5000 0 nan | 0.000 % | 4.19/4.27 c | 102 | 210 142 1713 | 5500 102 22 | 0.002 % | 4.19/4.27 c | 252 | 210 142 1713 | 6050 252 28 | 0.002 % | 4.19/4.28 c | 479 | 210 142 1713 | 6655 479 31 | 0.002 % | 4.19/4.29 c | 819 | 210 142 1713 | 7320 819 33 | 0.002 % | 4.29/4.30 c | 1325 | 210 142 1713 | 8052 1325 33 | 0.002 % | 4.29/4.33 c | 2085 | 210 142 1713 | 8857 2085 34 | 0.002 % | 4.29/4.37 c | 3224 | 210 142 1713 | 9743 3224 35 | 0.002 % | 4.39/4.44 c | 4933 | 210 142 1713 | 10717 4933 38 | 0.002 % | 4.49/4.57 c | 7496 | 210 142 1713 | 11789 7496 40 | 0.002 % | 4.79/4.82 c | 11341 | 210 142 1713 | 12968 11341 42 | 0.002 % | 5.19/5.20 c | 17107 | 210 142 1713 | 14265 10566 44 | 0.002 % | 5.78/5.80 c | 25760 | 210 142 1713 | 15692 12027 46 | 0.002 % | 6.79/6.81 c | 38735 | 210 142 1713 | 17261 9209 44 | 0.002 % | 8.19/8.23 c | 58197 | 210 142 1713 | 18987 11300 48 | 0.002 % | 8.49/8.56 c =============================================================================== 8.69/8.80 c core #2 8.69/8.80 c ============================[ Search Statistics ]============================== 8.69/8.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.69/8.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.69/8.80 c =============================================================================== 8.69/8.80 c | 0 | 249 182 2204 | 5000 0 nan | 0.000 % | 8.79/8.80 c | 102 | 249 182 2204 | 5500 102 22 | 0.002 % | 8.79/8.81 c | 252 | 249 182 2204 | 6050 252 25 | 0.002 % | 8.79/8.81 c | 478 | 249 182 2204 | 6655 478 30 | 0.002 % | 8.79/8.82 c | 815 | 249 182 2204 | 7320 815 30 | 0.002 % | 8.79/8.84 c | 1321 | 249 182 2204 | 8052 1321 34 | 0.002 % | 8.79/8.86 c | 2080 | 249 182 2204 | 8857 2080 34 | 0.002 % | 8.89/8.91 c | 3219 | 249 182 2204 | 9743 3219 38 | 0.002 % | 8.89/8.99 c | 4928 | 249 182 2204 | 10717 4928 37 | 0.002 % | 9.09/9.12 c | 7490 | 249 182 2204 | 11789 7490 38 | 0.002 % | 9.29/9.35 c | 11335 | 249 182 2204 | 12968 11335 39 | 0.002 % | 9.68/9.71 c | 17102 | 249 182 2204 | 14265 10560 42 | 0.002 % | 10.29/10.30 c | 25752 | 249 182 2204 | 15692 12033 45 | 0.002 % | 11.19/11.20 c | 38729 | 249 182 2204 | 17261 9220 47 | 0.002 % | 12.59/12.67 c | 58190 | 249 182 2204 | 18987 11300 46 | 0.002 % | 13.19/13.25 c =============================================================================== 13.48/13.50 c core #3 13.48/13.50 c ============================[ Search Statistics ]============================== 13.48/13.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.48/13.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.48/13.50 c =============================================================================== 13.48/13.50 c | 0 | 289 222 2697 | 5000 0 nan | 0.000 % | 13.48/13.51 c | 100 | 289 222 2697 | 5500 100 19 | 0.001 % | 13.48/13.51 c | 254 | 289 222 2697 | 6050 254 29 | 0.001 % | 13.48/13.52 c | 479 | 289 222 2697 | 6655 479 29 | 0.001 % | 13.48/13.53 c | 816 | 289 222 2697 | 7320 816 36 | 0.001 % | 13.48/13.55 c | 1323 | 289 222 2697 | 8052 1323 38 | 0.001 % | 13.48/13.57 c | 2082 | 289 222 2697 | 8857 2082 39 | 0.001 % | 13.59/13.62 c | 3221 | 289 222 2697 | 9743 3221 40 | 0.001 % | 13.69/13.71 c | 4930 | 289 222 2697 | 10717 4930 39 | 0.001 % | 13.79/13.84 c | 7493 | 289 222 2697 | 11789 7493 39 | 0.001 % | 13.99/14.06 c | 11338 | 289 222 2697 | 12968 11338 40 | 0.001 % | 14.38/14.45 c | 17105 | 289 222 2697 | 14265 10566 42 | 0.001 % | 14.89/14.98 c | 25754 | 289 222 2697 | 15692 12027 45 | 0.001 % | 15.98/16.01 c | 38731 | 289 222 2697 | 17261 9211 45 | 0.001 % | 17.49/17.54 c | 58192 | 289 222 2697 | 18987 11302 47 | 0.001 % | 18.29/18.30 c =============================================================================== 18.49/18.56 c core #4 18.49/18.56 c ============================[ Search Statistics ]============================== 18.49/18.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.49/18.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.49/18.56 c =============================================================================== 18.49/18.56 c | 0 | 327 260 3176 | 5000 0 nan | 0.000 % | 18.49/18.57 c | 100 | 327 260 3176 | 5500 100 24 | 0.001 % | 18.49/18.57 c | 251 | 327 260 3176 | 6050 251 26 | 0.001 % | 18.49/18.58 c | 477 | 327 260 3176 | 6655 477 25 | 0.001 % | 18.49/18.59 c | 816 | 327 260 3176 | 7320 816 30 | 0.001 % | 18.60/18.60 c | 1322 | 327 260 3176 | 8052 1322 34 | 0.001 % | 18.60/18.63 c | 2082 | 327 260 3176 | 8857 2082 37 | 0.001 % | 18.60/18.67 c | 3224 | 327 260 3176 | 9743 3224 38 | 0.001 % | 18.69/18.75 c | 4932 | 327 260 3176 | 10717 4932 37 | 0.001 % | 18.79/18.87 c | 7502 | 327 260 3176 | 11789 7502 37 | 0.001 % | 19.09/19.11 c | 11346 | 327 260 3176 | 12968 11346 38 | 0.001 % | 19.39/19.49 c | 17113 | 327 260 3176 | 14265 10572 42 | 0.001 % | 20.08/20.13 c | 25763 | 327 260 3176 | 15692 12038 45 | 0.001 % | 21.08/21.12 c | 38737 | 327 260 3176 | 17261 9211 44 | 0.001 % | 22.69/22.73 c | 58198 | 327 260 3176 | 18987 11289 47 | 0.037 % | 23.29/23.33 c =============================================================================== 23.49/23.57 c core #5 23.49/23.57 c ============================[ Search Statistics ]============================== 23.49/23.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 23.49/23.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 23.49/23.57 c =============================================================================== 23.49/23.57 c | 0 | 369 300 3685 | 5000 0 nan | 0.000 % | 23.49/23.58 c | 102 | 369 300 3685 | 5500 102 25 | 0.001 % | 23.49/23.59 c | 252 | 369 300 3685 | 6050 252 27 | 0.001 % | 23.49/23.59 c | 478 | 369 300 3685 | 6655 478 29 | 0.001 % | 23.59/23.60 c | 815 | 369 300 3685 | 7320 815 29 | 0.001 % | 23.59/23.62 c | 1322 | 369 300 3685 | 8052 1322 30 | 0.001 % | 23.59/23.64 c | 2081 | 369 300 3685 | 8857 2081 31 | 0.001 % | 23.59/23.69 c | 3220 | 369 300 3685 | 9743 3220 32 | 0.001 % | 23.69/23.76 c | 4928 | 369 300 3685 | 10717 4928 33 | 0.001 % | 23.89/23.91 c | 7490 | 369 300 3685 | 11789 7490 35 | 0.001 % | 24.10/24.16 c | 11334 | 369 300 3685 | 12968 11334 37 | 0.001 % | 24.49/24.59 c | 17100 | 369 300 3685 | 14265 10580 41 | 0.001 % | 25.09/25.20 c | 25749 | 369 300 3685 | 15692 12040 44 | 0.001 % | 26.09/26.15 c | 38727 | 369 300 3685 | 17261 9202 44 | 0.001 % | 27.50/27.58 c | 58188 | 369 300 3685 | 18987 11305 47 | 0.001 % | 28.68/28.78 c =============================================================================== 28.99/29.07 c core #6 28.99/29.07 c ============================[ Search Statistics ]============================== 28.99/29.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 28.99/29.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 28.99/29.07 c =============================================================================== 28.99/29.07 c | 0 | 414 342 4204 | 5000 0 nan | 0.000 % | 28.99/29.08 c | 100 | 414 342 4204 | 5500 100 20 | 0.001 % | 28.99/29.09 c | 252 | 414 342 4204 | 6050 252 23 | 0.001 % | 28.99/29.09 c | 477 | 414 342 4204 | 6655 477 28 | 0.001 % | 29.09/29.10 c | 814 | 414 342 4204 | 7320 814 28 | 0.001 % | 29.09/29.12 c | 1320 | 414 342 4204 | 8052 1320 32 | 0.001 % | 29.09/29.14 c | 2081 | 414 342 4204 | 8857 2081 36 | 0.001 % | 29.09/29.19 c | 3220 | 414 342 4204 | 9743 3220 35 | 0.001 % | 29.19/29.26 c | 4931 | 414 342 4204 | 10717 4931 36 | 0.001 % | 29.38/29.40 c | 7496 | 414 342 4204 | 11789 7496 39 | 0.001 % | 29.60/29.66 c | 11341 | 414 342 4204 | 12968 11341 40 | 0.001 % | 29.99/30.06 c | 17108 | 414 342 4204 | 14265 10576 43 | 0.001 % | 30.69/30.71 c | 25757 | 414 342 4204 | 15692 12042 44 | 0.001 % | 31.80/31.86 c | 38732 | 414 342 4204 | 17261 9224 46 | 0.001 % | 33.39/33.46 c | 58194 | 414 342 4204 | 18987 11325 43 | 0.001 % | 34.79/34.88 c =============================================================================== 35.09/35.18 c core #7 35.09/35.18 c ============================[ Search Statistics ]============================== 35.09/35.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 35.09/35.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 35.09/35.18 c =============================================================================== 35.09/35.18 c | 0 | 465 385 4756 | 5000 0 nan | 0.000 % | 35.09/35.19 c | 100 | 465 385 4756 | 5500 100 21 | 0.000 % | 35.09/35.20 c | 251 | 465 385 4756 | 6050 251 29 | 0.000 % | 35.19/35.21 c | 476 | 465 385 4756 | 6655 476 30 | 0.000 % | 35.19/35.22 c | 814 | 465 385 4756 | 7320 814 30 | 0.000 % | 35.19/35.23 c | 1320 | 465 385 4756 | 8052 1320 30 | 0.000 % | 35.19/35.26 c | 2079 | 465 385 4756 | 8857 2079 31 | 0.000 % | 35.29/35.30 c | 3219 | 465 385 4756 | 9743 3219 32 | 0.000 % | 35.29/35.39 c | 4931 | 465 385 4756 | 10717 4931 36 | 0.000 % | 35.49/35.53 c | 7495 | 465 385 4756 | 11789 7495 38 | 0.000 % | 35.69/35.79 c | 11342 | 465 385 4756 | 12968 11342 38 | 0.000 % | 36.19/36.21 c | 17109 | 465 385 4756 | 14265 10572 39 | 0.000 % | 36.69/36.80 c | 25758 | 465 385 4756 | 15692 12044 41 | 0.000 % | 37.69/37.72 c | 38735 | 465 385 4756 | 17261 9218 43 | 0.000 % | 39.08/39.18 c | 58197 | 465 385 4756 | 18987 11307 42 | 0.000 % | 40.09/40.15 c =============================================================================== 40.39/40.42 c core #8 40.39/40.42 c ============================[ Search Statistics ]============================== 40.39/40.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 40.39/40.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 40.39/40.42 c =============================================================================== 40.39/40.42 c | 0 | 504 422 5231 | 5000 0 nan | 0.000 % | 40.39/40.44 c | 103 | 504 422 5231 | 5500 103 27 | 0.000 % | 40.39/40.44 c | 255 | 504 422 5231 | 6050 255 32 | 0.000 % | 40.39/40.45 c | 480 | 504 422 5231 | 6655 480 31 | 0.000 % | 40.39/40.46 c | 817 | 504 422 5231 | 7320 817 31 | 0.000 % | 40.39/40.48 c | 1323 | 504 422 5231 | 8052 1323 34 | 0.000 % | 40.49/40.50 c | 2082 | 504 422 5231 | 8857 2082 35 | 0.000 % | 40.49/40.55 c | 3222 | 504 422 5231 | 9743 3222 36 | 0.000 % | 40.59/40.62 c | 4932 | 504 422 5231 | 10717 4932 35 | 0.000 % | 40.69/40.77 c | 7497 | 504 422 5231 | 11789 7497 37 | 0.000 % | 40.89/40.99 c | 11343 | 504 422 5231 | 12968 11343 38 | 0.000 % | 41.19/41.26 c =============================================================================== 41.19/41.26 c #cores: 8 41.19/41.26 c Final Weight: 14 41.19/41.26 o 14 41.19/41.26 s OPTIMUM FOUND 41.19/41.26 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 x77 -x78 x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 x115 -x116 -x117 -x118 -x119 x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 x169 41.19/41.26 c Total CPU time: 40.4968 s
OK 14
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2689975-1277900029/watcher-2689975-1277900029 -o /tmp/evaluation-result-2689975-1277900029/solver-2689975-1277900029 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689975-1277900029.wbo 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): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.98 2.00 1.99 3/196 24517 /proc/meminfo: memFree=31179384/32950928 swapFree=67111528/67111528 [pid=24517] ppid=24515 vsize=2572 CPUtime=0 /proc/24517/stat : 24517 (wbo1.4a) R 24515 24517 24172 0 -1 4202496 285 0 0 0 0 0 0 0 21 0 1 0 165606066 2633728 200 4089446400 134512640 135751879 4287390032 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/24517/statm: 643 200 143 303 0 338 0 [startup+0.0315999 s] /proc/loadavg: 1.98 2.00 1.99 3/196 24517 /proc/meminfo: memFree=31179384/32950928 swapFree=67111528/67111528 [pid=24517] ppid=24515 vsize=2836 CPUtime=0.02 /proc/24517/stat : 24517 (wbo1.4a) R 24515 24517 24172 0 -1 4202496 352 0 0 0 2 0 0 0 21 0 1 0 165606066 2904064 267 4089446400 134512640 135751879 4287390032 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/24517/statm: 709 267 143 303 0 404 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 2836 [startup+0.100576 s] /proc/loadavg: 1.98 2.00 1.99 3/196 24517 /proc/meminfo: memFree=31179384/32950928 swapFree=67111528/67111528 [pid=24517] ppid=24515 vsize=3368 CPUtime=0.09 /proc/24517/stat : 24517 (wbo1.4a) R 24515 24517 24172 0 -1 4202496 494 0 0 0 9 0 0 0 21 0 1 0 165606066 3448832 409 4089446400 134512640 135751879 4287390032 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/24517/statm: 842 409 143 303 0 537 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3368 [startup+0.300544 s] /proc/loadavg: 1.98 2.00 1.99 3/196 24517 /proc/meminfo: memFree=31179384/32950928 swapFree=67111528/67111528 [pid=24517] ppid=24515 vsize=4688 CPUtime=0.29 /proc/24517/stat : 24517 (wbo1.4a) R 24515 24517 24172 0 -1 4202496 806 0 0 0 28 1 0 0 21 0 1 0 165606066 4800512 721 4089446400 134512640 135751879 4287390032 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/24517/statm: 1172 721 143 303 0 867 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4688 [startup+0.700398 s] /proc/loadavg: 1.98 2.00 1.99 3/196 24517 /proc/meminfo: memFree=31179384/32950928 swapFree=67111528/67111528 [pid=24517] ppid=24515 vsize=6680 CPUtime=0.69 /proc/24517/stat : 24517 (wbo1.4a) R 24515 24517 24172 0 -1 4202496 1304 0 0 0 67 2 0 0 22 0 1 0 165606066 6840320 1219 4089446400 134512640 135751879 4287390032 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/24517/statm: 1670 1219 143 303 0 1365 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6680 [startup+1.50031 s] /proc/loadavg: 1.98 2.00 1.99 3/197 24518 /proc/meminfo: memFree=31173672/32950928 swapFree=67111528/67111528 [pid=24517] ppid=24515 vsize=10244 CPUtime=1.49 /proc/24517/stat : 24517 (wbo1.4a) R 24515 24517 24172 0 -1 4202496 2194 0 0 0 146 3 0 0 25 0 1 0 165606066 10489856 2109 4089446400 134512640 135751879 4287390032 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/24517/statm: 2561 2109 143 303 0 2256 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10244 [startup+3.10101 s] /proc/loadavg: 1.98 2.00 1.99 3/197 24518 /proc/meminfo: memFree=31168464/32950928 swapFree=67111528/67111528 [pid=24517] ppid=24515 vsize=16976 CPUtime=3.09 /proc/24517/stat : 24517 (wbo1.4a) R 24515 24517 24172 0 -1 4202496 3888 0 0 0 302 7 0 0 25 0 1 0 165606066 17383424 3803 4089446400 134512640 135751879 4287390032 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/24517/statm: 4244 3803 143 303 0 3939 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16976 [startup+6.30041 s] /proc/loadavg: 1.98 2.00 1.99 3/197 24518 /proc/meminfo: memFree=31158304/32950928 swapFree=67111528/67111528 [pid=24517] ppid=24515 vsize=25556 CPUtime=6.29 /proc/24517/stat : 24517 (wbo1.4a) R 24515 24517 24172 0 -1 4202496 6053 0 0 0 617 12 0 0 21 0 1 0 165606066 26169344 5968 4089446400 134512640 135751879 4287390032 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/24517/statm: 6389 5968 146 303 0 6084 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 25556 [startup+12.7002 s] /proc/loadavg: 1.98 2.00 1.99 3/197 24519 /proc/meminfo: memFree=31140524/32950928 swapFree=67111528/67111528 [pid=24517] ppid=24515 vsize=44696 CPUtime=12.69 /proc/24517/stat : 24517 (wbo1.4a) R 24515 24517 24172 0 -1 4202496 10810 0 0 0 1244 25 0 0 25 0 1 0 165606066 45768704 10725 4089446400 134512640 135751879 4287390032 18446744073709551615 134616453 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/24517/statm: 11174 10725 146 303 0 10869 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 44696 [startup+25.5008 s] /proc/loadavg: 1.98 2.00 1.99 3/197 24519 /proc/meminfo: memFree=31106664/32950928 swapFree=67111528/67111528 [pid=24517] ppid=24515 vsize=76000 CPUtime=25.48 /proc/24517/stat : 24517 (wbo1.4a) R 24515 24517 24172 0 -1 4202496 18649 0 0 0 2500 48 0 0 20 0 1 0 165606066 77824000 18564 4089446400 134512640 135751879 4287390032 18446744073709551615 134649626 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/24517/statm: 19000 18564 146 303 0 18695 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 76000 Solver just ended. Dumping a history of the last processes samples [startup+31.9066 s] /proc/loadavg: 1.99 2.00 1.99 3/197 24519 /proc/meminfo: memFree=31093472/32950928 swapFree=67111528/67111528 [pid=24517] ppid=24515 vsize=89476 CPUtime=31.9 /proc/24517/stat : 24517 (wbo1.4a) R 24515 24517 24172 0 -1 4202496 22009 0 0 0 3131 59 0 0 25 0 1 0 165606066 91623424 21924 4089446400 134512640 135751879 4287390032 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/24517/statm: 22369 21924 146 303 0 22064 0 Current children cumulated CPU time (s) 31.9 Current children cumulated vsize (KiB) 89476 [startup+35.101 s] /proc/loadavg: 1.99 2.00 1.99 3/197 24519 /proc/meminfo: memFree=31080448/32950928 swapFree=67111528/67111528 [pid=24517] ppid=24515 vsize=102284 CPUtime=35.09 /proc/24517/stat : 24517 (wbo1.4a) R 24515 24517 24172 0 -1 4202496 25221 0 0 0 3446 63 0 0 25 0 1 0 165606066 104738816 25136 4089446400 134512640 135751879 4287390032 18446744073709551615 134618448 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/24517/statm: 25571 25136 146 303 0 25266 0 Current children cumulated CPU time (s) 35.09 Current children cumulated vsize (KiB) 102284 [startup+38.3004 s] /proc/loadavg: 1.99 2.00 1.99 3/197 24519 /proc/meminfo: memFree=31079084/32950928 swapFree=67111528/67111528 [pid=24517] ppid=24515 vsize=106376 CPUtime=38.29 /proc/24517/stat : 24517 (wbo1.4a) R 24515 24517 24172 0 -1 4202496 26245 0 0 0 3759 70 0 0 25 0 1 0 165606066 108929024 26160 4089446400 134512640 135751879 4287390032 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/24517/statm: 26594 26160 146 303 0 26289 0 Current children cumulated CPU time (s) 38.29 Current children cumulated vsize (KiB) 106376 [startup+39.9011 s] /proc/loadavg: 1.99 2.00 1.99 3/197 24519 /proc/meminfo: memFree=31072380/32950928 swapFree=67111528/67111528 [pid=24517] ppid=24515 vsize=112052 CPUtime=39.89 /proc/24517/stat : 24517 (wbo1.4a) R 24515 24517 24172 0 -1 4202496 27655 0 0 0 3916 73 0 0 25 0 1 0 165606066 114741248 27570 4089446400 134512640 135751879 4287390032 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/24517/statm: 28013 27570 146 303 0 27708 0 Current children cumulated CPU time (s) 39.89 Current children cumulated vsize (KiB) 112052 [startup+40.707 s] /proc/loadavg: 1.99 2.00 1.99 3/197 24519 /proc/meminfo: memFree=31067172/32950928 swapFree=67111528/67111528 [pid=24517] ppid=24515 vsize=115484 CPUtime=40.69 /proc/24517/stat : 24517 (wbo1.4a) R 24515 24517 24172 0 -1 4202496 28506 0 0 0 3995 74 0 0 25 0 1 0 165606066 118255616 28421 4089446400 134512640 135751879 4287390032 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/24517/statm: 28871 28421 146 303 0 28566 0 Current children cumulated CPU time (s) 40.69 Current children cumulated vsize (KiB) 115484 [startup+41.1009 s] /proc/loadavg: 1.99 2.00 1.99 3/197 24519 /proc/meminfo: memFree=31067172/32950928 swapFree=67111528/67111528 [pid=24517] ppid=24515 vsize=115484 CPUtime=41.09 /proc/24517/stat : 24517 (wbo1.4a) R 24515 24517 24172 0 -1 4202496 28506 0 0 0 4033 76 0 0 25 0 1 0 165606066 118255616 28421 4089446400 134512640 135751879 4287390032 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/24517/statm: 28871 28421 146 303 0 28566 0 Current children cumulated CPU time (s) 41.09 Current children cumulated vsize (KiB) 115484 [startup+41.2009 s] /proc/loadavg: 1.99 2.00 1.99 3/197 24519 /proc/meminfo: memFree=31067172/32950928 swapFree=67111528/67111528 [pid=24517] ppid=24515 vsize=115484 CPUtime=41.19 /proc/24517/stat : 24517 (wbo1.4a) R 24515 24517 24172 0 -1 4202496 28506 0 0 0 4043 76 0 0 25 0 1 0 165606066 118255616 28421 4089446400 134512640 135751879 4287390032 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/24517/statm: 28871 28421 146 303 0 28566 0 Current children cumulated CPU time (s) 41.19 Current children cumulated vsize (KiB) 115484 Child status: 0 Real time (s): 41.2675 CPU time (s): 41.2657 CPU user time (s): 40.4968 CPU system time (s): 0.768883 CPU usage (%): 99.9958 Max. virtual memory (cumulated for all children) (KiB): 115484 getrusage(RUSAGE_CHILDREN,...) data: user time used= 40.4968 system time used= 0.768883 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 28506 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= 5 involuntary context switches= 44 runsolver used 0.076988 second user time and 0.12898 second system time The end
Begin job on node114 at 2010-06-30 14:13:49 IDJOB=2689975 IDBENCH=78873 IDSOLVER=1200 FILE ID=node114/2689975-1277900029 PBS_JOBID= 11197192 Free space on /tmp= 74212 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111213868--soft-66-100-0.wbo COMMAND LINE= wbo1.4a -file-format=wbo -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2689975-1277900029/watcher-2689975-1277900029 -o /tmp/evaluation-result-2689975-1277900029/solver-2689975-1277900029 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689975-1277900029.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= f6f5996763a3538cd959432d54a4a5d7 RANDOM SEED=1310401309 node114.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 : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.819 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.63 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.819 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.819 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.819 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.67 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.819 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.819 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.819 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.819 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5447.01 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 31180160 kB Buffers: 182964 kB Cached: 1119212 kB SwapCached: 0 kB Active: 733644 kB Inactive: 893992 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31180160 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 4508 kB Writeback: 0 kB AnonPages: 326192 kB Mapped: 20412 kB Slab: 78700 kB PageTables: 5016 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 1659552 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74208 MiB End job on node114 at 2010-06-30 14:14:31