Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | OPTIMUM | 320.534 | 320.528 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900553647--soft-66-100-0.wbo |
MD5SUM | 187986d7f99d984dce20251cf704622a |
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 | 1 |
Best CPU time to get the best result obtained on this benchmark | 320.534 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 231 |
Total number of constraints | 2707 |
Number of soft constraints | 911 |
Number of constraints which are clauses | 2684 |
Number of constraints which are cardinality constraints (but not clauses) | 22 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 110 |
Top cost | 46278 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 46277 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 715 |
Number of bits of the biggest sum of numbers | 10 |
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-2690007-1277902562.wbo. 0.00/0.00 c Instance file HOME/instance-2690007-1277902562.wbo 0.00/0.00 c File size is 87919 bytes. 0.00/0.00 c Highest Coefficient sum: 715 0.00/0.00 c ============================[ Problem Statistics ]============================= 0.00/0.00 c | | 0.00/0.00 c | Parsing time: 0.01 s | 0.00/0.00 c | Number Variables: 231 | 0.00/0.00 c | Number Clauses: 2684 | 0.00/0.00 c | Number Cardinality: 22 | 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 | 231 2707 8338 | 5000 0 nan | 0.000 % | 0.00/0.00 c | 101 | 231 2707 8338 | 5500 101 20 | 0.002 % | 0.00/0.01 c | 252 | 231 2707 8338 | 6050 252 23 | 0.002 % | 0.00/0.01 c | 477 | 231 2707 8338 | 6655 477 28 | 0.002 % | 0.00/0.02 c | 814 | 231 2707 8338 | 7320 814 28 | 0.002 % | 0.00/0.04 c | 1322 | 231 2707 8338 | 8052 1322 29 | 0.002 % | 0.00/0.06 c | 2083 | 231 2707 8338 | 8857 2083 31 | 0.002 % | 0.09/0.10 c | 3222 | 231 2707 8338 | 9743 3222 32 | 0.002 % | 0.09/0.18 c | 4930 | 231 2707 8338 | 10717 4930 33 | 0.002 % | 0.29/0.30 c | 7494 | 231 2707 8338 | 11789 7494 35 | 0.002 % | 0.49/0.51 c | 11342 | 231 2707 8338 | 12968 11342 35 | 0.002 % | 0.79/0.89 c | 17108 | 231 2707 8338 | 14265 10575 36 | 0.002 % | 1.49/1.50 c | 25758 | 231 2707 8338 | 15692 12049 37 | 0.002 % | 2.39/2.49 c | 38732 | 231 2707 8338 | 17261 9231 39 | 0.002 % | 3.99/4.07 c | 58193 | 231 2707 8338 | 18987 11303 38 | 0.002 % | 6.39/6.47 c | 87385 | 231 2707 8338 | 20886 11843 43 | 0.002 % | 10.49/10.51 c | 131174 | 231 2707 8338 | 22974 13650 39 | 0.002 % | 16.79/16.81 c | 196858 | 231 2707 8338 | 25272 21522 39 | 0.002 % | 27.09/27.12 c | 295384 | 231 2707 8338 | 27799 14310 41 | 0.002 % | 43.09/43.15 c | 443174 | 231 2707 8338 | 30579 23136 41 | 0.002 % | 69.59/69.67 c | 664860 | 231 2707 8338 | 33637 25270 38 | 0.002 % | 107.40/107.48 c | 997387 | 231 2707 8338 | 37001 21114 43 | 0.002 % | 157.39/157.44 c =============================================================================== 166.59/166.63 c core #1 166.59/166.63 c ============================[ Search Statistics ]============================== 166.59/166.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 166.59/166.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 166.59/166.63 c =============================================================================== 166.59/166.63 c | 0 | 707 3562 12461 | 5000 0 nan | 0.000 % | 166.79/166.88 c | 101 | 707 3562 12461 | 5500 101 28 | 0.000 % | 166.90/166.94 c | 253 | 707 3562 12461 | 6050 253 31 | 0.000 % | 166.90/166.95 c | 478 | 707 3562 12461 | 6655 478 32 | 0.000 % | 166.90/166.96 c | 816 | 707 3562 12461 | 7320 816 31 | 0.000 % | 166.90/166.98 c | 1322 | 707 3562 12461 | 8052 1322 31 | 0.000 % | 167.00/167.05 c | 2082 | 707 3562 12461 | 8857 2082 31 | 0.000 % | 167.00/167.09 c | 3221 | 707 3562 12461 | 9743 3221 32 | 0.000 % | 167.10/167.17 c | 4931 | 707 3562 12461 | 10717 4931 33 | 0.000 % | 167.29/167.30 c | 7493 | 707 3562 12461 | 11789 7493 34 | 0.000 % | 167.49/167.54 c | 11339 | 707 3562 12461 | 12968 11339 34 | 0.000 % | 167.90/167.97 c | 17105 | 707 3562 12461 | 14265 10552 39 | 0.000 % | 168.59/168.64 c | 25755 | 707 3562 12461 | 15692 12014 38 | 0.000 % | 169.70/169.70 c | 38730 | 707 3562 12461 | 17261 9200 38 | 0.000 % | 171.60/171.62 c | 58192 | 707 3562 12461 | 18987 11295 38 | 0.000 % | 174.49/174.53 c | 87384 | 707 3562 12461 | 20886 11854 38 | 0.000 % | 179.09/179.13 c | 131173 | 707 3562 12461 | 22974 13679 38 | 0.000 % | 186.39/186.49 c | 196858 | 707 3562 12461 | 25272 21474 40 | 0.000 % | 198.90/198.97 c | 295385 | 707 3562 12461 | 27799 14230 40 | 0.000 % | 218.20/218.28 c | 443174 | 707 3562 12461 | 30579 21836 42 | 0.000 % | 245.40/245.41 c | 664858 | 707 3562 12461 | 33637 23717 38 | 0.000 % | 287.20/287.25 c | 997383 | 707 3562 12461 | 37001 15334 39 | 0.000 % | 320.50/320.50 c =============================================================================== 320.50/320.50 c #cores: 1 320.50/320.50 c Final Weight: 1 320.50/320.50 o 1 320.50/320.50 s OPTIMUM FOUND 320.50/320.50 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 x170 -x171 -x172 -x173 -x174 x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 x191 -x192 -x193 -x194 -x195 -x196 x197 -x198 -x199 -x200 -x201 -x202 x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 x219 -x220 -x221 -x222 -x223 -x224 -x225 x226 -x227 -x228 -x229 -x230 -x231 320.50/320.50 c Total CPU time: 315.009 s
OK 1
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2690007-1277902562/watcher-2690007-1277902562 -o /tmp/evaluation-result-2690007-1277902562/solver-2690007-1277902562 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690007-1277902562.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.82 2.64 2.31 2/176 13295 /proc/meminfo: memFree=31446968/32950928 swapFree=67111528/67111528 [pid=13295] ppid=13293 vsize=2808 CPUtime=0 /proc/13295/stat : 13295 (wbo1.4a) R 13293 13295 12656 0 -1 4202496 311 0 0 0 0 0 0 0 25 0 1 0 131552999 2875392 229 4089446400 134512640 135751879 4294696016 18446744073709551615 135228447 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/13295/statm: 702 229 146 303 0 375 0 [startup+0.0674989 s] /proc/loadavg: 2.82 2.64 2.31 2/176 13295 /proc/meminfo: memFree=31446968/32950928 swapFree=67111528/67111528 [pid=13295] ppid=13293 vsize=3248 CPUtime=0.06 /proc/13295/stat : 13295 (wbo1.4a) R 13293 13295 12656 0 -1 4202496 489 0 0 0 6 0 0 0 25 0 1 0 131552999 3325952 385 4089446400 134512640 135751879 4294696016 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/13295/statm: 812 385 143 303 0 507 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 3248 [startup+0.102436 s] /proc/loadavg: 2.82 2.64 2.31 2/176 13295 /proc/meminfo: memFree=31446968/32950928 swapFree=67111528/67111528 [pid=13295] ppid=13293 vsize=3512 CPUtime=0.09 /proc/13295/stat : 13295 (wbo1.4a) R 13293 13295 12656 0 -1 4202496 561 0 0 0 9 0 0 0 25 0 1 0 131552999 3596288 457 4089446400 134512640 135751879 4294696016 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/13295/statm: 878 457 143 303 0 573 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3512 [startup+0.300373 s] /proc/loadavg: 2.82 2.64 2.31 2/176 13295 /proc/meminfo: memFree=31446968/32950928 swapFree=67111528/67111528 [pid=13295] ppid=13293 vsize=4832 CPUtime=0.29 /proc/13295/stat : 13295 (wbo1.4a) R 13293 13295 12656 0 -1 4202496 892 0 0 0 28 1 0 0 25 0 1 0 131552999 4947968 788 4089446400 134512640 135751879 4294696016 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/13295/statm: 1208 788 143 303 0 903 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4832 [startup+0.70036 s] /proc/loadavg: 2.82 2.64 2.31 2/176 13295 /proc/meminfo: memFree=31446968/32950928 swapFree=67111528/67111528 [pid=13295] ppid=13293 vsize=6812 CPUtime=0.69 /proc/13295/stat : 13295 (wbo1.4a) R 13293 13295 12656 0 -1 4202496 1372 0 0 0 67 2 0 0 25 0 1 0 131552999 6975488 1268 4089446400 134512640 135751879 4294696016 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/13295/statm: 1703 1268 143 303 0 1398 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6812 [startup+1.50022 s] /proc/loadavg: 2.82 2.64 2.31 3/179 13323 /proc/meminfo: memFree=31434172/32950928 swapFree=67111528/67111528 [pid=13295] ppid=13293 vsize=10244 CPUtime=1.49 /proc/13295/stat : 13295 (wbo1.4a) R 13293 13295 12656 0 -1 4202496 2240 0 0 0 144 5 0 0 25 0 1 0 131552999 10489856 2136 4089446400 134512640 135751879 4294696016 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/13295/statm: 2561 2136 143 303 0 2256 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10244 [startup+3.10098 s] /proc/loadavg: 2.75 2.63 2.31 3/179 13323 /proc/meminfo: memFree=31424996/32950928 swapFree=67111528/67111528 [pid=13295] ppid=13293 vsize=16584 CPUtime=3.09 /proc/13295/stat : 13295 (wbo1.4a) R 13293 13295 12656 0 -1 4202496 3820 0 0 0 300 9 0 0 25 0 1 0 131552999 16982016 3716 4089446400 134512640 135751879 4294696016 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/13295/statm: 4146 3716 143 303 0 3841 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16584 [startup+6.30042 s] /proc/loadavg: 2.75 2.63 2.31 3/179 13323 /proc/meminfo: memFree=31400204/32950928 swapFree=67111528/67111528 [pid=13295] ppid=13293 vsize=28524 CPUtime=6.29 /proc/13295/stat : 13295 (wbo1.4a) R 13293 13295 12656 0 -1 4202496 6805 0 0 0 612 17 0 0 25 0 1 0 131552999 29208576 6701 4089446400 134512640 135751879 4294696016 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/13295/statm: 7131 6701 143 303 0 6826 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 28524 [startup+12.7002 s] /proc/loadavg: 2.64 2.61 2.30 3/179 13323 /proc/meminfo: memFree=31356652/32950928 swapFree=67111528/67111528 [pid=13295] ppid=13293 vsize=49260 CPUtime=12.69 /proc/13295/stat : 13295 (wbo1.4a) R 13293 13295 12656 0 -1 4202496 11989 0 0 0 1237 32 0 0 25 0 1 0 131552999 50442240 11885 4089446400 134512640 135751879 4294696016 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/13295/statm: 12315 11885 143 303 0 12010 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 49260 [startup+25.501 s] /proc/loadavg: 2.54 2.59 2.30 3/179 13324 /proc/meminfo: memFree=31278236/32950928 swapFree=67111528/67111528 [pid=13295] ppid=13293 vsize=87456 CPUtime=25.49 /proc/13295/stat : 13295 (wbo1.4a) R 13293 13295 12656 0 -1 4202496 21535 0 0 0 2492 57 0 0 25 0 1 0 131552999 89554944 21431 4089446400 134512640 135751879 4294696016 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/13295/statm: 21864 21431 143 303 0 21559 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 87456 [startup+51.1004 s] /proc/loadavg: 2.35 2.54 2.29 3/179 13325 /proc/meminfo: memFree=31140140/32950928 swapFree=67111528/67111528 [pid=13295] ppid=13293 vsize=156520 CPUtime=51.09 /proc/13295/stat : 13295 (wbo1.4a) R 13293 13295 12656 0 -1 4202496 38777 0 0 0 5002 107 0 0 25 0 1 0 131552999 160276480 38673 4089446400 134512640 135751879 4294696016 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/13295/statm: 39130 38673 143 303 0 38825 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 156520 [startup+102.306 s] /proc/loadavg: 2.18 2.46 2.27 3/179 13326 /proc/meminfo: memFree=30877356/32950928 swapFree=67111528/67111528 [pid=13295] ppid=13293 vsize=288464 CPUtime=102.3 /proc/13295/stat : 13295 (wbo1.4a) R 13293 13295 12656 0 -1 4202496 71744 0 0 0 10033 197 0 0 25 0 1 0 131552999 295387136 71640 4089446400 134512640 135751879 4294696016 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/13295/statm: 72116 71640 143 303 0 71811 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 288464 [startup+162.301 s] /proc/loadavg: 2.06 2.37 2.25 3/179 13327 /proc/meminfo: memFree=30567708/32950928 swapFree=67111528/67111528 [pid=13295] ppid=13293 vsize=459860 CPUtime=162.29 /proc/13295/stat : 13295 (wbo1.4a) R 13293 13295 12656 0 -1 4202496 114565 0 0 0 15938 291 0 0 25 0 1 0 131552999 470896640 114461 4089446400 134512640 135751879 4294696016 18446744073709551615 134618256 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/13295/statm: 114965 114461 143 303 0 114660 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 459860 [startup+222.301 s] /proc/loadavg: 2.02 2.30 2.24 3/179 13356 /proc/meminfo: memFree=30846352/32950928 swapFree=67111528/67111528 [pid=13295] ppid=13293 vsize=460488 CPUtime=222.29 /proc/13295/stat : 13295 (wbo1.4a) R 13293 13295 12656 0 -1 4202496 114834 0 0 0 21843 386 0 0 25 0 1 0 131552999 471539712 114693 4089446400 134512640 135751879 4294696016 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/13295/statm: 115122 114693 146 303 0 114817 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 460488 [startup+282.3 s] /proc/loadavg: 2.01 2.25 2.22 3/179 13358 /proc/meminfo: memFree=30661412/32950928 swapFree=67111528/67111528 [pid=13295] ppid=13293 vsize=545548 CPUtime=282.29 /proc/13295/stat : 13295 (wbo1.4a) R 13293 13295 12656 0 -1 4202496 136085 0 0 0 27743 486 0 0 25 0 1 0 131552999 558641152 135944 4089446400 134512640 135751879 4294696016 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/13295/statm: 136387 135944 146 303 0 136082 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 545548 Solver just ended. Dumping a history of the last processes samples [startup+307.101 s] /proc/loadavg: 2.00 2.22 2.21 3/179 13367 /proc/meminfo: memFree=30551660/32950928 swapFree=67111528/67111528 [pid=13295] ppid=13293 vsize=605352 CPUtime=307.09 /proc/13295/stat : 13295 (wbo1.4a) R 13293 13295 12656 0 -1 4202496 151008 0 0 0 30181 528 0 0 25 0 1 0 131552999 619880448 150867 4089446400 134512640 135751879 4294696016 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/13295/statm: 151338 150867 146 303 0 151033 0 Current children cumulated CPU time (s) 307.09 Current children cumulated vsize (KiB) 605352 [startup+313.507 s] /proc/loadavg: 2.00 2.22 2.21 3/179 13367 /proc/meminfo: memFree=30524400/32950928 swapFree=67111528/67111528 [pid=13295] ppid=13293 vsize=619912 CPUtime=313.51 /proc/13295/stat : 13295 (wbo1.4a) R 13293 13295 12656 0 -1 4202496 154648 0 0 0 30812 539 0 0 25 0 1 0 131552999 634789888 154507 4089446400 134512640 135751879 4294696016 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/13295/statm: 154978 154507 146 303 0 154673 0 Current children cumulated CPU time (s) 313.51 Current children cumulated vsize (KiB) 619912 [startup+316.7 s] /proc/loadavg: 2.00 2.22 2.21 3/179 13367 /proc/meminfo: memFree=30511252/32950928 swapFree=67111528/67111528 [pid=13295] ppid=13293 vsize=627444 CPUtime=316.7 /proc/13295/stat : 13295 (wbo1.4a) R 13293 13295 12656 0 -1 4202496 156532 0 0 0 31125 545 0 0 25 0 1 0 131552999 642502656 156391 4089446400 134512640 135751879 4294696016 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/13295/statm: 156861 156391 146 303 0 156556 0 Current children cumulated CPU time (s) 316.7 Current children cumulated vsize (KiB) 627444 [startup+318.301 s] /proc/loadavg: 2.00 2.22 2.21 3/179 13367 /proc/meminfo: memFree=30508648/32950928 swapFree=67111528/67111528 [pid=13295] ppid=13293 vsize=631012 CPUtime=318.3 /proc/13295/stat : 13295 (wbo1.4a) R 13293 13295 12656 0 -1 4202496 157435 0 0 0 31282 548 0 0 25 0 1 0 131552999 646156288 157294 4089446400 134512640 135751879 4294696016 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/13295/statm: 157753 157294 146 303 0 157448 0 Current children cumulated CPU time (s) 318.3 Current children cumulated vsize (KiB) 631012 [startup+319.901 s] /proc/loadavg: 2.00 2.22 2.21 3/179 13367 /proc/meminfo: memFree=30501948/32950928 swapFree=67111528/67111528 [pid=13295] ppid=13293 vsize=635104 CPUtime=319.9 /proc/13295/stat : 13295 (wbo1.4a) R 13293 13295 12656 0 -1 4202496 158438 0 0 0 31440 550 0 0 25 0 1 0 131552999 650346496 158297 4089446400 134512640 135751879 4294696016 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/13295/statm: 158776 158297 146 303 0 158471 0 Current children cumulated CPU time (s) 319.9 Current children cumulated vsize (KiB) 635104 [startup+320.301 s] /proc/loadavg: 2.00 2.22 2.21 3/179 13367 /proc/meminfo: memFree=30496988/32950928 swapFree=67111528/67111528 [pid=13295] ppid=13293 vsize=635764 CPUtime=320.3 /proc/13295/stat : 13295 (wbo1.4a) R 13293 13295 12656 0 -1 4202496 158597 0 0 0 31480 550 0 0 25 0 1 0 131552999 651022336 158456 4089446400 134512640 135751879 4294696016 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/13295/statm: 158941 158456 146 303 0 158636 0 Current children cumulated CPU time (s) 320.3 Current children cumulated vsize (KiB) 635764 [startup+320.501 s] /proc/loadavg: 2.00 2.22 2.21 3/179 13367 /proc/meminfo: memFree=30496988/32950928 swapFree=67111528/67111528 [pid=13295] ppid=13293 vsize=636028 CPUtime=320.5 /proc/13295/stat : 13295 (wbo1.4a) R 13293 13295 12656 0 -1 4202496 158693 0 0 0 31500 550 0 0 25 0 1 0 131552999 651292672 158552 4089446400 134512640 135751879 4294696016 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/13295/statm: 159007 158552 146 303 0 158702 0 Current children cumulated CPU time (s) 320.5 Current children cumulated vsize (KiB) 636028 Child status: 0 Real time (s): 320.528 CPU time (s): 320.534 CPU user time (s): 315.009 CPU system time (s): 5.52516 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 636028 getrusage(RUSAGE_CHILDREN,...) data: user time used= 315.009 system time used= 5.52516 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 158696 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= 225 runsolver used 0.559914 second user time and 1.16382 second system time The end
Begin job on node123 at 2010-06-30 14:56:02 IDJOB=2690007 IDBENCH=78903 IDSOLVER=1200 FILE ID=node123/2690007-1277902562 PBS_JOBID= 11197206 Free space on /tmp= 74212 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900553647--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-2690007-1277902562/watcher-2690007-1277902562 -o /tmp/evaluation-result-2690007-1277902562/solver-2690007-1277902562 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690007-1277902562.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 187986d7f99d984dce20251cf704622a RANDOM SEED=1062559938 node123.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.804 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.60 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.804 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 : 5294.59 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.804 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.804 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.804 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.804 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.71 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.804 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.804 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.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 31447488 kB Buffers: 188672 kB Cached: 1105372 kB SwapCached: 0 kB Active: 575536 kB Inactive: 784744 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31447488 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2712 kB Writeback: 0 kB AnonPages: 66436 kB Mapped: 14520 kB Slab: 78676 kB PageTables: 5260 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 208544 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 node123 at 2010-06-30 15:01:23