Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | OPTIMUM | 46.7219 | 46.7206 |
Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110968094--soft-0-100-0.wbo |
MD5SUM | 38689affd31dfd76c9ffeea1f5bf526c |
Bench Category | SOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 9 |
Best CPU time to get the best result obtained on this benchmark | 0.272957 |
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 | 101 |
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 | 5180 |
Min constraint cost | 1 |
Max constraint cost | 99 |
Sum of constraints costs | 5179 |
Biggest number in a constraint | 38 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 1242 |
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-2690100-1277923874.wbo. 0.00/0.00 c Instance file HOME/instance-2690100-1277923874.wbo 0.00/0.00 c File size is 10468 bytes. 0.00/0.00 c Highest Coefficient sum: 1242 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 | 101 | 169 101 1205 | 5500 101 36 | 0.004 % | 0.00/0.00 c | 253 | 169 101 1205 | 6050 253 33 | 0.004 % | 0.00/0.01 c | 478 | 169 101 1205 | 6655 478 33 | 0.004 % | 0.01/0.02 c | 815 | 169 101 1205 | 7320 815 32 | 0.004 % | 0.01/0.03 c | 1321 | 169 101 1205 | 8052 1321 34 | 0.004 % | 0.01/0.05 c | 2081 | 169 101 1205 | 8857 2081 34 | 0.004 % | 0.01/0.09 c | 3222 | 169 101 1205 | 9743 3222 35 | 0.004 % | 0.09/0.16 c | 4930 | 169 101 1205 | 10717 4930 36 | 0.004 % | 0.19/0.28 c | 7492 | 169 101 1205 | 11789 7492 37 | 0.004 % | 0.39/0.49 c | 11338 | 169 101 1205 | 12968 11338 38 | 0.004 % | 0.79/0.85 c | 17107 | 169 101 1205 | 14265 10568 41 | 0.004 % | 1.39/1.44 c | 25756 | 169 101 1205 | 15692 12044 43 | 0.004 % | 2.39/2.42 c | 38731 | 169 101 1205 | 17261 9238 46 | 0.004 % | 3.59/3.63 c =============================================================================== 3.79/3.87 c core #1 3.79/3.87 c ============================[ Search Statistics ]============================== 3.79/3.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.79/3.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.79/3.87 c =============================================================================== 3.79/3.87 c | 0 | 264 200 2574 | 5000 0 nan | 0.000 % | 3.79/3.88 c | 100 | 264 200 2574 | 5500 100 37 | 0.001 % | 3.79/3.88 c | 251 | 264 200 2574 | 6050 251 36 | 0.001 % | 3.79/3.89 c | 477 | 264 200 2574 | 6655 477 34 | 0.001 % | 3.89/3.90 c | 815 | 264 200 2574 | 7320 815 32 | 0.001 % | 3.89/3.91 c | 1322 | 264 200 2574 | 8052 1322 34 | 0.001 % | 3.89/3.94 c | 2082 | 264 200 2574 | 8857 2082 37 | 0.001 % | 3.89/3.98 c | 3223 | 264 200 2574 | 9743 3223 38 | 0.001 % | 3.99/4.05 c | 4931 | 264 200 2574 | 10717 4931 38 | 0.001 % | 4.09/4.19 c | 7494 | 264 200 2574 | 11789 7494 38 | 0.001 % | 4.40/4.43 c | 11338 | 264 200 2574 | 12968 11338 40 | 0.001 % | 4.79/4.83 c | 17104 | 264 200 2574 | 14265 10588 42 | 0.001 % | 5.40/5.48 c | 25753 | 264 200 2574 | 15692 12051 45 | 0.001 % | 6.49/6.50 c | 38727 | 264 200 2574 | 17261 9238 44 | 0.001 % | 7.99/8.05 c | 58189 | 264 200 2574 | 18987 11322 48 | 0.105 % | 8.29/8.37 c =============================================================================== 8.59/8.65 c core #2 8.59/8.65 c ============================[ Search Statistics ]============================== 8.59/8.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.59/8.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.59/8.65 c =============================================================================== 8.59/8.65 c | 0 | 358 298 3928 | 5000 0 nan | 0.000 % | 8.59/8.66 c | 100 | 358 298 3928 | 5500 100 44 | 0.001 % | 8.59/8.66 c | 250 | 358 298 3928 | 6050 250 37 | 0.001 % | 8.59/8.67 c | 476 | 358 298 3928 | 6655 476 35 | 0.001 % | 8.59/8.68 c | 814 | 358 298 3928 | 7320 814 33 | 0.001 % | 8.59/8.70 c | 1320 | 358 298 3928 | 8052 1320 32 | 0.001 % | 8.70/8.72 c | 2080 | 358 298 3928 | 8857 2080 34 | 0.001 % | 8.70/8.76 c | 3220 | 358 298 3928 | 9743 3220 35 | 0.001 % | 8.79/8.84 c | 4928 | 358 298 3928 | 10717 4928 35 | 0.001 % | 8.89/8.98 c | 7490 | 358 298 3928 | 11789 7490 35 | 0.001 % | 9.19/9.23 c | 11334 | 358 298 3928 | 12968 11334 37 | 0.001 % | 9.59/9.66 c | 17101 | 358 298 3928 | 14265 10573 41 | 0.001 % | 10.29/10.33 c | 25752 | 358 298 3928 | 15692 12050 45 | 0.001 % | 11.29/11.38 c | 38726 | 358 298 3928 | 17261 9218 44 | 0.001 % | 12.79/12.85 c | 58187 | 321 298 3928 | 18987 2199 38 | 10.336 % | 13.00/13.09 c =============================================================================== 13.29/13.38 c core #3 13.29/13.38 c ============================[ Search Statistics ]============================== 13.29/13.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.29/13.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.29/13.38 c =============================================================================== 13.29/13.38 c | 0 | 453 396 5284 | 5000 0 nan | 0.000 % | 13.29/13.39 c | 100 | 453 396 5284 | 5500 100 35 | 0.000 % | 13.29/13.39 c | 250 | 453 396 5284 | 6050 250 41 | 0.000 % | 13.39/13.40 c | 475 | 453 396 5284 | 6655 475 39 | 0.000 % | 13.39/13.41 c | 813 | 453 396 5284 | 7320 813 39 | 0.000 % | 13.39/13.42 c | 1320 | 453 396 5284 | 8052 1320 36 | 0.000 % | 13.39/13.45 c | 2079 | 453 396 5284 | 8857 2079 34 | 0.000 % | 13.49/13.50 c | 3218 | 453 396 5284 | 9743 3218 34 | 0.000 % | 13.49/13.58 c | 4928 | 453 396 5284 | 10717 4928 35 | 0.000 % | 13.69/13.73 c | 7490 | 453 396 5284 | 11789 7490 37 | 0.000 % | 13.99/14.00 c | 11340 | 453 396 5284 | 12968 11340 39 | 0.000 % | 14.39/14.44 c | 17108 | 453 396 5284 | 14265 10573 43 | 0.000 % | 15.09/15.19 c | 25758 | 453 396 5284 | 15692 12043 46 | 0.000 % | 16.19/16.28 c | 38733 | 453 396 5284 | 17261 9231 45 | 0.000 % | 17.89/17.95 c | 58194 | 453 396 5284 | 18987 11335 44 | 0.001 % | 18.70/18.76 c =============================================================================== 19.09/19.10 c core #4 19.09/19.10 c ============================[ Search Statistics ]============================== 19.09/19.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.09/19.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.09/19.10 c =============================================================================== 19.09/19.10 c | 0 | 546 493 6634 | 5000 0 nan | 0.000 % | 19.09/19.11 c | 101 | 546 493 6634 | 5500 101 43 | 0.000 % | 19.09/19.11 c | 253 | 546 493 6634 | 6050 253 41 | 0.000 % | 19.09/19.12 c | 478 | 546 493 6634 | 6655 478 38 | 0.000 % | 19.09/19.13 c | 815 | 546 493 6634 | 7320 815 39 | 0.000 % | 19.09/19.15 c | 1324 | 546 493 6634 | 8052 1324 35 | 0.000 % | 19.09/19.18 c | 2085 | 546 493 6634 | 8857 2085 34 | 0.000 % | 19.19/19.23 c | 3226 | 546 493 6634 | 9743 3226 35 | 0.000 % | 19.29/19.31 c | 4934 | 546 493 6634 | 10717 4934 35 | 0.000 % | 19.39/19.45 c | 7499 | 546 493 6634 | 11789 7499 36 | 0.000 % | 19.70/19.73 c | 11343 | 546 493 6634 | 12968 11343 36 | 0.000 % | 20.09/20.15 c | 17111 | 546 493 6634 | 14265 10571 40 | 0.000 % | 20.80/20.82 c | 25760 | 546 493 6634 | 15692 12055 41 | 0.000 % | 21.79/21.81 c | 38735 | 546 493 6634 | 17261 9236 43 | 0.000 % | 23.19/23.29 c | 58196 | 507 493 6634 | 18987 4183 44 | 7.143 % | 23.39/23.49 c =============================================================================== 23.69/23.77 c core #5 23.69/23.77 c ============================[ Search Statistics ]============================== 23.69/23.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 23.69/23.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 23.69/23.77 c =============================================================================== 23.69/23.77 c | 0 | 640 590 7986 | 5000 0 nan | 0.000 % | 23.69/23.78 c | 100 | 640 590 7986 | 5500 100 41 | 0.000 % | 23.69/23.78 c | 250 | 640 590 7986 | 6050 250 40 | 0.000 % | 23.69/23.79 c | 475 | 640 590 7986 | 6655 475 35 | 0.000 % | 23.79/23.80 c | 814 | 640 590 7986 | 7320 814 33 | 0.000 % | 23.79/23.82 c | 1320 | 640 590 7986 | 8052 1320 31 | 0.000 % | 23.79/23.85 c | 2080 | 640 590 7986 | 8857 2080 32 | 0.000 % | 23.89/23.90 c | 3222 | 640 590 7986 | 9743 3222 34 | 0.000 % | 23.89/23.98 c | 4932 | 640 590 7986 | 10717 4932 34 | 0.000 % | 24.10/24.13 c | 7496 | 640 590 7986 | 11789 7496 35 | 0.000 % | 24.29/24.39 c | 11340 | 640 590 7986 | 12968 11340 38 | 0.000 % | 24.79/24.82 c | 17108 | 640 590 7986 | 14265 10582 41 | 0.000 % | 25.39/25.47 c | 25757 | 640 590 7986 | 15692 12055 43 | 0.000 % | 26.49/26.51 c | 38733 | 640 590 7986 | 17261 9233 46 | 0.000 % | 28.09/28.16 c | 58195 | 640 590 7986 | 18987 11343 47 | 0.000 % | 29.39/29.48 c =============================================================================== 29.79/29.83 c core #6 29.79/29.83 c ============================[ Search Statistics ]============================== 29.79/29.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 29.79/29.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 29.79/29.83 c =============================================================================== 29.79/29.83 c | 0 | 733 685 9309 | 5000 0 nan | 0.000 % | 29.79/29.84 c | 100 | 733 685 9309 | 5500 100 39 | 0.000 % | 29.79/29.85 c | 251 | 733 685 9309 | 6050 251 42 | 0.000 % | 29.79/29.85 c | 476 | 733 685 9309 | 6655 476 37 | 0.000 % | 29.79/29.87 c | 814 | 733 685 9309 | 7320 814 35 | 0.000 % | 29.79/29.89 c | 1321 | 733 685 9309 | 8052 1321 33 | 0.000 % | 29.89/29.92 c | 2083 | 733 685 9309 | 8857 2083 34 | 0.000 % | 29.89/29.97 c | 3223 | 733 685 9309 | 9743 3223 36 | 0.000 % | 29.99/30.06 c | 4932 | 733 685 9309 | 10717 4932 37 | 0.000 % | 30.19/30.22 c | 7494 | 733 685 9309 | 11789 7494 38 | 0.000 % | 30.49/30.51 c | 11339 | 733 685 9309 | 12968 11339 40 | 0.000 % | 30.89/30.99 c | 17107 | 733 685 9309 | 14265 10570 43 | 0.000 % | 31.69/31.72 c | 25757 | 733 685 9309 | 15692 12026 43 | 0.000 % | 33.00/33.01 c | 38733 | 733 685 9309 | 17261 9201 47 | 0.000 % | 34.79/34.85 c | 58197 | 733 685 9309 | 18987 11295 51 | 0.000 % | 37.30/37.38 c =============================================================================== 37.79/37.81 c core #7 37.79/37.81 c ============================[ Search Statistics ]============================== 37.79/37.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 37.79/37.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 37.79/37.81 c =============================================================================== 37.79/37.81 c | 0 | 836 780 10652 | 5000 0 nan | 0.000 % | 37.79/37.82 c | 100 | 836 780 10652 | 5500 100 35 | 0.000 % | 37.79/37.83 c | 251 | 836 780 10652 | 6050 251 34 | 0.000 % | 37.79/37.84 c | 477 | 836 780 10652 | 6655 477 36 | 0.000 % | 37.79/37.85 c | 816 | 836 780 10652 | 7320 816 35 | 0.000 % | 37.79/37.87 c | 1323 | 836 780 10652 | 8052 1323 32 | 0.000 % | 37.89/37.91 c | 2082 | 836 780 10652 | 8857 2082 32 | 0.000 % | 37.89/37.96 c | 3222 | 836 780 10652 | 9743 3222 35 | 0.000 % | 37.99/38.06 c | 4932 | 836 780 10652 | 10717 4932 36 | 0.000 % | 38.20/38.25 c | 7494 | 836 780 10652 | 11789 7494 39 | 0.000 % | 38.50/38.53 c | 11338 | 836 780 10652 | 12968 11338 40 | 0.000 % | 38.99/39.02 c | 17106 | 836 780 10652 | 14265 10584 43 | 0.000 % | 39.69/39.75 c | 25755 | 836 780 10652 | 15692 12054 43 | 0.000 % | 40.89/40.96 c | 38730 | 836 780 10652 | 17261 9246 43 | 0.000 % | 42.59/42.67 c | 58192 | 836 780 10652 | 18987 11340 48 | 0.000 % | 43.39/43.42 c =============================================================================== 43.69/43.75 c core #8 43.69/43.75 c ============================[ Search Statistics ]============================== 43.69/43.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 43.69/43.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 43.69/43.75 c =============================================================================== 43.69/43.75 c | 0 | 939 876 12010 | 5000 0 nan | 0.000 % | 43.69/43.76 c | 102 | 939 876 12010 | 5500 102 31 | 0.000 % | 43.69/43.77 c | 253 | 939 876 12010 | 6050 253 32 | 0.000 % | 43.69/43.78 c | 478 | 939 876 12010 | 6655 478 37 | 0.000 % | 43.69/43.79 c | 817 | 939 876 12010 | 7320 817 35 | 0.000 % | 43.80/43.81 c | 1324 | 939 876 12010 | 8052 1324 37 | 0.000 % | 43.80/43.85 c | 2083 | 939 876 12010 | 8857 2083 35 | 0.000 % | 43.90/43.91 c | 3223 | 939 876 12010 | 9743 3223 35 | 0.000 % | 43.99/44.00 c | 4933 | 939 876 12010 | 10717 4933 36 | 0.000 % | 44.09/44.19 c | 7497 | 939 876 12010 | 11789 7497 37 | 0.000 % | 44.39/44.49 c | 11343 | 939 876 12010 | 12968 11343 38 | 0.000 % | 44.89/44.98 c | 17109 | 939 876 12010 | 14265 10575 42 | 0.000 % | 45.59/45.67 c | 25758 | 939 876 12010 | 15692 12038 43 | 0.000 % | 46.69/46.71 c =============================================================================== 46.69/46.71 c #cores: 8 46.69/46.71 c Final Weight: 9 46.69/46.71 o 9 46.69/46.71 s OPTIMUM FOUND 46.69/46.71 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 46.69/46.71 c Total CPU time: 45.5541 s
OK 9
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2690100-1277923874/watcher-2690100-1277923874 -o /tmp/evaluation-result-2690100-1277923874/solver-2690100-1277923874 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690100-1277923874.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: 2.02 2.03 2.00 4/196 14062 /proc/meminfo: memFree=31371648/32951124 swapFree=67111528/67111528 [pid=14062] ppid=14060 vsize=2572 CPUtime=0 /proc/14062/stat : 14062 (wbo1.4a) R 14060 14062 12487 0 -1 4202496 290 0 0 0 0 0 0 0 23 0 1 0 133685396 2633728 206 4089446400 134512640 135751879 4293747808 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/14062/statm: 643 206 143 303 0 338 0 [startup+0.017481 s] /proc/loadavg: 2.02 2.03 2.00 4/196 14062 /proc/meminfo: memFree=31371648/32951124 swapFree=67111528/67111528 [pid=14062] ppid=14060 vsize=2704 CPUtime=0.01 /proc/14062/stat : 14062 (wbo1.4a) R 14060 14062 12487 0 -1 4202496 326 0 0 0 1 0 0 0 23 0 1 0 133685396 2768896 242 4089446400 134512640 135751879 4293747808 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/14062/statm: 676 242 143 303 0 371 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 2704 [startup+0.10046 s] /proc/loadavg: 2.02 2.03 2.00 4/196 14062 /proc/meminfo: memFree=31371648/32951124 swapFree=67111528/67111528 [pid=14062] ppid=14060 vsize=3496 CPUtime=0.09 /proc/14062/stat : 14062 (wbo1.4a) R 14060 14062 12487 0 -1 4202496 533 0 0 0 9 0 0 0 23 0 1 0 133685396 3579904 449 4089446400 134512640 135751879 4293747808 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/14062/statm: 874 449 143 303 0 569 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3496 [startup+0.300423 s] /proc/loadavg: 2.02 2.03 2.00 4/196 14062 /proc/meminfo: memFree=31371648/32951124 swapFree=67111528/67111528 [pid=14062] ppid=14060 vsize=5080 CPUtime=0.29 /proc/14062/stat : 14062 (wbo1.4a) R 14060 14062 12487 0 -1 4202496 912 0 0 0 28 1 0 0 23 0 1 0 133685396 5201920 828 4089446400 134512640 135751879 4293747808 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/14062/statm: 1270 828 143 303 0 965 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5080 [startup+0.70036 s] /proc/loadavg: 2.02 2.03 2.00 4/196 14062 /proc/meminfo: memFree=31371648/32951124 swapFree=67111528/67111528 [pid=14062] ppid=14060 vsize=7256 CPUtime=0.69 /proc/14062/stat : 14062 (wbo1.4a) R 14060 14062 12487 0 -1 4202496 1471 0 0 0 67 2 0 0 25 0 1 0 133685396 7430144 1387 4089446400 134512640 135751879 4293747808 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/14062/statm: 1814 1387 143 303 0 1509 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7256 [startup+1.50021 s] /proc/loadavg: 2.02 2.03 2.00 3/197 14063 /proc/meminfo: memFree=31365928/32951124 swapFree=67111528/67111528 [pid=14062] ppid=14060 vsize=11480 CPUtime=1.49 /proc/14062/stat : 14062 (wbo1.4a) R 14060 14062 12487 0 -1 4202496 2508 0 0 0 144 5 0 0 25 0 1 0 133685396 11755520 2424 4089446400 134512640 135751879 4293747808 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/14062/statm: 2870 2424 143 303 0 2565 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11480 [startup+3.10094 s] /proc/loadavg: 2.02 2.03 2.00 3/197 14063 /proc/meminfo: memFree=31360100/32951124 swapFree=67111528/67111528 [pid=14062] ppid=14060 vsize=19272 CPUtime=3.09 /proc/14062/stat : 14062 (wbo1.4a) R 14060 14062 12487 0 -1 4202496 4451 0 0 0 299 10 0 0 25 0 1 0 133685396 19734528 4367 4089446400 134512640 135751879 4293747808 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/14062/statm: 4818 4367 143 303 0 4513 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 19272 [startup+6.30034 s] /proc/loadavg: 2.02 2.03 2.00 3/197 14063 /proc/meminfo: memFree=31350984/32951124 swapFree=67111528/67111528 [pid=14062] ppid=14060 vsize=26404 CPUtime=6.29 /proc/14062/stat : 14062 (wbo1.4a) R 14060 14062 12487 0 -1 4202496 6236 0 0 0 610 19 0 0 25 0 1 0 133685396 27037696 6152 4089446400 134512640 135751879 4293747808 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/14062/statm: 6601 6152 146 303 0 6296 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 26404 [startup+12.7002 s] /proc/loadavg: 2.01 2.02 2.00 3/197 14064 /proc/meminfo: memFree=31332740/32951124 swapFree=67111528/67111528 [pid=14062] ppid=14060 vsize=45152 CPUtime=12.69 /proc/14062/stat : 14062 (wbo1.4a) R 14060 14062 12487 0 -1 4202496 10931 0 0 0 1235 34 0 0 25 0 1 0 133685396 46235648 10847 4089446400 134512640 135751879 4293747808 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/14062/statm: 11288 10847 146 303 0 10983 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 45152 [startup+25.501 s] /proc/loadavg: 2.01 2.02 2.00 3/197 14065 /proc/meminfo: memFree=31300788/32951124 swapFree=67111528/67111528 [pid=14062] ppid=14060 vsize=74616 CPUtime=25.49 /proc/14062/stat : 14062 (wbo1.4a) R 14060 14062 12487 0 -1 4202496 18314 0 0 0 2482 67 0 0 25 0 1 0 133685396 76406784 18230 4089446400 134512640 135751879 4293747808 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/14062/statm: 18654 18230 146 303 0 18349 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 74616 Solver just ended. Dumping a history of the last processes samples [startup+38.3007 s] /proc/loadavg: 2.01 2.02 2.00 3/197 14065 /proc/meminfo: memFree=31267244/32951124 swapFree=67111528/67111528 [pid=14062] ppid=14060 vsize=111216 CPUtime=38.29 /proc/14062/stat : 14062 (wbo1.4a) R 14060 14062 12487 0 -1 4202496 27441 0 0 0 3731 98 0 0 25 0 1 0 133685396 113885184 27357 4089446400 134512640 135751879 4293747808 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/14062/statm: 27804 27357 146 303 0 27499 0 Current children cumulated CPU time (s) 38.29 Current children cumulated vsize (KiB) 111216 [startup+41.5012 s] /proc/loadavg: 2.01 2.02 2.00 3/197 14065 /proc/meminfo: memFree=31261536/32951124 swapFree=67111528/67111528 [pid=14062] ppid=14060 vsize=113336 CPUtime=41.49 /proc/14062/stat : 14062 (wbo1.4a) R 14060 14062 12487 0 -1 4202496 27976 0 0 0 4045 104 0 0 25 0 1 0 133685396 116056064 27892 4089446400 134512640 135751879 4293747808 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/14062/statm: 28334 27892 146 303 0 28029 0 Current children cumulated CPU time (s) 41.49 Current children cumulated vsize (KiB) 113336 [startup+44.7006 s] /proc/loadavg: 2.01 2.02 2.00 3/197 14065 /proc/meminfo: memFree=31244052/32951124 swapFree=67111528/67111528 [pid=14062] ppid=14060 vsize=121784 CPUtime=44.7 /proc/14062/stat : 14062 (wbo1.4a) R 14060 14062 12487 0 -1 4202496 30112 0 0 0 4358 112 0 0 25 0 1 0 133685396 124706816 30028 4089446400 134512640 135751879 4293747808 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/14062/statm: 30446 30028 146 303 0 30141 0 Current children cumulated CPU time (s) 44.7 Current children cumulated vsize (KiB) 121784 [startup+45.5005 s] /proc/loadavg: 2.01 2.02 2.00 3/197 14065 /proc/meminfo: memFree=31242688/32951124 swapFree=67111528/67111528 [pid=14062] ppid=14060 vsize=121784 CPUtime=45.49 /proc/14062/stat : 14062 (wbo1.4a) R 14060 14062 12487 0 -1 4202496 30113 0 0 0 4436 113 0 0 25 0 1 0 133685396 124706816 30029 4089446400 134512640 135751879 4293747808 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/14062/statm: 30446 30029 146 303 0 30141 0 Current children cumulated CPU time (s) 45.49 Current children cumulated vsize (KiB) 121784 [startup+46.3003 s] /proc/loadavg: 2.01 2.02 2.00 3/197 14065 /proc/meminfo: memFree=31242564/32951124 swapFree=67111528/67111528 [pid=14062] ppid=14060 vsize=121784 CPUtime=46.29 /proc/14062/stat : 14062 (wbo1.4a) R 14060 14062 12487 0 -1 4202496 30113 0 0 0 4514 115 0 0 25 0 1 0 133685396 124706816 30029 4089446400 134512640 135751879 4293747808 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/14062/statm: 30446 30029 146 303 0 30141 0 Current children cumulated CPU time (s) 46.29 Current children cumulated vsize (KiB) 121784 [startup+46.7002 s] /proc/loadavg: 2.01 2.02 2.00 3/197 14065 /proc/meminfo: memFree=31242564/32951124 swapFree=67111528/67111528 [pid=14062] ppid=14060 vsize=122444 CPUtime=46.69 /proc/14062/stat : 14062 (wbo1.4a) R 14060 14062 12487 0 -1 4202496 30254 0 0 0 4553 116 0 0 25 0 1 0 133685396 125382656 30170 4089446400 134512640 135751879 4293747808 18446744073709551615 134517568 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/14062/statm: 30611 30170 146 303 0 30306 0 Current children cumulated CPU time (s) 46.69 Current children cumulated vsize (KiB) 122444 Child status: 0 Real time (s): 46.7206 CPU time (s): 46.7219 CPU user time (s): 45.5541 CPU system time (s): 1.16782 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 122444 getrusage(RUSAGE_CHILDREN,...) data: user time used= 45.5541 system time used= 1.16782 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 30255 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= 551 runsolver used 0.080987 second user time and 0.151976 second system time The end
Begin job on node103 at 2010-06-30 20:51:14 IDJOB=2690100 IDBENCH=79219 IDSOLVER=1200 FILE ID=node103/2690100-1277923874 PBS_JOBID= 11197269 Free space on /tmp= 74212 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110968094--soft-0-100-0.wbo COMMAND LINE= wbo1.4a -file-format=wbo -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2690100-1277923874/watcher-2690100-1277923874 -o /tmp/evaluation-result-2690100-1277923874/solver-2690100-1277923874 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690100-1277923874.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 38689affd31dfd76c9ffeea1f5bf526c RANDOM SEED=1195536344 node103.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.817 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.817 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.817 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.75 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.817 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.75 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.817 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.74 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.817 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.817 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.75 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.817 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 : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31371928 kB Buffers: 208096 kB Cached: 909148 kB SwapCached: 0 kB Active: 780136 kB Inactive: 655864 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31371928 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2984 kB Writeback: 0 kB AnonPages: 319356 kB Mapped: 20420 kB Slab: 78756 kB PageTables: 5044 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1657948 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 node103 at 2010-06-30 20:52:01