Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | OPTIMUM | 474.358 | 474.348 |
Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900571761--soft-0-100-0.wbo |
MD5SUM | c1a8bf15a5939881d6e0f7761d224808 |
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 | 2 |
Best CPU time to get the best result obtained on this benchmark | 474.358 |
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 | 137973 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 137972 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 713 |
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-2689597-1277927970.wbo. 0.00/0.00 c Instance file HOME/instance-2689597-1277927970.wbo 0.00/0.00 c File size is 96792 bytes. 0.00/0.00 c Highest Coefficient sum: 713 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 20 | 0.002 % | 0.00/0.01 c | 253 | 231 2707 8338 | 6050 253 21 | 0.002 % | 0.00/0.01 c | 478 | 231 2707 8338 | 6655 478 26 | 0.002 % | 0.00/0.02 c | 815 | 231 2707 8338 | 7320 815 27 | 0.002 % | 0.00/0.04 c | 1321 | 231 2707 8338 | 8052 1321 25 | 0.002 % | 0.03/0.06 c | 2081 | 231 2707 8338 | 8857 2081 28 | 0.002 % | 0.09/0.10 c | 3220 | 231 2707 8338 | 9743 3220 29 | 0.002 % | 0.09/0.17 c | 4930 | 231 2707 8338 | 10717 4930 31 | 0.002 % | 0.19/0.29 c | 7493 | 231 2707 8338 | 11789 7493 32 | 0.002 % | 0.49/0.51 c | 11338 | 231 2707 8338 | 12968 11338 33 | 0.002 % | 0.79/0.84 c | 17105 | 231 2707 8338 | 14265 10555 35 | 0.002 % | 1.39/1.44 c | 25756 | 231 2707 8338 | 15692 12028 34 | 0.002 % | 2.29/2.39 c | 38731 | 231 2707 8338 | 17261 9198 35 | 0.002 % | 3.79/3.87 c | 58194 | 231 2707 8338 | 18987 11317 36 | 0.002 % | 6.39/6.44 c | 87387 | 231 2707 8338 | 20886 11848 36 | 0.002 % | 10.49/10.55 c | 131178 | 231 2707 8338 | 22974 13673 42 | 0.002 % | 17.59/17.68 c | 196864 | 231 2707 8338 | 25272 21661 38 | 0.002 % | 28.79/28.80 c | 295393 | 231 2707 8338 | 27799 13867 40 | 0.002 % | 46.29/46.38 c | 443183 | 231 2707 8338 | 30579 20905 40 | 0.002 % | 73.09/73.12 c | 664866 | 231 2707 8338 | 33637 21182 40 | 0.002 % | 114.89/114.93 c | 997393 | 231 2707 8338 | 37001 12815 40 | 0.002 % | 178.49/178.58 c | 1496184 | 230 2707 8338 | 40701 36935 36 | 0.435 % | 185.80/185.81 c =============================================================================== 198.19/198.27 c core #1 198.19/198.27 c ============================[ Search Statistics ]============================== 198.19/198.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 198.19/198.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 198.19/198.27 c =============================================================================== 198.19/198.27 c | 0 | 1585 5261 20267 | 5000 0 nan | 0.000 % | 198.49/198.58 c | 100 | 1585 5261 20267 | 5500 100 24 | 0.000 % | 198.59/198.64 c | 250 | 1585 5261 20267 | 6050 250 26 | 0.000 % | 198.59/198.65 c | 476 | 1585 5261 20267 | 6655 476 31 | 0.000 % | 198.69/198.71 c | 813 | 1585 5261 20267 | 7320 813 32 | 0.000 % | 198.69/198.73 c | 1319 | 1585 5261 20267 | 8052 1319 33 | 0.000 % | 198.69/198.76 c | 2078 | 1585 5261 20267 | 8857 2078 31 | 0.000 % | 198.79/198.82 c | 3218 | 1585 5261 20267 | 9743 3218 32 | 0.000 % | 198.90/198.90 c | 4926 | 1585 5261 20267 | 10717 4926 32 | 0.000 % | 199.00/199.06 c | 7488 | 1585 5261 20267 | 11789 7488 33 | 0.000 % | 199.29/199.34 c | 11333 | 1585 5261 20267 | 12968 11333 34 | 0.000 % | 199.79/199.81 c | 17099 | 1585 5261 20267 | 14265 10567 33 | 0.000 % | 200.59/200.67 c | 25750 | 1585 5261 20267 | 15692 12012 37 | 0.000 % | 201.89/201.95 c | 38724 | 1585 5261 20267 | 17261 9196 38 | 0.000 % | 203.79/203.83 c | 58185 | 1585 5261 20267 | 18987 11279 37 | 0.000 % | 207.09/207.10 c | 87377 | 1585 5261 20267 | 20886 11839 43 | 0.000 % | 212.19/212.27 c | 131169 | 1585 5261 20267 | 22974 13630 41 | 0.000 % | 220.79/220.86 c | 196856 | 1585 5261 20267 | 25272 21600 41 | 0.000 % | 233.10/233.10 c | 295382 | 1585 5261 20267 | 27799 13167 38 | 0.000 % | 252.90/252.99 c | 443173 | 1585 5261 20267 | 30579 19180 41 | 0.000 % | 281.80/281.80 c | 664856 | 1585 5261 20267 | 33637 19383 39 | 0.000 % | 326.39/326.45 c | 997381 | 1585 5261 20267 | 37001 32932 38 | 0.000 % | 394.49/394.56 c | 1496169 | 1585 5261 20267 | 40701 21994 38 | 0.000 % | 439.30/439.31 c =============================================================================== 454.70/454.71 c core #2 454.70/454.71 c ============================[ Search Statistics ]============================== 454.70/454.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 454.70/454.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 454.70/454.71 c =============================================================================== 454.70/454.71 c | 0 | 2939 7797 32142 | 5000 0 nan | 0.000 % | 454.80/454.85 c | 100 | 2939 7797 32142 | 5500 100 20 | 0.000 % | 454.80/454.86 c | 252 | 2939 7797 32142 | 6050 252 21 | 0.000 % | 454.80/454.87 c | 479 | 2939 7797 32142 | 6655 479 26 | 0.000 % | 454.80/454.88 c | 817 | 2939 7797 32142 | 7320 817 29 | 0.000 % | 454.90/454.91 c | 1324 | 2939 7797 32142 | 8052 1324 30 | 0.000 % | 454.90/454.96 c | 2084 | 2939 7797 32142 | 8857 2084 30 | 0.000 % | 455.00/455.04 c | 3226 | 2939 7797 32142 | 9743 3226 30 | 0.000 % | 455.10/455.16 c | 4936 | 2939 7797 32142 | 10717 4936 30 | 0.000 % | 455.31/455.31 c | 7498 | 2939 7797 32142 | 11789 7498 32 | 0.000 % | 455.60/455.63 c | 11342 | 2939 7797 32142 | 12968 11342 33 | 0.000 % | 456.10/456.11 c | 17108 | 2939 7797 32142 | 14265 10575 34 | 0.000 % | 457.00/457.02 c | 25757 | 2939 7797 32142 | 15692 12041 37 | 0.000 % | 458.40/458.46 c | 38733 | 2939 7797 32142 | 17261 9210 40 | 0.000 % | 460.50/460.58 c | 58195 | 2939 7797 32142 | 18987 11322 38 | 0.000 % | 463.60/463.66 c | 87387 | 2939 7797 32142 | 20886 11879 38 | 0.000 % | 468.70/468.79 c | 131176 | 2939 7797 32142 | 22974 13680 38 | 0.000 % | 474.30/474.31 c =============================================================================== 474.30/474.31 c #cores: 2 474.30/474.31 c Final Weight: 2 474.30/474.31 o 2 474.30/474.31 s OPTIMUM FOUND 474.30/474.31 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 474.30/474.31 c Total CPU time: 470.18 s
OK 2
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2689597-1277927970/watcher-2689597-1277927970 -o /tmp/evaluation-result-2689597-1277927970/solver-2689597-1277927970 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689597-1277927970.wbo Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 2.00 4/178 14261 /proc/meminfo: memFree=29993288/32951124 swapFree=67111528/67111528 [pid=14261] ppid=14259 vsize=2672 CPUtime=0 /proc/14261/stat : 14261 (wbo1.4a) R 14259 14261 12447 0 -1 4202496 303 0 0 0 0 0 0 0 25 0 1 0 134094217 2736128 222 4089446400 134512640 135751879 4292277568 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/14261/statm: 668 222 146 303 0 339 0 [startup+0.045999 s] /proc/loadavg: 2.00 2.00 2.00 4/178 14261 /proc/meminfo: memFree=29993288/32951124 swapFree=67111528/67111528 [pid=14261] ppid=14259 vsize=3116 CPUtime=0.03 /proc/14261/stat : 14261 (wbo1.4a) R 14259 14261 12447 0 -1 4202496 446 0 0 0 3 0 0 0 25 0 1 0 134094217 3190784 341 4089446400 134512640 135751879 4292277568 18446744073709551615 134616371 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/14261/statm: 779 341 143 303 0 474 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 3116 [startup+0.100977 s] /proc/loadavg: 2.00 2.00 2.00 4/178 14261 /proc/meminfo: memFree=29993288/32951124 swapFree=67111528/67111528 [pid=14261] ppid=14259 vsize=3644 CPUtime=0.09 /proc/14261/stat : 14261 (wbo1.4a) R 14259 14261 12447 0 -1 4202496 576 0 0 0 9 0 0 0 25 0 1 0 134094217 3731456 471 4089446400 134512640 135751879 4292277568 18446744073709551615 134616526 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/14261/statm: 911 471 143 303 0 606 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3644 [startup+0.300953 s] /proc/loadavg: 2.00 2.00 2.00 4/178 14261 /proc/meminfo: memFree=29993288/32951124 swapFree=67111528/67111528 [pid=14261] ppid=14259 vsize=5096 CPUtime=0.29 /proc/14261/stat : 14261 (wbo1.4a) R 14259 14261 12447 0 -1 4202496 946 0 0 0 28 1 0 0 25 0 1 0 134094217 5218304 841 4089446400 134512640 135751879 4292277568 18446744073709551615 134611160 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/14261/statm: 1274 841 143 303 0 969 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5096 [startup+0.700883 s] /proc/loadavg: 2.00 2.00 2.00 4/178 14261 /proc/meminfo: memFree=29993288/32951124 swapFree=67111528/67111528 [pid=14261] ppid=14259 vsize=7364 CPUtime=0.69 /proc/14261/stat : 14261 (wbo1.4a) R 14259 14261 12447 0 -1 4202496 1512 0 0 0 68 1 0 0 25 0 1 0 134094217 7540736 1407 4089446400 134512640 135751879 4292277568 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/14261/statm: 1841 1407 143 303 0 1536 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7364 [startup+1.5008 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14263 /proc/meminfo: memFree=29983236/32951124 swapFree=67111528/67111528 [pid=14261] ppid=14259 vsize=11192 CPUtime=1.49 /proc/14261/stat : 14261 (wbo1.4a) R 14259 14261 12447 0 -1 4202496 2461 0 0 0 146 3 0 0 25 0 1 0 134094217 11460608 2356 4089446400 134512640 135751879 4292277568 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/14261/statm: 2798 2356 143 303 0 2493 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11192 [startup+3.10049 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14263 /proc/meminfo: memFree=29975796/32951124 swapFree=67111528/67111528 [pid=14261] ppid=14259 vsize=17924 CPUtime=3.09 /proc/14261/stat : 14261 (wbo1.4a) R 14259 14261 12447 0 -1 4202496 4147 0 0 0 303 6 0 0 25 0 1 0 134094217 18354176 4042 4089446400 134512640 135751879 4292277568 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/14261/statm: 4481 4042 143 303 0 4176 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17924 [startup+6.30093 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14263 /proc/meminfo: memFree=29958812/32951124 swapFree=67111528/67111528 [pid=14261] ppid=14259 vsize=29988 CPUtime=6.29 /proc/14261/stat : 14261 (wbo1.4a) R 14259 14261 12447 0 -1 4202496 7151 0 0 0 618 11 0 0 25 0 1 0 134094217 30707712 7046 4089446400 134512640 135751879 4292277568 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/14261/statm: 7497 7046 143 303 0 7192 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 29988 [startup+12.7008 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14263 /proc/meminfo: memFree=29925660/32951124 swapFree=67111528/67111528 [pid=14261] ppid=14259 vsize=51284 CPUtime=12.69 /proc/14261/stat : 14261 (wbo1.4a) R 14259 14261 12447 0 -1 4202496 12495 0 0 0 1251 18 0 0 25 0 1 0 134094217 52514816 12390 4089446400 134512640 135751879 4292277568 18446744073709551615 134616766 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/14261/statm: 12821 12390 143 303 0 12516 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 51284 [startup+25.5005 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14263 /proc/meminfo: memFree=29866112/32951124 swapFree=67111528/67111528 [pid=14261] ppid=14259 vsize=88948 CPUtime=25.49 /proc/14261/stat : 14261 (wbo1.4a) R 14259 14261 12447 0 -1 4202496 21908 0 0 0 2518 31 0 0 25 0 1 0 134094217 91082752 21803 4089446400 134512640 135751879 4292277568 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/14261/statm: 22237 21803 143 303 0 21932 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 88948 [startup+51.101 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14263 /proc/meminfo: memFree=29765364/32951124 swapFree=67111528/67111528 [pid=14261] ppid=14259 vsize=161032 CPUtime=51.09 /proc/14261/stat : 14261 (wbo1.4a) R 14259 14261 12447 0 -1 4202496 39894 0 0 0 5052 57 0 0 25 0 1 0 134094217 164896768 39789 4089446400 134512640 135751879 4292277568 18446744073709551615 134616866 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/14261/statm: 40258 39789 143 303 0 39953 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 161032 [startup+102.306 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14274 /proc/meminfo: memFree=29563788/32951124 swapFree=67111528/67111528 [pid=14261] ppid=14259 vsize=295324 CPUtime=102.3 /proc/14261/stat : 14261 (wbo1.4a) R 14259 14261 12447 0 -1 4202496 73465 0 0 0 10124 106 0 0 25 0 1 0 134094217 302411776 73360 4089446400 134512640 135751879 4292277568 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/14261/statm: 73831 73360 143 303 0 73526 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 295324 [startup+162.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14276 /proc/meminfo: memFree=29344100/32951124 swapFree=67111528/67111528 [pid=14261] ppid=14259 vsize=447044 CPUtime=162.29 /proc/14261/stat : 14261 (wbo1.4a) R 14259 14261 12447 0 -1 4202496 111372 0 0 0 16072 157 0 0 25 0 1 0 134094217 457773056 111267 4089446400 134512640 135751879 4292277568 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/14261/statm: 111761 111267 143 303 0 111456 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 447044 [startup+222.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14277 /proc/meminfo: memFree=29164116/32951124 swapFree=67111528/67111528 [pid=14261] ppid=14259 vsize=552848 CPUtime=222.29 /proc/14261/stat : 14261 (wbo1.4a) R 14259 14261 12447 0 -1 4202496 137875 0 0 0 22028 201 0 0 25 0 1 0 134094217 566116352 137730 4089446400 134512640 135751879 4292277568 18446744073709551615 134611218 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/14261/statm: 138212 137730 146 303 0 137907 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 552848 [startup+282.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14279 /proc/meminfo: memFree=29083336/32951124 swapFree=67111528/67111528 [pid=14261] ppid=14259 vsize=557336 CPUtime=282.29 /proc/14261/stat : 14261 (wbo1.4a) R 14259 14261 12447 0 -1 4202496 139040 0 0 0 27975 254 0 0 25 0 1 0 134094217 570712064 138895 4089446400 134512640 135751879 4292277568 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/14261/statm: 139334 138895 146 303 0 139029 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 557336 [startup+342.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14280 /proc/meminfo: memFree=28896668/32951124 swapFree=67111528/67111528 [pid=14261] ppid=14259 vsize=661232 CPUtime=342.3 /proc/14261/stat : 14261 (wbo1.4a) R 14259 14261 12447 0 -1 4202496 165007 0 0 0 33923 307 0 0 25 0 1 0 134094217 677101568 164862 4089446400 134512640 135751879 4292277568 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/14261/statm: 165308 164862 146 303 0 165003 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 661232 [startup+402.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14282 /proc/meminfo: memFree=28681580/32951124 swapFree=67111528/67111528 [pid=14261] ppid=14259 vsize=802136 CPUtime=402.3 /proc/14261/stat : 14261 (wbo1.4a) R 14259 14261 12447 0 -1 4202496 200214 0 0 0 39872 358 0 0 25 0 1 0 134094217 821387264 200069 4089446400 134512640 135751879 4292277568 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/14261/statm: 200534 200069 146 303 0 200229 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 802136 [startup+462.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14284 /proc/meminfo: memFree=28576480/32951124 swapFree=67111528/67111528 [pid=14261] ppid=14259 vsize=939192 CPUtime=462.3 /proc/14261/stat : 14261 (wbo1.4a) R 14259 14261 12447 0 -1 4202496 234477 0 0 0 45825 405 0 0 25 0 1 0 134094217 961732608 234332 4089446400 134512640 135751879 4292277568 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/14261/statm: 234798 234332 146 303 0 234493 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 939192 Solver just ended. Dumping a history of the last processes samples [startup+467.1 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14284 /proc/meminfo: memFree=28576356/32951124 swapFree=67111528/67111528 [pid=14261] ppid=14259 vsize=939192 CPUtime=467.1 /proc/14261/stat : 14261 (wbo1.4a) R 14259 14261 12447 0 -1 4202496 234477 0 0 0 46301 409 0 0 25 0 1 0 134094217 961732608 234332 4089446400 134512640 135751879 4292277568 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/14261/statm: 234798 234332 146 303 0 234493 0 Current children cumulated CPU time (s) 467.1 Current children cumulated vsize (KiB) 939192 [startup+470.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14284 /proc/meminfo: memFree=28576352/32951124 swapFree=67111528/67111528 [pid=14261] ppid=14259 vsize=939192 CPUtime=470.3 /proc/14261/stat : 14261 (wbo1.4a) R 14259 14261 12447 0 -1 4202496 234477 0 0 0 46619 411 0 0 25 0 1 0 134094217 961732608 234332 4089446400 134512640 135751879 4292277568 18446744073709551615 134616540 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/14261/statm: 234798 234332 146 303 0 234493 0 Current children cumulated CPU time (s) 470.3 Current children cumulated vsize (KiB) 939192 [startup+471.906 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14284 /proc/meminfo: memFree=28576348/32951124 swapFree=67111528/67111528 [pid=14261] ppid=14259 vsize=939192 CPUtime=471.9 /proc/14261/stat : 14261 (wbo1.4a) R 14259 14261 12447 0 -1 4202496 234477 0 0 0 46778 412 0 0 25 0 1 0 134094217 961732608 234332 4089446400 134512640 135751879 4292277568 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/14261/statm: 234798 234332 146 303 0 234493 0 Current children cumulated CPU time (s) 471.9 Current children cumulated vsize (KiB) 939192 [startup+473.5 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14284 /proc/meminfo: memFree=28576348/32951124 swapFree=67111528/67111528 [pid=14261] ppid=14259 vsize=939192 CPUtime=473.5 /proc/14261/stat : 14261 (wbo1.4a) R 14259 14261 12447 0 -1 4202496 234477 0 0 0 46936 414 0 0 25 0 1 0 134094217 961732608 234332 4089446400 134512640 135751879 4292277568 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/14261/statm: 234798 234332 146 303 0 234493 0 Current children cumulated CPU time (s) 473.5 Current children cumulated vsize (KiB) 939192 [startup+473.901 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14284 /proc/meminfo: memFree=28576348/32951124 swapFree=67111528/67111528 [pid=14261] ppid=14259 vsize=939192 CPUtime=473.9 /proc/14261/stat : 14261 (wbo1.4a) R 14259 14261 12447 0 -1 4202496 234477 0 0 0 46976 414 0 0 25 0 1 0 134094217 961732608 234332 4089446400 134512640 135751879 4292277568 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/14261/statm: 234798 234332 146 303 0 234493 0 Current children cumulated CPU time (s) 473.9 Current children cumulated vsize (KiB) 939192 [startup+474.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14284 /proc/meminfo: memFree=28576224/32951124 swapFree=67111528/67111528 [pid=14261] ppid=14259 vsize=939192 CPUtime=474.3 /proc/14261/stat : 14261 (wbo1.4a) R 14259 14261 12447 0 -1 4202496 234477 0 0 0 47016 414 0 0 25 0 1 0 134094217 961732608 234332 4089446400 134512640 135751879 4292277568 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/14261/statm: 234798 234332 146 303 0 234493 0 Current children cumulated CPU time (s) 474.3 Current children cumulated vsize (KiB) 939192 Child status: 0 Real time (s): 474.348 CPU time (s): 474.358 CPU user time (s): 470.18 CPU system time (s): 4.17836 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 939192 getrusage(RUSAGE_CHILDREN,...) data: user time used= 470.18 system time used= 4.17836 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 234477 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= 1272 runsolver used 0.707892 second user time and 1.45678 second system time The end
Begin job on node108 at 2010-06-30 21:59:30 IDJOB=2689597 IDBENCH=79284 IDSOLVER=1200 FILE ID=node108/2689597-1277927970 PBS_JOBID= 11197331 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.1900571761--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-2689597-1277927970/watcher-2689597-1277927970 -o /tmp/evaluation-result-2689597-1277927970/solver-2689597-1277927970 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689597-1277927970.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= c1a8bf15a5939881d6e0f7761d224808 RANDOM SEED=502569228 node108.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.855 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.71 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.855 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 : 5320.05 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.855 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.855 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.855 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.79 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.855 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.855 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.855 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: 32951124 kB MemFree: 29993700 kB Buffers: 209820 kB Cached: 1172780 kB SwapCached: 0 kB Active: 1953024 kB Inactive: 860148 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 29993700 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2748 kB Writeback: 0 kB AnonPages: 1430380 kB Mapped: 16268 kB Slab: 79552 kB PageTables: 7732 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1602424 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 node108 at 2010-06-30 22:07:24