Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | OPTIMUM | 39.0601 | 39.0632 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110970444--soft-33-100-0.wbo |
MD5SUM | e1995b9ec907174fc65ceec959beef4e |
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 | 10 |
Best CPU time to get the best result obtained on this benchmark | 0.198969 |
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 | 3426 |
Min constraint cost | 1 |
Max constraint cost | 99 |
Sum of constraints costs | 3425 |
Biggest number in a constraint | 38 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 1239 |
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-2689905-1277898161.wbo. 0.00/0.00 c Instance file HOME/instance-2689905-1277898161.wbo 0.00/0.00 c File size is 10280 bytes. 0.00/0.00 c Highest Coefficient sum: 1239 0.00/0.00 c ============================[ Problem Statistics ]============================= 0.00/0.00 c | | 0.00/0.00 c | Parsing time: 0.00 s | 0.00/0.00 c | Number Variables: 169 | 0.00/0.00 c | Number Clauses: 30 | 0.00/0.00 c | Number Cardinality: 70 | 0.00/0.00 c | Number PB Constraints: 1 | 0.00/0.00 c ============================[ Search Statistics ]============================== 0.00/0.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 169 101 1205 | 5000 0 nan | 0.000 % | 0.00/0.00 c | 100 | 169 101 1205 | 5500 100 41 | 0.004 % | 0.00/0.00 c | 251 | 169 101 1205 | 6050 251 34 | 0.004 % | 0.00/0.01 c | 476 | 169 101 1205 | 6655 476 31 | 0.004 % | 0.00/0.02 c | 813 | 169 101 1205 | 7320 813 31 | 0.004 % | 0.00/0.03 c | 1319 | 169 101 1205 | 8052 1319 30 | 0.004 % | 0.05/0.06 c | 2078 | 169 101 1205 | 8857 2078 32 | 0.004 % | 0.09/0.10 c | 3217 | 169 101 1205 | 9743 3217 33 | 0.004 % | 0.09/0.17 c | 4928 | 169 101 1205 | 10717 4928 34 | 0.004 % | 0.29/0.30 c | 7491 | 169 101 1205 | 11789 7491 34 | 0.004 % | 0.49/0.54 c | 11336 | 169 101 1205 | 12968 11336 36 | 0.004 % | 0.79/0.88 c | 17103 | 169 101 1205 | 14265 10564 40 | 0.004 % | 1.29/1.40 c | 25752 | 169 101 1205 | 15692 12022 43 | 0.004 % | 1.99/2.00 c =============================================================================== 2.10/2.13 c core #1 2.10/2.13 c ============================[ Search Statistics ]============================== 2.10/2.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.10/2.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.10/2.13 c =============================================================================== 2.10/2.13 c | 0 | 228 164 2127 | 5000 0 nan | 0.000 % | 2.10/2.13 c | 100 | 228 164 2127 | 5500 100 41 | 0.002 % | 2.10/2.13 c | 251 | 228 164 2127 | 6050 251 32 | 0.002 % | 2.10/2.14 c | 477 | 228 164 2127 | 6655 477 31 | 0.002 % | 2.10/2.15 c | 814 | 228 164 2127 | 7320 814 31 | 0.002 % | 2.10/2.16 c | 1321 | 228 164 2127 | 8052 1321 32 | 0.002 % | 2.10/2.19 c | 2080 | 228 164 2127 | 8857 2080 32 | 0.002 % | 2.19/2.23 c | 3219 | 228 164 2127 | 9743 3219 33 | 0.002 % | 2.29/2.30 c | 4928 | 228 164 2127 | 10717 4928 33 | 0.002 % | 2.39/2.43 c | 7492 | 228 164 2127 | 11789 7492 35 | 0.002 % | 2.59/2.68 c | 11338 | 228 164 2127 | 12968 11338 37 | 0.002 % | 2.99/3.05 c | 17104 | 228 164 2127 | 14265 10561 40 | 0.002 % | 3.59/3.64 c | 25755 | 228 164 2127 | 15692 12032 42 | 0.002 % | 4.49/4.54 c | 38729 | 185 164 2127 | 17261 628 29 | 18.862 % | 4.59/4.69 c =============================================================================== 4.79/4.85 c core #2 4.79/4.85 c ============================[ Search Statistics ]============================== 4.79/4.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.79/4.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.79/4.85 c =============================================================================== 4.79/4.85 c | 0 | 286 226 3035 | 5000 0 nan | 0.000 % | 4.79/4.86 c | 101 | 286 226 3035 | 5500 101 48 | 0.001 % | 4.79/4.86 c | 252 | 286 226 3035 | 6050 252 38 | 0.001 % | 4.79/4.87 c | 477 | 286 226 3035 | 6655 477 38 | 0.001 % | 4.79/4.88 c | 814 | 286 226 3035 | 7320 814 35 | 0.001 % | 4.79/4.89 c | 1320 | 286 226 3035 | 8052 1320 36 | 0.001 % | 4.89/4.92 c | 2079 | 286 226 3035 | 8857 2079 35 | 0.001 % | 4.89/4.97 c | 3219 | 286 226 3035 | 9743 3219 35 | 0.001 % | 4.99/5.04 c | 4930 | 286 226 3035 | 10717 4930 35 | 0.001 % | 5.09/5.18 c | 7493 | 286 226 3035 | 11789 7493 35 | 0.001 % | 5.40/5.44 c | 11337 | 286 226 3035 | 12968 11337 36 | 0.001 % | 5.79/5.82 c | 17103 | 286 226 3035 | 14265 10566 36 | 0.001 % | 6.29/6.37 c | 25753 | 286 226 3035 | 15692 12031 38 | 0.001 % | 7.19/7.29 c | 38728 | 286 226 3035 | 17261 9213 42 | 0.001 % | 7.99/8.02 c =============================================================================== 8.19/8.21 c core #3 8.19/8.21 c ============================[ Search Statistics ]============================== 8.19/8.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.19/8.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.19/8.21 c =============================================================================== 8.19/8.21 c | 0 | 345 287 3932 | 5000 0 nan | 0.000 % | 8.19/8.22 c | 100 | 345 287 3932 | 5500 100 44 | 0.001 % | 8.19/8.22 c | 250 | 345 287 3932 | 6050 250 36 | 0.001 % | 8.19/8.23 c | 475 | 345 287 3932 | 6655 475 33 | 0.001 % | 8.19/8.24 c | 813 | 345 287 3932 | 7320 813 32 | 0.001 % | 8.19/8.26 c | 1319 | 345 287 3932 | 8052 1319 32 | 0.001 % | 8.19/8.28 c | 2079 | 345 287 3932 | 8857 2079 31 | 0.001 % | 8.29/8.33 c | 3219 | 345 287 3932 | 9743 3219 32 | 0.001 % | 8.39/8.40 c | 4927 | 345 287 3932 | 10717 4927 32 | 0.001 % | 8.49/8.53 c | 7490 | 345 287 3932 | 11789 7490 34 | 0.001 % | 8.70/8.80 c | 11335 | 345 287 3932 | 12968 11335 37 | 0.001 % | 9.09/9.18 c | 17101 | 345 287 3932 | 14265 10568 39 | 0.001 % | 9.80/9.81 c | 25751 | 345 287 3932 | 15692 12036 41 | 0.001 % | 10.69/10.71 c | 38726 | 345 287 3932 | 17261 9216 43 | 0.001 % | 11.09/11.14 c =============================================================================== 11.29/11.32 c core #4 11.29/11.32 c ============================[ Search Statistics ]============================== 11.29/11.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.29/11.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.29/11.32 c =============================================================================== 11.29/11.32 c | 0 | 406 348 4833 | 5000 0 nan | 0.000 % | 11.29/11.33 c | 100 | 406 348 4833 | 5500 100 40 | 0.001 % | 11.29/11.33 c | 250 | 406 348 4833 | 6050 250 38 | 0.001 % | 11.29/11.34 c | 476 | 406 348 4833 | 6655 476 34 | 0.001 % | 11.29/11.35 c | 813 | 406 348 4833 | 7320 813 33 | 0.001 % | 11.29/11.37 c | 1322 | 406 348 4833 | 8052 1322 33 | 0.001 % | 11.39/11.40 c | 2081 | 406 348 4833 | 8857 2081 33 | 0.001 % | 11.39/11.45 c | 3221 | 406 348 4833 | 9743 3221 33 | 0.001 % | 11.49/11.54 c | 4930 | 406 348 4833 | 10717 4930 35 | 0.001 % | 11.59/11.67 c | 7492 | 406 348 4833 | 11789 7492 36 | 0.001 % | 11.89/11.93 c | 11338 | 406 348 4833 | 12968 11338 38 | 0.001 % | 12.29/12.33 c | 17104 | 406 348 4833 | 14265 10584 42 | 0.001 % | 12.89/12.98 c | 25755 | 406 348 4833 | 15692 12054 42 | 0.001 % | 13.89/13.97 c | 38730 | 406 348 4833 | 17261 9234 42 | 0.001 % | 14.09/14.18 c =============================================================================== 14.30/14.35 c core #5 14.30/14.35 c ============================[ Search Statistics ]============================== 14.30/14.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.30/14.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.30/14.35 c =============================================================================== 14.30/14.35 c | 0 | 462 408 5714 | 5000 0 nan | 0.000 % | 14.30/14.36 c | 100 | 462 408 5714 | 5500 100 42 | 0.000 % | 14.30/14.36 c | 251 | 462 408 5714 | 6050 251 36 | 0.000 % | 14.30/14.37 c | 477 | 462 408 5714 | 6655 477 33 | 0.000 % | 14.30/14.38 c | 816 | 462 408 5714 | 7320 816 32 | 0.000 % | 14.39/14.40 c | 1322 | 462 408 5714 | 8052 1322 32 | 0.000 % | 14.39/14.43 c | 2082 | 462 408 5714 | 8857 2082 33 | 0.000 % | 14.39/14.47 c | 3225 | 462 408 5714 | 9743 3225 33 | 0.000 % | 14.49/14.56 c | 4933 | 462 408 5714 | 10717 4933 34 | 0.000 % | 14.69/14.70 c | 7496 | 462 408 5714 | 11789 7496 35 | 0.000 % | 14.89/14.95 c | 11342 | 462 408 5714 | 12968 11342 35 | 0.000 % | 15.29/15.35 c | 17110 | 462 408 5714 | 14265 10583 38 | 0.000 % | 15.89/15.91 c | 25759 | 462 408 5714 | 15692 12051 43 | 0.000 % | 16.89/16.90 c | 38733 | 462 408 5714 | 17261 9223 45 | 0.000 % | 18.18/18.28 c =============================================================================== 18.49/18.51 c core #6 18.49/18.51 c ============================[ Search Statistics ]============================== 18.49/18.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.49/18.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.49/18.51 c =============================================================================== 18.49/18.51 c | 0 | 527 467 6610 | 5000 0 nan | 0.000 % | 18.49/18.52 c | 101 | 527 467 6610 | 5500 101 39 | 0.000 % | 18.49/18.53 c | 251 | 527 467 6610 | 6050 251 33 | 0.000 % | 18.49/18.54 c | 477 | 527 467 6610 | 6655 477 30 | 0.000 % | 18.49/18.55 c | 816 | 527 467 6610 | 7320 816 30 | 0.000 % | 18.49/18.56 c | 1323 | 527 467 6610 | 8052 1323 29 | 0.000 % | 18.49/18.59 c | 2082 | 527 467 6610 | 8857 2082 30 | 0.000 % | 18.59/18.63 c | 3222 | 527 467 6610 | 9743 3222 32 | 0.000 % | 18.69/18.71 c | 4931 | 527 467 6610 | 10717 4931 33 | 0.000 % | 18.78/18.84 c | 7493 | 527 467 6610 | 11789 7493 34 | 0.000 % | 19.09/19.10 c | 11338 | 527 467 6610 | 12968 11338 36 | 0.000 % | 19.39/19.49 c | 17106 | 527 467 6610 | 14265 10580 38 | 0.000 % | 19.99/20.08 c | 25756 | 527 467 6610 | 15692 12044 45 | 0.000 % | 20.99/21.07 c | 38730 | 527 467 6610 | 17261 9221 42 | 0.000 % | 22.48/22.50 c | 58191 | 527 467 6610 | 18987 11319 44 | 0.000 % | 23.59/23.64 c =============================================================================== 23.89/23.95 c core #7 23.89/23.95 c ============================[ Search Statistics ]============================== 23.89/23.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 23.89/23.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 23.89/23.95 c =============================================================================== 23.89/23.95 c | 0 | 592 528 7521 | 5000 0 nan | 0.000 % | 23.89/23.97 c | 103 | 592 528 7521 | 5500 103 44 | 0.000 % | 23.89/23.97 c | 253 | 592 528 7521 | 6050 253 32 | 0.000 % | 23.89/23.98 c | 479 | 592 528 7521 | 6655 479 31 | 0.000 % | 23.89/23.99 c | 818 | 592 528 7521 | 7320 818 32 | 0.000 % | 23.99/24.01 c | 1325 | 592 528 7521 | 8052 1325 31 | 0.000 % | 23.99/24.04 c | 2084 | 592 528 7521 | 8857 2084 32 | 0.000 % | 23.99/24.08 c | 3224 | 592 528 7521 | 9743 3224 32 | 0.000 % | 24.09/24.17 c | 4932 | 592 528 7521 | 10717 4932 32 | 0.000 % | 24.28/24.31 c | 7496 | 592 528 7521 | 11789 7496 32 | 0.000 % | 24.49/24.55 c | 11341 | 592 528 7521 | 12968 11341 34 | 0.000 % | 24.89/24.97 c | 17110 | 592 528 7521 | 14265 10569 38 | 0.000 % | 25.49/25.59 c | 25762 | 592 528 7521 | 15692 12035 40 | 0.000 % | 26.59/26.61 c | 38736 | 592 528 7521 | 17261 9200 45 | 0.000 % | 27.99/28.01 c | 58197 | 562 528 7521 | 18987 4335 40 | 5.068 % | 28.49/28.57 c =============================================================================== 28.79/28.84 c core #8 28.79/28.84 c ============================[ Search Statistics ]============================== 28.79/28.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 28.79/28.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 28.79/28.84 c =============================================================================== 28.79/28.84 c | 0 | 655 587 8413 | 5000 0 nan | 0.000 % | 28.79/28.85 c | 102 | 655 587 8413 | 5500 102 47 | 0.000 % | 28.79/28.85 c | 252 | 655 587 8413 | 6050 252 49 | 0.000 % | 28.79/28.86 c | 477 | 655 587 8413 | 6655 477 45 | 0.000 % | 28.79/28.87 c | 814 | 655 587 8413 | 7320 814 40 | 0.000 % | 28.79/28.89 c | 1320 | 655 587 8413 | 8052 1320 37 | 0.000 % | 28.89/28.92 c | 2079 | 655 587 8413 | 8857 2079 38 | 0.000 % | 28.89/28.97 c | 3221 | 655 587 8413 | 9743 3221 37 | 0.000 % | 28.99/29.06 c | 4929 | 655 587 8413 | 10717 4929 35 | 0.000 % | 29.19/29.21 c | 7491 | 655 587 8413 | 11789 7491 36 | 0.000 % | 29.39/29.48 c | 11335 | 655 587 8413 | 12968 11335 37 | 0.000 % | 29.99/30.00 c | 17102 | 655 587 8413 | 14265 10562 43 | 0.000 % | 30.59/30.68 c | 25753 | 655 587 8413 | 15692 12025 40 | 0.000 % | 31.69/31.70 c | 38728 | 655 587 8413 | 17261 9215 45 | 0.000 % | 33.19/33.21 c | 58189 | 655 587 8413 | 18987 11316 43 | 0.010 % | 33.79/33.84 c =============================================================================== 34.09/34.13 c core #9 34.09/34.13 c ============================[ Search Statistics ]============================== 34.09/34.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 34.09/34.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 34.09/34.13 c =============================================================================== 34.09/34.13 c | 0 | 718 646 9305 | 5000 0 nan | 0.000 % | 34.09/34.14 c | 103 | 718 646 9305 | 5500 103 43 | 0.000 % | 34.09/34.14 c | 253 | 718 646 9305 | 6050 253 31 | 0.000 % | 34.09/34.15 c | 479 | 718 646 9305 | 6655 479 28 | 0.000 % | 34.09/34.16 c | 819 | 718 646 9305 | 7320 819 30 | 0.000 % | 34.09/34.18 c | 1326 | 718 646 9305 | 8052 1326 30 | 0.000 % | 34.19/34.21 c | 2087 | 718 646 9305 | 8857 2087 31 | 0.000 % | 34.19/34.26 c | 3226 | 718 646 9305 | 9743 3226 32 | 0.000 % | 34.29/34.35 c | 4935 | 718 646 9305 | 10717 4935 34 | 0.000 % | 34.49/34.51 c | 7497 | 718 646 9305 | 11789 7497 35 | 0.000 % | 34.69/34.77 c | 11342 | 718 646 9305 | 12968 11342 37 | 0.000 % | 35.09/35.16 c | 17108 | 718 646 9305 | 14265 10572 38 | 0.000 % | 35.79/35.80 c | 25757 | 718 646 9305 | 15692 12039 40 | 0.000 % | 36.69/36.73 c | 38731 | 718 646 9305 | 17261 9224 41 | 0.000 % | 38.09/38.15 c | 58193 | 718 646 9305 | 18987 11318 42 | 0.000 % | 38.99/39.05 c =============================================================================== 38.99/39.05 c #cores: 9 38.99/39.05 c Final Weight: 10 38.99/39.05 o 10 38.99/39.05 s OPTIMUM FOUND 38.99/39.05 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 38.99/39.05 c Total CPU time: 38.5401 s
OK 10
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2689905-1277898161/watcher-2689905-1277898161 -o /tmp/evaluation-result-2689905-1277898161/solver-2689905-1277898161 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689905-1277898161.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.97 2.00 2.00 3/196 10793 /proc/meminfo: memFree=31038940/32951124 swapFree=67111528/67111528 [pid=10793] ppid=10791 vsize=2572 CPUtime=0 /proc/10793/stat : 10793 (wbo1.4a) R 10791 10793 10768 0 -1 4202496 287 0 0 0 0 0 0 0 23 0 1 0 131112145 2633728 203 4089446400 134512640 135751879 4290868000 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/10793/statm: 643 203 143 303 0 338 0 [startup+0.054145 s] /proc/loadavg: 1.97 2.00 2.00 3/196 10793 /proc/meminfo: memFree=31038940/32951124 swapFree=67111528/67111528 [pid=10793] ppid=10791 vsize=2968 CPUtime=0.05 /proc/10793/stat : 10793 (wbo1.4a) R 10791 10793 10768 0 -1 4202496 402 0 0 0 5 0 0 0 23 0 1 0 131112145 3039232 318 4089446400 134512640 135751879 4290868000 18446744073709551615 134616437 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/10793/statm: 742 319 143 303 0 437 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 2968 [startup+0.101137 s] /proc/loadavg: 1.97 2.00 2.00 3/196 10793 /proc/meminfo: memFree=31038940/32951124 swapFree=67111528/67111528 [pid=10793] ppid=10791 vsize=3496 CPUtime=0.09 /proc/10793/stat : 10793 (wbo1.4a) R 10791 10793 10768 0 -1 4202496 505 0 0 0 9 0 0 0 23 0 1 0 131112145 3579904 421 4089446400 134512640 135751879 4290868000 18446744073709551615 134606372 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/10793/statm: 874 421 143 303 0 569 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3496 [startup+0.301101 s] /proc/loadavg: 1.97 2.00 2.00 3/196 10793 /proc/meminfo: memFree=31038940/32951124 swapFree=67111528/67111528 [pid=10793] ppid=10791 vsize=4700 CPUtime=0.29 /proc/10793/stat : 10793 (wbo1.4a) R 10791 10793 10768 0 -1 4202496 822 0 0 0 29 0 0 0 23 0 1 0 131112145 4812800 738 4089446400 134512640 135751879 4290868000 18446744073709551615 134620419 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/10793/statm: 1175 738 143 303 0 870 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4700 [startup+0.701049 s] /proc/loadavg: 1.97 2.00 2.00 3/196 10793 /proc/meminfo: memFree=31038940/32951124 swapFree=67111528/67111528 [pid=10793] ppid=10791 vsize=6808 CPUtime=0.69 /proc/10793/stat : 10793 (wbo1.4a) R 10791 10793 10768 0 -1 4202496 1341 0 0 0 68 1 0 0 25 0 1 0 131112145 6971392 1257 4089446400 134512640 135751879 4290868000 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/10793/statm: 1702 1257 143 303 0 1397 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6808 [startup+1.50091 s] /proc/loadavg: 1.97 2.00 2.00 3/197 10794 /proc/meminfo: memFree=31032980/32951124 swapFree=67111528/67111528 [pid=10793] ppid=10791 vsize=11032 CPUtime=1.49 /proc/10793/stat : 10793 (wbo1.4a) R 10791 10793 10768 0 -1 4202496 2416 0 0 0 147 2 0 0 25 0 1 0 131112145 11296768 2332 4089446400 134512640 135751879 4290868000 18446744073709551615 134616404 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/10793/statm: 2758 2332 143 303 0 2453 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11032 [startup+3.10064 s] /proc/loadavg: 1.97 2.00 2.00 3/197 10794 /proc/meminfo: memFree=31026044/32951124 swapFree=67111528/67111528 [pid=10793] ppid=10791 vsize=15388 CPUtime=3.09 /proc/10793/stat : 10793 (wbo1.4a) R 10791 10793 10768 0 -1 4202496 3504 0 0 0 304 5 0 0 25 0 1 0 131112145 15757312 3420 4089446400 134512640 135751879 4290868000 18446744073709551615 134616374 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/10793/statm: 3847 3420 146 303 0 3542 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15388 [startup+6.3011 s] /proc/loadavg: 1.97 2.00 2.00 3/197 10794 /proc/meminfo: memFree=31016496/32951124 swapFree=67111528/67111528 [pid=10793] ppid=10791 vsize=25156 CPUtime=6.29 /proc/10793/stat : 10793 (wbo1.4a) R 10791 10793 10768 0 -1 4202496 5954 0 0 0 620 9 0 0 25 0 1 0 131112145 25759744 5870 4089446400 134512640 135751879 4290868000 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/10793/statm: 6289 5870 146 303 0 5984 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 25156 [startup+12.701 s] /proc/loadavg: 1.98 2.00 2.00 3/197 10794 /proc/meminfo: memFree=30999840/32951124 swapFree=67111528/67111528 [pid=10793] ppid=10791 vsize=41260 CPUtime=12.69 /proc/10793/stat : 10793 (wbo1.4a) R 10791 10793 10768 0 -1 4202496 9953 0 0 0 1250 19 0 0 25 0 1 0 131112145 42250240 9869 4089446400 134512640 135751879 4290868000 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/10793/statm: 10315 9869 146 303 0 10010 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 41260 [startup+25.5009 s] /proc/loadavg: 1.98 2.00 2.00 3/197 10796 /proc/meminfo: memFree=30964328/32951124 swapFree=67111528/67111528 [pid=10793] ppid=10791 vsize=77604 CPUtime=25.49 /proc/10793/stat : 10793 (wbo1.4a) R 10791 10793 10768 0 -1 4202496 19056 0 0 0 2512 37 0 0 25 0 1 0 131112145 79466496 18972 4089446400 134512640 135751879 4290868000 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/10793/statm: 19401 18972 146 303 0 19096 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 77604 Solver just ended. Dumping a history of the last processes samples [startup+31.9068 s] /proc/loadavg: 1.98 2.00 2.00 3/197 10796 /proc/meminfo: memFree=30950556/32951124 swapFree=67111528/67111528 [pid=10793] ppid=10791 vsize=91732 CPUtime=31.9 /proc/10793/stat : 10793 (wbo1.4a) R 10791 10793 10768 0 -1 4202496 22595 0 0 0 3147 43 0 0 25 0 1 0 131112145 93933568 22511 4089446400 134512640 135751879 4290868000 18446744073709551615 134616871 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/10793/statm: 22933 22511 146 303 0 22628 0 Current children cumulated CPU time (s) 31.9 Current children cumulated vsize (KiB) 91732 [startup+35.1002 s] /proc/loadavg: 1.98 2.00 2.00 3/197 10796 /proc/meminfo: memFree=30939136/32951124 swapFree=67111528/67111528 [pid=10793] ppid=10791 vsize=102692 CPUtime=35.09 /proc/10793/stat : 10793 (wbo1.4a) R 10791 10793 10768 0 -1 4202496 25336 0 0 0 3462 47 0 0 25 0 1 0 131112145 105156608 25252 4089446400 134512640 135751879 4290868000 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/10793/statm: 25673 25252 146 303 0 25368 0 Current children cumulated CPU time (s) 35.09 Current children cumulated vsize (KiB) 102692 [startup+36.701 s] /proc/loadavg: 1.98 2.00 2.00 3/197 10796 /proc/meminfo: memFree=30938888/32951124 swapFree=67111528/67111528 [pid=10793] ppid=10791 vsize=104276 CPUtime=36.69 /proc/10793/stat : 10793 (wbo1.4a) R 10791 10793 10768 0 -1 4202496 25736 0 0 0 3620 49 0 0 25 0 1 0 131112145 106778624 25652 4089446400 134512640 135751879 4290868000 18446744073709551615 134611224 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/10793/statm: 26069 25652 146 303 0 25764 0 Current children cumulated CPU time (s) 36.69 Current children cumulated vsize (KiB) 104276 [startup+38.3007 s] /proc/loadavg: 1.98 2.00 2.00 3/197 10796 /proc/meminfo: memFree=30935912/32951124 swapFree=67111528/67111528 [pid=10793] ppid=10791 vsize=110360 CPUtime=38.28 /proc/10793/stat : 10793 (wbo1.4a) R 10791 10793 10768 0 -1 4202496 27251 0 0 0 3778 50 0 0 25 0 1 0 131112145 113008640 27167 4089446400 134512640 135751879 4290868000 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/10793/statm: 27590 27167 146 303 0 27285 0 Current children cumulated CPU time (s) 38.28 Current children cumulated vsize (KiB) 110360 [startup+38.7006 s] /proc/loadavg: 1.98 2.00 2.00 3/197 10796 /proc/meminfo: memFree=30930952/32951124 swapFree=67111528/67111528 [pid=10793] ppid=10791 vsize=112292 CPUtime=38.69 /proc/10793/stat : 10793 (wbo1.4a) R 10791 10793 10768 0 -1 4202496 27708 0 0 0 3818 51 0 0 25 0 1 0 131112145 114987008 27624 4089446400 134512640 135751879 4290868000 18446744073709551615 134616876 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/10793/statm: 28073 27624 146 303 0 27768 0 Current children cumulated CPU time (s) 38.69 Current children cumulated vsize (KiB) 112292 [startup+38.9006 s] /proc/loadavg: 1.98 2.00 2.00 3/197 10796 /proc/meminfo: memFree=30930952/32951124 swapFree=67111528/67111528 [pid=10793] ppid=10791 vsize=113084 CPUtime=38.89 /proc/10793/stat : 10793 (wbo1.4a) R 10791 10793 10768 0 -1 4202496 27908 0 0 0 3838 51 0 0 25 0 1 0 131112145 115798016 27824 4089446400 134512640 135751879 4290868000 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/10793/statm: 28271 27824 146 303 0 27966 0 Current children cumulated CPU time (s) 38.89 Current children cumulated vsize (KiB) 113084 [startup+39.0006 s] /proc/loadavg: 1.98 2.00 2.00 3/197 10796 /proc/meminfo: memFree=30930952/32951124 swapFree=67111528/67111528 [pid=10793] ppid=10791 vsize=113480 CPUtime=38.99 /proc/10793/stat : 10793 (wbo1.4a) R 10791 10793 10768 0 -1 4202496 28024 0 0 0 3848 51 0 0 25 0 1 0 131112145 116203520 27940 4089446400 134512640 135751879 4290868000 18446744073709551615 134611297 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/10793/statm: 28370 27940 146 303 0 28065 0 Current children cumulated CPU time (s) 38.99 Current children cumulated vsize (KiB) 113480 Child status: 0 Real time (s): 39.0632 CPU time (s): 39.0601 CPU user time (s): 38.5401 CPU system time (s): 0.51992 CPU usage (%): 99.9921 Max. virtual memory (cumulated for all children) (KiB): 113480 getrusage(RUSAGE_CHILDREN,...) data: user time used= 38.5401 system time used= 0.51992 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 28102 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= 930 runsolver used 0.06399 second user time and 0.119981 second system time The end
Begin job on node130 at 2010-06-30 13:42:41 IDJOB=2689905 IDBENCH=78827 IDSOLVER=1200 FILE ID=node130/2689905-1277898161 PBS_JOBID= 11197193 Free space on /tmp= 74212 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110970444--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-2689905-1277898161/watcher-2689905-1277898161 -o /tmp/evaluation-result-2689905-1277898161/solver-2689905-1277898161 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689905-1277898161.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= e1995b9ec907174fc65ceec959beef4e RANDOM SEED=2073859294 node130.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.796 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.59 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.796 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.67 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.796 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.796 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.72 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.796 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.796 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.63 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.796 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.82 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.796 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 : 5237.09 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31039220 kB Buffers: 182032 kB Cached: 953472 kB SwapCached: 0 kB Active: 1078972 kB Inactive: 691260 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31039220 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2944 kB Writeback: 0 kB AnonPages: 634684 kB Mapped: 20284 kB Slab: 77420 kB PageTables: 5960 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1660352 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74208 MiB End job on node130 at 2010-06-30 13:43:20