Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| MinisatID 2.4.8-gmp | ? (TO) | 190121031730 | 1800.03 | 1802.01 |
| Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-mas76.opb |
| MD5SUM | 1a1687e6de95bc6822d45f4331f81d44 |
| Bench Category | OPT-BIGINT (optimisation, big integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 142336000480 |
| Best CPU time to get the best result obtained on this benchmark | 1800.11 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 143487941105 |
| Optimality of the best value was proved | NO |
| Number of variables | 240 |
| Total number of constraints | 13 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 1 |
| Number of constraints which are nor clauses,nor cardinality constraints | 12 |
| Minimum length of a constraint | 90 |
| Maximum length of a constraint | 239 |
| Number of terms in the objective function | 240 |
| Biggest coefficient in the objective function | 1934281311383406679529881600000 |
| Number of bits for the biggest coefficient in the objective function | 101 |
| Sum of the numbers in the objective function | 3868562622766813359059763201675 |
| Number of bits of the sum of numbers in the objective function | 102 |
| Biggest number in a constraint | 1208925819614629174706176000000000 |
| Number of bits of the biggest number in a constraint | 110 |
| Biggest sum of numbers in a constraint | 2417851639229258350907097073774043 |
| Number of bits of the biggest sum of numbers | 111 |
| 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 >>> IMPORTANT: two aggregates with the same head occurred. Assuming that this head is certainly true. 0.19/0.22 o 1759218604441600480 0.19/0.23 o 3436196659200480 0.19/0.23 o 3435986944000480 0.19/0.24 o 3435973836800480 0.49/0.56 o 107384012800480 0.49/0.56 o 107377459200480 0.49/0.57 o 107374182400480 0.59/0.68 o 6715801600480 0.59/0.68 o 6714163200480 0.59/0.68 o 6710886400480 0.69/0.73 o 3355443200480 0.69/0.74 o 1677721600480 0.69/0.74 o 419430400480 0.69/0.78 o 412057600480 0.69/0.79 o 411238400480 0.69/0.79 o 409600000480 0.69/0.80 o 406323200480 0.79/0.81 o 301465600480 0.79/0.81 o 249036800480 0.79/0.81 o 235929600480 1.19/1.23 o 234905600480 1.19/1.23 o 234496000480 1.19/1.24 o 234291200480 1.89/1.94 o 234188800480 1.89/1.95 o 233779200480 1.89/1.95 o 233676800480 1.89/1.95 o 233571200480 2.59/2.66 o 233570250480 2.79/2.83 o 233570231730 2.79/2.83 o 233570228605 4.09/4.10 o 233570225480 4.09/4.10 o 233568625480 4.09/4.11 o 233568225480 4.09/4.11 o 233555425480 4.09/4.11 o 233549025480 4.09/4.12 o 233523425480 4.09/4.12 o 233523225480 4.09/4.13 o 233523200480 4.09/4.13 o 230246400480 4.09/4.13 o 223692800480 4.09/4.14 o 223641600480 4.40/4.43 o 222822400480 5.29/5.38 o 222617600480 5.29/5.39 o 221798400480 5.29/5.39 o 221388800480 5.29/5.40 o 221184000480 5.29/5.40 o 219545600480 5.29/5.41 o 217907200480 5.41/5.42 o 217753600480 5.41/5.42 o 217715200480 5.41/5.43 o 217714400480 5.41/5.43 o 217714228605 6.69/6.72 o 216075900480 6.69/6.73 o 216075800480 6.99/7.09 o 215768600480 6.99/7.09 o 214949400480 7.09/7.10 o 214943000480 7.09/7.10 o 214941400480 7.09/7.11 o 214938200480 7.09/7.11 o 214937800480 7.09/7.12 o 214937600480 7.09/7.12 o 214732800480 8.29/8.30 o 214707200480 8.29/8.30 o 214668800480 8.70/8.77 o 214662400480 9.29/9.34 o 214659200480 10.49/10.53 o 214658400480 10.49/10.53 o 214658300480 10.49/10.54 o 214658250480 10.49/10.54 o 214658228605 12.79/12.82 o 209741225480 12.79/12.83 o 209741200480 12.79/12.83 o 209740800480 12.79/12.84 o 209715200480 12.89/12.96 o 208896000480 13.29/13.30 o 208819200480 13.69/13.73 o 208808628605 23.79/23.89 o 208807856730 23.89/23.90 o 208807806730 23.89/23.90 o 208807800480 23.89/23.91 o 208807600480 23.89/23.91 o 208807200480 23.89/23.91 o 208806400480 23.89/23.92 o 208793600480 23.89/23.92 o 208691200480 23.89/23.92 o 208486400480 23.89/23.93 o 208179200480 23.89/23.94 o 208115200480 23.89/23.94 o 208112000480 23.89/23.94 o 208111200480 23.89/23.95 o 208111100480 23.89/23.96 o 208111037980 23.89/23.96 o 208111028605 29.29/29.36 o 208095075480 29.29/29.36 o 208095050480 29.29/29.37 o 208093450480 29.29/29.37 o 208093400480 29.29/29.37 o 208093200480 29.29/29.38 o 208092800480 29.29/29.38 o 208089600480 29.29/29.39 o 208076800480 29.29/29.39 o 206569600480 29.39/29.40 o 206568628605 37.40/37.45 o 206568625480 37.40/37.45 o 206568225480 37.40/37.46 o 206566625480 37.40/37.46 o 206566425480 37.40/37.46 o 206566400480 37.40/37.47 o 206464000480 37.40/37.47 o 206438400480 37.89/37.96 o 206336000480 37.89/37.96 o 206259200480 38.40/38.51 o 206256000480 38.51/38.51 o 206255200480 38.51/38.52 o 206255037980 38.51/38.52 o 206255031730 38.51/38.53 o 206255028605 302.88/302.93 o 206203422355 302.88/302.93 o 206203409855 302.88/302.94 o 206203403605 302.88/302.94 o 206203400480 302.88/302.95 o 206201800480 302.88/302.95 o 206189000480 302.88/302.95 o 206182600480 302.88/302.96 o 206182400480 302.88/302.96 o 206131200480 302.88/302.97 o 206028800480 302.88/302.97 o 205619200480 302.88/302.98 o 205465600480 303.08/303.16 o 205443200480 303.38/303.50 o 205442650480 303.88/303.95 o 205442637980 303.88/303.95 o 205442631730 307.28/307.39 o 205439700480 307.38/307.40 o 205438100480 307.38/307.40 o 205437300480 307.38/307.41 o 205437200480 307.38/307.41 o 205436800480 307.38/307.42 o 205433600480 307.38/307.42 o 205420800480 307.38/307.42 o 205414400480 307.48/307.55 o 203776000480 307.48/307.56 o 203571200480 307.48/307.56 o 203161600480 307.58/307.68 o 200294400480 308.48/308.54 o 200214400480 308.78/308.88 o 200213837980 309.28/309.37 o 200213831730 313.58/313.69 o 200213687980 313.68/313.70 o 200213675480 313.68/313.70 o 200213650480 313.68/313.71 o 200213600480 313.68/313.71 o 200212000480 313.68/313.71 o 200211200480 313.68/313.72 o 200108800480 313.68/313.72 o 200102400480 313.68/313.72 o 200089600480 313.88/313.95 o 200038400480 314.38/314.41 o 200035200480 314.49/314.54 o 200034678605 315.08/315.10 o 199983278605 315.08/315.11 o 199983253605 315.08/315.12 o 199983203605 315.08/315.12 o 199983200480 315.08/315.13 o 199981600480 315.08/315.13 o 199980800480 315.08/315.14 o 199968000480 315.08/315.14 o 199961600480 315.08/315.14 o 199936000480 315.08/315.15 o 199884800480 315.78/315.86 o 199065600480 315.78/315.87 o 198246400480 315.78/315.87 o 197683200480 315.78/315.88 o 197676800480 315.78/315.88 o 197676400480 315.78/315.89 o 197676300480 315.78/315.89 o 197676231730 319.78/319.81 o 197676069230 319.78/319.81 o 197676062980 319.78/319.82 o 197676050480 319.78/319.82 o 197676000480 319.78/319.83 o 197674400480 319.78/319.83 o 197673600480 319.78/319.83 o 197670400480 319.78/319.84 o 197644800480 319.78/319.84 o 197632000480 319.78/319.85 o 197427200480 319.78/319.85 o 196608000480 324.08/324.19 o 195737600480 324.39/324.47 o 194944000480 324.39/324.47 o 194892800480 324.39/324.48 o 194790400480 324.39/324.49 o 194451200480 324.78/324.83 o 194450800480 325.68/325.74 o 194450650480 325.68/325.75 o 194450631730 359.59/359.61 o 194449037980 359.59/359.61 o 194449012980 359.59/359.62 o 194448812980 359.59/359.62 o 194448012980 359.59/359.63 o 194435212980 359.59/359.63 o 194432012980 359.59/359.63 o 194432000480 359.59/359.64 o 194406400480 359.59/359.64 o 194355200480 359.59/359.64 o 194150400480 359.98/360.07 o 194137600480 360.88/360.98 o 194137200480 361.58/361.67 o 194137050480 362.38/362.43 o 194137031730 363.48/363.58 o 194137025480 363.48/363.59 o 194137000480 363.48/363.59 o 194133800480 363.48/363.60 o 194127400480 363.58/363.60 o 194125800480 363.58/363.60 o 194125600480 363.58/363.61 o 194023200480 363.58/363.61 o 193997600480 363.58/363.62 o 193588000480 363.58/363.62 o 193383200480 363.58/363.63 o 193332000480 363.58/363.63 o 193331200480 364.09/364.13 o 192742400480 364.09/364.14 o 192736200480 364.58/364.61 o 192736125480 364.58/364.62 o 192736106730 368.08/368.19 o 192736050480 368.18/368.20 o 192736000480 368.18/368.20 o 192723200480 368.18/368.21 o 192716800480 368.18/368.21 o 192512000480 368.18/368.22 o 191692800480 368.58/368.66 o 191078400480 368.58/368.66 o 190950400480 368.88/368.90 o 190950000480 369.18/369.27 o 190949878605 407.08/407.19 o 190948275480 407.08/407.20 o 190947475480 407.18/407.20 o 190947450480 407.18/407.20 o 190947400480 407.18/407.21 o 190947200480 407.18/407.21 o 190940800480 407.18/407.22 o 190937600480 407.18/407.22 o 190924800480 407.18/407.23 o 190873600480 407.18/407.23 o 190121600480 407.18/407.24 o 190121050480 407.18/407.24 o 190121037980 407.18/407.25 o 190121031730 1800.02/1800.01 >>> Terminate signal received 1800.02/1800.01 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 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240
OK 190121031730
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3466742-1307402004/watcher-3466742-1307402004 -o /tmp/evaluation-result-3466742-1307402004/solver-3466742-1307402004 -C 1800 -W 1900 -M 15500 --use-pty HOME/minisatid-gmp HOME/instance-3466742-1307402004.opb --verbosity=0 --format=opb running on 4 cores: 0,2,4,6 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): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Using a pseudo terminal to collect output from the solver Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.84 1.98 1.99 1/384 27114 /proc/meminfo: memFree=23418508/32951124 swapFree=49244120/67111528 [pid=27114] ppid=27112 vsize=8124 CPUtime=0.01 cores=0,2,4,6 /proc/27114/stat : 27114 (minisatid-gmp) R 27112 27114 25385 0 -1 4202496 581 0 0 0 1 0 0 0 25 0 1 0 851803153 8318976 529 33554432000 4194304 6736272 140733695922912 18446744073709551615 5812150 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/27114/statm: 2031 529 265 621 0 1401 0 [startup+0.0319459 s] /proc/loadavg: 1.84 1.98 1.99 1/384 27114 /proc/meminfo: memFree=23418508/32951124 swapFree=49244120/67111528 [pid=27114] ppid=27112 vsize=8652 CPUtime=0.03 cores=0,2,4,6 /proc/27114/stat : 27114 (minisatid-gmp) R 27112 27114 25385 0 -1 4202496 738 0 0 0 3 0 0 0 25 0 1 0 851803153 8859648 686 33554432000 4194304 6736272 140733695922912 18446744073709551615 5818493 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/27114/statm: 2163 686 274 621 0 1533 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 8652 [startup+0.100913 s] /proc/loadavg: 1.84 1.98 1.99 1/384 27114 /proc/meminfo: memFree=23418508/32951124 swapFree=49244120/67111528 [pid=27114] ppid=27112 vsize=8652 CPUtime=0.1 cores=0,2,4,6 /proc/27114/stat : 27114 (minisatid-gmp) R 27112 27114 25385 0 -1 4202496 779 0 0 0 10 0 0 0 25 0 1 0 851803153 8859648 727 33554432000 4194304 6736272 140733695922912 18446744073709551615 5148044 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/27114/statm: 2163 727 275 621 0 1533 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 8652 [startup+0.300876 s] /proc/loadavg: 1.84 1.98 1.99 1/384 27114 /proc/meminfo: memFree=23418508/32951124 swapFree=49244120/67111528 [pid=27114] ppid=27112 vsize=4464 CPUtime=0.29 cores=0,2,4,6 /proc/27114/stat : 27114 (minisatid-gmp) R 27112 27114 25385 0 -1 4202496 858 0 0 0 29 0 0 0 25 0 1 0 851803153 4571136 707 33554432000 4194304 6736272 140733695922912 18446744073709551615 4753805 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/27114/statm: 1116 707 286 621 0 486 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4464 [startup+0.70081 s] /proc/loadavg: 1.84 1.98 1.99 1/384 27114 /proc/meminfo: memFree=23418508/32951124 swapFree=49244120/67111528 [pid=27114] ppid=27112 vsize=4464 CPUtime=0.69 cores=0,2,4,6 /proc/27114/stat : 27114 (minisatid-gmp) R 27112 27114 25385 0 -1 4202496 858 0 0 0 69 0 0 0 25 0 1 0 851803153 4571136 707 33554432000 4194304 6736272 140733695922912 18446744073709551615 5803283 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/27114/statm: 1116 707 286 621 0 486 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4464 [startup+1.50064 s] /proc/loadavg: 1.84 1.98 1.99 3/387 27142 /proc/meminfo: memFree=23421020/32951124 swapFree=49244120/67111528 [pid=27114] ppid=27112 vsize=4464 CPUtime=1.49 cores=0,2,4,6 /proc/27114/stat : 27114 (minisatid-gmp) R 27112 27114 25385 0 -1 4202496 858 0 0 0 149 0 0 0 25 0 1 0 851803153 4571136 707 33554432000 4194304 6736272 140733695922912 18446744073709551615 5148089 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/27114/statm: 1116 707 286 621 0 486 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 4464 [startup+3.10038 s] /proc/loadavg: 1.84 1.98 1.99 3/387 27142 /proc/meminfo: memFree=23352344/32951124 swapFree=49244120/67111528 [pid=27114] ppid=27112 vsize=4464 CPUtime=3.09 cores=0,2,4,6 /proc/27114/stat : 27114 (minisatid-gmp) R 27112 27114 25385 0 -1 4202496 858 0 0 0 309 0 0 0 25 0 1 0 851803153 4571136 707 33554432000 4194304 6736272 140733695922912 18446744073709551615 5811878 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/27114/statm: 1116 707 286 621 0 486 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 4464 [startup+6.30082 s] /proc/loadavg: 1.85 1.98 1.99 3/387 27142 /proc/meminfo: memFree=23351552/32951124 swapFree=49244120/67111528 [pid=27114] ppid=27112 vsize=4464 CPUtime=6.29 cores=0,2,4,6 /proc/27114/stat : 27114 (minisatid-gmp) R 27112 27114 25385 0 -1 4202496 859 0 0 0 629 0 0 0 25 0 1 0 851803153 4571136 708 33554432000 4194304 6736272 140733695922912 18446744073709551615 5146813 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/27114/statm: 1116 708 286 621 0 486 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 4464 [startup+12.7007 s] /proc/loadavg: 1.86 1.98 1.99 3/387 27142 /proc/meminfo: memFree=23350604/32951124 swapFree=49244120/67111528 [pid=27114] ppid=27112 vsize=4464 CPUtime=12.69 cores=0,2,4,6 /proc/27114/stat : 27114 (minisatid-gmp) R 27112 27114 25385 0 -1 4202496 871 0 0 0 1269 0 0 0 25 0 1 0 851803153 4571136 720 33554432000 4194304 6736272 140733695922912 18446744073709551615 5811840 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/27114/statm: 1116 720 286 621 0 486 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 4464 [startup+25.5004 s] /proc/loadavg: 1.89 1.98 1.99 3/387 27142 /proc/meminfo: memFree=23348480/32951124 swapFree=49244120/67111528 [pid=27114] ppid=27112 vsize=4464 CPUtime=25.49 cores=0,2,4,6 /proc/27114/stat : 27114 (minisatid-gmp) R 27112 27114 25385 0 -1 4202496 871 0 0 0 2549 0 0 0 25 0 1 0 851803153 4571136 720 33554432000 4194304 6736272 140733695922912 18446744073709551615 5818375 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/27114/statm: 1116 720 286 621 0 486 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 4464 [startup+51.1009 s] /proc/loadavg: 1.93 1.98 1.99 3/387 27143 /proc/meminfo: memFree=23335556/32951124 swapFree=49244120/67111528 [pid=27114] ppid=27112 vsize=4464 CPUtime=51.08 cores=0,2,4,6 /proc/27114/stat : 27114 (minisatid-gmp) R 27112 27114 25385 0 -1 4202496 886 0 0 0 5108 0 0 0 25 0 1 0 851803153 4571136 734 33554432000 4194304 6736272 140733695922912 18446744073709551615 5151464 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/27114/statm: 1116 734 286 621 0 486 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 4464 [startup+102.314 s] /proc/loadavg: 1.97 1.98 1.99 3/387 27144 /proc/meminfo: memFree=23337524/32951124 swapFree=49244120/67111528 [pid=27114] ppid=27112 vsize=4464 CPUtime=102.29 cores=0,2,4,6 /proc/27114/stat : 27114 (minisatid-gmp) R 27112 27114 25385 0 -1 4202496 886 0 0 0 10229 0 0 0 25 0 1 0 851803153 4571136 734 33554432000 4194304 6736272 140733695922912 18446744073709551615 5806398 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/27114/statm: 1116 734 286 621 0 486 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 4464 [startup+162.301 s] /proc/loadavg: 2.03 2.00 1.99 3/387 27146 /proc/meminfo: memFree=23331032/32951124 swapFree=49244120/67111528 [pid=27114] ppid=27112 vsize=4464 CPUtime=162.28 cores=0,2,4,6 /proc/27114/stat : 27114 (minisatid-gmp) R 27112 27114 25385 0 -1 4202496 891 0 0 0 16228 0 0 0 25 0 1 0 851803153 4571136 739 33554432000 4194304 6736272 140733695922912 18446744073709551615 5803175 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/27114/statm: 1116 739 286 621 0 486 0 Current children cumulated CPU time (s) 162.28 Current children cumulated vsize (KiB) 4464 [startup+222.3 s] /proc/loadavg: 2.01 2.00 1.99 3/387 27148 /proc/meminfo: memFree=23331868/32951124 swapFree=49244120/67111528 [pid=27114] ppid=27112 vsize=4464 CPUtime=222.28 cores=0,2,4,6 /proc/27114/stat : 27114 (minisatid-gmp) R 27112 27114 25385 0 -1 4202496 891 0 0 0 22228 0 0 0 25 0 1 0 851803153 4571136 739 33554432000 4194304 6736272 140733695922912 18446744073709551615 4753672 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/27114/statm: 1116 739 286 621 0 486 0 Current children cumulated CPU time (s) 222.28 Current children cumulated vsize (KiB) 4464 [startup+282.301 s] /proc/loadavg: 2.04 2.01 2.00 3/387 27149 /proc/meminfo: memFree=23331960/32951124 swapFree=49244120/67111528 [pid=27114] ppid=27112 vsize=4464 CPUtime=282.28 cores=0,2,4,6 /proc/27114/stat : 27114 (minisatid-gmp) R 27112 27114 25385 0 -1 4202496 891 0 0 0 28228 0 0 0 25 0 1 0 851803153 4571136 739 33554432000 4194304 6736272 140733695922912 18446744073709551615 5803218 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/27114/statm: 1116 739 286 621 0 486 0 Current children cumulated CPU time (s) 282.28 Current children cumulated vsize (KiB) 4464 [startup+342.301 s] /proc/loadavg: 2.01 2.00 2.00 3/387 27151 /proc/meminfo: memFree=23331812/32951124 swapFree=49244120/67111528 [pid=27114] ppid=27112 vsize=4464 CPUtime=342.28 cores=0,2,4,6 /proc/27114/stat : 27114 (minisatid-gmp) R 27112 27114 25385 0 -1 4202496 891 0 0 0 34228 0 0 0 25 0 1 0 851803153 4571136 739 33554432000 4194304 6736272 140733695922912 18446744073709551615 5806398 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/27114/statm: 1116 739 286 621 0 486 0 Current children cumulated CPU time (s) 342.28 Current children cumulated vsize (KiB) 4464 [startup+402.3 s] /proc/loadavg: 2.00 2.00 2.00 3/387 27152 /proc/meminfo: memFree=23331916/32951124 swapFree=49244120/67111528 [pid=27114] ppid=27112 vsize=4612 CPUtime=402.28 cores=0,2,4,6 /proc/27114/stat : 27114 (minisatid-gmp) R 27112 27114 25385 0 -1 4202496 913 0 0 0 40228 0 0 0 25 0 1 0 851803153 4722688 761 33554432000 4194304 6736272 140733695922912 18446744073709551615 5219626 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/27114/statm: 1153 761 286 621 0 523 0 Current children cumulated CPU time (s) 402.28 Current children cumulated vsize (KiB) 4612 [startup+462.301 s] /proc/loadavg: 2.00 2.00 2.00 3/387 27154 /proc/meminfo: memFree=23331644/32951124 swapFree=49244120/67111528 [pid=27114] ppid=27112 vsize=4612 CPUtime=462.28 cores=0,2,4,6 /proc/27114/stat : 27114 (minisatid-gmp) R 27112 27114 25385 0 -1 4202496 913 0 0 0 46228 0 0 0 25 0 1 0 851803153 4722688 761 33554432000 4194304 6736272 140733695922912 18446744073709551615 4732851 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/27114/statm: 1153 761 286 621 0 523 0 Current children cumulated CPU time (s) 462.28 Current children cumulated vsize (KiB) 4612 [startup+522.3 s] /proc/loadavg: 2.00 2.00 2.00 3/387 27156 /proc/meminfo: memFree=23331736/32951124 swapFree=49244120/67111528 [pid=27114] ppid=27112 vsize=4612 CPUtime=522.29 cores=0,2,4,6 /proc/27114/stat : 27114 (minisatid-gmp) R 27112 27114 25385 0 -1 4202496 913 0 0 0 52228 1 0 0 25 0 1 0 851803153 4722688 761 33554432000 4194304 6736272 140733695922912 18446744073709551615 5806446 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/27114/statm: 1153 761 286 621 0 523 0 Current children cumulated CPU time (s) 522.29 Current children cumulated vsize (KiB) 4612 [startup+582.301 s] /proc/loadavg: 2.00 2.00 2.00 3/387 27157 /proc/meminfo: memFree=23331960/32951124 swapFree=49244120/67111528 [pid=27114] ppid=27112 vsize=4612 CPUtime=582.29 cores=0,2,4,6 /proc/27114/stat : 27114 (minisatid-gmp) R 27112 27114 25385 0 -1 4202496 919 0 0 0 58228 1 0 0 25 0 1 0 851803153 4722688 767 33554432000 4194304 6736272 140733695922912 18446744073709551615 5222016 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/27114/statm: 1153 767 286 621 0 523 0 Current children cumulated CPU time (s) 582.29 Current children cumulated vsize (KiB) 4612 ################ # More data... # ################ /proc/27114/stat : 27114 (minisatid-gmp) R 27112 27114 25385 0 -1 4202496 923 0 0 0 100228 1 0 0 25 0 1 0 851803153 4722688 771 33554432000 4194304 6736272 140733695922912 18446744073709551615 4747840 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/27114/statm: 1153 771 286 621 0 523 0 Current children cumulated CPU time (s) 1002.29 Current children cumulated vsize (KiB) 4612 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.00 3/387 27170 /proc/meminfo: memFree=23332272/32951124 swapFree=49244120/67111528 [pid=27114] ppid=27112 vsize=4612 CPUtime=1062.29 cores=0,2,4,6 /proc/27114/stat : 27114 (minisatid-gmp) R 27112 27114 25385 0 -1 4202496 923 0 0 0 106228 1 0 0 25 0 1 0 851803153 4722688 771 33554432000 4194304 6736272 140733695922912 18446744073709551615 5806446 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/27114/statm: 1153 771 286 621 0 523 0 Current children cumulated CPU time (s) 1062.29 Current children cumulated vsize (KiB) 4612 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/387 27172 /proc/meminfo: memFree=23332732/32951124 swapFree=49244120/67111528 [pid=27114] ppid=27112 vsize=4936 CPUtime=1122.3 cores=0,2,4,6 /proc/27114/stat : 27114 (minisatid-gmp) R 27112 27114 25385 0 -1 4202496 928 0 0 0 112228 2 0 0 25 0 1 0 851803153 5054464 776 33554432000 4194304 6736272 140733695922912 18446744073709551615 5817937 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/27114/statm: 1234 776 286 621 0 604 0 Current children cumulated CPU time (s) 1122.3 Current children cumulated vsize (KiB) 4936 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/387 27173 /proc/meminfo: memFree=23332212/32951124 swapFree=49244120/67111528 [pid=27114] ppid=27112 vsize=4936 CPUtime=1182.3 cores=0,2,4,6 /proc/27114/stat : 27114 (minisatid-gmp) R 27112 27114 25385 0 -1 4202496 945 0 0 0 118228 2 0 0 25 0 1 0 851803153 5054464 793 33554432000 4194304 6736272 140733695922912 18446744073709551615 5806341 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/27114/statm: 1234 793 286 621 0 604 0 Current children cumulated CPU time (s) 1182.3 Current children cumulated vsize (KiB) 4936 [startup+1242.3 s] /proc/loadavg: 2.08 2.02 2.01 3/387 27175 /proc/meminfo: memFree=23331544/32951124 swapFree=49244120/67111528 [pid=27114] ppid=27112 vsize=4936 CPUtime=1242.3 cores=0,2,4,6 /proc/27114/stat : 27114 (minisatid-gmp) R 27112 27114 25385 0 -1 4202496 946 0 0 0 124228 2 0 0 25 0 1 0 851803153 5054464 794 33554432000 4194304 6736272 140733695922912 18446744073709551615 5219596 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/27114/statm: 1234 794 286 621 0 604 0 Current children cumulated CPU time (s) 1242.3 Current children cumulated vsize (KiB) 4936 [startup+1302.3 s] /proc/loadavg: 2.03 2.01 2.00 3/387 27176 /proc/meminfo: memFree=23330532/32951124 swapFree=49244120/67111528 [pid=27114] ppid=27112 vsize=4936 CPUtime=1302.32 cores=0,2,4,6 /proc/27114/stat : 27114 (minisatid-gmp) R 27112 27114 25385 0 -1 4202496 946 0 0 0 130230 2 0 0 25 0 1 0 851803153 5054464 794 33554432000 4194304 6736272 140733695922912 18446744073709551615 5148128 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/27114/statm: 1234 794 286 621 0 604 0 Current children cumulated CPU time (s) 1302.32 Current children cumulated vsize (KiB) 4936 [startup+1362.3 s] /proc/loadavg: 2.08 2.02 2.00 3/387 27178 /proc/meminfo: memFree=23331488/32951124 swapFree=49244120/67111528 [pid=27114] ppid=27112 vsize=4936 CPUtime=1362.3 cores=0,2,4,6 /proc/27114/stat : 27114 (minisatid-gmp) R 27112 27114 25385 0 -1 4202496 947 0 0 0 136228 2 0 0 25 0 1 0 851803153 5054464 795 33554432000 4194304 6736272 140733695922912 18446744073709551615 5149323 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/27114/statm: 1234 795 286 621 0 604 0 Current children cumulated CPU time (s) 1362.3 Current children cumulated vsize (KiB) 4936 [startup+1422.31 s] /proc/loadavg: 2.03 2.02 2.00 3/387 27180 /proc/meminfo: memFree=23331448/32951124 swapFree=49244120/67111528 [pid=27114] ppid=27112 vsize=4936 CPUtime=1422.32 cores=0,2,4,6 /proc/27114/stat : 27114 (minisatid-gmp) R 27112 27114 25385 0 -1 4202496 951 0 0 0 142230 2 0 0 25 0 1 0 851803153 5054464 799 33554432000 4194304 6736272 140733695922912 18446744073709551615 5150896 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/27114/statm: 1234 799 286 621 0 604 0 Current children cumulated CPU time (s) 1422.32 Current children cumulated vsize (KiB) 4936 [startup+1482.3 s] /proc/loadavg: 2.01 2.01 2.00 3/387 27181 /proc/meminfo: memFree=23331044/32951124 swapFree=49244120/67111528 [pid=27114] ppid=27112 vsize=4936 CPUtime=1482.31 cores=0,2,4,6 /proc/27114/stat : 27114 (minisatid-gmp) R 27112 27114 25385 0 -1 4202496 1007 0 0 0 148229 2 0 0 25 0 1 0 851803153 5054464 855 33554432000 4194304 6736272 140733695922912 18446744073709551615 5812017 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/27114/statm: 1234 855 286 621 0 604 0 Current children cumulated CPU time (s) 1482.31 Current children cumulated vsize (KiB) 4936 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/387 27183 /proc/meminfo: memFree=23332108/32951124 swapFree=49244120/67111528 [pid=27114] ppid=27112 vsize=4936 CPUtime=1542.31 cores=0,2,4,6 /proc/27114/stat : 27114 (minisatid-gmp) R 27112 27114 25385 0 -1 4202496 1007 0 0 0 154229 2 0 0 25 0 1 0 851803153 5054464 855 33554432000 4194304 6736272 140733695922912 18446744073709551615 5154864 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/27114/statm: 1234 855 286 621 0 604 0 Current children cumulated CPU time (s) 1542.31 Current children cumulated vsize (KiB) 4936 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/387 27184 /proc/meminfo: memFree=23332204/32951124 swapFree=49244120/67111528 [pid=27114] ppid=27112 vsize=4936 CPUtime=1602.31 cores=0,2,4,6 /proc/27114/stat : 27114 (minisatid-gmp) R 27112 27114 25385 0 -1 4202496 1007 0 0 0 160229 2 0 0 25 0 1 0 851803153 5054464 855 33554432000 4194304 6736272 140733695922912 18446744073709551615 5818066 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/27114/statm: 1234 855 286 621 0 604 0 Current children cumulated CPU time (s) 1602.31 Current children cumulated vsize (KiB) 4936 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/387 27186 /proc/meminfo: memFree=23331928/32951124 swapFree=49244120/67111528 [pid=27114] ppid=27112 vsize=4936 CPUtime=1662.31 cores=0,2,4,6 /proc/27114/stat : 27114 (minisatid-gmp) R 27112 27114 25385 0 -1 4202496 1007 0 0 0 166229 2 0 0 25 0 1 0 851803153 5054464 855 33554432000 4194304 6736272 140733695922912 18446744073709551615 5149152 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/27114/statm: 1234 855 286 621 0 604 0 Current children cumulated CPU time (s) 1662.31 Current children cumulated vsize (KiB) 4936 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/387 27188 /proc/meminfo: memFree=23332016/32951124 swapFree=49244120/67111528 [pid=27114] ppid=27112 vsize=4936 CPUtime=1722.3 cores=0,2,4,6 /proc/27114/stat : 27114 (minisatid-gmp) R 27112 27114 25385 0 -1 4202496 1007 0 0 0 172228 2 0 0 25 0 1 0 851803153 5054464 855 33554432000 4194304 6736272 140733695922912 18446744073709551615 4509632 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/27114/statm: 1234 855 286 621 0 604 0 Current children cumulated CPU time (s) 1722.3 Current children cumulated vsize (KiB) 4936 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/387 27189 /proc/meminfo: memFree=23330380/32951124 swapFree=49244120/67111528 [pid=27114] ppid=27112 vsize=4936 CPUtime=1782.31 cores=0,2,4,6 /proc/27114/stat : 27114 (minisatid-gmp) R 27112 27114 25385 0 -1 4202496 1007 0 0 0 178229 2 0 0 25 0 1 0 851803153 5054464 855 33554432000 4194304 6736272 140733695922912 18446744073709551615 5812150 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/27114/statm: 1234 855 286 621 0 604 0 Current children cumulated CPU time (s) 1782.31 Current children cumulated vsize (KiB) 4936 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.08 2.02 2.01 3/387 27190 /proc/meminfo: memFree=23330988/32951124 swapFree=49244120/67111528 [pid=27114] ppid=27112 vsize=4936 CPUtime=1800.02 cores=0,2,4,6 /proc/27114/stat : 27114 (minisatid-gmp) R 27112 27114 25385 0 -1 4202496 1007 0 0 0 180000 2 0 0 25 0 1 0 851803153 5054464 855 33554432000 4194304 6736272 140733695922912 18446744073709551615 5148013 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/27114/statm: 1234 855 286 621 0 604 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 4936 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -27114 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 2.08 2.02 2.01 2/388 27191 /proc/meminfo: memFree=23330236/32951124 swapFree=49244120/67111528 [pid=27114] ppid=27112 vsize=4936 CPUtime=1800.02 cores=0,2,4,6 /proc/27114/stat : 27114 (minisatid-gmp) S 27112 27114 25385 0 -1 4202496 1008 0 0 0 180000 2 0 0 25 0 1 0 851803153 5054464 856 33554432000 4194304 6736272 140733695922912 18446744073709551615 5924238 0 16384 4096 17571 18446604446389659648 0 0 17 0 0 0 0 /proc/27114/statm: 1234 856 287 621 0 604 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 4936 [startup+1801.81 s] /proc/loadavg: 2.08 2.02 2.01 1/389 27192 /proc/meminfo: memFree=23330228/32951124 swapFree=49244120/67111528 [pid=27114] ppid=27112 vsize=4936 CPUtime=1800.02 cores=0,2,4,6 /proc/27114/stat : 27114 (minisatid-gmp) S 27112 27114 25385 0 -1 4202496 1008 0 0 0 180000 2 0 0 25 0 1 0 851803153 5054464 856 33554432000 4194304 6736272 140733695922912 18446744073709551615 5924238 0 16384 4096 17571 18446604446389659648 0 0 17 0 0 0 0 /proc/27114/statm: 1234 856 287 621 0 604 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 4936 [startup+1802 s] /proc/loadavg: 2.08 2.02 2.01 1/389 27192 /proc/meminfo: memFree=23330228/32951124 swapFree=49244120/67111528 [pid=27114] ppid=27112 vsize=4936 CPUtime=1800.02 cores=0,2,4,6 /proc/27114/stat : 27114 (minisatid-gmp) S 27112 27114 25385 0 -1 4202496 1008 0 0 0 180000 2 0 0 25 0 1 0 851803153 5054464 856 33554432000 4194304 6736272 140733695922912 18446744073709551615 5924238 0 16384 4096 17571 18446604446389659648 0 0 17 0 0 0 0 /proc/27114/statm: 1234 856 287 621 0 604 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 4936 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.01 CPU time (s): 1800.03 CPU user time (s): 1800 CPU system time (s): 0.027995 CPU usage (%): 99.89 Max. virtual memory (cumulated for all children) (KiB): 8652 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800 system time used= 0.027995 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1008 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 22242 runsolver used 7.19491 second user time and 14.1069 second system time The end
Begin job on node101 at 2011-06-07 01:13:24 IDJOB=3466742 IDBENCH=2510 IDSOLVER=1957 FILE ID=node101/3466742-1307402004 RUNJOBID= node101-1307398399-26901 PBS_JOBID= 13514206 Free space on /tmp= 74056 MiB SOLVER NAME= MinisatID 2.4.8-gmp BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mas76.opb COMMAND LINE= HOME/minisatid-gmp BENCHNAME --verbosity=0 --format=opb RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3466742-1307402004/watcher-3466742-1307402004 -o /tmp/evaluation-result-3466742-1307402004/solver-3466742-1307402004 -C 1800 -W 1900 -M 15500 --use-pty HOME/minisatid-gmp HOME/instance-3466742-1307402004.opb --verbosity=0 --format=opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 1a1687e6de95bc6822d45f4331f81d44 RANDOM SEED=1266797573 node101.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.841 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.841 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.841 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.77 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.841 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.83 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.841 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.841 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.841 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.841 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.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 23418780 kB Buffers: 318348 kB Cached: 785364 kB SwapCached: 27124 kB Active: 8590424 kB Inactive: 653472 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 23418780 kB SwapTotal: 67111528 kB SwapFree: 49244120 kB Dirty: 3140 kB Writeback: 0 kB AnonPages: 8135096 kB Mapped: 17900 kB Slab: 148808 kB PageTables: 74440 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 78619224 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= 74060 MiB End job on node101 at 2011-06-07 01:43:26