Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| toysat 2012-05-17 | OPTIMUM | 271.164 | 271.213 |
| Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900669797--soft-0-100-0.wbo |
| MD5SUM | ebbce1c4489027f4644c8b5f9031d297 |
| Bench Category | SOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 1 |
| Best CPU time to get the best result obtained on this benchmark | 44.2703 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 231 |
| Total number of constraints | 2707 |
| Number of soft constraints | 2707 |
| Number of constraints which are clauses | 2684 |
| Number of constraints which are cardinality constraints (but not clauses) | 22 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 110 |
| Top cost | 135865 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 135864 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 695 |
| 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.78/0.84 c 2012-05-28T14:46:29+0200 0.78/0.84 c arch = x86_64 0.78/0.84 c os = linux 0.78/0.84 c compiler = ghc 7.4 0.78/0.84 c packages: 0.78/0.84 c OptDir-0.0.1 0.78/0.84 c array-0.4.0.0 0.78/0.84 c base-4.5.0.0 0.78/0.84 c bytestring-0.9.2.1 0.78/0.84 c containers-0.4.2.1 0.78/0.84 c deepseq-1.3.0.0 0.78/0.84 c mtl-2.1.1 0.78/0.84 c old_locale-1.0.0.4 0.78/0.84 c parse_dimacs-1.2 0.78/0.84 c parsec-3.1.2 0.78/0.84 c queue-0.1.2 0.78/0.84 c stm-2.3 0.78/0.84 c time-1.4 0.78/0.84 c command line = ["--wbo","HOME/instance-3712344-1338209189.wbo"] 0.78/0.84 c #vars 231 0.78/0.84 c #constraints 2707 0.78/0.84 c Solving starts ... 0.78/0.89 c solving time = 0.048s 0.78/0.89 c #decision = 5622 0.78/0.89 c #conflict = 100 0.78/0.89 c #restart = 1 0.78/0.89 o 191 0.88/0.90 c Solving starts ... 6.88/6.99 c solving time = 6.082s 6.88/6.99 c #decision = 8517 6.88/6.99 c #conflict = 514 6.88/6.99 c #restart = 3 6.88/6.99 o 189 6.88/6.99 c Solving starts ... 41.08/41.10 c solving time = 34.105s 41.08/41.10 c #decision = 10288 41.08/41.10 c #conflict = 1561 41.08/41.10 c #restart = 7 41.08/41.10 o 186 41.08/41.11 c Solving starts ... 62.07/62.15 c solving time = 21.031s 62.07/62.15 c #decision = 11388 62.07/62.15 c #conflict = 2217 62.07/62.15 c #restart = 10 62.07/62.15 o 185 62.07/62.16 c Solving starts ... 62.07/62.16 c learnt constraints deletion: 2207 -> 1104 62.07/62.17 c solving time = 0.013s 62.07/62.17 c #decision = 11515 62.07/62.17 c #conflict = 2217 62.07/62.17 c #restart = 10 62.07/62.17 o 180 62.07/62.17 c Solving starts ... 113.97/114.02 c solving time = 51.837s 113.97/114.02 c #decision = 13432 113.97/114.02 c #conflict = 3393 113.97/114.02 c #restart = 14 113.97/114.02 o 179 113.97/114.02 c Solving starts ... 113.97/114.03 c learnt constraints deletion: 2276 -> 1138 141.56/141.64 c solving time = 27.612s 141.56/141.64 c #decision = 14547 141.56/141.64 c #conflict = 4007 141.56/141.64 c #restart = 17 141.56/141.64 o 175 141.56/141.65 c Solving starts ... 141.56/141.66 c solving time = 0.014s 141.56/141.66 c #decision = 14564 141.56/141.66 c #conflict = 4007 141.56/141.66 c #restart = 17 141.56/141.66 o 174 141.56/141.67 c Solving starts ... 141.56/141.68 c solving time = 0.013s 141.56/141.68 c #decision = 14580 141.56/141.68 c #conflict = 4007 141.56/141.68 c #restart = 17 141.56/141.68 o 173 141.56/141.69 c Solving starts ... 158.66/158.74 c solving time = 17.042s 158.66/158.74 c #decision = 15326 158.66/158.74 c #conflict = 4413 158.66/158.74 c #restart = 19 158.66/158.74 o 170 158.66/158.75 c Solving starts ... 158.66/158.76 c learnt constraints deletion: 2153 -> 1077 158.66/158.77 c solving time = 0.021s 158.66/158.77 c #decision = 15353 158.66/158.77 c #conflict = 4413 158.66/158.77 c #restart = 19 158.66/158.77 o 169 158.66/158.78 c Solving starts ... 160.96/161.00 c solving time = 2.220s 160.96/161.00 c #decision = 15455 160.96/161.00 c #conflict = 4474 160.96/161.00 c #restart = 19 160.96/161.00 o 168 160.96/161.00 c Solving starts ... 171.96/172.08 c solving time = 11.076s 171.96/172.08 c #decision = 16156 171.96/172.08 c #conflict = 4814 171.96/172.08 c #restart = 21 171.96/172.08 o 167 171.96/172.09 c Solving starts ... 195.06/195.11 c solving time = 23.015s 195.06/195.11 c #decision = 16943 195.06/195.11 c #conflict = 5282 195.06/195.11 c #restart = 23 195.06/195.11 o 166 195.06/195.11 c Solving starts ... 195.06/195.12 c learnt constraints deletion: 1942 -> 971 208.45/208.51 c solving time = 13.395s 208.45/208.51 c #decision = 17850 208.45/208.51 c #conflict = 5532 208.45/208.51 c #restart = 25 208.45/208.51 o 153 208.45/208.52 c Solving starts ... 208.45/208.56 c solving time = 0.039s 208.45/208.56 c #decision = 18349 208.45/208.56 c #conflict = 5534 208.45/208.56 c #restart = 25 208.45/208.56 o 139 208.45/208.56 c Solving starts ... 208.45/208.58 c solving time = 0.015s 208.45/208.58 c #decision = 18510 208.45/208.58 c #conflict = 5534 208.45/208.58 c #restart = 25 208.45/208.58 o 137 208.45/208.58 c Solving starts ... 208.55/208.67 c solving time = 0.084s 208.55/208.67 c #decision = 18659 208.55/208.67 c #conflict = 5538 208.55/208.67 c #restart = 25 208.55/208.67 o 136 208.55/208.67 c Solving starts ... 208.55/208.69 c solving time = 0.019s 208.55/208.69 c #decision = 18935 208.55/208.69 c #conflict = 5538 208.55/208.69 c #restart = 25 208.55/208.69 o 129 208.65/208.70 c Solving starts ... 209.85/209.93 c solving time = 1.232s 209.85/209.93 c #decision = 19299 209.85/209.93 c #conflict = 5616 209.85/209.93 c #restart = 25 209.85/209.93 o 124 209.85/209.93 c Solving starts ... 209.85/209.95 c solving time = 0.019s 209.85/209.95 c #decision = 19477 209.85/209.95 c #conflict = 5616 209.85/209.95 c #restart = 25 209.85/209.96 o 117 209.85/209.96 c Solving starts ... 218.65/218.77 c solving time = 8.810s 218.65/218.77 c #decision = 19897 218.65/218.77 c #conflict = 5816 218.65/218.77 c #restart = 26 218.65/218.77 o 116 218.65/218.78 c Solving starts ... 218.75/218.81 c solving time = 0.028s 218.75/218.81 c #decision = 19977 218.75/218.81 c #conflict = 5816 218.75/218.81 c #restart = 26 218.75/218.81 o 113 218.75/218.81 c Solving starts ... 221.65/221.79 c solving time = 2.980s 221.65/221.79 c #decision = 20358 221.65/221.79 c #conflict = 5864 221.65/221.79 c #restart = 26 221.65/221.79 o 101 221.75/221.80 c Solving starts ... 221.95/222.08 c solving time = 0.285s 221.95/222.08 c #decision = 20508 221.95/222.08 c #conflict = 5867 221.95/222.08 c #restart = 26 221.95/222.08 o 95 221.95/222.09 c Solving starts ... 222.06/222.11 c solving time = 0.021s 222.06/222.11 c #decision = 20598 222.06/222.11 c #conflict = 5867 222.06/222.11 c #restart = 26 222.06/222.11 o 91 222.06/222.11 c Solving starts ... 225.05/225.10 c solving time = 2.985s 225.05/225.10 c #decision = 20730 225.05/225.10 c #conflict = 5932 225.05/225.10 c #restart = 26 225.05/225.10 o 90 225.05/225.10 c Solving starts ... 225.05/225.13 c solving time = 0.022s 225.05/225.13 c #decision = 20884 225.05/225.13 c #conflict = 5932 225.05/225.13 c #restart = 26 225.05/225.13 o 89 225.05/225.14 c Solving starts ... 225.05/225.16 c solving time = 0.018s 225.05/225.16 c #decision = 21034 225.05/225.16 c #conflict = 5932 225.05/225.16 c #restart = 26 225.05/225.16 o 88 225.05/225.17 c Solving starts ... 225.05/225.18 c solving time = 0.013s 225.05/225.18 c #decision = 21948 225.05/225.18 c #conflict = 5932 225.05/225.18 c #restart = 26 225.05/225.18 o 59 225.05/225.19 c Solving starts ... 226.05/226.10 c solving time = 0.914s 226.05/226.10 c #decision = 22190 226.05/226.10 c #conflict = 6002 226.05/226.10 c #restart = 26 226.05/226.10 o 57 226.05/226.10 c Solving starts ... 226.05/226.12 c solving time = 0.019s 226.05/226.12 c #decision = 22306 226.05/226.12 c #conflict = 6002 226.05/226.12 c #restart = 26 226.05/226.12 o 52 226.05/226.13 c Solving starts ... 232.85/232.91 c solving time = 6.783s 232.85/232.91 c #decision = 23257 232.85/232.91 c #conflict = 6543 232.85/232.91 c #restart = 29 232.85/232.91 o 48 232.85/232.91 c Solving starts ... 232.85/232.94 c solving time = 0.029s 232.85/232.94 c #decision = 23315 232.85/232.94 c #conflict = 6543 232.85/232.94 c #restart = 29 232.85/232.94 o 46 232.85/232.94 c Solving starts ... 232.85/232.97 c solving time = 0.026s 232.85/232.97 c #decision = 23416 232.85/232.97 c #conflict = 6543 232.85/232.97 c #restart = 29 232.85/232.97 o 42 232.85/232.97 c Solving starts ... 234.95/235.01 c solving time = 2.037s 234.95/235.01 c #decision = 23755 234.95/235.01 c #conflict = 6759 234.95/235.01 c #restart = 30 234.95/235.01 o 41 234.95/235.01 c Solving starts ... 237.65/237.77 c solving time = 2.758s 237.65/237.77 c #decision = 24318 237.65/237.77 c #conflict = 7028 237.65/237.77 c #restart = 32 237.65/237.77 o 34 237.65/237.77 c Solving starts ... 237.75/237.80 c solving time = 0.029s 237.75/237.80 c #decision = 24335 237.75/237.80 c #conflict = 7028 237.75/237.80 c #restart = 32 237.75/237.80 o 33 237.75/237.80 c Solving starts ... 237.75/237.83 c solving time = 0.025s 237.75/237.83 c #decision = 24351 237.75/237.83 c #conflict = 7028 237.75/237.83 c #restart = 32 237.75/237.83 o 32 237.75/237.83 c Solving starts ... 237.75/237.85 c solving time = 0.021s 237.75/237.85 c #decision = 24523 237.75/237.85 c #conflict = 7028 237.75/237.85 c #restart = 32 237.75/237.85 o 25 237.75/237.85 c Solving starts ... 242.34/242.46 c solving time = 4.600s 242.34/242.46 c #decision = 25947 242.34/242.46 c #conflict = 7903 242.34/242.46 c #restart = 36 242.34/242.46 o 20 242.34/242.46 c Solving starts ... 246.45/246.52 c solving time = 4.060s 246.45/246.52 c #decision = 27640 246.45/246.52 c #conflict = 9019 246.45/246.52 c #restart = 40 246.45/246.52 o 19 246.45/246.52 c Solving starts ... 246.45/246.53 c learnt constraints deletion: 4691 -> 2346 246.45/246.56 c solving time = 0.044s 246.45/246.56 c #decision = 27753 246.45/246.56 c #conflict = 9020 246.45/246.56 c #restart = 40 246.45/246.56 o 15 246.45/246.57 c Solving starts ... 246.45/246.58 c solving time = 0.012s 246.45/246.58 c #decision = 27806 246.45/246.58 c #conflict = 9020 246.45/246.58 c #restart = 40 246.45/246.58 o 13 246.45/246.58 c Solving starts ... 246.45/246.59 c solving time = 0.006s 246.45/246.59 c #decision = 28082 246.45/246.59 c #conflict = 9020 246.45/246.59 c #restart = 40 246.45/246.59 o 2 246.45/246.59 c Solving starts ... 250.85/250.93 c learnt constraints deletion: 6400 -> 3200 255.34/255.40 c learnt constraints deletion: 7208 -> 3604 260.65/260.76 c learnt constraints deletion: 7629 -> 3815 261.14/261.28 c solving time = 14.696s 261.14/261.28 c #decision = 48720 261.14/261.28 c #conflict = 21470 261.14/261.28 c #restart = 50 261.14/261.28 o 1 261.14/261.28 c Solving starts ... 262.14/262.22 c learnt constraints deletion: 5785 -> 2893 264.64/264.75 c learnt constraints deletion: 6837 -> 3419 267.04/267.19 c learnt constraints deletion: 7264 -> 3632 269.35/269.44 c learnt constraints deletion: 7664 -> 3832 271.14/271.21 c solving time = 9.921s 271.14/271.21 c #decision = 81440 271.14/271.21 c #conflict = 38471 271.14/271.21 c #restart = 60 271.14/271.21 s OPTIMUM FOUND 271.14/271.21 v -x1 x2 -x3 -x4 -x5 -x6 x7 -x8 -x9 -x10 271.14/271.21 v -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 271.14/271.21 v -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 x29 -x30 271.14/271.21 v -x31 -x32 -x33 -x34 -x35 x36 -x37 -x38 -x39 -x40 271.14/271.21 v -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 271.14/271.21 v -x51 -x52 -x53 -x54 x55 -x56 -x57 -x58 -x59 -x60 271.14/271.21 v -x61 -x62 x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 271.14/271.21 v -x71 -x72 -x73 -x74 -x75 x76 -x77 -x78 -x79 -x80 271.14/271.21 v -x81 -x82 x83 -x84 -x85 -x86 -x87 -x88 -x89 x90 271.14/271.21 v -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 271.14/271.21 v -x101 -x102 -x103 -x104 -x105 -x106 -x107 x108 -x109 -x110 271.14/271.21 v -x111 -x112 -x113 -x114 x115 -x116 -x117 -x118 -x119 -x120 271.14/271.21 v -x121 -x122 -x123 x124 -x125 -x126 -x127 -x128 -x129 -x130 271.14/271.21 v -x131 -x132 -x133 -x134 -x135 x136 -x137 -x138 -x139 -x140 271.14/271.21 v -x141 -x142 -x143 -x144 -x145 -x146 x147 -x148 -x149 -x150 271.14/271.21 v -x151 -x152 -x153 -x154 x155 -x156 -x157 -x158 -x159 -x160 271.14/271.21 v -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 271.14/271.21 v -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 x180 271.14/271.21 v -x181 x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 271.14/271.21 v -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 271.14/271.21 v x201 -x202 x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 271.14/271.21 v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 x219 -x220 271.14/271.21 v -x221 -x222 -x223 x224 -x225 -x226 -x227 -x228 -x229 -x230 271.14/271.21 v -x231 271.14/271.21 c total time = 271.163s
OK 1
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3712344-1338209189/watcher-3712344-1338209189 -o /tmp/evaluation-result-3712344-1338209189/solver-3712344-1338209189 -C 1800 -W 1900 -M 15500 HOME/toysat --wbo HOME/instance-3712344-1338209189.wbo running on 4 cores: 1,3,5,7 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): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.04 2.01 2.00 2/176 21870 /proc/meminfo: memFree=28043316/32873844 swapFree=7620/7620 [pid=21870] ppid=21868 vsize=6208 CPUtime=0 cores=1,3,5,7 /proc/21870/stat : 21870 (toysat) R 21868 21870 20029 0 -1 4202496 811 0 0 0 0 0 0 0 20 0 1 0 287047438 6356992 732 33554432000 4194304 8973514 140734402768448 140734402767944 5783717 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/21870/statm: 1552 732 423 1167 0 333 0 [startup+0.0806019 s] /proc/loadavg: 2.04 2.01 2.00 2/176 21870 /proc/meminfo: memFree=28043316/32873844 swapFree=7620/7620 [pid=21870] ppid=21868 vsize=11328 CPUtime=0.07 cores=1,3,5,7 /proc/21870/stat : 21870 (toysat) R 21868 21870 20029 0 -1 4202496 2122 0 0 0 7 0 0 0 20 0 1 0 287047438 11599872 2043 33554432000 4194304 8973514 140734402768448 140734402767944 4213772 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/21870/statm: 2832 2043 437 1167 0 1613 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 11328 [startup+0.100336 s] /proc/loadavg: 2.04 2.01 2.00 2/176 21870 /proc/meminfo: memFree=28043316/32873844 swapFree=7620/7620 [pid=21870] ppid=21868 vsize=12352 CPUtime=0.09 cores=1,3,5,7 /proc/21870/stat : 21870 (toysat) R 21868 21870 20029 0 -1 4202496 2220 0 0 0 9 0 0 0 20 0 1 0 287047438 12648448 2141 33554432000 4194304 8973514 140734402768448 140734402767944 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/21870/statm: 3088 2141 438 1167 0 1869 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12352 [startup+0.30023 s] /proc/loadavg: 2.04 2.01 2.00 2/176 21870 /proc/meminfo: memFree=28043316/32873844 swapFree=7620/7620 [pid=21870] ppid=21868 vsize=12352 CPUtime=0.29 cores=1,3,5,7 /proc/21870/stat : 21870 (toysat) R 21868 21870 20029 0 -1 4202496 2221 0 0 0 29 0 0 0 20 0 1 0 287047438 12648448 2142 33554432000 4194304 8973514 140734402768448 140734402767944 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/21870/statm: 3088 2142 438 1167 0 1869 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12352 [startup+0.700235 s] /proc/loadavg: 2.04 2.01 2.00 2/176 21870 /proc/meminfo: memFree=28043316/32873844 swapFree=7620/7620 [pid=21870] ppid=21868 vsize=12352 CPUtime=0.68 cores=1,3,5,7 /proc/21870/stat : 21870 (toysat) R 21868 21870 20029 0 -1 4202496 2380 0 0 0 68 0 0 0 20 0 1 0 287047438 12648448 2301 33554432000 4194304 8973514 140734402768448 140734402767944 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/21870/statm: 3088 2301 438 1167 0 1869 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 12352 [startup+1.50032 s] /proc/loadavg: 2.04 2.01 2.00 3/177 21871 /proc/meminfo: memFree=28032892/32873844 swapFree=7620/7620 [pid=21870] ppid=21868 vsize=15424 CPUtime=1.49 cores=1,3,5,7 /proc/21870/stat : 21870 (toysat) R 21868 21870 20029 0 -1 4202496 3176 0 0 0 148 1 0 0 20 0 1 0 287047438 15794176 3097 33554432000 4194304 8973514 140734402768448 140734402767944 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/21870/statm: 3856 3097 466 1167 0 2637 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15424 [startup+3.10033 s] /proc/loadavg: 2.04 2.01 2.00 3/177 21871 /proc/meminfo: memFree=28034568/32873844 swapFree=7620/7620 [pid=21870] ppid=21868 vsize=15424 CPUtime=3.09 cores=1,3,5,7 /proc/21870/stat : 21870 (toysat) R 21868 21870 20029 0 -1 4202496 3176 0 0 0 308 1 0 0 20 0 1 0 287047438 15794176 3097 33554432000 4194304 8973514 140734402768448 140734402767944 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/21870/statm: 3856 3097 466 1167 0 2637 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15424 [startup+6.30017 s] /proc/loadavg: 2.04 2.01 2.00 3/177 21871 /proc/meminfo: memFree=28034436/32873844 swapFree=7620/7620 [pid=21870] ppid=21868 vsize=15424 CPUtime=6.29 cores=1,3,5,7 /proc/21870/stat : 21870 (toysat) R 21868 21870 20029 0 -1 4202496 3176 0 0 0 627 2 0 0 20 0 1 0 287047438 15794176 3097 33554432000 4194304 8973514 140734402768448 140734402767944 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/21870/statm: 3856 3097 466 1167 0 2637 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 15424 [startup+12.7003 s] /proc/loadavg: 2.04 2.01 2.00 3/177 21871 /proc/meminfo: memFree=28032196/32873844 swapFree=7620/7620 [pid=21870] ppid=21868 vsize=17472 CPUtime=12.69 cores=1,3,5,7 /proc/21870/stat : 21870 (toysat) R 21868 21870 20029 0 -1 4202496 3690 0 0 0 1265 4 0 0 20 0 1 0 287047438 17891328 3616 33554432000 4194304 8973514 140734402768448 140734402767944 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/21870/statm: 4368 3616 466 1167 0 3149 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 17472 [startup+25.5003 s] /proc/loadavg: 2.03 2.01 2.00 3/177 21871 /proc/meminfo: memFree=28031708/32873844 swapFree=7620/7620 [pid=21870] ppid=21868 vsize=18496 CPUtime=25.48 cores=1,3,5,7 /proc/21870/stat : 21870 (toysat) R 21868 21870 20029 0 -1 4202496 3946 0 0 0 2540 8 0 0 20 0 1 0 287047438 18939904 3872 33554432000 4194304 8973514 140734402768448 140734402767712 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/21870/statm: 4624 3872 466 1167 0 3405 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 18496 [startup+51.1003 s] /proc/loadavg: 2.02 2.01 2.00 3/177 21872 /proc/meminfo: memFree=28029600/32873844 swapFree=7620/7620 [pid=21870] ppid=21868 vsize=19520 CPUtime=51.08 cores=1,3,5,7 /proc/21870/stat : 21870 (toysat) R 21868 21870 20029 0 -1 4202496 4202 0 0 0 5089 19 0 0 20 0 1 0 287047438 19988480 4128 33554432000 4194304 8973514 140734402768448 140734402767944 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/21870/statm: 4880 4128 466 1167 0 3661 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 19520 [startup+102.307 s] /proc/loadavg: 2.01 2.00 2.00 3/177 21872 /proc/meminfo: memFree=28024324/32873844 swapFree=7620/7620 [pid=21870] ppid=21868 vsize=22592 CPUtime=102.28 cores=1,3,5,7 /proc/21870/stat : 21870 (toysat) R 21868 21870 20029 0 -1 4202496 4973 0 0 0 10190 38 0 0 20 0 1 0 287047438 23134208 4897 33554432000 4194304 8973514 140734402768448 140734402767944 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/21870/statm: 5648 4897 467 1167 0 4429 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 22592 [startup+162.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 21872 /proc/meminfo: memFree=28006204/32873844 swapFree=7620/7620 [pid=21870] ppid=21868 vsize=28736 CPUtime=162.26 cores=1,3,5,7 /proc/21870/stat : 21870 (toysat) R 21868 21870 20029 0 -1 4202496 6509 0 0 0 16167 59 0 0 20 0 1 0 287047438 29425664 6433 33554432000 4194304 8973514 140734402768448 140734402766400 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/21870/statm: 7184 6433 467 1167 0 5965 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 28736 [startup+222.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 21875 /proc/meminfo: memFree=27992240/32873844 swapFree=7620/7620 [pid=21870] ppid=21868 vsize=40000 CPUtime=222.25 cores=1,3,5,7 /proc/21870/stat : 21870 (toysat) R 21868 21870 20029 0 -1 4202496 9326 0 0 0 22143 82 0 0 20 0 1 0 287047438 40960000 9249 33554432000 4194304 8973514 140734402768448 140734402767712 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/21870/statm: 10000 9249 467 1167 0 8781 0 Current children cumulated CPU time (s) 222.25 Current children cumulated vsize (KiB) 40000 Solver just ended. Dumping a history of the last processes samples [startup+230.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 21875 /proc/meminfo: memFree=27987216/32873844 swapFree=7620/7620 [pid=21870] ppid=21868 vsize=44096 CPUtime=230.25 cores=1,3,5,7 /proc/21870/stat : 21870 (toysat) R 21868 21870 20029 0 -1 4202496 10350 0 0 0 22939 86 0 0 20 0 1 0 287047438 45154304 10273 33554432000 4194304 8973514 140734402768448 140734402767944 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/21870/statm: 11024 10273 467 1167 0 9805 0 Current children cumulated CPU time (s) 230.25 Current children cumulated vsize (KiB) 44096 [startup+255.9 s] /proc/loadavg: 2.00 2.00 2.00 3/178 21875 /proc/meminfo: memFree=27978084/32873844 swapFree=7620/7620 [pid=21870] ppid=21868 vsize=55360 CPUtime=255.85 cores=1,3,5,7 /proc/21870/stat : 21870 (toysat) R 21868 21870 20029 0 -1 4202496 13168 0 0 0 25486 99 0 0 20 0 1 0 287047438 56688640 13089 33554432000 4194304 8973514 140734402768448 140734402767712 4208818 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/21870/statm: 13840 13089 467 1167 0 12621 0 Current children cumulated CPU time (s) 255.85 Current children cumulated vsize (KiB) 55360 [startup+262.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 21875 /proc/meminfo: memFree=27974976/32873844 swapFree=7620/7620 [pid=21870] ppid=21868 vsize=56384 CPUtime=262.25 cores=1,3,5,7 /proc/21870/stat : 21870 (toysat) R 21868 21870 20029 0 -1 4202496 13424 0 0 0 26124 101 0 0 20 0 1 0 287047438 57737216 13345 33554432000 4194304 8973514 140734402768448 140734402767944 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/21870/statm: 14096 13345 467 1167 0 12877 0 Current children cumulated CPU time (s) 262.25 Current children cumulated vsize (KiB) 56384 [startup+265.5 s] /proc/loadavg: 2.00 2.00 2.00 3/178 21875 /proc/meminfo: memFree=27974976/32873844 swapFree=7620/7620 [pid=21870] ppid=21868 vsize=56384 CPUtime=265.44 cores=1,3,5,7 /proc/21870/stat : 21870 (toysat) R 21868 21870 20029 0 -1 4202496 13424 0 0 0 26442 102 0 0 20 0 1 0 287047438 57737216 13345 33554432000 4194304 8973514 140734402768448 140734402767944 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/21870/statm: 14096 13345 467 1167 0 12877 0 Current children cumulated CPU time (s) 265.44 Current children cumulated vsize (KiB) 56384 [startup+268.7 s] /proc/loadavg: 2.00 2.00 2.00 3/178 21875 /proc/meminfo: memFree=27973984/32873844 swapFree=7620/7620 [pid=21870] ppid=21868 vsize=57408 CPUtime=268.65 cores=1,3,5,7 /proc/21870/stat : 21870 (toysat) R 21868 21870 20029 0 -1 4202496 13680 0 0 0 26761 104 0 0 20 0 1 0 287047438 58785792 13601 33554432000 4194304 8973514 140734402768448 140734402767944 4424840 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/21870/statm: 14352 13601 467 1167 0 13133 0 Current children cumulated CPU time (s) 268.65 Current children cumulated vsize (KiB) 57408 [startup+270.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 21875 /proc/meminfo: memFree=27973860/32873844 swapFree=7620/7620 [pid=21870] ppid=21868 vsize=57408 CPUtime=270.25 cores=1,3,5,7 /proc/21870/stat : 21870 (toysat) R 21868 21870 20029 0 -1 4202496 13680 0 0 0 26920 105 0 0 20 0 1 0 287047438 58785792 13601 33554432000 4194304 8973514 140734402768448 140734402767944 7716760 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/21870/statm: 14352 13601 467 1167 0 13133 0 Current children cumulated CPU time (s) 270.25 Current children cumulated vsize (KiB) 57408 [startup+270.7 s] /proc/loadavg: 2.00 2.00 2.00 3/178 21875 /proc/meminfo: memFree=27973984/32873844 swapFree=7620/7620 [pid=21870] ppid=21868 vsize=57408 CPUtime=270.64 cores=1,3,5,7 /proc/21870/stat : 21870 (toysat) R 21868 21870 20029 0 -1 4202496 13680 0 0 0 26959 105 0 0 20 0 1 0 287047438 58785792 13601 33554432000 4194304 8973514 140734402768448 140734402767944 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/21870/statm: 14352 13601 467 1167 0 13133 0 Current children cumulated CPU time (s) 270.64 Current children cumulated vsize (KiB) 57408 [startup+271.1 s] /proc/loadavg: 2.00 2.00 2.00 3/178 21875 /proc/meminfo: memFree=27973984/32873844 swapFree=7620/7620 [pid=21870] ppid=21868 vsize=57408 CPUtime=271.04 cores=1,3,5,7 /proc/21870/stat : 21870 (toysat) R 21868 21870 20029 0 -1 4202496 13680 0 0 0 26999 105 0 0 20 0 1 0 287047438 58785792 13601 33554432000 4194304 8973514 140734402768448 140734402767944 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/21870/statm: 14352 13601 467 1167 0 13133 0 Current children cumulated CPU time (s) 271.04 Current children cumulated vsize (KiB) 57408 [startup+271.2 s] /proc/loadavg: 2.00 2.00 2.00 3/178 21875 /proc/meminfo: memFree=27973984/32873844 swapFree=7620/7620 [pid=21870] ppid=21868 vsize=57408 CPUtime=271.14 cores=1,3,5,7 /proc/21870/stat : 21870 (toysat) R 21868 21870 20029 0 -1 4202496 13680 0 0 0 27009 105 0 0 20 0 1 0 287047438 58785792 13601 33554432000 4194304 8973514 140734402768448 140734402767944 4415701 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/21870/statm: 14352 13601 467 1167 0 13133 0 Current children cumulated CPU time (s) 271.14 Current children cumulated vsize (KiB) 57408 Child status: 0 Real time (s): 271.213 CPU time (s): 271.164 CPU user time (s): 270.109 CPU system time (s): 1.05484 CPU usage (%): 99.9819 Max. virtual memory (cumulated for all children) (KiB): 57408 getrusage(RUSAGE_CHILDREN,...) data: user time used= 270.109 system time used= 1.05484 maximum resident set size= 54420 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 13684 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= 10 involuntary context switches= 279 runsolver used 0.374943 second user time and 1.11283 second system time The end
Begin job on node107 at 2012-05-28 14:46:29 IDJOB=3712344 IDBENCH=79305 IDSOLVER=2291 FILE ID=node107/3712344-1338209189 RUNJOBID= node107-1338193582-20046 PBS_JOBID= 14624587 Free space on /tmp= 71556 MiB SOLVER NAME= toysat 2012-05-17 BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900669797--soft-0-100-0.wbo COMMAND LINE= HOME/toysat --wbo BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3712344-1338209189/watcher-3712344-1338209189 -o /tmp/evaluation-result-3712344-1338209189/solver-3712344-1338209189 -C 1800 -W 1900 -M 15500 HOME/toysat --wbo HOME/instance-3712344-1338209189.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= ebbce1c4489027f4644c8b5f9031d297 RANDOM SEED=2089089062 node107.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /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.760 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.52 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.760 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.760 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.760 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.760 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.760 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.760 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.86 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.760 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 28044076 kB Buffers: 433548 kB Cached: 3456716 kB SwapCached: 0 kB Active: 1008260 kB Inactive: 2962832 kB Active(anon): 82924 kB Inactive(anon): 0 kB Active(file): 925336 kB Inactive(file): 2962832 kB Unevictable: 7620 kB Mlocked: 7620 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 7400 kB Writeback: 0 kB AnonPages: 114244 kB Mapped: 16104 kB Shmem: 200 kB Slab: 715176 kB SReclaimable: 157664 kB SUnreclaim: 557512 kB KernelStack: 1480 kB PageTables: 4348 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 194440 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 94208 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71548 MiB End job on node107 at 2012-05-28 14:51:00