Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 fixed | OPTIMUM | 956.414 | 956.414 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900576360--soft-66-100-0.wbo |
MD5SUM | 5d7330038698be4d7397c9bceea53fdc |
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 | 2 |
Best CPU time to get the best result obtained on this benchmark | 292.568 |
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 | 937 |
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 | 46894 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 46893 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 733 |
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 14/9 clauses 1756/928 units 0 0.00/0.01 c vars 231 0.00/0.06 c 0.054991 13.3867 20 3047 0.00/0.06 o 457 0.00/0.06 c 0.055991 13.5234 22 3444 0.00/0.06 o 439 0.00/0.06 c 0.056991 13.5234 29 5192 0.00/0.06 o 370 0.00/0.07 c 0.05999 13.5234 91 5486 0.00/0.07 o 354 0.00/0.07 c 0.05999 13.5234 92 5862 0.00/0.07 o 335 0.00/0.08 c 0.06199 13.5234 99 6073 0.00/0.08 o 333 0.00/0.08 c 0.06199 13.5234 103 6508 0.00/0.08 o 301 0.00/0.08 c 0.06399 13.5234 144 6810 0.00/0.08 o 297 0.09/0.10 c 0.069989 13.5234 250 7102 0.09/0.10 o 296 0.09/0.10 c 0.070989 13.5234 265 7819 0.09/0.10 o 234 0.09/0.11 c 0.076988 13.5234 364 8080 0.09/0.11 o 229 0.09/0.18 c 0.099984 13.5234 750 9583 0.09/0.18 o 164 0.39/0.42 c 0.19297 13.6484 1140 12992 0.39/0.42 o 162 1.00/1.07 c 0.384941 13.8984 938 18942 1.00/1.07 o 146 1.30/1.31 c 0.45593 13.8984 954 21632 1.30/1.31 o 135 1.50/1.58 c 0.547916 13.8984 1266 24385 1.50/1.58 o 126 2.49/2.56 c 0.886865 13.8984 1000 32845 2.49/2.56 o 119 2.59/2.67 c 0.922859 13.8984 1027 34556 2.59/2.67 o 106 2.59/2.68 c 0.924859 13.8984 1043 34688 2.59/2.68 o 105 3.00/3.07 c 1.03384 13.8984 888 37923 3.00/3.07 o 103 3.09/3.11 c 1.04984 13.8984 1127 38551 3.09/3.11 o 90 5.89/5.97 c 2.12968 14.1445 911 59691 5.89/5.97 o 35 13.29/13.38 c 6.73198 15.9492 862 159526 13.29/13.38 o 25 54.69/54.73 c 33.4759 15.9492 2544 751514 54.69/54.73 o 15 64.69/64.70 c 40.3999 15.9492 1923 909887 64.69/64.70 o 6 75.19/75.27 c 47.9147 15.9492 2169 1072037 75.19/75.27 o 4 362.79/362.88 c 254.458 15.9492 2768 5715241 362.79/362.88 o 2 956.39/956.40 c 679.423 15.9492 2511 15761165 956.39/956.40 s OPTIMUM FOUND 956.39/956.40 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 2
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2699455-1278461059/watcher-2699455-1278461059 -o /tmp/evaluation-result-2699455-1278461059/solver-2699455-1278461059 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699455-1278461059.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 3/176 13848 /proc/meminfo: memFree=29552852/32951132 swapFree=67111528/67111528 [pid=13848] ppid=13846 vsize=2136 CPUtime=0 /proc/13848/stat : 13848 (pbct) R 13846 13848 13457 0 -1 4202496 252 0 0 0 0 0 0 0 21 0 1 0 14319722 2187264 171 4089446400 134512640 136422188 4289685472 18446744073709551615 135873822 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/13848/statm: 534 171 144 467 0 65 0 [startup+0.096144 s] /proc/loadavg: 1.92 1.98 1.91 3/176 13848 /proc/meminfo: memFree=29552852/32951132 swapFree=67111528/67111528 [pid=13848] ppid=13846 vsize=13844 CPUtime=0.08 /proc/13848/stat : 13848 (pbct) R 13846 13848 13457 0 -1 4202496 3116 0 0 0 6 2 0 0 21 0 1 0 14319722 14176256 3027 4089446400 134512640 136422188 4289685472 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13848/statm: 3461 3027 236 467 0 2992 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 13844 [startup+0.101142 s] /proc/loadavg: 1.92 1.98 1.91 3/176 13848 /proc/meminfo: memFree=29552852/32951132 swapFree=67111528/67111528 [pid=13848] ppid=13846 vsize=13844 CPUtime=0.09 /proc/13848/stat : 13848 (pbct) R 13846 13848 13457 0 -1 4202496 3116 0 0 0 6 3 0 0 21 0 1 0 14319722 14176256 3027 4089446400 134512640 136422188 4289685472 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13848/statm: 3461 3027 236 467 0 2992 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13844 [startup+0.300106 s] /proc/loadavg: 1.92 1.98 1.91 3/176 13848 /proc/meminfo: memFree=29552852/32951132 swapFree=67111528/67111528 [pid=13848] ppid=13846 vsize=13972 CPUtime=0.29 /proc/13848/stat : 13848 (pbct) R 13846 13848 13457 0 -1 4202496 3170 0 0 0 14 15 0 0 21 0 1 0 14319722 14307328 3077 4089446400 134512640 136422188 4289685472 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13848/statm: 3493 3077 236 467 0 3024 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13972 [startup+0.701039 s] /proc/loadavg: 1.92 1.98 1.91 3/176 13848 /proc/meminfo: memFree=29552852/32951132 swapFree=67111528/67111528 [pid=13848] ppid=13846 vsize=14100 CPUtime=0.7 /proc/13848/stat : 13848 (pbct) R 13846 13848 13457 0 -1 4202496 3189 0 0 0 27 43 0 0 22 0 1 0 14319722 14438400 3095 4089446400 134512640 136422188 4289685472 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13848/statm: 3525 3095 236 467 0 3056 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 14100 [startup+1.5009 s] /proc/loadavg: 1.92 1.98 1.91 3/177 13849 /proc/meminfo: memFree=29541436/32951132 swapFree=67111528/67111528 [pid=13848] ppid=13846 vsize=14228 CPUtime=1.5 /proc/13848/stat : 13848 (pbct) R 13846 13848 13457 0 -1 4202496 3223 0 0 0 52 98 0 0 25 0 1 0 14319722 14569472 3127 4089446400 134512640 136422188 4289685472 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13848/statm: 3557 3127 236 467 0 3088 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 14228 [startup+3.10063 s] /proc/loadavg: 1.92 1.98 1.91 3/177 13849 /proc/meminfo: memFree=29541560/32951132 swapFree=67111528/67111528 [pid=13848] ppid=13846 vsize=14228 CPUtime=3.09 /proc/13848/stat : 13848 (pbct) R 13846 13848 13457 0 -1 4202496 3229 0 0 0 104 205 0 0 25 0 1 0 14319722 14569472 3128 4089446400 134512640 136422188 4289685472 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13848/statm: 3557 3128 236 467 0 3088 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14228 [startup+6.30107 s] /proc/loadavg: 2.01 2.00 1.91 3/177 13849 /proc/meminfo: memFree=29541736/32951132 swapFree=67111528/67111528 [pid=13848] ppid=13846 vsize=14480 CPUtime=6.29 /proc/13848/stat : 13848 (pbct) R 13846 13848 13457 0 -1 4202496 3322 0 0 0 233 396 0 0 25 0 1 0 14319722 14827520 3219 4089446400 134512640 136422188 4289685472 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13848/statm: 3620 3219 236 467 0 3151 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14480 [startup+12.701 s] /proc/loadavg: 2.01 2.00 1.91 3/177 13849 /proc/meminfo: memFree=29540352/32951132 swapFree=67111528/67111528 [pid=13848] ppid=13846 vsize=16328 CPUtime=12.69 /proc/13848/stat : 13848 (pbct) R 13846 13848 13457 0 -1 4202496 3780 0 0 0 632 637 0 0 25 0 1 0 14319722 16719872 3677 4089446400 134512640 136422188 4289685472 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13848/statm: 4082 3677 236 467 0 3613 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 16328 [startup+25.5007 s] /proc/loadavg: 2.00 2.00 1.91 3/177 13849 /proc/meminfo: memFree=29541336/32951132 swapFree=67111528/67111528 [pid=13848] ppid=13846 vsize=16328 CPUtime=25.49 /proc/13848/stat : 13848 (pbct) R 13846 13848 13457 0 -1 4202496 3781 0 0 0 1453 1096 0 0 25 0 1 0 14319722 16719872 3677 4089446400 134512640 136422188 4289685472 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13848/statm: 4082 3677 236 467 0 3613 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 16328 [startup+51.1003 s] /proc/loadavg: 2.00 2.00 1.91 3/177 13851 /proc/meminfo: memFree=29541296/32951132 swapFree=67111528/67111528 [pid=13848] ppid=13846 vsize=16328 CPUtime=51.09 /proc/13848/stat : 13848 (pbct) R 13846 13848 13457 0 -1 4202496 3781 0 0 0 3117 1992 0 0 25 0 1 0 14319722 16719872 3677 4089446400 134512640 136422188 4289685472 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13848/statm: 4082 3677 236 467 0 3613 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 16328 [startup+102.305 s] /proc/loadavg: 2.00 2.00 1.91 3/177 13852 /proc/meminfo: memFree=29540892/32951132 swapFree=67111528/67111528 [pid=13848] ppid=13846 vsize=16328 CPUtime=102.29 /proc/13848/stat : 13848 (pbct) R 13846 13848 13457 0 -1 4202496 3784 0 0 0 6720 3509 0 0 25 0 1 0 14319722 16719872 3677 4089446400 134512640 136422188 4289685472 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13848/statm: 4082 3677 236 467 0 3613 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 16328 [startup+162.301 s] /proc/loadavg: 2.00 2.00 1.91 3/177 13853 /proc/meminfo: memFree=29540504/32951132 swapFree=67111528/67111528 [pid=13848] ppid=13846 vsize=16328 CPUtime=162.29 /proc/13848/stat : 13848 (pbct) R 13846 13848 13457 0 -1 4202496 3784 0 0 0 11042 5187 0 0 25 0 1 0 14319722 16719872 3677 4089446400 134512640 136422188 4289685472 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13848/statm: 4082 3677 236 467 0 3613 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 16328 [startup+222.301 s] /proc/loadavg: 2.00 2.00 1.91 3/177 13855 /proc/meminfo: memFree=29540596/32951132 swapFree=67111528/67111528 [pid=13848] ppid=13846 vsize=16328 CPUtime=222.28 /proc/13848/stat : 13848 (pbct) R 13846 13848 13457 0 -1 4202496 3784 0 0 0 15338 6890 0 0 25 0 1 0 14319722 16719872 3677 4089446400 134512640 136422188 4289685472 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13848/statm: 4082 3677 236 467 0 3613 0 Current children cumulated CPU time (s) 222.28 Current children cumulated vsize (KiB) 16328 [startup+282.301 s] /proc/loadavg: 2.00 2.00 1.91 3/177 13857 /proc/meminfo: memFree=29540444/32951132 swapFree=67111528/67111528 [pid=13848] ppid=13846 vsize=16328 CPUtime=282.29 /proc/13848/stat : 13848 (pbct) R 13846 13848 13457 0 -1 4202496 3784 0 0 0 19662 8567 0 0 25 0 1 0 14319722 16719872 3677 4089446400 134512640 136422188 4289685472 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13848/statm: 4082 3677 236 467 0 3613 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 16328 [startup+342.301 s] /proc/loadavg: 2.03 2.01 1.92 3/177 13858 /proc/meminfo: memFree=29540424/32951132 swapFree=67111528/67111528 [pid=13848] ppid=13846 vsize=16328 CPUtime=342.29 /proc/13848/stat : 13848 (pbct) R 13846 13848 13457 0 -1 4202496 3784 0 0 0 23964 10265 0 0 25 0 1 0 14319722 16719872 3677 4089446400 134512640 136422188 4289685472 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13848/statm: 4082 3677 236 467 0 3613 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 16328 [startup+402.3 s] /proc/loadavg: 2.01 2.01 1.92 3/177 13860 /proc/meminfo: memFree=29540268/32951132 swapFree=67111528/67111528 [pid=13848] ppid=13846 vsize=16328 CPUtime=402.28 /proc/13848/stat : 13848 (pbct) R 13846 13848 13457 0 -1 4202496 3785 0 0 0 28246 11982 0 0 25 0 1 0 14319722 16719872 3677 4089446400 134512640 136422188 4289685472 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13848/statm: 4082 3677 236 467 0 3613 0 Current children cumulated CPU time (s) 402.28 Current children cumulated vsize (KiB) 16328 [startup+462.301 s] /proc/loadavg: 2.00 2.00 1.92 3/177 13861 /proc/meminfo: memFree=29540368/32951132 swapFree=67111528/67111528 [pid=13848] ppid=13846 vsize=16328 CPUtime=462.29 /proc/13848/stat : 13848 (pbct) R 13846 13848 13457 0 -1 4202496 3785 0 0 0 32502 13727 0 0 25 0 1 0 14319722 16719872 3677 4089446400 134512640 136422188 4289685472 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13848/statm: 4082 3677 236 467 0 3613 0 Current children cumulated CPU time (s) 462.29 Current children cumulated vsize (KiB) 16328 [startup+522.3 s] /proc/loadavg: 2.00 2.00 1.92 3/177 13863 /proc/meminfo: memFree=29540476/32951132 swapFree=67111528/67111528 [pid=13848] ppid=13846 vsize=16328 CPUtime=522.28 /proc/13848/stat : 13848 (pbct) R 13846 13848 13457 0 -1 4202496 3785 0 0 0 36815 15413 0 0 25 0 1 0 14319722 16719872 3677 4089446400 134512640 136422188 4289685472 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13848/statm: 4082 3677 236 467 0 3613 0 Current children cumulated CPU time (s) 522.28 Current children cumulated vsize (KiB) 16328 [startup+582.301 s] /proc/loadavg: 2.00 2.00 1.92 3/177 13865 /proc/meminfo: memFree=29540324/32951132 swapFree=67111528/67111528 [pid=13848] ppid=13846 vsize=16328 CPUtime=582.29 /proc/13848/stat : 13848 (pbct) R 13846 13848 13457 0 -1 4202496 3785 0 0 0 41139 17090 0 0 25 0 1 0 14319722 16719872 3677 4089446400 134512640 136422188 4289685472 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13848/statm: 4082 3677 236 467 0 3613 0 Current children cumulated CPU time (s) 582.29 Current children cumulated vsize (KiB) 16328 [startup+642.3 s] /proc/loadavg: 2.00 2.00 1.92 3/177 13866 /proc/meminfo: memFree=29540060/32951132 swapFree=67111528/67111528 [pid=13848] ppid=13846 vsize=16328 CPUtime=642.29 /proc/13848/stat : 13848 (pbct) R 13846 13848 13457 0 -1 4202496 3785 0 0 0 45450 18779 0 0 25 0 1 0 14319722 16719872 3677 4089446400 134512640 136422188 4289685472 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13848/statm: 4082 3677 236 467 0 3613 0 Current children cumulated CPU time (s) 642.29 Current children cumulated vsize (KiB) 16328 [startup+702.301 s] /proc/loadavg: 2.00 2.00 1.92 3/177 13868 /proc/meminfo: memFree=29539788/32951132 swapFree=67111528/67111528 [pid=13848] ppid=13846 vsize=16328 CPUtime=702.29 /proc/13848/stat : 13848 (pbct) R 13846 13848 13457 0 -1 4202496 3785 0 0 0 49743 20486 0 0 25 0 1 0 14319722 16719872 3677 4089446400 134512640 136422188 4289685472 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13848/statm: 4082 3677 236 467 0 3613 0 Current children cumulated CPU time (s) 702.29 Current children cumulated vsize (KiB) 16328 [startup+762.306 s] /proc/loadavg: 2.00 2.00 1.92 3/177 13869 /proc/meminfo: memFree=29540008/32951132 swapFree=67111528/67111528 [pid=13848] ppid=13846 vsize=16328 CPUtime=762.3 /proc/13848/stat : 13848 (pbct) R 13846 13848 13457 0 -1 4202496 3785 0 0 0 54041 22189 0 0 25 0 1 0 14319722 16719872 3677 4089446400 134512640 136422188 4289685472 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13848/statm: 4082 3677 236 467 0 3613 0 Current children cumulated CPU time (s) 762.3 Current children cumulated vsize (KiB) 16328 [startup+822.3 s] /proc/loadavg: 2.00 2.00 1.92 3/177 13871 /proc/meminfo: memFree=29539492/32951132 swapFree=67111528/67111528 [pid=13848] ppid=13846 vsize=16328 CPUtime=822.29 /proc/13848/stat : 13848 (pbct) R 13846 13848 13457 0 -1 4202496 3785 0 0 0 58353 23876 0 0 25 0 1 0 14319722 16719872 3677 4089446400 134512640 136422188 4289685472 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13848/statm: 4082 3677 236 467 0 3613 0 Current children cumulated CPU time (s) 822.29 Current children cumulated vsize (KiB) 16328 [startup+882.301 s] /proc/loadavg: 2.04 2.01 1.93 3/177 13873 /proc/meminfo: memFree=29539468/32951132 swapFree=67111528/67111528 [pid=13848] ppid=13846 vsize=16328 CPUtime=882.29 /proc/13848/stat : 13848 (pbct) R 13846 13848 13457 0 -1 4202496 3785 0 0 0 62647 25582 0 0 25 0 1 0 14319722 16719872 3677 4089446400 134512640 136422188 4289685472 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13848/statm: 4082 3677 236 467 0 3613 0 Current children cumulated CPU time (s) 882.29 Current children cumulated vsize (KiB) 16328 [startup+942.3 s] /proc/loadavg: 2.01 2.01 1.93 3/177 13877 /proc/meminfo: memFree=29538568/32951132 swapFree=67111528/67111528 [pid=13848] ppid=13846 vsize=16328 CPUtime=942.29 /proc/13848/stat : 13848 (pbct) R 13846 13848 13457 0 -1 4202496 3785 0 0 0 66928 27301 0 0 25 0 1 0 14319722 16719872 3677 4089446400 134512640 136422188 4289685472 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13848/statm: 4082 3677 236 467 0 3613 0 Current children cumulated CPU time (s) 942.29 Current children cumulated vsize (KiB) 16328 Solver just ended. Dumping a history of the last processes samples [startup+947.105 s] /proc/loadavg: 2.01 2.01 1.93 3/177 13877 /proc/meminfo: memFree=29538692/32951132 swapFree=67111528/67111528 [pid=13848] ppid=13846 vsize=16328 CPUtime=947.1 /proc/13848/stat : 13848 (pbct) R 13846 13848 13457 0 -1 4202496 3785 0 0 0 67272 27438 0 0 25 0 1 0 14319722 16719872 3677 4089446400 134512640 136422188 4289685472 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13848/statm: 4082 3677 236 467 0 3613 0 Current children cumulated CPU time (s) 947.1 Current children cumulated vsize (KiB) 16328 [startup+950.301 s] /proc/loadavg: 2.01 2.01 1.93 3/177 13877 /proc/meminfo: memFree=29538812/32951132 swapFree=67111528/67111528 [pid=13848] ppid=13846 vsize=16328 CPUtime=950.29 /proc/13848/stat : 13848 (pbct) R 13846 13848 13457 0 -1 4202496 3785 0 0 0 67502 27527 0 0 25 0 1 0 14319722 16719872 3677 4089446400 134512640 136422188 4289685472 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13848/statm: 4082 3677 236 467 0 3613 0 Current children cumulated CPU time (s) 950.29 Current children cumulated vsize (KiB) 16328 [startup+953.5 s] /proc/loadavg: 2.01 2.01 1.93 3/177 13878 /proc/meminfo: memFree=29538936/32951132 swapFree=67111528/67111528 [pid=13848] ppid=13846 vsize=16328 CPUtime=953.49 /proc/13848/stat : 13848 (pbct) R 13846 13848 13457 0 -1 4202496 3785 0 0 0 67730 27619 0 0 25 0 1 0 14319722 16719872 3677 4089446400 134512640 136422188 4289685472 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13848/statm: 4082 3677 236 467 0 3613 0 Current children cumulated CPU time (s) 953.49 Current children cumulated vsize (KiB) 16328 [startup+955.101 s] /proc/loadavg: 2.01 2.01 1.93 3/177 13878 /proc/meminfo: memFree=29538936/32951132 swapFree=67111528/67111528 [pid=13848] ppid=13846 vsize=16328 CPUtime=955.09 /proc/13848/stat : 13848 (pbct) R 13846 13848 13457 0 -1 4202496 3785 0 0 0 67844 27665 0 0 25 0 1 0 14319722 16719872 3677 4089446400 134512640 136422188 4289685472 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13848/statm: 4082 3677 236 467 0 3613 0 Current children cumulated CPU time (s) 955.09 Current children cumulated vsize (KiB) 16328 [startup+955.906 s] /proc/loadavg: 2.01 2.01 1.93 3/177 13878 /proc/meminfo: memFree=29539008/32951132 swapFree=67111528/67111528 [pid=13848] ppid=13846 vsize=16328 CPUtime=955.9 /proc/13848/stat : 13848 (pbct) R 13846 13848 13457 0 -1 4202496 3785 0 0 0 67902 27688 0 0 25 0 1 0 14319722 16719872 3677 4089446400 134512640 136422188 4289685472 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13848/statm: 4082 3677 236 467 0 3613 0 Current children cumulated CPU time (s) 955.9 Current children cumulated vsize (KiB) 16328 [startup+956.301 s] /proc/loadavg: 2.01 2.01 1.93 3/177 13878 /proc/meminfo: memFree=29539008/32951132 swapFree=67111528/67111528 [pid=13848] ppid=13846 vsize=16328 CPUtime=956.29 /proc/13848/stat : 13848 (pbct) R 13846 13848 13457 0 -1 4202496 3785 0 0 0 67934 27695 0 0 25 0 1 0 14319722 16719872 3677 4089446400 134512640 136422188 4289685472 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13848/statm: 4082 3677 236 467 0 3613 0 Current children cumulated CPU time (s) 956.29 Current children cumulated vsize (KiB) 16328 [startup+956.401 s] /proc/loadavg: 2.01 2.01 1.93 3/177 13878 /proc/meminfo: memFree=29539008/32951132 swapFree=67111528/67111528 [pid=13848] ppid=13846 vsize=16328 CPUtime=956.39 /proc/13848/stat : 13848 (pbct) R 13846 13848 13457 0 -1 4202496 3785 0 0 0 67942 27697 0 0 25 0 1 0 14319722 16719872 3677 4089446400 134512640 136422188 4289685472 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13848/statm: 4082 3677 236 467 0 3613 0 Current children cumulated CPU time (s) 956.39 Current children cumulated vsize (KiB) 16328 Child status: 0 Real time (s): 956.414 CPU time (s): 956.414 CPU user time (s): 679.434 CPU system time (s): 276.98 CPU usage (%): 99.9999 Max. virtual memory (cumulated for all children) (KiB): 16328 getrusage(RUSAGE_CHILDREN,...) data: user time used= 679.434 system time used= 276.98 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3790 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1 involuntary context switches= 11773 runsolver used 1.40779 second user time and 2.94655 second system time The end
Begin job on node131 at 2010-07-07 02:04:19 IDJOB=2699455 IDBENCH=78974 IDSOLVER=1212 FILE ID=node131/2699455-1278461059 PBS_JOBID= 11233731 Free space on /tmp= 73860 MiB SOLVER NAME= PB/CT 0.1 fixed BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900576360--soft-66-100-0.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2699455-1278461059/watcher-2699455-1278461059 -o /tmp/evaluation-result-2699455-1278461059/solver-2699455-1278461059 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699455-1278461059.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 5d7330038698be4d7397c9bceea53fdc RANDOM SEED=72121912 node131.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.828 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.65 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.828 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.76 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.828 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.828 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.828 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.82 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.828 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.72 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.828 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.828 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 : 5441.50 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951132 kB MemFree: 29553620 kB Buffers: 109472 kB Cached: 3069516 kB SwapCached: 0 kB Active: 757400 kB Inactive: 2503168 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951132 kB LowFree: 29553620 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 1980 kB Writeback: 0 kB AnonPages: 81808 kB Mapped: 15608 kB Slab: 73264 kB PageTables: 4788 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587092 kB Committed_AS: 220416 kB VmallocTotal: 34359738367 kB VmallocUsed: 296000 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73860 MiB End job on node131 at 2010-07-07 02:20:16