Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | OPTIMUM | 38.7841 | 38.7833 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111225605--soft-66-100-0.wbo |
MD5SUM | 0b429bb598a1356114a5dedac9be9982 |
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.226964 |
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 | 28 |
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 | 1415 |
Min constraint cost | 1 |
Max constraint cost | 98 |
Sum of constraints costs | 1414 |
Biggest number in a constraint | 38 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 1240 |
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-2689923-1277898635.wbo. 0.00/0.00 c Instance file HOME/instance-2689923-1277898635.wbo 0.00/0.00 c File size is 10104 bytes. 0.00/0.00 c Highest Coefficient sum: 1240 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 47 | 0.004 % | 0.00/0.01 c | 477 | 169 101 1205 | 6655 477 42 | 0.004 % | 0.00/0.02 c | 815 | 169 101 1205 | 7320 815 35 | 0.004 % | 0.00/0.03 c | 1322 | 169 101 1205 | 8052 1322 35 | 0.004 % | 0.00/0.06 c | 2081 | 169 101 1205 | 8857 2081 35 | 0.004 % | 0.08/0.09 c | 3221 | 169 101 1205 | 9743 3221 34 | 0.004 % | 0.09/0.16 c | 4929 | 169 101 1205 | 10717 4929 36 | 0.004 % | 0.19/0.28 c | 7491 | 169 101 1205 | 11789 7491 37 | 0.004 % | 0.39/0.48 c | 11335 | 169 101 1205 | 12968 11335 38 | 0.004 % | 0.79/0.83 c | 17102 | 169 101 1205 | 14265 10574 40 | 0.004 % | 1.29/1.37 c | 25751 | 169 101 1205 | 15692 12034 43 | 0.004 % | 2.19/2.28 c | 38729 | 169 101 1205 | 17261 9200 47 | 0.004 % | 3.69/3.72 c | 58190 | 130 101 1205 | 18987 2223 40 | 23.080 % | 3.79/3.82 c =============================================================================== 3.99/4.02 c core #1 3.99/4.02 c ============================[ Search Statistics ]============================== 3.99/4.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.99/4.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.99/4.02 c =============================================================================== 3.99/4.02 c | 0 | 196 129 1699 | 5000 0 nan | 0.000 % | 3.99/4.02 c | 100 | 196 129 1699 | 5500 100 34 | 0.003 % | 3.99/4.02 c | 250 | 196 129 1699 | 6050 250 38 | 0.003 % | 3.99/4.03 c | 475 | 196 129 1699 | 6655 475 36 | 0.003 % | 3.99/4.04 c | 813 | 196 129 1699 | 7320 813 39 | 0.003 % | 3.99/4.05 c | 1319 | 196 129 1699 | 8052 1319 36 | 0.003 % | 3.99/4.08 c | 2078 | 196 129 1699 | 8857 2078 34 | 0.003 % | 4.09/4.12 c | 3217 | 196 129 1699 | 9743 3217 35 | 0.003 % | 4.19/4.20 c | 4925 | 196 129 1699 | 10717 4925 37 | 0.003 % | 4.30/4.33 c | 7489 | 196 129 1699 | 11789 7489 38 | 0.003 % | 4.49/4.56 c | 11333 | 196 129 1699 | 12968 11333 39 | 0.003 % | 4.89/4.99 c | 17101 | 196 129 1699 | 14265 10572 43 | 0.003 % | 5.59/5.66 c | 25750 | 196 129 1699 | 15692 12032 45 | 0.003 % | 6.59/6.66 c | 38725 | 196 129 1699 | 17261 9204 44 | 0.003 % | 7.49/7.57 c =============================================================================== 7.69/7.75 c core #2 7.69/7.75 c ============================[ Search Statistics ]============================== 7.69/7.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.69/7.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.69/7.75 c =============================================================================== 7.69/7.75 c | 0 | 222 155 2172 | 5000 0 nan | 0.000 % | 7.69/7.76 c | 100 | 222 155 2172 | 5500 100 36 | 0.002 % | 7.69/7.76 c | 250 | 222 155 2172 | 6050 250 36 | 0.002 % | 7.69/7.77 c | 475 | 222 155 2172 | 6655 475 36 | 0.002 % | 7.69/7.78 c | 813 | 222 155 2172 | 7320 813 39 | 0.002 % | 7.69/7.79 c | 1320 | 222 155 2172 | 8052 1320 37 | 0.002 % | 7.79/7.82 c | 2080 | 222 155 2172 | 8857 2080 40 | 0.002 % | 7.79/7.86 c | 3219 | 222 155 2172 | 9743 3219 39 | 0.002 % | 7.89/7.93 c | 4930 | 222 155 2172 | 10717 4930 40 | 0.002 % | 7.99/8.09 c | 7492 | 222 155 2172 | 11789 7492 40 | 0.002 % | 8.29/8.34 c | 11338 | 222 155 2172 | 12968 11338 40 | 0.002 % | 8.70/8.75 c | 17105 | 222 155 2172 | 14265 10576 41 | 0.002 % | 9.29/9.31 c | 25754 | 222 155 2172 | 15692 12062 43 | 0.002 % | 10.19/10.24 c | 38729 | 222 155 2172 | 17261 9231 47 | 0.002 % | 11.69/11.71 c | 58191 | 222 155 2172 | 18987 11336 47 | 0.002 % | 12.29/12.34 c =============================================================================== 12.49/12.59 c core #3 12.49/12.59 c ============================[ Search Statistics ]============================== 12.49/12.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.49/12.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.49/12.59 c =============================================================================== 12.49/12.59 c | 0 | 251 183 2672 | 5000 0 nan | 0.000 % | 12.59/12.60 c | 103 | 251 183 2672 | 5500 103 33 | 0.002 % | 12.59/12.60 c | 253 | 251 183 2672 | 6050 253 34 | 0.002 % | 12.59/12.61 c | 478 | 251 183 2672 | 6655 478 37 | 0.002 % | 12.59/12.62 c | 816 | 251 183 2672 | 7320 816 36 | 0.002 % | 12.59/12.64 c | 1323 | 251 183 2672 | 8052 1323 33 | 0.002 % | 12.59/12.66 c | 2082 | 251 183 2672 | 8857 2082 35 | 0.002 % | 12.69/12.70 c | 3224 | 251 183 2672 | 9743 3224 36 | 0.002 % | 12.69/12.77 c | 4932 | 251 183 2672 | 10717 4932 37 | 0.002 % | 12.89/12.90 c | 7497 | 251 183 2672 | 11789 7497 36 | 0.002 % | 13.10/13.14 c | 11346 | 251 183 2672 | 12968 11346 38 | 0.002 % | 13.49/13.55 c | 17113 | 251 183 2672 | 14265 10579 41 | 0.002 % | 14.09/14.20 c | 25762 | 251 183 2672 | 15692 12038 43 | 0.002 % | 15.09/15.13 c | 38737 | 251 183 2672 | 17261 9200 46 | 0.002 % | 16.60/16.60 c | 58198 | 206 183 2672 | 18987 812 31 | 17.930 % | 16.60/16.65 c =============================================================================== 16.79/16.87 c core #4 16.79/16.87 c ============================[ Search Statistics ]============================== 16.79/16.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.79/16.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.79/16.87 c =============================================================================== 16.79/16.87 c | 0 | 277 209 3145 | 5000 0 nan | 0.000 % | 16.79/16.88 c | 100 | 277 209 3145 | 5500 100 41 | 0.001 % | 16.79/16.88 c | 250 | 277 209 3145 | 6050 250 38 | 0.001 % | 16.79/16.89 c | 476 | 277 209 3145 | 6655 476 36 | 0.001 % | 16.79/16.90 c | 816 | 277 209 3145 | 7320 816 35 | 0.001 % | 16.89/16.91 c | 1322 | 277 209 3145 | 8052 1322 36 | 0.001 % | 16.89/16.94 c | 2081 | 277 209 3145 | 8857 2081 33 | 0.001 % | 16.89/16.98 c | 3220 | 277 209 3145 | 9743 3220 33 | 0.001 % | 16.99/17.06 c | 4928 | 277 209 3145 | 10717 4928 34 | 0.001 % | 17.09/17.20 c | 7490 | 277 209 3145 | 11789 7490 36 | 0.001 % | 17.39/17.44 c | 11334 | 277 209 3145 | 12968 11334 39 | 0.001 % | 17.79/17.85 c | 17101 | 277 209 3145 | 14265 10561 43 | 0.001 % | 18.49/18.52 c | 25750 | 277 209 3145 | 15692 12025 42 | 0.001 % | 19.39/19.46 c | 38724 | 277 209 3145 | 17261 9212 44 | 0.001 % | 20.99/21.03 c | 58185 | 277 209 3145 | 18987 11336 46 | 0.001 % | 21.29/21.37 c =============================================================================== 21.59/21.61 c core #5 21.59/21.61 c ============================[ Search Statistics ]============================== 21.59/21.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.59/21.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.59/21.61 c =============================================================================== 21.59/21.61 c | 0 | 301 234 3601 | 5000 0 nan | 0.000 % | 21.59/21.62 c | 100 | 301 234 3601 | 5500 100 31 | 0.001 % | 21.59/21.63 c | 250 | 301 234 3601 | 6050 250 38 | 0.001 % | 21.59/21.63 c | 477 | 301 234 3601 | 6655 477 33 | 0.001 % | 21.59/21.64 c | 815 | 301 234 3601 | 7320 815 32 | 0.001 % | 21.59/21.66 c | 1321 | 301 234 3601 | 8052 1321 31 | 0.001 % | 21.59/21.68 c | 2080 | 301 234 3601 | 8857 2080 31 | 0.001 % | 21.69/21.73 c | 3219 | 301 234 3601 | 9743 3219 32 | 0.001 % | 21.79/21.80 c | 4927 | 301 234 3601 | 10717 4927 34 | 0.001 % | 21.90/21.93 c | 7491 | 301 234 3601 | 11789 7491 35 | 0.001 % | 22.19/22.20 c | 11335 | 301 234 3601 | 12968 11335 37 | 0.001 % | 22.49/22.59 c | 17101 | 301 234 3601 | 14265 10565 42 | 0.001 % | 23.10/23.17 c | 25750 | 301 234 3601 | 15692 12025 42 | 0.001 % | 23.99/24.10 c | 38724 | 301 234 3601 | 17261 9193 44 | 0.001 % | 25.49/25.56 c | 58186 | 301 234 3601 | 18987 11283 46 | 0.001 % | 26.69/26.77 c =============================================================================== 26.99/27.06 c core #6 26.99/27.06 c ============================[ Search Statistics ]============================== 26.99/27.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 26.99/27.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 26.99/27.06 c =============================================================================== 26.99/27.06 c | 0 | 334 263 4126 | 5000 0 nan | 0.000 % | 26.99/27.07 c | 102 | 334 263 4126 | 5500 102 40 | 0.001 % | 26.99/27.07 c | 254 | 334 263 4126 | 6050 254 41 | 0.001 % | 26.99/27.08 c | 479 | 334 263 4126 | 6655 479 35 | 0.001 % | 26.99/27.09 c | 816 | 334 263 4126 | 7320 816 34 | 0.001 % | 27.09/27.11 c | 1322 | 334 263 4126 | 8052 1322 35 | 0.001 % | 27.09/27.13 c | 2082 | 334 263 4126 | 8857 2082 35 | 0.001 % | 27.09/27.17 c | 3223 | 334 263 4126 | 9743 3223 36 | 0.001 % | 27.19/27.25 c | 4931 | 334 263 4126 | 10717 4931 35 | 0.001 % | 27.29/27.38 c | 7493 | 334 263 4126 | 11789 7493 36 | 0.001 % | 27.59/27.60 c | 11337 | 334 263 4126 | 12968 11337 38 | 0.001 % | 27.99/28.00 c | 17103 | 334 263 4126 | 14265 10563 44 | 0.001 % | 28.60/28.66 c | 25754 | 334 263 4126 | 15692 12042 44 | 0.001 % | 29.60/29.66 c | 38729 | 334 263 4126 | 17261 9228 49 | 0.001 % | 31.29/31.39 c | 58193 | 334 263 4126 | 18987 11314 46 | 0.001 % | 31.59/31.68 c =============================================================================== 31.90/31.93 c core #7 31.90/31.93 c ============================[ Search Statistics ]============================== 31.90/31.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 31.90/31.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 31.90/31.93 c =============================================================================== 31.90/31.93 c | 0 | 361 288 4593 | 5000 0 nan | 0.000 % | 31.90/31.94 c | 100 | 361 288 4593 | 5500 100 31 | 0.001 % | 31.90/31.94 c | 252 | 361 288 4593 | 6050 252 36 | 0.001 % | 31.90/31.95 c | 480 | 361 288 4593 | 6655 480 35 | 0.001 % | 31.90/31.96 c | 819 | 361 288 4593 | 7320 819 33 | 0.001 % | 31.90/31.98 c | 1327 | 361 288 4593 | 8052 1327 33 | 0.001 % | 31.99/32.01 c | 2088 | 361 288 4593 | 8857 2088 35 | 0.001 % | 31.99/32.05 c | 3227 | 361 288 4593 | 9743 3227 35 | 0.001 % | 32.10/32.13 c | 4935 | 361 288 4593 | 10717 4935 36 | 0.001 % | 32.19/32.27 c | 7497 | 361 288 4593 | 11789 7497 37 | 0.001 % | 32.49/32.52 c | 11343 | 361 288 4593 | 12968 11343 36 | 0.001 % | 32.79/32.89 c | 17109 | 361 288 4593 | 14265 10579 38 | 0.001 % | 33.50/33.50 c | 25760 | 361 288 4593 | 15692 12049 42 | 0.001 % | 34.39/34.48 c | 38736 | 361 288 4593 | 17261 9222 45 | 0.001 % | 35.89/35.94 c | 58200 | 361 288 4593 | 18987 11300 50 | 0.001 % | 38.39/38.50 c | 87392 | 361 288 4593 | 20886 11842 49 | 0.025 % | 38.70/38.77 c =============================================================================== 38.70/38.77 c #cores: 7 38.70/38.77 c Final Weight: 17 38.70/38.77 o 17 38.70/38.77 s OPTIMUM FOUND 38.70/38.77 v -x1 -x2 -x3 -x4 -x5 -x6 x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 x25 -x26 -x27 -x28 x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 x75 -x76 -x77 -x78 -x79 -x80 -x81 x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 x167 -x168 -x169 38.70/38.77 c Total CPU time: 37.6183 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-2689923-1277898635/watcher-2689923-1277898635 -o /tmp/evaluation-result-2689923-1277898635/solver-2689923-1277898635 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689923-1277898635.wbo Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.93 2.00 1.99 3/178 11902 /proc/meminfo: memFree=31048648/32951124 swapFree=67111528/67111528 [pid=11902] ppid=11900 vsize=2572 CPUtime=0 /proc/11902/stat : 11902 (wbo1.4a) R 11900 11902 9876 0 -1 4202496 292 0 0 0 0 0 0 0 23 0 1 0 131158940 2633728 208 4089446400 134512640 135751879 4289600240 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11902/statm: 643 208 143 303 0 338 0 [startup+0.090744 s] /proc/loadavg: 1.93 2.00 1.99 3/178 11902 /proc/meminfo: memFree=31048648/32951124 swapFree=67111528/67111528 [pid=11902] ppid=11900 vsize=3364 CPUtime=0.08 /proc/11902/stat : 11902 (wbo1.4a) R 11900 11902 9876 0 -1 4202496 484 0 0 0 8 0 0 0 23 0 1 0 131158940 3444736 400 4089446400 134512640 135751879 4289600240 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11902/statm: 841 400 143 303 0 536 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 3364 [startup+0.100747 s] /proc/loadavg: 1.93 2.00 1.99 3/178 11902 /proc/meminfo: memFree=31048648/32951124 swapFree=67111528/67111528 [pid=11902] ppid=11900 vsize=3364 CPUtime=0.09 /proc/11902/stat : 11902 (wbo1.4a) R 11900 11902 9876 0 -1 4202496 504 0 0 0 9 0 0 0 23 0 1 0 131158940 3444736 420 4089446400 134512640 135751879 4289600240 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11902/statm: 841 420 143 303 0 536 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3364 [startup+0.300708 s] /proc/loadavg: 1.93 2.00 1.99 3/178 11902 /proc/meminfo: memFree=31048648/32951124 swapFree=67111528/67111528 [pid=11902] ppid=11900 vsize=4816 CPUtime=0.29 /proc/11902/stat : 11902 (wbo1.4a) R 11900 11902 9876 0 -1 4202496 837 0 0 0 28 1 0 0 23 0 1 0 131158940 4931584 753 4089446400 134512640 135751879 4289600240 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11902/statm: 1204 753 143 303 0 899 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4816 [startup+0.700636 s] /proc/loadavg: 1.93 2.00 1.99 3/178 11902 /proc/meminfo: memFree=31048648/32951124 swapFree=67111528/67111528 [pid=11902] ppid=11900 vsize=6880 CPUtime=0.69 /proc/11902/stat : 11902 (wbo1.4a) R 11900 11902 9876 0 -1 4202496 1355 0 0 0 65 4 0 0 25 0 1 0 131158940 7045120 1271 4089446400 134512640 135751879 4289600240 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11902/statm: 1720 1271 143 303 0 1415 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6880 [startup+1.50049 s] /proc/loadavg: 1.93 2.00 1.99 3/179 11903 /proc/meminfo: memFree=31043360/32951124 swapFree=67111528/67111528 [pid=11902] ppid=11900 vsize=10708 CPUtime=1.49 /proc/11902/stat : 11902 (wbo1.4a) R 11900 11902 9876 0 -1 4202496 2339 0 0 0 143 6 0 0 25 0 1 0 131158940 10964992 2255 4089446400 134512640 135751879 4289600240 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11902/statm: 2677 2255 143 303 0 2372 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10708 [startup+3.10021 s] /proc/loadavg: 1.93 2.00 1.99 3/179 11903 /proc/meminfo: memFree=31037656/32951124 swapFree=67111528/67111528 [pid=11902] ppid=11900 vsize=17836 CPUtime=3.09 /proc/11902/stat : 11902 (wbo1.4a) R 11900 11902 9876 0 -1 4202496 4108 0 0 0 299 10 0 0 25 0 1 0 131158940 18264064 4024 4089446400 134512640 135751879 4289600240 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11902/statm: 4459 4024 143 303 0 4154 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17836 [startup+6.30062 s] /proc/loadavg: 1.94 2.00 1.99 3/179 11903 /proc/meminfo: memFree=31028424/32951124 swapFree=67111528/67111528 [pid=11902] ppid=11900 vsize=25504 CPUtime=6.29 /proc/11902/stat : 11902 (wbo1.4a) R 11900 11902 9876 0 -1 4202496 6036 0 0 0 610 19 0 0 25 0 1 0 131158940 26116096 5952 4089446400 134512640 135751879 4289600240 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11902/statm: 6376 5952 146 303 0 6071 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 25504 [startup+12.7005 s] /proc/loadavg: 1.94 2.00 1.99 3/179 11903 /proc/meminfo: memFree=31006972/32951124 swapFree=67111528/67111528 [pid=11902] ppid=11900 vsize=48088 CPUtime=12.69 /proc/11902/stat : 11902 (wbo1.4a) R 11900 11902 9876 0 -1 4202496 11663 0 0 0 1230 39 0 0 25 0 1 0 131158940 49242112 11579 4089446400 134512640 135751879 4289600240 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11902/statm: 12022 11579 146 303 0 11717 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 48088 [startup+25.5002 s] /proc/loadavg: 1.96 2.00 1.99 3/179 11903 /proc/meminfo: memFree=30974424/32951124 swapFree=67111528/67111528 [pid=11902] ppid=11900 vsize=78476 CPUtime=25.49 /proc/11902/stat : 11902 (wbo1.4a) R 11900 11902 9876 0 -1 4202496 19268 0 0 0 2472 77 0 0 25 0 1 0 131158940 80359424 19184 4089446400 134512640 135751879 4289600240 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11902/statm: 19619 19184 146 303 0 19314 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 78476 Solver just ended. Dumping a history of the last processes samples [startup+31.906 s] /proc/loadavg: 1.96 2.00 1.99 3/179 11904 /proc/meminfo: memFree=30954088/32951124 swapFree=67111528/67111528 [pid=11902] ppid=11900 vsize=97192 CPUtime=31.9 /proc/11902/stat : 11902 (wbo1.4a) R 11900 11902 9876 0 -1 4202496 23961 0 0 0 3096 94 0 0 25 0 1 0 131158940 99524608 23877 4089446400 134512640 135751879 4289600240 18446744073709551615 135221356 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11902/statm: 24298 23877 146 303 0 23993 0 Current children cumulated CPU time (s) 31.9 Current children cumulated vsize (KiB) 97192 [startup+35.1004 s] /proc/loadavg: 1.96 2.00 1.99 3/179 11904 /proc/meminfo: memFree=30950100/32951124 swapFree=67111528/67111528 [pid=11902] ppid=11900 vsize=101288 CPUtime=35.1 /proc/11902/stat : 11902 (wbo1.4a) R 11900 11902 9876 0 -1 4202496 24975 0 0 0 3404 106 0 0 18 0 1 0 131158940 103718912 24891 4089446400 134512640 135751879 4289600240 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11902/statm: 25322 24891 146 303 0 25017 0 Current children cumulated CPU time (s) 35.1 Current children cumulated vsize (KiB) 101288 [startup+36.7001 s] /proc/loadavg: 1.96 2.00 1.99 3/179 11904 /proc/meminfo: memFree=30945388/32951124 swapFree=67111528/67111528 [pid=11902] ppid=11900 vsize=107768 CPUtime=36.69 /proc/11902/stat : 11902 (wbo1.4a) R 11900 11902 9876 0 -1 4202496 26573 0 0 0 3559 110 0 0 21 0 1 0 131158940 110354432 26489 4089446400 134512640 135751879 4289600240 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11902/statm: 26942 26489 146 303 0 26637 0 Current children cumulated CPU time (s) 36.69 Current children cumulated vsize (KiB) 107768 [startup+37.501 s] /proc/loadavg: 1.96 2.00 1.99 3/179 11904 /proc/meminfo: memFree=30941280/32951124 swapFree=67111528/67111528 [pid=11902] ppid=11900 vsize=110804 CPUtime=37.49 /proc/11902/stat : 11902 (wbo1.4a) R 11900 11902 9876 0 -1 4202496 27356 0 0 0 3636 113 0 0 25 0 1 0 131158940 113463296 27272 4089446400 134512640 135751879 4289600240 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11902/statm: 27701 27272 146 303 0 27396 0 Current children cumulated CPU time (s) 37.49 Current children cumulated vsize (KiB) 110804 [startup+38.3008 s] /proc/loadavg: 1.96 2.00 1.99 3/179 11904 /proc/meminfo: memFree=30941280/32951124 swapFree=67111528/67111528 [pid=11902] ppid=11900 vsize=113840 CPUtime=38.29 /proc/11902/stat : 11902 (wbo1.4a) R 11900 11902 9876 0 -1 4202496 28096 0 0 0 3715 114 0 0 25 0 1 0 131158940 116572160 28012 4089446400 134512640 135751879 4289600240 18446744073709551615 134602472 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11902/statm: 28460 28012 146 303 0 28155 0 Current children cumulated CPU time (s) 38.29 Current children cumulated vsize (KiB) 113840 [startup+38.7008 s] /proc/loadavg: 1.96 2.00 1.99 3/179 11904 /proc/meminfo: memFree=30937312/32951124 swapFree=67111528/67111528 [pid=11902] ppid=11900 vsize=115292 CPUtime=38.7 /proc/11902/stat : 11902 (wbo1.4a) R 11900 11902 9876 0 -1 4202496 28484 0 0 0 3754 116 0 0 25 0 1 0 131158940 118059008 28400 4089446400 134512640 135751879 4289600240 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11902/statm: 28823 28400 146 303 0 28518 0 Current children cumulated CPU time (s) 38.7 Current children cumulated vsize (KiB) 115292 Child status: 0 Real time (s): 38.7833 CPU time (s): 38.7841 CPU user time (s): 37.6183 CPU system time (s): 1.16582 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 115292 getrusage(RUSAGE_CHILDREN,...) data: user time used= 37.6183 system time used= 1.16582 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 28568 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= 53 runsolver used 0.056991 second user time and 0.131979 second system time The end
Begin job on node137 at 2010-06-30 13:50:35 IDJOB=2689923 IDBENCH=78843 IDSOLVER=1200 FILE ID=node137/2689923-1277898635 PBS_JOBID= 11197079 Free space on /tmp= 74208 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111225605--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-2689923-1277898635/watcher-2689923-1277898635 -o /tmp/evaluation-result-2689923-1277898635/solver-2689923-1277898635 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689923-1277898635.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 0b429bb598a1356114a5dedac9be9982 RANDOM SEED=1131650935 node137.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.876 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.75 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.876 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.876 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.74 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.876 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.876 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.75 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.876 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.876 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.74 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.876 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: 32951124 kB MemFree: 31049292 kB Buffers: 181468 kB Cached: 1260908 kB SwapCached: 0 kB Active: 859344 kB Inactive: 899140 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31049292 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2764 kB Writeback: 0 kB AnonPages: 316748 kB Mapped: 16124 kB Slab: 79144 kB PageTables: 4896 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 467620 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= 74204 MiB End job on node137 at 2010-06-30 13:51:14