Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.4 | SAT | 113007 | 1782.74 | 1783.53 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ MIPLIB/miplib/normalized-reduced-mps-v2-20-10-p0282.opb |
MD5SUM | d35dbcd7bf8957c732cac3ff25f67cb4 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 104028 |
Best CPU time to get the best result obtained on this benchmark | 1.19382 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 104028 |
Optimality of the best value was proved | YES |
Number of variables | 282 |
Total number of constraints | 221 |
Number of constraints which are clauses | 177 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 44 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 57 |
Number of terms in the objective function | 282 |
Biggest coefficient in the objective function | 64659 |
Number of bits for the biggest coefficient in the objective function | 16 |
Sum of the numbers in the objective function | 524436 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 64659 |
Number of bits of the biggest number in a constraint | 16 |
Biggest sum of numbers in a constraint | 524436 |
Number of bits of the biggest sum of numbers | 20 |
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 Pueblo version 1.4 (September 2005) 0.00/0.00 c Developed @ University of Michigan, Ann Arbor, MI 0.00/0.00 c by Hossein Sheini 0.00/0.01 c starting to Solve 0.00/0.01 c #variables read: 282 - #constraints read: 222 0.00/0.01 o 184000 0.00/0.01 o 182735 0.00/0.01 o 181881 0.00/0.01 o 181531 0.00/0.01 o 180724 0.00/0.01 o 170096 0.00/0.01 o 169911 0.00/0.01 o 169100 0.00/0.01 o 168831 0.00/0.01 o 168353 0.00/0.01 o 167443 0.00/0.01 o 166632 0.00/0.01 o 166069 0.00/0.01 o 165962 0.00/0.01 o 165356 0.00/0.02 o 165108 0.00/0.02 o 164648 0.00/0.02 o 135981 0.00/0.02 o 135651 0.00/0.02 o 131106 0.00/0.02 o 130196 0.00/0.02 o 129385 0.00/0.02 o 128208 0.00/0.02 o 127354 11.09/11.10 o 127017 11.09/11.10 o 126710 11.09/11.10 o 126617 11.09/11.10 o 123949 11.09/11.11 o 123856 11.09/11.11 o 123713 11.09/11.11 o 123620 11.09/11.11 o 122771 11.09/11.11 o 122564 11.09/11.11 o 122473 11.09/11.11 o 122471 11.09/11.11 o 122408 11.09/11.11 o 122265 11.09/11.11 o 122237 11.09/11.11 o 122235 11.09/11.11 o 122172 11.09/11.11 o 121789 11.09/11.11 o 121696 11.09/11.12 o 121166 11.09/11.12 o 121073 19.28/19.30 o 120835 19.28/19.31 o 120789 19.28/19.31 o 120759 19.28/19.31 o 120602 19.28/19.31 o 120594 19.28/19.32 o 120572 19.28/19.32 o 120568 19.28/19.32 o 120536 19.28/19.32 o 120528 19.28/19.32 o 120489 19.28/19.33 o 120457 19.28/19.33 o 120449 19.28/19.33 o 120417 19.28/19.33 o 120385 19.28/19.33 o 120381 19.28/19.33 o 120373 19.28/19.33 o 120356 19.28/19.33 o 120341 19.28/19.33 o 120309 19.28/19.34 o 120304 19.28/19.34 o 120272 19.28/19.34 o 120257 19.28/19.34 o 120225 19.28/19.34 o 119975 19.28/19.35 o 119899 19.28/19.35 o 119885 19.28/19.35 o 119853 19.28/19.35 o 119774 19.28/19.36 o 119766 19.28/19.36 o 119702 19.28/19.36 o 119694 19.28/19.38 o 119662 19.28/19.38 o 119614 19.28/19.38 o 119606 19.28/19.38 o 119495 19.28/19.38 o 119463 19.28/19.38 o 119391 19.28/19.38 o 119334 19.28/19.39 o 119326 19.28/19.39 o 119277 19.28/19.39 o 119269 19.28/19.39 o 119241 19.28/19.39 o 119233 19.28/19.39 o 119169 19.28/19.40 o 119161 19.38/19.40 o 119154 19.38/19.40 o 119093 19.38/19.40 o 119085 19.38/19.41 o 118974 19.38/19.41 o 118967 19.38/19.41 o 118856 19.38/19.43 o 118807 19.38/19.43 o 118792 19.38/19.43 o 118720 19.38/19.44 o 118670 19.38/19.45 o 118652 19.38/19.45 o 118585 19.38/19.45 o 118575 19.38/19.46 o 118503 19.38/19.46 o 118480 19.48/19.51 o 118469 19.48/19.52 o 118461 19.48/19.55 o 118458 19.48/19.55 o 118452 19.48/19.55 o 118393 19.48/19.56 o 118385 19.48/19.56 o 118358 19.48/19.56 o 118307 19.48/19.56 o 118286 19.48/19.56 o 118000 19.48/19.56 o 117671 19.48/19.57 o 117663 19.48/19.57 o 117655 19.48/19.57 o 117599 19.48/19.57 o 117559 19.48/19.57 o 117518 19.48/19.58 o 117510 19.48/19.58 o 117502 19.48/19.58 o 117478 19.48/19.58 o 117438 19.48/19.58 o 117386 19.48/19.59 o 117286 19.59/19.64 o 117245 19.59/19.65 o 117205 19.59/19.65 o 117197 19.59/19.66 o 117189 19.59/19.66 o 117137 19.59/19.67 o 117097 19.59/19.67 o 117089 19.59/19.68 o 117033 19.59/19.68 o 116997 19.59/19.69 o 116923 19.59/19.70 o 116914 19.69/19.73 o 116912 19.69/19.73 o 116904 19.69/19.73 o 116845 19.69/19.73 o 116837 19.69/19.74 o 116781 19.69/19.74 o 116623 19.79/19.84 o 116584 19.79/19.85 o 116566 19.79/19.86 o 116562 19.79/19.86 o 116558 19.79/19.86 o 116554 19.79/19.87 o 116536 19.79/19.87 o 116532 19.79/19.89 o 116477 19.79/19.89 o 116473 19.79/19.89 o 116469 19.79/19.89 o 116465 19.88/19.91 o 116464 19.88/19.91 o 116462 19.88/19.91 o 116459 19.88/19.91 o 116455 19.88/19.92 o 116427 19.88/19.92 o 116426 19.88/19.92 o 116422 19.88/19.93 o 116418 19.88/19.93 o 116414 19.88/19.93 o 116391 19.88/19.94 o 116389 19.88/19.95 o 116387 19.88/19.95 o 116383 19.88/19.95 o 116351 19.88/19.96 o 116347 20.08/20.15 o 116346 20.08/20.15 o 116336 20.08/20.15 o 116306 20.08/20.19 o 116277 20.08/20.19 o 116275 20.08/20.19 o 116273 20.18/20.25 o 116264 20.18/20.25 o 116218 20.18/20.28 o 116216 20.18/20.28 o 116214 20.18/20.28 o 116210 20.28/20.31 o 116199 20.28/20.38 o 116195 20.28/20.38 o 116191 20.28/20.39 o 116188 20.28/20.39 o 116174 20.28/20.40 o 116170 20.38/20.40 o 116160 20.38/20.40 o 116152 20.38/20.40 o 116148 20.38/20.40 o 116138 20.38/20.40 o 116130 20.38/20.40 o 116126 20.38/20.41 o 116116 20.38/20.41 o 116112 20.38/20.41 o 116098 20.38/20.42 o 116093 20.38/20.43 o 116085 20.38/20.44 o 116081 20.38/20.44 o 116071 20.38/20.44 o 116063 20.38/20.44 o 116059 20.38/20.46 o 116055 20.38/20.46 o 116018 20.38/20.47 o 116015 20.38/20.48 o 116010 20.38/20.48 o 115978 20.38/20.49 o 115951 20.38/20.49 o 115943 20.38/20.49 o 115911 20.38/20.49 o 115907 20.47/20.50 o 115879 20.47/20.50 o 115875 20.47/20.50 o 115871 20.47/20.50 o 115867 20.47/20.51 o 115803 20.47/20.51 o 115755 20.47/20.52 o 115751 20.47/20.52 o 115747 20.47/20.52 o 115743 20.47/20.53 o 115740 20.47/20.53 o 115739 20.47/20.53 o 115735 20.47/20.53 o 115731 20.47/20.54 o 115712 20.47/20.54 o 115708 20.47/20.54 o 115704 20.47/20.55 o 115700 20.47/20.55 o 115696 20.47/20.55 o 115672 20.67/20.72 o 115618 20.67/20.73 o 115615 20.67/20.73 o 115559 20.67/20.73 o 115551 20.67/20.76 o 115538 20.67/20.76 o 115510 20.67/20.79 o 115472 20.67/20.80 o 115470 20.67/20.80 o 115462 20.67/20.80 o 115406 20.79/20.80 o 115400 20.79/20.81 o 115379 20.79/20.81 o 115371 20.79/20.81 o 115315 20.79/20.83 o 115307 20.79/20.83 o 115277 20.79/20.83 o 115269 20.79/20.84 o 115248 20.79/20.86 o 115242 20.79/20.86 o 115234 20.79/20.87 o 115231 20.79/20.87 o 115223 20.79/20.88 o 115195 20.79/20.88 o 115174 20.79/20.89 o 115169 20.79/20.89 o 115167 20.79/20.89 o 115125 20.79/20.89 o 115117 20.79/20.89 o 115111 20.79/20.89 o 115103 20.98/21.02 o 115101 20.98/21.02 o 115100 20.98/21.02 o 115092 20.98/21.02 o 115087 20.98/21.03 o 115085 20.98/21.03 o 115043 20.98/21.04 o 115035 20.98/21.06 o 115031 20.98/21.06 o 115029 20.98/21.08 o 114973 20.98/21.08 o 114944 20.98/21.08 o 114937 21.07/21.10 o 114919 21.07/21.10 o 114911 21.07/21.10 o 114881 21.07/21.10 o 114852 21.07/21.11 o 114844 21.07/21.11 o 114820 21.07/21.11 o 114780 21.17/21.22 o 114718 21.17/21.24 o 114645 21.17/21.24 o 114637 21.17/21.24 o 114618 21.17/21.25 o 114592 21.17/21.25 o 114552 21.17/21.25 o 114546 21.17/21.25 o 114538 21.17/21.25 o 114531 21.17/21.25 o 114523 21.17/21.25 o 114499 21.17/21.26 o 114497 21.17/21.26 o 114489 21.17/21.27 o 114488 21.17/21.27 o 114485 21.17/21.28 o 114478 21.17/21.29 o 114461 21.17/21.29 o 114421 21.27/21.30 o 114413 21.27/21.31 o 114395 21.27/21.31 o 114387 21.27/21.31 o 114357 21.27/21.31 o 114336 21.27/21.32 o 114328 21.27/21.32 o 114320 21.27/21.32 o 114296 21.27/21.32 o 114256 22.08/22.12 o 114224 22.08/22.14 o 114119 22.08/22.14 o 113962 22.08/22.14 o 113831 22.18/22.27 o 113819 22.18/22.28 o 113817 22.18/22.28 o 113809 22.28/22.30 o 113802 22.28/22.30 o 113801 22.28/22.30 o 113789 22.28/22.30 o 113784 22.28/22.30 o 113782 22.28/22.31 o 113774 22.28/22.31 o 113764 22.28/22.31 o 113752 22.28/22.31 o 113744 22.28/22.31 o 113736 22.28/22.31 o 113724 22.28/22.31 o 113716 22.28/22.32 o 113712 22.28/22.32 o 113706 22.28/22.33 o 113698 22.28/22.33 o 113690 22.28/22.33 o 113678 22.28/22.33 o 113666 22.28/22.33 o 113646 22.28/22.33 o 113634 22.28/22.33 o 113626 22.28/22.34 o 113613 22.28/22.36 o 113591 22.28/22.37 o 113571 22.28/22.37 o 113557 22.28/22.38 o 113531 22.38/22.42 o 113529 22.38/22.42 o 113521 22.38/22.43 o 113497 22.38/22.44 o 113489 22.38/22.44 o 113481 22.38/22.44 o 113437 22.38/22.45 o 113436 22.38/22.45 o 113428 22.38/22.46 o 113427 22.38/22.47 o 113426 22.38/22.47 o 113418 22.38/22.47 o 113410 22.38/22.47 o 113366 22.38/22.48 o 113346 22.38/22.48 o 113334 22.38/22.48 o 113326 22.38/22.50 o 113308 22.47/22.50 o 113296 22.47/22.55 o 113288 22.47/22.55 o 113287 22.47/22.55 o 113275 22.47/22.55 o 113267 22.47/22.55 o 113259 22.47/22.56 o 113215 22.47/22.56 o 113203 22.47/22.56 o 113195 22.57/22.64 o 113158 22.57/22.65 o 113119 22.57/22.66 o 113091 22.57/22.66 o 113089 22.57/22.66 o 113077 22.57/22.67 o 113069 22.57/22.67 o 113027 22.57/22.67 o 113015 22.57/22.67 o 113007 1782.66/1783.45 c total time : 1783 s 1782.66/1783.45 s SATISFIABLE 1782.66/1783.45 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 1782.66/1783.45 v -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 1782.66/1783.45 v -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 1782.66/1783.45 v -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 1782.66/1783.45 v -x107 -x108 -x109 -x110 -x111 x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 1782.66/1783.45 v -x128 -x129 -x130 -x131 -x132 -x133 x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 1782.66/1783.45 v -x149 -x150 -x151 -x152 -x153 -x154 x155 x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 x164 -x165 -x166 -x167 -x168 -x169 1782.66/1783.45 v -x170 -x171 x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 1782.66/1783.45 v -x191 x192 -x193 -x194 -x195 -x196 -x197 x198 -x199 x200 -x201 -x202 -x203 -x204 x205 -x206 x207 x208 -x209 -x210 -x211 -x212 1782.66/1783.45 v x213 -x214 x215 x216 -x217 -x218 -x219 -x220 -x221 -x222 x223 x224 x225 x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 1782.66/1783.45 v -x235 -x236 -x237 -x238 -x239 x240 -x241 x242 x243 x244 x245 -x246 x247 -x248 x249 -x250 -x251 x252 x253 -x254 x255 -x256 x257 1782.66/1783.45 v x258 -x259 -x260 x261 -x262 x263 x264 -x265 -x266 -x267 -x268 x269 -x270 -x271 -x272 x273 x274 -x275 -x276 x277 -x278 -x279 1782.66/1783.45 v -x280 -x281 x282
OK 113007
/tmp/evaluation/363109-1177023013/instance-363109-1177023013.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node20/watcher-363109-1177023013 -o ROOT/results/node20/solver-363109-1177023013 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/363109-1177023013/instance-363109-1177023013.opb 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): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.12 1.07 1.01 3/77 3392 /proc/meminfo: memFree=1843120/2055920 swapFree=4155228/4192956 [pid=3392] ppid=3390 vsize=2552 CPUtime=0 /proc/3392/stat : 3392 (Pueblo) R 3390 3392 2396 0 -1 4194304 260 0 0 0 0 0 0 0 18 0 1 0 150218642 2613248 230 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 8085207 0 0 4096 0 0 0 0 17 1 0 0 /proc/3392/statm: 638 230 193 16 0 77 0 [startup+0.081122 s] /proc/loadavg: 1.12 1.07 1.01 3/77 3392 /proc/meminfo: memFree=1843120/2055920 swapFree=4155228/4192956 [pid=3392] ppid=3390 vsize=2820 CPUtime=0.07 /proc/3392/stat : 3392 (Pueblo) R 3390 3392 2396 0 -1 4194304 331 0 0 0 7 0 0 0 18 0 1 0 150218642 2887680 301 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3392/statm: 705 301 205 16 0 144 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 2820 [startup+0.101125 s] /proc/loadavg: 1.12 1.07 1.01 3/77 3392 /proc/meminfo: memFree=1843120/2055920 swapFree=4155228/4192956 [pid=3392] ppid=3390 vsize=2820 CPUtime=0.09 /proc/3392/stat : 3392 (Pueblo) R 3390 3392 2396 0 -1 4194304 336 0 0 0 9 0 0 0 18 0 1 0 150218642 2887680 306 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3392/statm: 705 306 205 16 0 144 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2820 [startup+0.301164 s] /proc/loadavg: 1.12 1.07 1.01 3/77 3392 /proc/meminfo: memFree=1843120/2055920 swapFree=4155228/4192956 [pid=3392] ppid=3390 vsize=2820 CPUtime=0.28 /proc/3392/stat : 3392 (Pueblo) R 3390 3392 2396 0 -1 4194304 351 0 0 0 28 0 0 0 19 0 1 0 150218642 2887680 321 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3392/statm: 705 321 205 16 0 144 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 2820 [startup+0.701245 s] /proc/loadavg: 1.12 1.07 1.01 3/77 3392 /proc/meminfo: memFree=1843120/2055920 swapFree=4155228/4192956 [pid=3392] ppid=3390 vsize=2952 CPUtime=0.69 /proc/3392/stat : 3392 (Pueblo) R 3390 3392 2396 0 -1 4194304 366 0 0 0 67 2 0 0 23 0 1 0 150218642 3022848 336 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3392/statm: 738 336 205 16 0 177 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 2952 [startup+1.50141 s] /proc/loadavg: 1.12 1.07 1.01 2/78 3393 /proc/meminfo: memFree=1842472/2055920 swapFree=4155228/4192956 [pid=3392] ppid=3390 vsize=2952 CPUtime=1.49 /proc/3392/stat : 3392 (Pueblo) R 3390 3392 2396 0 -1 4194304 391 0 0 0 146 3 0 0 25 0 1 0 150218642 3022848 361 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3392/statm: 738 361 205 16 0 177 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 2952 [startup+3.10173 s] /proc/loadavg: 1.12 1.07 1.01 2/78 3393 /proc/meminfo: memFree=1842280/2055920 swapFree=4155228/4192956 [pid=3392] ppid=3390 vsize=3080 CPUtime=3.09 /proc/3392/stat : 3392 (Pueblo) R 3390 3392 2396 0 -1 4194304 404 0 0 0 300 9 0 0 25 0 1 0 150218642 3153920 374 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3392/statm: 770 374 205 16 0 209 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 3080 [startup+6.30137 s] /proc/loadavg: 1.11 1.07 1.01 2/78 3393 /proc/meminfo: memFree=1842160/2055920 swapFree=4155228/4192956 [pid=3392] ppid=3390 vsize=3080 CPUtime=6.28 /proc/3392/stat : 3392 (Pueblo) R 3390 3392 2396 0 -1 4194304 424 0 0 0 610 18 0 0 25 0 1 0 150218642 3153920 394 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3392/statm: 770 394 205 16 0 209 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 3080 [startup+12.7017 s] /proc/loadavg: 1.10 1.07 1.01 2/78 3393 /proc/meminfo: memFree=1841976/2055920 swapFree=4155228/4192956 [pid=3392] ppid=3390 vsize=3200 CPUtime=12.68 /proc/3392/stat : 3392 (Pueblo) R 3390 3392 2396 0 -1 4194304 444 0 0 0 1230 38 0 0 25 0 1 0 150218642 3276800 414 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3392/statm: 800 414 205 16 0 239 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 3200 [startup+25.5012 s] /proc/loadavg: 1.08 1.06 1.01 2/78 3393 /proc/meminfo: memFree=1841144/2055920 swapFree=4155228/4192956 [pid=3392] ppid=3390 vsize=3980 CPUtime=25.48 /proc/3392/stat : 3392 (Pueblo) R 3390 3392 2396 0 -1 4194304 649 0 0 0 2464 84 0 0 25 0 1 0 150218642 4075520 619 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3392/statm: 995 619 205 16 0 434 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 3980 [startup+51.1014 s] /proc/loadavg: 1.05 1.06 1.01 2/78 3393 /proc/meminfo: memFree=1841144/2055920 swapFree=4155228/4192956 [pid=3392] ppid=3390 vsize=3980 CPUtime=51.07 /proc/3392/stat : 3392 (Pueblo) R 3390 3392 2396 0 -1 4194304 649 0 0 0 4979 128 0 0 25 0 1 0 150218642 4075520 619 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527824 0 0 4096 0 0 0 0 17 1 0 0 /proc/3392/statm: 995 619 205 16 0 434 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 3980 [startup+102.306 s] /proc/loadavg: 1.02 1.05 1.00 2/78 3393 /proc/meminfo: memFree=1841016/2055920 swapFree=4155228/4192956 [pid=3392] ppid=3390 vsize=4240 CPUtime=102.25 /proc/3392/stat : 3392 (Pueblo) R 3390 3392 2396 0 -1 4194304 692 0 0 0 10036 189 0 0 25 0 1 0 150218642 4341760 662 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3392/statm: 1060 662 205 16 0 499 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 4240 [startup+162.302 s] /proc/loadavg: 1.01 1.04 1.00 2/78 3393 /proc/meminfo: memFree=1840760/2055920 swapFree=4155228/4192956 [pid=3392] ppid=3390 vsize=4480 CPUtime=162.23 /proc/3392/stat : 3392 (Pueblo) R 3390 3392 2396 0 -1 4194304 752 0 0 0 15950 273 0 0 25 0 1 0 150218642 4587520 722 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3392/statm: 1120 722 205 16 0 559 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 4480 [startup+222.302 s] /proc/loadavg: 1.00 1.03 1.00 2/78 3393 /proc/meminfo: memFree=1840696/2055920 swapFree=4155228/4192956 [pid=3392] ppid=3390 vsize=4480 CPUtime=222.21 /proc/3392/stat : 3392 (Pueblo) R 3390 3392 2396 0 -1 4194304 760 0 0 0 21822 399 0 0 25 0 1 0 150218642 4587520 730 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3392/statm: 1120 730 205 16 0 559 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 4480 [startup+282.302 s] /proc/loadavg: 1.00 1.02 1.00 2/78 3393 /proc/meminfo: memFree=1840504/2055920 swapFree=4155228/4192956 [pid=3392] ppid=3390 vsize=4736 CPUtime=282.18 /proc/3392/stat : 3392 (Pueblo) R 3390 3392 2396 0 -1 4194304 815 0 0 0 27709 509 0 0 25 0 1 0 150218642 4849664 785 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3392/statm: 1184 785 205 16 0 623 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 4736 [startup+342.303 s] /proc/loadavg: 1.00 1.01 1.00 2/78 3393 /proc/meminfo: memFree=1840440/2055920 swapFree=4155228/4192956 [pid=3392] ppid=3390 vsize=4736 CPUtime=342.17 /proc/3392/stat : 3392 (Pueblo) R 3390 3392 2396 0 -1 4194304 834 0 0 0 33597 620 0 0 25 0 1 0 150218642 4849664 804 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527753 0 0 4096 0 0 0 0 17 1 0 0 /proc/3392/statm: 1184 804 205 16 0 623 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 4736 [startup+402.302 s] /proc/loadavg: 1.00 1.01 1.00 2/78 3393 /proc/meminfo: memFree=1840376/2055920 swapFree=4155228/4192956 [pid=3392] ppid=3390 vsize=4840 CPUtime=402.15 /proc/3392/stat : 3392 (Pueblo) R 3390 3392 2396 0 -1 4194304 852 0 0 0 39342 873 0 0 25 0 1 0 150218642 4956160 822 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3392/statm: 1210 822 205 16 0 649 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 4840 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 3393 /proc/meminfo: memFree=1840376/2055920 swapFree=4155228/4192956 [pid=3392] ppid=3390 vsize=4840 CPUtime=462.12 /proc/3392/stat : 3392 (Pueblo) R 3390 3392 2396 0 -1 4194304 852 0 0 0 45000 1212 0 0 25 0 1 0 150218642 4956160 822 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3392/statm: 1210 822 205 16 0 649 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 4840 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 3393 /proc/meminfo: memFree=1840376/2055920 swapFree=4155228/4192956 [pid=3392] ppid=3390 vsize=4840 CPUtime=522.1 /proc/3392/stat : 3392 (Pueblo) R 3390 3392 2396 0 -1 4194304 852 0 0 0 50685 1525 0 0 25 0 1 0 150218642 4956160 822 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3392/statm: 1210 822 205 16 0 649 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 4840 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 3393 /proc/meminfo: memFree=1840376/2055920 swapFree=4155228/4192956 [pid=3392] ppid=3390 vsize=4840 CPUtime=582.08 /proc/3392/stat : 3392 (Pueblo) R 3390 3392 2396 0 -1 4194304 852 0 0 0 56337 1871 0 0 25 0 1 0 150218642 4956160 822 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3392/statm: 1210 822 205 16 0 649 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 4840 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 3393 /proc/meminfo: memFree=1840376/2055920 swapFree=4155228/4192956 [pid=3392] ppid=3390 vsize=4840 CPUtime=642.06 /proc/3392/stat : 3392 (Pueblo) R 3390 3392 2396 0 -1 4194304 852 0 0 0 62031 2175 0 0 25 0 1 0 150218642 4956160 822 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3392/statm: 1210 822 205 16 0 649 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 4840 ################ # More data... # ################ /proc/meminfo: memFree=1839608/2055920 swapFree=4155228/4192956 [pid=3392] ppid=3390 vsize=5264 CPUtime=821.9 /proc/3392/stat : 3392 (Pueblo) R 3390 3392 2396 0 -1 4194304 957 0 0 0 79738 2452 0 0 25 0 1 0 150218642 5390336 927 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3392/statm: 1316 927 205 16 0 755 0 Current children cumulated CPU time (s) 821.9 Current children cumulated vsize (KiB) 5264 [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 3591 /proc/meminfo: memFree=1839608/2055920 swapFree=4155228/4192956 [pid=3392] ppid=3390 vsize=5380 CPUtime=881.89 /proc/3392/stat : 3392 (Pueblo) R 3390 3392 2396 0 -1 4194304 983 0 0 0 85656 2533 0 0 25 0 1 0 150218642 5509120 953 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3392/statm: 1345 953 205 16 0 784 0 Current children cumulated CPU time (s) 881.89 Current children cumulated vsize (KiB) 5380 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 3591 /proc/meminfo: memFree=1839608/2055920 swapFree=4155228/4192956 [pid=3392] ppid=3390 vsize=5380 CPUtime=941.86 /proc/3392/stat : 3392 (Pueblo) R 3390 3392 2396 0 -1 4194304 983 0 0 0 91521 2665 0 0 25 0 1 0 150218642 5509120 953 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3392/statm: 1345 953 205 16 0 784 0 Current children cumulated CPU time (s) 941.86 Current children cumulated vsize (KiB) 5380 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 3591 /proc/meminfo: memFree=1839608/2055920 swapFree=4155228/4192956 [pid=3392] ppid=3390 vsize=5380 CPUtime=1001.84 /proc/3392/stat : 3392 (Pueblo) R 3390 3392 2396 0 -1 4194304 983 0 0 0 97422 2762 0 0 25 0 1 0 150218642 5509120 953 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3392/statm: 1345 953 205 16 0 784 0 Current children cumulated CPU time (s) 1001.84 Current children cumulated vsize (KiB) 5380 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 3591 /proc/meminfo: memFree=1839608/2055920 swapFree=4155228/4192956 [pid=3392] ppid=3390 vsize=5380 CPUtime=1061.82 /proc/3392/stat : 3392 (Pueblo) R 3390 3392 2396 0 -1 4194304 983 0 0 0 103351 2831 0 0 25 0 1 0 150218642 5509120 953 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3392/statm: 1345 953 205 16 0 784 0 Current children cumulated CPU time (s) 1061.82 Current children cumulated vsize (KiB) 5380 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 3591 /proc/meminfo: memFree=1839608/2055920 swapFree=4155228/4192956 [pid=3392] ppid=3390 vsize=5380 CPUtime=1121.8 /proc/3392/stat : 3392 (Pueblo) R 3390 3392 2396 0 -1 4194304 983 0 0 0 109217 2963 0 0 25 0 1 0 150218642 5509120 953 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3392/statm: 1345 953 205 16 0 784 0 Current children cumulated CPU time (s) 1121.8 Current children cumulated vsize (KiB) 5380 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 3591 /proc/meminfo: memFree=1839608/2055920 swapFree=4155228/4192956 [pid=3392] ppid=3390 vsize=5380 CPUtime=1181.78 /proc/3392/stat : 3392 (Pueblo) R 3390 3392 2396 0 -1 4194304 983 0 0 0 115139 3039 0 0 25 0 1 0 150218642 5509120 953 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3392/statm: 1345 953 205 16 0 784 0 Current children cumulated CPU time (s) 1181.78 Current children cumulated vsize (KiB) 5380 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 3591 /proc/meminfo: memFree=1839608/2055920 swapFree=4155228/4192956 [pid=3392] ppid=3390 vsize=5380 CPUtime=1241.76 /proc/3392/stat : 3392 (Pueblo) R 3390 3392 2396 0 -1 4194304 983 0 0 0 121079 3097 0 0 25 0 1 0 150218642 5509120 953 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3392/statm: 1345 953 205 16 0 784 0 Current children cumulated CPU time (s) 1241.76 Current children cumulated vsize (KiB) 5380 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 3591 /proc/meminfo: memFree=1839544/2055920 swapFree=4155228/4192956 [pid=3392] ppid=3390 vsize=5380 CPUtime=1301.74 /proc/3392/stat : 3392 (Pueblo) R 3390 3392 2396 0 -1 4194304 983 0 0 0 127026 3148 0 0 25 0 1 0 150218642 5509120 953 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3392/statm: 1345 953 205 16 0 784 0 Current children cumulated CPU time (s) 1301.74 Current children cumulated vsize (KiB) 5380 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 3591 /proc/meminfo: memFree=1839544/2055920 swapFree=4155228/4192956 [pid=3392] ppid=3390 vsize=5380 CPUtime=1361.71 /proc/3392/stat : 3392 (Pueblo) R 3390 3392 2396 0 -1 4194304 983 0 0 0 132957 3214 0 0 25 0 1 0 150218642 5509120 953 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3392/statm: 1345 953 205 16 0 784 0 Current children cumulated CPU time (s) 1361.71 Current children cumulated vsize (KiB) 5380 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 3591 /proc/meminfo: memFree=1839480/2055920 swapFree=4155228/4192956 [pid=3392] ppid=3390 vsize=5380 CPUtime=1421.7 /proc/3392/stat : 3392 (Pueblo) R 3390 3392 2396 0 -1 4194304 983 0 0 0 138900 3270 0 0 25 0 1 0 150218642 5509120 953 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3392/statm: 1345 953 205 16 0 784 0 Current children cumulated CPU time (s) 1421.7 Current children cumulated vsize (KiB) 5380 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 3591 /proc/meminfo: memFree=1839032/2055920 swapFree=4155228/4192956 [pid=3392] ppid=3390 vsize=5820 CPUtime=1481.67 /proc/3392/stat : 3392 (Pueblo) R 3390 3392 2396 0 -1 4194304 1097 0 0 0 144832 3335 0 0 25 0 1 0 150218642 5959680 1067 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3392/statm: 1455 1067 205 16 0 894 0 Current children cumulated CPU time (s) 1481.67 Current children cumulated vsize (KiB) 5820 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 3591 /proc/meminfo: memFree=1838968/2055920 swapFree=4155228/4192956 [pid=3392] ppid=3390 vsize=5928 CPUtime=1541.65 /proc/3392/stat : 3392 (Pueblo) R 3390 3392 2396 0 -1 4194304 1111 0 0 0 150766 3399 0 0 25 0 1 0 150218642 6070272 1081 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3392/statm: 1482 1081 205 16 0 921 0 Current children cumulated CPU time (s) 1541.65 Current children cumulated vsize (KiB) 5928 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 3591 /proc/meminfo: memFree=1838968/2055920 swapFree=4155228/4192956 [pid=3392] ppid=3390 vsize=5928 CPUtime=1601.63 /proc/3392/stat : 3392 (Pueblo) R 3390 3392 2396 0 -1 4194304 1111 0 0 0 156565 3598 0 0 25 0 1 0 150218642 6070272 1081 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3392/statm: 1482 1081 205 16 0 921 0 Current children cumulated CPU time (s) 1601.63 Current children cumulated vsize (KiB) 5928 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 3591 /proc/meminfo: memFree=1838968/2055920 swapFree=4155228/4192956 [pid=3392] ppid=3390 vsize=5928 CPUtime=1661.61 /proc/3392/stat : 3392 (Pueblo) R 3390 3392 2396 0 -1 4194304 1111 0 0 0 162460 3701 0 0 25 0 1 0 150218642 6070272 1081 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3392/statm: 1482 1081 205 16 0 921 0 Current children cumulated CPU time (s) 1661.61 Current children cumulated vsize (KiB) 5928 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 3591 /proc/meminfo: memFree=1838968/2055920 swapFree=4155228/4192956 [pid=3392] ppid=3390 vsize=5928 CPUtime=1721.58 /proc/3392/stat : 3392 (Pueblo) R 3390 3392 2396 0 -1 4194304 1111 0 0 0 168395 3763 0 0 25 0 1 0 150218642 6070272 1081 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3392/statm: 1482 1081 205 16 0 921 0 Current children cumulated CPU time (s) 1721.58 Current children cumulated vsize (KiB) 5928 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 3591 /proc/meminfo: memFree=1838840/2055920 swapFree=4155228/4192956 [pid=3392] ppid=3390 vsize=5928 CPUtime=1781.56 /proc/3392/stat : 3392 (Pueblo) R 3390 3392 2396 0 -1 4194304 1111 0 0 0 174311 3845 0 0 25 0 1 0 150218642 6070272 1081 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3392/statm: 1482 1081 205 16 0 921 0 Current children cumulated CPU time (s) 1781.56 Current children cumulated vsize (KiB) 5928 Solver just ended. Dumping a history of the last processes samples [startup+1783.11 s] /proc/loadavg: 1.00 1.00 1.00 2/78 3591 /proc/meminfo: memFree=1838840/2055920 swapFree=4155228/4192956 [pid=3392] ppid=3390 vsize=5928 CPUtime=1782.37 /proc/3392/stat : 3392 (Pueblo) R 3390 3392 2396 0 -1 4194304 1111 0 0 0 174390 3847 0 0 25 0 1 0 150218642 6070272 1081 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3392/statm: 1482 1081 205 16 0 921 0 Current children cumulated CPU time (s) 1782.37 Current children cumulated vsize (KiB) 5928 [startup+1783.5 s] /proc/loadavg: 1.00 1.00 1.00 2/78 3591 /proc/meminfo: memFree=1838840/2055920 swapFree=4155228/4192956 [pid=3392] ppid=3390 vsize=0 CPUtime=1782.73 /proc/3392/stat : 3392 (Pueblo) D 3390 3392 2396 0 -1 4194308 1128 0 0 0 174425 3848 0 0 25 0 1 0 150218642 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 0 18446744072100051646 0 0 17 1 0 0 /proc/3392/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1782.73 Current children cumulated vsize (KiB) 0 Child status: 10 Real time (s): 1783.53 CPU time (s): 1782.74 CPU user time (s): 1744.25 CPU system time (s): 38.4811 CPU usage (%): 99.9557 Max. virtual memory (cumulated for all children) (KiB): 5940 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1744.25 system time used= 38.4811 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1128 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= 13 involuntary context switches= 35699 runsolver used 1.90771 second user time and 4.06738 second system time The end
Begin job on node20 on Thu Apr 19 22:50:13 UTC 2007 IDJOB= 363109 IDBENCH= 1736 IDSOLVER= 165 FILE ID= node20/363109-1177023013 PBS_JOBID= 4630581 Free space on /tmp= 66455 MiB SOLVER NAME= Pueblo 1.4 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-p0282.opb COMMAND LINE= Pueblo /tmp/evaluation/363109-1177023013/instance-363109-1177023013.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node20/convwatcher-363109-1177023013 -o ROOT/results/node20/conversion-363109-1177023013 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/363109-1177023013/instance-363109-1177023013.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node20/watcher-363109-1177023013 -o ROOT/results/node20/solver-363109-1177023013 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/363109-1177023013/instance-363109-1177023013.opb META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7 MD5SUM BENCH= d35dbcd7bf8957c732cac3ff25f67cb4 RANDOM SEED= 448773173 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node20.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.265 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 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 lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.265 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 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 lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1843528 kB Buffers: 27172 kB Cached: 101804 kB SwapCached: 16068 kB Active: 72048 kB Inactive: 80400 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1843528 kB SwapTotal: 4192956 kB SwapFree: 4155228 kB Dirty: 2316 kB Writeback: 0 kB Mapped: 30516 kB Slab: 45536 kB Committed_AS: 1906460 kB PageTables: 1748 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66455 MiB End job on node20 on Thu Apr 19 23:19:57 UTC 2007