Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | OPTIMUM | 187.407 | 187.399 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900552288--soft-33-100-0.wbo |
MD5SUM | 3bf2aae29a44384f88ac4f8c4d2b9bc3 |
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 | 187.407 |
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 | 1804 |
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 | 90822 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 90821 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 727 |
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-2689542-1277911916.wbo. 0.00/0.00 c Instance file HOME/instance-2689542-1277911916.wbo 0.00/0.00 c File size is 92310 bytes. 0.00/0.00 c Highest Coefficient sum: 727 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 23 | 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 28 | 0.002 % | 0.00/0.04 c | 1321 | 231 2707 8338 | 8052 1321 29 | 0.002 % | 0.00/0.06 c | 2080 | 231 2707 8338 | 8857 2080 30 | 0.002 % | 0.09/0.10 c | 3221 | 231 2707 8338 | 9743 3221 29 | 0.002 % | 0.09/0.17 c | 4930 | 231 2707 8338 | 10717 4930 32 | 0.002 % | 0.19/0.27 c | 7494 | 231 2707 8338 | 11789 7494 31 | 0.002 % | 0.39/0.48 c | 11338 | 231 2707 8338 | 12968 11338 32 | 0.002 % | 0.79/0.86 c | 17104 | 231 2707 8338 | 14265 10570 35 | 0.002 % | 1.39/1.43 c | 25755 | 231 2707 8338 | 15692 12030 34 | 0.002 % | 2.39/2.47 c | 38729 | 231 2707 8338 | 17261 9201 42 | 0.002 % | 4.09/4.11 c | 58190 | 231 2707 8338 | 18987 11276 38 | 0.002 % | 6.59/6.61 c | 87382 | 231 2707 8338 | 20886 11841 38 | 0.002 % | 10.39/10.41 c | 131173 | 231 2707 8338 | 22974 13639 38 | 0.002 % | 16.50/16.57 c | 196857 | 231 2707 8338 | 25272 21564 39 | 0.002 % | 26.59/26.64 c | 295383 | 231 2707 8338 | 27799 15171 38 | 0.002 % | 44.09/44.17 c | 443173 | 231 2707 8338 | 30579 25064 41 | 0.002 % | 71.39/71.47 c | 664858 | 231 2707 8338 | 33637 12444 38 | 0.002 % | 111.30/111.35 c | 997384 | 231 2707 8338 | 37001 28285 40 | 0.002 % | 161.70/161.76 c =============================================================================== 171.70/171.77 c core #1 171.70/171.77 c ============================[ Search Statistics ]============================== 171.70/171.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 171.70/171.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 171.70/171.77 c =============================================================================== 171.70/171.77 c | 0 | 1145 4414 16356 | 5000 0 nan | 0.000 % | 172.00/172.08 c | 100 | 1145 4414 16356 | 5500 100 24 | 0.000 % | 172.00/172.08 c | 250 | 1145 4414 16356 | 6050 250 33 | 0.000 % | 172.00/172.09 c | 475 | 1145 4414 16356 | 6655 475 34 | 0.000 % | 172.10/172.10 c | 812 | 1145 4414 16356 | 7320 812 31 | 0.000 % | 172.10/172.13 c | 1318 | 1145 4414 16356 | 8052 1318 32 | 0.000 % | 172.10/172.19 c | 2078 | 1145 4414 16356 | 8857 2078 31 | 0.000 % | 172.20/172.24 c | 3217 | 1145 4414 16356 | 9743 3217 32 | 0.000 % | 172.30/172.32 c | 4926 | 1145 4414 16356 | 10717 4926 32 | 0.000 % | 172.40/172.47 c | 7489 | 1145 4414 16356 | 11789 7489 32 | 0.000 % | 172.71/172.72 c | 11335 | 1145 4414 16356 | 12968 11335 32 | 0.000 % | 173.10/173.13 c | 17102 | 1145 4414 16356 | 14265 10573 34 | 0.000 % | 173.71/173.78 c | 25751 | 1145 4414 16356 | 15692 12032 32 | 0.000 % | 174.80/174.83 c | 38726 | 1145 4414 16356 | 17261 9210 37 | 0.000 % | 176.40/176.49 c | 58188 | 1145 4414 16356 | 18987 11280 36 | 0.000 % | 179.09/179.12 c | 87380 | 1145 4414 16356 | 20886 11815 35 | 0.000 % | 183.40/183.43 c | 131169 | 1145 4414 16356 | 22974 13593 36 | 0.000 % | 187.29/187.38 c =============================================================================== 187.29/187.38 c #cores: 1 187.29/187.38 c Final Weight: 1 187.29/187.38 o 1 187.29/187.38 s OPTIMUM FOUND 187.29/187.38 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 187.29/187.38 c Total CPU time: 184.672 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-2689542-1277911916/watcher-2689542-1277911916 -o /tmp/evaluation-result-2689542-1277911916/solver-2689542-1277911916 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689542-1277911916.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: 1.85 1.97 1.99 3/196 13670 /proc/meminfo: memFree=31529172/32951124 swapFree=67111528/67111528 [pid=13670] ppid=13668 vsize=2664 CPUtime=0 /proc/13670/stat : 13670 (wbo1.4a) R 13668 13670 13645 0 -1 4202496 304 0 0 0 0 0 0 0 20 0 1 0 132486724 2727936 223 4089446400 134512640 135751879 4292481536 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/13670/statm: 666 223 146 303 0 338 0 [startup+0.067079 s] /proc/loadavg: 1.85 1.97 1.99 3/196 13670 /proc/meminfo: memFree=31529172/32951124 swapFree=67111528/67111528 [pid=13670] ppid=13668 vsize=3244 CPUtime=0.05 /proc/13670/stat : 13670 (wbo1.4a) R 13668 13670 13645 0 -1 4202496 493 0 0 0 5 0 0 0 21 0 1 0 132486724 3321856 389 4089446400 134512640 135751879 4292481536 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/13670/statm: 811 390 143 303 0 506 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 3244 [startup+0.101087 s] /proc/loadavg: 1.85 1.97 1.99 3/196 13670 /proc/meminfo: memFree=31529172/32951124 swapFree=67111528/67111528 [pid=13670] ppid=13668 vsize=3640 CPUtime=0.09 /proc/13670/stat : 13670 (wbo1.4a) R 13668 13670 13645 0 -1 4202496 565 0 0 0 9 0 0 0 21 0 1 0 132486724 3727360 461 4089446400 134512640 135751879 4292481536 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/13670/statm: 910 461 143 303 0 605 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3640 [startup+0.301031 s] /proc/loadavg: 1.85 1.97 1.99 3/196 13670 /proc/meminfo: memFree=31529172/32951124 swapFree=67111528/67111528 [pid=13670] ppid=13668 vsize=4960 CPUtime=0.29 /proc/13670/stat : 13670 (wbo1.4a) R 13668 13670 13645 0 -1 4202496 922 0 0 0 28 1 0 0 21 0 1 0 132486724 5079040 818 4089446400 134512640 135751879 4292481536 18446744073709551615 134616350 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/13670/statm: 1240 819 143 303 0 935 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4960 [startup+0.700952 s] /proc/loadavg: 1.85 1.97 1.99 3/196 13670 /proc/meminfo: memFree=31529172/32951124 swapFree=67111528/67111528 [pid=13670] ppid=13668 vsize=7084 CPUtime=0.69 /proc/13670/stat : 13670 (wbo1.4a) R 13668 13670 13645 0 -1 4202496 1434 0 0 0 66 3 0 0 22 0 1 0 132486724 7254016 1330 4089446400 134512640 135751879 4292481536 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/13670/statm: 1771 1330 143 303 0 1466 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7084 [startup+1.5008 s] /proc/loadavg: 1.85 1.97 1.99 3/197 13671 /proc/meminfo: memFree=31522840/32951124 swapFree=67111528/67111528 [pid=13670] ppid=13668 vsize=10648 CPUtime=1.49 /proc/13670/stat : 13670 (wbo1.4a) R 13668 13670 13645 0 -1 4202496 2324 0 0 0 144 5 0 0 25 0 1 0 132486724 10903552 2220 4089446400 134512640 135751879 4292481536 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/13670/statm: 2662 2221 143 303 0 2357 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10648 [startup+3.10048 s] /proc/loadavg: 1.85 1.97 1.99 3/197 13671 /proc/meminfo: memFree=31517632/32951124 swapFree=67111528/67111528 [pid=13670] ppid=13668 vsize=16984 CPUtime=3.09 /proc/13670/stat : 13670 (wbo1.4a) R 13668 13670 13645 0 -1 4202496 3902 0 0 0 300 9 0 0 18 0 1 0 132486724 17391616 3798 4089446400 134512640 135751879 4292481536 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/13670/statm: 4246 3798 143 303 0 3941 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16984 [startup+6.30084 s] /proc/loadavg: 1.86 1.97 1.99 3/197 13672 /proc/meminfo: memFree=31505952/32951124 swapFree=67111528/67111528 [pid=13670] ppid=13668 vsize=28784 CPUtime=6.29 /proc/13670/stat : 13670 (wbo1.4a) R 13668 13670 13645 0 -1 4202496 6843 0 0 0 611 18 0 0 21 0 1 0 132486724 29474816 6739 4089446400 134512640 135751879 4292481536 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/13670/statm: 7196 6739 143 303 0 6891 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 28784 [startup+12.7006 s] /proc/loadavg: 1.87 1.97 1.99 3/197 13672 /proc/meminfo: memFree=31482852/32951124 swapFree=67111528/67111528 [pid=13670] ppid=13668 vsize=51248 CPUtime=12.69 /proc/13670/stat : 13670 (wbo1.4a) R 13668 13670 13645 0 -1 4202496 12482 0 0 0 1237 32 0 0 25 0 1 0 132486724 52477952 12378 4089446400 134512640 135751879 4292481536 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/13670/statm: 12812 12378 143 303 0 12507 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 51248 [startup+25.501 s] /proc/loadavg: 1.90 1.97 1.99 3/197 13672 /proc/meminfo: memFree=31441800/32951124 swapFree=67111528/67111528 [pid=13670] ppid=13668 vsize=91692 CPUtime=25.49 /proc/13670/stat : 13670 (wbo1.4a) R 13668 13670 13645 0 -1 4202496 22583 0 0 0 2489 60 0 0 25 0 1 0 132486724 93892608 22479 4089446400 134512640 135751879 4292481536 18446744073709551615 134616437 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/13670/statm: 22923 22479 143 303 0 22618 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 91692 [startup+51.1009 s] /proc/loadavg: 1.93 1.97 1.99 3/197 13672 /proc/meminfo: memFree=31373068/32951124 swapFree=67111528/67111528 [pid=13670] ppid=13668 vsize=160036 CPUtime=51.1 /proc/13670/stat : 13670 (wbo1.4a) R 13668 13670 13645 0 -1 4202496 39646 0 0 0 5012 98 0 0 25 0 1 0 132486724 163876864 39542 4089446400 134512640 135751879 4292481536 18446744073709551615 134616309 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/13670/statm: 40009 39542 143 303 0 39704 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 160036 [startup+102.306 s] /proc/loadavg: 1.97 1.97 1.99 3/197 13674 /proc/meminfo: memFree=31237360/32951124 swapFree=67111528/67111528 [pid=13670] ppid=13668 vsize=294372 CPUtime=102.3 /proc/13670/stat : 13670 (wbo1.4a) R 13668 13670 13645 0 -1 4202496 73195 0 0 0 10063 167 0 0 25 0 1 0 132486724 301436928 73091 4089446400 134512640 135751879 4292481536 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/13670/statm: 73593 73091 143 303 0 73288 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 294372 [startup+162.301 s] /proc/loadavg: 1.99 1.97 1.99 3/197 13676 /proc/meminfo: memFree=31092220/32951124 swapFree=67111528/67111528 [pid=13670] ppid=13668 vsize=446444 CPUtime=162.3 /proc/13670/stat : 13670 (wbo1.4a) R 13668 13670 13645 0 -1 4202496 111221 0 0 0 15987 243 0 0 25 0 1 0 132486724 457158656 111117 4089446400 134512640 135751879 4292481536 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/13670/statm: 111611 111117 143 303 0 111306 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 446444 Solver just ended. Dumping a history of the last processes samples [startup+166.301 s] /proc/loadavg: 1.99 1.97 1.99 3/197 13676 /proc/meminfo: memFree=31051292/32951124 swapFree=67111528/67111528 [pid=13670] ppid=13668 vsize=481028 CPUtime=166.3 /proc/13670/stat : 13670 (wbo1.4a) R 13668 13670 13645 0 -1 4202496 119847 0 0 0 16386 244 0 0 25 0 1 0 132486724 492572672 119743 4089446400 134512640 135751879 4292481536 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/13670/statm: 120257 119743 143 303 0 119952 0 Current children cumulated CPU time (s) 166.3 Current children cumulated vsize (KiB) 481028 [startup+179.101 s] /proc/loadavg: 1.99 1.97 1.99 3/197 13676 /proc/meminfo: memFree=31048544/32951124 swapFree=67111528/67111528 [pid=13670] ppid=13668 vsize=482056 CPUtime=179.09 /proc/13670/stat : 13670 (wbo1.4a) R 13668 13670 13645 0 -1 4202496 120149 0 0 0 17652 257 0 0 25 0 1 0 132486724 493625344 120008 4089446400 134512640 135751879 4292481536 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/13670/statm: 120514 120008 146 303 0 120209 0 Current children cumulated CPU time (s) 179.09 Current children cumulated vsize (KiB) 482056 [startup+182.301 s] /proc/loadavg: 1.99 1.97 1.99 3/197 13676 /proc/meminfo: memFree=31048664/32951124 swapFree=67111528/67111528 [pid=13670] ppid=13668 vsize=482056 CPUtime=182.3 /proc/13670/stat : 13670 (wbo1.4a) R 13668 13670 13645 0 -1 4202496 120149 0 0 0 17966 264 0 0 25 0 1 0 132486724 493625344 120008 4089446400 134512640 135751879 4292481536 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/13670/statm: 120514 120008 146 303 0 120209 0 Current children cumulated CPU time (s) 182.3 Current children cumulated vsize (KiB) 482056 [startup+185.5 s] /proc/loadavg: 1.99 1.97 1.99 3/197 13676 /proc/meminfo: memFree=31048536/32951124 swapFree=67111528/67111528 [pid=13670] ppid=13668 vsize=482056 CPUtime=185.5 /proc/13670/stat : 13670 (wbo1.4a) R 13668 13670 13645 0 -1 4202496 120149 0 0 0 18282 268 0 0 25 0 1 0 132486724 493625344 120008 4089446400 134512640 135751879 4292481536 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/13670/statm: 120514 120008 146 303 0 120209 0 Current children cumulated CPU time (s) 185.5 Current children cumulated vsize (KiB) 482056 [startup+186.301 s] /proc/loadavg: 1.99 1.97 1.99 3/197 13676 /proc/meminfo: memFree=31048536/32951124 swapFree=67111528/67111528 [pid=13670] ppid=13668 vsize=482056 CPUtime=186.3 /proc/13670/stat : 13670 (wbo1.4a) R 13668 13670 13645 0 -1 4202496 120149 0 0 0 18360 270 0 0 25 0 1 0 132486724 493625344 120008 4089446400 134512640 135751879 4292481536 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/13670/statm: 120514 120008 146 303 0 120209 0 Current children cumulated CPU time (s) 186.3 Current children cumulated vsize (KiB) 482056 [startup+187.101 s] /proc/loadavg: 1.99 1.97 1.99 3/197 13676 /proc/meminfo: memFree=31048536/32951124 swapFree=67111528/67111528 [pid=13670] ppid=13668 vsize=482056 CPUtime=187.1 /proc/13670/stat : 13670 (wbo1.4a) R 13668 13670 13645 0 -1 4202496 120149 0 0 0 18439 271 0 0 25 0 1 0 132486724 493625344 120008 4089446400 134512640 135751879 4292481536 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/13670/statm: 120514 120008 146 303 0 120209 0 Current children cumulated CPU time (s) 187.1 Current children cumulated vsize (KiB) 482056 [startup+187.301 s] /proc/loadavg: 1.99 1.97 1.99 3/197 13676 /proc/meminfo: memFree=31048536/32951124 swapFree=67111528/67111528 [pid=13670] ppid=13668 vsize=482056 CPUtime=187.29 /proc/13670/stat : 13670 (wbo1.4a) R 13668 13670 13645 0 -1 4202496 120149 0 0 0 18458 271 0 0 25 0 1 0 132486724 493625344 120008 4089446400 134512640 135751879 4292481536 18446744073709551615 134616876 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/13670/statm: 120514 120008 146 303 0 120209 0 Current children cumulated CPU time (s) 187.29 Current children cumulated vsize (KiB) 482056 Child status: 0 Real time (s): 187.399 CPU time (s): 187.407 CPU user time (s): 184.672 CPU system time (s): 2.73458 CPU usage (%): 100.004 Max. virtual memory (cumulated for all children) (KiB): 482220 getrusage(RUSAGE_CHILDREN,...) data: user time used= 184.672 system time used= 2.73458 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 120149 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= 4 involuntary context switches= 157 runsolver used 0.26296 second user time and 0.601908 second system time The end
Begin job on node143 at 2010-06-30 17:31:56 IDJOB=2689542 IDBENCH=78992 IDSOLVER=1200 FILE ID=node143/2689542-1277911916 PBS_JOBID= 11197283 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.1900552288--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-2689542-1277911916/watcher-2689542-1277911916 -o /tmp/evaluation-result-2689542-1277911916/solver-2689542-1277911916 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689542-1277911916.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 3bf2aae29a44384f88ac4f8c4d2b9bc3 RANDOM SEED=1028563449 node143.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.848 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.848 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 : 5226.07 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.848 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.848 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.77 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.848 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 : 5285.38 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.848 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.848 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.74 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.848 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: 31529824 kB Buffers: 197224 kB Cached: 963068 kB SwapCached: 0 kB Active: 526308 kB Inactive: 751000 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31529824 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 4644 kB Writeback: 0 kB AnonPages: 116956 kB Mapped: 20484 kB Slab: 79216 kB PageTables: 4856 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1649896 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 node143 at 2010-06-30 17:35:03