Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | OPTIMUM | 39.8819 | 39.8836 |
Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111224059--soft-0-100-0.wbo |
MD5SUM | 14fe5a51c3c33a9eb099b4fa76f18c14 |
Bench Category | SOFT-SMALLINT-LIN (only soft 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.120981 |
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 | 101 |
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 | 5034 |
Min constraint cost | 1 |
Max constraint cost | 98 |
Sum of constraints costs | 5033 |
Biggest number in a constraint | 38 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 1314 |
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-2690070-1277923356.wbo. 0.00/0.00 c Instance file HOME/instance-2690070-1277923356.wbo 0.00/0.00 c File size is 10468 bytes. 0.00/0.00 c Highest Coefficient sum: 1314 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 30 | 0.004 % | 0.00/0.00 c | 250 | 169 101 1205 | 6050 250 33 | 0.004 % | 0.00/0.01 c | 477 | 169 101 1205 | 6655 477 32 | 0.004 % | 0.00/0.02 c | 814 | 169 101 1205 | 7320 814 31 | 0.004 % | 0.00/0.03 c | 1320 | 169 101 1205 | 8052 1320 31 | 0.004 % | 0.00/0.06 c | 2080 | 169 101 1205 | 8857 2080 33 | 0.004 % | 0.09/0.10 c | 3219 | 169 101 1205 | 9743 3219 33 | 0.004 % | 0.09/0.17 c | 4927 | 169 101 1205 | 10717 4927 35 | 0.004 % | 0.19/0.29 c | 7491 | 169 101 1205 | 11789 7491 36 | 0.004 % | 0.39/0.49 c | 11339 | 169 101 1205 | 12968 11339 37 | 0.004 % | 0.79/0.87 c | 17106 | 169 101 1205 | 14265 10590 41 | 0.004 % | 1.39/1.43 c | 25755 | 169 101 1205 | 15692 12051 44 | 0.004 % | 2.29/2.37 c | 38730 | 169 101 1205 | 17261 9243 43 | 0.004 % | 2.49/2.55 c =============================================================================== 2.69/2.72 c core #1 2.69/2.72 c ============================[ Search Statistics ]============================== 2.69/2.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.69/2.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.69/2.72 c =============================================================================== 2.69/2.72 c | 0 | 264 200 2568 | 5000 0 nan | 0.000 % | 2.69/2.72 c | 101 | 264 200 2568 | 5500 101 38 | 0.001 % | 2.69/2.73 c | 251 | 264 200 2568 | 6050 251 33 | 0.001 % | 2.69/2.73 c | 476 | 264 200 2568 | 6655 476 31 | 0.001 % | 2.69/2.74 c | 813 | 264 200 2568 | 7320 813 30 | 0.001 % | 2.69/2.76 c | 1319 | 264 200 2568 | 8052 1319 32 | 0.001 % | 2.69/2.78 c | 2079 | 264 200 2568 | 8857 2079 31 | 0.001 % | 2.79/2.83 c | 3219 | 264 200 2568 | 9743 3219 32 | 0.001 % | 2.89/2.91 c | 4927 | 264 200 2568 | 10717 4927 32 | 0.001 % | 2.99/3.04 c | 7490 | 264 200 2568 | 11789 7490 34 | 0.001 % | 3.20/3.29 c | 11336 | 264 200 2568 | 12968 11336 36 | 0.001 % | 3.59/3.69 c | 17103 | 264 200 2568 | 14265 10569 39 | 0.001 % | 4.19/4.26 c | 25753 | 264 200 2568 | 15692 12030 38 | 0.001 % | 4.89/4.99 c | 38727 | 221 200 2568 | 17261 5789 45 | 16.334 % | 4.99/5.05 c =============================================================================== 5.19/5.21 c core #2 5.19/5.21 c ============================[ Search Statistics ]============================== 5.19/5.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.19/5.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.19/5.21 c =============================================================================== 5.19/5.21 c | 0 | 358 295 3884 | 5000 0 nan | 0.000 % | 5.19/5.21 c | 100 | 358 295 3884 | 5500 100 34 | 0.001 % | 5.19/5.22 c | 252 | 358 295 3884 | 6050 252 33 | 0.001 % | 5.19/5.22 c | 478 | 358 295 3884 | 6655 478 32 | 0.001 % | 5.19/5.23 c | 816 | 358 295 3884 | 7320 816 35 | 0.001 % | 5.19/5.25 c | 1323 | 358 295 3884 | 8052 1323 36 | 0.001 % | 5.19/5.28 c | 2082 | 358 295 3884 | 8857 2082 36 | 0.001 % | 5.29/5.33 c | 3221 | 358 295 3884 | 9743 3221 35 | 0.001 % | 5.39/5.40 c | 4931 | 358 295 3884 | 10717 4931 35 | 0.001 % | 5.49/5.55 c | 7493 | 358 295 3884 | 11789 7493 36 | 0.001 % | 5.79/5.81 c | 11338 | 358 295 3884 | 12968 11338 37 | 0.001 % | 6.19/6.21 c | 17104 | 358 295 3884 | 14265 10571 39 | 0.001 % | 6.79/6.80 c | 25753 | 358 295 3884 | 15692 12039 41 | 0.001 % | 7.70/7.74 c | 38728 | 358 295 3884 | 17261 9230 42 | 0.001 % | 8.99/9.00 c =============================================================================== 9.19/9.22 c core #3 9.19/9.22 c ============================[ Search Statistics ]============================== 9.19/9.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.19/9.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.19/9.22 c =============================================================================== 9.19/9.22 c | 0 | 457 390 5210 | 5000 0 nan | 0.000 % | 9.19/9.23 c | 101 | 457 390 5210 | 5500 101 36 | 0.000 % | 9.19/9.24 c | 251 | 457 390 5210 | 6050 251 32 | 0.000 % | 9.19/9.24 c | 476 | 457 390 5210 | 6655 476 31 | 0.000 % | 9.19/9.25 c | 813 | 457 390 5210 | 7320 813 32 | 0.000 % | 9.19/9.27 c | 1321 | 457 390 5210 | 8052 1321 32 | 0.000 % | 9.19/9.30 c | 2080 | 457 390 5210 | 8857 2080 30 | 0.000 % | 9.29/9.34 c | 3219 | 457 390 5210 | 9743 3219 31 | 0.000 % | 9.39/9.42 c | 4928 | 457 390 5210 | 10717 4928 33 | 0.000 % | 9.49/9.58 c | 7492 | 457 390 5210 | 11789 7492 34 | 0.000 % | 9.79/9.83 c | 11339 | 457 390 5210 | 12968 11339 35 | 0.000 % | 10.19/10.21 c | 17107 | 457 390 5210 | 14265 10573 37 | 0.000 % | 10.69/10.76 c | 25756 | 457 390 5210 | 15692 12039 39 | 0.000 % | 11.59/11.66 c | 38731 | 457 390 5210 | 17261 9222 40 | 0.001 % | 11.79/11.85 c =============================================================================== 12.00/12.02 c core #4 12.00/12.02 c ============================[ Search Statistics ]============================== 12.00/12.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.00/12.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.00/12.02 c =============================================================================== 12.00/12.02 c | 0 | 547 482 6479 | 5000 0 nan | 0.000 % | 12.00/12.02 c | 102 | 547 482 6479 | 5500 102 43 | 0.000 % | 12.00/12.03 c | 253 | 547 482 6479 | 6050 253 41 | 0.000 % | 12.00/12.04 c | 480 | 547 482 6479 | 6655 480 35 | 0.000 % | 12.00/12.05 c | 819 | 547 482 6479 | 7320 819 32 | 0.000 % | 12.00/12.07 c | 1327 | 547 482 6479 | 8052 1327 30 | 0.000 % | 12.00/12.10 c | 2086 | 547 482 6479 | 8857 2086 31 | 0.000 % | 12.10/12.15 c | 3225 | 547 482 6479 | 9743 3225 31 | 0.000 % | 12.19/12.23 c | 4936 | 547 482 6479 | 10717 4936 31 | 0.000 % | 12.29/12.36 c | 7500 | 547 482 6479 | 11789 7500 33 | 0.000 % | 12.49/12.58 c | 11344 | 547 482 6479 | 12968 11344 33 | 0.000 % | 12.89/12.97 c | 17112 | 547 482 6479 | 14265 10587 35 | 0.000 % | 13.49/13.50 c | 25764 | 547 482 6479 | 15692 12061 36 | 0.000 % | 14.29/14.31 c | 38739 | 547 482 6479 | 17261 9242 39 | 0.000 % | 14.89/14.96 c =============================================================================== 15.09/15.16 c core #5 15.09/15.16 c ============================[ Search Statistics ]============================== 15.09/15.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.09/15.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.09/15.16 c =============================================================================== 15.09/15.16 c | 0 | 654 577 7824 | 5000 0 nan | 0.000 % | 15.09/15.17 c | 100 | 654 577 7824 | 5500 100 36 | 0.000 % | 15.09/15.17 c | 250 | 654 577 7824 | 6050 250 32 | 0.000 % | 15.09/15.18 c | 475 | 654 577 7824 | 6655 475 30 | 0.000 % | 15.09/15.19 c | 813 | 654 577 7824 | 7320 813 31 | 0.000 % | 15.19/15.21 c | 1320 | 654 577 7824 | 8052 1320 30 | 0.000 % | 15.19/15.24 c | 2080 | 654 577 7824 | 8857 2080 29 | 0.000 % | 15.19/15.28 c | 3220 | 654 577 7824 | 9743 3220 31 | 0.000 % | 15.30/15.37 c | 4930 | 654 577 7824 | 10717 4930 33 | 0.000 % | 15.49/15.52 c | 7495 | 654 577 7824 | 11789 7495 33 | 0.000 % | 15.69/15.79 c | 11340 | 654 577 7824 | 12968 11340 34 | 0.000 % | 16.09/16.19 c | 17106 | 654 577 7824 | 14265 10556 36 | 0.000 % | 16.79/16.80 c | 25755 | 654 577 7824 | 15692 12017 36 | 0.000 % | 17.69/17.78 c | 38729 | 654 577 7824 | 17261 9210 37 | 0.000 % | 18.99/19.01 c | 58191 | 588 577 7824 | 18987 476 32 | 10.092 % | 18.99/19.05 c =============================================================================== 19.19/19.29 c core #6 19.19/19.29 c ============================[ Search Statistics ]============================== 19.19/19.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.19/19.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.19/19.29 c =============================================================================== 19.19/19.29 c | 0 | 750 667 9079 | 5000 0 nan | 0.000 % | 19.29/19.31 c | 101 | 750 667 9079 | 5500 101 46 | 0.000 % | 19.29/19.31 c | 255 | 750 667 9079 | 6050 255 39 | 0.000 % | 19.29/19.32 c | 481 | 750 667 9079 | 6655 481 33 | 0.000 % | 19.29/19.33 c | 820 | 750 667 9079 | 7320 820 29 | 0.000 % | 19.29/19.35 c | 1326 | 750 667 9079 | 8052 1326 30 | 0.000 % | 19.29/19.37 c | 2088 | 750 667 9079 | 8857 2088 32 | 0.000 % | 19.39/19.42 c | 3228 | 750 667 9079 | 9743 3228 31 | 0.000 % | 19.49/19.50 c | 4936 | 750 667 9079 | 10717 4936 31 | 0.000 % | 19.59/19.65 c | 7499 | 750 667 9079 | 11789 7499 32 | 0.000 % | 19.80/19.88 c | 11346 | 750 667 9079 | 12968 11346 33 | 0.000 % | 20.19/20.27 c | 17112 | 750 667 9079 | 14265 10585 36 | 0.000 % | 20.79/20.85 c | 25761 | 750 667 9079 | 15692 12060 37 | 0.000 % | 21.79/21.87 c | 38735 | 750 667 9079 | 17261 9250 41 | 0.000 % | 23.39/23.43 c | 58196 | 750 667 9079 | 18987 11361 42 | 0.000 % | 24.69/24.71 c =============================================================================== 24.99/25.03 c core #7 24.99/25.03 c ============================[ Search Statistics ]============================== 24.99/25.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 24.99/25.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 24.99/25.03 c =============================================================================== 24.99/25.03 c | 0 | 869 757 10382 | 5000 0 nan | 0.000 % | 24.99/25.05 c | 101 | 869 757 10382 | 5500 101 40 | 0.000 % | 24.99/25.05 c | 251 | 869 757 10382 | 6050 251 31 | 0.000 % | 24.99/25.06 c | 476 | 869 757 10382 | 6655 476 31 | 0.000 % | 24.99/25.07 c | 813 | 869 757 10382 | 7320 813 29 | 0.000 % | 24.99/25.09 c | 1319 | 869 757 10382 | 8052 1319 28 | 0.000 % | 25.09/25.12 c | 2079 | 869 757 10382 | 8857 2079 30 | 0.000 % | 25.09/25.18 c | 3219 | 869 757 10382 | 9743 3219 30 | 0.000 % | 25.19/25.26 c | 4927 | 869 757 10382 | 10717 4927 30 | 0.000 % | 25.39/25.42 c | 7490 | 869 757 10382 | 11789 7490 31 | 0.000 % | 25.69/25.70 c | 11335 | 869 757 10382 | 12968 11335 34 | 0.000 % | 26.09/26.11 c | 17104 | 869 757 10382 | 14265 10576 38 | 0.000 % | 26.69/26.70 c | 25755 | 869 757 10382 | 15692 12062 37 | 0.000 % | 27.59/27.66 c | 38731 | 869 757 10382 | 17261 9261 43 | 0.000 % | 28.89/28.97 c | 58192 | 869 757 10382 | 18987 11359 45 | 0.000 % | 31.18/31.27 c | 87384 | 869 757 10382 | 20886 11944 45 | 0.005 % | 31.98/32.02 c =============================================================================== 32.39/32.44 c core #8 32.39/32.44 c ============================[ Search Statistics ]============================== 32.39/32.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 32.39/32.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 32.39/32.44 c =============================================================================== 32.39/32.44 c | 0 | 999 847 11707 | 5000 0 nan | 0.000 % | 32.39/32.46 c | 100 | 999 847 11707 | 5500 100 37 | 0.000 % | 32.39/32.46 c | 251 | 999 847 11707 | 6050 251 33 | 0.000 % | 32.39/32.47 c | 476 | 999 847 11707 | 6655 476 29 | 0.000 % | 32.39/32.48 c | 814 | 999 847 11707 | 7320 814 29 | 0.000 % | 32.49/32.50 c | 1322 | 999 847 11707 | 8052 1322 28 | 0.000 % | 32.49/32.54 c | 2082 | 999 847 11707 | 8857 2082 31 | 0.000 % | 32.49/32.59 c | 3221 | 999 847 11707 | 9743 3221 32 | 0.000 % | 32.59/32.68 c | 4929 | 999 847 11707 | 10717 4929 32 | 0.000 % | 32.78/32.82 c | 7492 | 999 847 11707 | 11789 7492 32 | 0.000 % | 33.00/33.08 c | 11337 | 999 847 11707 | 12968 11337 33 | 0.000 % | 33.39/33.46 c | 17105 | 999 847 11707 | 14265 10567 36 | 0.000 % | 34.09/34.15 c | 25755 | 999 847 11707 | 15692 12049 38 | 0.000 % | 34.99/35.08 c | 38730 | 999 847 11707 | 17261 9215 40 | 0.000 % | 36.59/36.62 c | 58193 | 999 847 11707 | 18987 11321 39 | 0.000 % | 38.59/38.69 c | 87385 | 981 847 11707 | 20886 9683 37 | 1.802 % | 39.78/39.87 c =============================================================================== 39.78/39.87 c #cores: 8 39.78/39.87 c Final Weight: 9 39.78/39.87 o 9 39.78/39.87 s OPTIMUM FOUND 39.78/39.87 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 39.78/39.87 c Total CPU time: 38.6911 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-2690070-1277923356/watcher-2690070-1277923356 -o /tmp/evaluation-result-2690070-1277923356/solver-2690070-1277923356 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690070-1277923356.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.01 2.02 2.00 4/196 18240 /proc/meminfo: memFree=30807724/32951124 swapFree=67111528/67111528 [pid=18240] ppid=18238 vsize=2576 CPUtime=0 /proc/18240/stat : 18240 (wbo1.4a) R 18238 18240 17178 0 -1 4202496 292 0 0 0 0 0 0 0 20 0 1 0 133631054 2637824 207 4089446400 134512640 135751879 4290456528 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/18240/statm: 644 207 143 303 0 339 0 [startup+0.0105029 s] /proc/loadavg: 2.01 2.02 2.00 4/196 18240 /proc/meminfo: memFree=30807724/32951124 swapFree=67111528/67111528 [pid=18240] ppid=18238 vsize=2576 CPUtime=0 /proc/18240/stat : 18240 (wbo1.4a) R 18238 18240 17178 0 -1 4202496 307 0 0 0 0 0 0 0 20 0 1 0 133631054 2637824 222 4089446400 134512640 135751879 4290456528 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/18240/statm: 644 222 143 303 0 339 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2576 [startup+0.100487 s] /proc/loadavg: 2.01 2.02 2.00 4/196 18240 /proc/meminfo: memFree=30807724/32951124 swapFree=67111528/67111528 [pid=18240] ppid=18238 vsize=3500 CPUtime=0.09 /proc/18240/stat : 18240 (wbo1.4a) R 18238 18240 17178 0 -1 4202496 522 0 0 0 8 1 0 0 20 0 1 0 133631054 3584000 437 4089446400 134512640 135751879 4290456528 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/18240/statm: 875 438 143 303 0 570 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3500 [startup+0.300454 s] /proc/loadavg: 2.01 2.02 2.00 4/196 18240 /proc/meminfo: memFree=30807724/32951124 swapFree=67111528/67111528 [pid=18240] ppid=18238 vsize=4952 CPUtime=0.29 /proc/18240/stat : 18240 (wbo1.4a) R 18238 18240 17178 0 -1 4202496 890 0 0 0 27 2 0 0 20 0 1 0 133631054 5070848 805 4089446400 134512640 135751879 4290456528 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/18240/statm: 1238 805 143 303 0 933 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4952 [startup+0.700392 s] /proc/loadavg: 2.01 2.02 2.00 4/196 18240 /proc/meminfo: memFree=30807724/32951124 swapFree=67111528/67111528 [pid=18240] ppid=18238 vsize=7212 CPUtime=0.69 /proc/18240/stat : 18240 (wbo1.4a) R 18238 18240 17178 0 -1 4202496 1435 0 0 0 66 3 0 0 21 0 1 0 133631054 7385088 1350 4089446400 134512640 135751879 4290456528 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/18240/statm: 1803 1350 143 303 0 1498 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7212 [startup+1.50023 s] /proc/loadavg: 2.01 2.02 2.00 3/197 18241 /proc/meminfo: memFree=30801640/32951124 swapFree=67111528/67111528 [pid=18240] ppid=18238 vsize=11436 CPUtime=1.49 /proc/18240/stat : 18240 (wbo1.4a) R 18238 18240 17178 0 -1 4202496 2521 0 0 0 142 7 0 0 23 0 1 0 133631054 11710464 2436 4089446400 134512640 135751879 4290456528 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/18240/statm: 2859 2436 143 303 0 2554 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11436 [startup+3.10092 s] /proc/loadavg: 2.01 2.02 2.00 3/197 18241 /proc/meminfo: memFree=30795564/32951124 swapFree=67111528/67111528 [pid=18240] ppid=18238 vsize=18040 CPUtime=3.09 /proc/18240/stat : 18240 (wbo1.4a) R 18238 18240 17178 0 -1 4202496 4170 0 0 0 297 12 0 0 25 0 1 0 133631054 18472960 4085 4089446400 134512640 135751879 4290456528 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/18240/statm: 4510 4085 146 303 0 4205 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 18040 [startup+6.30036 s] /proc/loadavg: 2.01 2.02 2.00 3/197 18241 /proc/meminfo: memFree=30785380/32951124 swapFree=67111528/67111528 [pid=18240] ppid=18238 vsize=24772 CPUtime=6.29 /proc/18240/stat : 18240 (wbo1.4a) R 18238 18240 17178 0 -1 4202496 5837 0 0 0 608 21 0 0 25 0 1 0 133631054 25366528 5752 4089446400 134512640 135751879 4290456528 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/18240/statm: 6193 5752 146 303 0 5888 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 24772 [startup+12.7002 s] /proc/loadavg: 2.00 2.02 2.00 3/197 18241 /proc/meminfo: memFree=30768144/32951124 swapFree=67111528/67111528 [pid=18240] ppid=18238 vsize=42340 CPUtime=12.69 /proc/18240/stat : 18240 (wbo1.4a) R 18238 18240 17178 0 -1 4202496 10247 0 0 0 1229 40 0 0 25 0 1 0 133631054 43356160 10162 4089446400 134512640 135751879 4290456528 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/18240/statm: 10585 10162 146 303 0 10280 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 42340 [startup+25.5009 s] /proc/loadavg: 2.00 2.02 2.00 3/197 18241 /proc/meminfo: memFree=30730544/32951124 swapFree=67111528/67111528 [pid=18240] ppid=18238 vsize=80252 CPUtime=25.48 /proc/18240/stat : 18240 (wbo1.4a) R 18238 18240 17178 0 -1 4202496 19710 0 0 0 2472 76 0 0 25 0 1 0 133631054 82178048 19625 4089446400 134512640 135751879 4290456528 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/18240/statm: 20063 19625 146 303 0 19758 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 80252 Solver just ended. Dumping a history of the last processes samples [startup+31.9067 s] /proc/loadavg: 2.00 2.02 2.00 3/197 18241 /proc/meminfo: memFree=30713300/32951124 swapFree=67111528/67111528 [pid=18240] ppid=18238 vsize=97820 CPUtime=31.89 /proc/18240/stat : 18240 (wbo1.4a) R 18238 18240 17178 0 -1 4202496 24083 0 0 0 3096 93 0 0 25 0 1 0 133631054 100167680 23998 4089446400 134512640 135751879 4290456528 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/18240/statm: 24455 23998 146 303 0 24150 0 Current children cumulated CPU time (s) 31.89 Current children cumulated vsize (KiB) 97820 [startup+35.1011 s] /proc/loadavg: 2.00 2.02 2.00 3/197 18242 /proc/meminfo: memFree=30709648/32951124 swapFree=67111528/67111528 [pid=18240] ppid=18238 vsize=101264 CPUtime=35.1 /proc/18240/stat : 18240 (wbo1.4a) R 18238 18240 17178 0 -1 4202496 24957 0 0 0 3407 103 0 0 25 0 1 0 133631054 103694336 24872 4089446400 134512640 135751879 4290456528 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/18240/statm: 25316 24872 146 303 0 25011 0 Current children cumulated CPU time (s) 35.1 Current children cumulated vsize (KiB) 101264 [startup+38.3005 s] /proc/loadavg: 2.00 2.02 2.00 3/197 18242 /proc/meminfo: memFree=30704688/32951124 swapFree=67111528/67111528 [pid=18240] ppid=18238 vsize=110816 CPUtime=38.29 /proc/18240/stat : 18240 (wbo1.4a) R 18238 18240 17178 0 -1 4202496 27346 0 0 0 3717 112 0 0 25 0 1 0 133631054 113475584 27261 4089446400 134512640 135751879 4290456528 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/18240/statm: 27704 27261 146 303 0 27399 0 Current children cumulated CPU time (s) 38.29 Current children cumulated vsize (KiB) 110816 [startup+39.1004 s] /proc/loadavg: 2.00 2.02 2.00 3/197 18242 /proc/meminfo: memFree=30699604/32951124 swapFree=67111528/67111528 [pid=18240] ppid=18238 vsize=114380 CPUtime=39.09 /proc/18240/stat : 18240 (wbo1.4a) R 18238 18240 17178 0 -1 4202496 28251 0 0 0 3794 115 0 0 25 0 1 0 133631054 117125120 28166 4089446400 134512640 135751879 4290456528 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/18240/statm: 28595 28166 146 303 0 28290 0 Current children cumulated CPU time (s) 39.09 Current children cumulated vsize (KiB) 114380 [startup+39.5003 s] /proc/loadavg: 2.00 2.02 2.00 4/197 18242 /proc/meminfo: memFree=30694644/32951124 swapFree=67111528/67111528 [pid=18240] ppid=18238 vsize=116228 CPUtime=39.49 /proc/18240/stat : 18240 (wbo1.4a) R 18238 18240 17178 0 -1 4202496 28694 0 0 0 3833 116 0 0 25 0 1 0 133631054 119017472 28609 4089446400 134512640 135751879 4290456528 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/18240/statm: 29057 28609 146 303 0 28752 0 Current children cumulated CPU time (s) 39.49 Current children cumulated vsize (KiB) 116228 [startup+39.7003 s] /proc/loadavg: 2.00 2.02 2.00 4/197 18242 /proc/meminfo: memFree=30694644/32951124 swapFree=67111528/67111528 [pid=18240] ppid=18238 vsize=116888 CPUtime=39.69 /proc/18240/stat : 18240 (wbo1.4a) R 18238 18240 17178 0 -1 4202496 28859 0 0 0 3852 117 0 0 25 0 1 0 133631054 119693312 28774 4089446400 134512640 135751879 4290456528 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/18240/statm: 29222 28774 146 303 0 28917 0 Current children cumulated CPU time (s) 39.69 Current children cumulated vsize (KiB) 116888 [startup+39.8002 s] /proc/loadavg: 2.00 2.02 2.00 4/197 18242 /proc/meminfo: memFree=30694644/32951124 swapFree=67111528/67111528 [pid=18240] ppid=18238 vsize=117284 CPUtime=39.78 /proc/18240/stat : 18240 (wbo1.4a) R 18238 18240 17178 0 -1 4202496 28973 0 0 0 3861 117 0 0 25 0 1 0 133631054 120098816 28888 4089446400 134512640 135751879 4290456528 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/18240/statm: 29321 28888 146 303 0 29016 0 Current children cumulated CPU time (s) 39.78 Current children cumulated vsize (KiB) 117284 Child status: 0 Real time (s): 39.8836 CPU time (s): 39.8819 CPU user time (s): 38.6911 CPU system time (s): 1.19082 CPU usage (%): 99.9958 Max. virtual memory (cumulated for all children) (KiB): 117284 getrusage(RUSAGE_CHILDREN,...) data: user time used= 38.6911 system time used= 1.19082 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 29062 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= 1 involuntary context switches= 363 runsolver used 0.06499 second user time and 0.148977 second system time The end
Begin job on node139 at 2010-06-30 20:42:36 IDJOB=2690070 IDBENCH=79204 IDSOLVER=1200 FILE ID=node139/2690070-1277923356 PBS_JOBID= 11197347 Free space on /tmp= 74124 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111224059--soft-0-100-0.wbo COMMAND LINE= wbo1.4a -file-format=wbo -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2690070-1277923356/watcher-2690070-1277923356 -o /tmp/evaluation-result-2690070-1277923356/solver-2690070-1277923356 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690070-1277923356.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 14fe5a51c3c33a9eb099b4fa76f18c14 RANDOM SEED=189217059 node139.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.840 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.68 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.840 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.840 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.840 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.75 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.840 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.78 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.840 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.840 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.840 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: 30807632 kB Buffers: 210228 kB Cached: 1476576 kB SwapCached: 0 kB Active: 984352 kB Inactive: 1011632 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30807632 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2760 kB Writeback: 0 kB AnonPages: 309092 kB Mapped: 20256 kB Slab: 83532 kB PageTables: 5312 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1648360 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= 74120 MiB End job on node139 at 2010-06-30 20:43:16