Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | OPTIMUM | 324.107 | 324.096 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900670167--soft-33-100-0.wbo |
MD5SUM | cbb94832f8cf89251c53c05bd4717107 |
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 | 2 |
Best CPU time to get the best result obtained on this benchmark | 144.401 |
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 | 1788 |
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 | 89002 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 89001 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 707 |
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-2690117-1277908323.wbo. 0.00/0.00 c Instance file HOME/instance-2690117-1277908323.wbo 0.00/0.00 c File size is 92231 bytes. 0.00/0.00 c Highest Coefficient sum: 707 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 22 | 0.002 % | 0.00/0.01 c | 252 | 231 2707 8338 | 6050 252 27 | 0.002 % | 0.00/0.01 c | 477 | 231 2707 8338 | 6655 477 29 | 0.002 % | 0.00/0.02 c | 814 | 231 2707 8338 | 7320 814 27 | 0.002 % | 0.00/0.04 c | 1320 | 231 2707 8338 | 8052 1320 26 | 0.002 % | 0.00/0.06 c | 2079 | 231 2707 8338 | 8857 2079 27 | 0.002 % | 0.09/0.10 c | 3218 | 231 2707 8338 | 9743 3218 28 | 0.002 % | 0.10/0.16 c | 4926 | 231 2707 8338 | 10717 4926 29 | 0.002 % | 0.19/0.27 c | 7489 | 231 2707 8338 | 11789 7489 30 | 0.002 % | 0.39/0.47 c | 11333 | 231 2707 8338 | 12968 11333 30 | 0.002 % | 0.69/0.79 c | 17100 | 231 2707 8338 | 14265 10560 33 | 0.002 % | 1.29/1.34 c | 25749 | 231 2707 8338 | 15692 12029 34 | 0.002 % | 2.19/2.21 c | 38723 | 231 2707 8338 | 17261 9187 37 | 0.002 % | 3.59/3.63 c | 58184 | 231 2707 8338 | 18987 11255 35 | 0.002 % | 5.69/5.75 c | 87376 | 231 2707 8338 | 20886 11800 35 | 0.002 % | 9.29/9.39 c | 131166 | 231 2707 8338 | 22974 13598 38 | 0.002 % | 14.79/14.85 c | 196850 | 231 2707 8338 | 25272 21318 36 | 0.002 % | 24.39/24.44 c | 295377 | 231 2707 8338 | 27799 25135 39 | 0.002 % | 39.39/39.41 c | 443166 | 231 2707 8338 | 30579 15122 38 | 0.002 % | 62.90/62.93 c | 664849 | 231 2707 8338 | 33637 13706 36 | 0.002 % | 99.69/99.78 c | 997377 | 231 2707 8338 | 37001 25817 36 | 0.002 % | 156.10/156.11 c | 1496167 | 230 2707 8338 | 40701 24745 36 | 0.435 % | 156.79/156.83 c =============================================================================== 166.20/166.21 c core #1 166.20/166.21 c ============================[ Search Statistics ]============================== 166.20/166.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 166.20/166.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 166.20/166.21 c =============================================================================== 166.20/166.21 c | 0 | 1136 4406 16257 | 5000 0 nan | 0.000 % | 166.50/166.53 c | 102 | 1136 4406 16257 | 5500 102 37 | 0.000 % | 166.50/166.54 c | 254 | 1136 4406 16257 | 6050 254 38 | 0.000 % | 166.50/166.55 c | 480 | 1136 4406 16257 | 6655 480 34 | 0.000 % | 166.50/166.56 c | 818 | 1136 4406 16257 | 7320 818 32 | 0.000 % | 166.50/166.58 c | 1324 | 1136 4406 16257 | 8052 1324 33 | 0.000 % | 166.60/166.62 c | 2085 | 1136 4406 16257 | 8857 2085 33 | 0.000 % | 166.60/166.69 c | 3224 | 1136 4406 16257 | 9743 3224 32 | 0.000 % | 166.70/166.77 c | 4935 | 1136 4406 16257 | 10717 4935 33 | 0.000 % | 166.89/166.90 c | 7498 | 1136 4406 16257 | 11789 7498 32 | 0.000 % | 167.10/167.15 c | 11342 | 1136 4406 16257 | 12968 11342 32 | 0.000 % | 167.49/167.53 c | 17108 | 1136 4406 16257 | 14265 10559 33 | 0.000 % | 168.10/168.11 c | 25757 | 1136 4406 16257 | 15692 12035 34 | 0.000 % | 168.99/169.09 c | 38734 | 1136 4406 16257 | 17261 9223 35 | 0.000 % | 171.10/171.13 c | 58196 | 1136 4406 16257 | 18987 11318 39 | 0.000 % | 173.80/173.82 c | 87389 | 1136 4406 16257 | 20886 11851 38 | 0.000 % | 178.21/178.22 c | 131178 | 1136 4406 16257 | 22974 13645 38 | 0.000 % | 184.40/184.41 c | 196863 | 1136 4406 16257 | 25272 21185 36 | 0.000 % | 196.00/196.08 c | 295390 | 1136 4406 16257 | 27799 12889 39 | 0.000 % | 213.10/213.10 c | 443180 | 1136 4406 16257 | 30579 18348 40 | 0.000 % | 239.20/239.29 c | 664864 | 1136 4406 16257 | 33637 20057 38 | 0.000 % | 278.10/278.15 c | 997389 | 1136 4406 16257 | 37001 32062 40 | 0.000 % | 305.30/305.35 c =============================================================================== 314.10/314.10 c core #2 314.10/314.10 c ============================[ Search Statistics ]============================== 314.10/314.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 314.10/314.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 314.10/314.10 c =============================================================================== 314.10/314.10 c | 0 | 2036 6085 24108 | 5000 0 nan | 0.000 % | 314.10/314.15 c | 100 | 2036 6085 24108 | 5500 100 31 | 0.000 % | 314.10/314.17 c | 250 | 2036 6085 24108 | 6050 250 34 | 0.000 % | 314.10/314.19 c | 475 | 2036 6085 24108 | 6655 475 30 | 0.000 % | 314.20/314.21 c | 813 | 2036 6085 24108 | 7320 813 30 | 0.000 % | 314.20/314.24 c | 1320 | 2036 6085 24108 | 8052 1320 30 | 0.000 % | 314.20/314.28 c | 2079 | 2036 6085 24108 | 8857 2079 29 | 0.000 % | 314.30/314.34 c | 3218 | 2036 6085 24108 | 9743 3218 30 | 0.000 % | 314.40/314.42 c | 4926 | 2036 6085 24108 | 10717 4926 29 | 0.000 % | 314.51/314.57 c | 7488 | 2036 6085 24108 | 11789 7488 30 | 0.000 % | 314.80/314.81 c | 11332 | 2036 6085 24108 | 12968 11332 31 | 0.000 % | 315.20/315.24 c | 17099 | 2036 6085 24108 | 14265 10553 33 | 0.000 % | 315.90/315.91 c | 25748 | 2036 6085 24108 | 15692 12022 32 | 0.000 % | 317.10/317.12 c | 38722 | 2036 6085 24108 | 17261 9218 40 | 0.000 % | 318.80/318.89 c | 58183 | 2036 6085 24108 | 18987 11302 36 | 0.000 % | 321.70/321.78 c | 87376 | 2036 6085 24108 | 20886 11841 40 | 0.000 % | 324.00/324.07 c =============================================================================== 324.00/324.07 c #cores: 2 324.00/324.07 c Final Weight: 2 324.00/324.07 o 2 324.00/324.07 s OPTIMUM FOUND 324.00/324.07 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 324.00/324.07 c Total CPU time: 320.743 s
OK 2
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2690117-1277908323/watcher-2690117-1277908323 -o /tmp/evaluation-result-2690117-1277908323/solver-2690117-1277908323 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690117-1277908323.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.06 2.25 4/178 12167 /proc/meminfo: memFree=30554152/32951124 swapFree=67111528/67111528 [pid=12167] ppid=12165 vsize=2668 CPUtime=0 /proc/12167/stat : 12167 (wbo1.4a) R 12165 12167 10943 0 -1 4202496 305 0 0 0 0 0 0 0 25 0 1 0 132129987 2732032 223 4089446400 134512640 135751879 4287133168 18446744073709551615 134564443 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12167/statm: 667 223 146 303 0 339 0 [startup+0.094203 s] /proc/loadavg: 2.00 2.06 2.25 4/178 12167 /proc/meminfo: memFree=30554152/32951124 swapFree=67111528/67111528 [pid=12167] ppid=12165 vsize=3512 CPUtime=0.09 /proc/12167/stat : 12167 (wbo1.4a) R 12165 12167 10943 0 -1 4202496 548 0 0 0 9 0 0 0 25 0 1 0 132129987 3596288 443 4089446400 134512640 135751879 4287133168 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12167/statm: 878 443 143 303 0 573 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3512 [startup+0.101199 s] /proc/loadavg: 2.00 2.06 2.25 4/178 12167 /proc/meminfo: memFree=30554152/32951124 swapFree=67111528/67111528 [pid=12167] ppid=12165 vsize=3644 CPUtime=0.1 /proc/12167/stat : 12167 (wbo1.4a) R 12165 12167 10943 0 -1 4202496 562 0 0 0 10 0 0 0 25 0 1 0 132129987 3731456 457 4089446400 134512640 135751879 4287133168 18446744073709551615 135269054 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12167/statm: 911 457 143 303 0 606 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 3644 [startup+0.300167 s] /proc/loadavg: 2.00 2.06 2.25 4/178 12167 /proc/meminfo: memFree=30554152/32951124 swapFree=67111528/67111528 [pid=12167] ppid=12165 vsize=4964 CPUtime=0.29 /proc/12167/stat : 12167 (wbo1.4a) R 12165 12167 10943 0 -1 4202496 900 0 0 0 29 0 0 0 25 0 1 0 132129987 5083136 795 4089446400 134512640 135751879 4287133168 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12167/statm: 1241 795 143 303 0 936 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4964 [startup+0.701092 s] /proc/loadavg: 2.00 2.06 2.25 4/178 12167 /proc/meminfo: memFree=30554152/32951124 swapFree=67111528/67111528 [pid=12167] ppid=12165 vsize=7208 CPUtime=0.69 /proc/12167/stat : 12167 (wbo1.4a) R 12165 12167 10943 0 -1 4202496 1451 0 0 0 68 1 0 0 25 0 1 0 132129987 7380992 1346 4089446400 134512640 135751879 4287133168 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12167/statm: 1802 1346 143 303 0 1497 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7208 [startup+1.50095 s] /proc/loadavg: 2.00 2.06 2.25 3/179 12168 /proc/meminfo: memFree=30544472/32951124 swapFree=67111528/67111528 [pid=12167] ppid=12165 vsize=10776 CPUtime=1.49 /proc/12167/stat : 12167 (wbo1.4a) R 12165 12167 10943 0 -1 4202496 2359 0 0 0 147 2 0 0 25 0 1 0 132129987 11034624 2254 4089446400 134512640 135751879 4287133168 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12167/statm: 2694 2254 143 303 0 2389 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10776 [startup+3.10066 s] /proc/loadavg: 2.00 2.06 2.25 3/179 12169 /proc/meminfo: memFree=30535296/32951124 swapFree=67111528/67111528 [pid=12167] ppid=12165 vsize=17644 CPUtime=3.09 /proc/12167/stat : 12167 (wbo1.4a) R 12165 12167 10943 0 -1 4202496 4083 0 0 0 304 5 0 0 25 0 1 0 132129987 18067456 3978 4089446400 134512640 135751879 4287133168 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12167/statm: 4411 3978 143 303 0 4106 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17644 [startup+6.30107 s] /proc/loadavg: 2.00 2.06 2.25 3/179 12169 /proc/meminfo: memFree=30517072/32951124 swapFree=67111528/67111528 [pid=12167] ppid=12165 vsize=30364 CPUtime=6.29 /proc/12167/stat : 12167 (wbo1.4a) R 12165 12167 10943 0 -1 4202496 7267 0 0 0 619 10 0 0 22 0 1 0 132129987 31092736 7162 4089446400 134512640 135751879 4287133168 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12167/statm: 7591 7162 143 303 0 7286 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 30364 [startup+12.7009 s] /proc/loadavg: 2.00 2.06 2.25 3/179 12169 /proc/meminfo: memFree=30478008/32951124 swapFree=67111528/67111528 [pid=12167] ppid=12165 vsize=53608 CPUtime=12.69 /proc/12167/stat : 12167 (wbo1.4a) R 12165 12167 10943 0 -1 4202496 13062 0 0 0 1251 18 0 0 25 0 1 0 132129987 54894592 12957 4089446400 134512640 135751879 4287133168 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12167/statm: 13402 12957 143 303 0 13097 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 53608 [startup+25.5006 s] /proc/loadavg: 2.00 2.05 2.24 3/179 12169 /proc/meminfo: memFree=30408436/32951124 swapFree=67111528/67111528 [pid=12167] ppid=12165 vsize=94836 CPUtime=25.5 /proc/12167/stat : 12167 (wbo1.4a) R 12165 12167 10943 0 -1 4202496 23358 0 0 0 2517 33 0 0 25 0 1 0 132129987 97112064 23253 4089446400 134512640 135751879 4287133168 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12167/statm: 23709 23253 143 303 0 23404 0 Current children cumulated CPU time (s) 25.5 Current children cumulated vsize (KiB) 94836 [startup+51.101 s] /proc/loadavg: 2.00 2.05 2.24 3/179 12169 /proc/meminfo: memFree=30289488/32951124 swapFree=67111528/67111528 [pid=12167] ppid=12165 vsize=170588 CPUtime=51.09 /proc/12167/stat : 12167 (wbo1.4a) R 12165 12167 10943 0 -1 4202496 42283 0 0 0 5049 60 0 0 25 0 1 0 132129987 174682112 42178 4089446400 134512640 135751879 4287133168 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12167/statm: 42647 42178 143 303 0 42342 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 170588 [startup+102.307 s] /proc/loadavg: 2.00 2.04 2.22 3/179 12171 /proc/meminfo: memFree=30064636/32951124 swapFree=67111528/67111528 [pid=12167] ppid=12165 vsize=313800 CPUtime=102.3 /proc/12167/stat : 12167 (wbo1.4a) R 12165 12167 10943 0 -1 4202496 78081 0 0 0 10112 118 0 0 22 0 1 0 132129987 321331200 77976 4089446400 134512640 135751879 4287133168 18446744073709551615 134616776 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12167/statm: 78450 77976 143 303 0 78145 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 313800 [startup+162.301 s] /proc/loadavg: 2.00 2.03 2.20 3/179 12173 /proc/meminfo: memFree=29780756/32951124 swapFree=67111528/67111528 [pid=12167] ppid=12165 vsize=503580 CPUtime=162.3 /proc/12167/stat : 12167 (wbo1.4a) R 12165 12167 10943 0 -1 4202496 125504 0 0 0 16048 182 0 0 25 0 1 0 132129987 515665920 125399 4089446400 134512640 135751879 4287133168 18446744073709551615 134618379 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12167/statm: 125895 125399 143 303 0 125590 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 503580 [startup+222.301 s] /proc/loadavg: 2.00 2.02 2.19 3/179 12174 /proc/meminfo: memFree=29681496/32951124 swapFree=67111528/67111528 [pid=12167] ppid=12165 vsize=503416 CPUtime=222.3 /proc/12167/stat : 12167 (wbo1.4a) R 12165 12167 10943 0 -1 4202496 125550 0 0 0 21991 239 0 0 25 0 1 0 132129987 515497984 125408 4089446400 134512640 135751879 4287133168 18446744073709551615 134642038 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12167/statm: 125854 125408 146 303 0 125549 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 503416 [startup+282.301 s] /proc/loadavg: 2.06 2.03 2.18 3/179 12175 /proc/meminfo: memFree=29498292/32951124 swapFree=67111528/67111528 [pid=12167] ppid=12165 vsize=593136 CPUtime=282.3 /proc/12167/stat : 12167 (wbo1.4a) R 12165 12167 10943 0 -1 4202496 147988 0 0 0 27934 296 0 0 25 0 1 0 132129987 607371264 147846 4089446400 134512640 135751879 4287133168 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12167/statm: 148284 147846 146 303 0 147979 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 593136 Solver just ended. Dumping a history of the last processes samples [startup+307.101 s] /proc/loadavg: 2.04 2.03 2.17 3/179 12177 /proc/meminfo: memFree=29380960/32951124 swapFree=67111528/67111528 [pid=12167] ppid=12165 vsize=673208 CPUtime=307.1 /proc/12167/stat : 12167 (wbo1.4a) R 12165 12167 10943 0 -1 4202496 167987 0 0 0 30388 322 0 0 25 0 1 0 132129987 689364992 167845 4089446400 134512640 135751879 4287133168 18446744073709551615 134516328 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12167/statm: 168302 167845 146 303 0 167997 0 Current children cumulated CPU time (s) 307.1 Current children cumulated vsize (KiB) 673208 [startup+313.506 s] /proc/loadavg: 2.03 2.03 2.17 3/179 12177 /proc/meminfo: memFree=29351936/32951124 swapFree=67111528/67111528 [pid=12167] ppid=12165 vsize=692156 CPUtime=313.5 /proc/12167/stat : 12167 (wbo1.4a) R 12165 12167 10943 0 -1 4202496 172717 0 0 0 31028 322 0 0 25 0 1 0 132129987 708767744 172575 4089446400 134512640 135751879 4287133168 18446744073709551615 134521234 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12167/statm: 173039 172575 146 303 0 172734 0 Current children cumulated CPU time (s) 313.5 Current children cumulated vsize (KiB) 692156 [startup+319.9 s] /proc/loadavg: 2.03 2.03 2.17 3/179 12177 /proc/meminfo: memFree=29339040/32951124 swapFree=67111528/67111528 [pid=12167] ppid=12165 vsize=692156 CPUtime=319.9 /proc/12167/stat : 12167 (wbo1.4a) R 12165 12167 10943 0 -1 4202496 172723 0 0 0 31660 330 0 0 25 0 1 0 132129987 708767744 172581 4089446400 134512640 135751879 4287133168 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12167/statm: 173039 172581 146 303 0 172734 0 Current children cumulated CPU time (s) 319.9 Current children cumulated vsize (KiB) 692156 [startup+321.501 s] /proc/loadavg: 2.03 2.03 2.17 3/179 12177 /proc/meminfo: memFree=29335068/32951124 swapFree=67111528/67111528 [pid=12167] ppid=12165 vsize=692156 CPUtime=321.5 /proc/12167/stat : 12167 (wbo1.4a) R 12165 12167 10943 0 -1 4202496 172723 0 0 0 31818 332 0 0 25 0 1 0 132129987 708767744 172581 4089446400 134512640 135751879 4287133168 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12167/statm: 173039 172581 146 303 0 172734 0 Current children cumulated CPU time (s) 321.5 Current children cumulated vsize (KiB) 692156 [startup+323.101 s] /proc/loadavg: 2.03 2.03 2.17 3/179 12177 /proc/meminfo: memFree=29334944/32951124 swapFree=67111528/67111528 [pid=12167] ppid=12165 vsize=692156 CPUtime=323.1 /proc/12167/stat : 12167 (wbo1.4a) R 12165 12167 10943 0 -1 4202496 172723 0 0 0 31977 333 0 0 25 0 1 0 132129987 708767744 172581 4089446400 134512640 135751879 4287133168 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12167/statm: 173039 172581 146 303 0 172734 0 Current children cumulated CPU time (s) 323.1 Current children cumulated vsize (KiB) 692156 [startup+323.501 s] /proc/loadavg: 2.03 2.03 2.17 3/179 12177 /proc/meminfo: memFree=29333452/32951124 swapFree=67111528/67111528 [pid=12167] ppid=12165 vsize=692156 CPUtime=323.5 /proc/12167/stat : 12167 (wbo1.4a) R 12165 12167 10943 0 -1 4202496 172723 0 0 0 32017 333 0 0 25 0 1 0 132129987 708767744 172581 4089446400 134512640 135751879 4287133168 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12167/statm: 173039 172581 146 303 0 172734 0 Current children cumulated CPU time (s) 323.5 Current children cumulated vsize (KiB) 692156 [startup+323.9 s] /proc/loadavg: 2.03 2.03 2.17 3/179 12177 /proc/meminfo: memFree=29333452/32951124 swapFree=67111528/67111528 [pid=12167] ppid=12165 vsize=692156 CPUtime=323.9 /proc/12167/stat : 12167 (wbo1.4a) R 12165 12167 10943 0 -1 4202496 172723 0 0 0 32056 334 0 0 25 0 1 0 132129987 708767744 172581 4089446400 134512640 135751879 4287133168 18446744073709551615 134602463 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12167/statm: 173039 172581 146 303 0 172734 0 Current children cumulated CPU time (s) 323.9 Current children cumulated vsize (KiB) 692156 [startup+324 s] /proc/loadavg: 2.03 2.03 2.17 3/179 12177 /proc/meminfo: memFree=29333452/32951124 swapFree=67111528/67111528 [pid=12167] ppid=12165 vsize=692156 CPUtime=324 /proc/12167/stat : 12167 (wbo1.4a) R 12165 12167 10943 0 -1 4202496 172723 0 0 0 32066 334 0 0 25 0 1 0 132129987 708767744 172581 4089446400 134512640 135751879 4287133168 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12167/statm: 173039 172581 146 303 0 172734 0 Current children cumulated CPU time (s) 324 Current children cumulated vsize (KiB) 692156 Child status: 0 Real time (s): 324.096 CPU time (s): 324.107 CPU user time (s): 320.743 CPU system time (s): 3.36349 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 692156 getrusage(RUSAGE_CHILDREN,...) data: user time used= 320.743 system time used= 3.36349 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 172723 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= 237 runsolver used 0.45993 second user time and 1.03584 second system time The end
Begin job on node106 at 2010-06-30 16:32:03 IDJOB=2690117 IDBENCH=78958 IDSOLVER=1200 FILE ID=node106/2690117-1277908323 PBS_JOBID= 11197172 Free space on /tmp= 74208 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900670167--soft-33-100-0.wbo COMMAND LINE= wbo1.4a -file-format=wbo -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2690117-1277908323/watcher-2690117-1277908323 -o /tmp/evaluation-result-2690117-1277908323/solver-2690117-1277908323 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690117-1277908323.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= cbb94832f8cf89251c53c05bd4717107 RANDOM SEED=2119808475 node106.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.825 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.65 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.825 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.825 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.82 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.825 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.76 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.825 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.82 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.825 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.73 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.825 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.83 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.825 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.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 30554680 kB Buffers: 191716 kB Cached: 1272540 kB SwapCached: 0 kB Active: 1227484 kB Inactive: 1026100 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30554680 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2744 kB Writeback: 0 kB AnonPages: 789332 kB Mapped: 16276 kB Slab: 78440 kB PageTables: 6144 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 960776 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 node106 at 2010-06-30 16:37:27