Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | OPTIMUM | 377.992 | 377.985 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900571761--soft-66-100-0.wbo |
MD5SUM | e6a38cb3cbe3360d46534c568351a60a |
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 | 2 |
Best CPU time to get the best result obtained on this benchmark | 377.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 | 900 |
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 | 45741 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 45740 |
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-2690033-1277903935.wbo. 0.00/0.00 c Instance file HOME/instance-2690033-1277903935.wbo 0.00/0.00 c File size is 87857 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.05/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 | 7494 | 231 2707 8338 | 11789 7494 32 | 0.002 % | 0.40/0.49 c | 11338 | 231 2707 8338 | 12968 11338 33 | 0.002 % | 0.79/0.82 c | 17104 | 231 2707 8338 | 14265 10567 35 | 0.002 % | 1.29/1.35 c | 25753 | 231 2707 8338 | 15692 12031 35 | 0.002 % | 2.19/2.21 c | 38729 | 231 2707 8338 | 17261 9185 38 | 0.002 % | 3.59/3.64 c | 58190 | 231 2707 8338 | 18987 11284 36 | 0.002 % | 6.19/6.23 c | 87382 | 231 2707 8338 | 20886 11837 42 | 0.002 % | 10.29/10.35 c | 131172 | 231 2707 8338 | 22974 13664 39 | 0.002 % | 16.29/16.33 c | 196857 | 231 2707 8338 | 25272 21473 37 | 0.002 % | 25.99/26.02 c | 295383 | 231 2707 8338 | 27799 25371 40 | 0.002 % | 41.39/41.47 c | 443172 | 231 2707 8338 | 30579 17055 40 | 0.002 % | 66.19/66.21 c | 664855 | 231 2707 8338 | 33637 16869 39 | 0.002 % | 104.09/104.10 c | 997385 | 231 2707 8338 | 37001 30146 38 | 0.002 % | 145.90/145.92 c =============================================================================== 153.69/153.72 c core #1 153.69/153.72 c ============================[ Search Statistics ]============================== 153.69/153.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 153.69/153.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 153.69/153.72 c =============================================================================== 153.69/153.72 c | 0 | 694 3563 12386 | 5000 0 nan | 0.000 % | 154.00/154.01 c | 103 | 694 3563 12386 | 5500 103 24 | 0.000 % | 154.00/154.03 c | 256 | 694 3563 12386 | 6050 256 29 | 0.000 % | 154.00/154.04 c | 483 | 694 3563 12386 | 6655 483 26 | 0.000 % | 154.00/154.05 c | 820 | 694 3563 12386 | 7320 820 26 | 0.000 % | 154.00/154.07 c | 1326 | 694 3563 12386 | 8052 1326 27 | 0.000 % | 154.09/154.10 c | 2087 | 694 3563 12386 | 8857 2087 27 | 0.000 % | 154.09/154.18 c | 3226 | 694 3563 12386 | 9743 3226 28 | 0.000 % | 154.20/154.25 c | 4935 | 694 3563 12386 | 10717 4935 28 | 0.000 % | 154.29/154.37 c | 7499 | 694 3563 12386 | 11789 7499 31 | 0.000 % | 154.49/154.59 c | 11343 | 694 3563 12386 | 12968 11343 31 | 0.000 % | 154.90/154.95 c | 17112 | 694 3563 12386 | 14265 10580 33 | 0.000 % | 155.60/155.61 c | 25761 | 694 3563 12386 | 15692 12043 35 | 0.000 % | 156.59/156.67 c | 38735 | 694 3563 12386 | 17261 9229 40 | 0.000 % | 158.40/158.46 c | 58196 | 694 3563 12386 | 18987 11316 39 | 0.000 % | 161.09/161.18 c | 87389 | 694 3563 12386 | 20886 11876 37 | 0.000 % | 165.89/165.90 c | 131179 | 694 3563 12386 | 22974 13699 38 | 0.000 % | 172.99/173.03 c | 196863 | 694 3563 12386 | 25272 21677 42 | 0.000 % | 183.60/183.69 c | 295390 | 694 3563 12386 | 27799 13812 35 | 0.000 % | 200.50/200.55 c | 443180 | 694 3563 12386 | 30579 19503 37 | 0.000 % | 226.00/226.07 c | 664864 | 694 3563 12386 | 33637 21217 39 | 0.000 % | 264.09/264.10 c | 997390 | 694 3563 12386 | 37001 32385 40 | 0.000 % | 326.80/326.86 c | 1496180 | 694 3563 12386 | 40701 21514 36 | 0.005 % | 351.49/351.57 c =============================================================================== 362.00/362.03 c core #2 362.00/362.03 c ============================[ Search Statistics ]============================== 362.00/362.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 362.00/362.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 362.00/362.03 c =============================================================================== 362.00/362.03 c | 0 | 1155 4406 16387 | 5000 0 nan | 0.000 % | 362.00/362.07 c | 100 | 1155 4406 16387 | 5500 100 31 | 0.000 % | 362.00/362.09 c | 250 | 1155 4406 16387 | 6050 250 27 | 0.000 % | 362.09/362.13 c | 476 | 1155 4406 16387 | 6655 476 26 | 0.000 % | 362.09/362.15 c | 814 | 1155 4406 16387 | 7320 814 30 | 0.000 % | 362.09/362.17 c | 1322 | 1155 4406 16387 | 8052 1322 31 | 0.000 % | 362.19/362.21 c | 2081 | 1155 4406 16387 | 8857 2081 31 | 0.000 % | 362.19/362.28 c | 3220 | 1155 4406 16387 | 9743 3220 31 | 0.000 % | 362.30/362.39 c | 4928 | 1155 4406 16387 | 10717 4928 31 | 0.000 % | 362.49/362.53 c | 7490 | 1155 4406 16387 | 11789 7490 30 | 0.000 % | 362.69/362.79 c | 11335 | 1155 4406 16387 | 12968 11335 32 | 0.000 % | 363.10/363.15 c | 17101 | 1155 4406 16387 | 14265 10561 33 | 0.000 % | 363.80/363.82 c | 25751 | 1155 4406 16387 | 15692 12012 34 | 0.000 % | 364.80/364.85 c | 38727 | 1155 4406 16387 | 17261 9176 38 | 0.000 % | 366.50/366.59 c | 58189 | 1155 4406 16387 | 18987 11273 37 | 0.000 % | 369.40/369.48 c | 87382 | 1155 4406 16387 | 20886 11804 42 | 0.000 % | 374.30/374.35 c | 131172 | 1155 4406 16387 | 22974 13607 42 | 0.000 % | 377.89/377.96 c =============================================================================== 377.89/377.96 c #cores: 2 377.89/377.96 c Final Weight: 2 377.89/377.96 o 2 377.89/377.96 s OPTIMUM FOUND 377.89/377.96 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 377.89/377.96 c Total CPU time: 371.066 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-2690033-1277903935/watcher-2690033-1277903935 -o /tmp/evaluation-result-2690033-1277903935/solver-2690033-1277903935 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690033-1277903935.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 3/178 11719 /proc/meminfo: memFree=31504380/32951124 swapFree=67111528/67111528 [pid=11719] ppid=11717 vsize=2660 CPUtime=0 /proc/11719/stat : 11719 (wbo1.4a) R 11717 11719 10768 0 -1 4202496 300 0 0 0 0 0 0 0 22 0 1 0 131689625 2723840 219 4089446400 134512640 135751879 4292616448 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11719/statm: 665 219 144 303 0 338 0 [startup+0.0597971 s] /proc/loadavg: 2.00 2.00 2.00 3/178 11719 /proc/meminfo: memFree=31504380/32951124 swapFree=67111528/67111528 [pid=11719] ppid=11717 vsize=3244 CPUtime=0.05 /proc/11719/stat : 11719 (wbo1.4a) R 11717 11719 10768 0 -1 4202496 462 0 0 0 5 0 0 0 22 0 1 0 131689625 3321856 359 4089446400 134512640 135751879 4292616448 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11719/statm: 811 359 143 303 0 506 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 3244 [startup+0.100876 s] /proc/loadavg: 2.00 2.00 2.00 3/178 11719 /proc/meminfo: memFree=31504380/32951124 swapFree=67111528/67111528 [pid=11719] ppid=11717 vsize=3508 CPUtime=0.09 /proc/11719/stat : 11719 (wbo1.4a) R 11717 11719 10768 0 -1 4202496 543 0 0 0 9 0 0 0 22 0 1 0 131689625 3592192 440 4089446400 134512640 135751879 4292616448 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11719/statm: 877 440 143 303 0 572 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3508 [startup+0.30082 s] /proc/loadavg: 2.00 2.00 2.00 3/178 11719 /proc/meminfo: memFree=31504380/32951124 swapFree=67111528/67111528 [pid=11719] ppid=11717 vsize=4828 CPUtime=0.29 /proc/11719/stat : 11719 (wbo1.4a) R 11717 11719 10768 0 -1 4202496 867 0 0 0 28 1 0 0 22 0 1 0 131689625 4943872 764 4089446400 134512640 135751879 4292616448 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11719/statm: 1207 764 143 303 0 902 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4828 [startup+0.700702 s] /proc/loadavg: 2.00 2.00 2.00 3/178 11719 /proc/meminfo: memFree=31504380/32951124 swapFree=67111528/67111528 [pid=11719] ppid=11717 vsize=6864 CPUtime=0.69 /proc/11719/stat : 11719 (wbo1.4a) R 11717 11719 10768 0 -1 4202496 1380 0 0 0 66 3 0 0 24 0 1 0 131689625 7028736 1277 4089446400 134512640 135751879 4292616448 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11719/statm: 1716 1277 143 303 0 1411 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6864 [startup+1.50057 s] /proc/loadavg: 2.00 2.00 2.00 5/179 11720 /proc/meminfo: memFree=31498668/32951124 swapFree=67111528/67111528 [pid=11719] ppid=11717 vsize=10560 CPUtime=1.49 /proc/11719/stat : 11719 (wbo1.4a) R 11717 11719 10768 0 -1 4202496 2299 0 0 0 143 6 0 0 25 0 1 0 131689625 10813440 2196 4089446400 134512640 135751879 4292616448 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11719/statm: 2640 2197 143 303 0 2335 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10560 [startup+3.1003 s] /proc/loadavg: 2.00 2.00 2.00 4/179 11720 /proc/meminfo: memFree=31493956/32951124 swapFree=67111528/67111528 [pid=11719] ppid=11717 vsize=17032 CPUtime=3.09 /proc/11719/stat : 11719 (wbo1.4a) R 11717 11719 10768 0 -1 4202496 3933 0 0 0 297 12 0 0 25 0 1 0 131689625 17440768 3830 4089446400 134512640 135751879 4292616448 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11719/statm: 4258 3830 143 303 0 3953 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17032 [startup+6.30076 s] /proc/loadavg: 2.00 2.00 2.00 4/179 11720 /proc/meminfo: memFree=31481928/32951124 swapFree=67111528/67111528 [pid=11719] ppid=11717 vsize=28444 CPUtime=6.3 /proc/11719/stat : 11719 (wbo1.4a) R 11717 11719 10768 0 -1 4202496 6766 0 0 0 609 21 0 0 25 0 1 0 131689625 29126656 6663 4089446400 134512640 135751879 4292616448 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11719/statm: 7111 6663 143 303 0 6806 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 28444 [startup+12.7007 s] /proc/loadavg: 2.00 2.00 2.00 4/179 11720 /proc/meminfo: memFree=31462096/32951124 swapFree=67111528/67111528 [pid=11719] ppid=11717 vsize=48264 CPUtime=12.69 /proc/11719/stat : 11719 (wbo1.4a) R 11717 11719 10768 0 -1 4202496 11736 0 0 0 1234 35 0 0 25 0 1 0 131689625 49422336 11633 4089446400 134512640 135751879 4292616448 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11719/statm: 12066 11633 143 303 0 11761 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 48264 [startup+25.5005 s] /proc/loadavg: 2.00 2.00 2.00 4/179 11722 /proc/meminfo: memFree=31422152/32951124 swapFree=67111528/67111528 [pid=11719] ppid=11717 vsize=86876 CPUtime=25.49 /proc/11719/stat : 11719 (wbo1.4a) R 11717 11719 10768 0 -1 4202496 21395 0 0 0 2485 64 0 0 25 0 1 0 131689625 88961024 21292 4089446400 134512640 135751879 4292616448 18446744073709551615 134616371 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11719/statm: 21719 21292 143 303 0 21414 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 86876 [startup+51.1002 s] /proc/loadavg: 2.00 2.00 2.00 4/179 11722 /proc/meminfo: memFree=31351032/32951124 swapFree=67111528/67111528 [pid=11719] ppid=11717 vsize=156340 CPUtime=51.09 /proc/11719/stat : 11719 (wbo1.4a) R 11717 11719 10768 0 -1 4202496 38735 0 0 0 4995 114 0 0 25 0 1 0 131689625 160092160 38632 4089446400 134512640 135751879 4292616448 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11719/statm: 39085 38632 143 303 0 38780 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 156340 [startup+102.307 s] /proc/loadavg: 2.00 2.00 2.00 4/179 11724 /proc/meminfo: memFree=31216344/32951124 swapFree=67111528/67111528 [pid=11719] ppid=11717 vsize=288760 CPUtime=102.3 /proc/11719/stat : 11719 (wbo1.4a) R 11717 11719 10768 0 -1 4202496 71816 0 0 0 10026 204 0 0 25 0 1 0 131689625 295690240 71713 4089446400 134512640 135751879 4292616448 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11719/statm: 72190 71714 143 303 0 71885 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 288760 [startup+162.301 s] /proc/loadavg: 2.06 2.03 2.01 4/179 11724 /proc/meminfo: memFree=31068260/32951124 swapFree=67111528/67111528 [pid=11719] ppid=11717 vsize=435836 CPUtime=162.29 /proc/11719/stat : 11719 (wbo1.4a) R 11717 11719 10768 0 -1 4202496 108650 0 0 0 15928 301 0 0 25 0 1 0 131689625 446296064 108510 4089446400 134512640 135751879 4292616448 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11719/statm: 108959 108510 146 303 0 108654 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 435836 [startup+222.3 s] /proc/loadavg: 2.02 2.02 2.00 4/179 11726 /proc/meminfo: memFree=31036716/32951124 swapFree=67111528/67111528 [pid=11719] ppid=11717 vsize=466648 CPUtime=222.29 /proc/11719/stat : 11719 (wbo1.4a) R 11717 11719 10768 0 -1 4202496 116365 0 0 0 21810 419 0 0 25 0 1 0 131689625 477847552 116225 4089446400 134512640 135751879 4292616448 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11719/statm: 116662 116225 146 303 0 116357 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 466648 [startup+282.3 s] /proc/loadavg: 2.01 2.01 2.00 4/179 11728 /proc/meminfo: memFree=30919976/32951124 swapFree=67111528/67111528 [pid=11719] ppid=11717 vsize=583796 CPUtime=282.3 /proc/11719/stat : 11719 (wbo1.4a) R 11717 11719 10768 0 -1 4202496 145621 0 0 0 27695 535 0 0 25 0 1 0 131689625 597807104 145481 4089446400 134512640 135751879 4292616448 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11719/statm: 145949 145481 146 303 0 145644 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 583796 [startup+342.3 s] /proc/loadavg: 2.00 2.01 2.00 4/179 11730 /proc/meminfo: memFree=30779924/32951124 swapFree=67111528/67111528 [pid=11719] ppid=11717 vsize=721192 CPUtime=342.3 /proc/11719/stat : 11719 (wbo1.4a) R 11717 11719 10768 0 -1 4202496 179975 0 0 0 33592 638 0 0 25 0 1 0 131689625 738500608 179835 4089446400 134512640 135751879 4292616448 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11719/statm: 180298 179835 146 303 0 179993 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 721192 Solver just ended. Dumping a history of the last processes samples [startup+358.301 s] /proc/loadavg: 2.00 2.01 2.00 4/179 11730 /proc/meminfo: memFree=30713208/32951124 swapFree=67111528/67111528 [pid=11719] ppid=11717 vsize=786852 CPUtime=358.3 /proc/11719/stat : 11719 (wbo1.4a) R 11717 11719 10768 0 -1 4202496 196395 0 0 0 35175 655 0 0 25 0 1 0 131689625 805736448 196255 4089446400 134512640 135751879 4292616448 18446744073709551615 134618457 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11719/statm: 196713 196255 146 303 0 196408 0 Current children cumulated CPU time (s) 358.3 Current children cumulated vsize (KiB) 786852 [startup+371.1 s] /proc/loadavg: 2.00 2.01 2.00 4/179 11730 /proc/meminfo: memFree=30712824/32951124 swapFree=67111528/67111528 [pid=11719] ppid=11717 vsize=787248 CPUtime=371.09 /proc/11719/stat : 11719 (wbo1.4a) R 11717 11719 10768 0 -1 4202496 196495 0 0 0 36433 676 0 0 25 0 1 0 131689625 806141952 196355 4089446400 134512640 135751879 4292616448 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11719/statm: 196812 196355 146 303 0 196507 0 Current children cumulated CPU time (s) 371.09 Current children cumulated vsize (KiB) 787248 [startup+374.301 s] /proc/loadavg: 2.00 2.01 2.00 4/179 11730 /proc/meminfo: memFree=30712944/32951124 swapFree=67111528/67111528 [pid=11719] ppid=11717 vsize=787248 CPUtime=374.3 /proc/11719/stat : 11719 (wbo1.4a) R 11717 11719 10768 0 -1 4202496 196495 0 0 0 36746 684 0 0 25 0 1 0 131689625 806141952 196355 4089446400 134512640 135751879 4292616448 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11719/statm: 196812 196355 146 303 0 196507 0 Current children cumulated CPU time (s) 374.3 Current children cumulated vsize (KiB) 787248 [startup+375.901 s] /proc/loadavg: 2.00 2.01 2.00 4/179 11730 /proc/meminfo: memFree=30712820/32951124 swapFree=67111528/67111528 [pid=11719] ppid=11717 vsize=787248 CPUtime=375.9 /proc/11719/stat : 11719 (wbo1.4a) R 11717 11719 10768 0 -1 4202496 196495 0 0 0 36903 687 0 0 25 0 1 0 131689625 806141952 196355 4089446400 134512640 135751879 4292616448 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11719/statm: 196812 196355 146 303 0 196507 0 Current children cumulated CPU time (s) 375.9 Current children cumulated vsize (KiB) 787248 [startup+376.7 s] /proc/loadavg: 2.00 2.00 2.00 4/179 11730 /proc/meminfo: memFree=30712820/32951124 swapFree=67111528/67111528 [pid=11719] ppid=11717 vsize=787248 CPUtime=376.7 /proc/11719/stat : 11719 (wbo1.4a) R 11717 11719 10768 0 -1 4202496 196495 0 0 0 36982 688 0 0 25 0 1 0 131689625 806141952 196355 4089446400 134512640 135751879 4292616448 18446744073709551615 134616532 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11719/statm: 196812 196355 146 303 0 196507 0 Current children cumulated CPU time (s) 376.7 Current children cumulated vsize (KiB) 787248 [startup+377.5 s] /proc/loadavg: 2.00 2.00 2.00 4/179 11730 /proc/meminfo: memFree=30712820/32951124 swapFree=67111528/67111528 [pid=11719] ppid=11717 vsize=787248 CPUtime=377.5 /proc/11719/stat : 11719 (wbo1.4a) R 11717 11719 10768 0 -1 4202496 196495 0 0 0 37061 689 0 0 25 0 1 0 131689625 806141952 196355 4089446400 134512640 135751879 4292616448 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11719/statm: 196812 196355 146 303 0 196507 0 Current children cumulated CPU time (s) 377.5 Current children cumulated vsize (KiB) 787248 [startup+377.9 s] /proc/loadavg: 2.00 2.00 2.00 4/179 11730 /proc/meminfo: memFree=30712820/32951124 swapFree=67111528/67111528 [pid=11719] ppid=11717 vsize=787248 CPUtime=377.89 /proc/11719/stat : 11719 (wbo1.4a) R 11717 11719 10768 0 -1 4202496 196495 0 0 0 37100 689 0 0 25 0 1 0 131689625 806141952 196355 4089446400 134512640 135751879 4292616448 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11719/statm: 196812 196355 146 303 0 196507 0 Current children cumulated CPU time (s) 377.89 Current children cumulated vsize (KiB) 787248 Child status: 0 Real time (s): 377.985 CPU time (s): 377.992 CPU user time (s): 371.066 CPU system time (s): 6.92595 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 787248 getrusage(RUSAGE_CHILDREN,...) data: user time used= 371.066 system time used= 6.92595 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 196495 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= 5 involuntary context switches= 291 runsolver used 0.531919 second user time and 1.19382 second system time The end
Begin job on node130 at 2010-06-30 15:18:56 IDJOB=2690033 IDBENCH=78916 IDSOLVER=1200 FILE ID=node130/2690033-1277903935 PBS_JOBID= 11197193 Free space on /tmp= 74204 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900571761--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-2690033-1277903935/watcher-2690033-1277903935 -o /tmp/evaluation-result-2690033-1277903935/solver-2690033-1277903935 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690033-1277903935.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= e6a38cb3cbe3360d46534c568351a60a RANDOM SEED=1721475318 node130.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.796 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.59 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.796 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.67 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.796 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.796 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.72 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.796 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.796 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.63 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.796 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.82 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.796 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 : 5237.09 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31505032 kB Buffers: 188736 kB Cached: 969084 kB SwapCached: 0 kB Active: 615700 kB Inactive: 687592 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31505032 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2828 kB Writeback: 0 kB AnonPages: 145644 kB Mapped: 17740 kB Slab: 77696 kB PageTables: 5084 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 297848 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 node130 at 2010-06-30 15:25:14