Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 fixed | OPTIMUM | 528.805 | 528.789 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900566157--soft-66-100-0.wbo |
MD5SUM | d542ebd8fdf9cdf1064a589ed9ad7045 |
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 | 6 |
Best CPU time to get the best result obtained on this benchmark | 341.652 |
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 | 930 |
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 | 46532 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 46531 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 801 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c PB/CT 0.1.2 http://www.residual.se/pbct 0.00/0.00 c Based on OpenSMT/CT 20091015 0.00/0.01 c constraints 15/8 clauses 1762/922 units 0 0.00/0.01 c vars 231 0.00/0.06 c 0.058991 13.3203 11 2091 0.00/0.06 o 328 0.00/0.06 c 0.06099 13.457 17 2503 0.00/0.06 o 304 0.06/0.07 c 0.066989 13.457 65 2834 0.06/0.07 o 284 0.06/0.07 c 0.067989 13.457 68 3013 0.06/0.07 o 276 0.06/0.09 c 0.079987 13.457 115 3371 0.06/0.09 o 258 0.09/0.18 c 0.153976 13.582 787 4778 0.09/0.18 o 230 0.19/0.29 c 0.230964 13.582 905 6106 0.19/0.29 o 227 0.39/0.49 c 0.384941 13.707 1245 8613 0.39/0.49 o 189 0.69/0.70 c 0.52092 13.707 1068 10969 0.69/0.70 o 187 0.69/0.71 c 0.527919 13.707 1115 11160 0.69/0.71 o 180 0.69/0.72 c 0.532918 13.707 1186 11322 0.69/0.72 o 179 0.69/0.76 c 0.560914 13.707 821 11939 0.69/0.76 o 157 0.89/0.98 c 0.710891 13.707 1011 13657 0.89/0.98 o 136 0.99/1.09 c 0.78488 13.707 954 14890 0.99/1.09 o 127 1.19/1.23 c 0.880866 13.707 796 15922 1.19/1.23 o 116 2.29/2.30 c 1.63875 13.832 831 23595 2.29/2.30 o 96 2.69/2.78 c 1.9827 13.832 1410 27025 2.69/2.78 o 90 2.79/2.89 c 2.05869 13.832 1164 28150 2.79/2.89 o 52 3.30/3.33 c 2.41163 14.0898 1027 33743 3.30/3.33 o 42 3.39/3.43 c 2.50162 14.0898 1085 35452 3.39/3.43 o 30 4.09/4.17 c 3.15052 14.0898 1845 45189 4.09/4.17 o 26 4.19/4.26 c 3.22651 14.0898 1691 46571 4.19/4.26 o 21 23.59/23.69 c 19.921 14.4688 1494 298294 23.59/23.69 o 18 29.69/29.78 c 25.1772 14.4688 1813 376211 29.69/29.78 o 15 30.59/30.65 c 25.9411 14.4688 1673 387683 30.59/30.65 o 14 31.29/31.34 c 26.559 14.4688 1769 396405 31.29/31.34 o 12 34.99/35.05 c 29.8045 14.4688 1837 449321 34.99/35.05 o 11 68.09/68.12 c 58.6751 14.5977 1916 900579 68.09/68.12 o 10 86.60/86.67 c 74.9026 14.5977 1207 1152528 86.60/86.67 o 6 528.71/528.77 c 464.102 15.4414 1812 7099693 528.71/528.77 s OPTIMUM FOUND 528.71/528.77 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 6
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2699465-1278461061/watcher-2699465-1278461061 -o /tmp/evaluation-result-2699465-1278461061/solver-2699465-1278461061 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699465-1278461061.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.92 1.98 1.91 4/178 13207 /proc/meminfo: memFree=29731288/32951124 swapFree=67111528/67111528 [pid=13207] ppid=13205 vsize=2136 CPUtime=0 /proc/13207/stat : 13207 (pbct) R 13205 13207 12790 0 -1 4202496 252 0 0 0 0 0 0 0 25 0 1 0 14320138 2187264 171 4089446400 134512640 136422188 4289234240 18446744073709551615 135811945 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/13207/statm: 534 171 144 467 0 65 0 [startup+0.0701889 s] /proc/loadavg: 1.92 1.98 1.91 4/178 13207 /proc/meminfo: memFree=29731288/32951124 swapFree=67111528/67111528 [pid=13207] ppid=13205 vsize=13776 CPUtime=0.06 /proc/13207/stat : 13207 (pbct) R 13205 13207 12790 0 -1 4202496 3108 0 0 0 6 0 0 0 25 0 1 0 14320138 14106624 3025 4089446400 134512640 136422188 4289234240 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13207/statm: 3444 3025 236 467 0 2975 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 13776 [startup+0.100183 s] /proc/loadavg: 1.92 1.98 1.91 4/178 13207 /proc/meminfo: memFree=29731288/32951124 swapFree=67111528/67111528 [pid=13207] ppid=13205 vsize=13776 CPUtime=0.09 /proc/13207/stat : 13207 (pbct) R 13205 13207 12790 0 -1 4202496 3111 0 0 0 8 1 0 0 25 0 1 0 14320138 14106624 3025 4089446400 134512640 136422188 4289234240 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13207/statm: 3444 3025 236 467 0 2975 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13776 [startup+0.30015 s] /proc/loadavg: 1.92 1.98 1.91 4/178 13207 /proc/meminfo: memFree=29731288/32951124 swapFree=67111528/67111528 [pid=13207] ppid=13205 vsize=13904 CPUtime=0.29 /proc/13207/stat : 13207 (pbct) R 13205 13207 12790 0 -1 4202496 3172 0 0 0 23 6 0 0 25 0 1 0 14320138 14237696 3084 4089446400 134512640 136422188 4289234240 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13207/statm: 3476 3084 236 467 0 3007 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13904 [startup+0.701074 s] /proc/loadavg: 1.92 1.98 1.91 4/178 13207 /proc/meminfo: memFree=29731288/32951124 swapFree=67111528/67111528 [pid=13207] ppid=13205 vsize=14032 CPUtime=0.69 /proc/13207/stat : 13207 (pbct) R 13205 13207 12790 0 -1 4202496 3186 0 0 0 51 18 0 0 25 0 1 0 14320138 14368768 3097 4089446400 134512640 136422188 4289234240 18446744073709551615 134868265 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13207/statm: 3508 3097 236 467 0 3039 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14032 [startup+1.50093 s] /proc/loadavg: 1.92 1.98 1.91 3/179 13208 /proc/meminfo: memFree=29719500/32951124 swapFree=67111528/67111528 [pid=13207] ppid=13205 vsize=14032 CPUtime=1.49 /proc/13207/stat : 13207 (pbct) R 13205 13207 12790 0 -1 4202496 3210 0 0 0 107 42 0 0 18 0 1 0 14320138 14368768 3114 4089446400 134512640 136422188 4289234240 18446744073709551615 134862443 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13207/statm: 3508 3114 236 467 0 3039 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14032 [startup+3.10063 s] /proc/loadavg: 1.92 1.98 1.91 3/179 13208 /proc/meminfo: memFree=29719252/32951124 swapFree=67111528/67111528 [pid=13207] ppid=13205 vsize=14424 CPUtime=3.09 /proc/13207/stat : 13207 (pbct) R 13205 13207 12790 0 -1 4202496 3282 0 0 0 222 87 0 0 20 0 1 0 14320138 14770176 3183 4089446400 134512640 136422188 4289234240 18446744073709551615 134862319 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13207/statm: 3606 3183 236 467 0 3137 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14424 [startup+6.30104 s] /proc/loadavg: 1.93 1.98 1.91 3/179 13208 /proc/meminfo: memFree=29718972/32951124 swapFree=67111528/67111528 [pid=13207] ppid=13205 vsize=14556 CPUtime=6.29 /proc/13207/stat : 13207 (pbct) R 13205 13207 12790 0 -1 4202496 3338 0 0 0 500 129 0 0 25 0 1 0 14320138 14905344 3235 4089446400 134512640 136422188 4289234240 18446744073709551615 135686390 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13207/statm: 3639 3235 236 467 0 3170 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14556 [startup+12.7009 s] /proc/loadavg: 1.93 1.98 1.91 3/179 13208 /proc/meminfo: memFree=29718988/32951124 swapFree=67111528/67111528 [pid=13207] ppid=13205 vsize=14556 CPUtime=12.69 /proc/13207/stat : 13207 (pbct) R 13205 13207 12790 0 -1 4202496 3348 0 0 0 1046 223 0 0 25 0 1 0 14320138 14905344 3245 4089446400 134512640 136422188 4289234240 18446744073709551615 135020637 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13207/statm: 3639 3245 236 467 0 3170 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 14556 [startup+25.5005 s] /proc/loadavg: 1.95 1.98 1.91 3/179 13209 /proc/meminfo: memFree=29719276/32951124 swapFree=67111528/67111528 [pid=13207] ppid=13205 vsize=14812 CPUtime=25.49 /proc/13207/stat : 13207 (pbct) R 13205 13207 12790 0 -1 4202496 3403 0 0 0 2149 400 0 0 25 0 1 0 14320138 15167488 3299 4089446400 134512640 136422188 4289234240 18446744073709551615 134857648 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13207/statm: 3703 3299 236 467 0 3234 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 14812 [startup+51.1008 s] /proc/loadavg: 1.96 1.98 1.91 3/179 13210 /proc/meminfo: memFree=29718952/32951124 swapFree=67111528/67111528 [pid=13207] ppid=13205 vsize=14812 CPUtime=51.09 /proc/13207/stat : 13207 (pbct) R 13205 13207 12790 0 -1 4202496 3407 0 0 0 4384 725 0 0 25 0 1 0 14320138 15167488 3299 4089446400 134512640 136422188 4289234240 18446744073709551615 135686752 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13207/statm: 3703 3299 236 467 0 3234 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 14812 [startup+102.305 s] /proc/loadavg: 1.98 1.98 1.91 3/179 13211 /proc/meminfo: memFree=29718648/32951124 swapFree=67111528/67111528 [pid=13207] ppid=13205 vsize=15072 CPUtime=102.3 /proc/13207/stat : 13207 (pbct) R 13205 13207 12790 0 -1 4202496 3473 0 0 0 8865 1365 0 0 25 0 1 0 14320138 15433728 3363 4089446400 134512640 136422188 4289234240 18446744073709551615 135006720 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13207/statm: 3768 3363 236 467 0 3299 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 15072 [startup+162.3 s] /proc/loadavg: 1.99 1.98 1.91 3/179 13212 /proc/meminfo: memFree=29718092/32951124 swapFree=67111528/67111528 [pid=13207] ppid=13205 vsize=15296 CPUtime=162.29 /proc/13207/stat : 13207 (pbct) R 13205 13207 12790 0 -1 4202496 3543 0 0 0 14150 2079 0 0 25 0 1 0 14320138 15663104 3433 4089446400 134512640 136422188 4289234240 18446744073709551615 135022102 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13207/statm: 3824 3433 236 467 0 3355 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 15296 [startup+222.3 s] /proc/loadavg: 2.06 2.00 1.91 3/179 13214 /proc/meminfo: memFree=29717780/32951124 swapFree=67111528/67111528 [pid=13207] ppid=13205 vsize=15424 CPUtime=222.29 /proc/13207/stat : 13207 (pbct) R 13205 13207 12790 0 -1 4202496 3565 0 0 0 19424 2805 0 0 25 0 1 0 14320138 15794176 3455 4089446400 134512640 136422188 4289234240 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13207/statm: 3856 3455 236 467 0 3387 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 15424 [startup+282.3 s] /proc/loadavg: 2.02 2.00 1.91 3/179 13216 /proc/meminfo: memFree=29717716/32951124 swapFree=67111528/67111528 [pid=13207] ppid=13205 vsize=15680 CPUtime=282.29 /proc/13207/stat : 13207 (pbct) R 13205 13207 12790 0 -1 4202496 3619 0 0 0 24708 3521 0 0 25 0 1 0 14320138 16056320 3509 4089446400 134512640 136422188 4289234240 18446744073709551615 134862236 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13207/statm: 3920 3509 236 467 0 3451 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 15680 [startup+342.3 s] /proc/loadavg: 2.00 2.00 1.91 3/179 13218 /proc/meminfo: memFree=29717536/32951124 swapFree=67111528/67111528 [pid=13207] ppid=13205 vsize=15680 CPUtime=342.3 /proc/13207/stat : 13207 (pbct) R 13205 13207 12790 0 -1 4202496 3633 0 0 0 30023 4207 0 0 25 0 1 0 14320138 16056320 3523 4089446400 134512640 136422188 4289234240 18446744073709551615 134865644 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13207/statm: 3920 3523 236 467 0 3451 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 15680 [startup+402.3 s] /proc/loadavg: 2.00 2.00 1.91 3/179 13219 /proc/meminfo: memFree=29717600/32951124 swapFree=67111528/67111528 [pid=13207] ppid=13205 vsize=15680 CPUtime=402.3 /proc/13207/stat : 13207 (pbct) R 13205 13207 12790 0 -1 4202496 3635 0 0 0 35292 4938 0 0 25 0 1 0 14320138 16056320 3525 4089446400 134512640 136422188 4289234240 18446744073709551615 135028304 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13207/statm: 3920 3525 236 467 0 3451 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 15680 [startup+462.3 s] /proc/loadavg: 2.00 2.00 1.91 3/179 13220 /proc/meminfo: memFree=29717536/32951124 swapFree=67111528/67111528 [pid=13207] ppid=13205 vsize=15808 CPUtime=462.3 /proc/13207/stat : 13207 (pbct) R 13205 13207 12790 0 -1 4202496 3652 0 0 0 40589 5641 0 0 25 0 1 0 14320138 16187392 3542 4089446400 134512640 136422188 4289234240 18446744073709551615 135006364 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13207/statm: 3952 3542 236 467 0 3483 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 15808 [startup+522.3 s] /proc/loadavg: 2.00 2.00 1.91 3/179 13222 /proc/meminfo: memFree=29717480/32951124 swapFree=67111528/67111528 [pid=13207] ppid=13205 vsize=15808 CPUtime=522.3 /proc/13207/stat : 13207 (pbct) R 13205 13207 12790 0 -1 4202496 3656 0 0 0 45848 6382 0 0 25 0 1 0 14320138 16187392 3546 4089446400 134512640 136422188 4289234240 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13207/statm: 3952 3546 236 467 0 3483 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 15808 Solver just ended. Dumping a history of the last processes samples [startup+524.706 s] /proc/loadavg: 2.00 2.00 1.91 3/179 13222 /proc/meminfo: memFree=29717480/32951124 swapFree=67111528/67111528 [pid=13207] ppid=13205 vsize=15808 CPUtime=524.71 /proc/13207/stat : 13207 (pbct) R 13205 13207 12790 0 -1 4202496 3656 0 0 0 46057 6414 0 0 25 0 1 0 14320138 16187392 3546 4089446400 134512640 136422188 4289234240 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13207/statm: 3952 3546 236 467 0 3483 0 Current children cumulated CPU time (s) 524.71 Current children cumulated vsize (KiB) 15808 [startup+526.301 s] /proc/loadavg: 2.00 2.00 1.91 3/179 13222 /proc/meminfo: memFree=29717356/32951124 swapFree=67111528/67111528 [pid=13207] ppid=13205 vsize=15808 CPUtime=526.3 /proc/13207/stat : 13207 (pbct) R 13205 13207 12790 0 -1 4202496 3656 0 0 0 46195 6435 0 0 25 0 1 0 14320138 16187392 3546 4089446400 134512640 136422188 4289234240 18446744073709551615 134862222 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13207/statm: 3952 3546 236 467 0 3483 0 Current children cumulated CPU time (s) 526.3 Current children cumulated vsize (KiB) 15808 [startup+527.9 s] /proc/loadavg: 2.00 2.00 1.91 3/179 13222 /proc/meminfo: memFree=29717228/32951124 swapFree=67111528/67111528 [pid=13207] ppid=13205 vsize=15808 CPUtime=527.92 /proc/13207/stat : 13207 (pbct) R 13205 13207 12790 0 -1 4202496 3656 0 0 0 46334 6458 0 0 25 0 1 0 14320138 16187392 3546 4089446400 134512640 136422188 4289234240 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13207/statm: 3952 3546 236 467 0 3483 0 Current children cumulated CPU time (s) 527.92 Current children cumulated vsize (KiB) 15808 [startup+528.3 s] /proc/loadavg: 2.00 2.00 1.91 3/179 13222 /proc/meminfo: memFree=29717228/32951124 swapFree=67111528/67111528 [pid=13207] ppid=13205 vsize=15808 CPUtime=528.3 /proc/13207/stat : 13207 (pbct) R 13205 13207 12790 0 -1 4202496 3656 0 0 0 46369 6461 0 0 25 0 1 0 14320138 16187392 3546 4089446400 134512640 136422188 4289234240 18446744073709551615 135025889 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13207/statm: 3952 3546 236 467 0 3483 0 Current children cumulated CPU time (s) 528.3 Current children cumulated vsize (KiB) 15808 [startup+528.7 s] /proc/loadavg: 2.00 2.00 1.91 3/179 13222 /proc/meminfo: memFree=29717228/32951124 swapFree=67111528/67111528 [pid=13207] ppid=13205 vsize=15808 CPUtime=528.71 /proc/13207/stat : 13207 (pbct) R 13205 13207 12790 0 -1 4202496 3656 0 0 0 46403 6468 0 0 25 0 1 0 14320138 16187392 3546 4089446400 134512640 136422188 4289234240 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13207/statm: 3952 3546 236 467 0 3483 0 Current children cumulated CPU time (s) 528.71 Current children cumulated vsize (KiB) 15808 Child status: 0 Real time (s): 528.789 CPU time (s): 528.805 CPU user time (s): 464.115 CPU system time (s): 64.6892 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 15808 getrusage(RUSAGE_CHILDREN,...) data: user time used= 464.115 system time used= 64.6892 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3661 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= 1694 runsolver used 0.816875 second user time and 1.59176 second system time The end
Begin job on node109 at 2010-07-07 02:04:21 IDJOB=2699465 IDBENCH=78979 IDSOLVER=1212 FILE ID=node109/2699465-1278461061 PBS_JOBID= 11233775 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.1900566157--soft-66-100-0.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2699465-1278461061/watcher-2699465-1278461061 -o /tmp/evaluation-result-2699465-1278461061/solver-2699465-1278461061 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699465-1278461061.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= d542ebd8fdf9cdf1064a589ed9ad7045 RANDOM SEED=520391334 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: 29731808 kB Buffers: 103592 kB Cached: 2897404 kB SwapCached: 0 kB Active: 1618516 kB Inactive: 1463716 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 29731808 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2012 kB Writeback: 0 kB AnonPages: 81160 kB Mapped: 15456 kB Slab: 73876 kB PageTables: 5184 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 219692 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:13:10