Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | OPTIMUM | 575.261 | 575.245 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900584219--soft-66-100-0.wbo |
MD5SUM | 318d96c5cecc5e1278f112ac94857622 |
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 | 3 |
Best CPU time to get the best result obtained on this benchmark | 417.538 |
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 | 904 |
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 | 44120 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 44119 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 689 |
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-2690003-1277902350.wbo. 0.00/0.00 c Instance file HOME/instance-2690003-1277902350.wbo 0.00/0.00 c File size is 87877 bytes. 0.00/0.00 c Highest Coefficient sum: 689 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 24 | 0.002 % | 0.00/0.01 c | 250 | 231 2707 8338 | 6050 250 28 | 0.002 % | 0.00/0.01 c | 477 | 231 2707 8338 | 6655 477 30 | 0.002 % | 0.00/0.02 c | 815 | 231 2707 8338 | 7320 815 28 | 0.002 % | 0.00/0.04 c | 1323 | 231 2707 8338 | 8052 1323 27 | 0.002 % | 0.00/0.06 c | 2082 | 231 2707 8338 | 8857 2082 30 | 0.002 % | 0.00/0.09 c | 3223 | 231 2707 8338 | 9743 3223 29 | 0.002 % | 0.09/0.15 c | 4931 | 231 2707 8338 | 10717 4931 29 | 0.002 % | 0.19/0.26 c | 7494 | 231 2707 8338 | 11789 7494 31 | 0.002 % | 0.39/0.46 c | 11338 | 231 2707 8338 | 12968 11338 32 | 0.002 % | 0.79/0.80 c | 17105 | 231 2707 8338 | 14265 10564 35 | 0.002 % | 1.39/1.42 c | 25756 | 231 2707 8338 | 15692 12032 39 | 0.002 % | 2.39/2.43 c | 38730 | 231 2707 8338 | 17261 9215 39 | 0.002 % | 3.89/3.91 c | 58192 | 231 2707 8338 | 18987 11302 35 | 0.002 % | 6.20/6.28 c | 87385 | 231 2707 8338 | 20886 11830 37 | 0.002 % | 10.09/10.12 c | 131174 | 231 2707 8338 | 22974 13639 40 | 0.002 % | 16.29/16.34 c | 196858 | 231 2707 8338 | 25272 21574 38 | 0.002 % | 25.49/25.58 c | 295391 | 231 2707 8338 | 27799 25315 39 | 0.002 % | 40.89/40.92 c | 443180 | 231 2707 8338 | 30579 16387 37 | 0.002 % | 64.69/64.77 c | 664863 | 231 2707 8338 | 33637 17540 35 | 0.002 % | 104.79/104.80 c | 997390 | 231 2707 8338 | 37001 13421 37 | 0.002 % | 124.59/124.64 c =============================================================================== 130.59/130.67 c core #1 130.59/130.67 c ============================[ Search Statistics ]============================== 130.59/130.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 130.59/130.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 130.59/130.67 c =============================================================================== 130.59/130.67 c | 0 | 686 3566 12279 | 5000 0 nan | 0.000 % | 130.90/130.95 c | 101 | 686 3566 12279 | 5500 101 26 | 0.000 % | 130.90/130.96 c | 252 | 686 3566 12279 | 6050 252 24 | 0.000 % | 130.90/130.96 c | 479 | 686 3566 12279 | 6655 479 27 | 0.000 % | 130.90/130.98 c | 817 | 686 3566 12279 | 7320 817 27 | 0.000 % | 130.99/131.00 c | 1323 | 686 3566 12279 | 8052 1323 29 | 0.000 % | 130.99/131.06 c | 2082 | 686 3566 12279 | 8857 2082 33 | 0.000 % | 131.10/131.11 c | 3222 | 686 3566 12279 | 9743 3222 33 | 0.000 % | 131.10/131.18 c | 4933 | 686 3566 12279 | 10717 4933 33 | 0.000 % | 131.30/131.32 c | 7496 | 686 3566 12279 | 11789 7496 34 | 0.000 % | 131.49/131.56 c | 11341 | 686 3566 12279 | 12968 11341 35 | 0.000 % | 131.90/131.94 c | 17108 | 686 3566 12279 | 14265 10571 35 | 0.000 % | 132.59/132.64 c | 25759 | 686 3566 12279 | 15692 12046 36 | 0.000 % | 133.69/133.72 c | 38735 | 686 3566 12279 | 17261 9214 35 | 0.000 % | 135.49/135.54 c | 58196 | 686 3566 12279 | 18987 11309 39 | 0.000 % | 138.20/138.23 c | 87388 | 686 3566 12279 | 20886 11832 37 | 0.000 % | 142.69/142.75 c | 131177 | 686 3566 12279 | 22974 13652 41 | 0.000 % | 149.90/149.95 c | 196861 | 686 3566 12279 | 25272 21654 39 | 0.000 % | 160.90/160.98 c | 295389 | 686 3566 12279 | 27799 15182 38 | 0.000 % | 177.29/177.36 c | 443179 | 686 3566 12279 | 30579 22158 39 | 0.000 % | 204.51/204.58 c | 664867 | 686 3566 12279 | 33637 25752 40 | 0.000 % | 247.60/247.66 c | 997392 | 686 3566 12279 | 37001 22419 40 | 0.000 % | 291.40/291.45 c =============================================================================== 300.10/300.20 c core #2 300.10/300.20 c ============================[ Search Statistics ]============================== 300.10/300.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 300.10/300.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 300.10/300.20 c =============================================================================== 300.10/300.20 c | 0 | 1139 4412 16174 | 5000 0 nan | 0.000 % | 300.21/300.22 c | 100 | 1139 4412 16174 | 5500 100 20 | 0.000 % | 300.21/300.23 c | 250 | 1139 4412 16174 | 6050 250 21 | 0.000 % | 300.21/300.27 c | 477 | 1139 4412 16174 | 6655 477 24 | 0.000 % | 300.21/300.29 c | 814 | 1139 4412 16174 | 7320 814 23 | 0.000 % | 300.31/300.32 c | 1321 | 1139 4412 16174 | 8052 1321 27 | 0.000 % | 300.31/300.36 c | 2080 | 1139 4412 16174 | 8857 2080 28 | 0.000 % | 300.40/300.43 c | 3219 | 1139 4412 16174 | 9743 3219 27 | 0.000 % | 300.50/300.50 c | 4928 | 1139 4412 16174 | 10717 4928 28 | 0.000 % | 300.61/300.63 c | 7491 | 1139 4412 16174 | 11789 7491 29 | 0.000 % | 300.80/300.86 c | 11335 | 1139 4412 16174 | 12968 11335 31 | 0.000 % | 301.20/301.23 c | 17102 | 1139 4412 16174 | 14265 10562 33 | 0.000 % | 301.80/301.81 c | 25753 | 1139 4412 16174 | 15692 12019 32 | 0.000 % | 302.70/302.72 c | 38727 | 1139 4412 16174 | 17261 9199 35 | 0.000 % | 304.30/304.38 c | 58189 | 1139 4412 16174 | 18987 11285 38 | 0.000 % | 307.20/307.20 c | 87384 | 1139 4412 16174 | 20886 11834 40 | 0.000 % | 311.80/311.81 c | 131179 | 1139 4412 16174 | 22974 13643 41 | 0.000 % | 318.70/318.79 c | 196866 | 1139 4412 16174 | 25272 21449 36 | 0.000 % | 328.70/328.77 c | 295392 | 1139 4412 16174 | 27799 25021 37 | 0.000 % | 346.01/346.02 c | 443183 | 1139 4412 16174 | 30579 16328 39 | 0.000 % | 371.90/371.99 c | 664866 | 1139 4412 16174 | 33637 18814 38 | 0.000 % | 413.90/413.93 c | 997391 | 1139 4412 16174 | 37001 14740 37 | 0.000 % | 475.31/475.30 c | 1496181 | 1139 4412 16174 | 40701 28719 37 | 0.002 % | 492.41/492.42 c =============================================================================== 502.41/502.46 c core #3 502.41/502.46 c ============================[ Search Statistics ]============================== 502.41/502.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 502.41/502.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 502.41/502.46 c =============================================================================== 502.41/502.46 c | 0 | 1594 5243 20024 | 5000 0 nan | 0.000 % | 502.50/502.51 c | 101 | 1594 5243 20024 | 5500 101 25 | 0.000 % | 502.50/502.54 c | 252 | 1594 5243 20024 | 6050 252 28 | 0.000 % | 502.50/502.57 c | 480 | 1594 5243 20024 | 6655 480 29 | 0.000 % | 502.50/502.59 c | 818 | 1594 5243 20024 | 7320 818 29 | 0.000 % | 502.61/502.62 c | 1324 | 1594 5243 20024 | 8052 1324 28 | 0.000 % | 502.61/502.67 c | 2085 | 1594 5243 20024 | 8857 2085 28 | 0.000 % | 502.71/502.75 c | 3225 | 1594 5243 20024 | 9743 3225 30 | 0.000 % | 502.81/502.86 c | 4936 | 1594 5243 20024 | 10717 4936 30 | 0.000 % | 502.90/502.99 c | 7500 | 1594 5243 20024 | 11789 7500 31 | 0.000 % | 503.21/503.25 c | 11344 | 1594 5243 20024 | 12968 11344 31 | 0.000 % | 503.61/503.65 c | 17110 | 1594 5243 20024 | 14265 10566 33 | 0.000 % | 504.30/504.34 c | 25760 | 1594 5243 20024 | 15692 12024 33 | 0.000 % | 505.40/505.46 c | 38734 | 1594 5243 20024 | 17261 9194 33 | 0.000 % | 507.11/507.13 c | 58195 | 1594 5243 20024 | 18987 11309 35 | 0.000 % | 509.90/509.91 c | 87388 | 1594 5243 20024 | 20886 11868 37 | 0.000 % | 514.11/514.16 c | 131180 | 1594 5243 20024 | 22974 13659 37 | 0.000 % | 520.80/520.86 c | 196864 | 1594 5243 20024 | 25272 21380 37 | 0.000 % | 531.31/531.38 c | 295393 | 1594 5243 20024 | 27799 12832 36 | 0.000 % | 548.81/548.88 c | 443183 | 1594 5243 20024 | 30579 18593 35 | 0.000 % | 575.21/575.21 c =============================================================================== 575.21/575.21 c #cores: 3 575.21/575.21 c Final Weight: 3 575.21/575.21 o 3 575.21/575.21 s OPTIMUM FOUND 575.21/575.21 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 575.21/575.21 c Total CPU time: 565.49 s
OK 3
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2690003-1277902350/watcher-2690003-1277902350 -o /tmp/evaluation-result-2690003-1277902350/solver-2690003-1277902350 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690003-1277902350.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.22 2.16 2.06 3/196 9715 /proc/meminfo: memFree=31200016/32951124 swapFree=67111528/67111528 [pid=9715] ppid=9713 vsize=2660 CPUtime=0 /proc/9715/stat : 9715 (wbo1.4a) R 9713 9715 9536 0 -1 4202496 304 0 0 0 0 0 0 0 22 0 1 0 131532314 2723840 222 4089446400 134512640 135751879 4289778352 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/9715/statm: 665 223 145 303 0 338 0 [startup+0.0990779 s] /proc/loadavg: 2.22 2.16 2.06 3/196 9715 /proc/meminfo: memFree=31200016/32951124 swapFree=67111528/67111528 [pid=9715] ppid=9713 vsize=3508 CPUtime=0.09 /proc/9715/stat : 9715 (wbo1.4a) R 9713 9715 9536 0 -1 4202496 536 0 0 0 9 0 0 0 22 0 1 0 131532314 3592192 432 4089446400 134512640 135751879 4289778352 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/9715/statm: 877 432 143 303 0 572 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3508 [startup+0.101079 s] /proc/loadavg: 2.22 2.16 2.06 3/196 9715 /proc/meminfo: memFree=31200016/32951124 swapFree=67111528/67111528 [pid=9715] ppid=9713 vsize=3508 CPUtime=0.09 /proc/9715/stat : 9715 (wbo1.4a) R 9713 9715 9536 0 -1 4202496 540 0 0 0 9 0 0 0 22 0 1 0 131532314 3592192 436 4089446400 134512640 135751879 4289778352 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/9715/statm: 877 436 143 303 0 572 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3508 [startup+0.301043 s] /proc/loadavg: 2.22 2.16 2.06 3/196 9715 /proc/meminfo: memFree=31200016/32951124 swapFree=67111528/67111528 [pid=9715] ppid=9713 vsize=4696 CPUtime=0.29 /proc/9715/stat : 9715 (wbo1.4a) R 9713 9715 9536 0 -1 4202496 852 0 0 0 29 0 0 0 22 0 1 0 131532314 4808704 748 4089446400 134512640 135751879 4289778352 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/9715/statm: 1174 748 143 303 0 869 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4696 [startup+0.700977 s] /proc/loadavg: 2.22 2.16 2.06 3/196 9715 /proc/meminfo: memFree=31200016/32951124 swapFree=67111528/67111528 [pid=9715] ppid=9713 vsize=6552 CPUtime=0.69 /proc/9715/stat : 9715 (wbo1.4a) R 9713 9715 9536 0 -1 4202496 1317 0 0 0 68 1 0 0 24 0 1 0 131532314 6709248 1213 4089446400 134512640 135751879 4289778352 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/9715/statm: 1638 1213 143 303 0 1333 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6552 [startup+1.50083 s] /proc/loadavg: 2.20 2.16 2.06 3/197 9716 /proc/meminfo: memFree=31194552/32951124 swapFree=67111528/67111528 [pid=9715] ppid=9713 vsize=9852 CPUtime=1.49 /proc/9715/stat : 9715 (wbo1.4a) R 9713 9715 9536 0 -1 4202496 2115 0 0 0 146 3 0 0 18 0 1 0 131532314 10088448 2011 4089446400 134512640 135751879 4289778352 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/9715/statm: 2463 2011 143 303 0 2158 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9852 [startup+3.10054 s] /proc/loadavg: 2.20 2.16 2.06 3/197 9716 /proc/meminfo: memFree=31189468/32951124 swapFree=67111528/67111528 [pid=9715] ppid=9713 vsize=15404 CPUtime=3.09 /proc/9715/stat : 9715 (wbo1.4a) R 9713 9715 9536 0 -1 4202496 3504 0 0 0 301 8 0 0 20 0 1 0 131532314 15773696 3400 4089446400 134512640 135751879 4289778352 18446744073709551615 134649428 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/9715/statm: 3851 3400 143 303 0 3546 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15404 [startup+6.30095 s] /proc/loadavg: 2.20 2.16 2.06 3/197 9716 /proc/meminfo: memFree=31177848/32951124 swapFree=67111528/67111528 [pid=9715] ppid=9713 vsize=26128 CPUtime=6.3 /proc/9715/stat : 9715 (wbo1.4a) R 9713 9715 9536 0 -1 4202496 6201 0 0 0 613 17 0 0 25 0 1 0 131532314 26755072 6097 4089446400 134512640 135751879 4289778352 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/9715/statm: 6532 6097 143 303 0 6227 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 26128 [startup+12.7008 s] /proc/loadavg: 2.17 2.15 2.06 3/197 9716 /proc/meminfo: memFree=31157264/32951124 swapFree=67111528/67111528 [pid=9715] ppid=9713 vsize=45284 CPUtime=12.69 /proc/9715/stat : 9715 (wbo1.4a) R 9713 9715 9536 0 -1 4202496 10994 0 0 0 1236 33 0 0 25 0 1 0 131532314 46370816 10890 4089446400 134512640 135751879 4289778352 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/9715/statm: 11321 10890 143 303 0 11016 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 45284 [startup+25.5004 s] /proc/loadavg: 2.62 2.24 2.09 3/197 9716 /proc/meminfo: memFree=31116376/32951124 swapFree=67111528/67111528 [pid=9715] ppid=9713 vsize=81100 CPUtime=25.49 /proc/9715/stat : 9715 (wbo1.4a) R 9713 9715 9536 0 -1 4202496 19934 0 0 0 2488 61 0 0 25 0 1 0 131532314 83046400 19830 4089446400 134512640 135751879 4289778352 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/9715/statm: 20275 19830 143 303 0 19970 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 81100 [startup+51.1007 s] /proc/loadavg: 2.41 2.22 2.09 3/197 9717 /proc/meminfo: memFree=31044256/32951124 swapFree=67111528/67111528 [pid=9715] ppid=9713 vsize=145920 CPUtime=51.09 /proc/9715/stat : 9715 (wbo1.4a) R 9713 9715 9536 0 -1 4202496 36133 0 0 0 5004 105 0 0 25 0 1 0 131532314 149422080 36029 4089446400 134512640 135751879 4289778352 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/9715/statm: 36480 36029 143 303 0 36175 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 145920 [startup+102.306 s] /proc/loadavg: 2.16 2.18 2.08 3/197 9718 /proc/meminfo: memFree=30911792/32951124 swapFree=67111528/67111528 [pid=9715] ppid=9713 vsize=263796 CPUtime=102.3 /proc/9715/stat : 9715 (wbo1.4a) R 9713 9715 9536 0 -1 4202496 65589 0 0 0 10043 187 0 0 25 0 1 0 131532314 270127104 65485 4089446400 134512640 135751879 4289778352 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/9715/statm: 65949 65485 143 303 0 65644 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 263796 [startup+162.3 s] /proc/loadavg: 2.06 2.15 2.07 3/197 9720 /proc/meminfo: memFree=30792060/32951124 swapFree=67111528/67111528 [pid=9715] ppid=9713 vsize=351988 CPUtime=162.3 /proc/9715/stat : 9715 (wbo1.4a) R 9713 9715 9536 0 -1 4202496 87675 0 0 0 15944 286 0 0 25 0 1 0 131532314 360435712 87534 4089446400 134512640 135751879 4289778352 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/9715/statm: 87997 87534 146 303 0 87692 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 351988 [startup+222.3 s] /proc/loadavg: 2.02 2.12 2.07 3/197 9722 /proc/meminfo: memFree=30686868/32951124 swapFree=67111528/67111528 [pid=9715] ppid=9713 vsize=429044 CPUtime=222.3 /proc/9715/stat : 9715 (wbo1.4a) R 9713 9715 9536 0 -1 4202496 106952 0 0 0 21840 390 0 0 25 0 1 0 131532314 439341056 106811 4089446400 134512640 135751879 4289778352 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/9715/statm: 107261 106811 146 303 0 106956 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 429044 [startup+282.3 s] /proc/loadavg: 2.06 2.11 2.07 3/197 9723 /proc/meminfo: memFree=30534920/32951124 swapFree=67111528/67111528 [pid=9715] ppid=9713 vsize=559504 CPUtime=282.3 /proc/9715/stat : 9715 (wbo1.4a) R 9713 9715 9536 0 -1 4202496 139533 0 0 0 27737 493 0 0 25 0 1 0 131532314 572932096 139392 4089446400 134512640 135751879 4289778352 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/9715/statm: 139876 139392 146 303 0 139571 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 559504 [startup+342.3 s] /proc/loadavg: 2.02 2.09 2.06 3/197 9725 /proc/meminfo: memFree=30436776/32951124 swapFree=67111528/67111528 [pid=9715] ppid=9713 vsize=636952 CPUtime=342.31 /proc/9715/stat : 9715 (wbo1.4a) R 9713 9715 9536 0 -1 4202496 158925 0 0 0 33634 597 0 0 25 0 1 0 131532314 652238848 158784 4089446400 134512640 135751879 4289778352 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/9715/statm: 159238 158784 146 303 0 158933 0 Current children cumulated CPU time (s) 342.31 Current children cumulated vsize (KiB) 636952 [startup+402.3 s] /proc/loadavg: 2.06 2.08 2.06 3/197 9726 /proc/meminfo: memFree=30338996/32951124 swapFree=67111528/67111528 [pid=9715] ppid=9713 vsize=716984 CPUtime=402.3 /proc/9715/stat : 9715 (wbo1.4a) R 9713 9715 9536 0 -1 4202496 178927 0 0 0 39528 702 0 0 25 0 1 0 131532314 734191616 178786 4089446400 134512640 135751879 4289778352 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/9715/statm: 179246 178786 146 303 0 178941 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 716984 [startup+462.3 s] /proc/loadavg: 2.49 2.18 2.09 3/197 9728 /proc/meminfo: memFree=30192372/32951124 swapFree=67111528/67111528 [pid=9715] ppid=9713 vsize=832780 CPUtime=462.3 /proc/9715/stat : 9715 (wbo1.4a) R 9713 9715 9536 0 -1 4202496 207823 0 0 0 45424 806 0 0 25 0 1 0 131532314 852766720 207682 4089446400 134512640 135751879 4289778352 18446744073709551615 134616526 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/9715/statm: 208195 207682 146 303 0 207890 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 832780 [startup+522.3 s] /proc/loadavg: 2.18 2.14 2.09 3/197 9739 /proc/meminfo: memFree=30079220/32951124 swapFree=67111528/67111528 [pid=9715] ppid=9713 vsize=940556 CPUtime=522.3 /proc/9715/stat : 9715 (wbo1.4a) R 9713 9715 9536 0 -1 4202496 234837 0 0 0 51343 887 0 0 25 0 1 0 131532314 963129344 234696 4089446400 134512640 135751879 4289778352 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/9715/statm: 235139 234696 146 303 0 234834 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 940556 Solver just ended. Dumping a history of the last processes samples [startup+537.501 s] /proc/loadavg: 2.70 2.25 2.12 3/197 9739 /proc/meminfo: memFree=30079016/32951124 swapFree=67111528/67111528 [pid=9715] ppid=9713 vsize=940556 CPUtime=537.51 /proc/9715/stat : 9715 (wbo1.4a) R 9713 9715 9536 0 -1 4202496 234837 0 0 0 52835 916 0 0 25 0 1 0 131532314 963129344 234696 4089446400 134512640 135751879 4289778352 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/9715/statm: 235139 234696 146 303 0 234834 0 Current children cumulated CPU time (s) 537.51 Current children cumulated vsize (KiB) 940556 [startup+550.3 s] /proc/loadavg: 2.59 2.24 2.12 3/197 9739 /proc/meminfo: memFree=30073184/32951124 swapFree=67111528/67111528 [pid=9715] ppid=9713 vsize=946776 CPUtime=550.31 /proc/9715/stat : 9715 (wbo1.4a) R 9713 9715 9536 0 -1 4202496 236415 0 0 0 54095 936 0 0 25 0 1 0 131532314 969498624 236274 4089446400 134512640 135751879 4289778352 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/9715/statm: 236694 236274 146 303 0 236389 0 Current children cumulated CPU time (s) 550.31 Current children cumulated vsize (KiB) 946776 [startup+563.101 s] /proc/loadavg: 2.46 2.23 2.12 3/197 9739 /proc/meminfo: memFree=30056676/32951124 swapFree=67111528/67111528 [pid=9715] ppid=9713 vsize=962916 CPUtime=563.11 /proc/9715/stat : 9715 (wbo1.4a) R 9713 9715 9536 0 -1 4202496 240443 0 0 0 55356 955 0 0 25 0 1 0 131532314 986025984 240302 4089446400 134512640 135751879 4289778352 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/9715/statm: 240729 240302 146 303 0 240424 0 Current children cumulated CPU time (s) 563.11 Current children cumulated vsize (KiB) 962916 [startup+569.501 s] /proc/loadavg: 2.42 2.23 2.12 3/197 9740 /proc/meminfo: memFree=30049484/32951124 swapFree=67111528/67111528 [pid=9715] ppid=9713 vsize=971376 CPUtime=569.5 /proc/9715/stat : 9715 (wbo1.4a) R 9713 9715 9536 0 -1 4202496 242549 0 0 0 55986 964 0 0 25 0 1 0 131532314 994689024 242408 4089446400 134512640 135751879 4289778352 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/9715/statm: 242844 242408 146 303 0 242539 0 Current children cumulated CPU time (s) 569.5 Current children cumulated vsize (KiB) 971376 [startup+572.7 s] /proc/loadavg: 2.39 2.22 2.11 3/197 9740 /proc/meminfo: memFree=30045144/32951124 swapFree=67111528/67111528 [pid=9715] ppid=9713 vsize=975344 CPUtime=572.7 /proc/9715/stat : 9715 (wbo1.4a) R 9713 9715 9536 0 -1 4202496 243526 0 0 0 56301 969 0 0 25 0 1 0 131532314 998752256 243385 4089446400 134512640 135751879 4289778352 18446744073709551615 134602448 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/9715/statm: 243836 243385 146 303 0 243531 0 Current children cumulated CPU time (s) 572.7 Current children cumulated vsize (KiB) 975344 [startup+574.301 s] /proc/loadavg: 2.39 2.22 2.11 3/197 9740 /proc/meminfo: memFree=30042292/32951124 swapFree=67111528/67111528 [pid=9715] ppid=9713 vsize=977588 CPUtime=574.31 /proc/9715/stat : 9715 (wbo1.4a) R 9713 9715 9536 0 -1 4202496 244080 0 0 0 56459 972 0 0 25 0 1 0 131532314 1001050112 243939 4089446400 134512640 135751879 4289778352 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/9715/statm: 244397 243939 146 303 0 244092 0 Current children cumulated CPU time (s) 574.31 Current children cumulated vsize (KiB) 977588 [startup+574.701 s] /proc/loadavg: 2.39 2.22 2.11 3/197 9740 /proc/meminfo: memFree=30042292/32951124 swapFree=67111528/67111528 [pid=9715] ppid=9713 vsize=977984 CPUtime=574.71 /proc/9715/stat : 9715 (wbo1.4a) R 9713 9715 9536 0 -1 4202496 244192 0 0 0 56498 973 0 0 25 0 1 0 131532314 1001455616 244051 4089446400 134512640 135751879 4289778352 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/9715/statm: 244496 244051 146 303 0 244191 0 Current children cumulated CPU time (s) 574.71 Current children cumulated vsize (KiB) 977984 [startup+575.101 s] /proc/loadavg: 2.39 2.22 2.11 3/197 9740 /proc/meminfo: memFree=30042292/32951124 swapFree=67111528/67111528 [pid=9715] ppid=9713 vsize=978516 CPUtime=575.1 /proc/9715/stat : 9715 (wbo1.4a) R 9713 9715 9536 0 -1 4202496 244326 0 0 0 56537 973 0 0 25 0 1 0 131532314 1002000384 244185 4089446400 134512640 135751879 4289778352 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/9715/statm: 244629 244185 146 303 0 244324 0 Current children cumulated CPU time (s) 575.1 Current children cumulated vsize (KiB) 978516 [startup+575.201 s] /proc/loadavg: 2.39 2.22 2.11 3/197 9740 /proc/meminfo: memFree=30040928/32951124 swapFree=67111528/67111528 [pid=9715] ppid=9713 vsize=978648 CPUtime=575.21 /proc/9715/stat : 9715 (wbo1.4a) R 9713 9715 9536 0 -1 4202496 244362 0 0 0 56548 973 0 0 25 0 1 0 131532314 1002135552 244221 4089446400 134512640 135751879 4289778352 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/9715/statm: 244662 244221 146 303 0 244357 0 Current children cumulated CPU time (s) 575.21 Current children cumulated vsize (KiB) 978648 Child status: 0 Real time (s): 575.245 CPU time (s): 575.261 CPU user time (s): 565.49 CPU system time (s): 9.77051 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 978648 getrusage(RUSAGE_CHILDREN,...) data: user time used= 565.49 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= 244365 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= 14 involuntary context switches= 390 runsolver used 0.801878 second user time and 1.90671 second system time The end
Begin job on node109 at 2010-06-30 14:52:30 IDJOB=2690003 IDBENCH=78901 IDSOLVER=1200 FILE ID=node109/2690003-1277902350 PBS_JOBID= 11197242 Free space on /tmp= 74212 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900584219--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-2690003-1277902350/watcher-2690003-1277902350 -o /tmp/evaluation-result-2690003-1277902350/solver-2690003-1277902350 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690003-1277902350.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 318d96c5cecc5e1278f112ac94857622 RANDOM SEED=834810909 node109.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.817 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.63 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.817 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.817 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.817 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.817 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.82 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.817 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.817 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.817 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.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31200916 kB Buffers: 183060 kB Cached: 1042116 kB SwapCached: 0 kB Active: 883564 kB Inactive: 722056 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31200916 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2824 kB Writeback: 0 kB AnonPages: 380264 kB Mapped: 20308 kB Slab: 80180 kB PageTables: 5452 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1661740 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74208 MiB End job on node109 at 2010-06-30 15:02:05