Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | OPTIMUM | 20.0589 | 20.0589 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110975607--soft-66-100-0.wbo |
MD5SUM | f14f38c52eae9b3d7e1acb0a0a832bae |
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 | 18 |
Best CPU time to get the best result obtained on this benchmark | 0.121981 |
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 | 1221 |
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-2689948-1277899209.wbo. 0.00/0.00 c Instance file HOME/instance-2689948-1277899209.wbo 0.00/0.00 c File size is 10114 bytes. 0.00/0.00 c Highest Coefficient sum: 1221 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 | 255 | 169 101 1205 | 6050 255 43 | 0.004 % | 0.00/0.01 c | 480 | 169 101 1205 | 6655 480 38 | 0.004 % | 0.00/0.02 c | 817 | 169 101 1205 | 7320 817 37 | 0.004 % | 0.00/0.03 c | 1323 | 169 101 1205 | 8052 1323 36 | 0.004 % | 0.00/0.06 c | 2082 | 169 101 1205 | 8857 2082 38 | 0.004 % | 0.09/0.10 c | 3221 | 169 101 1205 | 9743 3221 37 | 0.004 % | 0.09/0.18 c | 4929 | 169 101 1205 | 10717 4929 37 | 0.004 % | 0.29/0.31 c | 7491 | 169 101 1205 | 11789 7491 40 | 0.004 % | 0.49/0.55 c | 11335 | 169 101 1205 | 12968 11335 41 | 0.004 % | 0.89/0.96 c | 17104 | 169 101 1205 | 14265 10578 42 | 0.004 % | 1.49/1.59 c | 25754 | 169 101 1205 | 15692 12045 45 | 0.004 % | 2.59/2.67 c | 38728 | 169 101 1205 | 17261 9221 46 | 0.004 % | 2.89/2.97 c =============================================================================== 3.09/3.11 c core #1 3.09/3.11 c ============================[ Search Statistics ]============================== 3.09/3.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.09/3.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.09/3.11 c =============================================================================== 3.09/3.11 c | 0 | 198 130 1569 | 5000 0 nan | 0.000 % | 3.09/3.12 c | 100 | 198 130 1569 | 5500 100 35 | 0.003 % | 3.09/3.12 c | 253 | 198 130 1569 | 6050 253 39 | 0.003 % | 3.09/3.13 c | 478 | 198 130 1569 | 6655 478 35 | 0.003 % | 3.09/3.14 c | 817 | 198 130 1569 | 7320 817 33 | 0.003 % | 3.09/3.15 c | 1323 | 198 130 1569 | 8052 1323 33 | 0.003 % | 3.09/3.17 c | 2082 | 198 130 1569 | 8857 2082 31 | 0.003 % | 3.19/3.22 c | 3221 | 198 130 1569 | 9743 3221 32 | 0.003 % | 3.19/3.30 c | 4931 | 198 130 1569 | 10717 4931 36 | 0.003 % | 3.39/3.42 c | 7494 | 198 130 1569 | 11789 7494 39 | 0.003 % | 3.59/3.66 c | 11338 | 198 130 1569 | 12968 11338 40 | 0.003 % | 3.99/4.04 c | 17105 | 198 130 1569 | 14265 10561 41 | 0.003 % | 4.69/4.74 c | 25754 | 198 130 1569 | 15692 12048 43 | 0.003 % | 5.59/5.64 c | 38729 | 198 130 1569 | 17261 9230 44 | 0.003 % | 6.50/6.59 c =============================================================================== 6.69/6.75 c core #2 6.69/6.75 c ============================[ Search Statistics ]============================== 6.69/6.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.69/6.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.69/6.75 c =============================================================================== 6.69/6.75 c | 0 | 226 158 1918 | 5000 0 nan | 0.000 % | 6.69/6.75 c | 100 | 226 158 1918 | 5500 100 35 | 0.002 % | 6.69/6.75 c | 250 | 226 158 1918 | 6050 250 35 | 0.002 % | 6.69/6.76 c | 477 | 226 158 1918 | 6655 477 33 | 0.002 % | 6.69/6.77 c | 815 | 226 158 1918 | 7320 815 31 | 0.002 % | 6.69/6.79 c | 1321 | 226 158 1918 | 8052 1321 32 | 0.002 % | 6.79/6.81 c | 2083 | 226 158 1918 | 8857 2083 32 | 0.002 % | 6.79/6.85 c | 3223 | 226 158 1918 | 9743 3223 33 | 0.002 % | 6.89/6.93 c | 4932 | 226 158 1918 | 10717 4932 36 | 0.002 % | 6.99/7.06 c | 7496 | 226 158 1918 | 11789 7496 36 | 0.002 % | 7.19/7.28 c | 11341 | 226 158 1918 | 12968 11341 37 | 0.002 % | 7.59/7.63 c | 17107 | 226 158 1918 | 14265 10572 40 | 0.002 % | 8.19/8.23 c | 25757 | 226 158 1918 | 15692 12045 42 | 0.002 % | 9.09/9.12 c | 38735 | 183 158 1918 | 17261 1894 40 | 19.029 % | 9.09/9.17 c =============================================================================== 9.19/9.29 c core #3 9.19/9.29 c ============================[ Search Statistics ]============================== 9.19/9.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.19/9.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.19/9.29 c =============================================================================== 9.19/9.29 c | 0 | 255 186 2269 | 5000 0 nan | 0.000 % | 9.19/9.29 c | 100 | 255 186 2269 | 5500 100 43 | 0.002 % | 9.29/9.30 c | 250 | 255 186 2269 | 6050 250 42 | 0.002 % | 9.29/9.30 c | 475 | 255 186 2269 | 6655 475 38 | 0.002 % | 9.29/9.31 c | 812 | 255 186 2269 | 7320 812 35 | 0.002 % | 9.29/9.33 c | 1318 | 255 186 2269 | 8052 1318 34 | 0.002 % | 9.29/9.35 c | 2078 | 255 186 2269 | 8857 2078 35 | 0.002 % | 9.39/9.40 c | 3217 | 255 186 2269 | 9743 3217 35 | 0.002 % | 9.39/9.48 c | 4925 | 255 186 2269 | 10717 4925 37 | 0.002 % | 9.59/9.62 c | 7488 | 255 186 2269 | 11789 7488 36 | 0.002 % | 9.79/9.87 c | 11332 | 255 186 2269 | 12968 11332 40 | 0.002 % | 10.29/10.31 c | 17099 | 255 186 2269 | 14265 10563 44 | 0.002 % | 10.89/11.00 c | 25750 | 255 186 2269 | 15692 12025 44 | 0.002 % | 11.89/11.94 c | 38725 | 255 186 2269 | 17261 9208 43 | 0.002 % | 12.19/12.27 c =============================================================================== 12.39/12.41 c core #4 12.39/12.41 c ============================[ Search Statistics ]============================== 12.39/12.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.39/12.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.39/12.41 c =============================================================================== 12.39/12.41 c | 0 | 282 213 2613 | 5000 0 nan | 0.000 % | 12.39/12.42 c | 100 | 282 213 2613 | 5500 100 43 | 0.001 % | 12.39/12.42 c | 251 | 282 213 2613 | 6050 251 37 | 0.001 % | 12.39/12.43 c | 477 | 282 213 2613 | 6655 477 34 | 0.001 % | 12.39/12.44 c | 814 | 282 213 2613 | 7320 814 32 | 0.001 % | 12.39/12.45 c | 1320 | 282 213 2613 | 8052 1320 30 | 0.001 % | 12.39/12.48 c | 2079 | 282 213 2613 | 8857 2079 32 | 0.001 % | 12.49/12.52 c | 3218 | 282 213 2613 | 9743 3218 34 | 0.001 % | 12.49/12.60 c | 4926 | 282 213 2613 | 10717 4926 34 | 0.001 % | 12.69/12.74 c | 7489 | 282 213 2613 | 11789 7489 35 | 0.001 % | 12.89/12.98 c | 11333 | 282 213 2613 | 12968 11333 35 | 0.001 % | 13.29/13.35 c | 17099 | 282 213 2613 | 14265 10557 38 | 0.001 % | 13.79/13.89 c | 25750 | 282 213 2613 | 15692 12054 41 | 0.001 % | 14.69/14.73 c | 38725 | 193 213 2613 | 17261 6071 47 | 35.817 % | 14.69/14.73 c =============================================================================== 14.79/14.84 c core #5 14.79/14.84 c ============================[ Search Statistics ]============================== 14.79/14.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.79/14.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.79/14.84 c =============================================================================== 14.79/14.84 c | 0 | 310 241 2966 | 5000 0 nan | 0.000 % | 14.79/14.85 c | 103 | 310 241 2966 | 5500 103 42 | 0.001 % | 14.79/14.85 c | 253 | 310 241 2966 | 6050 253 37 | 0.001 % | 14.79/14.86 c | 478 | 310 241 2966 | 6655 478 35 | 0.001 % | 14.79/14.87 c | 817 | 310 241 2966 | 7320 817 33 | 0.001 % | 14.79/14.88 c | 1323 | 310 241 2966 | 8052 1323 36 | 0.001 % | 14.89/14.91 c | 2082 | 310 241 2966 | 8857 2082 35 | 0.001 % | 14.89/14.95 c | 3221 | 310 241 2966 | 9743 3221 35 | 0.001 % | 14.99/15.03 c | 4931 | 310 241 2966 | 10717 4931 35 | 0.001 % | 15.09/15.15 c | 7493 | 310 241 2966 | 11789 7493 36 | 0.001 % | 15.30/15.38 c | 11339 | 310 241 2966 | 12968 11339 37 | 0.001 % | 15.69/15.75 c | 17105 | 310 241 2966 | 14265 10566 40 | 0.001 % | 16.29/16.38 c | 25754 | 310 241 2966 | 15692 12042 43 | 0.001 % | 17.29/17.31 c | 38728 | 310 241 2966 | 17261 9223 46 | 0.001 % | 18.59/18.67 c | 58190 | 310 241 2966 | 18987 11325 46 | 0.046 % | 18.89/18.97 c =============================================================================== 19.10/19.17 c core #6 19.10/19.17 c ============================[ Search Statistics ]============================== 19.10/19.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.10/19.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.10/19.17 c =============================================================================== 19.10/19.17 c | 0 | 346 272 3363 | 5000 0 nan | 0.000 % | 19.10/19.18 c | 102 | 346 272 3363 | 5500 102 38 | 0.001 % | 19.10/19.19 c | 252 | 346 272 3363 | 6050 252 37 | 0.001 % | 19.10/19.19 c | 477 | 346 272 3363 | 6655 477 35 | 0.001 % | 19.19/19.20 c | 816 | 346 272 3363 | 7320 816 37 | 0.001 % | 19.19/19.22 c | 1324 | 346 272 3363 | 8052 1324 39 | 0.001 % | 19.19/19.24 c | 2085 | 346 272 3363 | 8857 2085 39 | 0.001 % | 19.19/19.29 c | 3225 | 346 272 3363 | 9743 3225 38 | 0.001 % | 19.29/19.36 c | 4934 | 346 272 3363 | 10717 4934 37 | 0.001 % | 19.49/19.50 c | 7499 | 346 272 3363 | 11789 7499 38 | 0.001 % | 19.69/19.73 c | 11343 | 346 272 3363 | 12968 11343 39 | 0.001 % | 20.00/20.05 c =============================================================================== 20.00/20.05 c #cores: 6 20.00/20.05 c Final Weight: 18 20.00/20.05 o 18 20.00/20.05 s OPTIMUM FOUND 20.00/20.05 v -x1 -x2 -x3 -x4 x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 x63 -x64 -x65 -x66 -x67 x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 x169 20.00/20.05 c Total CPU time: 19.785 s
OK 18
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2689948-1277899209/watcher-2689948-1277899209 -o /tmp/evaluation-result-2689948-1277899209/solver-2689948-1277899209 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689948-1277899209.wbo Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.02 2.00 2.00 4/196 14970 /proc/meminfo: memFree=30945408/32951124 swapFree=67111528/67111528 [pid=14970] ppid=14968 vsize=2576 CPUtime=0 /proc/14970/stat : 14970 (wbo1.4a) R 14968 14970 14210 0 -1 4202496 290 0 0 0 0 0 0 0 25 0 1 0 131215347 2637824 205 4089446400 134512640 135751879 4288833600 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/14970/statm: 644 205 143 303 0 339 0 [startup+0.069614 s] /proc/loadavg: 2.02 2.00 2.00 4/196 14970 /proc/meminfo: memFree=30945408/32951124 swapFree=67111528/67111528 [pid=14970] ppid=14968 vsize=3104 CPUtime=0.06 /proc/14970/stat : 14970 (wbo1.4a) R 14968 14970 14210 0 -1 4202496 428 0 0 0 6 0 0 0 25 0 1 0 131215347 3178496 343 4089446400 134512640 135751879 4288833600 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/14970/statm: 776 343 143 303 0 471 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 3104 [startup+0.100605 s] /proc/loadavg: 2.02 2.00 2.00 4/196 14970 /proc/meminfo: memFree=30945408/32951124 swapFree=67111528/67111528 [pid=14970] ppid=14968 vsize=3380 CPUtime=0.09 /proc/14970/stat : 14970 (wbo1.4a) R 14968 14970 14210 0 -1 4202496 486 0 0 0 9 0 0 0 25 0 1 0 131215347 3461120 401 4089446400 134512640 135751879 4288833600 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/14970/statm: 845 401 143 303 0 540 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3380 [startup+0.300563 s] /proc/loadavg: 2.02 2.00 2.00 4/196 14970 /proc/meminfo: memFree=30945408/32951124 swapFree=67111528/67111528 [pid=14970] ppid=14968 vsize=4568 CPUtime=0.29 /proc/14970/stat : 14970 (wbo1.4a) R 14968 14970 14210 0 -1 4202496 790 0 0 0 29 0 0 0 25 0 1 0 131215347 4677632 705 4089446400 134512640 135751879 4288833600 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/14970/statm: 1142 705 143 303 0 837 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4568 [startup+0.70049 s] /proc/loadavg: 2.02 2.00 2.00 4/196 14970 /proc/meminfo: memFree=30945408/32951124 swapFree=67111528/67111528 [pid=14970] ppid=14968 vsize=6324 CPUtime=0.69 /proc/14970/stat : 14970 (wbo1.4a) R 14968 14970 14210 0 -1 4202496 1225 0 0 0 68 1 0 0 25 0 1 0 131215347 6475776 1140 4089446400 134512640 135751879 4288833600 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/14970/statm: 1581 1140 143 303 0 1276 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6324 [startup+1.50035 s] /proc/loadavg: 2.01 2.00 2.00 3/197 14971 /proc/meminfo: memFree=30939944/32951124 swapFree=67111528/67111528 [pid=14970] ppid=14968 vsize=9624 CPUtime=1.49 /proc/14970/stat : 14970 (wbo1.4a) R 14968 14970 14210 0 -1 4202496 2044 0 0 0 147 2 0 0 25 0 1 0 131215347 9854976 1959 4089446400 134512640 135751879 4288833600 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/14970/statm: 2406 1959 143 303 0 2101 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9624 [startup+3.10108 s] /proc/loadavg: 2.01 2.00 2.00 3/197 14971 /proc/meminfo: memFree=30935740/32951124 swapFree=67111528/67111528 [pid=14970] ppid=14968 vsize=16624 CPUtime=3.09 /proc/14970/stat : 14970 (wbo1.4a) R 14968 14970 14210 0 -1 4202496 3794 0 0 0 305 4 0 0 25 0 1 0 131215347 17022976 3709 4089446400 134512640 135751879 4288833600 18446744073709551615 134617941 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/14970/statm: 4156 3709 143 303 0 3851 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16624 [startup+6.3005 s] /proc/loadavg: 2.01 2.00 2.00 3/197 14971 /proc/meminfo: memFree=30919248/32951124 swapFree=67111528/67111528 [pid=14970] ppid=14968 vsize=24420 CPUtime=6.29 /proc/14970/stat : 14970 (wbo1.4a) R 14968 14970 14210 0 -1 4202496 5749 0 0 0 620 9 0 0 25 0 1 0 131215347 25006080 5664 4089446400 134512640 135751879 4288833600 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/14970/statm: 6105 5664 146 303 0 5800 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 24420 [startup+12.7004 s] /proc/loadavg: 2.01 2.00 2.00 3/197 14971 /proc/meminfo: memFree=30900112/32951124 swapFree=67111528/67111528 [pid=14970] ppid=14968 vsize=42372 CPUtime=12.69 /proc/14970/stat : 14970 (wbo1.4a) R 14968 14970 14210 0 -1 4202496 10252 0 0 0 1252 17 0 0 18 0 1 0 131215347 43388928 10167 4089446400 134512640 135751879 4288833600 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/14970/statm: 10593 10167 146 303 0 10288 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 42372 Solver just ended. Dumping a history of the last processes samples [startup+15.9008 s] /proc/loadavg: 2.01 2.00 2.00 3/197 14971 /proc/meminfo: memFree=30891800/32951124 swapFree=67111528/67111528 [pid=14970] ppid=14968 vsize=48312 CPUtime=15.89 /proc/14970/stat : 14970 (wbo1.4a) R 14968 14970 14210 0 -1 4202496 11722 0 0 0 1568 21 0 0 25 0 1 0 131215347 49471488 11637 4089446400 134512640 135751879 4288833600 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/14970/statm: 12078 11637 146 303 0 11773 0 Current children cumulated CPU time (s) 15.89 Current children cumulated vsize (KiB) 48312 [startup+17.5005 s] /proc/loadavg: 2.01 2.00 2.00 3/197 14971 /proc/meminfo: memFree=30886096/32951124 swapFree=67111528/67111528 [pid=14970] ppid=14968 vsize=53988 CPUtime=17.49 /proc/14970/stat : 14970 (wbo1.4a) R 14968 14970 14210 0 -1 4202496 13142 0 0 0 1727 22 0 0 25 0 1 0 131215347 55283712 13057 4089446400 134512640 135751879 4288833600 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/14970/statm: 13497 13057 146 303 0 13192 0 Current children cumulated CPU time (s) 17.49 Current children cumulated vsize (KiB) 53988 [startup+19.1002 s] /proc/loadavg: 2.01 2.00 2.00 3/197 14971 /proc/meminfo: memFree=30881752/32951124 swapFree=67111528/67111528 [pid=14970] ppid=14968 vsize=61776 CPUtime=19.1 /proc/14970/stat : 14970 (wbo1.4a) R 14968 14970 14210 0 -1 4202496 15107 0 0 0 1885 25 0 0 25 0 1 0 131215347 63258624 15022 4089446400 134512640 135751879 4288833600 18446744073709551615 134520789 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/14970/statm: 15444 15022 146 303 0 15139 0 Current children cumulated CPU time (s) 19.1 Current children cumulated vsize (KiB) 61776 [startup+19.5002 s] /proc/loadavg: 2.01 2.00 2.00 3/197 14971 /proc/meminfo: memFree=30881752/32951124 swapFree=67111528/67111528 [pid=14970] ppid=14968 vsize=61912 CPUtime=19.49 /proc/14970/stat : 14970 (wbo1.4a) R 14968 14970 14210 0 -1 4202496 15130 0 0 0 1923 26 0 0 25 0 1 0 131215347 63397888 15045 4089446400 134512640 135751879 4288833600 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/14970/statm: 15478 15045 146 303 0 15173 0 Current children cumulated CPU time (s) 19.49 Current children cumulated vsize (KiB) 61912 [startup+19.9001 s] /proc/loadavg: 2.01 2.00 2.00 3/197 14971 /proc/meminfo: memFree=30878404/32951124 swapFree=67111528/67111528 [pid=14970] ppid=14968 vsize=61912 CPUtime=19.89 /proc/14970/stat : 14970 (wbo1.4a) R 14968 14970 14210 0 -1 4202496 15130 0 0 0 1963 26 0 0 25 0 1 0 131215347 63397888 15045 4089446400 134512640 135751879 4288833600 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/14970/statm: 15478 15045 146 303 0 15173 0 Current children cumulated CPU time (s) 19.89 Current children cumulated vsize (KiB) 61912 [startup+20.0011 s] /proc/loadavg: 2.01 2.00 2.00 3/197 14971 /proc/meminfo: memFree=30878404/32951124 swapFree=67111528/67111528 [pid=14970] ppid=14968 vsize=61912 CPUtime=20 /proc/14970/stat : 14970 (wbo1.4a) R 14968 14970 14210 0 -1 4202496 15130 0 0 0 1973 27 0 0 25 0 1 0 131215347 63397888 15045 4089446400 134512640 135751879 4288833600 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/14970/statm: 15478 15045 146 303 0 15173 0 Current children cumulated CPU time (s) 20 Current children cumulated vsize (KiB) 61912 Child status: 0 Real time (s): 20.0589 CPU time (s): 20.0589 CPU user time (s): 19.785 CPU system time (s): 0.273958 CPU usage (%): 100 Max. virtual memory (cumulated for all children) (KiB): 61912 getrusage(RUSAGE_CHILDREN,...) data: user time used= 19.785 system time used= 0.273958 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 15130 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2 involuntary context switches= 13 runsolver used 0.026995 second user time and 0.072988 second system time The end
Begin job on node140 at 2010-06-30 14:00:09 IDJOB=2689948 IDBENCH=78856 IDSOLVER=1200 FILE ID=node140/2689948-1277899209 PBS_JOBID= 11197170 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.1110975607--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-2689948-1277899209/watcher-2689948-1277899209 -o /tmp/evaluation-result-2689948-1277899209/solver-2689948-1277899209 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689948-1277899209.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= f14f38c52eae9b3d7e1acb0a0a832bae RANDOM SEED=785866302 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: 30945936 kB Buffers: 182332 kB Cached: 1275248 kB SwapCached: 0 kB Active: 1144988 kB Inactive: 717384 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30945936 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2780 kB Writeback: 0 kB AnonPages: 404476 kB Mapped: 20408 kB Slab: 79504 kB PageTables: 5564 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1652244 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= 74200 MiB End job on node140 at 2010-06-30 14:00:29