Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | OPTIMUM | 584.992 | 584.974 |
Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900548667--soft-0-100-0.wbo |
MD5SUM | fe10d6822f5aa7d11d2a88b2406ba570 |
Bench Category | SOFT-SMALLINT-LIN (only soft 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 | 584.992 |
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 | 2707 |
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 | 137946 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 137945 |
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-2689623-1277929398.wbo. 0.00/0.00 c Instance file HOME/instance-2689623-1277929398.wbo 0.00/0.00 c File size is 96763 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 29 | 0.002 % | 0.00/0.01 c | 253 | 231 2707 8338 | 6050 253 31 | 0.002 % | 0.00/0.01 c | 481 | 231 2707 8338 | 6655 481 32 | 0.002 % | 0.00/0.02 c | 818 | 231 2707 8338 | 7320 818 34 | 0.002 % | 0.00/0.04 c | 1324 | 231 2707 8338 | 8052 1324 33 | 0.002 % | 0.00/0.06 c | 2083 | 231 2707 8338 | 8857 2083 32 | 0.002 % | 0.09/0.10 c | 3225 | 231 2707 8338 | 9743 3225 33 | 0.002 % | 0.09/0.16 c | 4933 | 231 2707 8338 | 10717 4933 33 | 0.002 % | 0.19/0.27 c | 7495 | 231 2707 8338 | 11789 7495 34 | 0.002 % | 0.39/0.47 c | 11340 | 231 2707 8338 | 12968 11340 36 | 0.002 % | 0.79/0.85 c | 17106 | 231 2707 8338 | 14265 10570 38 | 0.002 % | 1.39/1.49 c | 25756 | 231 2707 8338 | 15692 12032 43 | 0.002 % | 2.49/2.55 c | 38731 | 231 2707 8338 | 17261 9207 42 | 0.002 % | 4.09/4.16 c | 58194 | 231 2707 8338 | 18987 11309 43 | 0.002 % | 6.50/6.53 c | 87386 | 231 2707 8338 | 20886 11819 43 | 0.002 % | 10.60/10.69 c | 131175 | 231 2707 8338 | 22974 13617 42 | 0.002 % | 17.70/17.72 c | 196860 | 231 2707 8338 | 25272 21545 45 | 0.002 % | 27.50/27.51 c | 295388 | 231 2707 8338 | 27799 13027 43 | 0.002 % | 41.79/41.84 c | 443177 | 231 2707 8338 | 30579 16403 40 | 0.002 % | 68.60/68.69 c | 664860 | 231 2707 8338 | 33637 19414 41 | 0.002 % | 105.89/105.92 c | 997386 | 231 2707 8338 | 37001 30021 39 | 0.002 % | 165.59/165.63 c | 1496174 | 231 2707 8338 | 40701 35513 41 | 0.002 % | 265.10/265.19 c | 2244357 | 231 2707 8338 | 44771 31143 45 | 0.002 % | 421.70/421.72 c | 3366633 | 231 2707 8338 | 49248 39410 44 | 0.002 % | 542.91/542.91 c =============================================================================== 579.51/579.56 c core #1 579.51/579.56 c ============================[ Search Statistics ]============================== 579.51/579.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 579.51/579.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 579.51/579.56 c =============================================================================== 579.51/579.56 c | 0 | 1585 5271 20299 | 5000 0 nan | 0.000 % | 580.31/580.34 c | 103 | 1585 5271 20299 | 5500 103 33 | 0.000 % | 580.31/580.39 c | 253 | 1585 5271 20299 | 6050 253 34 | 0.000 % | 580.51/580.52 c | 480 | 1585 5271 20299 | 6655 480 35 | 0.000 % | 580.51/580.57 c | 819 | 1585 5271 20299 | 7320 819 35 | 0.000 % | 580.51/580.59 c | 1325 | 1585 5271 20299 | 8052 1325 36 | 0.000 % | 580.61/580.63 c | 2085 | 1585 5271 20299 | 8857 2085 36 | 0.000 % | 580.61/580.67 c | 3225 | 1585 5271 20299 | 9743 3225 35 | 0.000 % | 580.71/580.76 c | 4934 | 1585 5271 20299 | 10717 4934 35 | 0.000 % | 580.91/580.91 c | 7497 | 1585 5271 20299 | 11789 7497 36 | 0.000 % | 581.11/581.16 c | 11342 | 1585 5271 20299 | 12968 11342 36 | 0.000 % | 581.51/581.59 c | 17109 | 1585 5271 20299 | 14265 10583 37 | 0.000 % | 582.21/582.28 c | 25758 | 1585 5271 20299 | 15692 12035 42 | 0.000 % | 583.41/583.43 c | 38733 | 1585 5271 20299 | 17261 9195 39 | 0.000 % | 584.90/584.92 c =============================================================================== 584.90/584.92 c #cores: 1 584.90/584.92 c Final Weight: 1 584.90/584.92 o 1 584.90/584.92 s OPTIMUM FOUND 584.90/584.92 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 584.90/584.92 c Total CPU time: 575.222 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-2689623-1277929398/watcher-2689623-1277929398 -o /tmp/evaluation-result-2689623-1277929398/solver-2689623-1277929398 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689623-1277929398.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.03 2.16 3/178 27391 /proc/meminfo: memFree=30778016/32950928 swapFree=67111528/67111528 [pid=27391] ppid=27389 vsize=2668 CPUtime=0 /proc/27391/stat : 27391 (wbo1.4a) R 27389 27391 26572 0 -1 4202496 304 0 0 0 0 0 0 0 23 0 1 0 168543345 2732032 223 4089446400 134512640 135751879 4289714400 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/27391/statm: 667 223 146 303 0 338 0 [startup+0.078422 s] /proc/loadavg: 2.00 2.03 2.16 3/178 27391 /proc/meminfo: memFree=30778016/32950928 swapFree=67111528/67111528 [pid=27391] ppid=27389 vsize=3508 CPUtime=0.07 /proc/27391/stat : 27391 (wbo1.4a) R 27389 27391 26572 0 -1 4202496 538 0 0 0 7 0 0 0 23 0 1 0 168543345 3592192 433 4089446400 134512640 135751879 4289714400 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/27391/statm: 877 433 143 303 0 572 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 3508 [startup+0.100415 s] /proc/loadavg: 2.00 2.03 2.16 3/178 27391 /proc/meminfo: memFree=30778016/32950928 swapFree=67111528/67111528 [pid=27391] ppid=27389 vsize=3640 CPUtime=0.09 /proc/27391/stat : 27391 (wbo1.4a) R 27389 27391 26572 0 -1 4202496 590 0 0 0 9 0 0 0 23 0 1 0 168543345 3727360 485 4089446400 134512640 135751879 4289714400 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/27391/statm: 910 485 143 303 0 605 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3640 [startup+0.300371 s] /proc/loadavg: 2.00 2.03 2.16 3/178 27391 /proc/meminfo: memFree=30778016/32950928 swapFree=67111528/67111528 [pid=27391] ppid=27389 vsize=5244 CPUtime=0.29 /proc/27391/stat : 27391 (wbo1.4a) R 27389 27391 26572 0 -1 4202496 983 0 0 0 27 2 0 0 23 0 1 0 168543345 5369856 878 4089446400 134512640 135751879 4289714400 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/27391/statm: 1311 878 143 303 0 1006 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5244 [startup+0.700299 s] /proc/loadavg: 2.00 2.03 2.16 3/178 27391 /proc/meminfo: memFree=30778016/32950928 swapFree=67111528/67111528 [pid=27391] ppid=27389 vsize=7644 CPUtime=0.69 /proc/27391/stat : 27391 (wbo1.4a) R 27389 27391 26572 0 -1 4202496 1561 0 0 0 66 3 0 0 25 0 1 0 168543345 7827456 1456 4089446400 134512640 135751879 4289714400 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/27391/statm: 1911 1456 143 303 0 1606 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7644 [startup+1.50015 s] /proc/loadavg: 2.00 2.03 2.16 3/179 27392 /proc/meminfo: memFree=30771188/32950928 swapFree=67111528/67111528 [pid=27391] ppid=27389 vsize=11604 CPUtime=1.49 /proc/27391/stat : 27391 (wbo1.4a) R 27389 27391 26572 0 -1 4202496 2558 0 0 0 144 5 0 0 25 0 1 0 168543345 11882496 2453 4089446400 134512640 135751879 4289714400 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/27391/statm: 2901 2453 143 303 0 2596 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11604 [startup+3.10086 s] /proc/loadavg: 2.00 2.03 2.16 3/179 27393 /proc/meminfo: memFree=30766104/32950928 swapFree=67111528/67111528 [pid=27391] ppid=27389 vsize=18732 CPUtime=3.09 /proc/27391/stat : 27391 (wbo1.4a) R 27389 27391 26572 0 -1 4202496 4338 0 0 0 299 10 0 0 25 0 1 0 168543345 19181568 4233 4089446400 134512640 135751879 4289714400 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/27391/statm: 4683 4233 143 303 0 4378 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 18732 [startup+6.30026 s] /proc/loadavg: 2.00 2.03 2.16 3/179 27393 /proc/meminfo: memFree=30752392/32950928 swapFree=67111528/67111528 [pid=27391] ppid=27389 vsize=32396 CPUtime=6.3 /proc/27391/stat : 27391 (wbo1.4a) R 27389 27391 26572 0 -1 4202496 7744 0 0 0 611 19 0 0 25 0 1 0 168543345 33173504 7639 4089446400 134512640 135751879 4289714400 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/27391/statm: 8099 7639 143 303 0 7794 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 32396 [startup+12.7011 s] /proc/loadavg: 2.00 2.03 2.16 3/179 27393 /proc/meminfo: memFree=30728432/32950928 swapFree=67111528/67111528 [pid=27391] ppid=27389 vsize=55640 CPUtime=12.69 /proc/27391/stat : 27391 (wbo1.4a) R 27389 27391 26572 0 -1 4202496 13561 0 0 0 1236 33 0 0 25 0 1 0 168543345 56975360 13456 4089446400 134512640 135751879 4289714400 18446744073709551615 134616377 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/27391/statm: 13910 13456 143 303 0 13605 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 55640 [startup+25.5007 s] /proc/loadavg: 2.00 2.02 2.16 3/179 27393 /proc/meminfo: memFree=30686520/32950928 swapFree=67111528/67111528 [pid=27391] ppid=27389 vsize=98940 CPUtime=25.49 /proc/27391/stat : 27391 (wbo1.4a) R 27389 27391 26572 0 -1 4202496 24405 0 0 0 2492 57 0 0 25 0 1 0 168543345 101314560 24300 4089446400 134512640 135751879 4289714400 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/27391/statm: 24735 24300 143 303 0 24430 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 98940 [startup+51.1009 s] /proc/loadavg: 2.00 2.02 2.15 3/179 27394 /proc/meminfo: memFree=30601052/32950928 swapFree=67111528/67111528 [pid=27391] ppid=27389 vsize=185244 CPUtime=51.1 /proc/27391/stat : 27391 (wbo1.4a) R 27389 27391 26572 0 -1 4202496 45963 0 0 0 4995 115 0 0 25 0 1 0 168543345 189689856 45858 4089446400 134512640 135751879 4289714400 18446744073709551615 134616350 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/27391/statm: 46311 45858 143 303 0 46006 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 185244 [startup+102.306 s] /proc/loadavg: 2.04 2.03 2.15 3/179 27395 /proc/meminfo: memFree=30447640/32950928 swapFree=67111528/67111528 [pid=27391] ppid=27389 vsize=335324 CPUtime=102.29 /proc/27391/stat : 27391 (wbo1.4a) R 27389 27391 26572 0 -1 4202496 83458 0 0 0 10014 215 0 0 25 0 1 0 168543345 343371776 83353 4089446400 134512640 135751879 4289714400 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/27391/statm: 83831 83353 143 303 0 83526 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 335324 [startup+162.3 s] /proc/loadavg: 2.02 2.02 2.13 3/179 27397 /proc/meminfo: memFree=30275864/32950928 swapFree=67111528/67111528 [pid=27391] ppid=27389 vsize=506696 CPUtime=162.29 /proc/27391/stat : 27391 (wbo1.4a) R 27389 27391 26572 0 -1 4202496 126311 0 0 0 15900 329 0 0 25 0 1 0 168543345 518856704 126206 4089446400 134512640 135751879 4289714400 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/27391/statm: 126674 126206 143 303 0 126369 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 506696 [startup+222.301 s] /proc/loadavg: 2.00 2.02 2.12 3/179 27398 /proc/meminfo: memFree=30118340/32950928 swapFree=67111528/67111528 [pid=27391] ppid=27389 vsize=664336 CPUtime=222.3 /proc/27391/stat : 27391 (wbo1.4a) R 27389 27391 26572 0 -1 4202496 165708 0 0 0 21795 435 0 0 25 0 1 0 168543345 680280064 165603 4089446400 134512640 135751879 4289714400 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/27391/statm: 166084 165603 143 303 0 165779 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 664336 [startup+282.301 s] /proc/loadavg: 2.00 2.01 2.11 3/179 27400 /proc/meminfo: memFree=29961692/32950928 swapFree=67111528/67111528 [pid=27391] ppid=27389 vsize=821068 CPUtime=282.3 /proc/27391/stat : 27391 (wbo1.4a) R 27389 27391 26572 0 -1 4202496 204877 0 0 0 27693 537 0 0 25 0 1 0 168543345 840773632 204772 4089446400 134512640 135751879 4289714400 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/27391/statm: 205267 204772 143 303 0 204962 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 821068 [startup+342.301 s] /proc/loadavg: 2.00 2.01 2.10 3/179 27401 /proc/meminfo: memFree=29803064/32950928 swapFree=67111528/67111528 [pid=27391] ppid=27389 vsize=976608 CPUtime=342.3 /proc/27391/stat : 27391 (wbo1.4a) R 27389 27391 26572 0 -1 4202496 243752 0 0 0 33589 641 0 0 25 0 1 0 168543345 1000046592 243647 4089446400 134512640 135751879 4289714400 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/27391/statm: 244152 243647 143 303 0 243847 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 976608 [startup+402.301 s] /proc/loadavg: 2.00 2.00 2.09 3/179 27403 /proc/meminfo: memFree=29660316/32950928 swapFree=67111528/67111528 [pid=27391] ppid=27389 vsize=1120016 CPUtime=402.3 /proc/27391/stat : 27391 (wbo1.4a) R 27389 27391 26572 0 -1 4202496 279587 0 0 0 39491 739 0 0 25 0 1 0 168543345 1146896384 279482 4089446400 134512640 135751879 4289714400 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/27391/statm: 280004 279482 143 303 0 279699 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 1120016 [startup+462.301 s] /proc/loadavg: 2.00 2.00 2.08 3/179 27405 /proc/meminfo: memFree=29507388/32950928 swapFree=67111528/67111528 [pid=27391] ppid=27389 vsize=1269460 CPUtime=462.31 /proc/27391/stat : 27391 (wbo1.4a) R 27389 27391 26572 0 -1 4202496 316931 0 0 0 45391 840 0 0 25 0 1 0 168543345 1299927040 316826 4089446400 134512640 135751879 4289714400 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/27391/statm: 317365 316826 143 303 0 317060 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 1269460 [startup+522.3 s] /proc/loadavg: 2.00 2.00 2.08 3/179 27406 /proc/meminfo: memFree=29367372/32950928 swapFree=67111528/67111528 [pid=27391] ppid=27389 vsize=1409768 CPUtime=522.31 /proc/27391/stat : 27391 (wbo1.4a) R 27389 27391 26572 0 -1 4202496 352025 0 0 0 51302 929 0 0 25 0 1 0 168543345 1443602432 351920 4089446400 134512640 135751879 4289714400 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/27391/statm: 352442 351920 143 303 0 352137 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 1409768 [startup+582.3 s] /proc/loadavg: 2.00 2.00 2.07 3/179 27408 /proc/meminfo: memFree=29190888/32950928 swapFree=67111528/67111528 [pid=27391] ppid=27389 vsize=1583124 CPUtime=582.31 /proc/27391/stat : 27391 (wbo1.4a) R 27389 27391 26572 0 -1 4202496 395421 0 0 0 57264 967 0 0 25 0 1 0 168543345 1621118976 395267 4089446400 134512640 135751879 4289714400 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/27391/statm: 395781 395267 146 303 0 395476 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 1583124 Solver just ended. Dumping a history of the last processes samples [startup+583.901 s] /proc/loadavg: 2.00 2.00 2.07 3/179 27408 /proc/meminfo: memFree=29190888/32950928 swapFree=67111528/67111528 [pid=27391] ppid=27389 vsize=1583124 CPUtime=583.91 /proc/27391/stat : 27391 (wbo1.4a) R 27389 27391 26572 0 -1 4202496 395421 0 0 0 57422 969 0 0 25 0 1 0 168543345 1621118976 395267 4089446400 134512640 135751879 4289714400 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/27391/statm: 395781 395267 146 303 0 395476 0 Current children cumulated CPU time (s) 583.91 Current children cumulated vsize (KiB) 1583124 [startup+584.701 s] /proc/loadavg: 2.00 2.00 2.07 3/179 27408 /proc/meminfo: memFree=29190764/32950928 swapFree=67111528/67111528 [pid=27391] ppid=27389 vsize=1583124 CPUtime=584.71 /proc/27391/stat : 27391 (wbo1.4a) R 27389 27391 26572 0 -1 4202496 395421 0 0 0 57500 971 0 0 25 0 1 0 168543345 1621118976 395267 4089446400 134512640 135751879 4289714400 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/27391/statm: 395781 395267 146 303 0 395476 0 Current children cumulated CPU time (s) 584.71 Current children cumulated vsize (KiB) 1583124 [startup+584.901 s] /proc/loadavg: 2.00 2.00 2.07 3/179 27408 /proc/meminfo: memFree=29190764/32950928 swapFree=67111528/67111528 [pid=27391] ppid=27389 vsize=1583124 CPUtime=584.9 /proc/27391/stat : 27391 (wbo1.4a) R 27389 27391 26572 0 -1 4202496 395421 0 0 0 57519 971 0 0 25 0 1 0 168543345 1621118976 395267 4089446400 134512640 135751879 4289714400 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/27391/statm: 395781 395267 146 303 0 395476 0 Current children cumulated CPU time (s) 584.9 Current children cumulated vsize (KiB) 1583124 Child status: 0 Real time (s): 584.974 CPU time (s): 584.992 CPU user time (s): 575.222 CPU system time (s): 9.77051 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 1583368 getrusage(RUSAGE_CHILDREN,...) data: user time used= 575.222 system time used= 9.77051 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 395421 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2 involuntary context switches= 344 runsolver used 0.91686 second user time and 1.90171 second system time The end
Begin job on node113 at 2010-06-30 22:23:18 IDJOB=2689623 IDBENCH=79297 IDSOLVER=1200 FILE ID=node113/2689623-1277929398 PBS_JOBID= 11197353 Free space on /tmp= 74208 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900548667--soft-0-100-0.wbo COMMAND LINE= wbo1.4a -file-format=wbo -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2689623-1277929398/watcher-2689623-1277929398 -o /tmp/evaluation-result-2689623-1277929398/solver-2689623-1277929398 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689623-1277929398.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= fe10d6822f5aa7d11d2a88b2406ba570 RANDOM SEED=272917936 node113.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.812 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.62 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.812 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.83 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.812 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.75 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.812 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.812 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.74 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.812 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.812 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.812 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.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 30778660 kB Buffers: 212824 kB Cached: 1040432 kB SwapCached: 0 kB Active: 1319856 kB Inactive: 706676 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 30778660 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2736 kB Writeback: 0 kB AnonPages: 773592 kB Mapped: 17064 kB Slab: 79608 kB PageTables: 6004 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 933716 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= 74204 MiB End job on node113 at 2010-06-30 22:33:03