Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | OPTIMUM | 20.8508 | 20.8501 |
Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111212923--soft-0-100-0.wbo |
MD5SUM | ab4536de5562fd774a511a0028d74eb6 |
Bench Category | SOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 3 |
Best CPU time to get the best result obtained on this benchmark | 0.283956 |
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 | 101 |
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 | 4944 |
Min constraint cost | 1 |
Max constraint cost | 98 |
Sum of constraints costs | 4943 |
Biggest number in a constraint | 38 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 1230 |
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-2690054-1277922995.wbo. 0.00/0.00 c Instance file HOME/instance-2690054-1277922995.wbo 0.00/0.00 c File size is 10458 bytes. 0.00/0.00 c Highest Coefficient sum: 1230 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 33 | 0.004 % | 0.00/0.00 c | 253 | 169 101 1205 | 6050 253 30 | 0.004 % | 0.01/0.01 c | 479 | 169 101 1205 | 6655 479 31 | 0.004 % | 0.01/0.02 c | 816 | 169 101 1205 | 7320 816 30 | 0.004 % | 0.01/0.03 c | 1323 | 169 101 1205 | 8052 1323 31 | 0.004 % | 0.01/0.06 c | 2084 | 169 101 1205 | 8857 2084 32 | 0.004 % | 0.09/0.10 c | 3223 | 169 101 1205 | 9743 3223 35 | 0.004 % | 0.09/0.18 c | 4932 | 169 101 1205 | 10717 4932 36 | 0.004 % | 0.29/0.32 c | 7494 | 169 101 1205 | 11789 7494 37 | 0.004 % | 0.49/0.58 c | 11338 | 169 101 1205 | 12968 11338 39 | 0.004 % | 0.99/1.01 c | 17104 | 169 101 1205 | 14265 10576 42 | 0.004 % | 1.59/1.62 c | 25754 | 169 101 1205 | 15692 12034 44 | 0.004 % | 2.59/2.62 c | 38728 | 169 101 1205 | 17261 9210 46 | 0.154 % | 3.09/3.11 c =============================================================================== 3.30/3.32 c core #1 3.30/3.32 c ============================[ Search Statistics ]============================== 3.30/3.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.30/3.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.30/3.32 c =============================================================================== 3.30/3.32 c | 0 | 264 200 2566 | 5000 0 nan | 0.000 % | 3.30/3.33 c | 100 | 264 200 2566 | 5500 100 34 | 0.001 % | 3.30/3.33 c | 250 | 264 200 2566 | 6050 250 33 | 0.001 % | 3.30/3.34 c | 475 | 264 200 2566 | 6655 475 35 | 0.001 % | 3.30/3.35 c | 812 | 264 200 2566 | 7320 812 33 | 0.001 % | 3.30/3.36 c | 1320 | 264 200 2566 | 8052 1320 36 | 0.001 % | 3.30/3.39 c | 2081 | 264 200 2566 | 8857 2081 35 | 0.001 % | 3.39/3.43 c | 3223 | 264 200 2566 | 9743 3223 35 | 0.001 % | 3.49/3.51 c | 4932 | 264 200 2566 | 10717 4932 36 | 0.001 % | 3.59/3.65 c | 7494 | 264 200 2566 | 11789 7494 36 | 0.001 % | 3.79/3.89 c | 11339 | 264 200 2566 | 12968 11339 38 | 0.001 % | 4.30/4.33 c | 17106 | 264 200 2566 | 14265 10571 42 | 0.001 % | 4.99/5.06 c | 25756 | 264 200 2566 | 15692 12032 44 | 0.001 % | 6.09/6.18 c | 38730 | 264 200 2566 | 17261 9225 44 | 0.001 % | 7.60/7.63 c | 58191 | 264 200 2566 | 18987 11271 45 | 0.001 % | 8.49/8.56 c =============================================================================== 8.89/8.91 c core #2 8.89/8.91 c ============================[ Search Statistics ]============================== 8.89/8.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.89/8.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.89/8.91 c =============================================================================== 8.89/8.91 c | 0 | 358 298 3915 | 5000 0 nan | 0.000 % | 8.89/8.91 c | 100 | 358 298 3915 | 5500 100 36 | 0.001 % | 8.89/8.92 c | 251 | 358 298 3915 | 6050 251 32 | 0.001 % | 8.89/8.93 c | 478 | 358 298 3915 | 6655 478 30 | 0.001 % | 8.89/8.94 c | 815 | 358 298 3915 | 7320 815 30 | 0.001 % | 8.89/8.96 c | 1322 | 358 298 3915 | 8052 1322 29 | 0.001 % | 8.89/8.99 c | 2083 | 358 298 3915 | 8857 2083 29 | 0.001 % | 8.99/9.04 c | 3222 | 358 298 3915 | 9743 3222 31 | 0.001 % | 9.09/9.12 c | 4931 | 358 298 3915 | 10717 4931 33 | 0.001 % | 9.19/9.26 c | 7493 | 358 298 3915 | 11789 7493 34 | 0.001 % | 9.49/9.53 c | 11337 | 358 298 3915 | 12968 11337 36 | 0.001 % | 9.90/9.95 c | 17104 | 358 298 3915 | 14265 10566 42 | 0.001 % | 10.59/10.64 c | 25753 | 358 298 3915 | 15692 12023 42 | 0.001 % | 11.69/11.73 c | 38727 | 358 298 3915 | 17261 9203 46 | 0.001 % | 13.19/13.29 c | 58190 | 358 298 3915 | 18987 11327 43 | 0.001 % | 13.99/14.03 c =============================================================================== 14.30/14.37 c core #3 14.30/14.37 c ============================[ Search Statistics ]============================== 14.30/14.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.30/14.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.30/14.37 c =============================================================================== 14.30/14.37 c | 0 | 453 395 5254 | 5000 0 nan | 0.000 % | 14.30/14.38 c | 100 | 453 395 5254 | 5500 100 27 | 0.000 % | 14.30/14.39 c | 251 | 453 395 5254 | 6050 251 28 | 0.000 % | 14.30/14.39 c | 476 | 453 395 5254 | 6655 476 32 | 0.000 % | 14.39/14.41 c | 817 | 453 395 5254 | 7320 817 33 | 0.000 % | 14.39/14.43 c | 1324 | 453 395 5254 | 8052 1324 36 | 0.000 % | 14.39/14.46 c | 2085 | 453 395 5254 | 8857 2085 35 | 0.000 % | 14.49/14.51 c | 3224 | 453 395 5254 | 9743 3224 34 | 0.000 % | 14.59/14.60 c | 4935 | 453 395 5254 | 10717 4935 35 | 0.000 % | 14.69/14.78 c | 7501 | 453 395 5254 | 11789 7501 36 | 0.000 % | 15.09/15.12 c | 11345 | 453 395 5254 | 12968 11345 39 | 0.000 % | 15.59/15.60 c | 17111 | 453 395 5254 | 14265 10569 43 | 0.000 % | 16.29/16.33 c | 25761 | 453 395 5254 | 15692 12040 42 | 0.000 % | 17.39/17.42 c | 38735 | 453 395 5254 | 17261 9213 40 | 0.000 % | 18.99/19.01 c | 58196 | 453 395 5254 | 18987 11296 45 | 0.000 % | 20.80/20.84 c =============================================================================== 20.80/20.84 c #cores: 3 20.80/20.84 c Final Weight: 3 20.80/20.84 o 3 20.80/20.84 s OPTIMUM FOUND 20.80/20.84 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.80/20.84 c Total CPU time: 20.5749 s
OK 3
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2690054-1277922995/watcher-2690054-1277922995 -o /tmp/evaluation-result-2690054-1277922995/solver-2690054-1277922995 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690054-1277922995.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 4/178 15361 /proc/meminfo: memFree=28196428/32951124 swapFree=67111528/67111528 [pid=15361] ppid=15359 vsize=2568 CPUtime=0 /proc/15361/stat : 15361 (wbo1.4a) R 15359 15361 13759 0 -1 4202496 287 0 0 0 0 0 0 0 25 0 1 0 133594963 2629632 202 4089446400 134512640 135751879 4290089104 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/15361/statm: 642 202 143 303 0 337 0 [startup+0.011356 s] /proc/loadavg: 2.00 2.00 2.00 4/178 15361 /proc/meminfo: memFree=28196428/32951124 swapFree=67111528/67111528 [pid=15361] ppid=15359 vsize=2568 CPUtime=0.01 /proc/15361/stat : 15361 (wbo1.4a) R 15359 15361 13759 0 -1 4202496 302 0 0 0 1 0 0 0 25 0 1 0 133594963 2629632 217 4089446400 134512640 135751879 4290089104 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/15361/statm: 642 217 143 303 0 337 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 2568 [startup+0.100343 s] /proc/loadavg: 2.00 2.00 2.00 4/178 15361 /proc/meminfo: memFree=28196428/32951124 swapFree=67111528/67111528 [pid=15361] ppid=15359 vsize=3492 CPUtime=0.09 /proc/15361/stat : 15361 (wbo1.4a) R 15359 15361 13759 0 -1 4202496 520 0 0 0 9 0 0 0 25 0 1 0 133594963 3575808 435 4089446400 134512640 135751879 4290089104 18446744073709551615 134616437 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/15361/statm: 873 435 143 303 0 568 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3492 [startup+0.300306 s] /proc/loadavg: 2.00 2.00 2.00 4/178 15361 /proc/meminfo: memFree=28196428/32951124 swapFree=67111528/67111528 [pid=15361] ppid=15359 vsize=4812 CPUtime=0.29 /proc/15361/stat : 15361 (wbo1.4a) R 15359 15361 13759 0 -1 4202496 857 0 0 0 28 1 0 0 25 0 1 0 133594963 4927488 772 4089446400 134512640 135751879 4290089104 18446744073709551615 134641854 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/15361/statm: 1203 772 143 303 0 898 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4812 [startup+0.700234 s] /proc/loadavg: 2.00 2.00 2.00 4/178 15361 /proc/meminfo: memFree=28196428/32951124 swapFree=67111528/67111528 [pid=15361] ppid=15359 vsize=6792 CPUtime=0.69 /proc/15361/stat : 15361 (wbo1.4a) R 15359 15361 13759 0 -1 4202496 1337 0 0 0 68 1 0 0 25 0 1 0 133594963 6955008 1252 4089446400 134512640 135751879 4290089104 18446744073709551615 134616748 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/15361/statm: 1698 1252 143 303 0 1393 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6792 [startup+1.50109 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15362 /proc/meminfo: memFree=28190240/32951124 swapFree=67111528/67111528 [pid=15361] ppid=15359 vsize=10756 CPUtime=1.49 /proc/15361/stat : 15361 (wbo1.4a) R 15359 15361 13759 0 -1 4202496 2322 0 0 0 147 2 0 0 25 0 1 0 133594963 11014144 2237 4089446400 134512640 135751879 4290089104 18446744073709551615 134616442 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/15361/statm: 2689 2237 143 303 0 2384 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10756 [startup+3.1008 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15362 /proc/meminfo: memFree=28184784/32951124 swapFree=67111528/67111528 [pid=15361] ppid=15359 vsize=18152 CPUtime=3.09 /proc/15361/stat : 15361 (wbo1.4a) R 15359 15361 13759 0 -1 4202496 4195 0 0 0 305 4 0 0 25 0 1 0 133594963 18587648 4110 4089446400 134512640 135751879 4290089104 18446744073709551615 134602986 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/15361/statm: 4538 4110 143 303 0 4233 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 18152 [startup+6.30022 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15362 /proc/meminfo: memFree=28176808/32951124 swapFree=67111528/67111528 [pid=15361] ppid=15359 vsize=25412 CPUtime=6.29 /proc/15361/stat : 15361 (wbo1.4a) R 15359 15361 13759 0 -1 4202496 6019 0 0 0 622 7 0 0 25 0 1 0 133594963 26021888 5934 4089446400 134512640 135751879 4290089104 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/15361/statm: 6353 5934 146 303 0 6048 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 25412 [startup+12.7011 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15362 /proc/meminfo: memFree=28158956/32951124 swapFree=67111528/67111528 [pid=15361] ppid=15359 vsize=41892 CPUtime=12.7 /proc/15361/stat : 15361 (wbo1.4a) R 15359 15361 13759 0 -1 4202496 10125 0 0 0 1254 16 0 0 25 0 1 0 133594963 42897408 10040 4089446400 134512640 135751879 4290089104 18446744073709551615 134517428 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/15361/statm: 10473 10040 146 303 0 10168 0 Current children cumulated CPU time (s) 12.7 Current children cumulated vsize (KiB) 41892 Solver just ended. Dumping a history of the last processes samples [startup+15.9005 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15362 /proc/meminfo: memFree=28148540/32951124 swapFree=67111528/67111528 [pid=15361] ppid=15359 vsize=50076 CPUtime=15.89 /proc/15361/stat : 15361 (wbo1.4a) R 15359 15361 13759 0 -1 4202496 12185 0 0 0 1569 20 0 0 25 0 1 0 133594963 51277824 12100 4089446400 134512640 135751879 4290089104 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/15361/statm: 12519 12100 146 303 0 12214 0 Current children cumulated CPU time (s) 15.89 Current children cumulated vsize (KiB) 50076 [startup+19.1009 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15362 /proc/meminfo: memFree=28142652/32951124 swapFree=67111528/67111528 [pid=15361] ppid=15359 vsize=58000 CPUtime=19.09 /proc/15361/stat : 15361 (wbo1.4a) R 15359 15361 13759 0 -1 4202496 14145 0 0 0 1885 24 0 0 25 0 1 0 133594963 59392000 14060 4089446400 134512640 135751879 4290089104 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/15361/statm: 14500 14060 146 303 0 14195 0 Current children cumulated CPU time (s) 19.09 Current children cumulated vsize (KiB) 58000 [startup+19.9008 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15362 /proc/meminfo: memFree=28138312/32951124 swapFree=67111528/67111528 [pid=15361] ppid=15359 vsize=61224 CPUtime=19.89 /proc/15361/stat : 15361 (wbo1.4a) R 15359 15361 13759 0 -1 4202496 14964 0 0 0 1964 25 0 0 25 0 1 0 133594963 62693376 14879 4089446400 134512640 135751879 4290089104 18446744073709551615 134616437 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/15361/statm: 15306 14879 146 303 0 15001 0 Current children cumulated CPU time (s) 19.89 Current children cumulated vsize (KiB) 61224 [startup+20.3007 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15362 /proc/meminfo: memFree=28138312/32951124 swapFree=67111528/67111528 [pid=15361] ppid=15359 vsize=62812 CPUtime=20.29 /proc/15361/stat : 15361 (wbo1.4a) R 15359 15361 13759 0 -1 4202496 15356 0 0 0 2003 26 0 0 25 0 1 0 133594963 64319488 15271 4089446400 134512640 135751879 4290089104 18446744073709551615 134519024 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/15361/statm: 15703 15271 146 303 0 15398 0 Current children cumulated CPU time (s) 20.29 Current children cumulated vsize (KiB) 62812 [startup+20.7006 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15362 /proc/meminfo: memFree=28138312/32951124 swapFree=67111528/67111528 [pid=15361] ppid=15359 vsize=64660 CPUtime=20.69 /proc/15361/stat : 15361 (wbo1.4a) R 15359 15361 13759 0 -1 4202496 15802 0 0 0 2043 26 0 0 25 0 1 0 133594963 66211840 15717 4089446400 134512640 135751879 4290089104 18446744073709551615 134607787 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/15361/statm: 16165 15717 146 303 0 15860 0 Current children cumulated CPU time (s) 20.69 Current children cumulated vsize (KiB) 64660 [startup+20.8006 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15362 /proc/meminfo: memFree=28133596/32951124 swapFree=67111528/67111528 [pid=15361] ppid=15359 vsize=65188 CPUtime=20.8 /proc/15361/stat : 15361 (wbo1.4a) R 15359 15361 13759 0 -1 4202496 15956 0 0 0 2053 27 0 0 25 0 1 0 133594963 66752512 15871 4089446400 134512640 135751879 4290089104 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/15361/statm: 16297 15871 146 303 0 15992 0 Current children cumulated CPU time (s) 20.8 Current children cumulated vsize (KiB) 65188 Child status: 0 Real time (s): 20.8501 CPU time (s): 20.8508 CPU user time (s): 20.5749 CPU system time (s): 0.275958 CPU usage (%): 100.004 Max. virtual memory (cumulated for all children) (KiB): 65188 getrusage(RUSAGE_CHILDREN,...) data: user time used= 20.5749 system time used= 0.275958 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 16014 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= 1 involuntary context switches= 47 runsolver used 0.035994 second user time and 0.068989 second system time The end
Begin job on node137 at 2010-06-30 20:36:35 IDJOB=2690054 IDBENCH=79196 IDSOLVER=1200 FILE ID=node137/2690054-1277922995 PBS_JOBID= 11197329 Free space on /tmp= 74208 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111212923--soft-0-100-0.wbo COMMAND LINE= wbo1.4a -file-format=wbo -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2690054-1277922995/watcher-2690054-1277922995 -o /tmp/evaluation-result-2690054-1277922995/solver-2690054-1277922995 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690054-1277922995.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= ab4536de5562fd774a511a0028d74eb6 RANDOM SEED=1216359291 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: 28196956 kB Buffers: 209992 kB Cached: 1263880 kB SwapCached: 0 kB Active: 3678764 kB Inactive: 926448 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 28196956 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2752 kB Writeback: 0 kB AnonPages: 3131628 kB Mapped: 16224 kB Slab: 80784 kB PageTables: 10840 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 3396804 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 20:36:56