Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | OPTIMUM | 306.438 | 306.439 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900545610--soft-66-100-0.wbo |
MD5SUM | 75e2f830e9a185ffa43de126e90d54da |
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 | 306.438 |
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 | 906 |
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 | 44555 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 44554 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 671 |
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-2689984-1277900387.wbo. 0.00/0.00 c Instance file HOME/instance-2689984-1277900387.wbo 0.00/0.00 c File size is 87887 bytes. 0.00/0.00 c Highest Coefficient sum: 671 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 | 250 | 231 2707 8338 | 6050 250 27 | 0.002 % | 0.01/0.01 c | 478 | 231 2707 8338 | 6655 478 29 | 0.002 % | 0.01/0.02 c | 818 | 231 2707 8338 | 7320 818 32 | 0.002 % | 0.01/0.04 c | 1326 | 231 2707 8338 | 8052 1326 29 | 0.002 % | 0.01/0.06 c | 2089 | 231 2707 8338 | 8857 2089 30 | 0.002 % | 0.09/0.10 c | 3228 | 231 2707 8338 | 9743 3228 32 | 0.002 % | 0.09/0.17 c | 4937 | 231 2707 8338 | 10717 4937 31 | 0.002 % | 0.19/0.28 c | 7499 | 231 2707 8338 | 11789 7499 32 | 0.002 % | 0.39/0.47 c | 11343 | 231 2707 8338 | 12968 11343 31 | 0.002 % | 0.78/0.84 c | 17109 | 231 2707 8338 | 14265 10575 33 | 0.002 % | 1.28/1.39 c | 25759 | 231 2707 8338 | 15692 12059 35 | 0.002 % | 2.28/2.34 c | 38733 | 231 2707 8338 | 17261 9225 40 | 0.002 % | 3.88/3.91 c | 58195 | 231 2707 8338 | 18987 11315 38 | 0.002 % | 6.28/6.31 c | 87388 | 231 2707 8338 | 20886 11860 37 | 0.002 % | 10.18/10.27 c | 131180 | 231 2707 8338 | 22974 13670 37 | 0.002 % | 16.08/16.16 c | 196865 | 231 2707 8338 | 25272 21105 38 | 0.002 % | 25.98/26.03 c | 295391 | 231 2707 8338 | 27799 24022 40 | 0.002 % | 40.99/41.05 c | 443180 | 231 2707 8338 | 30579 12349 35 | 0.002 % | 63.38/63.48 c | 664863 | 231 2707 8338 | 33637 28577 38 | 0.002 % | 103.48/103.51 c | 997388 | 231 2707 8338 | 37001 22704 39 | 0.002 % | 161.69/161.76 c | 1496176 | 210 2707 8338 | 40701 9915 30 | 9.093 % | 168.09/168.11 c =============================================================================== 176.78/176.82 c core #1 176.78/176.82 c ============================[ Search Statistics ]============================== 176.78/176.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 176.78/176.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 176.78/176.82 c =============================================================================== 176.78/176.82 c | 0 | 689 3555 12284 | 5000 0 nan | 0.000 % | 177.09/177.17 c | 102 | 689 3555 12284 | 5500 102 19 | 0.000 % | 177.18/177.21 c | 252 | 689 3555 12284 | 6050 252 27 | 0.000 % | 177.18/177.22 c | 479 | 689 3555 12284 | 6655 479 30 | 0.000 % | 177.18/177.23 c | 819 | 689 3555 12284 | 7320 819 29 | 0.000 % | 177.18/177.26 c | 1326 | 689 3555 12284 | 8052 1326 29 | 0.000 % | 177.18/177.29 c | 2087 | 689 3555 12284 | 8857 2087 30 | 0.000 % | 177.29/177.36 c | 3226 | 689 3555 12284 | 9743 3226 30 | 0.000 % | 177.39/177.44 c | 4935 | 689 3555 12284 | 10717 4935 31 | 0.000 % | 177.49/177.57 c | 7497 | 689 3555 12284 | 11789 7497 32 | 0.000 % | 177.79/177.80 c | 11341 | 689 3555 12284 | 12968 11341 33 | 0.000 % | 178.09/178.19 c | 17108 | 689 3555 12284 | 14265 10565 34 | 0.000 % | 178.78/178.82 c | 25757 | 689 3555 12284 | 15692 12029 36 | 0.000 % | 179.79/179.86 c | 38731 | 689 3555 12284 | 17261 9206 35 | 0.000 % | 181.39/181.45 c | 58193 | 689 3555 12284 | 18987 11305 33 | 0.000 % | 183.98/184.03 c | 87385 | 689 3555 12284 | 20886 11860 36 | 0.000 % | 188.28/188.39 c | 131176 | 689 3555 12284 | 22974 13661 37 | 0.000 % | 195.28/195.35 c | 196860 | 689 3555 12284 | 25272 21427 37 | 0.000 % | 206.19/206.29 c | 295386 | 689 3555 12284 | 27799 24868 39 | 0.000 % | 223.39/223.45 c | 443176 | 689 3555 12284 | 30579 14765 38 | 0.000 % | 250.59/250.62 c | 664861 | 689 3555 12284 | 33637 14871 39 | 0.000 % | 295.39/295.43 c | 997388 | 689 3555 12284 | 37001 29998 36 | 0.000 % | 306.39/306.42 c =============================================================================== 306.39/306.42 c #cores: 1 306.39/306.42 c Final Weight: 1 306.39/306.42 o 1 306.39/306.42 s OPTIMUM FOUND 306.39/306.42 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 306.39/306.42 c Total CPU time: 303.202 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-2689984-1277900387/watcher-2689984-1277900387 -o /tmp/evaluation-result-2689984-1277900387/solver-2689984-1277900387 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689984-1277900387.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.83 2.26 2.09 4/199 15035 /proc/meminfo: memFree=30866000/32951124 swapFree=67111528/67111528 [pid=15035] ppid=15033 vsize=2664 CPUtime=0 /proc/15035/stat : 15035 (wbo1.4a) R 15033 15035 14726 0 -1 4202496 307 0 0 0 0 0 0 0 25 0 1 0 131334548 2727936 225 4089446400 134512640 135751879 4294825984 18446744073709551615 134564614 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/15035/statm: 666 225 146 303 0 339 0 [startup+0.0149741 s] /proc/loadavg: 2.83 2.26 2.09 4/199 15035 /proc/meminfo: memFree=30866000/32951124 swapFree=67111528/67111528 [pid=15035] ppid=15033 vsize=2852 CPUtime=0.01 /proc/15035/stat : 15035 (wbo1.4a) R 15033 15035 14726 0 -1 4202496 363 0 0 0 1 0 0 0 25 0 1 0 131334548 2920448 259 4089446400 134512640 135751879 4294825984 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/15035/statm: 713 259 143 303 0 408 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 2852 [startup+0.100984 s] /proc/loadavg: 2.83 2.26 2.09 4/199 15035 /proc/meminfo: memFree=30866000/32951124 swapFree=67111528/67111528 [pid=15035] ppid=15033 vsize=3512 CPUtime=0.09 /proc/15035/stat : 15035 (wbo1.4a) R 15033 15035 14726 0 -1 4202496 540 0 0 0 9 0 0 0 25 0 1 0 131334548 3596288 436 4089446400 134512640 135751879 4294825984 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/15035/statm: 878 436 143 303 0 573 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3512 [startup+0.300953 s] /proc/loadavg: 2.83 2.26 2.09 4/199 15035 /proc/meminfo: memFree=30866000/32951124 swapFree=67111528/67111528 [pid=15035] ppid=15033 vsize=4700 CPUtime=0.29 /proc/15035/stat : 15035 (wbo1.4a) R 15033 15035 14726 0 -1 4202496 837 0 0 0 28 1 0 0 25 0 1 0 131334548 4812800 733 4089446400 134512640 135751879 4294825984 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/15035/statm: 1175 733 143 303 0 870 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4700 [startup+0.700875 s] /proc/loadavg: 2.83 2.26 2.09 4/199 15035 /proc/meminfo: memFree=30866000/32951124 swapFree=67111528/67111528 [pid=15035] ppid=15033 vsize=6420 CPUtime=0.69 /proc/15035/stat : 15035 (wbo1.4a) R 15033 15035 14726 0 -1 4202496 1281 0 0 0 68 1 0 0 25 0 1 0 131334548 6574080 1177 4089446400 134512640 135751879 4294825984 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/15035/statm: 1605 1177 143 303 0 1300 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6420 [startup+1.50074 s] /proc/loadavg: 2.83 2.26 2.09 3/200 15036 /proc/meminfo: memFree=30860040/32951124 swapFree=67111528/67111528 [pid=15035] ppid=15033 vsize=9724 CPUtime=1.49 /proc/15035/stat : 15035 (wbo1.4a) R 15033 15035 14726 0 -1 4202496 2089 0 0 0 146 3 0 0 25 0 1 0 131334548 9957376 1985 4089446400 134512640 135751879 4294825984 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/15035/statm: 2431 1985 143 303 0 2126 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9724 [startup+3.10043 s] /proc/loadavg: 2.83 2.26 2.09 4/200 15036 /proc/meminfo: memFree=30855956/32951124 swapFree=67111528/67111528 [pid=15035] ppid=15033 vsize=15268 CPUtime=3.08 /proc/15035/stat : 15035 (wbo1.4a) R 15033 15035 14726 0 -1 4202496 3478 0 0 0 303 5 0 0 25 0 1 0 131334548 15634432 3374 4089446400 134512640 135751879 4294825984 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/15035/statm: 3817 3374 143 303 0 3512 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 15268 [startup+6.30085 s] /proc/loadavg: 2.84 2.27 2.09 4/200 15036 /proc/meminfo: memFree=30845536/32951124 swapFree=67111528/67111528 [pid=15035] ppid=15033 vsize=25716 CPUtime=6.28 /proc/15035/stat : 15035 (wbo1.4a) R 15033 15035 14726 0 -1 4202496 6076 0 0 0 618 10 0 0 25 0 1 0 131334548 26333184 5972 4089446400 134512640 135751879 4294825984 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/15035/statm: 6429 5972 143 303 0 6124 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 25716 [startup+12.7007 s] /proc/loadavg: 2.85 2.28 2.10 4/200 15037 /proc/meminfo: memFree=30824356/32951124 swapFree=67111528/67111528 [pid=15035] ppid=15033 vsize=44996 CPUtime=12.68 /proc/15035/stat : 15035 (wbo1.4a) R 15033 15035 14726 0 -1 4202496 10906 0 0 0 1250 18 0 0 25 0 1 0 131334548 46075904 10802 4089446400 134512640 135751879 4294825984 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/15035/statm: 11249 10802 143 303 0 10944 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 44996 [startup+25.5004 s] /proc/loadavg: 2.89 2.32 2.11 4/200 15037 /proc/meminfo: memFree=30785808/32951124 swapFree=67111528/67111528 [pid=15035] ppid=15033 vsize=80572 CPUtime=25.48 /proc/15035/stat : 15035 (wbo1.4a) R 15033 15035 14726 0 -1 4202496 19798 0 0 0 2513 35 0 0 25 0 1 0 131334548 82505728 19694 4089446400 134512640 135751879 4294825984 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/15035/statm: 20143 19694 143 303 0 19838 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 80572 [startup+51.1007 s] /proc/loadavg: 2.92 2.37 2.13 4/200 15037 /proc/meminfo: memFree=30717668/32951124 swapFree=67111528/67111528 [pid=15035] ppid=15033 vsize=147080 CPUtime=51.08 /proc/15035/stat : 15035 (wbo1.4a) R 15033 15035 14726 0 -1 4202496 36403 0 0 0 5045 63 0 0 25 0 1 0 131334548 150609920 36299 4089446400 134512640 135751879 4294825984 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/15035/statm: 36770 36299 143 303 0 36465 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 147080 [startup+102.306 s] /proc/loadavg: 2.98 2.47 2.18 4/200 15039 /proc/meminfo: memFree=30588616/32951124 swapFree=67111528/67111528 [pid=15035] ppid=15033 vsize=266332 CPUtime=102.29 /proc/15035/stat : 15035 (wbo1.4a) R 15033 15035 14726 0 -1 4202496 66223 0 0 0 10108 121 0 0 25 0 1 0 131334548 272723968 66119 4089446400 134512640 135751879 4294825984 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/15035/statm: 66583 66119 143 303 0 66278 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 266332 [startup+162.301 s] /proc/loadavg: 3.35 2.63 2.25 3/200 15041 /proc/meminfo: memFree=30448796/32951124 swapFree=67111528/67111528 [pid=15035] ppid=15033 vsize=402844 CPUtime=162.29 /proc/15035/stat : 15035 (wbo1.4a) R 15033 15035 14726 0 -1 4202496 100344 0 0 0 16043 186 0 0 25 0 1 0 131334548 412512256 100240 4089446400 134512640 135751879 4294825984 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/15035/statm: 100711 100240 143 303 0 100406 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 402844 [startup+222.301 s] /proc/loadavg: 3.15 2.70 2.29 4/200 15042 /proc/meminfo: memFree=30382020/32951124 swapFree=67111528/67111528 [pid=15035] ppid=15033 vsize=462488 CPUtime=222.29 /proc/15035/stat : 15035 (wbo1.4a) R 15033 15035 14726 0 -1 4202496 115339 0 0 0 21988 241 0 0 25 0 1 0 131334548 473587712 115195 4089446400 134512640 135751879 4294825984 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/15035/statm: 115622 115195 146 303 0 115317 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 462488 [startup+282.301 s] /proc/loadavg: 3.00 2.73 2.33 4/200 15044 /proc/meminfo: memFree=30305204/32951124 swapFree=67111528/67111528 [pid=15035] ppid=15033 vsize=534892 CPUtime=282.28 /proc/15035/stat : 15035 (wbo1.4a) R 15033 15035 14726 0 -1 4202496 133417 0 0 0 27932 296 0 0 25 0 1 0 131334548 547729408 133273 4089446400 134512640 135751879 4294825984 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/15035/statm: 133723 133273 146 303 0 133418 0 Current children cumulated CPU time (s) 282.28 Current children cumulated vsize (KiB) 534892 Solver just ended. Dumping a history of the last processes samples [startup+294.301 s] /proc/loadavg: 3.00 2.74 2.33 3/200 15044 /proc/meminfo: memFree=30288828/32951124 swapFree=67111528/67111528 [pid=15035] ppid=15033 vsize=549444 CPUtime=294.29 /proc/15035/stat : 15035 (wbo1.4a) R 15033 15035 14726 0 -1 4202496 137069 0 0 0 29121 308 0 0 25 0 1 0 131334548 562630656 136925 4089446400 134512640 135751879 4294825984 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/15035/statm: 137361 136925 146 303 0 137056 0 Current children cumulated CPU time (s) 294.29 Current children cumulated vsize (KiB) 549444 [startup+300.7 s] /proc/loadavg: 3.00 2.75 2.34 4/200 15044 /proc/meminfo: memFree=30278780/32951124 swapFree=67111528/67111528 [pid=15035] ppid=15033 vsize=559248 CPUtime=300.69 /proc/15035/stat : 15035 (wbo1.4a) R 15033 15035 14726 0 -1 4202496 139517 0 0 0 29754 315 0 0 25 0 1 0 131334548 572669952 139373 4089446400 134512640 135751879 4294825984 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/15035/statm: 139812 139373 146 303 0 139507 0 Current children cumulated CPU time (s) 300.69 Current children cumulated vsize (KiB) 559248 [startup+303.901 s] /proc/loadavg: 3.00 2.75 2.34 4/200 15044 /proc/meminfo: memFree=30271088/32951124 swapFree=67111528/67111528 [pid=15035] ppid=15033 vsize=566248 CPUtime=303.89 /proc/15035/stat : 15035 (wbo1.4a) R 15033 15035 14726 0 -1 4202496 141240 0 0 0 30071 318 0 0 25 0 1 0 131334548 579837952 141096 4089446400 134512640 135751879 4294825984 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/15035/statm: 141562 141096 146 303 0 141257 0 Current children cumulated CPU time (s) 303.89 Current children cumulated vsize (KiB) 566248 [startup+305.501 s] /proc/loadavg: 3.00 2.75 2.34 4/200 15044 /proc/meminfo: memFree=30268980/32951124 swapFree=67111528/67111528 [pid=15035] ppid=15033 vsize=569680 CPUtime=305.49 /proc/15035/stat : 15035 (wbo1.4a) R 15033 15035 14726 0 -1 4202496 142095 0 0 0 30229 320 0 0 25 0 1 0 131334548 583352320 141951 4089446400 134512640 135751879 4294825984 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/15035/statm: 142420 141951 146 303 0 142115 0 Current children cumulated CPU time (s) 305.49 Current children cumulated vsize (KiB) 569680 [startup+305.9 s] /proc/loadavg: 3.00 2.75 2.34 4/200 15045 /proc/meminfo: memFree=30266204/32951124 swapFree=67111528/67111528 [pid=15035] ppid=15033 vsize=570472 CPUtime=305.89 /proc/15035/stat : 15035 (wbo1.4a) R 15033 15035 14726 0 -1 4202496 142316 0 0 0 30269 320 0 0 25 0 1 0 131334548 584163328 142172 4089446400 134512640 135751879 4294825984 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/15035/statm: 142618 142172 146 303 0 142313 0 Current children cumulated CPU time (s) 305.89 Current children cumulated vsize (KiB) 570472 [startup+306.3 s] /proc/loadavg: 3.00 2.75 2.34 4/200 15045 /proc/meminfo: memFree=30266204/32951124 swapFree=67111528/67111528 [pid=15035] ppid=15033 vsize=571396 CPUtime=306.29 /proc/15035/stat : 15035 (wbo1.4a) R 15033 15035 14726 0 -1 4202496 142545 0 0 0 30308 321 0 0 25 0 1 0 131334548 585109504 142401 4089446400 134512640 135751879 4294825984 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/15035/statm: 142849 142401 146 303 0 142544 0 Current children cumulated CPU time (s) 306.29 Current children cumulated vsize (KiB) 571396 [startup+306.4 s] /proc/loadavg: 3.00 2.75 2.34 4/200 15045 /proc/meminfo: memFree=30266204/32951124 swapFree=67111528/67111528 [pid=15035] ppid=15033 vsize=571660 CPUtime=306.39 /proc/15035/stat : 15035 (wbo1.4a) R 15033 15035 14726 0 -1 4202496 142597 0 0 0 30318 321 0 0 25 0 1 0 131334548 585379840 142453 4089446400 134512640 135751879 4294825984 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/15035/statm: 142915 142453 146 303 0 142610 0 Current children cumulated CPU time (s) 306.39 Current children cumulated vsize (KiB) 571660 Child status: 0 Real time (s): 306.439 CPU time (s): 306.438 CPU user time (s): 303.202 CPU system time (s): 3.23651 CPU usage (%): 99.9997 Max. virtual memory (cumulated for all children) (KiB): 571660 getrusage(RUSAGE_CHILDREN,...) data: user time used= 303.202 system time used= 3.23651 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 142610 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= 847 runsolver used 0.446932 second user time and 0.994848 second system time The end
Begin job on node138 at 2010-06-30 14:19:47 IDJOB=2689984 IDBENCH=78882 IDSOLVER=1200 FILE ID=node138/2689984-1277900387 PBS_JOBID= 11197201 Free space on /tmp= 74140 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900545610--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-2689984-1277900387/watcher-2689984-1277900387 -o /tmp/evaluation-result-2689984-1277900387/solver-2689984-1277900387 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689984-1277900387.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 75e2f830e9a185ffa43de126e90d54da RANDOM SEED=949659803 node138.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.860 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.72 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.860 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.08 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.860 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.860 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.860 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.860 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.860 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.860 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.98 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 30866528 kB Buffers: 185080 kB Cached: 1470084 kB SwapCached: 0 kB Active: 926028 kB Inactive: 1010536 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30866528 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2788 kB Writeback: 0 kB AnonPages: 281232 kB Mapped: 20304 kB Slab: 82280 kB PageTables: 5268 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1652756 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= 74136 MiB End job on node138 at 2010-06-30 14:24:53