Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | OPTIMUM | 336.792 | 336.782 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900547389--soft-33-100-0.wbo |
MD5SUM | d310a80e65163d39f069d6307e99d88f |
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 | 2 |
Best CPU time to get the best result obtained on this benchmark | 336.792 |
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 | 1839 |
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 | 91769 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 91768 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 721 |
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-2689531-1277911275.wbo. 0.00/0.00 c Instance file HOME/instance-2689531-1277911275.wbo 0.00/0.00 c File size is 92494 bytes. 0.00/0.00 c Highest Coefficient sum: 721 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 21 | 0.002 % | 0.00/0.01 c | 254 | 231 2707 8338 | 6050 254 25 | 0.002 % | 0.00/0.01 c | 482 | 231 2707 8338 | 6655 482 28 | 0.002 % | 0.00/0.02 c | 820 | 231 2707 8338 | 7320 820 29 | 0.002 % | 0.00/0.04 c | 1326 | 231 2707 8338 | 8052 1326 33 | 0.002 % | 0.00/0.06 c | 2085 | 231 2707 8338 | 8857 2085 31 | 0.002 % | 0.09/0.10 c | 3224 | 231 2707 8338 | 9743 3224 30 | 0.002 % | 0.09/0.16 c | 4932 | 231 2707 8338 | 10717 4932 31 | 0.002 % | 0.19/0.28 c | 7498 | 231 2707 8338 | 11789 7498 31 | 0.002 % | 0.49/0.51 c | 11343 | 231 2707 8338 | 12968 11343 33 | 0.002 % | 0.89/0.90 c | 17112 | 231 2707 8338 | 14265 10583 36 | 0.002 % | 1.39/1.46 c | 25762 | 231 2707 8338 | 15692 12038 34 | 0.002 % | 2.39/2.48 c | 38736 | 231 2707 8338 | 17261 9216 38 | 0.002 % | 3.99/4.05 c | 58197 | 231 2707 8338 | 18987 11321 38 | 0.002 % | 6.29/6.34 c | 87389 | 231 2707 8338 | 20886 11847 35 | 0.002 % | 10.19/10.24 c | 131180 | 231 2707 8338 | 22974 13648 38 | 0.002 % | 16.39/16.47 c | 196864 | 231 2707 8338 | 25272 21559 38 | 0.002 % | 26.19/26.21 c | 295392 | 231 2707 8338 | 27799 12478 38 | 0.002 % | 42.80/42.85 c | 443182 | 230 2707 8338 | 30579 18899 37 | 0.435 % | 67.69/67.75 c | 664868 | 230 2707 8338 | 33637 22061 41 | 0.435 % | 92.49/92.59 c =============================================================================== 97.70/97.76 c core #1 97.70/97.76 c ============================[ Search Statistics ]============================== 97.70/97.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 97.70/97.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 97.70/97.76 c =============================================================================== 97.70/97.76 c | 0 | 1154 4442 16462 | 5000 0 nan | 0.000 % | 97.90/97.95 c | 100 | 1154 4442 16462 | 5500 100 22 | 0.000 % | 97.90/97.96 c | 250 | 1154 4442 16462 | 6050 250 30 | 0.000 % | 97.90/97.97 c | 475 | 1154 4442 16462 | 6655 475 31 | 0.000 % | 97.90/97.98 c | 812 | 1154 4442 16462 | 7320 812 31 | 0.000 % | 97.99/98.00 c | 1318 | 1154 4442 16462 | 8052 1318 30 | 0.000 % | 97.99/98.04 c | 2077 | 1154 4442 16462 | 8857 2077 29 | 0.000 % | 97.99/98.09 c | 3216 | 1154 4442 16462 | 9743 3216 31 | 0.000 % | 98.09/98.16 c | 4926 | 1154 4442 16462 | 10717 4926 31 | 0.000 % | 98.19/98.29 c | 7488 | 1154 4442 16462 | 11789 7488 30 | 0.000 % | 98.49/98.52 c | 11333 | 1154 4442 16462 | 12968 11333 32 | 0.000 % | 98.79/98.90 c | 17100 | 1154 4442 16462 | 14265 10577 34 | 0.000 % | 99.49/99.57 c | 25753 | 1154 4442 16462 | 15692 12044 35 | 0.000 % | 100.70/100.71 c | 38728 | 1154 4442 16462 | 17261 9230 38 | 0.000 % | 102.50/102.54 c | 58190 | 1154 4442 16462 | 18987 11363 34 | 0.000 % | 105.20/105.28 c | 87382 | 1154 4442 16462 | 20886 11903 36 | 0.000 % | 109.39/109.40 c | 131172 | 1154 4442 16462 | 22974 13702 34 | 0.000 % | 116.70/116.77 c | 196857 | 1154 4442 16462 | 25272 21537 39 | 0.000 % | 128.29/128.32 c | 295385 | 1154 4442 16462 | 27799 13994 38 | 0.000 % | 145.60/145.63 c | 443174 | 1154 4442 16462 | 30579 18658 41 | 0.000 % | 170.99/171.00 c | 664858 | 1154 4442 16462 | 33637 19426 36 | 0.000 % | 209.59/209.63 c | 997383 | 1154 4442 16462 | 37001 32425 39 | 0.000 % | 273.00/273.06 c | 1496171 | 1154 4442 16462 | 40701 20371 39 | 0.000 % | 306.70/306.77 c =============================================================================== 319.40/319.49 c core #2 319.40/319.49 c ============================[ Search Statistics ]============================== 319.40/319.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 319.40/319.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 319.40/319.49 c =============================================================================== 319.40/319.49 c | 0 | 2075 6163 24543 | 5000 0 nan | 0.000 % | 319.50/319.53 c | 100 | 2075 6163 24543 | 5500 100 30 | 0.000 % | 319.50/319.55 c | 250 | 2075 6163 24543 | 6050 250 33 | 0.000 % | 319.60/319.60 c | 478 | 2075 6163 24543 | 6655 478 33 | 0.000 % | 319.60/319.62 c | 817 | 2075 6163 24543 | 7320 817 32 | 0.000 % | 319.60/319.65 c | 1323 | 2075 6163 24543 | 8052 1323 30 | 0.000 % | 319.60/319.69 c | 2082 | 2075 6163 24543 | 8857 2082 31 | 0.000 % | 319.70/319.77 c | 3223 | 2075 6163 24543 | 9743 3223 34 | 0.000 % | 319.80/319.86 c | 4933 | 2075 6163 24543 | 10717 4933 33 | 0.000 % | 320.01/320.01 c | 7495 | 2075 6163 24543 | 11789 7495 33 | 0.000 % | 320.30/320.30 c | 11342 | 2075 6163 24543 | 12968 11342 34 | 0.000 % | 320.70/320.72 c | 17108 | 2075 6163 24543 | 14265 10574 35 | 0.000 % | 321.40/321.41 c | 25759 | 2075 6163 24543 | 15692 12041 37 | 0.000 % | 322.60/322.66 c | 38735 | 2075 6163 24543 | 17261 9239 40 | 0.000 % | 324.30/324.38 c | 58198 | 2075 6163 24543 | 18987 11363 41 | 0.000 % | 327.30/327.35 c | 87390 | 2075 6163 24543 | 20886 11918 42 | 0.000 % | 332.30/332.33 c | 131182 | 2075 6163 24543 | 22974 13734 43 | 0.000 % | 336.70/336.75 c =============================================================================== 336.70/336.75 c #cores: 2 336.70/336.75 c Final Weight: 2 336.70/336.75 o 2 336.70/336.75 s OPTIMUM FOUND 336.70/336.75 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 336.70/336.75 c Total CPU time: 330.468 s
OK 2
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2689531-1277911275/watcher-2689531-1277911275 -o /tmp/evaluation-result-2689531-1277911275/solver-2689531-1277911275 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689531-1277911275.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/178 16490 /proc/meminfo: memFree=30904428/32951124 swapFree=67111528/67111528 [pid=16490] ppid=16488 vsize=2664 CPUtime=0 /proc/16490/stat : 16490 (wbo1.4a) R 16488 16490 15584 0 -1 4202496 307 0 0 0 0 0 0 0 21 0 1 0 132423032 2727936 226 4089446400 134512640 135751879 4291188848 18446744073709551615 134564342 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/16490/statm: 666 226 147 303 0 338 0 [startup+0.0854931 s] /proc/loadavg: 2.00 2.00 2.00 4/178 16490 /proc/meminfo: memFree=30904428/32951124 swapFree=67111528/67111528 [pid=16490] ppid=16488 vsize=3508 CPUtime=0.07 /proc/16490/stat : 16490 (wbo1.4a) R 16488 16490 15584 0 -1 4202496 535 0 0 0 7 0 0 0 21 0 1 0 132423032 3592192 431 4089446400 134512640 135751879 4291188848 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/16490/statm: 877 431 143 303 0 572 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 3508 [startup+0.100513 s] /proc/loadavg: 2.00 2.00 2.00 4/178 16490 /proc/meminfo: memFree=30904428/32951124 swapFree=67111528/67111528 [pid=16490] ppid=16488 vsize=3640 CPUtime=0.09 /proc/16490/stat : 16490 (wbo1.4a) R 16488 16490 15584 0 -1 4202496 564 0 0 0 9 0 0 0 21 0 1 0 132423032 3727360 460 4089446400 134512640 135751879 4291188848 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/16490/statm: 910 460 143 303 0 605 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3640 [startup+0.30046 s] /proc/loadavg: 2.00 2.00 2.00 4/178 16490 /proc/meminfo: memFree=30904428/32951124 swapFree=67111528/67111528 [pid=16490] ppid=16488 vsize=4960 CPUtime=0.29 /proc/16490/stat : 16490 (wbo1.4a) R 16488 16490 15584 0 -1 4202496 905 0 0 0 28 1 0 0 21 0 1 0 132423032 5079040 801 4089446400 134512640 135751879 4291188848 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/16490/statm: 1240 801 143 303 0 935 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4960 [startup+0.700382 s] /proc/loadavg: 2.00 2.00 2.00 4/178 16490 /proc/meminfo: memFree=30904428/32951124 swapFree=67111528/67111528 [pid=16490] ppid=16488 vsize=6848 CPUtime=0.69 /proc/16490/stat : 16490 (wbo1.4a) R 16488 16490 15584 0 -1 4202496 1370 0 0 0 66 3 0 0 22 0 1 0 132423032 7012352 1266 4089446400 134512640 135751879 4291188848 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/16490/statm: 1712 1266 143 303 0 1407 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6848 [startup+1.50024 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16491 /proc/meminfo: memFree=30898716/32951124 swapFree=67111528/67111528 [pid=16490] ppid=16488 vsize=10412 CPUtime=1.49 /proc/16490/stat : 16490 (wbo1.4a) R 16488 16490 15584 0 -1 4202496 2279 0 0 0 142 7 0 0 25 0 1 0 132423032 10661888 2175 4089446400 134512640 135751879 4291188848 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/16490/statm: 2603 2175 143 303 0 2298 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10412 [startup+3.10093 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16491 /proc/meminfo: memFree=30893756/32951124 swapFree=67111528/67111528 [pid=16490] ppid=16488 vsize=16880 CPUtime=3.09 /proc/16490/stat : 16490 (wbo1.4a) R 16488 16490 15584 0 -1 4202496 3876 0 0 0 298 11 0 0 25 0 1 0 132423032 17285120 3772 4089446400 134512640 135751879 4291188848 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/16490/statm: 4220 3772 143 303 0 3915 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16880 [startup+6.30037 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16491 /proc/meminfo: memFree=30881180/32951124 swapFree=67111528/67111528 [pid=16490] ppid=16488 vsize=28964 CPUtime=6.29 /proc/16490/stat : 16490 (wbo1.4a) R 16488 16490 15584 0 -1 4202496 6904 0 0 0 611 18 0 0 25 0 1 0 132423032 29659136 6800 4089446400 134512640 135751879 4291188848 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/16490/statm: 7241 6800 143 303 0 6936 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 28964 [startup+12.7002 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16491 /proc/meminfo: memFree=30859204/32951124 swapFree=67111528/67111528 [pid=16490] ppid=16488 vsize=50512 CPUtime=12.69 /proc/16490/stat : 16490 (wbo1.4a) R 16488 16490 15584 0 -1 4202496 12296 0 0 0 1236 33 0 0 25 0 1 0 132423032 51724288 12192 4089446400 134512640 135751879 4291188848 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/16490/statm: 12628 12192 143 303 0 12323 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 50512 [startup+25.5009 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16491 /proc/meminfo: memFree=30818344/32951124 swapFree=67111528/67111528 [pid=16490] ppid=16488 vsize=90592 CPUtime=25.49 /proc/16490/stat : 16490 (wbo1.4a) R 16488 16490 15584 0 -1 4202496 22307 0 0 0 2487 62 0 0 25 0 1 0 132423032 92766208 22203 4089446400 134512640 135751879 4291188848 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/16490/statm: 22648 22203 143 303 0 22343 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 90592 [startup+51.1012 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16492 /proc/meminfo: memFree=30748480/32951124 swapFree=67111528/67111528 [pid=16490] ppid=16488 vsize=161416 CPUtime=51.09 /proc/16490/stat : 16490 (wbo1.4a) R 16488 16490 15584 0 -1 4202496 39986 0 0 0 4992 117 0 0 25 0 1 0 132423032 165289984 39882 4089446400 134512640 135751879 4291188848 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/16490/statm: 40354 39882 143 303 0 40049 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 161416 [startup+102.307 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16493 /proc/meminfo: memFree=30610060/32951124 swapFree=67111528/67111528 [pid=16490] ppid=16488 vsize=297460 CPUtime=102.3 /proc/16490/stat : 16490 (wbo1.4a) R 16488 16490 15584 0 -1 4202496 74048 0 0 0 10018 212 0 0 25 0 1 0 132423032 304599040 73911 4089446400 134512640 135751879 4291188848 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/16490/statm: 74365 73911 146 303 0 74060 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 297460 [startup+162.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16495 /proc/meminfo: memFree=30569712/32951124 swapFree=67111528/67111528 [pid=16490] ppid=16488 vsize=338028 CPUtime=162.29 /proc/16490/stat : 16490 (wbo1.4a) R 16488 16490 15584 0 -1 4202496 84195 0 0 0 15897 332 0 0 25 0 1 0 132423032 346140672 84058 4089446400 134512640 135751879 4291188848 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/16490/statm: 84507 84058 146 303 0 84202 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 338028 [startup+222.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16497 /proc/meminfo: memFree=30409456/32951124 swapFree=67111528/67111528 [pid=16490] ppid=16488 vsize=495880 CPUtime=222.3 /proc/16490/stat : 16490 (wbo1.4a) R 16488 16490 15584 0 -1 4202496 123660 0 0 0 21775 455 0 0 25 0 1 0 132423032 507781120 123523 4089446400 134512640 135751879 4291188848 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/16490/statm: 123970 123523 146 303 0 123665 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 495880 [startup+282.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16498 /proc/meminfo: memFree=30272528/32951124 swapFree=67111528/67111528 [pid=16490] ppid=16488 vsize=633496 CPUtime=282.3 /proc/16490/stat : 16490 (wbo1.4a) R 16488 16490 15584 0 -1 4202496 158026 0 0 0 27675 555 0 0 25 0 1 0 132423032 648699904 157889 4089446400 134512640 135751879 4291188848 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/16490/statm: 158374 157889 146 303 0 158069 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 633496 Solver just ended. Dumping a history of the last processes samples [startup+307.1 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16499 /proc/meminfo: memFree=30216840/32951124 swapFree=67111528/67111528 [pid=16490] ppid=16488 vsize=689908 CPUtime=307.11 /proc/16490/stat : 16490 (wbo1.4a) R 16488 16490 15584 0 -1 4202496 172131 0 0 0 30118 593 0 0 25 0 1 0 132423032 706465792 171994 4089446400 134512640 135751879 4291188848 18446744073709551615 134516345 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/16490/statm: 172477 171995 146 303 0 172172 0 Current children cumulated CPU time (s) 307.11 Current children cumulated vsize (KiB) 689908 [startup+319.901 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16499 /proc/meminfo: memFree=30166236/32951124 swapFree=67111528/67111528 [pid=16490] ppid=16488 vsize=737340 CPUtime=319.9 /proc/16490/stat : 16490 (wbo1.4a) R 16488 16490 15584 0 -1 4202496 183974 0 0 0 31395 595 0 0 25 0 1 0 132423032 755036160 183837 4089446400 134512640 135751879 4291188848 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/16490/statm: 184335 183837 146 303 0 184030 0 Current children cumulated CPU time (s) 319.9 Current children cumulated vsize (KiB) 737340 [startup+326.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16499 /proc/meminfo: memFree=30166112/32951124 swapFree=67111528/67111528 [pid=16490] ppid=16488 vsize=737340 CPUtime=326.3 /proc/16490/stat : 16490 (wbo1.4a) R 16488 16490 15584 0 -1 4202496 183977 0 0 0 32020 610 0 0 21 0 1 0 132423032 755036160 183840 4089446400 134512640 135751879 4291188848 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/16490/statm: 184335 183840 146 303 0 184030 0 Current children cumulated CPU time (s) 326.3 Current children cumulated vsize (KiB) 737340 [startup+332.701 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16499 /proc/meminfo: memFree=30166228/32951124 swapFree=67111528/67111528 [pid=16490] ppid=16488 vsize=737340 CPUtime=332.71 /proc/16490/stat : 16490 (wbo1.4a) R 16488 16490 15584 0 -1 4202496 183977 0 0 0 32649 622 0 0 25 0 1 0 132423032 755036160 183840 4089446400 134512640 135751879 4291188848 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/16490/statm: 184335 183840 146 303 0 184030 0 Current children cumulated CPU time (s) 332.71 Current children cumulated vsize (KiB) 737340 [startup+334.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16499 /proc/meminfo: memFree=30166216/32951124 swapFree=67111528/67111528 [pid=16490] ppid=16488 vsize=737340 CPUtime=334.31 /proc/16490/stat : 16490 (wbo1.4a) R 16488 16490 15584 0 -1 4202496 183977 0 0 0 32806 625 0 0 25 0 1 0 132423032 755036160 183840 4089446400 134512640 135751879 4291188848 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/16490/statm: 184335 183840 146 303 0 184030 0 Current children cumulated CPU time (s) 334.31 Current children cumulated vsize (KiB) 737340 [startup+335.901 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16499 /proc/meminfo: memFree=30166216/32951124 swapFree=67111528/67111528 [pid=16490] ppid=16488 vsize=737340 CPUtime=335.9 /proc/16490/stat : 16490 (wbo1.4a) R 16488 16490 15584 0 -1 4202496 183977 0 0 0 32962 628 0 0 25 0 1 0 132423032 755036160 183840 4089446400 134512640 135751879 4291188848 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/16490/statm: 184335 183840 146 303 0 184030 0 Current children cumulated CPU time (s) 335.9 Current children cumulated vsize (KiB) 737340 [startup+336.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16499 /proc/meminfo: memFree=30166216/32951124 swapFree=67111528/67111528 [pid=16490] ppid=16488 vsize=737340 CPUtime=336.3 /proc/16490/stat : 16490 (wbo1.4a) R 16488 16490 15584 0 -1 4202496 183977 0 0 0 33001 629 0 0 25 0 1 0 132423032 755036160 183840 4089446400 134512640 135751879 4291188848 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/16490/statm: 184335 183840 146 303 0 184030 0 Current children cumulated CPU time (s) 336.3 Current children cumulated vsize (KiB) 737340 [startup+336.701 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16499 /proc/meminfo: memFree=30166216/32951124 swapFree=67111528/67111528 [pid=16490] ppid=16488 vsize=737340 CPUtime=336.7 /proc/16490/stat : 16490 (wbo1.4a) R 16488 16490 15584 0 -1 4202496 183977 0 0 0 33041 629 0 0 25 0 1 0 132423032 755036160 183840 4089446400 134512640 135751879 4291188848 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/16490/statm: 184335 183840 146 303 0 184030 0 Current children cumulated CPU time (s) 336.7 Current children cumulated vsize (KiB) 737340 Child status: 0 Real time (s): 336.782 CPU time (s): 336.792 CPU user time (s): 330.468 CPU system time (s): 6.32404 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 737340 getrusage(RUSAGE_CHILDREN,...) data: user time used= 330.468 system time used= 6.32404 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 183977 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= 3605 runsolver used 0.607907 second user time and 1.23581 second system time The end
Begin job on node139 at 2010-06-30 17:21:15 IDJOB=2689531 IDBENCH=78986 IDSOLVER=1200 FILE ID=node139/2689531-1277911275 PBS_JOBID= 11197246 Free space on /tmp= 74120 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900547389--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-2689531-1277911275/watcher-2689531-1277911275 -o /tmp/evaluation-result-2689531-1277911275/solver-2689531-1277911275 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689531-1277911275.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= d310a80e65163d39f069d6307e99d88f RANDOM SEED=1530442219 node139.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.840 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.68 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.840 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.840 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.840 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.840 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.78 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.840 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.840 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.840 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: 30904708 kB Buffers: 199816 kB Cached: 1474400 kB SwapCached: 0 kB Active: 903076 kB Inactive: 996572 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30904708 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2736 kB Writeback: 0 kB AnonPages: 225392 kB Mapped: 17140 kB Slab: 82712 kB PageTables: 4364 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 376740 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= 74116 MiB End job on node139 at 2010-06-30 17:26:52