Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | OPTIMUM | 29.3465 | 29.3458 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110966688--soft-66-100-0.wbo |
MD5SUM | 933a31389d3b5781af16184cd4c2b51e |
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 | 19 |
Best CPU time to get the best result obtained on this benchmark | 0.078987 |
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 | 1237 |
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-2689896-1277897953.wbo. 0.00/0.00 c Instance file HOME/instance-2689896-1277897953.wbo 0.00/0.00 c File size is 10122 bytes. 0.00/0.00 c Highest Coefficient sum: 1237 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 37 | 0.004 % | 0.00/0.00 c | 252 | 169 101 1205 | 6050 252 38 | 0.004 % | 0.00/0.01 c | 479 | 169 101 1205 | 6655 479 39 | 0.004 % | 0.00/0.02 c | 816 | 169 101 1205 | 7320 816 38 | 0.004 % | 0.00/0.03 c | 1323 | 169 101 1205 | 8052 1323 36 | 0.004 % | 0.04/0.05 c | 2083 | 169 101 1205 | 8857 2083 37 | 0.004 % | 0.04/0.09 c | 3222 | 169 101 1205 | 9743 3222 35 | 0.004 % | 0.09/0.17 c | 4932 | 169 101 1205 | 10717 4932 38 | 0.004 % | 0.29/0.32 c | 7498 | 169 101 1205 | 11789 7498 39 | 0.004 % | 0.49/0.55 c | 11342 | 169 101 1205 | 12968 11342 40 | 0.004 % | 0.89/0.99 c | 17110 | 169 101 1205 | 14265 10584 44 | 0.004 % | 1.59/1.61 c | 25759 | 169 101 1205 | 15692 12045 44 | 0.004 % | 2.49/2.54 c | 38734 | 169 101 1205 | 17261 9223 44 | 0.004 % | 2.99/3.02 c =============================================================================== 3.09/3.16 c core #1 3.09/3.16 c ============================[ Search Statistics ]============================== 3.09/3.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.09/3.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.09/3.16 c =============================================================================== 3.09/3.16 c | 0 | 198 130 1569 | 5000 0 nan | 0.000 % | 3.09/3.16 c | 100 | 198 130 1569 | 5500 100 34 | 0.003 % | 3.09/3.17 c | 250 | 198 130 1569 | 6050 250 29 | 0.003 % | 3.09/3.17 c | 481 | 198 130 1569 | 6655 481 34 | 0.003 % | 3.09/3.18 c | 819 | 198 130 1569 | 7320 819 33 | 0.003 % | 3.09/3.20 c | 1325 | 198 130 1569 | 8052 1325 32 | 0.003 % | 3.19/3.22 c | 2084 | 198 130 1569 | 8857 2084 33 | 0.003 % | 3.19/3.26 c | 3227 | 198 130 1569 | 9743 3227 32 | 0.003 % | 3.29/3.33 c | 4939 | 198 130 1569 | 10717 4939 34 | 0.003 % | 3.39/3.45 c | 7501 | 198 130 1569 | 11789 7501 34 | 0.003 % | 3.59/3.66 c | 11349 | 198 130 1569 | 12968 11349 36 | 0.003 % | 3.99/4.07 c | 17115 | 198 130 1569 | 14265 10588 40 | 0.003 % | 4.59/4.65 c | 25764 | 198 130 1569 | 15692 12047 41 | 0.003 % | 5.50/5.58 c | 38740 | 198 130 1569 | 17261 9251 42 | 0.003 % | 6.29/6.35 c =============================================================================== 6.39/6.50 c core #2 6.39/6.50 c ============================[ Search Statistics ]============================== 6.39/6.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.39/6.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.39/6.50 c =============================================================================== 6.39/6.50 c | 0 | 226 158 1918 | 5000 0 nan | 0.000 % | 6.49/6.51 c | 100 | 226 158 1918 | 5500 100 34 | 0.002 % | 6.49/6.51 c | 250 | 226 158 1918 | 6050 250 35 | 0.002 % | 6.49/6.51 c | 478 | 226 158 1918 | 6655 478 33 | 0.002 % | 6.49/6.52 c | 817 | 226 158 1918 | 7320 817 34 | 0.002 % | 6.49/6.54 c | 1323 | 226 158 1918 | 8052 1323 32 | 0.002 % | 6.49/6.56 c | 2082 | 226 158 1918 | 8857 2082 32 | 0.002 % | 6.60/6.60 c | 3221 | 226 158 1918 | 9743 3221 33 | 0.002 % | 6.60/6.68 c | 4930 | 226 158 1918 | 10717 4930 33 | 0.002 % | 6.69/6.79 c | 7493 | 226 158 1918 | 11789 7493 34 | 0.002 % | 6.99/7.03 c | 11339 | 226 158 1918 | 12968 11339 36 | 0.002 % | 7.39/7.45 c | 17105 | 226 158 1918 | 14265 10573 40 | 0.002 % | 7.99/8.09 c | 25757 | 226 158 1918 | 15692 12031 41 | 0.002 % | 8.89/8.98 c | 38733 | 226 158 1918 | 17261 9207 41 | 0.002 % | 10.09/10.18 c =============================================================================== 10.29/10.35 c core #3 10.29/10.35 c ============================[ Search Statistics ]============================== 10.29/10.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.29/10.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.29/10.35 c =============================================================================== 10.29/10.35 c | 0 | 255 186 2269 | 5000 0 nan | 0.000 % | 10.29/10.36 c | 103 | 255 186 2269 | 5500 103 32 | 0.002 % | 10.29/10.36 c | 254 | 255 186 2269 | 6050 254 33 | 0.002 % | 10.29/10.37 c | 479 | 255 186 2269 | 6655 479 34 | 0.002 % | 10.29/10.38 c | 818 | 255 186 2269 | 7320 818 33 | 0.002 % | 10.29/10.39 c | 1325 | 255 186 2269 | 8052 1325 31 | 0.002 % | 10.39/10.42 c | 2085 | 255 186 2269 | 8857 2085 32 | 0.002 % | 10.39/10.46 c | 3227 | 255 186 2269 | 9743 3227 32 | 0.002 % | 10.49/10.55 c | 4936 | 255 186 2269 | 10717 4936 34 | 0.002 % | 10.59/10.67 c | 7498 | 255 186 2269 | 11789 7498 34 | 0.002 % | 10.89/10.92 c | 11342 | 255 186 2269 | 12968 11342 36 | 0.002 % | 11.29/11.30 c | 17109 | 255 186 2269 | 14265 10578 40 | 0.002 % | 11.79/11.88 c | 25760 | 255 186 2269 | 15692 12035 42 | 0.002 % | 12.79/12.80 c | 38734 | 255 186 2269 | 17261 9215 41 | 0.002 % | 13.39/13.43 c =============================================================================== 13.49/13.58 c core #4 13.49/13.58 c ============================[ Search Statistics ]============================== 13.49/13.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.49/13.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.49/13.58 c =============================================================================== 13.49/13.58 c | 0 | 282 213 2613 | 5000 0 nan | 0.000 % | 13.49/13.58 c | 100 | 282 213 2613 | 5500 100 50 | 0.001 % | 13.49/13.59 c | 250 | 282 213 2613 | 6050 250 41 | 0.001 % | 13.49/13.59 c | 475 | 282 213 2613 | 6655 475 41 | 0.001 % | 13.59/13.60 c | 813 | 282 213 2613 | 7320 813 38 | 0.001 % | 13.59/13.62 c | 1320 | 282 213 2613 | 8052 1320 35 | 0.001 % | 13.59/13.64 c | 2079 | 282 213 2613 | 8857 2079 34 | 0.001 % | 13.59/13.68 c | 3218 | 282 213 2613 | 9743 3218 36 | 0.001 % | 13.69/13.76 c | 4928 | 282 213 2613 | 10717 4928 36 | 0.001 % | 13.79/13.89 c | 7493 | 282 213 2613 | 11789 7493 39 | 0.001 % | 14.09/14.13 c | 11338 | 282 213 2613 | 12968 11338 39 | 0.001 % | 14.49/14.52 c | 17104 | 282 213 2613 | 14265 10567 42 | 0.001 % | 15.09/15.10 c | 25757 | 282 213 2613 | 15692 12042 45 | 0.001 % | 15.99/16.02 c | 38732 | 282 213 2613 | 17261 9226 44 | 0.001 % | 17.09/17.13 c =============================================================================== 17.29/17.32 c core #5 17.29/17.32 c ============================[ Search Statistics ]============================== 17.29/17.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.29/17.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.29/17.32 c =============================================================================== 17.29/17.32 c | 0 | 308 239 2944 | 5000 0 nan | 0.000 % | 17.29/17.32 c | 101 | 308 239 2944 | 5500 101 40 | 0.001 % | 17.29/17.33 c | 252 | 308 239 2944 | 6050 252 41 | 0.001 % | 17.29/17.34 c | 480 | 308 239 2944 | 6655 480 37 | 0.001 % | 17.29/17.35 c | 817 | 308 239 2944 | 7320 817 37 | 0.001 % | 17.29/17.36 c | 1324 | 308 239 2944 | 8052 1324 35 | 0.001 % | 17.29/17.39 c | 2085 | 308 239 2944 | 8857 2085 35 | 0.001 % | 17.39/17.43 c | 3224 | 308 239 2944 | 9743 3224 37 | 0.001 % | 17.39/17.50 c | 4932 | 308 239 2944 | 10717 4932 37 | 0.001 % | 17.59/17.62 c | 7494 | 308 239 2944 | 11789 7494 38 | 0.001 % | 17.79/17.87 c | 11339 | 308 239 2944 | 12968 11339 38 | 0.001 % | 18.19/18.29 c | 17105 | 308 239 2944 | 14265 10567 42 | 0.001 % | 18.80/18.86 c | 25754 | 308 239 2944 | 15692 12031 42 | 0.001 % | 19.70/19.77 c | 38728 | 308 239 2944 | 17261 9199 44 | 0.001 % | 21.09/21.18 c | 58189 | 308 239 2944 | 18987 11277 41 | 0.001 % | 21.59/21.66 c =============================================================================== 21.79/21.89 c core #6 21.79/21.89 c ============================[ Search Statistics ]============================== 21.79/21.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.79/21.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.79/21.89 c =============================================================================== 21.79/21.89 c | 0 | 344 270 3341 | 5000 0 nan | 0.000 % | 21.79/21.90 c | 101 | 344 270 3341 | 5500 101 39 | 0.001 % | 21.90/21.90 c | 253 | 344 270 3341 | 6050 253 40 | 0.001 % | 21.90/21.91 c | 480 | 344 270 3341 | 6655 480 34 | 0.001 % | 21.90/21.92 c | 817 | 344 270 3341 | 7320 817 33 | 0.001 % | 21.90/21.93 c | 1323 | 344 270 3341 | 8052 1323 32 | 0.001 % | 21.90/21.96 c | 2089 | 344 270 3341 | 8857 2089 32 | 0.001 % | 22.00/22.00 c | 3230 | 344 270 3341 | 9743 3230 33 | 0.001 % | 22.00/22.08 c | 4938 | 344 270 3341 | 10717 4938 33 | 0.001 % | 22.19/22.22 c | 7500 | 344 270 3341 | 11789 7500 36 | 0.001 % | 22.39/22.47 c | 11344 | 344 270 3341 | 12968 11344 37 | 0.001 % | 22.80/22.87 c | 17110 | 344 270 3341 | 14265 10569 40 | 0.001 % | 23.39/23.49 c | 25759 | 344 270 3341 | 15692 12035 40 | 0.001 % | 24.30/24.39 c | 38734 | 344 270 3341 | 17261 9215 42 | 0.001 % | 25.30/25.33 c =============================================================================== 25.49/25.50 c core #7 25.49/25.50 c ============================[ Search Statistics ]============================== 25.49/25.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 25.49/25.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 25.49/25.50 c =============================================================================== 25.49/25.50 c | 0 | 374 300 3714 | 5000 0 nan | 0.000 % | 25.49/25.51 c | 100 | 374 300 3714 | 5500 100 39 | 0.001 % | 25.49/25.51 c | 252 | 374 300 3714 | 6050 252 39 | 0.001 % | 25.49/25.52 c | 477 | 374 300 3714 | 6655 477 36 | 0.001 % | 25.49/25.53 c | 814 | 374 300 3714 | 7320 814 34 | 0.001 % | 25.49/25.55 c | 1321 | 374 300 3714 | 8052 1321 31 | 0.001 % | 25.49/25.57 c | 2082 | 374 300 3714 | 8857 2082 31 | 0.001 % | 25.59/25.62 c | 3221 | 374 300 3714 | 9743 3221 33 | 0.001 % | 25.70/25.70 c | 4932 | 374 300 3714 | 10717 4932 34 | 0.001 % | 25.79/25.84 c | 7494 | 374 300 3714 | 11789 7494 35 | 0.001 % | 25.99/26.07 c | 11340 | 374 300 3714 | 12968 11340 35 | 0.001 % | 26.40/26.46 c | 17106 | 374 300 3714 | 14265 10569 37 | 0.001 % | 27.09/27.10 c | 25756 | 374 300 3714 | 15692 12041 40 | 0.001 % | 28.09/28.18 c | 38731 | 374 300 3714 | 17261 9222 43 | 0.001 % | 29.29/29.34 c =============================================================================== 29.29/29.34 c #cores: 7 29.29/29.34 c Final Weight: 19 29.29/29.34 o 19 29.29/29.34 s OPTIMUM FOUND 29.29/29.34 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 29.29/29.34 c Total CPU time: 28.8866 s
OK 19
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2689896-1277897953/watcher-2689896-1277897953 -o /tmp/evaluation-result-2689896-1277897953/solver-2689896-1277897953 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689896-1277897953.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.01 2.00 4/178 14568 /proc/meminfo: memFree=29928080/32951124 swapFree=67111528/67111528 [pid=14568] ppid=14566 vsize=2572 CPUtime=0 /proc/14568/stat : 14568 (wbo1.4a) R 14566 14568 14110 0 -1 4202496 289 0 0 0 0 0 0 0 25 0 1 0 131089765 2633728 204 4089446400 134512640 135751879 4287156016 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/14568/statm: 643 204 143 303 0 338 0 [startup+0.0473219 s] /proc/loadavg: 2.05 2.01 2.00 4/178 14568 /proc/meminfo: memFree=29928080/32951124 swapFree=67111528/67111528 [pid=14568] ppid=14566 vsize=2968 CPUtime=0.04 /proc/14568/stat : 14568 (wbo1.4a) R 14566 14568 14110 0 -1 4202496 388 0 0 0 4 0 0 0 25 0 1 0 131089765 3039232 303 4089446400 134512640 135751879 4287156016 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/14568/statm: 742 303 143 303 0 437 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 2968 [startup+0.100304 s] /proc/loadavg: 2.05 2.01 2.00 4/178 14568 /proc/meminfo: memFree=29928080/32951124 swapFree=67111528/67111528 [pid=14568] ppid=14566 vsize=3364 CPUtime=0.09 /proc/14568/stat : 14568 (wbo1.4a) R 14566 14568 14110 0 -1 4202496 490 0 0 0 9 0 0 0 25 0 1 0 131089765 3444736 405 4089446400 134512640 135751879 4287156016 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/14568/statm: 841 405 143 303 0 536 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3364 [startup+0.300265 s] /proc/loadavg: 2.05 2.01 2.00 4/178 14568 /proc/meminfo: memFree=29928080/32951124 swapFree=67111528/67111528 [pid=14568] ppid=14566 vsize=4552 CPUtime=0.29 /proc/14568/stat : 14568 (wbo1.4a) R 14566 14568 14110 0 -1 4202496 776 0 0 0 29 0 0 0 25 0 1 0 131089765 4661248 691 4089446400 134512640 135751879 4287156016 18446744073709551615 134616518 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/14568/statm: 1138 691 143 303 0 833 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4552 [startup+0.700199 s] /proc/loadavg: 2.05 2.01 2.00 4/178 14568 /proc/meminfo: memFree=29928080/32951124 swapFree=67111528/67111528 [pid=14568] ppid=14566 vsize=6288 CPUtime=0.69 /proc/14568/stat : 14568 (wbo1.4a) R 14566 14568 14110 0 -1 4202496 1215 0 0 0 68 1 0 0 25 0 1 0 131089765 6438912 1130 4089446400 134512640 135751879 4287156016 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/14568/statm: 1572 1130 143 303 0 1267 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6288 [startup+1.50106 s] /proc/loadavg: 2.05 2.01 2.00 3/179 14569 /proc/meminfo: memFree=29921252/32951124 swapFree=67111528/67111528 [pid=14568] ppid=14566 vsize=9464 CPUtime=1.49 /proc/14568/stat : 14568 (wbo1.4a) R 14566 14568 14110 0 -1 4202496 2026 0 0 0 147 2 0 0 25 0 1 0 131089765 9691136 1941 4089446400 134512640 135751879 4287156016 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/14568/statm: 2366 1941 143 303 0 2061 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9464 [startup+3.10078 s] /proc/loadavg: 2.04 2.01 2.00 3/179 14569 /proc/meminfo: memFree=29916044/32951124 swapFree=67111528/67111528 [pid=14568] ppid=14566 vsize=17392 CPUtime=3.09 /proc/14568/stat : 14568 (wbo1.4a) R 14566 14568 14110 0 -1 4202496 3988 0 0 0 304 5 0 0 25 0 1 0 131089765 17809408 3903 4089446400 134512640 135751879 4287156016 18446744073709551615 134618386 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/14568/statm: 4348 3903 143 303 0 4043 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17392 [startup+6.30021 s] /proc/loadavg: 2.04 2.01 2.00 3/179 14569 /proc/meminfo: memFree=29902652/32951124 swapFree=67111528/67111528 [pid=14568] ppid=14566 vsize=24536 CPUtime=6.29 /proc/14568/stat : 14568 (wbo1.4a) R 14566 14568 14110 0 -1 4202496 5791 0 0 0 620 9 0 0 25 0 1 0 131089765 25124864 5706 4089446400 134512640 135751879 4287156016 18446744073709551615 134603007 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/14568/statm: 6134 5706 146 303 0 5829 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 24536 [startup+12.7011 s] /proc/loadavg: 2.04 2.01 2.00 3/179 14570 /proc/meminfo: memFree=29879500/32951124 swapFree=67111528/67111528 [pid=14568] ppid=14566 vsize=41048 CPUtime=12.69 /proc/14568/stat : 14568 (wbo1.4a) R 14566 14568 14110 0 -1 4202496 9915 0 0 0 1250 19 0 0 25 0 1 0 131089765 42033152 9830 4089446400 134512640 135751879 4287156016 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/14568/statm: 10262 9830 146 303 0 9957 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 41048 [startup+25.5008 s] /proc/loadavg: 2.03 2.01 2.00 3/179 14570 /proc/meminfo: memFree=29827616/32951124 swapFree=67111528/67111528 [pid=14568] ppid=14566 vsize=78420 CPUtime=25.49 /proc/14568/stat : 14568 (wbo1.4a) R 14566 14568 14110 0 -1 4202496 19246 0 0 0 2510 39 0 0 25 0 1 0 131089765 80302080 19161 4089446400 134512640 135751879 4287156016 18446744073709551615 135200324 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/14568/statm: 19605 19161 146 303 0 19300 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 78420 Solver just ended. Dumping a history of the last processes samples [startup+27.1005 s] /proc/loadavg: 2.03 2.00 2.00 3/179 14570 /proc/meminfo: memFree=29823272/32951124 swapFree=67111528/67111528 [pid=14568] ppid=14566 vsize=80268 CPUtime=27.09 /proc/14568/stat : 14568 (wbo1.4a) R 14566 14568 14110 0 -1 4202496 19716 0 0 0 2667 42 0 0 25 0 1 0 131089765 82194432 19631 4089446400 134512640 135751879 4287156016 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/14568/statm: 20067 19631 146 303 0 19762 0 Current children cumulated CPU time (s) 27.09 Current children cumulated vsize (KiB) 80268 [startup+28.7003 s] /proc/loadavg: 2.03 2.00 2.00 3/179 14571 /proc/meminfo: memFree=29815460/32951124 swapFree=67111528/67111528 [pid=14568] ppid=14566 vsize=84892 CPUtime=28.69 /proc/14568/stat : 14568 (wbo1.4a) R 14566 14568 14110 0 -1 4202496 20875 0 0 0 2825 44 0 0 25 0 1 0 131089765 86929408 20790 4089446400 134512640 135751879 4287156016 18446744073709551615 134602992 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/14568/statm: 21223 20790 146 303 0 20918 0 Current children cumulated CPU time (s) 28.69 Current children cumulated vsize (KiB) 84892 [startup+29.1002 s] /proc/loadavg: 2.03 2.00 2.00 3/179 14571 /proc/meminfo: memFree=29815460/32951124 swapFree=67111528/67111528 [pid=14568] ppid=14566 vsize=86608 CPUtime=29.09 /proc/14568/stat : 14568 (wbo1.4a) R 14566 14568 14110 0 -1 4202496 21305 0 0 0 2864 45 0 0 25 0 1 0 131089765 88686592 21220 4089446400 134512640 135751879 4287156016 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/14568/statm: 21652 21220 146 303 0 21347 0 Current children cumulated CPU time (s) 29.09 Current children cumulated vsize (KiB) 86608 [startup+29.3002 s] /proc/loadavg: 2.03 2.00 2.00 3/179 14571 /proc/meminfo: memFree=29815460/32951124 swapFree=67111528/67111528 [pid=14568] ppid=14566 vsize=87400 CPUtime=29.29 /proc/14568/stat : 14568 (wbo1.4a) R 14566 14568 14110 0 -1 4202496 21491 0 0 0 2884 45 0 0 25 0 1 0 131089765 89497600 21406 4089446400 134512640 135751879 4287156016 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/14568/statm: 21850 21406 146 303 0 21545 0 Current children cumulated CPU time (s) 29.29 Current children cumulated vsize (KiB) 87400 Child status: 0 Real time (s): 29.3458 CPU time (s): 29.3465 CPU user time (s): 28.8866 CPU system time (s): 0.45993 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 87400 getrusage(RUSAGE_CHILDREN,...) data: user time used= 28.8866 system time used= 0.45993 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 21549 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 36 runsolver used 0.052991 second user time and 0.085986 second system time The end
Begin job on node140 at 2010-06-30 13:39:13 IDJOB=2689896 IDBENCH=78821 IDSOLVER=1200 FILE ID=node140/2689896-1277897953 PBS_JOBID= 11197154 Free space on /tmp= 74200 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110966688--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-2689896-1277897953/watcher-2689896-1277897953 -o /tmp/evaluation-result-2689896-1277897953/solver-2689896-1277897953 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689896-1277897953.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 933a31389d3b5781af16184cd4c2b51e RANDOM SEED=1935449097 node140.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.790 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.58 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.790 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.07 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.790 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.790 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.89 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.790 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 : 5421.15 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.790 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.790 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.790 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: 29928608 kB Buffers: 181268 kB Cached: 1277380 kB SwapCached: 0 kB Active: 2158168 kB Inactive: 719124 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 29928608 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2996 kB Writeback: 0 kB AnonPages: 1418928 kB Mapped: 15084 kB Slab: 79524 kB PageTables: 7808 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1567316 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74196 MiB End job on node140 at 2010-06-30 13:39:42