Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 fixed | OPTIMUM | 1122.71 | 1122.7 |
Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900670675--soft-0-100-0.wbo |
MD5SUM | d1c4dbb5406fd100fd0c417364df25ff |
Bench Category | SOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 2 |
Best CPU time to get the best result obtained on this benchmark | 39.172 |
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 | 136368 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 136367 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 671 |
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.2 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.092985 19.9922 32 5847 0.09/0.10 o 911 0.09/0.11 c 0.095985 20.2266 34 10383 0.09/0.11 o 704 0.09/0.14 c 0.107983 20.4609 62 11197 0.09/0.14 o 682 0.09/0.14 c 0.108983 20.4609 67 11560 0.09/0.14 o 676 0.09/0.19 c 0.118981 20.4609 165 12017 0.09/0.19 o 675 0.09/0.19 c 0.120981 20.4609 172 12417 0.09/0.19 o 670 0.19/0.22 c 0.12598 20.4609 230 12808 0.19/0.22 o 669 0.19/0.23 c 0.12698 20.4609 230 13519 0.19/0.23 o 653 0.19/0.23 c 0.13098 20.4609 230 13852 0.19/0.23 o 649 0.19/0.24 c 0.13098 20.4609 230 14731 0.19/0.24 o 630 0.19/0.24 c 0.133979 20.4609 230 15755 0.19/0.24 o 599 0.19/0.25 c 0.135979 20.4609 233 17631 0.19/0.25 o 539 0.29/0.37 c 0.174973 20.4609 533 19303 0.29/0.37 o 534 0.29/0.37 c 0.175973 20.4609 533 20039 0.29/0.37 o 515 0.29/0.38 c 0.176973 20.4609 533 20450 0.29/0.38 o 509 0.29/0.39 c 0.179972 20.4609 535 21051 0.29/0.39 o 495 0.39/0.44 c 0.184971 20.4609 593 21521 0.39/0.44 o 493 0.39/0.46 c 0.186971 20.4609 630 22824 0.39/0.46 o 456 0.49/0.51 c 0.197969 20.4609 719 23698 0.49/0.51 o 435 0.49/0.54 c 0.198969 20.4609 740 24335 0.49/0.54 o 428 0.49/0.55 c 0.200969 20.4609 751 24522 0.49/0.55 o 427 0.69/0.70 c 0.224965 20.4609 959 25919 0.69/0.70 o 406 0.69/0.76 c 0.234964 20.4609 1013 26246 0.69/0.76 o 403 0.89/0.96 c 0.26196 20.4609 692 27681 0.89/0.96 o 402 0.89/0.98 c 0.264959 20.4609 714 28054 0.89/0.98 o 395 1.29/1.34 c 0.306953 20.4609 1195 30083 1.29/1.34 o 392 1.29/1.36 c 0.307953 20.4609 613 30414 1.29/1.36 o 389 1.59/1.61 c 0.370943 20.4609 928 32459 1.59/1.61 o 357 1.59/1.62 c 0.372943 20.4609 929 32962 1.59/1.62 o 345 1.59/1.62 c 0.373943 20.4609 929 33513 1.59/1.62 o 330 1.59/1.63 c 0.373943 20.4609 930 34167 1.59/1.63 o 310 1.59/1.64 c 0.373943 20.4609 932 35163 1.59/1.64 o 279 1.59/1.66 c 0.379942 20.4609 965 35947 1.59/1.66 o 255 1.69/1.70 c 0.384941 20.4609 1006 36264 1.69/1.70 o 250 1.69/1.71 c 0.386941 20.4609 1017 36738 1.69/1.71 o 240 2.20/2.23 c 0.45893 20.4609 1149 39658 2.20/2.23 o 221 2.29/2.30 c 0.468928 20.4609 1228 40012 2.29/2.30 o 218 2.39/2.42 c 0.487925 20.4609 772 40723 2.39/2.42 o 212 2.49/2.50 c 0.497924 20.4609 851 41385 2.49/2.50 o 201 2.49/2.52 c 0.502923 20.4609 882 41556 2.49/2.52 o 199 2.69/2.75 c 0.534918 20.4609 1157 43028 2.69/2.75 o 174 2.79/2.82 c 0.547916 20.5898 1248 43443 2.79/2.82 o 169 2.99/3.05 c 0.598908 20.5898 1060 44414 2.99/3.05 o 168 4.39/4.43 c 0.831873 20.5898 960 50086 4.39/4.43 o 155 5.89/5.91 c 1.16982 20.5898 965 55134 5.89/5.91 o 154 5.89/5.99 c 1.20182 20.5898 1076 56109 5.89/5.99 o 137 6.09/6.19 c 1.26281 20.5898 692 56825 6.09/6.19 o 136 6.79/6.86 c 1.48477 20.5898 994 59939 6.79/6.86 o 130 6.99/7.07 c 1.52577 20.5898 695 60852 6.99/7.07 o 129 8.09/8.17 c 1.73174 20.5898 1181 66141 8.09/8.17 o 121 8.89/8.99 c 1.89671 20.8477 970 68779 8.89/8.99 o 120 9.09/9.14 c 1.92771 20.8477 1251 69651 9.09/9.14 o 117 9.80/9.80 c 2.08268 20.8477 789 73111 9.80/9.80 o 99 10.50/10.55 c 2.23866 20.8477 756 76139 10.50/10.55 o 97 10.69/10.77 c 2.29165 20.8477 1082 77131 10.69/10.77 o 90 10.90/10.99 c 2.33664 20.8477 1435 78224 10.90/10.99 o 85 10.99/11.06 c 2.35364 20.8477 793 78461 10.99/11.06 o 83 11.09/11.15 c 2.38164 20.8477 1239 79755 11.09/11.15 o 82 11.19/11.22 c 2.40163 20.8477 1423 80321 11.19/11.22 o 76 12.59/12.62 c 2.88156 20.8477 1592 86850 12.59/12.62 o 65 12.89/12.93 c 3.02154 20.9766 1252 88437 12.89/12.93 o 62 13.59/13.67 c 3.3025 20.9766 1840 92486 13.59/13.67 o 60 13.89/13.90 c 3.36949 20.9766 2500 94112 13.89/13.90 o 49 14.19/14.29 c 3.49447 20.9766 2365 96374 14.19/14.29 o 43 14.30/14.35 c 3.52146 20.9766 1437 97314 14.30/14.35 o 35 14.70/14.76 c 3.70344 21.1055 1680 100274 14.70/14.76 o 21 14.79/14.80 c 3.72843 21.1055 1954 101022 14.79/14.80 o 10 14.79/14.85 c 3.75943 21.1055 2303 101668 14.79/14.85 o 5 18.49/18.55 c 6.50301 22.1367 3429 158496 18.49/18.55 o 3 20.79/20.84 c 8.33073 22.1367 3349 190549 20.79/20.84 o 2 1122.60/1122.67 c 848.457 24.9023 3569 15137961 1122.60/1122.67 s OPTIMUM FOUND 1122.60/1122.67 v -x1 -x2 -x3 -x4 x5 -x6 -x7 x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 x99 -x100 -x101 -x102 -x103 -x104 x105 -x106 -x107 -x108 -x109 -x110 x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 x135 -x136 -x137 -x138 -x139 -x140 -x141 x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 x231
OK 2
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2698864-1278464657/watcher-2698864-1278464657 -o /tmp/evaluation-result-2698864-1278464657/solver-2698864-1278464657 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2698864-1278464657.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.96 1.98 1.93 3/178 14612 /proc/meminfo: memFree=29623288/32950928 swapFree=67111528/67111528 [pid=14612] ppid=14610 vsize=2136 CPUtime=0 /proc/14612/stat : 14612 (pbct) R 14610 14612 13849 0 -1 4202496 253 0 0 0 0 0 0 0 20 0 1 0 14679150 2187264 172 4089446400 134512640 136422188 4294294976 18446744073709551615 135818393 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/14612/statm: 534 172 144 467 0 65 0 [startup+0.032306 s] /proc/loadavg: 1.96 1.98 1.93 3/178 14612 /proc/meminfo: memFree=29623288/32950928 swapFree=67111528/67111528 [pid=14612] ppid=14610 vsize=6904 CPUtime=0.03 /proc/14612/stat : 14612 (pbct) R 14610 14612 13849 0 -1 4202496 1409 0 0 0 3 0 0 0 21 0 1 0 14679150 7069696 1328 4089446400 134512640 136422188 4294294976 18446744073709551615 134784384 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/14612/statm: 1726 1336 193 467 0 1257 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 6904 [startup+0.1003 s] /proc/loadavg: 1.96 1.98 1.93 3/178 14612 /proc/meminfo: memFree=29623288/32950928 swapFree=67111528/67111528 [pid=14612] ppid=14610 vsize=20468 CPUtime=0.09 /proc/14612/stat : 14612 (pbct) R 14610 14612 13849 0 -1 4202496 4754 0 0 0 9 0 0 0 21 0 1 0 14679150 20959232 4640 4089446400 134512640 136422188 4294294976 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/14612/statm: 5117 4640 213 467 0 4648 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 20468 [startup+0.30026 s] /proc/loadavg: 1.96 1.98 1.93 3/178 14612 /proc/meminfo: memFree=29623288/32950928 swapFree=67111528/67111528 [pid=14612] ppid=14610 vsize=20948 CPUtime=0.29 /proc/14612/stat : 14612 (pbct) R 14610 14612 13849 0 -1 4202496 4857 0 0 0 15 14 0 0 21 0 1 0 14679150 21450752 4731 4089446400 134512640 136422188 4294294976 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/14612/statm: 5237 4731 237 467 0 4768 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 20948 [startup+0.700193 s] /proc/loadavg: 1.96 1.98 1.93 3/178 14612 /proc/meminfo: memFree=29623288/32950928 swapFree=67111528/67111528 [pid=14612] ppid=14610 vsize=20948 CPUtime=0.69 /proc/14612/stat : 14612 (pbct) R 14610 14612 13849 0 -1 4202496 4866 0 0 0 22 47 0 0 22 0 1 0 14679150 21450752 4731 4089446400 134512640 136422188 4294294976 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/14612/statm: 5237 4731 237 467 0 4768 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 20948 [startup+1.50006 s] /proc/loadavg: 1.96 1.98 1.93 3/179 14613 /proc/meminfo: memFree=29604928/32950928 swapFree=67111528/67111528 [pid=14612] ppid=14610 vsize=20948 CPUtime=1.49 /proc/14612/stat : 14612 (pbct) R 14610 14612 13849 0 -1 4202496 4886 0 0 0 33 116 0 0 25 0 1 0 14679150 21450752 4745 4089446400 134512640 136422188 4294294976 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/14612/statm: 5237 4745 237 467 0 4768 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 20948 [startup+3.10079 s] /proc/loadavg: 1.96 1.98 1.93 3/179 14613 /proc/meminfo: memFree=29604680/32950928 swapFree=67111528/67111528 [pid=14612] ppid=14610 vsize=21080 CPUtime=3.09 /proc/14612/stat : 14612 (pbct) R 14610 14612 13849 0 -1 4202496 4935 0 0 0 60 249 0 0 19 0 1 0 14679150 21585920 4778 4089446400 134512640 136422188 4294294976 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/14612/statm: 5270 4778 237 467 0 4801 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 21080 [startup+6.30025 s] /proc/loadavg: 1.97 1.98 1.93 3/179 14613 /proc/meminfo: memFree=29604836/32950928 swapFree=67111528/67111528 [pid=14612] ppid=14610 vsize=21080 CPUtime=6.29 /proc/14612/stat : 14612 (pbct) R 14610 14612 13849 0 -1 4202496 4946 0 0 0 130 499 0 0 25 0 1 0 14679150 21585920 4785 4089446400 134512640 136422188 4294294976 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/14612/statm: 5270 4785 237 467 0 4801 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 21080 [startup+12.7002 s] /proc/loadavg: 1.97 1.98 1.93 3/179 14613 /proc/meminfo: memFree=29605472/32950928 swapFree=67111528/67111528 [pid=14612] ppid=14610 vsize=21344 CPUtime=12.7 /proc/14612/stat : 14612 (pbct) R 14610 14612 13849 0 -1 4202496 5017 0 0 0 292 978 0 0 25 0 1 0 14679150 21856256 4843 4089446400 134512640 136422188 4294294976 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/14612/statm: 5336 4843 237 467 0 4867 0 Current children cumulated CPU time (s) 12.7 Current children cumulated vsize (KiB) 21344 [startup+25.501 s] /proc/loadavg: 1.98 1.98 1.93 3/179 14613 /proc/meminfo: memFree=29605456/32950928 swapFree=67111528/67111528 [pid=14612] ppid=14610 vsize=22664 CPUtime=25.49 /proc/14612/stat : 14612 (pbct) R 14610 14612 13849 0 -1 4202496 5341 0 0 0 1172 1377 0 0 25 0 1 0 14679150 23207936 5157 4089446400 134512640 136422188 4294294976 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/14612/statm: 5666 5157 237 467 0 5197 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 22664 [startup+51.1008 s] /proc/loadavg: 1.98 1.98 1.93 3/179 14613 /proc/meminfo: memFree=29605292/32950928 swapFree=67111528/67111528 [pid=14612] ppid=14610 vsize=22796 CPUtime=51.09 /proc/14612/stat : 14612 (pbct) R 14610 14612 13849 0 -1 4202496 5394 0 0 0 3117 1992 0 0 25 0 1 0 14679150 23343104 5210 4089446400 134512640 136422188 4294294976 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/14612/statm: 5699 5210 237 467 0 5230 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 22796 [startup+102.306 s] /proc/loadavg: 1.99 1.98 1.93 3/179 14615 /proc/meminfo: memFree=29605124/32950928 swapFree=67111528/67111528 [pid=14612] ppid=14610 vsize=23324 CPUtime=102.3 /proc/14612/stat : 14612 (pbct) R 14610 14612 13849 0 -1 4202496 5505 0 0 0 7065 3165 0 0 25 0 1 0 14679150 23883776 5321 4089446400 134512640 136422188 4294294976 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/14612/statm: 5831 5321 237 467 0 5362 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 23324 [startup+162.301 s] /proc/loadavg: 1.99 1.98 1.93 3/179 14617 /proc/meminfo: memFree=29604544/32950928 swapFree=67111528/67111528 [pid=14612] ppid=14610 vsize=23740 CPUtime=162.29 /proc/14612/stat : 14612 (pbct) R 14610 14612 13849 0 -1 4202496 5608 0 0 0 11621 4608 0 0 25 0 1 0 14679150 24309760 5424 4089446400 134512640 136422188 4294294976 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/14612/statm: 5935 5424 237 467 0 5466 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 23740 [startup+222.301 s] /proc/loadavg: 1.99 1.98 1.93 3/179 14619 /proc/meminfo: memFree=29604224/32950928 swapFree=67111528/67111528 [pid=14612] ppid=14610 vsize=23872 CPUtime=222.29 /proc/14612/stat : 14612 (pbct) R 14610 14612 13849 0 -1 4202496 5666 0 0 0 16218 6011 0 0 25 0 1 0 14679150 24444928 5482 4089446400 134512640 136422188 4294294976 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/14612/statm: 5968 5482 237 467 0 5499 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 23872 [startup+282.301 s] /proc/loadavg: 1.99 1.98 1.93 3/179 14620 /proc/meminfo: memFree=29603888/32950928 swapFree=67111528/67111528 [pid=14612] ppid=14610 vsize=24136 CPUtime=282.3 /proc/14612/stat : 14612 (pbct) R 14610 14612 13849 0 -1 4202496 5725 0 0 0 20793 7437 0 0 25 0 1 0 14679150 24715264 5541 4089446400 134512640 136422188 4294294976 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/14612/statm: 6034 5541 237 467 0 5565 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 24136 [startup+342.301 s] /proc/loadavg: 2.07 2.00 1.94 3/179 14621 /proc/meminfo: memFree=29603576/32950928 swapFree=67111528/67111528 [pid=14612] ppid=14610 vsize=24400 CPUtime=342.3 /proc/14612/stat : 14612 (pbct) R 14610 14612 13849 0 -1 4202496 5776 0 0 0 25411 8819 0 0 25 0 1 0 14679150 24985600 5592 4089446400 134512640 136422188 4294294976 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/14612/statm: 6100 5592 237 467 0 5631 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 24400 [startup+402.3 s] /proc/loadavg: 2.03 2.00 1.94 3/179 14623 /proc/meminfo: memFree=29603372/32950928 swapFree=67111528/67111528 [pid=14612] ppid=14610 vsize=24532 CPUtime=402.29 /proc/14612/stat : 14612 (pbct) R 14610 14612 13849 0 -1 4202496 5815 0 0 0 30002 10227 0 0 25 0 1 0 14679150 25120768 5631 4089446400 134512640 136422188 4294294976 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/14612/statm: 6133 5631 237 467 0 5664 0 Current children cumulated CPU time (s) 402.29 Current children cumulated vsize (KiB) 24532 [startup+462.3 s] /proc/loadavg: 2.01 2.00 1.94 3/179 14625 /proc/meminfo: memFree=29603044/32950928 swapFree=67111528/67111528 [pid=14612] ppid=14610 vsize=24676 CPUtime=462.29 /proc/14612/stat : 14612 (pbct) R 14610 14612 13849 0 -1 4202496 5848 0 0 0 34652 11577 0 0 25 0 1 0 14679150 25268224 5664 4089446400 134512640 136422188 4294294976 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/14612/statm: 6169 5664 237 467 0 5700 0 Current children cumulated CPU time (s) 462.29 Current children cumulated vsize (KiB) 24676 [startup+522.3 s] /proc/loadavg: 2.00 2.00 1.94 3/179 14627 /proc/meminfo: memFree=29602968/32950928 swapFree=67111528/67111528 [pid=14612] ppid=14610 vsize=24676 CPUtime=522.3 /proc/14612/stat : 14612 (pbct) R 14610 14612 13849 0 -1 4202496 5869 0 0 0 39245 12985 0 0 25 0 1 0 14679150 25268224 5685 4089446400 134512640 136422188 4294294976 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/14612/statm: 6169 5685 237 467 0 5700 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 24676 [startup+582.3 s] /proc/loadavg: 2.00 2.00 1.94 3/179 14628 /proc/meminfo: memFree=29602632/32950928 swapFree=67111528/67111528 [pid=14612] ppid=14610 vsize=24964 CPUtime=582.3 /proc/14612/stat : 14612 (pbct) R 14610 14612 13849 0 -1 4202496 5918 0 0 0 43887 14343 0 0 25 0 1 0 14679150 25563136 5734 4089446400 134512640 136422188 4294294976 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/14612/statm: 6241 5734 237 467 0 5772 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 24964 [startup+642.301 s] /proc/loadavg: 2.00 2.00 1.94 3/179 14629 /proc/meminfo: memFree=29602456/32950928 swapFree=67111528/67111528 [pid=14612] ppid=14610 vsize=25096 CPUtime=642.3 /proc/14612/stat : 14612 (pbct) R 14610 14612 13849 0 -1 4202496 5945 0 0 0 48524 15706 0 0 25 0 1 0 14679150 25698304 5761 4089446400 134512640 136422188 4294294976 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/14612/statm: 6274 5761 237 467 0 5805 0 Current children cumulated CPU time (s) 642.3 Current children cumulated vsize (KiB) 25096 [startup+702.301 s] /proc/loadavg: 2.00 2.00 1.94 3/179 14631 /proc/meminfo: memFree=29602240/32950928 swapFree=67111528/67111528 [pid=14612] ppid=14610 vsize=25232 CPUtime=702.3 /proc/14612/stat : 14612 (pbct) R 14610 14612 13849 0 -1 4202496 5975 0 0 0 53203 17027 0 0 25 0 1 0 14679150 25837568 5791 4089446400 134512640 136422188 4294294976 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/14612/statm: 6308 5791 237 467 0 5839 0 Current children cumulated CPU time (s) 702.3 Current children cumulated vsize (KiB) 25232 [startup+762.306 s] /proc/loadavg: 2.00 2.00 1.94 3/179 14633 /proc/meminfo: memFree=29602052/32950928 swapFree=67111528/67111528 [pid=14612] ppid=14610 vsize=25232 CPUtime=762.31 /proc/14612/stat : 14612 (pbct) R 14610 14612 13849 0 -1 4202496 5992 0 0 0 57871 18360 0 0 25 0 1 0 14679150 25837568 5808 4089446400 134512640 136422188 4294294976 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/14612/statm: 6308 5808 237 467 0 5839 0 Current children cumulated CPU time (s) 762.31 Current children cumulated vsize (KiB) 25232 [startup+822.301 s] /proc/loadavg: 2.00 2.00 1.94 3/179 14635 /proc/meminfo: memFree=29601856/32950928 swapFree=67111528/67111528 [pid=14612] ppid=14610 vsize=25364 CPUtime=822.31 /proc/14612/stat : 14612 (pbct) R 14610 14612 13849 0 -1 4202496 6026 0 0 0 62490 19741 0 0 25 0 1 0 14679150 25972736 5842 4089446400 134512640 136422188 4294294976 18446744073709551615 135006609 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/14612/statm: 6341 5842 237 467 0 5872 0 Current children cumulated CPU time (s) 822.31 Current children cumulated vsize (KiB) 25364 [startup+882.301 s] /proc/loadavg: 2.06 2.02 1.94 3/179 14639 /proc/meminfo: memFree=29601632/32950928 swapFree=67111528/67111528 [pid=14612] ppid=14610 vsize=25496 CPUtime=882.3 /proc/14612/stat : 14612 (pbct) R 14610 14612 13849 0 -1 4202496 6051 0 0 0 67220 21010 0 0 25 0 1 0 14679150 26107904 5867 4089446400 134512640 136422188 4294294976 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/14612/statm: 6374 5867 237 467 0 5905 0 Current children cumulated CPU time (s) 882.3 Current children cumulated vsize (KiB) 25496 [startup+942.3 s] /proc/loadavg: 2.02 2.01 1.94 3/179 14640 /proc/meminfo: memFree=29601396/32950928 swapFree=67111528/67111528 [pid=14612] ppid=14610 vsize=25496 CPUtime=942.31 /proc/14612/stat : 14612 (pbct) R 14610 14612 13849 0 -1 4202496 6052 0 0 0 71896 22335 0 0 25 0 1 0 14679150 26107904 5868 4089446400 134512640 136422188 4294294976 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/14612/statm: 6374 5868 237 467 0 5905 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 25496 [startup+1002.3 s] /proc/loadavg: 1.44 1.85 1.89 2/171 14663 /proc/meminfo: memFree=29626652/32950928 swapFree=67111528/67111528 [pid=14612] ppid=14610 vsize=25496 CPUtime=1002.3 /proc/14612/stat : 14612 (pbct) R 14610 14612 13849 0 -1 4202496 6071 0 0 0 76307 23923 0 0 25 0 1 0 14679150 26107904 5887 4089446400 134512640 136422188 4294294976 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/14612/statm: 6374 5887 237 467 0 5905 0 Current children cumulated CPU time (s) 1002.3 Current children cumulated vsize (KiB) 25496 [startup+1062.3 s] /proc/loadavg: 1.16 1.69 1.83 2/171 14665 /proc/meminfo: memFree=29626852/32950928 swapFree=67111528/67111528 [pid=14612] ppid=14610 vsize=25496 CPUtime=1062.3 /proc/14612/stat : 14612 (pbct) R 14610 14612 13849 0 -1 4202496 6071 0 0 0 80536 25694 0 0 25 0 1 0 14679150 26107904 5887 4089446400 134512640 136422188 4294294976 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/14612/statm: 6374 5887 237 467 0 5905 0 Current children cumulated CPU time (s) 1062.3 Current children cumulated vsize (KiB) 25496 [startup+1122.3 s] /proc/loadavg: 1.06 1.56 1.78 2/171 14667 /proc/meminfo: memFree=29626784/32950928 swapFree=67111528/67111528 [pid=14612] ppid=14610 vsize=25496 CPUtime=1122.31 /proc/14612/stat : 14612 (pbct) R 14610 14612 13849 0 -1 4202496 6071 0 0 0 84821 27410 0 0 25 0 1 0 14679150 26107904 5887 4089446400 134512640 136422188 4294294976 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/14612/statm: 6374 5887 237 467 0 5905 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 25496 Solver just ended. Dumping a history of the last processes samples [startup+1122.5 s] /proc/loadavg: 1.06 1.56 1.78 2/171 14667 /proc/meminfo: memFree=29626784/32950928 swapFree=67111528/67111528 [pid=14612] ppid=14610 vsize=25496 CPUtime=1122.51 /proc/14612/stat : 14612 (pbct) R 14610 14612 13849 0 -1 4202496 6071 0 0 0 84834 27417 0 0 25 0 1 0 14679150 26107904 5887 4089446400 134512640 136422188 4294294976 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/14612/statm: 6374 5887 237 467 0 5905 0 Current children cumulated CPU time (s) 1122.51 Current children cumulated vsize (KiB) 25496 [startup+1122.6 s] /proc/loadavg: 1.06 1.56 1.78 2/171 14667 /proc/meminfo: memFree=29626784/32950928 swapFree=67111528/67111528 [pid=14612] ppid=14610 vsize=25496 CPUtime=1122.6 /proc/14612/stat : 14612 (pbct) R 14610 14612 13849 0 -1 4202496 6071 0 0 0 84840 27420 0 0 25 0 1 0 14679150 26107904 5887 4089446400 134512640 136422188 4294294976 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/14612/statm: 6374 5887 237 467 0 5905 0 Current children cumulated CPU time (s) 1122.6 Current children cumulated vsize (KiB) 25496 Child status: 0 Real time (s): 1122.7 CPU time (s): 1122.71 CPU user time (s): 848.48 CPU system time (s): 274.231 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 25496 getrusage(RUSAGE_CHILDREN,...) data: user time used= 848.48 system time used= 274.231 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 6076 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= 3 involuntary context switches= 2534 runsolver used 1.65775 second user time and 3.45347 second system time The end
Begin job on node126 at 2010-07-07 03:04:17 IDJOB=2698864 IDBENCH=79291 IDSOLVER=1212 FILE ID=node126/2698864-1278464657 PBS_JOBID= 11233740 Free space on /tmp= 73680 MiB SOLVER NAME= PB/CT 0.1 fixed BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900670675--soft-0-100-0.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2698864-1278464657/watcher-2698864-1278464657 -o /tmp/evaluation-result-2698864-1278464657/solver-2698864-1278464657 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2698864-1278464657.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= d1c4dbb5406fd100fd0c417364df25ff RANDOM SEED=1492846776 node126.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.861 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.72 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.861 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 : 5226.05 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.861 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.861 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.67 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.861 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.84 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.861 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.67 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.861 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.85 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.861 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 29624056 kB Buffers: 112916 kB Cached: 2985392 kB SwapCached: 0 kB Active: 867084 kB Inactive: 2316588 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 29624056 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2044 kB Writeback: 0 kB AnonPages: 85388 kB Mapped: 15460 kB Slab: 78544 kB PageTables: 4820 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 229288 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= 73680 MiB End job on node126 at 2010-07-07 03:23:00