Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | OPTIMUM | 525.533 | 525.521 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900670234--soft-33-100-0.wbo |
MD5SUM | 74a38f74cac3b14e8d36cdbf48853bbd |
Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 1 |
Best CPU time to get the best result obtained on this benchmark | 525.533 |
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 | 1830 |
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 | 92327 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 92326 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 641 |
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-2690000-1277902086.wbo. 0.00/0.00 c Instance file HOME/instance-2690000-1277902086.wbo 0.00/0.00 c File size is 92432 bytes. 0.00/0.00 c Highest Coefficient sum: 641 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 23 | 0.002 % | 0.00/0.01 c | 252 | 231 2707 8338 | 6050 252 26 | 0.002 % | 0.00/0.01 c | 477 | 231 2707 8338 | 6655 477 26 | 0.002 % | 0.00/0.02 c | 815 | 231 2707 8338 | 7320 815 29 | 0.002 % | 0.00/0.04 c | 1322 | 231 2707 8338 | 8052 1322 31 | 0.002 % | 0.00/0.06 c | 2083 | 231 2707 8338 | 8857 2083 31 | 0.002 % | 0.09/0.10 c | 3223 | 231 2707 8338 | 9743 3223 32 | 0.002 % | 0.09/0.16 c | 4932 | 231 2707 8338 | 10717 4932 32 | 0.002 % | 0.19/0.26 c | 7495 | 231 2707 8338 | 11789 7495 32 | 0.002 % | 0.39/0.45 c | 11341 | 231 2707 8338 | 12968 11341 33 | 0.002 % | 0.69/0.74 c | 17108 | 231 2707 8338 | 14265 10574 34 | 0.002 % | 1.19/1.25 c | 25758 | 231 2707 8338 | 15692 12031 37 | 0.002 % | 2.10/2.11 c | 38733 | 231 2707 8338 | 17261 9204 37 | 0.002 % | 3.40/3.48 c | 58197 | 231 2707 8338 | 18987 11289 40 | 0.002 % | 5.99/6.02 c | 87389 | 231 2707 8338 | 20886 11820 38 | 0.002 % | 9.60/9.66 c | 131178 | 231 2707 8338 | 22974 13571 43 | 0.002 % | 15.60/15.61 c | 196863 | 231 2707 8338 | 25272 21131 39 | 0.002 % | 24.39/24.48 c | 295390 | 231 2707 8338 | 27799 23331 41 | 0.002 % | 38.69/38.72 c | 443180 | 231 2707 8338 | 30579 26521 39 | 0.002 % | 60.69/60.77 c | 664867 | 231 2707 8338 | 33637 25404 37 | 0.002 % | 95.29/95.36 c | 997393 | 231 2707 8338 | 37001 16715 38 | 0.002 % | 152.39/152.46 c | 1496181 | 231 2707 8338 | 40701 21694 39 | 0.002 % | 240.80/240.82 c | 2244364 | 231 2707 8338 | 44771 37436 41 | 0.002 % | 363.30/363.36 c =============================================================================== 386.30/386.33 c core #1 386.30/386.33 c ============================[ Search Statistics ]============================== 386.30/386.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 386.30/386.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 386.30/386.33 c =============================================================================== 386.30/386.33 c | 0 | 1157 4441 16494 | 5000 0 nan | 0.000 % | 386.30/386.37 c | 102 | 1157 4441 16494 | 5500 102 28 | 0.000 % | 386.41/386.44 c | 253 | 1157 4441 16494 | 6050 253 26 | 0.000 % | 386.41/386.49 c | 483 | 1157 4441 16494 | 6655 483 25 | 0.000 % | 386.51/386.50 c | 820 | 1157 4441 16494 | 7320 820 28 | 0.000 % | 386.51/386.52 c | 1326 | 1157 4441 16494 | 8052 1326 30 | 0.000 % | 386.51/386.57 c | 2085 | 1157 4441 16494 | 8857 2085 31 | 0.000 % | 386.70/386.70 c | 3228 | 1157 4441 16494 | 9743 3228 31 | 0.000 % | 386.70/386.79 c | 4940 | 1157 4441 16494 | 10717 4940 33 | 0.000 % | 386.90/386.92 c | 7504 | 1157 4441 16494 | 11789 7504 34 | 0.000 % | 387.21/387.22 c | 11351 | 1157 4441 16494 | 12968 11351 37 | 0.000 % | 387.70/387.72 c | 17117 | 1157 4441 16494 | 14265 10593 39 | 0.000 % | 388.40/388.46 c | 25768 | 1157 4441 16494 | 15692 12063 39 | 0.000 % | 389.50/389.52 c | 38742 | 1157 4441 16494 | 17261 9214 38 | 0.000 % | 391.10/391.17 c | 58204 | 1157 4441 16494 | 18987 11337 37 | 0.000 % | 393.81/393.87 c | 87396 | 1157 4441 16494 | 20886 11887 38 | 0.000 % | 398.50/398.55 c | 131186 | 1157 4441 16494 | 22974 13673 42 | 0.000 % | 405.70/405.78 c | 196870 | 1157 4441 16494 | 25272 21267 41 | 0.000 % | 418.30/418.32 c | 295396 | 1157 4441 16494 | 27799 24215 44 | 0.000 % | 436.00/436.00 c | 443185 | 1157 4441 16494 | 30579 14266 42 | 0.000 % | 464.50/464.55 c | 664868 | 1157 4441 16494 | 33637 14219 37 | 0.000 % | 506.40/506.47 c | 997393 | 1157 4441 16494 | 37001 27774 42 | 0.000 % | 525.40/525.48 c =============================================================================== 525.40/525.48 c #cores: 1 525.40/525.48 c Final Weight: 1 525.40/525.48 o 1 525.40/525.48 s OPTIMUM FOUND 525.40/525.48 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 525.40/525.48 c Total CPU time: 517.14 s
OK 1
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2690000-1277902086/watcher-2690000-1277902086 -o /tmp/evaluation-result-2690000-1277902086/solver-2690000-1277902086 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690000-1277902086.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.05 2.07 2.02 3/196 10579 /proc/meminfo: memFree=30804884/32951124 swapFree=67111528/67111528 [pid=10579] ppid=10577 vsize=2668 CPUtime=0 /proc/10579/stat : 10579 (wbo1.4a) R 10577 10579 10267 0 -1 4202496 306 0 0 0 0 0 0 0 22 0 1 0 131506136 2732032 224 4089446400 134512640 135751879 4293866816 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/10579/statm: 667 225 146 303 0 339 0 [startup+0.0945019 s] /proc/loadavg: 2.05 2.07 2.02 3/196 10579 /proc/meminfo: memFree=30804884/32951124 swapFree=67111528/67111528 [pid=10579] ppid=10577 vsize=3644 CPUtime=0.09 /proc/10579/stat : 10579 (wbo1.4a) R 10577 10579 10267 0 -1 4202496 562 0 0 0 9 0 0 0 22 0 1 0 131506136 3731456 457 4089446400 134512640 135751879 4293866816 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/10579/statm: 911 457 143 303 0 606 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3644 [startup+0.100512 s] /proc/loadavg: 2.05 2.07 2.02 3/196 10579 /proc/meminfo: memFree=30804884/32951124 swapFree=67111528/67111528 [pid=10579] ppid=10577 vsize=3644 CPUtime=0.09 /proc/10579/stat : 10579 (wbo1.4a) R 10577 10579 10267 0 -1 4202496 574 0 0 0 9 0 0 0 22 0 1 0 131506136 3731456 469 4089446400 134512640 135751879 4293866816 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/10579/statm: 911 470 143 303 0 606 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3644 [startup+0.300466 s] /proc/loadavg: 2.05 2.07 2.02 3/196 10579 /proc/meminfo: memFree=30804884/32951124 swapFree=67111528/67111528 [pid=10579] ppid=10577 vsize=5096 CPUtime=0.29 /proc/10579/stat : 10579 (wbo1.4a) R 10577 10579 10267 0 -1 4202496 952 0 0 0 28 1 0 0 22 0 1 0 131506136 5218304 847 4089446400 134512640 135751879 4293866816 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/10579/statm: 1274 847 143 303 0 969 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5096 [startup+0.700397 s] /proc/loadavg: 2.05 2.07 2.02 3/196 10579 /proc/meminfo: memFree=30804884/32951124 swapFree=67111528/67111528 [pid=10579] ppid=10577 vsize=7480 CPUtime=0.69 /proc/10579/stat : 10579 (wbo1.4a) R 10577 10579 10267 0 -1 4202496 1536 0 0 0 67 2 0 0 24 0 1 0 131506136 7659520 1431 4089446400 134512640 135751879 4293866816 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/10579/statm: 1870 1431 143 303 0 1565 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7480 [startup+1.50025 s] /proc/loadavg: 2.05 2.07 2.02 3/197 10580 /proc/meminfo: memFree=30797808/32951124 swapFree=67111528/67111528 [pid=10579] ppid=10577 vsize=11572 CPUtime=1.49 /proc/10579/stat : 10579 (wbo1.4a) R 10577 10579 10267 0 -1 4202496 2553 0 0 0 146 3 0 0 25 0 1 0 131506136 11849728 2448 4089446400 134512640 135751879 4293866816 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/10579/statm: 2893 2448 143 303 0 2588 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11572 [startup+3.10097 s] /proc/loadavg: 2.05 2.07 2.02 3/197 10580 /proc/meminfo: memFree=30792528/32951124 swapFree=67111528/67111528 [pid=10579] ppid=10577 vsize=18840 CPUtime=3.09 /proc/10579/stat : 10579 (wbo1.4a) R 10577 10579 10267 0 -1 4202496 4386 0 0 0 302 7 0 0 25 0 1 0 131506136 19292160 4281 4089446400 134512640 135751879 4293866816 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/10579/statm: 4710 4281 143 303 0 4405 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 18840 [startup+6.30041 s] /proc/loadavg: 2.04 2.07 2.02 3/197 10580 /proc/meminfo: memFree=30777772/32951124 swapFree=67111528/67111528 [pid=10579] ppid=10577 vsize=31036 CPUtime=6.29 /proc/10579/stat : 10579 (wbo1.4a) R 10577 10579 10267 0 -1 4202496 7410 0 0 0 615 14 0 0 25 0 1 0 131506136 31780864 7305 4089446400 134512640 135751879 4293866816 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/10579/statm: 7759 7305 143 303 0 7454 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 31036 [startup+12.7003 s] /proc/loadavg: 2.04 2.07 2.02 3/197 10580 /proc/meminfo: memFree=30750680/32951124 swapFree=67111528/67111528 [pid=10579] ppid=10577 vsize=54552 CPUtime=12.69 /proc/10579/stat : 10579 (wbo1.4a) R 10577 10579 10267 0 -1 4202496 13313 0 0 0 1244 25 0 0 25 0 1 0 131506136 55861248 13208 4089446400 134512640 135751879 4293866816 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/10579/statm: 13638 13208 143 303 0 13333 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 54552 [startup+25.501 s] /proc/loadavg: 2.03 2.06 2.02 3/197 10580 /proc/meminfo: memFree=30703080/32951124 swapFree=67111528/67111528 [pid=10579] ppid=10577 vsize=98296 CPUtime=25.49 /proc/10579/stat : 10579 (wbo1.4a) R 10577 10579 10267 0 -1 4202496 24234 0 0 0 2495 54 0 0 25 0 1 0 131506136 100655104 24129 4089446400 134512640 135751879 4293866816 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/10579/statm: 24574 24129 143 303 0 24269 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 98296 [startup+51.1005 s] /proc/loadavg: 2.02 2.06 2.01 3/197 10581 /proc/meminfo: memFree=30615952/32951124 swapFree=67111528/67111528 [pid=10579] ppid=10577 vsize=177428 CPUtime=51.1 /proc/10579/stat : 10579 (wbo1.4a) R 10577 10579 10267 0 -1 4202496 44007 0 0 0 5011 99 0 0 25 0 1 0 131506136 181686272 43902 4089446400 134512640 135751879 4293866816 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/10579/statm: 44357 43902 143 303 0 44052 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 177428 [startup+102.307 s] /proc/loadavg: 2.01 2.05 2.01 3/197 10582 /proc/meminfo: memFree=30454720/32951124 swapFree=67111528/67111528 [pid=10579] ppid=10577 vsize=329980 CPUtime=102.3 /proc/10579/stat : 10579 (wbo1.4a) R 10577 10579 10267 0 -1 4202496 82154 0 0 0 10021 209 0 0 25 0 1 0 131506136 337899520 82049 4089446400 134512640 135751879 4293866816 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/10579/statm: 82495 82049 143 303 0 82190 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 329980 [startup+162.301 s] /proc/loadavg: 2.00 2.04 2.00 3/197 10584 /proc/meminfo: memFree=30280344/32951124 swapFree=67111528/67111528 [pid=10579] ppid=10577 vsize=490500 CPUtime=162.3 /proc/10579/stat : 10579 (wbo1.4a) R 10577 10579 10267 0 -1 4202496 122249 0 0 0 15909 321 0 0 25 0 1 0 131506136 502272000 122144 4089446400 134512640 135751879 4293866816 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/10579/statm: 122625 122144 143 303 0 122320 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 490500 [startup+222.3 s] /proc/loadavg: 2.00 2.03 2.00 3/197 10586 /proc/meminfo: memFree=30099152/32951124 swapFree=67111528/67111528 [pid=10579] ppid=10577 vsize=647720 CPUtime=222.3 /proc/10579/stat : 10579 (wbo1.4a) R 10577 10579 10267 0 -1 4202496 161550 0 0 0 21821 409 0 0 25 0 1 0 131506136 663265280 161445 4089446400 134512640 135751879 4293866816 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/10579/statm: 161930 161445 143 303 0 161625 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 647720 [startup+282.301 s] /proc/loadavg: 2.40 2.10 2.03 3/197 10587 /proc/meminfo: memFree=29929976/32951124 swapFree=67111528/67111528 [pid=10579] ppid=10577 vsize=797064 CPUtime=282.3 /proc/10579/stat : 10579 (wbo1.4a) R 10577 10579 10267 0 -1 4202496 198839 0 0 0 27723 507 0 0 25 0 1 0 131506136 816193536 198734 4089446400 134512640 135751879 4293866816 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/10579/statm: 199266 198734 143 303 0 198961 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 797064 [startup+342.3 s] /proc/loadavg: 2.19 2.10 2.03 3/197 10588 /proc/meminfo: memFree=29756848/32951124 swapFree=67111528/67111528 [pid=10579] ppid=10577 vsize=941916 CPUtime=342.3 /proc/10579/stat : 10579 (wbo1.4a) R 10577 10579 10267 0 -1 4202496 235064 0 0 0 33630 600 0 0 25 0 1 0 131506136 964521984 234959 4089446400 134512640 135751879 4293866816 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/10579/statm: 235479 234960 143 303 0 235174 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 941916 [startup+402.301 s] /proc/loadavg: 2.07 2.08 2.02 3/197 10590 /proc/meminfo: memFree=29584836/32951124 swapFree=67111528/67111528 [pid=10579] ppid=10577 vsize=1088340 CPUtime=402.3 /proc/10579/stat : 10579 (wbo1.4a) R 10577 10579 10267 0 -1 4202496 271741 0 0 0 39569 661 0 0 25 0 1 0 131506136 1114460160 271592 4089446400 134512640 135751879 4293866816 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/10579/statm: 272085 271592 146 303 0 271780 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 1088340 [startup+462.3 s] /proc/loadavg: 2.21 2.14 2.05 3/197 10592 /proc/meminfo: memFree=29561716/32951124 swapFree=67111528/67111528 [pid=10579] ppid=10577 vsize=1088340 CPUtime=462.3 /proc/10579/stat : 10579 (wbo1.4a) R 10577 10579 10267 0 -1 4202496 271808 0 0 0 45494 736 0 0 25 0 1 0 131506136 1114460160 271659 4089446400 134512640 135751879 4293866816 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/10579/statm: 272085 271659 146 303 0 271780 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 1088340 [startup+522.301 s] /proc/loadavg: 2.08 2.11 2.04 3/197 10594 /proc/meminfo: memFree=29537132/32951124 swapFree=67111528/67111528 [pid=10579] ppid=10577 vsize=1088340 CPUtime=522.31 /proc/10579/stat : 10579 (wbo1.4a) R 10577 10579 10267 0 -1 4202496 271808 0 0 0 51400 831 0 0 25 0 1 0 131506136 1114460160 271659 4089446400 134512640 135751879 4293866816 18446744073709551615 134616866 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/10579/statm: 272085 271659 146 303 0 271780 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 1088340 Solver just ended. Dumping a history of the last processes samples [startup+523.101 s] /proc/loadavg: 2.07 2.11 2.04 3/197 10594 /proc/meminfo: memFree=29536388/32951124 swapFree=67111528/67111528 [pid=10579] ppid=10577 vsize=1088340 CPUtime=523.1 /proc/10579/stat : 10579 (wbo1.4a) R 10577 10579 10267 0 -1 4202496 271808 0 0 0 51479 831 0 0 25 0 1 0 131506136 1114460160 271659 4089446400 134512640 135751879 4293866816 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/10579/statm: 272085 271659 146 303 0 271780 0 Current children cumulated CPU time (s) 523.1 Current children cumulated vsize (KiB) 1088340 [startup+524.706 s] /proc/loadavg: 2.07 2.11 2.04 3/197 10594 /proc/meminfo: memFree=29534776/32951124 swapFree=67111528/67111528 [pid=10579] ppid=10577 vsize=1089528 CPUtime=524.7 /proc/10579/stat : 10579 (wbo1.4a) R 10577 10579 10267 0 -1 4202496 272089 0 0 0 51637 833 0 0 25 0 1 0 131506136 1115676672 271940 4089446400 134512640 135751879 4293866816 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/10579/statm: 272382 271940 146 303 0 272077 0 Current children cumulated CPU time (s) 524.7 Current children cumulated vsize (KiB) 1089528 [startup+525.1 s] /proc/loadavg: 2.07 2.11 2.04 3/197 10594 /proc/meminfo: memFree=29534776/32951124 swapFree=67111528/67111528 [pid=10579] ppid=10577 vsize=1089924 CPUtime=525.1 /proc/10579/stat : 10579 (wbo1.4a) R 10577 10579 10267 0 -1 4202496 272201 0 0 0 51676 834 0 0 25 0 1 0 131506136 1116082176 272052 4089446400 134512640 135751879 4293866816 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/10579/statm: 272481 272052 146 303 0 272176 0 Current children cumulated CPU time (s) 525.1 Current children cumulated vsize (KiB) 1089924 [startup+525.5 s] /proc/loadavg: 2.07 2.11 2.04 3/197 10594 /proc/meminfo: memFree=29534776/32951124 swapFree=67111528/67111528 [pid=10579] ppid=10577 vsize=0 CPUtime=525.51 /proc/10579/stat : 10579 (wbo1.4a) R 10577 10579 10267 0 -1 4202500 272300 0 0 0 51714 837 0 0 25 0 1 0 131506136 0 0 4089446400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 5 0 0 0 /proc/10579/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 525.51 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 525.521 CPU time (s): 525.533 CPU user time (s): 517.14 CPU system time (s): 8.39272 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 1090188 getrusage(RUSAGE_CHILDREN,...) data: user time used= 517.14 system time used= 8.39272 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 272300 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= 2 involuntary context switches= 5660 runsolver used 0.758884 second user time and 1.69274 second system time The end
Begin job on node107 at 2010-06-30 14:48:06 IDJOB=2690000 IDBENCH=78898 IDSOLVER=1200 FILE ID=node107/2690000-1277902086 PBS_JOBID= 11197234 Free space on /tmp= 74212 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900670234--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-2690000-1277902086/watcher-2690000-1277902086 -o /tmp/evaluation-result-2690000-1277902086/solver-2690000-1277902086 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690000-1277902086.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 74a38f74cac3b14e8d36cdbf48853bbd RANDOM SEED=1515466516 node107.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.849 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.849 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.849 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.849 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.849 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.81 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.849 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.849 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.82 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.849 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: 30805536 kB Buffers: 184720 kB Cached: 1268532 kB SwapCached: 0 kB Active: 906196 kB Inactive: 1095456 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30805536 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2772 kB Writeback: 0 kB AnonPages: 548368 kB Mapped: 20300 kB Slab: 78776 kB PageTables: 5308 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1655056 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 node107 at 2010-06-30 14:56:52