Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | OPTIMUM | 71.2302 | 71.2304 |
Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110978113--soft-0-100-0.wbo |
MD5SUM | d4e6776e3ea6e9cf4cf1ebaa2f1d5c78 |
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.619904 |
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 | 1184 |
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-2690126-1277924246.wbo. 0.00/0.00 c Instance file HOME/instance-2690126-1277924246.wbo 0.00/0.00 c File size is 10460 bytes. 0.00/0.00 c Highest Coefficient sum: 1184 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 39 | 0.004 % | 0.00/0.00 c | 251 | 169 101 1205 | 6050 251 37 | 0.004 % | 0.00/0.01 c | 476 | 169 101 1205 | 6655 476 35 | 0.004 % | 0.00/0.02 c | 816 | 169 101 1205 | 7320 816 36 | 0.004 % | 0.02/0.03 c | 1322 | 169 101 1205 | 8052 1322 37 | 0.004 % | 0.02/0.05 c | 2081 | 169 101 1205 | 8857 2081 37 | 0.004 % | 0.02/0.09 c | 3220 | 169 101 1205 | 9743 3220 35 | 0.004 % | 0.09/0.15 c | 4928 | 169 101 1205 | 10717 4928 37 | 0.004 % | 0.19/0.25 c | 7493 | 169 101 1205 | 11789 7493 39 | 0.004 % | 0.39/0.46 c | 11341 | 169 101 1205 | 12968 11341 42 | 0.004 % | 0.79/0.80 c | 17107 | 169 101 1205 | 14265 10566 47 | 0.004 % | 1.39/1.40 c | 25758 | 169 101 1205 | 15692 12037 47 | 0.004 % | 2.49/2.50 c | 38733 | 169 101 1205 | 17261 9216 48 | 0.004 % | 4.09/4.11 c | 58196 | 169 101 1205 | 18987 11308 49 | 0.004 % | 6.60/6.67 c | 87388 | 124 101 1205 | 20886 1576 36 | 26.631 % | 6.60/6.69 c =============================================================================== 7.09/7.11 c core #1 7.09/7.11 c ============================[ Search Statistics ]============================== 7.09/7.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.09/7.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.09/7.11 c =============================================================================== 7.09/7.11 c | 0 | 264 200 2574 | 5000 0 nan | 0.000 % | 7.09/7.12 c | 101 | 264 200 2574 | 5500 101 39 | 0.001 % | 7.09/7.13 c | 251 | 264 200 2574 | 6050 251 34 | 0.001 % | 7.09/7.13 c | 476 | 264 200 2574 | 6655 476 33 | 0.001 % | 7.09/7.14 c | 815 | 264 200 2574 | 7320 815 34 | 0.001 % | 7.09/7.16 c | 1321 | 264 200 2574 | 8052 1321 34 | 0.001 % | 7.09/7.18 c | 2081 | 264 200 2574 | 8857 2081 35 | 0.001 % | 7.19/7.22 c | 3223 | 264 200 2574 | 9743 3223 36 | 0.001 % | 7.19/7.29 c | 4931 | 264 200 2574 | 10717 4931 37 | 0.001 % | 7.39/7.42 c | 7493 | 264 200 2574 | 11789 7493 37 | 0.001 % | 7.60/7.67 c | 11337 | 264 200 2574 | 12968 11337 39 | 0.001 % | 8.09/8.11 c | 17105 | 264 200 2574 | 14265 10579 42 | 0.001 % | 8.80/8.87 c | 25754 | 264 200 2574 | 15692 12041 46 | 0.001 % | 10.09/10.11 c | 38729 | 264 200 2574 | 17261 9246 49 | 0.001 % | 11.79/11.88 c | 58190 | 264 200 2574 | 18987 11341 50 | 0.001 % | 13.69/13.74 c =============================================================================== 14.09/14.18 c core #2 14.09/14.18 c ============================[ Search Statistics ]============================== 14.09/14.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.09/14.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.09/14.18 c =============================================================================== 14.09/14.18 c | 0 | 358 298 3928 | 5000 0 nan | 0.000 % | 14.09/14.19 c | 101 | 358 298 3928 | 5500 101 38 | 0.001 % | 14.09/14.20 c | 251 | 358 298 3928 | 6050 251 37 | 0.001 % | 14.19/14.21 c | 476 | 358 298 3928 | 6655 476 35 | 0.001 % | 14.19/14.22 c | 813 | 358 298 3928 | 7320 813 34 | 0.001 % | 14.19/14.23 c | 1319 | 358 298 3928 | 8052 1319 36 | 0.001 % | 14.19/14.26 c | 2079 | 358 298 3928 | 8857 2079 37 | 0.001 % | 14.30/14.31 c | 3219 | 358 298 3928 | 9743 3219 39 | 0.001 % | 14.39/14.40 c | 4928 | 358 298 3928 | 10717 4928 41 | 0.001 % | 14.49/14.56 c | 7494 | 358 298 3928 | 11789 7494 41 | 0.001 % | 14.79/14.86 c | 11338 | 358 298 3928 | 12968 11338 44 | 0.001 % | 15.29/15.37 c | 17107 | 358 298 3928 | 14265 10573 48 | 0.001 % | 16.09/16.14 c | 25756 | 358 298 3928 | 15692 12039 47 | 0.001 % | 17.29/17.39 c | 38730 | 358 298 3928 | 17261 9206 50 | 0.001 % | 19.29/19.37 c | 58192 | 358 298 3928 | 18987 11291 50 | 0.001 % | 22.59/22.60 c | 87384 | 319 298 3928 | 20886 1669 32 | 10.895 % | 23.10/23.14 c =============================================================================== 23.69/23.71 c core #3 23.69/23.71 c ============================[ Search Statistics ]============================== 23.69/23.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 23.69/23.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 23.69/23.71 c =============================================================================== 23.69/23.71 c | 0 | 453 396 5284 | 5000 0 nan | 0.000 % | 23.69/23.72 c | 100 | 453 396 5284 | 5500 100 49 | 0.000 % | 23.69/23.73 c | 251 | 453 396 5284 | 6050 251 39 | 0.000 % | 23.69/23.74 c | 477 | 453 396 5284 | 6655 477 35 | 0.000 % | 23.69/23.75 c | 814 | 453 396 5284 | 7320 814 35 | 0.000 % | 23.69/23.77 c | 1320 | 453 396 5284 | 8052 1320 33 | 0.000 % | 23.79/23.80 c | 2079 | 453 396 5284 | 8857 2079 36 | 0.000 % | 23.79/23.86 c | 3218 | 453 396 5284 | 9743 3218 36 | 0.000 % | 23.89/23.96 c | 4929 | 453 396 5284 | 10717 4929 38 | 0.000 % | 24.09/24.15 c | 7491 | 453 396 5284 | 11789 7491 40 | 0.000 % | 24.39/24.49 c | 11338 | 453 396 5284 | 12968 11338 42 | 0.000 % | 24.89/24.99 c | 17107 | 453 396 5284 | 14265 10562 44 | 0.000 % | 25.69/25.73 c | 25760 | 453 396 5284 | 15692 12037 43 | 0.000 % | 26.89/26.99 c | 38734 | 453 396 5284 | 17261 9207 46 | 0.000 % | 28.89/28.96 c | 58195 | 453 396 5284 | 18987 11305 49 | 0.000 % | 29.99/30.00 c =============================================================================== 30.39/30.41 c core #4 30.39/30.41 c ============================[ Search Statistics ]============================== 30.39/30.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 30.39/30.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 30.39/30.41 c =============================================================================== 30.39/30.41 c | 0 | 546 493 6634 | 5000 0 nan | 0.000 % | 30.39/30.42 c | 100 | 546 493 6634 | 5500 100 35 | 0.000 % | 30.39/30.42 c | 250 | 546 493 6634 | 6050 250 35 | 0.000 % | 30.39/30.43 c | 475 | 546 493 6634 | 6655 475 34 | 0.000 % | 30.39/30.44 c | 812 | 546 493 6634 | 7320 812 37 | 0.000 % | 30.39/30.46 c | 1318 | 546 493 6634 | 8052 1318 39 | 0.000 % | 30.49/30.50 c | 2077 | 546 493 6634 | 8857 2077 39 | 0.000 % | 30.49/30.55 c | 3216 | 546 493 6634 | 9743 3216 41 | 0.000 % | 30.59/30.65 c | 4924 | 546 493 6634 | 10717 4924 41 | 0.000 % | 30.80/30.82 c | 7488 | 546 493 6634 | 11789 7488 40 | 0.000 % | 31.09/31.16 c | 11332 | 546 493 6634 | 12968 11332 41 | 0.000 % | 31.59/31.62 c | 17099 | 546 493 6634 | 14265 10560 43 | 0.000 % | 32.29/32.39 c | 25748 | 546 493 6634 | 15692 12016 45 | 0.000 % | 33.68/33.78 c | 38723 | 546 493 6634 | 17261 9182 46 | 0.000 % | 35.69/35.75 c | 58185 | 546 493 6634 | 18987 11302 50 | 0.000 % | 37.89/37.93 c =============================================================================== 38.29/38.38 c core #5 38.29/38.38 c ============================[ Search Statistics ]============================== 38.29/38.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 38.29/38.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 38.29/38.38 c =============================================================================== 38.29/38.38 c | 0 | 640 590 7986 | 5000 0 nan | 0.000 % | 38.29/38.39 c | 101 | 640 590 7986 | 5500 101 38 | 0.000 % | 38.29/38.40 c | 253 | 640 590 7986 | 6050 253 34 | 0.000 % | 38.39/38.41 c | 478 | 640 590 7986 | 6655 478 32 | 0.000 % | 38.39/38.42 c | 815 | 640 590 7986 | 7320 815 33 | 0.000 % | 38.39/38.44 c | 1322 | 640 590 7986 | 8052 1322 34 | 0.000 % | 38.39/38.47 c | 2081 | 640 590 7986 | 8857 2081 34 | 0.000 % | 38.50/38.53 c | 3221 | 640 590 7986 | 9743 3221 36 | 0.000 % | 38.59/38.63 c | 4931 | 640 590 7986 | 10717 4931 38 | 0.000 % | 38.69/38.78 c | 7493 | 640 590 7986 | 11789 7493 40 | 0.000 % | 38.99/39.07 c | 11340 | 640 590 7986 | 12968 11340 40 | 0.000 % | 39.60/39.62 c | 17106 | 640 590 7986 | 14265 10575 45 | 0.000 % | 40.39/40.48 c | 25755 | 640 590 7986 | 15692 12032 50 | 0.000 % | 41.80/41.83 c | 38729 | 640 590 7986 | 17261 9214 52 | 0.000 % | 44.09/44.16 c | 58190 | 640 590 7986 | 18987 11319 51 | 0.000 % | 47.49/47.59 c | 87382 | 640 590 7986 | 20886 11877 52 | 0.000 % | 48.49/48.53 c =============================================================================== 49.09/49.13 c core #6 49.09/49.13 c ============================[ Search Statistics ]============================== 49.09/49.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 49.09/49.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 49.09/49.13 c =============================================================================== 49.09/49.13 c | 0 | 734 685 9313 | 5000 0 nan | 0.000 % | 49.09/49.14 c | 100 | 734 685 9313 | 5500 100 41 | 0.000 % | 49.09/49.15 c | 251 | 734 685 9313 | 6050 251 32 | 0.000 % | 49.09/49.16 c | 476 | 734 685 9313 | 6655 476 32 | 0.000 % | 49.09/49.17 c | 813 | 734 685 9313 | 7320 813 32 | 0.000 % | 49.19/49.20 c | 1321 | 734 685 9313 | 8052 1321 31 | 0.000 % | 49.19/49.23 c | 2081 | 734 685 9313 | 8857 2081 32 | 0.000 % | 49.29/49.30 c | 3220 | 734 685 9313 | 9743 3220 34 | 0.000 % | 49.40/49.40 c | 4928 | 734 685 9313 | 10717 4928 36 | 0.000 % | 49.59/49.60 c | 7493 | 734 685 9313 | 11789 7493 38 | 0.000 % | 49.89/49.94 c | 11337 | 734 685 9313 | 12968 11337 40 | 0.000 % | 50.40/50.45 c | 17104 | 734 685 9313 | 14265 10574 44 | 0.000 % | 51.29/51.31 c | 25754 | 734 685 9313 | 15692 12039 46 | 0.000 % | 52.49/52.59 c | 38728 | 734 685 9313 | 17261 9216 48 | 0.000 % | 54.59/54.66 c | 58193 | 734 685 9313 | 18987 11301 51 | 0.000 % | 57.89/57.93 c | 87387 | 734 685 9313 | 20886 11844 50 | 0.008 % | 58.59/58.69 c =============================================================================== 59.19/59.24 c core #7 59.19/59.24 c ============================[ Search Statistics ]============================== 59.19/59.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 59.19/59.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 59.19/59.24 c =============================================================================== 59.19/59.24 c | 0 | 840 783 10694 | 5000 0 nan | 0.000 % | 59.19/59.26 c | 100 | 840 783 10694 | 5500 100 33 | 0.000 % | 59.19/59.26 c | 252 | 840 783 10694 | 6050 252 29 | 0.000 % | 59.19/59.27 c | 477 | 840 783 10694 | 6655 477 29 | 0.000 % | 59.19/59.28 c | 815 | 840 783 10694 | 7320 815 31 | 0.000 % | 59.30/59.31 c | 1321 | 840 783 10694 | 8052 1321 32 | 0.000 % | 59.30/59.34 c | 2080 | 840 783 10694 | 8857 2080 32 | 0.000 % | 59.40/59.40 c | 3223 | 840 783 10694 | 9743 3223 34 | 0.000 % | 59.49/59.52 c | 4933 | 840 783 10694 | 10717 4933 36 | 0.000 % | 59.69/59.70 c | 7497 | 840 783 10694 | 11789 7497 37 | 0.000 % | 59.99/60.03 c | 11342 | 840 783 10694 | 12968 11342 39 | 0.000 % | 60.50/60.55 c | 17110 | 840 783 10694 | 14265 10570 43 | 0.000 % | 61.29/61.36 c | 25760 | 840 783 10694 | 15692 12042 44 | 0.000 % | 62.70/62.73 c | 38737 | 840 783 10694 | 17261 9203 47 | 0.000 % | 64.80/64.89 c | 58199 | 840 783 10694 | 18987 11296 48 | 0.000 % | 68.39/68.47 c | 87393 | 840 783 10694 | 20886 11855 50 | 0.006 % | 69.10/69.13 c =============================================================================== 69.60/69.69 c core #8 69.60/69.69 c ============================[ Search Statistics ]============================== 69.60/69.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 69.60/69.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 69.60/69.69 c =============================================================================== 69.60/69.69 c | 0 | 945 877 12029 | 5000 0 nan | 0.000 % | 69.70/69.71 c | 104 | 945 877 12029 | 5500 104 42 | 0.000 % | 69.70/69.72 c | 254 | 945 877 12029 | 6050 254 37 | 0.000 % | 69.70/69.73 c | 479 | 945 877 12029 | 6655 479 35 | 0.000 % | 69.70/69.74 c | 817 | 945 877 12029 | 7320 817 36 | 0.000 % | 69.70/69.77 c | 1325 | 945 877 12029 | 8052 1325 36 | 0.000 % | 69.79/69.80 c | 2086 | 945 877 12029 | 8857 2086 36 | 0.000 % | 69.79/69.87 c | 3229 | 945 877 12029 | 9743 3229 39 | 0.000 % | 69.89/69.98 c | 4937 | 945 877 12029 | 10717 4937 40 | 0.000 % | 70.09/70.19 c | 7499 | 945 877 12029 | 11789 7499 40 | 0.000 % | 70.49/70.53 c | 11346 | 945 877 12029 | 12968 11346 42 | 0.000 % | 70.99/71.07 c | 17112 | 945 877 12029 | 14265 10571 46 | 0.000 % | 71.19/71.22 c =============================================================================== 71.19/71.22 c #cores: 8 71.19/71.22 c Final Weight: 9 71.19/71.22 o 9 71.19/71.22 s OPTIMUM FOUND 71.19/71.22 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 71.19/71.22 c Total CPU time: 70.4223 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-2690126-1277924246/watcher-2690126-1277924246 -o /tmp/evaluation-result-2690126-1277924246/solver-2690126-1277924246 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690126-1277924246.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.15 2.06 2.02 4/196 13411 /proc/meminfo: memFree=31226296/32951124 swapFree=67111528/67111528 [pid=13411] ppid=13409 vsize=2572 CPUtime=0 /proc/13411/stat : 13411 (wbo1.4a) R 13409 13411 11356 0 -1 4202496 293 0 0 0 0 0 0 0 25 0 1 0 133721936 2633728 209 4089446400 134512640 135751879 4286600336 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/13411/statm: 643 209 143 303 0 338 0 [startup+0.0228981 s] /proc/loadavg: 2.15 2.06 2.02 4/196 13411 /proc/meminfo: memFree=31226296/32951124 swapFree=67111528/67111528 [pid=13411] ppid=13409 vsize=2836 CPUtime=0.02 /proc/13411/stat : 13411 (wbo1.4a) R 13409 13411 11356 0 -1 4202496 346 0 0 0 2 0 0 0 25 0 1 0 133721936 2904064 262 4089446400 134512640 135751879 4286600336 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/13411/statm: 709 263 143 303 0 404 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 2836 [startup+0.100875 s] /proc/loadavg: 2.15 2.06 2.02 4/196 13411 /proc/meminfo: memFree=31226296/32951124 swapFree=67111528/67111528 [pid=13411] ppid=13409 vsize=3628 CPUtime=0.09 /proc/13411/stat : 13411 (wbo1.4a) R 13409 13411 11356 0 -1 4202496 551 0 0 0 9 0 0 0 25 0 1 0 133721936 3715072 467 4089446400 134512640 135751879 4286600336 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/13411/statm: 907 468 143 303 0 602 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3628 [startup+0.300836 s] /proc/loadavg: 2.15 2.06 2.02 4/196 13411 /proc/meminfo: memFree=31226296/32951124 swapFree=67111528/67111528 [pid=13411] ppid=13409 vsize=5344 CPUtime=0.29 /proc/13411/stat : 13411 (wbo1.4a) R 13409 13411 11356 0 -1 4202496 986 0 0 0 29 0 0 0 25 0 1 0 133721936 5472256 902 4089446400 134512640 135751879 4286600336 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/13411/statm: 1336 902 143 303 0 1031 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5344 [startup+0.700767 s] /proc/loadavg: 2.15 2.06 2.02 4/196 13411 /proc/meminfo: memFree=31226296/32951124 swapFree=67111528/67111528 [pid=13411] ppid=13409 vsize=7984 CPUtime=0.69 /proc/13411/stat : 13411 (wbo1.4a) R 13409 13411 11356 0 -1 4202496 1631 0 0 0 68 1 0 0 25 0 1 0 133721936 8175616 1547 4089446400 134512640 135751879 4286600336 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/13411/statm: 1996 1547 143 303 0 1691 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7984 [startup+1.50062 s] /proc/loadavg: 2.14 2.06 2.01 3/197 13412 /proc/meminfo: memFree=31218848/32951124 swapFree=67111528/67111528 [pid=13411] ppid=13409 vsize=12076 CPUtime=1.49 /proc/13411/stat : 13411 (wbo1.4a) R 13409 13411 11356 0 -1 4202496 2661 0 0 0 147 2 0 0 25 0 1 0 133721936 12365824 2577 4089446400 134512640 135751879 4286600336 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/13411/statm: 3019 2577 143 303 0 2714 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 12076 [startup+3.10032 s] /proc/loadavg: 2.14 2.06 2.01 3/197 13412 /proc/meminfo: memFree=31213876/32951124 swapFree=67111528/67111528 [pid=13411] ppid=13409 vsize=19472 CPUtime=3.09 /proc/13411/stat : 13411 (wbo1.4a) R 13409 13411 11356 0 -1 4202496 4511 0 0 0 304 5 0 0 25 0 1 0 133721936 19939328 4427 4089446400 134512640 135751879 4286600336 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/13411/statm: 4868 4428 143 303 0 4563 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 19472 [startup+6.30074 s] /proc/loadavg: 2.14 2.06 2.01 3/197 13412 /proc/meminfo: memFree=31198748/32951124 swapFree=67111528/67111528 [pid=13411] ppid=13409 vsize=33520 CPUtime=6.29 /proc/13411/stat : 13411 (wbo1.4a) R 13409 13411 11356 0 -1 4202496 8019 0 0 0 619 10 0 0 25 0 1 0 133721936 34324480 7935 4089446400 134512640 135751879 4286600336 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/13411/statm: 8380 7935 143 303 0 8075 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 33520 [startup+12.7006 s] /proc/loadavg: 2.12 2.06 2.01 3/197 13412 /proc/meminfo: memFree=31185628/32951124 swapFree=67111528/67111528 [pid=13411] ppid=13409 vsize=46344 CPUtime=12.69 /proc/13411/stat : 13411 (wbo1.4a) R 13409 13411 11356 0 -1 4202496 11238 0 0 0 1253 16 0 0 25 0 1 0 133721936 47456256 11154 4089446400 134512640 135751879 4286600336 18446744073709551615 134616390 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/13411/statm: 11586 11154 146 303 0 11281 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 46344 [startup+25.5002 s] /proc/loadavg: 2.10 2.06 2.01 3/197 13412 /proc/meminfo: memFree=31153552/32951124 swapFree=67111528/67111528 [pid=13411] ppid=13409 vsize=75924 CPUtime=25.49 /proc/13411/stat : 13411 (wbo1.4a) R 13409 13411 11356 0 -1 4202496 18622 0 0 0 2519 30 0 0 25 0 1 0 133721936 77746176 18538 4089446400 134512640 135751879 4286600336 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/13411/statm: 18981 18538 146 303 0 18676 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 75924 [startup+51.1005 s] /proc/loadavg: 2.06 2.05 2.01 3/197 13413 /proc/meminfo: memFree=31099916/32951124 swapFree=67111528/67111528 [pid=13411] ppid=13409 vsize=129476 CPUtime=51.09 /proc/13411/stat : 13411 (wbo1.4a) R 13409 13411 11356 0 -1 4202496 32024 0 0 0 5051 58 0 0 25 0 1 0 133721936 132583424 31940 4089446400 134512640 135751879 4286600336 18446744073709551615 134616482 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/13411/statm: 32369 31940 146 303 0 32064 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 129476 Solver just ended. Dumping a history of the last processes samples [startup+63.9012 s] /proc/loadavg: 2.13 2.07 2.01 3/197 13413 /proc/meminfo: memFree=31079572/32951124 swapFree=67111528/67111528 [pid=13411] ppid=13409 vsize=150032 CPUtime=63.89 /proc/13411/stat : 13411 (wbo1.4a) R 13409 13411 11356 0 -1 4202496 37169 0 0 0 6318 71 0 0 25 0 1 0 133721936 153632768 37085 4089446400 134512640 135751879 4286600336 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/13411/statm: 37508 37085 146 303 0 37203 0 Current children cumulated CPU time (s) 63.89 Current children cumulated vsize (KiB) 150032 [startup+67.1066 s] /proc/loadavg: 2.12 2.06 2.01 3/197 13413 /proc/meminfo: memFree=31071628/32951124 swapFree=67111528/67111528 [pid=13411] ppid=13409 vsize=157988 CPUtime=67.1 /proc/13411/stat : 13411 (wbo1.4a) R 13409 13411 11356 0 -1 4202496 39142 0 0 0 6636 74 0 0 25 0 1 0 133721936 161779712 39058 4089446400 134512640 135751879 4286600336 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/13411/statm: 39497 39058 146 303 0 39192 0 Current children cumulated CPU time (s) 67.1 Current children cumulated vsize (KiB) 157988 [startup+68.7003 s] /proc/loadavg: 2.12 2.06 2.01 3/197 13413 /proc/meminfo: memFree=31068280/32951124 swapFree=67111528/67111528 [pid=13411] ppid=13409 vsize=163136 CPUtime=68.69 /proc/13411/stat : 13411 (wbo1.4a) R 13409 13411 11356 0 -1 4202496 40437 0 0 0 6793 76 0 0 25 0 1 0 133721936 167051264 40353 4089446400 134512640 135751879 4286600336 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/13411/statm: 40784 40353 146 303 0 40479 0 Current children cumulated CPU time (s) 68.69 Current children cumulated vsize (KiB) 163136 [startup+70.301 s] /proc/loadavg: 2.12 2.06 2.01 3/197 13414 /proc/meminfo: memFree=31061328/32951124 swapFree=67111528/67111528 [pid=13411] ppid=13409 vsize=168028 CPUtime=70.3 /proc/13411/stat : 13411 (wbo1.4a) R 13409 13411 11356 0 -1 4202496 41661 0 0 0 6952 78 0 0 18 0 1 0 133721936 172060672 41577 4089446400 134512640 135751879 4286600336 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/13411/statm: 42007 41577 146 303 0 41702 0 Current children cumulated CPU time (s) 70.3 Current children cumulated vsize (KiB) 168028 [startup+70.7009 s] /proc/loadavg: 2.12 2.06 2.01 3/197 13414 /proc/meminfo: memFree=31061328/32951124 swapFree=67111528/67111528 [pid=13411] ppid=13409 vsize=168028 CPUtime=70.69 /proc/13411/stat : 13411 (wbo1.4a) R 13409 13411 11356 0 -1 4202496 41661 0 0 0 6991 78 0 0 19 0 1 0 133721936 172060672 41577 4089446400 134512640 135751879 4286600336 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/13411/statm: 42007 41577 146 303 0 41702 0 Current children cumulated CPU time (s) 70.69 Current children cumulated vsize (KiB) 168028 [startup+71.1009 s] /proc/loadavg: 2.12 2.06 2.01 3/197 13414 /proc/meminfo: memFree=31061328/32951124 swapFree=67111528/67111528 [pid=13411] ppid=13409 vsize=168028 CPUtime=71.09 /proc/13411/stat : 13411 (wbo1.4a) R 13409 13411 11356 0 -1 4202496 41661 0 0 0 7030 79 0 0 20 0 1 0 133721936 172060672 41577 4089446400 134512640 135751879 4286600336 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/13411/statm: 42007 41577 146 303 0 41702 0 Current children cumulated CPU time (s) 71.09 Current children cumulated vsize (KiB) 168028 [startup+71.2008 s] /proc/loadavg: 2.12 2.06 2.01 3/197 13414 /proc/meminfo: memFree=31061328/32951124 swapFree=67111528/67111528 [pid=13411] ppid=13409 vsize=168028 CPUtime=71.19 /proc/13411/stat : 13411 (wbo1.4a) R 13409 13411 11356 0 -1 4202496 41661 0 0 0 7040 79 0 0 20 0 1 0 133721936 172060672 41577 4089446400 134512640 135751879 4286600336 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/13411/statm: 42007 41577 146 303 0 41702 0 Current children cumulated CPU time (s) 71.19 Current children cumulated vsize (KiB) 168028 Child status: 0 Real time (s): 71.2304 CPU time (s): 71.2302 CPU user time (s): 70.4223 CPU system time (s): 0.807877 CPU usage (%): 99.9997 Max. virtual memory (cumulated for all children) (KiB): 168028 getrusage(RUSAGE_CHILDREN,...) data: user time used= 70.4223 system time used= 0.807877 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 41661 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= 3 involuntary context switches= 174 runsolver used 0.118981 second user time and 0.233964 second system time The end
Begin job on node109 at 2010-06-30 20:57:26 IDJOB=2690126 IDBENCH=79232 IDSOLVER=1200 FILE ID=node109/2690126-1277924246 PBS_JOBID= 11197346 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.1110978113--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-2690126-1277924246/watcher-2690126-1277924246 -o /tmp/evaluation-result-2690126-1277924246/solver-2690126-1277924246 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690126-1277924246.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= d4e6776e3ea6e9cf4cf1ebaa2f1d5c78 RANDOM SEED=1223107152 node109.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.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.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.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.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.74 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.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31226824 kB Buffers: 206888 kB Cached: 1051724 kB SwapCached: 0 kB Active: 832756 kB Inactive: 746144 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31226824 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2988 kB Writeback: 0 kB AnonPages: 320324 kB Mapped: 20280 kB Slab: 81528 kB PageTables: 5200 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1646264 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 node109 at 2010-06-30 20:58:37