Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 fixed | OPTIMUM | 1020.55 | 1020.52 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900574864--soft-33-100-0.wbo |
MD5SUM | f08844d42f277d14946ba79cfba06e67 |
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 | 1 |
Best CPU time to get the best result obtained on this benchmark | 107.679 |
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 | 1788 |
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 | 89002 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 89001 |
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.01/0.01 c constraints 11/12 clauses 908/1776 units 0 0.01/0.01 c vars 231 0.01/0.08 c 0.068989 16.6094 4 4972 0.01/0.08 o 282 0.01/0.08 c 0.069989 16.793 7 5617 0.01/0.08 o 281 0.09/0.10 c 0.072988 16.793 47 5994 0.09/0.10 o 273 0.19/0.21 c 0.091986 16.9102 385 7033 0.19/0.21 o 272 0.19/0.24 c 0.094985 16.9102 458 7386 0.19/0.24 o 264 0.19/0.28 c 0.100984 16.9102 600 8155 0.19/0.28 o 242 0.19/0.29 c 0.101984 16.9102 613 8620 0.19/0.29 o 220 0.29/0.31 c 0.104984 16.9102 677 9469 0.29/0.31 o 197 0.29/0.36 c 0.112982 16.9102 848 10250 0.29/0.36 o 176 0.29/0.38 c 0.116982 17.0273 903 10444 0.29/0.38 o 174 0.39/0.41 c 0.12598 17.0273 966 10658 0.39/0.41 o 173 0.39/0.46 c 0.135979 17.0273 1079 11343 0.39/0.46 o 155 0.49/0.50 c 0.142978 17.0273 1170 12231 0.49/0.50 o 121 0.79/0.81 c 0.205968 17.0273 1184 13542 0.79/0.81 o 114 1.00/1.07 c 0.266959 17.0273 647 15292 1.00/1.07 o 104 1.09/1.11 c 0.269958 17.0273 710 15661 1.09/1.11 o 96 1.09/1.18 c 0.283956 17.0273 874 16111 1.09/1.18 o 92 1.59/1.63 c 0.376942 17.1523 1335 18566 1.59/1.63 o 81 1.69/1.74 c 0.402938 17.1523 991 19595 1.69/1.74 o 62 1.79/1.89 c 0.45793 17.2812 1697 20946 1.79/1.89 o 58 1.89/1.91 c 0.465929 17.2812 924 21422 1.89/1.91 o 43 2.69/2.70 c 0.796878 17.6562 1528 27766 2.69/2.70 o 39 3.19/3.26 c 1.02484 17.6562 2297 33097 3.19/3.26 o 33 3.50/3.51 c 1.17082 17.6562 1432 35393 3.50/3.51 o 32 3.59/3.60 c 1.22481 17.6562 1938 36362 3.59/3.60 o 24 3.59/3.65 c 1.25781 17.6562 2285 36877 3.59/3.65 o 21 3.99/4.05 c 1.52977 17.6562 2627 41895 3.99/4.05 o 20 4.69/4.70 c 1.9477 17.6562 2276 49715 4.69/4.70 o 19 4.99/5.00 c 2.12268 17.6562 1866 53547 4.99/5.00 o 16 8.49/8.59 c 4.52431 17.7812 2109 107053 8.49/8.59 o 8 9.59/9.62 c 5.2492 17.7812 1914 123434 9.59/9.62 o 6 14.20/14.25 c 8.5837 17.9102 2702 200655 14.20/14.25 o 5 18.79/18.80 c 11.8902 17.9102 1712 277086 18.79/18.80 o 1 1020.52/1020.50 c 805.32 20.7344 3672 15598383 1020.52/1020.50 s OPTIMUM FOUND 1020.52/1020.50 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 1
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2699361-1278460629/watcher-2699361-1278460629 -o /tmp/evaluation-result-2699361-1278460629/solver-2699361-1278460629 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699361-1278460629.wbo Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 1.90 3/178 13159 /proc/meminfo: memFree=29478200/32951124 swapFree=67111528/67111528 [pid=13159] ppid=13157 vsize=2136 CPUtime=0 /proc/13159/stat : 13159 (pbct) R 13157 13159 12773 0 -1 4202496 255 0 0 0 0 0 0 0 20 0 1 0 14277023 2187264 175 4089446400 134512640 136422188 4292456336 18446744073709551615 134518480 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/13159/statm: 534 175 144 467 0 65 0 [startup+0.01574 s] /proc/loadavg: 2.00 2.00 1.90 3/178 13159 /proc/meminfo: memFree=29478200/32951124 swapFree=67111528/67111528 [pid=13159] ppid=13157 vsize=2268 CPUtime=0.01 /proc/13159/stat : 13159 (pbct) R 13157 13159 12773 0 -1 4202496 273 0 0 0 1 0 0 0 21 0 1 0 14277023 2322432 193 4089446400 134512640 136422188 4292456336 18446744073709551615 135811945 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/13159/statm: 567 193 144 467 0 98 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 2268 [startup+0.100713 s] /proc/loadavg: 2.00 2.00 1.90 3/178 13159 /proc/meminfo: memFree=29478200/32951124 swapFree=67111528/67111528 [pid=13159] ppid=13157 vsize=17192 CPUtime=0.09 /proc/13159/stat : 13159 (pbct) R 13157 13159 12773 0 -1 4202496 3999 0 0 0 7 2 0 0 21 0 1 0 14277023 17604608 3917 4089446400 134512640 136422188 4292456336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13159/statm: 4298 3917 236 467 0 3829 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 17192 [startup+0.300688 s] /proc/loadavg: 2.00 2.00 1.90 3/178 13159 /proc/meminfo: memFree=29478200/32951124 swapFree=67111528/67111528 [pid=13159] ppid=13157 vsize=17312 CPUtime=0.29 /proc/13159/stat : 13159 (pbct) R 13157 13159 12773 0 -1 4202496 4024 0 0 0 10 19 0 0 21 0 1 0 14277023 17727488 3937 4089446400 134512640 136422188 4292456336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13159/statm: 4328 3937 236 467 0 3859 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 17312 [startup+0.700612 s] /proc/loadavg: 2.00 2.00 1.90 3/178 13159 /proc/meminfo: memFree=29478200/32951124 swapFree=67111528/67111528 [pid=13159] ppid=13157 vsize=17432 CPUtime=0.69 /proc/13159/stat : 13159 (pbct) R 13157 13159 12773 0 -1 4202496 4058 0 0 0 18 51 0 0 22 0 1 0 14277023 17850368 3965 4089446400 134512640 136422188 4292456336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13159/statm: 4358 3965 236 467 0 3889 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 17432 [startup+1.50047 s] /proc/loadavg: 2.00 2.00 1.90 3/179 13160 /proc/meminfo: memFree=29463188/32951124 swapFree=67111528/67111528 [pid=13159] ppid=13157 vsize=17432 CPUtime=1.49 /proc/13159/stat : 13159 (pbct) R 13157 13159 12773 0 -1 4202496 4076 0 0 0 35 114 0 0 25 0 1 0 14277023 17850368 3979 4089446400 134512640 136422188 4292456336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13159/statm: 4358 3979 236 467 0 3889 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 17432 [startup+3.10017 s] /proc/loadavg: 2.00 2.00 1.90 3/179 13160 /proc/meminfo: memFree=29462940/32951124 swapFree=67111528/67111528 [pid=13159] ppid=13157 vsize=18076 CPUtime=3.09 /proc/13159/stat : 13159 (pbct) R 13157 13159 12773 0 -1 4202496 4226 0 0 0 94 215 0 0 19 0 1 0 14277023 18509824 4124 4089446400 134512640 136422188 4292456336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13159/statm: 4519 4124 236 467 0 4050 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 18076 [startup+6.30059 s] /proc/loadavg: 2.00 2.00 1.90 3/179 13160 /proc/meminfo: memFree=29463000/32951124 swapFree=67111528/67111528 [pid=13159] ppid=13157 vsize=18076 CPUtime=6.29 /proc/13159/stat : 13159 (pbct) R 13157 13159 12773 0 -1 4202496 4239 0 0 0 297 332 0 0 25 0 1 0 14277023 18509824 4130 4089446400 134512640 136422188 4292456336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13159/statm: 4519 4130 236 467 0 4050 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 18076 [startup+12.7004 s] /proc/loadavg: 2.00 2.00 1.90 3/179 13161 /proc/meminfo: memFree=29463656/32951124 swapFree=67111528/67111528 [pid=13159] ppid=13157 vsize=18204 CPUtime=12.7 /proc/13159/stat : 13159 (pbct) R 13157 13159 12773 0 -1 4202496 4273 0 0 0 749 521 0 0 25 0 1 0 14277023 18640896 4162 4089446400 134512640 136422188 4292456336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13159/statm: 4551 4162 236 467 0 4082 0 Current children cumulated CPU time (s) 12.7 Current children cumulated vsize (KiB) 18204 [startup+25.5011 s] /proc/loadavg: 2.00 2.00 1.90 3/179 13161 /proc/meminfo: memFree=29463800/32951124 swapFree=67111528/67111528 [pid=13159] ppid=13157 vsize=18984 CPUtime=25.49 /proc/13159/stat : 13159 (pbct) R 13157 13159 12773 0 -1 4202496 4460 0 0 0 1690 859 0 0 25 0 1 0 14277023 19439616 4347 4089446400 134512640 136422188 4292456336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13159/statm: 4746 4347 236 467 0 4277 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 18984 [startup+51.1004 s] /proc/loadavg: 2.00 2.00 1.90 3/179 13161 /proc/meminfo: memFree=29463456/32951124 swapFree=67111528/67111528 [pid=13159] ppid=13157 vsize=19084 CPUtime=51.09 /proc/13159/stat : 13159 (pbct) R 13157 13159 12773 0 -1 4202496 4493 0 0 0 3601 1508 0 0 25 0 1 0 14277023 19542016 4380 4089446400 134512640 136422188 4292456336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13159/statm: 4771 4380 236 467 0 4302 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 19084 [startup+102.306 s] /proc/loadavg: 2.05 2.01 1.91 3/179 13163 /proc/meminfo: memFree=29462676/32951124 swapFree=67111528/67111528 [pid=13159] ppid=13157 vsize=19480 CPUtime=102.3 /proc/13159/stat : 13159 (pbct) R 13157 13159 12773 0 -1 4202496 4585 0 0 0 7447 2783 0 0 25 0 1 0 14277023 19947520 4472 4089446400 134512640 136422188 4292456336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13159/statm: 4870 4472 236 467 0 4401 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 19480 [startup+162.301 s] /proc/loadavg: 2.02 2.01 1.91 3/179 13165 /proc/meminfo: memFree=29462260/32951124 swapFree=67111528/67111528 [pid=13159] ppid=13157 vsize=19868 CPUtime=162.3 /proc/13159/stat : 13159 (pbct) R 13157 13159 12773 0 -1 4202496 4697 0 0 0 11973 4257 0 0 25 0 1 0 14277023 20344832 4584 4089446400 134512640 136422188 4292456336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13159/statm: 4967 4584 236 467 0 4498 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 19868 [startup+222.301 s] /proc/loadavg: 2.00 2.00 1.91 3/179 13166 /proc/meminfo: memFree=29462088/32951124 swapFree=67111528/67111528 [pid=13159] ppid=13157 vsize=20108 CPUtime=222.3 /proc/13159/stat : 13159 (pbct) R 13157 13159 12773 0 -1 4202496 4741 0 0 0 16481 5749 0 0 25 0 1 0 14277023 20590592 4628 4089446400 134512640 136422188 4292456336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13159/statm: 5027 4628 236 467 0 4558 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 20108 [startup+282.301 s] /proc/loadavg: 2.00 2.00 1.91 3/179 13176 /proc/meminfo: memFree=29460984/32951124 swapFree=67111528/67111528 [pid=13159] ppid=13157 vsize=20476 CPUtime=282.3 /proc/13159/stat : 13159 (pbct) R 13157 13159 12773 0 -1 4202496 4827 0 0 0 21326 6904 0 0 25 0 1 0 14277023 20967424 4714 4089446400 134512640 136422188 4292456336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13159/statm: 5119 4714 236 467 0 4650 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 20476 [startup+342.301 s] /proc/loadavg: 2.00 2.00 1.91 3/179 13178 /proc/meminfo: memFree=29460940/32951124 swapFree=67111528/67111528 [pid=13159] ppid=13157 vsize=20476 CPUtime=342.3 /proc/13159/stat : 13159 (pbct) R 13157 13159 12773 0 -1 4202496 4843 0 0 0 26243 7987 0 0 25 0 1 0 14277023 20967424 4730 4089446400 134512640 136422188 4292456336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13159/statm: 5119 4730 236 467 0 4650 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 20476 [startup+402.301 s] /proc/loadavg: 2.00 2.00 1.91 3/179 13180 /proc/meminfo: memFree=29460512/32951124 swapFree=67111528/67111528 [pid=13159] ppid=13157 vsize=20608 CPUtime=402.3 /proc/13159/stat : 13159 (pbct) R 13157 13159 12773 0 -1 4202496 4860 0 0 0 31154 9076 0 0 25 0 1 0 14277023 21102592 4746 4089446400 134512640 136422188 4292456336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13159/statm: 5152 4746 236 467 0 4683 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 20608 [startup+462.301 s] /proc/loadavg: 1.95 1.98 1.91 3/179 13210 /proc/meminfo: memFree=29719028/32951124 swapFree=67111528/67111528 [pid=13159] ppid=13157 vsize=20608 CPUtime=462.31 /proc/13159/stat : 13159 (pbct) R 13157 13159 12773 0 -1 4202496 4860 0 0 0 35950 10281 0 0 25 0 1 0 14277023 21102592 4746 4089446400 134512640 136422188 4292456336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13159/statm: 5152 4746 236 467 0 4683 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 20608 [startup+522.301 s] /proc/loadavg: 1.98 1.98 1.91 3/179 13210 /proc/meminfo: memFree=29718548/32951124 swapFree=67111528/67111528 [pid=13159] ppid=13157 vsize=20864 CPUtime=522.31 /proc/13159/stat : 13159 (pbct) R 13157 13159 12773 0 -1 4202496 4919 0 0 0 40725 11506 0 0 25 0 1 0 14277023 21364736 4805 4089446400 134512640 136422188 4292456336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13159/statm: 5216 4805 236 467 0 4747 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 20864 [startup+582.301 s] /proc/loadavg: 1.99 1.98 1.91 3/179 13212 /proc/meminfo: memFree=29718240/32951124 swapFree=67111528/67111528 [pid=13159] ppid=13157 vsize=20992 CPUtime=582.31 /proc/13159/stat : 13159 (pbct) R 13157 13159 12773 0 -1 4202496 4968 0 0 0 45566 12665 0 0 25 0 1 0 14277023 21495808 4854 4089446400 134512640 136422188 4292456336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13159/statm: 5248 4854 236 467 0 4779 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 20992 [startup+642.301 s] /proc/loadavg: 2.07 2.00 1.91 3/179 13214 /proc/meminfo: memFree=29717932/32951124 swapFree=67111528/67111528 [pid=13159] ppid=13157 vsize=21228 CPUtime=642.31 /proc/13159/stat : 13159 (pbct) R 13157 13159 12773 0 -1 4202496 5065 0 0 0 50434 13797 0 0 25 0 1 0 14277023 21737472 4908 4089446400 134512640 136422188 4292456336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13159/statm: 5307 4908 236 467 0 4838 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 21228 [startup+702.301 s] /proc/loadavg: 2.02 2.00 1.91 3/179 13216 /proc/meminfo: memFree=29717736/32951124 swapFree=67111528/67111528 [pid=13159] ppid=13157 vsize=21228 CPUtime=702.31 /proc/13159/stat : 13159 (pbct) R 13157 13159 12773 0 -1 4202496 5066 0 0 0 55279 14952 0 0 25 0 1 0 14277023 21737472 4909 4089446400 134512640 136422188 4292456336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13159/statm: 5307 4909 236 467 0 4838 0 Current children cumulated CPU time (s) 702.31 Current children cumulated vsize (KiB) 21228 [startup+762.306 s] /proc/loadavg: 2.01 2.00 1.91 3/179 13218 /proc/meminfo: memFree=29717688/32951124 swapFree=67111528/67111528 [pid=13159] ppid=13157 vsize=21228 CPUtime=762.32 /proc/13159/stat : 13159 (pbct) R 13157 13159 12773 0 -1 4202496 5067 0 0 0 60101 16131 0 0 25 0 1 0 14277023 21737472 4910 4089446400 134512640 136422188 4292456336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13159/statm: 5307 4910 236 467 0 4838 0 Current children cumulated CPU time (s) 762.32 Current children cumulated vsize (KiB) 21228 [startup+822.301 s] /proc/loadavg: 2.00 2.00 1.91 3/179 13218 /proc/meminfo: memFree=29717624/32951124 swapFree=67111528/67111528 [pid=13159] ppid=13157 vsize=21228 CPUtime=822.32 /proc/13159/stat : 13159 (pbct) R 13157 13159 12773 0 -1 4202496 5070 0 0 0 64943 17289 0 0 25 0 1 0 14277023 21737472 4913 4089446400 134512640 136422188 4292456336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13159/statm: 5307 4913 236 467 0 4838 0 Current children cumulated CPU time (s) 822.32 Current children cumulated vsize (KiB) 21228 [startup+882.301 s] /proc/loadavg: 2.00 2.00 1.91 3/179 13220 /proc/meminfo: memFree=29717560/32951124 swapFree=67111528/67111528 [pid=13159] ppid=13157 vsize=21228 CPUtime=882.32 /proc/13159/stat : 13159 (pbct) R 13157 13159 12773 0 -1 4202496 5071 0 0 0 69772 18460 0 0 25 0 1 0 14277023 21737472 4914 4089446400 134512640 136422188 4292456336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13159/statm: 5307 4914 236 467 0 4838 0 Current children cumulated CPU time (s) 882.32 Current children cumulated vsize (KiB) 21228 [startup+942.301 s] /proc/loadavg: 2.00 2.00 1.91 3/179 13222 /proc/meminfo: memFree=29717496/32951124 swapFree=67111528/67111528 [pid=13159] ppid=13157 vsize=21228 CPUtime=942.32 /proc/13159/stat : 13159 (pbct) R 13157 13159 12773 0 -1 4202496 5086 0 0 0 74589 19643 0 0 25 0 1 0 14277023 21737472 4929 4089446400 134512640 136422188 4292456336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13159/statm: 5307 4929 236 467 0 4838 0 Current children cumulated CPU time (s) 942.32 Current children cumulated vsize (KiB) 21228 [startup+1002.3 s] /proc/loadavg: 2.00 2.00 1.91 3/179 13251 /proc/meminfo: memFree=29552524/32951124 swapFree=67111528/67111528 [pid=13159] ppid=13157 vsize=21228 CPUtime=1002.32 /proc/13159/stat : 13159 (pbct) R 13157 13159 12773 0 -1 4202496 5086 0 0 0 79170 21062 0 0 25 0 1 0 14277023 21737472 4929 4089446400 134512640 136422188 4292456336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13159/statm: 5307 4929 236 467 0 4838 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 21228 Solver just ended. Dumping a history of the last processes samples [startup+1011.1 s] /proc/loadavg: 2.00 2.00 1.91 3/179 13251 /proc/meminfo: memFree=29552144/32951124 swapFree=67111528/67111528 [pid=13159] ppid=13157 vsize=21228 CPUtime=1011.12 /proc/13159/stat : 13159 (pbct) R 13157 13159 12773 0 -1 4202496 5086 0 0 0 79829 21283 0 0 25 0 1 0 14277023 21737472 4929 4089446400 134512640 136422188 4292456336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13159/statm: 5307 4929 236 467 0 4838 0 Current children cumulated CPU time (s) 1011.12 Current children cumulated vsize (KiB) 21228 [startup+1017.51 s] /proc/loadavg: 2.00 2.00 1.91 3/179 13251 /proc/meminfo: memFree=29551896/32951124 swapFree=67111528/67111528 [pid=13159] ppid=13157 vsize=21228 CPUtime=1017.53 /proc/13159/stat : 13159 (pbct) R 13157 13159 12773 0 -1 4202496 5086 0 0 0 80307 21446 0 0 25 0 1 0 14277023 21737472 4929 4089446400 134512640 136422188 4292456336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13159/statm: 5307 4929 236 467 0 4838 0 Current children cumulated CPU time (s) 1017.53 Current children cumulated vsize (KiB) 21228 [startup+1019.1 s] /proc/loadavg: 2.00 2.00 1.91 3/179 13251 /proc/meminfo: memFree=29551888/32951124 swapFree=67111528/67111528 [pid=13159] ppid=13157 vsize=21228 CPUtime=1019.12 /proc/13159/stat : 13159 (pbct) R 13157 13159 12773 0 -1 4202496 5086 0 0 0 80425 21487 0 0 25 0 1 0 14277023 21737472 4929 4089446400 134512640 136422188 4292456336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13159/statm: 5307 4929 236 467 0 4838 0 Current children cumulated CPU time (s) 1019.12 Current children cumulated vsize (KiB) 21228 [startup+1019.9 s] /proc/loadavg: 2.00 2.00 1.91 3/179 13251 /proc/meminfo: memFree=29551764/32951124 swapFree=67111528/67111528 [pid=13159] ppid=13157 vsize=21228 CPUtime=1019.93 /proc/13159/stat : 13159 (pbct) R 13157 13159 12773 0 -1 4202496 5086 0 0 0 80486 21507 0 0 25 0 1 0 14277023 21737472 4929 4089446400 134512640 136422188 4292456336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13159/statm: 5307 4929 236 467 0 4838 0 Current children cumulated CPU time (s) 1019.93 Current children cumulated vsize (KiB) 21228 [startup+1020.3 s] /proc/loadavg: 2.00 2.00 1.91 3/179 13251 /proc/meminfo: memFree=29551764/32951124 swapFree=67111528/67111528 [pid=13159] ppid=13157 vsize=21228 CPUtime=1020.32 /proc/13159/stat : 13159 (pbct) R 13157 13159 12773 0 -1 4202496 5086 0 0 0 80515 21517 0 0 25 0 1 0 14277023 21737472 4929 4089446400 134512640 136422188 4292456336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13159/statm: 5307 4929 236 467 0 4838 0 Current children cumulated CPU time (s) 1020.32 Current children cumulated vsize (KiB) 21228 [startup+1020.5 s] /proc/loadavg: 2.00 2.00 1.91 3/179 13251 /proc/meminfo: memFree=29551764/32951124 swapFree=67111528/67111528 [pid=13159] ppid=13157 vsize=21228 CPUtime=1020.52 /proc/13159/stat : 13159 (pbct) R 13157 13159 12773 0 -1 4202496 5086 0 0 0 80531 21521 0 0 25 0 1 0 14277023 21737472 4929 4089446400 134512640 136422188 4292456336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13159/statm: 5307 4929 236 467 0 4838 0 Current children cumulated CPU time (s) 1020.52 Current children cumulated vsize (KiB) 21228 Child status: 0 Real time (s): 1020.52 CPU time (s): 1020.55 CPU user time (s): 805.338 CPU system time (s): 215.216 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 21228 getrusage(RUSAGE_CHILDREN,...) data: user time used= 805.338 system time used= 215.216 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 5091 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= 2 involuntary context switches= 12909 runsolver used 1.39079 second user time and 3.2545 second system time The end
Begin job on node109 at 2010-07-07 01:57:10 IDJOB=2699361 IDBENCH=78927 IDSOLVER=1212 FILE ID=node109/2699361-1278460629 PBS_JOBID= 11233774 Free space on /tmp= 73832 MiB SOLVER NAME= PB/CT 0.1 fixed BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900574864--soft-33-100-0.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2699361-1278460629/watcher-2699361-1278460629 -o /tmp/evaluation-result-2699361-1278460629/solver-2699361-1278460629 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699361-1278460629.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= f08844d42f277d14946ba79cfba06e67 RANDOM SEED=1556753022 node109.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.817 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.63 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.817 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.817 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.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.817 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.817 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.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.817 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.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.817 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.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.817 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 29478844 kB Buffers: 103228 kB Cached: 2897296 kB SwapCached: 0 kB Active: 1869524 kB Inactive: 1463368 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 29478844 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 1984 kB Writeback: 0 kB AnonPages: 332356 kB Mapped: 15632 kB Slab: 73864 kB PageTables: 5352 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 480472 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= 73828 MiB End job on node109 at 2010-07-07 02:14:10