Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | OPTIMUM | 411.329 | 411.323 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900561288--soft-33-100-0.wbo |
MD5SUM | 42cd11e454ef36c6d0d0a1a4a75ff12f |
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 | 411.329 |
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 | 1857 |
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 | 93863 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 93862 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 625 |
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-2690045-1277904589.wbo. 0.00/0.00 c Instance file HOME/instance-2690045-1277904589.wbo 0.00/0.00 c File size is 92575 bytes. 0.00/0.00 c Highest Coefficient sum: 625 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 22 | 0.002 % | 0.00/0.01 c | 251 | 231 2707 8338 | 6050 251 26 | 0.002 % | 0.00/0.01 c | 476 | 231 2707 8338 | 6655 476 29 | 0.002 % | 0.00/0.02 c | 814 | 231 2707 8338 | 7320 814 31 | 0.002 % | 0.00/0.04 c | 1321 | 231 2707 8338 | 8052 1321 33 | 0.002 % | 0.00/0.06 c | 2080 | 231 2707 8338 | 8857 2080 32 | 0.002 % | 0.06/0.10 c | 3221 | 231 2707 8338 | 9743 3221 32 | 0.002 % | 0.09/0.16 c | 4932 | 231 2707 8338 | 10717 4932 34 | 0.002 % | 0.19/0.28 c | 7496 | 231 2707 8338 | 11789 7496 35 | 0.002 % | 0.39/0.49 c | 11341 | 231 2707 8338 | 12968 11341 36 | 0.002 % | 0.79/0.82 c | 17108 | 231 2707 8338 | 14265 10570 37 | 0.002 % | 1.29/1.38 c | 25760 | 231 2707 8338 | 15692 12051 37 | 0.002 % | 2.29/2.30 c | 38735 | 231 2707 8338 | 17261 9218 41 | 0.002 % | 3.69/3.78 c | 58197 | 231 2707 8338 | 18987 11297 41 | 0.002 % | 6.30/6.35 c | 87389 | 231 2707 8338 | 20886 11841 42 | 0.002 % | 10.69/10.70 c | 131179 | 231 2707 8338 | 22974 13631 45 | 0.002 % | 16.69/16.75 c | 196865 | 231 2707 8338 | 25272 21494 38 | 0.002 % | 26.39/26.46 c | 295392 | 231 2707 8338 | 27799 12333 39 | 0.002 % | 40.89/40.92 c | 443183 | 231 2707 8338 | 30579 16158 38 | 0.002 % | 63.29/63.31 c | 664869 | 231 2707 8338 | 33637 13593 34 | 0.002 % | 99.39/99.43 c | 997398 | 231 2707 8338 | 37001 23926 42 | 0.002 % | 157.80/157.84 c | 1496186 | 231 2707 8338 | 40701 29846 40 | 0.002 % | 252.80/252.81 c | 2244369 | 231 2707 8338 | 44771 18308 39 | 0.002 % | 386.20/386.22 c =============================================================================== 410.31/410.32 c core #1 410.31/410.32 c ============================[ Search Statistics ]============================== 410.31/410.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 410.31/410.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 410.31/410.32 c =============================================================================== 410.31/410.32 c | 0 | 1187 4471 16602 | 5000 0 nan | 0.000 % | 410.31/410.38 c | 102 | 1187 4471 16602 | 5500 102 26 | 0.000 % | 410.40/410.43 c | 254 | 1187 4471 16602 | 6050 254 29 | 0.000 % | 410.40/410.49 c | 480 | 1187 4471 16602 | 6655 480 28 | 0.000 % | 410.50/410.51 c | 817 | 1187 4471 16602 | 7320 817 28 | 0.000 % | 410.50/410.52 c | 1324 | 1187 4471 16602 | 8052 1324 29 | 0.000 % | 410.50/410.56 c | 2083 | 1187 4471 16602 | 8857 2083 28 | 0.000 % | 410.60/410.69 c | 3222 | 1187 4471 16602 | 9743 3222 28 | 0.000 % | 410.70/410.77 c | 4930 | 1187 4471 16602 | 10717 4930 30 | 0.000 % | 410.90/410.90 c | 7494 | 1187 4471 16602 | 11789 7494 31 | 0.000 % | 411.09/411.16 c | 11338 | 1187 4471 16602 | 12968 11338 35 | 0.000 % | 411.19/411.28 c =============================================================================== 411.19/411.28 c #cores: 1 411.19/411.28 c Final Weight: 1 411.19/411.28 o 1 411.19/411.28 s OPTIMUM FOUND 411.19/411.28 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 411.19/411.28 c Total CPU time: 407.353 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-2690045-1277904589/watcher-2690045-1277904589 -o /tmp/evaluation-result-2690045-1277904589/solver-2690045-1277904589 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690045-1277904589.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.98 2.71 2.35 4/178 23764 /proc/meminfo: memFree=31242276/32951124 swapFree=67111528/67111528 [pid=23764] ppid=23762 vsize=2664 CPUtime=0 /proc/23764/stat : 23764 (wbo1.4a) R 23762 23764 22591 0 -1 4202496 308 0 0 0 0 0 0 0 25 0 1 0 164098439 2727936 226 4089446400 134512640 135751879 4294333472 18446744073709551615 134576086 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/23764/statm: 666 226 147 303 0 338 0 [startup+0.069342 s] /proc/loadavg: 2.98 2.71 2.35 4/178 23764 /proc/meminfo: memFree=31242276/32951124 swapFree=67111528/67111528 [pid=23764] ppid=23762 vsize=3384 CPUtime=0.06 /proc/23764/stat : 23764 (wbo1.4a) R 23762 23764 22591 0 -1 4202496 509 0 0 0 6 0 0 0 25 0 1 0 164098439 3465216 404 4089446400 134512640 135751879 4294333472 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/23764/statm: 846 404 143 303 0 541 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 3384 [startup+0.100326 s] /proc/loadavg: 2.98 2.71 2.35 4/178 23764 /proc/meminfo: memFree=31242276/32951124 swapFree=67111528/67111528 [pid=23764] ppid=23762 vsize=3648 CPUtime=0.09 /proc/23764/stat : 23764 (wbo1.4a) R 23762 23764 22591 0 -1 4202496 580 0 0 0 9 0 0 0 25 0 1 0 164098439 3735552 475 4089446400 134512640 135751879 4294333472 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/23764/statm: 912 475 143 303 0 607 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3648 [startup+0.300292 s] /proc/loadavg: 2.98 2.71 2.35 4/178 23764 /proc/meminfo: memFree=31242276/32951124 swapFree=67111528/67111528 [pid=23764] ppid=23762 vsize=5100 CPUtime=0.29 /proc/23764/stat : 23764 (wbo1.4a) R 23762 23764 22591 0 -1 4202496 937 0 0 0 29 0 0 0 25 0 1 0 164098439 5222400 832 4089446400 134512640 135751879 4294333472 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/23764/statm: 1275 832 143 303 0 970 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5100 [startup+0.700225 s] /proc/loadavg: 2.98 2.71 2.35 4/178 23764 /proc/meminfo: memFree=31242276/32951124 swapFree=67111528/67111528 [pid=23764] ppid=23762 vsize=7344 CPUtime=0.69 /proc/23764/stat : 23764 (wbo1.4a) R 23762 23764 22591 0 -1 4202496 1490 0 0 0 68 1 0 0 25 0 1 0 164098439 7520256 1385 4089446400 134512640 135751879 4294333472 18446744073709551615 134616520 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/23764/statm: 1836 1385 143 303 0 1531 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7344 [startup+1.50109 s] /proc/loadavg: 2.90 2.69 2.35 3/179 23765 /proc/meminfo: memFree=31235580/32951124 swapFree=67111528/67111528 [pid=23764] ppid=23762 vsize=11172 CPUtime=1.5 /proc/23764/stat : 23764 (wbo1.4a) R 23762 23764 22591 0 -1 4202496 2444 0 0 0 147 3 0 0 25 0 1 0 164098439 11440128 2339 4089446400 134512640 135751879 4294333472 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/23764/statm: 2793 2339 143 303 0 2488 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 11172 [startup+3.10082 s] /proc/loadavg: 2.90 2.69 2.35 3/179 23765 /proc/meminfo: memFree=31230372/32951124 swapFree=67111528/67111528 [pid=23764] ppid=23762 vsize=18040 CPUtime=3.09 /proc/23764/stat : 23764 (wbo1.4a) R 23762 23764 22591 0 -1 4202496 4169 0 0 0 305 4 0 0 25 0 1 0 164098439 18472960 4064 4089446400 134512640 135751879 4294333472 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/23764/statm: 4510 4064 143 303 0 4205 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 18040 [startup+6.30028 s] /proc/loadavg: 2.83 2.68 2.35 3/179 23765 /proc/meminfo: memFree=31217836/32951124 swapFree=67111528/67111528 [pid=23764] ppid=23762 vsize=30116 CPUtime=6.3 /proc/23764/stat : 23764 (wbo1.4a) R 23762 23764 22591 0 -1 4202496 7178 0 0 0 621 9 0 0 25 0 1 0 164098439 30838784 7073 4089446400 134512640 135751879 4294333472 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/23764/statm: 7529 7073 143 303 0 7224 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 30116 [startup+12.7002 s] /proc/loadavg: 2.76 2.67 2.35 3/179 23765 /proc/meminfo: memFree=31195668/32951124 swapFree=67111528/67111528 [pid=23764] ppid=23762 vsize=51148 CPUtime=12.69 /proc/23764/stat : 23764 (wbo1.4a) R 23762 23764 22591 0 -1 4202496 12441 0 0 0 1253 16 0 0 25 0 1 0 164098439 52375552 12336 4089446400 134512640 135751879 4294333472 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/23764/statm: 12787 12336 143 303 0 12482 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 51148 [startup+25.5011 s] /proc/loadavg: 2.59 2.64 2.34 3/179 23765 /proc/meminfo: memFree=31152960/32951124 swapFree=67111528/67111528 [pid=23764] ppid=23762 vsize=93128 CPUtime=25.49 /proc/23764/stat : 23764 (wbo1.4a) R 23762 23764 22591 0 -1 4202496 22945 0 0 0 2519 30 0 0 25 0 1 0 164098439 95363072 22840 4089446400 134512640 135751879 4294333472 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/23764/statm: 23282 22840 143 303 0 22977 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 93128 [startup+51.1008 s] /proc/loadavg: 2.39 2.58 2.33 3/179 23767 /proc/meminfo: memFree=31072888/32951124 swapFree=67111528/67111528 [pid=23764] ppid=23762 vsize=173636 CPUtime=51.09 /proc/23764/stat : 23764 (wbo1.4a) R 23762 23764 22591 0 -1 4202496 43062 0 0 0 5049 60 0 0 25 0 1 0 164098439 177803264 42957 4089446400 134512640 135751879 4294333472 18446744073709551615 134616534 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/23764/statm: 43409 42957 143 303 0 43104 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 173636 [startup+102.306 s] /proc/loadavg: 2.17 2.49 2.31 3/179 23767 /proc/meminfo: memFree=30923196/32951124 swapFree=67111528/67111528 [pid=23764] ppid=23762 vsize=320464 CPUtime=102.3 /proc/23764/stat : 23764 (wbo1.4a) R 23762 23764 22591 0 -1 4202496 79735 0 0 0 10114 116 0 0 25 0 1 0 164098439 328155136 79630 4089446400 134512640 135751879 4294333472 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/23764/statm: 80116 79630 143 303 0 79811 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 320464 [startup+162.3 s] /proc/loadavg: 2.06 2.40 2.29 3/179 23769 /proc/meminfo: memFree=30766560/32951124 swapFree=67111528/67111528 [pid=23764] ppid=23762 vsize=477628 CPUtime=162.29 /proc/23764/stat : 23764 (wbo1.4a) R 23762 23764 22591 0 -1 4202496 119036 0 0 0 16050 179 0 0 25 0 1 0 164098439 489091072 118931 4089446400 134512640 135751879 4294333472 18446744073709551615 134616778 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/23764/statm: 119407 118931 143 303 0 119102 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 477628 [startup+222.301 s] /proc/loadavg: 2.02 2.32 2.27 3/179 23771 /proc/meminfo: memFree=30617472/32951124 swapFree=67111528/67111528 [pid=23764] ppid=23762 vsize=626108 CPUtime=222.29 /proc/23764/stat : 23764 (wbo1.4a) R 23762 23764 22591 0 -1 4202496 156131 0 0 0 21995 234 0 0 25 0 1 0 164098439 641134592 156026 4089446400 134512640 135751879 4294333472 18446744073709551615 134616467 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/23764/statm: 156527 156026 143 303 0 156222 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 626108 [startup+282.301 s] /proc/loadavg: 2.01 2.26 2.25 3/179 23773 /proc/meminfo: memFree=30468400/32951124 swapFree=67111528/67111528 [pid=23764] ppid=23762 vsize=776732 CPUtime=282.29 /proc/23764/stat : 23764 (wbo1.4a) R 23762 23764 22591 0 -1 4202496 193746 0 0 0 27935 294 0 0 25 0 1 0 164098439 795373568 193641 4089446400 134512640 135751879 4294333472 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/23764/statm: 194183 193641 143 303 0 193878 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 776732 [startup+342.301 s] /proc/loadavg: 2.07 2.23 2.24 3/179 23775 /proc/meminfo: memFree=30328992/32951124 swapFree=67111528/67111528 [pid=23764] ppid=23762 vsize=913536 CPUtime=342.3 /proc/23764/stat : 23764 (wbo1.4a) R 23762 23764 22591 0 -1 4202496 227954 0 0 0 33883 347 0 0 25 0 1 0 164098439 935460864 227849 4089446400 134512640 135751879 4294333472 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/23764/statm: 228384 227849 143 303 0 228079 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 913536 [startup+402.301 s] /proc/loadavg: 2.02 2.18 2.22 3/179 23775 /proc/meminfo: memFree=30124980/32951124 swapFree=67111528/67111528 [pid=23764] ppid=23762 vsize=1116760 CPUtime=402.3 /proc/23764/stat : 23764 (wbo1.4a) R 23762 23764 22591 0 -1 4202496 278747 0 0 0 39837 393 0 0 25 0 1 0 164098439 1143562240 278642 4089446400 134512640 135751879 4294333472 18446744073709551615 134618545 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/23764/statm: 279190 278642 143 303 0 278885 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 1116760 Solver just ended. Dumping a history of the last processes samples [startup+403.101 s] /proc/loadavg: 2.02 2.18 2.22 3/179 23775 /proc/meminfo: memFree=30124980/32951124 swapFree=67111528/67111528 [pid=23764] ppid=23762 vsize=1116760 CPUtime=403.1 /proc/23764/stat : 23764 (wbo1.4a) R 23762 23764 22591 0 -1 4202496 278747 0 0 0 39917 393 0 0 25 0 1 0 164098439 1143562240 278642 4089446400 134512640 135751879 4294333472 18446744073709551615 134618395 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/23764/statm: 279190 278642 143 303 0 278885 0 Current children cumulated CPU time (s) 403.1 Current children cumulated vsize (KiB) 1116760 [startup+406.3 s] /proc/loadavg: 2.02 2.18 2.22 3/179 23775 /proc/meminfo: memFree=30125224/32951124 swapFree=67111528/67111528 [pid=23764] ppid=23762 vsize=1116760 CPUtime=406.3 /proc/23764/stat : 23764 (wbo1.4a) R 23762 23764 22591 0 -1 4202496 278747 0 0 0 40237 393 0 0 25 0 1 0 164098439 1143562240 278642 4089446400 134512640 135751879 4294333472 18446744073709551615 134618270 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/23764/statm: 279190 278642 143 303 0 278885 0 Current children cumulated CPU time (s) 406.3 Current children cumulated vsize (KiB) 1116760 [startup+409.501 s] /proc/loadavg: 2.02 2.18 2.22 3/179 23775 /proc/meminfo: memFree=30124976/32951124 swapFree=67111528/67111528 [pid=23764] ppid=23762 vsize=1116760 CPUtime=409.5 /proc/23764/stat : 23764 (wbo1.4a) R 23762 23764 22591 0 -1 4202496 278750 0 0 0 40557 393 0 0 25 0 1 0 164098439 1143562240 278645 4089446400 134512640 135751879 4294333472 18446744073709551615 134522015 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/23764/statm: 279190 278645 145 303 0 278885 0 Current children cumulated CPU time (s) 409.5 Current children cumulated vsize (KiB) 1116760 [startup+410.306 s] /proc/loadavg: 2.02 2.18 2.22 3/179 23775 /proc/meminfo: memFree=30124976/32951124 swapFree=67111528/67111528 [pid=23764] ppid=23762 vsize=1116760 CPUtime=410.31 /proc/23764/stat : 23764 (wbo1.4a) R 23762 23764 22591 0 -1 4202496 278751 0 0 0 40638 393 0 0 25 0 1 0 164098439 1143562240 278646 4089446400 134512640 135751879 4294333472 18446744073709551615 135200230 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/23764/statm: 279190 278646 146 303 0 278885 0 Current children cumulated CPU time (s) 410.31 Current children cumulated vsize (KiB) 1116760 [startup+411.1 s] /proc/loadavg: 2.02 2.18 2.22 3/179 23775 /proc/meminfo: memFree=30124976/32951124 swapFree=67111528/67111528 [pid=23764] ppid=23762 vsize=1116516 CPUtime=411.09 /proc/23764/stat : 23764 (wbo1.4a) R 23762 23764 22591 0 -1 4202496 278753 0 0 0 40716 393 0 0 25 0 1 0 164098439 1143312384 278604 4089446400 134512640 135751879 4294333472 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/23764/statm: 279129 278604 146 303 0 278824 0 Current children cumulated CPU time (s) 411.09 Current children cumulated vsize (KiB) 1116516 [startup+411.3 s] /proc/loadavg: 2.02 2.18 2.22 3/179 23775 /proc/meminfo: memFree=30514352/32951124 swapFree=67111528/67111528 [pid=23764] ppid=23762 vsize=0 CPUtime=411.3 /proc/23764/stat : 23764 (wbo1.4a) R 23762 23764 22591 0 -1 4202500 278754 0 0 0 40735 395 0 0 25 0 1 0 164098439 0 0 4089446400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 4 0 0 0 /proc/23764/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 411.3 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 411.323 CPU time (s): 411.329 CPU user time (s): 407.353 CPU system time (s): 3.9764 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 1116760 getrusage(RUSAGE_CHILDREN,...) data: user time used= 407.353 system time used= 3.9764 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 278754 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= 256 runsolver used 0.574912 second user time and 1.3028 second system time The end
Begin job on node118 at 2010-06-30 15:29:49 IDJOB=2690045 IDBENCH=78922 IDSOLVER=1200 FILE ID=node118/2690045-1277904589 PBS_JOBID= 11197185 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.1900561288--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-2690045-1277904589/watcher-2690045-1277904589 -o /tmp/evaluation-result-2690045-1277904589/solver-2690045-1277904589 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690045-1277904589.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 42cd11e454ef36c6d0d0a1a4a75ff12f RANDOM SEED=1039180615 node118.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.791 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.58 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.791 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.791 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.791 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.83 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.791 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.75 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.791 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.83 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.791 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.791 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 : 5448.09 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31242804 kB Buffers: 188328 kB Cached: 1297352 kB SwapCached: 0 kB Active: 552116 kB Inactive: 1015148 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31242804 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2752 kB Writeback: 0 kB AnonPages: 82204 kB Mapped: 16028 kB Slab: 78392 kB PageTables: 5080 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 226188 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 node118 at 2010-06-30 15:36:40