Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | OPTIMUM | 548.835 | 549.362 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900548667--soft-66-100-0.wbo |
MD5SUM | b93cc320d1c40ed770cd566486d12ca9 |
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 | 1 |
Best CPU time to get the best result obtained on this benchmark | 548.835 |
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 | 625 |
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 wbo 1.4 beta - 20100517 0.00/0.00 c Parsing wbo file format. File HOME/instance-2690145-1277909885.wbo. 0.00/0.00 c Instance file HOME/instance-2690145-1277909885.wbo 0.00/0.00 c File size is 88004 bytes. 0.00/0.00 c Highest Coefficient sum: 625 0.00/0.00 c ============================[ Problem Statistics ]============================= 0.00/0.00 c | | 0.00/0.00 c | Parsing time: 0.01 s | 0.00/0.00 c | Number Variables: 231 | 0.00/0.00 c | Number Clauses: 2684 | 0.00/0.00 c | Number Cardinality: 22 | 0.00/0.00 c | Number PB Constraints: 1 | 0.00/0.00 c ============================[ Search Statistics ]============================== 0.00/0.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 231 2707 8338 | 5000 0 nan | 0.000 % | 0.00/0.00 c | 100 | 231 2707 8338 | 5500 100 29 | 0.002 % | 0.00/0.01 c | 253 | 231 2707 8338 | 6050 253 31 | 0.002 % | 0.00/0.01 c | 478 | 231 2707 8338 | 6655 478 31 | 0.002 % | 0.00/0.02 c | 818 | 231 2707 8338 | 7320 818 34 | 0.002 % | 0.00/0.04 c | 1324 | 231 2707 8338 | 8052 1324 34 | 0.002 % | 0.00/0.06 c | 2084 | 231 2707 8338 | 8857 2084 35 | 0.002 % | 0.09/0.10 c | 3226 | 231 2707 8338 | 9743 3226 35 | 0.002 % | 0.09/0.16 c | 4934 | 231 2707 8338 | 10717 4934 36 | 0.002 % | 0.27/0.30 c | 7497 | 231 2707 8338 | 11789 7497 35 | 0.002 % | 0.37/0.49 c | 11341 | 231 2707 8338 | 12968 11341 36 | 0.002 % | 0.77/0.84 c | 17107 | 231 2707 8338 | 14265 10566 39 | 0.002 % | 1.37/1.45 c | 25756 | 231 2707 8338 | 15692 12015 45 | 0.002 % | 2.28/2.39 c | 38731 | 231 2707 8338 | 17261 9198 41 | 0.002 % | 3.68/3.73 c | 58193 | 231 2707 8338 | 18987 11279 43 | 0.002 % | 6.27/6.84 c | 87385 | 231 2707 8338 | 20886 11809 43 | 0.002 % | 10.16/10.71 c | 131175 | 231 2707 8338 | 22974 13582 42 | 0.002 % | 16.06/16.69 c | 196861 | 231 2707 8338 | 25272 21311 43 | 0.002 % | 26.26/26.81 c | 295388 | 231 2707 8338 | 27799 13286 41 | 0.002 % | 40.76/41.35 c | 443178 | 231 2707 8338 | 30579 18032 44 | 0.002 % | 64.27/64.89 c | 664861 | 231 2707 8338 | 33637 19079 42 | 0.002 % | 101.46/102.03 c | 997386 | 231 2707 8338 | 37001 32180 45 | 0.002 % | 162.06/162.67 c | 1496175 | 231 2707 8338 | 40701 19215 44 | 0.002 % | 256.56/257.15 c | 2244357 | 231 2707 8338 | 44771 38453 43 | 0.002 % | 402.96/403.58 c | 3366633 | 231 2707 8338 | 49248 22624 43 | 0.002 % | 514.47/515.04 c =============================================================================== 542.16/542.71 c core #1 542.16/542.71 c ============================[ Search Statistics ]============================== 542.16/542.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 542.16/542.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 542.16/542.71 c =============================================================================== 542.16/542.71 c | 0 | 719 3591 12442 | 5000 0 nan | 0.000 % | 543.06/543.68 c | 100 | 719 3591 12442 | 5500 100 24 | 0.000 % | 543.16/543.75 c | 251 | 719 3591 12442 | 6050 251 31 | 0.000 % | 543.26/543.83 c | 476 | 719 3591 12442 | 6655 476 34 | 0.000 % | 543.36/543.91 c | 815 | 719 3591 12442 | 7320 815 34 | 0.000 % | 543.36/543.93 c | 1323 | 719 3591 12442 | 8052 1323 32 | 0.000 % | 543.36/543.97 c | 2082 | 719 3591 12442 | 8857 2082 31 | 0.000 % | 543.56/544.18 c | 3221 | 719 3591 12442 | 9743 3221 30 | 0.000 % | 543.66/544.26 c | 4929 | 719 3591 12442 | 10717 4929 33 | 0.000 % | 543.87/544.40 c | 7494 | 719 3591 12442 | 11789 7494 33 | 0.000 % | 544.07/544.64 c | 11340 | 719 3591 12442 | 12968 11340 34 | 0.000 % | 544.47/545.00 c | 17108 | 719 3591 12442 | 14265 10547 36 | 0.000 % | 545.07/545.64 c | 25758 | 719 3591 12442 | 15692 12002 40 | 0.000 % | 546.17/546.79 c | 38732 | 719 3591 12442 | 17261 9169 38 | 0.000 % | 547.87/548.43 c | 58193 | 719 3591 12442 | 18987 11274 40 | 0.000 % | 548.76/549.31 c =============================================================================== 548.76/549.31 c #cores: 1 548.76/549.31 c Final Weight: 1 548.76/549.31 o 1 548.76/549.31 s OPTIMUM FOUND 548.76/549.31 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 548.76/549.31 c Total CPU time: 542.422 s
OK 1
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2690145-1277909885/watcher-2690145-1277909885 -o /tmp/evaluation-result-2690145-1277909885/solver-2690145-1277909885 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690145-1277909885.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: 2.00 2.01 2.00 4/176 13045 /proc/meminfo: memFree=31087352/32951132 swapFree=67111528/67111528 [pid=13045] ppid=13043 vsize=2808 CPUtime=0 /proc/13045/stat : 13045 (wbo1.4a) R 13043 13045 11703 0 -1 4202496 311 0 0 0 0 0 0 0 25 0 1 0 132285128 2875392 230 4089446400 134512640 135751879 4294462496 18446744073709551615 135378118 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/13045/statm: 702 231 147 303 0 375 0 [startup+0.0999229 s] /proc/loadavg: 2.00 2.01 2.00 4/176 13045 /proc/meminfo: memFree=31087352/32951132 swapFree=67111528/67111528 [pid=13045] ppid=13043 vsize=3512 CPUtime=0.09 /proc/13045/stat : 13045 (wbo1.4a) R 13043 13045 11703 0 -1 4202496 549 0 0 0 9 0 0 0 25 0 1 0 132285128 3596288 446 4089446400 134512640 135751879 4294462496 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/13045/statm: 878 446 143 303 0 573 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3512 [startup+0.100936 s] /proc/loadavg: 2.00 2.01 2.00 4/176 13045 /proc/meminfo: memFree=31087352/32951132 swapFree=67111528/67111528 [pid=13045] ppid=13043 vsize=3512 CPUtime=0.09 /proc/13045/stat : 13045 (wbo1.4a) R 13043 13045 11703 0 -1 4202496 550 0 0 0 9 0 0 0 25 0 1 0 132285128 3596288 447 4089446400 134512640 135751879 4294462496 18446744073709551615 134616437 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/13045/statm: 878 447 143 303 0 573 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3512 [startup+0.300885 s] /proc/loadavg: 2.00 2.01 2.00 4/176 13045 /proc/meminfo: memFree=31087352/32951132 swapFree=67111528/67111528 [pid=13045] ppid=13043 vsize=4700 CPUtime=0.27 /proc/13045/stat : 13045 (wbo1.4a) R 13043 13045 11703 0 -1 4202496 837 0 0 0 27 0 0 0 25 0 1 0 132285128 4812800 734 4089446400 134512640 135751879 4294462496 18446744073709551615 134616377 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/13045/statm: 1175 734 143 303 0 870 0 Current children cumulated CPU time (s) 0.27 Current children cumulated vsize (KiB) 4700 [startup+0.700814 s] /proc/loadavg: 2.00 2.01 2.00 4/176 13045 /proc/meminfo: memFree=31087352/32951132 swapFree=67111528/67111528 [pid=13045] ppid=13043 vsize=6680 CPUtime=0.68 /proc/13045/stat : 13045 (wbo1.4a) R 13043 13045 11703 0 -1 4202496 1345 0 0 0 67 1 0 0 25 0 1 0 132285128 6840320 1242 4089446400 134512640 135751879 4294462496 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/13045/statm: 1670 1242 143 303 0 1365 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 6680 [startup+1.50068 s] /proc/loadavg: 2.00 2.01 2.00 3/177 13046 /proc/meminfo: memFree=31081516/32951132 swapFree=67111528/67111528 [pid=13045] ppid=13043 vsize=10244 CPUtime=1.47 /proc/13045/stat : 13045 (wbo1.4a) R 13043 13045 11703 0 -1 4202496 2240 0 0 0 145 2 0 0 25 0 1 0 132285128 10489856 2137 4089446400 134512640 135751879 4294462496 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/13045/statm: 2561 2137 143 303 0 2256 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 10244 [startup+3.1004 s] /proc/loadavg: 2.00 2.01 2.00 3/177 13046 /proc/meminfo: memFree=31076308/32951132 swapFree=67111528/67111528 [pid=13045] ppid=13043 vsize=16844 CPUtime=3.07 /proc/13045/stat : 13045 (wbo1.4a) R 13043 13045 11703 0 -1 4202496 3863 0 0 0 302 5 0 0 25 0 1 0 132285128 17248256 3760 4089446400 134512640 135751879 4294462496 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/13045/statm: 4211 3760 143 303 0 3906 0 Current children cumulated CPU time (s) 3.07 Current children cumulated vsize (KiB) 16844 [startup+6.30084 s] /proc/loadavg: 2.00 2.00 2.00 3/177 13046 /proc/meminfo: memFree=31066764/32951132 swapFree=67111528/67111528 [pid=13045] ppid=13043 vsize=25700 CPUtime=5.76 /proc/13045/stat : 13045 (wbo1.4a) R 13043 13045 11703 0 -1 4202496 6078 0 0 0 566 10 0 0 25 0 1 0 132285128 26316800 5975 4089446400 134512640 135751879 4294462496 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/13045/statm: 6425 5975 143 303 0 6120 0 Current children cumulated CPU time (s) 5.76 Current children cumulated vsize (KiB) 25700 [startup+12.7007 s] /proc/loadavg: 2.00 2.00 2.00 3/177 13047 /proc/meminfo: memFree=31044564/32951132 swapFree=67111528/67111528 [pid=13045] ppid=13043 vsize=46428 CPUtime=12.16 /proc/13045/stat : 13045 (wbo1.4a) R 13043 13045 11703 0 -1 4202496 11256 0 0 0 1198 18 0 0 25 0 1 0 132285128 47542272 11153 4089446400 134512640 135751879 4294462496 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/13045/statm: 11607 11153 143 303 0 11302 0 Current children cumulated CPU time (s) 12.16 Current children cumulated vsize (KiB) 46428 [startup+25.5005 s] /proc/loadavg: 2.00 2.00 2.00 3/177 13048 /proc/meminfo: memFree=31006076/32951132 swapFree=67111528/67111528 [pid=13045] ppid=13043 vsize=83808 CPUtime=24.97 /proc/13045/stat : 13045 (wbo1.4a) R 13043 13045 11703 0 -1 4202496 20612 0 0 0 2466 31 0 0 25 0 1 0 132285128 85819392 20509 4089446400 134512640 135751879 4294462496 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/13045/statm: 20952 20509 143 303 0 20647 0 Current children cumulated CPU time (s) 24.97 Current children cumulated vsize (KiB) 83808 [startup+51.101 s] /proc/loadavg: 2.00 2.00 2.00 3/177 13048 /proc/meminfo: memFree=30930236/32951132 swapFree=67111528/67111528 [pid=13045] ppid=13043 vsize=158860 CPUtime=50.56 /proc/13045/stat : 13045 (wbo1.4a) R 13043 13045 11703 0 -1 4202496 39377 0 0 0 4996 60 0 0 25 0 1 0 132285128 162672640 39274 4089446400 134512640 135751879 4294462496 18446744073709551615 134616314 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/13045/statm: 39715 39274 143 303 0 39410 0 Current children cumulated CPU time (s) 50.56 Current children cumulated vsize (KiB) 158860 [startup+102.306 s] /proc/loadavg: 2.00 2.00 2.00 3/177 13050 /proc/meminfo: memFree=30793568/32951132 swapFree=67111528/67111528 [pid=13045] ppid=13043 vsize=292920 CPUtime=101.77 /proc/13045/stat : 13045 (wbo1.4a) R 13043 13045 11703 0 -1 4202496 72885 0 0 0 10063 114 0 0 25 0 1 0 132285128 299950080 72782 4089446400 134512640 135751879 4294462496 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/13045/statm: 73230 72782 143 303 0 72925 0 Current children cumulated CPU time (s) 101.77 Current children cumulated vsize (KiB) 292920 [startup+162.301 s] /proc/loadavg: 2.00 2.00 2.00 3/177 13051 /proc/meminfo: memFree=30644868/32951132 swapFree=67111528/67111528 [pid=13045] ppid=13043 vsize=441028 CPUtime=161.76 /proc/13045/stat : 13045 (wbo1.4a) R 13043 13045 11703 0 -1 4202496 109888 0 0 0 16004 172 0 0 25 0 1 0 132285128 451612672 109785 4089446400 134512640 135751879 4294462496 18446744073709551615 134517428 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/13045/statm: 110257 109785 143 303 0 109952 0 Current children cumulated CPU time (s) 161.76 Current children cumulated vsize (KiB) 441028 [startup+222.3 s] /proc/loadavg: 2.04 2.01 2.00 3/177 13061 /proc/meminfo: memFree=30500096/32951132 swapFree=67111528/67111528 [pid=13045] ppid=13043 vsize=583928 CPUtime=221.75 /proc/13045/stat : 13045 (wbo1.4a) R 13043 13045 11703 0 -1 4202496 145616 0 0 0 21933 242 0 0 25 0 1 0 132285128 597942272 145513 4089446400 134512640 135751879 4294462496 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/13045/statm: 145982 145513 143 303 0 145677 0 Current children cumulated CPU time (s) 221.75 Current children cumulated vsize (KiB) 583928 [startup+282.301 s] /proc/loadavg: 2.01 2.01 2.00 3/177 13063 /proc/meminfo: memFree=30365668/32951132 swapFree=67111528/67111528 [pid=13045] ppid=13043 vsize=718604 CPUtime=281.76 /proc/13045/stat : 13045 (wbo1.4a) R 13043 13045 11703 0 -1 4202496 179241 0 0 0 27853 323 0 0 25 0 1 0 132285128 735850496 179138 4089446400 134512640 135751879 4294462496 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/13045/statm: 179651 179138 143 303 0 179346 0 Current children cumulated CPU time (s) 281.76 Current children cumulated vsize (KiB) 718604 [startup+342.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 13065 /proc/meminfo: memFree=30230736/32951132 swapFree=67111528/67111528 [pid=13045] ppid=13043 vsize=851916 CPUtime=341.76 /proc/13045/stat : 13045 (wbo1.4a) R 13043 13045 11703 0 -1 4202496 212561 0 0 0 33774 402 0 0 25 0 1 0 132285128 872361984 212458 4089446400 134512640 135751879 4294462496 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/13045/statm: 212979 212458 143 303 0 212674 0 Current children cumulated CPU time (s) 341.76 Current children cumulated vsize (KiB) 851916 [startup+402.301 s] /proc/loadavg: 2.04 2.01 2.00 3/177 13067 /proc/meminfo: memFree=30101256/32951132 swapFree=67111528/67111528 [pid=13045] ppid=13043 vsize=981828 CPUtime=401.76 /proc/13045/stat : 13045 (wbo1.4a) R 13043 13045 11703 0 -1 4202496 245003 0 0 0 39696 480 0 0 25 0 1 0 132285128 1005391872 244900 4089446400 134512640 135751879 4294462496 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/13045/statm: 245457 244900 143 303 0 245152 0 Current children cumulated CPU time (s) 401.76 Current children cumulated vsize (KiB) 981828 [startup+462.301 s] /proc/loadavg: 2.01 2.01 2.00 3/177 13068 /proc/meminfo: memFree=29966936/32951132 swapFree=67111528/67111528 [pid=13045] ppid=13043 vsize=1113980 CPUtime=461.76 /proc/13045/stat : 13045 (wbo1.4a) R 13043 13045 11703 0 -1 4202496 278049 0 0 0 45616 560 0 0 25 0 1 0 132285128 1140715520 277946 4089446400 134512640 135751879 4294462496 18446744073709551615 134616866 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/13045/statm: 278495 277946 143 303 0 278190 0 Current children cumulated CPU time (s) 461.76 Current children cumulated vsize (KiB) 1113980 [startup+522.301 s] /proc/loadavg: 2.00 2.00 2.00 3/177 13069 /proc/meminfo: memFree=29793304/32951132 swapFree=67111528/67111528 [pid=13045] ppid=13043 vsize=1293268 CPUtime=521.76 /proc/13045/stat : 13045 (wbo1.4a) R 13043 13045 11703 0 -1 4202496 322841 0 0 0 51552 624 0 0 25 0 1 0 132285128 1324306432 322738 4089446400 134512640 135751879 4294462496 18446744073709551615 134516342 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/13045/statm: 323317 322739 143 303 0 323012 0 Current children cumulated CPU time (s) 521.76 Current children cumulated vsize (KiB) 1293268 Solver just ended. Dumping a history of the last processes samples [startup+524.707 s] /proc/loadavg: 2.00 2.00 2.00 3/177 13069 /proc/meminfo: memFree=29766640/32951132 swapFree=67111528/67111528 [pid=13045] ppid=13043 vsize=1312804 CPUtime=524.17 /proc/13045/stat : 13045 (wbo1.4a) R 13043 13045 11703 0 -1 4202496 327732 0 0 0 51792 625 0 0 25 0 1 0 132285128 1344311296 327629 4089446400 134512640 135751879 4294462496 18446744073709551615 134516328 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/13045/statm: 328201 327629 143 303 0 327896 0 Current children cumulated CPU time (s) 524.17 Current children cumulated vsize (KiB) 1312804 [startup+537.5 s] /proc/loadavg: 2.00 2.00 2.00 3/177 13070 /proc/meminfo: memFree=29735272/32951132 swapFree=67111528/67111528 [pid=13045] ppid=13043 vsize=1343164 CPUtime=536.96 /proc/13045/stat : 13045 (wbo1.4a) R 13043 13045 11703 0 -1 4202496 335324 0 0 0 53070 626 0 0 25 0 1 0 132285128 1375399936 335221 4089446400 134512640 135751879 4294462496 18446744073709551615 134520798 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/13045/statm: 335791 335221 143 303 0 335486 0 Current children cumulated CPU time (s) 536.96 Current children cumulated vsize (KiB) 1343164 [startup+543.9 s] /proc/loadavg: 2.00 2.00 2.00 3/177 13070 /proc/meminfo: memFree=29735388/32951132 swapFree=67111528/67111528 [pid=13045] ppid=13043 vsize=1342228 CPUtime=543.36 /proc/13045/stat : 13045 (wbo1.4a) R 13043 13045 11703 0 -1 4202496 335328 0 0 0 53710 626 0 0 19 0 1 0 132285128 1374441472 335020 4089446400 134512640 135751879 4294462496 18446744073709551615 135204385 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/13045/statm: 335557 335020 146 303 0 335252 0 Current children cumulated CPU time (s) 543.36 Current children cumulated vsize (KiB) 1342228 [startup+547.101 s] /proc/loadavg: 2.00 2.00 2.00 3/177 13070 /proc/meminfo: memFree=29735388/32951132 swapFree=67111528/67111528 [pid=13045] ppid=13043 vsize=1342228 CPUtime=546.57 /proc/13045/stat : 13045 (wbo1.4a) R 13043 13045 11703 0 -1 4202496 335330 0 0 0 54024 633 0 0 21 0 1 0 132285128 1374441472 335022 4089446400 134512640 135751879 4294462496 18446744073709551615 134616505 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/13045/statm: 335557 335022 146 303 0 335252 0 Current children cumulated CPU time (s) 546.57 Current children cumulated vsize (KiB) 1342228 [startup+548.701 s] /proc/loadavg: 2.00 2.00 2.00 3/177 13071 /proc/meminfo: memFree=29735508/32951132 swapFree=67111528/67111528 [pid=13045] ppid=13043 vsize=1342228 CPUtime=548.16 /proc/13045/stat : 13045 (wbo1.4a) R 13043 13045 11703 0 -1 4202496 335330 0 0 0 54181 635 0 0 25 0 1 0 132285128 1374441472 335022 4089446400 134512640 135751879 4294462496 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/13045/statm: 335557 335022 146 303 0 335252 0 Current children cumulated CPU time (s) 548.16 Current children cumulated vsize (KiB) 1342228 [startup+549.1 s] /proc/loadavg: 2.00 2.00 2.00 3/177 13071 /proc/meminfo: memFree=29735508/32951132 swapFree=67111528/67111528 [pid=13045] ppid=13043 vsize=1342228 CPUtime=548.57 /proc/13045/stat : 13045 (wbo1.4a) R 13043 13045 11703 0 -1 4202496 335330 0 0 0 54221 636 0 0 25 0 1 0 132285128 1374441472 335022 4089446400 134512640 135751879 4294462496 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/13045/statm: 335557 335022 146 303 0 335252 0 Current children cumulated CPU time (s) 548.57 Current children cumulated vsize (KiB) 1342228 [startup+549.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 13071 /proc/meminfo: memFree=29735508/32951132 swapFree=67111528/67111528 [pid=13045] ppid=13043 vsize=1342228 CPUtime=548.76 /proc/13045/stat : 13045 (wbo1.4a) R 13043 13045 11703 0 -1 4202496 335330 0 0 0 54240 636 0 0 25 0 1 0 132285128 1374441472 335022 4089446400 134512640 135751879 4294462496 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/13045/statm: 335557 335022 146 303 0 335252 0 Current children cumulated CPU time (s) 548.76 Current children cumulated vsize (KiB) 1342228 Child status: 0 Real time (s): 549.362 CPU time (s): 548.835 CPU user time (s): 542.422 CPU system time (s): 6.41302 CPU usage (%): 99.904 Max. virtual memory (cumulated for all children) (KiB): 1343164 getrusage(RUSAGE_CHILDREN,...) data: user time used= 542.422 system time used= 6.41303 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 335330 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= 2622 runsolver used 0.866868 second user time and 1.77273 second system time The end
Begin job on node131 at 2010-06-30 16:58:05 IDJOB=2690145 IDBENCH=78972 IDSOLVER=1200 FILE ID=node131/2690145-1277909885 PBS_JOBID= 11197182 Free space on /tmp= 74136 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900548667--soft-66-100-0.wbo COMMAND LINE= wbo1.4a -file-format=wbo -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2690145-1277909885/watcher-2690145-1277909885 -o /tmp/evaluation-result-2690145-1277909885/solver-2690145-1277909885 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690145-1277909885.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= b93cc320d1c40ed770cd566486d12ca9 RANDOM SEED=2044881007 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.836 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.67 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.836 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.836 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.836 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.82 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.836 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.76 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.836 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.83 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.836 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.836 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: 32951132 kB MemFree: 31087872 kB Buffers: 197068 kB Cached: 1138248 kB SwapCached: 0 kB Active: 911212 kB Inactive: 809152 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951132 kB LowFree: 31087872 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2748 kB Writeback: 0 kB AnonPages: 384800 kB Mapped: 17020 kB Slab: 80092 kB PageTables: 5504 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587092 kB Committed_AS: 539612 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= 74132 MiB End job on node131 at 2010-06-30 17:07:15