Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | OPTIMUM | 88.5725 | 88.5735 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111212923--soft-66-100-0.wbo |
MD5SUM | 814425604e6b100ff397547bbbf81dc9 |
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 | 22 |
Best CPU time to get the best result obtained on this benchmark | 0.399938 |
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 | 1230 |
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-2689967-1277899770.wbo. 0.00/0.00 c Instance file HOME/instance-2689967-1277899770.wbo 0.00/0.00 c File size is 10171 bytes. 0.00/0.00 c Highest Coefficient sum: 1230 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 | 100 | 169 101 1205 | 5500 100 29 | 0.004 % | 0.00/0.00 c | 250 | 169 101 1205 | 6050 250 29 | 0.004 % | 0.00/0.01 c | 475 | 169 101 1205 | 6655 475 28 | 0.004 % | 0.00/0.02 c | 813 | 169 101 1205 | 7320 813 28 | 0.004 % | 0.00/0.03 c | 1320 | 169 101 1205 | 8052 1320 32 | 0.004 % | 0.00/0.05 c | 2081 | 169 101 1205 | 8857 2081 32 | 0.004 % | 0.07/0.09 c | 3221 | 169 101 1205 | 9743 3221 34 | 0.004 % | 0.09/0.16 c | 4930 | 169 101 1205 | 10717 4930 35 | 0.004 % | 0.19/0.28 c | 7492 | 169 101 1205 | 11789 7492 36 | 0.004 % | 0.39/0.48 c | 11336 | 169 101 1205 | 12968 11336 39 | 0.004 % | 0.79/0.88 c | 17103 | 169 101 1205 | 14265 10572 43 | 0.004 % | 1.38/1.48 c | 25753 | 169 101 1205 | 15692 12035 45 | 0.004 % | 2.28/2.37 c | 38729 | 124 101 1205 | 17261 1321 39 | 26.631 % | 2.49/2.50 c =============================================================================== 2.59/2.64 c core #1 2.59/2.64 c ============================[ Search Statistics ]============================== 2.59/2.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.59/2.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.59/2.64 c =============================================================================== 2.59/2.64 c | 0 | 210 142 1713 | 5000 0 nan | 0.000 % | 2.59/2.64 c | 101 | 210 142 1713 | 5500 101 32 | 0.002 % | 2.59/2.65 c | 251 | 210 142 1713 | 6050 251 33 | 0.002 % | 2.59/2.66 c | 476 | 210 142 1713 | 6655 476 30 | 0.002 % | 2.59/2.67 c | 813 | 210 142 1713 | 7320 813 32 | 0.002 % | 2.59/2.68 c | 1319 | 210 142 1713 | 8052 1319 33 | 0.002 % | 2.69/2.71 c | 2079 | 210 142 1713 | 8857 2079 35 | 0.002 % | 2.69/2.75 c | 3219 | 210 142 1713 | 9743 3219 34 | 0.002 % | 2.78/2.82 c | 4931 | 210 142 1713 | 10717 4931 34 | 0.002 % | 2.89/2.97 c | 7494 | 210 142 1713 | 11789 7494 36 | 0.002 % | 3.19/3.22 c | 11339 | 210 142 1713 | 12968 11339 37 | 0.002 % | 3.59/3.61 c | 17106 | 210 142 1713 | 14265 10578 39 | 0.002 % | 4.18/4.26 c | 25755 | 210 142 1713 | 15692 12042 43 | 0.002 % | 5.29/5.35 c | 38729 | 210 142 1713 | 17261 9216 43 | 0.002 % | 6.68/6.77 c =============================================================================== 6.89/6.99 c core #2 6.89/6.99 c ============================[ Search Statistics ]============================== 6.89/6.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.89/6.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.89/6.99 c =============================================================================== 6.89/6.99 c | 0 | 251 183 2221 | 5000 0 nan | 0.000 % | 6.89/6.99 c | 104 | 251 183 2221 | 5500 104 24 | 0.002 % | 6.99/7.00 c | 254 | 251 183 2221 | 6050 254 28 | 0.002 % | 6.99/7.00 c | 479 | 251 183 2221 | 6655 479 28 | 0.002 % | 6.99/7.01 c | 818 | 251 183 2221 | 7320 818 28 | 0.002 % | 6.99/7.03 c | 1327 | 251 183 2221 | 8052 1327 30 | 0.002 % | 6.99/7.06 c | 2088 | 251 183 2221 | 8857 2088 31 | 0.002 % | 7.09/7.11 c | 3228 | 251 183 2221 | 9743 3228 34 | 0.002 % | 7.19/7.21 c | 4936 | 251 183 2221 | 10717 4936 37 | 0.002 % | 7.28/7.38 c | 7500 | 251 183 2221 | 11789 7500 40 | 0.002 % | 7.59/7.62 c | 11344 | 251 183 2221 | 12968 11344 39 | 0.002 % | 7.99/8.02 c | 17111 | 251 183 2221 | 14265 10590 41 | 0.002 % | 8.59/8.65 c | 25760 | 251 183 2221 | 15692 12047 43 | 0.002 % | 9.79/9.89 c | 38734 | 251 183 2221 | 17261 9229 45 | 0.002 % | 11.48/11.58 c | 58199 | 251 183 2221 | 18987 11340 46 | 0.002 % | 11.89/11.98 c =============================================================================== 12.19/12.25 c core #3 12.19/12.25 c ============================[ Search Statistics ]============================== 12.19/12.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.19/12.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.19/12.25 c =============================================================================== 12.19/12.25 c | 0 | 290 223 2712 | 5000 0 nan | 0.000 % | 12.19/12.25 c | 101 | 290 223 2712 | 5500 101 25 | 0.001 % | 12.19/12.26 c | 251 | 290 223 2712 | 6050 251 28 | 0.001 % | 12.19/12.27 c | 477 | 290 223 2712 | 6655 477 35 | 0.001 % | 12.19/12.28 c | 815 | 290 223 2712 | 7320 815 33 | 0.001 % | 12.19/12.30 c | 1321 | 290 223 2712 | 8052 1321 32 | 0.001 % | 12.28/12.32 c | 2080 | 290 223 2712 | 8857 2080 32 | 0.001 % | 12.28/12.37 c | 3219 | 290 223 2712 | 9743 3219 32 | 0.001 % | 12.38/12.44 c | 4927 | 290 223 2712 | 10717 4927 34 | 0.001 % | 12.59/12.60 c | 7489 | 290 223 2712 | 11789 7489 37 | 0.001 % | 12.79/12.88 c | 11335 | 290 223 2712 | 12968 11335 38 | 0.001 % | 13.29/13.31 c | 17105 | 290 223 2712 | 14265 10574 42 | 0.001 % | 13.89/13.99 c | 25756 | 290 223 2712 | 15692 12038 42 | 0.001 % | 14.99/15.07 c | 38730 | 290 223 2712 | 17261 9232 44 | 0.001 % | 16.59/16.67 c | 58192 | 290 223 2712 | 18987 11346 46 | 0.002 % | 16.98/17.09 c =============================================================================== 17.28/17.35 c core #4 17.28/17.35 c ============================[ Search Statistics ]============================== 17.28/17.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.28/17.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.28/17.35 c =============================================================================== 17.28/17.35 c | 0 | 328 261 3191 | 5000 0 nan | 0.000 % | 17.28/17.36 c | 100 | 328 261 3191 | 5500 100 30 | 0.001 % | 17.28/17.37 c | 250 | 328 261 3191 | 6050 250 29 | 0.001 % | 17.28/17.37 c | 476 | 328 261 3191 | 6655 476 29 | 0.001 % | 17.28/17.39 c | 813 | 328 261 3191 | 7320 813 31 | 0.001 % | 17.38/17.40 c | 1320 | 328 261 3191 | 8052 1320 31 | 0.001 % | 17.38/17.43 c | 2079 | 328 261 3191 | 8857 2079 30 | 0.001 % | 17.38/17.48 c | 3218 | 328 261 3191 | 9743 3218 33 | 0.001 % | 17.49/17.56 c | 4930 | 328 261 3191 | 10717 4930 37 | 0.001 % | 17.68/17.72 c | 7497 | 328 261 3191 | 11789 7497 39 | 0.001 % | 17.99/18.02 c | 11341 | 328 261 3191 | 12968 11341 41 | 0.001 % | 18.49/18.50 c | 17107 | 328 261 3191 | 14265 10571 42 | 0.001 % | 19.18/19.21 c | 25756 | 328 261 3191 | 15692 12021 44 | 0.001 % | 20.19/20.28 c | 38732 | 328 261 3191 | 17261 9196 43 | 0.001 % | 21.69/21.71 c =============================================================================== 21.89/21.94 c core #5 21.89/21.94 c ============================[ Search Statistics ]============================== 21.89/21.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.89/21.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.89/21.94 c =============================================================================== 21.89/21.94 c | 0 | 373 301 3706 | 5000 0 nan | 0.000 % | 21.89/21.95 c | 100 | 373 301 3706 | 5500 100 31 | 0.001 % | 21.89/21.95 c | 251 | 373 301 3706 | 6050 251 35 | 0.001 % | 21.89/21.96 c | 478 | 373 301 3706 | 6655 478 35 | 0.001 % | 21.89/21.97 c | 816 | 373 301 3706 | 7320 816 34 | 0.001 % | 21.89/21.99 c | 1324 | 373 301 3706 | 8052 1324 33 | 0.001 % | 21.99/22.02 c | 2085 | 373 301 3706 | 8857 2085 34 | 0.001 % | 21.99/22.07 c | 3224 | 373 301 3706 | 9743 3224 36 | 0.001 % | 22.09/22.16 c | 4933 | 373 301 3706 | 10717 4933 37 | 0.001 % | 22.29/22.31 c | 7495 | 373 301 3706 | 11789 7495 38 | 0.001 % | 22.59/22.62 c | 11340 | 373 301 3706 | 12968 11340 39 | 0.001 % | 23.00/23.08 c | 17109 | 373 301 3706 | 14265 10582 41 | 0.001 % | 23.69/23.79 c | 25760 | 373 301 3706 | 15692 12050 43 | 0.001 % | 24.89/24.91 c | 38735 | 373 301 3706 | 17261 9239 44 | 0.001 % | 26.39/26.42 c =============================================================================== 26.59/26.65 c core #6 26.59/26.65 c ============================[ Search Statistics ]============================== 26.59/26.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 26.59/26.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 26.59/26.65 c =============================================================================== 26.59/26.65 c | 0 | 413 342 4210 | 5000 0 nan | 0.000 % | 26.59/26.66 c | 101 | 413 342 4210 | 5500 101 30 | 0.001 % | 26.59/26.67 c | 253 | 413 342 4210 | 6050 253 34 | 0.001 % | 26.59/26.68 c | 479 | 413 342 4210 | 6655 479 35 | 0.001 % | 26.59/26.69 c | 817 | 413 342 4210 | 7320 817 34 | 0.001 % | 26.69/26.70 c | 1324 | 413 342 4210 | 8052 1324 34 | 0.001 % | 26.69/26.73 c | 2083 | 413 342 4210 | 8857 2083 35 | 0.001 % | 26.69/26.78 c | 3226 | 413 342 4210 | 9743 3226 35 | 0.001 % | 26.78/26.87 c | 4934 | 413 342 4210 | 10717 4934 36 | 0.001 % | 26.99/27.04 c | 7497 | 413 342 4210 | 11789 7497 38 | 0.001 % | 27.29/27.31 c | 11341 | 413 342 4210 | 12968 11341 39 | 0.001 % | 27.69/27.73 c | 17108 | 413 342 4210 | 14265 10569 44 | 0.001 % | 28.39/28.48 c | 25759 | 413 342 4210 | 15692 12040 47 | 0.001 % | 29.59/29.66 c | 38737 | 413 342 4210 | 17261 9210 46 | 0.001 % | 31.49/31.51 c | 58198 | 378 342 4210 | 18987 3681 41 | 8.475 % | 31.89/31.98 c =============================================================================== 32.18/32.26 c core #7 32.18/32.26 c ============================[ Search Statistics ]============================== 32.18/32.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 32.18/32.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 32.18/32.26 c =============================================================================== 32.18/32.26 c | 0 | 460 385 4756 | 5000 0 nan | 0.000 % | 32.18/32.27 c | 101 | 460 385 4756 | 5500 101 30 | 0.000 % | 32.18/32.28 c | 251 | 460 385 4756 | 6050 251 30 | 0.000 % | 32.18/32.28 c | 476 | 460 385 4756 | 6655 476 30 | 0.000 % | 32.18/32.29 c | 813 | 460 385 4756 | 7320 813 30 | 0.000 % | 32.28/32.31 c | 1319 | 460 385 4756 | 8052 1319 30 | 0.000 % | 32.28/32.34 c | 2078 | 460 385 4756 | 8857 2078 32 | 0.000 % | 32.39/32.40 c | 3217 | 460 385 4756 | 9743 3217 34 | 0.000 % | 32.39/32.48 c | 4926 | 460 385 4756 | 10717 4926 35 | 0.000 % | 32.59/32.64 c | 7489 | 460 385 4756 | 11789 7489 37 | 0.000 % | 32.90/32.94 c | 11334 | 460 385 4756 | 12968 11334 38 | 0.000 % | 33.29/33.38 c | 17101 | 460 385 4756 | 14265 10576 40 | 0.000 % | 33.99/34.03 c | 25752 | 460 385 4756 | 15692 12050 41 | 0.000 % | 34.99/35.06 c | 38728 | 460 385 4756 | 17261 9234 43 | 0.000 % | 35.99/36.03 c =============================================================================== 36.19/36.24 c core #8 36.19/36.24 c ============================[ Search Statistics ]============================== 36.19/36.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 36.19/36.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 36.19/36.24 c =============================================================================== 36.19/36.24 c | 0 | 502 424 5259 | 5000 0 nan | 0.000 % | 36.19/36.26 c | 101 | 502 424 5259 | 5500 101 29 | 0.000 % | 36.19/36.26 c | 252 | 502 424 5259 | 6050 252 30 | 0.000 % | 36.19/36.27 c | 478 | 502 424 5259 | 6655 478 28 | 0.000 % | 36.19/36.28 c | 817 | 502 424 5259 | 7320 817 27 | 0.000 % | 36.19/36.30 c | 1323 | 502 424 5259 | 8052 1323 30 | 0.000 % | 36.29/36.33 c | 2083 | 502 424 5259 | 8857 2083 32 | 0.000 % | 36.29/36.37 c | 3222 | 502 424 5259 | 9743 3222 32 | 0.000 % | 36.38/36.46 c | 4930 | 502 424 5259 | 10717 4930 35 | 0.000 % | 36.59/36.61 c | 7493 | 502 424 5259 | 11789 7493 36 | 0.000 % | 36.89/36.90 c | 11337 | 502 424 5259 | 12968 11337 38 | 0.000 % | 37.29/37.35 c | 17104 | 502 424 5259 | 14265 10573 42 | 0.000 % | 37.98/38.06 c | 25754 | 502 424 5259 | 15692 12030 42 | 0.000 % | 39.18/39.22 c | 38730 | 502 424 5259 | 17261 9202 44 | 0.000 % | 40.70/40.77 c | 58193 | 471 424 5259 | 18987 1794 31 | 6.176 % | 40.79/40.83 c =============================================================================== 40.99/41.05 c core #9 40.99/41.05 c ============================[ Search Statistics ]============================== 40.99/41.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 40.99/41.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 40.99/41.05 c =============================================================================== 40.99/41.05 c | 0 | 547 462 5751 | 5000 0 nan | 0.000 % | 40.99/41.06 c | 100 | 547 462 5751 | 5500 100 30 | 0.000 % | 40.99/41.06 c | 251 | 547 462 5751 | 6050 251 32 | 0.000 % | 40.99/41.07 c | 476 | 547 462 5751 | 6655 476 31 | 0.000 % | 40.99/41.08 c | 813 | 547 462 5751 | 7320 813 33 | 0.000 % | 41.09/41.10 c | 1323 | 547 462 5751 | 8052 1323 38 | 0.000 % | 41.09/41.12 c | 2082 | 547 462 5751 | 8857 2082 38 | 0.000 % | 41.09/41.17 c | 3221 | 547 462 5751 | 9743 3221 37 | 0.000 % | 41.19/41.26 c | 4929 | 547 462 5751 | 10717 4929 36 | 0.000 % | 41.29/41.39 c | 7491 | 547 462 5751 | 11789 7491 39 | 0.000 % | 41.59/41.67 c | 11335 | 547 462 5751 | 12968 11335 41 | 0.000 % | 42.09/42.12 c | 17101 | 547 462 5751 | 14265 10561 43 | 0.000 % | 42.68/42.80 c | 25751 | 547 462 5751 | 15692 12024 41 | 0.000 % | 43.78/43.87 c | 38726 | 547 462 5751 | 17261 9202 42 | 0.000 % | 45.39/45.49 c | 58188 | 547 462 5751 | 18987 11291 46 | 0.000 % | 46.09/46.18 c =============================================================================== 46.38/46.45 c core #10 46.38/46.45 c ============================[ Search Statistics ]============================== 46.38/46.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 46.38/46.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 46.38/46.45 c =============================================================================== 46.38/46.45 c | 0 | 605 498 6242 | 5000 0 nan | 0.000 % | 46.38/46.47 c | 101 | 605 498 6242 | 5500 101 27 | 0.000 % | 46.38/46.47 c | 251 | 605 498 6242 | 6050 251 30 | 0.000 % | 46.38/46.48 c | 476 | 605 498 6242 | 6655 476 32 | 0.000 % | 46.38/46.49 c | 814 | 605 498 6242 | 7320 814 33 | 0.000 % | 46.49/46.51 c | 1320 | 605 498 6242 | 8052 1320 31 | 0.000 % | 46.49/46.54 c | 2079 | 605 498 6242 | 8857 2079 30 | 0.000 % | 46.49/46.59 c | 3218 | 605 498 6242 | 9743 3218 30 | 0.000 % | 46.59/46.68 c | 4926 | 605 498 6242 | 10717 4926 32 | 0.000 % | 46.79/46.81 c | 7488 | 605 498 6242 | 11789 7488 33 | 0.000 % | 46.99/47.03 c | 11334 | 605 498 6242 | 12968 11334 35 | 0.000 % | 47.29/47.39 c | 17101 | 605 498 6242 | 14265 10569 38 | 0.000 % | 47.89/47.99 c | 25750 | 605 498 6242 | 15692 12035 41 | 0.000 % | 48.98/49.09 c | 38726 | 605 498 6242 | 17261 9202 47 | 0.000 % | 50.68/50.70 c | 58187 | 605 498 6242 | 18987 11292 46 | 0.000 % | 52.58/52.70 c =============================================================================== 52.99/53.03 c core #11 52.99/53.03 c ============================[ Search Statistics ]============================== 52.99/53.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 52.99/53.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 52.99/53.03 c =============================================================================== 52.99/53.03 c | 0 | 677 537 6812 | 5000 0 nan | 0.000 % | 52.99/53.05 c | 100 | 677 537 6812 | 5500 100 35 | 0.000 % | 52.99/53.05 c | 250 | 677 537 6812 | 6050 250 41 | 0.000 % | 52.99/53.06 c | 475 | 677 537 6812 | 6655 475 39 | 0.000 % | 52.99/53.07 c | 813 | 677 537 6812 | 7320 813 38 | 0.000 % | 52.99/53.09 c | 1320 | 677 537 6812 | 8052 1320 37 | 0.000 % | 53.09/53.12 c | 2081 | 677 537 6812 | 8857 2081 36 | 0.000 % | 53.09/53.17 c | 3221 | 677 537 6812 | 9743 3221 35 | 0.000 % | 53.19/53.26 c | 4930 | 677 537 6812 | 10717 4930 36 | 0.000 % | 53.29/53.39 c | 7492 | 677 537 6812 | 11789 7492 36 | 0.000 % | 53.59/53.64 c | 11337 | 677 537 6812 | 12968 11337 37 | 0.000 % | 53.99/54.06 c | 17106 | 677 537 6812 | 14265 10560 41 | 0.000 % | 54.59/54.68 c | 25756 | 677 537 6812 | 15692 12028 43 | 0.000 % | 55.68/55.77 c | 38732 | 677 537 6812 | 17261 9237 42 | 0.000 % | 57.29/57.36 c | 58193 | 677 537 6812 | 18987 11322 46 | 0.000 % | 58.08/58.13 c =============================================================================== 58.39/58.41 c core #12 58.39/58.41 c ============================[ Search Statistics ]============================== 58.39/58.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 58.39/58.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 58.39/58.41 c =============================================================================== 58.39/58.41 c | 0 | 722 576 7324 | 5000 0 nan | 0.000 % | 58.39/58.42 c | 103 | 722 576 7324 | 5500 103 30 | 0.000 % | 58.39/58.43 c | 254 | 722 576 7324 | 6050 254 31 | 0.000 % | 58.39/58.44 c | 479 | 722 576 7324 | 6655 479 36 | 0.000 % | 58.39/58.45 c | 816 | 722 576 7324 | 7320 816 34 | 0.000 % | 58.39/58.47 c | 1325 | 722 576 7324 | 8052 1325 32 | 0.000 % | 58.49/58.50 c | 2086 | 722 576 7324 | 8857 2086 32 | 0.000 % | 58.49/58.55 c | 3225 | 722 576 7324 | 9743 3225 33 | 0.000 % | 58.59/58.64 c | 4935 | 722 576 7324 | 10717 4935 33 | 0.000 % | 58.79/58.81 c | 7497 | 722 576 7324 | 11789 7497 35 | 0.000 % | 59.09/59.11 c | 11341 | 722 576 7324 | 12968 11341 36 | 0.000 % | 59.59/59.60 c | 17111 | 722 576 7324 | 14265 10582 39 | 0.000 % | 60.19/60.25 c | 25761 | 722 576 7324 | 15692 12050 40 | 0.000 % | 61.19/61.21 c | 38738 | 722 576 7324 | 17261 9225 40 | 0.000 % | 62.79/62.80 c | 58199 | 722 576 7324 | 18987 11299 45 | 0.000 % | 63.39/63.49 c =============================================================================== 63.70/63.77 c core #13 63.70/63.77 c ============================[ Search Statistics ]============================== 63.70/63.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 63.70/63.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 63.70/63.77 c =============================================================================== 63.70/63.77 c | 0 | 763 611 7786 | 5000 0 nan | 0.000 % | 63.70/63.79 c | 101 | 763 611 7786 | 5500 101 34 | 0.000 % | 63.70/63.79 c | 251 | 763 611 7786 | 6050 251 32 | 0.000 % | 63.70/63.80 c | 476 | 763 611 7786 | 6655 476 31 | 0.000 % | 63.80/63.81 c | 814 | 763 611 7786 | 7320 814 32 | 0.000 % | 63.80/63.83 c | 1321 | 763 611 7786 | 8052 1321 32 | 0.000 % | 63.80/63.86 c | 2081 | 763 611 7786 | 8857 2081 32 | 0.000 % | 63.89/63.91 c | 3221 | 763 611 7786 | 9743 3221 32 | 0.000 % | 63.99/64.00 c | 4929 | 763 611 7786 | 10717 4929 33 | 0.000 % | 64.09/64.16 c | 7491 | 763 611 7786 | 11789 7491 33 | 0.000 % | 64.39/64.42 c | 11335 | 763 611 7786 | 12968 11335 35 | 0.000 % | 64.80/64.88 c | 17101 | 763 611 7786 | 14265 10576 39 | 0.000 % | 65.49/65.58 c | 25750 | 763 611 7786 | 15692 12040 41 | 0.000 % | 66.59/66.62 c | 38724 | 763 611 7786 | 17261 9215 41 | 0.000 % | 67.99/68.01 c | 58186 | 763 611 7786 | 18987 11304 45 | 0.000 % | 69.08/69.13 c =============================================================================== 69.39/69.43 c core #14 69.39/69.43 c ============================[ Search Statistics ]============================== 69.39/69.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 69.39/69.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 69.39/69.43 c =============================================================================== 69.39/69.43 c | 0 | 799 643 8204 | 5000 0 nan | 0.000 % | 69.39/69.45 c | 101 | 799 643 8204 | 5500 101 35 | 0.000 % | 69.39/69.45 c | 252 | 799 643 8204 | 6050 252 34 | 0.000 % | 69.39/69.46 c | 477 | 799 643 8204 | 6655 477 33 | 0.000 % | 69.39/69.47 c | 817 | 799 643 8204 | 7320 817 32 | 0.000 % | 69.39/69.49 c | 1324 | 799 643 8204 | 8052 1324 34 | 0.000 % | 69.49/69.53 c | 2086 | 799 643 8204 | 8857 2086 37 | 0.000 % | 69.49/69.58 c | 3225 | 799 643 8204 | 9743 3225 36 | 0.000 % | 69.59/69.68 c | 4933 | 799 643 8204 | 10717 4933 36 | 0.000 % | 69.79/69.84 c | 7497 | 799 643 8204 | 11789 7497 36 | 0.000 % | 70.08/70.13 c | 11341 | 799 643 8204 | 12968 11341 37 | 0.000 % | 70.49/70.58 c | 17107 | 799 643 8204 | 14265 10569 43 | 0.000 % | 71.29/71.31 c | 25757 | 799 643 8204 | 15692 12044 43 | 0.000 % | 72.39/72.44 c | 38732 | 799 643 8204 | 17261 9233 43 | 0.000 % | 74.09/74.10 c | 58194 | 799 643 8204 | 18987 11344 44 | 0.000 % | 75.59/75.60 c =============================================================================== 75.89/75.93 c core #15 75.89/75.93 c ============================[ Search Statistics ]============================== 75.89/75.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 75.89/75.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 75.89/75.93 c =============================================================================== 75.89/75.93 c | 0 | 858 677 8682 | 5000 0 nan | 0.000 % | 75.89/75.95 c | 100 | 858 677 8682 | 5500 100 34 | 0.000 % | 75.89/75.95 c | 251 | 858 677 8682 | 6050 251 36 | 0.000 % | 75.89/75.96 c | 478 | 858 677 8682 | 6655 478 39 | 0.000 % | 75.89/75.97 c | 815 | 858 677 8682 | 7320 815 37 | 0.000 % | 75.89/75.99 c | 1322 | 858 677 8682 | 8052 1322 35 | 0.000 % | 75.99/76.02 c | 2082 | 858 677 8682 | 8857 2082 33 | 0.000 % | 75.99/76.08 c | 3221 | 858 677 8682 | 9743 3221 34 | 0.000 % | 76.08/76.17 c | 4930 | 858 677 8682 | 10717 4930 35 | 0.000 % | 76.29/76.32 c | 7493 | 858 677 8682 | 11789 7493 36 | 0.000 % | 76.48/76.59 c | 11339 | 858 677 8682 | 12968 11339 37 | 0.000 % | 76.99/77.05 c | 17105 | 858 677 8682 | 14265 10582 41 | 0.000 % | 77.69/77.76 c | 25754 | 858 677 8682 | 15692 12043 43 | 0.000 % | 78.79/78.82 c | 38730 | 858 677 8682 | 17261 9220 45 | 0.000 % | 80.30/80.36 c | 58195 | 858 677 8682 | 18987 11314 46 | 0.006 % | 80.59/80.66 c =============================================================================== 80.89/80.91 c core #16 80.89/80.91 c ============================[ Search Statistics ]============================== 80.89/80.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 80.89/80.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 80.89/80.91 c =============================================================================== 80.89/80.91 c | 0 | 892 711 9110 | 5000 0 nan | 0.000 % | 80.89/80.93 c | 100 | 892 711 9110 | 5500 100 32 | 0.000 % | 80.89/80.93 c | 251 | 892 711 9110 | 6050 251 32 | 0.000 % | 80.89/80.94 c | 478 | 892 711 9110 | 6655 478 31 | 0.000 % | 80.89/80.95 c | 816 | 892 711 9110 | 7320 816 30 | 0.000 % | 80.89/80.97 c | 1322 | 892 711 9110 | 8052 1322 31 | 0.000 % | 80.99/81.00 c | 2081 | 892 711 9110 | 8857 2081 32 | 0.000 % | 80.99/81.06 c | 3220 | 892 711 9110 | 9743 3220 33 | 0.000 % | 81.09/81.16 c | 4931 | 892 711 9110 | 10717 4931 34 | 0.000 % | 81.29/81.31 c | 7495 | 892 711 9110 | 11789 7495 34 | 0.000 % | 81.59/81.63 c | 11339 | 892 711 9110 | 12968 11339 36 | 0.000 % | 81.99/82.08 c | 17107 | 892 711 9110 | 14265 10560 39 | 0.000 % | 82.69/82.75 c | 25756 | 892 711 9110 | 15692 12033 40 | 0.000 % | 83.79/83.84 c | 38730 | 892 711 9110 | 17261 9208 42 | 0.000 % | 85.39/85.45 c | 58191 | 892 711 9110 | 18987 11310 43 | 0.005 % | 85.89/85.97 c =============================================================================== 86.19/86.23 c core #17 86.19/86.23 c ============================[ Search Statistics ]============================== 86.19/86.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 86.19/86.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 86.19/86.23 c =============================================================================== 86.19/86.23 c | 0 | 922 741 9493 | 5000 0 nan | 0.000 % | 86.19/86.25 c | 102 | 922 741 9493 | 5500 102 39 | 0.000 % | 86.19/86.26 c | 252 | 922 741 9493 | 6050 252 40 | 0.000 % | 86.19/86.26 c | 477 | 922 741 9493 | 6655 477 35 | 0.000 % | 86.19/86.27 c | 814 | 922 741 9493 | 7320 814 33 | 0.000 % | 86.19/86.29 c | 1322 | 922 741 9493 | 8052 1322 33 | 0.000 % | 86.29/86.33 c | 2081 | 922 741 9493 | 8857 2081 35 | 0.000 % | 86.29/86.38 c | 3220 | 922 741 9493 | 9743 3220 33 | 0.000 % | 86.39/86.46 c | 4929 | 922 741 9493 | 10717 4929 35 | 0.000 % | 86.59/86.61 c | 7491 | 922 741 9493 | 11789 7491 36 | 0.000 % | 86.80/86.87 c | 11335 | 922 741 9493 | 12968 11335 36 | 0.000 % | 87.19/87.29 c | 17103 | 922 741 9493 | 14265 10578 37 | 0.000 % | 87.89/87.95 c | 25752 | 922 741 9493 | 15692 12035 39 | 0.000 % | 88.49/88.56 c =============================================================================== 88.49/88.56 c #cores: 17 88.49/88.56 c Final Weight: 22 88.49/88.56 o 22 88.49/88.56 s OPTIMUM FOUND 88.49/88.56 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 88.49/88.56 c Total CPU time: 87.4377 s
OK 22
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2689967-1277899770/watcher-2689967-1277899770 -o /tmp/evaluation-result-2689967-1277899770/solver-2689967-1277899770 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689967-1277899770.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.23 2.08 2.02 4/178 12117 /proc/meminfo: memFree=31270768/32950928 swapFree=67111528/67111528 [pid=12117] ppid=12115 vsize=2576 CPUtime=0 /proc/12117/stat : 12117 (wbo1.4a) R 12115 12117 11688 0 -1 4202496 286 0 0 0 0 0 0 0 25 0 1 0 131273940 2637824 202 4089446400 134512640 135751879 4289406448 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/12117/statm: 644 202 143 303 0 339 0 [startup+0.0718579 s] /proc/loadavg: 2.23 2.08 2.02 4/178 12117 /proc/meminfo: memFree=31270768/32950928 swapFree=67111528/67111528 [pid=12117] ppid=12115 vsize=3104 CPUtime=0.07 /proc/12117/stat : 12117 (wbo1.4a) R 12115 12117 11688 0 -1 4202496 432 0 0 0 7 0 0 0 25 0 1 0 131273940 3178496 348 4089446400 134512640 135751879 4289406448 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/12117/statm: 776 348 143 303 0 471 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 3104 [startup+0.100855 s] /proc/loadavg: 2.23 2.08 2.02 4/178 12117 /proc/meminfo: memFree=31270768/32950928 swapFree=67111528/67111528 [pid=12117] ppid=12115 vsize=3368 CPUtime=0.09 /proc/12117/stat : 12117 (wbo1.4a) R 12115 12117 11688 0 -1 4202496 489 0 0 0 9 0 0 0 25 0 1 0 131273940 3448832 405 4089446400 134512640 135751879 4289406448 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/12117/statm: 842 406 143 303 0 537 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3368 [startup+0.300818 s] /proc/loadavg: 2.23 2.08 2.02 4/178 12117 /proc/meminfo: memFree=31270768/32950928 swapFree=67111528/67111528 [pid=12117] ppid=12115 vsize=4564 CPUtime=0.29 /proc/12117/stat : 12117 (wbo1.4a) R 12115 12117 11688 0 -1 4202496 799 0 0 0 29 0 0 0 25 0 1 0 131273940 4673536 715 4089446400 134512640 135751879 4289406448 18446744073709551615 134616314 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/12117/statm: 1141 715 143 303 0 836 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4564 [startup+0.700748 s] /proc/loadavg: 2.23 2.08 2.02 4/178 12117 /proc/meminfo: memFree=31270768/32950928 swapFree=67111528/67111528 [pid=12117] ppid=12115 vsize=6544 CPUtime=0.68 /proc/12117/stat : 12117 (wbo1.4a) R 12115 12117 11688 0 -1 4202496 1284 0 0 0 68 0 0 0 25 0 1 0 131273940 6701056 1200 4089446400 134512640 135751879 4289406448 18446744073709551615 134616314 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/12117/statm: 1636 1200 143 303 0 1331 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 6544 [startup+1.50061 s] /proc/loadavg: 2.23 2.08 2.02 3/179 12118 /proc/meminfo: memFree=31265428/32950928 swapFree=67111528/67111528 [pid=12117] ppid=12115 vsize=10108 CPUtime=1.48 /proc/12117/stat : 12117 (wbo1.4a) R 12115 12117 11688 0 -1 4202496 2179 0 0 0 147 1 0 0 25 0 1 0 131273940 10350592 2095 4089446400 134512640 135751879 4289406448 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/12117/statm: 2527 2095 143 303 0 2222 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 10108 [startup+3.10033 s] /proc/loadavg: 2.23 2.08 2.02 3/179 12118 /proc/meminfo: memFree=31259972/32950928 swapFree=67111528/67111528 [pid=12117] ppid=12115 vsize=16048 CPUtime=3.09 /proc/12117/stat : 12117 (wbo1.4a) R 12115 12117 11688 0 -1 4202496 3664 0 0 0 305 4 0 0 18 0 1 0 131273940 16433152 3580 4089446400 134512640 135751879 4289406448 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/12117/statm: 4012 3580 146 303 0 3707 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16048 [startup+6.30076 s] /proc/loadavg: 2.21 2.08 2.02 3/179 12118 /proc/meminfo: memFree=31250892/32950928 swapFree=67111528/67111528 [pid=12117] ppid=12115 vsize=25288 CPUtime=6.28 /proc/12117/stat : 12117 (wbo1.4a) R 12115 12117 11688 0 -1 4202496 5968 0 0 0 620 8 0 0 25 0 1 0 131273940 25894912 5884 4089446400 134512640 135751879 4289406448 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/12117/statm: 6322 5884 146 303 0 6017 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 25288 [startup+12.7006 s] /proc/loadavg: 2.19 2.08 2.02 3/179 12118 /proc/meminfo: memFree=31231800/32950928 swapFree=67111528/67111528 [pid=12117] ppid=12115 vsize=42744 CPUtime=12.69 /proc/12117/stat : 12117 (wbo1.4a) R 12115 12117 11688 0 -1 4202496 10321 0 0 0 1254 15 0 0 25 0 1 0 131273940 43769856 10237 4089446400 134512640 135751879 4289406448 18446744073709551615 134616843 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/12117/statm: 10686 10237 146 303 0 10381 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 42744 [startup+25.5004 s] /proc/loadavg: 2.15 2.07 2.02 3/179 12118 /proc/meminfo: memFree=31203140/32950928 swapFree=67111528/67111528 [pid=12117] ppid=12115 vsize=70492 CPUtime=25.48 /proc/12117/stat : 12117 (wbo1.4a) R 12115 12117 11688 0 -1 4202496 17267 0 0 0 2517 31 0 0 25 0 1 0 131273940 72183808 17183 4089446400 134512640 135751879 4289406448 18446744073709551615 134616404 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/12117/statm: 17623 17183 146 303 0 17318 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 70492 [startup+51.1009 s] /proc/loadavg: 2.10 2.06 2.02 3/179 12119 /proc/meminfo: memFree=31140976/32950928 swapFree=67111528/67111528 [pid=12117] ppid=12115 vsize=133516 CPUtime=51.09 /proc/12117/stat : 12117 (wbo1.4a) R 12115 12117 11688 0 -1 4202496 33040 0 0 0 5045 64 0 0 25 0 1 0 131273940 136720384 32956 4089446400 134512640 135751879 4289406448 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/12117/statm: 33379 32956 146 303 0 33074 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 133516 Solver just ended. Dumping a history of the last processes samples [startup+63.9007 s] /proc/loadavg: 2.08 2.06 2.02 3/179 12119 /proc/meminfo: memFree=31107732/32950928 swapFree=67111528/67111528 [pid=12117] ppid=12115 vsize=164900 CPUtime=63.89 /proc/12117/stat : 12117 (wbo1.4a) R 12115 12117 11688 0 -1 4202496 40871 0 0 0 6309 80 0 0 25 0 1 0 131273940 168857600 40787 4089446400 134512640 135751879 4289406448 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/12117/statm: 41225 40787 146 303 0 40920 0 Current children cumulated CPU time (s) 63.89 Current children cumulated vsize (KiB) 164900 [startup+76.7004 s] /proc/loadavg: 2.06 2.06 2.02 3/179 12120 /proc/meminfo: memFree=31082176/32950928 swapFree=67111528/67111528 [pid=12117] ppid=12115 vsize=190408 CPUtime=76.69 /proc/12117/stat : 12117 (wbo1.4a) R 12115 12117 11688 0 -1 4202496 47248 0 0 0 7572 97 0 0 18 0 1 0 131273940 194977792 47164 4089446400 134512640 135751879 4289406448 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/12117/statm: 47602 47164 146 303 0 47297 0 Current children cumulated CPU time (s) 76.69 Current children cumulated vsize (KiB) 190408 [startup+83.1002 s] /proc/loadavg: 2.06 2.06 2.02 3/179 12120 /proc/meminfo: memFree=31071512/32950928 swapFree=67111528/67111528 [pid=12117] ppid=12115 vsize=201908 CPUtime=83.09 /proc/12117/stat : 12117 (wbo1.4a) R 12115 12117 11688 0 -1 4202496 50134 0 0 0 8204 105 0 0 21 0 1 0 131273940 206753792 50050 4089446400 134512640 135751879 4289406448 18446744073709551615 134602472 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/12117/statm: 50477 50050 146 303 0 50172 0 Current children cumulated CPU time (s) 83.09 Current children cumulated vsize (KiB) 201908 [startup+86.3007 s] /proc/loadavg: 2.05 2.06 2.02 3/179 12120 /proc/meminfo: memFree=31062952/32950928 swapFree=67111528/67111528 [pid=12117] ppid=12115 vsize=211948 CPUtime=86.29 /proc/12117/stat : 12117 (wbo1.4a) R 12115 12117 11688 0 -1 4202496 52643 0 0 0 8520 109 0 0 25 0 1 0 131273940 217034752 52559 4089446400 134512640 135751879 4289406448 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/12117/statm: 52987 52559 146 303 0 52682 0 Current children cumulated CPU time (s) 86.29 Current children cumulated vsize (KiB) 211948 [startup+87.9004 s] /proc/loadavg: 2.05 2.06 2.02 3/179 12120 /proc/meminfo: memFree=31059228/32950928 swapFree=67111528/67111528 [pid=12117] ppid=12115 vsize=212740 CPUtime=87.89 /proc/12117/stat : 12117 (wbo1.4a) R 12115 12117 11688 0 -1 4202496 52844 0 0 0 8678 111 0 0 25 0 1 0 131273940 217845760 52760 4089446400 134512640 135751879 4289406448 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/12117/statm: 53185 52760 146 303 0 52880 0 Current children cumulated CPU time (s) 87.89 Current children cumulated vsize (KiB) 212740 [startup+88.3003 s] /proc/loadavg: 2.05 2.06 2.02 3/179 12120 /proc/meminfo: memFree=31059228/32950928 swapFree=67111528/67111528 [pid=12117] ppid=12115 vsize=213664 CPUtime=88.29 /proc/12117/stat : 12117 (wbo1.4a) R 12115 12117 11688 0 -1 4202496 53059 0 0 0 8717 112 0 0 25 0 1 0 131273940 218791936 52975 4089446400 134512640 135751879 4289406448 18446744073709551615 134519017 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/12117/statm: 53416 52975 146 303 0 53111 0 Current children cumulated CPU time (s) 88.29 Current children cumulated vsize (KiB) 213664 [startup+88.5003 s] /proc/loadavg: 2.05 2.06 2.02 3/179 12120 /proc/meminfo: memFree=31059228/32950928 swapFree=67111528/67111528 [pid=12117] ppid=12115 vsize=214192 CPUtime=88.49 /proc/12117/stat : 12117 (wbo1.4a) R 12115 12117 11688 0 -1 4202496 53195 0 0 0 8737 112 0 0 25 0 1 0 131273940 219332608 53111 4089446400 134512640 135751879 4289406448 18446744073709551615 134616459 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/12117/statm: 53548 53111 146 303 0 53243 0 Current children cumulated CPU time (s) 88.49 Current children cumulated vsize (KiB) 214192 Child status: 0 Real time (s): 88.5735 CPU time (s): 88.5725 CPU user time (s): 87.4377 CPU system time (s): 1.13483 CPU usage (%): 99.9989 Max. virtual memory (cumulated for all children) (KiB): 214192 getrusage(RUSAGE_CHILDREN,...) data: user time used= 87.4377 system time used= 1.13483 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 53245 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= 6 involuntary context switches= 124 runsolver used 0.12598 second user time and 0.301954 second system time The end
Begin job on node120 at 2010-06-30 14:09:30 IDJOB=2689967 IDBENCH=78866 IDSOLVER=1200 FILE ID=node120/2689967-1277899770 PBS_JOBID= 11197208 Free space on /tmp= 74208 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111212923--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-2689967-1277899770/watcher-2689967-1277899770 -o /tmp/evaluation-result-2689967-1277899770/solver-2689967-1277899770 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689967-1277899770.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 814425604e6b100ff397547bbbf81dc9 RANDOM SEED=672822296 node120.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.820 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.64 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.820 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 : 5226.07 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.820 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.80 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.820 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.74 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.820 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.820 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.68 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.820 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.820 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.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 31271288 kB Buffers: 186664 kB Cached: 934228 kB SwapCached: 0 kB Active: 955396 kB Inactive: 583796 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31271288 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2796 kB Writeback: 0 kB AnonPages: 418208 kB Mapped: 16272 kB Slab: 77728 kB PageTables: 5240 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 569836 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= 74204 MiB End job on node120 at 2010-06-30 14:10:59