Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | OPTIMUM | 123.533 | 123.539 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111224255--soft-66-100-0.wbo |
MD5SUM | 05353c2425a18151180bf625f4200ddf |
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 | 1.00485 |
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 | 1217 |
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-2689873-1277897111.wbo. 0.00/0.00 c Instance file HOME/instance-2689873-1277897111.wbo 0.00/0.00 c File size is 10173 bytes. 0.00/0.00 c Highest Coefficient sum: 1217 0.00/0.00 c ============================[ Problem Statistics ]============================= 0.00/0.00 c | | 0.00/0.00 c | Parsing time: 0.00 s | 0.00/0.00 c | Number Variables: 169 | 0.00/0.00 c | Number Clauses: 30 | 0.00/0.00 c | Number Cardinality: 70 | 0.00/0.00 c | Number PB Constraints: 1 | 0.00/0.00 c ============================[ Search Statistics ]============================== 0.00/0.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 169 101 1205 | 5000 0 nan | 0.000 % | 0.00/0.00 c | 102 | 169 101 1205 | 5500 102 29 | 0.004 % | 0.00/0.00 c | 255 | 169 101 1205 | 6050 255 32 | 0.004 % | 0.00/0.01 c | 480 | 169 101 1205 | 6655 480 33 | 0.004 % | 0.00/0.02 c | 817 | 169 101 1205 | 7320 817 31 | 0.004 % | 0.02/0.03 c | 1326 | 169 101 1205 | 8052 1326 34 | 0.004 % | 0.02/0.05 c | 2085 | 169 101 1205 | 8857 2085 35 | 0.004 % | 0.02/0.09 c | 3224 | 169 101 1205 | 9743 3224 36 | 0.004 % | 0.09/0.16 c | 4932 | 169 101 1205 | 10717 4932 37 | 0.004 % | 0.19/0.28 c | 7494 | 169 101 1205 | 11789 7494 41 | 0.004 % | 0.39/0.49 c | 11340 | 169 101 1205 | 12968 11340 42 | 0.004 % | 0.79/0.84 c | 17106 | 169 101 1205 | 14265 10574 45 | 0.004 % | 1.39/1.43 c | 25756 | 169 101 1205 | 15692 12028 47 | 0.004 % | 2.59/2.62 c | 38732 | 169 101 1205 | 17261 9205 47 | 0.004 % | 4.19/4.24 c | 58196 | 169 101 1205 | 18987 11298 50 | 0.004 % | 5.19/5.20 c =============================================================================== 5.40/5.47 c core #1 5.40/5.47 c ============================[ Search Statistics ]============================== 5.40/5.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.40/5.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.40/5.47 c =============================================================================== 5.40/5.47 c | 0 | 210 142 1713 | 5000 0 nan | 0.000 % | 5.40/5.48 c | 102 | 210 142 1713 | 5500 102 30 | 0.002 % | 5.40/5.48 c | 252 | 210 142 1713 | 6050 252 35 | 0.002 % | 5.40/5.49 c | 477 | 210 142 1713 | 6655 477 36 | 0.002 % | 5.40/5.50 c | 814 | 210 142 1713 | 7320 814 37 | 0.002 % | 5.49/5.51 c | 1321 | 210 142 1713 | 8052 1321 37 | 0.002 % | 5.49/5.54 c | 2081 | 210 142 1713 | 8857 2081 36 | 0.002 % | 5.49/5.58 c | 3222 | 210 142 1713 | 9743 3222 36 | 0.002 % | 5.59/5.65 c | 4933 | 210 142 1713 | 10717 4933 37 | 0.002 % | 5.69/5.79 c | 7496 | 210 142 1713 | 11789 7496 37 | 0.002 % | 5.98/6.05 c | 11343 | 210 142 1713 | 12968 11343 39 | 0.002 % | 6.39/6.45 c | 17109 | 210 142 1713 | 14265 10573 44 | 0.002 % | 6.98/7.06 c | 25759 | 210 142 1713 | 15692 12040 46 | 0.002 % | 7.99/8.03 c | 38733 | 210 142 1713 | 17261 9226 47 | 0.002 % | 9.08/9.11 c =============================================================================== 9.28/9.30 c core #2 9.28/9.30 c ============================[ Search Statistics ]============================== 9.28/9.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.28/9.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.28/9.30 c =============================================================================== 9.28/9.30 c | 0 | 251 183 2221 | 5000 0 nan | 0.000 % | 9.28/9.31 c | 100 | 251 183 2221 | 5500 100 33 | 0.002 % | 9.28/9.31 c | 250 | 251 183 2221 | 6050 250 33 | 0.002 % | 9.28/9.32 c | 477 | 251 183 2221 | 6655 477 31 | 0.002 % | 9.28/9.33 c | 815 | 251 183 2221 | 7320 815 32 | 0.002 % | 9.28/9.34 c | 1321 | 251 183 2221 | 8052 1321 34 | 0.002 % | 9.28/9.37 c | 2080 | 251 183 2221 | 8857 2080 35 | 0.002 % | 9.39/9.42 c | 3220 | 251 183 2221 | 9743 3220 37 | 0.002 % | 9.49/9.50 c | 4928 | 251 183 2221 | 10717 4928 38 | 0.002 % | 9.58/9.66 c | 7491 | 251 183 2221 | 11789 7491 39 | 0.002 % | 9.89/9.93 c | 11335 | 251 183 2221 | 12968 11335 40 | 0.002 % | 10.29/10.37 c | 17101 | 251 183 2221 | 14265 10574 44 | 0.002 % | 10.99/11.03 c | 25752 | 251 183 2221 | 15692 12039 46 | 0.002 % | 12.09/12.11 c | 38726 | 251 183 2221 | 17261 9230 46 | 0.002 % | 13.59/13.67 c | 58188 | 251 183 2221 | 18987 11327 50 | 0.002 % | 14.68/14.77 c =============================================================================== 14.99/15.06 c core #3 14.99/15.06 c ============================[ Search Statistics ]============================== 14.99/15.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.99/15.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.99/15.06 c =============================================================================== 14.99/15.06 c | 0 | 290 223 2712 | 5000 0 nan | 0.000 % | 14.99/15.07 c | 100 | 290 223 2712 | 5500 100 39 | 0.001 % | 14.99/15.07 c | 250 | 290 223 2712 | 6050 250 38 | 0.001 % | 14.99/15.08 c | 475 | 290 223 2712 | 6655 475 38 | 0.001 % | 14.99/15.09 c | 813 | 290 223 2712 | 7320 813 35 | 0.001 % | 15.09/15.11 c | 1324 | 290 223 2712 | 8052 1324 36 | 0.001 % | 15.09/15.13 c | 2083 | 290 223 2712 | 8857 2083 34 | 0.001 % | 15.09/15.17 c | 3225 | 290 223 2712 | 9743 3225 35 | 0.001 % | 15.19/15.25 c | 4934 | 290 223 2712 | 10717 4934 36 | 0.001 % | 15.29/15.39 c | 7497 | 290 223 2712 | 11789 7497 39 | 0.001 % | 15.59/15.64 c | 11343 | 290 223 2712 | 12968 11343 39 | 0.001 % | 15.99/16.03 c | 17109 | 290 223 2712 | 14265 10598 42 | 0.001 % | 16.58/16.63 c | 25758 | 290 223 2712 | 15692 12064 43 | 0.001 % | 17.59/17.65 c | 38733 | 290 223 2712 | 17261 9249 46 | 0.001 % | 18.88/18.90 c =============================================================================== 19.08/19.12 c core #4 19.08/19.12 c ============================[ Search Statistics ]============================== 19.08/19.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.08/19.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.08/19.12 c =============================================================================== 19.08/19.12 c | 0 | 331 263 3207 | 5000 0 nan | 0.000 % | 19.08/19.12 c | 100 | 331 263 3207 | 5500 100 31 | 0.001 % | 19.08/19.13 c | 251 | 331 263 3207 | 6050 251 31 | 0.001 % | 19.08/19.13 c | 476 | 331 263 3207 | 6655 476 32 | 0.001 % | 19.08/19.14 c | 814 | 331 263 3207 | 7320 814 36 | 0.001 % | 19.08/19.16 c | 1320 | 331 263 3207 | 8052 1320 36 | 0.001 % | 19.08/19.19 c | 2079 | 331 263 3207 | 8857 2079 35 | 0.001 % | 19.19/19.23 c | 3218 | 331 263 3207 | 9743 3218 36 | 0.001 % | 19.28/19.31 c | 4930 | 331 263 3207 | 10717 4930 37 | 0.001 % | 19.39/19.46 c | 7492 | 331 263 3207 | 11789 7492 37 | 0.001 % | 19.69/19.74 c | 11336 | 331 263 3207 | 12968 11336 39 | 0.001 % | 20.09/20.12 c | 17103 | 331 263 3207 | 14265 10567 42 | 0.001 % | 20.68/20.78 c | 25753 | 331 263 3207 | 15692 12045 45 | 0.001 % | 21.69/21.77 c | 38727 | 331 263 3207 | 17261 9233 47 | 0.001 % | 23.09/23.19 c | 58188 | 331 263 3207 | 18987 11332 50 | 0.087 % | 23.49/23.57 c =============================================================================== 23.78/23.82 c core #5 23.78/23.82 c ============================[ Search Statistics ]============================== 23.78/23.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 23.78/23.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 23.78/23.82 c =============================================================================== 23.78/23.82 c | 0 | 369 301 3686 | 5000 0 nan | 0.000 % | 23.78/23.83 c | 101 | 369 301 3686 | 5500 101 31 | 0.001 % | 23.78/23.83 c | 256 | 369 301 3686 | 6050 256 32 | 0.001 % | 23.78/23.84 c | 481 | 369 301 3686 | 6655 481 34 | 0.001 % | 23.78/23.85 c | 818 | 369 301 3686 | 7320 818 33 | 0.001 % | 23.78/23.86 c | 1324 | 369 301 3686 | 8052 1324 34 | 0.001 % | 23.78/23.89 c | 2085 | 369 301 3686 | 8857 2085 34 | 0.001 % | 23.89/23.94 c | 3228 | 369 301 3686 | 9743 3228 37 | 0.001 % | 23.99/24.03 c | 4938 | 369 301 3686 | 10717 4938 38 | 0.001 % | 24.10/24.16 c | 7502 | 369 301 3686 | 11789 7502 40 | 0.001 % | 24.39/24.43 c | 11349 | 369 301 3686 | 12968 11349 41 | 0.001 % | 24.79/24.84 c | 17115 | 369 301 3686 | 14265 10574 45 | 0.001 % | 25.38/25.49 c | 25764 | 369 301 3686 | 15692 12034 47 | 0.001 % | 26.49/26.53 c | 38738 | 369 301 3686 | 17261 9228 46 | 0.001 % | 28.09/28.16 c | 58200 | 369 301 3686 | 18987 11308 48 | 0.001 % | 29.48/29.55 c =============================================================================== 29.78/29.85 c core #6 29.78/29.85 c ============================[ Search Statistics ]============================== 29.78/29.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 29.78/29.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 29.78/29.85 c =============================================================================== 29.78/29.85 c | 0 | 414 342 4208 | 5000 0 nan | 0.000 % | 29.78/29.86 c | 101 | 414 342 4208 | 5500 101 35 | 0.001 % | 29.78/29.86 c | 252 | 414 342 4208 | 6050 252 35 | 0.001 % | 29.78/29.87 c | 477 | 414 342 4208 | 6655 477 37 | 0.001 % | 29.78/29.88 c | 814 | 414 342 4208 | 7320 814 34 | 0.001 % | 29.78/29.89 c | 1321 | 414 342 4208 | 8052 1321 34 | 0.001 % | 29.89/29.92 c | 2081 | 414 342 4208 | 8857 2081 36 | 0.001 % | 29.89/29.97 c | 3221 | 414 342 4208 | 9743 3221 35 | 0.001 % | 29.99/30.05 c | 4929 | 414 342 4208 | 10717 4929 39 | 0.001 % | 30.19/30.20 c | 7493 | 414 342 4208 | 11789 7493 39 | 0.001 % | 30.39/30.45 c | 11337 | 414 342 4208 | 12968 11337 41 | 0.001 % | 30.79/30.88 c | 17103 | 414 342 4208 | 14265 10573 45 | 0.001 % | 31.59/31.61 c | 25755 | 414 342 4208 | 15692 12038 48 | 0.001 % | 32.59/32.65 c | 38729 | 414 342 4208 | 17261 9221 47 | 0.001 % | 34.19/34.21 c | 58190 | 414 342 4208 | 18987 11322 46 | 0.001 % | 35.19/35.28 c =============================================================================== 35.49/35.58 c core #7 35.49/35.58 c ============================[ Search Statistics ]============================== 35.49/35.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 35.49/35.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 35.49/35.58 c =============================================================================== 35.49/35.58 c | 0 | 460 382 4717 | 5000 0 nan | 0.000 % | 35.49/35.59 c | 100 | 460 382 4717 | 5500 100 32 | 0.000 % | 35.59/35.60 c | 250 | 460 382 4717 | 6050 250 36 | 0.000 % | 35.59/35.60 c | 477 | 460 382 4717 | 6655 477 32 | 0.000 % | 35.59/35.61 c | 814 | 460 382 4717 | 7320 814 33 | 0.000 % | 35.59/35.63 c | 1322 | 460 382 4717 | 8052 1322 32 | 0.000 % | 35.59/35.66 c | 2081 | 460 382 4717 | 8857 2081 34 | 0.000 % | 35.68/35.71 c | 3222 | 460 382 4717 | 9743 3222 35 | 0.000 % | 35.78/35.80 c | 4932 | 460 382 4717 | 10717 4932 37 | 0.000 % | 35.89/35.94 c | 7494 | 460 382 4717 | 11789 7494 38 | 0.000 % | 36.09/36.19 c | 11340 | 460 382 4717 | 12968 11340 39 | 0.000 % | 36.59/36.60 c | 17107 | 460 382 4717 | 14265 10564 41 | 0.000 % | 37.19/37.21 c | 25756 | 460 382 4717 | 15692 12035 43 | 0.000 % | 38.19/38.27 c | 38730 | 460 382 4717 | 17261 9209 43 | 0.000 % | 39.60/39.67 c | 58191 | 421 382 4717 | 18987 712 25 | 8.479 % | 39.78/39.85 c =============================================================================== 39.99/40.09 c core #8 39.99/40.09 c ============================[ Search Statistics ]============================== 39.99/40.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 39.99/40.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 39.99/40.09 c =============================================================================== 39.99/40.09 c | 0 | 514 424 5270 | 5000 0 nan | 0.000 % | 40.09/40.10 c | 100 | 514 424 5270 | 5500 100 33 | 0.000 % | 40.09/40.10 c | 250 | 514 424 5270 | 6050 250 37 | 0.000 % | 40.09/40.11 c | 475 | 514 424 5270 | 6655 475 36 | 0.000 % | 40.09/40.12 c | 813 | 514 424 5270 | 7320 813 36 | 0.000 % | 40.09/40.13 c | 1319 | 514 424 5270 | 8052 1319 35 | 0.000 % | 40.09/40.16 c | 2079 | 514 424 5270 | 8857 2079 37 | 0.000 % | 40.18/40.21 c | 3218 | 514 424 5270 | 9743 3218 38 | 0.000 % | 40.18/40.29 c | 4926 | 514 424 5270 | 10717 4926 40 | 0.000 % | 40.39/40.43 c | 7488 | 514 424 5270 | 11789 7488 41 | 0.000 % | 40.59/40.68 c | 11333 | 514 424 5270 | 12968 11333 42 | 0.000 % | 40.99/41.09 c | 17101 | 514 424 5270 | 14265 10559 45 | 0.000 % | 41.69/41.70 c | 25752 | 514 424 5270 | 15692 12024 46 | 0.000 % | 42.69/42.76 c | 38729 | 514 424 5270 | 17261 9204 48 | 0.000 % | 44.28/44.36 c | 58191 | 514 424 5270 | 18987 11290 48 | 0.000 % | 45.79/45.89 c =============================================================================== 46.19/46.22 c core #9 46.19/46.22 c ============================[ Search Statistics ]============================== 46.19/46.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 46.19/46.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 46.19/46.22 c =============================================================================== 46.19/46.22 c | 0 | 553 463 5758 | 5000 0 nan | 0.000 % | 46.19/46.23 c | 100 | 553 463 5758 | 5500 100 25 | 0.000 % | 46.19/46.24 c | 251 | 553 463 5758 | 6050 251 32 | 0.000 % | 46.19/46.25 c | 477 | 553 463 5758 | 6655 477 34 | 0.000 % | 46.19/46.26 c | 814 | 553 463 5758 | 7320 814 33 | 0.000 % | 46.19/46.27 c | 1322 | 553 463 5758 | 8052 1322 34 | 0.000 % | 46.28/46.30 c | 2081 | 553 463 5758 | 8857 2081 34 | 0.000 % | 46.28/46.34 c | 3223 | 553 463 5758 | 9743 3223 34 | 0.000 % | 46.39/46.42 c | 4931 | 553 463 5758 | 10717 4931 36 | 0.000 % | 46.48/46.57 c | 7493 | 553 463 5758 | 11789 7493 37 | 0.000 % | 46.79/46.81 c | 11337 | 553 463 5758 | 12968 11337 39 | 0.000 % | 47.19/47.23 c | 17103 | 553 463 5758 | 14265 10557 44 | 0.000 % | 47.89/47.90 c | 25752 | 553 463 5758 | 15692 12009 45 | 0.000 % | 48.89/48.95 c | 38728 | 553 463 5758 | 17261 9170 47 | 0.000 % | 50.60/50.63 c | 58189 | 553 463 5758 | 18987 11285 47 | 0.000 % | 51.39/51.45 c =============================================================================== 51.69/51.73 c core #10 51.69/51.73 c ============================[ Search Statistics ]============================== 51.69/51.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 51.69/51.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 51.69/51.73 c =============================================================================== 51.69/51.73 c | 0 | 593 499 6230 | 5000 0 nan | 0.000 % | 51.69/51.74 c | 103 | 593 499 6230 | 5500 103 38 | 0.000 % | 51.69/51.74 c | 254 | 593 499 6230 | 6050 254 35 | 0.000 % | 51.69/51.75 c | 481 | 593 499 6230 | 6655 481 31 | 0.000 % | 51.69/51.76 c | 818 | 593 499 6230 | 7320 818 34 | 0.000 % | 51.69/51.78 c | 1324 | 593 499 6230 | 8052 1324 35 | 0.000 % | 51.78/51.81 c | 2083 | 593 499 6230 | 8857 2083 34 | 0.000 % | 51.78/51.86 c | 3223 | 593 499 6230 | 9743 3223 35 | 0.000 % | 51.88/51.94 c | 4931 | 593 499 6230 | 10717 4931 36 | 0.000 % | 51.99/52.09 c | 7494 | 593 499 6230 | 11789 7494 37 | 0.000 % | 52.29/52.35 c | 11343 | 593 499 6230 | 12968 11343 37 | 0.000 % | 52.70/52.72 c | 17111 | 593 499 6230 | 14265 10571 41 | 0.000 % | 53.29/53.34 c | 25761 | 593 499 6230 | 15692 12037 45 | 0.000 % | 54.28/54.39 c | 38736 | 593 499 6230 | 17261 9217 48 | 0.000 % | 55.89/55.98 c | 58198 | 593 499 6230 | 18987 11303 46 | 0.000 % | 58.29/58.33 c =============================================================================== 58.59/58.68 c core #11 58.59/58.68 c ============================[ Search Statistics ]============================== 58.59/58.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 58.59/58.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 58.59/58.68 c =============================================================================== 58.59/58.68 c | 0 | 659 535 6737 | 5000 0 nan | 0.000 % | 58.59/58.69 c | 102 | 659 535 6737 | 5500 102 26 | 0.000 % | 58.69/58.70 c | 255 | 659 535 6737 | 6050 255 28 | 0.000 % | 58.69/58.71 c | 481 | 659 535 6737 | 6655 481 31 | 0.000 % | 58.69/58.72 c | 820 | 659 535 6737 | 7320 820 30 | 0.000 % | 58.69/58.74 c | 1328 | 659 535 6737 | 8052 1328 32 | 0.000 % | 58.69/58.77 c | 2087 | 659 535 6737 | 8857 2087 32 | 0.000 % | 58.78/58.81 c | 3226 | 659 535 6737 | 9743 3226 33 | 0.000 % | 58.89/58.90 c | 4935 | 659 535 6737 | 10717 4935 34 | 0.000 % | 58.99/59.06 c | 7497 | 659 535 6737 | 11789 7497 36 | 0.000 % | 59.29/59.32 c | 11342 | 659 535 6737 | 12968 11342 37 | 0.000 % | 59.69/59.71 c | 17109 | 659 535 6737 | 14265 10568 42 | 0.000 % | 60.28/60.33 c | 25761 | 659 535 6737 | 15692 12026 45 | 0.000 % | 61.29/61.40 c | 38735 | 659 535 6737 | 17261 9198 42 | 0.000 % | 62.70/62.78 c | 58196 | 659 535 6737 | 18987 11296 46 | 0.000 % | 65.28/65.35 c | 87389 | 659 535 6737 | 20886 11856 49 | 0.000 % | 66.39/66.49 c =============================================================================== 66.89/66.90 c core #12 66.89/66.90 c ============================[ Search Statistics ]============================== 66.89/66.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 66.89/66.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 66.89/66.90 c =============================================================================== 66.89/66.90 c | 0 | 739 573 7314 | 5000 0 nan | 0.000 % | 66.89/66.91 c | 100 | 739 573 7314 | 5500 100 29 | 0.000 % | 66.89/66.92 c | 251 | 739 573 7314 | 6050 251 29 | 0.000 % | 66.89/66.93 c | 476 | 739 573 7314 | 6655 476 32 | 0.000 % | 66.89/66.94 c | 815 | 739 573 7314 | 7320 815 32 | 0.000 % | 66.89/66.96 c | 1323 | 739 573 7314 | 8052 1323 32 | 0.000 % | 66.89/66.99 c | 2084 | 739 573 7314 | 8857 2084 33 | 0.000 % | 66.99/67.03 c | 3224 | 739 573 7314 | 9743 3224 35 | 0.000 % | 67.09/67.11 c | 4932 | 739 573 7314 | 10717 4932 35 | 0.000 % | 67.19/67.24 c | 7494 | 739 573 7314 | 11789 7494 36 | 0.000 % | 67.49/67.51 c | 11341 | 739 573 7314 | 12968 11341 38 | 0.000 % | 67.88/67.95 c | 17107 | 739 573 7314 | 14265 10568 43 | 0.000 % | 68.59/68.64 c | 25756 | 739 573 7314 | 15692 12027 43 | 0.000 % | 69.59/69.68 c | 38732 | 739 573 7314 | 17261 9208 44 | 0.000 % | 70.99/71.09 c | 58193 | 739 573 7314 | 18987 11296 48 | 0.000 % | 73.19/73.25 c =============================================================================== 73.59/73.60 c core #13 73.59/73.60 c ============================[ Search Statistics ]============================== 73.59/73.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 73.59/73.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 73.59/73.60 c =============================================================================== 73.59/73.60 c | 0 | 783 609 7791 | 5000 0 nan | 0.000 % | 73.59/73.62 c | 101 | 783 609 7791 | 5500 101 38 | 0.000 % | 73.59/73.62 c | 253 | 783 609 7791 | 6050 253 33 | 0.000 % | 73.59/73.63 c | 478 | 783 609 7791 | 6655 478 31 | 0.000 % | 73.59/73.64 c | 816 | 783 609 7791 | 7320 816 32 | 0.000 % | 73.59/73.66 c | 1323 | 783 609 7791 | 8052 1323 34 | 0.000 % | 73.59/73.69 c | 2084 | 783 609 7791 | 8857 2084 36 | 0.000 % | 73.69/73.74 c | 3224 | 783 609 7791 | 9743 3224 36 | 0.000 % | 73.79/73.83 c | 4933 | 783 609 7791 | 10717 4933 40 | 0.000 % | 73.89/73.97 c | 7497 | 783 609 7791 | 11789 7497 39 | 0.000 % | 74.19/74.22 c | 11342 | 783 609 7791 | 12968 11342 42 | 0.000 % | 74.49/74.59 c | 17110 | 783 609 7791 | 14265 10576 44 | 0.000 % | 75.18/75.23 c | 25761 | 783 609 7791 | 15692 12042 43 | 0.000 % | 76.28/76.32 c | 38737 | 783 609 7791 | 17261 9216 43 | 0.000 % | 77.89/77.93 c | 58201 | 783 609 7791 | 18987 11320 47 | 0.000 % | 80.29/80.38 c | 87393 | 705 609 7791 | 20886 532 30 | 9.962 % | 80.38/80.41 c =============================================================================== 80.68/80.78 c core #14 80.68/80.78 c ============================[ Search Statistics ]============================== 80.68/80.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 80.68/80.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 80.68/80.78 c =============================================================================== 80.68/80.78 c | 0 | 826 644 8257 | 5000 0 nan | 0.000 % | 80.68/80.79 c | 100 | 826 644 8257 | 5500 100 24 | 0.000 % | 80.79/80.80 c | 250 | 826 644 8257 | 6050 250 27 | 0.000 % | 80.79/80.81 c | 475 | 826 644 8257 | 6655 475 28 | 0.000 % | 80.79/80.82 c | 812 | 826 644 8257 | 7320 812 30 | 0.000 % | 80.79/80.84 c | 1319 | 826 644 8257 | 8052 1319 31 | 0.000 % | 80.79/80.87 c | 2078 | 826 644 8257 | 8857 2078 31 | 0.000 % | 80.88/80.92 c | 3217 | 826 644 8257 | 9743 3217 33 | 0.000 % | 80.99/81.00 c | 4926 | 826 644 8257 | 10717 4926 33 | 0.000 % | 81.08/81.14 c | 7489 | 826 644 8257 | 11789 7489 34 | 0.000 % | 81.39/81.41 c | 11335 | 826 644 8257 | 12968 11335 37 | 0.000 % | 81.78/81.82 c | 17101 | 826 644 8257 | 14265 10561 41 | 0.000 % | 82.39/82.47 c | 25753 | 826 644 8257 | 15692 12029 44 | 0.000 % | 83.49/83.50 c | 38728 | 826 644 8257 | 17261 9216 45 | 0.000 % | 84.98/85.03 c | 58191 | 826 644 8257 | 18987 11302 47 | 0.000 % | 87.49/87.53 c | 87383 | 826 644 8257 | 20886 11832 49 | 0.000 % | 88.18/88.24 c =============================================================================== 88.59/88.63 c core #15 88.59/88.63 c ============================[ Search Statistics ]============================== 88.59/88.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 88.59/88.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 88.59/88.63 c =============================================================================== 88.59/88.63 c | 0 | 868 676 8687 | 5000 0 nan | 0.000 % | 88.59/88.65 c | 100 | 868 676 8687 | 5500 100 27 | 0.000 % | 88.59/88.65 c | 252 | 868 676 8687 | 6050 252 31 | 0.000 % | 88.59/88.66 c | 481 | 868 676 8687 | 6655 481 35 | 0.000 % | 88.59/88.67 c | 818 | 868 676 8687 | 7320 818 39 | 0.000 % | 88.59/88.69 c | 1325 | 868 676 8687 | 8052 1325 38 | 0.000 % | 88.69/88.72 c | 2086 | 868 676 8687 | 8857 2086 38 | 0.000 % | 88.69/88.78 c | 3227 | 868 676 8687 | 9743 3227 37 | 0.000 % | 88.78/88.86 c | 4935 | 868 676 8687 | 10717 4935 37 | 0.000 % | 88.99/89.01 c | 7500 | 868 676 8687 | 11789 7500 38 | 0.000 % | 89.19/89.29 c | 11344 | 868 676 8687 | 12968 11344 38 | 0.000 % | 89.58/89.65 c | 17110 | 868 676 8687 | 14265 10566 39 | 0.000 % | 90.19/90.26 c | 25760 | 868 676 8687 | 15692 12028 42 | 0.000 % | 91.09/91.19 c | 38736 | 868 676 8687 | 17261 9203 43 | 0.000 % | 92.78/92.82 c | 58197 | 868 676 8687 | 18987 11316 44 | 0.000 % | 94.98/95.05 c =============================================================================== 95.28/95.38 c core #16 95.28/95.38 c ============================[ Search Statistics ]============================== 95.28/95.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 95.28/95.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 95.28/95.38 c =============================================================================== 95.28/95.38 c | 0 | 927 710 9165 | 5000 0 nan | 0.000 % | 95.39/95.40 c | 100 | 927 710 9165 | 5500 100 33 | 0.000 % | 95.39/95.40 c | 251 | 927 710 9165 | 6050 251 34 | 0.000 % | 95.39/95.41 c | 480 | 927 710 9165 | 6655 480 37 | 0.000 % | 95.39/95.42 c | 817 | 927 710 9165 | 7320 817 35 | 0.000 % | 95.39/95.44 c | 1323 | 927 710 9165 | 8052 1323 35 | 0.000 % | 95.39/95.47 c | 2082 | 927 710 9165 | 8857 2082 36 | 0.000 % | 95.48/95.52 c | 3224 | 927 710 9165 | 9743 3224 36 | 0.000 % | 95.59/95.60 c | 4932 | 927 710 9165 | 10717 4932 35 | 0.000 % | 95.69/95.73 c | 7497 | 927 710 9165 | 11789 7497 35 | 0.000 % | 95.89/95.99 c | 11344 | 927 710 9165 | 12968 11344 37 | 0.000 % | 96.38/96.40 c | 17112 | 927 710 9165 | 14265 10573 40 | 0.000 % | 97.09/97.11 c | 25762 | 927 710 9165 | 15692 12049 41 | 0.000 % | 98.08/98.15 c | 38736 | 927 710 9165 | 17261 9241 44 | 0.000 % | 99.68/99.71 c | 58198 | 927 710 9165 | 18987 11323 47 | 0.000 % | 101.98/102.06 c | 87392 | 893 710 9165 | 20886 4005 44 | 3.668 % | 102.68/102.79 c =============================================================================== 103.08/103.19 c core #17 103.08/103.19 c ============================[ Search Statistics ]============================== 103.08/103.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 103.08/103.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 103.08/103.19 c =============================================================================== 103.08/103.19 c | 0 | 964 743 9592 | 5000 0 nan | 0.000 % | 103.18/103.21 c | 100 | 964 743 9592 | 5500 100 26 | 0.000 % | 103.18/103.22 c | 250 | 964 743 9592 | 6050 250 29 | 0.000 % | 103.18/103.22 c | 475 | 964 743 9592 | 6655 475 30 | 0.000 % | 103.18/103.24 c | 814 | 964 743 9592 | 7320 814 32 | 0.000 % | 103.18/103.26 c | 1323 | 964 743 9592 | 8052 1323 35 | 0.000 % | 103.18/103.29 c | 2085 | 964 743 9592 | 8857 2085 38 | 0.000 % | 103.29/103.35 c | 3224 | 964 743 9592 | 9743 3224 37 | 0.000 % | 103.39/103.44 c | 4935 | 964 743 9592 | 10717 4935 38 | 0.000 % | 103.58/103.60 c | 7498 | 964 743 9592 | 11789 7498 38 | 0.000 % | 103.78/103.88 c | 11342 | 964 743 9592 | 12968 11342 39 | 0.000 % | 104.29/104.30 c | 17109 | 964 743 9592 | 14265 10574 42 | 0.000 % | 104.89/104.93 c | 25758 | 964 743 9592 | 15692 12031 45 | 0.000 % | 105.89/105.99 c | 38732 | 964 743 9592 | 17261 9198 45 | 0.000 % | 107.58/107.62 c | 58193 | 964 743 9592 | 18987 11282 47 | 0.000 % | 110.18/110.22 c | 87385 | 964 743 9592 | 20886 11830 50 | 0.000 % | 111.68/111.75 c =============================================================================== 112.09/112.20 c core #18 112.09/112.20 c ============================[ Search Statistics ]============================== 112.09/112.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 112.09/112.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 112.09/112.20 c =============================================================================== 112.09/112.20 c | 0 | 994 773 9975 | 5000 0 nan | 0.000 % | 112.19/112.21 c | 102 | 994 773 9975 | 5500 102 42 | 0.000 % | 112.19/112.22 c | 252 | 994 773 9975 | 6050 252 48 | 0.000 % | 112.19/112.23 c | 480 | 994 773 9975 | 6655 480 43 | 0.000 % | 112.19/112.24 c | 819 | 994 773 9975 | 7320 819 37 | 0.000 % | 112.19/112.26 c | 1325 | 994 773 9975 | 8052 1325 36 | 0.000 % | 112.19/112.29 c | 2084 | 994 773 9975 | 8857 2084 36 | 0.000 % | 112.28/112.35 c | 3223 | 994 773 9975 | 9743 3223 35 | 0.000 % | 112.38/112.44 c | 4931 | 994 773 9975 | 10717 4931 36 | 0.000 % | 112.59/112.61 c | 7493 | 994 773 9975 | 11789 7493 36 | 0.000 % | 112.79/112.85 c | 11337 | 994 773 9975 | 12968 11337 36 | 0.000 % | 113.19/113.26 c | 17105 | 994 773 9975 | 14265 10582 40 | 0.000 % | 113.88/113.93 c | 25755 | 994 773 9975 | 15692 12043 42 | 0.000 % | 114.99/115.02 c | 38729 | 994 773 9975 | 17261 9227 48 | 0.000 % | 116.68/116.70 c | 58191 | 994 773 9975 | 18987 11337 46 | 0.000 % | 119.28/119.38 c | 87383 | 994 773 9975 | 20886 11887 47 | 0.000 % | 123.48/123.52 c =============================================================================== 123.48/123.52 c #cores: 18 123.48/123.52 c Final Weight: 22 123.48/123.52 o 22 123.48/123.52 s OPTIMUM FOUND 123.48/123.52 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 123.48/123.52 c Total CPU time: 120.236 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-2689873-1277897111/watcher-2689873-1277897111 -o /tmp/evaluation-result-2689873-1277897111/solver-2689873-1277897111 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689873-1277897111.wbo Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.98 1.98 1.99 3/196 14264 /proc/meminfo: memFree=30855488/32951124 swapFree=67111528/67111528 [pid=14264] ppid=14262 vsize=2572 CPUtime=0 /proc/14264/stat : 14264 (wbo1.4a) R 14262 14264 14210 0 -1 4202496 289 0 0 0 0 0 0 0 21 0 1 0 131005564 2633728 204 4089446400 134512640 135751879 4289985328 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/14264/statm: 643 204 143 303 0 338 0 [startup+0.032375 s] /proc/loadavg: 1.98 1.98 1.99 3/196 14264 /proc/meminfo: memFree=30855488/32951124 swapFree=67111528/67111528 [pid=14264] ppid=14262 vsize=2836 CPUtime=0.02 /proc/14264/stat : 14264 (wbo1.4a) R 14262 14264 14210 0 -1 4202496 354 0 0 0 2 0 0 0 21 0 1 0 131005564 2904064 269 4089446400 134512640 135751879 4289985328 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/14264/statm: 709 269 143 303 0 404 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 2836 [startup+0.100359 s] /proc/loadavg: 1.98 1.98 1.99 3/196 14264 /proc/meminfo: memFree=30855488/32951124 swapFree=67111528/67111528 [pid=14264] ppid=14262 vsize=3364 CPUtime=0.09 /proc/14264/stat : 14264 (wbo1.4a) R 14262 14264 14210 0 -1 4202496 499 0 0 0 9 0 0 0 21 0 1 0 131005564 3444736 414 4089446400 134512640 135751879 4289985328 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/14264/statm: 841 414 143 303 0 536 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3364 [startup+0.300325 s] /proc/loadavg: 1.98 1.98 1.99 3/196 14264 /proc/meminfo: memFree=30855488/32951124 swapFree=67111528/67111528 [pid=14264] ppid=14262 vsize=4684 CPUtime=0.29 /proc/14264/stat : 14264 (wbo1.4a) R 14262 14264 14210 0 -1 4202496 828 0 0 0 28 1 0 0 21 0 1 0 131005564 4796416 743 4089446400 134512640 135751879 4289985328 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/14264/statm: 1171 743 143 303 0 866 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4684 [startup+0.700255 s] /proc/loadavg: 1.98 1.98 1.99 3/196 14264 /proc/meminfo: memFree=30855488/32951124 swapFree=67111528/67111528 [pid=14264] ppid=14262 vsize=6732 CPUtime=0.69 /proc/14264/stat : 14264 (wbo1.4a) R 14262 14264 14210 0 -1 4202496 1345 0 0 0 66 3 0 0 22 0 1 0 131005564 6893568 1260 4089446400 134512640 135751879 4289985328 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/14264/statm: 1683 1260 143 303 0 1378 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6732 [startup+1.50011 s] /proc/loadavg: 1.98 1.98 1.99 3/197 14265 /proc/meminfo: memFree=30849404/32951124 swapFree=67111528/67111528 [pid=14264] ppid=14262 vsize=10560 CPUtime=1.49 /proc/14264/stat : 14264 (wbo1.4a) R 14262 14264 14210 0 -1 4202496 2274 0 0 0 144 5 0 0 25 0 1 0 131005564 10813440 2189 4089446400 134512640 135751879 4289985328 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/14264/statm: 2640 2189 143 303 0 2335 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10560 [startup+3.10083 s] /proc/loadavg: 1.98 1.98 1.99 3/197 14265 /proc/meminfo: memFree=30844568/32951124 swapFree=67111528/67111528 [pid=14264] ppid=14262 vsize=16240 CPUtime=3.09 /proc/14264/stat : 14264 (wbo1.4a) R 14262 14264 14210 0 -1 4202496 3717 0 0 0 300 9 0 0 25 0 1 0 131005564 16629760 3632 4089446400 134512640 135751879 4289985328 18446744073709551615 134517428 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/14264/statm: 4060 3632 143 303 0 3755 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16240 [startup+6.30023 s] /proc/loadavg: 1.98 1.98 1.99 3/197 14265 /proc/meminfo: memFree=30829340/32951124 swapFree=67111528/67111528 [pid=14264] ppid=14262 vsize=26672 CPUtime=6.29 /proc/14264/stat : 14264 (wbo1.4a) R 14262 14264 14210 0 -1 4202496 6324 0 0 0 612 17 0 0 25 0 1 0 131005564 27312128 6239 4089446400 134512640 135751879 4289985328 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14264/statm: 6668 6239 146 303 0 6363 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 26672 [startup+12.7001 s] /proc/loadavg: 1.98 1.98 1.99 3/197 14265 /proc/meminfo: memFree=30816540/32951124 swapFree=67111528/67111528 [pid=14264] ppid=14262 vsize=41724 CPUtime=12.69 /proc/14264/stat : 14264 (wbo1.4a) R 14262 14264 14210 0 -1 4202496 10085 0 0 0 1235 34 0 0 25 0 1 0 131005564 42725376 10000 4089446400 134512640 135751879 4289985328 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/14264/statm: 10431 10000 146 303 0 10126 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 41724 [startup+25.5009 s] /proc/loadavg: 1.98 1.98 1.99 3/197 14266 /proc/meminfo: memFree=30781672/32951124 swapFree=67111528/67111528 [pid=14264] ppid=14262 vsize=74656 CPUtime=25.48 /proc/14264/stat : 14264 (wbo1.4a) R 14262 14264 14210 0 -1 4202496 18305 0 0 0 2480 68 0 0 25 0 1 0 131005564 76447744 18220 4089446400 134512640 135751879 4289985328 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/14264/statm: 18664 18220 146 303 0 18359 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 74656 [startup+51.1004 s] /proc/loadavg: 1.99 1.98 1.99 3/197 14267 /proc/meminfo: memFree=30716352/32951124 swapFree=67111528/67111528 [pid=14264] ppid=14262 vsize=141516 CPUtime=51.09 /proc/14264/stat : 14264 (wbo1.4a) R 14262 14264 14210 0 -1 4202496 35033 0 0 0 4974 135 0 0 25 0 1 0 131005564 144912384 34948 4089446400 134512640 135751879 4289985328 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/14264/statm: 35379 34948 146 303 0 35074 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 141516 [startup+102.306 s] /proc/loadavg: 2.05 2.00 2.00 3/197 14268 /proc/meminfo: memFree=30576048/32951124 swapFree=67111528/67111528 [pid=14264] ppid=14262 vsize=269404 CPUtime=102.29 /proc/14264/stat : 14264 (wbo1.4a) R 14262 14264 14210 0 -1 4202496 66999 0 0 0 9953 276 0 0 25 0 1 0 131005564 275869696 66914 4089446400 134512640 135751879 4289985328 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/14264/statm: 67351 66914 146 303 0 67046 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 269404 Solver just ended. Dumping a history of the last processes samples [startup+115.101 s] /proc/loadavg: 2.04 2.00 2.00 3/197 14268 /proc/meminfo: memFree=30540576/32951124 swapFree=67111528/67111528 [pid=14264] ppid=14262 vsize=298756 CPUtime=115.08 /proc/14264/stat : 14264 (wbo1.4a) R 14262 14264 14210 0 -1 4202496 74334 0 0 0 11198 310 0 0 20 0 1 0 131005564 305926144 74249 4089446400 134512640 135751879 4289985328 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/14264/statm: 74689 74250 146 303 0 74384 0 Current children cumulated CPU time (s) 115.08 Current children cumulated vsize (KiB) 298756 [startup+118.3 s] /proc/loadavg: 2.04 2.00 2.00 3/197 14268 /proc/meminfo: memFree=30532016/32951124 swapFree=67111528/67111528 [pid=14264] ppid=14262 vsize=306900 CPUtime=118.29 /proc/14264/stat : 14264 (wbo1.4a) R 14262 14264 14210 0 -1 4202496 76385 0 0 0 11511 318 0 0 25 0 1 0 131005564 314265600 76300 4089446400 134512640 135751879 4289985328 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/14264/statm: 76725 76300 146 303 0 76420 0 Current children cumulated CPU time (s) 118.29 Current children cumulated vsize (KiB) 306900 [startup+121.501 s] /proc/loadavg: 2.04 2.00 2.00 3/197 14269 /proc/meminfo: memFree=30522468/32951124 swapFree=67111528/67111528 [pid=14264] ppid=14262 vsize=316412 CPUtime=121.48 /proc/14264/stat : 14264 (wbo1.4a) R 14262 14264 14210 0 -1 4202496 78740 0 0 0 11824 324 0 0 25 0 1 0 131005564 324005888 78655 4089446400 134512640 135751879 4289985328 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/14264/statm: 79103 78655 146 303 0 78798 0 Current children cumulated CPU time (s) 121.48 Current children cumulated vsize (KiB) 316412 [startup+122.301 s] /proc/loadavg: 2.04 2.00 2.00 3/197 14269 /proc/meminfo: memFree=30519120/32951124 swapFree=67111528/67111528 [pid=14264] ppid=14262 vsize=319064 CPUtime=122.29 /proc/14264/stat : 14264 (wbo1.4a) R 14262 14264 14210 0 -1 4202496 79403 0 0 0 11903 326 0 0 25 0 1 0 131005564 326721536 79318 4089446400 134512640 135751879 4289985328 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/14264/statm: 79766 79318 146 303 0 79461 0 Current children cumulated CPU time (s) 122.29 Current children cumulated vsize (KiB) 319064 [startup+123.101 s] /proc/loadavg: 2.04 2.00 2.00 3/197 14269 /proc/meminfo: memFree=30515152/32951124 swapFree=67111528/67111528 [pid=14264] ppid=14262 vsize=321836 CPUtime=123.09 /proc/14264/stat : 14264 (wbo1.4a) R 14262 14264 14210 0 -1 4202496 80116 0 0 0 11982 327 0 0 25 0 1 0 131005564 329560064 80031 4089446400 134512640 135751879 4289985328 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/14264/statm: 80459 80031 146 303 0 80154 0 Current children cumulated CPU time (s) 123.09 Current children cumulated vsize (KiB) 321836 [startup+123.501 s] /proc/loadavg: 2.04 2.00 2.00 3/197 14269 /proc/meminfo: memFree=30515152/32951124 swapFree=67111528/67111528 [pid=14264] ppid=14262 vsize=323156 CPUtime=123.48 /proc/14264/stat : 14264 (wbo1.4a) R 14262 14264 14210 0 -1 4202496 80451 0 0 0 12020 328 0 0 25 0 1 0 131005564 330911744 80366 4089446400 134512640 135751879 4289985328 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/14264/statm: 80789 80366 146 303 0 80484 0 Current children cumulated CPU time (s) 123.48 Current children cumulated vsize (KiB) 323156 Child status: 0 Real time (s): 123.539 CPU time (s): 123.533 CPU user time (s): 120.236 CPU system time (s): 3.2975 CPU usage (%): 99.9954 Max. virtual memory (cumulated for all children) (KiB): 323156 getrusage(RUSAGE_CHILDREN,...) data: user time used= 120.236 system time used= 3.2975 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 80485 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= 11 involuntary context switches= 270 runsolver used 0.161975 second user time and 0.418936 second system time The end
Begin job on node140 at 2010-06-30 13:25:11 IDJOB=2689873 IDBENCH=78804 IDSOLVER=1200 FILE ID=node140/2689873-1277897111 PBS_JOBID= 11197170 Free space on /tmp= 74200 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111224255--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-2689873-1277897111/watcher-2689873-1277897111 -o /tmp/evaluation-result-2689873-1277897111/solver-2689873-1277897111 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689873-1277897111.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 05353c2425a18151180bf625f4200ddf RANDOM SEED=1806160689 node140.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.790 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.58 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.790 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.790 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.790 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.89 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.790 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 : 5421.15 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.790 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.83 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.790 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.790 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: 30856264 kB Buffers: 179996 kB Cached: 1274964 kB SwapCached: 0 kB Active: 1221676 kB Inactive: 728832 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30856264 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2740 kB Writeback: 0 kB AnonPages: 495564 kB Mapped: 20260 kB Slab: 79532 kB PageTables: 5584 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1654284 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= 74200 MiB End job on node140 at 2010-06-30 13:27:14