Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | OPTIMUM | 294.173 | 294.168 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900553812--soft-66-100-0.wbo |
MD5SUM | fa52148d69071c7fece24d526a14d5b1 |
Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 3 |
Best CPU time to get the best result obtained on this benchmark | 111.779 |
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 | 906 |
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 | 44801 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 44800 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 723 |
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-2689544-1277911999.wbo. 0.00/0.00 c Instance file HOME/instance-2689544-1277911999.wbo 0.00/0.00 c File size is 87889 bytes. 0.00/0.00 c Highest Coefficient sum: 723 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 20 | 0.002 % | 0.00/0.01 c | 250 | 231 2707 8338 | 6050 250 26 | 0.002 % | 0.00/0.01 c | 475 | 231 2707 8338 | 6655 475 25 | 0.002 % | 0.01/0.02 c | 812 | 231 2707 8338 | 7320 812 28 | 0.002 % | 0.01/0.04 c | 1318 | 231 2707 8338 | 8052 1318 31 | 0.002 % | 0.01/0.06 c | 2077 | 231 2707 8338 | 8857 2077 29 | 0.002 % | 0.09/0.10 c | 3217 | 231 2707 8338 | 9743 3217 28 | 0.002 % | 0.09/0.16 c | 4926 | 231 2707 8338 | 10717 4926 29 | 0.002 % | 0.19/0.26 c | 7488 | 231 2707 8338 | 11789 7488 30 | 0.002 % | 0.39/0.45 c | 11332 | 231 2707 8338 | 12968 11332 31 | 0.002 % | 0.69/0.77 c | 17099 | 231 2707 8338 | 14265 10564 33 | 0.002 % | 1.29/1.30 c | 25748 | 231 2707 8338 | 15692 12022 33 | 0.002 % | 2.29/2.34 c | 38722 | 231 2707 8338 | 17261 9218 39 | 0.002 % | 3.89/3.99 c | 58183 | 231 2707 8338 | 18987 11326 39 | 0.002 % | 6.69/6.75 c | 87379 | 231 2707 8338 | 20886 11909 36 | 0.002 % | 10.29/10.35 c | 131168 | 231 2707 8338 | 22974 13736 34 | 0.002 % | 16.40/16.41 c | 196857 | 231 2707 8338 | 25272 21742 36 | 0.002 % | 25.89/25.98 c | 295384 | 231 2707 8338 | 27799 15796 37 | 0.002 % | 40.99/41.03 c | 443174 | 231 2707 8338 | 30579 25323 36 | 0.002 % | 64.70/64.73 c | 664857 | 231 2707 8338 | 33637 28110 38 | 0.002 % | 99.40/99.45 c | 997382 | 231 2707 8338 | 37001 21560 41 | 0.002 % | 109.90/109.90 c =============================================================================== 116.10/116.10 c core #1 116.10/116.10 c ============================[ Search Statistics ]============================== 116.10/116.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 116.10/116.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 116.10/116.10 c =============================================================================== 116.10/116.10 c | 0 | 695 3560 12395 | 5000 0 nan | 0.000 % | 116.30/116.35 c | 103 | 695 3560 12395 | 5500 103 21 | 0.000 % | 116.30/116.36 c | 253 | 695 3560 12395 | 6050 253 26 | 0.000 % | 116.30/116.36 c | 481 | 695 3560 12395 | 6655 481 28 | 0.000 % | 116.30/116.37 c | 819 | 695 3560 12395 | 7320 819 27 | 0.000 % | 116.39/116.40 c | 1325 | 695 3560 12395 | 8052 1325 29 | 0.000 % | 116.39/116.45 c | 2085 | 695 3560 12395 | 8857 2085 28 | 0.000 % | 116.39/116.49 c | 3224 | 695 3560 12395 | 9743 3224 27 | 0.000 % | 116.50/116.56 c | 4932 | 695 3560 12395 | 10717 4932 28 | 0.000 % | 116.60/116.69 c | 7495 | 695 3560 12395 | 11789 7495 31 | 0.000 % | 116.90/116.91 c | 11340 | 695 3560 12395 | 12968 11340 31 | 0.000 % | 117.19/117.29 c | 17106 | 695 3560 12395 | 14265 10577 31 | 0.000 % | 117.90/117.90 c | 25758 | 695 3560 12395 | 15692 12035 33 | 0.000 % | 119.00/119.01 c | 38732 | 695 3560 12395 | 17261 9205 35 | 0.000 % | 120.59/120.67 c | 58196 | 695 3560 12395 | 18987 11322 36 | 0.000 % | 123.49/123.50 c | 87388 | 695 3560 12395 | 20886 11904 36 | 0.000 % | 127.89/127.90 c | 131178 | 695 3560 12395 | 22974 13703 33 | 0.000 % | 134.69/134.71 c | 196863 | 695 3560 12395 | 25272 21713 35 | 0.000 % | 145.10/145.18 c | 295392 | 695 3560 12395 | 27799 14568 36 | 0.000 % | 161.50/161.53 c | 443181 | 695 3560 12395 | 30579 20737 34 | 0.000 % | 186.20/186.27 c | 664865 | 695 3560 12395 | 33637 22692 38 | 0.000 % | 207.70/207.77 c =============================================================================== 212.99/213.06 c core #2 212.99/213.06 c ============================[ Search Statistics ]============================== 212.99/213.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 212.99/213.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 212.99/213.06 c =============================================================================== 212.99/213.06 c | 0 | 1161 4393 16372 | 5000 0 nan | 0.000 % | 213.09/213.10 c | 100 | 1161 4393 16372 | 5500 100 21 | 0.000 % | 213.09/213.12 c | 251 | 1161 4393 16372 | 6050 251 21 | 0.000 % | 213.09/213.13 c | 476 | 1161 4393 16372 | 6655 476 21 | 0.000 % | 213.09/213.14 c | 814 | 1161 4393 16372 | 7320 814 23 | 0.000 % | 213.09/213.16 c | 1320 | 1161 4393 16372 | 8052 1320 25 | 0.000 % | 213.09/213.19 c | 2081 | 1161 4393 16372 | 8857 2081 26 | 0.000 % | 213.19/213.25 c | 3220 | 1161 4393 16372 | 9743 3220 29 | 0.000 % | 213.30/213.34 c | 4928 | 1161 4393 16372 | 10717 4928 31 | 0.000 % | 213.40/213.48 c | 7490 | 1161 4393 16372 | 11789 7490 32 | 0.000 % | 213.70/213.72 c | 11334 | 1161 4393 16372 | 12968 11334 33 | 0.000 % | 214.10/214.15 c | 17101 | 1161 4393 16372 | 14265 10566 34 | 0.000 % | 214.70/214.75 c | 25750 | 1161 4393 16372 | 15692 12022 32 | 0.000 % | 215.90/215.90 c | 38725 | 1161 4393 16372 | 17261 9238 35 | 0.000 % | 217.90/217.93 c | 58187 | 1161 4393 16372 | 18987 11338 37 | 0.000 % | 220.29/220.39 c | 87380 | 1161 4393 16372 | 20886 11921 35 | 0.000 % | 224.50/224.53 c | 131169 | 1161 4393 16372 | 22974 13727 34 | 0.000 % | 231.30/231.37 c | 196853 | 1161 4393 16372 | 25272 21743 39 | 0.000 % | 241.09/241.10 c | 295379 | 1161 4393 16372 | 27799 13353 35 | 0.000 % | 255.70/255.75 c | 443170 | 1161 4393 16372 | 30579 18495 36 | 0.000 % | 279.50/279.53 c | 664854 | 1161 4393 16372 | 33637 22596 37 | 0.002 % | 283.09/283.15 c =============================================================================== 287.30/287.33 c core #3 287.30/287.33 c ============================[ Search Statistics ]============================== 287.30/287.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 287.30/287.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 287.30/287.33 c =============================================================================== 287.30/287.33 c | 0 | 1633 5226 20367 | 5000 0 nan | 0.000 % | 287.30/287.39 c | 101 | 1633 5226 20367 | 5500 101 20 | 0.000 % | 287.30/287.39 c | 254 | 1633 5226 20367 | 6050 254 23 | 0.000 % | 287.40/287.40 c | 479 | 1633 5226 20367 | 6655 479 28 | 0.000 % | 287.40/287.41 c | 817 | 1633 5226 20367 | 7320 817 30 | 0.000 % | 287.40/287.44 c | 1324 | 1633 5226 20367 | 8052 1324 30 | 0.000 % | 287.40/287.48 c | 2084 | 1633 5226 20367 | 8857 2084 29 | 0.000 % | 287.50/287.53 c | 3223 | 1633 5226 20367 | 9743 3223 28 | 0.000 % | 287.60/287.61 c | 4933 | 1633 5226 20367 | 10717 4933 27 | 0.000 % | 287.70/287.74 c | 7500 | 1633 5226 20367 | 11789 7500 28 | 0.000 % | 287.90/287.96 c | 11345 | 1633 5226 20367 | 12968 11345 29 | 0.000 % | 288.30/288.35 c | 17114 | 1633 5226 20367 | 14265 10584 31 | 0.000 % | 289.00/289.06 c | 25764 | 1633 5226 20367 | 15692 12064 35 | 0.000 % | 290.20/290.25 c | 38738 | 1633 5226 20367 | 17261 9223 35 | 0.000 % | 292.00/292.06 c | 58200 | 1633 5226 20367 | 18987 11346 37 | 0.000 % | 294.10/294.14 c =============================================================================== 294.10/294.15 c #cores: 3 294.10/294.15 c Final Weight: 3 294.10/294.15 o 3 294.10/294.15 s OPTIMUM FOUND 294.10/294.15 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 294.10/294.15 c Total CPU time: 291.004 s
OK 3
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2689544-1277911999/watcher-2689544-1277911999 -o /tmp/evaluation-result-2689544-1277911999/solver-2689544-1277911999 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689544-1277911999.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.92 2.91 2.69 4/178 11533 /proc/meminfo: memFree=30536908/32951124 swapFree=67111528/67111528 [pid=11533] ppid=11531 vsize=2660 CPUtime=0 /proc/11533/stat : 11533 (wbo1.4a) R 11531 11533 11428 0 -1 4202496 306 0 0 0 0 0 0 0 25 0 1 0 132497428 2723840 225 4089446400 134512640 135751879 4289050944 18446744073709551615 134564528 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/11533/statm: 701 228 146 303 0 374 0 [startup+0.018627 s] /proc/loadavg: 2.92 2.91 2.69 4/178 11533 /proc/meminfo: memFree=30536908/32951124 swapFree=67111528/67111528 [pid=11533] ppid=11531 vsize=2848 CPUtime=0.01 /proc/11533/stat : 11533 (wbo1.4a) R 11531 11533 11428 0 -1 4202496 372 0 0 0 1 0 0 0 25 0 1 0 132497428 2916352 269 4089446400 134512640 135751879 4289050944 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/11533/statm: 712 269 143 303 0 407 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 2848 [startup+0.100594 s] /proc/loadavg: 2.92 2.91 2.69 4/178 11533 /proc/meminfo: memFree=30536908/32951124 swapFree=67111528/67111528 [pid=11533] ppid=11531 vsize=3508 CPUtime=0.09 /proc/11533/stat : 11533 (wbo1.4a) R 11531 11533 11428 0 -1 4202496 541 0 0 0 9 0 0 0 25 0 1 0 132497428 3592192 438 4089446400 134512640 135751879 4289050944 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/11533/statm: 877 438 143 303 0 572 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3508 [startup+0.300574 s] /proc/loadavg: 2.92 2.91 2.69 4/178 11533 /proc/meminfo: memFree=30536908/32951124 swapFree=67111528/67111528 [pid=11533] ppid=11531 vsize=4836 CPUtime=0.29 /proc/11533/stat : 11533 (wbo1.4a) R 11531 11533 11428 0 -1 4202496 884 0 0 0 28 1 0 0 25 0 1 0 132497428 4952064 781 4089446400 134512640 135751879 4289050944 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/11533/statm: 1209 781 143 303 0 904 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4836 [startup+0.700491 s] /proc/loadavg: 2.92 2.91 2.69 4/178 11533 /proc/meminfo: memFree=30536908/32951124 swapFree=67111528/67111528 [pid=11533] ppid=11531 vsize=6848 CPUtime=0.69 /proc/11533/stat : 11533 (wbo1.4a) R 11531 11533 11428 0 -1 4202496 1379 0 0 0 68 1 0 0 25 0 1 0 132497428 7012352 1276 4089446400 134512640 135751879 4289050944 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/11533/statm: 1712 1276 143 303 0 1407 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6848 [startup+1.50036 s] /proc/loadavg: 2.92 2.91 2.69 3/179 11534 /proc/meminfo: memFree=30529336/32951124 swapFree=67111528/67111528 [pid=11533] ppid=11531 vsize=10280 CPUtime=1.49 /proc/11533/stat : 11533 (wbo1.4a) R 11531 11533 11428 0 -1 4202496 2242 0 0 0 147 2 0 0 25 0 1 0 132497428 10526720 2139 4089446400 134512640 135751879 4289050944 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/11533/statm: 2570 2139 143 303 0 2265 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10280 [startup+3.10107 s] /proc/loadavg: 2.92 2.91 2.69 3/179 11534 /proc/meminfo: memFree=30520904/32951124 swapFree=67111528/67111528 [pid=11533] ppid=11531 vsize=15960 CPUtime=3.09 /proc/11533/stat : 11533 (wbo1.4a) R 11531 11533 11428 0 -1 4202496 3646 0 0 0 305 4 0 0 25 0 1 0 132497428 16343040 3543 4089446400 134512640 135751879 4289050944 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/11533/statm: 3990 3543 143 303 0 3685 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15960 [startup+6.30051 s] /proc/loadavg: 2.85 2.90 2.68 3/179 11534 /proc/meminfo: memFree=30502308/32951124 swapFree=67111528/67111528 [pid=11533] ppid=11531 vsize=26216 CPUtime=6.29 /proc/11533/stat : 11533 (wbo1.4a) R 11531 11533 11428 0 -1 4202496 6219 0 0 0 621 8 0 0 25 0 1 0 132497428 26845184 6116 4089446400 134512640 135751879 4289050944 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/11533/statm: 6554 6116 143 303 0 6249 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 26216 [startup+12.7004 s] /proc/loadavg: 2.78 2.88 2.68 3/179 11534 /proc/meminfo: memFree=30466568/32951124 swapFree=67111528/67111528 [pid=11533] ppid=11531 vsize=47224 CPUtime=12.69 /proc/11533/stat : 11533 (wbo1.4a) R 11531 11533 11428 0 -1 4202496 11454 0 0 0 1251 18 0 0 25 0 1 0 132497428 48357376 11351 4089446400 134512640 135751879 4289050944 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/11533/statm: 11806 11351 143 303 0 11501 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 47224 [startup+25.5011 s] /proc/loadavg: 2.61 2.84 2.67 3/179 11534 /proc/meminfo: memFree=30408844/32951124 swapFree=67111528/67111528 [pid=11533] ppid=11531 vsize=84632 CPUtime=25.49 /proc/11533/stat : 11533 (wbo1.4a) R 11531 11533 11428 0 -1 4202496 20834 0 0 0 2517 32 0 0 25 0 1 0 132497428 86663168 20731 4089446400 134512640 135751879 4289050944 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/11533/statm: 21158 20731 143 303 0 20853 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 84632 [startup+51.1006 s] /proc/loadavg: 2.40 2.77 2.65 3/179 11536 /proc/meminfo: memFree=30283552/32951124 swapFree=67111528/67111528 [pid=11533] ppid=11531 vsize=154164 CPUtime=51.09 /proc/11533/stat : 11533 (wbo1.4a) R 11531 11533 11428 0 -1 4202496 38201 0 0 0 5051 58 0 0 25 0 1 0 132497428 157863936 38098 4089446400 134512640 135751879 4289050944 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/11533/statm: 38541 38098 143 303 0 38236 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 154164 [startup+102.307 s] /proc/loadavg: 2.17 2.65 2.61 3/179 11536 /proc/meminfo: memFree=30075320/32951124 swapFree=67111528/67111528 [pid=11533] ppid=11531 vsize=290564 CPUtime=102.3 /proc/11533/stat : 11533 (wbo1.4a) R 11531 11533 11428 0 -1 4202496 72279 0 0 0 10116 114 0 0 25 0 1 0 132497428 297537536 72176 4089446400 134512640 135751879 4289050944 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/11533/statm: 72641 72176 143 303 0 72336 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 290564 [startup+162.301 s] /proc/loadavg: 2.10 2.54 2.58 3/179 11538 /proc/meminfo: memFree=29940228/32951124 swapFree=67111528/67111528 [pid=11533] ppid=11531 vsize=352852 CPUtime=162.3 /proc/11533/stat : 11533 (wbo1.4a) R 11531 11533 11428 0 -1 4202496 87927 0 0 0 16053 177 0 0 25 0 1 0 132497428 361320448 87787 4089446400 134512640 135751879 4289050944 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/11533/statm: 88213 87787 146 303 0 87908 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 352852 [startup+222.301 s] /proc/loadavg: 2.03 2.44 2.54 3/179 11540 /proc/meminfo: memFree=29758144/32951124 swapFree=67111528/67111528 [pid=11533] ppid=11531 vsize=461892 CPUtime=222.3 /proc/11533/stat : 11533 (wbo1.4a) R 11531 11533 11428 0 -1 4202496 115172 0 0 0 21990 240 0 0 25 0 1 0 132497428 472977408 115032 4089446400 134512640 135751879 4289050944 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/11533/statm: 115473 115032 146 303 0 115168 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 461892 [startup+282.301 s] /proc/loadavg: 2.04 2.37 2.51 3/179 11542 /proc/meminfo: memFree=29626260/32951124 swapFree=67111528/67111528 [pid=11533] ppid=11531 vsize=532368 CPUtime=282.3 /proc/11533/stat : 11533 (wbo1.4a) R 11531 11533 11428 0 -1 4202496 132799 0 0 0 27926 304 0 0 25 0 1 0 132497428 545144832 132659 4089446400 134512640 135751879 4289050944 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/11533/statm: 133092 132659 146 303 0 132787 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 532368 Solver just ended. Dumping a history of the last processes samples [startup+287.901 s] /proc/loadavg: 2.04 2.36 2.50 3/179 11542 /proc/meminfo: memFree=29598732/32951124 swapFree=67111528/67111528 [pid=11533] ppid=11531 vsize=555204 CPUtime=287.9 /proc/11533/stat : 11533 (wbo1.4a) R 11531 11533 11428 0 -1 4202496 138512 0 0 0 28484 306 0 0 18 0 1 0 132497428 568528896 138372 4089446400 134512640 135751879 4289050944 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/11533/statm: 138801 138372 146 303 0 138496 0 Current children cumulated CPU time (s) 287.9 Current children cumulated vsize (KiB) 555204 [startup+291.101 s] /proc/loadavg: 2.04 2.36 2.50 3/179 11542 /proc/meminfo: memFree=29597984/32951124 swapFree=67111528/67111528 [pid=11533] ppid=11531 vsize=555204 CPUtime=291.1 /proc/11533/stat : 11533 (wbo1.4a) R 11531 11533 11428 0 -1 4202496 138512 0 0 0 28799 311 0 0 25 0 1 0 132497428 568528896 138372 4089446400 134512640 135751879 4289050944 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/11533/statm: 138801 138372 146 303 0 138496 0 Current children cumulated CPU time (s) 291.1 Current children cumulated vsize (KiB) 555204 [startup+292.7 s] /proc/loadavg: 2.04 2.36 2.50 3/179 11542 /proc/meminfo: memFree=29597732/32951124 swapFree=67111528/67111528 [pid=11533] ppid=11531 vsize=555204 CPUtime=292.69 /proc/11533/stat : 11533 (wbo1.4a) R 11531 11533 11428 0 -1 4202496 138512 0 0 0 28957 312 0 0 25 0 1 0 132497428 568528896 138372 4089446400 134512640 135751879 4289050944 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/11533/statm: 138801 138372 146 303 0 138496 0 Current children cumulated CPU time (s) 292.69 Current children cumulated vsize (KiB) 555204 [startup+293.501 s] /proc/loadavg: 2.04 2.36 2.50 3/179 11542 /proc/meminfo: memFree=29597732/32951124 swapFree=67111528/67111528 [pid=11533] ppid=11531 vsize=555204 CPUtime=293.5 /proc/11533/stat : 11533 (wbo1.4a) R 11531 11533 11428 0 -1 4202496 138512 0 0 0 29036 314 0 0 25 0 1 0 132497428 568528896 138372 4089446400 134512640 135751879 4289050944 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/11533/statm: 138801 138372 146 303 0 138496 0 Current children cumulated CPU time (s) 293.5 Current children cumulated vsize (KiB) 555204 [startup+293.901 s] /proc/loadavg: 2.03 2.35 2.50 3/179 11542 /proc/meminfo: memFree=29595128/32951124 swapFree=67111528/67111528 [pid=11533] ppid=11531 vsize=555204 CPUtime=293.89 /proc/11533/stat : 11533 (wbo1.4a) R 11531 11533 11428 0 -1 4202496 138512 0 0 0 29075 314 0 0 25 0 1 0 132497428 568528896 138372 4089446400 134512640 135751879 4289050944 18446744073709551615 134616786 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/11533/statm: 138801 138372 146 303 0 138496 0 Current children cumulated CPU time (s) 293.89 Current children cumulated vsize (KiB) 555204 [startup+294.101 s] /proc/loadavg: 2.03 2.35 2.50 3/179 11542 /proc/meminfo: memFree=29595128/32951124 swapFree=67111528/67111528 [pid=11533] ppid=11531 vsize=555204 CPUtime=294.1 /proc/11533/stat : 11533 (wbo1.4a) R 11531 11533 11428 0 -1 4202496 138512 0 0 0 29095 315 0 0 25 0 1 0 132497428 568528896 138372 4089446400 134512640 135751879 4289050944 18446744073709551615 134517428 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/11533/statm: 138801 138372 146 303 0 138496 0 Current children cumulated CPU time (s) 294.1 Current children cumulated vsize (KiB) 555204 Child status: 0 Real time (s): 294.168 CPU time (s): 294.173 CPU user time (s): 291.004 CPU system time (s): 3.16952 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 555204 getrusage(RUSAGE_CHILDREN,...) data: user time used= 291.004 system time used= 3.16952 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 138512 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= 4 involuntary context switches= 274 runsolver used 0.412937 second user time and 0.935857 second system time The end
Begin job on node107 at 2010-06-30 17:33:19 IDJOB=2689544 IDBENCH=78993 IDSOLVER=1200 FILE ID=node107/2689544-1277911999 PBS_JOBID= 11197274 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.1900553812--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-2689544-1277911999/watcher-2689544-1277911999 -o /tmp/evaluation-result-2689544-1277911999/solver-2689544-1277911999 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689544-1277911999.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= fa52148d69071c7fece24d526a14d5b1 RANDOM SEED=1090410222 node107.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.849 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.849 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.849 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.849 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.849 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.81 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.849 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.849 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.849 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: 32951124 kB MemFree: 30537436 kB Buffers: 195084 kB Cached: 1272012 kB SwapCached: 0 kB Active: 1165480 kB Inactive: 1105232 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30537436 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2808 kB Writeback: 0 kB AnonPages: 803396 kB Mapped: 16076 kB Slab: 78956 kB PageTables: 6152 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 971988 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 node107 at 2010-06-30 17:38:13