Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | OPTIMUM | 300.057 | 300.05 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900563250--soft-33-100-0.wbo |
MD5SUM | 4dbce9c855a469b24d5770190ca01b65 |
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 | 300.057 |
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 | 1783 |
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 | 90636 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 90635 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 665 |
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-2690147-1277909971.wbo. 0.00/0.00 c Instance file HOME/instance-2690147-1277909971.wbo 0.00/0.00 c File size is 92228 bytes. 0.00/0.00 c Highest Coefficient sum: 665 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 25 | 0.002 % | 0.00/0.01 c | 250 | 231 2707 8338 | 6050 250 30 | 0.002 % | 0.00/0.01 c | 477 | 231 2707 8338 | 6655 477 29 | 0.002 % | 0.00/0.02 c | 816 | 231 2707 8338 | 7320 816 29 | 0.002 % | 0.00/0.04 c | 1322 | 231 2707 8338 | 8052 1322 32 | 0.002 % | 0.00/0.07 c | 2082 | 231 2707 8338 | 8857 2082 34 | 0.002 % | 0.09/0.10 c | 3221 | 231 2707 8338 | 9743 3221 33 | 0.002 % | 0.09/0.17 c | 4929 | 231 2707 8338 | 10717 4929 33 | 0.002 % | 0.19/0.29 c | 7492 | 231 2707 8338 | 11789 7492 35 | 0.002 % | 0.49/0.51 c | 11337 | 231 2707 8338 | 12968 11337 34 | 0.002 % | 0.78/0.82 c | 17107 | 231 2707 8338 | 14265 10559 35 | 0.002 % | 1.39/1.42 c | 25757 | 231 2707 8338 | 15692 12025 39 | 0.002 % | 2.28/2.34 c | 38732 | 231 2707 8338 | 17261 9191 43 | 0.002 % | 3.89/3.97 c | 58195 | 231 2707 8338 | 18987 11276 47 | 0.002 % | 6.59/6.62 c | 87391 | 231 2707 8338 | 20886 11820 43 | 0.002 % | 10.69/10.76 c | 131180 | 231 2707 8338 | 22974 13590 42 | 0.002 % | 17.18/17.25 c | 196865 | 231 2707 8338 | 25272 21526 41 | 0.002 % | 26.99/27.00 c | 295392 | 231 2707 8338 | 27799 11862 43 | 0.002 % | 42.69/42.77 c | 443182 | 231 2707 8338 | 30579 16911 39 | 0.002 % | 68.19/68.22 c | 664865 | 231 2707 8338 | 33637 18342 42 | 0.002 % | 106.39/106.41 c | 997391 | 231 2707 8338 | 37001 29799 42 | 0.002 % | 169.69/169.77 c | 1496179 | 231 2707 8338 | 40701 15749 40 | 0.002 % | 268.80/268.88 c | 2244363 | 230 2707 8338 | 44771 38879 47 | 0.435 % | 281.70/281.70 c =============================================================================== 299.20/299.27 c core #1 299.20/299.27 c ============================[ Search Statistics ]============================== 299.20/299.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 299.20/299.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 299.20/299.27 c =============================================================================== 299.20/299.27 c | 0 | 1125 4396 16240 | 5000 0 nan | 0.000 % | 299.69/299.71 c | 101 | 1125 4396 16240 | 5500 101 24 | 0.000 % | 299.69/299.75 c | 252 | 1125 4396 16240 | 6050 252 26 | 0.000 % | 299.69/299.79 c | 478 | 1125 4396 16240 | 6655 478 31 | 0.000 % | 299.80/299.81 c | 818 | 1125 4396 16240 | 7320 818 32 | 0.000 % | 299.80/299.83 c | 1324 | 1125 4396 16240 | 8052 1324 33 | 0.000 % | 299.80/299.87 c | 2086 | 1125 4396 16240 | 8857 2086 35 | 0.000 % | 299.90/299.98 c | 3227 | 1125 4396 16240 | 9743 3227 35 | 0.000 % | 300.00/300.02 c =============================================================================== 300.00/300.02 c #cores: 1 300.00/300.02 c Final Weight: 1 300.00/300.02 o 1 300.00/300.02 s OPTIMUM FOUND 300.00/300.02 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 300.00/300.02 c Total CPU time: 297.025 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-2690147-1277909971/watcher-2690147-1277909971 -o /tmp/evaluation-result-2690147-1277909971/solver-2690147-1277909971 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690147-1277909971.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.69 2.83 2.71 4/196 12470 /proc/meminfo: memFree=31491612/32950928 swapFree=67111528/67111528 [pid=12470] ppid=12468 vsize=2812 CPUtime=0 /proc/12470/stat : 12470 (wbo1.4a) R 12468 12470 10826 0 -1 4202496 312 0 0 0 0 0 0 0 25 0 1 0 132142792 2879488 231 4089446400 134512640 135751879 4293685040 18446744073709551615 134638015 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/12470/statm: 703 231 147 303 0 375 0 [startup+0.094375 s] /proc/loadavg: 2.69 2.83 2.71 4/196 12470 /proc/meminfo: memFree=31491612/32950928 swapFree=67111528/67111528 [pid=12470] ppid=12468 vsize=3516 CPUtime=0.08 /proc/12470/stat : 12470 (wbo1.4a) R 12468 12470 10826 0 -1 4202496 555 0 0 0 8 0 0 0 25 0 1 0 132142792 3600384 451 4089446400 134512640 135751879 4293685040 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/12470/statm: 879 451 143 303 0 574 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 3516 [startup+0.100369 s] /proc/loadavg: 2.69 2.83 2.71 4/196 12470 /proc/meminfo: memFree=31491612/32950928 swapFree=67111528/67111528 [pid=12470] ppid=12468 vsize=3648 CPUtime=0.09 /proc/12470/stat : 12470 (wbo1.4a) R 12468 12470 10826 0 -1 4202496 568 0 0 0 9 0 0 0 25 0 1 0 132142792 3735552 464 4089446400 134512640 135751879 4293685040 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/12470/statm: 912 464 143 303 0 607 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3648 [startup+0.300332 s] /proc/loadavg: 2.69 2.83 2.71 4/196 12470 /proc/meminfo: memFree=31491612/32950928 swapFree=67111528/67111528 [pid=12470] ppid=12468 vsize=4968 CPUtime=0.28 /proc/12470/stat : 12470 (wbo1.4a) R 12468 12470 10826 0 -1 4202496 915 0 0 0 28 0 0 0 25 0 1 0 132142792 5087232 811 4089446400 134512640 135751879 4293685040 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/12470/statm: 1242 811 143 303 0 937 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 4968 [startup+0.700257 s] /proc/loadavg: 2.69 2.83 2.71 4/196 12470 /proc/meminfo: memFree=31491612/32950928 swapFree=67111528/67111528 [pid=12470] ppid=12468 vsize=7180 CPUtime=0.69 /proc/12470/stat : 12470 (wbo1.4a) R 12468 12470 10826 0 -1 4202496 1454 0 0 0 68 1 0 0 25 0 1 0 132142792 7352320 1350 4089446400 134512640 135751879 4293685040 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/12470/statm: 1795 1350 143 303 0 1490 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7180 [startup+1.50116 s] /proc/loadavg: 2.69 2.83 2.71 3/197 12471 /proc/meminfo: memFree=31485032/32950928 swapFree=67111528/67111528 [pid=12470] ppid=12468 vsize=11012 CPUtime=1.49 /proc/12470/stat : 12470 (wbo1.4a) R 12468 12470 10826 0 -1 4202496 2426 0 0 0 146 3 0 0 25 0 1 0 132142792 11276288 2322 4089446400 134512640 135751879 4293685040 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/12470/statm: 2753 2322 143 303 0 2448 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11012 [startup+3.10079 s] /proc/loadavg: 2.69 2.83 2.71 3/197 12471 /proc/meminfo: memFree=31479772/32950928 swapFree=67111528/67111528 [pid=12470] ppid=12468 vsize=17876 CPUtime=3.08 /proc/12470/stat : 12470 (wbo1.4a) R 12468 12470 10826 0 -1 4202496 4151 0 0 0 303 5 0 0 25 0 1 0 132142792 18305024 4047 4089446400 134512640 135751879 4293685040 18446744073709551615 134616810 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/12470/statm: 4469 4048 143 303 0 4164 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 17876 [startup+6.30018 s] /proc/loadavg: 2.63 2.82 2.71 3/197 12471 /proc/meminfo: memFree=31466736/32950928 swapFree=67111528/67111528 [pid=12470] ppid=12468 vsize=30300 CPUtime=6.29 /proc/12470/stat : 12470 (wbo1.4a) R 12468 12470 10826 0 -1 4202496 7243 0 0 0 619 10 0 0 25 0 1 0 132142792 31027200 7139 4089446400 134512640 135751879 4293685040 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/12470/statm: 7575 7139 143 303 0 7270 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 30300 [startup+12.701 s] /proc/loadavg: 2.58 2.81 2.71 3/197 12471 /proc/meminfo: memFree=31443176/32950928 swapFree=67111528/67111528 [pid=12470] ppid=12468 vsize=52484 CPUtime=12.69 /proc/12470/stat : 12470 (wbo1.4a) R 12468 12470 10826 0 -1 4202496 12786 0 0 0 1250 19 0 0 25 0 1 0 132142792 53743616 12682 4089446400 134512640 135751879 4293685040 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/12470/statm: 13121 12682 143 303 0 12816 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 52484 [startup+25.5005 s] /proc/loadavg: 2.52 2.78 2.70 3/197 12471 /proc/meminfo: memFree=31399432/32950928 swapFree=67111528/67111528 [pid=12470] ppid=12468 vsize=94076 CPUtime=25.49 /proc/12470/stat : 12470 (wbo1.4a) R 12468 12470 10826 0 -1 4202496 23173 0 0 0 2514 35 0 0 25 0 1 0 132142792 96333824 23069 4089446400 134512640 135751879 4293685040 18446744073709551615 134616520 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/12470/statm: 23519 23069 143 303 0 23214 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 94076 [startup+51.1006 s] /proc/loadavg: 2.34 2.72 2.68 3/197 12472 /proc/meminfo: memFree=31321108/32950928 swapFree=67111528/67111528 [pid=12470] ppid=12468 vsize=170716 CPUtime=51.09 /proc/12470/stat : 12470 (wbo1.4a) R 12468 12470 10826 0 -1 4202496 42342 0 0 0 5044 65 0 0 25 0 1 0 132142792 174813184 42238 4089446400 134512640 135751879 4293685040 18446744073709551615 134616398 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/12470/statm: 42679 42238 143 303 0 42374 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 170716 [startup+102.307 s] /proc/loadavg: 2.44 2.71 2.68 3/197 12482 /proc/meminfo: memFree=31168856/32950928 swapFree=67111528/67111528 [pid=12470] ppid=12468 vsize=313268 CPUtime=102.3 /proc/12470/stat : 12470 (wbo1.4a) R 12468 12470 10826 0 -1 4202496 77966 0 0 0 10113 117 0 0 25 0 1 0 132142792 320786432 77862 4089446400 134512640 135751879 4293685040 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/12470/statm: 78317 77862 143 303 0 78012 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 313268 [startup+162.3 s] /proc/loadavg: 2.16 2.58 2.63 3/197 12484 /proc/meminfo: memFree=31009116/32950928 swapFree=67111528/67111528 [pid=12470] ppid=12468 vsize=468780 CPUtime=162.29 /proc/12470/stat : 12470 (wbo1.4a) R 12468 12470 10826 0 -1 4202496 116830 0 0 0 16052 177 0 0 25 0 1 0 132142792 480030720 116726 4089446400 134512640 135751879 4293685040 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/12470/statm: 117195 116726 143 303 0 116890 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 468780 [startup+222.301 s] /proc/loadavg: 2.14 2.49 2.60 3/197 12486 /proc/meminfo: memFree=30839456/32950928 swapFree=67111528/67111528 [pid=12470] ppid=12468 vsize=619624 CPUtime=222.29 /proc/12470/stat : 12470 (wbo1.4a) R 12468 12470 10826 0 -1 4202496 154511 0 0 0 21991 238 0 0 25 0 1 0 132142792 634494976 154407 4089446400 134512640 135751879 4293685040 18446744073709551615 134616866 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/12470/statm: 154906 154407 143 303 0 154601 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 619624 [startup+282.3 s] /proc/loadavg: 2.05 2.39 2.56 3/197 12487 /proc/meminfo: memFree=30678320/32950928 swapFree=67111528/67111528 [pid=12470] ppid=12468 vsize=770204 CPUtime=282.3 /proc/12470/stat : 12470 (wbo1.4a) R 12468 12470 10826 0 -1 4202496 192149 0 0 0 27933 297 0 0 25 0 1 0 132142792 788688896 192045 4089446400 134512640 135751879 4293685040 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/12470/statm: 192551 192045 143 303 0 192246 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 770204 Solver just ended. Dumping a history of the last processes samples [startup+287.9 s] /proc/loadavg: 2.04 2.39 2.55 3/197 12488 /proc/meminfo: memFree=30629464/32950928 swapFree=67111528/67111528 [pid=12470] ppid=12468 vsize=818252 CPUtime=287.9 /proc/12470/stat : 12470 (wbo1.4a) R 12468 12470 10826 0 -1 4202496 204147 0 0 0 28491 299 0 0 25 0 1 0 132142792 837890048 204043 4089446400 134512640 135751879 4293685040 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/12470/statm: 204563 204043 143 303 0 204258 0 Current children cumulated CPU time (s) 287.9 Current children cumulated vsize (KiB) 818252 [startup+294.301 s] /proc/loadavg: 2.04 2.38 2.55 3/197 12488 /proc/meminfo: memFree=30605272/32950928 swapFree=67111528/67111528 [pid=12470] ppid=12468 vsize=833564 CPUtime=294.29 /proc/12470/stat : 12470 (wbo1.4a) R 12468 12470 10826 0 -1 4202496 207966 0 0 0 29130 299 0 0 25 0 1 0 132142792 853569536 207862 4089446400 134512640 135751879 4293685040 18446744073709551615 134521488 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/12470/statm: 208391 207862 143 303 0 208086 0 Current children cumulated CPU time (s) 294.29 Current children cumulated vsize (KiB) 833564 [startup+297.5 s] /proc/loadavg: 2.04 2.37 2.54 3/197 12488 /proc/meminfo: memFree=30604776/32950928 swapFree=67111528/67111528 [pid=12470] ppid=12468 vsize=833564 CPUtime=297.49 /proc/12470/stat : 12470 (wbo1.4a) R 12468 12470 10826 0 -1 4202496 207966 0 0 0 29450 299 0 0 25 0 1 0 132142792 853569536 207862 4089446400 134512640 135751879 4293685040 18446744073709551615 134618190 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/12470/statm: 208391 207862 143 303 0 208086 0 Current children cumulated CPU time (s) 297.49 Current children cumulated vsize (KiB) 833564 [startup+299.101 s] /proc/loadavg: 2.03 2.37 2.54 4/197 12488 /proc/meminfo: memFree=30603288/32950928 swapFree=67111528/67111528 [pid=12470] ppid=12468 vsize=833564 CPUtime=299.1 /proc/12470/stat : 12470 (wbo1.4a) R 12468 12470 10826 0 -1 4202496 207969 0 0 0 29611 299 0 0 25 0 1 0 132142792 853569536 207865 4089446400 134512640 135751879 4293685040 18446744073709551615 134521818 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/12470/statm: 208391 207865 145 303 0 208086 0 Current children cumulated CPU time (s) 299.1 Current children cumulated vsize (KiB) 833564 [startup+299.501 s] /proc/loadavg: 2.03 2.37 2.54 4/197 12488 /proc/meminfo: memFree=30603288/32950928 swapFree=67111528/67111528 [pid=12470] ppid=12468 vsize=833320 CPUtime=299.49 /proc/12470/stat : 12470 (wbo1.4a) R 12468 12470 10826 0 -1 4202496 207970 0 0 0 29650 299 0 0 25 0 1 0 132142792 853319680 207822 4089446400 134512640 135751879 4293685040 18446744073709551615 135200241 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/12470/statm: 208330 207822 146 303 0 208025 0 Current children cumulated CPU time (s) 299.49 Current children cumulated vsize (KiB) 833320 [startup+299.901 s] /proc/loadavg: 2.03 2.37 2.54 4/197 12488 /proc/meminfo: memFree=30603288/32950928 swapFree=67111528/67111528 [pid=12470] ppid=12468 vsize=833320 CPUtime=299.9 /proc/12470/stat : 12470 (wbo1.4a) R 12468 12470 10826 0 -1 4202496 207970 0 0 0 29690 300 0 0 25 0 1 0 132142792 853319680 207822 4089446400 134512640 135751879 4293685040 18446744073709551615 135204385 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/12470/statm: 208330 207822 146 303 0 208025 0 Current children cumulated CPU time (s) 299.9 Current children cumulated vsize (KiB) 833320 [startup+300.001 s] /proc/loadavg: 2.03 2.37 2.54 4/197 12488 /proc/meminfo: memFree=30603288/32950928 swapFree=67111528/67111528 [pid=12470] ppid=12468 vsize=833320 CPUtime=300 /proc/12470/stat : 12470 (wbo1.4a) R 12468 12470 10826 0 -1 4202496 207970 0 0 0 29700 300 0 0 25 0 1 0 132142792 853319680 207822 4089446400 134512640 135751879 4293685040 18446744073709551615 134616448 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/12470/statm: 208330 207822 146 303 0 208025 0 Current children cumulated CPU time (s) 300 Current children cumulated vsize (KiB) 833320 Child status: 0 Real time (s): 300.05 CPU time (s): 300.057 CPU user time (s): 297.025 CPU system time (s): 3.03254 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 833564 getrusage(RUSAGE_CHILDREN,...) data: user time used= 297.025 system time used= 3.03254 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 207970 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= 160 runsolver used 0.52392 second user time and 1.09983 second system time The end
Begin job on node127 at 2010-06-30 16:59:31 IDJOB=2690147 IDBENCH=78973 IDSOLVER=1200 FILE ID=node127/2690147-1277909971 PBS_JOBID= 11197189 Free space on /tmp= 74208 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900563250--soft-33-100-0.wbo COMMAND LINE= wbo1.4a -file-format=wbo -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2690147-1277909971/watcher-2690147-1277909971 -o /tmp/evaluation-result-2690147-1277909971/solver-2690147-1277909971 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690147-1277909971.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 4dbce9c855a469b24d5770190ca01b65 RANDOM SEED=1114844326 node127.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.65 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.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.828 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.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.828 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.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.828 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.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.828 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.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.828 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 31492140 kB Buffers: 197120 kB Cached: 711668 kB SwapCached: 0 kB Active: 820832 kB Inactive: 496800 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31492140 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2792 kB Writeback: 0 kB AnonPages: 409020 kB Mapped: 20300 kB Slab: 76976 kB PageTables: 5556 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 1656376 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= 74204 MiB End job on node127 at 2010-06-30 17:04:32