Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | ? (TO) | 1800.58 | 1801.18 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-scagr7.opb |
MD5SUM | 898083402c7ca4355f8e4024f5c352c7 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 472 |
Best CPU time to get the best result obtained on this benchmark | 1782.74 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 472 |
Optimality of the best value was proved | NO |
Number of variables | 4200 |
Total number of constraints | 129 |
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 | 129 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 300 |
Number of terms in the objective function | 3990 |
Biggest coefficient in the objective function | 14255 |
Number of bits for the biggest coefficient in the objective function | 14 |
Sum of the numbers in the objective function | 527499 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262051 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 527499 |
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.21 c Converting 213 PB-constraints to clauses... 0.21 c -- Unit propagations: pppppppppppppppppppppp 0.24 c -- Detecting intervals from adjacent constraints: #################################################################################### 0.25 c -- Clauses(.)/Splits(s): sssssss 0.25 c ---[ 218]---> Sorter-cost: 606 Base: 2 2 2 2 0.25 c ---[ 216]---> Sorter-cost: 606 Base: 2 2 2 2 0.26 c ---[ 214]---> Adder-cost: 86 maxlim: 81 bits: 8/7 0.26 c ---[ 212]---> Adder-cost: 86 maxlim: 81 bits: 8/7 0.26 c ---[ 210]---> Adder-cost: 298 maxlim: 873 bits: 11/10 0.28 c ---[ 209]---> BDD-cost: 89 0.29 c ---[ 207]---> Adder-cost: 358 maxlim: 2055 bits: 12/12 0.31 c ---[ 206]---> BDD-cost: 83 0.31 c ---[ 203]---> Adder-cost: 144 maxlim: 100 bits: 8/7 0.31 c ---[ 201]---> Adder-cost: 86 maxlim: 146 bits: 9/8 0.32 c ---[ 199]---> Sorter-cost: 193 Base: 2 0.32 c ---[ 197]---> Adder-cost: 230 maxlim: 530 bits: 11/10 0.33 c ---[ 195]---> Adder-cost: 162 maxlim: 1289 bits: 12/11 0.34 c ---[ 193]---> Adder-cost: 342 maxlim: 1252 bits: 11/11 0.37 c ---[ 191]---> Adder-cost: 126 maxlim: 197 bits: 8/8 0.37 c ---[ 189]---> Adder-cost: 116 maxlim: 197 bits: 8/8 0.38 c ---[ 187]---> Adder-cost: 86 maxlim: 146 bits: 9/8 0.38 c ---[ 185]---> Adder-cost: 94 maxlim: 146 bits: 9/8 0.39 c ---[ 184]---> BDD-cost: 87 0.39 c ---[ 183]---> BDD-cost: 87 0.39 c ---[ 182]---> BDD-cost: 86 0.39 c ---[ 180]---> Adder-cost: 438 maxlim: 582 bits: 10/10 0.42 c ---[ 179]---> BDD-cost: 89 0.42 c ---[ 177]---> Adder-cost: 358 maxlim: 2055 bits: 12/12 0.45 c ---[ 176]---> BDD-cost: 83 0.45 c ---[ 173]---> Sorter-cost: 1993 Base: 3 7 2 2 0.45 c ---[ 171]---> Adder-cost: 92 maxlim: 275 bits: 10/9 0.46 c ---[ 169]---> Adder-cost: 152 maxlim: 269 bits: 10/9 0.47 c ---[ 167]---> Adder-cost: 424 maxlim: 402 bits: 10/9 0.48 c ---[ 165]---> Adder-cost: 214 maxlim: 1062 bits: 11/11 0.50 c ---[ 163]---> Adder-cost: 402 maxlim: 1237 bits: 11/11 0.53 c ---[ 162]---> Adder-cost: 68 maxlim: 112 bits: 8/7 0.53 c ---[ 160]---> Adder-cost: 174 maxlim: 850 bits: 11/10 0.54 c ---[ 158]---> Adder-cost: 172 maxlim: 850 bits: 11/10 0.55 c ---[ 156]---> Adder-cost: 102 maxlim: 532 bits: 11/10 0.56 c ---[ 154]---> Adder-cost: 110 maxlim: 532 bits: 11/10 0.56 c ---[ 153]---> BDD-cost: 87 0.56 c ---[ 152]---> BDD-cost: 87 0.56 c ---[ 151]---> BDD-cost: 86 0.56 c ---[ 149]---> Adder-cost: 556 maxlim: 2087 bits: 12/12 0.62 c ---[ 148]---> BDD-cost: 89 0.62 c ---[ 146]---> Adder-cost: 372 maxlim: 2465 bits: 12/12 0.64 c ---[ 145]---> BDD-cost: 83 0.64 c ---[ 142]---> Sorter-cost: 2718 Base: 3 7 2 2 2 2 0.66 c ---[ 140]---> Adder-cost: 108 maxlim: 1045 bits: 12/11 0.67 c ---[ 138]---> Adder-cost: 196 maxlim: 676 bits: 11/10 0.68 c ---[ 136]---> Adder-cost: 495 maxlim: 424 bits: 10/9 0.70 c ---[ 134]---> Adder-cost: 252 maxlim: 1691 bits: 12/11 0.72 c ---[ 132]---> Adder-cost: 452 maxlim: 2814 bits: 12/12 0.77 c ---[ 131]---> Adder-cost: 102 maxlim: 531 bits: 11/10 0.77 c ---[ 129]---> Adder-cost: 204 maxlim: 1670 bits: 12/11 0.78 c ---[ 127]---> Adder-cost: 204 maxlim: 1670 bits: 12/11 0.80 c ---[ 125]---> Adder-cost: 108 maxlim: 1045 bits: 12/11 0.80 c ---[ 123]---> Adder-cost: 116 maxlim: 1045 bits: 12/11 0.81 c ---[ 122]---> BDD-cost: 87 0.81 c ---[ 121]---> BDD-cost: 87 0.81 c ---[ 120]---> BDD-cost: 86 0.81 c ---[ 118]---> Adder-cost: 642 maxlim: 3964 bits: 13/12 0.89 c ---[ 117]---> BDD-cost: 89 0.89 c ---[ 115]---> Adder-cost: 372 maxlim: 2465 bits: 12/12 0.91 c ---[ 114]---> BDD-cost: 83 0.91 c ---[ 111]---> Sorter-cost: 2876 Base: 3 7 2 2 2 2 0.93 c ---[ 109]---> Adder-cost: 114 maxlim: 2070 bits: 13/12 0.94 c ---[ 107]---> Adder-cost: 240 maxlim: 2081 bits: 12/12 0.96 c ---[ 105]---> Adder-cost: 566 maxlim: 424 bits: 10/9 1.00 c ---[ 103]---> Adder-cost: 260 maxlim: 1691 bits: 12/11 1.02 c ---[ 101]---> Adder-cost: 488 maxlim: 2814 bits: 13/12 1.06 c ---[ 100]---> Adder-cost: 108 maxlim: 1044 bits: 12/11 1.07 c ---[ 98]---> Adder-cost: 226 maxlim: 3310 bits: 13/12 1.09 c ---[ 96]---> Adder-cost: 224 maxlim: 3310 bits: 13/12 1.11 c ---[ 94]---> Adder-cost: 116 maxlim: 2070 bits: 13/12 1.11 c ---[ 92]---> Adder-cost: 124 maxlim: 2070 bits: 13/12 1.12 c ---[ 91]---> BDD-cost: 87 1.12 c ---[ 90]---> BDD-cost: 87 1.12 c ---[ 89]---> BDD-cost: 86 1.12 c ---[ 87]---> Adder-cost: 700 maxlim: 7718 bits: 14/13 1.23 c ---[ 86]---> BDD-cost: 89 1.23 c ---[ 84]---> Adder-cost: 372 maxlim: 2465 bits: 12/12 1.26 c ---[ 83]---> BDD-cost: 83 1.26 c ---[ 80]---> Sorter-cost: 2919 Base: 3 7 2 2 2 2 2 1.28 c ---[ 78]---> Adder-cost: 116 maxlim: 4119 bits: 13/13 1.28 c ---[ 76]---> Adder-cost: 256 maxlim: 2612 bits: 13/12 1.31 c ---[ 74]---> Adder-cost: 597 maxlim: 424 bits: 10/9 1.36 c ---[ 72]---> Adder-cost: 266 maxlim: 1691 bits: 12/11 1.38 c ---[ 70]---> Adder-cost: 524 maxlim: 4915 bits: 14/13 1.44 c ---[ 69]---> Adder-cost: 114 maxlim: 2069 bits: 13/12 1.45 c ---[ 67]---> Adder-cost: 226 maxlim: 3310 bits: 13/12 1.47 c ---[ 65]---> Adder-cost: 224 maxlim: 3310 bits: 13/12 1.49 c ---[ 63]---> Adder-cost: 116 maxlim: 2070 bits: 13/12 1.49 c ---[ 61]---> Adder-cost: 124 maxlim: 2070 bits: 13/12 1.50 c ---[ 60]---> BDD-cost: 87 1.50 c ---[ 59]---> BDD-cost: 87 1.50 c ---[ 58]---> BDD-cost: 86 1.50 c ---[ 56]---> Adder-cost: 698 maxlim: 7718 bits: 14/13 1.61 c ---[ 55]---> BDD-cost: 89 1.61 c ---[ 53]---> Adder-cost: 372 maxlim: 2465 bits: 12/12 1.64 c ---[ 52]---> BDD-cost: 83 1.64 c ---[ 49]---> Sorter-cost: 2919 Base: 3 7 2 2 2 2 2 1.66 c ---[ 47]---> Adder-cost: 116 maxlim: 4119 bits: 13/13 1.67 c ---[ 45]---> Adder-cost: 256 maxlim: 2612 bits: 13/12 1.69 c ---[ 43]---> Adder-cost: 597 maxlim: 424 bits: 10/9 1.73 c ---[ 41]---> Adder-cost: 266 maxlim: 1691 bits: 12/11 1.75 c ---[ 39]---> Adder-cost: 524 maxlim: 4915 bits: 14/13 1.81 c ---[ 38]---> Adder-cost: 116 maxlim: 2069 bits: 13/12 1.82 c ---[ 36]---> Adder-cost: 226 maxlim: 3310 bits: 13/12 1.84 c ---[ 34]---> Adder-cost: 224 maxlim: 3310 bits: 13/12 1.86 c ---[ 32]---> Adder-cost: 116 maxlim: 2070 bits: 13/12 1.87 c ---[ 30]---> Adder-cost: 124 maxlim: 2070 bits: 13/12 1.87 c ---[ 29]---> BDD-cost: 87 1.88 c ---[ 28]---> BDD-cost: 87 1.88 c ---[ 27]---> BDD-cost: 86 1.88 c ---[ 25]---> Adder-cost: 698 maxlim: 7718 bits: 14/13 1.99 c ---[ 24]---> BDD-cost: 89 1.99 c ---[ 22]---> Adder-cost: 372 maxlim: 2465 bits: 12/12 2.01 c ---[ 21]---> BDD-cost: 83 2.01 c ---[ 18]---> Sorter-cost: 3182 Base: 3 7 2 2 2 2 2 2 2.04 c ---[ 16]---> Adder-cost: 122 maxlim: 4119 bits: 14/13 2.05 c ---[ 14]---> Adder-cost: 262 maxlim: 2612 bits: 13/12 2.09 c ---[ 12]---> Adder-cost: 612 maxlim: 424 bits: 10/9 2.12 c ---[ 10]---> Adder-cost: 287 maxlim: 1691 bits: 12/11 2.15 c ---[ 8]---> Adder-cost: 640 maxlim: 67934 bits: 18/17 2.30 c ---[ 7]---> Adder-cost: 114 maxlim: 2069 bits: 13/12 2.31 c ---[ 6]---> Sorter-cost: 633 Base: 2 2 2 2 2 2 2 2.31 c ---[ 5]---> Sorter-cost: 633 Base: 2 2 2 2 2 2 2 2.32 c ---[ 4]---> Sorter-cost: 633 Base: 2 2 2 2 2 2 2 2.32 c ---[ 3]---> Sorter-cost: 633 Base: 2 2 2 2 2 2 2 2.32 c ---[ 2]---> Sorter-cost: 633 Base: 2 2 2 2 2 2 2 2.33 c ---[ 1]---> Sorter-cost: 633 Base: 2 2 2 2 2 2 2 2.33 c ---[ 0]---> Sorter-cost: 633 Base: 2 2 2 2 2 2 2 2.50 c ==================================[MINISAT+]================================== 2.50 c | Conflicts | Original | Learnt | Progress | 2.50 c | | Clauses Literals | Max Clauses Literals LPC | | 2.50 c ============================================================================== 2.50 c | 0 | 210718 675655 | 70239 0 0 nan | 0.000 % | 2.51 c | 101 | 210718 675655 | 77262 101 329 3.3 | 6.641 % | 2.52 c | 254 | 210718 675655 | 84989 254 812 3.2 | 6.641 % | 2.59 c | 479 | 210710 675629 | 93488 478 1841 3.9 | 6.643 % | 2.69 c | 818 | 210702 675603 | 102836 816 3810 4.7 | 6.645 % | 2.74 c | 1324 | 210694 675577 | 113120 1321 9435 7.1 | 6.648 % | 2.83 c | 2084 | 210386 674777 | 124432 2077 20531 9.9 | 6.779 % | 2.91 c | 3223 | 210386 674777 | 136875 3216 44366 13.8 | 6.779 % | 3.11 c | 4931 | 210372 674733 | 150563 4922 77830 15.8 | 6.783 % | 3.41 c | 7493 | 210372 674733 | 165619 7484 116887 15.6 | 6.783 % | 3.94 c | 11338 | 209847 673442 | 182181 11318 181145 16.0 | 7.046 % | 4.53 c | 17107 | 209753 673231 | 200400 17084 324092 19.0 | 7.095 % | 5.73 c | 25757 | 209684 673019 | 220440 25727 464744 18.1 | 7.117 % | 7.46 c | 38732 | 209376 672198 | 242484 38621 792997 20.5 | 7.238 % | 11.01 c | 58193 | 209016 671196 | 266732 58062 1285254 22.1 | 7.376 % | 20.92 c | 87386 | 208545 669874 | 293405 85584 2104276 24.6 | 7.552 % | 33.03 c | 131177 | 206953 665277 | 322746 100293 2130302 21.2 | 8.137 % | 56.22 c | 196862 | 206158 662971 | 355020 163094 3881819 23.8 | 8.441 % | 99.41 c | 295389 | 205468 661004 | 390523 257576 7602313 29.5 | 8.738 % | 186.69 c | 443178 | 205309 660620 | 429575 27283 794743 29.1 | 8.837 % | 294.82 c | 664862 | 204113 657660 | 472532 248837 8556837 34.4 | 9.532 % | 513.71 c | 997387 | 203763 656735 | 519786 125135 3560694 28.5 | 9.696 % | 939.49 c | 1496175 | 202452 652437 | 571764 129472 4301902 33.2 | 10.006 % | 1801.15 c 1801.15 c *** TERMINATED *** 1801.15 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/node90/watcher-35082-1149341823 -o ROOT/results/node90/solver-35082-1149341823 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node90/35082-1149341823/instance-35082-1149341823.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 1.00 1.00 2/67 24358 /proc/meminfo: memFree=1688816/2055888 swapFree=4085308/4096564 [pid=24358] ppid=24356 vsize=1180 CPUtime=0 /proc/24358/stat : 24358 (minisat+) R 24356 24358 24312 0 -1 4194304 116 0 0 0 0 0 0 0 20 0 1 0 199821299 1208320 102 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135010894 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24358/statm: 295 102 67 215 0 77 0 [startup+10.0019 s] /proc/loadavg: 1.00 1.00 1.00 2/67 24358 /proc/meminfo: memFree=1666680/2055888 swapFree=4085308/4096564 [pid=24358] ppid=24356 vsize=24812 CPUtime=9.98 /proc/24358/stat : 24358 (minisat+) R 24356 24358 24312 0 -1 4194304 5849 0 0 0 996 2 0 0 25 0 1 0 199821299 25407488 5678 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581222 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24358/statm: 6203 5678 124 215 0 5985 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 24812 [startup+20.008 s] /proc/loadavg: 1.00 1.00 1.00 2/67 24358 /proc/meminfo: memFree=1661816/2055888 swapFree=4085308/4096564 [pid=24358] ppid=24356 vsize=29680 CPUtime=19.98 /proc/24358/stat : 24358 (minisat+) R 24356 24358 24312 0 -1 4194304 7061 0 0 0 1995 3 0 0 25 0 1 0 199821299 30392320 6890 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24358/statm: 7420 6890 124 215 0 7202 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 29680 [startup+30.014 s] /proc/loadavg: 1.00 1.00 1.00 2/67 24358 /proc/meminfo: memFree=1657400/2055888 swapFree=4085308/4096564 [pid=24358] ppid=24356 vsize=34220 CPUtime=29.99 /proc/24358/stat : 24358 (minisat+) R 24356 24358 24312 0 -1 4194304 8161 0 0 0 2995 4 0 0 25 0 1 0 199821299 35041280 7990 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569752 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24358/statm: 8555 7990 124 215 0 8337 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 34220 [startup+40.0201 s] /proc/loadavg: 1.00 1.00 1.00 2/67 24358 /proc/meminfo: memFree=1657080/2055888 swapFree=4085308/4096564 [pid=24358] ppid=24356 vsize=34492 CPUtime=39.99 /proc/24358/stat : 24358 (minisat+) R 24356 24358 24312 0 -1 4194304 8250 0 0 0 3995 4 0 0 25 0 1 0 199821299 35319808 8079 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24358/statm: 8623 8079 124 215 0 8405 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 34492 [startup+50.0262 s] /proc/loadavg: 1.00 1.00 1.00 2/67 24358 /proc/meminfo: memFree=1652536/2055888 swapFree=4085308/4096564 [pid=24358] ppid=24356 vsize=39256 CPUtime=50 /proc/24358/stat : 24358 (minisat+) R 24356 24358 24312 0 -1 4194304 9387 0 0 0 4995 5 0 0 25 0 1 0 199821299 40198144 9216 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24358/statm: 9814 9216 124 215 0 9596 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 39256 [startup+60.0313 s] /proc/loadavg: 1.00 1.00 1.00 2/67 24358 /proc/meminfo: memFree=1649848/2055888 swapFree=4085308/4096564 [pid=24358] ppid=24356 vsize=41912 CPUtime=60 /proc/24358/stat : 24358 (minisat+) R 24356 24358 24312 0 -1 4194304 10071 0 0 0 5994 6 0 0 25 0 1 0 199821299 42917888 9900 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24358/statm: 10478 9900 124 215 0 10260 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 41912 [startup+70.0374 s] /proc/loadavg: 1.00 1.00 1.00 2/67 24358 /proc/meminfo: memFree=1644856/2055888 swapFree=4085308/4096564 [pid=24358] ppid=24356 vsize=46772 CPUtime=70 /proc/24358/stat : 24358 (minisat+) R 24356 24358 24312 0 -1 4194304 11311 0 0 0 6993 7 0 0 25 0 1 0 199821299 47894528 11140 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580753 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24358/statm: 11693 11140 124 215 0 11475 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 46772 [startup+80.0435 s] /proc/loadavg: 1.00 1.00 1.00 2/67 24358 /proc/meminfo: memFree=1640248/2055888 swapFree=4085308/4096564 [pid=24358] ppid=24356 vsize=51644 CPUtime=80.01 /proc/24358/stat : 24358 (minisat+) R 24356 24358 24312 0 -1 4194304 12449 0 0 0 7993 8 0 0 25 0 1 0 199821299 52883456 12278 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24358/statm: 12911 12278 124 215 0 12693 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 51644 [startup+90.0496 s] /proc/loadavg: 1.00 1.00 1.00 2/67 24358 /proc/meminfo: memFree=1637176/2055888 swapFree=4085308/4096564 [pid=24358] ppid=24356 vsize=54692 CPUtime=90.01 /proc/24358/stat : 24358 (minisat+) R 24356 24358 24312 0 -1 4194304 13226 0 0 0 8993 8 0 0 25 0 1 0 199821299 56004608 13055 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24358/statm: 13673 13055 124 215 0 13455 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 54692 [startup+100.056 s] /proc/loadavg: 1.00 1.00 1.00 2/67 24358 /proc/meminfo: memFree=1632056/2055888 swapFree=4085308/4096564 [pid=24358] ppid=24356 vsize=59696 CPUtime=100.02 /proc/24358/stat : 24358 (minisat+) R 24356 24358 24312 0 -1 4194304 14491 0 0 0 9992 10 0 0 25 0 1 0 199821299 61128704 14320 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24358/statm: 14924 14320 124 215 0 14706 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 59696 [startup+110.063 s] /proc/loadavg: 1.00 1.00 1.00 2/67 24358 /proc/meminfo: memFree=1629432/2055888 swapFree=4085308/4096564 [pid=24358] ppid=24356 vsize=62212 CPUtime=110.02 /proc/24358/stat : 24358 (minisat+) R 24356 24358 24312 0 -1 4194304 15152 0 0 0 10992 10 0 0 25 0 1 0 199821299 63705088 14981 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588783 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24358/statm: 15553 14981 124 215 0 15335 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 62212 [startup+120.068 s] /proc/loadavg: 1.00 1.00 1.00 2/67 24358 /proc/meminfo: memFree=1627448/2055888 swapFree=4085308/4096564 [pid=24358] ppid=24356 vsize=64204 CPUtime=120.02 /proc/24358/stat : 24358 (minisat+) R 24356 24358 24312 0 -1 4194304 15639 0 0 0 11991 11 0 0 25 0 1 0 199821299 65744896 15468 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580768 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24358/statm: 16051 15468 124 215 0 15833 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 64204 [startup+130.074 s] /proc/loadavg: 1.00 1.00 1.00 2/67 24358 /proc/meminfo: memFree=1621112/2055888 swapFree=4085308/4096564 [pid=24358] ppid=24356 vsize=70968 CPUtime=130.02 /proc/24358/stat : 24358 (minisat+) R 24356 24358 24312 0 -1 4194304 17217 0 0 0 12990 12 0 0 25 0 1 0 199821299 72671232 17046 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580915 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24358/statm: 17742 17046 124 215 0 17524 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 70968 [startup+140.08 s] /proc/loadavg: 1.00 1.00 1.00 2/67 24358 /proc/meminfo: memFree=1617208/2055888 swapFree=4085308/4096564 [pid=24358] ppid=24356 vsize=74752 CPUtime=140.02 /proc/24358/stat : 24358 (minisat+) R 24356 24358 24312 0 -1 4194304 18186 0 0 0 13989 13 0 0 25 0 1 0 199821299 76546048 18015 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581412 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24358/statm: 18688 18015 124 215 0 18470 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 74752 [startup+150.086 s] /proc/loadavg: 1.00 1.00 1.00 2/67 24360 /proc/meminfo: memFree=1613816/2055888 swapFree=4085308/4096564 [pid=24358] ppid=24356 vsize=78072 CPUtime=150.03 /proc/24358/stat : 24358 (minisat+) R 24356 24358 24312 0 -1 4194304 19038 0 0 0 14989 14 0 0 25 0 1 0 199821299 79945728 18867 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24358/statm: 19518 18867 124 215 0 19300 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 78072 [startup+160.092 s] /proc/loadavg: 1.00 1.00 1.00 2/67 24360 /proc/meminfo: memFree=1611064/2055888 swapFree=4085308/4096564 [pid=24358] ppid=24356 vsize=80824 CPUtime=160.03 /proc/24358/stat : 24358 (minisat+) R 24356 24358 24312 0 -1 4194304 19718 0 0 0 15989 14 0 0 25 0 1 0 199821299 82763776 19547 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24358/statm: 20206 19547 124 215 0 19988 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 80824 [startup+170.098 s] /proc/loadavg: 1.00 1.00 1.00 2/67 24360 /proc/meminfo: memFree=1607672/2055888 swapFree=4085308/4096564 [pid=24358] ppid=24356 vsize=84116 CPUtime=170.04 /proc/24358/stat : 24358 (minisat+) R 24356 24358 24312 0 -1 4194304 20559 0 0 0 16989 15 0 0 25 0 1 0 199821299 86134784 20388 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580973 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24358/statm: 21029 20388 124 215 0 20811 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 84116 [startup+180.104 s] /proc/loadavg: 1.00 1.00 1.00 2/67 24360 /proc/meminfo: memFree=1604664/2055888 swapFree=4085308/4096564 [pid=24358] ppid=24356 vsize=87016 CPUtime=180.04 /proc/24358/stat : 24358 (minisat+) R 24356 24358 24312 0 -1 4194304 21311 0 0 0 17988 16 0 0 25 0 1 0 199821299 89104384 21140 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24358/statm: 21754 21140 124 215 0 21536 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 87016 [startup+190.11 s] /proc/loadavg: 1.00 1.00 1.00 2/67 24360 /proc/meminfo: memFree=1603768/2055888 swapFree=4085308/4096564 [pid=24358] ppid=24356 vsize=87928 CPUtime=190.04 /proc/24358/stat : 24358 (minisat+) R 24356 24358 24312 0 -1 4194304 21557 0 0 0 18988 16 0 0 25 0 1 0 199821299 90038272 21386 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588655 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24358/statm: 21982 21386 124 215 0 21764 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 87928 [startup+200.117 s] /proc/loadavg: 1.00 1.00 1.00 2/67 24360 /proc/meminfo: memFree=1603768/2055888 swapFree=4085308/4096564 [pid=24358] ppid=24356 vsize=87928 CPUtime=200.05 /proc/24358/stat : 24358 (minisat+) R 24356 24358 24312 0 -1 4194304 21557 0 0 0 19989 16 0 0 25 0 1 0 199821299 90038272 21386 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24358/statm: 21982 21386 124 215 0 21764 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 87928 [startup+210.123 s] /proc/loadavg: 1.00 1.00 1.00 2/67 24360 /proc/meminfo: memFree=1603768/2055888 swapFree=4085308/4096564 ################ # More data... # ################ [pid=24358] ppid=24356 vsize=160396 CPUtime=1781.45 /proc/24358/stat : 24358 (minisat+) R 24356 24358 24312 0 -1 4194304 39344 0 0 0 178110 35 0 0 25 0 1 0 199821299 164245504 39173 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580786 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24358/statm: 40099 39173 124 215 0 39881 0 Current children cumulated CPU time (s) 1781.45 Current children cumulated vsize (Kb) 160396 [startup+1783.06 s] /proc/loadavg: 1.00 1.00 1.00 2/67 24555 /proc/meminfo: memFree=1531832/2055888 swapFree=4085308/4096564 [pid=24358] ppid=24356 vsize=160588 CPUtime=1782.46 /proc/24358/stat : 24358 (minisat+) R 24356 24358 24312 0 -1 4194304 39370 0 0 0 178211 35 0 0 25 0 1 0 199821299 164442112 39199 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581017 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24358/statm: 40147 39199 124 215 0 39929 0 Current children cumulated CPU time (s) 1782.46 Current children cumulated vsize (Kb) 160588 [startup+1784.06 s] /proc/loadavg: 1.00 1.00 1.00 2/67 24555 /proc/meminfo: memFree=1531832/2055888 swapFree=4085308/4096564 [pid=24358] ppid=24356 vsize=160588 CPUtime=1783.46 /proc/24358/stat : 24358 (minisat+) R 24356 24358 24312 0 -1 4194304 39371 0 0 0 178311 35 0 0 25 0 1 0 199821299 164442112 39200 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580929 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24358/statm: 40147 39200 124 215 0 39929 0 Current children cumulated CPU time (s) 1783.46 Current children cumulated vsize (Kb) 160588 [startup+1785.07 s] /proc/loadavg: 1.00 1.00 1.00 2/67 24555 /proc/meminfo: memFree=1531704/2055888 swapFree=4085308/4096564 [pid=24358] ppid=24356 vsize=160724 CPUtime=1784.47 /proc/24358/stat : 24358 (minisat+) R 24356 24358 24312 0 -1 4194304 39401 0 0 0 178412 35 0 0 25 0 1 0 199821299 164581376 39230 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24358/statm: 40181 39230 124 215 0 39963 0 Current children cumulated CPU time (s) 1784.47 Current children cumulated vsize (Kb) 160724 [startup+1786.07 s] /proc/loadavg: 1.00 1.00 1.00 2/67 24555 /proc/meminfo: memFree=1531704/2055888 swapFree=4085308/4096564 [pid=24358] ppid=24356 vsize=160724 CPUtime=1785.47 /proc/24358/stat : 24358 (minisat+) R 24356 24358 24312 0 -1 4194304 39412 0 0 0 178512 35 0 0 25 0 1 0 199821299 164581376 39241 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581420 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24358/statm: 40181 39241 124 215 0 39963 0 Current children cumulated CPU time (s) 1785.47 Current children cumulated vsize (Kb) 160724 [startup+1787.08 s] /proc/loadavg: 1.00 1.00 1.00 2/67 24555 /proc/meminfo: memFree=1531704/2055888 swapFree=4085308/4096564 [pid=24358] ppid=24356 vsize=160724 CPUtime=1786.48 /proc/24358/stat : 24358 (minisat+) R 24356 24358 24312 0 -1 4194304 39414 0 0 0 178613 35 0 0 25 0 1 0 199821299 164581376 39243 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24358/statm: 40181 39243 124 215 0 39963 0 Current children cumulated CPU time (s) 1786.48 Current children cumulated vsize (Kb) 160724 [startup+1788.08 s] /proc/loadavg: 1.00 1.00 1.00 2/67 24555 /proc/meminfo: memFree=1531640/2055888 swapFree=4085308/4096564 [pid=24358] ppid=24356 vsize=160724 CPUtime=1787.48 /proc/24358/stat : 24358 (minisat+) R 24356 24358 24312 0 -1 4194304 39427 0 0 0 178713 35 0 0 25 0 1 0 199821299 164581376 39256 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581415 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24358/statm: 40181 39256 124 215 0 39963 0 Current children cumulated CPU time (s) 1787.48 Current children cumulated vsize (Kb) 160724 [startup+1789.09 s] /proc/loadavg: 1.00 1.00 1.00 2/67 24555 /proc/meminfo: memFree=1531576/2055888 swapFree=4085308/4096564 [pid=24358] ppid=24356 vsize=160856 CPUtime=1788.49 /proc/24358/stat : 24358 (minisat+) R 24356 24358 24312 0 -1 4194304 39441 0 0 0 178814 35 0 0 25 0 1 0 199821299 164716544 39270 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580753 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24358/statm: 40214 39270 124 215 0 39996 0 Current children cumulated CPU time (s) 1788.49 Current children cumulated vsize (Kb) 160856 [startup+1790.09 s] /proc/loadavg: 1.00 1.00 1.00 2/67 24555 /proc/meminfo: memFree=1531512/2055888 swapFree=4085308/4096564 [pid=24358] ppid=24356 vsize=160856 CPUtime=1789.49 /proc/24358/stat : 24358 (minisat+) R 24356 24358 24312 0 -1 4194304 39457 0 0 0 178914 35 0 0 25 0 1 0 199821299 164716544 39286 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24358/statm: 40214 39286 124 215 0 39996 0 Current children cumulated CPU time (s) 1789.49 Current children cumulated vsize (Kb) 160856 [startup+1791.09 s] /proc/loadavg: 1.00 1.00 1.00 2/67 24555 /proc/meminfo: memFree=1531448/2055888 swapFree=4085308/4096564 [pid=24358] ppid=24356 vsize=160984 CPUtime=1790.49 /proc/24358/stat : 24358 (minisat+) R 24356 24358 24312 0 -1 4194304 39472 0 0 0 179014 35 0 0 25 0 1 0 199821299 164847616 39301 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581415 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24358/statm: 40246 39301 124 215 0 40028 0 Current children cumulated CPU time (s) 1790.49 Current children cumulated vsize (Kb) 160984 [startup+1792.1 s] /proc/loadavg: 1.00 1.00 1.00 2/67 24555 /proc/meminfo: memFree=1531384/2055888 swapFree=4085308/4096564 [pid=24358] ppid=24356 vsize=160984 CPUtime=1791.5 /proc/24358/stat : 24358 (minisat+) R 24356 24358 24312 0 -1 4194304 39486 0 0 0 179115 35 0 0 25 0 1 0 199821299 164847616 39315 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24358/statm: 40246 39315 124 215 0 40028 0 Current children cumulated CPU time (s) 1791.5 Current children cumulated vsize (Kb) 160984 [startup+1793.1 s] /proc/loadavg: 1.00 1.00 1.00 2/67 24555 /proc/meminfo: memFree=1531320/2055888 swapFree=4085308/4096564 [pid=24358] ppid=24356 vsize=161116 CPUtime=1792.5 /proc/24358/stat : 24358 (minisat+) R 24356 24358 24312 0 -1 4194304 39500 0 0 0 179215 35 0 0 25 0 1 0 199821299 164982784 39329 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24358/statm: 40279 39329 124 215 0 40061 0 Current children cumulated CPU time (s) 1792.5 Current children cumulated vsize (Kb) 161116 [startup+1794.11 s] /proc/loadavg: 1.00 1.00 1.00 2/67 24555 /proc/meminfo: memFree=1531256/2055888 swapFree=4085308/4096564 [pid=24358] ppid=24356 vsize=161116 CPUtime=1793.51 /proc/24358/stat : 24358 (minisat+) R 24356 24358 24312 0 -1 4194304 39517 0 0 0 179316 35 0 0 25 0 1 0 199821299 164982784 39346 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24358/statm: 40279 39346 124 215 0 40061 0 Current children cumulated CPU time (s) 1793.51 Current children cumulated vsize (Kb) 161116 [startup+1795.11 s] /proc/loadavg: 1.00 1.00 1.00 2/67 24555 /proc/meminfo: memFree=1531192/2055888 swapFree=4085308/4096564 [pid=24358] ppid=24356 vsize=161116 CPUtime=1794.51 /proc/24358/stat : 24358 (minisat+) R 24356 24358 24312 0 -1 4194304 39532 0 0 0 179416 35 0 0 25 0 1 0 199821299 164982784 39361 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24358/statm: 40279 39361 124 215 0 40061 0 Current children cumulated CPU time (s) 1794.51 Current children cumulated vsize (Kb) 161116 [startup+1796.12 s] /proc/loadavg: 1.00 1.00 1.00 2/67 24555 /proc/meminfo: memFree=1531128/2055888 swapFree=4085308/4096564 [pid=24358] ppid=24356 vsize=161248 CPUtime=1795.52 /proc/24358/stat : 24358 (minisat+) R 24356 24358 24312 0 -1 4194304 39548 0 0 0 179517 35 0 0 25 0 1 0 199821299 165117952 39377 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24358/statm: 40312 39377 124 215 0 40094 0 Current children cumulated CPU time (s) 1795.52 Current children cumulated vsize (Kb) 161248 [startup+1797.12 s] /proc/loadavg: 1.00 1.00 1.00 2/67 24555 /proc/meminfo: memFree=1531064/2055888 swapFree=4085308/4096564 [pid=24358] ppid=24356 vsize=161248 CPUtime=1796.52 /proc/24358/stat : 24358 (minisat+) R 24356 24358 24312 0 -1 4194304 39567 0 0 0 179617 35 0 0 25 0 1 0 199821299 165117952 39396 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24358/statm: 40312 39396 124 215 0 40094 0 Current children cumulated CPU time (s) 1796.52 Current children cumulated vsize (Kb) 161248 [startup+1798.13 s] /proc/loadavg: 1.00 1.00 1.00 2/67 24555 /proc/meminfo: memFree=1531000/2055888 swapFree=4085308/4096564 [pid=24358] ppid=24356 vsize=161380 CPUtime=1797.52 /proc/24358/stat : 24358 (minisat+) R 24356 24358 24312 0 -1 4194304 39582 0 0 0 179717 35 0 0 25 0 1 0 199821299 165253120 39411 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24358/statm: 40345 39411 124 215 0 40127 0 Current children cumulated CPU time (s) 1797.52 Current children cumulated vsize (Kb) 161380 [startup+1799.13 s] /proc/loadavg: 1.00 1.00 1.00 2/67 24555 /proc/meminfo: memFree=1530936/2055888 swapFree=4085308/4096564 [pid=24358] ppid=24356 vsize=161380 CPUtime=1798.53 /proc/24358/stat : 24358 (minisat+) R 24356 24358 24312 0 -1 4194304 39598 0 0 0 179818 35 0 0 25 0 1 0 199821299 165253120 39427 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580744 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24358/statm: 40345 39427 124 215 0 40127 0 Current children cumulated CPU time (s) 1798.53 Current children cumulated vsize (Kb) 161380 [startup+1800.14 s] /proc/loadavg: 1.00 1.00 1.00 2/67 24555 /proc/meminfo: memFree=1530872/2055888 swapFree=4085308/4096564 [pid=24358] ppid=24356 vsize=161512 CPUtime=1799.53 /proc/24358/stat : 24358 (minisat+) R 24356 24358 24312 0 -1 4194304 39613 0 0 0 179918 35 0 0 25 0 1 0 199821299 165388288 39442 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24358/statm: 40378 39442 124 215 0 40160 0 Current children cumulated CPU time (s) 1799.53 Current children cumulated vsize (Kb) 161512 [startup+1801.14 s] /proc/loadavg: 1.00 1.00 1.00 2/67 24555 /proc/meminfo: memFree=1530808/2055888 swapFree=4085308/4096564 [pid=24358] ppid=24356 vsize=161512 CPUtime=1800.54 /proc/24358/stat : 24358 (minisat+) R 24356 24358 24312 0 -1 4194304 39627 0 0 0 180019 35 0 0 25 0 1 0 199821299 165388288 39456 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24358/statm: 40378 39456 124 215 0 40160 0 Current children cumulated CPU time (s) 1800.54 Current children cumulated vsize (Kb) 161512 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.15 s] /proc/loadavg: 1.00 1.00 1.00 2/67 24555 /proc/meminfo: memFree=1530808/2055888 swapFree=4085308/4096564 [pid=24358] ppid=24356 vsize=161512 CPUtime=1800.54 /proc/24358/stat : 24358 (minisat+) R 24356 24358 24312 0 -1 4194304 39627 0 0 0 180019 35 0 0 25 0 1 0 199821299 165388288 39456 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24358/statm: 40378 39456 124 215 0 40160 0 Current children cumulated CPU time (s) 1800.54 Current children cumulated vsize (Kb) 161512 Sending SIGTERM to -24358 Sleeping 2 seconds Child status: 0 Real time (s): 1801.18 CPU time (s): 1800.58 CPU user time (s): 1800.2 CPU system time (s): 0.380942 CPU usage (%): 99.9667 Max. virtual memory (cumulated for all children) (Kb): 161512
Begin job on node90 on Sat Jun 3 13:37:03 UTC 2006 FILE ID= 35082-1149341823 PBS_JOBID= 310453 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-scagr7.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node90/35082-1149341823/instance-35082-1149341823.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node90/watcher-35082-1149341823 -o ROOT/results/node90/solver-35082-1149341823 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node90/35082-1149341823/instance-35082-1149341823.opb MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db MD5SUM BENCH= 898083402c7ca4355f8e4024f5c352c7 RANDOM SEED= 1349299 /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.227 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 : 6006.17 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.227 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 : 5999.41 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055888 kB MemFree: 1689216 kB Buffers: 23076 kB Cached: 279604 kB SwapCached: 2436 kB Active: 35876 kB Inactive: 275408 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055888 kB LowFree: 1689216 kB SwapTotal: 4096564 kB SwapFree: 4085308 kB Dirty: 160 kB Writeback: 0 kB Mapped: 16060 kB Slab: 42136 kB Committed_AS: 364756 kB PageTables: 1268 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node90 on Sat Jun 3 14:07:04 UTC 2006