Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | OPTIMUM | 467.838 | 467.827 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900577940--soft-33-100-0.wbo |
MD5SUM | 426e5957e411ffe2f76bd332943fd07d |
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 | 467.838 |
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 | 1816 |
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 | 92461 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 92460 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 661 |
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-2690047-1277904654.wbo. 0.00/0.00 c Instance file HOME/instance-2690047-1277904654.wbo 0.00/0.00 c File size is 92398 bytes. 0.00/0.00 c Highest Coefficient sum: 661 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 | 103 | 231 2707 8338 | 5500 103 26 | 0.002 % | 0.00/0.01 c | 253 | 231 2707 8338 | 6050 253 29 | 0.002 % | 0.00/0.01 c | 479 | 231 2707 8338 | 6655 479 31 | 0.002 % | 0.00/0.02 c | 816 | 231 2707 8338 | 7320 816 33 | 0.002 % | 0.00/0.04 c | 1323 | 231 2707 8338 | 8052 1323 33 | 0.002 % | 0.00/0.06 c | 2084 | 231 2707 8338 | 8857 2084 32 | 0.002 % | 0.09/0.10 c | 3226 | 231 2707 8338 | 9743 3226 32 | 0.002 % | 0.09/0.16 c | 4936 | 231 2707 8338 | 10717 4936 31 | 0.002 % | 0.19/0.27 c | 7498 | 231 2707 8338 | 11789 7498 32 | 0.002 % | 0.39/0.45 c | 11342 | 231 2707 8338 | 12968 11342 32 | 0.002 % | 0.69/0.78 c | 17108 | 231 2707 8338 | 14265 10571 35 | 0.002 % | 1.39/1.42 c | 25758 | 231 2707 8338 | 15692 12037 39 | 0.002 % | 2.39/2.46 c | 38732 | 231 2707 8338 | 17261 9202 41 | 0.002 % | 3.99/4.01 c | 58197 | 231 2707 8338 | 18987 11288 39 | 0.002 % | 6.39/6.43 c | 87389 | 231 2707 8338 | 20886 11865 40 | 0.002 % | 10.59/10.60 c | 131178 | 231 2707 8338 | 22974 13682 41 | 0.002 % | 16.99/17.02 c | 196863 | 231 2707 8338 | 25272 21525 43 | 0.002 % | 27.40/27.41 c | 295389 | 231 2707 8338 | 27799 12859 43 | 0.002 % | 44.00/44.04 c | 443178 | 231 2707 8338 | 30579 18881 47 | 0.002 % | 70.39/70.42 c | 664862 | 231 2707 8338 | 33637 20086 41 | 0.002 % | 111.99/112.01 c | 997387 | 231 2707 8338 | 37001 13611 41 | 0.002 % | 175.49/175.51 c | 1496175 | 231 2707 8338 | 40701 25876 40 | 0.002 % | 280.69/280.72 c | 2244360 | 231 2707 8338 | 44771 26136 45 | 0.002 % | 433.41/433.50 c =============================================================================== 459.00/459.08 c core #1 459.00/459.08 c ============================[ Search Statistics ]============================== 459.00/459.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 459.00/459.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 459.00/459.08 c =============================================================================== 459.00/459.08 c | 0 | 1143 4420 16360 | 5000 0 nan | 0.000 % | 459.10/459.14 c | 102 | 1143 4420 16360 | 5500 102 35 | 0.000 % | 459.10/459.17 c | 253 | 1143 4420 16360 | 6050 253 36 | 0.000 % | 459.20/459.26 c | 479 | 1143 4420 16360 | 6655 479 35 | 0.000 % | 459.20/459.27 c | 817 | 1143 4420 16360 | 7320 817 34 | 0.000 % | 459.20/459.29 c | 1323 | 1143 4420 16360 | 8052 1323 34 | 0.000 % | 459.30/459.33 c | 2083 | 1143 4420 16360 | 8857 2083 34 | 0.000 % | 459.40/459.47 c | 3222 | 1143 4420 16360 | 9743 3222 33 | 0.000 % | 459.50/459.55 c | 4930 | 1143 4420 16360 | 10717 4930 33 | 0.000 % | 459.60/459.69 c | 7493 | 1143 4420 16360 | 11789 7493 33 | 0.000 % | 459.90/459.93 c | 11338 | 1143 4420 16360 | 12968 11338 33 | 0.000 % | 460.30/460.38 c | 17104 | 1143 4420 16360 | 14265 10559 35 | 0.000 % | 461.00/461.01 c | 25755 | 1143 4420 16360 | 15692 12021 36 | 0.000 % | 462.10/462.10 c | 38729 | 1143 4420 16360 | 17261 9179 37 | 0.000 % | 463.60/463.67 c | 58190 | 1143 4420 16360 | 18987 11282 38 | 0.000 % | 466.41/466.46 c | 87383 | 1143 4420 16360 | 20886 11828 37 | 0.000 % | 467.71/467.78 c =============================================================================== 467.71/467.78 c #cores: 1 467.71/467.78 c Final Weight: 1 467.71/467.78 o 1 467.71/467.78 s OPTIMUM FOUND 467.71/467.78 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 467.71/467.78 c Total CPU time: 463.739 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-2690047-1277904654/watcher-2690047-1277904654 -o /tmp/evaluation-result-2690047-1277904654/solver-2690047-1277904654 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690047-1277904654.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.95 1.99 2.07 3/178 15712 /proc/meminfo: memFree=31261156/32951124 swapFree=67111528/67111528 [pid=15712] ppid=15710 vsize=2668 CPUtime=0 /proc/15712/stat : 15712 (wbo1.4a) R 15710 15712 14110 0 -1 4202496 306 0 0 0 0 0 0 0 25 0 1 0 131759868 2732032 225 4089446400 134512640 135751879 4290100608 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/15712/statm: 667 225 146 303 0 339 0 [startup+0.080066 s] /proc/loadavg: 1.95 1.99 2.07 3/178 15712 /proc/meminfo: memFree=31261156/32951124 swapFree=67111528/67111528 [pid=15712] ppid=15710 vsize=3384 CPUtime=0.07 /proc/15712/stat : 15712 (wbo1.4a) R 15710 15712 14110 0 -1 4202496 526 0 0 0 7 0 0 0 18 0 1 0 131759868 3465216 422 4089446400 134512640 135751879 4290100608 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/15712/statm: 846 422 143 303 0 541 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 3384 [startup+0.101062 s] /proc/loadavg: 1.95 1.99 2.07 3/178 15712 /proc/meminfo: memFree=31261156/32951124 swapFree=67111528/67111528 [pid=15712] ppid=15710 vsize=3648 CPUtime=0.09 /proc/15712/stat : 15712 (wbo1.4a) R 15710 15712 14110 0 -1 4202496 570 0 0 0 9 0 0 0 18 0 1 0 131759868 3735552 466 4089446400 134512640 135751879 4290100608 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/15712/statm: 912 466 143 303 0 607 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3648 [startup+0.301036 s] /proc/loadavg: 1.95 1.99 2.07 3/178 15712 /proc/meminfo: memFree=31261156/32951124 swapFree=67111528/67111528 [pid=15712] ppid=15710 vsize=5100 CPUtime=0.29 /proc/15712/stat : 15712 (wbo1.4a) R 15710 15712 14110 0 -1 4202496 934 0 0 0 29 0 0 0 18 0 1 0 131759868 5222400 830 4089446400 134512640 135751879 4290100608 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/15712/statm: 1275 830 143 303 0 970 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5100 [startup+0.700966 s] /proc/loadavg: 1.95 1.99 2.07 3/178 15712 /proc/meminfo: memFree=31261156/32951124 swapFree=67111528/67111528 [pid=15712] ppid=15710 vsize=7344 CPUtime=0.69 /proc/15712/stat : 15712 (wbo1.4a) R 15710 15712 14110 0 -1 4202496 1512 0 0 0 68 1 0 0 18 0 1 0 131759868 7520256 1408 4089446400 134512640 135751879 4290100608 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/15712/statm: 1836 1408 143 303 0 1531 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7344 [startup+1.50081 s] /proc/loadavg: 1.95 1.99 2.07 3/179 15713 /proc/meminfo: memFree=31254700/32951124 swapFree=67111528/67111528 [pid=15712] ppid=15710 vsize=10908 CPUtime=1.5 /proc/15712/stat : 15712 (wbo1.4a) R 15710 15712 14110 0 -1 4202496 2400 0 0 0 147 3 0 0 20 0 1 0 131759868 11169792 2296 4089446400 134512640 135751879 4290100608 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/15712/statm: 2727 2296 143 303 0 2422 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 10908 [startup+3.10053 s] /proc/loadavg: 1.95 1.99 2.07 3/179 15714 /proc/meminfo: memFree=31249740/32951124 swapFree=67111528/67111528 [pid=15712] ppid=15710 vsize=17512 CPUtime=3.1 /proc/15712/stat : 15712 (wbo1.4a) R 15710 15712 14110 0 -1 4202496 4032 0 0 0 304 6 0 0 25 0 1 0 131759868 17932288 3928 4089446400 134512640 135751879 4290100608 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/15712/statm: 4378 3928 143 303 0 4073 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 17512 [startup+6.30097 s] /proc/loadavg: 1.95 1.99 2.07 3/179 15714 /proc/meminfo: memFree=31236592/32951124 swapFree=67111528/67111528 [pid=15712] ppid=15710 vsize=29796 CPUtime=6.29 /proc/15712/stat : 15712 (wbo1.4a) R 15710 15712 14110 0 -1 4202496 7116 0 0 0 620 9 0 0 25 0 1 0 131759868 30511104 7012 4089446400 134512640 135751879 4290100608 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/15712/statm: 7449 7012 143 303 0 7144 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 29796 [startup+12.7008 s] /proc/loadavg: 1.95 1.99 2.07 3/179 15714 /proc/meminfo: memFree=31213528/32951124 swapFree=67111528/67111528 [pid=15712] ppid=15710 vsize=51592 CPUtime=12.69 /proc/15712/stat : 15712 (wbo1.4a) R 15710 15712 14110 0 -1 4202496 12570 0 0 0 1253 16 0 0 25 0 1 0 131759868 52830208 12466 4089446400 134512640 135751879 4290100608 18446744073709551615 134611013 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/15712/statm: 12898 12466 143 303 0 12593 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 51592 [startup+25.5006 s] /proc/loadavg: 1.96 1.99 2.06 3/179 15742 /proc/meminfo: memFree=31151276/32951124 swapFree=67111528/67111528 [pid=15712] ppid=15710 vsize=93352 CPUtime=25.49 /proc/15712/stat : 15712 (wbo1.4a) R 15710 15712 14110 0 -1 4202496 22989 0 0 0 2516 33 0 0 25 0 1 0 131759868 95592448 22885 4089446400 134512640 135751879 4290100608 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/15712/statm: 23338 22885 143 303 0 23033 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 93352 [startup+51.1011 s] /proc/loadavg: 1.98 1.99 2.06 3/179 15742 /proc/meminfo: memFree=30996388/32951124 swapFree=67111528/67111528 [pid=15712] ppid=15710 vsize=170244 CPUtime=51.09 /proc/15712/stat : 15712 (wbo1.4a) R 15710 15712 14110 0 -1 4202496 42224 0 0 0 5048 61 0 0 25 0 1 0 131759868 174329856 42120 4089446400 134512640 135751879 4290100608 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/15712/statm: 42561 42120 143 303 0 42256 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 170244 [startup+102.306 s] /proc/loadavg: 1.99 1.99 2.06 3/179 15747 /proc/meminfo: memFree=30709308/32951124 swapFree=67111528/67111528 [pid=15712] ppid=15710 vsize=310804 CPUtime=102.3 /proc/15712/stat : 15712 (wbo1.4a) R 15710 15712 14110 0 -1 4202496 77342 0 0 0 10119 111 0 0 25 0 1 0 131759868 318263296 77238 4089446400 134512640 135751879 4290100608 18446744073709551615 134616503 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/15712/statm: 77701 77238 143 303 0 77396 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 310804 [startup+162.3 s] /proc/loadavg: 1.99 1.99 2.05 3/179 15749 /proc/meminfo: memFree=30399624/32951124 swapFree=67111528/67111528 [pid=15712] ppid=15710 vsize=467184 CPUtime=162.3 /proc/15712/stat : 15712 (wbo1.4a) R 15710 15712 14110 0 -1 4202496 116405 0 0 0 16064 166 0 0 25 0 1 0 131759868 478396416 116301 4089446400 134512640 135751879 4290100608 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/15712/statm: 116796 116301 143 303 0 116491 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 467184 [startup+222.301 s] /proc/loadavg: 1.99 1.99 2.04 3/179 15750 /proc/meminfo: memFree=30149196/32951124 swapFree=67111528/67111528 [pid=15712] ppid=15710 vsize=618756 CPUtime=222.3 /proc/15712/stat : 15712 (wbo1.4a) R 15710 15712 14110 0 -1 4202496 154297 0 0 0 22006 224 0 0 25 0 1 0 131759868 633606144 154193 4089446400 134512640 135751879 4290100608 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/15712/statm: 154689 154193 143 303 0 154384 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 618756 [startup+282.3 s] /proc/loadavg: 2.06 2.01 2.04 3/179 15751 /proc/meminfo: memFree=30015948/32951124 swapFree=67111528/67111528 [pid=15712] ppid=15710 vsize=753416 CPUtime=282.3 /proc/15712/stat : 15712 (wbo1.4a) R 15710 15712 14110 0 -1 4202496 187965 0 0 0 27957 273 0 0 25 0 1 0 131759868 771497984 187861 4089446400 134512640 135751879 4290100608 18446744073709551615 134616401 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/15712/statm: 188354 187861 143 303 0 188049 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 753416 [startup+342.301 s] /proc/loadavg: 2.02 2.00 2.04 3/179 15753 /proc/meminfo: memFree=29851740/32951124 swapFree=67111528/67111528 [pid=15712] ppid=15710 vsize=882104 CPUtime=342.29 /proc/15712/stat : 15712 (wbo1.4a) R 15710 15712 14110 0 -1 4202496 220093 0 0 0 33912 317 0 0 25 0 1 0 131759868 903274496 219989 4089446400 134512640 135751879 4290100608 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/15712/statm: 220526 219989 143 303 0 220221 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 882104 [startup+402.301 s] /proc/loadavg: 2.00 2.00 2.03 3/179 15755 /proc/meminfo: memFree=29610020/32951124 swapFree=67111528/67111528 [pid=15712] ppid=15710 vsize=1022112 CPUtime=402.3 /proc/15712/stat : 15712 (wbo1.4a) R 15710 15712 14110 0 -1 4202496 255085 0 0 0 39861 369 0 0 25 0 1 0 131759868 1046642688 254981 4089446400 134512640 135751879 4290100608 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/15712/statm: 255528 254981 143 303 0 255223 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 1022112 [startup+462.301 s] /proc/loadavg: 2.00 2.00 2.03 3/179 15784 /proc/meminfo: memFree=29983012/32951124 swapFree=67111528/67111528 [pid=15712] ppid=15710 vsize=1182396 CPUtime=462.3 /proc/15712/stat : 15712 (wbo1.4a) R 15710 15712 14110 0 -1 4202496 295234 0 0 0 45830 400 0 0 25 0 1 0 131759868 1210773504 295086 4089446400 134512640 135751879 4290100608 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/15712/statm: 295599 295086 146 303 0 295294 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 1182396 Solver just ended. Dumping a history of the last processes samples [startup+463.9 s] /proc/loadavg: 2.00 2.00 2.03 3/179 15784 /proc/meminfo: memFree=29980532/32951124 swapFree=67111528/67111528 [pid=15712] ppid=15710 vsize=1182396 CPUtime=463.91 /proc/15712/stat : 15712 (wbo1.4a) R 15710 15712 14110 0 -1 4202496 295235 0 0 0 45989 402 0 0 25 0 1 0 131759868 1210773504 295087 4089446400 134512640 135751879 4290100608 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/15712/statm: 295599 295087 146 303 0 295294 0 Current children cumulated CPU time (s) 463.91 Current children cumulated vsize (KiB) 1182396 [startup+465.501 s] /proc/loadavg: 2.00 2.00 2.03 3/179 15784 /proc/meminfo: memFree=29977540/32951124 swapFree=67111528/67111528 [pid=15712] ppid=15710 vsize=1182396 CPUtime=465.5 /proc/15712/stat : 15712 (wbo1.4a) R 15710 15712 14110 0 -1 4202496 295235 0 0 0 46147 403 0 0 25 0 1 0 131759868 1210773504 295087 4089446400 134512640 135751879 4290100608 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/15712/statm: 295599 295087 146 303 0 295294 0 Current children cumulated CPU time (s) 465.5 Current children cumulated vsize (KiB) 1182396 [startup+467.101 s] /proc/loadavg: 2.00 2.00 2.03 3/179 15784 /proc/meminfo: memFree=29974440/32951124 swapFree=67111528/67111528 [pid=15712] ppid=15710 vsize=1182396 CPUtime=467.1 /proc/15712/stat : 15712 (wbo1.4a) R 15710 15712 14110 0 -1 4202496 295235 0 0 0 46305 405 0 0 25 0 1 0 131759868 1210773504 295087 4089446400 134512640 135751879 4290100608 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/15712/statm: 295599 295087 146 303 0 295294 0 Current children cumulated CPU time (s) 467.1 Current children cumulated vsize (KiB) 1182396 [startup+467.507 s] /proc/loadavg: 2.00 2.00 2.03 3/179 15784 /proc/meminfo: memFree=29974116/32951124 swapFree=67111528/67111528 [pid=15712] ppid=15710 vsize=1182396 CPUtime=467.5 /proc/15712/stat : 15712 (wbo1.4a) R 15710 15712 14110 0 -1 4202496 295235 0 0 0 46345 405 0 0 25 0 1 0 131759868 1210773504 295087 4089446400 134512640 135751879 4290100608 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/15712/statm: 295599 295087 146 303 0 295294 0 Current children cumulated CPU time (s) 467.5 Current children cumulated vsize (KiB) 1182396 [startup+467.701 s] /proc/loadavg: 2.00 2.00 2.03 3/179 15784 /proc/meminfo: memFree=29974116/32951124 swapFree=67111528/67111528 [pid=15712] ppid=15710 vsize=1182396 CPUtime=467.71 /proc/15712/stat : 15712 (wbo1.4a) R 15710 15712 14110 0 -1 4202496 295235 0 0 0 46365 406 0 0 25 0 1 0 131759868 1210773504 295087 4089446400 134512640 135751879 4290100608 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/15712/statm: 295599 295087 146 303 0 295294 0 Current children cumulated CPU time (s) 467.71 Current children cumulated vsize (KiB) 1182396 [startup+467.801 s] /proc/loadavg: 2.00 2.00 2.03 3/179 15784 /proc/meminfo: memFree=29974116/32951124 swapFree=67111528/67111528 [pid=15712] ppid=15710 vsize=0 CPUtime=467.8 /proc/15712/stat : 15712 (wbo1.4a) R 15710 15712 14110 0 -1 4202500 295235 0 0 0 46373 407 0 0 25 0 1 0 131759868 0 0 4089446400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 4 0 0 0 /proc/15712/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 467.8 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 467.827 CPU time (s): 467.838 CPU user time (s): 463.738 CPU system time (s): 4.09938 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 1182640 getrusage(RUSAGE_CHILDREN,...) data: user time used= 463.739 system time used= 4.09938 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 295235 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= 460 runsolver used 0.628904 second user time and 1.50677 second system time The end
Begin job on node140 at 2010-06-30 15:30:54 IDJOB=2690047 IDBENCH=78923 IDSOLVER=1200 FILE ID=node140/2690047-1277904654 PBS_JOBID= 11197154 Free space on /tmp= 74200 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900577940--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-2690047-1277904654/watcher-2690047-1277904654 -o /tmp/evaluation-result-2690047-1277904654/solver-2690047-1277904654 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690047-1277904654.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 426e5957e411ffe2f76bd332943fd07d RANDOM SEED=1154878179 node140.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.790 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.58 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.790 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 : 5226.07 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.790 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.790 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.89 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.790 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 : 5421.15 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.790 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.790 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.790 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: 31261684 kB Buffers: 188324 kB Cached: 1277332 kB SwapCached: 0 kB Active: 828164 kB Inactive: 719656 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31261684 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2776 kB Writeback: 0 kB AnonPages: 82528 kB Mapped: 15448 kB Slab: 79664 kB PageTables: 4840 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 224272 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= 74196 MiB End job on node140 at 2010-06-30 15:38:42