Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | OPTIMUM | 194.25 | 194.253 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900581320--soft-66-100-0.wbo |
MD5SUM | 4c1853ff60c53f26c44f2cbc4e9273c7 |
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 | 194.25 |
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 | 928 |
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 | 47257 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 47256 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 641 |
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-2690091-1277906963.wbo. 0.00/0.00 c Instance file HOME/instance-2690091-1277906963.wbo 0.00/0.00 c File size is 88003 bytes. 0.00/0.00 c Highest Coefficient sum: 641 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 23 | 0.002 % | 0.01/0.01 c | 253 | 231 2707 8338 | 6050 253 26 | 0.002 % | 0.01/0.01 c | 479 | 231 2707 8338 | 6655 479 30 | 0.002 % | 0.01/0.02 c | 818 | 231 2707 8338 | 7320 818 29 | 0.002 % | 0.01/0.04 c | 1326 | 231 2707 8338 | 8052 1326 29 | 0.002 % | 0.01/0.06 c | 2085 | 231 2707 8338 | 8857 2085 31 | 0.002 % | 0.01/0.10 c | 3225 | 231 2707 8338 | 9743 3225 30 | 0.002 % | 0.09/0.16 c | 4933 | 231 2707 8338 | 10717 4933 31 | 0.002 % | 0.19/0.27 c | 7496 | 231 2707 8338 | 11789 7496 32 | 0.002 % | 0.39/0.49 c | 11343 | 231 2707 8338 | 12968 11343 33 | 0.002 % | 0.69/0.79 c | 17110 | 231 2707 8338 | 14265 10577 34 | 0.002 % | 1.29/1.30 c | 25761 | 231 2707 8338 | 15692 12031 37 | 0.002 % | 2.19/2.23 c | 38737 | 231 2707 8338 | 17261 9208 36 | 0.002 % | 3.49/3.54 c | 58198 | 231 2707 8338 | 18987 11300 36 | 0.002 % | 5.69/5.74 c | 87390 | 231 2707 8338 | 20886 11826 35 | 0.002 % | 9.39/9.46 c | 131179 | 231 2707 8338 | 22974 13616 41 | 0.002 % | 16.09/16.13 c | 196863 | 231 2707 8338 | 25272 21536 40 | 0.002 % | 26.30/26.32 c | 295391 | 231 2707 8338 | 27799 13883 38 | 0.002 % | 40.09/40.19 c | 443181 | 231 2707 8338 | 30579 17868 37 | 0.002 % | 64.19/64.28 c | 664867 | 231 2707 8338 | 33637 21877 39 | 0.002 % | 103.09/103.14 c | 997395 | 231 2707 8338 | 37001 15765 39 | 0.002 % | 160.18/160.28 c | 1496183 | 231 2707 8338 | 40701 27715 41 | 0.041 % | 183.49/183.54 c =============================================================================== 192.69/192.74 c core #1 192.69/192.74 c ============================[ Search Statistics ]============================== 192.69/192.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.69/192.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.69/192.74 c =============================================================================== 192.69/192.74 c | 0 | 705 3579 12351 | 5000 0 nan | 0.000 % | 192.99/193.08 c | 101 | 705 3579 12351 | 5500 101 29 | 0.000 % | 193.09/193.10 c | 251 | 705 3579 12351 | 6050 251 31 | 0.000 % | 193.09/193.15 c | 477 | 705 3579 12351 | 6655 477 30 | 0.000 % | 193.09/193.16 c | 818 | 705 3579 12351 | 7320 818 30 | 0.000 % | 193.09/193.18 c | 1324 | 705 3579 12351 | 8052 1324 31 | 0.000 % | 193.19/193.22 c | 2083 | 705 3579 12351 | 8857 2083 31 | 0.000 % | 193.29/193.30 c | 3224 | 705 3579 12351 | 9743 3224 31 | 0.000 % | 193.29/193.37 c | 4934 | 705 3579 12351 | 10717 4934 31 | 0.000 % | 193.39/193.49 c | 7497 | 705 3579 12351 | 11789 7497 32 | 0.000 % | 193.69/193.72 c | 11342 | 705 3579 12351 | 12968 11342 33 | 0.000 % | 193.99/194.09 c | 17108 | 705 3579 12351 | 14265 10563 34 | 0.000 % | 194.19/194.23 c =============================================================================== 194.19/194.23 c #cores: 1 194.19/194.23 c Final Weight: 1 194.19/194.23 o 1 194.19/194.23 s OPTIMUM FOUND 194.19/194.23 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 194.19/194.23 c Total CPU time: 192.168 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-2690091-1277906963/watcher-2690091-1277906963 -o /tmp/evaluation-result-2690091-1277906963/solver-2690091-1277906963 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690091-1277906963.wbo Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.92 1.98 1.99 4/178 14533 /proc/meminfo: memFree=30971440/32951124 swapFree=67111528/67111528 [pid=14533] ppid=14531 vsize=2664 CPUtime=0 /proc/14533/stat : 14533 (wbo1.4a) R 14531 14533 13132 0 -1 4202496 303 0 0 0 0 0 0 0 25 0 1 0 131990866 2727936 221 4089446400 134512640 135751879 4291784704 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/14533/statm: 666 221 144 303 0 339 0 [startup+0.011 s] /proc/loadavg: 1.92 1.98 1.99 4/178 14533 /proc/meminfo: memFree=30971440/32951124 swapFree=67111528/67111528 [pid=14533] ppid=14531 vsize=2720 CPUtime=0.01 /proc/14533/stat : 14533 (wbo1.4a) R 14531 14533 13132 0 -1 4202496 355 0 0 0 1 0 0 0 25 0 1 0 131990866 2785280 251 4089446400 134512640 135751879 4291784704 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/14533/statm: 680 251 143 303 0 375 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 2720 [startup+0.10305 s] /proc/loadavg: 1.92 1.98 1.99 4/178 14533 /proc/meminfo: memFree=30971440/32951124 swapFree=67111528/67111528 [pid=14533] ppid=14531 vsize=3512 CPUtime=0.09 /proc/14533/stat : 14533 (wbo1.4a) R 14531 14533 13132 0 -1 4202496 541 0 0 0 9 0 0 0 25 0 1 0 131990866 3596288 437 4089446400 134512640 135751879 4291784704 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/14533/statm: 878 437 143 303 0 573 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3512 [startup+0.30102 s] /proc/loadavg: 1.92 1.98 1.99 4/178 14533 /proc/meminfo: memFree=30971440/32951124 swapFree=67111528/67111528 [pid=14533] ppid=14531 vsize=4708 CPUtime=0.29 /proc/14533/stat : 14533 (wbo1.4a) R 14531 14533 13132 0 -1 4202496 840 0 0 0 28 1 0 0 25 0 1 0 131990866 4820992 736 4089446400 134512640 135751879 4291784704 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/14533/statm: 1177 737 143 303 0 872 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4708 [startup+0.700944 s] /proc/loadavg: 1.92 1.98 1.99 4/178 14533 /proc/meminfo: memFree=30971440/32951124 swapFree=67111528/67111528 [pid=14533] ppid=14531 vsize=6584 CPUtime=0.69 /proc/14533/stat : 14533 (wbo1.4a) R 14531 14533 13132 0 -1 4202496 1308 0 0 0 68 1 0 0 25 0 1 0 131990866 6742016 1204 4089446400 134512640 135751879 4291784704 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/14533/statm: 1646 1204 143 303 0 1341 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6584 [startup+1.50081 s] /proc/loadavg: 1.92 1.98 1.99 3/179 14534 /proc/meminfo: memFree=30965232/32951124 swapFree=67111528/67111528 [pid=14533] ppid=14531 vsize=10148 CPUtime=1.49 /proc/14533/stat : 14533 (wbo1.4a) R 14531 14533 13132 0 -1 4202496 2196 0 0 0 146 3 0 0 25 0 1 0 131990866 10391552 2092 4089446400 134512640 135751879 4291784704 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/14533/statm: 2537 2092 143 303 0 2232 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10148 [startup+3.10051 s] /proc/loadavg: 1.92 1.98 1.99 3/179 14534 /proc/meminfo: memFree=30959404/32951124 swapFree=67111528/67111528 [pid=14533] ppid=14531 vsize=16088 CPUtime=3.09 /proc/14533/stat : 14533 (wbo1.4a) R 14531 14533 13132 0 -1 4202496 3695 0 0 0 303 6 0 0 25 0 1 0 131990866 16474112 3591 4089446400 134512640 135751879 4291784704 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/14533/statm: 4022 3591 143 303 0 3717 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16088 [startup+6.30096 s] /proc/loadavg: 1.93 1.98 1.99 3/179 14534 /proc/meminfo: memFree=30943684/32951124 swapFree=67111528/67111528 [pid=14533] ppid=14531 vsize=27184 CPUtime=6.29 /proc/14533/stat : 14533 (wbo1.4a) R 14531 14533 13132 0 -1 4202496 6457 0 0 0 619 10 0 0 25 0 1 0 131990866 27836416 6353 4089446400 134512640 135751879 4291784704 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/14533/statm: 6796 6353 143 303 0 6491 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 27184 [startup+12.7008 s] /proc/loadavg: 1.93 1.98 1.99 3/179 14534 /proc/meminfo: memFree=30918604/32951124 swapFree=67111528/67111528 [pid=14533] ppid=14531 vsize=46356 CPUtime=12.69 /proc/14533/stat : 14533 (wbo1.4a) R 14531 14533 13132 0 -1 4202496 11247 0 0 0 1250 19 0 0 25 0 1 0 131990866 47468544 11143 4089446400 134512640 135751879 4291784704 18446744073709551615 134517568 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/14533/statm: 11589 11143 143 303 0 11284 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 46356 [startup+25.5006 s] /proc/loadavg: 1.95 1.98 1.99 3/179 14534 /proc/meminfo: memFree=30865164/32951124 swapFree=67111528/67111528 [pid=14533] ppid=14531 vsize=81108 CPUtime=25.49 /proc/14533/stat : 14533 (wbo1.4a) R 14531 14533 13132 0 -1 4202496 19947 0 0 0 2515 34 0 0 25 0 1 0 131990866 83054592 19843 4089446400 134512640 135751879 4291784704 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/14533/statm: 20277 19843 143 303 0 19972 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 81108 [startup+51.1011 s] /proc/loadavg: 1.96 1.98 1.99 3/179 14535 /proc/meminfo: memFree=30768724/32951124 swapFree=67111528/67111528 [pid=14533] ppid=14531 vsize=149772 CPUtime=51.09 /proc/14533/stat : 14533 (wbo1.4a) R 14531 14533 13132 0 -1 4202496 37074 0 0 0 5046 63 0 0 25 0 1 0 131990866 153366528 36970 4089446400 134512640 135751879 4291784704 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/14533/statm: 37443 36970 143 303 0 37138 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 149772 [startup+102.307 s] /proc/loadavg: 2.03 2.00 2.00 3/179 14536 /proc/meminfo: memFree=30584276/32951124 swapFree=67111528/67111528 [pid=14533] ppid=14531 vsize=271596 CPUtime=102.3 /proc/14533/stat : 14533 (wbo1.4a) R 14531 14533 13132 0 -1 4202496 67503 0 0 0 10110 120 0 0 25 0 1 0 131990866 278114304 67399 4089446400 134512640 135751879 4291784704 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/14533/statm: 67899 67399 143 303 0 67594 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 271596 [startup+162.301 s] /proc/loadavg: 2.01 2.00 2.00 3/179 14538 /proc/meminfo: memFree=30371580/32951124 swapFree=67111528/67111528 [pid=14533] ppid=14531 vsize=410796 CPUtime=162.28 /proc/14533/stat : 14533 (wbo1.4a) R 14531 14533 13132 0 -1 4202496 102328 0 0 0 16046 182 0 0 25 0 1 0 131990866 420655104 102224 4089446400 134512640 135751879 4291784704 18446744073709551615 134616532 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/14533/statm: 102699 102224 143 303 0 102394 0 Current children cumulated CPU time (s) 162.28 Current children cumulated vsize (KiB) 410796 Solver just ended. Dumping a history of the last processes samples [startup+179.101 s] /proc/loadavg: 2.01 2.00 2.00 3/179 14538 /proc/meminfo: memFree=30319360/32951124 swapFree=67111528/67111528 [pid=14533] ppid=14531 vsize=445440 CPUtime=179.09 /proc/14533/stat : 14533 (wbo1.4a) R 14531 14533 13132 0 -1 4202496 110966 0 0 0 17711 198 0 0 25 0 1 0 131990866 456130560 110862 4089446400 134512640 135751879 4291784704 18446744073709551615 134597579 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/14533/statm: 111360 110862 143 303 0 111055 0 Current children cumulated CPU time (s) 179.09 Current children cumulated vsize (KiB) 445440 [startup+185.501 s] /proc/loadavg: 2.01 2.00 2.00 3/179 14538 /proc/meminfo: memFree=30283028/32951124 swapFree=67111528/67111528 [pid=14533] ppid=14531 vsize=480832 CPUtime=185.49 /proc/14533/stat : 14533 (wbo1.4a) R 14531 14533 13132 0 -1 4202496 119817 0 0 0 18346 203 0 0 25 0 1 0 131990866 492371968 119713 4089446400 134512640 135751879 4291784704 18446744073709551615 134516328 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/14533/statm: 120208 119713 143 303 0 119903 0 Current children cumulated CPU time (s) 185.49 Current children cumulated vsize (KiB) 480832 [startup+188.701 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14538 /proc/meminfo: memFree=30248432/32951124 swapFree=67111528/67111528 [pid=14533] ppid=14531 vsize=503932 CPUtime=188.69 /proc/14533/stat : 14533 (wbo1.4a) R 14531 14533 13132 0 -1 4202496 125583 0 0 0 18665 204 0 0 25 0 1 0 131990866 516026368 125479 4089446400 134512640 135751879 4291784704 18446744073709551615 134618759 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/14533/statm: 125983 125479 143 303 0 125678 0 Current children cumulated CPU time (s) 188.69 Current children cumulated vsize (KiB) 503932 [startup+191.9 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14538 /proc/meminfo: memFree=30242972/32951124 swapFree=67111528/67111528 [pid=14533] ppid=14531 vsize=504064 CPUtime=191.89 /proc/14533/stat : 14533 (wbo1.4a) R 14531 14533 13132 0 -1 4202496 125627 0 0 0 18985 204 0 0 25 0 1 0 131990866 516161536 125523 4089446400 134512640 135751879 4291784704 18446744073709551615 134618827 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/14533/statm: 126016 125523 143 303 0 125711 0 Current children cumulated CPU time (s) 191.89 Current children cumulated vsize (KiB) 504064 [startup+193.501 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14538 /proc/meminfo: memFree=30239996/32951124 swapFree=67111528/67111528 [pid=14533] ppid=14531 vsize=503900 CPUtime=193.49 /proc/14533/stat : 14533 (wbo1.4a) R 14531 14533 13132 0 -1 4202496 125632 0 0 0 19144 205 0 0 25 0 1 0 131990866 515993600 125488 4089446400 134512640 135751879 4291784704 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/14533/statm: 125975 125488 146 303 0 125670 0 Current children cumulated CPU time (s) 193.49 Current children cumulated vsize (KiB) 503900 [startup+193.901 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14538 /proc/meminfo: memFree=30239996/32951124 swapFree=67111528/67111528 [pid=14533] ppid=14531 vsize=503900 CPUtime=193.89 /proc/14533/stat : 14533 (wbo1.4a) R 14531 14533 13132 0 -1 4202496 125634 0 0 0 19183 206 0 0 25 0 1 0 131990866 515993600 125490 4089446400 134512640 135751879 4291784704 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/14533/statm: 125975 125490 146 303 0 125670 0 Current children cumulated CPU time (s) 193.89 Current children cumulated vsize (KiB) 503900 [startup+194.101 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14538 /proc/meminfo: memFree=30239996/32951124 swapFree=67111528/67111528 [pid=14533] ppid=14531 vsize=503900 CPUtime=194.09 /proc/14533/stat : 14533 (wbo1.4a) R 14531 14533 13132 0 -1 4202496 125634 0 0 0 19203 206 0 0 25 0 1 0 131990866 515993600 125490 4089446400 134512640 135751879 4291784704 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/14533/statm: 125975 125490 146 303 0 125670 0 Current children cumulated CPU time (s) 194.09 Current children cumulated vsize (KiB) 503900 [startup+194.201 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14538 /proc/meminfo: memFree=30239996/32951124 swapFree=67111528/67111528 [pid=14533] ppid=14531 vsize=503900 CPUtime=194.19 /proc/14533/stat : 14533 (wbo1.4a) R 14531 14533 13132 0 -1 4202496 125634 0 0 0 19213 206 0 0 25 0 1 0 131990866 515993600 125490 4089446400 134512640 135751879 4291784704 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/14533/statm: 125975 125490 146 303 0 125670 0 Current children cumulated CPU time (s) 194.19 Current children cumulated vsize (KiB) 503900 Child status: 0 Real time (s): 194.253 CPU time (s): 194.25 CPU user time (s): 192.168 CPU system time (s): 2.08268 CPU usage (%): 99.9988 Max. virtual memory (cumulated for all children) (KiB): 504064 getrusage(RUSAGE_CHILDREN,...) data: user time used= 192.168 system time used= 2.08268 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 125634 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= 197 runsolver used 0.375942 second user time and 0.663899 second system time The end
Begin job on node144 at 2010-06-30 16:09:23 IDJOB=2690091 IDBENCH=78945 IDSOLVER=1200 FILE ID=node144/2690091-1277906963 PBS_JOBID= 11197178 Free space on /tmp= 74176 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900581320--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-2690091-1277906963/watcher-2690091-1277906963 -o /tmp/evaluation-result-2690091-1277906963/solver-2690091-1277906963 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690091-1277906963.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 4c1853ff60c53f26c44f2cbc4e9273c7 RANDOM SEED=1817571725 node144.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.848 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.69 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.848 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.848 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.848 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.848 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.848 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.848 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.848 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 : 5230.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 30971976 kB Buffers: 191084 kB Cached: 1256028 kB SwapCached: 0 kB Active: 904916 kB Inactive: 931464 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30971976 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2748 kB Writeback: 0 kB AnonPages: 388628 kB Mapped: 16872 kB Slab: 80284 kB PageTables: 5048 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 534112 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= 74172 MiB End job on node144 at 2010-06-30 16:12:37