Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | OPTIMUM | 62.9474 | 62.9456 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111218308--soft-66-100-0.wbo |
MD5SUM | a5d664782ae9dce48db7be74d5616966 |
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 | 9 |
Best CPU time to get the best result obtained on this benchmark | 0.837871 |
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 | 42 |
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 | 1838 |
Min constraint cost | 1 |
Max constraint cost | 97 |
Sum of constraints costs | 1837 |
Biggest number in a constraint | 38 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 1154 |
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-2689889-1277897777.wbo. 0.00/0.00 c Instance file HOME/instance-2689889-1277897777.wbo 0.00/0.00 c File size is 10163 bytes. 0.00/0.00 c Highest Coefficient sum: 1154 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 38 | 0.004 % | 0.00/0.00 c | 250 | 169 101 1205 | 6050 250 39 | 0.004 % | 0.00/0.01 c | 476 | 169 101 1205 | 6655 476 37 | 0.004 % | 0.00/0.02 c | 814 | 169 101 1205 | 7320 814 36 | 0.004 % | 0.00/0.03 c | 1321 | 169 101 1205 | 8052 1321 36 | 0.004 % | 0.04/0.05 c | 2080 | 169 101 1205 | 8857 2080 37 | 0.004 % | 0.04/0.09 c | 3222 | 169 101 1205 | 9743 3222 38 | 0.004 % | 0.09/0.17 c | 4930 | 169 101 1205 | 10717 4930 37 | 0.004 % | 0.19/0.28 c | 7493 | 169 101 1205 | 11789 7493 38 | 0.004 % | 0.49/0.50 c | 11341 | 169 101 1205 | 12968 11341 41 | 0.004 % | 0.80/0.87 c | 17108 | 169 101 1205 | 14265 10577 47 | 0.004 % | 1.39/1.45 c | 25758 | 169 101 1205 | 15692 12068 46 | 0.004 % | 2.39/2.42 c | 38733 | 169 101 1205 | 17261 9237 50 | 0.004 % | 3.89/3.95 c | 58194 | 169 101 1205 | 18987 11327 54 | 0.004 % | 6.39/6.49 c | 87387 | 169 101 1205 | 20886 11865 52 | 0.004 % | 8.19/8.22 c =============================================================================== 8.59/8.65 c core #1 8.59/8.65 c ============================[ Search Statistics ]============================== 8.59/8.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.59/8.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.59/8.65 c =============================================================================== 8.59/8.65 c | 0 | 210 142 1713 | 5000 0 nan | 0.000 % | 8.59/8.66 c | 101 | 210 142 1713 | 5500 101 38 | 0.002 % | 8.59/8.66 c | 251 | 210 142 1713 | 6050 251 35 | 0.002 % | 8.59/8.67 c | 476 | 210 142 1713 | 6655 476 36 | 0.002 % | 8.59/8.68 c | 813 | 210 142 1713 | 7320 813 34 | 0.002 % | 8.59/8.69 c | 1319 | 210 142 1713 | 8052 1319 36 | 0.002 % | 8.70/8.72 c | 2078 | 210 142 1713 | 8857 2078 37 | 0.002 % | 8.70/8.76 c | 3221 | 210 142 1713 | 9743 3221 36 | 0.002 % | 8.79/8.83 c | 4930 | 210 142 1713 | 10717 4930 38 | 0.002 % | 8.89/8.96 c | 7494 | 210 142 1713 | 11789 7494 38 | 0.002 % | 9.09/9.19 c | 11338 | 210 142 1713 | 12968 11338 43 | 0.002 % | 9.49/9.59 c | 17104 | 210 142 1713 | 14265 10576 45 | 0.002 % | 10.09/10.18 c | 25754 | 210 142 1713 | 15692 12037 44 | 0.002 % | 11.10/11.13 c | 38729 | 210 142 1713 | 17261 9201 45 | 0.002 % | 12.49/12.56 c | 58190 | 210 142 1713 | 18987 11319 47 | 0.002 % | 14.99/15.09 c | 87382 | 210 142 1713 | 20886 11865 50 | 0.002 % | 19.30/19.32 c | 131174 | 169 142 1713 | 22974 1846 33 | 19.526 % | 19.70/19.72 c =============================================================================== 20.20/20.29 c core #2 20.20/20.29 c ============================[ Search Statistics ]============================== 20.20/20.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.20/20.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.20/20.29 c =============================================================================== 20.20/20.29 c | 0 | 251 183 2221 | 5000 0 nan | 0.000 % | 20.20/20.29 c | 101 | 251 183 2221 | 5500 101 38 | 0.002 % | 20.30/20.30 c | 251 | 251 183 2221 | 6050 251 36 | 0.002 % | 20.30/20.31 c | 476 | 251 183 2221 | 6655 476 39 | 0.002 % | 20.30/20.32 c | 813 | 251 183 2221 | 7320 813 38 | 0.002 % | 20.30/20.33 c | 1319 | 251 183 2221 | 8052 1319 36 | 0.002 % | 20.30/20.36 c | 2079 | 251 183 2221 | 8857 2079 39 | 0.002 % | 20.39/20.40 c | 3220 | 251 183 2221 | 9743 3220 39 | 0.002 % | 20.39/20.47 c | 4929 | 251 183 2221 | 10717 4929 43 | 0.002 % | 20.59/20.60 c | 7492 | 251 183 2221 | 11789 7492 44 | 0.002 % | 20.80/20.86 c | 11338 | 251 183 2221 | 12968 11338 46 | 0.002 % | 21.19/21.29 c | 17104 | 251 183 2221 | 14265 10568 47 | 0.002 % | 22.00/22.05 c | 25753 | 251 183 2221 | 15692 12020 50 | 0.002 % | 23.19/23.20 c | 38728 | 251 183 2221 | 17261 9184 48 | 0.002 % | 24.79/24.89 c | 58190 | 251 183 2221 | 18987 11270 51 | 0.002 % | 27.59/27.64 c | 87382 | 251 183 2221 | 20886 11808 49 | 0.002 % | 30.29/30.31 c =============================================================================== 30.80/30.85 c core #3 30.80/30.85 c ============================[ Search Statistics ]============================== 30.80/30.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 30.80/30.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 30.80/30.85 c =============================================================================== 30.80/30.85 c | 0 | 290 223 2712 | 5000 0 nan | 0.000 % | 30.80/30.86 c | 102 | 290 223 2712 | 5500 102 39 | 0.001 % | 30.80/30.87 c | 256 | 290 223 2712 | 6050 256 33 | 0.001 % | 30.80/30.87 c | 482 | 290 223 2712 | 6655 482 34 | 0.001 % | 30.80/30.88 c | 819 | 290 223 2712 | 7320 819 33 | 0.001 % | 30.89/30.90 c | 1325 | 290 223 2712 | 8052 1325 32 | 0.001 % | 30.89/30.92 c | 2085 | 290 223 2712 | 8857 2085 36 | 0.001 % | 30.89/30.97 c | 3225 | 290 223 2712 | 9743 3225 37 | 0.001 % | 30.99/31.04 c | 4933 | 290 223 2712 | 10717 4933 38 | 0.001 % | 31.09/31.19 c | 7496 | 290 223 2712 | 11789 7496 39 | 0.001 % | 31.40/31.42 c | 11340 | 290 223 2712 | 12968 11340 41 | 0.001 % | 31.80/31.83 c | 17106 | 290 223 2712 | 14265 10576 43 | 0.001 % | 32.39/32.46 c | 25755 | 290 223 2712 | 15692 12049 44 | 0.001 % | 33.39/33.42 c | 38730 | 290 223 2712 | 17261 9212 44 | 0.001 % | 34.89/34.91 c | 58192 | 290 223 2712 | 18987 11309 46 | 0.001 % | 37.30/37.33 c | 87386 | 290 223 2712 | 20886 11846 49 | 0.001 % | 40.09/40.10 c =============================================================================== 40.60/40.61 c core #4 40.60/40.61 c ============================[ Search Statistics ]============================== 40.60/40.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 40.60/40.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 40.60/40.61 c =============================================================================== 40.60/40.61 c | 0 | 332 263 3209 | 5000 0 nan | 0.000 % | 40.60/40.62 c | 101 | 332 263 3209 | 5500 101 38 | 0.001 % | 40.60/40.63 c | 252 | 332 263 3209 | 6050 252 42 | 0.001 % | 40.60/40.64 c | 477 | 332 263 3209 | 6655 477 40 | 0.001 % | 40.60/40.65 c | 815 | 332 263 3209 | 7320 815 38 | 0.001 % | 40.60/40.66 c | 1323 | 332 263 3209 | 8052 1323 38 | 0.001 % | 40.60/40.69 c | 2085 | 332 263 3209 | 8857 2085 39 | 0.001 % | 40.70/40.73 c | 3224 | 332 263 3209 | 9743 3224 37 | 0.001 % | 40.79/40.80 c | 4933 | 332 263 3209 | 10717 4933 37 | 0.001 % | 40.89/40.96 c | 7495 | 332 263 3209 | 11789 7495 39 | 0.001 % | 41.19/41.21 c | 11340 | 332 263 3209 | 12968 11340 41 | 0.001 % | 41.59/41.60 c | 17107 | 332 263 3209 | 14265 10569 41 | 0.001 % | 42.10/42.17 c | 25757 | 332 263 3209 | 15692 12028 43 | 0.001 % | 43.19/43.27 c | 38731 | 332 263 3209 | 17261 9213 51 | 0.001 % | 44.89/44.91 c | 58193 | 332 263 3209 | 18987 11298 49 | 0.001 % | 47.59/47.65 c | 87386 | 332 263 3209 | 20886 11815 50 | 0.001 % | 51.90/51.98 c | 131175 | 293 263 3209 | 22974 8092 52 | 11.748 % | 52.70/52.76 c =============================================================================== 53.39/53.41 c core #5 53.39/53.41 c ============================[ Search Statistics ]============================== 53.39/53.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 53.39/53.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 53.39/53.41 c =============================================================================== 53.39/53.41 c | 0 | 370 301 3688 | 5000 0 nan | 0.000 % | 53.39/53.42 c | 101 | 370 301 3688 | 5500 101 33 | 0.001 % | 53.39/53.43 c | 253 | 370 301 3688 | 6050 253 35 | 0.001 % | 53.39/53.44 c | 479 | 370 301 3688 | 6655 479 35 | 0.001 % | 53.39/53.45 c | 818 | 370 301 3688 | 7320 818 37 | 0.001 % | 53.39/53.46 c | 1324 | 370 301 3688 | 8052 1324 37 | 0.001 % | 53.39/53.49 c | 2083 | 370 301 3688 | 8857 2083 37 | 0.001 % | 53.50/53.53 c | 3223 | 370 301 3688 | 9743 3223 38 | 0.001 % | 53.59/53.61 c | 4932 | 370 301 3688 | 10717 4932 39 | 0.001 % | 53.70/53.74 c | 7494 | 370 301 3688 | 11789 7494 39 | 0.001 % | 53.89/53.99 c | 11338 | 370 301 3688 | 12968 11338 41 | 0.001 % | 54.30/54.38 c | 17106 | 370 301 3688 | 14265 10576 43 | 0.001 % | 54.90/55.00 c | 25755 | 370 301 3688 | 15692 12047 46 | 0.001 % | 56.00/56.08 c | 38730 | 370 301 3688 | 17261 9224 49 | 0.001 % | 57.79/57.88 c | 58193 | 370 301 3688 | 18987 11305 51 | 0.001 % | 60.59/60.65 c | 87385 | 370 301 3688 | 20886 11867 50 | 0.001 % | 62.90/62.93 c =============================================================================== 62.90/62.93 c #cores: 5 62.90/62.93 c Final Weight: 9 62.90/62.93 o 9 62.90/62.93 s OPTIMUM FOUND 62.90/62.93 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 62.90/62.93 c Total CPU time: 61.3997 s
OK 9
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2689889-1277897777/watcher-2689889-1277897777 -o /tmp/evaluation-result-2689889-1277897777/solver-2689889-1277897777 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689889-1277897777.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.00 2.00 2.00 3/178 13190 /proc/meminfo: memFree=30186504/32951124 swapFree=67111528/67111528 [pid=13190] ppid=13188 vsize=2572 CPUtime=0 /proc/13190/stat : 13190 (wbo1.4a) R 13188 13190 13132 0 -1 4202496 290 0 0 0 0 0 0 0 21 0 1 0 131072260 2633728 206 4089446400 134512640 135751879 4287425776 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/13190/statm: 643 206 143 303 0 338 0 [startup+0.0492479 s] /proc/loadavg: 2.00 2.00 2.00 3/178 13190 /proc/meminfo: memFree=30186504/32951124 swapFree=67111528/67111528 [pid=13190] ppid=13188 vsize=2968 CPUtime=0.04 /proc/13190/stat : 13190 (wbo1.4a) R 13188 13190 13132 0 -1 4202496 395 0 0 0 4 0 0 0 21 0 1 0 131072260 3039232 311 4089446400 134512640 135751879 4287425776 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/13190/statm: 742 311 143 303 0 437 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 2968 [startup+0.100241 s] /proc/loadavg: 2.00 2.00 2.00 3/178 13190 /proc/meminfo: memFree=30186504/32951124 swapFree=67111528/67111528 [pid=13190] ppid=13188 vsize=3364 CPUtime=0.09 /proc/13190/stat : 13190 (wbo1.4a) R 13188 13190 13132 0 -1 4202496 505 0 0 0 8 1 0 0 21 0 1 0 131072260 3444736 421 4089446400 134512640 135751879 4287425776 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/13190/statm: 841 421 143 303 0 536 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3364 [startup+0.300204 s] /proc/loadavg: 2.00 2.00 2.00 3/178 13190 /proc/meminfo: memFree=30186504/32951124 swapFree=67111528/67111528 [pid=13190] ppid=13188 vsize=4684 CPUtime=0.29 /proc/13190/stat : 13190 (wbo1.4a) R 13188 13190 13132 0 -1 4202496 815 0 0 0 27 2 0 0 21 0 1 0 131072260 4796416 731 4089446400 134512640 135751879 4287425776 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/13190/statm: 1171 731 143 303 0 866 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4684 [startup+0.700147 s] /proc/loadavg: 2.00 2.00 2.00 3/178 13190 /proc/meminfo: memFree=30186504/32951124 swapFree=67111528/67111528 [pid=13190] ppid=13188 vsize=6664 CPUtime=0.69 /proc/13190/stat : 13190 (wbo1.4a) R 13188 13190 13132 0 -1 4202496 1324 0 0 0 66 3 0 0 22 0 1 0 131072260 6823936 1240 4089446400 134512640 135751879 4287425776 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/13190/statm: 1666 1240 143 303 0 1361 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6664 [startup+1.50101 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13191 /proc/meminfo: memFree=30180668/32951124 swapFree=67111528/67111528 [pid=13190] ppid=13188 vsize=10492 CPUtime=1.49 /proc/13190/stat : 13190 (wbo1.4a) R 13188 13190 13132 0 -1 4202496 2265 0 0 0 143 6 0 0 25 0 1 0 131072260 10743808 2181 4089446400 134512640 135751879 4287425776 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/13190/statm: 2623 2181 143 303 0 2318 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10492 [startup+3.10073 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13191 /proc/meminfo: memFree=30176136/32951124 swapFree=67111528/67111528 [pid=13190] ppid=13188 vsize=17104 CPUtime=3.09 /proc/13190/stat : 13190 (wbo1.4a) R 13188 13190 13132 0 -1 4202496 3924 0 0 0 298 11 0 0 25 0 1 0 131072260 17514496 3840 4089446400 134512640 135751879 4287425776 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/13190/statm: 4276 3840 143 303 0 3971 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17104 [startup+6.30017 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13192 /proc/meminfo: memFree=30162744/32951124 swapFree=67111528/67111528 [pid=13190] ppid=13188 vsize=29912 CPUtime=6.29 /proc/13190/stat : 13190 (wbo1.4a) R 13188 13190 13132 0 -1 4202496 7124 0 0 0 612 17 0 0 25 0 1 0 131072260 30629888 7040 4089446400 134512640 135751879 4287425776 18446744073709551615 134602475 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/13190/statm: 7478 7040 143 303 0 7173 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 29912 [startup+12.701 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13192 /proc/meminfo: memFree=30146504/32951124 swapFree=67111528/67111528 [pid=13190] ppid=13188 vsize=45360 CPUtime=12.69 /proc/13190/stat : 13190 (wbo1.4a) R 13188 13190 13132 0 -1 4202496 10988 0 0 0 1233 36 0 0 25 0 1 0 131072260 46448640 10904 4089446400 134512640 135751879 4287425776 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/13190/statm: 11340 10904 146 303 0 11035 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 45360 [startup+25.5008 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13193 /proc/meminfo: memFree=30111244/32951124 swapFree=67111528/67111528 [pid=13190] ppid=13188 vsize=80204 CPUtime=25.49 /proc/13190/stat : 13190 (wbo1.4a) R 13188 13190 13132 0 -1 4202496 19714 0 0 0 2483 66 0 0 25 0 1 0 131072260 82128896 19630 4089446400 134512640 135751879 4287425776 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/13190/statm: 20051 19630 146 303 0 19746 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 80204 [startup+51.1003 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13193 /proc/meminfo: memFree=30047340/32951124 swapFree=67111528/67111528 [pid=13190] ppid=13188 vsize=145520 CPUtime=51.09 /proc/13190/stat : 13190 (wbo1.4a) R 13188 13190 13132 0 -1 4202496 36031 0 0 0 4980 129 0 0 25 0 1 0 131072260 149012480 35947 4089446400 134512640 135751879 4287425776 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/13190/statm: 36380 35947 146 303 0 36075 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 145520 Solver just ended. Dumping a history of the last processes samples [startup+57.5002 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13193 /proc/meminfo: memFree=30032832/32951124 swapFree=67111528/67111528 [pid=13190] ppid=13188 vsize=158860 CPUtime=57.49 /proc/13190/stat : 13190 (wbo1.4a) R 13188 13190 13132 0 -1 4202496 39378 0 0 0 5605 144 0 0 25 0 1 0 131072260 162672640 39294 4089446400 134512640 135751879 4287425776 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/13190/statm: 39715 39294 146 303 0 39410 0 Current children cumulated CPU time (s) 57.49 Current children cumulated vsize (KiB) 158860 [startup+60.7006 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13193 /proc/meminfo: memFree=30025016/32951124 swapFree=67111528/67111528 [pid=13190] ppid=13188 vsize=166664 CPUtime=60.69 /proc/13190/stat : 13190 (wbo1.4a) R 13188 13190 13132 0 -1 4202496 41312 0 0 0 5919 150 0 0 25 0 1 0 131072260 170663936 41228 4089446400 134512640 135751879 4287425776 18446744073709551615 134517428 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/13190/statm: 41666 41228 146 303 0 41361 0 Current children cumulated CPU time (s) 60.69 Current children cumulated vsize (KiB) 166664 [startup+62.3003 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13193 /proc/meminfo: memFree=30022660/32951124 swapFree=67111528/67111528 [pid=13190] ppid=13188 vsize=170096 CPUtime=62.3 /proc/13190/stat : 13190 (wbo1.4a) R 13188 13190 13132 0 -1 4202496 42162 0 0 0 6077 153 0 0 25 0 1 0 131072260 174178304 42078 4089446400 134512640 135751879 4287425776 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/13190/statm: 42524 42078 146 303 0 42219 0 Current children cumulated CPU time (s) 62.3 Current children cumulated vsize (KiB) 170096 [startup+62.7063 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13193 /proc/meminfo: memFree=30020056/32951124 swapFree=67111528/67111528 [pid=13190] ppid=13188 vsize=171152 CPUtime=62.7 /proc/13190/stat : 13190 (wbo1.4a) R 13188 13190 13132 0 -1 4202496 42443 0 0 0 6117 153 0 0 25 0 1 0 131072260 175259648 42359 4089446400 134512640 135751879 4287425776 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/13190/statm: 42788 42359 146 303 0 42483 0 Current children cumulated CPU time (s) 62.7 Current children cumulated vsize (KiB) 171152 [startup+62.9002 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13193 /proc/meminfo: memFree=30020056/32951124 swapFree=67111528/67111528 [pid=13190] ppid=13188 vsize=171680 CPUtime=62.9 /proc/13190/stat : 13190 (wbo1.4a) R 13188 13190 13132 0 -1 4202496 42569 0 0 0 6136 154 0 0 25 0 1 0 131072260 175800320 42485 4089446400 134512640 135751879 4287425776 18446744073709551615 134603001 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/13190/statm: 42920 42485 146 303 0 42615 0 Current children cumulated CPU time (s) 62.9 Current children cumulated vsize (KiB) 171680 Child status: 0 Real time (s): 62.9456 CPU time (s): 62.9474 CPU user time (s): 61.3997 CPU system time (s): 1.54776 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 171680 getrusage(RUSAGE_CHILDREN,...) data: user time used= 61.3997 system time used= 1.54776 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 42594 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= 55 runsolver used 0.097985 second user time and 0.202969 second system time The end
Begin job on node144 at 2010-06-30 13:36:17 IDJOB=2689889 IDBENCH=78816 IDSOLVER=1200 FILE ID=node144/2689889-1277897777 PBS_JOBID= 11197178 Free space on /tmp= 74176 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111218308--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-2689889-1277897777/watcher-2689889-1277897777 -o /tmp/evaluation-result-2689889-1277897777/solver-2689889-1277897777 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689889-1277897777.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a5d664782ae9dce48db7be74d5616966 RANDOM SEED=24671002 node144.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.848 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.69 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.848 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.83 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.848 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.848 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.848 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.848 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.848 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.848 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 : 5230.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 30187280 kB Buffers: 181308 kB Cached: 1244888 kB SwapCached: 0 kB Active: 1695156 kB Inactive: 922464 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30187280 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2784 kB Writeback: 0 kB AnonPages: 1192196 kB Mapped: 16316 kB Slab: 79444 kB PageTables: 7464 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1359544 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= 74172 MiB End job on node144 at 2010-06-30 13:37:20