Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | OPTIMUM | 58.8021 | 58.8009 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111217392--soft-66-100-0.wbo |
MD5SUM | 960bc2a8059baa29bab251cd640f5046 |
Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 14 |
Best CPU time to get the best result obtained on this benchmark | 0.167973 |
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 | 1248 |
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-2689859-1277896790.wbo. 0.00/0.00 c Instance file HOME/instance-2689859-1277896790.wbo 0.00/0.00 c File size is 10180 bytes. 0.00/0.00 c Highest Coefficient sum: 1248 0.00/0.00 c ============================[ Problem Statistics ]============================= 0.00/0.00 c | | 0.00/0.00 c | Parsing time: 0.00 s | 0.00/0.00 c | Number Variables: 169 | 0.00/0.00 c | Number Clauses: 30 | 0.00/0.00 c | Number Cardinality: 70 | 0.00/0.00 c | Number PB Constraints: 1 | 0.00/0.00 c ============================[ Search Statistics ]============================== 0.00/0.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 169 101 1205 | 5000 0 nan | 0.000 % | 0.00/0.00 c | 101 | 169 101 1205 | 5500 101 31 | 0.004 % | 0.00/0.00 c | 251 | 169 101 1205 | 6050 251 35 | 0.004 % | 0.00/0.01 c | 477 | 169 101 1205 | 6655 477 34 | 0.004 % | 0.00/0.02 c | 815 | 169 101 1205 | 7320 815 34 | 0.004 % | 0.00/0.03 c | 1321 | 169 101 1205 | 8052 1321 35 | 0.004 % | 0.00/0.06 c | 2080 | 169 101 1205 | 8857 2080 33 | 0.004 % | 0.00/0.10 c | 3219 | 169 101 1205 | 9743 3219 34 | 0.004 % | 0.09/0.17 c | 4928 | 169 101 1205 | 10717 4928 36 | 0.004 % | 0.29/0.32 c | 7490 | 169 101 1205 | 11789 7490 40 | 0.004 % | 0.49/0.59 c | 11334 | 169 101 1205 | 12968 11334 39 | 0.004 % | 0.99/1.03 c | 17106 | 169 101 1205 | 14265 10574 44 | 0.004 % | 1.59/1.65 c | 25759 | 169 101 1205 | 15692 12040 45 | 0.004 % | 2.59/2.62 c | 38733 | 169 101 1205 | 17261 9219 41 | 0.004 % | 3.89/3.94 c =============================================================================== 4.09/4.15 c core #1 4.09/4.15 c ============================[ Search Statistics ]============================== 4.09/4.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.09/4.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.09/4.15 c =============================================================================== 4.09/4.15 c | 0 | 210 142 1713 | 5000 0 nan | 0.000 % | 4.09/4.15 c | 100 | 210 142 1713 | 5500 100 31 | 0.002 % | 4.09/4.16 c | 250 | 210 142 1713 | 6050 250 32 | 0.002 % | 4.09/4.16 c | 475 | 210 142 1713 | 6655 475 31 | 0.002 % | 4.09/4.17 c | 814 | 210 142 1713 | 7320 814 29 | 0.002 % | 4.09/4.19 c | 1323 | 210 142 1713 | 8052 1323 31 | 0.002 % | 4.19/4.21 c | 2083 | 210 142 1713 | 8857 2083 34 | 0.002 % | 4.19/4.25 c | 3223 | 210 142 1713 | 9743 3223 34 | 0.002 % | 4.29/4.33 c | 4931 | 210 142 1713 | 10717 4931 35 | 0.002 % | 4.40/4.47 c | 7494 | 210 142 1713 | 11789 7494 35 | 0.002 % | 4.69/4.71 c | 11338 | 210 142 1713 | 12968 11338 38 | 0.002 % | 5.09/5.13 c | 17104 | 210 142 1713 | 14265 10560 44 | 0.002 % | 5.79/5.80 c | 25753 | 210 142 1713 | 15692 12021 46 | 0.002 % | 6.89/6.91 c | 38727 | 210 142 1713 | 17261 9201 41 | 0.002 % | 8.49/8.51 c | 58188 | 210 142 1713 | 18987 11283 47 | 0.002 % | 9.70/9.79 c =============================================================================== 10.00/10.08 c core #2 10.00/10.08 c ============================[ Search Statistics ]============================== 10.00/10.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.00/10.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.00/10.08 c =============================================================================== 10.00/10.08 c | 0 | 251 183 2221 | 5000 0 nan | 0.000 % | 10.00/10.09 c | 100 | 251 183 2221 | 5500 100 36 | 0.002 % | 10.09/10.10 c | 250 | 251 183 2221 | 6050 250 34 | 0.002 % | 10.09/10.10 c | 476 | 251 183 2221 | 6655 476 34 | 0.002 % | 10.09/10.11 c | 813 | 251 183 2221 | 7320 813 32 | 0.002 % | 10.09/10.13 c | 1319 | 251 183 2221 | 8052 1319 34 | 0.002 % | 10.09/10.15 c | 2078 | 251 183 2221 | 8857 2078 34 | 0.002 % | 10.09/10.19 c | 3220 | 251 183 2221 | 9743 3220 34 | 0.002 % | 10.19/10.26 c | 4929 | 251 183 2221 | 10717 4929 33 | 0.002 % | 10.29/10.38 c | 7492 | 251 183 2221 | 11789 7492 35 | 0.002 % | 10.59/10.61 c | 11337 | 251 183 2221 | 12968 11337 36 | 0.002 % | 10.89/10.98 c | 17103 | 251 183 2221 | 14265 10568 40 | 0.002 % | 11.49/11.55 c | 25752 | 251 183 2221 | 15692 12035 43 | 0.002 % | 12.39/12.44 c | 38727 | 251 183 2221 | 17261 9209 43 | 0.002 % | 13.59/13.69 c =============================================================================== 13.89/13.90 c core #3 13.89/13.90 c ============================[ Search Statistics ]============================== 13.89/13.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.89/13.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.89/13.90 c =============================================================================== 13.89/13.90 c | 0 | 290 223 2712 | 5000 0 nan | 0.000 % | 13.89/13.90 c | 100 | 290 223 2712 | 5500 100 30 | 0.001 % | 13.89/13.91 c | 250 | 290 223 2712 | 6050 250 29 | 0.001 % | 13.89/13.91 c | 476 | 290 223 2712 | 6655 476 33 | 0.001 % | 13.89/13.92 c | 814 | 290 223 2712 | 7320 814 35 | 0.001 % | 13.89/13.94 c | 1321 | 290 223 2712 | 8052 1321 34 | 0.001 % | 13.89/13.96 c | 2083 | 290 223 2712 | 8857 2083 33 | 0.001 % | 13.99/14.01 c | 3223 | 290 223 2712 | 9743 3223 35 | 0.001 % | 13.99/14.08 c | 4931 | 290 223 2712 | 10717 4931 36 | 0.001 % | 14.19/14.21 c | 7498 | 290 223 2712 | 11789 7498 37 | 0.001 % | 14.40/14.44 c | 11342 | 290 223 2712 | 12968 11342 38 | 0.001 % | 14.79/14.85 c | 17108 | 290 223 2712 | 14265 10570 43 | 0.001 % | 15.40/15.44 c | 25757 | 290 223 2712 | 15692 12029 45 | 0.001 % | 16.29/16.39 c | 38731 | 290 223 2712 | 17261 9202 45 | 0.001 % | 17.79/17.89 c | 58194 | 290 223 2712 | 18987 11287 47 | 0.001 % | 19.19/19.23 c =============================================================================== 19.49/19.52 c core #4 19.49/19.52 c ============================[ Search Statistics ]============================== 19.49/19.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.49/19.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.49/19.52 c =============================================================================== 19.49/19.52 c | 0 | 332 263 3209 | 5000 0 nan | 0.000 % | 19.49/19.53 c | 100 | 332 263 3209 | 5500 100 36 | 0.001 % | 19.49/19.53 c | 250 | 332 263 3209 | 6050 250 38 | 0.001 % | 19.49/19.54 c | 477 | 332 263 3209 | 6655 477 41 | 0.001 % | 19.49/19.55 c | 814 | 332 263 3209 | 7320 814 38 | 0.001 % | 19.49/19.56 c | 1322 | 332 263 3209 | 8052 1322 39 | 0.001 % | 19.49/19.59 c | 2081 | 332 263 3209 | 8857 2081 37 | 0.001 % | 19.59/19.63 c | 3221 | 332 263 3209 | 9743 3221 36 | 0.001 % | 19.69/19.70 c | 4931 | 332 263 3209 | 10717 4931 35 | 0.001 % | 19.79/19.82 c | 7496 | 332 263 3209 | 11789 7496 34 | 0.001 % | 19.99/20.03 c | 11342 | 332 263 3209 | 12968 11342 36 | 0.001 % | 20.29/20.37 c | 17108 | 332 263 3209 | 14265 10566 40 | 0.001 % | 20.90/20.93 c | 25758 | 332 263 3209 | 15692 12040 42 | 0.001 % | 21.79/21.88 c | 38733 | 332 263 3209 | 17261 9202 43 | 0.001 % | 23.39/23.45 c | 58197 | 332 263 3209 | 18987 11306 46 | 0.001 % | 24.79/24.86 c =============================================================================== 25.09/25.15 c core #5 25.09/25.15 c ============================[ Search Statistics ]============================== 25.09/25.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 25.09/25.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 25.09/25.15 c =============================================================================== 25.09/25.15 c | 0 | 370 301 3688 | 5000 0 nan | 0.000 % | 25.09/25.16 c | 100 | 370 301 3688 | 5500 100 29 | 0.001 % | 25.09/25.16 c | 251 | 370 301 3688 | 6050 251 28 | 0.001 % | 25.09/25.17 c | 477 | 370 301 3688 | 6655 477 31 | 0.001 % | 25.09/25.18 c | 815 | 370 301 3688 | 7320 815 31 | 0.001 % | 25.19/25.20 c | 1322 | 370 301 3688 | 8052 1322 32 | 0.001 % | 25.19/25.22 c | 2082 | 370 301 3688 | 8857 2082 32 | 0.001 % | 25.19/25.27 c | 3224 | 370 301 3688 | 9743 3224 34 | 0.001 % | 25.29/25.33 c | 4932 | 370 301 3688 | 10717 4932 35 | 0.001 % | 25.40/25.47 c | 7494 | 370 301 3688 | 11789 7494 36 | 0.001 % | 25.69/25.73 c | 11339 | 370 301 3688 | 12968 11339 37 | 0.001 % | 26.09/26.10 c | 17105 | 370 301 3688 | 14265 10565 40 | 0.001 % | 26.59/26.69 c | 25754 | 370 301 3688 | 15692 12023 43 | 0.001 % | 27.59/27.64 c | 38728 | 370 301 3688 | 17261 9206 44 | 0.001 % | 29.09/29.15 c | 58192 | 370 301 3688 | 18987 11311 48 | 0.001 % | 30.59/30.60 c =============================================================================== 30.90/30.90 c core #6 30.90/30.90 c ============================[ Search Statistics ]============================== 30.90/30.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 30.90/30.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 30.90/30.90 c =============================================================================== 30.90/30.90 c | 0 | 414 341 4201 | 5000 0 nan | 0.000 % | 30.90/30.91 c | 100 | 414 341 4201 | 5500 100 28 | 0.001 % | 30.90/30.92 c | 250 | 414 341 4201 | 6050 250 29 | 0.001 % | 30.90/30.92 c | 476 | 414 341 4201 | 6655 476 32 | 0.001 % | 30.90/30.93 c | 813 | 414 341 4201 | 7320 813 30 | 0.001 % | 30.90/30.95 c | 1319 | 414 341 4201 | 8052 1319 29 | 0.001 % | 30.90/30.97 c | 2078 | 414 341 4201 | 8857 2078 32 | 0.001 % | 31.00/31.01 c | 3218 | 414 341 4201 | 9743 3218 33 | 0.001 % | 31.00/31.08 c | 4929 | 414 341 4201 | 10717 4929 32 | 0.001 % | 31.19/31.21 c | 7491 | 414 341 4201 | 11789 7491 34 | 0.001 % | 31.39/31.43 c | 11335 | 414 341 4201 | 12968 11335 34 | 0.001 % | 31.69/31.78 c | 17101 | 414 341 4201 | 14265 10580 37 | 0.001 % | 32.39/32.41 c | 25752 | 414 341 4201 | 15692 12052 42 | 0.001 % | 33.29/33.34 c | 38727 | 414 341 4201 | 17261 9235 43 | 0.001 % | 34.59/34.63 c | 58188 | 414 341 4201 | 18987 11341 44 | 0.001 % | 35.79/35.85 c =============================================================================== 36.09/36.13 c core #7 36.09/36.13 c ============================[ Search Statistics ]============================== 36.09/36.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 36.09/36.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 36.09/36.13 c =============================================================================== 36.09/36.13 c | 0 | 458 381 4706 | 5000 0 nan | 0.000 % | 36.09/36.14 c | 102 | 458 381 4706 | 5500 102 36 | 0.000 % | 36.09/36.15 c | 252 | 458 381 4706 | 6050 252 38 | 0.000 % | 36.09/36.15 c | 477 | 458 381 4706 | 6655 477 36 | 0.000 % | 36.09/36.16 c | 816 | 458 381 4706 | 7320 816 35 | 0.000 % | 36.09/36.18 c | 1323 | 458 381 4706 | 8052 1323 36 | 0.000 % | 36.19/36.21 c | 2082 | 458 381 4706 | 8857 2082 37 | 0.000 % | 36.19/36.25 c | 3221 | 458 381 4706 | 9743 3221 37 | 0.000 % | 36.30/36.33 c | 4929 | 458 381 4706 | 10717 4929 38 | 0.000 % | 36.40/36.46 c | 7491 | 458 381 4706 | 11789 7491 39 | 0.000 % | 36.69/36.71 c | 11340 | 458 381 4706 | 12968 11340 39 | 0.000 % | 37.09/37.10 c | 17106 | 458 381 4706 | 14265 10568 39 | 0.000 % | 37.69/37.75 c | 25759 | 458 381 4706 | 15692 12032 40 | 0.000 % | 38.69/38.73 c | 38736 | 458 381 4706 | 17261 9201 46 | 0.000 % | 40.09/40.13 c | 58198 | 458 381 4706 | 18987 11301 47 | 0.001 % | 40.70/40.72 c =============================================================================== 40.89/40.97 c core #8 40.89/40.97 c ============================[ Search Statistics ]============================== 40.89/40.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 40.89/40.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 40.89/40.97 c =============================================================================== 40.89/40.97 c | 0 | 511 426 5274 | 5000 0 nan | 0.000 % | 40.89/40.99 c | 100 | 511 426 5274 | 5500 100 38 | 0.000 % | 40.89/40.99 c | 251 | 511 426 5274 | 6050 251 39 | 0.000 % | 40.99/41.00 c | 476 | 511 426 5274 | 6655 476 38 | 0.000 % | 40.99/41.01 c | 813 | 511 426 5274 | 7320 813 34 | 0.000 % | 40.99/41.02 c | 1319 | 511 426 5274 | 8052 1319 34 | 0.000 % | 40.99/41.05 c | 2079 | 511 426 5274 | 8857 2079 35 | 0.000 % | 40.99/41.09 c | 3218 | 511 426 5274 | 9743 3218 35 | 0.000 % | 41.09/41.17 c | 4926 | 511 426 5274 | 10717 4926 35 | 0.000 % | 41.29/41.30 c | 7493 | 511 426 5274 | 11789 7493 36 | 0.000 % | 41.49/41.53 c | 11337 | 511 426 5274 | 12968 11337 37 | 0.000 % | 41.79/41.89 c | 17104 | 511 426 5274 | 14265 10562 38 | 0.000 % | 42.49/42.50 c | 25753 | 511 426 5274 | 15692 12025 41 | 0.000 % | 43.39/43.45 c | 38728 | 511 426 5274 | 17261 9209 44 | 0.000 % | 44.99/45.00 c | 58189 | 511 426 5274 | 18987 11321 41 | 0.000 % | 47.10/47.19 c =============================================================================== 47.50/47.53 c core #9 47.50/47.53 c ============================[ Search Statistics ]============================== 47.50/47.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 47.50/47.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 47.50/47.53 c =============================================================================== 47.50/47.53 c | 0 | 554 464 5765 | 5000 0 nan | 0.000 % | 47.50/47.55 c | 100 | 554 464 5765 | 5500 100 39 | 0.000 % | 47.50/47.55 c | 250 | 554 464 5765 | 6050 250 30 | 0.000 % | 47.50/47.56 c | 475 | 554 464 5765 | 6655 475 30 | 0.000 % | 47.50/47.57 c | 812 | 554 464 5765 | 7320 812 30 | 0.000 % | 47.50/47.59 c | 1320 | 554 464 5765 | 8052 1320 30 | 0.000 % | 47.59/47.61 c | 2080 | 554 464 5765 | 8857 2080 32 | 0.000 % | 47.59/47.66 c | 3220 | 554 464 5765 | 9743 3220 32 | 0.000 % | 47.69/47.74 c | 4930 | 554 464 5765 | 10717 4930 33 | 0.000 % | 47.79/47.87 c | 7492 | 554 464 5765 | 11789 7492 35 | 0.000 % | 48.10/48.11 c | 11336 | 554 464 5765 | 12968 11336 36 | 0.000 % | 48.39/48.50 c | 17103 | 554 464 5765 | 14265 10573 40 | 0.000 % | 49.09/49.12 c | 25752 | 554 464 5765 | 15692 12031 43 | 0.000 % | 50.09/50.11 c | 38726 | 554 464 5765 | 17261 9221 42 | 0.000 % | 51.49/51.51 c | 58187 | 554 464 5765 | 18987 11336 44 | 0.000 % | 52.69/52.77 c =============================================================================== 52.99/53.06 c core #10 52.99/53.06 c ============================[ Search Statistics ]============================== 52.99/53.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 52.99/53.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 52.99/53.06 c =============================================================================== 52.99/53.06 c | 0 | 604 500 6257 | 5000 0 nan | 0.000 % | 52.99/53.07 c | 100 | 604 500 6257 | 5500 100 27 | 0.000 % | 52.99/53.08 c | 251 | 604 500 6257 | 6050 251 25 | 0.000 % | 52.99/53.09 c | 476 | 604 500 6257 | 6655 476 26 | 0.000 % | 52.99/53.10 c | 813 | 604 500 6257 | 7320 813 31 | 0.000 % | 53.10/53.11 c | 1319 | 604 500 6257 | 8052 1319 32 | 0.000 % | 53.10/53.14 c | 2079 | 604 500 6257 | 8857 2079 32 | 0.000 % | 53.10/53.19 c | 3222 | 604 500 6257 | 9743 3222 32 | 0.000 % | 53.19/53.27 c | 4932 | 604 500 6257 | 10717 4932 34 | 0.000 % | 53.39/53.40 c | 7494 | 604 500 6257 | 11789 7494 34 | 0.000 % | 53.60/53.64 c | 11338 | 604 500 6257 | 12968 11338 35 | 0.000 % | 54.00/54.00 c | 17105 | 604 500 6257 | 14265 10567 41 | 0.000 % | 54.59/54.62 c | 25755 | 604 500 6257 | 15692 12041 45 | 0.000 % | 55.49/55.58 c | 38729 | 604 500 6257 | 17261 9216 41 | 0.000 % | 57.00/57.00 c | 58192 | 604 500 6257 | 18987 11316 42 | 0.000 % | 58.70/58.79 c =============================================================================== 58.70/58.79 c #cores: 10 58.70/58.79 c Final Weight: 14 58.70/58.79 o 14 58.70/58.79 s OPTIMUM FOUND 58.70/58.79 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 58.70/58.79 c Total CPU time: 57.1943 s
OK 14
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2689859-1277896790/watcher-2689859-1277896790 -o /tmp/evaluation-result-2689859-1277896790/solver-2689859-1277896790 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689859-1277896790.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.07 2.02 4/178 16155 /proc/meminfo: memFree=31053444/32951124 swapFree=67111528/67111528 [pid=16155] ppid=16153 vsize=2576 CPUtime=0 /proc/16155/stat : 16155 (wbo1.4a) R 16153 16155 15765 0 -1 4202496 288 0 0 0 0 0 0 0 25 0 1 0 130974143 2637824 203 4089446400 134512640 135751879 4291475840 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/16155/statm: 644 203 143 303 0 339 0 [startup+0.104848 s] /proc/loadavg: 2.23 2.07 2.02 4/178 16155 /proc/meminfo: memFree=31053444/32951124 swapFree=67111528/67111528 [pid=16155] ppid=16153 vsize=3368 CPUtime=0.09 /proc/16155/stat : 16155 (wbo1.4a) R 16153 16155 15765 0 -1 4202496 486 0 0 0 9 0 0 0 25 0 1 0 130974143 3448832 401 4089446400 134512640 135751879 4291475840 18446744073709551615 134516982 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/16155/statm: 842 401 143 303 0 537 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3368 [startup+0.200828 s] /proc/loadavg: 2.23 2.07 2.02 4/178 16155 /proc/meminfo: memFree=31053444/32951124 swapFree=67111528/67111528 [pid=16155] ppid=16153 vsize=4028 CPUtime=0.19 /proc/16155/stat : 16155 (wbo1.4a) R 16153 16155 15765 0 -1 4202496 643 0 0 0 19 0 0 0 25 0 1 0 130974143 4124672 558 4089446400 134512640 135751879 4291475840 18446744073709551615 134616401 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/16155/statm: 1007 558 143 303 0 702 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 4028 [startup+0.300809 s] /proc/loadavg: 2.23 2.07 2.02 4/178 16155 /proc/meminfo: memFree=31053444/32951124 swapFree=67111528/67111528 [pid=16155] ppid=16153 vsize=4556 CPUtime=0.29 /proc/16155/stat : 16155 (wbo1.4a) R 16153 16155 15765 0 -1 4202496 777 0 0 0 29 0 0 0 25 0 1 0 130974143 4665344 692 4089446400 134512640 135751879 4291475840 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/16155/statm: 1139 692 143 303 0 834 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4556 [startup+0.700734 s] /proc/loadavg: 2.23 2.07 2.02 4/178 16155 /proc/meminfo: memFree=31053444/32951124 swapFree=67111528/67111528 [pid=16155] ppid=16153 vsize=6180 CPUtime=0.69 /proc/16155/stat : 16155 (wbo1.4a) R 16153 16155 15765 0 -1 4202496 1183 0 0 0 68 1 0 0 25 0 1 0 130974143 6328320 1098 4089446400 134512640 135751879 4291475840 18446744073709551615 134616740 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/16155/statm: 1545 1098 143 303 0 1240 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6180 [startup+1.50059 s] /proc/loadavg: 2.23 2.07 2.02 3/179 16156 /proc/meminfo: memFree=31047732/32951124 swapFree=67111528/67111528 [pid=16155] ppid=16153 vsize=9348 CPUtime=1.49 /proc/16155/stat : 16155 (wbo1.4a) R 16153 16155 15765 0 -1 4202496 1993 0 0 0 146 3 0 0 25 0 1 0 130974143 9572352 1908 4089446400 134512640 135751879 4291475840 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/16155/statm: 2337 1908 143 303 0 2032 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9348 [startup+3.10031 s] /proc/loadavg: 2.21 2.06 2.01 2/174 16174 /proc/meminfo: memFree=31050252/32951124 swapFree=67111528/67111528 [pid=16155] ppid=16153 vsize=15552 CPUtime=3.09 /proc/16155/stat : 16155 (wbo1.4a) R 16153 16155 15765 0 -1 4202496 3525 0 0 0 303 6 0 0 25 0 1 0 130974143 15925248 3440 4089446400 134512640 135751879 4291475840 18446744073709551615 134606334 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/16155/statm: 3888 3440 143 303 0 3583 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15552 [startup+6.30067 s] /proc/loadavg: 2.21 2.06 2.01 3/179 16184 /proc/meminfo: memFree=31024264/32951124 swapFree=67111528/67111528 [pid=16155] ppid=16153 vsize=23088 CPUtime=6.29 /proc/16155/stat : 16155 (wbo1.4a) R 16153 16155 15765 0 -1 4202496 5415 0 0 0 620 9 0 0 25 0 1 0 130974143 23642112 5330 4089446400 134512640 135751879 4291475840 18446744073709551615 134616776 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/16155/statm: 5772 5330 146 303 0 5467 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 23088 [startup+12.7005 s] /proc/loadavg: 2.32 2.09 2.02 3/197 16229 /proc/meminfo: memFree=30862640/32951124 swapFree=67111528/67111528 [pid=16155] ppid=16153 vsize=41360 CPUtime=12.69 /proc/16155/stat : 16155 (wbo1.4a) R 16153 16155 15765 0 -1 4202496 9974 0 0 0 1242 27 0 0 25 0 1 0 130974143 42352640 9889 4089446400 134512640 135751879 4291475840 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/16155/statm: 10340 9889 146 303 0 10035 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 41360 [startup+25.5002 s] /proc/loadavg: 2.27 2.09 2.02 3/197 16229 /proc/meminfo: memFree=30793060/32951124 swapFree=67111528/67111528 [pid=16155] ppid=16153 vsize=78592 CPUtime=25.49 /proc/16155/stat : 16155 (wbo1.4a) R 16153 16155 15765 0 -1 4202496 19280 0 0 0 2481 68 0 0 25 0 1 0 130974143 80478208 19195 4089446400 134512640 135751879 4291475840 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/16155/statm: 19648 19195 146 303 0 19343 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 78592 [startup+51.1004 s] /proc/loadavg: 2.18 2.08 2.02 3/197 16229 /proc/meminfo: memFree=30724996/32951124 swapFree=67111528/67111528 [pid=16155] ppid=16153 vsize=141596 CPUtime=51.1 /proc/16155/stat : 16155 (wbo1.4a) R 16153 16155 15765 0 -1 4202496 35055 0 0 0 4972 138 0 0 25 0 1 0 130974143 144994304 34970 4089446400 134512640 135751879 4291475840 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/16155/statm: 35399 34970 146 303 0 35094 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 141596 Solver just ended. Dumping a history of the last processes samples [startup+51.2004 s] /proc/loadavg: 2.18 2.08 2.02 3/197 16229 /proc/meminfo: memFree=30724996/32951124 swapFree=67111528/67111528 [pid=16155] ppid=16153 vsize=141860 CPUtime=51.19 /proc/16155/stat : 16155 (wbo1.4a) R 16153 16155 15765 0 -1 4202496 35121 0 0 0 4981 138 0 0 25 0 1 0 130974143 145264640 35036 4089446400 134512640 135751879 4291475840 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/16155/statm: 35465 35036 146 303 0 35160 0 Current children cumulated CPU time (s) 51.19 Current children cumulated vsize (KiB) 141860 [startup+54.4008 s] /proc/loadavg: 2.16 2.08 2.02 3/197 16229 /proc/meminfo: memFree=30715076/32951124 swapFree=67111528/67111528 [pid=16155] ppid=16153 vsize=150056 CPUtime=54.4 /proc/16155/stat : 16155 (wbo1.4a) R 16153 16155 15765 0 -1 4202496 37162 0 0 0 5292 148 0 0 25 0 1 0 130974143 153657344 37077 4089446400 134512640 135751879 4291475840 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/16155/statm: 37514 37077 146 303 0 37209 0 Current children cumulated CPU time (s) 54.4 Current children cumulated vsize (KiB) 150056 [startup+56.0005 s] /proc/loadavg: 2.16 2.08 2.02 3/197 16229 /proc/meminfo: memFree=30714456/32951124 swapFree=67111528/67111528 [pid=16155] ppid=16153 vsize=153488 CPUtime=55.99 /proc/16155/stat : 16155 (wbo1.4a) R 16153 16155 15765 0 -1 4202496 38025 0 0 0 5447 152 0 0 18 0 1 0 130974143 157171712 37940 4089446400 134512640 135751879 4291475840 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/16155/statm: 38372 37940 146 303 0 38067 0 Current children cumulated CPU time (s) 55.99 Current children cumulated vsize (KiB) 153488 [startup+57.6002 s] /proc/loadavg: 2.15 2.08 2.02 3/197 16229 /proc/meminfo: memFree=30708004/32951124 swapFree=67111528/67111528 [pid=16155] ppid=16153 vsize=158412 CPUtime=57.59 /proc/16155/stat : 16155 (wbo1.4a) R 16153 16155 15765 0 -1 4202496 39251 0 0 0 5603 156 0 0 21 0 1 0 130974143 162213888 39166 4089446400 134512640 135751879 4291475840 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/16155/statm: 39603 39166 146 303 0 39298 0 Current children cumulated CPU time (s) 57.59 Current children cumulated vsize (KiB) 158412 [startup+58.4061 s] /proc/loadavg: 2.15 2.08 2.02 3/197 16229 /proc/meminfo: memFree=30704036/32951124 swapFree=67111528/67111528 [pid=16155] ppid=16153 vsize=161320 CPUtime=58.4 /proc/16155/stat : 16155 (wbo1.4a) R 16153 16155 15765 0 -1 4202496 39960 0 0 0 5681 159 0 0 24 0 1 0 130974143 165191680 39875 4089446400 134512640 135751879 4291475840 18446744073709551615 134603001 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/16155/statm: 40330 39875 146 303 0 40025 0 Current children cumulated CPU time (s) 58.4 Current children cumulated vsize (KiB) 161320 [startup+58.6011 s] /proc/loadavg: 2.15 2.08 2.02 3/197 16229 /proc/meminfo: memFree=30704036/32951124 swapFree=67111528/67111528 [pid=16155] ppid=16153 vsize=162112 CPUtime=58.59 /proc/16155/stat : 16155 (wbo1.4a) R 16153 16155 15765 0 -1 4202496 40175 0 0 0 5700 159 0 0 25 0 1 0 130974143 166002688 40090 4089446400 134512640 135751879 4291475840 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/16155/statm: 40528 40090 146 303 0 40223 0 Current children cumulated CPU time (s) 58.59 Current children cumulated vsize (KiB) 162112 [startup+58.701 s] /proc/loadavg: 2.15 2.08 2.02 3/197 16229 /proc/meminfo: memFree=30704036/32951124 swapFree=67111528/67111528 [pid=16155] ppid=16153 vsize=162508 CPUtime=58.7 /proc/16155/stat : 16155 (wbo1.4a) R 16153 16155 15765 0 -1 4202496 40268 0 0 0 5710 160 0 0 25 0 1 0 130974143 166408192 40183 4089446400 134512640 135751879 4291475840 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/16155/statm: 40627 40183 146 303 0 40322 0 Current children cumulated CPU time (s) 58.7 Current children cumulated vsize (KiB) 162508 Child status: 0 Real time (s): 58.8009 CPU time (s): 58.8021 CPU user time (s): 57.1943 CPU system time (s): 1.60776 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 162508 getrusage(RUSAGE_CHILDREN,...) data: user time used= 57.1943 system time used= 1.60776 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 40361 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 578 runsolver used 0.078987 second user time and 0.200969 second system time The end
Begin job on node147 at 2010-06-30 13:19:50 IDJOB=2689859 IDBENCH=78796 IDSOLVER=1200 FILE ID=node147/2689859-1277896790 PBS_JOBID= 11197162 Free space on /tmp= 74196 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111217392--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-2689859-1277896790/watcher-2689859-1277896790 -o /tmp/evaluation-result-2689859-1277896790/solver-2689859-1277896790 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689859-1277896790.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 960bc2a8059baa29bab251cd640f5046 RANDOM SEED=1433131592 node147.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.822 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.822 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.15 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.822 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.822 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.84 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.822 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.822 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.822 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.822 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: 31053972 kB Buffers: 183124 kB Cached: 1499652 kB SwapCached: 0 kB Active: 551672 kB Inactive: 1201892 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31053972 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2848 kB Writeback: 0 kB AnonPages: 70704 kB Mapped: 15420 kB Slab: 80516 kB PageTables: 4484 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 218256 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= 74196 MiB End job on node147 at 2010-06-30 13:20:49