Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | ? (TO) | 1800.61 | 1801.23 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-sc105.opb |
MD5SUM | 9af0146fd6df1c22fb98014c5db68dfb |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -2 |
Best CPU time to get the best result obtained on this benchmark | 1782.73 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -2 |
Optimality of the best value was proved | NO |
Number of variables | 3090 |
Total number of constraints | 104 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 104 |
Minimum length of a constraint | 60 |
Maximum length of a constraint | 120 |
Number of terms in the objective function | 30 |
Biggest coefficient in the objective function | 262145 |
Number of bits for the biggest coefficient in the objective function | 19 |
Sum of the numbers in the objective function | 524317 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262145 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 524370 |
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 c Parsing PB file... 0.12 c Converting 149 PB-constraints to clauses... 0.12 c -- Unit propagations: pppppppppppppppp 0.13 c -- Detecting intervals from adjacent constraints: ############################################# 0.13 c -- Clauses(.)/Splits(s): (none) 0.13 c ---[ 148]---> Adder-cost: 108 maxlim: 73 bits: 7/7 0.14 c ---[ 147]---> Adder-cost: 80 maxlim: 77 bits: 7/7 0.14 c ---[ 145]---> Adder-cost: 100 maxlim: 532 bits: 10/10 0.15 c ---[ 143]---> Adder-cost: 74 maxlim: 81 bits: 8/7 0.15 c ---[ 141]---> Adder-cost: 70 maxlim: 48 bits: 7/6 0.15 c ---[ 139]---> Adder-cost: 74 maxlim: 81 bits: 8/7 0.16 c ---[ 138]---> Adder-cost: 78 maxlim: 145 bits: 8/8 0.16 c ---[ 137]---> Sorter-cost: 880 Base: 3 5 0.16 c ---[ 136]---> Adder-cost: 78 maxlim: 145 bits: 8/8 0.17 c ---[ 135]---> Adder-cost: 176 maxlim: 233 bits: 9/8 0.17 c ---[ 134]---> Adder-cost: 168 maxlim: 242 bits: 9/8 0.18 c ---[ 133]---> Adder-cost: 76 maxlim: 274 bits: 9/9 0.19 c ---[ 131]---> Adder-cost: 130 maxlim: 554 bits: 11/10 0.19 c ---[ 129]---> Sorter-cost: 2120 Base: 3 7 2 2 2 0.21 c ---[ 127]---> Adder-cost: 134 maxlim: 186 bits: 9/8 0.21 c ---[ 125]---> Adder-cost: 128 maxlim: 186 bits: 9/8 0.22 c ---[ 123]---> Adder-cost: 134 maxlim: 186 bits: 9/8 0.23 c ---[ 122]---> Adder-cost: 100 maxlim: 531 bits: 10/10 0.23 c ---[ 121]---> Adder-cost: 100 maxlim: 531 bits: 10/10 0.24 c ---[ 120]---> Adder-cost: 100 maxlim: 531 bits: 10/10 0.24 c ---[ 119]---> Adder-cost: 242 maxlim: 865 bits: 11/10 0.26 c ---[ 118]---> Adder-cost: 220 maxlim: 874 bits: 11/10 0.28 c ---[ 117]---> Adder-cost: 100 maxlim: 1044 bits: 11/11 0.28 c ---[ 115]---> Adder-cost: 146 maxlim: 1091 bits: 12/11 0.30 c ---[ 113]---> Sorter-cost: 2732 Base: 3 7 2 2 2 2 2 0.32 c ---[ 111]---> Sorter-cost: 2060 Base: 3 7 2 2 2 0.33 c ---[ 109]---> Sorter-cost: 2060 Base: 3 7 2 2 2 0.34 c ---[ 107]---> Sorter-cost: 2060 Base: 3 7 2 2 2 0.35 c ---[ 106]---> Adder-cost: 116 maxlim: 2069 bits: 12/12 0.36 c ---[ 105]---> Adder-cost: 116 maxlim: 2069 bits: 12/12 0.37 c ---[ 104]---> Adder-cost: 116 maxlim: 2069 bits: 12/12 0.37 c ---[ 103]---> Adder-cost: 332 maxlim: 3382 bits: 13/12 0.41 c ---[ 102]---> Adder-cost: 306 maxlim: 3391 bits: 13/12 0.44 c ---[ 101]---> Adder-cost: 114 maxlim: 4118 bits: 13/13 0.45 c ---[ 99]---> Adder-cost: 172 maxlim: 2164 bits: 13/12 0.47 c ---[ 97]---> Sorter-cost: 3236 Base: 3 7 2 2 2 2 2 2 0.51 c ---[ 95]---> Sorter-cost: 2731 Base: 3 7 2 2 2 2 2 0.53 c ---[ 93]---> Sorter-cost: 2731 Base: 3 7 2 2 2 2 2 0.56 c ---[ 91]---> Sorter-cost: 2731 Base: 3 7 2 2 2 2 2 0.58 c ---[ 90]---> Adder-cost: 130 maxlim: 8215 bits: 14/14 0.59 c ---[ 89]---> Adder-cost: 130 maxlim: 8215 bits: 14/14 0.60 c ---[ 88]---> Adder-cost: 130 maxlim: 8215 bits: 14/14 0.61 c ---[ 87]---> Adder-cost: 424 maxlim: 13439 bits: 15/14 0.68 c ---[ 86]---> Adder-cost: 398 maxlim: 13448 bits: 15/14 0.75 c ---[ 85]---> Adder-cost: 132 maxlim: 16408 bits: 15/15 0.76 c ---[ 83]---> Sorter-cost: 2176 Base: 3 5 2 2 2 2 2 2 2 0.80 c ---[ 81]---> Sorter-cost: 3483 Base: 3 7 2 2 2 2 2 2 2 2 0.86 c ---[ 79]---> Sorter-cost: 3261 Base: 3 7 2 2 2 2 2 2 2 0.90 c ---[ 77]---> Sorter-cost: 3261 Base: 3 7 2 2 2 2 2 2 2 0.95 c ---[ 75]---> Sorter-cost: 3261 Base: 3 7 2 2 2 2 2 2 2 0.99 c ---[ 74]---> Adder-cost: 148 maxlim: 32793 bits: 16/16 1.00 c ---[ 73]---> Adder-cost: 148 maxlim: 32793 bits: 16/16 1.01 c ---[ 72]---> Adder-cost: 148 maxlim: 32793 bits: 16/16 1.02 c ---[ 71]---> Adder-cost: 528 maxlim: 53656 bits: 17/16 1.19 c ---[ 70]---> Adder-cost: 508 maxlim: 53665 bits: 17/16 1.36 c ---[ 69]---> Adder-cost: 146 maxlim: 32793 bits: 17/16 1.38 c ---[ 67]---> Sorter-cost: 2350 Base: 3 5 2 2 2 2 2 2 2 2 1.43 c ---[ 65]---> Sorter-cost: 3942 Base: 3 7 2 2 2 2 2 2 2 2 2 1.51 c ---[ 63]---> Sorter-cost: 3942 Base: 3 7 2 2 2 2 2 2 2 2 2 1.59 c ---[ 61]---> Sorter-cost: 3942 Base: 3 7 2 2 2 2 2 2 2 2 2 1.67 c ---[ 59]---> Sorter-cost: 3942 Base: 3 7 2 2 2 2 2 2 2 2 2 1.76 c ---[ 58]---> Adder-cost: 162 maxlim: 131099 bits: 18/18 1.77 c ---[ 57]---> Adder-cost: 162 maxlim: 131099 bits: 18/18 1.78 c ---[ 56]---> Adder-cost: 162 maxlim: 131099 bits: 18/18 1.80 c ---[ 55]---> Adder-cost: 646 maxlim: 214514 bits: 19/18 2.24 c ---[ 54]---> Adder-cost: 622 maxlim: 214526 bits: 19/18 2.67 c ---[ 53]---> Adder-cost: 150 maxlim: 65562 bits: 18/17 2.69 c ---[ 51]---> Sorter-cost: 2596 Base: 3 5 2 2 2 2 2 2 2 2 2 2.78 c ---[ 49]---> Sorter-cost: 4283 Base: 3 7 2 2 2 2 2 2 2 2 2 2 2.90 c ---[ 47]---> Sorter-cost: 4689 Base: 3 7 2 2 2 2 2 2 2 2 2 2 2 3.08 c ---[ 45]---> Sorter-cost: 4689 Base: 3 7 2 2 2 2 2 2 2 2 2 2 2 3.27 c ---[ 43]---> Sorter-cost: 4689 Base: 3 7 2 2 2 2 2 2 2 2 2 2 2 3.44 c ---[ 42]---> Adder-cost: 178 maxlim: 262172 bits: 20/19 3.46 c ---[ 41]---> Adder-cost: 178 maxlim: 262172 bits: 20/19 3.47 c ---[ 40]---> Adder-cost: 178 maxlim: 262172 bits: 20/19 3.49 c ---[ 39]---> Adder-cost: 702 maxlim: 428989 bits: 20/19 4.16 c ---[ 38]---> Adder-cost: 676 maxlim: 429005 bits: 20/19 4.81 c ---[ 37]---> Adder-cost: 162 maxlim: 131099 bits: 19/18 4.83 c ---[ 35]---> Sorter-cost: 2889 Base: 3 5 2 2 2 2 2 2 2 2 2 2 4.99 c ---[ 33]---> Sorter-cost: 4692 Base: 3 7 2 2 2 2 2 2 2 2 2 2 2 5.16 c ---[ 31]---> Sorter-cost: 5787 Base: 3 7 5 13 2 2 2 2 2 5.42 c ---[ 29]---> Sorter-cost: 5787 Base: 3 7 5 13 2 2 2 2 2 5.69 c ---[ 27]---> Sorter-cost: 5787 Base: 3 7 5 13 2 2 2 2 2 5.95 c ---[ 26]---> Adder-cost: 178 maxlim: 262172 bits: 20/19 5.97 c ---[ 25]---> Adder-cost: 178 maxlim: 262172 bits: 20/19 5.98 c ---[ 24]---> Adder-cost: 178 maxlim: 262172 bits: 20/19 6.00 c ---[ 23]---> Adder-cost: 702 maxlim: 428989 bits: 20/19 6.66 c ---[ 22]---> Adder-cost: 676 maxlim: 429005 bits: 20/19 7.32 c ---[ 21]---> Adder-cost: 166 maxlim: 262172 bits: 20/19 7.33 c ---[ 19]---> Adder-cost: 300 maxlim: 68679 bits: 18/17 7.57 c ---[ 17]---> Sorter-cost: 4965 Base: 3 7 2 2 2 2 2 2 2 2 2 2 2 7.80 c ---[ 15]---> Sorter-cost: 5787 Base: 3 7 5 13 2 2 2 2 2 8.06 c ---[ 13]---> Sorter-cost: 5787 Base: 3 7 5 13 2 2 2 2 2 8.32 c ---[ 11]---> Sorter-cost: 5787 Base: 3 7 5 13 2 2 2 2 2 8.58 c ---[ 10]---> Adder-cost: 178 maxlim: 262172 bits: 20/19 8.59 c ---[ 9]---> Adder-cost: 178 maxlim: 262172 bits: 20/19 8.61 c ---[ 8]---> Adder-cost: 178 maxlim: 262172 bits: 20/19 8.62 c ---[ 7]---> Adder-cost: 702 maxlim: 428989 bits: 20/19 9.29 c ---[ 6]---> Adder-cost: 676 maxlim: 429005 bits: 20/19 9.94 c ---[ 5]---> Adder-cost: 166 maxlim: 262172 bits: 20/19 9.95 c ---[ 3]---> Adder-cost: 326 maxlim: 137336 bits: 19/18 10.33 c ---[ 2]---> Adder-cost: 411 maxlim: 124877 bits: 18/17 10.60 c ---[ 1]---> Adder-cost: 386 maxlim: 124877 bits: 18/17 10.87 c ---[ 0]---> Adder-cost: 162 maxlim: 262172 bits: 20/19 11.28 c ==================================[MINISAT+]================================== 11.28 c | Conflicts | Original | Learnt | Progress | 11.28 c | | Clauses Literals | Max Clauses Literals LPC | | 11.28 c ============================================================================== 11.28 c | 0 | 432873 1148788 | 144291 0 0 nan | 0.000 % | 11.34 c | 100 | 431873 1146532 | 158720 98 412 4.2 | 3.062 % | 11.40 c | 250 | 430634 1143608 | 174592 247 1610 6.5 | 3.318 % | 11.64 c | 475 | 428770 1139299 | 192051 457 4481 9.8 | 3.697 % | 11.75 c | 812 | 428770 1139299 | 211256 794 11570 14.6 | 3.697 % | 12.00 c | 1319 | 425623 1131966 | 232382 1274 16907 13.3 | 4.378 % | 12.14 c | 2083 | 425526 1131741 | 255620 2034 23357 11.5 | 4.400 % | 12.48 c | 3224 | 425220 1130955 | 281182 3156 38986 12.4 | 4.450 % | 13.03 c | 4934 | 422668 1124879 | 309300 4788 70554 14.7 | 4.979 % | 13.84 c | 7496 | 422428 1124333 | 340230 7342 113345 15.4 | 5.039 % | 14.99 c | 11340 | 416195 1109473 | 374253 10534 182310 17.3 | 6.421 % | 16.69 c | 17107 | 415272 1107213 | 411679 16195 295644 18.3 | 6.609 % | 18.98 c | 25756 | 415272 1107213 | 452846 24844 549677 22.1 | 6.609 % | 23.77 c | 38732 | 415174 1106987 | 498131 37809 1284218 34.0 | 6.633 % | 39.64 c | 58194 | 413094 1102057 | 547944 57177 2469306 43.2 | 7.118 % | 59.83 c | 87387 | 413094 1102057 | 602739 86370 4756937 55.1 | 7.118 % | 87.93 c | 131176 | 409645 1093316 | 663013 130070 6511312 50.1 | 7.841 % | 156.67 c | 196861 | 408836 1091461 | 729314 195698 10088771 51.6 | 8.026 % | 300.23 c | 295387 | 408381 1090408 | 802246 294193 19192279 65.2 | 8.137 % | 565.37 c | 443176 | 407587 1088576 | 882470 441927 30037403 68.0 | 8.320 % | 1184.11 c | 664859 | 406853 1086894 | 970717 663544 50197361 75.7 | 8.481 % | 1801.16 c 1801.16 c *** TERMINATED *** 1801.16 s UNKNOWN
ERROR: no interpretation found !
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node36/watcher-35077-1149340524 -o ROOT/results/node36/solver-35077-1149340524 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node36/35077-1149340524/instance-35077-1149340524.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.97 0.99 3/64 4106 /proc/meminfo: memFree=1816456/2055920 swapFree=4181452/4192956 [pid=4106] ppid=4104 vsize=1048 CPUtime=0 /proc/4106/stat : 4106 (minisat+) R 4104 4106 4060 0 -1 4194304 109 0 0 0 0 0 0 0 19 0 1 0 199718486 1073152 94 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135003227 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4106/statm: 262 97 74 215 0 44 0 [startup+10.0016 s] /proc/loadavg: 0.93 0.97 0.99 2/64 4106 /proc/meminfo: memFree=1808920/2055920 swapFree=4181452/4192956 [pid=4106] ppid=4104 vsize=9088 CPUtime=9.99 /proc/4106/stat : 4106 (minisat+) R 4104 4106 4060 0 -1 4194304 2291 0 0 0 998 1 0 0 25 0 1 0 199718486 9306112 1966 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134812136 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4106/statm: 2272 1966 107 215 0 2054 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 9088 [startup+20.0074 s] /proc/loadavg: 0.94 0.97 0.99 2/64 4106 /proc/meminfo: memFree=1781144/2055920 swapFree=4181452/4192956 [pid=4106] ppid=4104 vsize=38764 CPUtime=19.99 /proc/4106/stat : 4106 (minisat+) R 4104 4106 4060 0 -1 4194304 9284 0 0 0 1994 5 0 0 25 0 1 0 199718486 39694336 8946 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581186 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4106/statm: 9691 8946 124 215 0 9473 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 38764 [startup+30.0132 s] /proc/loadavg: 0.95 0.97 0.99 2/64 4106 /proc/meminfo: memFree=1776088/2055920 swapFree=4181452/4192956 [pid=4106] ppid=4104 vsize=43920 CPUtime=29.99 /proc/4106/stat : 4106 (minisat+) R 4104 4106 4060 0 -1 4194304 10555 0 0 0 2993 6 0 0 25 0 1 0 199718486 44974080 10217 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4106/statm: 10980 10217 124 215 0 10762 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 43920 [startup+40.02 s] /proc/loadavg: 0.95 0.97 0.99 2/64 4106 /proc/meminfo: memFree=1772632/2055920 swapFree=4181452/4192956 [pid=4106] ppid=4104 vsize=47312 CPUtime=39.99 /proc/4106/stat : 4106 (minisat+) R 4104 4106 4060 0 -1 4194304 11425 0 0 0 3992 7 0 0 25 0 1 0 199718486 48447488 11087 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574480 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4106/statm: 11828 11087 124 215 0 11610 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 47312 [startup+50.0269 s] /proc/loadavg: 0.96 0.97 0.99 2/64 4106 /proc/meminfo: memFree=1767768/2055920 swapFree=4181452/4192956 [pid=4106] ppid=4104 vsize=52264 CPUtime=49.99 /proc/4106/stat : 4106 (minisat+) R 4104 4106 4060 0 -1 4194304 12644 0 0 0 4991 8 0 0 25 0 1 0 199718486 53518336 12306 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580968 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4106/statm: 13066 12306 124 215 0 12848 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 52264 [startup+60.0337 s] /proc/loadavg: 0.97 0.97 0.99 2/64 4106 /proc/meminfo: memFree=1762584/2055920 swapFree=4181452/4192956 [pid=4106] ppid=4104 vsize=57340 CPUtime=60 /proc/4106/stat : 4106 (minisat+) R 4104 4106 4060 0 -1 4194304 13941 0 0 0 5991 9 0 0 25 0 1 0 199718486 58716160 13603 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4106/statm: 14335 13603 124 215 0 14117 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 57340 [startup+70.0405 s] /proc/loadavg: 0.97 0.97 0.99 2/64 4106 /proc/meminfo: memFree=1759064/2055920 swapFree=4181452/4192956 [pid=4106] ppid=4104 vsize=60932 CPUtime=70 /proc/4106/stat : 4106 (minisat+) R 4104 4106 4060 0 -1 4194304 14823 0 0 0 6991 9 0 0 25 0 1 0 199718486 62394368 14485 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4106/statm: 15233 14485 124 215 0 15015 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 60932 [startup+80.0473 s] /proc/loadavg: 0.98 0.97 0.99 2/64 4106 /proc/meminfo: memFree=1755672/2055920 swapFree=4181452/4192956 [pid=4106] ppid=4104 vsize=64312 CPUtime=80 /proc/4106/stat : 4106 (minisat+) R 4104 4106 4060 0 -1 4194304 15659 0 0 0 7990 10 0 0 25 0 1 0 199718486 65855488 15321 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4106/statm: 16078 15321 124 215 0 15860 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 64312 [startup+90.0531 s] /proc/loadavg: 0.98 0.97 0.99 2/64 4106 /proc/meminfo: memFree=1753176/2055920 swapFree=4181452/4192956 [pid=4106] ppid=4104 vsize=66792 CPUtime=90.01 /proc/4106/stat : 4106 (minisat+) R 4104 4106 4060 0 -1 4194304 16290 0 0 0 8990 11 0 0 25 0 1 0 199718486 68395008 15952 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4106/statm: 16698 15952 124 215 0 16480 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 66792 [startup+100.059 s] /proc/loadavg: 0.98 0.97 0.99 2/64 4106 /proc/meminfo: memFree=1750552/2055920 swapFree=4181452/4192956 [pid=4106] ppid=4104 vsize=69532 CPUtime=100.01 /proc/4106/stat : 4106 (minisat+) R 4104 4106 4060 0 -1 4194304 16939 0 0 0 9990 11 0 0 25 0 1 0 199718486 71200768 16601 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580896 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4106/statm: 17383 16601 124 215 0 17165 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 69532 [startup+110.066 s] /proc/loadavg: 0.98 0.97 0.99 2/64 4106 /proc/meminfo: memFree=1747928/2055920 swapFree=4181452/4192956 [pid=4106] ppid=4104 vsize=72144 CPUtime=110.01 /proc/4106/stat : 4106 (minisat+) R 4104 4106 4060 0 -1 4194304 17592 0 0 0 10989 12 0 0 25 0 1 0 199718486 73875456 17254 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4106/statm: 18036 17254 124 215 0 17818 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 72144 [startup+120.073 s] /proc/loadavg: 0.99 0.97 0.99 2/64 4106 /proc/meminfo: memFree=1745304/2055920 swapFree=4181452/4192956 [pid=4106] ppid=4104 vsize=74748 CPUtime=120.02 /proc/4106/stat : 4106 (minisat+) R 4104 4106 4060 0 -1 4194304 18240 0 0 0 11989 13 0 0 25 0 1 0 199718486 76541952 17902 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4106/statm: 18687 17902 124 215 0 18469 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 74748 [startup+130.078 s] /proc/loadavg: 0.99 0.97 0.99 2/64 4106 /proc/meminfo: memFree=1743384/2055920 swapFree=4181452/4192956 [pid=4106] ppid=4104 vsize=76700 CPUtime=130.02 /proc/4106/stat : 4106 (minisat+) R 4104 4106 4060 0 -1 4194304 18727 0 0 0 12988 14 0 0 25 0 1 0 199718486 78540800 18389 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4106/statm: 19175 18389 124 215 0 18957 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 76700 [startup+140.084 s] /proc/loadavg: 0.99 0.97 0.99 2/64 4106 /proc/meminfo: memFree=1740568/2055920 swapFree=4181452/4192956 [pid=4106] ppid=4104 vsize=79360 CPUtime=140.02 /proc/4106/stat : 4106 (minisat+) R 4104 4106 4060 0 -1 4194304 19412 0 0 0 13988 14 0 0 25 0 1 0 199718486 81264640 19074 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572684 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4106/statm: 19840 19074 124 215 0 19622 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 79360 [startup+150.09 s] /proc/loadavg: 0.99 0.97 0.99 2/64 4106 /proc/meminfo: memFree=1738136/2055920 swapFree=4181452/4192956 [pid=4106] ppid=4104 vsize=81856 CPUtime=150.02 /proc/4106/stat : 4106 (minisat+) R 4104 4106 4060 0 -1 4194304 20048 0 0 0 14987 15 0 0 25 0 1 0 199718486 83820544 19710 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581451 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4106/statm: 20464 19710 124 215 0 20246 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 81856 [startup+160.096 s] /proc/loadavg: 0.99 0.97 0.99 2/64 4106 /proc/meminfo: memFree=1736216/2055920 swapFree=4181452/4192956 [pid=4106] ppid=4104 vsize=83684 CPUtime=160.03 /proc/4106/stat : 4106 (minisat+) R 4104 4106 4060 0 -1 4194304 20523 0 0 0 15987 16 0 0 25 0 1 0 199718486 85692416 20185 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580921 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4106/statm: 20921 20185 124 215 0 20703 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 83684 [startup+170.102 s] /proc/loadavg: 0.99 0.97 0.99 2/64 4106 /proc/meminfo: memFree=1733400/2055920 swapFree=4181452/4192956 [pid=4106] ppid=4104 vsize=86828 CPUtime=170.03 /proc/4106/stat : 4106 (minisat+) R 4104 4106 4060 0 -1 4194304 21220 0 0 0 16986 17 0 0 25 0 1 0 199718486 88911872 20882 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4106/statm: 21707 20882 124 215 0 21489 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 86828 [startup+180.107 s] /proc/loadavg: 0.99 0.97 0.99 2/64 4106 /proc/meminfo: memFree=1730968/2055920 swapFree=4181452/4192956 [pid=4106] ppid=4104 vsize=89168 CPUtime=180.03 /proc/4106/stat : 4106 (minisat+) R 4104 4106 4060 0 -1 4194304 21826 0 0 0 17986 17 0 0 25 0 1 0 199718486 91308032 21488 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580768 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4106/statm: 22292 21488 124 215 0 22074 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 89168 [startup+190.113 s] /proc/loadavg: 0.99 0.97 0.99 2/64 4106 /proc/meminfo: memFree=1728472/2055920 swapFree=4181452/4192956 [pid=4106] ppid=4104 vsize=91652 CPUtime=190.03 /proc/4106/stat : 4106 (minisat+) R 4104 4106 4060 0 -1 4194304 22440 0 0 0 18985 18 0 0 25 0 1 0 199718486 93851648 22102 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588783 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4106/statm: 22913 22102 124 215 0 22695 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 91652 [startup+200.119 s] /proc/loadavg: 0.99 0.97 0.99 2/64 4106 /proc/meminfo: memFree=1725784/2055920 swapFree=4181452/4192956 [pid=4106] ppid=4104 vsize=94260 CPUtime=200.04 /proc/4106/stat : 4106 (minisat+) R 4104 4106 4060 0 -1 4194304 23120 0 0 0 19985 19 0 0 25 0 1 0 199718486 96522240 22782 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4106/statm: 23565 22782 124 215 0 23347 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 94260 [startup+210.125 s] /proc/loadavg: 0.99 0.97 0.99 2/64 4106 /proc/meminfo: memFree=1722968/2055920 swapFree=4181452/4192956 ################ # More data... # ################ [pid=4106] ppid=4104 vsize=322492 CPUtime=1781.46 /proc/4106/stat : 4106 (minisat+) R 4104 4106 4060 0 -1 4194304 79857 0 0 0 178065 81 0 0 25 0 1 0 199718486 330231808 79519 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4106/statm: 80623 79519 124 215 0 80405 0 Current children cumulated CPU time (s) 1781.46 Current children cumulated vsize (Kb) 322492 [startup+1783.07 s] /proc/loadavg: 0.99 0.97 0.99 2/64 4108 /proc/meminfo: memFree=1497560/2055920 swapFree=4181452/4192956 [pid=4106] ppid=4104 vsize=322880 CPUtime=1782.46 /proc/4106/stat : 4106 (minisat+) R 4104 4106 4060 0 -1 4194304 79951 0 0 0 178165 81 0 0 25 0 1 0 199718486 330629120 79613 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4106/statm: 80720 79613 124 215 0 80502 0 Current children cumulated CPU time (s) 1782.46 Current children cumulated vsize (Kb) 322880 [startup+1784.08 s] /proc/loadavg: 0.99 0.97 0.99 2/64 4108 /proc/meminfo: memFree=1497240/2055920 swapFree=4181452/4192956 [pid=4106] ppid=4104 vsize=323272 CPUtime=1783.46 /proc/4106/stat : 4106 (minisat+) R 4104 4106 4060 0 -1 4194304 80034 0 0 0 178265 81 0 0 25 0 1 0 199718486 331030528 79696 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4106/statm: 80818 79696 124 215 0 80600 0 Current children cumulated CPU time (s) 1783.46 Current children cumulated vsize (Kb) 323272 [startup+1785.08 s] /proc/loadavg: 0.99 0.97 0.99 2/64 4108 /proc/meminfo: memFree=1496984/2055920 swapFree=4181452/4192956 [pid=4106] ppid=4104 vsize=323404 CPUtime=1784.47 /proc/4106/stat : 4106 (minisat+) R 4104 4106 4060 0 -1 4194304 80092 0 0 0 178366 81 0 0 25 0 1 0 199718486 331165696 79754 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580965 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4106/statm: 80851 79754 124 215 0 80633 0 Current children cumulated CPU time (s) 1784.47 Current children cumulated vsize (Kb) 323404 [startup+1786.09 s] /proc/loadavg: 0.99 0.97 0.99 2/64 4108 /proc/meminfo: memFree=1496728/2055920 swapFree=4181452/4192956 [pid=4106] ppid=4104 vsize=323668 CPUtime=1785.47 /proc/4106/stat : 4106 (minisat+) R 4104 4106 4060 0 -1 4194304 80156 0 0 0 178466 81 0 0 25 0 1 0 199718486 331436032 79818 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135011021 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4106/statm: 80917 79818 124 215 0 80699 0 Current children cumulated CPU time (s) 1785.47 Current children cumulated vsize (Kb) 323668 [startup+1787.09 s] /proc/loadavg: 0.99 0.97 0.99 2/64 4108 /proc/meminfo: memFree=1496664/2055920 swapFree=4181452/4192956 [pid=4106] ppid=4104 vsize=323800 CPUtime=1786.48 /proc/4106/stat : 4106 (minisat+) R 4104 4106 4060 0 -1 4194304 80177 0 0 0 178567 81 0 0 25 0 1 0 199718486 331571200 79839 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4106/statm: 80950 79839 124 215 0 80732 0 Current children cumulated CPU time (s) 1786.48 Current children cumulated vsize (Kb) 323800 [startup+1788.1 s] /proc/loadavg: 0.99 0.97 0.99 2/64 4108 /proc/meminfo: memFree=1496536/2055920 swapFree=4181452/4192956 [pid=4106] ppid=4104 vsize=323936 CPUtime=1787.48 /proc/4106/stat : 4106 (minisat+) R 4104 4106 4060 0 -1 4194304 80196 0 0 0 178667 81 0 0 25 0 1 0 199718486 331710464 79858 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4106/statm: 80984 79858 124 215 0 80766 0 Current children cumulated CPU time (s) 1787.48 Current children cumulated vsize (Kb) 323936 [startup+1789.1 s] /proc/loadavg: 0.99 0.97 0.99 2/64 4108 /proc/meminfo: memFree=1496408/2055920 swapFree=4181452/4192956 [pid=4106] ppid=4104 vsize=324060 CPUtime=1788.49 /proc/4106/stat : 4106 (minisat+) R 4104 4106 4060 0 -1 4194304 80230 0 0 0 178768 81 0 0 25 0 1 0 199718486 331837440 79892 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580768 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4106/statm: 81015 79892 124 215 0 80797 0 Current children cumulated CPU time (s) 1788.49 Current children cumulated vsize (Kb) 324060 [startup+1790.11 s] /proc/loadavg: 0.99 0.97 0.99 2/64 4108 /proc/meminfo: memFree=1496344/2055920 swapFree=4181452/4192956 [pid=4106] ppid=4104 vsize=324060 CPUtime=1789.49 /proc/4106/stat : 4106 (minisat+) R 4104 4106 4060 0 -1 4194304 80255 0 0 0 178868 81 0 0 25 0 1 0 199718486 331837440 79917 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4106/statm: 81015 79917 124 215 0 80797 0 Current children cumulated CPU time (s) 1789.49 Current children cumulated vsize (Kb) 324060 [startup+1791.11 s] /proc/loadavg: 0.99 0.97 0.99 2/64 4108 /proc/meminfo: memFree=1496280/2055920 swapFree=4181452/4192956 [pid=4106] ppid=4104 vsize=324188 CPUtime=1790.5 /proc/4106/stat : 4106 (minisat+) R 4104 4106 4060 0 -1 4194304 80267 0 0 0 178969 81 0 0 25 0 1 0 199718486 331968512 79929 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581028 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4106/statm: 81047 79929 124 215 0 80829 0 Current children cumulated CPU time (s) 1790.5 Current children cumulated vsize (Kb) 324188 [startup+1792.12 s] /proc/loadavg: 0.99 0.97 0.99 2/64 4108 /proc/meminfo: memFree=1496216/2055920 swapFree=4181452/4192956 [pid=4106] ppid=4104 vsize=324188 CPUtime=1791.5 /proc/4106/stat : 4106 (minisat+) R 4104 4106 4060 0 -1 4194304 80286 0 0 0 179069 81 0 0 25 0 1 0 199718486 331968512 79948 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4106/statm: 81047 79948 124 215 0 80829 0 Current children cumulated CPU time (s) 1791.5 Current children cumulated vsize (Kb) 324188 [startup+1793.12 s] /proc/loadavg: 0.99 0.97 0.99 2/64 4108 /proc/meminfo: memFree=1496088/2055920 swapFree=4181452/4192956 [pid=4106] ppid=4104 vsize=324320 CPUtime=1792.5 /proc/4106/stat : 4106 (minisat+) R 4104 4106 4060 0 -1 4194304 80311 0 0 0 179169 81 0 0 25 0 1 0 199718486 332103680 79973 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4106/statm: 81080 79973 124 215 0 80862 0 Current children cumulated CPU time (s) 1792.5 Current children cumulated vsize (Kb) 324320 [startup+1794.13 s] /proc/loadavg: 0.99 0.97 0.99 2/64 4108 /proc/meminfo: memFree=1495960/2055920 swapFree=4181452/4192956 [pid=4106] ppid=4104 vsize=324452 CPUtime=1793.51 /proc/4106/stat : 4106 (minisat+) R 4104 4106 4060 0 -1 4194304 80345 0 0 0 179270 81 0 0 25 0 1 0 199718486 332238848 80007 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576727 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4106/statm: 81113 80007 124 215 0 80895 0 Current children cumulated CPU time (s) 1793.51 Current children cumulated vsize (Kb) 324452 [startup+1795.13 s] /proc/loadavg: 0.99 0.97 0.99 2/64 4108 /proc/meminfo: memFree=1495832/2055920 swapFree=4181452/4192956 [pid=4106] ppid=4104 vsize=324580 CPUtime=1794.51 /proc/4106/stat : 4106 (minisat+) R 4104 4106 4060 0 -1 4194304 80376 0 0 0 179370 81 0 0 25 0 1 0 199718486 332369920 80038 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4106/statm: 81145 80038 124 215 0 80927 0 Current children cumulated CPU time (s) 1794.51 Current children cumulated vsize (Kb) 324580 [startup+1796.14 s] /proc/loadavg: 0.99 0.97 0.99 2/64 4108 /proc/meminfo: memFree=1495704/2055920 swapFree=4181452/4192956 [pid=4106] ppid=4104 vsize=324708 CPUtime=1795.52 /proc/4106/stat : 4106 (minisat+) R 4104 4106 4060 0 -1 4194304 80401 0 0 0 179471 81 0 0 25 0 1 0 199718486 332500992 80063 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4106/statm: 81177 80063 124 215 0 80959 0 Current children cumulated CPU time (s) 1795.52 Current children cumulated vsize (Kb) 324708 [startup+1797.14 s] /proc/loadavg: 0.99 0.97 0.99 2/64 4108 /proc/meminfo: memFree=1495640/2055920 swapFree=4181452/4192956 [pid=4106] ppid=4104 vsize=324708 CPUtime=1796.52 /proc/4106/stat : 4106 (minisat+) R 4104 4106 4060 0 -1 4194304 80423 0 0 0 179571 81 0 0 25 0 1 0 199718486 332500992 80085 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4106/statm: 81177 80085 124 215 0 80959 0 Current children cumulated CPU time (s) 1796.52 Current children cumulated vsize (Kb) 324708 [startup+1798.15 s] /proc/loadavg: 0.99 0.97 0.99 2/64 4108 /proc/meminfo: memFree=1495512/2055920 swapFree=4181452/4192956 [pid=4106] ppid=4104 vsize=324836 CPUtime=1797.53 /proc/4106/stat : 4106 (minisat+) R 4104 4106 4060 0 -1 4194304 80448 0 0 0 179672 81 0 0 25 0 1 0 199718486 332632064 80110 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581463 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4106/statm: 81209 80110 124 215 0 80991 0 Current children cumulated CPU time (s) 1797.53 Current children cumulated vsize (Kb) 324836 [startup+1799.15 s] /proc/loadavg: 0.99 0.97 0.99 2/64 4108 /proc/meminfo: memFree=1495448/2055920 swapFree=4181452/4192956 [pid=4106] ppid=4104 vsize=324968 CPUtime=1798.53 /proc/4106/stat : 4106 (minisat+) R 4104 4106 4060 0 -1 4194304 80465 0 0 0 179772 81 0 0 25 0 1 0 199718486 332767232 80127 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580973 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4106/statm: 81242 80127 124 215 0 81024 0 Current children cumulated CPU time (s) 1798.53 Current children cumulated vsize (Kb) 324968 [startup+1800.16 s] /proc/loadavg: 0.99 0.97 0.99 2/64 4108 /proc/meminfo: memFree=1495384/2055920 swapFree=4181452/4192956 [pid=4106] ppid=4104 vsize=324968 CPUtime=1799.54 /proc/4106/stat : 4106 (minisat+) R 4104 4106 4060 0 -1 4194304 80486 0 0 0 179873 81 0 0 25 0 1 0 199718486 332767232 80148 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574096 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4106/statm: 81242 80148 124 215 0 81024 0 Current children cumulated CPU time (s) 1799.54 Current children cumulated vsize (Kb) 324968 [startup+1801.16 s] /proc/loadavg: 0.99 0.97 0.99 2/64 4108 /proc/meminfo: memFree=1495320/2055920 swapFree=4181452/4192956 [pid=4106] ppid=4104 vsize=325096 CPUtime=1800.54 /proc/4106/stat : 4106 (minisat+) R 4104 4106 4060 0 -1 4194304 80505 0 0 0 179973 81 0 0 25 0 1 0 199718486 332898304 80167 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580756 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4106/statm: 81274 80167 124 215 0 81056 0 Current children cumulated CPU time (s) 1800.54 Current children cumulated vsize (Kb) 325096 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.16 s] /proc/loadavg: 0.99 0.97 0.99 2/64 4108 /proc/meminfo: memFree=1495320/2055920 swapFree=4181452/4192956 [pid=4106] ppid=4104 vsize=325096 CPUtime=1800.54 /proc/4106/stat : 4106 (minisat+) R 4104 4106 4060 0 -1 4194304 80505 0 0 0 179973 81 0 0 25 0 1 0 199718486 332898304 80167 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581415 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4106/statm: 81274 80167 124 215 0 81056 0 Current children cumulated CPU time (s) 1800.54 Current children cumulated vsize (Kb) 325096 Sending SIGTERM to -4106 Sleeping 2 seconds Child status: 0 Real time (s): 1801.23 CPU time (s): 1800.61 CPU user time (s): 1799.74 CPU system time (s): 0.874867 CPU usage (%): 99.9656 Max. virtual memory (cumulated for all children) (Kb): 325096
Begin job on node36 on Sat Jun 3 13:15:24 UTC 2006 FILE ID= 35077-1149340524 PBS_JOBID= 310398 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-sc105.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node36/35077-1149340524/instance-35077-1149340524.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node36/watcher-35077-1149340524 -o ROOT/results/node36/solver-35077-1149340524 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node36/35077-1149340524/instance-35077-1149340524.opb MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db MD5SUM BENCH= 9af0146fd6df1c22fb98014c5db68dfb RANDOM SEED= 751425055 /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.284 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.284 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: 1816664 kB Buffers: 18940 kB Cached: 154268 kB SwapCached: 3320 kB Active: 38560 kB Inactive: 143468 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1816664 kB SwapTotal: 4192956 kB SwapFree: 4181452 kB Dirty: 180 kB Writeback: 0 kB Mapped: 14932 kB Slab: 43340 kB Committed_AS: 287500 kB PageTables: 1428 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node36 on Sat Jun 3 13:45:25 UTC 2006