Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | ? (TO) | 1800.67 | 1801.16 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-stocfor1.opb |
MD5SUM | f5fea9f9b3e2808f219e4e92af96aba2 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -71 |
Best CPU time to get the best result obtained on this benchmark | 1800.26 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -71 |
Optimality of the best value was proved | NO |
Number of variables | 3330 |
Total number of constraints | 117 |
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 | 117 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 240 |
Number of terms in the objective function | 810 |
Biggest coefficient in the objective function | 21201 |
Number of bits for the biggest coefficient in the objective function | 15 |
Sum of the numbers in the objective function | 524901 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262144 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 524901 |
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.19 c Converting 180 PB-constraints to clauses... 0.19 c -- Unit propagations: ppppppppppppppppppppppppppppppppppppppppppppppp 0.25 c -- Detecting intervals from adjacent constraints: ############################################################### 0.25 c -- Clauses(.)/Splits(s): (none) 0.25 c ---[ 179]---> Sorter-cost: 459 Base: 3 0.25 c ---[ 178]---> Adder-cost: 70 maxlim: 47 bits: 7/6 0.25 c ---[ 177]---> Sorter-cost: 880 Base: 3 5 0.25 c ---[ 176]---> Adder-cost: 110 maxlim: 1044 bits: 11/11 0.26 c ---[ 175]---> Adder-cost: 116 maxlim: 2069 bits: 12/12 0.27 c ---[ 174]---> Adder-cost: 124 maxlim: 4118 bits: 13/13 0.28 c ---[ 173]---> Adder-cost: 130 maxlim: 8215 bits: 14/14 0.28 c ---[ 172]---> Sorter-cost: 504 Base: 3 0.28 c ---[ 171]---> Sorter-cost: 880 Base: 3 5 0.29 c ---[ 170]---> Adder-cost: 86 maxlim: 145 bits: 8/8 0.29 c ---[ 169]---> Adder-cost: 86 maxlim: 145 bits: 8/8 0.29 c ---[ 168]---> Adder-cost: 110 maxlim: 1044 bits: 11/11 0.30 c ---[ 167]---> Adder-cost: 116 maxlim: 2069 bits: 12/12 0.31 c ---[ 166]---> Adder-cost: 124 maxlim: 4118 bits: 13/13 0.32 c ---[ 165]---> Sorter-cost: 627 Base: 3 0.32 c ---[ 164]---> Sorter-cost: 880 Base: 3 5 0.32 c ---[ 163]---> Adder-cost: 86 maxlim: 145 bits: 8/8 0.32 c ---[ 162]---> Adder-cost: 94 maxlim: 274 bits: 9/9 0.33 c ---[ 161]---> Adder-cost: 94 maxlim: 274 bits: 9/9 0.33 c ---[ 160]---> Adder-cost: 110 maxlim: 1044 bits: 11/11 0.34 c ---[ 159]---> Adder-cost: 116 maxlim: 2069 bits: 12/12 0.34 c ---[ 158]---> Adder-cost: 70 maxlim: 47 bits: 7/6 0.35 c ---[ 157]---> Sorter-cost: 880 Base: 3 5 0.35 c ---[ 156]---> Adder-cost: 86 maxlim: 145 bits: 8/8 0.35 c ---[ 155]---> Adder-cost: 94 maxlim: 274 bits: 9/9 0.36 c ---[ 154]---> Adder-cost: 100 maxlim: 531 bits: 10/10 0.36 c ---[ 153]---> Adder-cost: 100 maxlim: 531 bits: 10/10 0.37 c ---[ 152]---> Adder-cost: 110 maxlim: 1044 bits: 11/11 0.37 c ---[ 151]---> Sorter-cost: 504 Base: 3 0.37 c ---[ 150]---> Sorter-cost: 880 Base: 3 5 0.38 c ---[ 149]---> Adder-cost: 86 maxlim: 145 bits: 8/8 0.38 c ---[ 148]---> Adder-cost: 94 maxlim: 274 bits: 9/9 0.38 c ---[ 147]---> Adder-cost: 100 maxlim: 531 bits: 10/10 0.39 c ---[ 146]---> Adder-cost: 110 maxlim: 1044 bits: 11/11 0.40 c ---[ 145]---> Adder-cost: 110 maxlim: 1044 bits: 11/11 0.40 c ---[ 144]---> Adder-cost: 70 maxlim: 38 bits: 7/6 0.40 c ---[ 143]---> Adder-cost: 94 maxlim: 274 bits: 9/9 0.41 c ---[ 142]---> Adder-cost: 100 maxlim: 531 bits: 10/10 0.41 c ---[ 141]---> Adder-cost: 110 maxlim: 1044 bits: 11/11 0.42 c ---[ 140]---> Adder-cost: 116 maxlim: 1044 bits: 12/11 0.43 c ---[ 139]---> Adder-cost: 116 maxlim: 1044 bits: 12/11 0.43 c ---[ 138]---> Adder-cost: 121 maxlim: 1044 bits: 12/11 0.44 c ---[ 136]---> BDD-cost: 21 0.44 c ---[ 134]---> Adder-cost: 260 maxlim: 171 bits: 9/8 0.45 c ---[ 132]---> Adder-cost: 316 maxlim: 326 bits: 10/9 0.47 c ---[ 130]---> Adder-cost: 354 maxlim: 636 bits: 11/10 0.49 c ---[ 128]---> Adder-cost: 402 maxlim: 1255 bits: 12/11 0.51 c ---[ 126]---> Adder-cost: 450 maxlim: 2492 bits: 13/12 0.55 c ---[ 124]---> Adder-cost: 484 maxlim: 4966 bits: 13/13 0.59 c ---[ 122]---> BDD-cost: 21 0.59 c ---[ 120]---> Sorter-cost: 461 Base: 3 0.59 c ---[ 118]---> Sorter-cost: 1376 Base: 2 2 3 5 2 0.60 c ---[ 116]---> Adder-cost: 140 maxlim: 1076 bits: 12/11 0.61 c ---[ 114]---> Adder-cost: 160 maxlim: 2134 bits: 13/12 0.63 c ---[ 112]---> Adder-cost: 188 maxlim: 4249 bits: 14/13 0.66 c ---[ 110]---> Adder-cost: 210 maxlim: 8478 bits: 15/14 0.71 c ---[ 108]---> BDD-cost: 20 0.71 c ---[ 106]---> Sorter-cost: 461 Base: 3 0.71 c ---[ 104]---> Adder-cost: 66 maxlim: 48 bits: 7/6 0.71 c ---[ 102]---> Sorter-cost: 1374 Base: 2 2 3 5 2 0.72 c ---[ 100]---> Adder-cost: 138 maxlim: 1076 bits: 12/11 0.73 c ---[ 98]---> Adder-cost: 160 maxlim: 2134 bits: 13/12 0.75 c ---[ 96]---> Adder-cost: 182 maxlim: 4249 bits: 14/13 0.78 c ---[ 94]---> BDD-cost: 31 0.78 c ---[ 92]---> Sorter-cost: 914 Base: 3 0.79 c ---[ 90]---> Adder-cost: 102 maxlim: 94 bits: 7/7 0.79 c ---[ 88]---> Adder-cost: 116 maxlim: 115 bits: 8/7 0.80 c ---[ 86]---> Adder-cost: 184 maxlim: 1056 bits: 11/11 0.81 c ---[ 84]---> Adder-cost: 214 maxlim: 2081 bits: 12/12 0.83 c ---[ 82]---> Adder-cost: 236 maxlim: 4130 bits: 13/13 0.85 c ---[ 80]---> Sorter-cost: 125 Base: 2 0.85 c ---[ 78]---> Sorter-cost: 931 Base: 3 0.86 c ---[ 76]---> Adder-cost: 126 maxlim: 115 bits: 8/7 0.86 c ---[ 74]---> Adder-cost: 140 maxlim: 202 bits: 9/8 0.87 c ---[ 72]---> Adder-cost: 140 maxlim: 202 bits: 9/8 0.87 c ---[ 70]---> Adder-cost: 184 maxlim: 1056 bits: 11/11 0.88 c ---[ 68]---> Adder-cost: 196 maxlim: 2081 bits: 12/12 0.90 c ---[ 66]---> Sorter-cost: 193 Base: 2 0.90 c ---[ 64]---> Sorter-cost: 1072 Base: 3 0.91 c ---[ 62]---> Adder-cost: 126 maxlim: 115 bits: 8/7 0.91 c ---[ 60]---> Adder-cost: 140 maxlim: 202 bits: 9/8 0.92 c ---[ 58]---> Sorter-cost: 1674 Base: 3 7 2 0.92 c ---[ 56]---> Sorter-cost: 1674 Base: 3 7 2 0.93 c ---[ 54]---> Adder-cost: 172 maxlim: 1056 bits: 11/11 0.94 c ---[ 52]---> BDD-cost: 31 0.94 c ---[ 50]---> Adder-cost: 96 maxlim: 71 bits: 7/7 0.95 c ---[ 48]---> Adder-cost: 118 maxlim: 115 bits: 8/7 0.95 c ---[ 46]---> Adder-cost: 138 maxlim: 202 bits: 9/8 0.96 c ---[ 44]---> Sorter-cost: 1674 Base: 3 7 2 0.96 c ---[ 42]---> Adder-cost: 176 maxlim: 722 bits: 10/10 0.97 c ---[ 40]---> Sorter-cost: 2023 Base: 3 7 2 2 0.98 c ---[ 38]---> Sorter-cost: 193 Base: 2 0.98 c ---[ 36]---> Adder-cost: 164 maxlim: 111 bits: 8/7 0.99 c ---[ 34]---> Adder-cost: 210 maxlim: 279 bits: 9/9 1.00 c ---[ 32]---> Adder-cost: 238 maxlim: 515 bits: 10/10 1.01 c ---[ 30]---> Adder-cost: 272 maxlim: 985 bits: 11/10 1.03 c ---[ 28]---> Adder-cost: 318 maxlim: 1519 bits: 12/11 1.05 c ---[ 26]---> Adder-cost: 344 maxlim: 2585 bits: 12/12 1.08 c ---[ 25]---> Adder-cost: 364 maxlim: 137 bits: 9/8 1.09 c ---[ 24]---> Adder-cost: 391 maxlim: 313 bits: 10/9 1.11 c ---[ 23]---> Adder-cost: 438 maxlim: 539 bits: 11/10 1.12 c ---[ 22]---> Adder-cost: 464 maxlim: 990 bits: 11/10 1.15 c ---[ 21]---> Adder-cost: 528 maxlim: 1416 bits: 12/11 1.20 c ---[ 20]---> Adder-cost: 562 maxlim: 2173 bits: 12/12 1.25 c ---[ 19]---> Adder-cost: 240 maxlim: 219 bits: 9/8 1.26 c ---[ 18]---> Adder-cost: 274 maxlim: 415 bits: 10/9 1.28 c ---[ 17]---> Adder-cost: 272 maxlim: 415 bits: 10/9 1.29 c ---[ 16]---> Adder-cost: 327 maxlim: 415 bits: 10/9 1.31 c ---[ 15]---> Adder-cost: 380 maxlim: 415 bits: 10/9 1.33 c ---[ 14]---> Adder-cost: 422 maxlim: 415 bits: 10/9 1.36 c ---[ 12]---> Adder-cost: 218 maxlim: 138 bits: 9/8 1.37 c ---[ 10]---> Adder-cost: 244 maxlim: 314 bits: 10/9 1.38 c ---[ 8]---> Adder-cost: 242 maxlim: 540 bits: 10/10 1.40 c ---[ 6]---> Adder-cost: 284 maxlim: 991 bits: 11/10 1.43 c ---[ 4]---> Adder-cost: 314 maxlim: 1418 bits: 11/11 1.46 c ---[ 2]---> Adder-cost: 344 maxlim: 2178 bits: 12/12 1.50 c ---[ 0]---> Adder-cost: 488 maxlim: 3242 bits: 12/12 1.68 c ==================================[MINISAT+]================================== 1.68 c | Conflicts | Original | Learnt | Progress | 1.68 c | | Clauses Literals | Max Clauses Literals LPC | | 1.68 c ============================================================================== 1.68 c | 0 | 169403 540793 | 56467 0 0 nan | 0.000 % | 1.74 c | 102 | 169234 540398 | 62113 87 401 4.6 | 6.226 % | 1.75 c | 252 | 169234 540398 | 68325 237 888 3.7 | 6.226 % | 1.79 c | 477 | 169211 540325 | 75157 456 2036 4.5 | 6.239 % | 1.90 c | 814 | 169160 540176 | 82673 783 4174 5.3 | 6.259 % | 1.97 c | 1320 | 169152 540150 | 90940 1288 8910 6.9 | 6.262 % | 2.07 c | 2081 | 169122 540085 | 100034 2045 16034 7.8 | 6.282 % | 2.21 c | 3223 | 169068 539962 | 110038 3182 34004 10.7 | 6.321 % | 2.45 c | 4931 | 168977 539746 | 121042 4819 52148 10.8 | 6.389 % | 2.83 c | 7494 | 168894 539550 | 133146 7374 82125 11.1 | 6.446 % | 3.50 c | 11338 | 167593 536253 | 146460 11126 125519 11.3 | 7.206 % | 4.61 c | 17105 | 165471 531092 | 161106 16712 206169 12.3 | 8.743 % | 6.57 c | 25754 | 162775 524342 | 177217 25187 321410 12.8 | 10.655 % | 9.39 c | 38729 | 161492 520843 | 194939 37757 547561 14.5 | 11.372 % | 13.74 c | 58192 | 160949 519593 | 214433 57083 976389 17.1 | 11.809 % | 21.17 c | 87384 | 159466 516075 | 235876 82734 1638534 19.8 | 12.955 % | 33.90 c | 131174 | 156627 508338 | 259464 122700 2811996 22.9 | 14.691 % | 59.40 c | 196858 | 150483 491441 | 285410 167642 4099240 24.5 | 18.579 % | 131.69 c | 295385 | 143379 473542 | 313951 247079 6908883 28.0 | 23.973 % | 200.08 c | 443174 | 140120 465328 | 345347 92452 2462166 26.6 | 26.661 % | 404.42 c | 664858 | 138896 462042 | 379881 312784 10820132 34.6 | 27.505 % | 942.62 c | 997384 | 134904 450894 | 417869 285187 7849669 27.5 | 29.948 % | 1460.67 c | 1496172 | 130384 437631 | 459656 364823 11567291 31.7 | 32.562 % | 1801.14 c 1801.14 c *** TERMINATED *** 1801.14 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/node49/watcher-35078-1149340784 -o ROOT/results/node49/solver-35078-1149340784 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node49/35078-1149340784/instance-35078-1149340784.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.97 0.99 2/64 13421 /proc/meminfo: memFree=1472968/2055920 swapFree=4181416/4192956 [pid=13421] ppid=13419 vsize=1048 CPUtime=0 /proc/13421/stat : 13421 (minisat+) R 13419 13421 13375 0 -1 4194304 103 0 0 0 0 0 0 0 19 0 1 0 199745583 1073152 88 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13421/statm: 262 88 67 215 0 44 0 [startup+10.0023 s] /proc/loadavg: 0.93 0.97 0.99 2/64 13421 /proc/meminfo: memFree=1456328/2055920 swapFree=4181416/4192956 [pid=13421] ppid=13419 vsize=18220 CPUtime=9.98 /proc/13421/stat : 13421 (minisat+) R 13419 13421 13375 0 -1 4194304 4425 0 0 0 997 1 0 0 25 0 1 0 199745583 18657280 4277 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13421/statm: 4555 4277 124 215 0 4337 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 18220 [startup+20.0091 s] /proc/loadavg: 0.94 0.97 0.99 2/64 13421 /proc/meminfo: memFree=1451144/2055920 swapFree=4181416/4192956 [pid=13421] ppid=13419 vsize=23420 CPUtime=19.98 /proc/13421/stat : 13421 (minisat+) R 13419 13421 13375 0 -1 4194304 5721 0 0 0 1996 2 0 0 25 0 1 0 199745583 23982080 5573 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580973 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13421/statm: 5855 5573 124 215 0 5637 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 23420 [startup+30.0149 s] /proc/loadavg: 0.95 0.97 0.99 2/64 13421 /proc/meminfo: memFree=1446728/2055920 swapFree=4181416/4192956 [pid=13421] ppid=13419 vsize=27932 CPUtime=29.99 /proc/13421/stat : 13421 (minisat+) R 13419 13421 13375 0 -1 4194304 6828 0 0 0 2996 3 0 0 25 0 1 0 199745583 28602368 6680 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588680 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13421/statm: 6983 6680 124 215 0 6765 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 27932 [startup+40.0208 s] /proc/loadavg: 0.95 0.97 0.99 2/64 13421 /proc/meminfo: memFree=1441544/2055920 swapFree=4181416/4192956 [pid=13421] ppid=13419 vsize=33196 CPUtime=39.99 /proc/13421/stat : 13421 (minisat+) R 13419 13421 13375 0 -1 4194304 8108 0 0 0 3995 4 0 0 25 0 1 0 199745583 33992704 7960 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13421/statm: 8299 7960 124 215 0 8081 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 33196 [startup+50.0266 s] /proc/loadavg: 0.96 0.97 0.99 2/64 13421 /proc/meminfo: memFree=1440136/2055920 swapFree=4181416/4192956 [pid=13421] ppid=13419 vsize=34516 CPUtime=50 /proc/13421/stat : 13421 (minisat+) R 13419 13421 13375 0 -1 4194304 8456 0 0 0 4995 5 0 0 25 0 1 0 199745583 35344384 8308 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574190 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13421/statm: 8629 8308 124 215 0 8411 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 34516 [startup+60.0324 s] /proc/loadavg: 0.97 0.97 0.99 2/64 13421 /proc/meminfo: memFree=1436808/2055920 swapFree=4181416/4192956 [pid=13421] ppid=13419 vsize=37824 CPUtime=60 /proc/13421/stat : 13421 (minisat+) R 13419 13421 13375 0 -1 4194304 9291 0 0 0 5994 6 0 0 25 0 1 0 199745583 38731776 9143 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569754 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13421/statm: 9456 9143 124 215 0 9238 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 37824 [startup+70.0382 s] /proc/loadavg: 0.97 0.97 0.99 2/64 13421 /proc/meminfo: memFree=1434184/2055920 swapFree=4181416/4192956 [pid=13421] ppid=13419 vsize=40432 CPUtime=70 /proc/13421/stat : 13421 (minisat+) R 13419 13421 13375 0 -1 4194304 9956 0 0 0 6994 6 0 0 25 0 1 0 199745583 41402368 9808 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13421/statm: 10108 9808 124 215 0 9890 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 40432 [startup+80.044 s] /proc/loadavg: 0.98 0.97 0.99 2/64 13421 /proc/meminfo: memFree=1431688/2055920 swapFree=4181416/4192956 [pid=13421] ppid=13419 vsize=42796 CPUtime=80.01 /proc/13421/stat : 13421 (minisat+) R 13419 13421 13375 0 -1 4194304 10574 0 0 0 7994 7 0 0 25 0 1 0 199745583 43823104 10426 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580786 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13421/statm: 10699 10426 124 215 0 10481 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 42796 [startup+90.0489 s] /proc/loadavg: 0.98 0.97 0.99 2/64 13421 /proc/meminfo: memFree=1429576/2055920 swapFree=4181416/4192956 [pid=13421] ppid=13419 vsize=45312 CPUtime=90.01 /proc/13421/stat : 13421 (minisat+) R 13419 13421 13375 0 -1 4194304 11106 0 0 0 8993 8 0 0 25 0 1 0 199745583 46399488 10958 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580783 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13421/statm: 11328 10958 124 215 0 11110 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 45312 [startup+100.055 s] /proc/loadavg: 0.98 0.97 0.99 2/64 13421 /proc/meminfo: memFree=1428808/2055920 swapFree=4181416/4192956 [pid=13421] ppid=13419 vsize=46116 CPUtime=100.01 /proc/13421/stat : 13421 (minisat+) R 13419 13421 13375 0 -1 4194304 11291 0 0 0 9993 8 0 0 25 0 1 0 199745583 47222784 11143 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13421/statm: 11529 11143 124 215 0 11311 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 46116 [startup+110.06 s] /proc/loadavg: 0.98 0.97 0.99 2/64 13421 /proc/meminfo: memFree=1426568/2055920 swapFree=4181416/4192956 [pid=13421] ppid=13419 vsize=48236 CPUtime=110.01 /proc/13421/stat : 13421 (minisat+) R 13419 13421 13375 0 -1 4194304 11843 0 0 0 10993 8 0 0 25 0 1 0 199745583 49393664 11695 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581469 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13421/statm: 12059 11695 124 215 0 11841 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 48236 [startup+120.066 s] /proc/loadavg: 0.99 0.97 0.99 2/64 13421 /proc/meminfo: memFree=1424712/2055920 swapFree=4181416/4192956 [pid=13421] ppid=13419 vsize=50100 CPUtime=120.02 /proc/13421/stat : 13421 (minisat+) R 13419 13421 13375 0 -1 4194304 12304 0 0 0 11993 9 0 0 25 0 1 0 199745583 51302400 12156 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580840 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13421/statm: 12525 12156 124 215 0 12307 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 50100 [startup+130.072 s] /proc/loadavg: 0.99 0.97 0.99 2/64 13421 /proc/meminfo: memFree=1422536/2055920 swapFree=4181416/4192956 [pid=13421] ppid=13419 vsize=52288 CPUtime=130.02 /proc/13421/stat : 13421 (minisat+) R 13419 13421 13375 0 -1 4194304 12844 0 0 0 12993 9 0 0 25 0 1 0 199745583 53542912 12696 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13421/statm: 13072 12696 124 215 0 12854 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 52288 [startup+140.078 s] /proc/loadavg: 0.99 0.97 0.99 2/64 13421 /proc/meminfo: memFree=1420424/2055920 swapFree=4181416/4192956 [pid=13421] ppid=13419 vsize=54272 CPUtime=140.03 /proc/13421/stat : 13421 (minisat+) R 13419 13421 13375 0 -1 4194304 13378 0 0 0 13993 10 0 0 25 0 1 0 199745583 55574528 13230 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13421/statm: 13568 13230 124 215 0 13350 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 54272 [startup+150.084 s] /proc/loadavg: 0.99 0.97 0.99 2/64 13421 /proc/meminfo: memFree=1416008/2055920 swapFree=4181416/4192956 [pid=13421] ppid=13419 vsize=58612 CPUtime=150.03 /proc/13421/stat : 13421 (minisat+) R 13419 13421 13375 0 -1 4194304 14481 0 0 0 14992 11 0 0 25 0 1 0 199745583 60018688 14333 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581415 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13421/statm: 14653 14333 124 215 0 14435 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 58612 [startup+160.09 s] /proc/loadavg: 0.99 0.97 0.99 2/64 13421 /proc/meminfo: memFree=1412744/2055920 swapFree=4181416/4192956 [pid=13421] ppid=13419 vsize=61892 CPUtime=160.04 /proc/13421/stat : 13421 (minisat+) R 13419 13421 13375 0 -1 4194304 15306 0 0 0 15992 12 0 0 25 0 1 0 199745583 63377408 15158 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13421/statm: 15473 15158 124 215 0 15255 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 61892 [startup+170.095 s] /proc/loadavg: 0.99 0.97 0.99 2/64 13421 /proc/meminfo: memFree=1410632/2055920 swapFree=4181416/4192956 [pid=13421] ppid=13419 vsize=64472 CPUtime=170.04 /proc/13421/stat : 13421 (minisat+) R 13419 13421 13375 0 -1 4194304 15821 0 0 0 16992 12 0 0 25 0 1 0 199745583 66019328 15673 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13421/statm: 16118 15673 124 215 0 15900 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 64472 [startup+180.101 s] /proc/loadavg: 0.99 0.97 0.99 2/64 13421 /proc/meminfo: memFree=1408584/2055920 swapFree=4181416/4192956 [pid=13421] ppid=13419 vsize=66532 CPUtime=180.03 /proc/13421/stat : 13421 (minisat+) R 13419 13421 13375 0 -1 4194304 16336 0 0 0 17991 12 0 0 25 0 1 0 199745583 68128768 16188 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13421/statm: 16633 16188 124 215 0 16415 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 66532 [startup+190.107 s] /proc/loadavg: 0.99 0.97 0.99 2/64 13421 /proc/meminfo: memFree=1408584/2055920 swapFree=4181416/4192956 [pid=13421] ppid=13419 vsize=66532 CPUtime=190.05 /proc/13421/stat : 13421 (minisat+) R 13419 13421 13375 0 -1 4194304 16336 0 0 0 18992 13 0 0 25 0 1 0 199745583 68128768 16188 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13421/statm: 16633 16188 124 215 0 16415 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 66532 [startup+200.113 s] /proc/loadavg: 0.99 0.97 0.99 2/64 13421 /proc/meminfo: memFree=1408520/2055920 swapFree=4181416/4192956 [pid=13421] ppid=13419 vsize=66532 CPUtime=200.05 /proc/13421/stat : 13421 (minisat+) R 13419 13421 13375 0 -1 4194304 16336 0 0 0 19992 13 0 0 25 0 1 0 199745583 68128768 16188 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580314 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13421/statm: 16633 16188 124 215 0 16415 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 66532 [startup+210.119 s] /proc/loadavg: 0.99 0.97 0.99 2/64 13421 /proc/meminfo: memFree=1408584/2055920 swapFree=4181416/4192956 ################ # More data... # ################ [pid=13421] ppid=13419 vsize=109652 CPUtime=1781.56 /proc/13421/stat : 13421 (minisat+) R 13419 13421 13375 0 -1 4194304 26930 0 0 0 178130 26 0 0 25 0 1 0 199745583 112283648 26782 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13421/statm: 27413 26782 124 215 0 27195 0 Current children cumulated CPU time (s) 1781.56 Current children cumulated vsize (Kb) 109652 [startup+1783.05 s] /proc/loadavg: 0.99 0.97 0.99 2/64 13423 /proc/meminfo: memFree=1365840/2055920 swapFree=4181416/4192956 [pid=13421] ppid=13419 vsize=109652 CPUtime=1782.56 /proc/13421/stat : 13421 (minisat+) R 13419 13421 13375 0 -1 4194304 26930 0 0 0 178230 26 0 0 25 0 1 0 199745583 112283648 26782 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13421/statm: 27413 26782 124 215 0 27195 0 Current children cumulated CPU time (s) 1782.56 Current children cumulated vsize (Kb) 109652 [startup+1784.05 s] /proc/loadavg: 0.99 0.97 0.99 2/64 13423 /proc/meminfo: memFree=1365840/2055920 swapFree=4181416/4192956 [pid=13421] ppid=13419 vsize=109652 CPUtime=1783.56 /proc/13421/stat : 13421 (minisat+) R 13419 13421 13375 0 -1 4194304 26930 0 0 0 178330 26 0 0 25 0 1 0 199745583 112283648 26782 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13421/statm: 27413 26782 124 215 0 27195 0 Current children cumulated CPU time (s) 1783.56 Current children cumulated vsize (Kb) 109652 [startup+1785.06 s] /proc/loadavg: 0.99 0.97 0.99 2/64 13423 /proc/meminfo: memFree=1365840/2055920 swapFree=4181416/4192956 [pid=13421] ppid=13419 vsize=109652 CPUtime=1784.57 /proc/13421/stat : 13421 (minisat+) R 13419 13421 13375 0 -1 4194304 26930 0 0 0 178431 26 0 0 25 0 1 0 199745583 112283648 26782 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13421/statm: 27413 26782 124 215 0 27195 0 Current children cumulated CPU time (s) 1784.57 Current children cumulated vsize (Kb) 109652 [startup+1786.06 s] /proc/loadavg: 0.99 0.97 0.99 2/64 13423 /proc/meminfo: memFree=1365840/2055920 swapFree=4181416/4192956 [pid=13421] ppid=13419 vsize=109652 CPUtime=1785.57 /proc/13421/stat : 13421 (minisat+) R 13419 13421 13375 0 -1 4194304 26930 0 0 0 178531 26 0 0 25 0 1 0 199745583 112283648 26782 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581457 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13421/statm: 27413 26782 124 215 0 27195 0 Current children cumulated CPU time (s) 1785.57 Current children cumulated vsize (Kb) 109652 [startup+1787.07 s] /proc/loadavg: 0.99 0.97 0.99 2/64 13423 /proc/meminfo: memFree=1365840/2055920 swapFree=4181416/4192956 [pid=13421] ppid=13419 vsize=109652 CPUtime=1786.58 /proc/13421/stat : 13421 (minisat+) R 13419 13421 13375 0 -1 4194304 26930 0 0 0 178632 26 0 0 25 0 1 0 199745583 112283648 26782 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13421/statm: 27413 26782 124 215 0 27195 0 Current children cumulated CPU time (s) 1786.58 Current children cumulated vsize (Kb) 109652 [startup+1788.07 s] /proc/loadavg: 0.99 0.97 0.99 2/64 13423 /proc/meminfo: memFree=1365840/2055920 swapFree=4181416/4192956 [pid=13421] ppid=13419 vsize=109652 CPUtime=1787.58 /proc/13421/stat : 13421 (minisat+) R 13419 13421 13375 0 -1 4194304 26930 0 0 0 178732 26 0 0 25 0 1 0 199745583 112283648 26782 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13421/statm: 27413 26782 124 215 0 27195 0 Current children cumulated CPU time (s) 1787.58 Current children cumulated vsize (Kb) 109652 [startup+1789.08 s] /proc/loadavg: 0.99 0.97 0.99 2/64 13423 /proc/meminfo: memFree=1365840/2055920 swapFree=4181416/4192956 [pid=13421] ppid=13419 vsize=109652 CPUtime=1788.59 /proc/13421/stat : 13421 (minisat+) R 13419 13421 13375 0 -1 4194304 26930 0 0 0 178833 26 0 0 25 0 1 0 199745583 112283648 26782 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13421/statm: 27413 26782 124 215 0 27195 0 Current children cumulated CPU time (s) 1788.59 Current children cumulated vsize (Kb) 109652 [startup+1790.08 s] /proc/loadavg: 0.99 0.97 0.99 2/64 13423 /proc/meminfo: memFree=1365840/2055920 swapFree=4181416/4192956 [pid=13421] ppid=13419 vsize=109652 CPUtime=1789.59 /proc/13421/stat : 13421 (minisat+) R 13419 13421 13375 0 -1 4194304 26930 0 0 0 178933 26 0 0 25 0 1 0 199745583 112283648 26782 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581491 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13421/statm: 27413 26782 124 215 0 27195 0 Current children cumulated CPU time (s) 1789.59 Current children cumulated vsize (Kb) 109652 [startup+1791.09 s] /proc/loadavg: 0.99 0.97 0.99 2/64 13423 /proc/meminfo: memFree=1365840/2055920 swapFree=4181416/4192956 [pid=13421] ppid=13419 vsize=109652 CPUtime=1790.6 /proc/13421/stat : 13421 (minisat+) R 13419 13421 13375 0 -1 4194304 26930 0 0 0 179034 26 0 0 25 0 1 0 199745583 112283648 26782 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13421/statm: 27413 26782 124 215 0 27195 0 Current children cumulated CPU time (s) 1790.6 Current children cumulated vsize (Kb) 109652 [startup+1792.09 s] /proc/loadavg: 0.99 0.97 0.99 2/64 13423 /proc/meminfo: memFree=1365840/2055920 swapFree=4181416/4192956 [pid=13421] ppid=13419 vsize=109652 CPUtime=1791.6 /proc/13421/stat : 13421 (minisat+) R 13419 13421 13375 0 -1 4194304 26930 0 0 0 179134 26 0 0 25 0 1 0 199745583 112283648 26782 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13421/statm: 27413 26782 124 215 0 27195 0 Current children cumulated CPU time (s) 1791.6 Current children cumulated vsize (Kb) 109652 [startup+1793.1 s] /proc/loadavg: 0.99 0.97 0.99 2/64 13423 /proc/meminfo: memFree=1365840/2055920 swapFree=4181416/4192956 [pid=13421] ppid=13419 vsize=109652 CPUtime=1792.6 /proc/13421/stat : 13421 (minisat+) R 13419 13421 13375 0 -1 4194304 26930 0 0 0 179234 26 0 0 25 0 1 0 199745583 112283648 26782 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13421/statm: 27413 26782 124 215 0 27195 0 Current children cumulated CPU time (s) 1792.6 Current children cumulated vsize (Kb) 109652 [startup+1794.1 s] /proc/loadavg: 0.99 0.97 0.99 2/64 13423 /proc/meminfo: memFree=1365840/2055920 swapFree=4181416/4192956 [pid=13421] ppid=13419 vsize=109652 CPUtime=1793.61 /proc/13421/stat : 13421 (minisat+) R 13419 13421 13375 0 -1 4194304 26930 0 0 0 179335 26 0 0 25 0 1 0 199745583 112283648 26782 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13421/statm: 27413 26782 124 215 0 27195 0 Current children cumulated CPU time (s) 1793.61 Current children cumulated vsize (Kb) 109652 [startup+1795.11 s] /proc/loadavg: 0.99 0.97 0.99 2/64 13423 /proc/meminfo: memFree=1365840/2055920 swapFree=4181416/4192956 [pid=13421] ppid=13419 vsize=109652 CPUtime=1794.61 /proc/13421/stat : 13421 (minisat+) R 13419 13421 13375 0 -1 4194304 26930 0 0 0 179435 26 0 0 25 0 1 0 199745583 112283648 26782 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13421/statm: 27413 26782 124 215 0 27195 0 Current children cumulated CPU time (s) 1794.61 Current children cumulated vsize (Kb) 109652 [startup+1796.11 s] /proc/loadavg: 0.99 0.97 0.99 2/64 13423 /proc/meminfo: memFree=1365840/2055920 swapFree=4181416/4192956 [pid=13421] ppid=13419 vsize=109652 CPUtime=1795.62 /proc/13421/stat : 13421 (minisat+) R 13419 13421 13375 0 -1 4194304 26930 0 0 0 179536 26 0 0 25 0 1 0 199745583 112283648 26782 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13421/statm: 27413 26782 124 215 0 27195 0 Current children cumulated CPU time (s) 1795.62 Current children cumulated vsize (Kb) 109652 [startup+1797.12 s] /proc/loadavg: 0.99 0.97 0.99 2/64 13423 /proc/meminfo: memFree=1365840/2055920 swapFree=4181416/4192956 [pid=13421] ppid=13419 vsize=109652 CPUtime=1796.62 /proc/13421/stat : 13421 (minisat+) R 13419 13421 13375 0 -1 4194304 26930 0 0 0 179636 26 0 0 25 0 1 0 199745583 112283648 26782 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580890 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13421/statm: 27413 26782 124 215 0 27195 0 Current children cumulated CPU time (s) 1796.62 Current children cumulated vsize (Kb) 109652 [startup+1798.12 s] /proc/loadavg: 0.99 0.97 0.99 2/64 13423 /proc/meminfo: memFree=1365840/2055920 swapFree=4181416/4192956 [pid=13421] ppid=13419 vsize=109652 CPUtime=1797.63 /proc/13421/stat : 13421 (minisat+) R 13419 13421 13375 0 -1 4194304 26930 0 0 0 179737 26 0 0 25 0 1 0 199745583 112283648 26782 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13421/statm: 27413 26782 124 215 0 27195 0 Current children cumulated CPU time (s) 1797.63 Current children cumulated vsize (Kb) 109652 [startup+1799.13 s] /proc/loadavg: 0.99 0.97 0.99 2/64 13423 /proc/meminfo: memFree=1365840/2055920 swapFree=4181416/4192956 [pid=13421] ppid=13419 vsize=109652 CPUtime=1798.63 /proc/13421/stat : 13421 (minisat+) R 13419 13421 13375 0 -1 4194304 26930 0 0 0 179837 26 0 0 25 0 1 0 199745583 112283648 26782 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13421/statm: 27413 26782 124 215 0 27195 0 Current children cumulated CPU time (s) 1798.63 Current children cumulated vsize (Kb) 109652 [startup+1800.13 s] /proc/loadavg: 0.99 0.97 0.99 2/64 13423 /proc/meminfo: memFree=1365840/2055920 swapFree=4181416/4192956 [pid=13421] ppid=13419 vsize=109652 CPUtime=1799.64 /proc/13421/stat : 13421 (minisat+) R 13419 13421 13375 0 -1 4194304 26930 0 0 0 179938 26 0 0 25 0 1 0 199745583 112283648 26782 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580744 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13421/statm: 27413 26782 124 215 0 27195 0 Current children cumulated CPU time (s) 1799.64 Current children cumulated vsize (Kb) 109652 [startup+1801.14 s] /proc/loadavg: 0.99 0.97 0.99 2/64 13423 /proc/meminfo: memFree=1365840/2055920 swapFree=4181416/4192956 [pid=13421] ppid=13419 vsize=109652 CPUtime=1800.64 /proc/13421/stat : 13421 (minisat+) R 13419 13421 13375 0 -1 4194304 26930 0 0 0 180038 26 0 0 25 0 1 0 199745583 112283648 26782 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580890 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13421/statm: 27413 26782 124 215 0 27195 0 Current children cumulated CPU time (s) 1800.64 Current children cumulated vsize (Kb) 109652 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.14 s] /proc/loadavg: 0.99 0.97 0.99 2/64 13423 /proc/meminfo: memFree=1365840/2055920 swapFree=4181416/4192956 [pid=13421] ppid=13419 vsize=109652 CPUtime=1800.64 /proc/13421/stat : 13421 (minisat+) R 13419 13421 13375 0 -1 4194304 26930 0 0 0 180038 26 0 0 25 0 1 0 199745583 112283648 26782 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580756 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13421/statm: 27413 26782 124 215 0 27195 0 Current children cumulated CPU time (s) 1800.64 Current children cumulated vsize (Kb) 109652 Sending SIGTERM to -13421 Sleeping 2 seconds Child status: 0 Real time (s): 1801.16 CPU time (s): 1800.67 CPU user time (s): 1800.39 CPU system time (s): 0.279957 CPU usage (%): 99.9725 Max. virtual memory (cumulated for all children) (Kb): 109652
Begin job on node49 on Sat Jun 3 13:19:44 UTC 2006 FILE ID= 35078-1149340784 PBS_JOBID= 310408 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-stocfor1.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node49/35078-1149340784/instance-35078-1149340784.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node49/watcher-35078-1149340784 -o ROOT/results/node49/solver-35078-1149340784 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node49/35078-1149340784/instance-35078-1149340784.opb MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db MD5SUM BENCH= f5fea9f9b3e2808f219e4e92af96aba2 RANDOM SEED= 510209342 /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.216 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.216 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: 1473176 kB Buffers: 26264 kB Cached: 494936 kB SwapCached: 3284 kB Active: 68224 kB Inactive: 461784 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1473176 kB SwapTotal: 4192956 kB SwapFree: 4181416 kB Dirty: 204 kB Writeback: 0 kB Mapped: 14908 kB Slab: 38668 kB Committed_AS: 328476 kB PageTables: 1480 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node49 on Sat Jun 3 13:49:46 UTC 2006