Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | OPTIMUM | 379.165 | 379.16 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900568706--soft-33-100-0.wbo |
MD5SUM | d42cf4effb818ceec652d99deb164158 |
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 | 379.165 |
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 | 1783 |
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 | 90636 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 90635 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 711 |
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-2689999-1277902021.wbo. 0.00/0.00 c Instance file HOME/instance-2689999-1277902021.wbo 0.00/0.00 c File size is 92222 bytes. 0.00/0.00 c Highest Coefficient sum: 711 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 | 100 | 231 2707 8338 | 5500 100 27 | 0.002 % | 0.00/0.01 c | 250 | 231 2707 8338 | 6050 250 30 | 0.002 % | 0.00/0.01 c | 475 | 231 2707 8338 | 6655 475 27 | 0.002 % | 0.00/0.02 c | 813 | 231 2707 8338 | 7320 813 28 | 0.002 % | 0.02/0.04 c | 1320 | 231 2707 8338 | 8052 1320 28 | 0.002 % | 0.02/0.06 c | 2080 | 231 2707 8338 | 8857 2080 27 | 0.002 % | 0.09/0.10 c | 3220 | 231 2707 8338 | 9743 3220 28 | 0.002 % | 0.09/0.16 c | 4929 | 231 2707 8338 | 10717 4929 30 | 0.002 % | 0.19/0.28 c | 7493 | 231 2707 8338 | 11789 7493 31 | 0.002 % | 0.39/0.48 c | 11339 | 231 2707 8338 | 12968 11339 31 | 0.002 % | 0.69/0.78 c | 17108 | 231 2707 8338 | 14265 10567 31 | 0.002 % | 1.19/1.28 c | 25760 | 231 2707 8338 | 15692 12018 34 | 0.002 % | 2.09/2.18 c | 38735 | 231 2707 8338 | 17261 9211 37 | 0.002 % | 3.59/3.64 c | 58196 | 231 2707 8338 | 18987 11313 36 | 0.002 % | 5.89/5.91 c | 87389 | 231 2707 8338 | 20886 11902 36 | 0.002 % | 9.89/9.96 c | 131179 | 231 2707 8338 | 22974 13716 37 | 0.002 % | 16.10/16.10 c | 196864 | 231 2707 8338 | 25272 21672 40 | 0.002 % | 25.39/25.45 c | 295390 | 231 2707 8338 | 27799 12707 35 | 0.002 % | 40.49/40.52 c | 443181 | 231 2707 8338 | 30579 19763 37 | 0.002 % | 62.59/62.66 c | 664865 | 231 2707 8338 | 33637 19787 36 | 0.002 % | 98.79/98.83 c | 997390 | 231 2707 8338 | 37001 33403 37 | 0.002 % | 111.19/111.29 c =============================================================================== 118.29/118.31 c core #1 118.29/118.31 c ============================[ Search Statistics ]============================== 118.29/118.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 118.29/118.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 118.29/118.31 c =============================================================================== 118.29/118.31 c | 0 | 1125 4389 16212 | 5000 0 nan | 0.000 % | 118.49/118.55 c | 100 | 1125 4389 16212 | 5500 100 20 | 0.000 % | 118.49/118.56 c | 251 | 1125 4389 16212 | 6050 251 27 | 0.000 % | 118.49/118.57 c | 476 | 1125 4389 16212 | 6655 476 26 | 0.000 % | 118.49/118.58 c | 814 | 1125 4389 16212 | 7320 814 27 | 0.000 % | 118.59/118.60 c | 1320 | 1125 4389 16212 | 8052 1320 31 | 0.000 % | 118.59/118.66 c | 2079 | 1125 4389 16212 | 8857 2079 30 | 0.000 % | 118.70/118.70 c | 3220 | 1125 4389 16212 | 9743 3220 30 | 0.000 % | 118.70/118.78 c | 4928 | 1125 4389 16212 | 10717 4928 31 | 0.000 % | 118.89/118.92 c | 7490 | 1125 4389 16212 | 11789 7490 31 | 0.000 % | 119.09/119.18 c | 11334 | 1125 4389 16212 | 12968 11334 32 | 0.000 % | 119.49/119.55 c | 17100 | 1125 4389 16212 | 14265 10559 31 | 0.000 % | 120.09/120.14 c | 25750 | 1125 4389 16212 | 15692 12021 32 | 0.000 % | 121.09/121.18 c | 38724 | 1125 4389 16212 | 17261 9202 34 | 0.000 % | 122.90/122.94 c | 58186 | 1125 4389 16212 | 18987 11319 34 | 0.000 % | 125.59/125.69 c | 87378 | 1125 4389 16212 | 20886 11874 36 | 0.000 % | 129.99/130.06 c | 131168 | 1125 4389 16212 | 22974 13717 37 | 0.000 % | 136.69/136.75 c | 196853 | 1125 4389 16212 | 25272 21532 37 | 0.000 % | 147.09/147.13 c | 295379 | 1125 4389 16212 | 27799 15540 37 | 0.000 % | 163.30/163.33 c | 443172 | 1125 4389 16212 | 30579 20891 37 | 0.000 % | 190.69/190.74 c | 664856 | 1125 4389 16212 | 33637 24849 37 | 0.000 % | 230.49/230.50 c | 997383 | 1125 4389 16212 | 37001 20887 35 | 0.000 % | 285.70/285.74 c =============================================================================== 295.90/295.96 c core #2 295.90/295.96 c ============================[ Search Statistics ]============================== 295.90/295.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 295.90/295.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 295.90/295.96 c =============================================================================== 295.90/295.96 c | 0 | 2020 6045 24001 | 5000 0 nan | 0.000 % | 296.00/296.02 c | 100 | 2020 6045 24001 | 5500 100 28 | 0.000 % | 296.00/296.05 c | 250 | 2020 6045 24001 | 6050 250 29 | 0.000 % | 296.00/296.06 c | 476 | 2020 6045 24001 | 6655 476 28 | 0.000 % | 296.00/296.08 c | 815 | 2020 6045 24001 | 7320 815 29 | 0.000 % | 296.10/296.11 c | 1323 | 2020 6045 24001 | 8052 1323 29 | 0.000 % | 296.10/296.15 c | 2083 | 2020 6045 24001 | 8857 2083 29 | 0.000 % | 296.20/296.22 c | 3226 | 2020 6045 24001 | 9743 3226 30 | 0.000 % | 296.30/296.31 c | 4936 | 2020 6045 24001 | 10717 4936 30 | 0.000 % | 296.40/296.46 c | 7498 | 2020 6045 24001 | 11789 7498 30 | 0.000 % | 296.69/296.73 c | 11343 | 2020 6045 24001 | 12968 11343 30 | 0.000 % | 297.10/297.11 c | 17109 | 2020 6045 24001 | 14265 10572 30 | 0.000 % | 297.60/297.69 c | 25758 | 2020 6045 24001 | 15692 12032 30 | 0.000 % | 298.80/298.81 c | 38732 | 2020 6045 24001 | 17261 9185 31 | 0.000 % | 300.39/300.48 c | 58193 | 2020 6045 24001 | 18987 11279 35 | 0.000 % | 303.30/303.38 c | 87386 | 2020 6045 24001 | 20886 11825 37 | 0.000 % | 308.30/308.33 c | 131175 | 2020 6045 24001 | 22974 13648 39 | 0.000 % | 315.90/315.99 c | 196859 | 2020 6045 24001 | 25272 21590 36 | 0.000 % | 326.70/326.76 c | 295390 | 2020 6045 24001 | 27799 24746 37 | 0.000 % | 344.90/344.97 c | 443179 | 2020 6045 24001 | 30579 15744 36 | 0.000 % | 373.70/373.79 c | 664863 | 2020 6045 24001 | 33637 19609 37 | 0.000 % | 379.10/379.13 c =============================================================================== 379.10/379.13 c #cores: 2 379.10/379.13 c Final Weight: 2 379.10/379.13 o 2 379.10/379.13 s OPTIMUM FOUND 379.10/379.13 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 379.10/379.13 c Total CPU time: 375.187 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-2689999-1277902021/watcher-2689999-1277902021 -o /tmp/evaluation-result-2689999-1277902021/solver-2689999-1277902021 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689999-1277902021.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 23392 /proc/meminfo: memFree=31364128/32950928 swapFree=67111528/67111528 [pid=23392] ppid=23390 vsize=2668 CPUtime=0 /proc/23392/stat : 23392 (wbo1.4a) R 23390 23392 23243 0 -1 4202496 306 0 0 0 0 0 0 0 25 0 1 0 163793872 2732032 224 4089446400 134512640 135751879 4286744048 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/23392/statm: 667 224 146 303 0 339 0 [startup+0.030354 s] /proc/loadavg: 2.00 2.00 2.00 4/178 23392 /proc/meminfo: memFree=31364128/32950928 swapFree=67111528/67111528 [pid=23392] ppid=23390 vsize=2984 CPUtime=0.02 /proc/23392/stat : 23392 (wbo1.4a) R 23390 23392 23243 0 -1 4202496 405 0 0 0 2 0 0 0 25 0 1 0 163793872 3055616 300 4089446400 134512640 135751879 4286744048 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/23392/statm: 746 300 143 303 0 441 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 2984 [startup+0.100275 s] /proc/loadavg: 2.00 2.00 2.00 4/178 23392 /proc/meminfo: memFree=31364128/32950928 swapFree=67111528/67111528 [pid=23392] ppid=23390 vsize=3512 CPUtime=0.09 /proc/23392/stat : 23392 (wbo1.4a) R 23390 23392 23243 0 -1 4202496 558 0 0 0 9 0 0 0 25 0 1 0 163793872 3596288 453 4089446400 134512640 135751879 4286744048 18446744073709551615 134518470 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/23392/statm: 878 453 143 303 0 573 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3512 [startup+0.300238 s] /proc/loadavg: 2.00 2.00 2.00 4/178 23392 /proc/meminfo: memFree=31364128/32950928 swapFree=67111528/67111528 [pid=23392] ppid=23390 vsize=4992 CPUtime=0.29 /proc/23392/stat : 23392 (wbo1.4a) R 23390 23392 23243 0 -1 4202496 902 0 0 0 28 1 0 0 25 0 1 0 163793872 5111808 797 4089446400 134512640 135751879 4286744048 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/23392/statm: 1248 797 143 303 0 943 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4992 [startup+0.700165 s] /proc/loadavg: 2.00 2.00 2.00 4/178 23392 /proc/meminfo: memFree=31364128/32950928 swapFree=67111528/67111528 [pid=23392] ppid=23390 vsize=7132 CPUtime=0.69 /proc/23392/stat : 23392 (wbo1.4a) R 23390 23392 23243 0 -1 4202496 1439 0 0 0 66 3 0 0 25 0 1 0 163793872 7303168 1334 4089446400 134512640 135751879 4286744048 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/23392/statm: 1783 1334 143 303 0 1478 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7132 [startup+1.50102 s] /proc/loadavg: 2.00 2.00 2.00 3/179 23394 /proc/meminfo: memFree=31357908/32950928 swapFree=67111528/67111528 [pid=23392] ppid=23390 vsize=11092 CPUtime=1.49 /proc/23392/stat : 23392 (wbo1.4a) R 23390 23392 23243 0 -1 4202496 2451 0 0 0 145 4 0 0 25 0 1 0 163793872 11358208 2346 4089446400 134512640 135751879 4286744048 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/23392/statm: 2773 2346 143 303 0 2468 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11092 [startup+3.10073 s] /proc/loadavg: 2.00 2.00 2.00 3/179 23394 /proc/meminfo: memFree=31352948/32950928 swapFree=67111528/67111528 [pid=23392] ppid=23390 vsize=17956 CPUtime=3.09 /proc/23392/stat : 23392 (wbo1.4a) R 23390 23392 23243 0 -1 4202496 4141 0 0 0 303 6 0 0 25 0 1 0 163793872 18386944 4036 4089446400 134512640 135751879 4286744048 18446744073709551615 134616430 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/23392/statm: 4489 4036 143 303 0 4184 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17956 [startup+6.30014 s] /proc/loadavg: 2.00 2.00 2.00 3/179 23394 /proc/meminfo: memFree=31340008/32950928 swapFree=67111528/67111528 [pid=23392] ppid=23390 vsize=30176 CPUtime=6.29 /proc/23392/stat : 23392 (wbo1.4a) R 23390 23392 23243 0 -1 4202496 7203 0 0 0 619 10 0 0 25 0 1 0 163793872 30900224 7098 4089446400 134512640 135751879 4286744048 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/23392/statm: 7544 7098 143 303 0 7239 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 30176 [startup+12.701 s] /proc/loadavg: 2.00 2.00 2.00 3/179 23394 /proc/meminfo: memFree=31318080/32950928 swapFree=67111528/67111528 [pid=23392] ppid=23390 vsize=51192 CPUtime=12.69 /proc/23392/stat : 23392 (wbo1.4a) R 23390 23392 23243 0 -1 4202496 12453 0 0 0 1251 18 0 0 25 0 1 0 163793872 52420608 12348 4089446400 134512640 135751879 4286744048 18446744073709551615 134517428 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/23392/statm: 12798 12348 143 303 0 12493 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 51192 [startup+25.5006 s] /proc/loadavg: 2.00 2.00 2.00 3/179 23395 /proc/meminfo: memFree=31276208/32950928 swapFree=67111528/67111528 [pid=23392] ppid=23390 vsize=91624 CPUtime=25.49 /proc/23392/stat : 23392 (wbo1.4a) R 23390 23392 23243 0 -1 4202496 22567 0 0 0 2514 35 0 0 25 0 1 0 163793872 93822976 22462 4089446400 134512640 135751879 4286744048 18446744073709551615 134601247 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/23392/statm: 22906 22462 143 303 0 22601 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 91624 [startup+51.1009 s] /proc/loadavg: 2.00 2.00 2.00 3/179 23395 /proc/meminfo: memFree=31204080/32950928 swapFree=67111528/67111528 [pid=23392] ppid=23390 vsize=164060 CPUtime=51.09 /proc/23392/stat : 23392 (wbo1.4a) R 23390 23392 23243 0 -1 4202496 40657 0 0 0 5041 68 0 0 25 0 1 0 163793872 167997440 40552 4089446400 134512640 135751879 4286744048 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/23392/statm: 41015 40552 143 303 0 40710 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 164060 [startup+102.307 s] /proc/loadavg: 2.00 2.00 2.00 3/179 23397 /proc/meminfo: memFree=31060712/32950928 swapFree=67111528/67111528 [pid=23392] ppid=23390 vsize=302628 CPUtime=102.3 /proc/23392/stat : 23392 (wbo1.4a) R 23390 23392 23243 0 -1 4202496 75296 0 0 0 10103 127 0 0 25 0 1 0 163793872 309891072 75191 4089446400 134512640 135751879 4286744048 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/23392/statm: 75657 75191 143 303 0 75352 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 302628 [startup+162.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 23401 /proc/meminfo: memFree=30994256/32950928 swapFree=67111528/67111528 [pid=23392] ppid=23390 vsize=363848 CPUtime=162.29 /proc/23392/stat : 23392 (wbo1.4a) R 23390 23392 23243 0 -1 4202496 90670 0 0 0 16044 185 0 0 25 0 1 0 163793872 372580352 90528 4089446400 134512640 135751879 4286744048 18446744073709551615 134616404 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/23392/statm: 90962 90528 146 303 0 90657 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 363848 [startup+222.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 23402 /proc/meminfo: memFree=30882856/32950928 swapFree=67111528/67111528 [pid=23392] ppid=23390 vsize=469596 CPUtime=222.3 /proc/23392/stat : 23392 (wbo1.4a) R 23390 23392 23243 0 -1 4202496 117085 0 0 0 21988 242 0 0 25 0 1 0 163793872 480866304 116943 4089446400 134512640 135751879 4286744048 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/23392/statm: 117399 116943 146 303 0 117094 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 469596 [startup+282.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 23404 /proc/meminfo: memFree=30731656/32950928 swapFree=67111528/67111528 [pid=23392] ppid=23390 vsize=618868 CPUtime=282.29 /proc/23392/stat : 23392 (wbo1.4a) R 23390 23392 23243 0 -1 4202496 154371 0 0 0 27923 306 0 0 25 0 1 0 163793872 633720832 154229 4089446400 134512640 135751879 4286744048 18446744073709551615 134616371 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/23392/statm: 154717 154229 146 303 0 154412 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 618868 [startup+342.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 23406 /proc/meminfo: memFree=30675176/32950928 swapFree=67111528/67111528 [pid=23392] ppid=23390 vsize=668016 CPUtime=342.29 /proc/23392/stat : 23392 (wbo1.4a) R 23390 23392 23243 0 -1 4202496 166695 0 0 0 33867 362 0 0 25 0 1 0 163793872 684048384 166553 4089446400 134512640 135751879 4286744048 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/23392/statm: 167004 166553 146 303 0 166699 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 668016 Solver just ended. Dumping a history of the last processes samples [startup+358.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 23406 /proc/meminfo: memFree=30675036/32950928 swapFree=67111528/67111528 [pid=23392] ppid=23390 vsize=668016 CPUtime=358.3 /proc/23392/stat : 23392 (wbo1.4a) R 23390 23392 23243 0 -1 4202496 166695 0 0 0 35454 376 0 0 25 0 1 0 163793872 684048384 166553 4089446400 134512640 135751879 4286744048 18446744073709551615 134616480 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/23392/statm: 167004 166553 146 303 0 166699 0 Current children cumulated CPU time (s) 358.3 Current children cumulated vsize (KiB) 668016 [startup+371.1 s] /proc/loadavg: 2.07 2.02 2.00 3/179 23406 /proc/meminfo: memFree=30663128/32950928 swapFree=67111528/67111528 [pid=23392] ppid=23390 vsize=680176 CPUtime=371.1 /proc/23392/stat : 23392 (wbo1.4a) R 23390 23392 23243 0 -1 4202496 169752 0 0 0 36722 388 0 0 25 0 1 0 163793872 696500224 169610 4089446400 134512640 135751879 4286744048 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/23392/statm: 170044 169610 146 303 0 169739 0 Current children cumulated CPU time (s) 371.1 Current children cumulated vsize (KiB) 680176 [startup+374.301 s] /proc/loadavg: 2.07 2.02 2.00 3/179 23406 /proc/meminfo: memFree=30659408/32950928 swapFree=67111528/67111528 [pid=23392] ppid=23390 vsize=683876 CPUtime=374.3 /proc/23392/stat : 23392 (wbo1.4a) R 23390 23392 23243 0 -1 4202496 170675 0 0 0 37039 391 0 0 25 0 1 0 163793872 700289024 170533 4089446400 134512640 135751879 4286744048 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/23392/statm: 170969 170533 146 303 0 170664 0 Current children cumulated CPU time (s) 374.3 Current children cumulated vsize (KiB) 683876 [startup+377.5 s] /proc/loadavg: 2.06 2.02 2.00 3/179 23407 /proc/meminfo: memFree=30654820/32950928 swapFree=67111528/67111528 [pid=23392] ppid=23390 vsize=687720 CPUtime=377.49 /proc/23392/stat : 23392 (wbo1.4a) R 23390 23392 23243 0 -1 4202496 171617 0 0 0 37355 394 0 0 25 0 1 0 163793872 704225280 171475 4089446400 134512640 135751879 4286744048 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/23392/statm: 171930 171475 146 303 0 171625 0 Current children cumulated CPU time (s) 377.49 Current children cumulated vsize (KiB) 687720 [startup+378.301 s] /proc/loadavg: 2.06 2.02 2.00 3/179 23407 /proc/meminfo: memFree=30653208/32950928 swapFree=67111528/67111528 [pid=23392] ppid=23390 vsize=688644 CPUtime=378.3 /proc/23392/stat : 23392 (wbo1.4a) R 23390 23392 23243 0 -1 4202496 171845 0 0 0 37436 394 0 0 25 0 1 0 163793872 705171456 171703 4089446400 134512640 135751879 4286744048 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/23392/statm: 172161 171703 146 303 0 171856 0 Current children cumulated CPU time (s) 378.3 Current children cumulated vsize (KiB) 688644 [startup+378.701 s] /proc/loadavg: 2.06 2.02 2.00 3/179 23407 /proc/meminfo: memFree=30653208/32950928 swapFree=67111528/67111528 [pid=23392] ppid=23390 vsize=688908 CPUtime=378.7 /proc/23392/stat : 23392 (wbo1.4a) R 23390 23392 23243 0 -1 4202496 171935 0 0 0 37475 395 0 0 25 0 1 0 163793872 705441792 171793 4089446400 134512640 135751879 4286744048 18446744073709551615 134616404 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/23392/statm: 172227 171793 146 303 0 171922 0 Current children cumulated CPU time (s) 378.7 Current children cumulated vsize (KiB) 688908 [startup+379.101 s] /proc/loadavg: 2.06 2.02 2.00 3/179 23407 /proc/meminfo: memFree=30653208/32950928 swapFree=67111528/67111528 [pid=23392] ppid=23390 vsize=689568 CPUtime=379.1 /proc/23392/stat : 23392 (wbo1.4a) R 23390 23392 23243 0 -1 4202496 172076 0 0 0 37515 395 0 0 25 0 1 0 163793872 706117632 171934 4089446400 134512640 135751879 4286744048 18446744073709551615 134616766 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/23392/statm: 172392 171934 146 303 0 172087 0 Current children cumulated CPU time (s) 379.1 Current children cumulated vsize (KiB) 689568 Child status: 0 Real time (s): 379.16 CPU time (s): 379.165 CPU user time (s): 375.187 CPU system time (s): 3.9784 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 689568 getrusage(RUSAGE_CHILDREN,...) data: user time used= 375.187 system time used= 3.97839 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 172086 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= 725 runsolver used 0.518921 second user time and 1.21281 second system time The end
Begin job on node116 at 2010-06-30 14:47:01 IDJOB=2689999 IDBENCH=78897 IDSOLVER=1200 FILE ID=node116/2689999-1277902021 PBS_JOBID= 11197235 Free space on /tmp= 74204 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900568706--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-2689999-1277902021/watcher-2689999-1277902021 -o /tmp/evaluation-result-2689999-1277902021/solver-2689999-1277902021 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689999-1277902021.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= d42cf4effb818ceec652d99deb164158 RANDOM SEED=1564750841 node116.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.838 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.67 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.838 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 : 5381.00 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.838 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.838 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.838 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.76 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.838 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.77 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.838 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.838 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: 32950928 kB MemFree: 31364780 kB Buffers: 182628 kB Cached: 1007860 kB SwapCached: 0 kB Active: 737976 kB Inactive: 706072 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31364780 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2772 kB Writeback: 0 kB AnonPages: 254040 kB Mapped: 17668 kB Slab: 77708 kB PageTables: 5180 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 407124 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 node116 at 2010-06-30 14:53:21