Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 | OPTIMUM | 470.375 | 470.373 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900558106--soft-33-100-0.wbo |
MD5SUM | eba88192ede2bf17faa7af9ad7b0465e |
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 | 4 |
Best CPU time to get the best result obtained on this benchmark | 181.673 |
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 | 1816 |
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 | 92461 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 92460 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 815 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c PB/CT 0.1.1 http://www.residual.se/pbct 0.00/0.00 c Based on OpenSMT/CT 20091015 0.00/0.01 c constraints 6/17 clauses 885/1799 units 0 0.00/0.01 c vars 231 0.09/0.10 c 0.088986 16.7656 20 22091 0.09/0.10 o 579 0.09/0.11 c 0.088986 17.1562 21 23188 0.09/0.11 o 532 0.09/0.18 c 0.140978 17.1562 210 28824 0.09/0.18 o 491 0.29/0.32 c 0.225965 17.1562 521 32738 0.29/0.32 o 458 0.39/0.45 c 0.304953 17.1562 866 39569 0.39/0.45 o 417 0.49/0.52 c 0.349946 17.1562 1052 41040 0.49/0.52 o 393 0.49/0.55 c 0.368943 17.1562 1103 41857 0.49/0.55 o 356 0.69/0.72 c 0.485926 17.2812 1489 43280 0.69/0.72 o 344 0.79/0.82 c 0.548916 17.2812 931 44789 0.79/0.82 o 333 0.79/0.89 c 0.594909 17.2812 1073 45764 0.79/0.89 o 331 0.89/0.94 c 0.626904 17.2812 639 47474 0.89/0.94 o 265 0.99/1.01 c 0.673897 17.2812 863 48420 0.99/1.01 o 258 1.38/1.45 c 0.940856 17.2812 809 56242 1.38/1.45 o 245 1.59/1.63 c 1.05484 17.2812 693 58309 1.59/1.63 o 237 1.69/1.76 c 1.13683 17.2812 1095 59791 1.69/1.76 o 233 1.88/1.95 c 1.25381 17.2812 1040 61357 1.88/1.95 o 231 1.98/2.05 c 1.3188 17.2812 1309 62153 1.98/2.05 o 222 2.19/2.24 c 1.43878 17.2812 606 63575 2.19/2.24 o 216 2.28/2.32 c 1.49677 17.2812 844 64228 2.28/2.32 o 215 2.89/2.91 c 1.86172 17.2812 1103 68269 2.89/2.91 o 205 2.89/2.96 c 1.89371 17.2812 1302 69198 2.89/2.96 o 175 3.08/3.12 c 1.9897 17.2812 1073 70389 3.08/3.12 o 173 3.69/3.73 c 2.36964 17.2812 812 74651 3.69/3.73 o 131 4.68/4.70 c 2.97855 17.2812 827 80011 4.68/4.70 o 129 4.68/4.79 c 3.03554 17.2812 1047 80845 4.68/4.79 o 121 4.78/4.88 c 3.09353 17.2812 753 81778 4.78/4.88 o 116 5.49/5.55 c 3.53946 17.3984 1415 85665 5.49/5.55 o 108 5.99/6.00 c 3.83542 17.3984 1235 88107 5.99/6.00 o 96 6.09/6.12 c 3.9164 17.3984 978 88980 6.09/6.12 o 89 6.99/7.07 c 4.53031 17.3984 965 93152 6.99/7.07 o 77 7.19/7.25 c 4.65329 17.3984 1497 94197 7.19/7.25 o 70 8.18/8.29 c 5.36118 17.5273 1112 101484 8.18/8.29 o 61 8.70/8.75 c 5.67614 17.6523 1979 104460 8.70/8.75 o 57 8.70/8.77 c 5.68713 17.6523 1058 104654 8.70/8.77 o 54 8.80/8.89 c 5.77212 17.6523 1787 105971 8.80/8.89 o 45 9.09/9.11 c 5.9301 17.6523 1818 107820 9.09/9.11 o 32 9.09/9.14 c 5.95609 17.7734 1998 108213 9.09/9.14 o 25 9.09/9.14 c 5.96209 17.7734 2046 108345 9.09/9.14 o 21 19.58/19.63 c 15.0537 18.1523 2396 260449 19.58/19.63 o 14 27.49/27.51 c 22.1096 18.5312 1556 383009 27.49/27.51 o 10 36.79/36.81 c 30.4034 18.5312 1532 529692 36.79/36.81 o 8 36.79/36.89 c 30.4684 18.5312 2375 531159 36.79/36.89 o 7 40.29/40.35 c 33.5899 18.5312 1620 591061 40.29/40.35 o 4 470.29/470.35 c 424.615 19.875 2829 7638662 470.29/470.35 s OPTIMUM FOUND 470.29/470.35 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 4
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2695607-1277906653/watcher-2695607-1277906653 -o /tmp/evaluation-result-2695607-1277906653/solver-2695607-1277906653 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2695607-1277906653.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.89 1.98 1.99 4/196 11952 /proc/meminfo: memFree=31503424/32951124 swapFree=67111528/67111528 [pid=11952] ppid=11950 vsize=2136 CPUtime=0 /proc/11952/stat : 11952 (pbct) R 11950 11952 10850 0 -1 4202496 255 0 0 0 0 0 0 0 25 0 1 0 131961382 2187264 175 4089446400 134512640 136421960 4290369104 18446744073709551615 135372674 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/11952/statm: 534 175 144 467 0 65 0 [startup+0.0254419 s] /proc/loadavg: 1.89 1.98 1.99 4/196 11952 /proc/meminfo: memFree=31503424/32951124 swapFree=67111528/67111528 [pid=11952] ppid=11950 vsize=5024 CPUtime=0.02 /proc/11952/stat : 11952 (pbct) R 11950 11952 10850 0 -1 4202496 964 0 0 0 2 0 0 0 25 0 1 0 131961382 5144576 884 4089446400 134512640 136421960 4290369104 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/11952/statm: 1256 890 193 467 0 787 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 5024 [startup+0.100419 s] /proc/loadavg: 1.89 1.98 1.99 4/196 11952 /proc/meminfo: memFree=31503424/32951124 swapFree=67111528/67111528 [pid=11952] ppid=11950 vsize=17164 CPUtime=0.09 /proc/11952/stat : 11952 (pbct) R 11950 11952 10850 0 -1 4202496 3968 0 0 0 8 1 0 0 25 0 1 0 131961382 17575936 3888 4089446400 134512640 136421960 4290369104 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/11952/statm: 4291 3888 213 467 0 3822 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 17164 [startup+0.300382 s] /proc/loadavg: 1.89 1.98 1.99 4/196 11952 /proc/meminfo: memFree=31503424/32951124 swapFree=67111528/67111528 [pid=11952] ppid=11950 vsize=17564 CPUtime=0.29 /proc/11952/stat : 11952 (pbct) R 11950 11952 10850 0 -1 4202496 4062 0 0 0 21 8 0 0 25 0 1 0 131961382 17985536 3979 4089446400 134512640 136421960 4290369104 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/11952/statm: 4391 3979 237 467 0 3922 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 17564 [startup+0.700326 s] /proc/loadavg: 1.89 1.98 1.99 4/196 11952 /proc/meminfo: memFree=31503424/32951124 swapFree=67111528/67111528 [pid=11952] ppid=11950 vsize=17692 CPUtime=0.69 /proc/11952/stat : 11952 (pbct) R 11950 11952 10850 0 -1 4202496 4085 0 0 0 47 22 0 0 18 0 1 0 131961382 18116608 3998 4089446400 134512640 136421960 4290369104 18446744073709551615 135023728 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/11952/statm: 4423 3998 237 467 0 3954 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 17692 [startup+1.50019 s] /proc/loadavg: 1.89 1.98 1.99 3/197 11953 /proc/meminfo: memFree=31488040/32951124 swapFree=67111528/67111528 [pid=11952] ppid=11950 vsize=17692 CPUtime=1.49 /proc/11952/stat : 11952 (pbct) R 11950 11952 10850 0 -1 4202496 4093 0 0 0 96 53 0 0 19 0 1 0 131961382 18116608 4000 4089446400 134512640 136421960 4290369104 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/11952/statm: 4423 4000 237 467 0 3954 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 17692 [startup+3.10092 s] /proc/loadavg: 1.89 1.98 1.99 3/197 11953 /proc/meminfo: memFree=31488040/32951124 swapFree=67111528/67111528 [pid=11952] ppid=11950 vsize=17692 CPUtime=3.08 /proc/11952/stat : 11952 (pbct) R 11950 11952 10850 0 -1 4202496 4109 0 0 0 197 111 0 0 22 0 1 0 131961382 18116608 4008 4089446400 134512640 136421960 4290369104 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/11952/statm: 4423 4008 237 467 0 3954 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 17692 [startup+6.30037 s] /proc/loadavg: 1.90 1.98 1.99 3/197 11953 /proc/meminfo: memFree=31488164/32951124 swapFree=67111528/67111528 [pid=11952] ppid=11950 vsize=17812 CPUtime=6.28 /proc/11952/stat : 11952 (pbct) R 11950 11952 10850 0 -1 4202496 4143 0 0 0 401 227 0 0 25 0 1 0 131961382 18239488 4034 4089446400 134512640 136421960 4290369104 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/11952/statm: 4453 4034 237 467 0 3984 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 17812 [startup+12.7003 s] /proc/loadavg: 1.91 1.98 1.99 3/197 11955 /proc/meminfo: memFree=31487872/32951124 swapFree=67111528/67111528 [pid=11952] ppid=11950 vsize=18456 CPUtime=12.69 /proc/11952/stat : 11952 (pbct) R 11950 11952 10850 0 -1 4202496 4308 0 0 0 908 361 0 0 25 0 1 0 131961382 18898944 4190 4089446400 134512640 136421960 4290369104 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/11952/statm: 4614 4190 237 467 0 4145 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 18456 [startup+25.5001 s] /proc/loadavg: 1.93 1.98 1.99 3/197 11955 /proc/meminfo: memFree=31487648/32951124 swapFree=67111528/67111528 [pid=11952] ppid=11950 vsize=18972 CPUtime=25.48 /proc/11952/stat : 11952 (pbct) R 11950 11952 10850 0 -1 4202496 4444 0 0 0 2031 517 0 0 25 0 1 0 131961382 19427328 4325 4089446400 134512640 136421960 4290369104 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/11952/statm: 4743 4325 237 467 0 4274 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 18972 [startup+51.1008 s] /proc/loadavg: 1.95 1.98 1.99 3/197 11955 /proc/meminfo: memFree=31487340/32951124 swapFree=67111528/67111528 [pid=11952] ppid=11950 vsize=18972 CPUtime=51.09 /proc/11952/stat : 11952 (pbct) R 11950 11952 10850 0 -1 4202496 4448 0 0 0 4331 778 0 0 25 0 1 0 131961382 19427328 4325 4089446400 134512640 136421960 4290369104 18446744073709551615 134862027 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/11952/statm: 4743 4325 237 467 0 4274 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 18972 [startup+102.306 s] /proc/loadavg: 1.98 1.98 1.99 3/197 11957 /proc/meminfo: memFree=31486792/32951124 swapFree=67111528/67111528 [pid=11952] ppid=11950 vsize=19232 CPUtime=102.3 /proc/11952/stat : 11952 (pbct) R 11950 11952 10850 0 -1 4202496 4513 0 0 0 8973 1257 0 0 25 0 1 0 131961382 19693568 4390 4089446400 134512640 136421960 4290369104 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/11952/statm: 4808 4390 237 467 0 4339 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 19232 [startup+162.3 s] /proc/loadavg: 1.99 1.98 1.99 3/197 11959 /proc/meminfo: memFree=31485748/32951124 swapFree=67111528/67111528 [pid=11952] ppid=11950 vsize=19708 CPUtime=162.29 /proc/11952/stat : 11952 (pbct) R 11950 11952 10850 0 -1 4202496 4635 0 0 0 14428 1801 0 0 25 0 1 0 131961382 20180992 4512 4089446400 134512640 136421960 4290369104 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/11952/statm: 4927 4512 237 467 0 4458 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 19708 [startup+222.301 s] /proc/loadavg: 1.99 1.98 1.99 3/197 11959 /proc/meminfo: memFree=31485908/32951124 swapFree=67111528/67111528 [pid=11952] ppid=11950 vsize=19816 CPUtime=222.29 /proc/11952/stat : 11952 (pbct) R 11950 11952 10850 0 -1 4202496 4660 0 0 0 19886 2343 0 0 25 0 1 0 131961382 20291584 4537 4089446400 134512640 136421960 4290369104 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/11952/statm: 4954 4537 237 467 0 4485 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 19816 [startup+282.301 s] /proc/loadavg: 1.99 1.98 1.99 3/197 11961 /proc/meminfo: memFree=31485364/32951124 swapFree=67111528/67111528 [pid=11952] ppid=11950 vsize=20092 CPUtime=282.29 /proc/11952/stat : 11952 (pbct) R 11950 11952 10850 0 -1 4202496 4745 0 0 0 25358 2871 0 0 25 0 1 0 131961382 20574208 4609 4089446400 134512640 136421960 4290369104 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/11952/statm: 5023 4609 237 467 0 4554 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 20092 [startup+342.301 s] /proc/loadavg: 1.99 1.98 1.99 3/197 11963 /proc/meminfo: memFree=31485288/32951124 swapFree=67111528/67111528 [pid=11952] ppid=11950 vsize=20092 CPUtime=342.29 /proc/11952/stat : 11952 (pbct) R 11950 11952 10850 0 -1 4202496 4745 0 0 0 30809 3420 0 0 25 0 1 0 131961382 20574208 4609 4089446400 134512640 136421960 4290369104 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/11952/statm: 5023 4609 237 467 0 4554 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 20092 [startup+402.301 s] /proc/loadavg: 2.06 2.00 1.99 3/197 11965 /proc/meminfo: memFree=31484600/32951124 swapFree=67111528/67111528 [pid=11952] ppid=11950 vsize=20348 CPUtime=402.29 /proc/11952/stat : 11952 (pbct) R 11950 11952 10850 0 -1 4202496 4812 0 0 0 36256 3973 0 0 25 0 1 0 131961382 20836352 4676 4089446400 134512640 136421960 4290369104 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/11952/statm: 5087 4676 237 467 0 4618 0 Current children cumulated CPU time (s) 402.29 Current children cumulated vsize (KiB) 20348 [startup+462.301 s] /proc/loadavg: 2.02 2.00 1.99 3/197 11967 /proc/meminfo: memFree=31484408/32951124 swapFree=67111528/67111528 [pid=11952] ppid=11950 vsize=20348 CPUtime=462.3 /proc/11952/stat : 11952 (pbct) R 11950 11952 10850 0 -1 4202496 4812 0 0 0 41730 4500 0 0 25 0 1 0 131961382 20836352 4676 4089446400 134512640 136421960 4290369104 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/11952/statm: 5087 4676 237 467 0 4618 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 20348 Solver just ended. Dumping a history of the last processes samples [startup+467.101 s] /proc/loadavg: 2.02 2.00 1.99 3/197 11967 /proc/meminfo: memFree=31484160/32951124 swapFree=67111528/67111528 [pid=11952] ppid=11950 vsize=20348 CPUtime=467.09 /proc/11952/stat : 11952 (pbct) R 11950 11952 10850 0 -1 4202496 4812 0 0 0 42167 4542 0 0 25 0 1 0 131961382 20836352 4676 4089446400 134512640 136421960 4290369104 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/11952/statm: 5087 4676 237 467 0 4618 0 Current children cumulated CPU time (s) 467.09 Current children cumulated vsize (KiB) 20348 [startup+468.701 s] /proc/loadavg: 2.02 2.00 1.99 3/197 11967 /proc/meminfo: memFree=31484280/32951124 swapFree=67111528/67111528 [pid=11952] ppid=11950 vsize=20348 CPUtime=468.69 /proc/11952/stat : 11952 (pbct) R 11950 11952 10850 0 -1 4202496 4812 0 0 0 42311 4558 0 0 25 0 1 0 131961382 20836352 4676 4089446400 134512640 136421960 4290369104 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/11952/statm: 5087 4676 237 467 0 4618 0 Current children cumulated CPU time (s) 468.69 Current children cumulated vsize (KiB) 20348 [startup+469.5 s] /proc/loadavg: 2.02 2.00 1.99 3/197 11967 /proc/meminfo: memFree=31484280/32951124 swapFree=67111528/67111528 [pid=11952] ppid=11950 vsize=20348 CPUtime=469.49 /proc/11952/stat : 11952 (pbct) R 11950 11952 10850 0 -1 4202496 4812 0 0 0 42383 4566 0 0 25 0 1 0 131961382 20836352 4676 4089446400 134512640 136421960 4290369104 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/11952/statm: 5087 4676 237 467 0 4618 0 Current children cumulated CPU time (s) 469.49 Current children cumulated vsize (KiB) 20348 [startup+469.9 s] /proc/loadavg: 2.02 2.00 1.99 3/197 11967 /proc/meminfo: memFree=31484280/32951124 swapFree=67111528/67111528 [pid=11952] ppid=11950 vsize=20348 CPUtime=469.89 /proc/11952/stat : 11952 (pbct) R 11950 11952 10850 0 -1 4202496 4812 0 0 0 42420 4569 0 0 25 0 1 0 131961382 20836352 4676 4089446400 134512640 136421960 4290369104 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/11952/statm: 5087 4676 237 467 0 4618 0 Current children cumulated CPU time (s) 469.89 Current children cumulated vsize (KiB) 20348 [startup+470.3 s] /proc/loadavg: 2.02 2.00 1.99 3/197 11967 /proc/meminfo: memFree=31484280/32951124 swapFree=67111528/67111528 [pid=11952] ppid=11950 vsize=20348 CPUtime=470.29 /proc/11952/stat : 11952 (pbct) R 11950 11952 10850 0 -1 4202496 4812 0 0 0 42456 4573 0 0 25 0 1 0 131961382 20836352 4676 4089446400 134512640 136421960 4290369104 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/11952/statm: 5087 4676 237 467 0 4618 0 Current children cumulated CPU time (s) 470.29 Current children cumulated vsize (KiB) 20348 Child status: 0 Real time (s): 470.373 CPU time (s): 470.375 CPU user time (s): 424.633 CPU system time (s): 45.742 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 20348 getrusage(RUSAGE_CHILDREN,...) data: user time used= 424.633 system time used= 45.742 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4817 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 757 runsolver used 0.661899 second user time and 1.48177 second system time The end
Begin job on node130 at 2010-06-30 16:04:13 IDJOB=2695607 IDBENCH=78941 IDSOLVER=1208 FILE ID=node130/2695607-1277906653 PBS_JOBID= 11197197 Free space on /tmp= 74212 MiB SOLVER NAME= PB/CT 0.1 BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900558106--soft-33-100-0.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2695607-1277906653/watcher-2695607-1277906653 -o /tmp/evaluation-result-2695607-1277906653/solver-2695607-1277906653 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2695607-1277906653.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= eba88192ede2bf17faa7af9ad7b0465e RANDOM SEED=1567670144 node130.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.796 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.59 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.796 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.67 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.796 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.796 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.72 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.796 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.796 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.63 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.796 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.796 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 : 5237.09 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31503820 kB Buffers: 191272 kB Cached: 962560 kB SwapCached: 0 kB Active: 616084 kB Inactive: 690064 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31503820 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2020 kB Writeback: 0 kB AnonPages: 152024 kB Mapped: 20648 kB Slab: 77784 kB PageTables: 4756 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1655356 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= 74208 MiB End job on node130 at 2010-06-30 16:12:04