Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | OPTIMUM | 279.71 | 279.706 |
Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900550006--soft-0-100-0.wbo |
MD5SUM | 200f179ceb6a172fc8d81952e96f0c84 |
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 | 279.71 |
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 | 135715 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 135714 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 665 |
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-2689563-1277926183.wbo. 0.00/0.00 c Instance file HOME/instance-2689563-1277926183.wbo 0.00/0.00 c File size is 96740 bytes. 0.00/0.00 c Highest Coefficient sum: 665 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.01 c | 101 | 231 2707 8338 | 5500 101 25 | 0.002 % | 0.00/0.01 c | 251 | 231 2707 8338 | 6050 251 28 | 0.002 % | 0.00/0.01 c | 476 | 231 2707 8338 | 6655 476 29 | 0.002 % | 0.00/0.02 c | 813 | 231 2707 8338 | 7320 813 29 | 0.002 % | 0.00/0.04 c | 1322 | 231 2707 8338 | 8052 1322 29 | 0.002 % | 0.00/0.06 c | 2081 | 231 2707 8338 | 8857 2081 31 | 0.002 % | 0.09/0.10 c | 3221 | 231 2707 8338 | 9743 3221 32 | 0.002 % | 0.09/0.17 c | 4929 | 231 2707 8338 | 10717 4929 32 | 0.002 % | 0.19/0.29 c | 7493 | 231 2707 8338 | 11789 7493 33 | 0.002 % | 0.49/0.50 c | 11339 | 231 2707 8338 | 12968 11339 33 | 0.002 % | 0.79/0.81 c | 17106 | 231 2707 8338 | 14265 10554 34 | 0.002 % | 1.29/1.37 c | 25756 | 231 2707 8338 | 15692 12029 35 | 0.002 % | 2.29/2.31 c | 38730 | 231 2707 8338 | 17261 9207 39 | 0.002 % | 3.69/3.71 c | 58191 | 231 2707 8338 | 18987 11310 38 | 0.002 % | 5.99/6.02 c | 87384 | 231 2707 8338 | 20886 11832 42 | 0.002 % | 10.00/10.06 c | 131173 | 231 2707 8338 | 22974 13626 41 | 0.002 % | 16.89/16.93 c | 196858 | 231 2707 8338 | 25272 21612 41 | 0.002 % | 27.29/27.31 c | 295386 | 231 2707 8338 | 27799 12273 42 | 0.002 % | 42.49/42.55 c | 443179 | 231 2707 8338 | 30579 17564 39 | 0.002 % | 67.69/67.70 c | 664863 | 231 2707 8338 | 33637 21523 40 | 0.002 % | 106.19/106.25 c | 997389 | 231 2707 8338 | 37001 32872 41 | 0.002 % | 167.30/167.33 c | 1496177 | 231 2707 8338 | 40701 14834 42 | 0.002 % | 260.60/260.69 c =============================================================================== 278.60/278.65 c core #1 278.60/278.65 c ============================[ Search Statistics ]============================== 278.60/278.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 278.60/278.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 278.60/278.65 c =============================================================================== 278.60/278.65 c | 0 | 1585 5265 20282 | 5000 0 nan | 0.000 % | 278.70/278.74 c | 100 | 1585 5265 20282 | 5500 100 24 | 0.000 % | 278.70/278.79 c | 251 | 1585 5265 20282 | 6050 251 29 | 0.000 % | 278.80/278.81 c | 478 | 1585 5265 20282 | 6655 478 31 | 0.000 % | 278.80/278.85 c | 815 | 1585 5265 20282 | 7320 815 29 | 0.000 % | 278.80/278.87 c | 1321 | 1585 5265 20282 | 8052 1321 29 | 0.000 % | 278.89/278.90 c | 2081 | 1585 5265 20282 | 8857 2081 30 | 0.000 % | 278.89/278.95 c | 3220 | 1585 5265 20282 | 9743 3220 30 | 0.000 % | 279.00/279.03 c | 4928 | 1585 5265 20282 | 10717 4928 32 | 0.000 % | 279.19/279.20 c | 7491 | 1585 5265 20282 | 11789 7491 32 | 0.000 % | 279.40/279.44 c | 11335 | 1585 5265 20282 | 12968 11335 32 | 0.000 % | 279.60/279.67 c =============================================================================== 279.60/279.67 c #cores: 1 279.60/279.67 c Final Weight: 1 279.60/279.67 o 1 279.60/279.67 s OPTIMUM FOUND 279.60/279.67 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 279.60/279.67 c Total CPU time: 274.851 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-2689563-1277926183/watcher-2689563-1277926183 -o /tmp/evaluation-result-2689563-1277926183/solver-2689563-1277926183 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689563-1277926183.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.02 2.01 2.00 3/182 15662 /proc/meminfo: memFree=30602396/32951124 swapFree=67111528/67111528 [pid=15662] ppid=15660 vsize=2668 CPUtime=0 /proc/15662/stat : 15662 (wbo1.4a) R 15660 15662 14634 0 -1 4202496 307 0 0 0 0 0 0 0 21 0 1 0 133914492 2732032 225 4089446400 134512640 135751879 4292488688 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/15662/statm: 667 225 147 303 0 338 0 [startup+0.0764461 s] /proc/loadavg: 2.02 2.01 2.00 3/182 15662 /proc/meminfo: memFree=30602396/32951124 swapFree=67111528/67111528 [pid=15662] ppid=15660 vsize=3376 CPUtime=0.06 /proc/15662/stat : 15662 (wbo1.4a) R 15660 15662 14634 0 -1 4202496 529 0 0 0 6 0 0 0 21 0 1 0 133914492 3457024 423 4089446400 134512640 135751879 4292488688 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/15662/statm: 844 423 143 303 0 539 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 3376 [startup+0.100428 s] /proc/loadavg: 2.02 2.01 2.00 3/182 15662 /proc/meminfo: memFree=30602396/32951124 swapFree=67111528/67111528 [pid=15662] ppid=15660 vsize=3640 CPUtime=0.09 /proc/15662/stat : 15662 (wbo1.4a) R 15660 15662 14634 0 -1 4202496 585 0 0 0 8 1 0 0 21 0 1 0 133914492 3727360 479 4089446400 134512640 135751879 4292488688 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/15662/statm: 910 479 143 303 0 605 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3640 [startup+0.300409 s] /proc/loadavg: 2.02 2.01 2.00 3/182 15662 /proc/meminfo: memFree=30602396/32951124 swapFree=67111528/67111528 [pid=15662] ppid=15660 vsize=5224 CPUtime=0.29 /proc/15662/stat : 15662 (wbo1.4a) R 15660 15662 14634 0 -1 4202496 966 0 0 0 26 3 0 0 21 0 1 0 133914492 5349376 860 4089446400 134512640 135751879 4292488688 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/15662/statm: 1306 860 143 303 0 1001 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5224 [startup+0.700333 s] /proc/loadavg: 2.02 2.01 2.00 3/182 15662 /proc/meminfo: memFree=30602396/32951124 swapFree=67111528/67111528 [pid=15662] ppid=15660 vsize=7468 CPUtime=0.69 /proc/15662/stat : 15662 (wbo1.4a) R 15660 15662 14634 0 -1 4202496 1544 0 0 0 65 4 0 0 22 0 1 0 133914492 7647232 1439 4089446400 134512640 135751879 4292488688 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/15662/statm: 1867 1439 143 303 0 1562 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7468 [startup+1.50019 s] /proc/loadavg: 2.02 2.01 2.00 3/183 15663 /proc/meminfo: memFree=30593584/32951124 swapFree=67111528/67111528 [pid=15662] ppid=15660 vsize=11564 CPUtime=1.49 /proc/15662/stat : 15662 (wbo1.4a) R 15660 15662 14634 0 -1 4202496 2571 0 0 0 142 7 0 0 25 0 1 0 133914492 11841536 2465 4089446400 134512640 135751879 4292488688 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/15662/statm: 2891 2465 143 303 0 2586 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11564 [startup+3.10091 s] /proc/loadavg: 2.10 2.03 2.01 3/183 15663 /proc/meminfo: memFree=30585648/32951124 swapFree=67111528/67111528 [pid=15662] ppid=15660 vsize=19088 CPUtime=3.09 /proc/15662/stat : 15662 (wbo1.4a) R 15660 15662 14634 0 -1 4202496 4451 0 0 0 297 12 0 0 18 0 1 0 133914492 19546112 4345 4089446400 134512640 135751879 4292488688 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/15662/statm: 4772 4345 143 303 0 4467 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 19088 [startup+6.30034 s] /proc/loadavg: 2.10 2.03 2.01 3/183 15663 /proc/meminfo: memFree=30565376/32951124 swapFree=67111528/67111528 [pid=15662] ppid=15660 vsize=33224 CPUtime=6.29 /proc/15662/stat : 15662 (wbo1.4a) R 15660 15662 14634 0 -1 4202496 7962 0 0 0 609 20 0 0 25 0 1 0 133914492 34021376 7856 4089446400 134512640 135751879 4292488688 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/15662/statm: 8306 7856 143 303 0 8001 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 33224 [startup+12.7002 s] /proc/loadavg: 2.08 2.02 2.00 3/183 15664 /proc/meminfo: memFree=30528680/32951124 swapFree=67111528/67111528 [pid=15662] ppid=15660 vsize=55536 CPUtime=12.69 /proc/15662/stat : 15662 (wbo1.4a) R 15660 15662 14634 0 -1 4202496 13552 0 0 0 1235 34 0 0 25 0 1 0 133914492 56868864 13446 4089446400 134512640 135751879 4292488688 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/15662/statm: 13884 13446 143 303 0 13579 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 55536 [startup+25.5009 s] /proc/loadavg: 2.07 2.02 2.00 3/183 15664 /proc/meminfo: memFree=30457516/32951124 swapFree=67111528/67111528 [pid=15662] ppid=15660 vsize=97412 CPUtime=25.5 /proc/15662/stat : 15662 (wbo1.4a) R 15660 15662 14634 0 -1 4202496 24011 0 0 0 2490 60 0 0 25 0 1 0 133914492 99749888 23905 4089446400 134512640 135751879 4292488688 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/15662/statm: 24353 23905 143 303 0 24048 0 Current children cumulated CPU time (s) 25.5 Current children cumulated vsize (KiB) 97412 [startup+51.1004 s] /proc/loadavg: 2.05 2.02 2.00 3/183 15664 /proc/meminfo: memFree=30342148/32951124 swapFree=67111528/67111528 [pid=15662] ppid=15660 vsize=178152 CPUtime=51.09 /proc/15662/stat : 15662 (wbo1.4a) R 15660 15662 14634 0 -1 4202496 44192 0 0 0 4998 111 0 0 25 0 1 0 133914492 182427648 44086 4089446400 134512640 135751879 4292488688 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/15662/statm: 44538 44086 143 303 0 44233 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 178152 [startup+102.306 s] /proc/loadavg: 2.12 2.05 2.01 3/183 15666 /proc/meminfo: memFree=30123384/32951124 swapFree=67111528/67111528 [pid=15662] ppid=15660 vsize=328720 CPUtime=102.3 /proc/15662/stat : 15662 (wbo1.4a) R 15660 15662 14634 0 -1 4202496 81815 0 0 0 10017 213 0 0 25 0 1 0 133914492 336609280 81709 4089446400 134512640 135751879 4292488688 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/15662/statm: 82180 81709 143 303 0 81875 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 328720 [startup+162.301 s] /proc/loadavg: 2.24 2.08 2.02 3/183 15671 /proc/meminfo: memFree=29903724/32951124 swapFree=67111528/67111528 [pid=15662] ppid=15660 vsize=495152 CPUtime=162.29 /proc/15662/stat : 15662 (wbo1.4a) R 15660 15662 14634 0 -1 4202496 123412 0 0 0 15910 319 0 0 25 0 1 0 133914492 507035648 123306 4089446400 134512640 135751879 4292488688 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/15662/statm: 123788 123306 143 303 0 123483 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 495152 [startup+222.301 s] /proc/loadavg: 2.08 2.07 2.01 3/183 15672 /proc/meminfo: memFree=29703056/32951124 swapFree=67111528/67111528 [pid=15662] ppid=15660 vsize=650928 CPUtime=222.3 /proc/15662/stat : 15662 (wbo1.4a) R 15660 15662 14634 0 -1 4202496 162346 0 0 0 21820 410 0 0 25 0 1 0 133914492 666550272 162240 4089446400 134512640 135751879 4292488688 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/15662/statm: 162732 162240 143 303 0 162427 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 650928 Solver just ended. Dumping a history of the last processes samples [startup+230.3 s] /proc/loadavg: 2.08 2.06 2.01 3/183 15672 /proc/meminfo: memFree=29679368/32951124 swapFree=67111528/67111528 [pid=15662] ppid=15660 vsize=671788 CPUtime=230.29 /proc/15662/stat : 15662 (wbo1.4a) R 15660 15662 14634 0 -1 4202496 167558 0 0 0 22606 423 0 0 25 0 1 0 133914492 687910912 167452 4089446400 134512640 135751879 4292488688 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/15662/statm: 167947 167452 143 303 0 167642 0 Current children cumulated CPU time (s) 230.29 Current children cumulated vsize (KiB) 671788 [startup+255.901 s] /proc/loadavg: 2.11 2.07 2.02 3/183 15673 /proc/meminfo: memFree=29604820/32951124 swapFree=67111528/67111528 [pid=15662] ppid=15660 vsize=741760 CPUtime=255.9 /proc/15662/stat : 15662 (wbo1.4a) R 15660 15662 14634 0 -1 4202496 185063 0 0 0 25120 470 0 0 25 0 1 0 133914492 759562240 184957 4089446400 134512640 135751879 4292488688 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/15662/statm: 185440 184957 143 303 0 185135 0 Current children cumulated CPU time (s) 255.9 Current children cumulated vsize (KiB) 741760 [startup+268.701 s] /proc/loadavg: 2.09 2.07 2.01 3/183 15673 /proc/meminfo: memFree=29513676/32951124 swapFree=67111528/67111528 [pid=15662] ppid=15660 vsize=819772 CPUtime=268.7 /proc/15662/stat : 15662 (wbo1.4a) R 15660 15662 14634 0 -1 4202496 204549 0 0 0 26390 480 0 0 25 0 1 0 133914492 839446528 204443 4089446400 134512640 135751879 4292488688 18446744073709551615 134618395 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/15662/statm: 204943 204443 143 303 0 204638 0 Current children cumulated CPU time (s) 268.7 Current children cumulated vsize (KiB) 819772 [startup+275.1 s] /proc/loadavg: 2.08 2.07 2.01 3/183 15673 /proc/meminfo: memFree=29496060/32951124 swapFree=67111528/67111528 [pid=15662] ppid=15660 vsize=820300 CPUtime=275.1 /proc/15662/stat : 15662 (wbo1.4a) R 15660 15662 14634 0 -1 4202496 204682 0 0 0 27030 480 0 0 25 0 1 0 133914492 839987200 204576 4089446400 134512640 135751879 4292488688 18446744073709551615 134618715 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/15662/statm: 205075 204576 143 303 0 204770 0 Current children cumulated CPU time (s) 275.1 Current children cumulated vsize (KiB) 820300 [startup+278.307 s] /proc/loadavg: 2.07 2.07 2.01 3/183 15673 /proc/meminfo: memFree=29490108/32951124 swapFree=67111528/67111528 [pid=15662] ppid=15660 vsize=820300 CPUtime=278.3 /proc/15662/stat : 15662 (wbo1.4a) R 15660 15662 14634 0 -1 4202496 204685 0 0 0 27350 480 0 0 25 0 1 0 133914492 839987200 204579 4089446400 134512640 135751879 4292488688 18446744073709551615 135220854 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/15662/statm: 205075 204579 145 303 0 204770 0 Current children cumulated CPU time (s) 278.3 Current children cumulated vsize (KiB) 820300 [startup+279.101 s] /proc/loadavg: 2.07 2.07 2.01 3/183 15673 /proc/meminfo: memFree=29490108/32951124 swapFree=67111528/67111528 [pid=15662] ppid=15660 vsize=820136 CPUtime=279.09 /proc/15662/stat : 15662 (wbo1.4a) R 15660 15662 14634 0 -1 4202496 204686 0 0 0 27428 481 0 0 25 0 1 0 133914492 839819264 204540 4089446400 134512640 135751879 4292488688 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/15662/statm: 205034 204540 146 303 0 204729 0 Current children cumulated CPU time (s) 279.09 Current children cumulated vsize (KiB) 820136 [startup+279.501 s] /proc/loadavg: 2.07 2.07 2.01 3/183 15673 /proc/meminfo: memFree=29487504/32951124 swapFree=67111528/67111528 [pid=15662] ppid=15660 vsize=820136 CPUtime=279.49 /proc/15662/stat : 15662 (wbo1.4a) R 15660 15662 14634 0 -1 4202496 204690 0 0 0 27467 482 0 0 25 0 1 0 133914492 839819264 204544 4089446400 134512640 135751879 4292488688 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/15662/statm: 205034 204544 146 303 0 204729 0 Current children cumulated CPU time (s) 279.49 Current children cumulated vsize (KiB) 820136 [startup+279.701 s] /proc/loadavg: 2.07 2.07 2.01 3/183 15673 /proc/meminfo: memFree=29487504/32951124 swapFree=67111528/67111528 [pid=15662] ppid=15660 vsize=0 CPUtime=279.7 /proc/15662/stat : 15662 (wbo1.4a) R 15660 15662 14634 0 -1 4202500 204691 0 0 0 27485 485 0 0 25 0 1 0 133914492 0 0 4089446400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 7 0 0 0 /proc/15662/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 279.7 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 279.706 CPU time (s): 279.71 CPU user time (s): 274.851 CPU system time (s): 4.85926 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 820300 getrusage(RUSAGE_CHILDREN,...) data: user time used= 274.851 system time used= 4.85926 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 204691 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= 2643 runsolver used 0.450931 second user time and 1.08283 second system time The end
Begin job on node132 at 2010-06-30 21:29:43 IDJOB=2689563 IDBENCH=79267 IDSOLVER=1200 FILE ID=node132/2689563-1277926183 PBS_JOBID= 11197348 Free space on /tmp= 74136 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900550006--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-2689563-1277926183/watcher-2689563-1277926183 -o /tmp/evaluation-result-2689563-1277926183/solver-2689563-1277926183 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689563-1277926183.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 200f179ceb6a172fc8d81952e96f0c84 RANDOM SEED=161460613 node132.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.810 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.810 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.810 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.810 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.810 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.810 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.810 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.810 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: 30603296 kB Buffers: 206984 kB Cached: 1220652 kB SwapCached: 0 kB Active: 1313984 kB Inactive: 885852 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30603296 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2748 kB Writeback: 0 kB AnonPages: 772708 kB Mapped: 16108 kB Slab: 82388 kB PageTables: 6184 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 922684 kB VmallocTotal: 34359738367 kB VmallocUsed: 33868 kB VmallocChunk: 34359703231 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74132 MiB End job on node132 at 2010-06-30 21:34:23