Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | OPTIMUM | 374.282 | 374.295 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900559676--soft-66-100-0.wbo |
MD5SUM | a1fa880e8620ee0c5e9a297708544854 |
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 | 374.282 |
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 | 899 |
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 | 46330 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 46329 |
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-2690009-1277902628.wbo. 0.00/0.00 c Instance file HOME/instance-2690009-1277902628.wbo 0.00/0.00 c File size is 87866 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 24 | 0.002 % | 0.00/0.01 c | 255 | 231 2707 8338 | 6050 255 26 | 0.002 % | 0.00/0.01 c | 481 | 231 2707 8338 | 6655 481 30 | 0.002 % | 0.00/0.02 c | 818 | 231 2707 8338 | 7320 818 31 | 0.002 % | 0.03/0.04 c | 1325 | 231 2707 8338 | 8052 1325 32 | 0.002 % | 0.03/0.06 c | 2085 | 231 2707 8338 | 8857 2085 34 | 0.002 % | 0.09/0.10 c | 3226 | 231 2707 8338 | 9743 3226 34 | 0.002 % | 0.09/0.16 c | 4935 | 231 2707 8338 | 10717 4935 33 | 0.002 % | 0.19/0.28 c | 7497 | 231 2707 8338 | 11789 7497 34 | 0.002 % | 0.39/0.47 c | 11342 | 231 2707 8338 | 12968 11342 35 | 0.002 % | 0.78/0.80 c | 17108 | 231 2707 8338 | 14265 10572 37 | 0.002 % | 1.29/1.36 c | 25760 | 231 2707 8338 | 15692 12060 38 | 0.002 % | 2.19/2.28 c | 38734 | 231 2707 8338 | 17261 9235 41 | 0.002 % | 3.89/3.93 c | 58196 | 231 2707 8338 | 18987 11309 42 | 0.002 % | 6.49/6.57 c | 87390 | 231 2707 8338 | 20886 11835 44 | 0.002 % | 10.39/10.46 c | 131181 | 231 2707 8338 | 22974 13637 42 | 0.002 % | 17.18/17.24 c | 196866 | 231 2707 8338 | 25272 21566 44 | 0.002 % | 26.88/26.94 c | 295393 | 231 2707 8338 | 27799 12557 41 | 0.002 % | 42.67/42.70 c | 443183 | 231 2707 8338 | 30579 20835 43 | 0.002 % | 70.67/70.71 c | 664867 | 231 2707 8338 | 33637 24446 45 | 0.002 % | 108.57/108.61 c | 997393 | 231 2707 8338 | 37001 12855 41 | 0.002 % | 168.08/168.18 c | 1496182 | 231 2707 8338 | 40701 15517 42 | 0.002 % | 258.57/258.65 c | 2244366 | 231 2707 8338 | 44771 27651 43 | 0.002 % | 350.58/350.68 c =============================================================================== 369.88/369.94 c core #1 369.88/369.94 c ============================[ Search Statistics ]============================== 369.88/369.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 369.88/369.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 369.88/369.94 c =============================================================================== 369.88/369.94 c | 0 | 690 3559 12329 | 5000 0 nan | 0.000 % | 369.88/369.96 c | 101 | 690 3559 12329 | 5500 101 20 | 0.000 % | 369.98/370.03 c | 256 | 690 3559 12329 | 6050 256 27 | 0.000 % | 369.98/370.08 c | 482 | 690 3559 12329 | 6655 482 30 | 0.000 % | 369.98/370.09 c | 820 | 690 3559 12329 | 7320 820 34 | 0.000 % | 370.08/370.12 c | 1326 | 690 3559 12329 | 8052 1326 35 | 0.000 % | 370.18/370.25 c | 2086 | 690 3559 12329 | 8857 2086 35 | 0.000 % | 370.28/370.30 c | 3228 | 690 3559 12329 | 9743 3228 35 | 0.000 % | 370.28/370.38 c | 4938 | 690 3559 12329 | 10717 4938 38 | 0.000 % | 370.48/370.51 c | 7500 | 690 3559 12329 | 11789 7500 36 | 0.000 % | 370.68/370.78 c | 11344 | 690 3559 12329 | 12968 11344 37 | 0.000 % | 371.18/371.20 c | 17112 | 690 3559 12329 | 14265 10594 39 | 0.000 % | 371.79/371.83 c | 25761 | 690 3559 12329 | 15692 12040 40 | 0.000 % | 372.98/373.09 c | 38735 | 690 3559 12329 | 17261 9205 40 | 0.000 % | 374.18/374.26 c =============================================================================== 374.18/374.26 c #cores: 1 374.18/374.26 c Final Weight: 1 374.18/374.26 o 1 374.18/374.26 s OPTIMUM FOUND 374.18/374.26 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 374.18/374.26 c Total CPU time: 370.812 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-2690009-1277902628/watcher-2690009-1277902628 -o /tmp/evaluation-result-2690009-1277902628/solver-2690009-1277902628 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690009-1277902628.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.95 3.00 2.85 4/196 11629 /proc/meminfo: memFree=31516408/32951124 swapFree=67111528/67111528 [pid=11629] ppid=11627 vsize=2808 CPUtime=0 /proc/11629/stat : 11629 (wbo1.4a) R 11627 11629 10347 0 -1 4202496 312 0 0 0 0 0 0 0 25 0 1 0 131560955 2875392 230 4089446400 134512640 135751879 4287425248 18446744073709551615 134638015 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/11629/statm: 702 230 146 303 0 375 0 [startup+0.0368329 s] /proc/loadavg: 2.95 3.00 2.85 4/196 11629 /proc/meminfo: memFree=31516408/32951124 swapFree=67111528/67111528 [pid=11629] ppid=11627 vsize=2984 CPUtime=0.03 /proc/11629/stat : 11629 (wbo1.4a) R 11627 11629 10347 0 -1 4202496 419 0 0 0 3 0 0 0 25 0 1 0 131560955 3055616 315 4089446400 134512640 135751879 4287425248 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/11629/statm: 746 316 143 303 0 441 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 2984 [startup+0.100824 s] /proc/loadavg: 2.95 3.00 2.85 4/196 11629 /proc/meminfo: memFree=31516408/32951124 swapFree=67111528/67111528 [pid=11629] ppid=11627 vsize=3512 CPUtime=0.09 /proc/11629/stat : 11629 (wbo1.4a) R 11627 11629 10347 0 -1 4202496 552 0 0 0 9 0 0 0 25 0 1 0 131560955 3596288 448 4089446400 134512640 135751879 4287425248 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/11629/statm: 878 448 143 303 0 573 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3512 [startup+0.300785 s] /proc/loadavg: 2.95 3.00 2.85 4/196 11629 /proc/meminfo: memFree=31516408/32951124 swapFree=67111528/67111528 [pid=11629] ppid=11627 vsize=4832 CPUtime=0.29 /proc/11629/stat : 11629 (wbo1.4a) R 11627 11629 10347 0 -1 4202496 872 0 0 0 29 0 0 0 25 0 1 0 131560955 4947968 768 4089446400 134512640 135751879 4287425248 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/11629/statm: 1208 769 143 303 0 903 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4832 [startup+0.700669 s] /proc/loadavg: 2.95 3.00 2.85 4/196 11629 /proc/meminfo: memFree=31516408/32951124 swapFree=67111528/67111528 [pid=11629] ppid=11627 vsize=6832 CPUtime=0.69 /proc/11629/stat : 11629 (wbo1.4a) R 11627 11629 10347 0 -1 4202496 1372 0 0 0 68 1 0 0 25 0 1 0 131560955 6995968 1268 4089446400 134512640 135751879 4287425248 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/11629/statm: 1708 1268 143 303 0 1403 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6832 [startup+1.50057 s] /proc/loadavg: 2.95 3.00 2.85 3/197 11630 /proc/meminfo: memFree=31510944/32951124 swapFree=67111528/67111528 [pid=11629] ppid=11627 vsize=10264 CPUtime=1.49 /proc/11629/stat : 11629 (wbo1.4a) R 11627 11629 10347 0 -1 4202496 2236 0 0 0 147 2 0 0 25 0 1 0 131560955 10510336 2132 4089446400 134512640 135751879 4287425248 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/11629/statm: 2566 2132 143 303 0 2261 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10264 [startup+3.10026 s] /proc/loadavg: 2.95 3.00 2.85 3/197 11630 /proc/meminfo: memFree=31506356/32951124 swapFree=67111528/67111528 [pid=11629] ppid=11627 vsize=16468 CPUtime=3.09 /proc/11629/stat : 11629 (wbo1.4a) R 11627 11629 10347 0 -1 4202496 3792 0 0 0 305 4 0 0 25 0 1 0 131560955 16863232 3688 4089446400 134512640 135751879 4287425248 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/11629/statm: 4117 3688 143 303 0 3812 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16468 [startup+6.30065 s] /proc/loadavg: 2.87 2.99 2.84 3/197 11630 /proc/meminfo: memFree=31494948/32951124 swapFree=67111528/67111528 [pid=11629] ppid=11627 vsize=27432 CPUtime=6.29 /proc/11629/stat : 11629 (wbo1.4a) R 11627 11629 10347 0 -1 4202496 6503 0 0 0 621 8 0 0 25 0 1 0 131560955 28090368 6399 4089446400 134512640 135751879 4287425248 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/11629/statm: 6858 6399 143 303 0 6553 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 27432 [startup+12.7004 s] /proc/loadavg: 2.80 2.97 2.84 3/197 11630 /proc/meminfo: memFree=31473744/32951124 swapFree=67111528/67111528 [pid=11629] ppid=11627 vsize=47784 CPUtime=12.69 /proc/11629/stat : 11629 (wbo1.4a) R 11627 11629 10347 0 -1 4202496 11598 0 0 0 1253 16 0 0 25 0 1 0 131560955 48930816 11494 4089446400 134512640 135751879 4287425248 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/11629/statm: 11946 11494 143 303 0 11641 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 47784 [startup+25.501 s] /proc/loadavg: 2.62 2.92 2.82 3/197 11631 /proc/meminfo: memFree=31435296/32951124 swapFree=67111528/67111528 [pid=11629] ppid=11627 vsize=84780 CPUtime=25.48 /proc/11629/stat : 11629 (wbo1.4a) R 11627 11629 10347 0 -1 4202496 20876 0 0 0 2518 30 0 0 25 0 1 0 131560955 86814720 20772 4089446400 134512640 135751879 4287425248 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/11629/statm: 21195 20772 143 303 0 20890 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 84780 [startup+51.1002 s] /proc/loadavg: 2.41 2.85 2.80 3/197 11632 /proc/meminfo: memFree=31365192/32951124 swapFree=67111528/67111528 [pid=11629] ppid=11627 vsize=152768 CPUtime=51.07 /proc/11629/stat : 11629 (wbo1.4a) R 11627 11629 10347 0 -1 4202496 37834 0 0 0 5051 56 0 0 25 0 1 0 131560955 156434432 37730 4089446400 134512640 135751879 4287425248 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/11629/statm: 38192 37730 143 303 0 37887 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 152768 [startup+102.307 s] /proc/loadavg: 2.18 2.71 2.76 3/197 11633 /proc/meminfo: memFree=31231112/32951124 swapFree=67111528/67111528 [pid=11629] ppid=11627 vsize=280980 CPUtime=102.27 /proc/11629/stat : 11629 (wbo1.4a) R 11627 11629 10347 0 -1 4202496 69859 0 0 0 10123 104 0 0 25 0 1 0 131560955 287723520 69755 4089446400 134512640 135751879 4287425248 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/11629/statm: 70245 69755 143 303 0 69940 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 280980 [startup+162.3 s] /proc/loadavg: 2.06 2.58 2.71 3/197 11634 /proc/meminfo: memFree=31084524/32951124 swapFree=67111528/67111528 [pid=11629] ppid=11627 vsize=423376 CPUtime=162.27 /proc/11629/stat : 11629 (wbo1.4a) R 11627 11629 10347 0 -1 4202496 105445 0 0 0 16066 161 0 0 25 0 1 0 131560955 433537024 105341 4089446400 134512640 135751879 4287425248 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/11629/statm: 105844 105341 143 303 0 105539 0 Current children cumulated CPU time (s) 162.27 Current children cumulated vsize (KiB) 423376 [startup+222.301 s] /proc/loadavg: 2.02 2.47 2.66 3/197 11636 /proc/meminfo: memFree=30933456/32951124 swapFree=67111528/67111528 [pid=11629] ppid=11627 vsize=563156 CPUtime=222.28 /proc/11629/stat : 11629 (wbo1.4a) R 11627 11629 10347 0 -1 4202496 140401 0 0 0 22008 220 0 0 25 0 1 0 131560955 576671744 140297 4089446400 134512640 135751879 4287425248 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/11629/statm: 140789 140297 143 303 0 140484 0 Current children cumulated CPU time (s) 222.28 Current children cumulated vsize (KiB) 563156 [startup+282.301 s] /proc/loadavg: 2.04 2.40 2.62 3/197 11647 /proc/meminfo: memFree=30795068/32951124 swapFree=67111528/67111528 [pid=11629] ppid=11627 vsize=696732 CPUtime=282.28 /proc/11629/stat : 11629 (wbo1.4a) R 11627 11629 10347 0 -1 4202496 173741 0 0 0 27957 271 0 0 25 0 1 0 131560955 713453568 173637 4089446400 134512640 135751879 4287425248 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/11629/statm: 174183 173637 143 303 0 173878 0 Current children cumulated CPU time (s) 282.28 Current children cumulated vsize (KiB) 696732 [startup+342.3 s] /proc/loadavg: 2.01 2.32 2.58 3/197 11648 /proc/meminfo: memFree=30654668/32951124 swapFree=67111528/67111528 [pid=11629] ppid=11627 vsize=829452 CPUtime=342.28 /proc/11629/stat : 11629 (wbo1.4a) R 11627 11629 10347 0 -1 4202496 206932 0 0 0 33899 329 0 0 25 0 1 0 131560955 849358848 206828 4089446400 134512640 135751879 4287425248 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/11629/statm: 207363 206828 143 303 0 207058 0 Current children cumulated CPU time (s) 342.28 Current children cumulated vsize (KiB) 829452 Solver just ended. Dumping a history of the last processes samples [startup+358.301 s] /proc/loadavg: 2.01 2.30 2.56 3/197 11649 /proc/meminfo: memFree=30567496/32951124 swapFree=67111528/67111528 [pid=11629] ppid=11627 vsize=922384 CPUtime=358.28 /proc/11629/stat : 11629 (wbo1.4a) R 11627 11629 10347 0 -1 4202496 230168 0 0 0 35490 338 0 0 25 0 1 0 131560955 944521216 230064 4089446400 134512640 135751879 4287425248 18446744073709551615 134516450 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/11629/statm: 230596 230065 143 303 0 230291 0 Current children cumulated CPU time (s) 358.28 Current children cumulated vsize (KiB) 922384 [startup+364.701 s] /proc/loadavg: 2.01 2.30 2.56 3/197 11649 /proc/meminfo: memFree=30546664/32951124 swapFree=67111528/67111528 [pid=11629] ppid=11627 vsize=934264 CPUtime=364.68 /proc/11629/stat : 11629 (wbo1.4a) R 11627 11629 10347 0 -1 4202496 233125 0 0 0 36129 339 0 0 25 0 1 0 131560955 956686336 233021 4089446400 134512640 135751879 4287425248 18446744073709551615 134618759 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/11629/statm: 233566 233021 143 303 0 233261 0 Current children cumulated CPU time (s) 364.68 Current children cumulated vsize (KiB) 934264 [startup+371.101 s] /proc/loadavg: 2.01 2.29 2.56 3/197 11649 /proc/meminfo: memFree=30546652/32951124 swapFree=67111528/67111528 [pid=11629] ppid=11627 vsize=933572 CPUtime=371.08 /proc/11629/stat : 11629 (wbo1.4a) R 11627 11629 10347 0 -1 4202496 233130 0 0 0 36768 340 0 0 25 0 1 0 131560955 955977728 232892 4089446400 134512640 135751879 4287425248 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/11629/statm: 233393 232892 146 303 0 233088 0 Current children cumulated CPU time (s) 371.08 Current children cumulated vsize (KiB) 933572 [startup+372.7 s] /proc/loadavg: 2.01 2.29 2.56 3/197 11649 /proc/meminfo: memFree=30546528/32951124 swapFree=67111528/67111528 [pid=11629] ppid=11627 vsize=933572 CPUtime=372.68 /proc/11629/stat : 11629 (wbo1.4a) R 11627 11629 10347 0 -1 4202496 233131 0 0 0 36926 342 0 0 25 0 1 0 131560955 955977728 232893 4089446400 134512640 135751879 4287425248 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/11629/statm: 233393 232893 146 303 0 233088 0 Current children cumulated CPU time (s) 372.68 Current children cumulated vsize (KiB) 933572 [startup+373.5 s] /proc/loadavg: 2.01 2.29 2.55 3/197 11649 /proc/meminfo: memFree=30546156/32951124 swapFree=67111528/67111528 [pid=11629] ppid=11627 vsize=933572 CPUtime=373.48 /proc/11629/stat : 11629 (wbo1.4a) R 11627 11629 10347 0 -1 4202496 233131 0 0 0 37005 343 0 0 25 0 1 0 131560955 955977728 232893 4089446400 134512640 135751879 4287425248 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/11629/statm: 233393 232893 146 303 0 233088 0 Current children cumulated CPU time (s) 373.48 Current children cumulated vsize (KiB) 933572 [startup+373.9 s] /proc/loadavg: 2.01 2.29 2.55 3/197 11649 /proc/meminfo: memFree=30546152/32951124 swapFree=67111528/67111528 [pid=11629] ppid=11627 vsize=933572 CPUtime=373.88 /proc/11629/stat : 11629 (wbo1.4a) R 11627 11629 10347 0 -1 4202496 233132 0 0 0 37045 343 0 0 25 0 1 0 131560955 955977728 232894 4089446400 134512640 135751879 4287425248 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/11629/statm: 233393 232894 146 303 0 233088 0 Current children cumulated CPU time (s) 373.88 Current children cumulated vsize (KiB) 933572 [startup+374.1 s] /proc/loadavg: 2.01 2.29 2.55 3/197 11649 /proc/meminfo: memFree=30546152/32951124 swapFree=67111528/67111528 [pid=11629] ppid=11627 vsize=933572 CPUtime=374.07 /proc/11629/stat : 11629 (wbo1.4a) R 11627 11629 10347 0 -1 4202496 233132 0 0 0 37064 343 0 0 25 0 1 0 131560955 955977728 232894 4089446400 134512640 135751879 4287425248 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/11629/statm: 233393 232894 146 303 0 233088 0 Current children cumulated CPU time (s) 374.07 Current children cumulated vsize (KiB) 933572 [startup+374.201 s] /proc/loadavg: 2.01 2.29 2.55 3/197 11649 /proc/meminfo: memFree=30546152/32951124 swapFree=67111528/67111528 [pid=11629] ppid=11627 vsize=933572 CPUtime=374.18 /proc/11629/stat : 11629 (wbo1.4a) R 11627 11629 10347 0 -1 4202496 233132 0 0 0 37074 344 0 0 25 0 1 0 131560955 955977728 232894 4089446400 134512640 135751879 4287425248 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/11629/statm: 233393 232894 146 303 0 233088 0 Current children cumulated CPU time (s) 374.18 Current children cumulated vsize (KiB) 933572 Child status: 0 Real time (s): 374.295 CPU time (s): 374.282 CPU user time (s): 370.812 CPU system time (s): 3.47047 CPU usage (%): 99.9967 Max. virtual memory (cumulated for all children) (KiB): 934264 getrusage(RUSAGE_CHILDREN,...) data: user time used= 370.812 system time used= 3.47047 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 233132 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= 398 runsolver used 0.715891 second user time and 1.3048 second system time The end
Begin job on node102 at 2010-06-30 14:57:08 IDJOB=2690009 IDBENCH=78904 IDSOLVER=1200 FILE ID=node102/2690009-1277902628 PBS_JOBID= 11197156 Free space on /tmp= 74212 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900559676--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-2690009-1277902628/watcher-2690009-1277902628 -o /tmp/evaluation-result-2690009-1277902628/solver-2690009-1277902628 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690009-1277902628.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a1fa880e8620ee0c5e9a297708544854 RANDOM SEED=1869873901 node102.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.833 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.66 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.833 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.83 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.833 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.833 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.85 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.833 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.833 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.833 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.833 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.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31516936 kB Buffers: 185648 kB Cached: 730252 kB SwapCached: 0 kB Active: 723824 kB Inactive: 568176 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31516936 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2756 kB Writeback: 0 kB AnonPages: 376064 kB Mapped: 20300 kB Slab: 76700 kB PageTables: 6240 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1656040 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 node102 at 2010-06-30 15:03:22