Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 | OPTIMUM | 871.034 | 871.016 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900568706--soft-66-100-0.wbo |
MD5SUM | 0424fd5691d718147f8291be7b6f72f2 |
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 | 7 |
Best CPU time to get the best result obtained on this benchmark | 425.105 |
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 | 892 |
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 | 45060 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 45059 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 711 |
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 13/10 clauses 1802/882 units 0 0.00/0.01 c vars 231 0.05/0.06 c 0.058991 13.1719 18 5853 0.05/0.06 o 566 0.05/0.07 c 0.06199 13.3086 23 6218 0.05/0.07 o 539 0.05/0.07 c 0.06399 13.3086 25 7153 0.05/0.07 o 435 0.05/0.08 c 0.068989 13.3086 56 7954 0.05/0.08 o 376 0.05/0.08 c 0.070989 13.3086 70 8391 0.05/0.08 o 347 0.09/0.11 c 0.095985 13.3086 306 9241 0.09/0.11 o 321 0.19/0.21 c 0.163975 13.4375 914 10967 0.19/0.21 o 312 0.19/0.23 c 0.175973 13.4375 1030 11493 0.19/0.23 o 286 0.19/0.26 c 0.19197 13.5625 1190 11982 0.19/0.26 o 282 0.19/0.29 c 0.220966 13.5625 827 12633 0.19/0.29 o 266 0.29/0.31 c 0.228965 13.5625 912 12832 0.29/0.31 o 263 0.29/0.31 c 0.234964 13.5625 929 12915 0.29/0.31 o 262 0.29/0.35 c 0.254961 13.5625 1070 13767 0.29/0.35 o 223 0.49/0.50 c 0.365944 13.5625 673 15588 0.49/0.50 o 220 0.59/0.60 c 0.445932 13.5625 1335 16700 0.59/0.60 o 207 0.59/0.65 c 0.474927 13.5625 953 17365 0.59/0.65 o 193 0.69/0.72 c 0.527919 13.5625 751 18404 0.69/0.72 o 158 0.79/0.82 c 0.606907 13.5625 707 19639 0.79/0.82 o 154 1.19/1.22 c 0.899863 13.5625 879 23329 1.19/1.22 o 143 1.19/1.29 c 0.955854 13.5625 623 24059 1.19/1.29 o 139 1.29/1.35 c 0.998848 13.5625 948 24719 1.29/1.35 o 137 2.19/2.28 c 1.67774 13.6875 1396 32961 2.19/2.28 o 103 2.49/2.55 c 1.86372 13.6875 877 35483 2.49/2.55 o 101 4.99/5.06 c 3.64545 13.6875 1081 57048 4.99/5.06 o 88 7.29/7.35 c 5.33419 13.8086 1113 77081 7.29/7.35 o 79 7.89/7.97 c 5.78812 13.8086 1207 83152 7.89/7.97 o 77 8.39/8.41 c 6.13007 13.8086 1339 88226 8.39/8.41 o 76 8.99/9.01 c 6.577 13.8086 1486 94692 8.99/9.01 o 73 9.09/9.12 c 6.65399 13.8086 1417 96185 9.09/9.12 o 43 20.09/20.17 c 15.9586 14.9414 1346 232620 20.09/20.17 o 39 23.00/23.08 c 18.4372 14.9414 1571 275332 23.00/23.08 o 38 24.20/24.23 c 19.3941 14.9414 1075 290415 24.20/24.23 o 28 26.19/26.24 c 21.0588 14.9414 1672 317572 26.19/26.24 o 19 55.48/55.54 c 46.324 14.9414 1450 800401 55.48/55.54 o 15 61.68/61.77 c 51.8231 14.9414 2014 903861 61.68/61.77 o 13 79.59/79.70 c 67.5767 14.9414 1234 1185831 79.59/79.70 o 10 156.10/156.17 c 135.575 14.9414 1339 2482339 156.10/156.17 o 9 348.10/348.15 c 306.181 14.9414 1761 5794589 348.10/348.15 o 8 414.89/414.90 c 365.36 14.9414 1486 7008239 414.89/414.90 o 7 871.00/871.00 c 771.422 15.1211 1209 15136225 871.00/871.00 s OPTIMUM FOUND 871.00/871.00 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 7
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2694959-1277911505/watcher-2694959-1277911505 -o /tmp/evaluation-result-2694959-1277911505/solver-2694959-1277911505 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2694959-1277911505.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.99 1.99 1.99 3/178 24651 /proc/meminfo: memFree=31505012/32950940 swapFree=67111528/67111528 [pid=24651] ppid=24649 vsize=2136 CPUtime=0 /proc/24651/stat : 24651 (pbct) R 24649 24651 23135 0 -1 4202496 252 0 0 0 0 0 0 0 25 0 1 0 164742234 2187264 171 4089446400 134512640 136421960 4294467280 18446744073709551615 135873694 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/24651/statm: 534 171 144 467 0 65 0 [startup+0.0640249 s] /proc/loadavg: 1.99 1.99 1.99 3/178 24651 /proc/meminfo: memFree=31505012/32950940 swapFree=67111528/67111528 [pid=24651] ppid=24649 vsize=13484 CPUtime=0.05 /proc/24651/stat : 24651 (pbct) R 24649 24651 23135 0 -1 4202496 3014 0 0 0 5 0 0 0 25 0 1 0 164742234 13807616 2933 4089446400 134512640 136421960 4294467280 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/24651/statm: 3371 2933 213 467 0 2902 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 13484 [startup+0.101015 s] /proc/loadavg: 1.99 1.99 1.99 3/178 24651 /proc/meminfo: memFree=31505012/32950940 swapFree=67111528/67111528 [pid=24651] ppid=24649 vsize=13624 CPUtime=0.09 /proc/24651/stat : 24651 (pbct) R 24649 24651 23135 0 -1 4202496 3077 0 0 0 8 1 0 0 25 0 1 0 164742234 13950976 2991 4089446400 134512640 136421960 4294467280 18446744073709551615 135028864 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/24651/statm: 3406 2991 236 467 0 2937 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13624 [startup+0.300982 s] /proc/loadavg: 1.99 1.99 1.99 3/178 24651 /proc/meminfo: memFree=31505012/32950940 swapFree=67111528/67111528 [pid=24651] ppid=24649 vsize=13884 CPUtime=0.29 /proc/24651/stat : 24651 (pbct) R 24649 24651 23135 0 -1 4202496 3141 0 0 0 22 7 0 0 25 0 1 0 164742234 14217216 3050 4089446400 134512640 136421960 4294467280 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/24651/statm: 3471 3050 236 467 0 3002 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13884 [startup+0.700856 s] /proc/loadavg: 1.99 1.99 1.99 3/178 24651 /proc/meminfo: memFree=31505012/32950940 swapFree=67111528/67111528 [pid=24651] ppid=24649 vsize=13884 CPUtime=0.69 /proc/24651/stat : 24651 (pbct) R 24649 24651 23135 0 -1 4202496 3170 0 0 0 51 18 0 0 18 0 1 0 164742234 14217216 3073 4089446400 134512640 136421960 4294467280 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/24651/statm: 3471 3073 236 467 0 3002 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13884 [startup+1.50072 s] /proc/loadavg: 1.99 1.99 1.99 3/179 24652 /proc/meminfo: memFree=31493348/32950940 swapFree=67111528/67111528 [pid=24651] ppid=24649 vsize=13884 CPUtime=1.49 /proc/24651/stat : 24651 (pbct) R 24649 24651 23135 0 -1 4202496 3175 0 0 0 109 40 0 0 18 0 1 0 164742234 14217216 3073 4089446400 134512640 136421960 4294467280 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/24651/statm: 3471 3073 236 467 0 3002 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13884 [startup+3.10043 s] /proc/loadavg: 1.99 1.99 1.99 3/179 24652 /proc/meminfo: memFree=31492604/32950940 swapFree=67111528/67111528 [pid=24651] ppid=24649 vsize=14012 CPUtime=3.09 /proc/24651/stat : 24651 (pbct) R 24649 24651 23135 0 -1 4202496 3189 0 0 0 222 87 0 0 22 0 1 0 164742234 14348288 3085 4089446400 134512640 136421960 4294467280 18446744073709551615 135020345 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/24651/statm: 3503 3085 236 467 0 3034 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14012 [startup+6.30087 s] /proc/loadavg: 1.99 1.99 1.99 3/179 24652 /proc/meminfo: memFree=31491492/32950940 swapFree=67111528/67111528 [pid=24651] ppid=24649 vsize=14012 CPUtime=6.29 /proc/24651/stat : 24651 (pbct) R 24649 24651 23135 0 -1 4202496 3196 0 0 0 457 172 0 0 25 0 1 0 164742234 14348288 3091 4089446400 134512640 136421960 4294467280 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/24651/statm: 3503 3091 236 467 0 3034 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14012 [startup+12.7007 s] /proc/loadavg: 1.99 1.99 1.99 3/179 24652 /proc/meminfo: memFree=31488484/32950940 swapFree=67111528/67111528 [pid=24651] ppid=24649 vsize=14904 CPUtime=12.69 /proc/24651/stat : 24651 (pbct) R 24649 24651 23135 0 -1 4202496 3420 0 0 0 964 305 0 0 25 0 1 0 164742234 15261696 3310 4089446400 134512640 136421960 4294467280 18446744073709551615 134861890 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/24651/statm: 3726 3310 236 467 0 3257 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 14904 [startup+25.5005 s] /proc/loadavg: 1.99 1.99 1.99 3/179 24652 /proc/meminfo: memFree=31484448/32950940 swapFree=67111528/67111528 [pid=24651] ppid=24649 vsize=15296 CPUtime=25.49 /proc/24651/stat : 24651 (pbct) R 24649 24651 23135 0 -1 4202496 3532 0 0 0 2043 506 0 0 25 0 1 0 164742234 15663104 3419 4089446400 134512640 136421960 4294467280 18446744073709551615 134861930 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/24651/statm: 3824 3419 236 467 0 3355 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 15296 [startup+51.101 s] /proc/loadavg: 2.05 2.00 2.00 3/179 24653 /proc/meminfo: memFree=31479192/32950940 swapFree=67111528/67111528 [pid=24651] ppid=24649 vsize=15296 CPUtime=51.09 /proc/24651/stat : 24651 (pbct) R 24649 24651 23135 0 -1 4202496 3533 0 0 0 4244 865 0 0 25 0 1 0 164742234 15663104 3419 4089446400 134512640 136421960 4294467280 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/24651/statm: 3824 3419 236 467 0 3355 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 15296 [startup+102.306 s] /proc/loadavg: 2.02 2.00 2.00 3/179 24654 /proc/meminfo: memFree=31469732/32950940 swapFree=67111528/67111528 [pid=24651] ppid=24649 vsize=15296 CPUtime=102.29 /proc/24651/stat : 24651 (pbct) R 24649 24651 23135 0 -1 4202496 3536 0 0 0 8767 1462 0 0 25 0 1 0 164742234 15663104 3419 4089446400 134512640 136421960 4294467280 18446744073709551615 134861992 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/24651/statm: 3824 3419 236 467 0 3355 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 15296 [startup+162.301 s] /proc/loadavg: 2.01 2.00 2.00 3/179 24656 /proc/meminfo: memFree=31459536/32950940 swapFree=67111528/67111528 [pid=24651] ppid=24649 vsize=15296 CPUtime=162.29 /proc/24651/stat : 24651 (pbct) R 24649 24651 23135 0 -1 4202496 3537 0 0 0 14100 2129 0 0 25 0 1 0 164742234 15663104 3419 4089446400 134512640 136421960 4294467280 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/24651/statm: 3824 3419 236 467 0 3355 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 15296 [startup+222.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24658 /proc/meminfo: memFree=31451448/32950940 swapFree=67111528/67111528 [pid=24651] ppid=24649 vsize=15296 CPUtime=222.29 /proc/24651/stat : 24651 (pbct) R 24649 24651 23135 0 -1 4202496 3537 0 0 0 19432 2797 0 0 25 0 1 0 164742234 15663104 3419 4089446400 134512640 136421960 4294467280 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/24651/statm: 3824 3419 236 467 0 3355 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 15296 [startup+282.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24660 /proc/meminfo: memFree=31441372/32950940 swapFree=67111528/67111528 [pid=24651] ppid=24649 vsize=15296 CPUtime=282.3 /proc/24651/stat : 24651 (pbct) R 24649 24651 23135 0 -1 4202496 3537 0 0 0 24781 3449 0 0 25 0 1 0 164742234 15663104 3419 4089446400 134512640 136421960 4294467280 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/24651/statm: 3824 3419 236 467 0 3355 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 15296 [startup+342.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24661 /proc/meminfo: memFree=31433016/32950940 swapFree=67111528/67111528 [pid=24651] ppid=24649 vsize=15296 CPUtime=342.29 /proc/24651/stat : 24651 (pbct) R 24649 24651 23135 0 -1 4202496 3537 0 0 0 30113 4116 0 0 25 0 1 0 164742234 15663104 3419 4089446400 134512640 136421960 4294467280 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/24651/statm: 3824 3419 236 467 0 3355 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 15296 [startup+402.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24662 /proc/meminfo: memFree=31431084/32950940 swapFree=67111528/67111528 [pid=24651] ppid=24649 vsize=15296 CPUtime=402.3 /proc/24651/stat : 24651 (pbct) R 24649 24651 23135 0 -1 4202496 3542 0 0 0 35412 4818 0 0 25 0 1 0 164742234 15663104 3423 4089446400 134512640 136421960 4294467280 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/24651/statm: 3824 3423 236 467 0 3355 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 15296 [startup+462.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24664 /proc/meminfo: memFree=31426712/32950940 swapFree=67111528/67111528 [pid=24651] ppid=24649 vsize=15480 CPUtime=462.29 /proc/24651/stat : 24651 (pbct) R 24649 24651 23135 0 -1 4202496 3554 0 0 0 40767 5462 0 0 25 0 1 0 164742234 15851520 3434 4089446400 134512640 136421960 4294467280 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/24651/statm: 3870 3434 236 467 0 3401 0 Current children cumulated CPU time (s) 462.29 Current children cumulated vsize (KiB) 15480 [startup+522.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24666 /proc/meminfo: memFree=31425560/32950940 swapFree=67111528/67111528 [pid=24651] ppid=24649 vsize=15480 CPUtime=522.3 /proc/24651/stat : 24651 (pbct) R 24649 24651 23135 0 -1 4202496 3558 0 0 0 46114 6116 0 0 25 0 1 0 164742234 15851520 3438 4089446400 134512640 136421960 4294467280 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/24651/statm: 3870 3438 236 467 0 3401 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 15480 [startup+582.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24668 /proc/meminfo: memFree=31424152/32950940 swapFree=67111528/67111528 [pid=24651] ppid=24649 vsize=15480 CPUtime=582.3 /proc/24651/stat : 24651 (pbct) R 24649 24651 23135 0 -1 4202496 3562 0 0 0 51421 6809 0 0 25 0 1 0 164742234 15851520 3442 4089446400 134512640 136421960 4294467280 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/24651/statm: 3870 3442 236 467 0 3401 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 15480 [startup+642.3 s] /proc/loadavg: 2.03 2.01 2.00 3/179 24669 /proc/meminfo: memFree=31420652/32950940 swapFree=67111528/67111528 [pid=24651] ppid=24649 vsize=15480 CPUtime=642.31 /proc/24651/stat : 24651 (pbct) R 24649 24651 23135 0 -1 4202496 3565 0 0 0 56786 7445 0 0 25 0 1 0 164742234 15851520 3445 4089446400 134512640 136421960 4294467280 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/24651/statm: 3870 3445 236 467 0 3401 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 15480 [startup+702.301 s] /proc/loadavg: 2.01 2.01 2.00 3/179 24670 /proc/meminfo: memFree=31417624/32950940 swapFree=67111528/67111528 [pid=24651] ppid=24649 vsize=15480 CPUtime=702.3 /proc/24651/stat : 24651 (pbct) R 24649 24651 23135 0 -1 4202496 3570 0 0 0 62138 8092 0 0 25 0 1 0 164742234 15851520 3450 4089446400 134512640 136421960 4294467280 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/24651/statm: 3870 3450 236 467 0 3401 0 Current children cumulated CPU time (s) 702.3 Current children cumulated vsize (KiB) 15480 [startup+762.306 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24672 /proc/meminfo: memFree=31413252/32950940 swapFree=67111528/67111528 [pid=24651] ppid=24649 vsize=15480 CPUtime=762.31 /proc/24651/stat : 24651 (pbct) R 24649 24651 23135 0 -1 4202496 3576 0 0 0 67512 8719 0 0 25 0 1 0 164742234 15851520 3456 4089446400 134512640 136421960 4294467280 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/24651/statm: 3870 3456 236 467 0 3401 0 Current children cumulated CPU time (s) 762.31 Current children cumulated vsize (KiB) 15480 [startup+822.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24674 /proc/meminfo: memFree=31409748/32950940 swapFree=67111528/67111528 [pid=24651] ppid=24649 vsize=15480 CPUtime=822.3 /proc/24651/stat : 24651 (pbct) R 24649 24651 23135 0 -1 4202496 3577 0 0 0 72846 9384 0 0 25 0 1 0 164742234 15851520 3457 4089446400 134512640 136421960 4294467280 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/24651/statm: 3870 3457 236 467 0 3401 0 Current children cumulated CPU time (s) 822.3 Current children cumulated vsize (KiB) 15480 Solver just ended. Dumping a history of the last processes samples [startup+844.701 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24674 /proc/meminfo: memFree=31406508/32950940 swapFree=67111528/67111528 [pid=24651] ppid=24649 vsize=15480 CPUtime=844.72 /proc/24651/stat : 24651 (pbct) R 24649 24651 23135 0 -1 4202496 3578 0 0 0 74810 9662 0 0 25 0 1 0 164742234 15851520 3458 4089446400 134512640 136421960 4294467280 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/24651/statm: 3870 3458 236 467 0 3401 0 Current children cumulated CPU time (s) 844.72 Current children cumulated vsize (KiB) 15480 [startup+857.501 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24674 /proc/meminfo: memFree=31405636/32950940 swapFree=67111528/67111528 [pid=24651] ppid=24649 vsize=15480 CPUtime=857.51 /proc/24651/stat : 24651 (pbct) R 24649 24651 23135 0 -1 4202496 3581 0 0 0 75948 9803 0 0 25 0 1 0 164742234 15851520 3461 4089446400 134512640 136421960 4294467280 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/24651/statm: 3870 3461 236 467 0 3401 0 Current children cumulated CPU time (s) 857.51 Current children cumulated vsize (KiB) 15480 [startup+863.9 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24675 /proc/meminfo: memFree=31405512/32950940 swapFree=67111528/67111528 [pid=24651] ppid=24649 vsize=15480 CPUtime=863.91 /proc/24651/stat : 24651 (pbct) R 24649 24651 23135 0 -1 4202496 3582 0 0 0 76509 9882 0 0 25 0 1 0 164742234 15851520 3462 4089446400 134512640 136421960 4294467280 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/24651/statm: 3870 3462 236 467 0 3401 0 Current children cumulated CPU time (s) 863.91 Current children cumulated vsize (KiB) 15480 [startup+867.101 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24675 /proc/meminfo: memFree=31405388/32950940 swapFree=67111528/67111528 [pid=24651] ppid=24649 vsize=15480 CPUtime=867.1 /proc/24651/stat : 24651 (pbct) R 24649 24651 23135 0 -1 4202496 3582 0 0 0 76800 9910 0 0 25 0 1 0 164742234 15851520 3462 4089446400 134512640 136421960 4294467280 18446744073709551615 134861899 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/24651/statm: 3870 3462 236 467 0 3401 0 Current children cumulated CPU time (s) 867.1 Current children cumulated vsize (KiB) 15480 [startup+868.701 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24675 /proc/meminfo: memFree=31405388/32950940 swapFree=67111528/67111528 [pid=24651] ppid=24649 vsize=15480 CPUtime=868.71 /proc/24651/stat : 24651 (pbct) R 24649 24651 23135 0 -1 4202496 3582 0 0 0 76937 9934 0 0 25 0 1 0 164742234 15851520 3462 4089446400 134512640 136421960 4294467280 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/24651/statm: 3870 3462 236 467 0 3401 0 Current children cumulated CPU time (s) 868.71 Current children cumulated vsize (KiB) 15480 [startup+870.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24675 /proc/meminfo: memFree=31405388/32950940 swapFree=67111528/67111528 [pid=24651] ppid=24649 vsize=15480 CPUtime=870.31 /proc/24651/stat : 24651 (pbct) R 24649 24651 23135 0 -1 4202496 3582 0 0 0 77080 9951 0 0 25 0 1 0 164742234 15851520 3462 4089446400 134512640 136421960 4294467280 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/24651/statm: 3870 3462 236 467 0 3401 0 Current children cumulated CPU time (s) 870.31 Current children cumulated vsize (KiB) 15480 [startup+870.7 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24675 /proc/meminfo: memFree=31405388/32950940 swapFree=67111528/67111528 [pid=24651] ppid=24649 vsize=15480 CPUtime=870.71 /proc/24651/stat : 24651 (pbct) R 24649 24651 23135 0 -1 4202496 3582 0 0 0 77115 9956 0 0 25 0 1 0 164742234 15851520 3462 4089446400 134512640 136421960 4294467280 18446744073709551615 135006289 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/24651/statm: 3870 3462 236 467 0 3401 0 Current children cumulated CPU time (s) 870.71 Current children cumulated vsize (KiB) 15480 [startup+870.9 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24675 /proc/meminfo: memFree=31405388/32950940 swapFree=67111528/67111528 [pid=24651] ppid=24649 vsize=15480 CPUtime=870.91 /proc/24651/stat : 24651 (pbct) R 24649 24651 23135 0 -1 4202496 3582 0 0 0 77132 9959 0 0 25 0 1 0 164742234 15851520 3462 4089446400 134512640 136421960 4294467280 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/24651/statm: 3870 3462 236 467 0 3401 0 Current children cumulated CPU time (s) 870.91 Current children cumulated vsize (KiB) 15480 [startup+871 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24675 /proc/meminfo: memFree=31405388/32950940 swapFree=67111528/67111528 [pid=24651] ppid=24649 vsize=15480 CPUtime=871 /proc/24651/stat : 24651 (pbct) R 24649 24651 23135 0 -1 4202496 3582 0 0 0 77141 9959 0 0 25 0 1 0 164742234 15851520 3462 4089446400 134512640 136421960 4294467280 18446744073709551615 134862383 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/24651/statm: 3870 3462 236 467 0 3401 0 Current children cumulated CPU time (s) 871 Current children cumulated vsize (KiB) 15480 Child status: 0 Real time (s): 871.016 CPU time (s): 871.034 CPU user time (s): 771.433 CPU system time (s): 99.6009 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 15480 getrusage(RUSAGE_CHILDREN,...) data: user time used= 771.433 system time used= 99.6009 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3587 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= 1805 runsolver used 1.17882 second user time and 2.78958 second system time The end
Begin job on node117 at 2010-06-30 17:25:05 IDJOB=2694959 IDBENCH=78987 IDSOLVER=1208 FILE ID=node117/2694959-1277911505 PBS_JOBID= 11197174 Free space on /tmp= 74204 MiB SOLVER NAME= PB/CT 0.1 BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900568706--soft-66-100-0.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2694959-1277911505/watcher-2694959-1277911505 -o /tmp/evaluation-result-2694959-1277911505/solver-2694959-1277911505 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2694959-1277911505.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 0424fd5691d718147f8291be7b6f72f2 RANDOM SEED=1476982111 node117.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.799 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.59 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.799 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.799 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.799 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.799 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.85 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.799 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.75 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.799 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.799 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.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950940 kB MemFree: 31505532 kB Buffers: 196068 kB Cached: 854692 kB SwapCached: 0 kB Active: 713276 kB Inactive: 590524 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950940 kB LowFree: 31505532 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2004 kB Writeback: 0 kB AnonPages: 252888 kB Mapped: 17408 kB Slab: 77996 kB PageTables: 5440 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586996 kB Committed_AS: 405276 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 node117 at 2010-06-30 17:39:36