Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | OPTIMUM | 162.272 | 162.268 |
Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900546076--soft-0-100-0.wbo |
MD5SUM | b1c472aaf389140c1b2444bf3531b47d |
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 | 89.6814 |
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 | 2707 |
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 | 137245 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 137244 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 723 |
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-2689632-1277929683.wbo. 0.00/0.00 c Instance file HOME/instance-2689632-1277929683.wbo 0.00/0.00 c File size is 96755 bytes. 0.00/0.00 c Highest Coefficient sum: 723 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 | 102 | 231 2707 8338 | 5500 102 20 | 0.002 % | 0.00/0.01 c | 253 | 231 2707 8338 | 6050 253 21 | 0.002 % | 0.00/0.01 c | 479 | 231 2707 8338 | 6655 479 27 | 0.002 % | 0.00/0.02 c | 816 | 231 2707 8338 | 7320 816 30 | 0.002 % | 0.00/0.04 c | 1322 | 231 2707 8338 | 8052 1322 31 | 0.002 % | 0.04/0.07 c | 2081 | 231 2707 8338 | 8857 2081 31 | 0.002 % | 0.09/0.11 c | 3221 | 231 2707 8338 | 9743 3221 31 | 0.002 % | 0.09/0.17 c | 4930 | 231 2707 8338 | 10717 4930 31 | 0.002 % | 0.29/0.30 c | 7492 | 231 2707 8338 | 11789 7492 32 | 0.002 % | 0.49/0.51 c | 11338 | 231 2707 8338 | 12968 11338 33 | 0.002 % | 0.79/0.83 c | 17106 | 231 2707 8338 | 14265 10593 32 | 0.002 % | 1.39/1.41 c | 25755 | 231 2707 8338 | 15692 12062 37 | 0.002 % | 2.28/2.32 c | 38729 | 231 2707 8338 | 17261 9253 36 | 0.002 % | 3.59/3.69 c | 58190 | 231 2707 8338 | 18987 11350 35 | 0.002 % | 5.98/6.03 c | 87384 | 231 2707 8338 | 20886 11932 38 | 0.002 % | 8.88/8.95 c =============================================================================== 9.49/9.54 c core #1 9.49/9.54 c ============================[ Search Statistics ]============================== 9.49/9.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.49/9.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.49/9.54 c =============================================================================== 9.49/9.54 c | 0 | 1585 5219 20097 | 5000 0 nan | 0.000 % | 9.49/9.55 c | 101 | 1585 5219 20097 | 5500 101 22 | 0.000 % | 9.49/9.55 c | 252 | 1585 5219 20097 | 6050 252 25 | 0.000 % | 9.49/9.56 c | 477 | 1585 5219 20097 | 6655 477 28 | 0.000 % | 9.49/9.57 c | 815 | 1585 5219 20097 | 7320 815 26 | 0.000 % | 9.49/9.59 c | 1323 | 1585 5219 20097 | 8052 1323 30 | 0.000 % | 9.59/9.62 c | 2083 | 1585 5219 20097 | 8857 2083 29 | 0.000 % | 9.59/9.66 c | 3222 | 1585 5219 20097 | 9743 3222 31 | 0.000 % | 9.69/9.74 c | 4931 | 1585 5219 20097 | 10717 4931 30 | 0.000 % | 9.79/9.86 c | 7493 | 1585 5219 20097 | 11789 7493 31 | 0.000 % | 9.99/10.08 c | 11338 | 1585 5219 20097 | 12968 11338 32 | 0.000 % | 10.39/10.48 c | 17105 | 1585 5219 20097 | 14265 10580 32 | 0.000 % | 11.09/11.12 c | 25754 | 1585 5219 20097 | 15692 12046 32 | 0.000 % | 12.19/12.20 c | 38730 | 1585 5219 20097 | 17261 9236 35 | 0.000 % | 13.89/13.94 c | 58192 | 1585 5219 20097 | 18987 11362 33 | 0.000 % | 16.29/16.35 c | 87385 | 1585 5219 20097 | 20886 11942 34 | 0.000 % | 19.89/19.96 c | 131174 | 1585 5219 20097 | 22974 13823 31 | 0.000 % | 26.09/26.14 c | 196859 | 1585 5219 20097 | 25272 21824 38 | 0.000 % | 35.59/35.66 c | 295385 | 1585 5219 20097 | 27799 13778 36 | 0.000 % | 50.79/50.84 c | 443174 | 1585 5219 20097 | 30579 22207 35 | 0.000 % | 62.89/62.97 c =============================================================================== 66.39/66.44 c core #2 66.39/66.44 c ============================[ Search Statistics ]============================== 66.39/66.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 66.39/66.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 66.39/66.44 c =============================================================================== 66.39/66.44 c | 0 | 2941 7727 31864 | 5000 0 nan | 0.000 % | 66.39/66.47 c | 100 | 2941 7727 31864 | 5500 100 28 | 0.000 % | 66.39/66.48 c | 250 | 2941 7727 31864 | 6050 250 28 | 0.000 % | 66.39/66.49 c | 476 | 2941 7727 31864 | 6655 476 29 | 0.000 % | 66.49/66.51 c | 813 | 2941 7727 31864 | 7320 813 30 | 0.000 % | 66.49/66.53 c | 1321 | 2941 7727 31864 | 8052 1321 28 | 0.000 % | 66.49/66.58 c | 2080 | 2941 7727 31864 | 8857 2080 29 | 0.000 % | 66.59/66.63 c | 3221 | 2941 7727 31864 | 9743 3221 29 | 0.000 % | 66.70/66.71 c | 4930 | 2941 7727 31864 | 10717 4930 30 | 0.000 % | 66.79/66.87 c | 7492 | 2941 7727 31864 | 11789 7492 30 | 0.000 % | 67.10/67.18 c | 11337 | 2941 7727 31864 | 12968 11337 31 | 0.000 % | 67.59/67.69 c | 17103 | 2941 7727 31864 | 14265 10569 38 | 0.000 % | 68.39/68.47 c | 25753 | 2941 7727 31864 | 15692 12054 37 | 0.000 % | 69.69/69.75 c | 38727 | 2941 7727 31864 | 17261 9241 36 | 0.000 % | 71.50/71.55 c | 58188 | 2941 7727 31864 | 18987 11347 37 | 0.000 % | 74.39/74.48 c | 87380 | 2941 7727 31864 | 20886 11925 34 | 0.000 % | 79.49/79.59 c | 131169 | 2941 7727 31864 | 22974 13741 36 | 0.000 % | 86.59/86.63 c | 196855 | 2941 7727 31864 | 25272 21723 37 | 0.000 % | 97.49/97.53 c | 295384 | 2941 7727 31864 | 27799 13320 37 | 0.000 % | 114.69/114.76 c =============================================================================== 117.79/117.88 c core #3 117.79/117.88 c ============================[ Search Statistics ]============================== 117.79/117.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 117.79/117.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 117.79/117.88 c =============================================================================== 117.79/117.88 c | 0 | 4316 10212 43596 | 5000 0 nan | 0.000 % | 117.90/117.92 c | 103 | 4316 10212 43596 | 5500 103 27 | 0.000 % | 117.90/117.93 c | 253 | 4316 10212 43596 | 6050 253 25 | 0.000 % | 117.90/117.94 c | 479 | 4316 10212 43596 | 6655 479 27 | 0.000 % | 117.90/117.97 c | 817 | 4316 10212 43596 | 7320 817 29 | 0.000 % | 117.99/118.02 c | 1323 | 4316 10212 43596 | 8052 1323 30 | 0.000 % | 117.99/118.06 c | 2082 | 4316 10212 43596 | 8857 2082 31 | 0.000 % | 118.09/118.14 c | 3221 | 4316 10212 43596 | 9743 3221 32 | 0.000 % | 118.20/118.26 c | 4930 | 4316 10212 43596 | 10717 4930 33 | 0.000 % | 118.39/118.43 c | 7492 | 4316 10212 43596 | 11789 7492 35 | 0.000 % | 118.70/118.76 c | 11337 | 4316 10212 43596 | 12968 11337 35 | 0.000 % | 119.19/119.28 c | 17103 | 4316 10212 43596 | 14265 10556 35 | 0.000 % | 120.10/120.10 c | 25754 | 4316 10212 43596 | 15692 12021 35 | 0.000 % | 121.29/121.36 c | 38731 | 4316 10212 43596 | 17261 9217 30 | 0.000 % | 123.29/123.37 c | 58192 | 4316 10212 43596 | 18987 11310 33 | 0.000 % | 126.40/126.47 c | 87385 | 4316 10212 43596 | 20886 11882 33 | 0.000 % | 131.19/131.22 c | 131174 | 4316 10212 43596 | 22974 13683 35 | 0.000 % | 138.60/138.68 c | 196861 | 4316 10212 43596 | 25272 21563 33 | 0.000 % | 150.19/150.29 c | 295388 | 4316 10212 43596 | 27799 14135 39 | 0.000 % | 162.20/162.25 c =============================================================================== 162.20/162.25 c #cores: 3 162.20/162.25 c Final Weight: 3 162.20/162.25 o 3 162.20/162.25 s OPTIMUM FOUND 162.20/162.25 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 162.20/162.25 c Total CPU time: 158.798 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-2689632-1277929683/watcher-2689632-1277929683 -o /tmp/evaluation-result-2689632-1277929683/solver-2689632-1277929683 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689632-1277929683.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.59 2.23 2.13 3/196 16129 /proc/meminfo: memFree=31115740/32951124 swapFree=67111528/67111528 [pid=16129] ppid=16127 vsize=2668 CPUtime=0 /proc/16129/stat : 16129 (wbo1.4a) R 16127 16129 15698 0 -1 4202496 305 0 0 0 0 0 0 0 25 0 1 0 134263493 2732032 224 4089446400 134512640 135751879 4294483920 18446744073709551615 134575417 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/16129/statm: 667 224 147 303 0 338 0 [startup+0.0555999 s] /proc/loadavg: 2.59 2.23 2.13 3/196 16129 /proc/meminfo: memFree=31115740/32951124 swapFree=67111528/67111528 [pid=16129] ppid=16127 vsize=3244 CPUtime=0.04 /proc/16129/stat : 16129 (wbo1.4a) R 16127 16129 15698 0 -1 4202496 476 0 0 0 4 0 0 0 25 0 1 0 134263493 3321856 371 4089446400 134512640 135751879 4294483920 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/16129/statm: 811 371 143 303 0 506 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 3244 [startup+0.100601 s] /proc/loadavg: 2.59 2.23 2.13 3/196 16129 /proc/meminfo: memFree=31115740/32951124 swapFree=67111528/67111528 [pid=16129] ppid=16127 vsize=3640 CPUtime=0.09 /proc/16129/stat : 16129 (wbo1.4a) R 16127 16129 15698 0 -1 4202496 574 0 0 0 8 1 0 0 25 0 1 0 134263493 3727360 469 4089446400 134512640 135751879 4294483920 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/16129/statm: 910 469 143 303 0 605 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3640 [startup+0.300571 s] /proc/loadavg: 2.59 2.23 2.13 3/196 16129 /proc/meminfo: memFree=31115740/32951124 swapFree=67111528/67111528 [pid=16129] ppid=16127 vsize=5092 CPUtime=0.29 /proc/16129/stat : 16129 (wbo1.4a) R 16127 16129 15698 0 -1 4202496 932 0 0 0 27 2 0 0 25 0 1 0 134263493 5214208 827 4089446400 134512640 135751879 4294483920 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/16129/statm: 1273 827 143 303 0 968 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5092 [startup+0.700497 s] /proc/loadavg: 2.59 2.23 2.13 3/196 16129 /proc/meminfo: memFree=31115740/32951124 swapFree=67111528/67111528 [pid=16129] ppid=16127 vsize=7228 CPUtime=0.69 /proc/16129/stat : 16129 (wbo1.4a) R 16127 16129 15698 0 -1 4202496 1482 0 0 0 66 3 0 0 25 0 1 0 134263493 7401472 1377 4089446400 134512640 135751879 4294483920 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/16129/statm: 1807 1377 143 303 0 1502 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7228 [startup+1.50029 s] /proc/loadavg: 2.59 2.23 2.13 3/197 16130 /proc/meminfo: memFree=31108668/32951124 swapFree=67111528/67111528 [pid=16129] ppid=16127 vsize=11452 CPUtime=1.48 /proc/16129/stat : 16129 (wbo1.4a) R 16127 16129 15698 0 -1 4202496 2521 0 0 0 143 5 0 0 18 0 1 0 134263493 11726848 2416 4089446400 134512640 135751879 4294483920 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/16129/statm: 2863 2416 143 303 0 2558 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 11452 [startup+3.10099 s] /proc/loadavg: 2.59 2.23 2.13 3/197 16130 /proc/meminfo: memFree=31102964/32951124 swapFree=67111528/67111528 [pid=16129] ppid=16127 vsize=18712 CPUtime=3.09 /proc/16129/stat : 16129 (wbo1.4a) R 16127 16129 15698 0 -1 4202496 4360 0 0 0 299 10 0 0 20 0 1 0 134263493 19161088 4255 4089446400 134512640 135751879 4294483920 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/16129/statm: 4678 4255 143 303 0 4373 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 18712 [startup+6.30036 s] /proc/loadavg: 2.54 2.23 2.13 3/197 16130 /proc/meminfo: memFree=31087472/32951124 swapFree=67111528/67111528 [pid=16129] ppid=16127 vsize=31604 CPUtime=6.29 /proc/16129/stat : 16129 (wbo1.4a) R 16127 16129 15698 0 -1 4202496 7557 0 0 0 612 17 0 0 25 0 1 0 134263493 32362496 7452 4089446400 134512640 135751879 4294483920 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/16129/statm: 7901 7452 143 303 0 7596 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 31604 [startup+12.7011 s] /proc/loadavg: 2.50 2.22 2.13 3/197 16131 /proc/meminfo: memFree=31063260/32951124 swapFree=67111528/67111528 [pid=16129] ppid=16127 vsize=45748 CPUtime=12.69 /proc/16129/stat : 16129 (wbo1.4a) R 16127 16129 15698 0 -1 4202496 11099 0 0 0 1239 30 0 0 25 0 1 0 134263493 46845952 10994 4089446400 134512640 135751879 4294483920 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/16129/statm: 11437 10994 146 303 0 11132 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 45748 [startup+25.5005 s] /proc/loadavg: 2.39 2.21 2.12 3/197 16131 /proc/meminfo: memFree=31020004/32951124 swapFree=67111528/67111528 [pid=16129] ppid=16127 vsize=81408 CPUtime=25.49 /proc/16129/stat : 16129 (wbo1.4a) R 16127 16129 15698 0 -1 4202496 20024 0 0 0 2489 60 0 0 25 0 1 0 134263493 83361792 19919 4089446400 134512640 135751879 4294483920 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/16129/statm: 20352 19919 146 303 0 20047 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 81408 [startup+51.1005 s] /proc/loadavg: 2.26 2.19 2.12 3/197 16131 /proc/meminfo: memFree=30919164/32951124 swapFree=67111528/67111528 [pid=16129] ppid=16127 vsize=160836 CPUtime=51.09 /proc/16129/stat : 16129 (wbo1.4a) R 16127 16129 15698 0 -1 4202496 39859 0 0 0 4991 118 0 0 25 0 1 0 134263493 164696064 39754 4089446400 134512640 135751879 4294483920 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/16129/statm: 40209 39754 146 303 0 39904 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 160836 [startup+102.306 s] /proc/loadavg: 2.11 2.16 2.11 3/197 16133 /proc/meminfo: memFree=30840532/32951124 swapFree=67111528/67111528 [pid=16129] ppid=16127 vsize=221416 CPUtime=102.3 /proc/16129/stat : 16129 (wbo1.4a) R 16127 16129 15698 0 -1 4202496 55038 0 0 0 10005 225 0 0 25 0 1 0 134263493 226729984 54903 4089446400 134512640 135751879 4294483920 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/16129/statm: 55354 54903 146 303 0 55049 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 221416 Solver just ended. Dumping a history of the last processes samples [startup+127.901 s] /proc/loadavg: 2.07 2.15 2.10 3/197 16133 /proc/meminfo: memFree=30790176/32951124 swapFree=67111528/67111528 [pid=16129] ppid=16127 vsize=268628 CPUtime=127.9 /proc/16129/stat : 16129 (wbo1.4a) R 16127 16129 15698 0 -1 4202496 66821 0 0 0 12516 274 0 0 25 0 1 0 134263493 275075072 66686 4089446400 134512640 135751879 4294483920 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/16129/statm: 67157 66686 146 303 0 66852 0 Current children cumulated CPU time (s) 127.9 Current children cumulated vsize (KiB) 268628 [startup+140.701 s] /proc/loadavg: 2.05 2.14 2.10 3/197 16134 /proc/meminfo: memFree=30781476/32951124 swapFree=67111528/67111528 [pid=16129] ppid=16127 vsize=268628 CPUtime=140.7 /proc/16129/stat : 16129 (wbo1.4a) R 16127 16129 15698 0 -1 4202496 66847 0 0 0 13770 300 0 0 25 0 1 0 134263493 275075072 66712 4089446400 134512640 135751879 4294483920 18446744073709551615 134649854 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/16129/statm: 67157 66712 146 303 0 66852 0 Current children cumulated CPU time (s) 140.7 Current children cumulated vsize (KiB) 268628 [startup+153.504 s] /proc/loadavg: 2.05 2.13 2.10 3/197 16134 /proc/meminfo: memFree=30749976/32951124 swapFree=67111528/67111528 [pid=16129] ppid=16127 vsize=292340 CPUtime=153.5 /proc/16129/stat : 16129 (wbo1.4a) R 16127 16129 15698 0 -1 4202496 72761 0 0 0 15022 328 0 0 25 0 1 0 134263493 299356160 72626 4089446400 134512640 135751879 4294483920 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/16129/statm: 73085 72626 146 303 0 72780 0 Current children cumulated CPU time (s) 153.5 Current children cumulated vsize (KiB) 292340 [startup+156.7 s] /proc/loadavg: 2.04 2.13 2.10 3/197 16134 /proc/meminfo: memFree=30740304/32951124 swapFree=67111528/67111528 [pid=16129] ppid=16127 vsize=300936 CPUtime=156.7 /proc/16129/stat : 16129 (wbo1.4a) R 16127 16129 15698 0 -1 4202496 74885 0 0 0 15336 334 0 0 25 0 1 0 134263493 308158464 74750 4089446400 134512640 135751879 4294483920 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/16129/statm: 75234 74750 146 303 0 74929 0 Current children cumulated CPU time (s) 156.7 Current children cumulated vsize (KiB) 300936 [startup+159.901 s] /proc/loadavg: 2.04 2.13 2.10 3/197 16134 /proc/meminfo: memFree=30728768/32951124 swapFree=67111528/67111528 [pid=16129] ppid=16127 vsize=309384 CPUtime=159.9 /proc/16129/stat : 16129 (wbo1.4a) R 16127 16129 15698 0 -1 4202496 76995 0 0 0 15649 341 0 0 25 0 1 0 134263493 316809216 76860 4089446400 134512640 135751879 4294483920 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/16129/statm: 77346 76860 146 303 0 77041 0 Current children cumulated CPU time (s) 159.9 Current children cumulated vsize (KiB) 309384 [startup+161.501 s] /proc/loadavg: 2.04 2.13 2.10 3/197 16134 /proc/meminfo: memFree=30725048/32951124 swapFree=67111528/67111528 [pid=16129] ppid=16127 vsize=313876 CPUtime=161.5 /proc/16129/stat : 16129 (wbo1.4a) R 16127 16129 15698 0 -1 4202496 78131 0 0 0 15805 345 0 0 25 0 1 0 134263493 321409024 77996 4089446400 134512640 135751879 4294483920 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/16129/statm: 78469 77996 146 303 0 78164 0 Current children cumulated CPU time (s) 161.5 Current children cumulated vsize (KiB) 313876 [startup+161.9 s] /proc/loadavg: 2.04 2.13 2.10 3/197 16135 /proc/meminfo: memFree=30721576/32951124 swapFree=67111528/67111528 [pid=16129] ppid=16127 vsize=315064 CPUtime=161.89 /proc/16129/stat : 16129 (wbo1.4a) R 16127 16129 15698 0 -1 4202496 78418 0 0 0 15844 345 0 0 25 0 1 0 134263493 322625536 78283 4089446400 134512640 135751879 4294483920 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/16129/statm: 78766 78283 146 303 0 78461 0 Current children cumulated CPU time (s) 161.89 Current children cumulated vsize (KiB) 315064 [startup+162.1 s] /proc/loadavg: 2.04 2.13 2.10 3/197 16135 /proc/meminfo: memFree=30721576/32951124 swapFree=67111528/67111528 [pid=16129] ppid=16127 vsize=315592 CPUtime=162.1 /proc/16129/stat : 16129 (wbo1.4a) R 16127 16129 15698 0 -1 4202496 78550 0 0 0 15864 346 0 0 25 0 1 0 134263493 323166208 78415 4089446400 134512640 135751879 4294483920 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/16129/statm: 78898 78415 146 303 0 78593 0 Current children cumulated CPU time (s) 162.1 Current children cumulated vsize (KiB) 315592 [startup+162.2 s] /proc/loadavg: 2.04 2.13 2.10 3/197 16135 /proc/meminfo: memFree=30721576/32951124 swapFree=67111528/67111528 [pid=16129] ppid=16127 vsize=315856 CPUtime=162.2 /proc/16129/stat : 16129 (wbo1.4a) R 16127 16129 15698 0 -1 4202496 78615 0 0 0 15874 346 0 0 25 0 1 0 134263493 323436544 78480 4089446400 134512640 135751879 4294483920 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/16129/statm: 78964 78480 146 303 0 78659 0 Current children cumulated CPU time (s) 162.2 Current children cumulated vsize (KiB) 315856 Child status: 0 Real time (s): 162.268 CPU time (s): 162.272 CPU user time (s): 158.798 CPU system time (s): 3.47447 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 315856 getrusage(RUSAGE_CHILDREN,...) data: user time used= 158.798 system time used= 3.47447 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 78653 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= 1786 runsolver used 0.239963 second user time and 0.527919 second system time The end
Begin job on node143 at 2010-06-30 22:28:03 IDJOB=2689632 IDBENCH=79300 IDSOLVER=1200 FILE ID=node143/2689632-1277929683 PBS_JOBID= 11197369 Free space on /tmp= 74212 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900546076--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-2689632-1277929683/watcher-2689632-1277929683 -o /tmp/evaluation-result-2689632-1277929683/solver-2689632-1277929683 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689632-1277929683.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= b1c472aaf389140c1b2444bf3531b47d RANDOM SEED=1850333738 node143.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 : 5226.07 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.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.76 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.77 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 : 5285.38 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.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.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 : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31116144 kB Buffers: 214336 kB Cached: 967224 kB SwapCached: 0 kB Active: 921380 kB Inactive: 769256 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31116144 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2804 kB Writeback: 0 kB AnonPages: 508872 kB Mapped: 20504 kB Slab: 80208 kB PageTables: 5744 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1659468 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= 74208 MiB End job on node143 at 2010-06-30 22:30:46