Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (TO) | 15746 | 1800.09 | 1802.72 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-neos5.opb |
MD5SUM | 687e90f40c46b53feec9c54ee9b43fa6 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 15363 |
Best CPU time to get the best result obtained on this benchmark | 1800.08 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 15360 |
Optimality of the best value was proved | NO |
Number of variables | 163 |
Total number of constraints | 73 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 3 |
Number of constraints which are nor clauses,nor cardinality constraints | 70 |
Minimum length of a constraint | 11 |
Maximum length of a constraint | 102 |
Number of terms in the objective function | 163 |
Biggest coefficient in the objective function | 1024 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 74742 |
Number of bits of the sum of numbers in the objective function | 17 |
Biggest number in a constraint | 8192 |
Number of bits of the biggest number in a constraint | 14 |
Biggest sum of numbers in a constraint | 74742 |
Number of bits of the biggest sum of numbers | 17 |
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 bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT 0.00/0.00 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/432818-1177950235/instance-432818-1177950235.opb 0.00/0.00 c File size is 50269 bytes. 0.00/0.01 c Highest Coefficient sum: 74742 0.00/0.01 c Parsing was ok!! 0.00/0.01 c Total parsing time: 0.009 s 0.00/0.01 c Var: 163 Constr: 73 0/3/70 Lit: 5326 Watch. Lit: 548 0.00/0.01 c Obj. Vars: 163 (100 % of total variables) 0.00/0.01 c Pre-processing Time: 0.013 s 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 0 163 73 5326 72 548 10705 0 0 0.01 0.00/0.02 c Initial Lower Bound: 13312 0.00/0.02 c Initial Path Cost: 0 0.00/0.02 o 20480 0.023 0.09/0.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.19 c 0 163 74 5489 74 693 11031 1 0 0.02 0.09/0.19 o 16897 0.195 * 0.29/0.33 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.33 c 0 163 75 5652 75 893 11357 2 0 0.20 0.29/0.33 o 16385 0.331 * 0.69/0.77 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.77 c 0 163 76 5815 76 944 11683 3 0 0.33 0.69/0.77 o 16384 0.77 * 1.49/1.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.49/1.54 c 66 163 207 15023 72 1691 11683 134 85 0.77 1.49/1.54 c 167 163 409 27034 66 1980 12852 336 126 1.31 1.49/1.54 o 16364 1.536 * 2.89/2.94 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.89/2.94 c 168 163 412 27323 66 1979 11683 339 109 1.54 2.89/2.94 c 269 163 614 37458 61 2425 12852 541 124 2.16 2.89/2.94 o 16354 2.944 * 4.79/4.87 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.79/4.87 c 413 163 903 53442 59 3332 11683 830 140 2.94 4.79/4.87 c 515 163 1107 66754 60 3628 12852 1034 146 3.51 4.79/4.87 c 766 163 1609 92263 57 4447 14138 1536 163 4.69 4.79/4.87 o 16129 4.867 * 26.88/26.90 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 26.88/26.90 c 766 163 1610 92426 57 4693 11683 1537 157 4.87 26.88/26.90 c 867 163 1812 101073 55 4983 12852 1739 158 5.46 26.88/26.90 c 1119 163 2315 126327 54 5951 14138 2242 167 6.68 26.88/26.90 c 1596 163 3267 173152 53 7931 15552 3194 177 8.99 26.88/26.90 c 2409 163 4893 282212 57 10933 17108 4820 187 12.83 26.88/26.90 c 3731 163 7537 489962 65 16285 18819 7464 207 17.96 26.88/26.90 c 5812 163 11692 800324 68 24732 20701 11619 221 26.26 26.88/26.90 o 16001 26.893 * 27.88/27.93 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 27.88/27.93 c 5923 163 11912 815826 68 25500 11683 11839 220 26.89 27.88/27.93 c 6029 163 6128 412634 67 12942 12852 6055 217 27.67 27.88/27.93 o 15875 27.92 * 43.67/43.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 43.67/43.71 c 6030 163 6131 412873 67 13208 11031 6058 215 27.92 43.67/43.71 c 6130 163 6331 423727 66 13492 12135 6258 214 28.60 43.67/43.71 c 6381 163 6833 449294 65 14376 13349 6760 212 30.01 43.67/43.71 c 6858 163 7787 512853 65 16228 14684 7714 209 32.69 43.67/43.71 c 7674 163 9419 589198 62 19472 16153 9346 207 36.93 43.67/43.71 c 8995 163 12061 762968 63 24726 17769 11988 207 43.34 43.67/43.71 o 15873 43.698 * 50.78/50.84 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 50.78/50.84 c 9034 163 12129 768712 63 25199 11031 12056 206 43.70 50.78/50.84 c 9136 163 5794 379419 65 12211 12135 5721 204 44.60 50.78/50.84 c 9387 163 6296 405676 64 13143 13349 6223 204 45.99 50.78/50.84 c 9863 163 7248 450577 62 15029 14684 7175 203 48.57 50.78/50.84 o 15872 50.826 * 139.04/139.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 139.04/139.10 c 10270 163 8063 487357 60 16738 11031 7990 202 50.83 139.04/139.10 c 10370 163 8263 498630 60 17128 12135 8190 201 51.51 139.04/139.10 c 10623 163 8769 516453 58 18150 13349 8696 200 53.00 139.04/139.10 c 11098 163 9719 581644 59 20033 14684 9646 200 55.41 139.04/139.10 c 11911 163 11345 675232 59 23400 16153 11272 199 59.63 139.04/139.10 c 13231 163 13985 821180 58 28585 17769 13912 199 66.48 139.04/139.10 c 15316 163 9213 508577 55 18987 19546 9140 197 77.72 139.04/139.10 c 18540 163 13943 991565 71 28921 21501 13870 209 88.71 139.04/139.10 c 23476 163 12988 813317 62 26510 23652 12915 201 116.28 139.04/139.10 o 15812 139.052 * 142.44/142.57 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 142.44/142.57 c 27435 163 20907 1173119 56 42812 11031 20834 197 139.05 142.44/142.57 c 27535 163 5790 264015 45 12210 12135 5717 195 140.52 142.44/142.57 c 27787 163 6294 292204 46 13187 13349 6221 195 142.14 142.44/142.57 o 15774 142.527 * 216.72/216.87 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 216.72/216.87 c 27809 163 6337 294856 46 13489 11031 6264 195 142.53 216.72/216.87 c 27910 163 6539 306383 46 13761 12135 6466 194 143.32 216.72/216.87 c 28162 163 7043 328717 46 14741 13349 6970 194 145.00 216.72/216.87 c 28638 163 7995 380157 47 16588 14684 7922 193 147.92 216.72/216.87 c 29452 163 9623 452219 46 19821 16153 9550 192 152.91 216.72/216.87 c 30773 163 12240 616774 50 25273 17769 12167 192 160.10 216.72/216.87 c 32855 163 16400 938237 57 33526 19546 16327 193 169.88 216.72/216.87 c 36079 163 13007 769501 59 26547 21501 12934 192 187.59 216.72/216.87 c 41015 163 11999 705133 58 24515 23652 11926 190 215.30 216.72/216.87 o 15764 216.801 * 933.97/934.33 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 933.97/934.33 c 41347 163 12639 775433 61 26372 11031 12566 190 216.80 933.97/934.33 c 41449 163 5793 307863 53 12376 12135 5720 190 217.65 933.97/934.33 c 41699 163 6293 340793 54 13219 13349 6220 190 219.12 933.97/934.33 c 42175 163 7245 380092 52 15107 14684 7172 189 222.14 933.97/934.33 c 42991 163 8877 460281 51 18270 16153 8804 189 226.88 933.97/934.33 c 44319 163 11533 573732 49 23575 17769 11460 188 234.61 933.97/934.33 c 46402 163 15699 791373 50 31889 19546 15626 188 245.84 933.97/934.33 c 49630 163 12319 683105 55 25172 21501 12246 188 263.15 933.97/934.33 c 54567 163 11310 610167 53 23105 23652 11237 187 291.05 933.97/934.33 c 62073 163 13389 692002 51 27269 26018 13316 186 332.68 933.97/934.33 c 73434 163 20917 1048781 50 42334 28620 20844 183 399.96 933.97/934.33 c 90578 163 19447 1008289 51 39402 31483 19374 179 504.67 933.97/934.33 c 116398 163 27616 2647521 95 56131 34632 27543 180 643.28 933.97/934.33 c 155232 163 11236 697677 62 22953 38096 11163 172 898.13 933.97/934.33 o 15748 934.007 * 1668.31/1668.99 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1668.31/1668.99 c 161012 163 21363 1271970 59 44246 11031 21290 172 934.01 1668.31/1668.99 c 161112 163 5790 311922 53 12498 12135 5717 172 936.65 1668.31/1668.99 c 161362 163 6290 336986 53 13256 13349 6217 171 938.40 1668.31/1668.99 c 161837 163 7240 380173 52 15013 14684 7167 171 941.48 1668.31/1668.99 c 162652 163 8870 458021 51 18259 16153 8797 171 946.67 1668.31/1668.99 c 163973 163 11512 591434 51 23546 17769 11439 171 954.09 1668.31/1668.99 c 166056 163 15678 838119 53 31858 19546 15605 171 965.67 1668.31/1668.99 c 169281 163 12273 796623 64 25090 21501 12200 172 984.18 1668.31/1668.99 c 174217 163 11249 770936 68 22978 23652 11176 172 1011.51 1668.31/1668.99 c 181725 163 12732 1110084 87 26177 26018 12659 173 1045.84 1668.31/1668.99 c 193086 163 20280 1334828 65 41065 28620 20207 174 1109.16 1668.31/1668.99 c 210239 163 18937 1318232 69 39157 31483 18864 174 1207.84 1668.41/1669.08 c 236058 163 29583 1797463 60 59651 34632 29510 173 1360.71 1668.41/1669.08 c 274890 163 12755 795302 62 26001 38096 12682 171 1604.92 1668.41/1669.08 o 15746 1668.41 * 1800.08/1800.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.08/1800.70 c 286039 163 35054 2007112 57 71391 11031 34981 171 1668.41 1800.08/1800.70 c 286140 163 5792 345248 59 12479 12135 5719 171 1672.69 1800.08/1800.70 c 286394 163 6300 375802 59 13308 13349 6227 171 1674.38 1800.08/1800.70 c 286873 163 7258 434979 59 15075 14684 7185 171 1677.40 1800.08/1800.70 c 287687 163 8886 519376 58 18284 16153 8813 170 1682.61 1800.08/1800.70 c 289008 163 11528 646539 56 23571 17769 11455 170 1690.37 1800.08/1800.70 c 291090 163 15692 898604 57 31877 19546 15619 171 1701.95 1800.08/1800.70 c 294316 163 12297 758445 61 25105 21501 12224 171 1718.85 1800.08/1800.70 c 299257 163 11300 711211 62 23352 23652 11227 171 1746.57 1800.08/1800.70 c 306766 163 13328 828649 62 27219 26018 13255 171 1787.15 1800.08/1800.70 c Caught signal: 15 1800.08/1800.70 v x1 -x12 -x23 x34 -x45 -x116 -x161 -x162 -x163 x2 -x3 -x4 -x5 x6 x7 -x8 x9 x10 -x11 -x13 -x14 -x15 -x16 x17 -x18 -x19 -x20 -x21 x22 1800.08/1800.70 v -x24 -x25 -x26 -x27 -x28 -x29 -x30 x31 x32 -x33 -x35 x36 -x37 x38 -x39 -x40 -x41 -x42 -x43 -x44 -x46 -x47 -x48 -x49 -x50 x51 -x52 1800.08/1800.70 v 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 1800.08/1800.70 v -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 1800.08/1800.70 v x108 -x109 x110 x111 -x112 x113 -x114 -x115 x117 x118 x119 x120 x121 x122 x123 -x124 -x125 -x126 -x127 x128 x129 x130 x131 x132 1800.08/1800.70 v x133 x134 x135 -x136 -x137 -x138 -x139 x140 x141 x142 x143 -x144 -x145 -x146 -x147 -x148 -x149 x150 x151 -x152 -x153 -x154 1800.08/1800.70 v x155 x156 -x157 -x158 -x159 -x160 1800.08/1800.70 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.08/1800.70 c 88 309086 898 315183 17968 1065093 17895 171 1800.08 1800.08/1800.70 c Objective: 15746 1800.08/1800.70 s SATISFIABLE 1800.08/1800.70 c Total time: 1800.08 s
OK 15746
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node58/watcher-432818-1177950235 -o ROOT/results/node58/solver-432818-1177950235 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432818-1177950235/instance-432818-1177950235.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: 0.91 0.97 0.91 3/64 30082 /proc/meminfo: memFree=1769472/2055920 swapFree=4184532/4192956 [pid=30082] ppid=30080 vsize=11788 CPUtime=0 /proc/30082/stat : 30082 (bsolo3.0.17) R 30080 30082 29232 0 -1 4194304 362 0 0 0 0 0 0 0 18 0 1 0 242933229 12070912 332 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5305979 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30082/statm: 2947 333 280 324 0 2004 0 [startup+0.011396 s] /proc/loadavg: 0.91 0.97 0.91 3/64 30082 /proc/meminfo: memFree=1769472/2055920 swapFree=4184532/4192956 [pid=30082] ppid=30080 vsize=11920 CPUtime=0 /proc/30082/stat : 30082 (bsolo3.0.17) R 30080 30082 29232 0 -1 4194304 388 0 0 0 0 0 0 0 18 0 1 0 242933229 12206080 358 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134525337 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30082/statm: 2980 358 290 324 0 2037 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 11920 [startup+0.10141 s] /proc/loadavg: 0.91 0.97 0.91 3/64 30082 /proc/meminfo: memFree=1769472/2055920 swapFree=4184532/4192956 [pid=30082] ppid=30080 vsize=13236 CPUtime=0.09 /proc/30082/stat : 30082 (bsolo3.0.17) R 30080 30082 29232 0 -1 4194304 1414 0 0 0 9 0 0 0 18 0 1 0 242933229 13553664 633 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135313361 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30082/statm: 3309 633 392 324 0 2379 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13236 [startup+0.301442 s] /proc/loadavg: 0.91 0.97 0.91 3/64 30082 /proc/meminfo: memFree=1769472/2055920 swapFree=4184532/4192956 [pid=30082] ppid=30080 vsize=12380 CPUtime=0.29 /proc/30082/stat : 30082 (bsolo3.0.17) R 30080 30082 29232 0 -1 4194304 3574 0 0 0 28 1 0 0 19 0 1 0 242933229 12677120 613 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30082/statm: 3095 613 392 324 0 2165 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12380 [startup+0.702513 s] /proc/loadavg: 0.91 0.97 0.91 3/64 30082 /proc/meminfo: memFree=1769472/2055920 swapFree=4184532/4192956 [pid=30082] ppid=30080 vsize=5440 CPUtime=0.69 /proc/30082/stat : 30082 (bsolo3.0.17) R 30080 30082 29232 0 -1 4194304 8698 0 0 0 66 3 0 0 22 0 1 0 242933229 5570560 635 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135313589 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30082/statm: 1360 636 393 324 0 430 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5440 [startup+1.50164 s] /proc/loadavg: 0.91 0.97 0.91 2/65 30083 /proc/meminfo: memFree=1768056/2055920 swapFree=4184532/4192956 [pid=30082] ppid=30080 vsize=5788 CPUtime=1.49 /proc/30082/stat : 30082 (bsolo3.0.17) R 30080 30082 29232 0 -1 4194304 11764 0 0 0 144 5 0 0 25 0 1 0 242933229 5926912 833 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134802661 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30082/statm: 1447 833 393 324 0 517 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5788 [startup+3.10191 s] /proc/loadavg: 0.91 0.97 0.91 2/65 30083 /proc/meminfo: memFree=1767416/2055920 swapFree=4184532/4192956 [pid=30082] ppid=30080 vsize=5792 CPUtime=3.09 /proc/30082/stat : 30082 (bsolo3.0.17) R 30080 30082 29232 0 -1 4194304 16933 0 0 0 301 8 0 0 25 0 1 0 242933229 5931008 889 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134709809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30082/statm: 1448 889 393 324 0 518 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 5792 [startup+6.30145 s] /proc/loadavg: 0.92 0.97 0.91 2/65 30083 /proc/meminfo: memFree=1766520/2055920 swapFree=4184532/4192956 [pid=30082] ppid=30080 vsize=6448 CPUtime=6.29 /proc/30082/stat : 30082 (bsolo3.0.17) R 30080 30082 29232 0 -1 4194304 29978 0 0 0 614 15 0 0 25 0 1 0 242933229 6602752 1058 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134709766 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30082/statm: 1612 1058 393 324 0 682 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 6448 [startup+12.7015 s] /proc/loadavg: 0.93 0.97 0.91 2/65 30083 /proc/meminfo: memFree=1764344/2055920 swapFree=4184532/4192956 [pid=30082] ppid=30080 vsize=9324 CPUtime=12.69 /proc/30082/stat : 30082 (bsolo3.0.17) R 30080 30082 29232 0 -1 4194304 58249 0 0 0 1240 29 0 0 25 0 1 0 242933229 9547776 1733 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135306433 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30082/statm: 2331 1733 393 324 0 1401 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 9324 [startup+25.5017 s] /proc/loadavg: 0.94 0.97 0.91 2/65 30083 /proc/meminfo: memFree=1757112/2055920 swapFree=4184532/4192956 [pid=30082] ppid=30080 vsize=16184 CPUtime=25.49 /proc/30082/stat : 30082 (bsolo3.0.17) R 30080 30082 29232 0 -1 4194304 119332 0 0 0 2488 61 0 0 25 0 1 0 242933229 16572416 3441 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30082/statm: 4046 3441 393 324 0 3116 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 16184 [startup+51.1019 s] /proc/loadavg: 0.96 0.97 0.91 2/65 30083 /proc/meminfo: memFree=1756216/2055920 swapFree=4184532/4192956 [pid=30082] ppid=30080 vsize=16540 CPUtime=51.08 /proc/30082/stat : 30082 (bsolo3.0.17) R 30080 30082 29232 0 -1 4194304 244083 0 0 0 4979 129 0 0 25 0 1 0 242933229 16936960 3602 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30082/statm: 4135 3602 393 324 0 3205 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 16540 [startup+102.306 s] /proc/loadavg: 0.98 0.97 0.91 2/65 30083 /proc/meminfo: memFree=1749816/2055920 swapFree=4184532/4192956 [pid=30082] ppid=30080 vsize=23876 CPUtime=102.26 /proc/30082/stat : 30082 (bsolo3.0.17) R 30080 30082 29232 0 -1 4194304 591174 0 0 0 9906 320 0 0 25 0 1 0 242933229 24449024 5219 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134802116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30082/statm: 5969 5219 393 324 0 5039 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 23876 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 30083 /proc/meminfo: memFree=1748280/2055920 swapFree=4184532/4192956 [pid=30082] ppid=30080 vsize=24448 CPUtime=162.24 /proc/30082/stat : 30082 (bsolo3.0.17) R 30080 30082 29232 0 -1 4194304 911180 0 0 0 15719 505 0 0 25 0 1 0 242933229 25034752 5587 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30082/statm: 6112 5587 393 324 0 5182 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 24448 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 30083 /proc/meminfo: memFree=1748216/2055920 swapFree=4184532/4192956 [pid=30082] ppid=30080 vsize=24880 CPUtime=222.21 /proc/30082/stat : 30082 (bsolo3.0.17) R 30080 30082 29232 0 -1 4194304 1191190 0 0 0 21540 681 0 0 25 0 1 0 242933229 25477120 5590 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5307470 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30082/statm: 6220 5591 393 324 0 5290 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 24880 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 30083 /proc/meminfo: memFree=1748216/2055920 swapFree=4184532/4192956 [pid=30082] ppid=30080 vsize=24448 CPUtime=282.19 /proc/30082/stat : 30082 (bsolo3.0.17) R 30080 30082 29232 0 -1 4194304 1438766 0 0 0 27373 846 0 0 25 0 1 0 242933229 25034752 5587 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135447481 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30082/statm: 6112 5587 393 324 0 5182 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 24448 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 30083 /proc/meminfo: memFree=1748216/2055920 swapFree=4184532/4192956 [pid=30082] ppid=30080 vsize=25000 CPUtime=342.18 /proc/30082/stat : 30082 (bsolo3.0.17) R 30080 30082 29232 0 -1 4194304 1687836 0 0 0 33202 1016 0 0 25 0 1 0 242933229 25600000 5596 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135306433 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30082/statm: 6250 5596 393 324 0 5320 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 25000 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 30083 /proc/meminfo: memFree=1748024/2055920 swapFree=4184532/4192956 [pid=30082] ppid=30080 vsize=24660 CPUtime=402.15 /proc/30082/stat : 30082 (bsolo3.0.17) R 30080 30082 29232 0 -1 4194304 1947434 0 0 0 39035 1180 0 0 25 0 1 0 242933229 25251840 5629 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134709512 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30082/statm: 6165 5629 393 324 0 5235 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 24660 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 30083 /proc/meminfo: memFree=1747000/2055920 swapFree=4184532/4192956 [pid=30082] ppid=30080 vsize=26356 CPUtime=462.13 /proc/30082/stat : 30082 (bsolo3.0.17) R 30080 30082 29232 0 -1 4194304 2275236 0 0 0 44831 1382 0 0 25 0 1 0 242933229 26988544 5882 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135254637 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30082/statm: 6623 5883 393 324 0 5693 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 26356 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 30083 /proc/meminfo: memFree=1741240/2055920 swapFree=4184532/4192956 [pid=30082] ppid=30080 vsize=32412 CPUtime=522.11 /proc/30082/stat : 30082 (bsolo3.0.17) R 30080 30082 29232 0 -1 4194304 2664792 0 0 0 50600 1611 0 0 25 0 1 0 242933229 33189888 7376 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135313361 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30082/statm: 8103 7376 393 324 0 7173 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 32412 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 30083 /proc/meminfo: memFree=1727224/2055920 swapFree=4184532/4192956 [pid=30082] ppid=30080 vsize=45604 CPUtime=582.09 /proc/30082/stat : 30082 (bsolo3.0.17) R 30080 30082 29232 0 -1 4194304 2938618 0 0 0 56439 1770 0 0 25 0 1 0 242933229 46698496 10873 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30082/statm: 11401 10873 393 324 0 10471 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 45604 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 30083 /proc/meminfo: memFree=1726008/2055920 swapFree=4184532/4192956 [pid=30082] ppid=30080 vsize=46572 CPUtime=642.07 /proc/30082/stat : 30082 (bsolo3.0.17) R 30080 30082 29232 0 -1 4194304 3193796 0 0 0 62274 1933 0 0 25 0 1 0 242933229 47689728 11118 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134765479 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30082/statm: 11643 11118 393 324 0 10713 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 46572 ################ # More data... # ################ /proc/meminfo: memFree=1724728/2055920 swapFree=4184532/4192956 [pid=30082] ppid=30080 vsize=47840 CPUtime=1061.92 /proc/30082/stat : 30082 (bsolo3.0.17) R 30080 30082 29232 0 -1 4194304 3665979 0 0 0 103958 2234 0 0 25 0 1 0 242933229 48988160 11435 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134707423 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30082/statm: 11960 11435 393 324 0 11030 0 Current children cumulated CPU time (s) 1061.92 Current children cumulated vsize (KiB) 47840 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 30085 /proc/meminfo: memFree=1724728/2055920 swapFree=4184532/4192956 [pid=30082] ppid=30080 vsize=47840 CPUtime=1121.91 /proc/30082/stat : 30082 (bsolo3.0.17) R 30080 30082 29232 0 -1 4194304 3665979 0 0 0 109956 2235 0 0 25 0 1 0 242933229 48988160 11435 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135227219 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30082/statm: 11960 11435 393 324 0 11030 0 Current children cumulated CPU time (s) 1121.91 Current children cumulated vsize (KiB) 47840 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 30085 /proc/meminfo: memFree=1724792/2055920 swapFree=4184532/4192956 [pid=30082] ppid=30080 vsize=47840 CPUtime=1181.88 /proc/30082/stat : 30082 (bsolo3.0.17) R 30080 30082 29232 0 -1 4194304 3665979 0 0 0 115953 2235 0 0 25 0 1 0 242933229 48988160 11435 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134700381 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30082/statm: 11960 11435 393 324 0 11030 0 Current children cumulated CPU time (s) 1181.88 Current children cumulated vsize (KiB) 47840 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 30085 /proc/meminfo: memFree=1724792/2055920 swapFree=4184532/4192956 [pid=30082] ppid=30080 vsize=47840 CPUtime=1241.86 /proc/30082/stat : 30082 (bsolo3.0.17) R 30080 30082 29232 0 -1 4194304 3665979 0 0 0 121951 2235 0 0 25 0 1 0 242933229 48988160 11435 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30082/statm: 11960 11435 393 324 0 11030 0 Current children cumulated CPU time (s) 1241.86 Current children cumulated vsize (KiB) 47840 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 30085 /proc/meminfo: memFree=1724792/2055920 swapFree=4184532/4192956 [pid=30082] ppid=30080 vsize=47840 CPUtime=1301.84 /proc/30082/stat : 30082 (bsolo3.0.17) R 30080 30082 29232 0 -1 4194304 3665979 0 0 0 127949 2235 0 0 25 0 1 0 242933229 48988160 11435 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135157619 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30082/statm: 11960 11435 393 324 0 11030 0 Current children cumulated CPU time (s) 1301.84 Current children cumulated vsize (KiB) 47840 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 30085 /proc/meminfo: memFree=1724856/2055920 swapFree=4184532/4192956 [pid=30082] ppid=30080 vsize=47840 CPUtime=1361.82 /proc/30082/stat : 30082 (bsolo3.0.17) R 30080 30082 29232 0 -1 4194304 3665979 0 0 0 133947 2235 0 0 25 0 1 0 242933229 48988160 11435 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134694744 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30082/statm: 11960 11435 393 324 0 11030 0 Current children cumulated CPU time (s) 1361.82 Current children cumulated vsize (KiB) 47840 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.91 2/65 30085 /proc/meminfo: memFree=1724856/2055920 swapFree=4184532/4192956 [pid=30082] ppid=30080 vsize=47840 CPUtime=1421.8 /proc/30082/stat : 30082 (bsolo3.0.17) R 30080 30082 29232 0 -1 4194304 3665979 0 0 0 139945 2235 0 0 25 0 1 0 242933229 48988160 11435 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134706542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30082/statm: 11960 11435 393 324 0 11030 0 Current children cumulated CPU time (s) 1421.8 Current children cumulated vsize (KiB) 47840 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 30085 /proc/meminfo: memFree=1724856/2055920 swapFree=4184532/4192956 [pid=30082] ppid=30080 vsize=47840 CPUtime=1481.78 /proc/30082/stat : 30082 (bsolo3.0.17) R 30080 30082 29232 0 -1 4194304 3665979 0 0 0 145942 2236 0 0 25 0 1 0 242933229 48988160 11435 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134706323 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30082/statm: 11960 11435 393 324 0 11030 0 Current children cumulated CPU time (s) 1481.78 Current children cumulated vsize (KiB) 47840 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 30085 /proc/meminfo: memFree=1724920/2055920 swapFree=4184532/4192956 [pid=30082] ppid=30080 vsize=47840 CPUtime=1541.76 /proc/30082/stat : 30082 (bsolo3.0.17) R 30080 30082 29232 0 -1 4194304 3665979 0 0 0 151940 2236 0 0 25 0 1 0 242933229 48988160 11435 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134705479 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30082/statm: 11960 11435 393 324 0 11030 0 Current children cumulated CPU time (s) 1541.76 Current children cumulated vsize (KiB) 47840 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 30085 /proc/meminfo: memFree=1724920/2055920 swapFree=4184532/4192956 [pid=30082] ppid=30080 vsize=47836 CPUtime=1601.73 /proc/30082/stat : 30082 (bsolo3.0.17) R 30080 30082 29232 0 -1 4194304 3665979 0 0 0 157937 2236 0 0 25 0 1 0 242933229 48984064 11434 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134706548 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30082/statm: 11959 11434 393 324 0 11029 0 Current children cumulated CPU time (s) 1601.73 Current children cumulated vsize (KiB) 47836 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 30085 /proc/meminfo: memFree=1724856/2055920 swapFree=4184532/4192956 [pid=30082] ppid=30080 vsize=47836 CPUtime=1661.71 /proc/30082/stat : 30082 (bsolo3.0.17) R 30080 30082 29232 0 -1 4194304 3665979 0 0 0 163935 2236 0 0 25 0 1 0 242933229 48984064 11434 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30082/statm: 11959 11434 393 324 0 11029 0 Current children cumulated CPU time (s) 1661.71 Current children cumulated vsize (KiB) 47836 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 30085 /proc/meminfo: memFree=1724920/2055920 swapFree=4184532/4192956 [pid=30082] ppid=30080 vsize=47840 CPUtime=1721.7 /proc/30082/stat : 30082 (bsolo3.0.17) R 30080 30082 29232 0 -1 4194304 3665980 0 0 0 169933 2237 0 0 25 0 1 0 242933229 48988160 11435 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160051253 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30082/statm: 11960 11435 393 324 0 11030 0 Current children cumulated CPU time (s) 1721.7 Current children cumulated vsize (KiB) 47840 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 30085 /proc/meminfo: memFree=1724920/2055920 swapFree=4184532/4192956 [pid=30082] ppid=30080 vsize=47820 CPUtime=1781.68 /proc/30082/stat : 30082 (bsolo3.0.17) R 30080 30082 29232 0 -1 4194304 3665980 0 0 0 175931 2237 0 0 25 0 1 0 242933229 48967680 11430 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134707024 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30082/statm: 11955 11430 393 324 0 11025 0 Current children cumulated CPU time (s) 1781.68 Current children cumulated vsize (KiB) 47820 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 0.99 0.97 0.91 2/65 30085 /proc/meminfo: memFree=1724856/2055920 swapFree=4184532/4192956 [pid=30082] ppid=30080 vsize=47820 CPUtime=1800.08 /proc/30082/stat : 30082 (bsolo3.0.17) R 30080 30082 29232 0 -1 4194304 3665980 0 0 0 177771 2237 0 0 25 0 1 0 242933229 48967680 11430 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134694785 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30082/statm: 11955 11430 393 324 0 11025 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 47820 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 0.99 0.97 0.91 2/65 30085 /proc/meminfo: memFree=1724856/2055920 swapFree=4184532/4192956 [pid=30082] ppid=30080 vsize=47824 CPUtime=1800.08 /proc/30082/stat : 30082 (bsolo3.0.17) S 30080 30082 29232 0 -1 4194304 3665981 0 0 0 177771 2237 0 0 25 0 1 0 242933229 48971776 11431 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/30082/statm: 11956 11431 393 324 0 11026 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 47824 [startup+1802.2 s] /proc/loadavg: 0.99 0.97 0.91 1/66 30086 /proc/meminfo: memFree=1724848/2055920 swapFree=4184532/4192956 [pid=30082] ppid=30080 vsize=47824 CPUtime=1800.08 /proc/30082/stat : 30082 (bsolo3.0.17) S 30080 30082 29232 0 -1 4194304 3665981 0 0 0 177771 2237 0 0 25 0 1 0 242933229 48971776 11431 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/30082/statm: 11956 11431 393 324 0 11026 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 47824 [startup+1802.6 s] /proc/loadavg: 0.99 0.97 0.91 1/66 30086 /proc/meminfo: memFree=1724848/2055920 swapFree=4184532/4192956 [pid=30082] ppid=30080 vsize=47824 CPUtime=1800.08 /proc/30082/stat : 30082 (bsolo3.0.17) S 30080 30082 29232 0 -1 4194304 3665981 0 0 0 177771 2237 0 0 25 0 1 0 242933229 48971776 11431 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/30082/statm: 11956 11431 393 324 0 11026 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 47824 [startup+1802.7 s] /proc/loadavg: 0.99 0.97 0.91 1/66 30086 /proc/meminfo: memFree=1724848/2055920 swapFree=4184532/4192956 [pid=30082] ppid=30080 vsize=47824 CPUtime=1800.08 /proc/30082/stat : 30082 (bsolo3.0.17) S 30080 30082 29232 0 -1 4194304 3665981 0 0 0 177771 2237 0 0 25 0 1 0 242933229 48971776 11431 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/30082/statm: 11956 11431 393 324 0 11026 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 47824 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.72 CPU time (s): 1800.09 CPU user time (s): 1777.71 CPU system time (s): 22.3826 CPU usage (%): 99.8543 Max. virtual memory (cumulated for all children) (KiB): 48712 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1777.71 system time used= 22.3826 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3665981 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= 2825 runsolver used 1.38179 second user time and 3.54746 second system time The end
Begin job on node58 on Mon Apr 30 16:23:55 UTC 2007 IDJOB= 432818 IDBENCH= 1848 IDSOLVER= 199 FILE ID= node58/432818-1177950235 PBS_JOBID= 4727811 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos5.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/432818-1177950235/instance-432818-1177950235.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node58/watcher-432818-1177950235 -o ROOT/results/node58/solver-432818-1177950235 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432818-1177950235/instance-432818-1177950235.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 687e90f40c46b53feec9c54ee9b43fa6 RANDOM SEED= 951070626 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node58.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: 1769880 kB Buffers: 35632 kB Cached: 169544 kB SwapCached: 2428 kB Active: 82952 kB Inactive: 132600 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1769880 kB SwapTotal: 4192956 kB SwapFree: 4184532 kB Dirty: 6628 kB Writeback: 0 kB Mapped: 16924 kB Slab: 56568 kB Committed_AS: 1227568 kB PageTables: 1384 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= 66558 MiB End job on node58 on Mon Apr 30 16:53:58 UTC 2007