Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | OPTIMUM | 67.4237 | 67.5767 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110978113--soft-66-100-0.wbo |
MD5SUM | 9827eed4e77f286e6e4727bea036a058 |
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 | 17 |
Best CPU time to get the best result obtained on this benchmark | 0.275957 |
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 | 29 |
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 | 1556 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 1555 |
Biggest number in a constraint | 38 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 1184 |
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-2689960-1277899582.wbo. 0.00/0.00 c Instance file HOME/instance-2689960-1277899582.wbo 0.00/0.00 c File size is 10108 bytes. 0.00/0.00 c Highest Coefficient sum: 1184 0.00/0.00 c ============================[ Problem Statistics ]============================= 0.00/0.00 c | | 0.00/0.00 c | Parsing time: 0.00 s | 0.00/0.00 c | Number Variables: 169 | 0.00/0.00 c | Number Clauses: 30 | 0.00/0.00 c | Number Cardinality: 70 | 0.00/0.00 c | Number PB Constraints: 1 | 0.00/0.00 c ============================[ Search Statistics ]============================== 0.00/0.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 169 101 1205 | 5000 0 nan | 0.000 % | 0.00/0.00 c | 102 | 169 101 1205 | 5500 102 39 | 0.004 % | 0.00/0.00 c | 252 | 169 101 1205 | 6050 252 41 | 0.004 % | 0.00/0.01 c | 477 | 169 101 1205 | 6655 477 38 | 0.004 % | 0.00/0.02 c | 816 | 169 101 1205 | 7320 816 36 | 0.004 % | 0.00/0.03 c | 1322 | 169 101 1205 | 8052 1322 38 | 0.004 % | 0.04/0.05 c | 2082 | 169 101 1205 | 8857 2082 37 | 0.004 % | 0.04/0.09 c | 3222 | 169 101 1205 | 9743 3222 38 | 0.004 % | 0.09/0.16 c | 4931 | 169 101 1205 | 10717 4931 38 | 0.004 % | 0.29/0.30 c | 7494 | 169 101 1205 | 11789 7494 39 | 0.004 % | 0.49/0.56 c | 11338 | 169 101 1205 | 12968 11338 39 | 0.004 % | 0.89/0.93 c | 17104 | 169 101 1205 | 14265 10568 44 | 0.004 % | 1.49/1.55 c | 25753 | 169 101 1205 | 15692 12022 45 | 0.004 % | 2.59/2.67 c | 38728 | 169 101 1205 | 17261 9185 49 | 0.004 % | 4.48/4.59 c | 58192 | 169 101 1205 | 18987 11270 53 | 0.004 % | 7.63/7.80 c | 87386 | 169 101 1205 | 20886 11825 50 | 0.004 % | 10.53/10.72 c =============================================================================== 11.03/11.23 c core #1 11.03/11.23 c ============================[ Search Statistics ]============================== 11.03/11.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.03/11.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.03/11.23 c =============================================================================== 11.03/11.23 c | 0 | 198 130 1569 | 5000 0 nan | 0.000 % | 11.03/11.24 c | 101 | 198 130 1569 | 5500 101 41 | 0.003 % | 11.03/11.25 c | 251 | 198 130 1569 | 6050 251 40 | 0.003 % | 11.03/11.25 c | 478 | 198 130 1569 | 6655 478 39 | 0.003 % | 11.03/11.26 c | 818 | 198 130 1569 | 7320 818 37 | 0.003 % | 11.03/11.28 c | 1327 | 198 130 1569 | 8052 1327 37 | 0.003 % | 11.14/11.31 c | 2087 | 198 130 1569 | 8857 2087 37 | 0.003 % | 11.14/11.35 c | 3226 | 198 130 1569 | 9743 3226 36 | 0.003 % | 11.24/11.43 c | 4934 | 198 130 1569 | 10717 4934 37 | 0.003 % | 11.33/11.59 c | 7497 | 198 130 1569 | 11789 7497 38 | 0.003 % | 11.64/11.86 c | 11341 | 198 130 1569 | 12968 11341 40 | 0.003 % | 12.03/12.24 c | 17108 | 198 130 1569 | 14265 10577 46 | 0.003 % | 12.74/12.99 c | 25761 | 198 130 1569 | 15692 12048 48 | 0.003 % | 14.05/14.24 c | 38737 | 198 130 1569 | 17261 9206 51 | 0.003 % | 15.94/16.10 c | 58199 | 198 130 1569 | 18987 11304 50 | 0.003 % | 18.84/19.06 c | 87391 | 198 130 1569 | 20886 11859 51 | 0.003 % | 21.14/21.37 c =============================================================================== 21.64/21.87 c core #2 21.64/21.87 c ============================[ Search Statistics ]============================== 21.64/21.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.64/21.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.64/21.87 c =============================================================================== 21.64/21.87 c | 0 | 226 158 1918 | 5000 0 nan | 0.000 % | 21.64/21.88 c | 101 | 226 158 1918 | 5500 101 36 | 0.002 % | 21.64/21.89 c | 251 | 226 158 1918 | 6050 251 34 | 0.002 % | 21.64/21.89 c | 476 | 226 158 1918 | 6655 476 36 | 0.002 % | 21.74/21.91 c | 813 | 226 158 1918 | 7320 813 34 | 0.002 % | 21.74/21.92 c | 1322 | 226 158 1918 | 8052 1322 35 | 0.002 % | 21.74/21.95 c | 2082 | 226 158 1918 | 8857 2082 36 | 0.002 % | 21.84/22.00 c | 3221 | 226 158 1918 | 9743 3221 36 | 0.002 % | 21.84/22.08 c | 4930 | 226 158 1918 | 10717 4930 37 | 0.002 % | 22.03/22.24 c | 7492 | 226 158 1918 | 11789 7492 38 | 0.002 % | 22.34/22.53 c | 11339 | 226 158 1918 | 12968 11339 42 | 0.002 % | 22.74/22.98 c | 17105 | 226 158 1918 | 14265 10570 45 | 0.002 % | 23.44/23.67 c | 25754 | 226 158 1918 | 15692 12016 47 | 0.002 % | 24.64/24.80 c | 38728 | 226 158 1918 | 17261 9191 48 | 0.002 % | 26.44/26.64 c | 58191 | 226 158 1918 | 18987 11286 51 | 0.002 % | 29.34/29.58 c | 87384 | 226 158 1918 | 20886 11829 49 | 0.002 % | 33.33/33.50 c =============================================================================== 33.84/34.09 c core #3 33.84/34.09 c ============================[ Search Statistics ]============================== 33.84/34.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 33.84/34.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 33.84/34.09 c =============================================================================== 33.84/34.09 c | 0 | 255 186 2269 | 5000 0 nan | 0.000 % | 33.84/34.10 c | 100 | 255 186 2269 | 5500 100 41 | 0.002 % | 33.94/34.11 c | 250 | 255 186 2269 | 6050 250 49 | 0.002 % | 33.94/34.11 c | 476 | 255 186 2269 | 6655 476 42 | 0.002 % | 33.94/34.13 c | 813 | 255 186 2269 | 7320 813 39 | 0.002 % | 33.94/34.15 c | 1320 | 255 186 2269 | 8052 1320 37 | 0.002 % | 33.94/34.18 c | 2079 | 255 186 2269 | 8857 2079 36 | 0.002 % | 34.04/34.22 c | 3220 | 255 186 2269 | 9743 3220 38 | 0.002 % | 34.14/34.31 c | 4930 | 255 186 2269 | 10717 4930 39 | 0.002 % | 34.24/34.48 c | 7493 | 255 186 2269 | 11789 7493 39 | 0.002 % | 34.54/34.79 c | 11342 | 255 186 2269 | 12968 11342 41 | 0.002 % | 35.04/35.29 c | 17108 | 255 186 2269 | 14265 10565 44 | 0.002 % | 35.84/36.02 c | 25758 | 255 186 2269 | 15692 12025 47 | 0.002 % | 36.93/37.16 c | 38737 | 255 186 2269 | 17261 9210 48 | 0.002 % | 38.94/39.11 c | 58199 | 255 186 2269 | 18987 11315 47 | 0.002 % | 41.64/41.81 c | 87391 | 255 186 2269 | 20886 11875 49 | 0.002 % | 43.94/44.12 c =============================================================================== 44.43/44.64 c core #4 44.43/44.64 c ============================[ Search Statistics ]============================== 44.43/44.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 44.43/44.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 44.43/44.64 c =============================================================================== 44.43/44.64 c | 0 | 282 213 2613 | 5000 0 nan | 0.000 % | 44.43/44.65 c | 101 | 282 213 2613 | 5500 101 43 | 0.001 % | 44.43/44.66 c | 251 | 282 213 2613 | 6050 251 36 | 0.001 % | 44.43/44.67 c | 476 | 282 213 2613 | 6655 476 36 | 0.001 % | 44.43/44.68 c | 814 | 282 213 2613 | 7320 814 35 | 0.001 % | 44.54/44.70 c | 1321 | 282 213 2613 | 8052 1321 36 | 0.001 % | 44.54/44.73 c | 2081 | 282 213 2613 | 8857 2081 34 | 0.001 % | 44.54/44.77 c | 3221 | 282 213 2613 | 9743 3221 33 | 0.001 % | 44.64/44.86 c | 4931 | 282 213 2613 | 10717 4931 35 | 0.001 % | 44.84/45.02 c | 7496 | 282 213 2613 | 11789 7496 37 | 0.001 % | 45.03/45.28 c | 11341 | 282 213 2613 | 12968 11341 39 | 0.001 % | 45.54/45.74 c | 17110 | 282 213 2613 | 14265 10575 46 | 0.001 % | 46.24/46.45 c | 25761 | 282 213 2613 | 15692 12039 47 | 0.001 % | 47.34/47.54 c | 38737 | 282 213 2613 | 17261 9211 50 | 0.001 % | 49.14/49.38 c | 58199 | 282 213 2613 | 18987 11316 49 | 0.001 % | 52.43/52.64 c | 87392 | 282 213 2613 | 20886 11848 49 | 0.001 % | 53.65/53.85 c =============================================================================== 54.14/54.32 c core #5 54.14/54.32 c ============================[ Search Statistics ]============================== 54.14/54.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 54.14/54.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 54.14/54.32 c =============================================================================== 54.14/54.32 c | 0 | 312 240 2963 | 5000 0 nan | 0.000 % | 54.14/54.34 c | 100 | 312 240 2963 | 5500 100 42 | 0.001 % | 54.14/54.34 c | 252 | 312 240 2963 | 6050 252 38 | 0.001 % | 54.14/54.35 c | 480 | 312 240 2963 | 6655 480 36 | 0.001 % | 54.14/54.36 c | 817 | 312 240 2963 | 7320 817 36 | 0.001 % | 54.14/54.38 c | 1324 | 312 240 2963 | 8052 1324 34 | 0.001 % | 54.24/54.40 c | 2083 | 312 240 2963 | 8857 2083 35 | 0.001 % | 54.24/54.45 c | 3223 | 312 240 2963 | 9743 3223 36 | 0.001 % | 54.33/54.53 c | 4931 | 312 240 2963 | 10717 4931 37 | 0.001 % | 54.43/54.67 c | 7494 | 312 240 2963 | 11789 7494 37 | 0.001 % | 54.74/54.96 c | 11340 | 312 240 2963 | 12968 11340 40 | 0.001 % | 55.14/55.38 c | 17106 | 312 240 2963 | 14265 10574 42 | 0.001 % | 55.84/56.05 c | 25758 | 312 240 2963 | 15692 12029 45 | 0.001 % | 57.14/57.33 c | 38733 | 312 240 2963 | 17261 9206 49 | 0.001 % | 59.03/59.20 c | 58195 | 312 240 2963 | 18987 11304 50 | 0.001 % | 62.14/62.38 c | 87387 | 312 240 2963 | 20886 11855 51 | 0.001 % | 64.24/64.48 c =============================================================================== 64.84/65.00 c core #6 64.84/65.00 c ============================[ Search Statistics ]============================== 64.84/65.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 64.84/65.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 64.84/65.00 c =============================================================================== 64.84/65.00 c | 0 | 338 266 3294 | 5000 0 nan | 0.000 % | 64.84/65.02 c | 100 | 338 266 3294 | 5500 100 30 | 0.001 % | 64.84/65.02 c | 252 | 338 266 3294 | 6050 252 30 | 0.001 % | 64.84/65.03 c | 479 | 338 266 3294 | 6655 479 33 | 0.001 % | 64.84/65.04 c | 816 | 338 266 3294 | 7320 816 35 | 0.001 % | 64.84/65.06 c | 1323 | 338 266 3294 | 8052 1323 37 | 0.001 % | 64.84/65.09 c | 2082 | 338 266 3294 | 8857 2082 38 | 0.001 % | 64.94/65.14 c | 3221 | 338 266 3294 | 9743 3221 41 | 0.001 % | 65.04/65.23 c | 4929 | 338 266 3294 | 10717 4929 41 | 0.001 % | 65.13/65.38 c | 7491 | 338 266 3294 | 11789 7491 41 | 0.001 % | 65.44/65.67 c | 11335 | 338 266 3294 | 12968 11335 42 | 0.001 % | 65.84/66.07 c | 17102 | 338 266 3294 | 14265 10573 43 | 0.001 % | 66.54/66.74 c | 25753 | 338 266 3294 | 15692 12049 43 | 0.001 % | 67.33/67.57 c =============================================================================== 67.33/67.57 c #cores: 6 67.33/67.57 c Final Weight: 17 67.33/67.57 o 17 67.33/67.57 s OPTIMUM FOUND 67.33/67.57 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 67.33/67.57 c Total CPU time: 66.6509 s
OK 17
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2689960-1277899582/watcher-2689960-1277899582 -o /tmp/evaluation-result-2689960-1277899582/solver-2689960-1277899582 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689960-1277899582.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.05 2.02 2.00 4/194 12116 /proc/meminfo: memFree=30791956/32951132 swapFree=67111528/67111528 [pid=12116] ppid=12114 vsize=2572 CPUtime=0 /proc/12116/stat : 12116 (wbo1.4a) R 12114 12116 11779 0 -1 4202496 289 0 0 0 0 0 0 0 25 0 1 0 131254804 2633728 204 4089446400 134512640 135751879 4292235632 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/12116/statm: 643 204 143 303 0 338 0 [startup+0.0515879 s] /proc/loadavg: 2.05 2.02 2.00 4/194 12116 /proc/meminfo: memFree=30791956/32951132 swapFree=67111528/67111528 [pid=12116] ppid=12114 vsize=2968 CPUtime=0.04 /proc/12116/stat : 12116 (wbo1.4a) R 12114 12116 11779 0 -1 4202496 399 0 0 0 4 0 0 0 25 0 1 0 131254804 3039232 314 4089446400 134512640 135751879 4292235632 18446744073709551615 134616537 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/12116/statm: 742 314 143 303 0 437 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 2968 [startup+0.100582 s] /proc/loadavg: 2.05 2.02 2.00 4/194 12116 /proc/meminfo: memFree=30791956/32951132 swapFree=67111528/67111528 [pid=12116] ppid=12114 vsize=3364 CPUtime=0.09 /proc/12116/stat : 12116 (wbo1.4a) R 12114 12116 11779 0 -1 4202496 494 0 0 0 9 0 0 0 25 0 1 0 131254804 3444736 409 4089446400 134512640 135751879 4292235632 18446744073709551615 134616486 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/12116/statm: 841 409 143 303 0 536 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3364 [startup+0.300555 s] /proc/loadavg: 2.05 2.02 2.00 4/194 12116 /proc/meminfo: memFree=30791956/32951132 swapFree=67111528/67111528 [pid=12116] ppid=12114 vsize=4552 CPUtime=0.29 /proc/12116/stat : 12116 (wbo1.4a) R 12114 12116 11779 0 -1 4202496 781 0 0 0 29 0 0 0 25 0 1 0 131254804 4661248 696 4089446400 134512640 135751879 4292235632 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/12116/statm: 1138 696 143 303 0 833 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4552 [startup+0.700487 s] /proc/loadavg: 2.05 2.02 2.00 4/194 12116 /proc/meminfo: memFree=30791956/32951132 swapFree=67111528/67111528 [pid=12116] ppid=12114 vsize=6196 CPUtime=0.69 /proc/12116/stat : 12116 (wbo1.4a) R 12114 12116 11779 0 -1 4202496 1203 0 0 0 68 1 0 0 25 0 1 0 131254804 6344704 1118 4089446400 134512640 135751879 4292235632 18446744073709551615 134602919 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/12116/statm: 1549 1118 143 303 0 1244 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6196 [startup+1.50035 s] /proc/loadavg: 2.05 2.02 2.00 3/195 12117 /proc/meminfo: memFree=30786244/32951132 swapFree=67111528/67111528 [pid=12116] ppid=12114 vsize=9760 CPUtime=1.49 /proc/12116/stat : 12116 (wbo1.4a) R 12114 12116 11779 0 -1 4202496 2087 0 0 0 147 2 0 0 25 0 1 0 131254804 9994240 2002 4089446400 134512640 135751879 4292235632 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/12116/statm: 2440 2002 143 303 0 2135 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9760 [startup+3.10107 s] /proc/loadavg: 2.05 2.02 2.00 3/195 12117 /proc/meminfo: memFree=30781668/32951132 swapFree=67111528/67111528 [pid=12116] ppid=12114 vsize=15576 CPUtime=3.09 /proc/12116/stat : 12116 (wbo1.4a) R 12114 12116 11779 0 -1 4202496 3540 0 0 0 305 4 0 0 25 0 1 0 131254804 15949824 3455 4089446400 134512640 135751879 4292235632 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/12116/statm: 3894 3455 143 303 0 3589 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15576 [startup+6.30051 s] /proc/loadavg: 2.05 2.02 2.00 4/195 12117 /proc/meminfo: memFree=30770836/32951132 swapFree=67111528/67111528 [pid=12116] ppid=12114 vsize=25272 CPUtime=6.14 /proc/12116/stat : 12116 (wbo1.4a) R 12114 12116 11779 0 -1 4202496 5947 0 0 0 606 8 0 0 25 0 1 0 131254804 25878528 5862 4089446400 134512640 135751879 4292235632 18446744073709551615 134616526 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12116/statm: 6318 5862 143 303 0 6013 0 Current children cumulated CPU time (s) 6.14 Current children cumulated vsize (KiB) 25272 [startup+12.7004 s] /proc/loadavg: 2.04 2.02 2.00 3/195 12117 /proc/meminfo: memFree=30751172/32951132 swapFree=67111528/67111528 [pid=12116] ppid=12114 vsize=43112 CPUtime=12.54 /proc/12116/stat : 12116 (wbo1.4a) R 12114 12116 11779 0 -1 4202496 10437 0 0 0 1239 15 0 0 25 0 1 0 131254804 44146688 10352 4089446400 134512640 135751879 4292235632 18446744073709551615 134606389 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/12116/statm: 10778 10352 146 303 0 10473 0 Current children cumulated CPU time (s) 12.54 Current children cumulated vsize (KiB) 43112 [startup+25.5012 s] /proc/loadavg: 2.03 2.02 2.00 3/195 12117 /proc/meminfo: memFree=30724260/32951132 swapFree=67111528/67111528 [pid=12116] ppid=12114 vsize=70820 CPUtime=25.33 /proc/12116/stat : 12116 (wbo1.4a) R 12114 12116 11779 0 -1 4202496 17354 0 0 0 2505 28 0 0 25 0 1 0 131254804 72519680 17269 4089446400 134512640 135751879 4292235632 18446744073709551615 134616876 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/12116/statm: 17705 17269 146 303 0 17400 0 Current children cumulated CPU time (s) 25.33 Current children cumulated vsize (KiB) 70820 [startup+51.1007 s] /proc/loadavg: 2.02 2.01 2.00 3/195 12119 /proc/meminfo: memFree=30666444/32951132 swapFree=67111528/67111528 [pid=12116] ppid=12114 vsize=129064 CPUtime=50.94 /proc/12116/stat : 12116 (wbo1.4a) R 12114 12116 11779 0 -1 4202496 31921 0 0 0 5036 58 0 0 25 0 1 0 131254804 132161536 31836 4089446400 134512640 135751879 4292235632 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/12116/statm: 32266 31836 146 303 0 31961 0 Current children cumulated CPU time (s) 50.94 Current children cumulated vsize (KiB) 129064 Solver just ended. Dumping a history of the last processes samples [startup+57.5006 s] /proc/loadavg: 2.02 2.01 2.00 3/195 12119 /proc/meminfo: memFree=30652552/32951132 swapFree=67111528/67111528 [pid=12116] ppid=12114 vsize=142540 CPUtime=57.34 /proc/12116/stat : 12116 (wbo1.4a) R 12114 12116 11779 0 -1 4202496 35291 0 0 0 5670 64 0 0 25 0 1 0 131254804 145960960 35206 4089446400 134512640 135751879 4292235632 18446744073709551615 134606351 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/12116/statm: 35635 35206 146 303 0 35330 0 Current children cumulated CPU time (s) 57.34 Current children cumulated vsize (KiB) 142540 [startup+63.9005 s] /proc/loadavg: 2.02 2.01 2.00 3/195 12119 /proc/meminfo: memFree=30636176/32951132 swapFree=67111528/67111528 [pid=12116] ppid=12114 vsize=158964 CPUtime=63.74 /proc/12116/stat : 12116 (wbo1.4a) R 12114 12116 11779 0 -1 4202496 39380 0 0 0 6302 72 0 0 25 0 1 0 131254804 162779136 39295 4089446400 134512640 135751879 4292235632 18446744073709551615 134616448 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/12116/statm: 39741 39296 146 303 0 39436 0 Current children cumulated CPU time (s) 63.74 Current children cumulated vsize (KiB) 158964 [startup+65.5002 s] /proc/loadavg: 2.02 2.01 2.00 3/195 12119 /proc/meminfo: memFree=30630224/32951132 swapFree=67111528/67111528 [pid=12116] ppid=12114 vsize=164244 CPUtime=65.33 /proc/12116/stat : 12116 (wbo1.4a) R 12114 12116 11779 0 -1 4202496 40707 0 0 0 6460 73 0 0 25 0 1 0 131254804 168185856 40622 4089446400 134512640 135751879 4292235632 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/12116/statm: 41061 40622 146 303 0 40756 0 Current children cumulated CPU time (s) 65.33 Current children cumulated vsize (KiB) 164244 [startup+66.3011 s] /proc/loadavg: 2.02 2.01 2.00 3/195 12119 /proc/meminfo: memFree=30630100/32951132 swapFree=67111528/67111528 [pid=12116] ppid=12114 vsize=164244 CPUtime=66.14 /proc/12116/stat : 12116 (wbo1.4a) R 12114 12116 11779 0 -1 4202496 40707 0 0 0 6539 75 0 0 25 0 1 0 131254804 168185856 40622 4089446400 134512640 135751879 4292235632 18446744073709551615 134606387 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/12116/statm: 41061 40622 146 303 0 40756 0 Current children cumulated CPU time (s) 66.14 Current children cumulated vsize (KiB) 164244 [startup+67.1059 s] /proc/loadavg: 2.02 2.01 2.00 3/195 12119 /proc/meminfo: memFree=30630100/32951132 swapFree=67111528/67111528 [pid=12116] ppid=12114 vsize=164244 CPUtime=66.94 /proc/12116/stat : 12116 (wbo1.4a) R 12114 12116 11779 0 -1 4202496 40713 0 0 0 6618 76 0 0 25 0 1 0 131254804 168185856 40628 4089446400 134512640 135751879 4292235632 18446744073709551615 134519014 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/12116/statm: 41061 40628 146 303 0 40756 0 Current children cumulated CPU time (s) 66.94 Current children cumulated vsize (KiB) 164244 [startup+67.5009 s] /proc/loadavg: 2.02 2.01 2.00 3/195 12119 /proc/meminfo: memFree=30630100/32951132 swapFree=67111528/67111528 [pid=12116] ppid=12114 vsize=164244 CPUtime=67.33 /proc/12116/stat : 12116 (wbo1.4a) R 12114 12116 11779 0 -1 4202496 40713 0 0 0 6657 76 0 0 25 0 1 0 131254804 168185856 40628 4089446400 134512640 135751879 4292235632 18446744073709551615 134616712 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/12116/statm: 41061 40628 146 303 0 40756 0 Current children cumulated CPU time (s) 67.33 Current children cumulated vsize (KiB) 164244 Child status: 0 Real time (s): 67.5767 CPU time (s): 67.4237 CPU user time (s): 66.6509 CPU system time (s): 0.772882 CPU usage (%): 99.7736 Max. virtual memory (cumulated for all children) (KiB): 164244 getrusage(RUSAGE_CHILDREN,...) data: user time used= 66.6509 system time used= 0.772882 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 40724 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= 4 involuntary context switches= 108 runsolver used 0.090986 second user time and 0.223965 second system time The end
Begin job on node131 at 2010-06-30 14:06:22 IDJOB=2689960 IDBENCH=78862 IDSOLVER=1200 FILE ID=node131/2689960-1277899582 PBS_JOBID= 11197184 Free space on /tmp= 74140 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110978113--soft-66-100-0.wbo COMMAND LINE= wbo1.4a -file-format=wbo -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2689960-1277899582/watcher-2689960-1277899582 -o /tmp/evaluation-result-2689960-1277899582/solver-2689960-1277899582 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689960-1277899582.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 9827eed4e77f286e6e4727bea036a058 RANDOM SEED=349754925 node131.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.836 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.67 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.836 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.836 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.836 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.82 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.836 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.76 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.836 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.836 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.836 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.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951132 kB MemFree: 30792484 kB Buffers: 185692 kB Cached: 1133412 kB SwapCached: 0 kB Active: 1217172 kB Inactive: 798220 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951132 kB LowFree: 30792484 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2744 kB Writeback: 0 kB AnonPages: 696308 kB Mapped: 20468 kB Slab: 79816 kB PageTables: 6012 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587092 kB Committed_AS: 1656800 kB VmallocTotal: 34359738367 kB VmallocUsed: 296000 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74136 MiB End job on node131 at 2010-06-30 14:07:30