Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | OPTIMUM | 926.065 | 926.031 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900670234--soft-66-100-0.wbo |
MD5SUM | 20db9b5796300dda9a6b98219b888af4 |
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 | 926.065 |
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 | 911 |
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 | 46278 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 46277 |
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-2690077-1277906317.wbo. 0.00/0.00 c Instance file HOME/instance-2690077-1277906317.wbo 0.00/0.00 c File size is 87911 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 % | 1.99/2.10 c | 38733 | 231 2707 8338 | 17261 9204 37 | 0.002 % | 3.39/3.47 c | 58197 | 231 2707 8338 | 18987 11289 40 | 0.002 % | 5.99/6.00 c | 87389 | 231 2707 8338 | 20886 11820 38 | 0.002 % | 9.59/9.62 c | 131178 | 231 2707 8338 | 22974 13571 43 | 0.002 % | 15.60/15.62 c | 196864 | 231 2707 8338 | 25272 21151 40 | 0.002 % | 24.59/24.60 c | 295391 | 231 2707 8338 | 27799 23866 38 | 0.002 % | 39.39/39.40 c | 443182 | 231 2707 8338 | 30579 12408 39 | 0.002 % | 63.09/63.13 c | 664867 | 231 2707 8338 | 33637 12754 40 | 0.002 % | 99.70/99.70 c | 997396 | 231 2707 8338 | 37001 22148 42 | 0.002 % | 160.00/160.03 c | 1496187 | 231 2707 8338 | 40701 31432 41 | 0.002 % | 251.81/251.86 c | 2244370 | 231 2707 8338 | 44771 22943 38 | 0.002 % | 337.30/337.30 c =============================================================================== 356.80/356.86 c core #1 356.80/356.86 c ============================[ Search Statistics ]============================== 356.80/356.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 356.80/356.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 356.80/356.86 c =============================================================================== 356.80/356.86 c | 0 | 704 3560 12453 | 5000 0 nan | 0.000 % | 357.30/357.40 c | 100 | 704 3560 12453 | 5500 100 21 | 0.000 % | 357.41/357.46 c | 252 | 704 3560 12453 | 6050 252 25 | 0.000 % | 357.51/357.52 c | 477 | 704 3560 12453 | 6655 477 26 | 0.000 % | 357.51/357.53 c | 814 | 704 3560 12453 | 7320 814 28 | 0.000 % | 357.51/357.55 c | 1320 | 704 3560 12453 | 8052 1320 27 | 0.000 % | 357.51/357.58 c | 2079 | 704 3560 12453 | 8857 2079 30 | 0.000 % | 357.70/357.72 c | 3222 | 704 3560 12453 | 9743 3222 31 | 0.000 % | 357.70/357.80 c | 4930 | 704 3560 12453 | 10717 4930 32 | 0.000 % | 357.90/357.95 c | 7494 | 704 3560 12453 | 11789 7494 35 | 0.000 % | 358.10/358.18 c | 11339 | 704 3560 12453 | 12968 11339 34 | 0.000 % | 358.51/358.54 c | 17107 | 704 3560 12453 | 14265 10558 35 | 0.000 % | 359.11/359.16 c | 25757 | 704 3560 12453 | 15692 12011 38 | 0.000 % | 360.10/360.16 c | 38734 | 704 3560 12453 | 17261 9171 38 | 0.000 % | 361.70/361.71 c | 58196 | 704 3560 12453 | 18987 11251 37 | 0.000 % | 364.21/364.28 c | 87389 | 704 3560 12453 | 20886 11808 37 | 0.000 % | 368.30/368.30 c | 131178 | 704 3560 12453 | 22974 13626 39 | 0.000 % | 375.21/375.28 c | 196862 | 704 3560 12453 | 25272 21224 40 | 0.000 % | 387.80/387.88 c | 295388 | 704 3560 12453 | 27799 13040 43 | 0.000 % | 404.11/404.10 c | 443178 | 704 3560 12453 | 30579 16177 40 | 0.000 % | 431.60/431.69 c | 664865 | 704 3560 12453 | 33637 15221 39 | 0.000 % | 473.21/473.28 c | 997391 | 704 3560 12453 | 37001 25981 40 | 0.000 % | 538.71/538.70 c | 1496180 | 704 3560 12453 | 40701 29897 40 | 0.000 % | 634.81/634.85 c | 2244362 | 704 3560 12453 | 44771 15802 39 | 0.000 % | 782.02/782.06 c =============================================================================== 807.32/807.31 c core #2 807.32/807.31 c ============================[ Search Statistics ]============================== 807.32/807.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 807.32/807.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 807.32/807.31 c =============================================================================== 807.32/807.31 c | 0 | 1176 4404 16539 | 5000 0 nan | 0.000 % | 807.32/807.39 c | 102 | 1176 4404 16539 | 5500 102 46 | 0.000 % | 807.42/807.41 c | 252 | 1176 4404 16539 | 6050 252 40 | 0.000 % | 807.42/807.46 c | 477 | 1176 4404 16539 | 6655 477 34 | 0.000 % | 807.42/807.50 c | 814 | 1176 4404 16539 | 7320 814 31 | 0.000 % | 807.52/807.55 c | 1320 | 1176 4404 16539 | 8052 1320 30 | 0.000 % | 807.52/807.58 c | 2079 | 1176 4404 16539 | 8857 2079 31 | 0.000 % | 807.62/807.66 c | 3218 | 1176 4404 16539 | 9743 3218 32 | 0.000 % | 807.73/807.78 c | 4928 | 1176 4404 16539 | 10717 4928 33 | 0.000 % | 807.92/807.97 c | 7490 | 1176 4404 16539 | 11789 7490 33 | 0.000 % | 808.22/808.26 c | 11335 | 1176 4404 16539 | 12968 11335 35 | 0.000 % | 808.62/808.68 c | 17101 | 1176 4404 16539 | 14265 10581 37 | 0.000 % | 809.32/809.37 c | 25750 | 1176 4404 16539 | 15692 12053 40 | 0.000 % | 810.52/810.57 c | 38724 | 1176 4404 16539 | 17261 9203 42 | 0.000 % | 812.42/812.46 c | 58186 | 1176 4404 16539 | 18987 11290 43 | 0.000 % | 815.12/815.15 c | 87378 | 1176 4404 16539 | 20886 11791 39 | 0.000 % | 820.42/820.49 c | 131167 | 1176 4404 16539 | 22974 13597 45 | 0.000 % | 827.92/827.97 c | 196851 | 1176 4404 16539 | 25272 21464 40 | 0.000 % | 839.82/839.85 c | 295379 | 1176 4404 16539 | 27799 11473 42 | 0.000 % | 857.42/857.44 c | 443168 | 1176 4404 16539 | 30579 15755 40 | 0.000 % | 884.92/884.92 c | 664851 | 1176 4404 16539 | 33637 14692 38 | 0.000 % | 924.93/924.96 c | 997377 | 1176 4404 16539 | 37001 24138 40 | 0.000 % | 925.93/925.97 c =============================================================================== 925.93/925.97 c #cores: 2 925.93/925.97 c Final Weight: 2 925.93/925.97 o 2 925.93/925.97 s OPTIMUM FOUND 925.93/925.97 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 925.93/925.97 c Total CPU time: 917.708 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-2690077-1277906317/watcher-2690077-1277906317 -o /tmp/evaluation-result-2690077-1277906317/solver-2690077-1277906317 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690077-1277906317.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.11 4/178 15588 /proc/meminfo: memFree=31320440/32951124 swapFree=67111528/67111528 [pid=15588] ppid=15586 vsize=2804 CPUtime=0 /proc/15588/stat : 15588 (wbo1.4a) R 15586 15588 14808 0 -1 4202496 310 0 0 0 0 0 0 0 25 0 1 0 131926926 2871296 228 4089446400 134512640 135751879 4292231824 18446744073709551615 135225318 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/15588/statm: 701 228 146 303 0 374 0 [startup+0.00884095 s] /proc/loadavg: 2.00 2.00 2.11 4/178 15588 /proc/meminfo: memFree=31320440/32951124 swapFree=67111528/67111528 [pid=15588] ppid=15586 vsize=2716 CPUtime=0 /proc/15588/stat : 15588 (wbo1.4a) R 15586 15588 14808 0 -1 4202496 349 0 0 0 0 0 0 0 25 0 1 0 131926926 2781184 245 4089446400 134512640 135751879 4292231824 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/15588/statm: 679 245 143 303 0 374 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2716 [startup+0.100824 s] /proc/loadavg: 2.00 2.00 2.11 4/178 15588 /proc/meminfo: memFree=31320440/32951124 swapFree=67111528/67111528 [pid=15588] ppid=15586 vsize=3508 CPUtime=0.09 /proc/15588/stat : 15588 (wbo1.4a) R 15586 15588 14808 0 -1 4202496 558 0 0 0 9 0 0 0 25 0 1 0 131926926 3592192 454 4089446400 134512640 135751879 4292231824 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/15588/statm: 877 454 143 303 0 572 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3508 [startup+0.300797 s] /proc/loadavg: 2.00 2.00 2.11 4/178 15588 /proc/meminfo: memFree=31320440/32951124 swapFree=67111528/67111528 [pid=15588] ppid=15586 vsize=4960 CPUtime=0.29 /proc/15588/stat : 15588 (wbo1.4a) R 15586 15588 14808 0 -1 4202496 917 0 0 0 29 0 0 0 25 0 1 0 131926926 5079040 813 4089446400 134512640 135751879 4292231824 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/15588/statm: 1240 813 143 303 0 935 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4960 [startup+0.700713 s] /proc/loadavg: 2.00 2.00 2.11 4/178 15588 /proc/meminfo: memFree=31320440/32951124 swapFree=67111528/67111528 [pid=15588] ppid=15586 vsize=7204 CPUtime=0.69 /proc/15588/stat : 15588 (wbo1.4a) R 15586 15588 14808 0 -1 4202496 1475 0 0 0 68 1 0 0 25 0 1 0 131926926 7376896 1371 4089446400 134512640 135751879 4292231824 18446744073709551615 134616377 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/15588/statm: 1801 1372 143 303 0 1496 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7204 [startup+1.50056 s] /proc/loadavg: 2.00 2.00 2.11 3/179 15589 /proc/meminfo: memFree=31313984/32951124 swapFree=67111528/67111528 [pid=15588] ppid=15586 vsize=11164 CPUtime=1.49 /proc/15588/stat : 15588 (wbo1.4a) R 15586 15588 14808 0 -1 4202496 2443 0 0 0 147 2 0 0 25 0 1 0 131926926 11431936 2339 4089446400 134512640 135751879 4292231824 18446744073709551615 134649755 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/15588/statm: 2791 2339 143 303 0 2486 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11164 [startup+3.10026 s] /proc/loadavg: 2.00 2.00 2.11 3/179 15589 /proc/meminfo: memFree=31308900/32951124 swapFree=67111528/67111528 [pid=15588] ppid=15586 vsize=18160 CPUtime=3.09 /proc/15588/stat : 15588 (wbo1.4a) R 15586 15588 14808 0 -1 4202496 4197 0 0 0 304 5 0 0 25 0 1 0 131926926 18595840 4093 4089446400 134512640 135751879 4292231824 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/15588/statm: 4540 4093 143 303 0 4235 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 18160 [startup+6.30065 s] /proc/loadavg: 2.00 2.00 2.11 3/179 15589 /proc/meminfo: memFree=31296264/32951124 swapFree=67111528/67111528 [pid=15588] ppid=15586 vsize=29836 CPUtime=6.29 /proc/15588/stat : 15588 (wbo1.4a) R 15586 15588 14808 0 -1 4202496 7129 0 0 0 621 8 0 0 25 0 1 0 131926926 30552064 7025 4089446400 134512640 135751879 4292231824 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/15588/statm: 7459 7025 143 303 0 7154 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 29836 [startup+12.7004 s] /proc/loadavg: 2.00 2.00 2.11 3/179 15589 /proc/meminfo: memFree=31272204/32951124 swapFree=67111528/67111528 [pid=15588] ppid=15586 vsize=52672 CPUtime=12.69 /proc/15588/stat : 15588 (wbo1.4a) R 15586 15588 14808 0 -1 4202496 12824 0 0 0 1253 16 0 0 25 0 1 0 131926926 53936128 12720 4089446400 134512640 135751879 4292231824 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/15588/statm: 13168 12720 143 303 0 12863 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 52672 [startup+25.501 s] /proc/loadavg: 2.00 2.00 2.10 3/179 15589 /proc/meminfo: memFree=31230352/32951124 swapFree=67111528/67111528 [pid=15588] ppid=15586 vsize=93796 CPUtime=25.49 /proc/15588/stat : 15588 (wbo1.4a) R 15586 15588 14808 0 -1 4202496 23087 0 0 0 2519 30 0 0 25 0 1 0 131926926 96047104 22983 4089446400 134512640 135751879 4292231824 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/15588/statm: 23449 22983 143 303 0 23144 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 93796 [startup+51.1002 s] /proc/loadavg: 2.00 2.00 2.10 3/179 15591 /proc/meminfo: memFree=31155484/32951124 swapFree=67111528/67111528 [pid=15588] ppid=15586 vsize=168684 CPUtime=51.09 /proc/15588/stat : 15588 (wbo1.4a) R 15586 15588 14808 0 -1 4202496 41814 0 0 0 5051 58 0 0 25 0 1 0 131926926 172732416 41710 4089446400 134512640 135751879 4292231824 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/15588/statm: 42171 41710 143 303 0 41866 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 168684 [startup+102.306 s] /proc/loadavg: 2.00 2.00 2.09 3/179 15592 /proc/meminfo: memFree=31014468/32951124 swapFree=67111528/67111528 [pid=15588] ppid=15586 vsize=308316 CPUtime=102.3 /proc/15588/stat : 15588 (wbo1.4a) R 15586 15588 14808 0 -1 4202496 76695 0 0 0 10119 111 0 0 25 0 1 0 131926926 315715584 76591 4089446400 134512640 135751879 4292231824 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/15588/statm: 77079 76591 143 303 0 76774 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 308316 [startup+162.301 s] /proc/loadavg: 2.00 2.00 2.08 3/179 15602 /proc/meminfo: memFree=30868748/32951124 swapFree=67111528/67111528 [pid=15588] ppid=15586 vsize=454752 CPUtime=162.3 /proc/15588/stat : 15588 (wbo1.4a) R 15586 15588 14808 0 -1 4202496 113300 0 0 0 16061 169 0 0 25 0 1 0 131926926 465666048 113196 4089446400 134512640 135751879 4292231824 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/15588/statm: 113688 113196 143 303 0 113383 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 454752 [startup+222.301 s] /proc/loadavg: 2.00 2.00 2.08 3/179 15604 /proc/meminfo: memFree=30724140/32951124 swapFree=67111528/67111528 [pid=15588] ppid=15586 vsize=597600 CPUtime=222.3 /proc/15588/stat : 15588 (wbo1.4a) R 15586 15588 14808 0 -1 4202496 149006 0 0 0 22004 226 0 0 25 0 1 0 131926926 611942400 148902 4089446400 134512640 135751879 4292231824 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/15588/statm: 149400 148902 143 303 0 149095 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 597600 [startup+282.3 s] /proc/loadavg: 2.06 2.01 2.08 3/179 15606 /proc/meminfo: memFree=30581864/32951124 swapFree=67111528/67111528 [pid=15588] ppid=15586 vsize=741272 CPUtime=282.3 /proc/15588/stat : 15588 (wbo1.4a) R 15586 15588 14808 0 -1 4202496 184894 0 0 0 27947 283 0 0 25 0 1 0 131926926 759062528 184790 4089446400 134512640 135751879 4292231824 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/15588/statm: 185318 184790 143 303 0 185013 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 741272 [startup+342.301 s] /proc/loadavg: 2.02 2.01 2.07 3/179 15607 /proc/meminfo: memFree=30404012/32951124 swapFree=67111528/67111528 [pid=15588] ppid=15586 vsize=918976 CPUtime=342.3 /proc/15588/stat : 15588 (wbo1.4a) R 15586 15588 14808 0 -1 4202496 229314 0 0 0 33892 338 0 0 25 0 1 0 131926926 941031424 229210 4089446400 134512640 135751879 4292231824 18446744073709551615 134521497 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/15588/statm: 229744 229210 143 303 0 229439 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 918976 [startup+402.301 s] /proc/loadavg: 2.00 2.00 2.07 3/179 15609 /proc/meminfo: memFree=30362912/32951124 swapFree=67111528/67111528 [pid=15588] ppid=15586 vsize=957012 CPUtime=402.3 /proc/15588/stat : 15588 (wbo1.4a) R 15586 15588 14808 0 -1 4202496 238957 0 0 0 39845 385 0 0 25 0 1 0 131926926 979980288 238809 4089446400 134512640 135751879 4292231824 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/15588/statm: 239253 238809 146 303 0 238948 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 957012 [startup+462.3 s] /proc/loadavg: 2.00 2.00 2.06 3/179 15610 /proc/meminfo: memFree=30357924/32951124 swapFree=67111528/67111528 [pid=15588] ppid=15586 vsize=962424 CPUtime=462.31 /proc/15588/stat : 15588 (wbo1.4a) R 15586 15588 14808 0 -1 4202496 240320 0 0 0 45797 434 0 0 25 0 1 0 131926926 985522176 240172 4089446400 134512640 135751879 4292231824 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/15588/statm: 240606 240172 146 303 0 240301 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 962424 [startup+522.301 s] /proc/loadavg: 2.00 2.00 2.05 3/179 15612 /proc/meminfo: memFree=30293904/32951124 swapFree=67111528/67111528 [pid=15588] ppid=15586 vsize=1027116 CPUtime=522.31 /proc/15588/stat : 15588 (wbo1.4a) R 15586 15588 14808 0 -1 4202496 256457 0 0 0 51745 486 0 0 25 0 1 0 131926926 1051766784 256309 4089446400 134512640 135751879 4292231824 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/15588/statm: 256779 256309 146 303 0 256474 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 1027116 [startup+582.301 s] /proc/loadavg: 1.94 1.98 2.04 3/197 15660 /proc/meminfo: memFree=30258652/32951124 swapFree=67111528/67111528 [pid=15588] ppid=15586 vsize=1100088 CPUtime=582.32 /proc/15588/stat : 15588 (wbo1.4a) R 15586 15588 14808 0 -1 4202496 274692 0 0 0 57690 542 0 0 25 0 1 0 131926926 1126490112 274544 4089446400 134512640 135751879 4292231824 18446744073709551615 134611297 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/15588/statm: 275022 274544 146 303 0 274717 0 Current children cumulated CPU time (s) 582.32 Current children cumulated vsize (KiB) 1100088 [startup+642.3 s] /proc/loadavg: 2.02 2.00 2.04 3/197 15661 /proc/meminfo: memFree=30113472/32951124 swapFree=67111528/67111528 [pid=15588] ppid=15586 vsize=1240892 CPUtime=642.32 /proc/15588/stat : 15588 (wbo1.4a) R 15586 15588 14808 0 -1 4202496 309880 0 0 0 63630 602 0 0 25 0 1 0 131926926 1270673408 309732 4089446400 134512640 135751879 4292231824 18446744073709551615 134602998 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/15588/statm: 310223 309732 146 303 0 309918 0 Current children cumulated CPU time (s) 642.32 Current children cumulated vsize (KiB) 1240892 [startup+702.301 s] /proc/loadavg: 2.01 2.00 2.04 3/197 15663 /proc/meminfo: memFree=29980236/32951124 swapFree=67111528/67111528 [pid=15588] ppid=15586 vsize=1374116 CPUtime=702.32 /proc/15588/stat : 15588 (wbo1.4a) R 15586 15588 14808 0 -1 4202496 343153 0 0 0 69580 652 0 0 25 0 1 0 131926926 1407094784 343005 4089446400 134512640 135751879 4292231824 18446744073709551615 134517428 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/15588/statm: 343529 343006 146 303 0 343224 0 Current children cumulated CPU time (s) 702.32 Current children cumulated vsize (KiB) 1374116 [startup+762.307 s] /proc/loadavg: 2.00 2.00 2.03 3/197 15664 /proc/meminfo: memFree=29842168/32951124 swapFree=67111528/67111528 [pid=15588] ppid=15586 vsize=1510056 CPUtime=762.33 /proc/15588/stat : 15588 (wbo1.4a) R 15586 15588 14808 0 -1 4202496 377139 0 0 0 75528 705 0 0 25 0 1 0 131926926 1546297344 376991 4089446400 134512640 135751879 4292231824 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/15588/statm: 377514 376991 146 303 0 377209 0 Current children cumulated CPU time (s) 762.33 Current children cumulated vsize (KiB) 1510056 [startup+822.3 s] /proc/loadavg: 2.00 2.00 2.02 3/197 15666 /proc/meminfo: memFree=29698012/32951124 swapFree=67111528/67111528 [pid=15588] ppid=15586 vsize=1653200 CPUtime=822.33 /proc/15588/stat : 15588 (wbo1.4a) R 15586 15588 14808 0 -1 4202496 412936 0 0 0 81494 739 0 0 25 0 1 0 131926926 1692876800 412788 4089446400 134512640 135751879 4292231824 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/15588/statm: 413300 412788 146 303 0 412995 0 Current children cumulated CPU time (s) 822.33 Current children cumulated vsize (KiB) 1653200 [startup+882.301 s] /proc/loadavg: 2.00 2.00 2.02 3/197 15668 /proc/meminfo: memFree=29697328/32951124 swapFree=67111528/67111528 [pid=15588] ppid=15586 vsize=1653200 CPUtime=882.33 /proc/15588/stat : 15588 (wbo1.4a) R 15586 15588 14808 0 -1 4202496 413027 0 0 0 87442 791 0 0 25 0 1 0 131926926 1692876800 412879 4089446400 134512640 135751879 4292231824 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/15588/statm: 413300 412879 146 303 0 412995 0 Current children cumulated CPU time (s) 882.33 Current children cumulated vsize (KiB) 1653200 Solver just ended. Dumping a history of the last processes samples [startup+895.9 s] /proc/loadavg: 2.00 2.00 2.02 3/197 15668 /proc/meminfo: memFree=29697068/32951124 swapFree=67111528/67111528 [pid=15588] ppid=15586 vsize=1653200 CPUtime=895.92 /proc/15588/stat : 15588 (wbo1.4a) R 15586 15588 14808 0 -1 4202496 413027 0 0 0 88788 804 0 0 25 0 1 0 131926926 1692876800 412879 4089446400 134512640 135751879 4292231824 18446744073709551615 134616778 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/15588/statm: 413300 412879 146 303 0 412995 0 Current children cumulated CPU time (s) 895.92 Current children cumulated vsize (KiB) 1653200 [startup+908.701 s] /proc/loadavg: 2.00 2.00 2.02 3/179 15696 /proc/meminfo: memFree=29740724/32951124 swapFree=67111528/67111528 [pid=15588] ppid=15586 vsize=1653200 CPUtime=908.72 /proc/15588/stat : 15588 (wbo1.4a) R 15586 15588 14808 0 -1 4202496 413027 0 0 0 90057 815 0 0 25 0 1 0 131926926 1692876800 412879 4089446400 134512640 135751879 4292231824 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/15588/statm: 413300 412879 146 303 0 412995 0 Current children cumulated CPU time (s) 908.72 Current children cumulated vsize (KiB) 1653200 [startup+915.101 s] /proc/loadavg: 2.00 2.00 2.02 3/179 15696 /proc/meminfo: memFree=29741300/32951124 swapFree=67111528/67111528 [pid=15588] ppid=15586 vsize=1653200 CPUtime=915.13 /proc/15588/stat : 15588 (wbo1.4a) R 15586 15588 14808 0 -1 4202496 413027 0 0 0 90693 820 0 0 25 0 1 0 131926926 1692876800 412879 4089446400 134512640 135751879 4292231824 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/15588/statm: 413300 412879 146 303 0 412995 0 Current children cumulated CPU time (s) 915.13 Current children cumulated vsize (KiB) 1653200 [startup+921.5 s] /proc/loadavg: 2.00 2.00 2.02 3/179 15696 /proc/meminfo: memFree=29740308/32951124 swapFree=67111528/67111528 [pid=15588] ppid=15586 vsize=1655180 CPUtime=921.53 /proc/15588/stat : 15588 (wbo1.4a) R 15586 15588 14808 0 -1 4202496 413514 0 0 0 91327 826 0 0 25 0 1 0 131926926 1694904320 413366 4089446400 134512640 135751879 4292231824 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/15588/statm: 413795 413366 146 303 0 413490 0 Current children cumulated CPU time (s) 921.53 Current children cumulated vsize (KiB) 1655180 [startup+923.1 s] /proc/loadavg: 2.00 2.00 2.02 3/179 15696 /proc/meminfo: memFree=29737828/32951124 swapFree=67111528/67111528 [pid=15588] ppid=15586 vsize=1656896 CPUtime=923.12 /proc/15588/stat : 15588 (wbo1.4a) R 15586 15588 14808 0 -1 4202496 413920 0 0 0 91485 827 0 0 25 0 1 0 131926926 1696661504 413772 4089446400 134512640 135751879 4292231824 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/15588/statm: 414224 413772 146 303 0 413919 0 Current children cumulated CPU time (s) 923.12 Current children cumulated vsize (KiB) 1656896 [startup+924.701 s] /proc/loadavg: 2.00 2.00 2.02 3/179 15696 /proc/meminfo: memFree=29737224/32951124 swapFree=67111528/67111528 [pid=15588] ppid=15586 vsize=1658624 CPUtime=924.73 /proc/15588/stat : 15588 (wbo1.4a) R 15586 15588 14808 0 -1 4202496 414370 0 0 0 91644 829 0 0 25 0 1 0 131926926 1698430976 414222 4089446400 134512640 135751879 4292231824 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/15588/statm: 414656 414222 146 303 0 414351 0 Current children cumulated CPU time (s) 924.73 Current children cumulated vsize (KiB) 1658624 [startup+925.501 s] /proc/loadavg: 2.00 2.00 2.02 3/179 15696 /proc/meminfo: memFree=29735736/32951124 swapFree=67111528/67111528 [pid=15588] ppid=15586 vsize=1659680 CPUtime=925.52 /proc/15588/stat : 15588 (wbo1.4a) R 15586 15588 14808 0 -1 4202496 414645 0 0 0 91723 829 0 0 25 0 1 0 131926926 1699512320 414497 4089446400 134512640 135751879 4292231824 18446744073709551615 134517428 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/15588/statm: 414920 414497 146 303 0 414615 0 Current children cumulated CPU time (s) 925.52 Current children cumulated vsize (KiB) 1659680 [startup+925.901 s] /proc/loadavg: 2.00 2.00 2.02 3/179 15696 /proc/meminfo: memFree=29735736/32951124 swapFree=67111528/67111528 [pid=15588] ppid=15586 vsize=1660208 CPUtime=925.93 /proc/15588/stat : 15588 (wbo1.4a) R 15586 15588 14808 0 -1 4202496 414764 0 0 0 91763 830 0 0 25 0 1 0 131926926 1700052992 414616 4089446400 134512640 135751879 4292231824 18446744073709551615 134517428 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/15588/statm: 415052 414616 146 303 0 414747 0 Current children cumulated CPU time (s) 925.93 Current children cumulated vsize (KiB) 1660208 [startup+926.001 s] /proc/loadavg: 2.00 2.00 2.02 3/179 15696 /proc/meminfo: memFree=29735736/32951124 swapFree=67111528/67111528 [pid=15588] ppid=15586 vsize=0 CPUtime=926.02 /proc/15588/stat : 15588 (wbo1.4a) R 15586 15588 14808 0 -1 4202500 414785 0 0 0 91770 832 0 0 25 0 1 0 131926926 0 0 4089446400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 6 0 0 0 /proc/15588/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 926.02 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 926.031 CPU time (s): 926.065 CPU user time (s): 917.708 CPU system time (s): 8.35673 CPU usage (%): 100.004 Max. virtual memory (cumulated for all children) (KiB): 1660208 getrusage(RUSAGE_CHILDREN,...) data: user time used= 917.708 system time used= 8.35673 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 414785 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 10418 runsolver used 1.54576 second user time and 3.10753 second system time The end
Begin job on node141 at 2010-06-30 15:58:37 IDJOB=2690077 IDBENCH=78938 IDSOLVER=1200 FILE ID=node141/2690077-1277906317 PBS_JOBID= 11197221 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.1900670234--soft-66-100-0.wbo COMMAND LINE= wbo1.4a -file-format=wbo -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2690077-1277906317/watcher-2690077-1277906317 -o /tmp/evaluation-result-2690077-1277906317/solver-2690077-1277906317 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690077-1277906317.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 20db9b5796300dda9a6b98219b888af4 RANDOM SEED=1474641700 node141.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.788 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.57 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.788 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.68 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.788 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.83 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.788 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.788 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.80 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.788 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.788 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.788 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: 32951124 kB MemFree: 31321092 kB Buffers: 190340 kB Cached: 1145868 kB SwapCached: 0 kB Active: 724332 kB Inactive: 763140 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31321092 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2732 kB Writeback: 0 kB AnonPages: 151440 kB Mapped: 17660 kB Slab: 79028 kB PageTables: 5152 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 298852 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 node141 at 2010-06-30 16:14:03