Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | OPTIMUM | 84.4152 | 84.4126 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111222539--soft-33-100-0.wbo |
MD5SUM | 477adc333907175569d22a28ba04c3fe |
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 | 9 |
Best CPU time to get the best result obtained on this benchmark | 0.231964 |
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 | 64 |
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 | 2925 |
Min constraint cost | 1 |
Max constraint cost | 96 |
Sum of constraints costs | 2924 |
Biggest number in a constraint | 38 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 1192 |
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-2689916-1277898483.wbo. 0.00/0.00 c Instance file HOME/instance-2689916-1277898483.wbo 0.00/0.00 c File size is 10271 bytes. 0.00/0.00 c Highest Coefficient sum: 1192 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 32 | 0.004 % | 0.00/0.00 c | 253 | 169 101 1205 | 6050 253 30 | 0.004 % | 0.00/0.01 c | 479 | 169 101 1205 | 6655 479 32 | 0.004 % | 0.00/0.02 c | 817 | 169 101 1205 | 7320 817 36 | 0.004 % | 0.02/0.03 c | 1323 | 169 101 1205 | 8052 1323 37 | 0.004 % | 0.02/0.05 c | 2083 | 169 101 1205 | 8857 2083 36 | 0.004 % | 0.02/0.09 c | 3223 | 169 101 1205 | 9743 3223 37 | 0.004 % | 0.09/0.16 c | 4931 | 169 101 1205 | 10717 4931 37 | 0.004 % | 0.19/0.28 c | 7494 | 169 101 1205 | 11789 7494 37 | 0.004 % | 0.49/0.51 c | 11339 | 169 101 1205 | 12968 11339 40 | 0.004 % | 0.89/0.92 c | 17106 | 169 101 1205 | 14265 10584 44 | 0.004 % | 1.50/1.56 c | 25755 | 169 101 1205 | 15692 12045 45 | 0.004 % | 2.50/2.55 c | 38730 | 169 101 1205 | 17261 9219 49 | 0.004 % | 3.89/3.95 c | 58191 | 169 101 1205 | 18987 11300 47 | 0.004 % | 4.19/4.25 c =============================================================================== 4.40/4.49 c core #1 4.40/4.49 c ============================[ Search Statistics ]============================== 4.40/4.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.40/4.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.40/4.49 c =============================================================================== 4.40/4.49 c | 0 | 230 161 1915 | 5000 0 nan | 0.000 % | 4.40/4.49 c | 101 | 230 161 1915 | 5500 101 30 | 0.002 % | 4.40/4.50 c | 255 | 230 161 1915 | 6050 255 37 | 0.002 % | 4.49/4.50 c | 481 | 230 161 1915 | 6655 481 36 | 0.002 % | 4.49/4.51 c | 818 | 230 161 1915 | 7320 818 36 | 0.002 % | 4.49/4.53 c | 1324 | 230 161 1915 | 8052 1324 40 | 0.002 % | 4.49/4.55 c | 2085 | 230 161 1915 | 8857 2085 40 | 0.002 % | 4.49/4.60 c | 3225 | 230 161 1915 | 9743 3225 40 | 0.002 % | 4.59/4.68 c | 4935 | 230 161 1915 | 10717 4935 39 | 0.002 % | 4.79/4.81 c | 7500 | 230 161 1915 | 11789 7500 40 | 0.002 % | 4.99/5.04 c | 11345 | 230 161 1915 | 12968 11345 41 | 0.002 % | 5.39/5.43 c | 17111 | 230 161 1915 | 14265 10574 44 | 0.002 % | 5.99/6.07 c | 25760 | 230 161 1915 | 15692 12058 46 | 0.002 % | 6.99/7.02 c | 38736 | 230 161 1915 | 17261 9227 43 | 0.002 % | 8.39/8.46 c | 58198 | 230 161 1915 | 18987 11322 46 | 0.002 % | 9.90/9.99 c =============================================================================== 10.29/10.30 c core #2 10.29/10.30 c ============================[ Search Statistics ]============================== 10.29/10.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.29/10.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.29/10.30 c =============================================================================== 10.29/10.30 c | 0 | 291 221 2625 | 5000 0 nan | 0.000 % | 10.29/10.31 c | 101 | 291 221 2625 | 5500 101 29 | 0.001 % | 10.29/10.31 c | 251 | 291 221 2625 | 6050 251 31 | 0.001 % | 10.29/10.32 c | 476 | 291 221 2625 | 6655 476 31 | 0.001 % | 10.29/10.33 c | 814 | 291 221 2625 | 7320 814 30 | 0.001 % | 10.29/10.34 c | 1320 | 291 221 2625 | 8052 1320 32 | 0.001 % | 10.29/10.37 c | 2079 | 291 221 2625 | 8857 2079 33 | 0.001 % | 10.39/10.41 c | 3218 | 291 221 2625 | 9743 3218 33 | 0.001 % | 10.39/10.47 c | 4926 | 291 221 2625 | 10717 4926 36 | 0.001 % | 10.49/10.59 c | 7489 | 291 221 2625 | 11789 7489 38 | 0.001 % | 10.79/10.80 c | 11337 | 291 221 2625 | 12968 11337 39 | 0.001 % | 11.09/11.17 c | 17108 | 291 221 2625 | 14265 10568 42 | 0.001 % | 11.69/11.73 c | 25757 | 291 221 2625 | 15692 12028 43 | 0.001 % | 12.69/12.72 c | 38732 | 291 221 2625 | 17261 9194 44 | 0.001 % | 14.20/14.21 c | 58195 | 291 221 2625 | 18987 11309 45 | 0.001 % | 15.59/15.62 c =============================================================================== 15.90/15.93 c core #3 15.90/15.93 c ============================[ Search Statistics ]============================== 15.90/15.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.90/15.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.90/15.93 c =============================================================================== 15.90/15.93 c | 0 | 349 280 3315 | 5000 0 nan | 0.000 % | 15.90/15.94 c | 100 | 349 280 3315 | 5500 100 33 | 0.001 % | 15.90/15.94 c | 250 | 349 280 3315 | 6050 250 32 | 0.001 % | 15.90/15.95 c | 477 | 349 280 3315 | 6655 477 32 | 0.001 % | 15.90/15.96 c | 817 | 349 280 3315 | 7320 817 35 | 0.001 % | 15.90/15.98 c | 1323 | 349 280 3315 | 8052 1323 38 | 0.001 % | 15.99/16.01 c | 2083 | 349 280 3315 | 8857 2083 38 | 0.001 % | 15.99/16.05 c | 3225 | 349 280 3315 | 9743 3225 37 | 0.001 % | 16.09/16.13 c | 4935 | 349 280 3315 | 10717 4935 37 | 0.001 % | 16.19/16.27 c | 7497 | 349 280 3315 | 11789 7497 38 | 0.001 % | 16.50/16.52 c | 11341 | 349 280 3315 | 12968 11341 38 | 0.001 % | 16.89/16.92 c | 17107 | 349 280 3315 | 14265 10577 39 | 0.001 % | 17.39/17.49 c | 25758 | 349 280 3315 | 15692 12048 43 | 0.001 % | 18.40/18.43 c | 38732 | 349 280 3315 | 17261 9243 44 | 0.001 % | 19.79/19.87 c | 58194 | 349 280 3315 | 18987 11335 45 | 0.001 % | 22.09/22.17 c | 87386 | 349 280 3315 | 20886 11887 48 | 0.035 % | 22.80/22.85 c =============================================================================== 23.20/23.26 c core #4 23.20/23.26 c ============================[ Search Statistics ]============================== 23.20/23.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 23.20/23.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 23.20/23.26 c =============================================================================== 23.20/23.26 c | 0 | 411 338 4001 | 5000 0 nan | 0.000 % | 23.20/23.27 c | 102 | 411 338 4001 | 5500 102 35 | 0.001 % | 23.20/23.27 c | 252 | 411 338 4001 | 6050 252 32 | 0.001 % | 23.20/23.28 c | 477 | 411 338 4001 | 6655 477 31 | 0.001 % | 23.20/23.29 c | 816 | 411 338 4001 | 7320 816 31 | 0.001 % | 23.29/23.31 c | 1322 | 411 338 4001 | 8052 1322 33 | 0.001 % | 23.29/23.33 c | 2082 | 411 338 4001 | 8857 2082 33 | 0.001 % | 23.29/23.37 c | 3221 | 411 338 4001 | 9743 3221 33 | 0.001 % | 23.39/23.45 c | 4930 | 411 338 4001 | 10717 4930 35 | 0.001 % | 23.49/23.58 c | 7493 | 411 338 4001 | 11789 7493 34 | 0.001 % | 23.79/23.80 c | 11338 | 411 338 4001 | 12968 11338 34 | 0.001 % | 24.10/24.19 c | 17107 | 411 338 4001 | 14265 10563 39 | 0.001 % | 24.69/24.78 c | 25757 | 411 338 4001 | 15692 12029 43 | 0.001 % | 25.59/25.69 c | 38731 | 411 338 4001 | 17261 9192 42 | 0.001 % | 27.09/27.12 c | 58193 | 411 338 4001 | 18987 11284 44 | 0.001 % | 29.29/29.35 c | 87386 | 411 338 4001 | 20886 11845 46 | 0.025 % | 29.99/30.08 c =============================================================================== 30.39/30.47 c core #5 30.39/30.47 c ============================[ Search Statistics ]============================== 30.39/30.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 30.39/30.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 30.39/30.47 c =============================================================================== 30.39/30.47 c | 0 | 476 396 4693 | 5000 0 nan | 0.000 % | 30.39/30.48 c | 100 | 476 396 4693 | 5500 100 28 | 0.000 % | 30.39/30.49 c | 251 | 476 396 4693 | 6050 251 29 | 0.000 % | 30.39/30.50 c | 478 | 476 396 4693 | 6655 478 31 | 0.000 % | 30.49/30.51 c | 815 | 476 396 4693 | 7320 815 31 | 0.000 % | 30.49/30.52 c | 1322 | 476 396 4693 | 8052 1322 33 | 0.000 % | 30.49/30.55 c | 2081 | 476 396 4693 | 8857 2081 33 | 0.000 % | 30.49/30.59 c | 3220 | 476 396 4693 | 9743 3220 34 | 0.000 % | 30.59/30.67 c | 4930 | 476 396 4693 | 10717 4930 35 | 0.000 % | 30.69/30.79 c | 7493 | 476 396 4693 | 11789 7493 35 | 0.000 % | 30.99/31.04 c | 11337 | 476 396 4693 | 12968 11337 37 | 0.000 % | 31.39/31.45 c | 17104 | 476 396 4693 | 14265 10587 42 | 0.000 % | 31.99/32.09 c | 25757 | 476 396 4693 | 15692 12070 44 | 0.000 % | 33.00/33.04 c | 38734 | 476 396 4693 | 17261 9244 41 | 0.000 % | 34.40/34.43 c | 58195 | 476 396 4693 | 18987 11327 45 | 0.000 % | 36.69/36.79 c | 87387 | 476 396 4693 | 20886 11852 46 | 0.000 % | 37.99/38.07 c =============================================================================== 38.40/38.50 c core #6 38.40/38.50 c ============================[ Search Statistics ]============================== 38.40/38.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 38.40/38.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 38.40/38.50 c =============================================================================== 38.40/38.50 c | 0 | 537 453 5367 | 5000 0 nan | 0.000 % | 38.50/38.51 c | 100 | 537 453 5367 | 5500 100 33 | 0.000 % | 38.50/38.52 c | 252 | 537 453 5367 | 6050 252 30 | 0.000 % | 38.50/38.52 c | 477 | 537 453 5367 | 6655 477 26 | 0.000 % | 38.50/38.53 c | 815 | 537 453 5367 | 7320 815 30 | 0.000 % | 38.50/38.55 c | 1321 | 537 453 5367 | 8052 1321 31 | 0.000 % | 38.50/38.58 c | 2080 | 537 453 5367 | 8857 2080 31 | 0.000 % | 38.59/38.62 c | 3221 | 537 453 5367 | 9743 3221 32 | 0.000 % | 38.69/38.70 c | 4929 | 537 453 5367 | 10717 4929 33 | 0.000 % | 38.79/38.84 c | 7492 | 537 453 5367 | 11789 7492 34 | 0.000 % | 39.00/39.07 c | 11336 | 537 453 5367 | 12968 11336 36 | 0.000 % | 39.39/39.46 c | 17102 | 537 453 5367 | 14265 10568 41 | 0.000 % | 39.99/40.03 c | 25753 | 537 453 5367 | 15692 12032 41 | 0.000 % | 40.80/40.87 c | 38727 | 537 453 5367 | 17261 9208 41 | 0.000 % | 42.19/42.27 c | 58189 | 537 453 5367 | 18987 11302 43 | 0.000 % | 44.39/44.41 c =============================================================================== 44.69/44.75 c core #7 44.69/44.75 c ============================[ Search Statistics ]============================== 44.69/44.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 44.69/44.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 44.69/44.75 c =============================================================================== 44.69/44.75 c | 0 | 608 508 6036 | 5000 0 nan | 0.000 % | 44.69/44.77 c | 101 | 608 508 6036 | 5500 101 35 | 0.000 % | 44.69/44.77 c | 253 | 608 508 6036 | 6050 253 34 | 0.000 % | 44.69/44.78 c | 478 | 608 508 6036 | 6655 478 32 | 0.000 % | 44.69/44.79 c | 816 | 608 508 6036 | 7320 816 30 | 0.000 % | 44.79/44.81 c | 1322 | 608 508 6036 | 8052 1322 32 | 0.000 % | 44.79/44.83 c | 2082 | 608 508 6036 | 8857 2082 34 | 0.000 % | 44.79/44.88 c | 3221 | 608 508 6036 | 9743 3221 35 | 0.000 % | 44.89/44.96 c | 4931 | 608 508 6036 | 10717 4931 35 | 0.000 % | 45.10/45.10 c | 7494 | 608 508 6036 | 11789 7494 37 | 0.000 % | 45.30/45.31 c | 11338 | 608 508 6036 | 12968 11338 37 | 0.000 % | 45.69/45.70 c | 17107 | 608 508 6036 | 14265 10565 41 | 0.000 % | 46.29/46.34 c | 25756 | 608 508 6036 | 15692 12029 45 | 0.000 % | 47.30/47.31 c | 38731 | 608 508 6036 | 17261 9203 43 | 0.000 % | 48.69/48.75 c | 58192 | 608 508 6036 | 18987 11271 47 | 0.000 % | 51.19/51.23 c | 87384 | 608 508 6036 | 20886 11822 50 | 0.000 % | 55.09/55.12 c | 131174 | 581 508 6036 | 22974 4897 43 | 4.450 % | 55.19/55.22 c =============================================================================== 55.79/55.80 c core #8 55.79/55.80 c ============================[ Search Statistics ]============================== 55.79/55.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 55.79/55.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 55.79/55.80 c =============================================================================== 55.79/55.80 c | 0 | 691 562 6716 | 5000 0 nan | 0.000 % | 55.79/55.81 c | 102 | 691 562 6716 | 5500 102 44 | 0.000 % | 55.79/55.82 c | 254 | 691 562 6716 | 6050 254 41 | 0.000 % | 55.79/55.83 c | 479 | 691 562 6716 | 6655 479 41 | 0.000 % | 55.79/55.84 c | 816 | 691 562 6716 | 7320 816 36 | 0.000 % | 55.79/55.86 c | 1323 | 691 562 6716 | 8052 1323 35 | 0.000 % | 55.79/55.89 c | 2082 | 691 562 6716 | 8857 2082 35 | 0.000 % | 55.90/55.93 c | 3221 | 691 562 6716 | 9743 3221 37 | 0.000 % | 56.00/56.02 c | 4930 | 691 562 6716 | 10717 4930 39 | 0.000 % | 56.10/56.18 c | 7493 | 691 562 6716 | 11789 7493 42 | 0.000 % | 56.39/56.46 c | 11337 | 691 562 6716 | 12968 11337 43 | 0.000 % | 56.79/56.89 c | 17103 | 691 562 6716 | 14265 10564 45 | 0.000 % | 57.49/57.52 c | 25754 | 691 562 6716 | 15692 12021 46 | 0.000 % | 58.60/58.62 c | 38728 | 691 562 6716 | 17261 9181 48 | 0.000 % | 60.19/60.21 c | 58193 | 691 562 6716 | 18987 11265 48 | 0.000 % | 62.90/62.90 c | 87386 | 691 562 6716 | 20886 11810 47 | 0.000 % | 66.79/66.86 c | 131175 | 691 562 6716 | 22974 13606 51 | 0.000 % | 72.29/72.38 c =============================================================================== 73.19/73.25 c core #9 73.19/73.25 c ============================[ Search Statistics ]============================== 73.19/73.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 73.19/73.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 73.19/73.25 c =============================================================================== 73.19/73.25 c | 0 | 781 615 7405 | 5000 0 nan | 0.000 % | 73.19/73.27 c | 102 | 781 615 7405 | 5500 102 30 | 0.000 % | 73.19/73.28 c | 254 | 781 615 7405 | 6050 254 29 | 0.000 % | 73.19/73.29 c | 480 | 781 615 7405 | 6655 480 31 | 0.000 % | 73.29/73.30 c | 817 | 781 615 7405 | 7320 817 30 | 0.000 % | 73.29/73.32 c | 1323 | 781 615 7405 | 8052 1323 29 | 0.000 % | 73.29/73.35 c | 2082 | 781 615 7405 | 8857 2082 32 | 0.000 % | 73.29/73.39 c | 3222 | 781 615 7405 | 9743 3222 34 | 0.000 % | 73.40/73.47 c | 4930 | 781 615 7405 | 10717 4930 35 | 0.000 % | 73.60/73.61 c | 7492 | 781 615 7405 | 11789 7492 37 | 0.000 % | 73.79/73.85 c | 11336 | 781 615 7405 | 12968 11336 38 | 0.000 % | 74.19/74.25 c | 17102 | 781 615 7405 | 14265 10567 41 | 0.000 % | 74.90/74.93 c | 25752 | 781 615 7405 | 15692 12031 44 | 0.000 % | 75.80/75.90 c | 38727 | 781 615 7405 | 17261 9199 42 | 0.000 % | 77.49/77.52 c | 58190 | 781 615 7405 | 18987 11266 50 | 0.000 % | 79.99/80.09 c | 87383 | 781 615 7405 | 20886 11822 45 | 0.000 % | 83.60/83.68 c | 131173 | 748 615 7405 | 22974 3020 43 | 4.226 % | 84.39/84.40 c =============================================================================== 84.39/84.40 c #cores: 9 84.39/84.40 c Final Weight: 9 84.39/84.40 o 9 84.39/84.40 s OPTIMUM FOUND 84.39/84.40 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 84.39/84.40 c Total CPU time: 83.3103 s
OK 9
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2689916-1277898483/watcher-2689916-1277898483 -o /tmp/evaluation-result-2689916-1277898483/solver-2689916-1277898483 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689916-1277898483.wbo Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.02 2.02 2.00 4/182 12832 /proc/meminfo: memFree=31391016/32951124 swapFree=67111528/67111528 [pid=12832] ppid=12830 vsize=2572 CPUtime=0 /proc/12832/stat : 12832 (wbo1.4a) R 12830 12832 12161 0 -1 4202496 286 0 0 0 0 0 0 0 25 0 1 0 131144436 2633728 201 4089446400 134512640 135751879 4291081680 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12832/statm: 643 201 143 303 0 338 0 [startup+0.0242341 s] /proc/loadavg: 2.02 2.02 2.00 4/182 12832 /proc/meminfo: memFree=31391016/32951124 swapFree=67111528/67111528 [pid=12832] ppid=12830 vsize=2704 CPUtime=0.02 /proc/12832/stat : 12832 (wbo1.4a) R 12830 12832 12161 0 -1 4202496 338 0 0 0 2 0 0 0 25 0 1 0 131144436 2768896 253 4089446400 134512640 135751879 4291081680 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12832/statm: 676 254 143 303 0 371 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 2704 [startup+0.101209 s] /proc/loadavg: 2.02 2.02 2.00 4/182 12832 /proc/meminfo: memFree=31391016/32951124 swapFree=67111528/67111528 [pid=12832] ppid=12830 vsize=3364 CPUtime=0.09 /proc/12832/stat : 12832 (wbo1.4a) R 12830 12832 12161 0 -1 4202496 505 0 0 0 9 0 0 0 25 0 1 0 131144436 3444736 420 4089446400 134512640 135751879 4291081680 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12832/statm: 841 420 143 303 0 536 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3364 [startup+0.301184 s] /proc/loadavg: 2.02 2.02 2.00 4/182 12832 /proc/meminfo: memFree=31391016/32951124 swapFree=67111528/67111528 [pid=12832] ppid=12830 vsize=4684 CPUtime=0.29 /proc/12832/stat : 12832 (wbo1.4a) R 12830 12832 12161 0 -1 4202496 823 0 0 0 28 1 0 0 25 0 1 0 131144436 4796416 738 4089446400 134512640 135751879 4291081680 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12832/statm: 1171 738 143 303 0 866 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4684 [startup+0.701111 s] /proc/loadavg: 2.02 2.02 2.00 4/182 12832 /proc/meminfo: memFree=31391016/32951124 swapFree=67111528/67111528 [pid=12832] ppid=12830 vsize=6664 CPUtime=0.69 /proc/12832/stat : 12832 (wbo1.4a) R 12830 12832 12161 0 -1 4202496 1303 0 0 0 68 1 0 0 25 0 1 0 131144436 6823936 1218 4089446400 134512640 135751879 4291081680 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12832/statm: 1666 1218 143 303 0 1361 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6664 [startup+1.50096 s] /proc/loadavg: 2.02 2.02 2.00 3/183 12833 /proc/meminfo: memFree=31385056/32951124 swapFree=67111528/67111528 [pid=12832] ppid=12830 vsize=10096 CPUtime=1.5 /proc/12832/stat : 12832 (wbo1.4a) R 12830 12832 12161 0 -1 4202496 2161 0 0 0 147 3 0 0 25 0 1 0 131144436 10338304 2076 4089446400 134512640 135751879 4291081680 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12832/statm: 2524 2076 143 303 0 2219 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 10096 [startup+3.10066 s] /proc/loadavg: 2.02 2.02 2.00 3/183 12833 /proc/meminfo: memFree=31380096/32951124 swapFree=67111528/67111528 [pid=12832] ppid=12830 vsize=16828 CPUtime=3.09 /proc/12832/stat : 12832 (wbo1.4a) R 12830 12832 12161 0 -1 4202496 3871 0 0 0 303 6 0 0 25 0 1 0 131144436 17231872 3786 4089446400 134512640 135751879 4291081680 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12832/statm: 4207 3786 143 303 0 3902 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16828 [startup+6.30108 s] /proc/loadavg: 2.02 2.02 2.00 3/183 12833 /proc/meminfo: memFree=31368652/32951124 swapFree=67111528/67111528 [pid=12832] ppid=12830 vsize=24224 CPUtime=6.29 /proc/12832/stat : 12832 (wbo1.4a) R 12830 12832 12161 0 -1 4202496 5702 0 0 0 619 10 0 0 25 0 1 0 131144436 24805376 5617 4089446400 134512640 135751879 4291081680 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12832/statm: 6056 5617 146 303 0 5751 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 24224 [startup+12.7009 s] /proc/loadavg: 2.01 2.02 2.00 3/183 12833 /proc/meminfo: memFree=31350424/32951124 swapFree=67111528/67111528 [pid=12832] ppid=12830 vsize=43256 CPUtime=12.69 /proc/12832/stat : 12832 (wbo1.4a) R 12830 12832 12161 0 -1 4202496 10468 0 0 0 1250 19 0 0 25 0 1 0 131144436 44294144 10383 4089446400 134512640 135751879 4291081680 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12832/statm: 10814 10383 146 303 0 10509 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 43256 [startup+25.5006 s] /proc/loadavg: 2.01 2.02 2.00 3/183 12834 /proc/meminfo: memFree=31312936/32951124 swapFree=67111528/67111528 [pid=12832] ppid=12830 vsize=78852 CPUtime=25.49 /proc/12832/stat : 12832 (wbo1.4a) R 12830 12832 12161 0 -1 4202496 19356 0 0 0 2514 35 0 0 25 0 1 0 131144436 80744448 19271 4089446400 134512640 135751879 4291081680 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12832/statm: 19713 19271 146 303 0 19408 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 78852 [startup+51.1009 s] /proc/loadavg: 2.01 2.02 2.00 3/183 12835 /proc/meminfo: memFree=31244268/32951124 swapFree=67111528/67111528 [pid=12832] ppid=12830 vsize=146212 CPUtime=51.09 /proc/12832/stat : 12832 (wbo1.4a) R 12830 12832 12161 0 -1 4202496 36203 0 0 0 5040 69 0 0 25 0 1 0 131144436 149721088 36118 4089446400 134512640 135751879 4291081680 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12832/statm: 36553 36118 146 303 0 36248 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 146212 Solver just ended. Dumping a history of the last processes samples [startup+63.9006 s] /proc/loadavg: 2.00 2.02 2.00 3/183 12835 /proc/meminfo: memFree=31209536/32951124 swapFree=67111528/67111528 [pid=12832] ppid=12830 vsize=178996 CPUtime=63.9 /proc/12832/stat : 12832 (wbo1.4a) R 12830 12832 12161 0 -1 4202496 44389 0 0 0 6306 84 0 0 25 0 1 0 131144436 183291904 44304 4089446400 134512640 135751879 4291081680 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12832/statm: 44749 44304 146 303 0 44444 0 Current children cumulated CPU time (s) 63.9 Current children cumulated vsize (KiB) 178996 [startup+76.7003 s] /proc/loadavg: 2.08 2.03 2.01 3/183 12835 /proc/meminfo: memFree=31173440/32951124 swapFree=67111528/67111528 [pid=12832] ppid=12830 vsize=214412 CPUtime=76.69 /proc/12832/stat : 12832 (wbo1.4a) R 12830 12832 12161 0 -1 4202496 53249 0 0 0 7570 99 0 0 25 0 1 0 131144436 219557888 53164 4089446400 134512640 135751879 4291081680 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12832/statm: 53603 53164 146 303 0 53298 0 Current children cumulated CPU time (s) 76.69 Current children cumulated vsize (KiB) 214412 [startup+79.9007 s] /proc/loadavg: 2.08 2.03 2.00 3/183 12835 /proc/meminfo: memFree=31169596/32951124 swapFree=67111528/67111528 [pid=12832] ppid=12830 vsize=220024 CPUtime=79.89 /proc/12832/stat : 12832 (wbo1.4a) R 12830 12832 12161 0 -1 4202496 54640 0 0 0 7886 103 0 0 25 0 1 0 131144436 225304576 54555 4089446400 134512640 135751879 4291081680 18446744073709551615 134649814 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12832/statm: 55006 54555 146 303 0 54701 0 Current children cumulated CPU time (s) 79.89 Current children cumulated vsize (KiB) 220024 [startup+81.5004 s] /proc/loadavg: 2.08 2.03 2.00 3/183 12835 /proc/meminfo: memFree=31163640/32951124 swapFree=67111528/67111528 [pid=12832] ppid=12830 vsize=223852 CPUtime=81.5 /proc/12832/stat : 12832 (wbo1.4a) R 12830 12832 12161 0 -1 4202496 55611 0 0 0 8044 106 0 0 25 0 1 0 131144436 229224448 55526 4089446400 134512640 135751879 4291081680 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12832/statm: 55963 55526 146 303 0 55658 0 Current children cumulated CPU time (s) 81.5 Current children cumulated vsize (KiB) 223852 [startup+83.1011 s] /proc/loadavg: 2.07 2.03 2.00 3/183 12835 /proc/meminfo: memFree=31160540/32951124 swapFree=67111528/67111528 [pid=12832] ppid=12830 vsize=228608 CPUtime=83.1 /proc/12832/stat : 12832 (wbo1.4a) R 12830 12832 12161 0 -1 4202496 56815 0 0 0 8202 108 0 0 25 0 1 0 131144436 234094592 56730 4089446400 134512640 135751879 4291081680 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12832/statm: 57152 56730 146 303 0 56847 0 Current children cumulated CPU time (s) 83.1 Current children cumulated vsize (KiB) 228608 [startup+83.901 s] /proc/loadavg: 2.07 2.03 2.00 3/183 12835 /proc/meminfo: memFree=31157188/32951124 swapFree=67111528/67111528 [pid=12832] ppid=12830 vsize=231644 CPUtime=83.89 /proc/12832/stat : 12832 (wbo1.4a) R 12830 12832 12161 0 -1 4202496 57549 0 0 0 8281 108 0 0 25 0 1 0 131144436 237203456 57464 4089446400 134512640 135751879 4291081680 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12832/statm: 57911 57464 146 303 0 57606 0 Current children cumulated CPU time (s) 83.89 Current children cumulated vsize (KiB) 231644 [startup+84.3009 s] /proc/loadavg: 2.07 2.03 2.00 3/183 12835 /proc/meminfo: memFree=31157188/32951124 swapFree=67111528/67111528 [pid=12832] ppid=12830 vsize=233492 CPUtime=84.29 /proc/12832/stat : 12832 (wbo1.4a) R 12830 12832 12161 0 -1 4202496 58013 0 0 0 8320 109 0 0 25 0 1 0 131144436 239095808 57928 4089446400 134512640 135751879 4291081680 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12832/statm: 58373 57928 146 303 0 58068 0 Current children cumulated CPU time (s) 84.29 Current children cumulated vsize (KiB) 233492 [startup+84.4009 s] /proc/loadavg: 2.07 2.03 2.00 3/183 12835 /proc/meminfo: memFree=31157188/32951124 swapFree=67111528/67111528 [pid=12832] ppid=12830 vsize=233888 CPUtime=84.39 /proc/12832/stat : 12832 (wbo1.4a) R 12830 12832 12161 0 -1 4202496 58122 0 0 0 8330 109 0 0 25 0 1 0 131144436 239501312 58037 4089446400 134512640 135751879 4291081680 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12832/statm: 58472 58037 146 303 0 58167 0 Current children cumulated CPU time (s) 84.39 Current children cumulated vsize (KiB) 233888 Child status: 0 Real time (s): 84.4126 CPU time (s): 84.4152 CPU user time (s): 83.3103 CPU system time (s): 1.10483 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 233888 getrusage(RUSAGE_CHILDREN,...) data: user time used= 83.3103 system time used= 1.10483 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 58126 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= 2 involuntary context switches= 119 runsolver used 0.170974 second user time and 0.290955 second system time The end
Begin job on node134 at 2010-06-30 13:48:03 IDJOB=2689916 IDBENCH=78838 IDSOLVER=1200 FILE ID=node134/2689916-1277898483 PBS_JOBID= 11197163 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.1111222539--soft-33-100-0.wbo COMMAND LINE= wbo1.4a -file-format=wbo -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2689916-1277898483/watcher-2689916-1277898483 -o /tmp/evaluation-result-2689916-1277898483/solver-2689916-1277898483 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689916-1277898483.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 477adc333907175569d22a28ba04c3fe RANDOM SEED=2090806685 node134.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.818 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.63 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.818 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.818 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.818 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 : 7397.66 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.818 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.67 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.818 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.84 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.818 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.818 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: 32951124 kB MemFree: 31391544 kB Buffers: 183800 kB Cached: 1092092 kB SwapCached: 0 kB Active: 736584 kB Inactive: 682036 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31391544 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2732 kB Writeback: 0 kB AnonPages: 142304 kB Mapped: 16116 kB Slab: 78812 kB PageTables: 4656 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 287396 kB VmallocTotal: 34359738367 kB VmallocUsed: 33868 kB VmallocChunk: 34359703231 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 node134 at 2010-06-30 13:49:27