Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 | OPTIMUM | 818.215 | 818.197 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900564824--soft-33-100-0.wbo |
MD5SUM | 901bd5d9c00fc087d540e6ebf4e7f98d |
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 | 4 |
Best CPU time to get the best result obtained on this benchmark | 36.4595 |
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 | 1837 |
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 | 93832 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 93831 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 813 |
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 PB/CT 0.1.1 http://www.residual.se/pbct 0.00/0.00 c Based on OpenSMT/CT 20091015 0.00/0.01 c constraints 5/18 clauses 865/1819 units 0 0.00/0.01 c vars 231 0.09/0.10 c 0.085986 16.8438 23 17130 0.09/0.10 o 464 31.09/31.17 c 19.1221 17.582 2925 7163148 31.09/31.17 o 451 59.59/59.68 c 36.2995 17.582 1122 12936753 59.59/59.68 o 400 121.39/121.47 c 73.8258 17.582 1001 24111774 121.39/121.47 o 398 124.49/124.53 c 75.6535 17.582 1085 24671609 124.49/124.53 o 393 136.19/136.26 c 82.7674 17.582 924 26839583 136.19/136.26 o 389 208.59/208.68 c 126.262 17.582 1055 40376174 208.59/208.68 o 387 228.10/228.10 c 138.092 17.582 1023 44748951 228.10/228.10 o 346 265.80/265.86 c 161.137 17.582 1072 51367378 265.80/265.86 o 318 266.49/266.51 c 161.528 17.582 1160 51451402 266.49/266.51 o 263 266.60/266.68 c 161.641 17.582 902 51477633 266.60/266.68 o 259 287.90/287.98 c 174.669 17.582 1597 53587538 287.90/287.98 o 244 313.50/313.56 c 190.135 17.582 976 57149044 313.50/313.56 o 238 315.40/315.41 c 191.273 17.7109 1210 57236500 315.40/315.41 o 233 331.30/331.31 c 200.851 17.7109 1045 59465415 331.30/331.31 o 224 400.80/400.81 c 241.993 17.7109 1181 69918859 400.80/400.81 o 216 401.10/401.15 c 242.189 17.7109 1473 69940101 401.10/401.15 o 201 418.00/418.08 c 252.332 17.7109 1007 71804765 418.00/418.08 o 197 434.90/434.94 c 262.611 17.8398 1131 73873836 434.90/434.94 o 187 451.60/451.67 c 272.704 17.8398 1082 76773701 451.60/451.67 o 184 456.70/456.75 c 275.684 17.8398 1123 77333650 456.70/456.75 o 170 456.90/456.95 c 275.809 17.8398 1237 77334859 456.90/456.95 o 157 457.00/457.01 c 275.847 17.8398 1058 77335398 457.00/457.01 o 145 457.70/457.72 c 276.297 17.8398 1192 77338769 457.70/457.72 o 139 457.70/457.78 c 276.33 17.8398 1073 77339368 457.70/457.78 o 129 464.50/464.58 c 280.489 17.8398 931 77823952 464.50/464.59 o 123 479.40/479.40 c 289.637 17.8398 1262 79237279 479.40/479.40 o 119 510.80/510.80 c 308.235 17.8398 949 82090370 510.80/510.80 o 117 510.80/510.81 c 308.237 17.8398 955 82090547 510.80/510.81 o 116 535.51/535.58 c 323.327 17.8398 992 83726385 535.51/535.58 o 115 572.90/572.95 c 344.947 18.0977 1212 86720686 572.90/572.95 o 112 572.90/572.97 c 344.959 18.0977 915 86720908 572.90/572.97 o 105 573.20/573.29 c 345.17 18.0977 1093 86722567 573.20/573.29 o 104 574.41/574.40 c 345.883 18.0977 1350 86727547 574.41/574.40 o 97 578.90/578.92 c 348.553 18.0977 1064 86844309 578.90/578.92 o 89 579.90/579.94 c 349.224 18.0977 997 86867389 579.90/579.94 o 88 712.30/712.33 c 429.579 18.0977 1108 99886973 712.30/712.33 o 80 716.81/716.85 c 432.332 18.0977 914 100248773 716.81/716.85 o 79 726.31/726.38 c 438.349 18.0977 1375 100879179 726.31/726.38 o 77 726.60/726.65 c 438.519 18.0977 1334 100880686 726.60/726.65 o 75 726.81/726.83 c 438.65 18.0977 1153 100881969 726.81/726.83 o 70 726.81/726.84 c 438.655 18.0977 1166 100882071 726.81/726.84 o 67 726.81/726.84 c 438.658 18.0977 1182 100882195 726.81/726.84 o 63 726.90/726.92 c 438.712 18.0977 1576 100882939 726.90/726.92 o 56 727.30/727.36 c 439.035 18.0977 1581 100886243 727.30/727.36 o 55 727.41/727.46 c 439.11 18.0977 2074 100887309 727.41/727.46 o 45 727.90/727.91 c 439.438 18.0977 1935 100890970 727.90/727.91 o 24 733.61/733.63 c 444.386 19.0352 1804 100970802 733.61/733.63 o 18 733.81/733.83 c 444.57 19.0352 2475 100974208 733.81/733.83 o 16 737.91/737.99 c 448.253 19.0352 2637 101048149 737.91/737.99 o 11 739.11/739.19 c 449.312 19.0352 1950 101069493 739.11/739.19 o 9 740.21/740.25 c 450.279 19.0352 2879 101088452 740.21/740.25 o 7 760.70/760.79 c 468.812 19.0352 3178 101461562 760.70/760.79 o 6 766.01/766.08 c 473.529 19.0352 2059 101557490 766.01/766.08 o 5 785.01/785.04 c 490.532 19.0352 2484 101909820 785.01/785.04 o 4 818.11/818.17 c 520.313 19.0352 2470 102573813 818.11/818.17 s OPTIMUM FOUND 818.11/818.17 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
OK 4
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2695621-1277907370/watcher-2695621-1277907370 -o /tmp/evaluation-result-2695621-1277907370/solver-2695621-1277907370 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2695621-1277907370.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.95 2.92 2.69 4/196 12055 /proc/meminfo: memFree=30910768/32951124 swapFree=67111528/67111528 [pid=12055] ppid=12053 vsize=2136 CPUtime=0 /proc/12055/stat : 12055 (pbct) R 12053 12055 10943 0 -1 4202496 254 0 0 0 0 0 0 0 25 0 1 0 132034716 2187264 174 4089446400 134512640 136421960 4291088224 18446744073709551615 135873694 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/12055/statm: 534 174 144 467 0 65 0 [startup+0.0842471 s] /proc/loadavg: 2.95 2.92 2.69 4/196 12055 /proc/meminfo: memFree=30910768/32951124 swapFree=67111528/67111528 [pid=12055] ppid=12053 vsize=17244 CPUtime=0.07 /proc/12055/stat : 12055 (pbct) R 12053 12055 10943 0 -1 4202496 3978 0 0 0 7 0 0 0 25 0 1 0 132034716 17657856 3898 4089446400 134512640 136421960 4291088224 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12055/statm: 4311 3898 213 467 0 3842 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 17244 [startup+0.100239 s] /proc/loadavg: 2.95 2.92 2.69 4/196 12055 /proc/meminfo: memFree=30910768/32951124 swapFree=67111528/67111528 [pid=12055] ppid=12053 vsize=17248 CPUtime=0.09 /proc/12055/stat : 12055 (pbct) R 12053 12055 10943 0 -1 4202496 4003 0 0 0 8 1 0 0 25 0 1 0 132034716 17661952 3923 4089446400 134512640 136421960 4291088224 18446744073709551615 135873607 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12055/statm: 4311 3931 235 467 0 3842 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 17248 [startup+0.300203 s] /proc/loadavg: 2.95 2.92 2.69 4/196 12055 /proc/meminfo: memFree=30910768/32951124 swapFree=67111528/67111528 [pid=12055] ppid=12053 vsize=17652 CPUtime=0.28 /proc/12055/stat : 12055 (pbct) R 12053 12055 10943 0 -1 4202496 4074 0 0 0 19 9 0 0 25 0 1 0 132034716 18075648 3993 4089446400 134512640 136421960 4291088224 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12055/statm: 4413 3993 237 467 0 3944 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 17652 [startup+0.701143 s] /proc/loadavg: 2.95 2.92 2.69 4/196 12055 /proc/meminfo: memFree=30910768/32951124 swapFree=67111528/67111528 [pid=12055] ppid=12053 vsize=17652 CPUtime=0.68 /proc/12055/stat : 12055 (pbct) R 12053 12055 10943 0 -1 4202496 4074 0 0 0 42 26 0 0 25 0 1 0 132034716 18075648 3993 4089446400 134512640 136421960 4291088224 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12055/statm: 4413 3993 237 467 0 3944 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 17652 [startup+1.501 s] /proc/loadavg: 2.95 2.92 2.69 3/197 12056 /proc/meminfo: memFree=30895888/32951124 swapFree=67111528/67111528 [pid=12055] ppid=12053 vsize=17652 CPUtime=1.49 /proc/12055/stat : 12055 (pbct) R 12053 12055 10943 0 -1 4202496 4074 0 0 0 88 61 0 0 25 0 1 0 132034716 18075648 3993 4089446400 134512640 136421960 4291088224 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12055/statm: 4413 3993 237 467 0 3944 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 17652 [startup+3.1007 s] /proc/loadavg: 2.95 2.92 2.69 3/197 12056 /proc/meminfo: memFree=30895516/32951124 swapFree=67111528/67111528 [pid=12055] ppid=12053 vsize=17768 CPUtime=3.09 /proc/12055/stat : 12055 (pbct) R 12053 12055 10943 0 -1 4202496 4081 0 0 0 185 124 0 0 25 0 1 0 132034716 18194432 4000 4089446400 134512640 136421960 4291088224 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12055/statm: 4442 4000 237 467 0 3973 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17768 [startup+6.30111 s] /proc/loadavg: 2.87 2.90 2.69 3/197 12056 /proc/meminfo: memFree=30896012/32951124 swapFree=67111528/67111528 [pid=12055] ppid=12053 vsize=17768 CPUtime=6.29 /proc/12055/stat : 12055 (pbct) R 12053 12055 10943 0 -1 4202496 4094 0 0 0 380 249 0 0 25 0 1 0 132034716 18194432 4013 4089446400 134512640 136421960 4291088224 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12055/statm: 4442 4013 237 467 0 3973 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 17768 [startup+12.701 s] /proc/loadavg: 2.80 2.89 2.69 3/197 12056 /proc/meminfo: memFree=30895732/32951124 swapFree=67111528/67111528 [pid=12055] ppid=12053 vsize=17884 CPUtime=12.69 /proc/12055/stat : 12055 (pbct) R 12053 12055 10943 0 -1 4202496 4111 0 0 0 772 497 0 0 25 0 1 0 132034716 18313216 4030 4089446400 134512640 136421960 4291088224 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12055/statm: 4471 4030 237 467 0 4002 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 17884 [startup+25.5006 s] /proc/loadavg: 2.62 2.84 2.67 3/197 12056 /proc/meminfo: memFree=30896108/32951124 swapFree=67111528/67111528 [pid=12055] ppid=12053 vsize=18000 CPUtime=25.49 /proc/12055/stat : 12055 (pbct) R 12053 12055 10943 0 -1 4202496 4144 0 0 0 1561 988 0 0 25 0 1 0 132034716 18432000 4063 4089446400 134512640 136421960 4291088224 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12055/statm: 4500 4063 237 467 0 4031 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 18000 [startup+51.101 s] /proc/loadavg: 2.41 2.77 2.65 3/197 12057 /proc/meminfo: memFree=30896060/32951124 swapFree=67111528/67111528 [pid=12055] ppid=12053 vsize=18000 CPUtime=51.09 /proc/12055/stat : 12055 (pbct) R 12053 12055 10943 0 -1 4202496 4151 0 0 0 3106 2003 0 0 25 0 1 0 132034716 18432000 4069 4089446400 134512640 136421960 4291088224 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12055/statm: 4500 4069 237 467 0 4031 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 18000 [startup+102.307 s] /proc/loadavg: 2.18 2.65 2.62 3/197 12058 /proc/meminfo: memFree=30895868/32951124 swapFree=67111528/67111528 [pid=12055] ppid=12053 vsize=18000 CPUtime=102.29 /proc/12055/stat : 12055 (pbct) R 12053 12055 10943 0 -1 4202496 4152 0 0 0 6210 4019 0 0 25 0 1 0 132034716 18432000 4069 4089446400 134512640 136421960 4291088224 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12055/statm: 4500 4069 237 467 0 4031 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 18000 [startup+162.301 s] /proc/loadavg: 2.12 2.55 2.58 3/197 12060 /proc/meminfo: memFree=30895576/32951124 swapFree=67111528/67111528 [pid=12055] ppid=12053 vsize=18000 CPUtime=162.3 /proc/12055/stat : 12055 (pbct) R 12053 12055 10943 0 -1 4202496 4155 0 0 0 9860 6370 0 0 25 0 1 0 132034716 18432000 4069 4089446400 134512640 136421960 4291088224 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12055/statm: 4500 4069 237 467 0 4031 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 18000 [startup+222.301 s] /proc/loadavg: 2.04 2.44 2.54 3/197 12062 /proc/meminfo: memFree=30895760/32951124 swapFree=67111528/67111528 [pid=12055] ppid=12053 vsize=18000 CPUtime=222.29 /proc/12055/stat : 12055 (pbct) R 12053 12055 10943 0 -1 4202496 4162 0 0 0 13453 8776 0 0 25 0 1 0 132034716 18432000 4075 4089446400 134512640 136421960 4291088224 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12055/statm: 4500 4075 237 467 0 4031 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 18000 [startup+282.301 s] /proc/loadavg: 2.01 2.36 2.51 3/197 12064 /proc/meminfo: memFree=30895840/32951124 swapFree=67111528/67111528 [pid=12055] ppid=12053 vsize=18000 CPUtime=282.29 /proc/12055/stat : 12055 (pbct) R 12053 12055 10943 0 -1 4202496 4177 0 0 0 17121 11108 0 0 25 0 1 0 132034716 18432000 4086 4089446400 134512640 136421960 4291088224 18446744073709551615 135025424 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12055/statm: 4500 4086 237 467 0 4031 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 18000 [startup+342.3 s] /proc/loadavg: 2.00 2.29 2.47 3/197 12065 /proc/meminfo: memFree=30895644/32951124 swapFree=67111528/67111528 [pid=12055] ppid=12053 vsize=18132 CPUtime=342.3 /proc/12055/stat : 12055 (pbct) R 12053 12055 10943 0 -1 4202496 4208 0 0 0 20755 13475 0 0 25 0 1 0 132034716 18567168 4113 4089446400 134512640 136421960 4291088224 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12055/statm: 4533 4113 237 467 0 4064 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 18132 [startup+402.3 s] /proc/loadavg: 2.00 2.24 2.44 3/197 12066 /proc/meminfo: memFree=30894616/32951124 swapFree=67111528/67111528 [pid=12055] ppid=12053 vsize=18132 CPUtime=402.3 /proc/12055/stat : 12055 (pbct) R 12053 12055 10943 0 -1 4202496 4210 0 0 0 24287 15943 0 0 25 0 1 0 132034716 18567168 4113 4089446400 134512640 136421960 4291088224 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12055/statm: 4533 4113 237 467 0 4064 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 18132 [startup+462.3 s] /proc/loadavg: 2.00 2.19 2.41 3/197 12068 /proc/meminfo: memFree=30889100/32951124 swapFree=67111528/67111528 [pid=12055] ppid=12053 vsize=18264 CPUtime=462.3 /proc/12055/stat : 12055 (pbct) R 12053 12055 10943 0 -1 4202496 4237 0 0 0 27907 18323 0 0 25 0 1 0 132034716 18702336 4132 4089446400 134512640 136421960 4291088224 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12055/statm: 4566 4132 237 467 0 4097 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 18264 [startup+522.301 s] /proc/loadavg: 2.50 2.27 2.42 3/197 12070 /proc/meminfo: memFree=30884464/32951124 swapFree=67111528/67111528 [pid=12055] ppid=12053 vsize=18264 CPUtime=522.3 /proc/12055/stat : 12055 (pbct) R 12053 12055 10943 0 -1 4202496 4241 0 0 0 31523 20707 0 0 25 0 1 0 132034716 18702336 4132 4089446400 134512640 136421960 4291088224 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12055/statm: 4566 4132 237 467 0 4097 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 18264 [startup+582.301 s] /proc/loadavg: 2.18 2.22 2.39 3/179 12102 /proc/meminfo: memFree=31124944/32951124 swapFree=67111528/67111528 [pid=12055] ppid=12053 vsize=18528 CPUtime=582.3 /proc/12055/stat : 12055 (pbct) R 12053 12055 10943 0 -1 4202496 4322 0 0 0 35066 23164 0 0 25 0 1 0 132034716 18972672 4206 4089446400 134512640 136421960 4291088224 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12055/statm: 4632 4206 237 467 0 4163 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 18528 [startup+642.301 s] /proc/loadavg: 2.07 2.17 2.36 3/179 12103 /proc/meminfo: memFree=30956372/32951124 swapFree=67111528/67111528 [pid=12055] ppid=12053 vsize=18528 CPUtime=642.31 /proc/12055/stat : 12055 (pbct) R 12053 12055 10943 0 -1 4202496 4329 0 0 0 38772 25459 0 0 25 0 1 0 132034716 18972672 4213 4089446400 134512640 136421960 4291088224 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12055/statm: 4632 4213 237 467 0 4163 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 18528 [startup+702.301 s] /proc/loadavg: 2.10 2.16 2.34 3/179 12104 /proc/meminfo: memFree=30806640/32951124 swapFree=67111528/67111528 [pid=12055] ppid=12053 vsize=18528 CPUtime=702.31 /proc/12055/stat : 12055 (pbct) R 12053 12055 10943 0 -1 4202496 4329 0 0 0 42335 27896 0 0 25 0 1 0 132034716 18972672 4213 4089446400 134512640 136421960 4291088224 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12055/statm: 4632 4213 237 467 0 4163 0 Current children cumulated CPU time (s) 702.31 Current children cumulated vsize (KiB) 18528 [startup+762.306 s] /proc/loadavg: 2.04 2.12 2.32 3/179 12106 /proc/meminfo: memFree=30691868/32951124 swapFree=67111528/67111528 [pid=12055] ppid=12053 vsize=19488 CPUtime=762.31 /proc/12055/stat : 12055 (pbct) R 12053 12055 10943 0 -1 4202496 4662 0 0 0 47017 29214 0 0 25 0 1 0 132034716 19955712 4467 4089446400 134512640 136421960 4291088224 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12055/statm: 4872 4467 237 467 0 4403 0 Current children cumulated CPU time (s) 762.31 Current children cumulated vsize (KiB) 19488 Solver just ended. Dumping a history of the last processes samples [startup+767.901 s] /proc/loadavg: 2.03 2.12 2.32 3/179 12106 /proc/meminfo: memFree=30683924/32951124 swapFree=67111528/67111528 [pid=12055] ppid=12053 vsize=19488 CPUtime=767.91 /proc/12055/stat : 12055 (pbct) R 12053 12055 10943 0 -1 4202496 4663 0 0 0 47514 29277 0 0 25 0 1 0 132034716 19955712 4467 4089446400 134512640 136421960 4291088224 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12055/statm: 4872 4467 237 467 0 4403 0 Current children cumulated CPU time (s) 767.91 Current children cumulated vsize (KiB) 19488 [startup+793.5 s] /proc/loadavg: 2.02 2.11 2.31 3/179 12107 /proc/meminfo: memFree=30650168/32951124 swapFree=67111528/67111528 [pid=12055] ppid=12053 vsize=19488 CPUtime=793.51 /proc/12055/stat : 12055 (pbct) R 12053 12055 10943 0 -1 4202496 4664 0 0 0 49807 29544 0 0 25 0 1 0 132034716 19955712 4467 4089446400 134512640 136421960 4291088224 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12055/statm: 4872 4467 237 467 0 4403 0 Current children cumulated CPU time (s) 793.51 Current children cumulated vsize (KiB) 19488 [startup+806.306 s] /proc/loadavg: 2.02 2.11 2.30 3/179 12108 /proc/meminfo: memFree=30630316/32951124 swapFree=67111528/67111528 [pid=12055] ppid=12053 vsize=19488 CPUtime=806.32 /proc/12055/stat : 12055 (pbct) R 12053 12055 10943 0 -1 4202496 4664 0 0 0 50963 29669 0 0 25 0 1 0 132034716 19955712 4467 4089446400 134512640 136421960 4291088224 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12055/statm: 4872 4467 237 467 0 4403 0 Current children cumulated CPU time (s) 806.32 Current children cumulated vsize (KiB) 19488 [startup+812.701 s] /proc/loadavg: 2.01 2.10 2.30 3/179 12108 /proc/meminfo: memFree=30627832/32951124 swapFree=67111528/67111528 [pid=12055] ppid=12053 vsize=19488 CPUtime=812.71 /proc/12055/stat : 12055 (pbct) R 12053 12055 10943 0 -1 4202496 4664 0 0 0 51539 29732 0 0 25 0 1 0 132034716 19955712 4467 4089446400 134512640 136421960 4291088224 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12055/statm: 4872 4467 237 467 0 4403 0 Current children cumulated CPU time (s) 812.71 Current children cumulated vsize (KiB) 19488 [startup+815.9 s] /proc/loadavg: 2.01 2.10 2.30 3/179 12108 /proc/meminfo: memFree=30620144/32951124 swapFree=67111528/67111528 [pid=12055] ppid=12053 vsize=19488 CPUtime=815.9 /proc/12055/stat : 12055 (pbct) R 12053 12055 10943 0 -1 4202496 4664 0 0 0 51828 29762 0 0 25 0 1 0 132034716 19955712 4467 4089446400 134512640 136421960 4291088224 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12055/statm: 4872 4467 237 467 0 4403 0 Current children cumulated CPU time (s) 815.9 Current children cumulated vsize (KiB) 19488 [startup+817.501 s] /proc/loadavg: 2.01 2.10 2.30 3/179 12108 /proc/meminfo: memFree=30617280/32951124 swapFree=67111528/67111528 [pid=12055] ppid=12053 vsize=19488 CPUtime=817.51 /proc/12055/stat : 12055 (pbct) R 12053 12055 10943 0 -1 4202496 4664 0 0 0 51971 29780 0 0 25 0 1 0 132034716 19955712 4467 4089446400 134512640 136421960 4291088224 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12055/statm: 4872 4467 237 467 0 4403 0 Current children cumulated CPU time (s) 817.51 Current children cumulated vsize (KiB) 19488 [startup+817.901 s] /proc/loadavg: 2.01 2.10 2.30 3/179 12108 /proc/meminfo: memFree=30617280/32951124 swapFree=67111528/67111528 [pid=12055] ppid=12053 vsize=19488 CPUtime=817.91 /proc/12055/stat : 12055 (pbct) R 12053 12055 10943 0 -1 4202496 4664 0 0 0 52007 29784 0 0 25 0 1 0 132034716 19955712 4467 4089446400 134512640 136421960 4291088224 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12055/statm: 4872 4467 237 467 0 4403 0 Current children cumulated CPU time (s) 817.91 Current children cumulated vsize (KiB) 19488 [startup+818.101 s] /proc/loadavg: 2.01 2.10 2.30 3/179 12108 /proc/meminfo: memFree=30617280/32951124 swapFree=67111528/67111528 [pid=12055] ppid=12053 vsize=19488 CPUtime=818.11 /proc/12055/stat : 12055 (pbct) R 12053 12055 10943 0 -1 4202496 4664 0 0 0 52024 29787 0 0 25 0 1 0 132034716 19955712 4467 4089446400 134512640 136421960 4291088224 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12055/statm: 4872 4467 237 467 0 4403 0 Current children cumulated CPU time (s) 818.11 Current children cumulated vsize (KiB) 19488 Child status: 0 Real time (s): 818.197 CPU time (s): 818.215 CPU user time (s): 520.331 CPU system time (s): 297.884 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 19744 getrusage(RUSAGE_CHILDREN,...) data: user time used= 520.331 system time used= 297.884 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4669 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= 2361 runsolver used 1.13783 second user time and 2.70259 second system time The end
Begin job on node106 at 2010-06-30 16:16:10 IDJOB=2695621 IDBENCH=78948 IDSOLVER=1208 FILE ID=node106/2695621-1277907370 PBS_JOBID= 11197172 Free space on /tmp= 74212 MiB SOLVER NAME= PB/CT 0.1 BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900564824--soft-33-100-0.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2695621-1277907370/watcher-2695621-1277907370 -o /tmp/evaluation-result-2695621-1277907370/solver-2695621-1277907370 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2695621-1277907370.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 901bd5d9c00fc087d540e6ebf4e7f98d RANDOM SEED=622312974 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: 30911164 kB Buffers: 190732 kB Cached: 1268996 kB SwapCached: 0 kB Active: 871540 kB Inactive: 1025288 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30911164 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2056 kB Writeback: 0 kB AnonPages: 438220 kB Mapped: 20360 kB Slab: 78372 kB PageTables: 5736 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1656832 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 node106 at 2010-06-30 16:29:49