Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 | OPTIMUM | 1024.77 | 1024.74 |
Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900557574--soft-0-100-0.wbo |
MD5SUM | c0d431beb578ab67ce1970cb297cf650 |
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 | 6 |
Best CPU time to get the best result obtained on this benchmark | 514.642 |
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 | 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 PB/CT 0.1.1 http://www.residual.se/pbct 0.00/0.00 c Based on OpenSMT/CT 20091015 0.00/0.01 c constraints 0/23 clauses 0/2684 units 0 0.00/0.01 c vars 231 0.09/0.10 c 0.098984 19.9766 50 5697 0.09/0.10 o 623 0.09/0.13 c 0.114982 20.2109 74 10141 0.09/0.13 o 609 0.09/0.13 c 0.118981 20.4453 74 11717 0.09/0.13 o 578 0.09/0.14 c 0.119981 20.4453 74 14547 0.09/0.14 o 441 0.09/0.19 c 0.149977 20.4453 128 15783 0.09/0.19 o 420 0.09/0.19 c 0.153976 20.4453 129 16170 0.09/0.19 o 412 0.79/0.86 c 0.556915 20.4453 1113 26184 0.79/0.86 o 406 1.00/1.07 c 0.685895 20.4453 765 30906 1.00/1.07 o 404 1.49/1.56 c 0.970852 20.4453 1407 34107 1.49/1.56 o 402 2.09/2.13 c 1.3198 20.4453 845 40448 2.09/2.13 o 400 2.19/2.28 c 1.41778 20.4453 1102 45600 2.19/2.28 o 387 2.29/2.31 c 1.43578 20.4453 1145 46755 2.29/2.31 o 384 2.49/2.57 c 1.60376 20.4453 847 49537 2.49/2.57 o 362 2.79/2.88 c 1.79773 20.4453 1297 53229 2.79/2.88 o 339 2.89/2.96 c 1.84172 20.4453 754 54222 2.89/2.96 o 334 3.20/3.21 c 2.0027 20.4453 609 56816 3.20/3.21 o 316 3.20/3.28 c 2.04469 20.4453 721 58317 3.20/3.28 o 307 3.39/3.49 c 2.17067 20.4453 985 60974 3.39/3.49 o 290 4.10/4.12 c 2.54861 20.4453 647 63985 4.10/4.12 o 282 4.49/4.51 c 2.79657 20.4453 1156 67158 4.49/4.51 o 267 5.19/5.28 c 3.2575 20.4453 1029 72231 5.19/5.28 o 235 5.39/5.47 c 3.36949 20.4453 1259 73131 5.39/5.47 o 224 5.59/5.65 c 3.48347 20.4453 771 75303 5.59/5.65 o 184 5.80/5.89 c 3.62445 20.4453 1048 76961 5.80/5.89 o 174 5.89/5.94 c 3.65844 20.4453 1106 77400 5.89/5.94 o 170 5.99/6.06 c 3.73443 20.4453 778 78320 5.99/6.06 o 167 6.09/6.15 c 3.78342 20.4453 937 78961 6.09/6.15 o 164 6.19/6.29 c 3.86041 20.4453 1105 79640 6.19/6.29 o 158 6.39/6.40 c 3.9324 20.4453 636 80326 6.39/6.40 o 147 7.90/7.91 c 4.87026 20.5742 1191 85492 7.90/7.91 o 139 7.99/8.01 c 4.93925 20.5742 762 86137 7.99/8.01 o 133 8.39/8.43 c 5.20421 20.5742 804 88314 8.39/8.43 o 124 9.09/9.14 c 5.63414 20.7031 957 91031 9.09/9.14 o 103 10.29/10.37 c 6.41502 20.7031 1013 96475 10.29/10.37 o 96 11.09/11.16 c 6.91295 20.7031 782 99099 11.09/11.16 o 92 11.69/11.78 c 7.30189 20.7031 1311 102107 11.69/11.78 o 83 12.69/12.74 c 7.9168 20.7031 1002 105345 12.69/12.74 o 78 13.29/13.36 c 8.31474 20.7031 1190 107848 13.29/13.36 o 64 13.89/13.93 c 8.71867 20.7031 1513 110363 13.89/13.93 o 62 15.49/15.52 c 9.8325 20.7031 1804 117020 15.49/15.52 o 59 20.90/20.94 c 13.5739 20.9609 1308 139885 20.90/20.94 o 55 22.19/22.28 c 14.4898 20.9609 2580 146070 22.19/22.28 o 46 25.39/25.42 c 16.8054 21.6055 2669 161827 25.39/25.42 o 43 26.29/26.38 c 17.4983 21.6055 2893 166745 26.29/26.38 o 32 28.39/28.43 c 19.1281 21.6055 2406 182504 28.39/28.43 o 31 29.49/29.50 c 19.989 21.6055 3258 191289 29.49/29.50 o 23 29.89/29.92 c 20.3299 21.6055 3008 196164 29.89/29.92 o 20 30.49/30.53 c 20.8468 21.6055 2465 203267 30.49/30.53 o 19 31.19/31.21 c 21.4157 21.6055 2149 211202 31.19/31.21 o 15 32.50/32.54 c 22.5736 21.6055 3393 226110 32.50/32.54 o 12 63.60/63.69 c 50.2074 22.3789 3858 651512 63.60/63.69 o 9 68.79/68.87 c 54.8577 22.3789 2845 727599 68.79/68.87 o 8 115.59/115.69 c 97.0712 22.3789 4187 1415404 115.59/115.69 o 7 223.20/223.24 c 194.533 22.5078 4075 3048364 223.20/223.24 o 6 1024.72/1024.71 c 924.235 23.1641 3971 15488373 1024.72/1024.71 s OPTIMUM FOUND 1024.72/1024.71 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
OK 6
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2694971-1277925253/watcher-2694971-1277925253 -o /tmp/evaluation-result-2694971-1277925253/solver-2694971-1277925253 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2694971-1277925253.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: 1.97 1.98 1.98 4/178 15843 /proc/meminfo: memFree=29237884/32951124 swapFree=67111528/67111528 [pid=15843] ppid=15841 vsize=2136 CPUtime=0 /proc/15843/stat : 15843 (pbct) R 15841 15843 13759 0 -1 4202496 254 0 0 0 0 0 0 0 25 0 1 0 133820696 2187264 173 4089446400 134512640 136421960 4286722720 18446744073709551615 135811817 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/15843/statm: 534 173 144 467 0 65 0 [startup+0.0505049 s] /proc/loadavg: 1.97 1.98 1.98 4/178 15843 /proc/meminfo: memFree=29237884/32951124 swapFree=67111528/67111528 [pid=15843] ppid=15841 vsize=11848 CPUtime=0.04 /proc/15843/stat : 15843 (pbct) R 15841 15843 13759 0 -1 4202496 2604 0 0 0 4 0 0 0 25 0 1 0 133820696 12132352 2523 4089446400 134512640 136421960 4286722720 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/15843/statm: 2962 2528 193 467 0 2493 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 11848 [startup+0.100496 s] /proc/loadavg: 1.97 1.98 1.98 4/178 15843 /proc/meminfo: memFree=29237884/32951124 swapFree=67111528/67111528 [pid=15843] ppid=15841 vsize=20452 CPUtime=0.09 /proc/15843/stat : 15843 (pbct) R 15841 15843 13759 0 -1 4202496 4754 0 0 0 9 0 0 0 25 0 1 0 133820696 20942848 4640 4089446400 134512640 136421960 4286722720 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/15843/statm: 5113 4640 213 467 0 4644 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 20452 [startup+0.300459 s] /proc/loadavg: 1.97 1.98 1.98 4/178 15843 /proc/meminfo: memFree=29237884/32951124 swapFree=67111528/67111528 [pid=15843] ppid=15841 vsize=20932 CPUtime=0.29 /proc/15843/stat : 15843 (pbct) R 15841 15843 13759 0 -1 4202496 4853 0 0 0 21 8 0 0 25 0 1 0 133820696 21434368 4733 4089446400 134512640 136421960 4286722720 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/15843/statm: 5233 4733 237 467 0 4764 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 20932 [startup+0.700387 s] /proc/loadavg: 1.97 1.98 1.98 4/178 15843 /proc/meminfo: memFree=29237884/32951124 swapFree=67111528/67111528 [pid=15843] ppid=15841 vsize=20932 CPUtime=0.69 /proc/15843/stat : 15843 (pbct) R 15841 15843 13759 0 -1 4202496 4853 0 0 0 46 23 0 0 25 0 1 0 133820696 21434368 4733 4089446400 134512640 136421960 4286722720 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/15843/statm: 5233 4733 237 467 0 4764 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 20932 [startup+1.50026 s] /proc/loadavg: 1.97 1.98 1.98 3/179 15844 /proc/meminfo: memFree=29219276/32951124 swapFree=67111528/67111528 [pid=15843] ppid=15841 vsize=20932 CPUtime=1.49 /proc/15843/stat : 15843 (pbct) R 15841 15843 13759 0 -1 4202496 4856 0 0 0 92 57 0 0 25 0 1 0 133820696 21434368 4734 4089446400 134512640 136421960 4286722720 18446744073709551615 135006003 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/15843/statm: 5233 4734 237 467 0 4764 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 20932 [startup+3.10095 s] /proc/loadavg: 1.98 1.98 1.98 3/179 15844 /proc/meminfo: memFree=29219028/32951124 swapFree=67111528/67111528 [pid=15843] ppid=15841 vsize=20932 CPUtime=3.09 /proc/15843/stat : 15843 (pbct) R 15841 15843 13759 0 -1 4202496 4870 0 0 0 192 117 0 0 25 0 1 0 133820696 21434368 4741 4089446400 134512640 136421960 4286722720 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/15843/statm: 5233 4741 237 467 0 4764 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 20932 [startup+6.30038 s] /proc/loadavg: 1.98 1.98 1.98 3/179 15844 /proc/meminfo: memFree=29217912/32951124 swapFree=67111528/67111528 [pid=15843] ppid=15841 vsize=20932 CPUtime=6.29 /proc/15843/stat : 15843 (pbct) R 15841 15843 13759 0 -1 4202496 4888 0 0 0 386 243 0 0 18 0 1 0 133820696 21434368 4746 4089446400 134512640 136421960 4286722720 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/15843/statm: 5233 4746 237 467 0 4764 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 20932 [startup+12.7002 s] /proc/loadavg: 1.98 1.98 1.98 3/179 15844 /proc/meminfo: memFree=29213324/32951124 swapFree=67111528/67111528 [pid=15843] ppid=15841 vsize=21196 CPUtime=12.69 /proc/15843/stat : 15843 (pbct) R 15841 15843 13759 0 -1 4202496 4949 0 0 0 788 481 0 0 25 0 1 0 133820696 21704704 4799 4089446400 134512640 136421960 4286722720 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/15843/statm: 5299 4799 237 467 0 4830 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 21196 [startup+25.5009 s] /proc/loadavg: 1.98 1.98 1.98 3/179 15844 /proc/meminfo: memFree=29203004/32951124 swapFree=67111528/67111528 [pid=15843] ppid=15841 vsize=22120 CPUtime=25.49 /proc/15843/stat : 15843 (pbct) R 15841 15843 13759 0 -1 4202496 5192 0 0 0 1685 864 0 0 25 0 1 0 133820696 22650880 5035 4089446400 134512640 136421960 4286722720 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/15843/statm: 5530 5035 237 467 0 5061 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 22120 [startup+51.1003 s] /proc/loadavg: 1.99 1.98 1.98 3/179 15845 /proc/meminfo: memFree=29179484/32951124 swapFree=67111528/67111528 [pid=15843] ppid=15841 vsize=22648 CPUtime=51.09 /proc/15843/stat : 15843 (pbct) R 15841 15843 13759 0 -1 4202496 5332 0 0 0 3898 1211 0 0 25 0 1 0 133820696 23191552 5168 4089446400 134512640 136421960 4286722720 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/15843/statm: 5662 5168 237 467 0 5193 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 22648 [startup+102.306 s] /proc/loadavg: 1.99 1.98 1.98 3/179 15846 /proc/meminfo: memFree=29128376/32951124 swapFree=67111528/67111528 [pid=15843] ppid=15841 vsize=22912 CPUtime=102.3 /proc/15843/stat : 15843 (pbct) R 15841 15843 13759 0 -1 4202496 5391 0 0 0 8505 1725 0 0 25 0 1 0 133820696 23461888 5225 4089446400 134512640 136421960 4286722720 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/15843/statm: 5728 5225 237 467 0 5259 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 22912 [startup+162.3 s] /proc/loadavg: 1.96 1.97 1.97 3/179 15876 /proc/meminfo: memFree=31097528/32951124 swapFree=67111528/67111528 [pid=15843] ppid=15841 vsize=22912 CPUtime=162.3 /proc/15843/stat : 15843 (pbct) R 15841 15843 13759 0 -1 4202496 5392 0 0 0 13914 2316 0 0 25 0 1 0 133820696 23461888 5225 4089446400 134512640 136421960 4286722720 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/15843/statm: 5728 5225 237 467 0 5259 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 22912 [startup+222.3 s] /proc/loadavg: 1.98 1.97 1.97 3/179 15878 /proc/meminfo: memFree=30987388/32951124 swapFree=67111528/67111528 [pid=15843] ppid=15841 vsize=23044 CPUtime=222.3 /proc/15843/stat : 15843 (pbct) R 15841 15843 13759 0 -1 4202496 5433 0 0 0 19369 2861 0 0 25 0 1 0 133820696 23597056 5266 4089446400 134512640 136421960 4286722720 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/15843/statm: 5761 5266 237 467 0 5292 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 23044 [startup+282.301 s] /proc/loadavg: 1.99 1.97 1.97 3/179 15880 /proc/meminfo: memFree=30905632/32951124 swapFree=67111528/67111528 [pid=15843] ppid=15841 vsize=23044 CPUtime=282.3 /proc/15843/stat : 15843 (pbct) R 15841 15843 13759 0 -1 4202496 5445 0 0 0 24840 3390 0 0 25 0 1 0 133820696 23597056 5277 4089446400 134512640 136421960 4286722720 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/15843/statm: 5761 5277 237 467 0 5292 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 23044 [startup+342.301 s] /proc/loadavg: 1.99 1.97 1.97 3/179 15881 /proc/meminfo: memFree=30829588/32951124 swapFree=67111528/67111528 [pid=15843] ppid=15841 vsize=23176 CPUtime=342.3 /proc/15843/stat : 15843 (pbct) R 15841 15843 13759 0 -1 4202496 5464 0 0 0 30280 3950 0 0 25 0 1 0 133820696 23732224 5296 4089446400 134512640 136421960 4286722720 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/15843/statm: 5794 5296 237 467 0 5325 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 23176 [startup+402.301 s] /proc/loadavg: 1.99 1.97 1.97 3/179 15882 /proc/meminfo: memFree=30777604/32951124 swapFree=67111528/67111528 [pid=15843] ppid=15841 vsize=23312 CPUtime=402.3 /proc/15843/stat : 15843 (pbct) R 15841 15843 13759 0 -1 4202496 5482 0 0 0 35759 4471 0 0 25 0 1 0 133820696 23871488 5314 4089446400 134512640 136421960 4286722720 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/15843/statm: 5828 5314 237 467 0 5359 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 23312 [startup+462.301 s] /proc/loadavg: 2.03 1.99 1.98 3/179 15884 /proc/meminfo: memFree=30722000/32951124 swapFree=67111528/67111528 [pid=15843] ppid=15841 vsize=23312 CPUtime=462.31 /proc/15843/stat : 15843 (pbct) R 15841 15843 13759 0 -1 4202496 5490 0 0 0 41170 5061 0 0 25 0 1 0 133820696 23871488 5322 4089446400 134512640 136421960 4286722720 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/15843/statm: 5828 5322 237 467 0 5359 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 23312 [startup+522.3 s] /proc/loadavg: 2.01 1.99 1.98 3/179 15886 /proc/meminfo: memFree=30693940/32951124 swapFree=67111528/67111528 [pid=15843] ppid=15841 vsize=23452 CPUtime=522.31 /proc/15843/stat : 15843 (pbct) R 15841 15843 13759 0 -1 4202496 5512 0 0 0 46641 5590 0 0 25 0 1 0 133820696 24014848 5344 4089446400 134512640 136421960 4286722720 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/15843/statm: 5863 5344 237 467 0 5394 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 23452 [startup+582.3 s] /proc/loadavg: 2.00 1.99 1.98 3/179 15888 /proc/meminfo: memFree=30678016/32951124 swapFree=67111528/67111528 [pid=15843] ppid=15841 vsize=23452 CPUtime=582.31 /proc/15843/stat : 15843 (pbct) R 15841 15843 13759 0 -1 4202496 5529 0 0 0 52115 6116 0 0 25 0 1 0 133820696 24014848 5361 4089446400 134512640 136421960 4286722720 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/15843/statm: 5863 5361 237 467 0 5394 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 23452 [startup+642.301 s] /proc/loadavg: 2.00 1.99 1.98 3/179 15889 /proc/meminfo: memFree=30670396/32951124 swapFree=67111528/67111528 [pid=15843] ppid=15841 vsize=23452 CPUtime=642.31 /proc/15843/stat : 15843 (pbct) R 15841 15843 13759 0 -1 4202496 5544 0 0 0 57608 6623 0 0 25 0 1 0 133820696 24014848 5376 4089446400 134512640 136421960 4286722720 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/15843/statm: 5863 5376 237 467 0 5394 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 23452 [startup+702.301 s] /proc/loadavg: 2.04 2.00 1.98 3/179 15890 /proc/meminfo: memFree=30669384/32951124 swapFree=67111528/67111528 [pid=15843] ppid=15841 vsize=23584 CPUtime=702.31 /proc/15843/stat : 15843 (pbct) R 15841 15843 13759 0 -1 4202496 5552 0 0 0 63101 7130 0 0 25 0 1 0 133820696 24150016 5384 4089446400 134512640 136421960 4286722720 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/15843/statm: 5896 5384 237 467 0 5427 0 Current children cumulated CPU time (s) 702.31 Current children cumulated vsize (KiB) 23584 [startup+762.307 s] /proc/loadavg: 2.01 2.00 1.98 3/179 15892 /proc/meminfo: memFree=30667088/32951124 swapFree=67111528/67111528 [pid=15843] ppid=15841 vsize=23584 CPUtime=762.32 /proc/15843/stat : 15843 (pbct) R 15841 15843 13759 0 -1 4202496 5572 0 0 0 68529 7703 0 0 25 0 1 0 133820696 24150016 5404 4089446400 134512640 136421960 4286722720 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/15843/statm: 5896 5404 237 467 0 5427 0 Current children cumulated CPU time (s) 762.32 Current children cumulated vsize (KiB) 23584 [startup+822.301 s] /proc/loadavg: 2.00 2.00 1.98 3/179 15894 /proc/meminfo: memFree=30664704/32951124 swapFree=67111528/67111528 [pid=15843] ppid=15841 vsize=23716 CPUtime=822.31 /proc/15843/stat : 15843 (pbct) R 15841 15843 13759 0 -1 4202496 5584 0 0 0 74000 8231 0 0 25 0 1 0 133820696 24285184 5416 4089446400 134512640 136421960 4286722720 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/15843/statm: 5929 5416 237 467 0 5460 0 Current children cumulated CPU time (s) 822.31 Current children cumulated vsize (KiB) 23716 [startup+882.3 s] /proc/loadavg: 2.00 2.00 1.98 3/179 15896 /proc/meminfo: memFree=30662680/32951124 swapFree=67111528/67111528 [pid=15843] ppid=15841 vsize=23716 CPUtime=882.32 /proc/15843/stat : 15843 (pbct) R 15841 15843 13759 0 -1 4202496 5590 0 0 0 79474 8758 0 0 25 0 1 0 133820696 24285184 5422 4089446400 134512640 136421960 4286722720 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/15843/statm: 5929 5422 237 467 0 5460 0 Current children cumulated CPU time (s) 882.32 Current children cumulated vsize (KiB) 23716 [startup+942.3 s] /proc/loadavg: 2.00 2.00 1.98 3/179 15897 /proc/meminfo: memFree=30662032/32951124 swapFree=67111528/67111528 [pid=15843] ppid=15841 vsize=23716 CPUtime=942.32 /proc/15843/stat : 15843 (pbct) R 15841 15843 13759 0 -1 4202496 5592 0 0 0 84934 9298 0 0 25 0 1 0 133820696 24285184 5424 4089446400 134512640 136421960 4286722720 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/15843/statm: 5929 5424 237 467 0 5460 0 Current children cumulated CPU time (s) 942.32 Current children cumulated vsize (KiB) 23716 [startup+1002.3 s] /proc/loadavg: 2.05 2.01 1.99 3/179 15898 /proc/meminfo: memFree=30659516/32951124 swapFree=67111528/67111528 [pid=15843] ppid=15841 vsize=23716 CPUtime=1002.32 /proc/15843/stat : 15843 (pbct) R 15841 15843 13759 0 -1 4202496 5594 0 0 0 90388 9844 0 0 25 0 1 0 133820696 24285184 5426 4089446400 134512640 136421960 4286722720 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/15843/statm: 5929 5426 237 467 0 5460 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 23716 Solver just ended. Dumping a history of the last processes samples [startup+1011.1 s] /proc/loadavg: 2.05 2.01 1.99 3/179 15899 /proc/meminfo: memFree=30658888/32951124 swapFree=67111528/67111528 [pid=15843] ppid=15841 vsize=23716 CPUtime=1011.12 /proc/15843/stat : 15843 (pbct) R 15841 15843 13759 0 -1 4202496 5594 0 0 0 91189 9923 0 0 25 0 1 0 133820696 24285184 5426 4089446400 134512640 136421960 4286722720 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/15843/statm: 5929 5426 237 467 0 5460 0 Current children cumulated CPU time (s) 1011.12 Current children cumulated vsize (KiB) 23716 [startup+1017.51 s] /proc/loadavg: 2.04 2.01 1.99 3/179 15899 /proc/meminfo: memFree=30658620/32951124 swapFree=67111528/67111528 [pid=15843] ppid=15841 vsize=23716 CPUtime=1017.52 /proc/15843/stat : 15843 (pbct) R 15841 15843 13759 0 -1 4202496 5594 0 0 0 91773 9979 0 0 25 0 1 0 133820696 24285184 5426 4089446400 134512640 136421960 4286722720 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/15843/statm: 5929 5426 237 467 0 5460 0 Current children cumulated CPU time (s) 1017.52 Current children cumulated vsize (KiB) 23716 [startup+1020.7 s] /proc/loadavg: 2.04 2.01 1.99 3/179 15899 /proc/meminfo: memFree=30658620/32951124 swapFree=67111528/67111528 [pid=15843] ppid=15841 vsize=23716 CPUtime=1020.73 /proc/15843/stat : 15843 (pbct) R 15841 15843 13759 0 -1 4202496 5595 0 0 0 92061 10012 0 0 25 0 1 0 133820696 24285184 5427 4089446400 134512640 136421960 4286722720 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/15843/statm: 5929 5427 237 467 0 5460 0 Current children cumulated CPU time (s) 1020.73 Current children cumulated vsize (KiB) 23716 [startup+1022.3 s] /proc/loadavg: 2.04 2.01 1.99 3/179 15899 /proc/meminfo: memFree=30658496/32951124 swapFree=67111528/67111528 [pid=15843] ppid=15841 vsize=23716 CPUtime=1022.32 /proc/15843/stat : 15843 (pbct) R 15841 15843 13759 0 -1 4202496 5595 0 0 0 92204 10028 0 0 25 0 1 0 133820696 24285184 5427 4089446400 134512640 136421960 4286722720 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/15843/statm: 5929 5427 237 467 0 5460 0 Current children cumulated CPU time (s) 1022.32 Current children cumulated vsize (KiB) 23716 [startup+1023.9 s] /proc/loadavg: 2.04 2.01 1.99 3/179 15899 /proc/meminfo: memFree=30657388/32951124 swapFree=67111528/67111528 [pid=15843] ppid=15841 vsize=23716 CPUtime=1023.92 /proc/15843/stat : 15843 (pbct) R 15841 15843 13759 0 -1 4202496 5595 0 0 0 92348 10044 0 0 25 0 1 0 133820696 24285184 5427 4089446400 134512640 136421960 4286722720 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/15843/statm: 5929 5427 237 467 0 5460 0 Current children cumulated CPU time (s) 1023.92 Current children cumulated vsize (KiB) 23716 [startup+1024.3 s] /proc/loadavg: 2.04 2.01 1.99 3/179 15899 /proc/meminfo: memFree=30657388/32951124 swapFree=67111528/67111528 [pid=15843] ppid=15841 vsize=23716 CPUtime=1024.32 /proc/15843/stat : 15843 (pbct) R 15841 15843 13759 0 -1 4202496 5595 0 0 0 92385 10047 0 0 25 0 1 0 133820696 24285184 5427 4089446400 134512640 136421960 4286722720 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/15843/statm: 5929 5427 237 467 0 5460 0 Current children cumulated CPU time (s) 1024.32 Current children cumulated vsize (KiB) 23716 [startup+1024.7 s] /proc/loadavg: 2.04 2.01 1.99 3/179 15899 /proc/meminfo: memFree=30657388/32951124 swapFree=67111528/67111528 [pid=15843] ppid=15841 vsize=23716 CPUtime=1024.72 /proc/15843/stat : 15843 (pbct) R 15841 15843 13759 0 -1 4202496 5595 0 0 0 92422 10050 0 0 25 0 1 0 133820696 24285184 5427 4089446400 134512640 136421960 4286722720 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/15843/statm: 5929 5427 237 467 0 5460 0 Current children cumulated CPU time (s) 1024.72 Current children cumulated vsize (KiB) 23716 Child status: 0 Real time (s): 1024.74 CPU time (s): 1024.77 CPU user time (s): 924.259 CPU system time (s): 100.511 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 23716 getrusage(RUSAGE_CHILDREN,...) data: user time used= 924.258 system time used= 100.511 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 5600 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= 6 involuntary context switches= 2680 runsolver used 1.75773 second user time and 3.77443 second system time The end
Begin job on node137 at 2010-06-30 21:14:13 IDJOB=2694971 IDBENCH=79258 IDSOLVER=1208 FILE ID=node137/2694971-1277925253 PBS_JOBID= 11197329 Free space on /tmp= 74208 MiB SOLVER NAME= PB/CT 0.1 BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900557574--soft-0-100-0.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2694971-1277925253/watcher-2694971-1277925253 -o /tmp/evaluation-result-2694971-1277925253/solver-2694971-1277925253 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2694971-1277925253.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= c0d431beb578ab67ce1970cb297cf650 RANDOM SEED=413930006 node137.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.876 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.75 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.876 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.876 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.74 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.876 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.876 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.75 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.876 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.876 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.876 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.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 29238404 kB Buffers: 212000 kB Cached: 1262728 kB SwapCached: 0 kB Active: 2637656 kB Inactive: 928296 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 29238404 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 1964 kB Writeback: 0 kB AnonPages: 2090828 kB Mapped: 14880 kB Slab: 80716 kB PageTables: 8456 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 2236328 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 node137 at 2010-06-30 21:31:17