Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | OPTIMUM | 313.541 | 313.536 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900554072--soft-66-100-0.wbo |
MD5SUM | 94413eaf3e98de59f2ecdb125fc71636 |
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 | 3 |
Best CPU time to get the best result obtained on this benchmark | 313.541 |
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 | 961 |
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 | 46411 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 46410 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 695 |
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-2689992-1277901279.wbo. 0.00/0.00 c Instance file HOME/instance-2689992-1277901279.wbo 0.00/0.00 c File size is 88170 bytes. 0.00/0.00 c Highest Coefficient sum: 695 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 27 | 0.002 % | 0.00/0.01 c | 250 | 231 2707 8338 | 6050 250 28 | 0.002 % | 0.00/0.01 c | 478 | 231 2707 8338 | 6655 478 32 | 0.002 % | 0.00/0.02 c | 816 | 231 2707 8338 | 7320 816 31 | 0.002 % | 0.00/0.04 c | 1322 | 231 2707 8338 | 8052 1322 31 | 0.002 % | 0.00/0.06 c | 2085 | 231 2707 8338 | 8857 2085 31 | 0.002 % | 0.09/0.10 c | 3226 | 231 2707 8338 | 9743 3226 32 | 0.002 % | 0.09/0.16 c | 4935 | 231 2707 8338 | 10717 4935 32 | 0.002 % | 0.19/0.27 c | 7497 | 231 2707 8338 | 11789 7497 30 | 0.002 % | 0.39/0.45 c | 11341 | 231 2707 8338 | 12968 11341 30 | 0.002 % | 0.69/0.80 c | 17108 | 231 2707 8338 | 14265 10561 33 | 0.002 % | 1.29/1.33 c | 25757 | 231 2707 8338 | 15692 12029 36 | 0.002 % | 2.19/2.27 c | 38733 | 231 2707 8338 | 17261 9213 34 | 0.002 % | 3.79/3.83 c | 58194 | 231 2707 8338 | 18987 11327 36 | 0.002 % | 6.29/6.33 c | 87388 | 231 2707 8338 | 20886 11893 36 | 0.002 % | 10.29/10.33 c | 131178 | 231 2707 8338 | 22974 13741 35 | 0.002 % | 16.09/16.14 c | 196862 | 231 2707 8338 | 25272 21665 35 | 0.002 % | 25.09/25.20 c | 295388 | 229 2707 8338 | 27799 12464 40 | 0.868 % | 40.09/40.17 c | 443177 | 229 2707 8338 | 30579 18570 33 | 0.868 % | 64.80/64.81 c | 664860 | 229 2707 8338 | 33637 22779 37 | 0.868 % | 80.30/80.36 c =============================================================================== 84.19/84.29 c core #1 84.19/84.29 c ============================[ Search Statistics ]============================== 84.19/84.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 84.19/84.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 84.19/84.29 c =============================================================================== 84.19/84.29 c | 0 | 729 3604 12506 | 5000 0 nan | 0.000 % | 84.39/84.48 c | 100 | 729 3604 12506 | 5500 100 21 | 0.000 % | 84.39/84.49 c | 250 | 729 3604 12506 | 6050 250 28 | 0.000 % | 84.39/84.49 c | 477 | 729 3604 12506 | 6655 477 27 | 0.000 % | 84.49/84.51 c | 815 | 729 3604 12506 | 7320 815 30 | 0.000 % | 84.49/84.53 c | 1321 | 729 3604 12506 | 8052 1321 29 | 0.000 % | 84.49/84.57 c | 2080 | 729 3604 12506 | 8857 2080 28 | 0.000 % | 84.59/84.61 c | 3221 | 729 3604 12506 | 9743 3221 29 | 0.000 % | 84.59/84.70 c | 4929 | 729 3604 12506 | 10717 4929 32 | 0.000 % | 84.79/84.84 c | 7493 | 729 3604 12506 | 11789 7493 33 | 0.000 % | 84.99/85.08 c | 11337 | 729 3604 12506 | 12968 11337 33 | 0.000 % | 85.39/85.47 c | 17105 | 729 3604 12506 | 14265 10575 33 | 0.000 % | 86.10/86.11 c | 25755 | 729 3604 12506 | 15692 12039 33 | 0.000 % | 87.09/87.15 c | 38730 | 729 3604 12506 | 17261 9226 35 | 0.000 % | 88.90/88.97 c | 58194 | 729 3604 12506 | 18987 11313 35 | 0.000 % | 91.69/91.79 c | 87388 | 729 3604 12506 | 20886 11853 39 | 0.000 % | 95.89/95.92 c | 131177 | 729 3604 12506 | 22974 13676 39 | 0.000 % | 102.59/102.61 c | 196862 | 729 3604 12506 | 25272 21691 35 | 0.000 % | 113.20/113.23 c | 295390 | 729 3604 12506 | 27799 14346 37 | 0.000 % | 130.09/130.12 c | 443180 | 729 3604 12506 | 30579 21097 36 | 0.000 % | 155.60/155.69 c | 664863 | 729 3604 12506 | 33637 24313 33 | 0.000 % | 179.49/179.55 c =============================================================================== 184.19/184.28 c core #2 184.19/184.28 c ============================[ Search Statistics ]============================== 184.19/184.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.19/184.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.19/184.28 c =============================================================================== 184.19/184.28 c | 0 | 1226 4489 16615 | 5000 0 nan | 0.000 % | 184.29/184.30 c | 101 | 1226 4489 16615 | 5500 101 27 | 0.000 % | 184.29/184.33 c | 253 | 1226 4489 16615 | 6050 253 30 | 0.000 % | 184.29/184.34 c | 478 | 1226 4489 16615 | 6655 478 29 | 0.000 % | 184.29/184.35 c | 815 | 1226 4489 16615 | 7320 815 30 | 0.000 % | 184.29/184.38 c | 1324 | 1226 4489 16615 | 8052 1324 30 | 0.000 % | 184.39/184.41 c | 2083 | 1226 4489 16615 | 8857 2083 32 | 0.000 % | 184.39/184.48 c | 3223 | 1226 4489 16615 | 9743 3223 31 | 0.000 % | 184.50/184.56 c | 4931 | 1226 4489 16615 | 10717 4931 30 | 0.000 % | 184.59/184.69 c | 7495 | 1226 4489 16615 | 11789 7495 31 | 0.000 % | 184.89/184.92 c | 11341 | 1226 4489 16615 | 12968 11341 30 | 0.000 % | 185.19/185.29 c | 17107 | 1226 4489 16615 | 14265 10571 31 | 0.000 % | 185.90/185.99 c | 25756 | 1226 4489 16615 | 15692 12031 33 | 0.000 % | 187.09/187.13 c | 38730 | 1226 4489 16615 | 17261 9219 37 | 0.000 % | 188.99/189.08 c | 58191 | 1226 4489 16615 | 18987 11311 39 | 0.000 % | 191.79/191.81 c | 87387 | 1226 4489 16615 | 20886 11866 35 | 0.000 % | 196.19/196.22 c | 131177 | 1226 4489 16615 | 22974 13689 36 | 0.000 % | 203.09/203.10 c | 196865 | 1226 4489 16615 | 25272 21672 37 | 0.000 % | 213.20/213.28 c | 295391 | 1226 4489 16615 | 27799 12942 33 | 0.000 % | 229.20/229.24 c | 443180 | 1226 4489 16615 | 30579 21025 34 | 0.000 % | 253.30/253.30 c =============================================================================== 256.90/256.94 c core #3 256.90/256.94 c ============================[ Search Statistics ]============================== 256.90/256.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 256.90/256.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 256.90/256.94 c =============================================================================== 256.90/256.94 c | 0 | 1726 5342 20623 | 5000 0 nan | 0.000 % | 256.90/256.98 c | 100 | 1726 5342 20623 | 5500 100 24 | 0.000 % | 257.00/257.00 c | 253 | 1726 5342 20623 | 6050 253 29 | 0.000 % | 257.00/257.01 c | 479 | 1726 5342 20623 | 6655 479 30 | 0.000 % | 257.00/257.03 c | 818 | 1726 5342 20623 | 7320 818 30 | 0.000 % | 257.00/257.05 c | 1324 | 1726 5342 20623 | 8052 1324 30 | 0.000 % | 257.00/257.09 c | 2083 | 1726 5342 20623 | 8857 2083 30 | 0.000 % | 257.09/257.14 c | 3222 | 1726 5342 20623 | 9743 3222 31 | 0.000 % | 257.19/257.22 c | 4930 | 1726 5342 20623 | 10717 4930 32 | 0.000 % | 257.31/257.36 c | 7492 | 1726 5342 20623 | 11789 7492 31 | 0.000 % | 257.60/257.60 c | 11336 | 1726 5342 20623 | 12968 11336 32 | 0.000 % | 258.00/258.00 c | 17102 | 1726 5342 20623 | 14265 10565 33 | 0.000 % | 258.69/258.77 c | 25751 | 1726 5342 20623 | 15692 12039 36 | 0.000 % | 259.90/259.96 c | 38726 | 1726 5342 20623 | 17261 9214 35 | 0.000 % | 261.60/261.66 c | 58190 | 1726 5342 20623 | 18987 11288 35 | 0.000 % | 264.40/264.41 c | 87382 | 1726 5342 20623 | 20886 11856 35 | 0.000 % | 268.90/268.97 c | 131173 | 1726 5342 20623 | 22974 13702 41 | 0.000 % | 275.59/275.64 c | 196857 | 1726 5342 20623 | 25272 21667 36 | 0.000 % | 285.60/285.65 c | 295383 | 1726 5342 20623 | 27799 12629 36 | 0.000 % | 302.19/302.28 c | 443173 | 1726 5342 20623 | 30579 20127 35 | 0.000 % | 313.50/313.51 c =============================================================================== 313.50/313.51 c #cores: 3 313.50/313.51 c Final Weight: 3 313.50/313.51 o 3 313.50/313.51 s OPTIMUM FOUND 313.50/313.51 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 313.50/313.51 c Total CPU time: 307.618 s
OK 3
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2689992-1277901279/watcher-2689992-1277901279 -o /tmp/evaluation-result-2689992-1277901279/solver-2689992-1277901279 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689992-1277901279.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.00 2.00 4/182 13068 /proc/meminfo: memFree=29578592/32951124 swapFree=67111528/67111528 [pid=13068] ppid=13066 vsize=2804 CPUtime=0 /proc/13068/stat : 13068 (wbo1.4a) R 13066 13068 12643 0 -1 4202496 313 0 0 0 0 0 0 0 21 0 1 0 131424032 2871296 231 4089446400 134512640 135751879 4289895632 18446744073709551615 134557907 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/13068/statm: 701 232 147 303 0 374 0 [startup+0.0787599 s] /proc/loadavg: 2.00 2.00 2.00 4/182 13068 /proc/meminfo: memFree=29578592/32951124 swapFree=67111528/67111528 [pid=13068] ppid=13066 vsize=3380 CPUtime=0.07 /proc/13068/stat : 13068 (wbo1.4a) R 13066 13068 12643 0 -1 4202496 499 0 0 0 7 0 0 0 21 0 1 0 131424032 3461120 395 4089446400 134512640 135751879 4289895632 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/13068/statm: 845 395 143 303 0 540 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 3380 [startup+0.100785 s] /proc/loadavg: 2.00 2.00 2.00 4/182 13068 /proc/meminfo: memFree=29578592/32951124 swapFree=67111528/67111528 [pid=13068] ppid=13066 vsize=3512 CPUtime=0.09 /proc/13068/stat : 13068 (wbo1.4a) R 13066 13068 12643 0 -1 4202496 540 0 0 0 9 0 0 0 21 0 1 0 131424032 3596288 436 4089446400 134512640 135751879 4289895632 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/13068/statm: 878 436 143 303 0 573 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3512 [startup+0.300771 s] /proc/loadavg: 2.00 2.00 2.00 4/182 13068 /proc/meminfo: memFree=29578592/32951124 swapFree=67111528/67111528 [pid=13068] ppid=13066 vsize=4700 CPUtime=0.29 /proc/13068/stat : 13068 (wbo1.4a) R 13066 13068 12643 0 -1 4202496 845 0 0 0 28 1 0 0 21 0 1 0 131424032 4812800 741 4089446400 134512640 135751879 4289895632 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/13068/statm: 1175 741 143 303 0 870 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4700 [startup+0.70071 s] /proc/loadavg: 2.00 2.00 2.00 4/182 13068 /proc/meminfo: memFree=29578592/32951124 swapFree=67111528/67111528 [pid=13068] ppid=13066 vsize=6604 CPUtime=0.69 /proc/13068/stat : 13068 (wbo1.4a) R 13066 13068 12643 0 -1 4202496 1309 0 0 0 67 2 0 0 22 0 1 0 131424032 6762496 1205 4089446400 134512640 135751879 4289895632 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/13068/statm: 1651 1205 143 303 0 1346 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6604 [startup+1.50055 s] /proc/loadavg: 2.00 2.00 2.00 3/183 13069 /proc/meminfo: memFree=29572012/32951124 swapFree=67111528/67111528 [pid=13068] ppid=13066 vsize=9772 CPUtime=1.49 /proc/13068/stat : 13068 (wbo1.4a) R 13066 13068 12643 0 -1 4202496 2124 0 0 0 144 5 0 0 25 0 1 0 131424032 10006528 2020 4089446400 134512640 135751879 4289895632 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/13068/statm: 2443 2020 143 303 0 2138 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9772 [startup+3.10028 s] /proc/loadavg: 2.00 2.00 2.00 3/183 13069 /proc/meminfo: memFree=29565688/32951124 swapFree=67111528/67111528 [pid=13068] ppid=13066 vsize=15448 CPUtime=3.09 /proc/13068/stat : 13068 (wbo1.4a) R 13066 13068 12643 0 -1 4202496 3520 0 0 0 299 10 0 0 25 0 1 0 131424032 15818752 3416 4089446400 134512640 135751879 4289895632 18446744073709551615 134517428 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/13068/statm: 3862 3416 143 303 0 3557 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15448 [startup+6.30072 s] /proc/loadavg: 2.00 2.00 2.00 3/183 13069 /proc/meminfo: memFree=29551672/32951124 swapFree=67111528/67111528 [pid=13068] ppid=13066 vsize=25400 CPUtime=6.29 /proc/13068/stat : 13068 (wbo1.4a) R 13066 13068 12643 0 -1 4202496 6020 0 0 0 612 17 0 0 25 0 1 0 131424032 26009600 5916 4089446400 134512640 135751879 4289895632 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/13068/statm: 6350 5916 143 303 0 6045 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 25400 [startup+12.7006 s] /proc/loadavg: 2.00 2.00 2.00 3/183 13069 /proc/meminfo: memFree=29526756/32951124 swapFree=67111528/67111528 [pid=13068] ppid=13066 vsize=43776 CPUtime=12.69 /proc/13068/stat : 13068 (wbo1.4a) R 13066 13068 12643 0 -1 4202496 10603 0 0 0 1236 33 0 0 25 0 1 0 131424032 44826624 10499 4089446400 134512640 135751879 4289895632 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/13068/statm: 10944 10499 143 303 0 10639 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 43776 [startup+25.5003 s] /proc/loadavg: 2.00 2.00 2.00 3/183 13070 /proc/meminfo: memFree=29473848/32951124 swapFree=67111528/67111528 [pid=13068] ppid=13066 vsize=80396 CPUtime=25.49 /proc/13068/stat : 13068 (wbo1.4a) R 13066 13068 12643 0 -1 4202496 19761 0 0 0 2486 63 0 0 25 0 1 0 131424032 82325504 19657 4089446400 134512640 135751879 4289895632 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/13068/statm: 20099 19657 143 303 0 19794 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 80396 [startup+51.1007 s] /proc/loadavg: 2.00 2.00 2.00 3/183 13070 /proc/meminfo: memFree=29386364/32951124 swapFree=67111528/67111528 [pid=13068] ppid=13066 vsize=143468 CPUtime=51.09 /proc/13068/stat : 13068 (wbo1.4a) R 13066 13068 12643 0 -1 4202496 35503 0 0 0 4997 112 0 0 25 0 1 0 131424032 146911232 35399 4089446400 134512640 135751879 4289895632 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/13068/statm: 35867 35399 143 303 0 35562 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 143468 [startup+102.308 s] /proc/loadavg: 2.00 2.00 2.00 3/183 13072 /proc/meminfo: memFree=29240012/32951124 swapFree=67111528/67111528 [pid=13068] ppid=13066 vsize=234180 CPUtime=102.3 /proc/13068/stat : 13068 (wbo1.4a) R 13066 13068 12643 0 -1 4202496 58249 0 0 0 10024 206 0 0 25 0 1 0 131424032 239800320 58112 4089446400 134512640 135751879 4289895632 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/13068/statm: 58545 58112 146 303 0 58240 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 234180 [startup+162.301 s] /proc/loadavg: 2.06 2.02 2.00 3/183 13073 /proc/meminfo: memFree=29087716/32951124 swapFree=67111528/67111528 [pid=13068] ppid=13066 vsize=329348 CPUtime=162.29 /proc/13068/stat : 13068 (wbo1.4a) R 13066 13068 12643 0 -1 4202496 82007 0 0 0 15918 311 0 0 25 0 1 0 131424032 337252352 81870 4089446400 134512640 135751879 4289895632 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/13068/statm: 82337 81870 146 303 0 82032 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 329348 [startup+222.3 s] /proc/loadavg: 2.10 2.03 2.01 3/183 13075 /proc/meminfo: memFree=28943836/32951124 swapFree=67111528/67111528 [pid=13068] ppid=13066 vsize=411176 CPUtime=222.29 /proc/13068/stat : 13068 (wbo1.4a) R 13066 13068 12643 0 -1 4202496 102482 0 0 0 21808 421 0 0 25 0 1 0 131424032 421044224 102345 4089446400 134512640 135751879 4289895632 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/13068/statm: 102794 102345 146 303 0 102489 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 411176 [startup+282.301 s] /proc/loadavg: 2.04 2.02 2.00 3/183 13076 /proc/meminfo: memFree=28807648/32951124 swapFree=67111528/67111528 [pid=13068] ppid=13066 vsize=487444 CPUtime=282.3 /proc/13068/stat : 13068 (wbo1.4a) R 13066 13068 12643 0 -1 4202496 121555 0 0 0 27695 535 0 0 25 0 1 0 131424032 499142656 121418 4089446400 134512640 135751879 4289895632 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/13068/statm: 121861 121418 146 303 0 121556 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 487444 Solver just ended. Dumping a history of the last processes samples [startup+294.301 s] /proc/loadavg: 2.03 2.02 2.00 3/183 13077 /proc/meminfo: memFree=28778004/32951124 swapFree=67111528/67111528 [pid=13068] ppid=13066 vsize=506028 CPUtime=294.29 /proc/13068/stat : 13068 (wbo1.4a) R 13066 13068 12643 0 -1 4202496 126200 0 0 0 28874 555 0 0 25 0 1 0 131424032 518172672 126063 4089446400 134512640 135751879 4289895632 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/13068/statm: 126507 126063 146 303 0 126202 0 Current children cumulated CPU time (s) 294.29 Current children cumulated vsize (KiB) 506028 [startup+307.1 s] /proc/loadavg: 2.02 2.02 2.00 3/183 13077 /proc/meminfo: memFree=28741172/32951124 swapFree=67111528/67111528 [pid=13068] ppid=13066 vsize=525744 CPUtime=307.1 /proc/13068/stat : 13068 (wbo1.4a) R 13066 13068 12643 0 -1 4202496 131137 0 0 0 30131 579 0 0 25 0 1 0 131424032 538361856 131000 4089446400 134512640 135751879 4289895632 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/13068/statm: 131436 131000 146 303 0 131131 0 Current children cumulated CPU time (s) 307.1 Current children cumulated vsize (KiB) 525744 [startup+310.301 s] /proc/loadavg: 2.02 2.02 2.00 3/183 13077 /proc/meminfo: memFree=28733728/32951124 swapFree=67111528/67111528 [pid=13068] ppid=13066 vsize=530364 CPUtime=310.3 /proc/13068/stat : 13068 (wbo1.4a) R 13066 13068 12643 0 -1 4202496 132261 0 0 0 30446 584 0 0 25 0 1 0 131424032 543092736 132124 4089446400 134512640 135751879 4289895632 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/13068/statm: 132591 132124 146 303 0 132286 0 Current children cumulated CPU time (s) 310.3 Current children cumulated vsize (KiB) 530364 [startup+311.9 s] /proc/loadavg: 2.02 2.02 2.00 3/183 13077 /proc/meminfo: memFree=28730876/32951124 swapFree=67111528/67111528 [pid=13068] ppid=13066 vsize=533268 CPUtime=311.9 /proc/13068/stat : 13068 (wbo1.4a) R 13066 13068 12643 0 -1 4202496 133004 0 0 0 30603 587 0 0 25 0 1 0 131424032 546066432 132867 4089446400 134512640 135751879 4289895632 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/13068/statm: 133317 132867 146 303 0 133012 0 Current children cumulated CPU time (s) 311.9 Current children cumulated vsize (KiB) 533268 [startup+312.7 s] /proc/loadavg: 2.02 2.02 2.00 3/183 13077 /proc/meminfo: memFree=28727528/32951124 swapFree=67111528/67111528 [pid=13068] ppid=13066 vsize=534984 CPUtime=312.7 /proc/13068/stat : 13068 (wbo1.4a) R 13066 13068 12643 0 -1 4202496 133443 0 0 0 30681 589 0 0 25 0 1 0 131424032 547823616 133306 4089446400 134512640 135751879 4289895632 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/13068/statm: 133746 133306 146 303 0 133441 0 Current children cumulated CPU time (s) 312.7 Current children cumulated vsize (KiB) 534984 [startup+313.101 s] /proc/loadavg: 2.02 2.02 2.00 3/183 13077 /proc/meminfo: memFree=28727528/32951124 swapFree=67111528/67111528 [pid=13068] ppid=13066 vsize=535908 CPUtime=313.09 /proc/13068/stat : 13068 (wbo1.4a) R 13066 13068 12643 0 -1 4202496 133664 0 0 0 30720 589 0 0 25 0 1 0 131424032 548769792 133527 4089446400 134512640 135751879 4289895632 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/13068/statm: 133977 133527 146 303 0 133672 0 Current children cumulated CPU time (s) 313.09 Current children cumulated vsize (KiB) 535908 [startup+313.507 s] /proc/loadavg: 2.02 2.02 2.00 3/183 13078 /proc/meminfo: memFree=28723312/32951124 swapFree=67111528/67111528 [pid=13068] ppid=13066 vsize=536832 CPUtime=313.5 /proc/13068/stat : 13068 (wbo1.4a) R 13066 13068 12643 0 -1 4202496 133901 0 0 0 30760 590 0 0 25 0 1 0 131424032 549715968 133764 4089446400 134512640 135751879 4289895632 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/13068/statm: 134208 133764 146 303 0 133903 0 Current children cumulated CPU time (s) 313.5 Current children cumulated vsize (KiB) 536832 Child status: 0 Real time (s): 313.536 CPU time (s): 313.541 CPU user time (s): 307.618 CPU system time (s): 5.9231 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 536832 getrusage(RUSAGE_CHILDREN,...) data: user time used= 307.618 system time used= 5.9231 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 133908 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2 involuntary context switches= 266 runsolver used 0.554915 second user time and 1.16882 second system time The end
Begin job on node132 at 2010-06-30 14:34:39 IDJOB=2689992 IDBENCH=78890 IDSOLVER=1200 FILE ID=node132/2689992-1277901279 PBS_JOBID= 11197179 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.1900554072--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-2689992-1277901279/watcher-2689992-1277901279 -o /tmp/evaluation-result-2689992-1277901279/solver-2689992-1277901279 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689992-1277901279.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 94413eaf3e98de59f2ecdb125fc71636 RANDOM SEED=1336442270 node132.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.810 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.62 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.810 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.810 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.810 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.810 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.74 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.810 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.75 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.810 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.810 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.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 29578996 kB Buffers: 181036 kB Cached: 1213496 kB SwapCached: 0 kB Active: 2367676 kB Inactive: 857204 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 29578996 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2792 kB Writeback: 0 kB AnonPages: 1830608 kB Mapped: 15180 kB Slab: 81064 kB PageTables: 8340 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1975104 kB VmallocTotal: 34359738367 kB VmallocUsed: 33868 kB VmallocChunk: 34359703231 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74136 MiB End job on node132 at 2010-06-30 14:39:52