Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 | OPTIMUM | 985.098 | 985.068 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900553812--soft-33-100-0.wbo |
MD5SUM | b8c059b75f42fac4cec7408dc4fcfe67 |
Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 3 |
Best CPU time to get the best result obtained on this benchmark | 262.865 |
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 | 1802 |
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 | 91108 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 91107 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 723 |
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 9/14 clauses 896/1788 units 0 0.00/0.01 c vars 231 0.03/0.07 c 0.072988 16.7188 3 3703 0.03/0.07 o 288 0.03/0.08 c 0.072988 17.1094 8 4460 0.03/0.08 o 259 0.39/0.47 c 0.177972 17.1094 982 7558 0.39/0.47 o 239 1.69/1.72 c 0.469928 17.1094 1172 36922 1.69/1.72 o 236 1.69/1.73 c 0.472928 17.1094 587 37126 1.69/1.73 o 231 1.69/1.77 c 0.487925 17.1094 688 38055 1.69/1.77 o 203 1.69/1.77 c 0.488925 17.1094 690 38454 1.69/1.77 o 188 1.69/1.77 c 0.491925 17.1094 690 38822 1.69/1.77 o 174 1.69/1.78 c 0.492925 17.1094 690 38959 1.69/1.78 o 173 1.69/1.78 c 0.493924 17.1094 690 39279 1.69/1.78 o 161 1.69/1.79 c 0.496924 17.1094 704 39515 1.69/1.79 o 153 2.48/2.57 c 0.72289 17.3438 933 42828 2.48/2.57 o 151 3.19/3.25 c 0.91586 17.3438 1081 46156 3.19/3.25 o 135 3.39/3.49 c 0.996848 17.3438 1101 47397 3.39/3.49 o 133 3.78/3.81 c 1.09083 17.3438 1092 48637 3.78/3.81 o 132 3.78/3.82 c 1.09183 17.3438 1105 48814 3.78/3.82 o 127 4.39/4.42 c 1.2838 17.3438 1050 51216 4.39/4.42 o 114 5.88/5.96 c 1.79373 17.3438 1224 57023 5.88/5.96 o 113 6.60/6.63 c 2.02569 17.3438 1097 60344 6.60/6.63 o 97 7.48/7.53 c 2.34764 17.3438 908 64802 7.48/7.53 o 92 7.48/7.57 c 2.36664 17.3438 1049 65180 7.48/7.57 o 88 8.58/8.66 c 2.77258 17.3438 1076 70678 8.58/8.66 o 86 8.88/8.97 c 2.88956 17.3438 1323 72750 8.88/8.97 o 74 9.09/9.17 c 2.98854 17.3438 1420 74443 9.09/9.17 o 71 9.09/9.19 c 2.99654 17.3438 1488 74650 9.09/9.19 o 69 9.38/9.40 c 3.08853 17.4648 1280 76115 9.38/9.40 o 63 9.59/9.61 c 3.18552 17.4648 1169 77749 9.59/9.61 o 56 9.59/9.68 c 3.21451 17.4648 1396 78286 9.59/9.68 o 50 9.68/9.70 c 3.22251 17.4648 1441 78641 9.68/9.70 o 35 9.89/9.91 c 3.33449 17.7109 2649 80493 9.89/9.91 o 25 10.28/10.30 c 3.57945 17.7109 1548 84677 10.28/10.30 o 21 10.39/10.45 c 3.69344 17.8359 2652 86355 10.39/10.45 o 16 10.89/10.94 c 4.04338 17.8359 1379 92827 10.89/10.94 o 14 11.89/11.91 c 4.77827 17.8359 2193 107285 11.89/11.91 o 13 15.08/15.14 c 7.2329 17.8359 2897 153889 15.08/15.14 o 11 55.79/55.83 c 37.0514 18.4531 2739 767445 55.79/55.83 o 10 89.09/89.19 c 60.4458 18.4531 2562 1270204 89.09/89.19 o 5 89.19/89.25 c 60.4878 18.4531 1663 1271169 89.19/89.25 o 3 985.02/985.04 c 754.642 20.0039 2263 15777593 985.02/985.04 s OPTIMUM FOUND 985.02/985.04 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 3
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2695541-1277903213/watcher-2695541-1277903213 -o /tmp/evaluation-result-2695541-1277903213/solver-2695541-1277903213 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2695541-1277903213.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.13 2.43 3/196 11708 /proc/meminfo: memFree=31457968/32951124 swapFree=67111528/67111528 [pid=11708] ppid=11706 vsize=2136 CPUtime=0 /proc/11708/stat : 11708 (pbct) R 11706 11708 10347 0 -1 4202496 256 0 0 0 0 0 0 0 23 0 1 0 131619455 2187264 175 4089446400 134512640 136421960 4290301584 18446744073709551615 135811817 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/11708/statm: 534 175 144 467 0 65 0 [startup+0.03707 s] /proc/loadavg: 2.00 2.13 2.43 3/196 11708 /proc/meminfo: memFree=31457968/32951124 swapFree=67111528/67111528 [pid=11708] ppid=11706 vsize=8060 CPUtime=0.03 /proc/11708/stat : 11708 (pbct) R 11706 11708 10347 0 -1 4202496 1717 0 0 0 3 0 0 0 23 0 1 0 131619455 8253440 1636 4089446400 134512640 136421960 4290301584 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/11708/statm: 2015 1639 193 467 0 1546 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 8060 [startup+0.101045 s] /proc/loadavg: 2.00 2.13 2.43 3/196 11708 /proc/meminfo: memFree=31457968/32951124 swapFree=67111528/67111528 [pid=11708] ppid=11706 vsize=17516 CPUtime=0.09 /proc/11708/stat : 11708 (pbct) R 11706 11708 10347 0 -1 4202496 4047 0 0 0 8 1 0 0 23 0 1 0 131619455 17936384 3964 4089446400 134512640 136421960 4290301584 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/11708/statm: 4379 3964 236 467 0 3910 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 17516 [startup+0.301004 s] /proc/loadavg: 2.00 2.13 2.43 3/196 11708 /proc/meminfo: memFree=31457968/32951124 swapFree=67111528/67111528 [pid=11708] ppid=11706 vsize=17516 CPUtime=0.29 /proc/11708/stat : 11708 (pbct) R 11706 11708 10347 0 -1 4202496 4047 0 0 0 13 16 0 0 23 0 1 0 131619455 17936384 3964 4089446400 134512640 136421960 4290301584 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/11708/statm: 4379 3964 236 467 0 3910 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 17516 [startup+0.700944 s] /proc/loadavg: 2.00 2.13 2.43 3/196 11708 /proc/meminfo: memFree=31457968/32951124 swapFree=67111528/67111528 [pid=11708] ppid=11706 vsize=17516 CPUtime=0.69 /proc/11708/stat : 11708 (pbct) R 11706 11708 10347 0 -1 4202496 4054 0 0 0 24 45 0 0 25 0 1 0 131619455 17936384 3970 4089446400 134512640 136421960 4290301584 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/11708/statm: 4379 3970 236 467 0 3910 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 17516 [startup+1.50078 s] /proc/loadavg: 2.00 2.13 2.43 3/197 11709 /proc/meminfo: memFree=31442708/32951124 swapFree=67111528/67111528 [pid=11708] ppid=11706 vsize=17516 CPUtime=1.49 /proc/11708/stat : 11708 (pbct) R 11706 11708 10347 0 -1 4202496 4055 0 0 0 40 109 0 0 25 0 1 0 131619455 17936384 3971 4089446400 134512640 136421960 4290301584 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/11708/statm: 4379 3971 237 467 0 3910 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 17516 [startup+3.10048 s] /proc/loadavg: 2.00 2.13 2.43 3/197 11709 /proc/meminfo: memFree=31442088/32951124 swapFree=67111528/67111528 [pid=11708] ppid=11706 vsize=17756 CPUtime=3.08 /proc/11708/stat : 11708 (pbct) R 11706 11708 10347 0 -1 4202496 4106 0 0 0 86 222 0 0 25 0 1 0 131619455 18182144 4013 4089446400 134512640 136421960 4290301584 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/11708/statm: 4439 4013 237 467 0 3970 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 17756 [startup+6.30087 s] /proc/loadavg: 2.00 2.13 2.43 3/197 11709 /proc/meminfo: memFree=31442140/32951124 swapFree=67111528/67111528 [pid=11708] ppid=11706 vsize=17756 CPUtime=6.29 /proc/11708/stat : 11708 (pbct) R 11706 11708 10347 0 -1 4202496 4123 0 0 0 190 439 0 0 25 0 1 0 131619455 18182144 4024 4089446400 134512640 136421960 4290301584 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/11708/statm: 4439 4024 237 467 0 3970 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 17756 [startup+12.7007 s] /proc/loadavg: 2.00 2.13 2.43 3/197 11709 /proc/meminfo: memFree=31441892/32951124 swapFree=67111528/67111528 [pid=11708] ppid=11706 vsize=18260 CPUtime=12.68 /proc/11708/stat : 11708 (pbct) R 11706 11708 10347 0 -1 4202496 4250 0 0 0 536 732 0 0 25 0 1 0 131619455 18698240 4135 4089446400 134512640 136421960 4290301584 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/11708/statm: 4565 4135 237 467 0 4096 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 18260 [startup+25.5002 s] /proc/loadavg: 2.00 2.12 2.42 3/197 11709 /proc/meminfo: memFree=31440688/32951124 swapFree=67111528/67111528 [pid=11708] ppid=11706 vsize=18508 CPUtime=25.49 /proc/11708/stat : 11708 (pbct) R 11706 11708 10347 0 -1 4202496 4329 0 0 0 1487 1062 0 0 25 0 1 0 131619455 18952192 4213 4089446400 134512640 136421960 4290301584 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/11708/statm: 4627 4213 237 467 0 4158 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 18508 [startup+51.1004 s] /proc/loadavg: 2.00 2.11 2.41 3/197 11710 /proc/meminfo: memFree=31438052/32951124 swapFree=67111528/67111528 [pid=11708] ppid=11706 vsize=18892 CPUtime=51.08 /proc/11708/stat : 11708 (pbct) R 11706 11708 10347 0 -1 4202496 4415 0 0 0 3377 1731 0 0 25 0 1 0 131619455 19345408 4299 4089446400 134512640 136421960 4290301584 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/11708/statm: 4723 4299 237 467 0 4254 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 18892 [startup+102.306 s] /proc/loadavg: 2.00 2.09 2.38 3/197 11711 /proc/meminfo: memFree=31432816/32951124 swapFree=67111528/67111528 [pid=11708] ppid=11706 vsize=19024 CPUtime=102.3 /proc/11708/stat : 11708 (pbct) R 11706 11708 10347 0 -1 4202496 4440 0 0 0 7037 3193 0 0 25 0 1 0 131619455 19480576 4321 4089446400 134512640 136421960 4290301584 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/11708/statm: 4756 4321 237 467 0 4287 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 19024 [startup+162.3 s] /proc/loadavg: 2.15 2.11 2.37 3/197 11713 /proc/meminfo: memFree=31427692/32951124 swapFree=67111528/67111528 [pid=11708] ppid=11706 vsize=19400 CPUtime=162.29 /proc/11708/stat : 11708 (pbct) R 11706 11708 10347 0 -1 4202496 4537 0 0 0 11606 4623 0 0 25 0 1 0 131619455 19865600 4418 4089446400 134512640 136421960 4290301584 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/11708/statm: 4850 4418 237 467 0 4381 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 19400 [startup+222.301 s] /proc/loadavg: 2.05 2.08 2.34 3/197 11715 /proc/meminfo: memFree=31427408/32951124 swapFree=67111528/67111528 [pid=11708] ppid=11706 vsize=19508 CPUtime=222.29 /proc/11708/stat : 11708 (pbct) R 11706 11708 10347 0 -1 4202496 4568 0 0 0 16299 5930 0 0 25 0 1 0 131619455 19976192 4449 4089446400 134512640 136421960 4290301584 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/11708/statm: 4877 4449 237 467 0 4408 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 19508 [startup+282.301 s] /proc/loadavg: 2.02 2.07 2.32 3/197 11716 /proc/meminfo: memFree=31427004/32951124 swapFree=67111528/67111528 [pid=11708] ppid=11706 vsize=19868 CPUtime=282.3 /proc/11708/stat : 11708 (pbct) R 11706 11708 10347 0 -1 4202496 4664 0 0 0 21014 7216 0 0 25 0 1 0 131619455 20344832 4545 4089446400 134512640 136421960 4290301584 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/11708/statm: 4967 4545 237 467 0 4498 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 19868 [startup+342.3 s] /proc/loadavg: 2.00 2.05 2.30 3/197 11718 /proc/meminfo: memFree=31426860/32951124 swapFree=67111528/67111528 [pid=11708] ppid=11706 vsize=19868 CPUtime=342.29 /proc/11708/stat : 11708 (pbct) R 11706 11708 10347 0 -1 4202496 4664 0 0 0 25653 8576 0 0 25 0 1 0 131619455 20344832 4545 4089446400 134512640 136421960 4290301584 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/11708/statm: 4967 4545 237 467 0 4498 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 19868 [startup+402.301 s] /proc/loadavg: 2.00 2.04 2.27 3/197 11719 /proc/meminfo: memFree=31426708/32951124 swapFree=67111528/67111528 [pid=11708] ppid=11706 vsize=19860 CPUtime=402.3 /proc/11708/stat : 11708 (pbct) R 11706 11708 10347 0 -1 4202496 4672 0 0 0 30235 9995 0 0 25 0 1 0 131619455 20336640 4553 4089446400 134512640 136421960 4290301584 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/11708/statm: 4965 4553 237 467 0 4496 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 19860 [startup+462.301 s] /proc/loadavg: 2.00 2.03 2.25 3/197 11721 /proc/meminfo: memFree=31426556/32951124 swapFree=67111528/67111528 [pid=11708] ppid=11706 vsize=19860 CPUtime=462.3 /proc/11708/stat : 11708 (pbct) R 11706 11708 10347 0 -1 4202496 4676 0 0 0 35051 11179 0 0 25 0 1 0 131619455 20336640 4557 4089446400 134512640 136421960 4290301584 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/11708/statm: 4965 4557 237 467 0 4496 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 19860 [startup+522.3 s] /proc/loadavg: 2.00 2.02 2.24 3/179 11753 /proc/meminfo: memFree=31732360/32951124 swapFree=67111528/67111528 [pid=11708] ppid=11706 vsize=20248 CPUtime=522.3 /proc/11708/stat : 11708 (pbct) R 11706 11708 10347 0 -1 4202496 4745 0 0 0 39860 12370 0 0 25 0 1 0 131619455 20733952 4626 4089446400 134512640 136421960 4290301584 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/11708/statm: 5062 4626 237 467 0 4593 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 20248 [startup+582.301 s] /proc/loadavg: 2.00 2.02 2.22 3/179 11754 /proc/meminfo: memFree=31659176/32951124 swapFree=67111528/67111528 [pid=11708] ppid=11706 vsize=20376 CPUtime=582.31 /proc/11708/stat : 11708 (pbct) R 11706 11708 10347 0 -1 4202496 4791 0 0 0 44511 13720 0 0 25 0 1 0 131619455 20865024 4672 4089446400 134512640 136421960 4290301584 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/11708/statm: 5094 4672 237 467 0 4625 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 20376 [startup+642.301 s] /proc/loadavg: 2.00 2.01 2.20 3/179 11756 /proc/meminfo: memFree=31605084/32951124 swapFree=67111528/67111528 [pid=11708] ppid=11706 vsize=20376 CPUtime=642.32 /proc/11708/stat : 11708 (pbct) R 11706 11708 10347 0 -1 4202496 4801 0 0 0 49142 15090 0 0 25 0 1 0 131619455 20865024 4682 4089446400 134512640 136421960 4290301584 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/11708/statm: 5094 4682 237 467 0 4625 0 Current children cumulated CPU time (s) 642.32 Current children cumulated vsize (KiB) 20376 [startup+702.3 s] /proc/loadavg: 2.00 2.01 2.18 3/179 11757 /proc/meminfo: memFree=31571336/32951124 swapFree=67111528/67111528 [pid=11708] ppid=11706 vsize=20480 CPUtime=702.31 /proc/11708/stat : 11708 (pbct) R 11706 11708 10347 0 -1 4202496 4811 0 0 0 53701 16530 0 0 25 0 1 0 131619455 20971520 4692 4089446400 134512640 136421960 4290301584 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/11708/statm: 5120 4692 237 467 0 4651 0 Current children cumulated CPU time (s) 702.31 Current children cumulated vsize (KiB) 20480 [startup+762.306 s] /proc/loadavg: 2.00 2.00 2.17 3/179 11759 /proc/meminfo: memFree=31549960/32951124 swapFree=67111528/67111528 [pid=11708] ppid=11706 vsize=20480 CPUtime=762.32 /proc/11708/stat : 11708 (pbct) R 11706 11708 10347 0 -1 4202496 4827 0 0 0 58313 17919 0 0 25 0 1 0 131619455 20971520 4708 4089446400 134512640 136421960 4290301584 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/11708/statm: 5120 4708 237 467 0 4651 0 Current children cumulated CPU time (s) 762.32 Current children cumulated vsize (KiB) 20480 [startup+822.301 s] /proc/loadavg: 2.00 2.00 2.16 3/179 11761 /proc/meminfo: memFree=31534532/32951124 swapFree=67111528/67111528 [pid=11708] ppid=11706 vsize=20480 CPUtime=822.31 /proc/11708/stat : 11708 (pbct) R 11706 11708 10347 0 -1 4202496 4828 0 0 0 62911 19320 0 0 25 0 1 0 131619455 20971520 4709 4089446400 134512640 136421960 4290301584 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/11708/statm: 5120 4709 237 467 0 4651 0 Current children cumulated CPU time (s) 822.31 Current children cumulated vsize (KiB) 20480 [startup+882.3 s] /proc/loadavg: 2.03 2.01 2.15 3/179 11762 /proc/meminfo: memFree=31527680/32951124 swapFree=67111528/67111528 [pid=11708] ppid=11706 vsize=20480 CPUtime=882.32 /proc/11708/stat : 11708 (pbct) R 11706 11708 10347 0 -1 4202496 4831 0 0 0 67665 20567 0 0 25 0 1 0 131619455 20971520 4712 4089446400 134512640 136421960 4290301584 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/11708/statm: 5120 4712 237 467 0 4651 0 Current children cumulated CPU time (s) 882.32 Current children cumulated vsize (KiB) 20480 [startup+942.301 s] /proc/loadavg: 2.01 2.01 2.14 3/179 11764 /proc/meminfo: memFree=31522940/32951124 swapFree=67111528/67111528 [pid=11708] ppid=11706 vsize=20480 CPUtime=942.32 /proc/11708/stat : 11708 (pbct) R 11706 11708 10347 0 -1 4202496 4831 0 0 0 72232 22000 0 0 25 0 1 0 131619455 20971520 4712 4089446400 134512640 136421960 4290301584 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/11708/statm: 5120 4712 237 467 0 4651 0 Current children cumulated CPU time (s) 942.32 Current children cumulated vsize (KiB) 20480 Solver just ended. Dumping a history of the last processes samples [startup+947.106 s] /proc/loadavg: 2.09 2.02 2.15 3/179 11764 /proc/meminfo: memFree=31522940/32951124 swapFree=67111528/67111528 [pid=11708] ppid=11706 vsize=20480 CPUtime=947.12 /proc/11708/stat : 11708 (pbct) R 11706 11708 10347 0 -1 4202496 4831 0 0 0 72589 22123 0 0 25 0 1 0 131619455 20971520 4712 4089446400 134512640 136421960 4290301584 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/11708/statm: 5120 4712 237 467 0 4651 0 Current children cumulated CPU time (s) 947.12 Current children cumulated vsize (KiB) 20480 [startup+959.901 s] /proc/loadavg: 2.07 2.02 2.14 3/179 11764 /proc/meminfo: memFree=31522680/32951124 swapFree=67111528/67111528 [pid=11708] ppid=11706 vsize=20480 CPUtime=959.92 /proc/11708/stat : 11708 (pbct) R 11706 11708 10347 0 -1 4202496 4831 0 0 0 73564 22428 0 0 25 0 1 0 131619455 20971520 4712 4089446400 134512640 136421960 4290301584 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/11708/statm: 5120 4712 237 467 0 4651 0 Current children cumulated CPU time (s) 959.92 Current children cumulated vsize (KiB) 20480 [startup+972.7 s] /proc/loadavg: 2.05 2.02 2.14 3/179 11765 /proc/meminfo: memFree=31522796/32951124 swapFree=67111528/67111528 [pid=11708] ppid=11706 vsize=20480 CPUtime=972.72 /proc/11708/stat : 11708 (pbct) R 11706 11708 10347 0 -1 4202496 4833 0 0 0 74545 22727 0 0 25 0 1 0 131619455 20971520 4714 4089446400 134512640 136421960 4290301584 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/11708/statm: 5120 4714 237 467 0 4651 0 Current children cumulated CPU time (s) 972.72 Current children cumulated vsize (KiB) 20480 [startup+979.1 s] /proc/loadavg: 2.05 2.02 2.14 3/179 11765 /proc/meminfo: memFree=31522168/32951124 swapFree=67111528/67111528 [pid=11708] ppid=11706 vsize=20480 CPUtime=979.12 /proc/11708/stat : 11708 (pbct) R 11706 11708 10347 0 -1 4202496 4836 0 0 0 75023 22889 0 0 25 0 1 0 131619455 20971520 4717 4089446400 134512640 136421960 4290301584 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/11708/statm: 5120 4717 237 467 0 4651 0 Current children cumulated CPU time (s) 979.12 Current children cumulated vsize (KiB) 20480 [startup+982.305 s] /proc/loadavg: 2.04 2.02 2.14 3/179 11765 /proc/meminfo: memFree=31522288/32951124 swapFree=67111528/67111528 [pid=11708] ppid=11706 vsize=20480 CPUtime=982.32 /proc/11708/stat : 11708 (pbct) R 11706 11708 10347 0 -1 4202496 4836 0 0 0 75264 22968 0 0 25 0 1 0 131619455 20971520 4717 4089446400 134512640 136421960 4290301584 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/11708/statm: 5120 4717 237 467 0 4651 0 Current children cumulated CPU time (s) 982.32 Current children cumulated vsize (KiB) 20480 [startup+983.9 s] /proc/loadavg: 2.04 2.02 2.14 3/179 11765 /proc/meminfo: memFree=31522288/32951124 swapFree=67111528/67111528 [pid=11708] ppid=11706 vsize=20480 CPUtime=983.93 /proc/11708/stat : 11708 (pbct) R 11706 11708 10347 0 -1 4202496 4836 0 0 0 75382 23011 0 0 25 0 1 0 131619455 20971520 4717 4089446400 134512640 136421960 4290301584 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/11708/statm: 5120 4717 237 467 0 4651 0 Current children cumulated CPU time (s) 983.93 Current children cumulated vsize (KiB) 20480 [startup+984.701 s] /proc/loadavg: 2.04 2.02 2.14 3/179 11765 /proc/meminfo: memFree=31522280/32951124 swapFree=67111528/67111528 [pid=11708] ppid=11706 vsize=20480 CPUtime=984.72 /proc/11708/stat : 11708 (pbct) R 11706 11708 10347 0 -1 4202496 4836 0 0 0 75438 23034 0 0 25 0 1 0 131619455 20971520 4717 4089446400 134512640 136421960 4290301584 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/11708/statm: 5120 4717 237 467 0 4651 0 Current children cumulated CPU time (s) 984.72 Current children cumulated vsize (KiB) 20480 [startup+984.901 s] /proc/loadavg: 2.04 2.02 2.14 3/179 11765 /proc/meminfo: memFree=31522280/32951124 swapFree=67111528/67111528 [pid=11708] ppid=11706 vsize=20480 CPUtime=984.92 /proc/11708/stat : 11708 (pbct) R 11706 11708 10347 0 -1 4202496 4836 0 0 0 75452 23040 0 0 25 0 1 0 131619455 20971520 4717 4089446400 134512640 136421960 4290301584 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/11708/statm: 5120 4717 237 467 0 4651 0 Current children cumulated CPU time (s) 984.92 Current children cumulated vsize (KiB) 20480 [startup+985.001 s] /proc/loadavg: 2.04 2.02 2.14 3/179 11765 /proc/meminfo: memFree=31522280/32951124 swapFree=67111528/67111528 [pid=11708] ppid=11706 vsize=20480 CPUtime=985.02 /proc/11708/stat : 11708 (pbct) R 11706 11708 10347 0 -1 4202496 4836 0 0 0 75460 23042 0 0 25 0 1 0 131619455 20971520 4717 4089446400 134512640 136421960 4290301584 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/11708/statm: 5120 4717 237 467 0 4651 0 Current children cumulated CPU time (s) 985.02 Current children cumulated vsize (KiB) 20480 Child status: 0 Real time (s): 985.068 CPU time (s): 985.098 CPU user time (s): 754.66 CPU system time (s): 230.438 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 20504 getrusage(RUSAGE_CHILDREN,...) data: user time used= 754.66 system time used= 230.438 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4841 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= 1 involuntary context switches= 11277 runsolver used 1.35079 second user time and 3.13452 second system time The end
Begin job on node102 at 2010-06-30 15:06:53 IDJOB=2695541 IDBENCH=78908 IDSOLVER=1208 FILE ID=node102/2695541-1277903213 PBS_JOBID= 11197156 Free space on /tmp= 74212 MiB SOLVER NAME= PB/CT 0.1 BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900553812--soft-33-100-0.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2695541-1277903213/watcher-2695541-1277903213 -o /tmp/evaluation-result-2695541-1277903213/solver-2695541-1277903213 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2695541-1277903213.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= b8c059b75f42fac4cec7408dc4fcfe67 RANDOM SEED=36080009 node102.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.833 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.66 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.833 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.83 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.833 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.833 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.85 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.833 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.833 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.82 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.833 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.75 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.833 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31458736 kB Buffers: 186116 kB Cached: 729428 kB SwapCached: 0 kB Active: 782984 kB Inactive: 568652 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31458736 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 1980 kB Writeback: 0 kB AnonPages: 436148 kB Mapped: 20300 kB Slab: 76640 kB PageTables: 5576 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1656796 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 node102 at 2010-06-30 15:23:18